# Тобиас Колдинг: «Как превратить черновик в безупречное математическое доказательство»

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

---

В рамках курса Массачусетского технологического института (MIT OpenCourseWare) профессор Тобиас Колдинг представил лекцию, посвященную переходу от интуитивного понимания математики к строгому академическому письму. Основное внимание было уделено формализации доказательств на примере иррациональности корня из двух и архимедова свойства действительных чисел.

## 📝 Разница между идеей и формальным доказательством
[[JUMP:00:40]]

В математическом образовании критически важно разделять процесс поиска решения и процесс его записи. По словам профессора Колдинга, то, что студент записывает на черновике (scrap paper) — это «понимание того, почему утверждение должно быть истинным» [00:40]. Однако формальное доказательство для публикации или сдачи работы требует иной структуры.

Основные отличия формального подхода:

*   **Исключение лишнего:** в тексте должны остаться только те свойства, которые непосредственно необходимы для установления истины, чтобы не путать читателя [28:28].
*   **Сначала результат поиска:** параметры, найденные в ходе черновых расчетов (например, вспомогательные переменные), в чистовике объявляются сразу («пусть $h$ равно...»), что может выглядеть внезапно, но обеспечивает логическую стройность [1:06:19].
*   **Структура:** четкое разделение на части, использование стандартных символов (например, знака противоречия) и явное указание метода (доказательство от противного) [1:05:48].

## 📚 Справочные материалы и академические ресурсы
[[JUMP:01:31]]

Профессор Колдинг подчеркнул важность использования правильной литературы. Основным учебником курса является более доступное издание, однако он особо выделил классический труд:

*   **Уолтер Рудин, «Основы математического анализа» (Principles of Mathematical Analysis):** Колдинг назвал эту книгу «классикой предмета», отметив её строгость и формализм [03:09]. 
*   **Методологический контраст:** Рудин начинает с абстракции и переходит к частным случаям (R), тогда как текущий курс MIT идет от знакомых понятий к абстрактным [15:58].

## 🔢 Понятие ограниченности и полноты
[[JUMP:04:27]]

Прежде чем приступать к доказательствам, Колдинг уточнил определения верхних и нижних границ множеств. Вещественные числа ($R$) рассматриваются как полное упорядоченное поле [04:48].

Ключевые тезисы об ограничениях:

1.  **Позиция границы:** Верхняя граница $M$ не обязательно должна принадлежать самому множеству $A$. Она находится в более широком множестве $S$, подмножеством которого является $A$ [09:27].
2.  **Зависимость от контекста:** Множество может быть ограничено в рамках одной системы и не ограничено в другой. Например, интервал $(0, 1)$ не имеет нижней границы, если рассматривать его только как подмножество положительных чисел $(0, \infty)$, так как точка $0$ исключена из рассмотрения [13:49].
3.  **Supremum и Infimum:** Супремум (наименьшая верхняя граница) и инфимум (наибольшая нижняя граница) существуют для любого ограниченного подмножества в $R$ благодаря свойству полноты [19:56].

## 📐 Кейс: Формальное доказательство существования $\sqrt{2}$
[[JUMP:23:41]]

Основная часть лекции была посвящена записи строгого доказательства того, что существует число $\alpha \in R$, такое что $\alpha^2 = 2$. 

### Шаг 1: Определение множества
Профессор вводит множество $A = \{x \in R : x > 0, x^2 \le 2\}$ [26:41]. Доказывается, что оно не пусто (так как $1 \in A$) и ограничено сверху (например, числом 2) [28:14]. Следовательно, у него есть супремум $\alpha$.

### Шаг 2: Метод исключения (Часть 1)
Доказывается, что $\alpha^2$ не может быть больше 2. Колдинг использует доказательство от противного: если предположить, что $\alpha^2 > 2$, можно найти меньшее число $\alpha_1 < \alpha$, которое все еще будет верхней границей для $A$. Это противоречит определению супремума как *наименьшей* границы [33:50].

### Шаг 3: Метод исключения (Часть 2)
Доказывается, что $\alpha^2$ не может быть меньше 2. Если предположить, что $\alpha^2 < 2$, то найдется число $\alpha_2 > \alpha$, которое все еще принадлежит множеству $A$ [55:30]. Это противоречит тому, что $\alpha$ является верхней границей для всех элементов $A$ [1:04:07].

**Вывод:** Поскольку $\alpha^2$ не больше и не меньше 2, оно обязано быть равным 2.

## 🏔️ Архимедово свойство и последовательности
[[JUMP:1:08:44]]

Колдинг представил формальное доказательство архимедова свойства: множество натуральных чисел $N$ не ограничено сверху в $R$ [1:09:59].

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

*   Если предположить, что у $N$ есть верхняя граница, то существует наименьшая верхняя граница $\alpha$.
*   Однако если $\alpha$ — граница, то для любого $n \in N$ число $n+1$ также является натуральным числом и должно быть $\le \alpha$.
*   Это означает, что $n \le \alpha - 1$ для всех $n$. Таким образом, $\alpha - 1$ тоже является верхней границей, что противоречит тому, что $\alpha$ была наименьшей [1:14:20].

В завершение лекции было введено понятие **последовательностей**. Тобиас Колдинг определил последовательность как функцию из множества натуральных чисел в множество вещественных чисел [1:17:13]. В качестве примера он привел приближение $\sqrt{2}$ через десятичные дроби: $1; 1.4; 1.41; 1.414 \dots$ [1:18:39]. Эта тема станет фундаментом для следующей лекции, посвященной пределам.