Twierdzenie spektralne: Różnice pomiędzy wersjami

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
Addbot (dyskusja | edycje)
m Bot: Przenoszę linki interwiki (13) do Wikidata, są teraz dostępne do edycji na d:q1425077
m →‎Uwagi: poprawa linków
Linia 29:
:::<math>T=\int\limits_\Delta \hat{T}dE</math>
:: dla każdego <math>T\in A</math>, gdzie <math>\hat{T}</math> jest [[transformacja Gelfanda|transformacją Gelfanda]] <math>T</math>,
::(b) odwrotną transormację Gelfanda (tj. odwzorowanie <math>\hat{T}\mapsto T</math>) można przedłużyć do [[izometria|izometrycznego]] [[*-algebrapierścień|*-izomorfizmu]] <math>\Phi</math> algebry <math>L^\infty(E)</math> na domkniętą podalgebrę <math>A^\prime</math> w <math>\mathcal{B}(H)</math>, <math>A\subseteq A^\prime</math>. Co więcej, *-izomorfizm <math>\Phi</math> wyraża się wzorem
:::<math>\Phi f=\int\limits_\Delta f dE,\; f\in L^\infty(E)</math>.
::Dokładniej, <math>\Phi</math> jest izometrycznym operatorem liniowym i multyplikatywnym takim, że <math>\Phi \overline{f}=(\Phi f)^*</math> dla <math>f\in L^\infty (E)</math>.