We fix $n = 2m \geqslant 4$. The closed Euclidean ball of radius $r$ is $$B ^ { 2 m } ( r ) = \left\{ \left( x _ { 1 } , \ldots , x _ { m } , y _ { 1 } , \ldots , y _ { m } \right) \in \mathbb { R } ^ { 2 m } , \quad x _ { 1 } ^ { 2 } + \cdots + x _ { m } ^ { 2 } + y _ { 1 } ^ { 2 } + \cdots + y _ { m } ^ { 2 } \leqslant r ^ { 2 } \right\}$$ and the symplectic cylinder of radius $r$ is $$Z ^ { 2 m } ( r ) = \left\{ \left( x _ { 1 } , \ldots , x _ { m } , y _ { 1 } , \ldots , y _ { m } \right) \in \mathbb { R } ^ { 2 m } , \quad x _ { 1 } ^ { 2 } + y _ { 1 } ^ { 2 } \leqslant r ^ { 2 } \right\}.$$ Show that, for all $r > 0$, there exists $u \in \mathrm { SL } \left( \mathbb { R } ^ { 2 m } \right)$ such that $u \left( B ^ { 2 m } ( 1 ) \right) \subset Z ^ { 2 m } ( r )$.
We fix $n = 2m \geqslant 4$. The closed Euclidean ball of radius $r$ is
$$B ^ { 2 m } ( r ) = \left\{ \left( x _ { 1 } , \ldots , x _ { m } , y _ { 1 } , \ldots , y _ { m } \right) \in \mathbb { R } ^ { 2 m } , \quad x _ { 1 } ^ { 2 } + \cdots + x _ { m } ^ { 2 } + y _ { 1 } ^ { 2 } + \cdots + y _ { m } ^ { 2 } \leqslant r ^ { 2 } \right\}$$
and the symplectic cylinder of radius $r$ is
$$Z ^ { 2 m } ( r ) = \left\{ \left( x _ { 1 } , \ldots , x _ { m } , y _ { 1 } , \ldots , y _ { m } \right) \in \mathbb { R } ^ { 2 m } , \quad x _ { 1 } ^ { 2 } + y _ { 1 } ^ { 2 } \leqslant r ^ { 2 } \right\}.$$
Show that, for all $r > 0$, there exists $u \in \mathrm { SL } \left( \mathbb { R } ^ { 2 m } \right)$ such that $u \left( B ^ { 2 m } ( 1 ) \right) \subset Z ^ { 2 m } ( r )$.