To'plam haqida tushuncha

To’plamlarning quvvatlarini sоlishtirish.
Teorema. (Kantor - Bernshteyn). Agar ikki va to’plamning har biri ikkinchisining qismiga ekvivalent bo’lsa, u holda ular o’zaro ekvivalent bo’ladi.
Isbot. Teoremaning shartlariga binoan:
va .
va to’plamlar mos ravishda va to’plamlarning xos qiymatlari bo’lsin, deb faraz qilaylik, chunki aks holda, masalan, bo’lsa, u holda dan munosabat kelib chiqadi.
va to’plamlar ekvivalent bo’lgani sababli biror o’zaro bir qiymatli aks ettirish to’plamni ning biror qismiga aks ettiradi. Natijada va , demak .
Agar ning ga ekvivalentligi isbot etilsa, u holda bo’lganidan ning ga ham ekvivalentligi kelib chiqadi.
O’zaro bir qiymatli aks ettirish bilan ni ga aks ettirganimizda biror to’plamga, esa biror to’plamga aks ettiriladi va hakozo. Bu o’zaro bir qiymatli aks ettirishlardan quyidagi munosabatlar kelib chiqadi:

Bu munosabatlarning toq o’rindagilarini olamiz:

Bu munosabatlarning chap va o’ng tomondagi to’plamlarni alohida qo’shib ushbu.
(1)
Ekvivalentga ega bo’lamiz.
Endi quyidagi ayniyatlarning o’rinli ekanini isbot qilamiz:
(2)
bu yerda . Bulardan birini, masalan, birinchisini isbot etamiz; ikkinchisini isboti shunga o’xshashdir. to’plamning biror elementini olamiz va uni (2) dagi birinchi ayniyatning o’ng tomoniga kirishini ko’rsatamiz. Bu element to’plamlarning har biriga kirishi mumkin, yoki lekin . Agar bo’lsa, u holda agar bo’sa-yu, lekin bo’lsa, u holda . Demak, ikkala holda ham element birinchi ayniyatning o’ng tomonidagi to’plamga kiradi.
Agar o’ng tomonning elementi bo’lsa, u holda , chunki va . Ayniyat isbot.
(2) ayniyatlarni ushbu
(3)
ko’rinishda yozamiz.
Bu ayniyatlarning o’ng tomonlarini solishtirsak, har birining birinchi o’rta qavsdagi ifodalari aynan bir – biriga teng, ikkinchi o’rta qavsdagi ifodalari esa (1) munosabatga muvofiq o’zaro ekvivalent. Modomiki, (3) ayniyatlarning o’ng tomondagi to’plamlar o’zaro ekvivalent ekan, ularning chap tomondagi va to’plamlar ham o’zaro ekvivalent. Shu bilan teorema isbot etildi.
Ixtiyoriy ikki va to’plamni solishtirishda teoremaga asoslanib, ushbu natijani aytishimiz mumkin:
va to’plamlar o’zaro ekvivalent, demak, ular teng quvvatlidir yoki bulardan biri, masalan, to’plam ikkinchisining xos qismiga ekvivalent, ammo shu bilan birga to’plam na o’ziga, van a uning biror qismiga ekvivalent emas, bu holda ning ning quvvatidan kichik bo’ladi.