Unitární operátor: Porovnání verzí

::Protože platí <math>U^{**} = (U^{-1})^* = (U^*)^{-1}</math>, je <math>U^*</math> též unitární. Proto je unitární zobrazení vždy [[Bijekce|bijektivní]] a tedy i surjektivní.

:<math>(2.) \Rightarrow (1.)</math>

 

::<math>\lang I x, x \rang = \lang x, x \rang = \lang T x, T x \rang = \lang T^*T x, x \rang \ \forall x \in \mathcal{H} \Rightarrow I = T^*T</math>

 

{{Portály|Matematika}}

 

[[Kategorie:Funkcionální analýza]]