Positive real (1, 1)-form
ID: positive-real-1-1-form
A real -form is positive whenfor every nonzero tangent vector of type . Equivalently, the local Hermitian matrix in the representation is positive definite.
New to topics? Read the docs here!