Good afternoon!
I tried to understand the following fact about symplectic linear algebra. Given a Lagrangian $L$ subspace of a symplectic vector space $(V,\Omega)$, one can extend each basis of $L$ to a symplectic basis. I tried to do the proof by myself and by use of "Ana Cannas da Silva-Lectures on Symplectic Geometry" but I am still not sure whether it is ok. What do you think?
The necessary condition that $\Omega(e_i, e_j)=0 ~\forall i,j=1,...,n$ is fullfilled bacause $L$ is a Lagrangian, meaning that $L = L^{\Omega} = \{v \in V: \Omega(v,l)=0~ \forall l \in L\}$.
Now we have to find $n$ elements ($L$ Lagrangian, i.e. $\dim(V) = \frac{1}{2}\dim(L)$) $f_1, ..., f_n \in L^{\Omega}=L$ such that $\Omega(f_i, e_i) = 1$, $\Omega(f_i, e_j) = 0$ and $\Omega(f_i, f_j)=0$ for all $i \neq j = 1,...,n$.
Let $\{e_1, ..., e_n\}$ be such a basis.
(1) Define the set $W := span(e_2, e_3,...,e_n) \subset L$. Since $\Omega$ is nondegenerate we can always find an element $\tilde{f}_1 \in W^{\Omega}=\{v \in V: \Omega(v,w)=0~ \forall w \in W\}$ with $\Omega(e_1, \tilde{f}_1) \neq 0$. Take $f_1=\frac{\tilde{f}_1}{\Omega(e_1, \tilde{f}_1)}$. Then $\Omega(f_1, e_1) = 1$. Furthermore $\Omega(f_1,e_i)=0$ because $f_1 \in W^{\Omega}$. Note that $V_1 := \text{span}(e_1, f_1) \subset W^{\Omega}$ and with some effort one can show that $V = V_1 \bigoplus V_1^{\Omega}$. If $V_1^{\Omega} =\emptyset$, we are ready.
(2) $e_2 \in V_1^{\Omega}$. Analogue to above because of the nondegeneracy of $\Omega$ and $e_2 \neq 0$ there exists an element $\tilde{f_2} \in V_1^{\Omega}$ with $\Omega(e_2, \tilde{f_2}) \neq 0$. Take $f_2=\frac{\tilde{f}_2}{\Omega(e_1, \tilde{f}_2)}$. Then $\Omega(e_2, f_2) = 1$ and $\Omega(e_1, f_2) = 0 = \Omega(f_1, f_2)$. Again one can show that $V = (V_1 \bigoplus V_2) \bigoplus (V_1 \bigoplus V_2)^{\Omega}$. If $(V_1 \bigoplus V_2)^{\Omega} =\emptyset$, we are ready.
(3) Now because L was Lagrangian and a subset of a finite vector space, this procedure ends.
Thanks to all who have looked at this!