Действительные числа в математике¶

Действительные числа — это множество чисел, объединяющее рациональные и иррациональные числа, то есть все точки числовой прямой. Обозначается обычно символом \(\mathbb{R}\). Каждому действительному числу соответствует ровно одна точка на координатной прямой, и наоборот — каждой точке прямой соответствует одно действительное число. Это свойство называется полнотой или непрерывностью множества действительных чисел и отличает его от множества рациональных чисел.

¶Определение и место в системе чисел

Действительное число — это величина, которая может быть представлена в виде конечной или бесконечной десятичной дроби. Рациональные числа записываются конечной или периодической десятичной дробью, иррациональные — бесконечной непериодической. Например, число \(1/2 = 0{,}5\) рационально, а \(\sqrt{2} = 1{,}41421356\ldots\) иррационально.

Иерархия числовых множеств выглядит так:

• натуральные числа \(\mathbb{N}\) — 1, 2, 3, …;
• целые числа \(\mathbb{Z}\) — натуральные, нуль и отрицательные;
• рациональные числа \(\mathbb{Q}\) — дроби вида \(m/n\), где \(m\) целое, \(n\) натуральное;
• действительные числа \(\mathbb{R}\) — рациональные плюс иррациональные.

Таким образом, \(\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}\).

¶История формирования понятия

Потребность в числах, выходящих за пределы рациональных, была осознана ещё в античности. Пифагорейцы обнаружили, что диагональ квадрата со стороной 1 несоизмерима с его стороной, то есть её длина не выражается отношением целых чисел. Это открытие приписывают Гиппасу из Метапонта (V век до н. э.).

В Древней Греции теория отношений была изложена Евдоксом Книдским и вошла в «Начала» Евклида. Однако строгое определение действительного числа появилось лишь в XIX веке. Немецкий математик Рихард Дедекинд в 1872 году предложил конструкцию через сечения множества рациональных чисел, а Георг Кантор — через фундаментальные последовательности (последовательности Коши). Независимо от них теорию развивал Карл Вейерштрасс. Эти работы завершили логическое обоснование математического анализа.

¶Свойства

Множество действительных чисел образует поле относительно операций сложения и умножения. Это означает выполнение следующих законов:

• коммутативность: \(a + b = b + a\), \(ab = ba\);
• ассоциативность: \((a + b) + c = a + (b + c)\);
• дистрибутивность: \(a(b + c) = ab + ac\);
• существование нуля и единицы, противоположных и обратных элементов.

Кроме алгебраических, действительные числа обладают свойством упорядоченности: для любых двух чисел \(a\) и \(b\) верно одно из трёх — \(a < b\), \(a = b\) или \(a > b\). Важнейшее свойство — полнота (непрерывность): любое непустое ограниченное сверху множество имеет точную верхнюю грань. Именно полнота обеспечивает существование пределов, корней, логарифмов и других объектов анализа.

Множество \(\mathbb{R}\) несчётно: его мощность (континуум) больше мощности множества натуральных чисел, что доказал Кантор диагональным методом.

¶Классификация

Действительные числа делят на:

Также выделяют положительные, отрицательные числа и нуль; целые и дробные; алгебраические и трансцендентные.

¶Применение

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

¶Расширения

Множество действительных чисел не замкнуто относительно извлечения квадратного корня из отрицательного числа. Для решения таких задач вводят комплексные числа \(\mathbb{C}\), где \(\mathbb{R}\) является подмножеством. Существуют и другие расширения: расширенная числовая прямая с символами \(+\infty\) и \(-\infty\), а также гипердействительные числа нестандартного анализа.

¶Интересные факты

• Между любыми двумя действительными числами находится бесконечно много других — свойство плотности.
• Кантор доказал, что множество действительных чисел равномощно множеству точек отрезка и множеству всех подмножеств натуральных чисел.
• Континуум-гипотеза о промежуточной мощности между счётным множеством и континуумом неразрешима в стандартной аксиоматике Цермело — Френкеля.

Источники: учебники по математическому анализу, работы Р. Дедекинда «Непрерывность и иррациональные числа», Г. Кантора по теории множеств, энциклопедические издания по математике.