Date: Mar 3, 2013 10:43 AM Author: Kaba Subject: Orthogonal complement Hi,
Let V be a finite-dimensional vector space over K together with a
reflexive bilinear form f : V^2 --> K, and let S subset V be a subspace
of V. Let C(S) stand for the orthogonal complement of S.
The bilinear form f is non-degenerate if and only if V = S + C(S).