Positive real (1, 1)-form

ID: positive-real-1-1-form

A real -form is positive when
for every nonzero tangent vector of type . Equivalently, the local Hermitian matrix in the representation is positive definite.

New to topics? Read the docs here!