Математическая лаборатория бесконечностей
Парадокс Галилея: Часть равна целому?
Интерактивное исследование парадокса 1638 года: почему бесконечность квадратов $\{1, 4, 9, \dots\}$ строго равна бесконечности всех чисел $\{1, 2, 3, \dots\}$.
Быстрый выбор $N$:
Всего целых чисел ($N$)
100
Отрезок от 1 до $N$
Точных квадратов в отрезке
10
$\lfloor\sqrt{100}\rfloor = 10$ чисел
Доля квадратов в отрезке
10,0%
При росте $N$ стремится к 0%
Мост взаимно-однозначного соответствия (Биекция $n \leftrightarrow n^2$)
Показаны первые элементы ряда
Верхний ряд: Натуральные числа $n \in \mathbb{N}$
Нижний ряд: Полные квадраты $n^2$
Связи 1-в-1: Каждому числу строго отвечает один квадрат
Проверь любое число на наличие пары:
Введите число выше, чтобы убедиться: в бесконечности квадратов дыр нет.
Интуиция и Евклид (Конечный мир)
Аксиома «Целое больше своей части»
В любом конечном диапазоне чисел квадратов катастрофически меньше, чем неквадратов (например, до 1 000 000 квадратов всего 0,1%). Наш бытовой мозг говорит: «Квадраты — лишь крошечная часть чисел, значит чисел больше!»
Открытие Кантора (Мир актуальной бесконечности)
Мощность счетного множества $\aleph_0$
В 1874 году Георг Кантор разрешил сомнение Галилея: понятия «больше» и «меньше» неприменимы к бесконечности в привычном смысле. Если между множествами можно протянуть бесконечные нити без пропусков ($n \leftrightarrow n^2$), их мощность строго равна.
Таблица первых взаимно-однозначных соответствий:
| Порядковый номер ($n$) | Число из ряда натуральных ($n$) | Соответствующий квадрат ($n^2$) | Статус соответствия |
|---|
SAS инструменты Сайт с 1000 ми полезных инструментов и калькуляторов SAS