//статья в разработке//
Определение: |
Пусть [math]E[/math] - линейное пространство над [math]\mathbb{C}[/math]
В [math]E[/math] задана эрмитова метрическая форма, т.е [math]G:\: E\times E\longrightarrow \mathbb{C}[/math] co свойствами:
[math]1)\: G(\alpha x_{1}+\beta x_{2};y)=\alpha G(x_{1},y)+\beta G(x_{2},y)[/math], где [math]\alpha[/math] , [math]\beta[/math] - комплексные числа
[math]2)\: G(x,y)=\overline{G(y,x)}[/math]; [math]G(x,x)=\overline{G(x,x)} \Longrightarrow G(x,x) \in \mathbb{R}[/math]
[math]3)\: G(x,y) \ge 0;\: G(x,y)=0 \Longleftrightarrow x = 0_{E}[/math] |
NB 1: [math]G[/math] полуторалинейна:
[math]G(x;\alpha y_{1}+\beta y_{2})=\overline{\alpha}G(x,y_{1})+\overline{\beta}G(x,y_{2})[/math]
NB 2: [math]G(x,y)=\left\langle x,y\right\rangle _{G}; x,y \in E([/math]над [math] \mathbb{C})[/math]
NB 3: [math]G(x,y)=\left\langle x,y\right\rangle _{G}[/math]
[math]\Vert x\Vert_{G}=\sqrt{\left\langle x,x\right\rangle _{G}};
\:\Vert\alpha x\Vert_{G}=\sqrt{\left\langle \alpha x,\alpha x\right\rangle _{G}}=\sqrt{\alpha\cdot\overline{\alpha}\cdot\left\langle x,x\right\rangle _{G}}=|\alpha|\cdot\Vert x\Vert_{G}
[/math]