Hello,

I have had trouble trying to prove a well known result from symplectic geometry. If U is a subspace of a symplectic space (V, b), then

dim (U) + dim (Ub) = dim (V)

where Ub is the ortogonal complement of U with respect to b, the symplectic form.

Thanks for your help.