Khác biệt giữa bản sửa đổi của “Giả thiết continuum”
Nội dung được xóa Nội dung được thêm vào
n Robot: Sửa đổi hướng |
|||
Dòng 3:
*Quan hệ so sánh giữa hai tập hợp: Tập hợp X được gọi là có lực lượng nhỏ hơn lực lượng của tập Y nếu [[ánh xạ]] từ X vào Y là [[đơn ánh]] và không phải là [[toàn ánh]].
Giả thiết này được [[Georg Cantor]] nêu ra, sau khi ông chứng minh được lực lượng của hai [[tập hợp vô hạn]] là số tự nhiên và số thực là khác nhau, trong đó lực lượng của các số tự nhiên ([[tập hợp đếm được|lực lượng đếm được]]) nhỏ hơn lực lượng của các số thực ([[lực lượng continuum]]).
Giả thiết được thể hiện như sau:
| |||