Put for .
Let be the set of all 2n x 2n matrices of the form , for , and let . Further, let . This maps into a subspace .
Compute the derivative and show it's surjective when .
So I computed the derivative and got . For , this becomes . So for , somehow I need to come up with a matrix such that , but I'm not seeing it at all.