Линейный оператор в банаховых пространствах

Материал из sawiki
Перейти к навигации Перейти к поиску

Отображения. Теорема Банаха-Штейнгауза

Пусть $$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.$$ Показали, что оператор не является непрерывным.