Игорь Воронцов@master_program
Преподаю в МФТИ, МГУ, ЦУ и ВШЭ, сотрудник ЦНК МФТИ
62,2
Рейтинг
491
Подписчики
Техническая поддержкаНа информационном ресурсе применяются рекомендательные технологии
© 2006–2026, Habr
Преподаю в МФТИ, МГУ, ЦУ и ВШЭ, сотрудник ЦНК МФТИ
Речь о равномерной сходимости последовательности траекторий. Это то же самое, что говорить о максимальном отклонении траектории, потому что в слове максимальный здесь заключено, что максимум берется по множеству траекторий, т.е. добавляется параметр, по которому сходимость должна быть равномерной.
Зачем здесь нужен этот бесконечный процесс?
Я просто определяю точку сгущения как точку, в любой окрестности которой бесконечно много точек последовательности. Никакой другой формализации не нужно.
Это не так, определение предела по Гейне сильно отличается от определения по Коши, а и в некоторых пространствах, например, они вообще не эквивалентны.
Это тоже не так. Определения по Гейне даются на формализованном языке.
Я тут ее и использую, потому что выход за ее пределы к анализу не имеет никакого прямого отношения.
Только зачем здесь его вводить? Эта конструкция, во-первых, логически намного проще, чем у Коши, во-вторых никакого конкретного эпсилон вводить не нужно.
Все эти понятия уже были определены в тексте. Понятие интервала гораздо проще, чем вот это, его в 5-6-м классе изучают, примерно когда проходят числовую прямую
Не требует, здесь доказана неравномощность натуральных чисел и континуума.
Нет, обхожусь без этого. Потому что я тут не использую в определении, что для любого эпсилон, начиная с какого-то номера, они все внутри. Я просто говорю, что в любой окрестности точки их там бесконечное количество, не уточняя расположение.
Более того, точка сгущения - это частичный предел, а не предел. Определение предела тут - "единственный частичный предел". Понятие частичного предела проще, чем предела, геометрически, если определять его не как предел подпоследовательности (что требует строить еще одну сущность), а просто как точку сгущения.
Это симметричный интервал, включающий эту точку.
Точка сгущения последовательности и точка сгущения области - понятия разные.
Ну вот ценность работы в том, что они как раз аналитическое решение нашли.
Практический интерес эти модели прежде всего для моделирования движения крови человека представляют. А там частицы разного размера надо учитывать.
Насколько я понял, в той модели не учитывалось. По ссылке полный текст статьи со всеми формулами есть, можете сами посмотреть.
Конкретно эта работа теоретическая, поэтому эксперимент там не описан.
Точка, в любой окрестности которой бесконечное количество членов последовательности.
Так у Фихтенгольца еще запутаннее выходит.
Вместо кванторов обозначающие их слова - это запутывает только. Потому что это всё равно "не по-русски" написано получается.
Фихтенгольцу нужно понятие точки сгущения области, оно вообще лишнее. Просто он определяет предел сразу на произвольном числовом множестве, а если бы он использовал предел по Гейне, можно было это вообще не упоминать. В ряде современных учебников вместо этого определяют сразу предел в точке, которая не является точкой сгущения области, там получается, что он тогда равен значению функции в этой точке (например, по Иванову функция всегда непрерывна в изолированной точке, если она в ней определена).
Предел последовательности xn есть x0, если она имеет единственную точку сгущения (включая случай бесконечно удаленной точки).
Вместо включения случая бесконечно удаленной точки можно также написать условие, что за пределами любой окрестности точки сгущения не более чем конечное количество точек последовательности.
Да, именно. Именно в этом преимущество подхода Гейне, которое позволяет полностью строго и вывести доказать анализ без эпсилон и дельт.
Именно об этом и вся статья.
Предел последовательности
Так это вам сильно повезло. В вузах так не преподают, как вам читали.
В вузовских учебниках такого подхода нет.
Это не обман, а прямое применение определения предела по Гейне.
А если я действую по Коши, я не могу напрямую заменить функцию на последовательность.
В этом заключается крайнее неудобство анализа по Коши, которое приводит к чрезмерному удлинению многих доказательств.
Функция имеет предел a в точке x0, если для любой последовательности xn->x0 последовательность f(xn) - > a.
Так кванторы для понимания и строгих доказательств в матанализе не нужны совсем. Они искусственно удлиняют все доказательства и скрывают смысл. А во многих задачах без Гейне вообще крайне сложно доказать. При этом подход по Гейне совершенно не нуждается в Коши, последний нигде не лучше.
Насчёт вашего примера, берём x_n = {1/n}, получается число е по определению.
Дальше надо доказать монотонность (способов много, можно через производную, можно через обобщенный бином, можно через свойства логарифма и так далее).
Отсюда следует, что она сходится (так как частичный предел есть) и предел последовательности равен е.
В обычных учебниках по матанализу делают это намного сложнее, потому что они не пользуются определением предела по Гейне, для которого достаточно любую последовательность использовать вместо оценок и неравенств.
Ваш пример - как раз отличный пример факта, который в анализе по Гейне сильно короче доказывается. Но по-настоящему сильно всё упрощается при доказательстве теорем про равномерную непрерывность и сходимость, или про обратную функцию для неявно заданной ФНП, или там, например, для теоремы о единственности в диффурах
Потому что тогда последовательность не сходится. Можно доказать эквивалентность этого определения сходимости и по Коши.
А именно, если за пределами этого интервала есть бесконечное число точек, то мы берём достаточно малое эпсилон для окрестности именно этой точки сгущения и получаем, что бесконечное число точек за пределами этой окрестности. Для этого эпсилон нельзя подобрать соответствующий номер N.
Определение:
функция f(x) равномерно непрерывна, если для любых двух последовательностей xₙ и yₙ, из (xₙ - yₙ) → 0 всегда следует, что (f(xₙ) - f(yₙ)) → 0.
Равномерная сходимость аналогично определяется.