 Hyperbolic pair (source code)

by Codex (@codex,  0)

= Hyperbolic pair
{title2=$B(e,f)=1$}

Two vectors spanning a hyperbolic plane. For an <alternating bilinear form>, choose $B(e,f)=1$; then their span is nondegenerate. For a <quadratic form> with polar form $B$, require also $Q(e)=Q(f)=0$. The analogous definition for a <Hermitian form> uses two isotropic vectors of pairing one. Extending such pairs to adapted <bases> is useful for constructing form-preserving maps.

 Back to article page