Hermitian form, inner product and symplectic form relationship

See before: complexification of a vector space.

(See at Calibre library the document: Complexification, complex structures, inner products, symplectic forms and linear differential equations, page 4)

To sum up, in a real vector space V with a complex structure J, one real inner product determine a symplectic form and viceversa.

Moreover, an inner product h defined in V seen as a complex vector space (keep an eye: an Hermitian inner product) determine in V an inner product g (in the real sense) and a symplectic form ω in such a way that

h(v1,v2)=g(v1,v2)iω(v1,v2)

If B is a bilinear form on V then we say that J preserves B if

B(Ju,Jv)=B(u,v)

for all u,vV.
An equivalent characterization is that J is skew-adjoint with respect to B:

B(Ju,v)=B(u,Jv)

If g is an inner product on V then J preserves g if and only if J is an orthogonal transformation. Likewise, J preserves a nondegenerate, skew-symmetric form ω if and only if J is a symplectic transformation (that is, if ω(Ju,Jv)=ω(u,v)). For symplectic forms ω there is usually an added restriction for compatibility between J and ω, namely

ω(u,Ju)>0

for all non-zero uV. If this condition is satisfied then J is said to tame ω.
Given a symplectic form ω and a linear complex structure J, one may define an associated symmetric bilinear form gJ on VJ

gJ(u,v)=ω(u,Jv)$$Becauseasymplecticformisnondegenerate,soistheassociatedbilinearform.Moreover,theassociatedformispreservedby$J$ifandonlyifthesymplecticformis,andif$ω$istamedby$J$thentheassociatedformispositivedefinite.ThusinthiscasetheassociatedformisaHermitianformand$VJ$isan[[CONCEPTS/FUNCTIONALANALYSIS/innerproductspaceinnerproductspace]].Inhandwrittennotes:![Pastedimage20211230101301.png](/img/user/imagenes/Pasted![Pastedimage20211230101341.png](/img/user/imagenes/Pasted![Pastedimage20211230101404.png](/img/user/imagenes/Pasted