
- •Оглавление
- •Натуральные числа
- •Целые числа
- •Рациональные числа
- •Поле действительных чисел
- •Несоизмеримость диагонали квадрата и его стороны
- •Бесконечные десятичные дроби
- •Координаты на числовой оси
- •Сложение и умножение действительных чисел
- •Аксиоматическое определение поля действительных чисел
- •Следствия из аксиом порядка
- •Следствия из аксиомы о верхней грани
- •Степени и корни
- •Длина интервала на числовой прямой
- •Расширенная область действительных чисел
Рациональные числа
Очень
часто требуется разделить некоторую
величину на n равных частей, т.е. решить
уравнение
.
В кольце целых чисел такое уравнение
не всегда разрешимо, и мы вновь встаем
перед проблемой расширения системы
чисел до более обширной, в которой
сохраняются прежние алгебраические
правила, и данное уравнение всегда
разрешимо при
.Рациональное числоесть дробь вида
,
где знаменатель
-- целое число, отличное от 0, а числитель
-- произвольное целое число. Считаем
Отсюда
следует правило сокращения:
.
Операции сложения и умножения над
дробями определяются так
Совокупность
всех дробей обозначим
и назовемполем рациональных чисел(термин «поле» объясняется далее в
параграфе «Аксиоматика поля действительных
чисел»). Поле рациональных чисел
действительно расширяет кольцо целых
чисел. Мы можем отождествлять дробь
вида
с целым числом
,
ибо операции сложения и умножения (2)
при подстановке
превращаются в сложение и умножение
над целыми числами
и
.
Как
геометрически интерпретировать
рациональные числа? Прежде всего, дробь
при натуральном
изображается концом отрезка на числовой
оси, который получается делением
единичного отрезка OEна
равных частей. Заметим, что это можно
сделать с помощью циркуля и линейки
(без делений). Тогда для любого другого
натурального числа
дробь
изображается точкой, которая получаетсяmкратным откладыванием
отрезка
,
построенном на предыдущем шаге.
Откладываем в положительном направлении.
Если же нужно изобразить дробь
при отрицательном целом
,
то отрезок
откладываем от начала координат
раз в отрицательном направлении.
Поле
рациональных чисел упорядочено –
считаем, что дробь
больше дроби
,
если точка, изображающая первую дробь,
стоит правее, чем точка, изображающая
первую дробь. Аналитически это проверяется
так:
Например,
так как
.
Арифметические
операции и отношение порядка согласованы
в том смысле, что если
,
то
для любой дроби
и
для любой неотрицательной дроби
.
Рациональное
число
будет ненулевым тогда и только тогда,
когда
.
В этом случае дробь
является обратным рациональным числом,
т.е.
.
Среди
всех дробей особенно употребительны
десятичные – это дроби вида
(случай, когда знаменатель есть степень
десяти). Любая десятичная дробь однозначно
записывается в виде
где
все
– цифры, т.е целые числа от 0 до 9. Короче
дробь вида (3) записывают как
Отметим, что сумма и разность, а также произведение двух десятичных дробей есть снова десятичная дробь. Иными словами, десятичные дроби образуют кольцо. Следует уметь складывать и перемножать десятичные дроби «столбиком». Следует также усвоить лексикографический принцип сравнения двух десятичных дробей. Пусть
--
две положительные десятичные дроби
(одинакового количества разрядов можно
всегда достичь, добавляя там, где надо
нули). Тогда
если и только, если
для первого слева несовпадающего
разряда. В частности, если
и
,
то
какие
бы дополнительные разрядные цифры
мы ни добавляли. Для двух отрицательных
десятичных дробей
неравенство
выполняется
в том и только том случае, когда
для первого слева несовпадающего
разряда.
Поле действительных чисел
В
этом параграфе строиться поле
действительных чисел
,
в котором возможны более сложные операции
с числами, такие как, например, извлечение
корней.