Линейный оператор в банаховых пространствах: различия между версиями
Konst23 (обсуждение | вклад) |
Konst23 (обсуждение | вклад) |
||
Строка 11: | Строка 11: | ||
Рассмотрим последовательность $$\left\{y_n\right\}:$$ $$y_n=x_n-x+x_0.$$ | Рассмотрим последовательность $$\left\{y_n\right\}:$$ $$y_n=x_n-x+x_0.$$ | ||
− | \begin{ | + | \begin{align*} |
− | y_n \rightarrow x_0 \Rightarrow Ay_n\rightarrow Ax_0. | + | y_n \rightarrow x_0 \Rightarrow Ay_n = A(x_n-x)+Ax_0=\underbrace{Ax_n-Ax}_{\rightarrow\,0}+Ax_0\rightarrow Ax_0. |
− | \end{ | + | \end{align*}$$~~\blacksquare$$ |
+ | '''Пример''' | ||
− | + | Пусть пространства $$X, Y = C[0,1],$$ а оператор $$A = \frac{d}{dt},$$ тогда область определения оператора $$D(A) = C^1[0,1].$$ | |
+ | |||
+ | Рассмотрим последовательность $$x_n(t) = \frac{\sin nt}{\sqrt{n}}\rightarrow0,$$ но $$Ax_n(t)=\sqrt{n}\cos nt\nrightarrow 0.$$ Показали, что оператор не является непрерывным. |
Версия 10:36, 23 ноября 2024
Отображения. Теорема Банаха-Штейнгауза
Пусть $$X,$$ $$Y$$ - нормированные пространства. Рассмотрим $$A: X \rightarrow Y$$ - отображение.
Определение 1. Отображение $$A$$ называется непрерывным в т. $$x_0\in X,$$ если $$\forall\left\{x_n\right\},$$ $$x_n\in X:$$ $$x_n\rightarrow x_0$$ имеет место $$Ax_n\rightarrow Ax_0.$$
Лемма. Если $$A$$ - линейное отображение, которое непрерывно хотя бы в одной точке, то $$A$$ непрерывно всюду.
Доказательство:
Пусть $$A$$ непрерывно в точке $$x_0.$$ Фиксируем произвольную точку $$x\in X$$ и $$\forall\left\{x_n\right\},$$ $$x_n\in X:$$ $$x_n \rightarrow x_0.$$
Рассмотрим последовательность $$\left\{y_n\right\}:$$ $$y_n=x_n-x+x_0.$$ \begin{align*} y_n \rightarrow x_0 \Rightarrow Ay_n = A(x_n-x)+Ax_0=\underbrace{Ax_n-Ax}_{\rightarrow\,0}+Ax_0\rightarrow Ax_0. \end{align*}$$~~\blacksquare$$
Пример
Пусть пространства $$X, Y = C[0,1],$$ а оператор $$A = \frac{d}{dt},$$ тогда область определения оператора $$D(A) = C^1[0,1].$$
Рассмотрим последовательность $$x_n(t) = \frac{\sin nt}{\sqrt{n}}\rightarrow0,$$ но $$Ax_n(t)=\sqrt{n}\cos nt\nrightarrow 0.$$ Показали, что оператор не является непрерывным.