Действительные числа
Действительные числа (ℝ) - это фундаментальное понятие математики, которое включает все возможные числа, которые можно представить на числовой прямой. Это понятие возникло в результате многовекового развития математики и включает:
- Натуральные числа (ℕ): 1, 2, 3, ... - для счета предметов
- Целые числа (ℤ): ..., -2, -1, 0, 1, 2, ... - расширение натуральных
- Рациональные числа (ℚ): дроби вида p/q, где p∈ℤ, q∈ℕ
- Иррациональные числа: √2, π, e и другие непериодические дроби
Исторически, понятие действительных чисел окончательно сформировалось только в XIX веке благодаря работам Дедекинда, Кантора и Вейерштрасса.
Свойства действительных чисел
1. Упорядоченность
Для любых двух действительных чисел \( a \) и \( b \) выполняется ровно одно из соотношений:
- \( a < b \)
- \( a = b \)
- \( a > b \)
Это свойство позволяет располагать все действительные числа на числовой прямой.
2. Операция сложения
Для любых \( a, b \in \mathbb{R} \) существует единственная сумма \( a + b \), обладающая свойствами:
- Коммутативность: \( a + b = b + a \)
- Ассоциативность: \( (a + b) + c = a + (b + c) \)
- Существование нуля: \( \exists 0 \in \mathbb{R}: a + 0 = a \)
- Существование противоположного: \( \forall a \exists (-a): a + (-a) = 0 \)
3. Операция умножения
Для любых \( a, b \in \mathbb{R} \) существует единственное произведение \( a \cdot b \), обладающее свойствами:
- Коммутативность: \( a \cdot b = b \cdot a \)
- Ассоциативность: \( (a \cdot b) \cdot c = a \cdot (b \cdot c) \)
- Существование единицы: \( \exists 1 \in \mathbb{R}: a \cdot 1 = a \)
- Существование обратного: \( \forall a \neq 0 \exists a^{-1}: a \cdot a^{-1} = 1 \)
4. Дистрибутивность
Умножение дистрибутивно относительно сложения:
\( a \cdot (b + c) = a \cdot b + a \cdot c \)
Это свойство связывает операции сложения и умножения.
5. Архимедово свойство
Для любых \( a, b \in \mathbb{R}, a > 0 \) существует натуральное число \( n \), такое что:
\( n \cdot a > b \)
Это означает, что не существует бесконечно больших или бесконечно малых действительных чисел.
Числовая прямая
Действительные числа можно представить как точки на бесконечной прямой, где:
- Каждой точке соответствует единственное действительное число
- Каждому действительному числу соответствует единственная точка
Координата точки на числовой прямой
Координата точки - это действительное число, однозначно определяющее положение точки на числовой прямой относительно начала отсчёта (точки 0).
Формальное определение:
Для любой точки \( P \) на числовой прямой существует единственное действительное число \( x \), называемое её координатой, такое что:
- Если \( P \) совпадает с началом отсчёта, то \( x = 0 \)
- Если \( P \) расположена справа от начала, то \( x > 0 \)
- Если \( P \) расположена слева от начала, то \( x < 0 \)
- Расстояние от \( P \) до начала равно \( |x| \)
Основные свойства координат:
- Уникальность: Каждая точка имеет ровно одну координату
- Полнота: Каждому действительному числу соответствует точка
- Расстояние: Расстояние между точками \( x \) и \( y \) равно \( |x - y| \)
- Порядок: Точка с большей координатой расположена правее
Примеры:
Пример 1. Точка с координатой \( x_1 = 2 \) расположена на 2 единицы правее начала.
Её расстояние до точки \( x = -1 \) равно \( |2 - (-1)| = 3 \).
Пример 2. Точка \( x_2 = 0 \) - начало отсчёта.
Точка \( x = -π \) расположена на расстоянии \( π \) слева от начала.
Применение в геометрии:
Понятие координаты точки лежит в основе:
- Аналитической геометрии
- Графиков функций
- Векторного анализа
- Компьютерной графики
Очевидно, что каждой точке \( P \) на оси \( Ox \) соответсвует действительное число \( x \), т.е. её координата.
Интервалы на числовой прямой
Подмножество \( X \) множества действительных чисел называют промежутком или интервалом, если вместе с любыми двумя числами \( x_1 \) и \( x_2 \) это подмножество содержит любое \( x \), заключенное мужду ними.
Открытый интервал:
\( (a, b) = \{ x \in \mathbb{R} \mid a < x < b \} \)
Замкнутый интервал:
\( [a, b] = \{ x \in \mathbb{R} \mid a \leq x \leq b \} \)
Полуинтервал:
\( [a, b) = \{ x \in \mathbb{R} \mid a \leq x < b \} \)
Окрестность точки
Для точки \( x_0 \in \mathbb{R} \) и числа \( \varepsilon > 0 \), ε-окрестностью точки \( x_0 \) называется множество:
Геометрически ε-окрестность - это интервал длины \( 2\varepsilon \) с центром в точке \( x_0 \), не включая границы.
Свойства окрестностей:
1. Вложенность
Если \( \varepsilon_1 < \varepsilon_2 \), то \( U_{\varepsilon_1}(x_0) \subset U_{\varepsilon_2}(x_0) \)
Меньшая окрестность полностью содержится в большей
2. Пересечение
Пересечение двух окрестностей есть окрестность:
\( U_{\varepsilon_1}(x_0) \cap U_{\varepsilon_2}(x_0) = U_{\min(\varepsilon_1,\varepsilon_2)}(x_0) \)
3. Симметричность
Если \( x \in U_\varepsilon(x_0) \), то \( x_0 \in U_\varepsilon(x) \)
4. Связность
Любые две точки в окрестности можно соединить отрезком, полностью лежащим в окрестности
Принцип вложенных отрезков Кантора
Для любой последовательности вложенных отрезков \( [a_n, b_n] \) (где \( [a_{n+1}, b_{n+1}] \subseteq [a_n, b_n] \)) существует хотя бы одна точка, принадлежащая всем отрезкам.
Это свойство выражает полноту множества действительных чисел.
Принцип вложенных отрезков Кантора
Формулировка теоремы:
Для любой последовательности вложенных отрезков \( [a_1, b_1] \supset [a_2, b_2] \supset \cdots \supset [a_n, b_n] \supset \cdots \) таких что \( \lim_{n\to\infty} (b_n - a_n) = 0 \), существует единственная точка \( c \in \mathbb{R} \), принадлежащая всем отрезкам:
\( \bigcap_{n=1}^{\infty} [a_n, b_n] = \{c\} \)
Доказательство:
1. Существование общей точки
Рассмотрим множества \( A = \{a_n\} \) и \( B = \{b_n\} \). Из вложенности отрезков следует:
- \( a_n \leq a_{n+1} \leq b_{n+1} \leq b_n \) для всех \( n \in \mathbb{N} \)
- Множество \( A \) ограничено сверху (любым \( b_n \))
- Множество \( B \) ограничено снизу (любым \( a_n \))
По свойству полноты действительных чисел существуют:
\( c = \sup A \) и \( c' = \inf B \)
2. Равенство \( c = c' \)
Из определения точных граней и вложенности отрезков:
\( a_n \leq c \leq c' \leq b_n \) для всех \( n \in \mathbb{N} \)
Но \( b_n - a_n \to 0 \), следовательно \( c' - c \leq b_n - a_n \to 0 \)
Отсюда \( c = c' \)
3. Принадлежность \( c \) всем отрезкам
Для любого \( n \in \mathbb{N} \):
\( a_n \leq c \leq b_n \) ⇒ \( c \in [a_n, b_n] \)
Таким образом, \( c \) принадлежит всем отрезкам последовательности
4. Единственность
Предположим, существует другая точка \( d \neq c \), принадлежащая всем отрезкам.
Тогда \( |c - d| \leq b_n - a_n \to 0 \), что возможно только при \( d = c \)
Противоречие доказывает единственность
Геометрическая интерпретация:
Последовательное сжатие отрезков к единственной точке
Пример применения:
Рассмотрим последовательность \( [0, 1] \supset [0, \frac{1}{2}] \supset [0, \frac{1}{4}] \supset \cdots \)
Здесь \( a_n = 0 \), \( b_n = \frac{1}{2^{n-1}} \), \( b_n - a_n \to 0 \)
Единственная общая точка: \( c = 0 \)
Значение принципа:
- Демонстрирует полноту множества действительных чисел
- Используется в доказательствах основных теорем анализа
- Лежит в основе метода дихотомии в численных методах
Абсолютная величина (модуль)
Для любого \( x \in \mathbb{R} \) модуль определяется как:
\( |x| = \begin{cases} x, & \text{если } x \geq 0 \\ -x, & \text{если } x < 0 \end{cases} \)
Свойства модуля:
- \( |x| \geq 0 \) (неотрицательность)
- \( |x| = 0 \Leftrightarrow x = 0 \)
- \( |x \cdot y| = |x| \cdot |y| \)
- \( |x + y| \leq |x| + |y| \) (неравенство треугольника)
Примеры:
1. Решение уравнения \( |x - 3| < 5 \):
\( -5 < x - 3 < 5 \) ⇒ \( -2 < x < 8 \)
2. Геометрически: \( |x - 3| \) — расстояние между точками \( x \) и 3 на числовой прямой.
Примеры и приложения
Пример 1. Доказательство иррациональности √2
Предположим, \( \sqrt{2} \) рационален, тогда:
\( \sqrt{2} = \frac{p}{q} \), где \( p, q \) — взаимно просты
\( 2 = \frac{p^2}{q^2} \) ⇒ \( p^2 = 2q^2 \) ⇒ \( p \) чётно
Пусть \( p = 2k \), тогда \( 4k^2 = 2q^2 \) ⇒ \( q^2 = 2k^2 \) ⇒ \( q \) чётно
Противоречие: \( p \) и \( q \) оба чётны.
Пример 2. Применение в математическом анализе
Свойство полноты ℝ позволяет:
- Определять пределы последовательностей
- Доказывать существование производных и интегралов
- Строить непрерывные функции
Применение в программировании
- Типы данных: float и double в языках программирования представляют подмножество ℝ
- Численные методы основаны на свойствах действительных чисел
- Графика и моделирование используют непрерывность ℝ