Isotropic submanifold
= Isotropic submanifold
An isotropic submanifold has every <tangent space> an <isotropic subspace of a symplectic vector space>. Its dimension is at most half the ambient dimension, and equality makes it a <Lagrangian submanifold>.