Isotropic dimension bound from real inertia
ID: isotropic-dimension-bound-from-real-inertia
For a nondegenerate real quadratic form of inertia , projection of a totally isotropic subspace onto either its positive or negative coordinate subspace is injective: a vector with one projection zero would have strictly one-signed quadratic value unless it vanished. Thus its dimension is at most both and . This bound is attained by pairing one positive and one negative coordinate for each of independent null vectors.
New to topics? Read the docs here!