Operator liniowy ograniczony

Operator $T\colon X\to Y$ nazywa się operatorem liniowym ograniczonym jeżeli:

• $T$ jest operatorem liniowym,
• $X$ i $Y$ są przestrzeniami unormowanymi,
• istnieje pewna liczba nieujemna $C,$ taka że dla każdego $x$ należącego do $X$ spełniony jest warunek

$\|Tx\|_{Y}\leqslant C\|x\|_{X}.$

Operator ograniczony nie jest w ogólności funkcją ograniczoną; wymagałoby to by norma $\|Tx\|_{Y}$ była mniejsza od pewnej liczby $C$ dla wszystkich wektorów $x,$ tj.

$\|Tx\|_{Y}\leqslant C,$

co zachodzi jedynie, gdy operator jest funkcją ograniczoną, np. $Tx=\sin(x).$

Operator liniowy ograniczony jest jednak zawsze funkcją lokalnie ograniczoną, co oznacza, że dla każdego wektora $x$ istnieje otoczenie, w którym wartości operatora są liczbami skończonymi,

$\|Tx'\|_{Y}\leqslant C,$

gdzie $x'$ należy do otoczenia wektora $x.$

Normą operatora $T$ nazywa się najmniejszą liczbę $C$ spełniającą warunek podany w definicji tego operatora.

Warunki równoważne

Jeżeli $X,Y$ są przestrzeniami unormowanymi, to dla operatora $T\colon X\to Y$ następujące warunki są równoważne:

1. $T$ jest operatorem ograniczonym,
2. $T$ jest operatorem jednostajnie ciągłym,
3. $T$ jest operatorem ciągłym,
4. $T$ jest operatorem ciągłym w pewnym punkcie przestrzeni $X$ (na przykład w zerze).

Przykłady

Operatory ograniczone

(1) Operator jednostkowy $I$ ograniczony, tj.

$Ix=x\quad (x\in X).$

Jeżeli $X=Y\equiv R$ oraz $\|y\|_{Y}=|y|$ i $\|x\|_{X}=|x|,$ to normą operatora $I$ jest liczba $C=1,$ gdyż dla wszystkich $x$ spełniony jest warunek $\|Ix\|_{Y}\leqslant 1*\|x\|_{X}.$

(2) Operator skończenie wymiarowy, tj. działający między przestrzeniami skończenie wymiarowymi jest ograniczony; operator ten może być reprezentowany przez macierz, a jego działanie na wektor wyrażone jako mnożenie wektora – zapisanego w postaci kolumny – przez tę macierz.

(3) Operator zwarty jest ograniczony.

Operatory nieograniczone

(1) Operator liczby cząstek dla bozonów nie jest operatorem ograniczonym, gdyż liczba bozonów może być dowolnie duża.

Twierdzenia

Tw. 1. Operator liniowy pomiędzy przestrzeniami unormowanymi jest ograniczony wtedy i tylko wtedy gdy jest ciągły (lub z powodu liniowości – jest ograniczony wtedy i tylko wtedy, gdy jest ciągły w zerze).

Tw. 2. Przestrzeń liniowa $B(X,Y)$ wszystkich ograniczonych operatorów liniowych z $X$ do $Y,$ wyposażona w normę operatorową jest przestrzenią unormowaną, która jest przestrzenią Banacha wtedy i tylko wtedy, gdy $Y$ jest przestrzenią Banacha.

Zobacz też

• przestrzeń Banacha
• przestrzeń Hilberta

Linki zewnętrzne

• Jan Dereziński, Teoria operatorów liniowych w przestrzeniach Banacha