At a point , write and take the orthogonal complement with respect to the Riemannian metric . The compatible triple identity gives
If is a Lagrangian submanifold, then for , so . Both have dimension , hence equality.
Conversely, if , equality of dimensions gives , and for gives . Therefore
A positive-definite inner product has . Hence , proving that every Lagrangian submanifold is a totally real submanifold for a compatible almost complex structure.
Use with the standard symplectic form and the compatible almost complex structure given by multiplication by . Consider the embedded submanifold
In coordinates , its tangent space is . Applying gives . If this is again in , its fourth coordinate forces , and its second and third coordinates then force . Thus and : is a totally real submanifold.
However, the pullback of a differential form under the parametrization is
Thus this totally real submanifold is not a Lagrangian submanifold.