# Лекция MIT: Что делает вещественные числа полными и почему рациональных недостаточно

Источник: https://www.youtube.com/watch?v=6i6sV8WIzLc
Канал: MIT OpenCourseWare
Опубликовано: 02.09.2025

---

## Фундаментальные основы анализа: Что делает вещественные числа полными?
[[JUMP:0:00]]

Математический анализ опирается на строгие определения, выходящие за рамки интуитивного понимания чисел. В этой лекции MIT OpenCourseWare профессор раскрывает суть того, почему множество рациональных чисел недостаточно для полноценного математического аппарата, и вводит понятие полноты вещественных чисел.

### Проблема рациональных чисел и теорема о промежуточном значении
[[JUMP:0:16]]

Мотивирующим примером для изучения свойств вещественных чисел ($R$) служит теорема о промежуточном значении. Она утверждает, что если непрерывная функция на интервале от $a$ до $b$ меняет знак, то существует такая точка $c$, где функция обращается в нуль. Чтобы сделать это утверждение математически строгим, необходимо определить, что $R$ является «полным упорядоченным полем».

*   **Поле:** множество с операциями сложения и умножения, подчиняющееся 11 свойствам, включая дистрибутивный закон.
*   **Упорядоченное множество:** множество, где любые два элемента $x$ и $y$ сравнимы ($x=y, x<y$ или $y<x$), а порядок транзитивен.
*   **Упорядоченное поле:** структура, в которой операции сложения и умножения согласованы с порядком.

### Доказательство иррациональности $\sqrt{2}$
[[JUMP:8:15]]

Главное различие между рациональными и вещественными числами заключается в полноте. Профессор демонстрирует, что $\sqrt{2}$ невозможно представить в виде рациональной дроби $m/n$, где $m$ — целое число, а $n$ — натуральное.

Доказательство строится от противного:

1.  Предположим, что $\sqrt{2} = m/n$, где дробь несократима.
2.  Возведя в квадрат, получаем $m^2 = 2n^2$, что означает, что $m$ должно быть четным.
3.  Если $m = 2m_1$, то $4m_1^2 = 2n^2$, откуда $2m_1^2 = n^2$, а значит, и $n$ должно быть четным.
4.  Это противоречит исходному предположению о несократимости дроби, следовательно, $\sqrt{2}$ не является рациональным числом.

### Полнота и свойство наименьшей верхней грани
[[JUMP:20:07]]

Вещественные числа заполняют «пробелы» рациональных чисел. Ключ к этому — **свойство наименьшей верхней грани**.

*   **Верхняя грань:** элемент $M$, который больше или равен любому элементу подмножества $A$.
*   **Наименьшая верхняя грань (supremum):** такая верхняя грань, которая меньше любой другой верхней грани.
*   **Полнота:** поле является полным, если любое его ограниченное подмножество имеет наименьшую верхнюю грань.

Именно наличие этого свойства позволяет корректно определить $\sqrt{2}$ как наименьшую верхнюю грань множества $A = \{x \in R \mid x > 0, x^2 < 2\}$. Профессор подробно доказывает, что значение $x = \sup A$ удовлетворяет условию $x^2 = 2$, используя метод доказательства от противного для обоих неравенств ($x^2 \leq 2$ и $x^2 \geq 2$).

### Архимедово свойство и его следствия
[[JUMP:54:54]]

Еще одной важной характеристикой вещественных чисел является **Архимедово свойство**: для любого вещественного числа $x$ существует такое натуральное число $n$, что $n > x$. Это свойство позволяет доказать важное следствие: между любыми двумя различными вещественными числами $x$ и $y$ всегда существует рациональное число $m/n$.

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