fix(geometria): elimina un typo sull'estensione del prodotto scalare in spazio euclideo complesso

This commit is contained in:
2023-06-19 19:56:40 +02:00
parent a344daa1df
commit a961118e9d
2 changed files with 1 additions and 1 deletions
@@ -317,7 +317,7 @@
Sia $\basis$ una base di Sylvester per $\varphi$. Si consideri allora il prodotto
$\varphi_\CC$ tale che:
\[ \varphi_\CC(\vv1 + i\ww1, \vv2 + i\ww2) = \varphi(\vv1, \vv2) + \varphi(\ww1, \ww2) + i(\varphi(\vv1, \ww1) - \varphi(\ww1, \vv2)). \]
\[ \varphi_\CC(\vv1 + i\ww1, \vv2 + i\ww2) = \varphi(\vv1, \vv2) + \varphi(\ww1, \ww2) + i(\varphi(\vv1, \ww2) - \varphi(\ww1, \vv2)). \]
Chiaramente $\restr{\varphi_\CC}{V \times V} = \varphi$. Si verifica allora che $\varphi_\CC$ è hermitiano: