Изменения
Нет описания правки
<tex>2)\: G(x,y)=\overline{G(y,x)}</tex>; <tex>G(x,x)=\overline{G(x,x)} \Longrightarrow G(x,x) \in \mathbb{R}</tex>
<tex>3)\: G(x,yx) \ge 0;\: G(x,yx)=0 \Longleftrightarrow x = 0_{E}</tex>
}}
NB 1: <tex>G</tex> полуторалинейна:
==Примеры==
<tex>E = \mathbb{C}^{n}</tex>
<tex>\left\langle x,y\right\rangle =\sum\limits_{i=1}^{n}\xi^{i}\overline{\eta^{i}}</tex> <tex>\left\langle y,x\right\rangle =\sum_sum\limits_{i=1}^{n}\eta^{i}\overline{\xi^{i}}=\overline{\sum\limits \overline{\eta^{i}}\xi^{i}}=\overline{\left\langle x,y\right\rangle }</tex>; <tex>\left\langle x,x\right\rangle =\sum_sum\limits_{i=1}^{n}\xi^{i}\overline{\xi^{i}}=\sum_sum\limits_{i=1}^{n}|\xi^{i}|^{2}>0</tex>
==Неравенство Шварца(Коши-Буняковского)==
{{Теорема
Трюк: пусть <tex>\left\langle x,y\right\rangle = |\left\langle x,y\right\rangle|\cdot e^{i\varphi}</tex>, где <tex>\varphi=arg\left\langle x,y\right\rangle</tex>. Тогда пусть в <tex>(\times): y \longrightarrow y\cdot e^{i\varphi} \Longrightarrow \Vert e^{i\varphi}y\Vert=|e^{i\varphi}|\cdot\Vert y\Vert</tex>
Заметим, что <tex>\left\langle x,e^{i\varphi}y\right\rangle=\overline{e^{i\varphi}}\left\langle x,y \right\rangle= \overline{e^{i\varphi}}e^{i\varphi}\left|\left\langle x, y\right\rangle\right| = \left|\left\langle x, y\right\rangle\right|</tex>
Заменим в <tex>(\times)</tex> <tex>y</tex> на <tex>e^{i\varphi}y \: : |Re\left\langle x,e^{i\varphi}y\right\rangle|
{{Теорема
|about=следствие из Шварца, неравенство треугольника
|statement= <tex>\Vert x+y \Vert \leq \Vert x\Vert\cdot+\Vert y\Vert</tex>
|proof= Рассмотрим <tex>\left\langle x+y, x+y\right\rangle={\Vert x+y \Vert}^{2} = \Vert x\Vert^{2}+\left\langle x,y\right\rangle+\left\langle y,x\right\rangle + \Vert y\Vert^{2} = \Vert x\Vert^{2}+2Re\left\langle x,y\right\rangle+ \Vert y\Vert^{2}</tex>
Взяв корень из левой и правой части, получим искомое неравенство.
}}
[[Категория: Алгебра и геометрия 1 курс]]
