Теорема Кантора — твердження у теорії множин, що потужність довільної множини є меншою, ніж потужність її булеану (множини всіх її підмножин). Названа на честь німецького математика Георга Кантора.
Доведення
Припустимо, що існує множина , потужність якої є рівною потужності множини
, тобто існує бієкція
Розглянемо множину Оскільки
бієкція та
(тобто
), тому
.
Подивимось, чи може належати
. Якщо
, то
, а тоді, за визначенням
. І навпаки, якщо
, то
, а отже
.
У будь-якому випадку, одержуємо суперечність. Отже, початкове припущення помилкове і потужність менша потужності
.
Див. також
Література
- Хаусдорф Ф. Теория множеств. — Москва ; Ленинград : , 1937. — 304 с. — .(рос.)
- Куратовский К., Мостовский А. Теория множеств = Set Theory (Teoria mnogości). — М. : Мир, 1970. — 416 с.(рос.)
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет