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

От /

Историческая справка

Понятие числа развивалось на протяжении тысячелетий, и история действительных чисел — это история расширения числовой системы для решения новых математических задач.

  • Натуральные числа (ℕ): Самые древние, возникли из практических нужд счёта (1, 2, 3…).
  • Дроби (рациональные числа ℚ): Появились в Древнем Египте и Вавилоне для решения задач измерения и дележа.
  • Иррациональные числа: Первый кризис в математике. Пифагорейцы (ок. V в. до н.э.) обнаружили, что диагональ квадрата со стороной 1 не может быть выражена дробью (это число √2). Это открытие шокировало математиков, так как разрушало их философию, что все сущее есть число (подразумевая дробь).
  • Отрицательные числа: Появились в китайской и индийской математике для учета долгов, но широкое признание в Европе получили лишь в XVII веке.
  • Ноль: Концепция нуля как числа была разработана в Индии и позже заимствована арабами.
  • Строгое определение (XIX век): Долгое время действительные числа не имели строгого формального определения. Пробелы в обосновании анализа привели к необходимости точного определения. Основные модели были предложены:
    • Георг Кантор (1872): Определил действительное число как класс эквивалентных фундаментальных последовательностей рациональных чисел (предел, к которому они стремятся).
    • Рихард Дедекинд (1872): Предложил определение через «дедекиндовы сечения» — разбиение всех рациональных чисел на два класса так, что каждое число из первого класса меньше любого числа из второго. Иррациональное число и есть это сечение.
    • Карл Вейерштрасс: Также внес значительный вклад в арифметизацию анализа.

Объединение множеств рациональных и иррациональных чисел и образовало множество действительных чисел.

Определение

Действительные числа (ℝ) — это все числа, которые можно поставить во взаимно однозначное соответствие с точками на числовой прямой.

Проще говоря, это:

  • Рациональные числа (ℚ): Числа, которые можно представить в виде дроби m/n, где m — целое, n — натуральное.
    • Целые числа (…, -2, -1, 0, 1, 2, …)
    • Конечные десятичные дроби (0.75 = 3/4)
    • Бесконечные периодические десятичные дроби (0.333… = 1/3)
  • Иррациональные числа: Числа, которые нельзя представить в виде дроби m/n. Их запись в виде десятичной дроби является бесконечной и непериодической.
    • √2 ≈ 1.41421356…
    • π (пи) ≈ 3.14159265…
    • e (число Эйлера) ≈ 2.71828182…

Свойства

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

А. Аксиомы сложения и умножения (свойства поля)

  1. Коммутативность: a + b = b + a; a * b = b * a
  2. Ассоциативность: (a + b) + c = a + (b + c); (a * b) * c = a * (b * c)
  3. Дистрибутивность: a * (b + c) = a * b + a * c
  4. Существование нейтрального элемента:
    • Для сложения: a + 0 = a (0 — ноль)
    • Для умножения: a * 1 = a (1 — единица)
  5. Существование противоположного элемента: Для любого a существует -a такой, что a + (-a) = 0
  6. Существование обратного элемента: Для любого a ≠ 0 существует a⁻¹ такой, что a * a⁻¹ = 1

Б. Аксиомы порядка

  1. Рефлексивность: a ≤ a
  2. Антисимметричность: Если a ≤ b и b ≤ a, то a = b
  3. Транзитивность: Если a ≤ b и b ≤ c, то a ≤ c
  4. Линейность (полнота порядка): Для любых двух чисел a и b выполняется либо a ≤ b, либо b ≤ a.
  5. Согласованность с операциями:
    • Если a ≤ b, то a + c ≤ b + c
    • Если a ≤ b и 0 ≤ c, то a * c ≤ b * c

В. Аксиома полноты (главное отличие от рациональных чисел)

Для любого непустого ограниченного сверху подмножества действительных чисел существует точная верхняя грань (supremum).

Это свойство гарантирует, что на числовой прямой нет «дырок». Любое ограниченное множество имеет границу. Именно это свойство позволяет говорить о пределах, непрерывности и лежит в основе математического анализа.

Примеры

  • Рациональные числа (являются действительными):
    • 5 (натуральное)
    • -12 (целое, отрицательное)
    • 0 (ноль)
    • 3/4 или 0.75 (конечная десятичная дробь)
    • 0.333... или 1/3 (периодическая дробь)
  • Иррациональные числа (являются действительными):
    • √2 (корень из двух)
    • π (пи, отношение длины окружности к диаметру)
    • e (основание натурального логарифма)
    • √3, √5, и корень из любого числа, не являющегося полным квадратом
    • sin(1°) (почти все значения тригонометрических функций от аргументов, не кратных 45°)

Числовая прямая

Числовая прямая — это наглядная геометрическая модель множества действительных чисел.

  • На прямой выбираются:
    1. Начало отсчета — точка O, соответствующая числу 0.
    2. Положительное направление (обычно вправо).
    3. Единичный отрезок (масштаб) — отрезок, длина которого равна 1.
  • Каждой точке на прямой ставится в соответствие единственное действительное число:
    • Положительные числа расположены справа от нуля.
    • Отрицательные — слева.
    • Расстояние от точки до начала отсчета равно модулю числа.
  • Важнейшее свойство: Между множеством точек числовой прямой и множеством действительных чисел существует взаимно однозначное соответствие. Это означает:
    • Каждому действительному числу соответствует ровно одна точка на прямой.
    • Каждой точке на прямой соответствует ровно одно действительное число.

Это свойство и есть наглядное представление аксиомы полноты: числовая прямая не имеет разрывов и пустот, она «сплошная».

Итог: Действительные числа — это фундаментальный объект в математике, который позволяет измерять непрерывные величины. Их свойства лежат в основе алгебры, математического анализа, геометрии и практически всех прикладных наук.

Прокрутить вверх