Поле рациональных чисел

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

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

Конструкция через классы эквивалентности

Строгое математическое построение поля рациональных чисел основывается на отношении эквивалентности на множестве упорядоченных пар целых чисел \( \mathbb{Z} \times (\mathbb{Z} \setminus \{0\}) \). Две дроби \( \frac{a}{b} \) и \( \frac{c}{d} \) считаются равными, если \( a \cdot d = b \cdot c \). Множество классов эквивалентности с операциями:

• сложение: \( \frac{a}{b} + \frac{c}{d} = \frac{a \cdot d + b \cdot c}{b \cdot d} \);
• умножение: \( \frac{a}{b} \cdot \frac{c}{d} = \frac{a \cdot c}{b \cdot d} \)

образует поле.

Аксиоматика поля

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

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

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

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

• Характеристика: поле Q имеет характеристику 0, так как \( 1 + 1 + \dots + 1 \) (n раз) никогда не равно 0 при \( n > 0 \).
• Простое поле: Q является простым полем характеристики 0, то есть не содержит собственных подполей. Любое поле характеристики 0 содержит подполе, изоморфное Q.
• Поле частных: Q является полем частных кольца целых чисел \( \mathbb{Z} \). Это означает, что Q — наименьшее поле, содержащее \( \mathbb{Z} \).

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

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

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

• Линейная упорядоченность: Q является линейно упорядоченным полем с обычным отношением «меньше». Порядок согласован с арифметическими операциями: если \( a < b \), то \( a + c < b + c \) для любого \( c \), и если \( c > 0 \), то \( a \cdot c < b \cdot c \).
• Архимедово свойство: для любых \( a, b \in Q \) с \( a > 0 \) существует натуральное \( n \) такое, что \( n \cdot a > b \). Это свойство выполняется в Q, но не выполняется, например, в поле гиперреальных чисел.

История и развитие понятия

Древний мир

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

Древняя Греция

Пифагорейцы (VI–V века до н. э.) считали, что все числа являются рациональными. Открытие иррациональности \( \sqrt{2} \) (длины диагонали квадрата со стороной 1) приписывается Гиппасу Метапонтскому, что привело к кризису в пифагорейской школе. Евклид в «Началах» (около 300 года до н. э.) систематизировал теорию отношений и пропорций, которая включала как рациональные, так и иррациональные величины.

Средневековье и Новое время

В IX веке аль-Хорезми ввел десятичные дроби, а в XIII веке Фибоначчи в «Liber Abaci» популяризировал позиционную систему счисления и операции с дробями. В XVI–XVII веках Симон Стевин и Джон Непер развили теорию десятичных дробей и логарифмов. Строгое определение поля рациональных чисел как алгебраической структуры было дано в XIX веке в работах Рихарда Дедекинда, Леопольда Кронекера и других математиков.

Применение и значение

В математике

• Основа анализа: рациональные числа используются для построения действительных чисел через дедекиндовы сечения или фундаментальные последовательности Коши.
• Теория чисел: изучение диофантовых уравнений, рациональных точек на алгебраических кривых (например, теорема Морделла о конечности числа рациональных точек на эллиптических кривых).
• Алгебра: поле Q является основой для построения числовых полей (расширений Q) в алгебраической теории чисел.

В других науках

• Физика: рациональные числа используются для точных измерений и вычислений в классической механике, электродинамике и квантовой теории.
• Информатика: в компьютерной арифметике рациональные числа представляются в виде пар целых чисел (числитель и знаменатель) для точных вычислений, в отличие от чисел с плавающей запятой.
• Экономика: рациональные числа применяются для расчетов процентных ставок, валютных курсов и других финансовых показателей.

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

• Множество рациональных чисел является счетным, что впервые доказал Георг Кантор в 1874 году. Это означает, что рациональных чисел «столько же», сколько натуральных, хотя они плотно расположены на числовой прямой.
• Поле Q не является полным, но его можно пополнить не только до R, но и до других полей, например, до поля p-адических чисел \( \mathbb{Q}_p \) для каждого простого числа p.
• В Q существует бесконечно много рациональных чисел между любыми двумя различными действительными числами, что делает его архимедовым полем.
• Рациональные числа образуют первое числовое поле, изучаемое в школьной математике, и служат основой для понимания более сложных структур.

Источники

1. Ван дер Варден Б. Л. Алгебра. — М.: Наука, 1976.
2. Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. — М.: Наука, 1976.
3. Ленг С. Алгебра. — М.: Мир, 1968.
4. Кантор Г. Труды по теории множеств. — М.: Наука, 1985.
5. Евклид. Начала. — М.: Гостехиздат, 1948.