Аксиомы вещественных чисел и теория множеств

Фундамент математики

Математический анализ начинается с вопроса, который кажется тривиальным: что такое число? Мы привыкли работать с числами с детства, но строгое определение вещественного числа потребовало трёх столетий усилий лучших математиков — от Ньютона и Лейбница до Кантора и Дедекинда.

Вещественные числа образуют числовую прямую — непрерывный континуум, в котором между любыми двумя числами всегда найдётся третье. Это свойство, называемое плотностью, отличает вещественные числа от рациональных. Рациональных чисел тоже «бесконечно много», но они не заполняют числовую прямую полностью — между ними зияют «дыры», которые заполняются иррациональными числами вроде √2 или π.

Теория множеств Кантора

Георг Кантор в 1870-х годах создал теорию множеств — язык, на котором написана вся современная математика. Множество — это любая совокупность определённых и хорошо различимых объектов. Кантор сделал поразительное открытие: существуют бесконечности разных «размеров».

Натуральных чисел {1, 2, 3, ...} бесконечно много — это счётная бесконечность. Удивительно, но рациональных чисел столько же, сколько натуральных: можно построить взаимно однозначное соответствие между ними (диагональный аргумент Кантора). А вот вещественных чисел больше — их несчётно много. Кантор доказал это своим знаменитым диагональным методом: предположим, что все вещественные числа отрезка [0,1] можно выписать в список. Тогда построим число, отличающееся от первого числа в списке в первом знаке после запятой, от второго — во втором знаке, и так далее. Полученное число не совпадёт ни с каким числом списка — противоречие.

Аксиомы вещественных чисел

Вещественные числа определяются системой аксиом, разбитой на три группы.

Аксиомы поля гарантируют операции сложения и умножения: коммутативность (a+b = b+a), ассоциативность, существование нулевого и единичного элементов, существование обратных.

Аксиомы порядка позволяют сравнивать числа: для любых двух чисел a и b ровно одно из трёх верно: a < b, a = b, или a > b.

Аксиома полноты (или аксиома Архимеда в эквивалентной формулировке) — ключевое свойство, отличающее вещественные числа от рациональных. Она утверждает: если множество A ограничено сверху, то у него существует точная верхняя грань (супремум). Неформально: на числовой прямой нет «дыр». Именно эта аксиома гарантирует, что √2 существует как вещественное число.

Операции над множествами

Основные операции над множествами — объединение A∪B (все элементы, принадлежащие хотя бы одному), пересечение A∩B (только общие элементы), разность A\B (элементы A, не входящие в B), дополнение.

Законы де Моргана связывают эти операции: (A∪B)ᶜ = Aᶜ∩Bᶜ и (A∩B)ᶜ = Aᶜ∪Bᶜ. Эти законы имеют аналоги в логике и используются повсюду — от математики до программирования.

Счётные и несчётные множества

Множество называется счётным, если его элементы можно пронумеровать натуральными числами. Счётны: натуральные, целые, рациональные числа. Несчётны: вещественные числа, отрезок [0,1], любой интервал ненулевой длины.

Это различие принципиально. Когда компьютер хранит число в памяти, он работает с конечным приближением — рациональным числом с конечным числом знаков. Между любыми двумя «компьютерными» числами зияет бесконечность вещественных чисел, недоступных для точного представления. Это основа теории вычислительных ошибок.

Практическое значение

Теория множеств и аксиоматика вещественных чисел — не академическая абстракция. Они лежат в основе всего математического анализа, а значит, и всей современной физики, инженерии и компьютерных наук. Понимание того, что числовая прямая «без дыр», позволяет гарантировать существование решений дифференциальных уравнений, корней функций, экстремумов — всего, на чём строится математическое моделирование.

Вопрос для размышления: Докажите, что между любыми двумя рациональными числами p/q и r/s существует иррациональное число. Подсказка: рассмотрите число (p/q + r/s)/2 + δ, где δ — малое иррациональное.

Связь с информатикой и логикой

Теория множеств — язык программирования в широком смысле. Операции над множествами имеют прямые аналоги в SQL (UNION, INTERSECT, EXCEPT), булевой алгебре логических схем и теории типов в языках программирования. Когда программист пишет «множество ключей» в хэш-таблице или «набор уникальных элементов» в стандартной библиотеке, он реализует кантровскую идею.

Парадокс Рассела (1901) потряс математику: рассмотрим «множество всех множеств, не содержащих себя». Содержит ли оно себя? Если да — не должно. Если нет — должно. Этот парадокс привёл к созданию аксиоматической теории множеств Цермело–Френкеля (ZFC) — стандартного фундамента математики. В информатике аналог этого парадокса — проблема остановки Тьюринга: невозможно написать программу, определяющую, завершится ли произвольная программа.

Мощность множеств и диагональный аргумент Кантора

Кантор доказал, что мощность вещественных чисел строго больше мощности натуральных. Метод диагонализации: пронумеруем все числа из [0,1] списком x₁, x₂, x₃, ... Строим число y, чей n-й десятичный знак отличается от n-го знака xₙ. Тогда y ≠ xₙ для всех n — противоречие. Мощность натуральных ℵ₀, мощность вещественных 𝔠 = 2^ℵ₀. Гипотеза континуума: существует ли мощность строго между ℵ₀ и 𝔠? Гёдель (1938) и Коэн (1963) доказали, что этот вопрос неразрешим в аксиоматике ZFC — один из наиболее поразительных результатов математической логики XX века.