Es seien U , V {\displaystyle {}U,V} Vektorräume über K {\displaystyle {}K} mit Bilinearformen Φ U {\displaystyle {}\Phi _{U}} und Φ V {\displaystyle {}\Phi _{V}} und sei φ : U → V {\displaystyle {}\varphi \colon U\rightarrow V} eine Isometrie. Ist φ {\displaystyle {}\varphi } injektiv?
