Kaba
Posts:
289
Registered:
5/23/11


Orthogonal complement
Posted:
Mar 3, 2013 10:43 AM


Hi,
Let V be a finitedimensional 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.
Claim 
The bilinear form f is nondegenerate if and only if V = S + C(S).
Any ideas?
 http://kaba.hilvi.org

