We fix $x$ and $y$, non-zero, in $E$. Suppose that $\omega ( x , y ) \neq 0$. Show that there exists $\lambda \in \mathbb { R }$ such that $\tau _ { y - x } ^ { \lambda } ( x ) = y$.
We fix $x$ and $y$, non-zero, in $E$. Suppose that $\omega ( x , y ) \neq 0$. Show that there exists $\lambda \in \mathbb { R }$ such that $\tau _ { y - x } ^ { \lambda } ( x ) = y$.