Every half-dimensional subspace of a symplectic vector space has a Lagrangian complement Let $(V, \omega)$ be a finite-dimensional real symplectic vector space, i.e. $\omega : V \times V \to \mathbb{R}$ is a non-degenerate skew-symmetric bilinear map.
A linear subspace $L \subset V$ is called Lagrangian if $L = L^\perp$, where $L^\perp = \{v \in V : \omega(v, L) = \{0\}\}$.
Let $U \subset V$ be a linear subspace such that
$$\dim U = \frac{1}{2} \dim V.$$
Question. Why is there always a Lagrangian subspace $L \subset V$ such that $V = U \oplus L$?
This is easy if $U$ is also Lagrangian, and there are plenty of sources explaining this (we can set $L = I(U)$ where $I$ is a compatible complex structure). But I didn't find any reference explaining this more general fact, although I have seen it used in some research papers. It is used, for instance, for the existence of local Lagrangian bisections in symplectic groupoids. Any hints on the proof would be appreciated.
 A: If $U$ is non-degenerate, then choose a symplectic isomorphism $f : {-U} \to U^\perp$, where $-U$ is $U$ equipped with the opposite $-\langle\cdot, \cdot\rangle$ of the original symplectic pairing, and put $L = \{f(u) - u \mathrel: u \in U\}$.  (I think that this is closely related to your idea of choosing a compatible complex structure, but I'm trying to avoid assuming anything about the ground field.)
If $U$ is not non-degenerate (!), then choose a non-$0$ vector $x \in U \cap U^\perp$, and then a vector $y \in V \setminus x^\perp$.  By induction, there is a totally isotropic complement $\tilde M/x^{\perp\perp}$ to $U/x^{\perp\perp}$ in $x^\perp/x^{\perp\perp}$.  Put $L = (\tilde M \cap y^\perp) + y^{\perp\perp}$.
A: This might be an overkill, but you can argue as follows. The variety $\mathbb{G}$ of Lagrangian subspaces has dimension $N:=\frac{1}{2}n(n+1) $, where $\dim V=2n$.  The Lagrangian subspaces which contain a line $\ell\subset V$ correspond bijectively to the Lagrangian subspaces of $\ell^{\perp}/\ell$, of dimension $2n-2$, hence they form a subvariety $\mathbb{G}_{\ell}$ of $\mathbb{G}$ of codimension $n$. When $\ell$ varies in $U$, the various $\mathbb{G}_{\ell}$ form a Grassmann bundle $\mathscr{G}\rightarrow \Bbb{P}(U)$, of dimension  $N-1$. Now the locus of Lagrangian subspaces $L$ such that $L\cap U\neq \varnothing$ is the union of the $\mathbb{G}_{\ell}$, hence the image of $\mathscr{G}$, so it is a strict subvariety (in fact a hypersurface) in $\mathbb{G}$.
