analizaf 5 id 61957 Nieznany (2)

background image

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

Analiza funkcjonalna - wykład

background image

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

Analiza funkcjonalna - wykład

background image

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

Analiza funkcjonalna - wykład

background image

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

Analiza funkcjonalna - wykład

background image

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

Analiza funkcjonalna - wykład

background image

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

Analiza funkcjonalna - wykład

background image

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

Analiza funkcjonalna - wykład

background image

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

Analiza funkcjonalna - wykład

background image

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

Analiza funkcjonalna - wykład

background image

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

Analiza funkcjonalna - wykład

background image

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

Analiza funkcjonalna - wykład

background image

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

Analiza funkcjonalna - wykład

background image

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

Analiza funkcjonalna - wykład

background image

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

Analiza funkcjonalna - wykład

background image

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

Analiza funkcjonalna - wykład

background image

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

Analiza funkcjonalna - wykład

background image

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

Analiza funkcjonalna - wykład

background image

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

Analiza funkcjonalna - wykład

background image

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 (τ )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

Analiza funkcjonalna - wykład

background image

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

Analiza funkcjonalna - wykład

background image

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

Analiza funkcjonalna - wykład

background image

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

Analiza funkcjonalna - wykład

background image

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

Analiza funkcjonalna - wykład

background image

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

Analiza funkcjonalna - wykład

background image

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

Analiza funkcjonalna - wykład


Document Outline


Wyszukiwarka

Podobne podstrony:
analizy 2 id 62051 Nieznany
analiza 6 1 id 584986 Nieznany (2)
analiza 3 id 59700 Nieznany (2)
analizatory id 62011 Nieznany (2)
analizaf 3 id 61954 Nieznany (2)
analiza2 id 61920 Nieznany (2)
analizaf 1 id 61953 Nieznany (2)
AnalizaSciezek id 61987 Nieznany (2)
AnalizaSWOT id 61991 Nieznany (2)
analizaf 6 id 61959 Nieznany (2)
analizaDyskryminacyjna id 61950 Nieznany (2)
analiza 4 id 59704 Nieznany (2)
analiza 5 id 59707 Nieznany (2)
analizaf 4 id 61955 Nieznany (2)
analizaf 8 id 61961 Nieznany (2)
analizaWyklad 3 1 id 62026 Nieznany
analizy 2 id 62051 Nieznany
analiza 6 1 id 584986 Nieznany (2)
analiza 3 id 59700 Nieznany (2)

więcej podobnych podstron