Let V be a vector space over R,dimV=n, and let ⟨,,ranglebeanon−degenerateanti− symmetric bilinear form on V.
Let v∈V,v=0. Show that v⊥ is of dimension n−1 and v∈v⊥. Show that if W⊆v⊥ is a subspace with W⊕Rv=v⊥, then the restriction of ⟨,,rangletoW is nondegenerate.
Conclude that the dimension of V is even.