Приведено утверждение: «Если последовательность функций f_n(x) непрерывна на [0,1] и сходится поточечно к функции f(x), то f обязательно непрерывна». Найдите контрпример и проанализируйте, какие дополнения к условию (например, равномерная сходимость) восстановят истинность утверждения
Контрпример Возьмём функции f_n:0,10,10,1 → R, f_nxxx = x^n. Каждая f_n непрерывна на 0,10,10,1. Поточечный предел:
для 0 ≤ x < 1: x^n → 0;при x = 1: x^n = 1 → 1. Итого пределная функция fxxx = { 0 при 0 ≤ x < 1; 1 при x = 1 } — она разрывна в точке x = 1. Значит исходное утверждение неверно.
Короткий комментарий: сходимость здесь не является равномерной supx∈[0,1]∣fn(x)−f(x)∣=1длявсехnsup_{x∈[0,1]} |f_n(x) − f(x)| = 1 для всех nsupx∈[0,1]∣fn(x)−f(x)∣=1длявсехn, поэтому непрерывность предела не сохраняется.
Усиления условия, восстанавливающие верность утверждения 1) Равномерная сходимость. Если f_n непрерывны на 0,10,10,1 и f_n → f равномерно на 0,10,10,1, то f непрерывна. Доказательство стандартное: для заданного ε>0 выберите N так, что для n≥N выполняется |f_nxxx−fxxx|<ε/3 для всех x; так как f_N непрерывна, выберем δ при котором |x−y|<δ ⇒ |f_Nxxx−f_Nyyy|<ε/3. Тогда при |x−y|<δ имеем |fxxx−fyyy| ≤ |fxxx−f_Nxxx|+|f_Nxxx−f_Nyyy|+|f_Nyyy−fyyy| < ε.
2) Равномерная сходимость на окрестностях точек локальнаяравномерностьлокальная равномерностьлокальнаяравномерность. Если f_n → f равномерно на каждой окрестности точки x0, то f непрерывна в x0. В частности, если сходимость равномерна на каждом замкнутом подынтервале 0,1−δ0,1−δ0,1−δ, то f непрерывна на 0,1).</p><p>3)Равностепеннаянепрерывность(эквиниепрерывность)+поточечнаясходимостьнакомпактe.ЕслисемействоfnэквиниепрерывноипоточечносходитсянакомпактноммножествеK(например,K=[0,10,1).</p><p>3) Равностепенная непрерывность (эквиниепрерывность) + поточечная сходимость на компактe. Если семейство {f_n} эквиниепрерывно и поточечно сходится на компактном множестве K (например, K = [0,10,1).</p><p>3)Равностепеннаянепрерывность(эквиниепрерывность)+поточечнаясходимостьнакомпактe.ЕслисемействоfnэквиниепрерывноипоточечносходитсянакомпактноммножествеK(например,K=[0,1), то пределная функция f непрерывна и сходимость происходит равномерно. Идея доказательства: эквиниепрерывность даёт одно δ для всех n; это позволяет сначала показать непрерывность f, затем покрыть компакт конечным числом δ-шаров и получить единый N для равномерности.
ЭточастныйслучайрезультатовтипатеоремыАрцела–Асколи:эквиниепрерывностьиравномернаяограниченностьобеспечиваютотносительнуюкомпактностьвпространственепрерывныхфункций;всочетанииспоточечнойсходимостьюдаётравномернуюсходимость.Это частный случай результатов типа теоремы Арцела–Асколи: эквиниепрерывность и равномерная ограниченность обеспечивают относительную компактность в пространстве непрерывных функций; в сочетании с поточечной сходимостью даёт равномерную сходимость.ЭточастныйслучайрезультатовтипатеоремыАрцела–Асколи:эквиниепрерывностьиравномернаяограниченностьобеспечиваютотносительнуюкомпактностьвпространственепрерывныхфункций;всочетанииспоточечнойсходимостьюдаётравномернуюсходимость.
Дополнительные замечания
Монотонность сходимости по n например,fn(x)убываютпоnдлякаждогоxнапример, f_n(x) убывают по n для каждого xнапример,fn(x)убываютпоnдлякаждогоx сама по себе не гарантирует непрерывности предела примерxnтожемонотоненпоnпрификсированномx∈(0,1)пример x^n тоже монотонен по n при фиксированном x∈(0,1)примерxnтожемонотоненпоnпрификсированномx∈(0,1). Dini-теорема даёт, при непрерывности предельной функции и монотонности сходимости на компакте, что сходимость равномерна, но она не утверждает непрерывность предела без дополнительных предпосылок.Для восстановления непрерывности достаточно любой сильнее точки сходимости: равномерная сходимость, локальная равномерность, или дополнительные компактность/эквиниепрерывность условия.
Контрпример
для 0 ≤ x < 1: x^n → 0;при x = 1: x^n = 1 → 1.Возьмём функции f_n:0,10,10,1 → R, f_nxxx = x^n. Каждая f_n непрерывна на 0,10,10,1. Поточечный предел:
Итого пределная функция
fxxx = { 0 при 0 ≤ x < 1; 1 при x = 1 }
— она разрывна в точке x = 1. Значит исходное утверждение неверно.
Короткий комментарий: сходимость здесь не является равномерной supx∈[0,1]∣fn(x)−f(x)∣=1длявсехnsup_{x∈[0,1]} |f_n(x) − f(x)| = 1 для всех nsupx∈[0,1] ∣fn (x)−f(x)∣=1длявсехn, поэтому непрерывность предела не сохраняется.
Усиления условия, восстанавливающие верность утверждения
1) Равномерная сходимость.
Если f_n непрерывны на 0,10,10,1 и f_n → f равномерно на 0,10,10,1, то f непрерывна. Доказательство стандартное: для заданного ε>0 выберите N так, что для n≥N выполняется |f_nxxx−fxxx|<ε/3 для всех x; так как f_N непрерывна, выберем δ при котором |x−y|<δ ⇒ |f_Nxxx−f_Nyyy|<ε/3. Тогда при |x−y|<δ имеем |fxxx−fyyy| ≤ |fxxx−f_Nxxx|+|f_Nxxx−f_Nyyy|+|f_Nyyy−fyyy| < ε.
2) Равномерная сходимость на окрестностях точек локальнаяравномерностьлокальная равномерностьлокальнаяравномерность.
Если f_n → f равномерно на каждой окрестности точки x0, то f непрерывна в x0. В частности, если сходимость равномерна на каждом замкнутом подынтервале 0,1−δ0,1−δ0,1−δ, то f непрерывна на 0,1).</p><p>3)Равностепеннаянепрерывность(эквиниепрерывность)+поточечнаясходимостьнакомпактe.ЕслисемействоfnэквиниепрерывноипоточечносходитсянакомпактноммножествеK(например,K=[0,10,1).</p><p>3) Равностепенная непрерывность (эквиниепрерывность) + поточечная сходимость на компактe.
Если семейство {f_n} эквиниепрерывно и поточечно сходится на компактном множестве K (например, K = [0,10,1).</p><p>3)Равностепеннаянепрерывность(эквиниепрерывность)+поточечнаясходимостьнакомпактe.Еслисемействоfn эквиниепрерывноипоточечносходитсянакомпактноммножествеK(например,K=[0,1), то пределная функция f непрерывна и сходимость происходит равномерно. Идея доказательства: эквиниепрерывность даёт одно δ для всех n; это позволяет сначала показать непрерывность f, затем покрыть компакт конечным числом δ-шаров и получить единый N для равномерности.
ЭточастныйслучайрезультатовтипатеоремыАрцела–Асколи:эквиниепрерывностьиравномернаяограниченностьобеспечиваютотносительнуюкомпактностьвпространственепрерывныхфункций;всочетанииспоточечнойсходимостьюдаётравномернуюсходимость.Это частный случай результатов типа теоремы Арцела–Асколи: эквиниепрерывность и равномерная ограниченность обеспечивают относительную компактность в пространстве непрерывных функций; в сочетании с поточечной сходимостью даёт равномерную сходимость.ЭточастныйслучайрезультатовтипатеоремыАрцела–Асколи:эквиниепрерывностьиравномернаяограниченностьобеспечиваютотносительнуюкомпактностьвпространственепрерывныхфункций;всочетанииспоточечнойсходимостьюдаётравномернуюсходимость.
Дополнительные замечания
Монотонность сходимости по n например,fn(x)убываютпоnдлякаждогоxнапример, f_n(x) убывают по n для каждого xнапример,fn (x)убываютпоnдлякаждогоx сама по себе не гарантирует непрерывности предела примерxnтожемонотоненпоnпрификсированномx∈(0,1)пример x^n тоже монотонен по n при фиксированном x∈(0,1)примерxnтожемонотоненпоnпрификсированномx∈(0,1). Dini-теорема даёт, при непрерывности предельной функции и монотонности сходимости на компакте, что сходимость равномерна, но она не утверждает непрерывность предела без дополнительных предпосылок.Для восстановления непрерывности достаточно любой сильнее точки сходимости: равномерная сходимость, локальная равномерность, или дополнительные компактность/эквиниепрерывность условия.