odwzorowanie ) można przedłużyć do izometrycznego *-izomorfizmu algebry na domkniętą podalgebrę w Co więcej, *-izomorfizm wyraża się wzorem
Dokładniej, jest izometrycznym operatorem liniowym i multyplikatywnym takim, że dla (c) (d) jeśli jest otwarty i niepusty, to (e) operator komutuje z każdym wtedy i tylko wtedy, gdy dla każdego operator komutuje z Ważniejszymi narzędziami w dowodzie powyższego twierdzenia są: twierdzenie Gelfanda-Najmarka, twierdzenie Riesza-Skorochoda i lemat Urysohna.
Zobacz też diagonalizacja endomorfizm diagonalizowalny mechanika kwantowa obserwabla rozkład macierzy
Przypisy
Bibliografia
Linki zewnętrzne
Kategoria:Analiza spektralna Kategoria:Twierdzenia o macierzach kwadratowych Kategoria:Endomorfizmy liniowe