Множество рациональных чисел

Множество рациональных чисел — это числовое множество, элементами которого являются числа, представимые в виде обыкновенной дроби \( \frac{m}{n} \), где \( m \) — целое число (числитель), а \( n \) — натуральное число (знаменатель, \( n \neq 0 \)). Рациональные числа образуют поле, замкнутое относительно четырёх арифметических действий (сложения, вычитания, умножения и деления, кроме деления на ноль), и являются расширением множества целых чисел. Обозначается множество рациональных чисел символом \( \mathbb{Q} \) (от лат. quotiens — «во сколько раз»).

Определение и формальная запись

Формально множество рациональных чисел определяется как:

\[ \mathbb{Q} = \left\{ \frac{m}{n} \mid m \in \mathbb{Z}, n \in \mathbb{N} \right\}, \]

где \( \mathbb{Z} \) — множество целых чисел, а \( \mathbb{N} \) — множество натуральных чисел (в российской математической традиции \( \mathbb{N} = \{1, 2, 3, \dots\} \)). Дроби \( \frac{m}{n} \) и \( \frac{m'}{n'} \) считаются равными, если \( m \cdot n' = m' \cdot n \). Каждое рациональное число может быть представлено в виде несократимой дроби, где \( \gcd(m, n) = 1 \).

Любое рациональное число можно записать также в виде конечной десятичной дроби или бесконечной периодической десятичной дроби. Например, \( \frac{1}{2} = 0,5 \), \( \frac{1}{3} = 0,(3) \), \( \frac{7}{22} = 0,3(18) \). Обратно, любая конечная или периодическая десятичная дробь является рациональным числом.

История

Понятие рационального числа исторически возникло из практических задач измерения и деления. Древние египтяне (около 2000 г. до н. э.) использовали дроби с числителем 1 (аликвотные дроби) для записи долей. В Древнем Вавилоне (около 1800 г. до н. э.) применялись шестидесятеричные дроби, что отразилось в современном делении часа на 60 минут.

Древнегреческие математики, в частности пифагорейцы (VI—V вв. до н. э.), считали, что любое отношение величин выражается отношением целых чисел (то есть рациональным числом). Открытие несоизмеримых отрезков (например, диагонали квадрата и его стороны) привело к осознанию существования иррациональных чисел, что стало кризисом в античной математике. Евклид в «Началах» (около 300 г. до н. э.) систематизировал теорию отношений, которая фактически описывала рациональные числа.

Современное обозначение \( \mathbb{Q} \) для множества рациональных чисел ввёл итальянский математик Джузеппе Пеано в 1895 году. Аксиоматическое построение поля рациональных чисел на основе целых чисел было завершено в XIX веке в работах Леопольда Кронекера и Рихарда Дедекинда.

Свойства множества рациональных чисел

Алгебраические свойства

Множество \( \mathbb{Q} \) является полем, то есть для любых \( a, b, c \in \mathbb{Q} \) выполняются следующие аксиомы:

• Ассоциативность сложения и умножения: \( (a + b) + c = a + (b + c) \), \( (a \cdot b) \cdot c = a \cdot (b \cdot c) \).
• Коммутативность сложения и умножения: \( a + b = b + a \), \( a \cdot b = b \cdot a \).
• Существование нейтральных элементов: \( a + 0 = a \), \( a \cdot 1 = a \).
• Существование обратных элементов: для любого \( a \) существует \( -a \) такой, что \( a + (-a) = 0 \); для любого \( a \neq 0 \) существует \( a^{-1} \) такой, что \( a \cdot a^{-1} = 1 \).
• Дистрибутивность умножения относительно сложения: \( a \cdot (b + c) = a \cdot b + a \cdot c \).

Поле \( \mathbb{Q} \) является полем частных для кольца целых чисел \( \mathbb{Z} \). Оно имеет характеристику 0.

Порядковые свойства

Рациональные числа образуют линейно упорядоченное множество. Для любых двух различных рациональных чисел \( a \) и \( b \) определено отношение «меньше» (\( < \)) или «больше» (\( > \)). Между любыми двумя рациональными числами находится бесконечно много других рациональных чисел (свойство плотности). Например, между \( \frac{1}{2} \) и \( \frac{2}{3} \) лежит \( \frac{5}{8} \), \( \frac{11}{16} \) и т. д. Однако множество \( \mathbb{Q} \) не является непрерывным (континуальным): оно счётно, то есть его элементы можно пронумеровать натуральными числами.

Топологические свойства

В стандартной топологии вещественной прямой множество \( \mathbb{Q} \) является всюду плотным, но не полным. Это означает, что любое вещественное число можно приблизить рациональным с любой точностью, но не всякая фундаментальная последовательность рациональных чисел сходится к рациональному числу (например, последовательность десятичных приближений \( \sqrt{2} \) сходится к иррациональному числу). Пополнение \( \mathbb{Q} \) по метрике, заданной абсолютной величиной, даёт множество вещественных чисел \( \mathbb{R} \).

Счётность множества рациональных чисел

