Quy nạp siêu hạn

Quy nạp siêu hạn là một phần mở rộng của quy nạp toán học cho các tập hợp được sắp thứ tự tốt, ví dụ như tập hợp các số thứ tự hoặc tập hợp các số đếm.

Đặt là một thuộc tính được xác định cho tất cả các số thứ tự . Giả sử ta biết rằng bất cứ khi nào đúng cho tất cả thì cũng đúng. Quy nạp siêu hạn cho ta biết rằng là đúng cho tất cả các số thứ tự.

Thường thì một chứng minh bằng quy nạp siêu hạn bao gồm ba bước

  • Bước cơ sở: Chứng minh rằng là đúng.
  • Bước quy nạp: Chứng minh rằng đối với bất kỳ thứ tự kế vị , là hệ quả của (nếu cần, ta có thể giả sử đúng cho tất cả ).
  • Bước giới hạn: Chứng minh rằng đối với mọi thứ tự giới hạn , là hệ quả của ( với mọi ).

Ba bước này có cùng bản chất, tuy nhiên sự khác nhau của các số thứ tự được xem xét dẫn đến việc xét riêng mỗi trường hợp.

Đệ quy siêu hạn

Xem thêm

Tham khảo

  • Hoàng Xuân Sính, Đại số đại cương (tái bản lần thứ tám), 1972, Nhà xuất bản Giáo dục, tr. 36
  • Patrick Suppes, 1972, Axiomatic set theory, ISBN 0-486-61630-4

Liên kết ngoài