Generalizaciones de espacios pre-Hilbertianos

Dado un $latex mathbb{K}$-espacio vectorial $latex E$, diremos que la aplicación: $latex B:E times E longrightarrow mathbb{K}$ es un producto escalar si verifica: Fijado $latex y in E$, entonces $latex E longrightarrow mathbb{K} ,:, x mapsto B(x,y)$ es lineal. $latex B(x,y) = bar{B(y,x)}, forall x,y in E$. $latex B(x,y) geq 0, forall x in E$. …