Множество \( \mathbb{Q} \) является счётным, то есть имеет ту же мощность, что и множество натуральных чисел \( \mathbb{N} \). Это впервые доказал Георг Кантор в 1873 году. Доказательство основано на диагональном методе или на построении биекции между \( \mathbb{Q} \) и \( \mathbb{N} \). Например, можно выписать все положительные дроби в виде таблицы (треугольник Кантора):

\[ \begin{matrix} \frac{1}{1} & \frac{1}{2} & \frac{1}{3} & \frac{1}{4} & \dots \\ \frac{2}{1} & \frac{2}{2} & \frac{2}{3} & \frac{2}{4} & \dots \\ \frac{3}{1} & \frac{3}{2} & \frac{3}{3} & \frac{3}{4} & \dots \\ \frac{4}{1} & \frac{4}{2} & \frac{4}{3} & \frac{4}{4} & \dots \\ \vdots & \vdots & \vdots & \vdots & \ddots \end{matrix} \]

Затем, двигаясь по диагоналям, нумеруют все дроби, отбрасывая повторяющиеся (например, \( \frac{2}{2} = \frac{1}{1} \)). Таким образом, все рациональные числа можно поставить в соответствие натуральным числам. Счётность \( \mathbb{Q} \) означает, что, несмотря на свою плотность, рациональных чисел «столько же», сколько и целых.

Рациональные числа в десятичной системе счисления

Любое рациональное число представимо в виде десятичной дроби, которая либо конечна, либо бесконечна периодична. Конечная десятичная дробь получается, если знаменатель несократимой дроби не имеет простых делителей, кроме 2 и 5. Например, \( \frac{1}{2} = 0,5 \), \( \frac{3}{20} = 0,15 \). Если знаменатель содержит другие простые множители (например, 3, 7, 11), десятичная дробь становится периодической: \( \frac{1}{3} = 0,333\ldots = 0,(3) \), \( \frac{1}{7} = 0,142857142857\ldots = 0,(142857) \). Длина периода может быть любой, но не превосходит значения знаменателя минус 1.

Обратно, любая конечная или периодическая десятичная дробь является рациональным числом. Например, \( 0,5 = \frac{1}{2} \), \( 0,(3) = \frac{1}{3} \), \( 0,1(6) = \frac{1}{6} \). Для перевода периодической дроби в обыкновенную используется метод решения уравнения: если \( x = 0,(a_1 a_2 \dots a_k) \), то \( 10^k x = a_1 a_2 \dots a_k + x \), откуда \( x = \frac{a_1 a_2 \dots a_k}{10^k - 1} \).

Применение в математике и других науках

Рациональные числа являются фундаментом для построения вещественных чисел и математического анализа. В алгебре поле \( \mathbb{Q} \) используется как основное поле для изучения полей алгебраических чисел. В теории чисел изучаются рациональные приближения иррациональных чисел (диофантовы приближения).

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

В компьютерных науках рациональные числа реализуются в виде пар целых чисел (числитель и знаменатель) в языках программирования (например, тип Fraction в Python, Rational в Haskell). Это позволяет выполнять точные арифметические операции без потери точности, в отличие от чисел с плавающей точкой.

Критика и ограничения

Несмотря на широкое применение, множество рациональных чисел имеет существенный недостаток: оно не является полным. Это означает, что не все пределы последовательностей рациональных чисел являются рациональными. Например, последовательность \( 1,4; 1,41; 1,414; \dots \) (приближения \( \sqrt{2} \)) состоит из рациональных чисел, но её предел \( \sqrt{2} \) — иррациональное число. Это свойство привело к необходимости расширения \( \mathbb{Q} \) до множества вещественных чисел \( \mathbb{R} \).

Кроме того, в некоторых задачах (например, в теории меры) рациональные числа оказываются «слишком редкими»: мера Лебега множества \( \mathbb{Q} \) на отрезке равна нулю, хотя оно и всюду плотно.

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

• Множество рациональных чисел является первым примером счётного плотного линейно упорядоченного множества без концов. Любое такое множество изоморфно \( \mathbb{Q} \) (теорема Кантора об изоморфизме).
• В русской математической традиции обозначение \( \mathbb{Q} \) для рациональных чисел было введено в учебную литературу в 1970-х годах, хотя в западной практике оно использовалось с конца XIX века.
• Существует гипотеза, что любое вещественное число можно представить в виде суммы трёх рациональных чисел с заданными знаменателями (гипотеза Эрдёша—Штрауса), но она до сих пор не доказана для всех случаев.
• В древнерусской математике (например, в «Русской правде» XI века) использовались дроби с основанием 12 и 60 для торговых расчётов.

Источники

1. Виноградов И. М. Основы теории чисел. — М.: Наука, 1981.
2. Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. — М.: Наука, 1976.
3. Кудрявцев Л. Д. Математический анализ. Том 1. — М.: Высшая школа, 1981.
4. Ландау Э. Основы анализа. — М.: Иностранная литература, 1947.
5. Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления. Том 1. — М.: Физматлит, 2001.