Фундаментальные основы анализа: Что делает вещественные числа полными? 0:00
Математический анализ опирается на строгие определения, выходящие за рамки интуитивного понимания чисел. В этой лекции MIT OpenCourseWare профессор раскрывает суть того, почему множество рациональных чисел недостаточно для полноценного математического аппарата, и вводит понятие полноты вещественных чисел.
Проблема рациональных чисел и теорема о промежуточном значении 0:16
Мотивирующим примером для изучения свойств вещественных чисел ($R$) служит теорема о промежуточном значении. Она утверждает, что если непрерывная функция на интервале от $a$ до $b$ меняет знак, то существует такая точка $c$, где функция обращается в нуль. Чтобы сделать это утверждение математически строгим, необходимо определить, что $R$ является «полным упорядоченным полем».
- Поле: множество с операциями сложения и умножения, подчиняющееся 11 свойствам, включая дистрибутивный закон.
- Упорядоченное множество: множество, где любые два элемента $x$ и $y$ сравнимы ($x=y, x<y$ или $y<x$), а порядок транзитивен.
- Упорядоченное поле: структура, в которой операции сложения и умножения согласованы с порядком.
Доказательство иррациональности $\sqrt{2}$ 8:15
Главное различие между рациональными и вещественными числами заключается в полноте. Профессор демонстрирует, что $\sqrt{2}$ невозможно представить в виде рациональной дроби $m/n$, где $m$ — целое число, а $n$ — натуральное.
Доказательство строится от противного:
- Предположим, что $\sqrt{2} = m/n$, где дробь несократима.
- Возведя в квадрат, получаем $m^2 = 2n^2$, что означает, что $m$ должно быть четным.
- Если $m = 2m_1$, то $4m_1^2 = 2n^2$, откуда $2m_1^2 = n^2$, а значит, и $n$ должно быть четным.
- Это противоречит исходному предположению о несократимости дроби, следовательно, $\sqrt{2}$ не является рациональным числом.
Полнота и свойство наименьшей верхней грани 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$).
Архимедово свойство и его следствия 54:54
Еще одной важной характеристикой вещественных чисел является Архимедово свойство: для любого вещественного числа $x$ существует такое натуральное число $n$, что $n > x$. Это свойство позволяет доказать важное следствие: между любыми двумя различными вещественными числами $x$ и $y$ всегда существует рациональное число $m/n$.
В завершение лекции профессор анонсировал график консультаций (офисных часов) и отметил, что определение верхней грани, а не нижней, выбрано для упрощения формализма — нижние грани рассматриваются аналогично через дополнение множеств.
