კანტორის დიაგონალური არგუმენტი

თავისუფალი ქართულენოვანი ენციკლოპედია ვიკიპედიიდან
გადასვლა: ნავიგაცია, ძიება

კანტორის დიაგონალური არგუმენტი - ამ სახელით ცნობილია ხერხი რომელიც პირველად გეორგ კანტორმა გამოიყენა ნამდვილი რიცხვების სიმრავლის არათვლადობის დასამტკიცებლად.

მსგავსი მათემატიკური ტექნიკა გამოიყენება ქვემოთ მოყვანილი უფრო ზოგადი კანტორის თეორემის დასამტკიცებლად.

კანტორის თეორემა: ნებისმიერი სიმრავლის კარდინალურობა მკაცრად ნაკლებია მისი ქვესიმრავლეების სიმრავლის კარდინალურობაზე.