Widmo (matematyka)

Szablon:Inne znaczeniaWidmo (elementu algebry) – dla danego elementu $a$ (zwykle zespolonej) algebry z jedynką $A,$ zbiór

${\sigma }_A(a)=\{\lambda \in ℂ:\lambda e_A-a\notin \text{GL}(A)\},$

przy czym $\mathrm{G}\mathrm{L}(A)$ oznacza grupę elementów odwracalnych w algebrze $A$ oraz $e_A$ jedynkę w tej algebrze. Widmo definiuje się także dla elementów algebr, które nie mają jedynki, traktując dany element jako element algebry po dołączeniu jedynki.

Widmo elementu a w pewnej algebrze A oznacza się również symbolem $\sigma (a),$ jeżeli z góry wiadomo o jakiej algebrze jest mowa. Często, pod pojęciem widma rozumie się widmo operatora ograniczonego na pewnej przestrzeni Banacha $E,$ traktowanego jako element algebry Banacha wszystkich operatorów ograniczonych na $E.$ Definicja widma ma również sens dla nieograniczonych operatorów domykalnych (określonych, na przykład, na gęstych podprzestrzeniach danej przestrzeni Banacha).

Własności

• Widmo każdego elementu dowolnej zespolonej algebry Banacha jest niepustym i zwartym podzbiorem płaszczyzny zespolonej.
• Algebra Banacha jest skończenie wymiarowa wtedy i tylko wtedy, gdy każdy element ma skończone widmo.
• Zachodzi następujący wzór Gelfanda (poniżej, ${\nu }_A(a)$ oznacza promień spektralny elementu $a$ danej algebry Banacha $A$):

${\nu }_A(a)=\max \{|\lambda |:\lambda \in {\sigma }_A(a)\}.$

• Dla każdego zwartego podzbioru płaszczyzny zespolonej istnieje operator ograniczony na przestrzeni Hilberta, którego jest on widmem (ogólniej, taki zbiór istnieje dla każdej przestrzeni Banacha, która zawiera nieskończenie wymiarową komplementarną podprzestrzeń z bezwarunkową bazą Schaudera). Istnieją przestrzenie Banacha dla których podobne stwierdzenie jest jednak fałszywe, na przykład, zespolone przestrzenie dziedzicznie nierozkładalne (tzw. przestrzeni HI), na przykład przestrzeń Gowersa-Maurey'a.

Zobacz też

• degeneracja widma
• twierdzenie spektralne