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

Эта статья находится в разработке!

Определение:

Пусть [math]X[/math], [math]Y[/math] — нормированные пространства, [math]~A\colon X \to Y[/math]. [math]A[/math] называется линейным оператором, если [math]A \left ( \alpha x + \beta y \right )=\alpha A \left ( x \right )+\beta A \left ( y \right ), \forall \alpha, \beta \in \mathbb {R}, \forall x, y \in X[/math]

Из того факта, что [math]A \left ( \alpha x \right )=\alpha A \left ( x \right )[/math], следует, что [math]\forall \alpha \in \mathbb {R}~ A \left ( 0 \right )=0[/math].

Определение:

Л.о. называется ограниченным, если [math]\exists m \in \mathbb {R} \ge 0: \forall x \in X \left \| A \left ( x \right ) \right \| \le m \left \| x \right \|[/math]

Имеется тесная связь между ограниченностью и непрерывностью оператора:

Определение:

Л.о. непрерывен в X, если [math]\lim \limits_{\mathcal {4} x \to 0} A \left ( x+\mathcal{4}x \right )=A\left (x \right ) [/math]

В силу линейности непрерывность оператора в точке [math]x[/math] совпадает с его непрерывностью в точке [math]0[/math]. Доказательство:
[math] \vartriangleright [/math] Пусть [math] \lim \limits_{\mathcal {4} x \to 0} A \left ( \mathcal{4}x \right )=A\left (0 \right )=0[/math]
[math] \left \| A \left ( x + \mathcal{4} x) \right ) - A \left ( x \right ) \right \| = \left \| A \left (x \right)+ A \left ( \mathcal{4}x \right)-A \left (x \right )\right \| = \left \| A \left ( \mathcal{4}x \right )\right \| \xrightarrow {\mathcal{4}x \to 0} 0 [/math]
[math]A \left ( x + \mathcal{4} x) \right )\xrightarrow [\mathcal{4}x \to 0]{} A \left ( x \right ) \vartriangleleft[/math]

Теорема:

Л.о. непрерывен тогда и только тогда, когда он ограничен:

Доказательство:

[math]\triangleright[/math]

1) A — ограничен, значит, [math] \left \| A \left ( x \right ) \right \| \le m \left \| x \right \|, m \ge 0[/math] [math]\left \| A \left ( \mathcal {4} x \right ) \right \| \le m \left \| \mathcal {4} x \right \|.~ A \left ( \mathcal {4} x \right )\xrightarrow {\mathcal{4}x \to 0} 0 [/math] А непрерывен в 0, следовательно, непрерывен и на X. 2) A — непрерывен на X, [math] 0 = \lim \limits_{x \to 0} A \left ( x \right )[/math] [math]\varepsilon = 1: \exists \delta \gt 0: \left \| x \right \| \le \delta[/math] и, значит, при [math]\mathcal{4}x \to 0[/math] [math]\left \| A \left ( x \right ) \right \| \le \varepsilon = 1[/math] [math]\forall x \ne 0[/math] рассмотрим [math]z = \frac{\delta}{2} \frac {x}{\left \| x \right \|}.~ \left \| z \right \| = \frac{\delta}{2} \lt \delta[/math] [math]\left \| A \left ( z \right ) \right \| \le 1.~A \left ( z \right ) = \frac {\delta}{2 \left \| x \right \|} A \left ( x \right )[/math] [math]A \left ( z \right ) = \frac {\delta}{2 \left \| x \right \|} \left \| Ax \right \| \le 1[/math], таким образом, [math]Ax \le \frac {2 \left \| x \right \|}{\delta}[/math] Очевидно, это верно и для [math]x=0[/math].

[math]\triangleleft[/math]

Определение:

Нормой ограниченного оператора [math]\left \| A \right \|[/math] является [math]\sup \limits_{\left \| x \right \| \le 1} \left \| Ax \right \|[/math].

TODO: следующие три строчки — ваще какое-то наркоманство. кто-нибудь, позязя, поясните это.
[math]x \ne 0, z = \frac {x}{\left \| x \right \|}, \left \| z \right \| = 1[/math]
[math]\left \| Az \right \| \le \left \| A \right \|[/math]
[math]Az = \frac {Ax}{\left \| x \right \|}, \left \| Ax \right \| \le \left \| A \right \| \left \| x \right \|, \forall x \in X[/math]

[math]\left \| A \right \|[/math] удовлетворяет стандартным трём аксиомам нормы:

1) [math]\left \| A \right \| \ge 0, \left \| A \right \| = 0 \Longleftrightarrow A = 0[/math]
2) [math]\left \| \alpha A \right \| = \left | \alpha \right | \left \| A \right \|[/math]
3) [math]\left \| A + B \right \| \le \left \| A \right \| + \left \| B \right \|[/math]

Действия с операторами производятся стандартным образом, поточечно. Пример — сложение операторов:
Рассмотрим x, такой, что [math]\left \| x \right \| \le 1. \left \| \left ( A + B \right ) \left ( x \right ) \right \| \le \left \|Ax \right \| + \left \| Bx \right \| \le \left \| A \right \| + \left \| B \right \|, \forall x \le 1 [/math]