Wolna encyklopedia

Wartość własna operatora liniowego T\colon X\to X przestrzeni liniowej X nad ciałem K, to taki skalar \lambda \in K że dla pewnego niezerowego x\in X spełniony jest związek:

Tx = λx.

Zwykle zakłada się, że przestrzeń X jest rzeczywista bądź zespolona oraz jest w niej określona liniowa topologia - w zastosowaniach (np. do równań różniczkowych) często bada się wartości własne operatorów liniowych, określonych na przestrzeniach Banacha, Hilberta itp. W dalszej części artykułu będziemy zakładać ogólnie, że X jest pewną przestrzenią Banacha, a T\colon X\to X jest ustalonym operatorem liniowym i ciągłym.

Spis treści

Wektory i podprzestrzenie własne

Danej wartości własnej λ operatora T odpowiada zbiór

X_\lambda(T)=\{x\in X\colon\; Tx=\lambda x\},

będący domkniętą podprzestrzenią liniową przestrzeni X. Zbiór ten nazywamy podprzestrzenią własną odpowiadającą wartości własnej λ, a jego elementy odpowiednio wektorami własnymi. Wymiar przestrzeni Xλ(T) nazywamy wielokrotnością wartości własnej λ.

Własności

Przykłady

Operatory liniowe przestrzeni skończenie wymiarowych

Zobacz więcej w osobnym artykule: widmo macierzy.

Jeżeli przestrzeń X jest skończenie wymiarowa, to przy ustalonej bazie tej przestrzeni operator T reprezentowany jest przez pewną macierz - wówczas zamiast o wartości własnej operatora mówimy o wartości własnej macierzy. Macierz operatora (przekształcenia liniowego) przestrzeni skończeniewymiarowej jest kwadratowa. Wartości własne macierzy kwadratowej A\in K^n_npierwiastkami jej wielomianu charakterystycznego:

wA(λ) = det(A − λI),

gdzie I jest macierzą jednostkową.

Zbiór wszystkich wartości własnych operatora tworzy widmo punktowe operatora (w szczególności, gdy operator jest reprezentowany przez macierz, mówimy o widmie macierzy).

Równanie całkowe jednorodne Fredholma

Zobacz więcej w osobnych artykułach: Jądro operatora całkowego, Równanie całkowe Fredholma.

Niech X = L2(a,b), tzn. X będzie przestrzenią funkcji całkowalnych z kwadratem w sensie Lebesgue'a na przedziale (a,b) oraz niech K(s,t) będzie będzie funkcją całkowalną z kwadratem w zbiorze

Q=(a,b)\times (a,b).

Można wykazać, że odwzorowanie T\colon X\to X, dane wzorem

(Tx)(s)=\int\limits_a^bK(s,t)x(t)dt

jest operatorem liniowym i ciągłym, przy czym, gdy K(s,t)=\overline{K(t,s)}, to T jest operatorem samosprzężonym, a zatem ma wyłącznie rzeczywiste wartości własne.

Bibliografia

  1. Julian Musielak: Wstęp do analizy funkcjonalnej. Warszawa: PWN, 1976. 

Zobacz też