Twierdzenie spektralne: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
m →Wnioski: poprawa linków |
m drobne merytoryczne, drobne redakcyjne |
||
Linia 8: | Linia 8: | ||
Niech <math> V </math> będzie [[Przestrzeń liniowa|przestrzenią liniową]] skończonego [[Wymiar (matematyka)|wymiaru]] nad ciałem [[Liczby zespolone|liczb zespolonych]] z [[Przestrzeń unitarna#Formy hermitowskie|formą hermitowską]] dodatnio określoną<ref name = "przHilb" />. Jeśli <math> A : V \to V </math> jest [[Sprzężenie hermitowskie|operatorem samosprzężonym]], to istnieje baza ortogonalna przestrzeni <math> V </math> złożona z wektorów własnych operatora <math> A .</math> |
Niech <math> V </math> będzie [[Przestrzeń liniowa|przestrzenią liniową]] skończonego [[Wymiar (matematyka)|wymiaru]] nad ciałem [[Liczby zespolone|liczb zespolonych]] z [[Przestrzeń unitarna#Formy hermitowskie|formą hermitowską]] dodatnio określoną<ref name = "przHilb" />. Jeśli <math> A : V \to V </math> jest [[Sprzężenie hermitowskie|operatorem samosprzężonym]], to istnieje baza ortogonalna przestrzeni <math> V </math> złożona z wektorów własnych operatora <math> A .</math> |
||
=== |
=== Wniosek === |
||
Przy założeniach powyższych twierdzeń: |
Przy założeniach powyższych twierdzeń: |
||
: Istnieje [[baza ortonormalna]] przestrzeni <math> V </math> złożona z wektorów własnych operatora <math> A </math>. Wystarczy wektory bazy ortogonalnej unormować (tzn. każdy wektor podzielić przez jego normę). |
|||
# Endomorfizm <math> A </math> jest '''[[Endomorfizm diagonalizowalny|diagonalizowalny]]'''. |
|||
== Ograniczone operatory normalne == |
== Ograniczone operatory normalne == |
||
Linia 19: | Linia 18: | ||
=== Uwagi === |
=== Uwagi === |
||
* Miara spektralna <math> F </math> z powyższego twierdzenia jest nazywana ''rozkładem spektralnym operatora'' <math> T </math> lub ''przedstawieniem spektralnym operatora'' <math> T .</math> |
* Miara spektralna <math> F </math> z powyższego twierdzenia jest nazywana ''rozkładem spektralnym operatora'' <math> T </math> lub ''przedstawieniem spektralnym operatora'' <math> T .</math> |
||
* Dla wygody, często rozważa się miarę spektralną <math> F </math> jako zdefiniowaną dla wszystkich podzbiorów borelowskich <math> |
* Dla wygody, często rozważa się miarę spektralną <math> F </math> jako zdefiniowaną dla wszystkich podzbiorów borelowskich <math> B </math> zbioru <math> \mathbb{C}. </math> Aby to uzyskać zdefiniujmy dodatkowo: |
||
:: <math> F( |
:: <math> F(B) = 0 </math> jeżeli <math> B \cap \sigma(T) = \varnothing . </math> |
||
== Zobacz też == |
== Zobacz też == |
||
* [[mechanika kwantowa]] |
* [[mechanika kwantowa]] |
||
* [[obserwabla]] |
* [[obserwabla]] |
||
* [[endomorfizm diagonalizowalny]] |
|||
* [[rozkład macierzy]] |
* [[rozkład macierzy]] |
||
* [[diagonalizacja]] |
|||
{{Przypisy}} |
{{Przypisy}} |
Wersja z 21:35, 16 lut 2009
Twierdzenie spektralne – wspólna nazwa twierdzeń algebry liniowej i analizy funkcjonalnej, charakteryzujących pewne szczególne operatory liniowe, określone na przestrzeniach Hilberta.
Operatory samosprzężone
Przypadek rzeczywisty
Niech będzie prezestrzenią ortogonalną nad ciałem liczb rzeczywistych z dodatnio określonym funkcjonałem dwuliniowym[1]. Jeśli jest endomorfizmem samosprzężonym, to istnieje baza ortogonalna przestrzeni złożona z wektorów własnych endomorfizmu
Przypadek zespolony
Niech będzie przestrzenią liniową skończonego wymiaru nad ciałem liczb zespolonych z formą hermitowską dodatnio określoną[1]. Jeśli jest operatorem samosprzężonym, to istnieje baza ortogonalna przestrzeni złożona z wektorów własnych operatora
Wniosek
Przy założeniach powyższych twierdzeń:
- Istnieje baza ortonormalna przestrzeni złożona z wektorów własnych operatora . Wystarczy wektory bazy ortogonalnej unormować (tzn. każdy wektor podzielić przez jego normę).
Ograniczone operatory normalne
Niech będzie przestrzenią Hilberta oraz niech będzie operatorem ograniczonym i normalnym[2]. Wówczas istnieje dokładnie jedna miara spektralna określona na σ-ciele podzbiorów borelowskich widma operatora taka, że:
Uwagi
- Miara spektralna z powyższego twierdzenia jest nazywana rozkładem spektralnym operatora lub przedstawieniem spektralnym operatora
- Dla wygody, często rozważa się miarę spektralną jako zdefiniowaną dla wszystkich podzbiorów borelowskich zbioru Aby to uzyskać zdefiniujmy dodatkowo:
- jeżeli
Zobacz też
- ↑ a b Zauważmy, że przestrzeń o której mowa to szczególny przypadek przestrzeni Hilberta.
- ↑ W szczególności, normalne są operatory samosprzężone.
Źródła
- Serge Lang, Ryszard Bittner: Algebra. Warszawa: Państwowe Wydawnictwo Naukowe, 1984, s. 360-365. ISBN 83-01-01519-5.
- Włodzimierz Mlak: Wstęp do teorii przestrzeni Hilberta. Warszawa: Państwowe Wydawnictwo Naukowe, 1987, s. 257-265. ISBN 83-01-07376-4.
- Walter Rudin: Analiza funkcjonalna. Warszawa: Wydawnictwo Naukowe PWN, 2001, s. 327-344. ISBN 83-01-13375-9.
- Eric W. Weisstein: Spectral Theorem - Wolfram MathWorld. [dostęp 10 lutego 2009]. (ang.).