Континуум (теорія множин)

Континуум — незліченна множина або множина, яка рівнопотужна множині дійсних чисел в інтервалі (0,1), а також кардинальне число такої множини, що позначається ${\displaystyle {\mathfrak {c}}}$ (відомо, що ${\displaystyle {\mathfrak {c}}=2^{\aleph _{0}}\geq \aleph _{1}}$; якщо приймати континуум-гіпотезу, то ${\displaystyle {\mathfrak {c}}=2^{\aleph _{0}}=\aleph _{1}}$).

Множина дійсних чисел в інтервалі (0,1), як і в будь-якому іншому інтервалі рівнопотужна множині всіх чисел на числовій прямій, тобто можна побудувати однозначне відображення з інтервалу (0,1) на всю числову пряму.

Множина точок на площині й в n-вимірному просторі, де n — скінченне число, теж має потужність континууму.

Із теореми Кантора випливає, що континуальні множини нескінченні. Тому, якщо до них додавати скінченні множини, їх потужність від цього не зміниться. Звідси до континуальних відносяться множини ${\displaystyle \mathbb {I} =\mathbb {R} \backslash \mathbb {Q} }$ — ірраціональних, ${\displaystyle \mathbb {C} }$ — комплексних і трансцендентних чисел.

Континуум потужніша множина, ніж множина натуральних чисел. Питання про існування множини з потужністю проміжною між множиною натуральних чисел та множиною континууму є однією з нерозв'язаних задач математики (дивіться Континуум-гіпотеза).

• Кардинальне число
• Скінченна множина
• Зліченна множина
• Континуум-гіпотеза

• Куратовский К., Мостовский А. Теория множеств = Set Theory (Teoria mnogości). — М. : Мир, 1970. — 416 с.(рос.)

• Хаусдорф Ф. Теория множеств. — Москва ; Ленинград : ОНТИ, 1937. — 304 с. — ISBN 978-5-382-00127-2.(рос.)

п о р Теорія множин Аксіоми Приєднання Вибору зліченного залежного глобального[en] Конструктивності (V=L)[en] Детермінованості[en] PD ADR AD+ Об'ємності Нескінченності Пари Булеана Об'єднання Регулярності Мартіна Аксіомна схема виділення підстановки Операції Булеан Декартів добуток Доповнення Об'єднання Перетин Правила де Моргана Різниця Симетрична різниця Концепції • Методи Бієкція Діагональний метод Діаграма Венна Елемент впорядкована пара кортеж Кардинальне число (велике) Клас Конструктивний універсум[en] Континуум-гіпотеза Порядкове число Потужність Сімейство Трансфінітна індукція Форсинг[en] Типи множин Зліченна Надмножина Незліченна Нескінченна Нечітка Підмножина Порожня Розв'язна Скінченна (спадково[en]) Транзитивна Універсальна Теорії Аксіоматична Альтернативна[en] Наївна Теорема Кантора Цермело Z Загальна GST Principia Mathematica Нові основи[en] NF Цермело — Френкеля ZF фон Неймана — Бернайса — Геделя NBG Морзе — Келлі[en] Кріпке — Платека[en] Тарського — Гротендіка[en] Парадокси • Гіпотези Парадокс Расселла Гіпотеза Сусліна[en] Теоретики Абрахам Френкель Бертран Расселл Віллард Квайн Георг Кантор Джон фон Нейман Ернст Цермело Курт Гедель Лотфі Заде Пол Коен Поль Бернайс[en] Ріхард Дедекінд Томаш Жех[en] Інше Універсум фон Неймана

1. ↑ https://www.ctan.org/pkg/texvc