Analiza funkcjonalna I. Ryszard Szwarc

Podobne dokumenty
1 Przestrzenie Hilberta

Zadania z Analizy Funkcjonalnej I Które z poniższych przestrzeni metrycznych są przestrzeniami unormowanymi?

Zadania z Analizy Funkcjonalnej I Które z poniższych przestrzeni metrycznych są przestrzeniami unormowanymi?

Informacja o przestrzeniach Hilberta

jest ciągiem elementów z przestrzeni B(R, R)

Analiza Funkcjonalna - Zadania

2.7 Przestrzenie unormowane skończenie wymiarowe

Analiza funkcjonalna 1.

Zadania z Analizy Funkcjonalnej I* - 1

Korzystając z własności metryki łatwo wykazać, że dla dowolnych x, y, z X zachodzi

Przestrzeń unitarna. Jacek Kłopotowski. 23 października Katedra Matematyki i Ekonomii Matematycznej SGH

Analiza funkcjonalna Wykłady

Twierdzenie spektralne

Zdzisław Dzedzej. Politechnika Gdańska. Gdańsk, 2013

1 Ciągłe operatory liniowe

Układy równań i równania wyższych rzędów

1 Relacje i odwzorowania

Wykład 1. Przestrzeń Hilberta

Analiza funkcjonalna II Ryszard Szwarc

Wykład 1. Przestrzeń Hilberta

2 Rodziny zbiorów. 2.1 Algebry i σ - algebry zbiorów. M. Beśka, Wstęp do teorii miary, rozdz. 2 11

1 Elementy analizy funkcjonalnej

Zadania z Algebry liniowej 4 Semestr letni 2009

Rozdział 6. Ciągłość. 6.1 Granica funkcji

Dystrybucje, wiadomości wstępne (I)

Rozdział 4. Ciągi nieskończone. 4.1 Ciągi nieskończone

n=0 Dla zbioru Cantora prawdziwe są wersje lematu 3.6 oraz lematu 3.8 przy założeniu α = :

Temperatura w atmosferze (czy innym ośrodku) jako funkcja dł. i szer. geogr. oraz wysokości.

SIMR 2016/2017, Analiza 2, wykład 1, Przestrzeń wektorowa

Geometria Lista 0 Zadanie 1

ANALIZA MATEMATYCZNA Z ELEMENTAMI STATYSTYKI MATEMATYCZNEJ

Wykład 10. Stwierdzenie 1. X spełnia warunek Borela wtedy i tylko wtedy, gdy każda scentrowana rodzina zbiorów domkniętych ma niepusty przekrój.

WYKŁAD Z ANALIZY MATEMATYCZNEJ I. dr. Elżbieta Kotlicka. Centrum Nauczania Matematyki i Fizyki

F t+ := s>t. F s = F t.

7 Twierdzenie Fubiniego

Matematyka z el. statystyki, # 1 /Geodezja i kartografia I/

Zadania z algebry liniowej Iloczyn skalarny, przestrzenie euklidesowe

