Symplectic subspace
= Symplectic subspace
A subspace of a <symplectic vector space> is symplectic if the restricted <symplectic form> is <nondegenerate>. It has a <symplectic orthogonal complement> and the ambient space is the direct sum of those two subspaces.