Приведите пример семейства функций f_n: [0,1] -> R, непрерывных на [0,1], сходящихся равномерно к f, но таких, что максимум точек x с f_n(x) = 0 не сходится к соответствующим точкам для f; объясните, как это соотносится с понятием равномерной сходимости.
Пример. Пусть для x∈[0,1]x\in[0,1]x∈[0,1]fn(x)=x−1nn.
f_n(x)=\frac{x-\tfrac{1}{n}}{n}. fn(x)=nx−n1.
Каждая fnf_nfn непрерывна на [0,1][0,1][0,1] и ∥fn−0∥∞=supx∈[0,1]∣x−1nn∣≤1n→0,
\|f_n-0\|_\infty=\sup_{x\in[0,1]}\left|\frac{x-\tfrac{1}{n}}{n}\right|\le\frac{1}{n}\to0, ∥fn−0∥∞=x∈[0,1]supnx−n1≤n1→0,
поэтому fnf_nfn равномерно сходится к функции f≡0f\equiv0f≡0. Нули: для каждого nnn множество нулей равно {1/n}\{1/n\}{1/n}, их единственная предельная точка — 000. Множество нулей предельной функции fff равно всему отрезку [0,1][0,1][0,1]. Следовательно, множества нулей fnf_nfn не «сходятся» к множеству нулей fff (например, в смысле равенства или в смысле Хаусдорфа). Как это соотносится с равномерной сходимостью. Равномерная сходимость гарантирует, что при f(x0)≠0f(x_0)\neq0f(x0)=0 для всех достаточно больших nnn значение fn(x0)f_n(x_0)fn(x0) сохраняет знак (и, следовательно, в окрестности точки с f≠0f\neq0f=0 нули fnf_nfn отсутствуют). Действительно, если ∥fn−f∥∞→0\|f_n-f\|_\infty\to0∥fn−f∥∞→0 и f(x0)≠0f(x_0)\neq0f(x0)=0, то для больших nnn имеем ∣fn(x0)∣≥∣f(x0)∣−∥fn−f∥∞>0|f_n(x_0)|\ge|f(x_0)|-\|f_n-f\|_\infty>0∣fn(x0)∣≥∣f(x0)∣−∥fn−f∥∞>0. Однако равномерная сходимость не контролирует поведение fnf_nfn в точках, где f=0f=0f=0: нули fnf_nfn при этом могут появляться, исчезать или «перемещаться» произвольно внутри множества нулей предела. При этом верен полезный факт: если xn∈[0,1]x_n\in[0,1]xn∈[0,1], fn(xn)=0f_n(x_n)=0fn(xn)=0 и xn→xx_n\to xxn→x, то ∣f(xn)∣≤∥fn−f∥∞+∣fn(xn)∣=∥fn−f∥∞→0,
|f(x_n)|\le\|f_n-f\|_\infty+|f_n(x_n)|=\|f_n-f\|_\infty\to0, ∣f(xn)∣≤∥fn−f∥∞+∣fn(xn)∣=∥fn−f∥∞→0,
а так как fff непрерывна, то f(x)=0f(x)=0f(x)=0. То есть любые предельные точки последовательности нулей обязаны принадлежать множеству нулей предела, но само множество нулей предела может быть существенно больше.
fn (x)=nx−n1 . Каждая fnf_nfn непрерывна на [0,1][0,1][0,1] и
∥fn−0∥∞=supx∈[0,1]∣x−1nn∣≤1n→0, \|f_n-0\|_\infty=\sup_{x\in[0,1]}\left|\frac{x-\tfrac{1}{n}}{n}\right|\le\frac{1}{n}\to0,
∥fn −0∥∞ =x∈[0,1]sup nx−n1 ≤n1 →0, поэтому fnf_nfn равномерно сходится к функции f≡0f\equiv0f≡0.
Нули: для каждого nnn множество нулей равно {1/n}\{1/n\}{1/n}, их единственная предельная точка — 000. Множество нулей предельной функции fff равно всему отрезку [0,1][0,1][0,1]. Следовательно, множества нулей fnf_nfn не «сходятся» к множеству нулей fff (например, в смысле равенства или в смысле Хаусдорфа).
Как это соотносится с равномерной сходимостью. Равномерная сходимость гарантирует, что при f(x0)≠0f(x_0)\neq0f(x0 )=0 для всех достаточно больших nnn значение fn(x0)f_n(x_0)fn (x0 ) сохраняет знак (и, следовательно, в окрестности точки с f≠0f\neq0f=0 нули fnf_nfn отсутствуют). Действительно, если ∥fn−f∥∞→0\|f_n-f\|_\infty\to0∥fn −f∥∞ →0 и f(x0)≠0f(x_0)\neq0f(x0 )=0, то для больших nnn имеем ∣fn(x0)∣≥∣f(x0)∣−∥fn−f∥∞>0|f_n(x_0)|\ge|f(x_0)|-\|f_n-f\|_\infty>0∣fn (x0 )∣≥∣f(x0 )∣−∥fn −f∥∞ >0.
Однако равномерная сходимость не контролирует поведение fnf_nfn в точках, где f=0f=0f=0: нули fnf_nfn при этом могут появляться, исчезать или «перемещаться» произвольно внутри множества нулей предела. При этом верен полезный факт: если xn∈[0,1]x_n\in[0,1]xn ∈[0,1], fn(xn)=0f_n(x_n)=0fn (xn )=0 и xn→xx_n\to xxn →x, то
∣f(xn)∣≤∥fn−f∥∞+∣fn(xn)∣=∥fn−f∥∞→0, |f(x_n)|\le\|f_n-f\|_\infty+|f_n(x_n)|=\|f_n-f\|_\infty\to0,
∣f(xn )∣≤∥fn −f∥∞ +∣fn (xn )∣=∥fn −f∥∞ →0, а так как fff непрерывна, то f(x)=0f(x)=0f(x)=0. То есть любые предельные точки последовательности нулей обязаны принадлежать множеству нулей предела, но само множество нулей предела может быть существенно больше.