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.

Claim
-----

The bilinear form f is non-degenerate if and only if V = S + C(S).

Any ideas?

-- 
http://kaba.hilvi.org