Wykład 4 Udowodnimy teraz, że jeśli U, W są podprzetrzeniami skończenie wymiarowej przestrzeni V to zachodzi wzór: dim(u + W ) = dim U + dim W dim(u

Rodzinę F złożoną z podzbiorów zbioru X będziemy nazywali ciałem zbiorów, gdy spełnione są dwa następujące warunki.

Przestrzenie wektorowe

Algebra liniowa z geometrią

zbiorów domkniętych i tak otrzymane zbiory domknięte ustawiamy w ciąg. Oznaczamy

1 Formy hermitowskie. GAL (Informatyka) Wykład - formy hermitowskie. Paweł Bechler

. : a 1,..., a n F. . a n Wówczas (F n, F, +, ) jest przestrzenią liniową, gdzie + oraz są działaniami zdefiniowanymi wzorami:

1 Zbiory. 1.1 Kiedy {a} = {b, c}? (tzn. podać warunki na a, b i c) 1.2 Udowodnić, że A {A} A =.

Zagadnienia stacjonarne

19 Własności iloczynu skalarnego: norma, kąt i odległość

Notatki z Analizy Matematycznej 2. Jacek M. Jędrzejewski

Informacja o przestrzeniach Sobolewa

Algebra liniowa. 1. Macierze.

7. Miara, zbiory mierzalne oraz funkcje mierzalne.

9 Przekształcenia liniowe

1 + iϕ n. = cos ϕ + i sin ϕ. e n z n n n. c M n z n, c n z Mn.

A i. i=1. i=1. i=1. i=1. W dalszej części skryptu będziemy mieli najczęściej do czynienia z miarami określonymi na rodzinach, które są σ - algebrami.

Analiza I.2*, lato 2018

Wstęp do przestrzeni metrycznych i topologicznych oraz ich zastosowań w ekonomii

Rozdział 5. Szeregi liczbowe. 5.1 Szeregi liczbowe. Definicja sumy częściowej ciągu. Niech dany będzie ciąg liczbowy (a n ) n=1.

Zadania egzaminacyjne

Analiza matematyczna. 1. Ciągi

Równania różniczkowe liniowe wyższych rzędów o stałych współcz

Akwizycja i przetwarzanie sygnałów cyfrowych

O pewnych klasach funkcji prawie okresowych (niekoniecznie ograniczonych)

Układy równań i nierówności liniowych

Zestaw zadań 5: Sumy i sumy proste podprzestrzeni. Baza i wymiar. Rzędy macierzy. Struktura zbioru rozwiązań układu równań.

Notatki do wykładu Analiza 4

Wstęp do topologii Ćwiczenia

1 Elementy logiki i teorii mnogości

1 Przestrzeń liniowa. α 1 x α k x k = 0

Przestrzenie metryczne. Elementy Topologii. Zjazd 2. Elementy Topologii

Topologia I*, jesień 2012 Zadania omawiane na ćwiczeniach lub zadanych jako prace domowe, grupa 1 (prowadzący H. Toruńczyk).

φ(x 1,..., x n ) = a i x 2 i +

Zadania do Rozdziału X

ALGEBRA LINIOWA 2. Lista zadań 2003/2004. Opracowanie : dr Teresa Jurlewicz, dr Zbigniew Skoczylas

(b) Suma skończonej ilości oraz przekrój przeliczalnej ilości zbiorów typu G α

8 Całka stochastyczna względem semimartyngałów

Przestrzenie liniowe

1 Zbiory i działania na zbiorach.

Baza w jądrze i baza obrazu ( )

2. Definicja pochodnej w R n

Wykłady ostatnie. Rodzinę P podzbiorów przestrzeni X nazywamy σ - algebrą, jeżeli dla A, B P (2) A B P, (3) A \ B P,

1. Struktury zbiorów 2. Miara 3. Miara zewnętrzna 4. Miara Lebesgue a 5. Funkcje mierzalne 6. Całka Lebesgue a. Analiza Rzeczywista.

Analiza matematyczna / Witold Kołodziej. wyd Warszawa, Spis treści

B jest liniowo niezależny V = lin (B) 1. Układ pusty jest bazą przestrzeni trywialnej {θ}. a i v i = i I. b i v i, (a i b i ) v i = θ.

Algebra Liniowa 2 (INF, TIN), MAP1152 Lista zadań

KRATY BANACHA. Marek Kosiek. Wykład monograficzny dla studentów Uniwersytetu Jagiellońskiego

z = x + i y := e i ϕ z. cos ϕ sin ϕ = sin ϕ cos ϕ

Ośrodkowość procesów, proces Wienera. Ośrodkowość procesów, proces Wienera Procesy Stochastyczne, wykład, T. Byczkowski,

Funkcje analityczne. Wykład 2. Płaszczyzna zespolona. Paweł Mleczko. Funkcje analityczne (rok akademicki 2017/2018)

Znaleźć wzór ogólny i zbadać istnienie granicy ciągu określonego rekurencyjnie:

Teoria miary. WPPT/Matematyka, rok II. Wykład 5

Teoria miary i całki

INSTYTUT MATEMATYCZNY UNIWERSYTETU WROCŁAWSKIEGO. Tadeusz Pytlik ANALIZA FUNKCJONALNA

Lista. Przestrzenie liniowe. Zadanie 1 Sprawdź, czy (V, +, ) jest przestrzenią liniową nadr :

O zastosowaniach twierdzeń o punktach stałych

Grzegorz Bobiński. Wykład monograficzny Programowanie Liniowe i Całkowitoliczbowe

13 Układy równań liniowych

Analiza matematyczna 1 - test egzaminacyjny wersja do ćwiczeń

ALGEBRA LINIOWA Z ELEMENTAMI GEOMETRII ANALITYCZNEJ

Statystyka i eksploracja danych

Transkrypt:

Analiza funkcjonalna I Ryszard Szwarc Wrocław 2010

2 Spis treści 1 Przestrzenie unormowane 3 1.1 Dodatek.............................. 13 2 Operatory liniowe 15 3 Przestrzenie Hilberta 26 3.1 Podstawowe własności...................... 26 3.2 Proces ortogonalizacji Grama-Schmidta............. 33 4 Przestrzenie sprzężone 37 5 Twierdzenia Hahna-Banacha 40 5.1 Przedłużanie funkcjonałów liniowych.............. 40 5.2 Granica Banacha......................... 46 5.3 Przestrzeń sprzężona do C[a, b]................. 47 5.4 Wersja geometryczna....................... 50 5.5 Wersja niezmiennicza....................... 55 6 Twierdzenie Baire a i zastosowania 61 6.1 Twierdzenie Baire a........................ 61 6.2 Twierdzenie Banacha-Steinhausa................ 62 6.3 Twierdzenia Banacha....................... 67 7 Twierdzenie Stone a-weierstrassa 73 8 Przestrzenie sprzężone do L p i do C(X) 81 8.1 Wersja rzeczywista........................ 82 8.2 Wersja zespolona......................... 89 8.3 Twierdzenie Riesza........................ 90 9 Słaba zbieżność w przestrzeniach unormowanych 91 9.1 Słaba zbieżność ciągów...................... 91 9.2 Słabe topologie.......................... 96 10 Twierdzenie Arzeli-Ascoliego 99 11 Odwzorowania zwężające i zastosowania 104 11.1 Twierdzenie o funkcji odwrotnej................. 105

Przestrzenie unormowane 3 12 Zadania 107 1 Przestrzenie unormowane Definicja 1.1. Niech X będzie przestrzenią liniową nad C (lub R). Normą określoną na X nazywamy funkcję X x x [0, ) spełniającą warunki (i) x = 0 wtedy i tylko wtedy, gdy x = 0. (ii) λx = λ x, dla λ C oraz x X. (jednorodność) (iii) x + y x + y, dla x, y X. (warunek trójkąta) Uwaga 1.2. Z nierówności trójkąta wynika, że x y x y Określmy funkcję d(x, y) = x y dla x, y X. Wtedy d(x, y) jest metryką i X staje się przestrzenią metryczną. Przykłady. 1. X = C n (lub R n ). Dla x = (x 1, x 2,..., x n ) możemy określić normy x 1 = n x i, i=1 x = max i. 1 i n 2. X = C[0, 1] (funkcje ciągłe o wartościach zespolonych). Określamy tzw. normę jednostajną f = max 0 t 1 f(t). Ta przestrzeń ma nieskończony wymiar, bo jednomiany 1, x, x 2, x 3,... tworzą nieskończony układ liniowo niezależny. Jednakże układ ten nie jest bazą algebraiczną przestrzeni liniowej X. Możemy rozważać też inną normę: f 1 = 1 0 f(t) dt.

4 Analiza funkcjonalna I 3. X = l = {x = (x n ) : sup n x n < }. Zauważmy, że x n x. x = sup x n. n Definicja 1.3. Przestrzeń metryczną nazywamy zupełną, jeśli każdy ciąg elementów tej przestrzeni spełniający warunek Cauchy ego jest zbieżny. Definicja 1.4. Przestrzeń unormowaną zupełną w metryce d(x, y) = x y nazywamy przestrzenią Banacha. Przykład. Przestrzenie R i C są przestrzeniami Banacha. Przykład. l jest przestrzenią Banacha. W tym celu trzeba pokazać, że każdy ciąg Cauchy ego x (k) w l jest zbieżny do pewnego elementu x z l. Ustalmy wskaźnik n. Wtedy x (k) n x (l) n sup x (k) m x (l) m x (k) x (l). m N Zatem dla dowolnej liczby n ciąg liczbowy (x (k) n ) k=1 spełnia warunek Cauchy ego. Zatem ten ciąg ma granicę lim k x (k) n = x n. Otrzymujemy w ten sposób ciąg x = (x n ). Pokażemy, że x l oraz x (k) x 0. Ustalmy k więc liczbę dodatnią ε. Z warunku Cauchy ego istnieje wskaźnik k 0 taki, że dla k, l k 0 mamy x (k) n x (l) n x (k) x (l) < ε. Przechodząc do granicy po lewej stronie, gdy l otrzymamy Zatem x (k) x l oraz x (k) n x n ε, n = 1, 2,.... x (k) x ε k k 0. (1.1) Otrzymujemy, że x leży w l jako suma dwu elementów z l x = (x (k 0 ) x) + x (k 0). Ponadto (1.1) oznacza, że x (k) zbiega do x w l.

Przestrzenie unormowane 5 Definicja 1.5. Mówimy, że szereg x n elementów z przestrzeni unormowanej X jest zbieżny, jeśli szereg sum częściowych n s n = x k k=1 jest zbieżny. Mówimy, że szereg x n jest bezwzględnie zbieżny, jeśli zbieżny jest szereg liczbowy x n. Twierdzenie 1.6. Przestrzeń liniowa unormowana jest zupełna wtedy i tylko wtedy, gdy każdy szereg bezwzględnie zbieżny jest zbieżny. Dowód. ( ) Załóżmy, że x n <. Dla n > m mamy n s n s m = x j n x j x j. j=m+1 j=m+1 j=m+1 Stąd wynika, że ciąg s n spełnia warunek Cauchy ego, zatem jest zbieżny. ( ) Niech x n będzie ciągiem Cauchy ego w X. Dla ε = 2 k istnieje liczba naturalna n k taka, że dla n, m n k mamy x n x m < 2 k. Można założyć, że n k+1 > n k. Zatem x nk+1 x nk < 2 k, k = 1, 2,... Przyjmijmy y 0 = x n1 oraz y k = x nk+1 x nk dla k 1. Wtedy szereg y k jest bezwzględnie zbieżny. Zatem szereg ten jest zbieżny. Obliczamy sumy częściowe tego szeregu i otrzymujemy k 1 l=0 y l = x nk. Zatem podciąg x nk jest zbieżny. Oznaczmy x = lim k x nk. Pokażemy, że x = lim n x n. Ustalmy liczbę ε > 0. Z warunku Cauchy ego istnieje liczba k 0 taka, że x n x m < ε 2, n, m k 0.

6 Analiza funkcjonalna I Istnieje też liczba l 0, dla której x nl x < ε 2, l l 0. Niech n max(k 0, l 0 ) = m 0. Wtedy n k 0 oraz n m0 m 0 k 0. Zatem x n x x n x nm0 + x nm0 x < ε 2 + ε 2 = ε Przykład. Rozważamy przestrzeń liniową L 1 R(0, 1) = f : (0, 1) R f mierzalna, f 1 = 1 0 f(x) dx <. Przyjmujemy, że dwie funkcje f i g są równe jeśli f(x) = g(x) prawie wszędzie dla x z przedziału (0, 1) względem miary Lebesgue a. Pokażemy zupełność przestrzeni w normie 1. Wystarczy sprawdzić, że każdy szereg bezwzględnie zbieżny jest zbieżny. Niech f n 1 <. Określmy funkcję g(x) = f n (x). Jeśli szereg jest rozbieżny, przyjmujemy wartość. Funkcja g jest mierzalna i nieujemna jako granica punktowa sum częściowych funkcji mierzalnych i nieujemnych. Na podstawie twierdzenia Beppo-Leviego mamy 1 1 1 g(x) dx = f n (x) dx = f n (x) dx = f n (x) 1 < 0 0 0 Zatem g(x) < prawie wszędzie, czyli szereg f n (x) jest bezwzględnie zbieżny prawie wszędzie. To pozwala określić f n (x), jeśli szereg jest zbieżny; h(x) = 0, jeśli szereg jest rozbieżny.

Przestrzenie unormowane 7 Pokażemy, że h L 1 R(0, 1) oraz f n = h w normie przestrzeni L 1 R(0, 1). Mamy Dalej 1 1 1 h(x) dx = f n (x) dx f n (x) dx = f n 1 <. 0 0 0 n h 1 f k = k=1 1 n h(x) 1 f k (x) dx = f k (x) dx 0 k=1 0 k=n+1 1 f k (x) dx = f k (x) n 0. 0 k=n+1 k=n+1 Tak samo dowodzi się, że przestrzeń L 1 R(X, µ) jest zupełna dla przestrzeni X z miarą µ. W przestrzeniach C n (lub R n oraz np. C[0, 1] można określić wiele norm. Definicja 1.7. Dwie normy 1 oraz 2 określone na przestrzeni liniowej X nazywamy równoważnymi jeśli te normy są porównywalne, tzn. istnieją liczby dodatnie c 1 i c 2 spełniające dla wszystkich x z X. c 2 x 2 x 1 c 1 x 2 Uwaga 1.8. Równoważność norm oznacza zatem, że iloraz norm dla niezerowych elementów jest ograniczony od góry i od dołu przez liczbę dodatnią. Jeśli normy 1 oraz 2 są równoważne, to zbieżność ciągu x n względem normy 1 jest równoważna zbieżności tego ciągu w normie 2. Rzeczywiście, wynika to z nierówności c 2 x n x 2 x n x 1 c 1 x n x 2. Implikacja odwrotna też jest prawdziwa, tzn. jeśli zbieżność ciągów w dwu normach jest równoważna, to normy te muszą być równoważne (zadanie). Przykład. Rozważmy C[0, 1] i dwie normy 1 f = max f(t), f 1 = f(t) dt. 0 t 1 0

8 Analiza funkcjonalna I Mamy f 1 = Niech f n (x) = x n. Wtedy 1 0 f(t) dt 1 0 f dt = f. f n = 1, f n 1 = 1 n + 1. Stąd normy te nie są równoważne, bo iloraz norm nie jest ograniczony. Twierdzenie 1.9. W przestrzeni C n (lub R n ) wszystkie normy są równoważne. Dowód. Pokażemy, że dowolna norma jest równoważna z normą x = max 1 i n x i. Niech e 1, e 2,..., e n oznacza elementy standardowej bazy w C n. Tzn. ciąg e i składa się z (n 1) zer i jedynki umieszczonej na i-tej pozycji. Wtedy ) ( n n n x = x i e i x i e i i=1 i=1 e i i=1 x Przyjmując c 1 = n i=1 e i otrzymujemy x c 1 x. Pozostaje udowodnić, że istnieje stała c 2 taka, że c 2 x x, x C n. Niech S = {y C n y = 1}. Rozważmy funkcję ϕ : S (0, ) określoną wzorem ϕ(y) = y. Zbiór S jest domknięty i ograniczony w C n. Z kolei funkcja ϕ jest ciągła, bo ϕ(y) ϕ(y 0 ) = y y 0 y y 0 c 1 y y 0. Z twierdzenia Weierstrassa funkcja ϕ przyjmuje wartość najmniejszą w pewnym punkcie zbioru S. W szczególności ta funkcja jest ograniczona od dołu przez pewną dodatnią stałą c 2. Czyli y c 2 dla y S. Niech x 0 C n. Wtedy element y = x/ x należy do S. Z równości x = x y otrzymujemy zatem x = x y c 2 x.

Przestrzenie unormowane 9 Uwaga 1.10. Z twierdzenia wynika, że przestrzeń C n (i R n ) jest zupełna niezależnie od wyboru normy, bo ciągi zbieżne w jednej normie są zbieżne w każdej innej normie oraz ciągi Cauchy ego w jednej normie są ciągami Cauchy ego w każdej innej normie. Wniosek 1.11. (i) Przestrzeń C n ( R n ) jest zupełna w dowolnej normie. (ii) Przestrzeń unormowana skończonego wymiaru jest zawsze zupełna. Dowód. (ii) Niech X będzie tą przestrzenią oraz dim X = n. Niech f 1, f 2,..., f n będzie bazą przestrzeni X. Określmy odwzorowanie ϕ : X C n wzorem n X x k f k (x 1, x 2,..., x n ) C n. ϕ k=1 Wtedy ϕ jest izomorfizmem przestrzeni X i C n. Z pierwszej części wniosku wynika, że X jest zupełna. Wiadomo, że jeśli podzbiór Y w przestrzeni metrycznej X jest przestrzenią metryczną zupełną, to Y jest domkniętym podzbiorem w X. Stąd natychmiast otrzymujemy Wniosek 1.12. Jeśli E jest podprzestrzenią liniową skończonego wymiaru w przestrzeni unormowanej X, to E jest domknięta w X. Twierdzenie 1.13 (o najlepszej aproksymacji). Niech E będzie podprzestrzenią liniową skończonego wymiaru w przestrzeni unormowanej X. Dla każdego elementu x z X istnieje element x 0 taki, że x x 0 = inf x y. y E Dowód. Oznaczmy a = inf y E x y. Dla liczby n istnieje element y n E taki, że x y n < a + 1 n. Wtedy y n y n x + x < a + x + 1 n a + x + 1. Zatem ciąg y n jest ograniczony. Z twierdzenia Bolzano-Weierstrassa (bo dim E < ) możemy wybrać podciąg y nk zbieżny np. do x 0. Ponieważ E jest domknięta, to x 0 E. Dalej a x x 0 x y nk + y nk x 0 < a + 1 n k + y nk x 0 k a. Otrzymujemy x x 0 = a co kończy dowód.

10 Analiza funkcjonalna I Uwaga 1.14. Jeśli norma spełnia x + y = x + y = x = αy dla α C, to element x 0 z tezy twierdzenia jest jedyny. Istotnie, załóżmy, że istnieją dwa elementy x 0 oraz x 1 spełniające x x 0 = x x 1 = a. Wtedy a x x 0 + x 1 2 = x x 0 2 + x x 1 2 x x 0 2 + x x 1 2 = a. Zatem Wtedy x x 0 2 + x x 1 2 x x 0 2 = x x 0 2 + x x 1 2. = α x x 1 2 dla pewnej liczby α. Jeśli α = 1, to x 0 = x 1. Jeśli zaś α 1, to obliczając x otrzymamy, że x E i wtedy x = x 0 = x 1. Można też zauważyć, że liczba α musi być zawsze nieujemna. Jeśli x = y 0, oraz x + y = x + y to α = 1. Definicja 1.15. Podzbiór przestrzeni metrycznej X nazywamy gęstym, jeśli dla dowolnego elementu x z X i dowolnej liczby ε > 0 istnieje element a z A spełniający d(x, a) < ε. Przestrzeń metryczna jest ośrodkowa, jeśli posiada przeliczalny podzbiór gęsty. Uwaga 1.16. Jeśli w przestrzeni metrycznej X znajdziemy nieprzeliczalną rodzinę rozłącznych otwartych kul (tzn. zbiorów postaci B(x, r) = {y Y d(x, y) < r}), to X nie jest ośrodkowa. Przykład. X = R n (lub C n ). A R = {(x 1, x 2,..., x n ) x i Q} A C = {(z 1, z 2,..., z n ) z i Q + iq}

Przestrzenie unormowane 11 Przykład. Rozważmy X = C R [0, 1] z normą f = sup 0 t1 f(t). Z twierdzenia Weierstrassa dla dowolnej funkcji f istnieje ciąg wielomianów p n taki, że p n (x) jest zbieżny jednostajnie do f(x). Tzn. p n f 0, gdy n. Zatem wielomiany P tworzą gęsty podzbiór w X. Wtedy zbiór P 0 = {p(x) = a n x n +... + a 1 x + a 0 n N, a 0, a 1,..., a n Q} jest przeliczalnym i gęstym podzbiorem w P a zatem również w X. Przykład. Dla przestrzeni { l 2 = (x n ) zbiór } x n 2 <, x n C A = {(x n ) x n Q + iq, x n = 0 od pewnego miejsca} jest przeliczalnym zbiorem gęstym. Przykład. Rozważamy przestrzeń { l R = x = (x n ) x = sup n } x n <, x n R. Ta przestrzeń nie jest ośrodkowa. Rzeczywiście, dla podzbioru A N określmy 1 n A, x A (n) = 0 n / A. Wtedy x A x B = 1 o ile A B. Rozważmy kule B(x A, 1 ) dla wszystkich A N. Te zbiory są rozłączne i jest ich continuum. Zatem l R nie jest 2 ośrodkowa. Twierdzenie 1.17. Każdą przestrzeń unormowaną można uzupełnić do przestrzeni Banacha. Dowód. Niech X 0 będzie przestrzenią unormowaną. Oznaczmy przez X rodzinę klas równoważności ciągów Cauchy ego elementów z X 0. Dwa ciągi Cauchy ego (x n ) oraz (y n ) są równoważne, co zapisujemy (x n ) (y n ), gdy x n y n n 0. Przestrzeń X 0 utożsamiamy z podzbiorem X następująco X 0 x 0 [(x 0, x 0,..., x 0,...)] X,

12 Analiza funkcjonalna I gdzie [(x n )] oznacza klasę równoważności ciągu. Wiemy z topologii, że X jest przestrzenią metryczną zupełną z metryką d X ([(x n )], [(y n )] ) = lim n d X0 (x n, y n ) = lim n x n y n X0. X jest przestrzenią liniową, bo (1) [(x n )] + [(y n )] = [(x n + y n )]. (2) λ[(x n )] = [(λx n )], λ C. Sprawdzimy, że definicja dodawania jest prawidłowa, tzn. nie zależy od wyboru reprezentantów w klasie równoważności. Niech (x n ) (x n) oraz (y n ) (y n). Wtedy (x n + y n ) (x n + y n), bo (x n + y n ) (x n + y n) X0 x n y n X0 + x n y n X0 n 0. Analogicznie sprawdzamy (2). Określmy kandydata na normę w X wzorem [(x n )] X = lim n x n X0. Definicja jest poprawna, tzn. nie zależy od wyboru reprezentantów, bo jeśli (x n ) (x n), to Zatem x n X0 x n X0 x n x n X0 n 0. lim n x n X0 = lim n x n X0, o ile granica istnieje. Dla [(x n )] X mamy x n X0 x m X0 xn x m X0. Zatem liczby x n X0 tworzą ciąg Cauchy ego. Czyli granica lim n x n X0 istnieje. Pozostaje sprawdzić, że X jest normą oraz, że [(x 0 )] X = x 0 X0. Warunek trójkąta i jednorodność wynikają z własności normy X0. Sprawdzamy kiedy [(x n )] X = 0. Otrzymujemy, że lim x n X0 = 0, tzn. (x n ) (0). Sprawdzamy jeszcze zgodność z metryką d X (, ). Ale d X ([(x n )], [(y n )] ) = lim n x n y n X0 = [(x n )] [(y n )] X.

Przestrzenie unormowane 13 1.1 Dodatek Lemat 1.18 (F. Riesz). Niech Y będzie domkniętą właściwą podprzestrzenią liniową unormowanej przestrzeni liniowej X. Dla dowolnej liczby 0 < θ < 1 istnieje element x w X spełniający x = 1 oraz d(x, Y ) := inf{ x y : y Y } θ. Uwaga 1.19. Lemat mówi, że można znaleźć element x, dla którego iloraz odległości od domkniętej podprzestrzeni Y przez normę x jest dowolnie bliski liczbie 1. Dowód. Ustalmy liczbę 0 < θ < 1. Niech x 0 X \ Y. Oznaczmy a = d(x 0, Y ) = inf{ x 0 y : y Y }. Liczba a jest dodatnia, bo jeśli a = 0, to istnieje ciąg y n Y taki, że x 0 y n 0. Czyli y n x 0. Ponieważ Y jest domknięta, to x 0 Y, n n co daje sprzeczność. Z dodatniości liczby a mamy a < a/θ. Zatem istnieje element y 0 Y spełniający Niech a x 0 y 0 a θ. x = c(x 0 y 0 ), gdzie c = Wtedy x = 1. Ponadto, dla y Y mamy 1 x 0 y 0. x y = c(x 0 y 0 ) y = c x 0 (y 0 + c 1 y ca = Zatem d(x, Y ) θ. a x 0 y 0 θ. Twierdzenie 1.20. Niech X będzie unormowaną przestrzenią liniową nieskończonego wymiaru. Wtedy istnieje ciąg elementów x n w X spełniający warunki: x n = 1 oraz x n x m 1 dla n m. 2 Dowód. Z założenia istnieje nieskończony układ liniowo niezależny y 1, y 2, y 3,.... Określmy Y n = lin{y 1, y 2,..., y n }. Podprzestrzenie liniowe Y n spełniają Y 1 Y 2... Y n.... Stosując lemat Riesza dla Y n 1 Y n i θ = 1 2 otrzymujemy element x n Y n o własności x n = 1 oraz d(x n, X n 1 ) 1 2. Niech n > m. Wtedy x m X m X n 1. Zatem x n x m d(x n, X n 1 ) 1 2.

14 Analiza funkcjonalna I Wniosek 1.21. W nieskończenie wymiarowej liniowej przestrzeni unormowanej X kula jednostkowa B := {x X : x 1} nie jest zbiorem zwartym. Dowód. Wyrazy ciągu x n z poprzedniego twierdzenia leżą w kuli B, ale ciąg ten nie zawiera podciągu zbieżnego. Wniosek 1.22. Załóżmy, że przestrzeń Banacha X ma nieskończony wymiar. Wtedy baza przestrzeni X jest nieprzeliczalna. Dowód. Załóżmy, że przestrzeń X posiada przeliczalną bazę e 1, e 2, e 3,.... Niech X n = lin{e 1, e 2,..., e n }. Zatem X = X n, bo każdy element x w X należy do pewnej przestrzeni X n. Na podstawie dowodu poprzedniego twierdzenia istnieją elementy x n X n takie, że x n = 1 oraz d(x n, X n 1 ) 1. Wtedy szereg 4 n x 2 n jest bezwzględnie zbieżny, zatem jest zbieżny (por. Twierdzenie 1.6). Oznaczmy Element y leży w X n0 y = 4 n x n. dla pewnej liczby n 0, więc Zatem n=n 0 +1 y 0 := W konsekwencji otrzymujemy 4 n x n = y n=n 0 +1 n 0 4 n x n X n0. 4 n 0+1 n x n X n0. 1 2 d(x n 0 +1, X n0 ) y 0 x n0 +1 4 n0+1 n x n 4 n0+1 n = 1 n=n 0 +2 n=n 0 +2 3. Otrzymaliśmy sprzeczność.

Operatory liniowe 15 2 Operatory liniowe Niech X = C n, Y = C m oraz A będzie macierzą wymiaru m n o wyrazach zespolonych. Wtedy A możemy traktować jako odwzorowanie z X do Y poprzez wzór Odwzorowanie A spełnia x 1 y 1 x 2 A. = y 2 n., gdzie y i = a ij x j. j=1 x n y m A(x + x ) = Ax + Ax gdzie x, x X, A(λx) = λax gdzie λ C, x X. Definicja 2.1. Operatorem liniowym T z przestrzeni liniowej X w przestrzeń liniową Y nazywamy odwzorowanie T : X Y spełniające: T (x + x ) = T x + T x T (λx) = λt x. Załóżmy dodatkowo, że X i Y są przestrzeniami unormowanymi. Operator liniowy T : X Y nazywamy ograniczonym jeśli istnieje stała liczba C > 0 taka, że T x Y C x X, x X. Twierdzenie 2.2. Dla operatora liniowego T : X Y, pomiędzy przestrzeniami unormowanymi X i Y następujące warunki są równoważne. (a) T jest ciągłym odwzorowaniem w jednym punkcie. (b) T jest odwzorowaniem ciągłym w każdym punkcie. (c) T jest operatorem ograniczonym. Dowód. (c) = (b) Niech x X oraz x n n x. Wtedy z liniowości mamy T x n T x = T (x n x) C x n x n 0.

16 Analiza funkcjonalna I Stąd T x n n T x w normie przestrzeni Y, czyli T jest ciągły w punkcie x. (b) = (a) To wynikanie jest oczywiste. (a) = (c) Pokażemy, że operator T jest ciągły w 0 wiedząc, że jest ciągły w jakimś punkcie x 0. Niech x n n 0. Wtedy u n = x n + x 0 n x 0. Z założenia mamy T x n + T x 0 = T (x n + x 0 ) = T u n n T x 0. Zatem T x n n 0 = T 0. Załóżmy nie wprost, że nie istnieje stała spełniająca warunek (c). To oznacza, że dla dowolnej liczby naturalnej n można znaleźć element x n X taki, że T x n > n x n. W szczególności x n 0. Określmy u n = 1 n x n x n. Wtedy u n = 1/ n. Zatem u n n 0. Dalej T u n = 1 n T x n x n > 1 n n = n n. To przeczy ciągłości operatora T w punkcie 0. Jeśli T jest ograniczonym operatorem liniowym, to dla pewnej stałej C i dla wszystkich x 0 mamy T x C. x Zatem Definicja 2.3. Liczbę T x sup x 0 x C. T x T = sup x 0 x nazywamy normą operatora ograniczonego T.

Operatory liniowe 17 Zauważmy, że dla x X mamy T x x T, x 0. Czyli T x T x dla x X włącznie z x = 0. Zatem C = T jest najmniejszą liczbą nieujemną, dla której nierówność T x C x jest spełniona. Twierdzenie 2.4. T = sup T u. u 1 Dowód. Dla x 0 norma elementu x/ x jest równa 1, to Z drugiej strony ( ) T x T = sup x 0 x = sup x x 0 T x sup T u = u 1 sup T u 0< u 1 T u sup 0< u 1 u sup T u. u 1 T u sup u 0 u = T. Przykład. Rozważamy X = C n i Y = C m z normami euklidesowymi. Niech e 1, e 2,..., e n i f 1, f 2,..., f m oznaczają standardowe bazy w przestrzeniach X i Y odpowiednio. Niech T będzie operatorem liniowym z X do Y. Wtedy n T x = T x j e j = n x j T e j n x j T e j j=1 j=1 j=1 n T e j 1/2 1/2 n 2 x j 2 = c x, j=1 j=1 gdzie c = ( nj=1 T e j 2) 1/2. Zatem 1/2 n T T e j 2. j=1

18 Analiza funkcjonalna I Zapiszmy T w postaci macierzowej, tzn. Wtedy m T e j = a ij f i. i=1 n n m T e j 2 = a ij 2, j=1 j=1 i=1 czyli norma T jest oszacowana z góry przez pierwiastek z sumy kwadratów wartości bezwzględnych wszystkich wyrazów macierzy związanej z T. Uwaga 2.5. Z przykładu wynika, że każdy operator liniowy określony na przestrzeni skończenie wymiarowej jest ograniczony. Rzeczywiście obraz takiego operatora ma skończony wymiar, więc można go utożsamić z operatorem pomiędzy C n i C m dla pewnych n i m. Ponieważ normy na tych przestrzeniach są równoważne normie euklidesowej, to operator musi być ograniczony. Przykład. Rozważamy przestrzeń C[0, 1] z normą f = sup 0 x 1 f(x). Niech k(x, y) będzie funkcją ciągłą dwu zmiennych 0 x, y 1. Określamy odwzorowanie T : C[0, 1] C[0, 1] wzorem Mamy (T f)(x) = 1 0 k(x, y)f(y) dy, 0 x 1. (T f)(x) 1 0 k(x, y) f(y) dy f 1 Zatem dla c = sup 0 x 1 k(x, y) dy mamy Ostatecznie 0 1 0 k(x, y) dy f T f = sup (T f)(x) c f. 0 x 1 1 T sup k(x, y) dy. 0 x 1 0 1 sup k(x, y) dy. 0 x 1 0

Operatory liniowe 19 Wielkość po prawej stronie jest skończona, bo z twierdzenia Weierstrassa funkcja k(x, y) jest ograniczona. Załóżmy, że k(x, y) 0. Wtedy dla funkcji stale równej 1 mamy 1 = 1 oraz (T 1)(x) = 1 0 k(x, y) dy. Zatem 1 T 1 = sup k(x, y) dy. 0 x 1 0 Stąd wynika, że 1 T sup k(x, y) dy. 0 x 1 0 Reasumując otrzymujemy, że 1 T = sup k(x, y) dy. 0 x 1 0 Funkcja k(x, y) nie musi być ciągła, aby odpowiadający jej operator T przekształcał C[0, 1] w C[0, 1]. Na przykład operatorowi funkcji pierwotnej odpowiada funkcja Ponieważ k(x, y) 0, to (T f)(x) = x 0 f(y) dy 1, 0 y x, k(x, y) = 0, x < y 1. 1 T = sup 0 x 1 0 k(x, y) dy = sup 0 x 1 x = 1. Przykład. Niech X = C 1 [0, 1] oraz Y = C[0, 1]. W obu przestrzeniach wprowadzamy normę. Rozważamy operator pochodnej T f = f. Dla f n (x) = x n mamy f n = 1, ale T f n = nx n 1 = n. Zatem operator T nie jest ograniczony.

20 Analiza funkcjonalna I W przestrzeni X = C 1 [0, 1] bardziej naturalne będzie wprowadzenie normy f = f + f. Po tej zmianie operator T f = f jest ograniczony, bo T f = f f + f = f. Zatem norma operatora T nie przekracza liczby 1. Twierdzenie 2.6. Niech X 0 będzie gęstą podprzestrzenią liniową przestrzeni unormowanej X. Załóżmy, że operator liniowy T 0 : X 0 Y, gdzie Y jest przestrzenią Banacha, jest ograniczony. Wtedy istnieje rozszerzenie operatora T 0 do operatora T ograniczonego z przestrzeni X w Y. Uwaga 2.7. Rozszerzenie T jest jednoznaczne. Przykład. Niech X 0 = L 1 (R) L 2 (R), X = L 2 (R) oraz Y = L 2 (R). Określamy operator T f = f, f X 0, gdzie f(λ) = f(x)e iλx dx. W przestrzeniach X i Y wprowadzamy normę 1/2 f 2 = f(x) 2 dx. Wtedy przestrzeń Y jest zupełna (por. dowód zupełności dla L 1 (0, 1)). Podprzestrzeń X 0 = L 1 (R) L 2 (R) jest gęsta w X = L 2 (R). Rzeczywiście dla f L 2 (R) określamy f n (x) = f(x)1i [ n,n] (x). Wtedy f n L 2 ([ n, n]) L 1 ([ n, n]) L 1 (R). Rzeczywiście n n f n (x) dx = f(x) dx f(x) 2 dx 1/2 n dx n n (2n) 1/2 n n n 1/2 1/2 f(x) 2 dx.

Operatory liniowe 21 Ponadto f n n f w L 2 (R). Istotnie f n f 2 2 = f n (x) f(x) 2 dx = x >n f(x) 2 dx n 0. Z równości Plancherela mamy T f 2 2 = f(λ) 2 dλ = 2π f(x) 2 dx = 2π f 2 2, dla f L 1 L 2. Zatem T f 2 = 2π f 2, dla f L 1 L 2. Z Twierdzenia 2.6 transformata Fouriera rozszerza się do operatora F : L 2 (R) L 2 (R). Operator F jest ograniczony i spełnia F(f) 2 = 2π f 2. Powracamy do dowodu Twierdzenia 2.6. Dowód. Niech x X. Z założenia istnieje ciąg elementów x n z X 0 zbieżny do x. Badamy ciąg T 0 x n. T 0 x n T 0 x m = T 0 (x n x m ) T 0 x n x m n,m 0. Zatem T 0 x n jest ciągiem Cauchy ego w Y. Ciąg T 0 x n jest więc zbieżny, np. do elementu y. Określmy operator T wzorem T x = y = lim n T 0 x n. Trzeba sprawdzić, że ta definicja jest poprawna, tzn. wynik y nie zależy od wyboru ciągu x n zbieżnego do x. Załóżmy, że inny ciąg x n jest zbieżny do x. Utwórzmy nowy ciąg x 1, x 1, x 2, x 2,.... Ten ciąg jest zbieżny do x. Zatem, podobnie jak dla ciągu x n, ciąg wartości T x 1, T x 1, T x 2, T x 2,... jest zbieżny. Ale podciąg wyrazów o numerach nieparzystych jest zbieżny do y, zatem również podciąg o numerach parzystych, czyli T x n też jest zbieżny do y. T jest rozszerzeniem operatora T 0, bo jeśli x 0 X 0 to możemy przyjąć x n x 0. Wtedy T x 0 = lim n T 0 x n = T 0 x 0. Sprawdzamy liniowość. Niech x n x oraz x n n x, gdzie x n, x n n X 0. Wtedy x n + x n n x + x. Zatem T (x + x ) = lim n T 0 (x n + x n) = lim n (T 0 x n + T 0 x n) = lim n T 0 x n + lim n T 0 x n = T x + T x

22 Analiza funkcjonalna I Sprawdzamy ograniczoność. T (λx) = lim n T 0 (λx n ) = λ lim n T 0 (x n ) = λt x. T x = lim n T 0 (x n ) = lim n T 0 x n T 0 lim n x n = T 0 x. Otrzymaliśmy T T 0. Ale oczywiście mamy T T 0 bo kres górny występujący w określeniu normy oblicza się po większym zbiorze elementów. Reasumując T = T 0. Uwaga 2.8. Stosowanie Twierdzenia 2.6 dla przestrzeni skończenie wymiarowych nie ma sensu, bo taka przestrzeń nie posiada właściwych gęstych podprzestrzeni liniowych. Definicja 2.9. Mówimy, że ograniczony operator liniowy T : X Y pomiędzy unormowanymi przestrzeniami liniowymi jest odwracalny, jeśli istnieje ograniczony operator liniowy S : Y X spełniający ST x = x, dla x X, T Sy = y, dla y Y. W szczególności odwzorowanie T musi być różnowartościowe i obraz przez T musi być równy Y. Uwaga 2.10. Jeśli T jest odwzorowaniem różnowartościowym i na, to istnieje odwzorowanie odwrotne S. Ponieważ T jest operatorem liniowym, to również S jest operatorem liniowym. W definicji odwracalności dodatkowo żądamy, aby odwzorowanie odwrotne było ograniczone (równoważnie: ciągłe). Przykład. Niech X = C n oraz Y = C m. Rozważmy operator liniowy T : X Y. Odwzorowanie T nie może być odwracalne, gdy n m, bo gdy m < n, to T nie jest różnowartościowe. Z kolei, gdy m > n, to odwzorowanie T nie jest na. Jeśli n = m, to z kursu algebry liniowej wiemy, że T jest różnowartościowe wtedy i tylko wtedy, gdy to odwzorowanie jest na, co z kolei jest równoważne warunkowi det T 0. Przykład. Niech X = Y = l 1, gdzie l 1 oznacza przestrzeń ciągów x = (x n ) bezwzględnie sumowalnych z normą x 1 = x n.

Operatory liniowe 23 Rozważamy operator Wtedy T (x 1, x 2,...) = (0, x 1, x 2,...). T x 1 = x 1. Zatem T = 1. Operator T jest różnowartościowy, ale nie jest odwracalny, bo ciąg (1, 0, 0,...) nie należy do obrazu operatora T. Rozważmy operator S(x 1, x 2,...) = (x 2, x 3,...). Mamy Sx 1 = x n x n = x 1. n=2 Zatem S 1. Tym razem operator S nie jest różnowartościowy, bo Obraz operatora S jest równy l 1, bo S(1, 0, 0,...) = (0, 0,...) = S(0, 0,...). S(0, x 1, x 2,...) = (x 1, x 2,...). Fakt 2.11. Załóżmy, że ograniczony operator liniowy T : X Y jest odwzorowaniem 1 1 i na. T jest odwracalny wtedy i tylko wtedy, gdy dla pewnej dodatniej liczby c spełniona jest nierówność T x c x, dla wszystkich x w X. Dowód. Oznaczmy symbolem S operator odwrotny do T.. Załóżmy, że T jest odwracalny. Wtedy S jest ograniczony, zatem Stąd x = ST x S T x. T x c x, c = 1 S.. Załóżmy, że dla c > mamy T x c x. Wtedy dla y Y mamy Po przekształceniu otrzymujemy To oznacza, że S jest ograniczony. y = T Sy c Sy. Sy 1 c y.

24 Analiza funkcjonalna I Przykład. Niech X = c oraz Y = c 0, gdzie c oznacza przestrzeń wszystkich zbieżnych ciągów, natomiast c 0 oznacza przestrzeń ciągów zbieżnych do zera. W obu przestrzeniach wprowadzamy normę x = sup x n, x = (x n ). n Dla x X niech x = lim n x n. Określmy operator T : X Y wzorem T (x 1, x 2,..., x n,...) = (x, x 1 x, x 2 x,..., x n x,...). Łatwo stwierdzić, że T jest operatorem liniowym z X do Y. Sprawdzimy ograniczoność. Mamy x x oraz Zatem x n x x n + x x + x = 2 x. T x 2 x, czyli T 2. Określmy operator S : Y X wzorem S(y 0, y 1, y 2,..., y n,...) = (y 1 + y 0, y 2 + y 0,..., y n + y 0,...). S jest operatorem liniowym z Y do X oraz Sy = sup n 1 y n + y 0 2 sup y n = 2 y. n 0 Ponadto ST x = x oraz T Sy = y. Zatem T jest operatorem odwracalnym. Definicja 2.12. Dwie unormowane przestrzenie liniowe X i Y nazywamy izomorficznymi, jeśli istnieje ograniczony i odwracalny operator liniowy z X na Y. Uwaga 2.13. Ostatni przykład pokazuje, że przestrzenie c i c 0 są izomorficzne. Można udowodnić, że te przestrzenie nie są izometrycznie izomorficzne, tzn. nie istnieje operator liniowy T z X na Y spełniający T x = x dla wszystkich x z X. Dla dwu unormowanych przestrzeni liniowych X i Y symbolem B(X, Y ) będziemy oznaczać zbiór wszystkich ograniczonych operatorów liniowych z X w Y. Dla T 1, T 2 B(X, Y ) określamy (T 1 + T 2 )x = T 1 x + T 2 x, (λt 1 )x = λ(t 1 x),, λ C.

Operatory liniowe 25 Wtedy operatory T 1 +T 2 oraz λt 1 są liniowe. Sprawdzamy ich ograniczoność. (T 1 + T 2 )x = T 1 x + T 2 x T 1 x + T 2 x Zatem T 1 + T 2 T 1 + T 2. Dalej W konsekwencji otrzymujemy T 1 x + T 2 x = ( T 1 + T 2 ) x. (λt 1 )x = λ(t 1 x) = λ T 1 x. λt 1 = sup (λt 1 )x = λ sup T 1 x = λ T 1. x 1 x 1 Z obliczeń wynika, że B(X, Y ) jest unormowaną przestrzenią liniową z normą operatorową T = sup x 1 T x. Przykład. Niech X = C n oraz Y = C m. Wtedy B(X, Y ) można utożsamić z macierzami zespolonymi wymiaru m n. Czyli przestrzeń B(X, Y ) jest izomorficzna z C mn. Twierdzenie 2.14. Jeśli Y jest przestrzenią Banacha, a X jest unormowaną przestrzenią unormowaną, to B(X, Y ) jest przestrzenią Banacha. Dowód. Trzeba pokazać zupełność przestrzeni B(X, Y ). Niech T n będzie ciągiem Cauchy ego w B(X, Y ), tzn. Dla x X mamy T n T m n,m 0. T n x T m x = (T n T m )x T n T m x. Zatem T n x jest ciągiem Cauchy ego w Y. Ponieważ Y jest przestrzenią Banacha, to ciąg T n x jest zbieżny. Oznaczmy T x = lim n T n x. Wtedy T odwzorowuje X w Y. Odwzorowanie T jest liniowe, bo T (λ 1 x 1 + λ 2 x 2 ) = lim n T n (λ 1 x 1 + λ 2 x 2 ) = lim n (λ 1 T n x 1 + λ 2 T n x 2 ) = λ 1 lim n T n x 1 + λ 2 lim n T n x 2 = λ 1 T x 1 + λ 2 T x 2.

26 Analiza funkcjonalna I Pozostaje pokazać, że T jest ograniczony oraz, że T n T 0. Ustalmy n liczbę ε > 0. Z założenia istnieje liczba N taka, że dla n, m N mamy T n T m < ε. Niech n N. Wtedy (T n T )x = T n x T x = lim m T n x T m x. Z drugiej strony jeśli m N, to Zatem czyli T n x T m x = (T n T m )x T n T m x ε x. (T n T )x ε x, n N. (2.1) T n T ε dla n N. W szczególności operator T N T jest ograniczony. Ponieważ T = T N (T N T ), to również T jest ograniczony. Ponadto z (2.1) otrzymujemy, że T n T w normie operatorowej. n Wniosek 2.15. Jeśli Y = C (lub R), to B(X, Y ) jest przestrzenią Banacha. 3 Przestrzenie Hilberta 3.1 Podstawowe własności Będziemy rozważać zespolone przestrzenie liniowe X z iloczynem skalarnym x, y. Z kursu algebry liniowej wiemy, że wyrażenie x = x, x 1/2 jest normą. Iloczyn skalarny można wyrazić poprzez normę wzorem polaryzacyjnym. Spełniona jest nierówność Schwarza x, y = 1 3 x + i k y 2 i k. 4 k=0 x, y x y. Norma pochodząca od iloczynu skalarnego spełnia równość równoległoboku. x + y 2 + x y 2 = 2 x 2 + 2 y 2.

Przestrzenie Hilberta 27 Przypomnimy wzór Z kursu algebry liniowej wiemy, że x + y 2 = x 2 + y 2 + 2Re x, y. Twierdzenie 3.1 (Jordan, von Neumann). Norma przestrzeni liniowej pochodzi od iloczynu skalarnego wtedy i tylko wtedy, gdy spełniony jest warunek równoległoboku. Przykłady. n (1) X = C n x, y = x k y k k=1 (2) X = l 2 x, y = x k y k k=1 (3) X = L 2 (0, 2π) f, g = 1 2π f(x)g(x) dx 2π 0 Definicja 3.2. Przestrzeń zupełną z iloczynem skalarnym nazywamy przestrzenią Hilberta. Lemat 3.3 (o najlepszej aproksymacji). Niech M będzie podprzestrzenią domkniętą przestrzeni Hilberta H. Wtedy dla x H istnieje jedyny element x 0 M spełniający warunek x x 0 = d(x, M) = inf x v. v M Dowód. Niech d = d(x, M). Wtedy istnieje element v n M taki, że d x v n d + 1 n. Pokażemy, że ciąg v n jest zbieżny. Korzystając z równości równoległoboku mamy v n v m 2 = (x v m ) (x v n ) 2 = 2 x v m 2 + 2 x v n 2 (x v m ) + (x v n ) 2 = 2 x v m 2 + 2 x v n 2 4 (x 1 2 (v m + v n ) 2 ( 2 d + m) 1 2 ( + 2 d + 1 ) 2 4d 2 n,m 0. n

28 Analiza funkcjonalna I Zatem v n jest ciągiem Cauchy ego. Niech v 0 = lim n v n. Wtedy x v 0 = lim n x v n = d. Ponadto v 0 M, bo M jest domkniętą podprzestrzenią. Z wcześniejszego rozumowania wynika, że element v 0 jest jedyny. Istotnie, załóżmy, że również ṽ 0 M spełnia x ṽ 0 = d. Rozważmy ciąg v n postaci v 0, ṽ 0, v 0, ṽ 0,... Z obliczeń otzrymujemy, że taki ciąg jest zbieżny. Zatem ṽ 0 = v 0. Definicja 3.4. Niech M będzie podzbiorem przestrzeni H. Określamy dopełnienie ortogonalne M wzorem M = {x H : x, y = 0, dla wszystkich y M}. Z własności iloczynu skalarnego wynika, że zbiór M jest podprzestrzenią liniową. Co więcej, M jest domknięty, bo jeśli x n x oraz x n M, to dla y M mamy x, y = x, y x n, y = x x n, y x x n y n 0. Zatem x, y = 0 dla y M, czyli x M. Twierdzenie 3.5. Niech M będzie domkniętą podprzestrzenią liniową w H. Wtedy każdy element x w H ma jednoznaczne przedstawienie w postaci Tzn. H = M M. x = x 0 + x 1, gdzie x 0 M, x 1 M. Dowód. Mamy M M = {0}, bo jeśli x M M, to x, x = 0, czyli x = 0. Stąd wynika jednoznaczność rozkładu. Rzeczywiście jeśli x 0 + x 1 = x 0 + x 1, dla x 0, x 0 M oraz x 1, x 1 M, to element x 0 x 0 = x 1 x 1 leży w M M. Stąd x 0 = x 0 i x 1 = x 1. Niech x H. Z poprzedniego lematu istnieje element x 0 M taki, że d = x x 0 = d(x, M). Niech x 1 = x x 0. Wtedy x = x 0 + x 1. Pokażemy, że x 1 M. Niech 0 y M. Trzeba udowodnić, że x 1, y = 0. Dla t C mamy d 2 x (x 0 + ty) 2 = (x x 0 ) ty 2 = x x 0 2 + t 2 y 2 2Re x x 0, ty = d 2 + t 2 y 2 2Re t x 1, y

Przestrzenie Hilberta 29 Podstawmy Wtedy t = x 1, y y 2. Zatem x 1, y = 0. d 2 d 2 + x 1, y 2 y 2 2 x 1, y 2 = d 2 x 1, y 2 y 4 y 2 y 2 Uwaga 3.6. Dla x H element x 0 nazywamy rzutem ortogonalnym na podprzestrzeń M. W przestrzeni z iloczynem skalarnym elementy x, y nazywamy ortogonalnymi, jeśli x, y = 0. Stosujemy wtedy zapis x y. Rodzinę elementów o normie jeden i parami ortogonalnych nazywamy układem ortonormalnym. Maksymalny, ze względu na zawieranie, układ ortonormalny nazywamy bazą ortonormalną. Z kursu algebry liniowej wiemy, że Twierdzenie 3.7. Każda przestrzeń liniowa z iloczynem skalarnym posiada bazę ortonormalną. Uwaga 3.8. Baza ortonormalna nie jest bazą przestrzeni liniowej, tzn. nie jest maksymalnym układem elementów liniowo niezależnych chyba, że przestrzeń ma skończony wymiar. Lemat 3.9. Baza ortonormalna w ośrodkowej przestrzeni Hilberta jest przeliczalna. Dowód. Niech {e i } i I będzie bazą ortonormalną. Wtedy dla i, j I takich, że i j mamy e i e j 2 = e i 2 + e j 2 = 2. Czyli e i e j = 2. Zatem kule {B(e i, 1 2 )} i I są parami rozłączne. Z ośrodkowości ilość tych kul jest przeliczalna. Tzn. zbiór I jest przeliczalny. Twierdzenie 3.10 (Nierówność Bessela). Jeśli e 1, e 2,..., e n ortonormalnym w przestrzeni X, to dla x X mamy jest układem n x, e j 2 x 2. j=1

30 Analiza funkcjonalna I Dowód. Użyjemy prostego faktu, że jeśli elementy x 1, x 2,..., x n są parami ortogonalne, to x 1 + x 2 +..., +x n 2 = x 1 2 + x 2 2 +... + x n 2. Rozważmy Wtedy dla 1 k n mamy n s n = x, e j e j. j=1 x s n, e k = x, e k s n, e k = x, e k x, e k e k, e k = 0. To oznacza, że x s n e 1, e 2,..., e n. Zatem x s n s n. Otrzymujemy zatem n n x 2 = x s n 2 + s n 2 = x s n 2 + x, e j 2 x, e j 2. j=1 j=1 Lemat 3.11. Jeśli x, y = x, y dla wszystkich y X, to x = x. Dowód. Z założenia x x, y = 0 dla y X. W szczególności dla y := x x otrzymujemy x x 2 = 0, czyli x = x. Lemat 3.12. x = sup x, y. y 1 Dowód. Możemy założyć, że x 0. Z nierówności Schwarza mamy sup x, y x. y 1 Niech y 0 = x/ x. Wtedy y 0 = 1 oraz x, y 0 = x. Zatem sup x, y x. y 1 Twierdzenie 3.13. Załóżmy, że przestrzeń Hilberta H posiada przeliczalną bazę ortonormalną e 1, e 2,..., e n,.... Wtedy dla każdego elementu x H mamy

Przestrzenie Hilberta 31 (i) x = x, e n e n. (ii) x 2 = x, e n 2. Dowód. Ustalmy liczbę n. Z nierówności Bessela mamy N x, e n 2 x 2, dla dowolnej liczby N. Przechodząc do granicy N otrzymujemy x, e n 2 x 2. Zbadamy zbieżność szeregu w (i). W tym celu sprawdzimy warunek Cauchy ego dla ciągu sum częściowych s n = x, e j e j. Niech n > m. n Wtedy s n s m 2 = n j=m+1 x, e j e j 2 = n j=m+1 j=1 x, e j 2 Zatem szereg jest zbieżny. Oznaczmy x = x, e n e n. Chcemy pokazać, że x = x. Mamy j=m+1 x x, e k = x, e k x, e k = x, e k lim n s n, e k x, e j 2 m 0. = x, e k x, e k e k, e k = 0. Czyli x x e k dla każdego k. Ponieważ {e k } jest maksymalnym układem ortogonalnym, to x x = 0. To dowodzi (i). Przechodząc do granicy n we wzorze N x 2 = x s n 2 + x, e n 2 i korzystając z s n x otrzymujemy (ii).

32 Analiza funkcjonalna I Uwaga 3.14. Z dowodu twierdzenia wynika, że warunki (i) i (ii) są równoważne dla pojedynczego elementu x. Wniosek 3.15. Przestrzeń Hilberta z przeliczalną bazą ortonormalną jest ośrodkowa. Dowód. Każdy element przestrzeni jest granicą sum częściowych s n, które są kombinacjami liniowymi elementów bazy ortonormalnej. Tzn. skończone kombinacje liniowe elementów bazy e 1, e 2,... leżą gęsto w H. Z kolei każda taka skończona kombinacja liniowa jest granicą kombinacji liniowych ze współczynnikami z przeliczalnego zbioru Q + iq. Ostatecznie kombinacje liniowe o współczynnikach z Q + iq leżą gęsto w H. Takich kombinacji jest tylko przeliczalnie wiele. Twierdzenie 3.16 (Równość Parsevala). Dla przestrzeni Hilberta z przeliczalną bazą ortonormalną (e n ) mamy x, y = x, e n y, e n. Dowód. Niech x n = n j=1 x, e j e j oraz y n = n j=1 y, e j e j. Wiemy, że x n i y n n y. Zatem (por. Zadanie 49) n x x, y = lim n x n, y n = lim n n j=1 x, e j y, e j Wniosek 3.17. Niech M będzie domkniętą podprzestrzenią przestrzeni Hilberta H. Załóżmy, że układ (e n ) N, gdzie N N { }, jest bazą ortonormalną w M. Dla każdego elementu x w H jego rzut ortogonalny na M wyraża się wzorem N P M x = x, e n e n. Dowód. Z założenia P M x leży w M. Zatem z Twierdzenia 3.13 zastosowanego do M oraz z Twierdzenia 3.5 mamy N N P M x = P M x, e n e n = x, e n e n.

Przestrzenie Hilberta 33 Twierdzenie 3.18. Każda ośrodkowa przestrzeń Hilberta nieskończonego wymiaru jest izometrycznie izomorficzna z l 2. Dowód. Z Lematu 3.9 przestrzeń H posiada przeliczalną bazę ortonormalną {e n }. Rozważmy odwzorowanie U : H l 2 określone wzorem Ux = { x, e n }. U jest odwzorowaniem liniowym. Ponadto z Twierdzenia 3.13(ii) wnosimy, że Ux l 2 = x, tzn. U jest izometrią. W szczególności U jest różnowartościowe. Pozostaje sprawdzić, że U jest na. Niech {a n } l 2. Wtedy szereg a n e n jest zbieżny w H, bo jego sumy częściowe spełniają warunek Cauchy ego. Oznaczmy x = a n e n. Wtedy x, e n = a n. Czyli T x = {a n }. Przykład. Rozważamy H = L 2 (0, 2π). Niech e n (t) = e int, gdzie n Z. Wiadomo z kursu szeregów Fouriera, że {e n } n= jest bazą ortonormalną w H. Ponadto Przyporządkowanie f, e n = 1 2π 2π 0 f(t)e int dt = f(n). f { f(n)} n= jest izometrycznym izomorfizmem z H na l 2. 3.2 Proces ortogonalizacji Grama-Schmidta Niech {u n } N będzie układem liniowo niezależnym w przestrzeni H. Naszym celem jest skonstruowanie układu ortonormalnego {v n } N o własności L n := lin {u 1, u 2,..., u n } = lin {v 1, v 2,..., v n } oraz v n, u n > 0 dla wszystkich n. Określamy v 1 = u 1 / u 1. Załóżmy, że elementy v 1, v 2,..., v n 1 zostały już skonstruowane. Aby określić v n rozważamy podprzestrzeń L n 1 = lin {u 1, u 2,..., u n 1 }. Niech u n oznacza rzut ortogonalny elementu u n na L n 1. Wtedy u n u n, bo u n / L n 1. Określamy v n = u n u n u n u n.

34 Analiza funkcjonalna I Z konstrukcji otrzymujemy v n L n oraz v n L n 1. Zatem dla m < n mamy v m L m L n 1 oraz v n L n 1. To oznacza, że v m v n czyli otrzymaliśmy układ ortonormalny. Dalej v n, u n = u n u n, u n u n u n = u n u n, u n u n u n u n = u n u n > 0. Uwaga 3.19. Elementy v n można określić bezpośrednim wzorem wyznacznikowym, w którym występują iloczyny skalarne u j, u k (por. Zadanie 65). Funkcjonały liniowe Definicja 3.20. Przestrzeń B(H, C) nazywamy przestrzenią ograniczonych funkcjonałów liniowych na przestrzeni Hilberta H. Przykład. Dla ustalonego elementu y H określamy f(x) = x, y dla x H. Wtedy f(x) = x, y y x. Ponadto z Lematu 3.12 mamy f = sup f(x) = y. x 1 Twierdzenie 3.21 (Lemat Riesza). Dla każdego ograniczonego funkcjonału liniowego f : H C istnieje jedyny element y H spełniający f(x) = x, y dla wszystkich x H. Dowód. Zbiór N = {x H f(x) = 0} jest domkniętą podprzestrzenią liniową w H. Jeśli N = H, to możemy przyjąć y = 0. Załóżmy, że N H. Zatem z Twierdzenia 3.5 istnieje element y 0 0 taki, że y 0 N. Ponadto f(y 0 ) 0, bo y 0 / N. Niech y 1 = y 0 /f(y 0 ). Wtedy f(y 1 ) = 1 oraz y 1 N. Dla x H mamy x = (x f(x)y 1 ) + f(x)y 1. (3.1) Pierwszy składnik rozkładu należy do N a drugi do N. Mnożąc skalarnie obie strony (3.1) przez y 1 N otrzymamy x, y 1 = f(x)y 1, y 1 = f(x) y 1 2. Zatem f(x) = x, y 1 y 1 2.

Przestrzenie Hilberta 35 Możemy więc określić y = y 1 / y 1 2. Jedyność elementu y wynika z Lematu 3.11. Wniosek 3.22. Przestrzeń B(H, C) można utożsamić z H. Przyporządkowanie H y f y B(H, C), gdzie f y (x) = x, y jest antyliniowe, tzn. f y1 +y 2 = f y1 + f y2, f λy = λf y. Definicja 3.23. Formą półtoraliniową F na H H nazywamy odwzorowanie F : H H C spełniające (i) F (λx + µy, z) = λf (x, z) + µf (y, z). (ii) F (z, λx + µy) = λf (z, x) + µf (z, y). Mówimy, że forma F jest ograniczona, jeśli dla pewnej stałej c mamy F (x, y) c x y, x, y H. Przykład. Dla H = C n każda forma półtoraliniowa ma postać F (x, y) = n i,j=1 a ij x i y j. Rzeczywiście ( n ) n n F (x, y) = F x i e i, y j e i = F (e i, e j ) x i y j, i=1 i=1 i,j=1 zatem a ij Schwarza = F (e i, e j ). Forma F (x, y) jest ograniczona, bo z nierówności n n F (x, y) = a ij (x i y j ) a ij 1/2 1/2 n 2 x i 2 y j 2 i,j=1 i,j=1 i,j=1 1/2 n = a ij 2 x y. i,j=1

36 Analiza funkcjonalna I Przykład. Niech A : H H będzie operatorem ograniczonym. Określmy F (x, y) = x, Ay. Wtedy F jest ograniczoną formą półtoraliniową, bo F (x, y) = x, Ay x Ay A x y. Twierdzenie 3.24. Każda ograniczona forma półtoraliniowa na H ma postać F (x, y) = x, Ay dla pewnego ograniczonego operatora liniowego A : H H. Operator A jest jedyny. Dowód. Ustalmy y H i rozważmy odwzorowanie ϕ y H x ϕy F (x, y) C. Wtedy ϕ y jest funkcjonałem liniowym. Ponadto ϕ y (x) = F (x, y) c y x. Zatem ϕ y jest ograniczony oraz ϕ y c y. Z lematu Riesza istnieje jedyny wektor Ay taki, że F (x, y) = ϕ y (x) = x, Ay. Pokażemy, że przyporządkowanie y Ay jest liniowe. Mamy x, A(y 1 + y 2 ) = F (x, y 1 + y 2 ) = F (x, y 1 ) + F (x, y 2 ) = x, Ay 1 + x, Ay 2 = x, Ay 1 + Ay 2 Zatem A(y 1 + y 2 ) = Ay 1 + Ay 2. Podobnie pokazujemy, że A(λy) = λay. Pozostaje sprawdzić ograniczoność operatora A. Mamy Ay = sup x, Ay = sup F (x, y) sup (c x y ) = c y x 1 x 1 x 1 Zatem A c. Wniosek 3.25. Dla ograniczonego operatora liniowego A : H H istnieje jedyny operator A : H H spełniający Ax, y = x, A y x, y H. Operator A nazywamy operatorem sprzężonym do operatora A.

Przestrzenie sprzężone 37 Dowód. Funkcja F (x, y) = Ax, y jest ograniczoną formą półtoraliniową. Zatem istnieje ograniczony operator liniowy A taki, że Ax, y = F (x, y) = x, A y. Uwaga 3.26. Jeśli A 1 x, y = A 2 x, y, to A 1 = A 2. Przykład. Niech H = C n oraz A : C n C n, będzie odwzorowaniem liniowym zadanym macierzą (a ij ) gdzie a ij = Ae j, e i. Wtedy Z drugiej strony mamy n n A x, y = x, Ay = e j A, e i x j y i. i=1 j=1 n n A x, y = A e j, e i x j y i. i=1 j=1 Ponieważ to A e j, e i = e j, Ae i, a ij = a ji, czyli A = A T, gdzie T oznacza transpozycję macierzy. 4 Przestrzenie sprzężone Definicja 4.1. Przestrzeń B(X, C) (czyli przestrzeń ograniczonych funkcjonałów liniowych, nazywamy przestrzenią sprzężoną do przestrzeni unormowanej X i oznaczamy symbolem X. Przykład. Z lematu Riesza mamy H = H. Istotnie każdy funkcjonał liniowy na H ma postać ϕ y (x) = x, y dla pewnego elementu y H. Przyporządkowanie H ϕ y H spełnia ϕ y1 +y 2 = ϕ y1 + ϕ y2, ϕ λy = λϕ y.

38 Analiza funkcjonalna I Przykład. Niech X = c 0 oznacza przestrzeń ciągów zbieżnych do zera z normą supremum wartości bezwzględnej wyrazów. Wykażemy, że X = l 1. Niech Λ oznacza funkcjonał z X. Każdy element x z c 0 zapisujemy w postaci gdzie x = x n e n, x = (x 1, x 2,..., x n,...), e n = (0,..., 0, 1 n, 0,...). Szereg jest zbieżny, bo ogon szeregu dąży do zera w normie przestrzeni c 0. Zatem ( ) Λ(x) = Λ x n e n = Λ(x n e n ) = x n Λ(e n ). Oznaczmy λ n = Λ(e n ). Wtedy Λ(x) = λ n x n, tzn. każdy funkcjonał liniowy na c 0 ma postać jak wyżej dla pewnego ciągu λ = {λ n }. Załóżmy, że λ l 1. Wtedy dla x c 0 mamy Λ(x) λ n x n sup x n n λ n = λ 1 x. Zatem Λ X oraz Λ λ 1. Odwrotnie, załóżmy, że Λ X. Chcemy pokazać, że ciąg λ n = Λ(e n ) leży w l 1. Dla ustalonej naturalnej liczby N określmy ciąg f N = (sgn (λ 1 ), sgn (λ 2 ),..., sgn (λ N ), 0, 0,...) c 0. Ponieważ f N 1, to N λ n = Λ(f N ) Λ f N Λ. Przechodząc do granicy z N otrzymujemy λ 1 = λ n Λ. Z wcześniejszego rozumowania wynika równość Λ = λ 1.

Przestrzenie sprzężone 39 Przykład. Można udowodnić, że dla 1 < p < mamy (l p ) = l q, gdzie q = p/(p 1) oraz (l 1 ) = l. Przeprowadzimy szkic dowodu dla 1 < p <. Ponieważ dla x l p szereg x = x n e n jest zbieżny w l p, to dla funkcjonału Λ (l p ) mamy Λ(x) = Λ(e n )x n. Załóżmy, że ciąg λ n = Λ(e n ) leży w l q. Wtedy z nierówności Höldera mamy Λ(x) = λ n x n λ n x n ( ) 1/q ( ) λ n q 1/p x n p = λ q x p. Zatem Λ λ q. Odwrotnie, załóżmy, że Λ (l p ). Pokażemy, że λ l q oraz λ q Λ. W tym celu rozważmy ciąg f N = (sgn (λ 1 ) λ 1 q 1, sgn (λ 2 ) λ 2 q 1,..., sgn (λ N ) λ N q 1, 0, 0,...) l p. Mamy ( N ) N N Λ(f N ) = Λ sgn (λ n ) λ n q 1 e n = sgn (λ n ) λ n q 1 Λ(e n ) = λ n q. (4.1) Dalej obliczamy N N f N p p = λ n (q 1)p = λ n q. (4.2) Z ograniczoności funkcjonału Λ mamy Λ(f N ) Λ f N p. Na podstawie (4.1) i (4.2) otrzymujemy ( N N ) 1/p λ n q Λ λ n q. Po przekształceniu mamy Ostatecznie λ q Λ. ( N ) 1/q λ n q Λ.

40 Analiza funkcjonalna I 5 Twierdzenia Hahna-Banacha 5.1 Przedłużanie funkcjonałów liniowych Załóżmy, że Y jest podprzestrzenią liniową przestrzeni liniowej X. Na podprzestrzeni Y mamy określony funkcjonał liniowy λ. Naszym celem jest przedłużenie go do funkcjonału liniowego Λ określonego na przestrzeni X. Będziemy chcieli zachować pewne własności funkcjonału λ. Definicja 5.1. Funkcję p : X R nazywamy wypukłą, jeśli p(αx + βy) αp(x) + βp(y) dla x, y X, α, β 0, α + β = 1. Przykład. Jeśli X jest unormowaną przestrzenią liniową, to p(x) = x jest funkcją wypukłą. Twierdzenie 5.2 (Hahn-Banach). Niech X będzie rzeczywistą przestrzenią liniową oraz p(x) będzie funkcją wypukłą na X. Załóżmy, że λ jest rzeczywistym funkcjonałem liniowym określonym na podprzestrzeni liniowej Y X, spełniającym λ(y) p(y), y Y. Wtedy istnieje funkcjonał liniowy Λ określony na X i spełniający Λ(y) = λ(y), y Y, Λ(x) p(x), x X. Dowód. Załóżmy, że Y X. Wybierzmy x 0 X\Y. Wtedy x 0 0. Określmy przestrzeń X 0 = lin{x 0, Y } = {αx 0 + y : y Y, α R}. Każdy element z X 0 ma jednoznaczny zapis w postaci αx 0 + y. Rzeczywiście, jeśli αx 0 + y = α x 0 + y, to (α α )x 0 = y y Y. Ponieważ x 0 / Y, to α = α i wtedy y = y. Niech λ oznacza rozszerzenie funkcjonału λ na X 0. Funkcjonał λ jest wyznaczony przez liczbę λ(x 0 ), bo λ(αx 0 + y) = α λ(x 0 ) + λ(y) = α λ(x 0 ) + λ(y).

Twierdzenia Hahna-Banacha 41 Chcemy dobrać wartość λ(x 0 ) tak, aby spełniony był warunek λ(αx 0 + y) p(αx 0 + y), α R, y Y. Czyli chcemy, aby α λ(x 0 ) + λ(y) p(αx 0 + y). Dla α = 0 warunek jest spełniony z założenia. Rozważmy α 0. Dla α > 0 musi zachodzić λ(x 0 ) 1 α [p(αx 0 + y) λ(y)]. Z kolei dla α = β, β > 0 musi być spełniony warunek λ(x 0 ) 1 β [λ(y) p(y βx 0)]. Obie nierówności muszą być spełnione dla wszystkich y Y oraz wszystkich dodatnich liczb α i β zatem liczba λ(x 0 ) musi spełniać warunek sup β>0 sup y Y 1 β [λ(y) p(y βx 0)] λ(x 0 ) inf α>0 inf y Y 1 α [p(αx 0 + y ) λ(y )]. (5.1) Liczba λ(x 0 ) da się znaleźć tylko wtedy, gdy liczba po lewej stronie (5.1) jest nie większa niż liczba po prawej stronie. W tym celu wystarczy udowodnić, że dla dowolnych liczb α, β > 0 oraz dowolnych y, y Y mamy 1 β [λ(y) p(y βx 0)] 1 α [p(αx 0 + y ) λ(y )]. Mnożąc obie strony przez αβ, odpowiednio przekształcając, i wreszcie dzieląc obie strony przez α + β otrzymamy równoważną postać pożądanej nierówności: λ ( α α + β y + β ) α + β y α α + β p(y βx 0 ) + Niech y 1 = y βx 0 oraz y 2 = αx 0 + y. Wtedy α α + β y 1 + β α + β y 2 = α α + β y + β α + β p(αx 0 + y). (5.2) β α + β y.

42 Analiza funkcjonalna I Zatem λ ( α α + β y + p β ) ( α α + β y = λ α + β y 1 + ( α α + β y 1 + β ) α + β y 2 co kończy dowód pożądanej nierówności (5.2). β ) α + β y 2 α α + β p(y 1) + β α + β p(y 2) = α α + β p(y βx 0 ) + β α + β p(αx 0 + y), Uwaga 5.3. Jeśli skrajne liczby w nierówności (5.1) są równe, to rozszerzenie λ jest jednoznaczne. W przeciwnym wypadku rozszerzenie nie jest jednoznaczne. Niech E oznacza rodzinę wszystkich rozszerzeń ( λ, X) funkcjonału (λ, Y ) spełniających warunek λ(x) p(x), x X, gdzie X jest podprzestrzenią X zawierającą Y. Rodzina takich rozszerzeń jest częściowo uporządkowana: ( λ 1, X 1 ) ( λ 2, X 2 ) jeśli X 1 X 2 oraz λ 2 (x) = λ 1 (x) dla x X 1. Pokażemy, że każdy łańcuch w E (czyli rodzina liniowo uporządkowana) jest ograniczony. Niech ( λ i, X i ) i I będzie łańcuchem. Określmy X = i I X i. Wtedy X jest przestrzenią liniową. Określamy funkcjonał λ na X następująco: λ(x) = λ i (x), jeśli x X i. Definicja jest poprawna, bo jeśli x X i X j, to X i X j lub X j X i. W każdym przypadku λ i (x) = λ j (x). Nietrudno sprawdzić, że λ jest funkcjonałem liniowym na X. Ponadto λ(x) = λ i (x) p(x), dla x X i. Z konstrukcji rozszerzenie ( λ, X) jest większe niż ( λ i, X i ) dla wszystkich i I. Zatem z lematu Kuratowskiego-Zorna rodzina E zawiera element maksymalny ( λ, X). Jeśli X X, to z pierwszej części dowodu można rozszerzyć λ o jeden wymiar, co przeczyłoby maksymalności rozszerzenia ( λ, X). Zatem X = X.

Twierdzenia Hahna-Banacha 43 Definicja 5.4. Mówimy, że funkcja p : X R jest absolutnie wypukła jeśli p(αx + βy) α p(x) + β p(y) dla α, β C, α + β = 1, x, y X. Uwaga 5.5. Warunek dotyczy przestrzeni linowych nad C i jest mocniejszy od wypukłości. Norma p(x) = x jest absolutnie wypukła. Twierdzenie 5.6 (Hahn-Banach). Niech λ będzie funkcjonałem liniowym na podprzestrzeni Y zespolonej przestrzeni liniowej X. Załóżmy, że λ spełnia λ(y) p(y), y Y dla pewnej absolutnie wypukłej funkcji p : X R +. Wtedy istnieje funkcjonał liniowy Λ : X C spełniający Λ(y) = λ(y), y Y, Λ(x) p(x), x X. Dowód. Niech l(y) = Re λ(y). Wtedy l(y) jest rzeczywistym funkcjonałem liniowym na Y. Ponadto l(y) = Re λ(y) l(y) p(y), y Y. Zatem z poprzedniego twierdzenia istnieje funkcjonał rzeczywisty L określony na X i spełniający Zauważmy, że L(y) = l(y), y Y, L(x) p(x), x X. l(iy) = Re λ(iy) = Re [iλ(y)] = Im λ(y). Zatem Określmy λ(y) = Re λ(y) + iim λ(y) = l(y) il(iy). (5.3) Λ(x) = L(x) il(ix), x X. (5.4)

44 Analiza funkcjonalna I Wtedy Λ jest funkcjonałem liniowym nad R określonym na X, bo L jest takim funkcjonałem. Dalej Λ(ix) = L(ix) il( x) = L(ix) + il(x) = i[l(x) il(ix)] = iλ(x). Zatem Λ jest funkcjonałem liniowym nad C. Ze wzorów (5.3) i (5.4) i z faktu, że L jest rozszerzeniem l wynika, że Λ(y) = λ(y), y Y. Zapiszmy Λ(x) = Λ(x) e iθ. Wtedy Λ(x) = e iθ Λ(x) = Λ(e iθ x) = L(e iθ x) p(e iθ x) = p(x). Ostatnia równość wynika z absolutnej wypukłości funkcji p. Wystarczy przyjąć β = 0. Wniosek 5.7. Załóżmy, że Y jest podprzestrzenią liniową przestrzeni unormowanej X, oraz λ jest ograniczonym funkcjonałem liniowym na Y. Wtedy istnieje ograniczony funkcjonał liniowy Λ określony na X i spełniający Λ(y) = λ(y), y Y, Λ X = λ Y. Dowód. Określmy p(x) = λ Y x. Wtedy p(x) jest funkcją absolutnie wypukłą na X. Ponadto λ(y) λ Y y = p(y), y Y. Z poprzedniego twierdzenia istnieje funkcjonał liniowy Λ : X C spełniający Λ(y) = λ(y), y Y, Λ(x) p(x) = λ Y x. Zatem Λ X λ Y. Ale Λ X λ Y, bo Λ jest rozszerzeniem funkcjonału λ.