Euklidischer Vektorraum/Isometrie/Orthogonales Komplement/Fakt/Beweis

Beweis

Es ist

${}U^{\perp }={\left\{v\in V\mid \left\langle v,u\right\rangle =0{\text{ für }}{\text{alle }}u\in U\right\}}\,.$

Für ein solches ${}v\in U^{\perp }$ und ein beliebiges ${}u\in U$ ist

${}\left\langle \varphi (v),u\right\rangle =\left\langle \varphi ^{-1}(\varphi (v)),\varphi ^{-1}(u)\right\rangle =\left\langle v,u'\right\rangle =0\,,$

da ${}u'=\varphi ^{-1}(u)\in U$ liegt wegen der Invarianz von ${}U$. Also ist wieder ${}\varphi (v)\in U^{\perp }$.

Zur bewiesenen Aussage