Дидактические цели
Университетская лаборатория по второй половине темы непрерывности и сходимости: от определения ε-δ до равномерной сходимости, через топологическую характеризацию. Материал — обычное содержание первого курса топологии; лаборатория добавляет то, что каждое определение проверяется на практике прежде, чем быть записанным.
Лаборатория начинается без единой греческой буквы: зал 1 обсуждает, что мы имеем в виду, называя функцию непрерывной, отбрасывает ответ про карандаш и оставляет идею, которая действительно обобщается: если a и b близки, то и f(a) с f(b) должны быть близки, — измеренную на двух функциях: обычной и со скачком.
Далее сквозная линия — распределение ролей, которое сохраняется во всех 21 зале, а также в цветах: ε требует противник (всегда янтарный на экране), а δ выбираем мы (всегда зелёный). Зал 2 — буквально поединок: противник снижает ε три раза, и ученику нужно ответить δ, которое выдержит. Когда в зале 3 появляется формула с кванторами, порядок ∀ε ∃δ перестаёт быть произвольным соглашением для заучивания.
Лаборатория задумана как сопровождение объяснения, а не его замена. Доказательства даются полностью; меняется то, что ученик видит их построение прежде, чем прочитать.
Чему учимся
- Отвечать δ на требуемое ε для трёх функций возрастающей сложности: прямая (δ = ε/3, одно и то же везде), парабола (δ зависит ещё и от точки) и 1/x (δ обрушивается при приближении к краю области определения).
- Различать «непрерывна в каждой точке» и «равномерно непрерывна», наблюдая, как график δ(x₀) обрушивается.
- Отрицать определение по частям и знать, что нужно предъявить, чтобы утверждать, что функция не непрерывна: свидетеля ε₀, против которого не годится ни одно δ.
- Убедиться, что непрерывность — свойство не формулы, а пары метрик, и что оно даже не симметрично: с f(x) = x и круговой метрикой одно направление непрерывно, а другое нет.
- Распознавать эквивалентность между непрерывностью, сохранением пределов последовательностей и прообразами открытых множеств, и знать, какое из трёх свойств выживает без расстояния.
- Измерять расстояния между функциями с помощью d₁ и d∞ и понимать, что «сходимость» зависит от выбранной метрики так же, как и «непрерывность».
Ключевые математические идеи
- Порядок кванторов — это и есть содержание определения. Сначала противник выбирает ε, потом мы выбираем δ; поэтому δ может зависеть от ε, а вообще говоря — и от точки. Смена порядка даёт равномерную непрерывность, а это другое понятие.
- Отрицать определение — значит поменять, кто ходит первым. Для непрерывности мы отвечаем на любое ε; для разрывности мы предъявляем единственное ε₀, против которого не работает никакое δ. Лаборатория строит эту фразу по частям, а не выдаёт её готовой.
- Круговая метрика на [0;1) —
d(x,y) = min(|x−y|, 1−|x−y|)— превращает отрезок в окружность и даёт центральный контрпример: тождественное отображение из круговой метрики в евклидову не непрерывно в 0, и это верно для любого ε < 1. В обратную сторону оно непрерывно, с δ = ε. Склеивать — непрерывно; разрезать — нет. - Характеризация через прообразы не упоминает ни точек, ни ε, ни δ, ни расстояний; поэтому её можно взять как определение там, где метрики нет. Через образы она была бы неверна: x² непрерывна и переводит открытое множество (−1;1) в [0;1). У асимметрии есть причина: f⁻¹ уважает объединения, пересечения и дополнения; f — нет.
- Именно в обратной теореме о непрерывности и сходимости используется метрика, причём в одном конкретном месте: при выборе δ = 1/n, то есть при наличии счётного семейства вложенных окрестностей. Без неё эквивалентность может не выполняться, и нужны сети или фильтры.
- Одно и то же множество функций допускает метрики с противоположными вердиктами: xⁿ сходится по d₁ и не сходится по d∞. Полезный вопрос не «сходится ли?», а «какая метрика сохраняет то, что для меня важно?». При d∞ сохраняются непрерывность и интеграл; при поточечной сходимости — ни то, ни другое.
Заметки для урока
- Лаборатория покрывает вторую половину темы (начиная с «Непрерывности»). Шары, открытые множества, замкнутые множества и граница — первая половина — считаются уже известными.
- Залы 1, 2, 9, 14 и 21 лучше всего проецировать. Зал 1 — классное обсуждение: стоит дать прозвучать неверным ответам (карандаш, формула без кусков), прежде чем что-либо трогать. Зал 2 можно играть всем классом: преподаватель играет противника и снижает ε, пока класс не запротестует. Зал 9 — контрпример с круговой метрикой, и обычно именно в этот момент понимают, что непрерывность не живёт в формуле. Зал 14 строит обратную теорему шаг за шагом, и его стоит останавливать на каждом шаге. Зал 21 завершается трюком с тремя третями.
- Зал 5 (парабола) даётся труднее всего: ученик соглашается с тем, что δ зависит от ε, гораздо раньше, чем с тем, что оно зависит от точки. Стоит задержаться на графике δ(x₀), прежде чем переходить к залу 6.
- Блок E (залы 18-21) можно давать отдельно, на занятии по пространствам функций, не проходя остальное в тот же день.
Содержание по залам
Зал 1 · Близкое остаётся близким
Открывающий зал — без единой греческой буквы. Обсуждается, что мы имеем в виду, называя функцию непрерывной: ответ про карандаш — хорошая интуиция, но не определение (нельзя нарисовать функцию из ℝ² в ℝ³, ни заданную только на рациональных, ни ту, чьи точки сами функции, — а все три встретятся в этой лаборатории), и остаётся идея, которая обобщается: если a и b близки, то и f(a) с f(b) должны быть близки. Ученик закрепляет a в 0, двигает b и сразу видит оба расстояния — между аргументами снизу синим, между образами слева янтарным — на двух функциях: обычной кривой, где оба стремятся к нулю, и функции со скачком, где нижнее стремится к нулю, а левое не двигается. В конце указывается на хвост: «сколь угодно близко» и «достаточно близко» — обороты речи, а не числа, и превратить их в числа — дело следующего зала.
Задания для ученика
- Сравнить два расстояния на кривой и на функции со скачком, подводя b к 0 слева.
- Решить, что происходит с расстоянием между образами при приближении b к точке a.
- Решить, можно ли со скачком сблизить образы ближе 0,5.
- Выбрать, какая из четырёх фраз годится как определение непрерывности.
Зал 2 · Игра в ε и δ
Определение непрерывности разыгрывается как поединок ещё до того, как будет записано. Лаборатория выступает противником и требует ε (янтарный горизонтальный коридор); ученик отвечает своим δ (зелёная вертикальная полоса), двигая слайдер, пока попавший в полосу кусок графика не перестанет выходить из коридора. Три раунда, ε каждый раз меньше. Распределение цветов — янтарный для требуемого, зелёный для выбираемого нами — сохраняется во всех 21 зале.
Задания для ученика
- Пройти три раунда, найдя подходящее δ для каждого ε.
- Ответить, кто выбирает первым и почему порядок важен.
Зал 3 · Наконец-то определение
То, во что играли в предыдущем зале, записано символами и нарисовано двумя шарами: пространство выхода с шаром δ и пространство прибытия с шаром ε, соединённые стрелкой f. Анимация переносит весь зелёный шар внутрь янтарного, а второй вариант показывает, как это выглядит, когда выбранное δ слишком велико.
Задания для ученика
- Определить, какая из четырёх формул — верное определение.
- Объяснить, что значит «весь зелёный шар помещается в янтарный».
Зал 4 · Прямая: одно и то же δ всюду
Первое явное вычисление, с разобранным примером перед глазами: для f(x)=3x имеем |f(x)−f(x₀)| = 3|x−x₀|, значит достаточно δ = ε/3. Затем ученик двигает точку x₀ вдоль прямой и убеждается, что ответ по-прежнему годится: наклон всюду одинаков.
Задания для ученика
- Вычислить наибольшее подходящее δ для двух разных ε.
- Определить, от чего зависит δ в этом случае.
Зал 5 · Парабола: δ смотрит ещё и на то, где ты
Один график y=x², одно ε и лупа с фиксированным увеличением; когда x₀ двигается слайдером, система сама вычисляет наибольшее подходящее δ и показывает его рядом с ε, которое не меняется. Между x₀ = 1 и x₀ = 10 δ падает с 0,227 до 0,025, а зелёная полоса в лупе сужается до ниточки. Затем даётся оценка из курса — укротить |x+x₀|, потребовав сначала |x−x₀|<1, откуда δ = min(1, ε/(1+2|x₀|)) — и зал завершается графиком δ(x₀) до x₀ = 10, который обрушивается: непрерывна в каждой точке, но не равномерно непрерывна.
Задания для ученика
- Сравнить наибольшее подходящее δ в точке рядом с началом координат и в далёкой.
- Решить, что происходит с этим δ по мере удаления x₀ при том же ε.
- Применить формулу δ = min(1, ε/(1+2|x₀|)) к конкретному случаю.
Зал 6 · 1/x и точка, которой нет
Точка x₀ приближается к нулю, и показание наибольшего допустимого δ обрушивается прямо на экране. Оценка разбирается целиком и по частям: беда в том, что в |x−x₀|/(|x||x₀|) стоит сам x, а δ надо назвать до того, как узнаешь выбор противника, поэтому сначала x не пускают к нулю (если |x−x₀| < x₀/2, то |x| > x₀/2 и разность меньше 2|x−x₀|/x₀², где остался только x₀), а уже потом подключают ε. Отсюда δ = min(x₀/2, εx₀²/2), и два числовых примера показывают, какое из двух главнее: при x₀ = 3 и ε = 0,1 — второе, а при ε = 1 — первое. Весь зал держится на вопросе, разрывна ли 1/x в нуле: нет, потому что 0 не принадлежит области определения, а разрывным нельзя быть там, где ты не определён.
Задания для ученика
- Проследить, как меняется наибольшее допустимое δ при приближении точки к нулю.
- Вычислить δ по формуле для конкретных ε и x₀.
- Решить, что именно происходит в x = 0.
Зал 7 · Отрицание определения
Отрицание собирается по кусочкам: ∀ε превращается в ∃ε₀, ∃δ — в ∀δ, а импликация сохраняет посылку и отрицает заключение. После каждого верного ответа на экране дописывается очередной кусок полного утверждения. Когда оно готово, его показывают в действии на ступенчатой функции с фиксированным ε₀ = 1/2: каким бы малым ни было δ, всегда найдётся точка-свидетель, образ которой убегает.
Задания для ученика
- Собрать три части отрицания.
- Проверить на ступеньке, что никакое δ не работает.
- Определить наибольшее ε₀, годное в свидетели для скачка высоты 1.
Зал 8 · Свернуть отрезок
Анимация изгибает отрезок [0;1), пока он не замкнётся в окружность, и точки 0,05 и 0,95 — далёкие на прямой — оказываются соседями. Затем проводник с двумя подвижными точками показывает одновременно |a−b|, 1−|a−b| и минимум из них, с подсвеченной короткой дугой. Завершается кольцевой дорогой М-40: если ехать по часовой стрелке, перед съездом 1 идёт съезд 57.
Задания для ученика
- Посмотреть сворачивание и найти, какие точки становятся соседями.
- Вычислить три круговых расстояния, одно из которых с длинным путём в качестве ловушки.
Зал 9 · Тождество, которое ломается
Рисунок из темы, теперь интерактивный: слева окружность (выход, круговая метрика), справа отрезок (прибытие, евклидова). Один слайдер двигает зелёную точку сразу на обоих, а снизу читаются два расстояния до нуля: при x = 0,98 на выходе 0,020, а на прибытии 0,980. Слайдер охватывает ровно ту зону, которая важна, от 0,6 почти до 1: пока его тянешь, зелёная дуга на выходе сжимается, а красный отрезок на прибытии растёт, а точка-образ краснеет, как только выходит из шара ε = 0,5, который нарисован с самого начала. Без анимаций: три вопроса отвечаются по тому же рисунку, который не стирается.
Задания для ученика
- Подвигать зелёную точку и сравнить оба расстояния до нуля, особенно при x больше 0,9.
- Решить, что это тождество делает с близкими точками.
- Найти единственную точку, где непрерывность нарушается, и при каких ε.
Зал 10 · Склеивать непрерывно, резать — нет
Та же формула, но метрики поменялись местами, и рисунок из прошлого зала перевёрнут: теперь отрезок (евклидов) — это выход и стоит слева, а окружность (круговая) — прибытие и стоит справа. Две подвижные точки, a и b, живут сразу в обоих пространствах: слева их расстояние — синий кусок прямой, справа — короткая янтарная дуга, которая никогда не выходит длиннее. Две сравнительные полосы показывают, что круговое расстояние никогда не превосходит евклидово, и ученик может искать контрпример сколько угодно: его нет, и именно поэтому δ = ε годится всегда. Вывод: непрерывность — свойство не формулы, а пары метрик, и она даже не симметрична.
Задания для ученика
- Поискать пару точек, где круговое расстояние больше евклидова.
- Объяснить, почему в этом направлении годится δ = ε.
- Отметить верные утверждения о том, от чего зависит непрерывность.
Зал 11 · Из окружности в окружность
Круговая метрика с обеих сторон. Испытательный стенд с двумя окружностями рядом: ученик выбирает функцию-кандидатку и смотрит, как движется точка выхода вместе со своим образом. Есть неподвижная красная точка в x = 0,01, рядом со склейкой, а зелёная медленно делает полный круг, начиная с противоположной стороны. Оба расстояния до красной рисуются и читаются сразу: синяя дуга на выходе и янтарная на прибытии. К концу обхода синяя почти исчезает у всех четырёх кандидаток; янтарная — тоже у поворота, отражения и удвоения, но у f(x)=x/2 она остаётся 0,49: она переводит 0 в 0, а соседей нуля с другой стороны — в окрестность 0,5. Лаборатория не говорит, кто ломается: это говорят два числа.
Задания для ученика
- Испытать четыре кандидатки на стенде.
- Отметить все непрерывные.
Зал 12 · Последовательность и её шары
Определение предела прочитано буквально: вне каждого шара остаётся не более чем конечное число членов. На числовой прямой с пронумерованными членами ученик сжимает радиус ε и видит, сколько осталось снаружи и какое N подойдёт. Завершается единственностью предела: при ε = d(a,b)/2 два шара не пересекаются и не могут оба содержать почти все члены.
Задания для ученика
- Посчитать, сколько членов остаётся вне шара при заданном ε.
- Обосновать, почему предел последовательности единствен.
Зал 13 · Непрерывная сохраняет пределы
Простое направление теоремы, в анимации по двум пространствам: начиная с некоторого N члены входят в зелёный шар, а их образы оказываются заперты в янтарном. Затем ученик восстанавливает порядок рассуждения — единственное, что стоит уметь воспроизводить: зафиксировать ε, получить δ из непрерывности, получить N из сходимости, заключить.
Задания для ученика
- Посмотреть, как хвост последовательности затягивает свои образы в янтарный шар.
- Упорядочить четыре шага доказательства.
Зал 14 · Обратное — шаг за шагом
Доказательство от противного, построенное по одному шагу на диаграмме двух пространств. Предполагаем, что f не непрерывна, отрицание даёт «плохое» ε₀, и, применяя его при δ = 1, 1/2, 1/3, …, получаем точки xₙ внутри всё меньших зелёных шаров, тогда как их образы толпятся вне янтарного. Последовательность сходится к x, а её образы к f(x) не сходятся: противоречие. Этот зал больше всех стоит останавливать на каждом шаге.
Задания для ученика
- Проследить построение шаг за шагом и посмотреть его ещё раз.
- Восстановить порядок шагов.
- Определить, где использовано, что пространство метрическое.
Зал 15 · Непрерывность без расстояний
Характеризация, в которой нет ни точек, ни ε, ни δ, ни расстояний. Ученик таскает открытое множество U по оси прибытия и видит его прообраз на оси выхода: с непрерывной функцией он всегда открыт; со ступенькой, если поместить U вокруг верхнего значения, прообраз начинает содержать свою граничную точку и открытым быть перестаёт. Завершается двойственной версией для замкнутых множеств.
Задания для ученика
- Подвигать U с обеими функциями и понаблюдать за прообразом.
- Разместить U так, чтобы прообраз перестал быть открытым.
- Объяснить, почему это доказывает, что ступенька не непрерывна.
Зал 16 · Прообраз — да, образ — нет
Почему характеризация говорит о прообразах и не может говорить об образах: x² непрерывна и переводит открытое (−1;1) в [0;1), которое не открыто. Точка пробегает исходный интервал, а её образ отскакивает от нуля — именно того конца, который достигается. Причина в основе: f⁻¹ уважает объединения, пересечения и дополнения, а f — нет.
Задания для ученика
- Определить образ открытого интервала (−1;1) под действием x².
- Объяснить, почему характеризация использует прообразы.
Зал 17 · Композиция двух непрерывных
Три пространства и две стрелки. Открытое множество W в третьем пространстве тянут назад: g⁻¹(W) во втором, f⁻¹(g⁻¹(W)) в первом — и все три открыты. Топологическое доказательство занимает две строки; рядом показана ε-δ версия того же результата, с промежуточным η, чтобы разница в длине была видна.
Задания для ученика
- Проследить, как открытое множество тянут назад.
- Определить, чему равно (g∘f)⁻¹(W).
- Упорядочить две строки топологического доказательства.
Зал 18 · Два способа мерить функции
Концептуальный скачок блока: точками пространства становятся функции. К постоянной функции добавляется пик с настраиваемой высотой и шириной, и оба расстояния читаются одновременно: площадь между кривыми (d₁) и столбик в наихудшей точке (d∞). Задание требует получить большое d∞ при крошечном d₁ — это ровно высокий и узкий пик.
Задания для ученика
- Добиться, чтобы d∞ превысило 0,4, а d₁ осталось ниже 0,05.
- Вычислить d∞ для заданной высоты пика.
Зал 19 · xⁿ и два вердикта
Кривые xⁿ прижимаются к оси и резко взмывают у x = 1, которая не двигается никогда. Поточечный предел разрывен, то есть вышел из C[0;1]. А вердикт о сходимости зависит от метрики: в d₁ она равна 1/(n+1) и стремится к нулю, в d∞ равна 1 при любом n и не сходится.
Задания для ученика
- Вычислить предел 0,9ⁿ и описать предельную функцию.
- Вычислить d₁ между xⁿ и нулевой функцией для конкретного n.
- Решить, сходится ли последовательность в метрике супремума.
Зал 20 · Убегающая площадь
Пики высоты n на отрезке [0;1/n]: всё выше и уже, и все площади равны 1. Для каждого фиксированного x последовательность рано или поздно обращается в нуль, так что поточечный предел — нулевая функция и её интеграл равен 0; но интеграл каждой fₙ равен 1. Площадь не теряется — она убегает вверх.
Задания для ученика
- Вычислить интеграл fₙ для конкретного n.
- Определить поточечный предел последовательности.
- Объяснить, почему предел нельзя переставить с интегралом.
Зал 21 · Труба: равномерная сходимость
Заключительный зал. Равномерная сходимость нарисована как труба шириной 2ε вокруг предела: последовательность сходится равномерно, если в итоге целиком оказывается внутри, а всё, что выходит наружу, красится красным. Сравниваются четыре последовательности: две попадают внутрь, две нет. Завершается анимацией приёма «трёх третей» по слагаемым и итогом темы: три равносильных определения непрерывности, и лишь одно выживает без расстояния.
Задания для ученика
- Испытать четыре последовательности с трубой и отметить сходящиеся равномерно.
- Проследить анимацию приёма «трёх третей».
- Решить, что сохраняет равномерная сходимость.
Залы для показа
Самые наглядные для показа и обсуждения в классе.