В математике понятие «число больше бесконечности» не совсем корректно в бытовом смысле, так как бесконечность — это не конкретное число на прямой, а категория или предел. Однако в рамках теории множеств и математической логики существуют разные мощности бесконечности. Это означает, что одна бесконечность может быть «больше» другой. 1. Теория множеств Георга Кантора Математик Георг Кантор доказал, что бесконечности бывают разных размеров. Для их измерения используются кардинальные числа.
- Счетная бесконечность ( - алеф-нуль): Это «самая маленькая» бесконечность. К ней относятся натуральные числа (1, 2, 3...). Даже если вы добавите к ней единицу ( ), результат все равно будет равен . Мощность континуума ( или ): Кантор доказал, что количество действительных чисел (дробных, иррациональных) на любом отрезке больше, чем количество целых чисел. Это бесконечность более высокого порядка.
2. Порядковые числа (Ординалы) Если мы рассматриваем бесконечность как структуру порядка, используются ординальные числа.
- Символ (омега) обозначает порядковый тип множества натуральных чисел. В этой системе существуют числа , или даже .
Эти значения стоят «после» всей последовательности натуральных чисел.
3. Гиперреальные числа В нестандартном анализе существуют гиперреальные числа, которые позволяют проводить вычисления с бесконечно большими и бесконечно малыми величинами как с обычными числами.
- В этой системе обозначается бесконечно большое число . Числа , или являются строго бо́льшими, чем .
4. Абсолютная бесконечность Кантор также ввел понятие Абсолютной бесконечности ( ), которая превосходит любое возможное трансфинитное число или мощность. Она математически недостижима и служит пределом для всех мыслимых иерархий бесконечностей. Резюме: Если под «бесконечностью» вы подразумеваете количество целых чисел, то количество десятичных дробей — это число, которое «больше». Если вы используете систему ординалов, то числом больше бесконечности будет . Я могу подробнее разобрать доказательство Кантора о том, почему континуум больше счетного множества, если вам интересен логический ход этой мысли.