Ciągi operatorów liniowych ciągłych
Własności operatorów liniowych ciągłych
Analiza funkcjonalna - wykład 5
Własności operatorów liniowych ciągłych
Zofia Lewandowska
I Matematyka SDS
specjalizacja nauczycielska
Zofia Lewandowska
Ciągi operatorów liniowych ciągłych
Własności operatorów liniowych ciągłych
Spis treści
1
Ciągi operatorów liniowych ciągłych
Twierdzenia Banacha-Steinhausa
2
Własności operatorów liniowych ciągłych
Twierdzenie o odwzorowaniu otwartym
Twierdzenie o operatorze odwrotnym
Twierdzenie o domkniętym wykresie
Zofia Lewandowska
Ciągi operatorów liniowych ciągłych
Własności operatorów liniowych ciągłych
Twierdzenia Banacha-Steinhausa
Twierdzenie 1
Twierdzenie 1
(zasada jednostajnej ograniczoności)
Niech (A
n
)
n∈N
będzie ciągiem operatorów liniowych ograniczonych
określonych na przestrzeni Banacha X, o wartościach w przestrzeni
unormowanej Y .
Ciąg (kA
n
(x)k)
n∈N
jest ograniczony dla każdego x ∈ X wtedy
i tylko wtedy, gdy ciąg norm (kA
n
k)
n∈N
jest ograniczony.
Zofia Lewandowska
Ciągi operatorów liniowych ciągłych
Własności operatorów liniowych ciągłych
Twierdzenia Banacha-Steinhausa
Twierdzenie 2
Twierdzenie 2
Jeżeli (A
n
)
n∈N
jest ciągiem operatorów liniowych ograniczonych
określonych na przestrzeni Banacha X, o wartościach w przestrzeni
unormowanej Y i ciąg (A
n
(x))
n∈N
jest zbieżny w Y dla każdego
x ∈ X, to operator A zdefiniowany równością
Ax = lim
n→∞
A
n
(x)
jest operatorem liniowym ograniczonym.
Zofia Lewandowska
Ciągi operatorów liniowych ciągłych
Własności operatorów liniowych ciągłych
Twierdzenia Banacha-Steinhausa
Przykład 1
Istotność założenia zupełności przestrzeni X
w twierdzeniu Banacha-Steinhausa
Rozważmy przestrzeń m
0
wszystkich ciągów (t
n
)
n∈N
, których tylko
skończona ilość wyrazów jest różna od zera z normą
k x k=
∞
X
n=1
|t
n
|
2
!
1
2
,
gdzie x = (t
n
)
n∈N
∈ m
0
.
Ustalmy n ∈ N. Określmy A
n
: m
0
→ R wzorem
A
n
(x) =
n
X
j=1
t
j
Wówczas ciąg (k A
n
k)
n∈N
nie jest ograniczony.
Zofia Lewandowska
Ciągi operatorów liniowych ciągłych
Własności operatorów liniowych ciągłych
Twierdzenia Banacha-Steinhausa
Definicja
Definicja
Zbiór A elementów przestrzeni unormowanej X nazywamy liniowo
gęstym w przestrzeni X, gdy zbiór X
0
wszystkich kombinacji
liniowych elementów zbioru A jest gęsty w X.
Zofia Lewandowska
Ciągi operatorów liniowych ciągłych
Własności operatorów liniowych ciągłych
Twierdzenia Banacha-Steinhausa
Przykłady
Zbiory liniowo gęste
1
Zbiór A = {e
1
= (1, 0, 0, . . .), e
2
= (0, 1, 0, . . .), . . .} jest
liniowo gęsty w c
0
.
2
Zbiór A = {e
1
= (1, 0, 0, . . .), e
2
= (0, 1, 0, . . .), . . .} jest
liniowo gęsty w l
p
, p > 1.
3
Zbiór A = {e
0
= (1, 1, 1, . . .), e
1
= (1, 0, 0, . . .),
e
2
= (0, 1, 0, . . .), . . .} jest liniowo gęsty w c.
4
Zbiór A = {e
1
= (1, 0, . . . , 0
|
{z
}
n
), e
2
= (0, 1, 0, . . . , 0
|
{z
}
n
), . . . ,
e
n
= (0, 0, . . . , 0, 1
|
{z
}
n
)} jest liniowo gęsty w l
p
n
, p 1.
5
Zbiór A = {1, t, t
2
, t
3
, . . .} jest liniowo gęsty w C[a, b].
Zofia Lewandowska
Ciągi operatorów liniowych ciągłych
Własności operatorów liniowych ciągłych
Twierdzenia Banacha-Steinhausa
Twierdzenie 3
Twierdzenie 3
Niech W będzie zbiorem liniowo gęstym w przestrzeni Banacha X
i niech (A
n
)
n∈N
będzie ciągiem operatorów liniowych
ograniczonych z przestrzeni X w przestrzeń Banacha Y .
Ciąg (A
n
(x))
n∈N
jest zbieżny w Y dla każdego x ∈ X wtedy
i tylko wtedy, gdy jest zbieżny dla każdego x ∈ W oraz ciąg norm
(kA
n
k)
n∈N
jest ograniczony.
Zofia Lewandowska
Ciągi operatorów liniowych ciągłych
Własności operatorów liniowych ciągłych
Twierdzenia Banacha-Steinhausa
Twierdzenie 4
Twierdzenie 4
Jeżeli ciąg (A
n
)
n∈N
operatorów liniowych ograniczonych
z przestrzeni Banacha X w przestrzeń Banacha Y jest zbieżny w
zbiorze W liniowo gęstym w X do operatora liniowego
ograniczonego A z X w Y oraz ciąg norm (kA
n
k)
n∈N
jest
ograniczony, to A
n
x −→ Ax w Y dla każdego x ∈ X oraz
kAk 6 sup
n
kA
n
k.
Zofia Lewandowska
Ciągi operatorów liniowych ciągłych
Własności operatorów liniowych ciągłych
Twierdzenia Banacha-Steinhausa
Przykład 2
Istotność założenia zupełności przestrzeni Y
w twierdzeniu Banacha-Steinhausa
Rozważmy przestrzeń X = l
1
oraz Y = m
0
wszystkich ciągów
(t
n
)
n∈N
, których tylko skończona ilość wyrazów jest różna od zera
z normą
k x k=
∞
X
n=1
|t
n
|
2
!
1
2
,
gdzie x = (t
n
)
n∈N
∈ m
0
.
Zofia Lewandowska
Ciągi operatorów liniowych ciągłych
Własności operatorów liniowych ciągłych
Twierdzenia Banacha-Steinhausa
Przykład 2
Istotność założenia zupełności przestrzeni Y
w twierdzeniu Banacha-Steinhausa
Ustalmy n ∈ N. Określmy A
n
: X → Y wzorem
A
n
(x) =
n
X
j=1
t
j
, 0, 0, . . .
Wówczas ciąg (A
n
(x))
n∈N
nie jest zbieżny dla każdego x ∈ X.
Zofia Lewandowska
Ciągi operatorów liniowych ciągłych
Własności operatorów liniowych ciągłych
Twierdzenie o odwzorowaniu otwartym
Twierdzenie o operatorze odwrotnym
Twierdzenie o domkniętym wykresie
Twierdzenie o odwzorowaniu otwartym
Twierdzenie o odwzorowaniu otwartym
Załóżmy, że U i V są otwartymi kulami jednostkowymi
w przestrzeniach Banacha, odpowiednio, X i Y .
Wówczas dla każdego ograniczonego przekształcenia liniowego A
przestrzeni X na Y istnieje liczba dodatnia δ taka, że
δV ⊂ A(U ).
Zofia Lewandowska
Ciągi operatorów liniowych ciągłych
Własności operatorów liniowych ciągłych
Twierdzenie o odwzorowaniu otwartym
Twierdzenie o operatorze odwrotnym
Twierdzenie o domkniętym wykresie
Wnioski
Wniosek 1
Obraz każdej kuli otwartej w X o środku w pewnym punkcie x
0
zawiera pewną kulę otwartą w Y o środku w punkcie A(x
0
).
Zofia Lewandowska
Ciągi operatorów liniowych ciągłych
Własności operatorów liniowych ciągłych
Twierdzenie o odwzorowaniu otwartym
Twierdzenie o operatorze odwrotnym
Twierdzenie o domkniętym wykresie
Wnioski
Wniosek 1
Obraz każdej kuli otwartej w X o środku w pewnym punkcie x
0
zawiera pewną kulę otwartą w Y o środku w punkcie A(x
0
).
Wniosek 2
Każdy operator liniowy ograniczony z przestrzeni Banacha X na
przestrzeń Banacha Y jest odwzorowaniem otwartym, (tzn. obraz
dowolnego zbioru otwartego w X jest zbiorem otwartym w Y ).
Zofia Lewandowska
Ciągi operatorów liniowych ciągłych
Własności operatorów liniowych ciągłych
Twierdzenie o odwzorowaniu otwartym
Twierdzenie o operatorze odwrotnym
Twierdzenie o domkniętym wykresie
Twierdzenie 1
Twierdzenie 1
Niech X, Y będą przestrzeniami liniowymi, A operatorem liniowym
z X w Y . Operator A jest odwracalny wtedy i tylko wtedy, gdy
Ax = θ =⇒ x = θ.
Zofia Lewandowska
Ciągi operatorów liniowych ciągłych
Własności operatorów liniowych ciągłych
Twierdzenie o odwzorowaniu otwartym
Twierdzenie o operatorze odwrotnym
Twierdzenie o domkniętym wykresie
Twierdzenie 2
Twierdzenie 2
Niech X, Y będą przestrzeniami liniowymi, A operatorem
odwracalnym określonym na X o wartościach w Y . Jeżeli operator
A jest liniowy, to operator odwrotny A
−1
jest też liniowy.
Zofia Lewandowska
Ciągi operatorów liniowych ciągłych
Własności operatorów liniowych ciągłych
Twierdzenie o odwzorowaniu otwartym
Twierdzenie o operatorze odwrotnym
Twierdzenie o domkniętym wykresie
Twierdzenie 3
Twierdzenie 3
Niech X, Y będą przestrzeniami unormowanymi. Operator liniowy
A : X −→ Y ma ciągły operator odwrotny wtedy i tylko wtedy,
gdy istnieje liczba dodatnia m taka, że dla każdego x ∈ X
prawdziwa jest nierówność
kAxk > m · kxk.
Zofia Lewandowska
Ciągi operatorów liniowych ciągłych
Własności operatorów liniowych ciągłych
Twierdzenie o odwzorowaniu otwartym
Twierdzenie o operatorze odwrotnym
Twierdzenie o domkniętym wykresie
Uwagi
W powyższym twierdzeniu nie zakładamy, że operator A jest ciągły.
PYTANIE: Czy i kiedy operator odwrotny do operatora liniowego
ciągłego jest ciągły?
Niech X, Y będą przestrzeniami Banacha, A operatorem liniowym
ograniczonym odwzorowującym przestrzeń X w Y . Załóżmy odwra-
calność operatora A. Wówczas operator odwrotny A
−1
jest liniowy.
Ale na ogół nie jest ograniczony.
Zofia Lewandowska
Ciągi operatorów liniowych ciągłych
Własności operatorów liniowych ciągłych
Twierdzenie o odwzorowaniu otwartym
Twierdzenie o operatorze odwrotnym
Twierdzenie o domkniętym wykresie
Przykład
Niech X = Y = C[0, 1] i niech
(Af )(t) =
t
Z
0
f (τ )dτ dla t ∈ [0, 1],
gdzie f jest elementem przestrzeni X.
Wówczas A jest operatorem liniowym ciągłym i odwracalnym, a
operatorem odwrotnym jest
(A
−1
g)(t) = g
0
(t) dla t ∈ [0, 1],
gdzie g jest funkcją z przestrzeni
{g ∈ C[0, 1] : g
0
∈ C[0, 1] ∧ g(0) = 0} ⊂ Y.
Operator A
−1
nie jest ograniczony.
Zofia Lewandowska
Ciągi operatorów liniowych ciągłych
Własności operatorów liniowych ciągłych
Twierdzenie o odwzorowaniu otwartym
Twierdzenie o operatorze odwrotnym
Twierdzenie o domkniętym wykresie
Twierdzenie Banacha o operatorze odwrotnym
Twierdzenie Banacha o operatorze odwrotnym
Jeżeli A jest różnowartościowym operatorem liniowym ciągłym
z przestrzeni Banacha X na przestrzeń Banacha Y , to operator
odwrotny A
−1
jest ciągły.
Zofia Lewandowska
Ciągi operatorów liniowych ciągłych
Własności operatorów liniowych ciągłych
Twierdzenie o odwzorowaniu otwartym
Twierdzenie o operatorze odwrotnym
Twierdzenie o domkniętym wykresie
Twierdzenie Banacha o operatorze odwrotnym
Twierdzenie Banacha o operatorze odwrotnym
Jeżeli A jest różnowartościowym operatorem liniowym ciągłym
z przestrzeni Banacha X na przestrzeń Banacha Y , to operator
odwrotny A
−1
jest ciągły.
Uwaga
Jeżeli A jest różnowartościowym operatorem liniowym ciągłym
z przestrzeni Banacha X na przestrzeń Banacha Y , to A jest
otwartym homeomorfizmem.
Zofia Lewandowska
Ciągi operatorów liniowych ciągłych
Własności operatorów liniowych ciągłych
Twierdzenie o odwzorowaniu otwartym
Twierdzenie o operatorze odwrotnym
Twierdzenie o domkniętym wykresie
Uwaga
Uwaga
Jeżeli A jest odwracalnym operatorem liniowym ciągłym
z przestrzeni Banacha X w przestrzeń Banacha Y , to następujące
warunki są równoważne:
1
operator odwrotny A
−1
jest ciągły;
2
∃
m>0
∀
x∈X
kAxk > m · kxk;
3
zbiór wartości operatora A jest domknięty.
Zofia Lewandowska
Ciągi operatorów liniowych ciągłych
Własności operatorów liniowych ciągłych
Twierdzenie o odwzorowaniu otwartym
Twierdzenie o operatorze odwrotnym
Twierdzenie o domkniętym wykresie
Definicja
Definicja
Wykresem odwzorowania A : X −→ Y nazywamy zbiór
Gr(A) = {(x, Ax) : x ∈ X} ⊂ X × Y.
Mówimy, że A jest odwzorowaniem o domkniętym wykresie, jeśli
Gr(A) jest domkniętym podzbiorem X × Y .
Zofia Lewandowska
Ciągi operatorów liniowych ciągłych
Własności operatorów liniowych ciągłych
Twierdzenie o odwzorowaniu otwartym
Twierdzenie o operatorze odwrotnym
Twierdzenie o domkniętym wykresie
Twierdzenie o domkniętym wykresie
Twierdzenie Banacha o domkniętym wykresie
Niech X, Y będą przestrzeniami Banacha. Operator liniowy
A : X −→ Y o wykresie domkniętym jest ciągły.
Zofia Lewandowska
Ciągi operatorów liniowych ciągłych
Własności operatorów liniowych ciągłych
Twierdzenie o odwzorowaniu otwartym
Twierdzenie o operatorze odwrotnym
Twierdzenie o domkniętym wykresie
Twierdzenie
Twierdzenie o domkniętym wykresie
Niech A będzie operatorem liniowym z przestrzeni Banacha X
w przestrzeń Banacha Y , mającym następującą własność:
dla każdego ciągu (x
k
), x
k
∈ X, z tego, że x
k
−→ x
0
w X oraz
Ax
k
−→ y
0
w Y wynika y
0
= Ax
0
.
Wówczas operator A jest ciągły.
Zofia Lewandowska