Изменения

Перейти к: навигация, поиск
Нет описания правки
#: А непрерывен в 0, следовательно, непрерывен и на X.
# Пусть <tex>\mathcal{A}</tex> {{---}} непрерывен на X, тогда <tex> 0 = \lim \limits_{x \to 0} \mathcal{A}(x) </tex>
#: Подставляем в определение <tex>\varepsilon = 1: ~ \exists \delta > 0: \left \| x \right \| \le \delta</tex> и, значит, при <tex>\Delta x \to 0 ~ \left \| \mathcal{A}(x) \right \| \le \varepsilon = 1</tex>
#: <tex>\forall x \ne 0</tex> рассмотрим <tex>z = \frac{\delta}{2} \frac {x}{\left \| x \right \|}.\quad</tex>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<tex> \left \| z \right \| = \frac{\delta}{2} < \delta \Rightarrow \left \| \mathcal{A}(z) \right \| \le 1 </tex>
#: Но <tex>\mathcal{A} \left ( z \right ) = \frac {\delta}{2 \left \| x \right \|} \mathcal{A}(x) </tex>. Значит, <tex> \| \mathcal{A}(z) \| = \frac {\delta}{2 \| x \|} \| \mathcal{A}(x) \| \le 1</tex>, таким образом, <tex> \| \mathcal{A}(x) \| \le \frac2{\delta} \| x \|</tex>
Докажем свойство 3:
{{Утверждение
|statement=<tex>\left \| \mathcal{A} + \mathcal{B} \right \| \le \left \| \mathcal{A} \right \| + \left \| \mathcal{B} \right \|</tex>
|proof=
Рассмотрим <tex>x</tex>, такой, что <tex>\left \| x \right \| \le 1</tex>.
<tex> \left \| \left ( \mathcal{A} + \mathcal{B} \right ) \left ( x \right ) \right \| \le \left \|\mathcal{A}x \right \| + \left \| \mathcal{B}x \right \| \le \left \| \mathcal{A} \right \| + \left \| \mathcal{B} \right \|, \forall x \le 1 </tex>
}}
<tex>~\mathcal{A}\colon X \to Y, ~\mathcal{B}\colon Y \to Z</tex>
<tex>\left \| \mathcal{B}\mathcal{A} \right \| \le \left \| \mathcal{B} \right \| \cdot \left \| \mathcal{A} \right \| </tex>, в частности, <tex>\left \| \mathcal{A}^n \right \| \le \left \| \mathcal{A} \right \|^n</tex>
{{Утверждение
|statement=
<tex>\|\mathcal{BA}\| \leq \|\mathcal{A}\| \cdot \mathcal{B} </tex>
|proof=
<tex>\forall x : \|x\| < 1 : \|\mathcal{BA}x\| = \mathcal{B}(\mathcal{A}x) </tex> <tex>\leq \|\mathcal{B}\| \cdot \|\mathcal{A}x\|</tex> <tex>\leq \|\mathcal{B}\| \cdot \|\mathcal{A}\| \cdot \|x\|</tex> <tex>\leq \|\mathcal{A}\| \cdot \|\mathcal{B}\|</tex>
}}
Действия с операторами производятся стандартным образом, поточечно. Рассмотрим частный случай:
152
правки

Навигация