Es sei V {\displaystyle {}V} ein euklidischer Vektorraum mit dem Dualraum V ∗ {\displaystyle {}{V}^{*}} .
ein Skalarprodukt auf dem Dualraum erklärt wird.
eine Isometrie zwischen V {\displaystyle {}V} und V ∗ {\displaystyle {}{V}^{*}} stiftet.