Мощность континуума

Мощность континуума — мощность (или кардинальное число) множества всех вещественных чисел^[1]. Обозначается строчной латинской буквой c во фрактурном начертании: ${\mathfrak {c}}$ . Континуальное множество — множество мощности континуума^[2]. Континуум в топологии — связное компактное хаусдорфово топологическое пространство — равномощен множеству всех вещественных чисел; в связи с этим иногда континуумом называют всякое континуальное множество или же собственно мощность континуума.

Мощность континуума, как мощность булеана счётного множества, является бесконечной мощностью, превосходящей счётную. В теориях множеств с аксиомой выбора, в том числе в ZFC, континуум, как и любая бесконечная мощность, является алефом, и, при обозначении ординального номера континуума в ряду алефов буквой $\zeta$ ( ${\mathfrak {c}}=\aleph _{\zeta }$ ), выполняется $\zeta >0$ , то есть $\aleph _{0}<\aleph _{1}\leqslant \aleph _{\zeta }={\mathfrak {c}}$ . Предположение, что не существует мощностей, промежуточных между счётной и континуумом, называется континуум-гипотезой. В теории множеств с аксиомой выбора она формулируется, как ${\mathfrak {c}}=\aleph _{1}$ или $\beth _{1}=\aleph _{1}$ или $\zeta =1$ , где $\zeta$ — ранее введённый номер континуума в ряду алефов. Обобщённая континуум-гипотеза формулируется, как $\beth _{\xi }=\aleph _{\xi }$ для любого ординала $\xi$ .

Свойства

В ряду бесконечных булеанов $\beth _{\xi }$ ^[3] мощность континуума — ${\mathfrak {c}}=\beth _{1}$ . Счётная декартова степень континуального множества имеет мощность континуума: ${\mathfrak {c}}^{\aleph _{0}}={\mathfrak {c}}$ , и, следовательно, любая ненулевая конечная декартова степень континуума — также континуальна: ${\mathfrak {c}}^{n}={\mathfrak {c}}$ .

В теории множеств с аксиомой выбора мощность объединения не более чем континуального семейства множеств, каждое из которых само не более чем континуально, не превосходит континуума, то есть $\aleph _{\zeta +1}={\mathfrak {c}}^{+}$ регулярен.

Мощность объединения не более чем счётного семейства не более чем счётных множеств не более чем счётна, то есть сечение^[4] класса мощностей (как большого^[5] частичного порядка), нижний класс которого есть не более чем счётные мощности, непреодолимо «по Пифагору»^[6], то есть в теории множеств с аксиомой выбора $\aleph _{1}$ регулярен. Как следствие, континуум (как и $\aleph _{1}$ ) недостижим «по Пифагору» от не более чем счётных мощностей — не может быть получен объединением не более чем счётного числа не более чем счётных.

При разбиении континуального множества на конечное или счётное число частей хотя бы одна из частей будет иметь мощность континуум. Как следствие, в теории множеств с аксиомой выбора конфинальность континуума — несчётна.

Примеры

Любой непрерывный отрезок вещественной прямой равномощен всему множеству вещественных чисел, поэтому мощность континуума имеют все точки вещественной прямой $(-\infty ,+\infty )$ (множество вещественных чисел $\mathbb {R}$ ). По свойству счётной степени континуума все точки плоскости $\mathbb {R} ^{2}$ , $n$ ‑мерного пространства $\mathbb {R} ^{n}$ , гильбертова пространства $\mathbb {R} ^{\infty }$ — континуумы. Континуальны множество всех иррациональных чисел, множество всех трансцендентных чисел.

Множество всех подмножеств счётного множества имеет мощность континуума; континуально множество всех частичных порядков на счётном множестве. Множества всех счётных множеств натуральных чисел и вещественных — континуальны.

Множество всех непрерывных функций $\mathbb {R} \to \mathbb {R}$ континуально; при этом множество всех возможных функций из $\mathbb {R}$ в $\mathbb {R}$ имеет мощность $2^{\mathfrak {c}}$ .

Множества всех открытых, всех замкнутых, всех борелевских подмножеств евклидова пространства обладают мощностью континуума.

Канторово множество — исторически первый пример дисконтинуума — континуально.

Примечания

↑ Хинчин А. Я. Восемь лекций по математическому анализу. — М.-Л., Гостехиздат, 1948. — с. 11
↑ Математика справочник Куринной Г. Ч.
↑ Ряд бесконечных булеанов определяется, как $\beth _{0}=\aleph _{0}$ ; $\beth _{\xi +1}=\left|\operatorname {\mathcal {P}} \left(\beth _{\xi }\right)\right|$ ; $\beth _{\sup u}=\sup _{\xi \in u}\beth _{\xi }$ .
↑ Разбиение секомого предпорядка на два дизъюнктных класса: верхний и нижний. Любой элемент, меньше либо равный какому-либо из нижнего, сам находится в нижнем, больше либо равный какому-либо из верхнего, сам находится в верхнем. Если какой-либо из классов пуст — сечение несобственное.
↑ предполагается использование какого-либо способа разрешения формальных сложностей, связанных с большими объектами: теории с классами, погружение в универсальное множество и им подобные
↑ «Сам сказал: единица порождает существование, двоица — неопределённое множество.»

Литература

Александров П. С. Введение в теорию множеств и общую топологию. — М.: ГИИТЛ, 1948.

[1] Хинчин А. Я. Восемь лекций по математическому анализу. — М.-Л., Гостехиздат, 1948. — с. 11

[2] Математика справочник Куринной Г. Ч.

[3] Ряд бесконечных булеанов определяется, как $\beth _{0}=\aleph _{0}$ ; $\beth _{\xi +1}=\left|\operatorname {\mathcal {P}} \left(\beth _{\xi }\right)\right|$ ; $\beth _{\sup u}=\sup _{\xi \in u}\beth _{\xi }$ .

[4] Разбиение секомого предпорядка на два дизъюнктных класса: верхний и нижний. Любой элемент, меньше либо равный какому-либо из нижнего, сам находится в нижнем, больше либо равный какому-либо из верхнего, сам находится в верхнем. Если какой-либо из классов пуст — сечение несобственное.

[5] предполагается использование какого-либо способа разрешения формальных сложностей, связанных с большими объектами: теории с классами, погружение в универсальное множество и им подобные

[6] «Сам сказал: единица порождает существование, двоица — неопределённое множество.»

[1]

[2]

[3]

[4]

[5]

[6]