Professional Documents
Culture Documents
Debreceni Egyetem
Természettudományi Kar
Losonczi László
Funkcionálanalízis
2007
Tartalomjegyzék
0.1. Jelölések . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
0.2. Ábrák . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1. Metrikus terek 8
1.1. Metrikus tér fogalma, példák . . . . . . . . . . . . . . . . . . . . . 8
1.2. A Hölder és Minkowski egyenlőtlenség . . . . . . . . . . . . . . . 12
1.3. Konvergencia speciális terekben . . . . . . . . . . . . . . . . . . . 18
1.4. Topológikus fogalmak metrikus terekben . . . . . . . . . . . . . . 21
1.5. Teljes metrikus terek . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.6. A Banach-féle fixponttétel . . . . . . . . . . . . . . . . . . . . . . 27
1.7. A Banach-féle fixponttétel alkalmazásai . . . . . . . . . . . . . . . 29
1.8. A Baire-féle kategória tétel . . . . . . . . . . . . . . . . . . . . . . 35
1.9. A Baire tétel egy alkalmazása . . . . . . . . . . . . . . . . . . . . 38
1.10. Kompaktság . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2. Lineáris terek 45
2.1. Lineáris terek, alapfogalmak . . . . . . . . . . . . . . . . . . . . . 45
2.2. A Hahn-Banach tétel . . . . . . . . . . . . . . . . . . . . . . . . . 53
2.3. A Hahn-Banach tétel alkalmazásai . . . . . . . . . . . . . . . . . . 58
2
TARTALOMJEGYZÉK 3
6. Hilbert-terek 150
6.1. Hilbert-tér fogalma, példák . . . . . . . . . . . . . . . . . . . . . . 150
6.2. Ortogonális felbontás . . . . . . . . . . . . . . . . . . . . . . . . . 154
6.3. Ortonormált rendszerek . . . . . . . . . . . . . . . . . . . . . . . 156
6.4. Ortogonális sorok . . . . . . . . . . . . . . . . . . . . . . . . . . . 158
6.5. Példák Fourier-sorra . . . . . . . . . . . . . . . . . . . . . . . . . 162
6.6. Szeparábilis Hilbert-terek . . . . . . . . . . . . . . . . . . . . . . . 164
6.7. Nem szeparábilis Hilbert-terek . . . . . . . . . . . . . . . . . . . . 165
6.8. Riesz-tétel, adjungált operátor . . . . . . . . . . . . . . . . . . . . 167
7. Banach-algebrák 172
7.1. Banach-algebra fogalma, példák . . . . . . . . . . . . . . . . . . . 172
7.2. Reguláris elemek, spektrum, rezolvens halmaz . . . . . . . . . . . 175
7.3. Liouville tétel, Gelfand-Mazur tétel . . . . . . . . . . . . . . . . . 177
7.4. A spektrálsugár . . . . . . . . . . . . . . . . . . . . . . . . . . . . 179
7.5. Hatványsorok . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 182
7.6. Lineáris differenciálegyenletrendszerek . . . . . . . . . . . . . . . . 184
7.7. Ideálok és szinguláris elemek . . . . . . . . . . . . . . . . . . . . . 187
7.8. Karakterek és ideálok, Wiener tétel . . . . . . . . . . . . . . . . . 190
7.9. Gelfand reprezentáció . . . . . . . . . . . . . . . . . . . . . . . . . 193
7.10. Gelfand-Naimark tétel . . . . . . . . . . . . . . . . . . . . . . . . 196
7.11. Rész B ∗ -algebrák . . . . . . . . . . . . . . . . . . . . . . . . . . . 198
4 TARTALOMJEGYZÉK
5
6 TARTALOMJEGYZÉK
1. ábra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2. ábra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
3. ábra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
4. ábra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
7
1. fejezet
Metrikus terek
sokszög-egyenlőtlenséget.
8
1.1. METRIKUS TÉR FOGALMA, PÉLDÁK 9
Speciálisan n = 2-re
%(x, y) ≤ %(x, z1 ) + %(z1 , z2 ) + %(z2 , y),
vagy
%(x, y) − %(z1 , z2 ) ≤ %(x, z1 ) + %(z2 , y).
Az x és z1 valamint y és z2 szerepét megcserélve az egyenlőtlenség jobb oldala
nem változik, így
%(z1 , z2 ) − %(x, y) ≤ %(x, z1 ) + %(z2 , y).
Az utolsó két egyenlőségből adódik, hogy
|%(x, y) − %(z1 , z2 )| ≤ %(x, z1 ) + %(y, z2 ),
melyet négyszög-egyenlőtlenségnek fogunk nevezni.
Ugyanazon halmazon többféle metrika is értelmezhető. Ezért, ha a félreértés
veszélye áll fenn, akkor az X metrikus teret a % metrikával (X, %)-val fogjuk je-
lölni.
A következőkben R és C a valós és a komplex számok halmazát jelölik.
Tegyük fel, hogy X egy nem üres halmaz és a % : X × X → R függvény csak a
(2), (3) tulajdonságokat és az (1) első részét (%(x, y) ≥ 0 és %(x, x) = 0 bármely
x, y ∈ X-re) teljesíti. Definiáljuk a ≡ relációt a következőképpen
x ≡ y , ha %(x, y) = 0 (x, y ∈ X).
% tulajdonságai miatt ≡ ekvivalencia reláció: reflexív, szimmetrikus és tranzi-
tív, így az X halmazon egy osztályozást indukál, oly módon, hogy ekvivalens
elemek azonos osztályba kerülnek. Jelölje x̃ az x elem osztályát, azaz legyen
x̃ = {y ∈ X | %(x, y) = 0}, és jelölje X̃ az összes osztályok halmazát. Könnyű
belátni, hogy X̃-on a
%̃(x̃, ỹ) = %(x, y) (x̃, ỹ ∈ X̃)
egyenlőséggel definiált %̃ függvény metrika lesz. Ez azt jelenti, hogy az X halmaz
elemei között egy új egyenlőséget, az ≡-t bevezetve X metrikus tér lesz % metri-
kával. Példáinkban ez a szituáció többször is elő fog fordulni.
Példák metrikus terekre
1. Legyen X egy tetszőleges nem üres halmaz. x, y ∈ X és
½
0 ha x = y
%(x, y) =
1 ha x 6= y.
Azonnal látható, hogy % metrika X-en, melyet diszkrét metrikának neve-
zünk.
10 1. FEJEZET. METRIKUS TEREK
(n)
%p metrika, mellyel ellátva X-et, kapjuk az lp metrikus ter et. A p = 2
esetén az n-dimenziós komplex Euklideszi teret kapjuk.
3. Ismét 1 ≤ p ≤ ∞, és
( P
∞ )
¯ |ξi |p < ∞ ha 1 ≤ p < ∞
lp = x = (ξ1 , ξ2 , . . . ) ¯ ξi ∈ C (i ∈ N) és i=1
sup |ξi | < ∞ ha p = ∞
i
Z
|x(t) − y(t)|
1.1. Tétel. A %(x, y) = dµt függvény metrika S-en.
1 + |x(t) − y(t)|
X
ahol ³Z ´ p1
kxkp = %p (x, 0) = |x(t)|p dµt , kykq = %q (y, 0).
X
1.2. A HÖLDER ÉS MINKOWSKI EGYENLŐTLENSÉG 13
|x(t)| |y(t)|
Írjunk (1.5)-be a = ,b= -t feltéve, hogy kxkp kykq 6= 0. A kapott
kxkp kykq
egyenlőséget integrálva kapjuk, hogy
R
|x(t)y(t)|dµt
X 1 kxkpp 1 kykqq
≤ + =1
kxkp kykq p kxkpp q kykqq
Nx0 = { t ∈ X | x(t) 6= 0 }
X X X
1q
Z Z
|x(t) + y(t)|p−1 |y(t)|dµt ≤ |x(t) + y(t)|p dµt kykp (1.11)
X X
1.2. A HÖLDER ÉS MINKOWSKI EGYENLŐTLENSÉG 15
és (1.9)-ből
p
kx + ykpp ≤ kx + yk q (kxkp + kykp ) (1.12)
p
vagy ¯ ¯ ¯ ¯
¯ ¯ ¯ ¯
¯1 + y(t) ¯ 1 + ¯ y(t) ¯ majdnem minden t ∈ Nx0 -re. (1.14)
¯ x(t) ¯ ¯ x(t) ¯
y(t)
(1.14) pontosan akkor igaz, ha majdnem minden t ∈ Nx0 -re valós és nemne-
x(t)
y(t)
gatív, azaz ha %(t) = -vel (1.7) fennáll.
x(t)
Ha 1 < p < ∞, akkor könnyű belátni, hogy (1.8) teljesülése esetén (1.6)-ban
egyenlőség van. Megmutatjuk, hogy ez fordítva is igaz.
Bizonyítás. kxk∞ = inf sup |x(t)|, így bármely n ∈ N-hez van olyan En
E
t∈X\E
µE=0
nullmértékű halmaz, hogy
1
kxk∞ ≤ sup |x(t)| < kxk∞ + .
t∈X\En n
1.2. A HÖLDER ÉS MINKOWSKI EGYENLŐTLENSÉG 17
S
∞
E0 = En szintén nullmértékű, és E0 ⊃ En miatt
n=1
1
kxk∞ ≤ sup |x(t)| ≤ sup |x(t)| < kxk∞ + .
t∈X\E0 t∈X−En n
Innen n → ∞-nel kapjuk (1.20)-at. ¤
Az
|x(t) + y(t)| ≤ |x(t)| + |y(t)| (t ∈ X)
egyenlőtlenségből
sup |x(t) + y(t)| ≤ sup |x(t)| + sup |y(t)| ≤ kxk∞ + kyk∞ ,
t∈X\(E0 ∪F0 ) t∈X\(E0 ∪F0 ) t∈X\(E0 ∪F0 )
R
≤ kyk∞ |x(t)|dµt kxk1 · kyk∞ . ¤
X\F0
1.5. Tétel. A
µ ¶ p1
R
|x(t) − y(t)|p dµt ha 1 ≤ p < ∞
X
%p (x, y) =
inf sup |x(t) − y(t)| ha p = ∞
E
t∈X\E
µE=0
Bizonyítás. x, y, z ∈ C(X)-re
lim %(xn , x) = 0
n→∞
Jelölés:
x = lim xn , vagy xn → x (n → ∞)
n→∞
1.7. Tétel. A S = S(X, S, µ) metrikus térben egy {xn } sorozat akkor és csakis
akkor konvergál x ∈ S-hez, ha az {xn } függvénysorozat µ-mértékben konvergál
x-hez X-en.
Fordítva, tegyük fel, hogy az {xn } sorozat µ mértékben konvergál x-hez, akkor
µEn (σ) → 0, ha n → ∞ és
Z Z
|xn (t) − x(t)| |xn (t) − x(t)|
%(xn , x) = dµt + dµt
1 + |xn (t) − x(t)| 1 + |xn (t) − x(t)|
En (σ) X\En (σ)
σ
≤ µEn (σ) + µX.
1+σ
σ∗ ε
Legyen ε > 0 adott, és válasszuk σ = σ ∗ > 0-t olyanra, hogy µX < ,
³ ´ 1 + σ∗ 2
ε ε
másrészt µEn (σ ∗ ) < , ha n > N , így
2 2
ε ε ³ε´
%(xn , x) < + ε ha n > N ,
2 2 2
azaz {xn } az x-hez konvergál S-ben. ¤
1.8. Tétel. A C(X) metrikus térben egy {xn } sorozat akkor és csakis akkor
konvergál x ∈ C(X)-hez, ha az {xn } függvyénysorozat egyenletesen konvergál
x-hez X-en.
Bizonyítás.
X∞ (n) (n)
1 |ξk − ξk | 1 |ξi − ξi |
%(xn , x) = ≥ (i ∈ N),
k=1
2k 1 + |ξk(n) − ξk | 2i 1 + |ξi(n) − ξi |
(n)
így ha lim %(xn , x) = 0, akkor lim ξi = ξi (i ∈ N).
n→∞ n→∞
A fordított állítás igazolásához legyen ε > 0 adott, és k0 olyan index, hogy
P 1 ε
k
< , N (ε) pedig olyan, hogy k = 1, 2, . . . , k0 esetén
k=k0 +1 2 2
(n)
1 |ξk − ξk | ε
k (n)
< ,
2 1 + |ξk − ξk | 2k0
akkor
ε ε
%(xn , x) <
+ =ε ha n > N (ε). ¤
2 2
Lp (és lp )-ben 1 ≤ p < ∞ esetén a konvergencia nem jellemezhető a fentiekhez
hasonló egyszerű módon. A p = ∞ esetre vonatkozik a következő tétel.
S
∞
teljesül (lásd az 1.4. tételt). E0 = En is nullmértékű, és
n=1
így
%∞ (xn , x) = inf sup |xn (t) − x(t)| ≤ sup |xn (t) − x(t)|
E t∈X\En
t∈X\E
µE=0
miatt
lim %∞ (xn , x) = 0. ¤
n→∞
S(a, r) = {x ∈ X | %(a, x) ≤ r}
Hacsak mást nem mondunk, akkor egy metrikus teret mindig a természetes to-
pológiával látjuk el, és az összes topológikus fogalmat (nyílt, zárt halmaz, stb.) e
topológia szerint vesszük. ¤
Így pl. egy A ⊂ X halmazt akkor nevezünk nyíltnak, ha eleme G-nek, vagyis
bármely pontjával együtt valamely a pont körüli nyílt környezetet is tartalmaz.
B ⊂ X zárt, ha a komplementere nyílt.
22 1. FEJEZET. METRIKUS TEREK
Könnyű belátni, hogy nyílt gömb nyílt halmaz, zárt gömb zárt halmaz, to-
vábbá, hogy egy metrikus tér normális topológikus tér,
Legyen T egy X metrikus térnek az Y metrikus térbe való leképezése. A
fentiek alapján (lásd függelék 1.5. definíció) T -t folytonosnak nevezzük az x ∈ X
pontban, ha T x bármely V környezetéhez megadható x-nek olyan U környezete,
hogy T U ⊂ V.
1.12. Tétel. Egy metrikus térben minden konvergens sorozat Cauchy sorozat.
³ε´
Bizonyítás. Ha lim xn = x és ε > 0, úgy van olyan N1 szám, hogy
n→∞ 2
ε ³ε´
%(xn , x) < ha n > N1 ,
2 2
így
ε ε ³ε´
%(xn , xm ) ≤ %(xn , x) + %(x, xm ) < + =ε ha n, m > N1 ,
2 2 2
tehát {xn } Cauchy-sorozat. ¤
A fordított állítás nem igaz. Legyen ugyanis Q az összes racionális számok
halmaza, akkor
%(r, s) = |r − s| (r, s ∈ Q),
√
metrika Q-n. Legyen {rn } a 2-t alulról közelítő racionális számok egy olyan
sorozata, melyre
√ 1
0 < 2 − rn < n
10
1.5. TELJES METRIKUS TEREK 23
1.6. Definíció. Egy metrikus teret teljesnek nevezünk, ha benne minden Ca-
uchy sorozat konvergens.
Példák
1. Az 1.1. szakasz első példájában szereplő metrikus tér (X egy tetszőleges
halmaz, %(x, y) = 0, ha x = y %(x, y) = 1 ha x 6= y) teljes, mert ha {xn }
egy Cauchy-sorozat, úgy
µ ¶
1 1
%(xn , xm ) < ha n, m > N ,
2 2
de ekkor xn = xm , azaz xn = xk minden n ≥ k-ra, ahol k a legkisebb
N ( 21 )-nél nagyobb természetes szám. Ez azt jelenti, hogy lim xn = xk .
n→∞
2. Megmutatjuk, hogy C(X) teljes metrikus tér. Ha {xn } egy Cauchy sorozata
e térnek, úgy
%(xn , xm ) = sup |xn (t) − xm (t)| < ε,
t∈X
µ ¶ 12
n
P
n
2
ahol z = (z1 , z2 , . . . , zn ) ∈ C esetén |z| |zi | .
i=1
3. Teljes metrikus tér egy altere akkor és csakis akkor teljes, ha zárt.
Legyen X teljes metrikus tér, és tegyük fel, hogy Y zárt altere X-nek,
{yn } pedig egy Cauchy-sorozat Y -ban. Ez X-ben is Cauchy-sorozat, így
a teljesség miatt konvergens X-ben: lim yn = y, y ∈ X. Mivel yn ∈ Y ,
n→∞
így y érintkezési pontja Y -nak, tehát Y zártsága miatt y ∈ Y , vagyis {yn }
konvergens Y -ban.
Fordítva, ha az Y altér teljes, úgy zárt is. Legyen ugyanis y ∈ Y ,akkor
y érintkezési pontja Y -nak, így van olyan {yn } (yn ∈ Y ) sorozat, mely-
re lim yn = y. {yn } Cauchy-sorozat, mely Y teljessége miatt egy Y -beli
n→∞
elemhez konvergál. A határérték egyértelműsége miatt így y ∈ Y .
(n)
4. A 2. fejezetben be fogjuk bizonyítani, hogy az Lp (lp , lp ), c, c0 metrikus
terek teljesek.
Láttuk, hogy a racionális számok Q halmaza a %(r, s) = |r − s| távolsággal
nem alkot teljes metrikus teret. Q azonban mindenütt sűrű altere az összes
valós számok teljes metrikus terének. Hasonló állítás érvényes bármely met-
rikus térre.
lim %(xn , yn ) = 0.
n→∞
x0 −→ x
1 1 1
%(xn , xm ) < + + ε < 3ε, ha n, m > max{N ∗ (ε), }.
n m ε
Jelölje most x∗ az {xn } Cauchy-sorozat osztályát; állítjuk, hogy x∗n → x∗ ,
ha n → ∞ X ∗ -ban, s ez X ∗ teljességét jelenti. Ugyanis
1
%∗ (x∗n , x∗ ) ≤ %∗ (x∗n , xn 1) + %(x0n , x∗ ) < + lim %(xn , xm ) < ε,
n m→∞
ha n elég nagy.
Cseréljük most ki X elemeit a II. alatti izometrikus leképezés által meg-
feleltetett X0∗ -beli elemekkel, úgy X-et sűrű részhalmazként beágyaztuk a
teljes X ∗ -ba, és ezzel a teljes metrikus burok létezését igazoltuk.
V. Egyértelműség.
Tegyük fel, hogy X ∗ , X ∗∗ metrikus terek %∗ , %∗∗ metrikával mindketten X
teljes metrikus burkai. Megmutatjuk, hogy ezek izometrikusak.
Legyen x∗ ∈ X ∗ , úgy X = X ∗ miatt létezik olyan xn ∈ X, hogy
%∗ (xn , x∗ ) → 0 ha n → ∞.
1.6. A BANACH-FÉLE FIXPONTTÉTEL 27
azaz ϕ távolságtartó. ¤
és a jobboldali nullsorozat.
αn d
≤ αn d + αn+1 d + · · · + αm−1 d ≤ αn d(1 + α + α2 + · · · ) = .
1−α
αn d
Mivel → 0, ha n → ∞, így {xn } Cauchy sorozat, mely a teljesség miatt
1−α
konvergens: lim xn = x. Megmutatjuk, hogy x fixpontja T -nek. A háromszög-
n→∞
egyenlőtlenség felhasználásával
%(x, y) > 0 nem lehet, mert ekkor %(x, y)-nal elosztva az előző egyenlőtlenséget
1 ≤ α ellentmondásra jutnánk. Ezért %(x, y) = 0, x = y. ¤
αn d
Megjegyzés. A %(xn , xm ) ≤ egyenlőtlenségből m → ∞ határátmenettel
1−α
αn
%(xn , x) ≤ %(x1 , x0 ),
1−α
ami becslést ad az {xn } sorozat elemei és a fixpont távolságára.
1.7. A BANACH-FÉLE FIXPONTTÉTEL ALKALMAZÁSAI 29
S(T x) = T (Sx) = T x
1.15. Tétel. Legyen T egy teljes metrikus térnek önmagába való leképezése úgy,
hogy valamely n természetes szám esetén T n kontraháló leképezés. Akkor T -nek
pontosan egy fixpontja van.
Zb
x(t) = f (t) + λ K(t, s)x(s)ds t ∈ [a, b] (1.25)
a
Bizonyítás. Tekintsük a
Zb
(T x)(t) = f (t) + λ K(t, s)x(s)ds t ∈ [a, b], x ∈ C[a, b]
a
amiből
Zb
%(T x, T y) = sup |(T x)(t) − (T y)(t)| ≤ |λ|%(x, y) sup |K(t, s)|ds ≤ α%(x, y),
t t
a
ahol
Zb
α = |λ| sup |K(t, s)|ds < 1.
t
a
A Banach féle fixponttétel miatt T -nek pontosan egy fixpontja van C[a, b]-ban.
Mivel T fixpontjai éppen az (1.25) megoldásai, így állításunkat bebizonyítottuk.
¤
Az (1.25) egyenlet megoldása x = lim T n x0 (lásd a Banach-féle fixponttétel
n→∞
bizonyítását), ahol x0 tetszőleges eleme C[a, b]-nek, a limesz pedig C[a, b] met-
rikájában értendő. x0 = f választással x-re egy végtelen sort kaphatunk. Ha
azonban a K magfüggvény
n
X
K(t, s) = ci fi (t)gi (s) t, s ∈ [a, b] (1.27)
i=1
1.7. A BANACH-FÉLE FIXPONTTÉTEL ALKALMAZÁSAI 31
Rb
adódik, ahol ci = gi (s)x(s)ds, (i = 1, . . . , n). A jobb oldalon csak a ci konstan-
a
sok ismeretlenek. E konstansok meghatározása céljából helyettesítsük (1.28)-at
a ci -ket definiáló egyenletbe. Azt kapjuk, hogy
Zb " n
#
X
ci = gi (s) f (s) + λ cj fj (s) ds, (1.29)
a j=1
azaz n
X
ci = λ cj aij − bi (i = 1, . . . , n), (1.30)
j=1
Rb Rb
ahol aij = gi (s)fj (s)ds, bi = − gi (s)f (s)ds. Az (1.30) rendszer
a a
Bizonyítás. A
Zt
(T x)(t) = f (t) + λ K(t, s)x(s)ds x ∈ C[a, b], t ∈ [a, b]
a
ha t ∈ [a, b], x, y ∈ C[a, b]. K folytonos a kompakt 4-n, ezért ott korlátos:
|K(t, s)| ≤ M , ha (t, s) ∈ 4, így
Ezt felhasználva
¯ t ¯
¯ R ¯
2 2 ¯
|(T x)(t) − (T y)(t)| = ¯λ K(t, s)[(T x)(s) − (T y)(s)]ds¯¯
a
Rt
≤ |λ| |K(t, s)||(T x)(s) − (T y)(s)|ds
a
Rt (|λ|M (t − a))2
≤ |λ| M |λ|%(x, y)M (s − a)ds = %(x, y) .
a 2!
Megjegyezzük, hogy
n
X
K(t, s) = ti gi (s) t, s ∈ [a, b] (1.33)
i=0
(n)
alakú magfüggvény esetén (ha f (n+1) , gi ∈ C[a, b] (i = o, . . . , n)) (1.32) vissza-
vezethető egy n+1-edrendű lineáris differenciálegyenletre vonatkozó kezdeti-érték
feladatra. Ekkor ugyanis egyenletünk jobb oldala n + 1-szer folytonosan differen-
ciálható, és differenciálással
Zt
x0 (t) = f 0 (t) + λK(t, t)x(t) + λ Kt (t, s)x(s)ds, x(a) = f (a)
a
∂
adódik, ahol Kt = ∂t K. Még n-szer differenciálva a jobboldal egyetlen integrált
∂ n+1
tartalmaz csak, ahol az integrandus ∂t n+1 K(t, s)x(s) ≡ 0. Így x-re n + 1-edrendű
Ekkor az
y 0 = f (x, y), y(ξ) = η
kezdeti-érték problémának pontosan egy (folytonosan½ differenciálható)
¾ megoldá-
b
sa van a [ξ − h, ξ + h] intervallumon, ahol h = min a, , M = sup kf (x, y)k.
M Q
ky(x) − ηk ≤ b ha x ∈ [ξ − h, ξ + h]
34 1. FEJEZET. METRIKUS TEREK
képlettel definiálva.
T az Y teret önmagába képezi le, mert T y folytonos [ξ − h, ξ + h]-n, és ebből
az intervallumból vett x-ekre
° x °
°Z °
° ° ° °
°(T y)(x) − η ° = ° f (t, y(t))dt° ≤ M |x − ξ| ≤ M h ≤ M b = b.
° ° M
° °
ξ
Zx
≤ kky(t) − z(t)kdt ≤ k%(y, z)|x − ξ|.
ξ
(kh)n
Mivel → 0, ha n → ∞, így elég nagy n-re T n kontrakció Y -on, ezért az
n!
1.16 tétel miatt T -nek pontosan egy fixpontja van Y -ban, mely az
Zx
y(x) = η + f (t, y(t)) dt x ∈ [ξ − h, ξ + h]
ξ
Rβ
Ez a következőképpen látható be: ha z(t) = (z1 (t), . . . , zn (t)), ci = zi (t)dt,
α
c = (c1 , . . . , cn ), akkor
° °2 Ã !2
°Rβ ° Pn Rβ Pn Rβ
° °
kck2 = ° z(t)dt° = zi (t)dt = ci zi (t)dt
°α ° i=1 α i=1 α
Rβ P
n Rβ Rβ
= ci zi (t)dt ≤ kck · kz(t)kdt = kck kz(t)kdt,
α i=1 α α
P
amiből következik (1.34). Az itt felhasznált ni=1 ci zi (t) ≤ kck · kz(t)k egyenlőt-
(n)
lenség a Hölder egyenlőtlenség (l2 -re vonatkozó) speciális esete.
S(x1 , r1 ) ⊂ G ∩ V1
S(x2 , r2 ) ⊂ G(x1 , r1 ) ∩ V2 .
1.10. Definíció. Egy metrikus tér egy részhalmazát első kategóriájú halmaznak
nevezzük, ha előállítható megszámlálható sok seholsem sűrű halmaz egyesítése-
ként. Egy halmazt második kategóriájúnak nevezünk, ha nem első kategóriájú
Bizonyítás. Tegyük fel, hogy X teljes metrikus tér, és első kategóriájú halmaz,
azaz
∞
[ ◦
X= An , ahol An = ∅ (n ∈ N).
n=1
S
∞
Ekkor természetesen X = An is fennáll, amiből komplementerképzéssel
n=1
∞
\
∅= An 0 (1.35)
n=1
T
∞
Baire tételét az An 0 halmazokra alkalmazva kapjuk, hogy An 0 mindenütt sűrű
n=1
X-ben, így nem üres, ami ellentmond (1.35)-nek. ¤
½ ¯ ¯ ¾
¯ x(ξ + h) − x(ξ) ¯
En = x ∈ Γ | valamely ξ-re ¯¯ ¯ ≤ n minden h > 0 mellett
¯
h
és
∞
[
E= En .
n=1
1. En zárt,
Legyen ξ a {ξk } sorozat torlódási pontja, akkor van {ξk }-nak ξ-hez kon-
vergáló részsorozata. A jelölés egyszerűsítése érdekében tegyük fel, hogy
1.9. A BAIRE TÉTEL EGY ALKALMAZÁSA 39
y( i−1 )+ ε ½
k 2
ε
2 y(t)
½
ε
2
y( i−1
k
)− ε
2
i−1 i
k k t
1. ábra
1.10. Kompaktság
1.11. Definíció. Egy metrikus tér egy részhalmazát szekvenciálisan (sorozato-
san) kompaktnak nevezzük, ha e részhalmaz bármely végtelen sorozatából kivá-
lasztható konvergens részsorozat, melynek határértéke a szóban forgó részhal-
mazban van.
Egy metrikus tér egy részhalmazát relatív szekvenciálisan kompaktnak nevez-
zük, ha e részhalmaz lezártja szekvenciálisan kompakt. Ez azt jelenti, hogy e
részhalmaz bármely végtelen sorozatából kiválasztható konvergens részsorozat; a
határérték ugyanis a Függelék 2. tétele miatt mindig a halmaz lezártjában van.
Így, egy X metrikus tér K részhalmaza teljesen korlátos, ha minden ε > 0-hoz
létezik olyan véges M ⊂ X halmaz, hogy az M -beli középpontú ε sugarú nyílt
gömbök uniója tartalmazza K-t. Az M halmazt ε-hálónak nevezzük K számára,
Megjegyezzük, hogy itt feltételezhető az is, hogy M a K részhalmaza. Ugyanis, ha
ε ε
M egy -háló K számára, úgy mindegyik M -beli középpontú sugarú gömbből
2 2
véve egy K-beli pontot (ha van ilyen) a kivett pontok M1 halmaza véges ε-háló
K számára, és M1 ⊂ K.
Világos, hogy teljesen korlátos halmaz korlátos is, fordítva azonban nem, mert
pl. egy végtelen X halmazt véve a diszkrét metrikával, X korlátos, de nem teljesen
1
korlátos (ε = -hoz nincs véges ε-háló).
3
Ismeretes, hogy egy topológikus térben a kompaktságot nyílt halmazokkal
való lefedés segítségével szokás definiálni.
1.22. Tétel. Egy metrikus tér egy K részhalmazára a következő három feltétel
ekvivalens
1. K kompakt,
2. K szekvenciálisan kompakt,
1.⇒ 2. Legyen {xn } egy sorozat K-ban. Indirekt úton igazoljuk, hogy {xn }-nek
van K-ban konvergens részsorozata. Tegyük fel, hogy {xn }-nek nincs K-
ban konvergens részsorozata, akkor az
∞
[
K⊂ Ei0
i=1
S
∞
tehát Ei0 a K halmaz egy nyílt lefedése. K kompaktsága miatt van olyan
i=1
n természetes szám, hogy
n
[
K⊂ Ei0
i=1
azaz n
\
0
K ⊃ Ei = {xn , xn+1 , . . . },
i=1
2. ⇒ 3. Legyen {xn } egy Cauchy sorozat K-ban. 2. miatt van olyan {xnk } részso-
rozata, mely egy K-beli x-hez konvergál. Megmutatjuk, hogy a teljes {xn }
sorozat x-hez konvergál. Legyen ε > 0, akkor van olyan N (ε) és N1 (ε),
hogy
%(xn , xm ) ≥ ε∗ ha n 6= m.
miatt véges sok K-beli középpontú 12 sugarú nyílt gömb lefedi K-t, így van
olyan G(x1 , 12 ) (x ∈ K) nyílt gömb, hogy K ∩ G(x1 , 12 )-et {Uα } (α ∈ Γ)
egyetlen véges részrendszere sem fedi le.
K lefedhető véges sok K-beli középpontú 212 sugarú gömbbel. Ezen gömbök
közül tekintsük azokat, melyeknek van közös pontjuk K ∩ G(x1 , 12 )-del.
Ezen véges sok gömb lefedi K ∩ G(x1 , 12 )-et, így van köztük olyan, G(x2 , 212 )
(x2 ∈ K) gömb, hogy K ∩ G(x2 , 212 )-et {Uα } egyetlen véges részrendszere
sem fed le. Hasonlóan, ha K ∩ G(xn , 21n )-et már megkonstruáltuk, úgy K ∩
1
G(xn+1 , 2n+1 ) olyan K-beli középpontú gömb, melynek van közös pontja
1 1
K ∩ G(xn , 2n )-nel, és K ∩ G(xn+1 , 2n+1 ) nem fedhető le {Uα } egyetlen véges
rendszerével sem.
Ekkor %(xn , xn+1 < 21n + 2n+1
1
< 2n−11
, mert
1 1
G(xn , n
) ∩ G(xn+1 , n+1 ) 6= 0,
2 2
amiből m < n-re
1 1 1
%(xm , xn ) ≤ %(xm , xm+1 ) + · · · + %(xn−1 , xn ) < +·+ < ,
2m−1 2n−2 2m−2
tehát {xn } Cauchy-sorozat, mely K teljessége miatt konvergál egy x ∈ K
elemhez. Van olyan α0 ∈ Γ, hogy x ∈ ∪α0 , és ∪α0 nyiltsága miatt G(x, r) ⊂
∪α0 . Legyen n egy olyan index, hogy %(xn , x) < 2r és 21n < 2r , akkor a
háromszög-egyenlőtlenség alapján
1
G(xn , ) ⊂ G(x, r) ⊂ ∪α0 ,
2n
ami ellentmondás, mert G(xn , 21n )-et {∪α } egyetlen véges részrendszere sem
fedi le.
2. (Hausdorff tétele) Ahhoz, hogy egy metrikus tér egy részhalmaza kompakt
(szekvenciálisan kompakt) legyen szükséges, és ha a tér teljes elegendő is,
hogy e részhalmaz zárt és teljesen korlátos legyen.
Állításunk abból is következik, hogy egy teljes halmaz mindig zárt, és teljes
metrikus térben zárt részhalmaz teljes is.
3. (Hausdorff tétele) Ahhoz, hogy egy metrikus tér egy részhalmaza relatív
kompakt (relatív szekvenciálisan kompakt) legyen szükséges, és ha a tér tel-
jes elegendő is, hogy e részhalmaz teljesen korlátos legyen.
44 1. FEJEZET. METRIKUS TEREK
Lineáris terek
x + (y + z) = (x + y) + z,
x+y = y + x,
létezik 0 ∈ X melyre x + 0 = x,
létezik − x ∈ X melyre x + (−x) = 0,
λ(x + y) = λx + λy,
(λ + µ)x = λx + µx,
(λµ)x = λ(µx)
1x =x
teljesül.
45
46 2. FEJEZET. LINEÁRIS TEREK
valós, mind komplex lineáris tér esetén érvényesek, úgy egyszerűen lineáris te-
ret mondunk, és a skalártartomány jelölésére a K szimbólumot használjuk (így
K = R vagy K = C). Igazolható, hogy egy lineáris térben ugyanazok a számolási
szabályok érvényesek, mint a 3 dimenziós vektortérben (pl. többtagú összegben
a tagok tetszőlegesen csoportosíthatók és tetszőleges sorrendbe írhatók, a null-
vektor egyértelműen meg van határozva, λx = 0 akkor és csakis akkor, ha λ = 0
n-szer
z }| {
vagy x = 0, −(λx) = (−λ)x , x + x + · · · + x = nx, stb.
Példák.
3. Legyen B egy tetszőleges nem üres halmaz, és jelölje F (B) a B-n értelme-
zett összes olyan K-beli értékű függvények halmazát, melyek csak véges sok
B-beli pontban vesznek fel zérustól különböző értéket. Ekkor F (B) lineáris
tér a pontonkénti összeadásra, és skalárral való szorzásra nézve, melyet a
B-n értelmezett finit függvények lineáris terének nevezünk.
A(x + y) = Ax + Ay (A additív)
A(λx) = λAx (A homogén)
2.1. LINEÁRIS TEREK, ALAPFOGALMAK 47
teljesül.
Az X-nek Y -ra való kölcsönösen egyértelmű lineáris leképezését izomorf leké-
pezésnek mondjuk. Azt mondjuk, hogy X izomorf Y -nal, ha X-nek van izomorf
leképezése Y -ra.
Egy lineáris tér alterén X olyan részhalmazát értjük, mely maga is lineáris
tér az X-beli műveletekre nézve.
2.3. Definíció. Egy lineáris tér egy A részhalmazát tartalmazó összes alterek
metszetét az A lineáris burkának lineáris burok (az A által kifeszített vagy ge-
nerált altérnek) nevezzük és [A]-val jelöljük.
2.1. Tétel. Egy lineáris tér A részhalmazának lineáris burka az A-beli vektorok
lineáris kombinációinak halmaza, azaz
( n )
X ¯
¯
[A] = λi ai ¯ λi ∈ K, ai ∈ A, i = 1, . . . , n, n = 1, 2, . . . .
i=1
Egy lineáris tér egy részhalmazát lineárisan függőnek nevezünk, ha nem line-
árisan független.
2. Segédtétel. (Zorn) Ha egy félig rendezett halmaz minden lánca felülről kor-
látos, akkor e félig rendezett halmaznak van maximális eleme
Xn µ ¶
λi
x= − bi ,
i=1
λ
azaz x ∈ [B]. ¤
2.3. Tétel. Egy lineáris tér bármely két Hamel-bázisának számossága egyenlő
Azt állítjuk,
S hogy Φ minden lánca felülről korlátos. Legyen Φ0 egy lánca Φ-
nek, Dϕ0 = Dϕ , és s ∈ Dϕ0 -ra
ϕ∈Φ0
ϕ0 (s) = ϕ(s)
ha s ∈ Dϕ , ϕ ∈ Φ0 .
S
Φ0 láncsága miatt ϕ0 egyértelműen képezi le Dϕ0 -t Rϕ0 Rϕ -ra. Rϕ0 ∪(B\Dϕ0 )
ϕ∈Φ0
lineárisan független, mert véve egy tetszőleges véges {x1 , . . . , xn } részhalmazát,
{x1 , . . . , xm } ⊂ Rϕ0 , {xm+1 , . . . , xn } ⊂ B \ Dϕ . De akkor xi ∈ Rϕi valamely
ϕi ∈ Φ0 -ra (i = 1, . . . , m). Legyen ϕk a ϕ1 , . . . , ϕm -ek közül a legnagyobb, akkor
xi ∈ Rϕi ⊂ Rϕk (i = 1, . . . , m), és xj ∈ B \ Dϕ0 ⊂ B \ Dϕk (j = m + 1, . . . , n),
tehát {x1 , . . . , xn } az Rϕk ∪ (B \ Dϕk ) részhalmaza lévén lineárisan független. A
Zorn lemma szerint Φ-nek van maximális eleme.
2.1. LINEÁRIS TEREK, ALAPFOGALMAK 51
Azt állítjuk, hogy Dϕ = B. Ezt indirekt úton igazoljuk. Tegyük fel, hogy
Dϕ 6= B, akkor Rϕ 6= B 0 , mert ellenkező esetben (t.i. ha Rϕ = B 0 ) B 0 ∪ (B \ Dϕ )
nem lineárisan független (ugyanis B 0 Hamel-bázis). Így a nem üres B 0 \ Rϕ -ből
egy b0 elemet véve két eset lehetséges.
X X
b0 = λ0i b0i + λj bj ,
b0i ∈Rϕ bj ∈B\Dϕ
P
és itt legalább egy λj0 nem zérus (ellenkező esetben b0 = λ0i b0i volna,
b0i ∈Rϕ
ami B 0 lineáris függetlensége miatt nem lehet). Legyen
½
0 ϕ(s) ha s ∈ Dϕ
ϕ (s) =
b0 ha s = bj0 ,
2.8. Definíció. Egy lineáris tér Hamel-bázisainak közös számosságát a tér (al-
gebrai) dimenziójának nevezzük. A {0} tér dimenziója 0.
2.4. Tétel. Minden lineáris tér (kivéve a {0} teret) izomorf a tér Hamel-bázisán
értelmezett finit függvények terével.
52 2. FEJEZET. LINEÁRIS TEREK
2.9. Definíció. Egy lineáris tér A részhalmazát konvex nek nevezzük, ha bár-
mely x, y ∈ A és λ ∈ [0, 1] esetén
λx + (1 − λ)y ∈ A
2.10. Definíció. Egy lineáris tér A részhalmazát tartalmazó összes konvex hal-
mazok metszetét A konvex burkának nevezzük, és coA-val jelöljük.
Mivel konvex halmazok metszete konvex, így coA konvex halmaz és minimális
a következő értelemben: Ha B az A-t tartalmazó konvex halmaz, akkor B ⊃ coA
2.5. Tétel. Egy lineáris tér A részhalmazának konvex burka az A-beli vektorok
összes konvex kombinációinak halmaza.
mert
n
X ¡ ¢
λλi + (1 − λ)µi ≥ 0 és λλi + (1 − λ)µi = 1.
i=1
P
n
λi
de an+1 ∈ A ⊂ coA, a
1−λn+1 i
∈ D ⊂ coA, így coA konvexsége miatt
i=1
x ∈ coA. ¤
Ha A, B egy lineáris tér részhalmazai, λ, µ skalárok, akkor szokásos a
λA + µB = {λa + µb | a ∈ A, b ∈ B}
jelölést használni. Ha itt pl. B = {b} egyelemű halmaz, úgy λA + µ{b} helyett
egyszerűen λA+µb-t írunk. E jelölésekkel pl. az A halmaz konvexitása azt jelenti,
hogy bármely λ ∈ [0, 1] esetén
λA + (1 − λ)A ⊂ A.
f0 (u) ≤ p(u) (u ∈ X0 ).
y = x + λx1 (x ∈ X0 , λ ∈ R)
y = x0 + λ0 x1 (x0 ∈ X0 , λ0 ∈ R),
fennáll.
Ha λ < 0, úgy −λ > 0, így osztva vele kapjuk, hogy (2.3) akkor és csakis
akkor teljesül, ha ³ x´ ³ x ´
f0 − − c ≤ p − − x1 ,
λ λ
x
azaz ha (v = − ∈ X0 jelöléssel)
λ
f (v) − p(v − x1 ) ≤ c (v ∈ X0 )
teljesül.
Összefoglalva az eseteket azt kapjuk, hogy (2.3) vagy (2.2) pontosan akkor
teljesül, ha bármely u, v ∈ X0 mellett
Legyen u, v ∈ X0 , akkor
amiből
f0 (v) − p(v − x1 ) ≤ p(u + x1 ) − f0 (u),
sup {f0 (v) − p(v − x1 )} ≤ inf {p(u + x1 ) − f0 (u)}. (2.5)
v∈X0 u∈X0
Az egyenlőtlenség mindkét oldalán egy valós szám áll, ha c-t úgy választjuk,
hogy e két valós szám között legyen, úgy nyilvánvaló, hogy (2.4) és ezzel
együtt (2.2) is teljesül. Így f1 olyan lineáris funkcionál X1 -en, melyet p
majorál.
2. Azt fogjuk mondani, hogy f 0 majorált kiterjesztése f0 -nak, ha f 0 egy az
X0 -t tartalmazó X 0 altéren definiált lineáris funkcionál, melyre
f 0 (u) = f0 (u) (u ∈ X0 ),
f 0 (x) ≤ p(x) (x ∈ X 0 )
teljesül. Legyen Φ az f0 funkcionál összes majorált kiterjesztéseinek halma-
za. Φ-n definiáljuk a ≺ féligrendezést a következőképpen: f 0 , f 00 ∈ Φ-re
f 0 ≺ f 00 ha X 0 ⊂ X 00 és f 0 (x) = f 00 (x) ha x ∈ X 0 .
Φ minden lánca felülről korlátos, mert ha Φ0 egy lánc, úgy legyen
[
Y = X 0 , és g(x) = f 0 (x), hax ∈ X 0 .
f 0 ∈Φ0
Legyen
f (x) = g(x) − ig(ix) (x ∈ X).
Azt állítjuk, hogy f teljesíti a tétel követelményeit.
f : X → C additív, mert x, y ∈ X-re
f (x + y) = g(x + y) − ig(i(x + y)) = g(x) + g(y) − ig(ix) − ig(ix)
¡ ¢ ¡ ¢
= g(x) − ig(ix) + g(y) − ig(iy) = f (x) + f (y),
és f homogén (a komplex számokkal való szorzásra nézve is), mert ha α, β valósak
x ∈ X, úgy
¡ ¢ ¡ ¢ ¡ ¢
f (α + iβ)x = g (α + iβ)x − ig i(α + iβ)x
= αg(x) + βg(ix) − iαg(ix) − iβg(−x)
= α [g(x) − ig(ix)] + iβ [g(x) − ig(ix)] = (α + iβ)f (x).
Ha u ∈ X0 , úgy iu ∈ X0 , és
f (u) = g(u) − ig(iu) = g0 (u) − ig0 (iu) = f0 (u),
továbbá f (x) = |f (x)|eiϕ miatt x ∈ X-re
¡ ¢
|f (x)| = e−iϕ f (x) = f e−iϕ x = Ref (e−iϕ x)g(e−iϕ x) ≤ p(e−iϕ x) = p(x),
ezzel a bizonyítás teljes. ¤
amiből
0 < ξn − ξn0 + ε (n ∈ N).
Az L funkcionál (1) tulajdonsága miatt
amiből ε → 0 határátmenettel
L(x) ≥ inf{ξ1 , ξ2 , . . . }.
l(x) = lim ξn ,
n→∞
A Hahn-Banach tételt alkalmazva azt kapjuk, hogy létezik l-nek az l∞ térre való
olyan L lineáris kiterjesztése, melyre
L(x) ≤ p(x) (x ∈ l∞ ).
ξ1 − ξ2 − · · · − ξn
p(−x) = lim sup ≤ 0,
n
így
L(x) = −L(−x) ≥ −p(−x) ≥ 0.
(2) igaz, mert bármely x ∈ l∞ -re
Mivel
ξ1 + · · · + ξn − (ξ2 + · · · + ξn+1 ) ξ1 − ξn+1
p(x − σx) = lim sup = lim sup = 0,
n n
és hasonlóan p(−x + σx) = 0, ezért L(x − σx) = 0,
R R
egyenlőtlenség, ahol illetve a [0, 1] intervallumon vett Darboux-féle alsó illetve
felső integrált jelöli. Így ha x Riemann-integrálható [0, 1]-en, akkor
Z1
I(x) = x(t)dt.
0
Bizonyítás. Legyen c ∈ R és
£ ¢
c ha t ∈ k−1n
, k
n
xk (t) = (k = 1, . . . , n),
0 a [0, 1) többi pontjaiban,
amiből
c
I(xk ) = (k = 1, . . . , n).
n
A (4) tulajdonság miatt I monoton, azaz I(x) ≥ I(y), ha x(t) ≥ y(t) t ∈ [0, 1).
Legyen
c ha t = 0
δ(t) =
0 a [0, 1) többi pontjaiban,
akkor c ≥ 0 esetén, a monotonitás miatt bármely n-re
c
0 = I(0) ≤ I(δ) ≤ I(x1 ) = ,
n
amiből I(δ) = 0, és ez I homogenitása miatt tetszőleges c ∈ R mellett is igaz.
Ez azt jelenti, hogy egy M -beli függvényt egy (illetve véges £sok) pontban
¤ meg-
k−1 k
változtatva az I funkcionál értéke nem változik. Jelölje χk a n n intervallum
62 2. FEJEZET. LINEÁRIS TEREK
P
n
k
Az x0 (t) = x(t) χk (t) képlettel definiált x0 függvény csak a n
osztópontokban
k=1
térhet el x-től, így I(x) = I(x0 ), és
n
à n ! à n
! n
X 1 X X X 1
mk = I mk χ k ≤ I(x) ≤ I Mk χk = Mk .
k=1
n k=1 k=1 k=1
n
és
p(x) = inf Π(x; α1 , . . . , αn ).
α1 ,...,αn ∈R, n∈N
másrészt
1
P
n P
m
Π(x + y; γ11 , . . . , γnm ) = sup nm (x(t + αi + βj ) + y(t + αi + βj ))
t i=1 j=1
1
P
m P
n P
n P
m
≤ m
sup n1 x(t + βj + αi ) + 1
n
sup m1 y(t + αi + βj )
j=1 t i=1 i=1 t j=1
1
Pm Pn P
n P
m
= m
sup n1 x(s + αi ) + 1
n
sup m1 y(s + βj )
j=1 s i=1 i=1 s j=1
1
Pm
1
P
n
= m
Π(x; α1 , . . . αn ) + n
Π(y; β1 , . . . , βm )
j=1 i=1
= Π(x; α1 , . . . αn ) + Π(y; β1 , . . . βn ) < p(x) + p(y) + 2ε.
Innen p(x + y) ≤ p(x) + p(y + 2ε), és ε → 0-val adódik, hogy p szubadditív:
p(x + y) ≤ p(x) + p(y).
A Hahn-Banach tétel következménye szerint létezik olyan I1 lineáris funkcionál
M -en, melyre
−p(−x) ≤ I1 (x) ≤ p(x) (x ∈ M ).
Megmutatjuk, hogy I1 -re az (4), (5), (7) tulajdonságok teljesülnek.
(4) Ha x(t) ≥ 0 (t ∈ R), úgy p(−x) ≤ 0, −p(−x) ≥ 0, így I1 (x) ≥ 0.
(5) Legyen x0 (t) = x(t + t0 ) − x(t), és αi = (i − 1)t0 (i = 1, . . . , n + 1), akkor
1
P 0
n+1
p(x0 ) ≤ Π(x0 ; α1 , . . . , αn+1 ) = n+1 sup x (t + αi )
t i=1
1
P³ ¡
n+1 ¢ ¡ ¢´
= n+1 sup x t + t0 + (i − 1)t0 − x t + (i − 1)t0
t ³i=1 ´
1
¡ ¢
= n+1 sup x t + t0 + (n − 1)t0 − x(t0 ) .
t
µE ≥ 0, azaz µ nemnegatív,
µ végesen additív,
µ[0, 1] = 1.
65
66 3. FEJEZET. LINEÁRIS TOPOLÓGIKUS ÉS NORMÁLT TEREK
A 3.1 tételből következik, hogy egy lineáris topológikus tér topológiája (rövi-
den vektortopológia) mindig eltolásinvariáns, azaz G ⊂ X akkor és csakis akkor
nyílt, ha a + G (a ∈ G) nyílt, Ezért a topológiát teljesen meghatározza bármely
pont környezetbázisa, így a 0 környezetbázisa is. Ha B a 0 egy környezetbázisa,
úgy X nyílt halmazai éppen azok a halmazok lesznek, melyek B-beli halmazok
eltoltjainak uniójaként írhatók fel.
Y +Y ⊂Y +Y =Y,
λY ⊂ λY = Y ,
ami azt jelenti, hogy Y zárt lineáris altér.
λC + (1 − λ)C ⊂ λC + (1 − λ)C ⊂ C.
λC ◦ + (1 − λ)C ◦ ⊂ C.
αB ⊂ αB ⊂ B.
(8) nulla bármely környezete tartalmazza nulla egy konvex szimmetrikus kör-
nyezetét.
68 3. FEJEZET. LINEÁRIS TOPOLÓGIKUS ÉS NORMÁLT TEREK
tehát A szimmetrikus. ¤
3.3. Definíció. Egy lináris topológikus teret lokálisan konvex nek nevezünk, ha
0-nak van konvex halmazokból álló környezetbázisa.
A 3.3 tétel alapján fennáll az alábbi
3.4. Tétel. Legyen p egy félnorma az X lineáris téren, ε > 0 egy konstans, akkor
az
U = {x ∈ X | p(x) < ε}
halmaz konvex, szimmetrikus, elnyelő halmaz.
U1 = x + U (γ1 , . . . , γn ; ε1 , . . . , εn ),
U2 = x + U (γ10 , . . . , γm
0
; ε01 , . . . , ε0m ),
akkor
0
U0 = x + U (γ1 . . . , γn , γ10 , . . . , γm ; ε1 , . . . , εn , ε01 , . . . , ε0m ) ⊂ G1 ∩ G2
így G1 ∩ G2 ∈ G. S
Végül, ha Gα ∈ G (α ∈ A) és x ∈ Gα , úgy van olyan α0 ∈ A, hogy
α∈A
x ∈ GαS
0 , így létezikSolyan Uα0 ∈ B(x), melyre Uα0 ⊂ Gα0 . De akkor Uα0 ⊂
Gα0 ⊂ Gα , azaz Gα ∈ G. Ezzel beláttuk, hogy G topológia. B(0) halmazai
α∈A α∈A
nyíltak, ugyanis ha x ∈ U (γ1 , . . . , γn ; ε1 , . . . , εn ), akkor pγi (x) = ηi < εi (i =
1, . . . , n), és
ε1 − η1 εn − ηn
x + U (γ1 , . . . , γn ; ,..., ) ⊂ U (γ1 , . . . , γn ; ε1 , . . . , εn ),
2 2
mert
εi − ηi εi + ηi
pγi (x + u) ≤ pγi (x) + pγi (u) < ηi + < εi .
2 2
Ha V egy tetszőleges környezete 0-nak, úgy 0 ∈ V , így van olyan U ∈ B(0), hogy
U ⊂ V , ami azt jelenti, hogy B(0) környezetbázisa 0-nak.
3.5. Tétel. Legyen X egy lineáris tér, {pγ } (γ ∈ Γ) félnormák egy rendszere X-
en. E félnorma rendszer által indukált topológiával X lokálisan konvex lineáris
topológikus tér lesz, melyben minden pγ (γ ∈ Γ) félnorma folytonos függvény.
E topológiában xn → x (n → ∞) akkor és csakis akkor, ha bármely γ ∈ Γ
mellett pγ (xn − x) → 0, ha n → ∞.
E topológia akkor és csakis akkor Hausdorff-féle, ha bármely x 6= 0, x ∈ X-hez
létezik olyan γ ∈ Γ, hogy pγ (x) 6= 0.
Megjegyzés. Egy topológikus tér elemeinek {xn } sorozatát konvergensnek ne-
vezzük, ha van olyan x eleme a térnek, hogy x bármely U környezetéhez található
olyan N = N (x, U ) szám, hogy xn ∈ U , ha n > N . x-et a sorozat limeszének
nevezzük (jelölés xn → x (n → ∞) vagy lim xn = x). A konvergencia néhány
n→∞
tulajdonságára vonatkozóan ld. a 30. feladatot.
3.2. FÉLNORMA RENDSZER ÁLTAL INDUKÁLT TOPOLÓGIA 71
U1 = x + y + U (γ1 , . . . , γn ; ε1 , . . . , εn ) ⊂ U,
akkor
ε1 εn
V = x + U (γ1 , . . . , γn ;
, . . . , ) ∈ B(x),
2 2
ε1 εn
W = y + U (γ1 , . . . , γn ; , . . . , ) ∈ B(y)
2 2
és V + W ⊂ U1 ⊂ U , így az összeadás folytonos.
Legyen most U a λ0 x0 egy környezete, úgy
U1 = λ0 x0 + U (γ1 , . . . , γn ; ε1 , . . . , εn ) ⊂ U.
és
Legyenek η, δi (i = 1, . . . , n) olyan pozitív számok, hogy
így a számmal való szorzás folytonos. Ezért X lokálisan konvex, lineáris topoló-
gikus tér.
Megmutatjuk, hogy pγ (γ ∈ Γ) folytonos függvény. Legyen x0 ∈ X és V a
pγ (x0 ) egy környezete. Legyen ε > 0 olyan, hogy (pγ (x0 ) − ε, pγ (x0 + ε) ⊂ V ,
akkor
U = x0 + U (γ, ε) ∈ B(x0 )
x0 környezete, melyre pγ (U ) ⊂ V , mert ha x ∈ U , úgy x − x0 ∈ U (γ, ε) és
volna, így
pγ (x) = pγ (x − y + y) ≤ pγ (x − y) + pγ (y) < η = pγ (x),
ami ellentmondás.
3.7. Tétel. Legyen X egy tetszőleges lokálisan konvex lineáris topológikus tér,
B(0) a nulla konvex, szimmetrikus, elnyelő halmazokból álló környezetbázisa,
akkor B(0) környezeteinek Minkowski funkcionáljaiból álló
{ pU | U ∈ B(0) }
félnormarendszer által indukált (lokálisan konvex) topológia megegyezik X ere-
deti topológiájával.
10. Következmény. Egy lineáris téren értelmezett topológia akkor és csakis ak-
kor lokálisan konvex vektortopológia, ha e topológiát a lineáris tér valamely fél-
norma rendszere indukálja.
3.4. LINEÁRIS NORMÁLT ÉS BANACH-TEREK 75
(2) bármely x ∈ X elemhez hozzá van rendelve egy ||x|| valós szám (melyet x
normájának nevezünk) úgy, hogy
Legyen X lineáris normált tér, akkor azonnal látható, hogy p(x) = kxk félnor-
ma X-en, (melyre p(x) 6= 0, ha x 6= 0) továbbá, hogy %(x, y) = kx − yk metrika
X-en. Egy lineáris normált teret mindig ezen metrikából származó topológiával
látunk el (hacsak mást nem mondunk). Így nulla környezetbázisa e topológiában
a
G(0, ε) = {x ∈ X | kxk < ε} (ε > 0)
nulla körüli összes nyílt gömbök halmaza. Mivel ez azonos a p(x) = kxk norma
(mint egyetlen félnormából álló rendszer) által indukált topológia nulla körüli
környezetbázisával, így a 3.5 tétel alapján minden lineáris normált tér lokálisan
konvbex lineáris topológikus tér. Ez természetesen belátható a 3.5 tétel felhaszná-
lása nélkül is úgy, hogy a norma (a), (b), (c) tulajdonságai segítségével igazoljuk
az összeadás és a skalárral való szorzás folytonosságát.
A %(x, y) = kx − yk metrika abszolút homogén és eltolásinvariáns, azaz bár-
mely x, y, z ∈ X, λ ∈ K esetén
3.8. Tétel. Egy lineáris metrikus tér metrikája akkor és csakis akkor származ-
tatható egy normából, a %(x, y) = kx − yk összefüggéssel, ha % teljesíti a (i), (ii)
feltételeket.
76 3. FEJEZET. LINEÁRIS TOPOLÓGIKUS ÉS NORMÁLT TEREK
akkor
kxk ≥ 0 és kxk = %(x, 0) = 0 ⇐⇒ x = 0,
C(X)-nél:
A S(X, S, µ) (és s) tér ezzel szemben nem tehető lineáris normált térré úgy,
hogy %(x, y) = kx − yk teljesüljön, ugyanis az S-beli metrika nem abszolút ho-
mogén (de eltolásinvariáns).
3.7. Definíció. Egy lineáris normált teret Banach-tér nek nevezünk, ha teljes (a
%(x, y) = ||x − y|| metrikában).
1.5-ben bebizonyítottuk, hogy C(X) teljes, így Banach-tér.
(n)
3.8-ban igazolni fogjuk, hogy Lp (X, S, µ) (lp , lp ), c, c0 is Banach-terek.
Egy X lineáris normált tér Y részhalmaza pontosan akkor lesz maga is lineáris
normált tér (X műveleteivel és normájával), ha x, y ∈ Y , λ ∈ K esetén x +
y ∈ Y és λx ∈ Y teljesül, azaz Y az X-nek, mint lineáris térnek altere (ekkor
azt mondjuk, hogy Y az X lineáris normált tér lineáris altere). Banach-terek
3.5. SOROZATOK ÉS SOROK NORMÁLT TEREKBEN 77
3.8. Definíció. Egy lineáris normált tér egy részhalmazát zárt rendszer nek ne-
vezzük, ha e részhalmaz lineáris burka mindenütt sűrű halmaz a térben.
Egy lineáris normált tér minimális számosságú zárt rendszerének a számos-
ságát a tér geometriai dimenziójának nevezzük.
xn + yn → x + y
λn xn → λx (ha n → ∞).
kxn k → kxk
3.10. Definíció. Legyen {xn } az X lineáris normált tér elemeinek egy sorozata.
P∞ P
∞
A xi kifejezést sor nak nevezzük, xi a sor általános tagja. A xi sort konver-
i=1 i=1
gensnek, az s ∈ X elemet a sor összegének nevezzük, ha a sor részletösszegeinek
n
X
sn = xi (n ∈ N)
i=1
P
∞
sorozata konvergens, és határértéke s. Ekkor azt írjuk, hogy xi = s.
i=1
P
∞ P
∞
A xi sort abszolút konvergensnek nevezzük, ha a kxi k sor konvergens.
i=1 i=1
3.9. Tétel. Egy lineáris normált tér akkor és csakis akkor Banach-tér, ha benne
minden abszolút konvergens sor konvergens.
P
∞
Bizonyítás. Szükségesség. Legyen X Banach tér, és xi egy abszolút konver-
i=1
P
n
gens sor X-ben. Akkor az αn = kxi k (n ∈ N) számsorozat konvergens, így
i=1
Cauchy-sorozat. Ezért bármely ε > 0-hoz van olyan N (ε), hogy
|αn − αm | < ha n, m > N (ε).
Innen
ksn − sm k = kxm+1 + · · · + xn k = kxm+1 k + · · · + kxn k = |αn − αm | < ε
P
∞
ha n > m > N (ε), ami azt jelenti, hogy xi részletösszegeinek {sn } sorozata
i=1
Cauchy-sorozat, mely a teljesség miatt konvergens.
Elegendőség. Tegyük fel, hogy X lineáris normált tér, melyben minden abszo-
lút konvergens sor konvergens. Legyen {xn } egy X-beli Cauchy-sorozat, megmu-
tatjuk, hogy {xn } konvergens. Válasszuk az n1 < n2 < · · · indexsorozatot úgy,
hogy
1
kxnk+1 − xnk k < k (k ∈ N).
2
P∞
Ebből következik, hogy az xn1 + (xnk+1 − xnk ) sor abszolút konvergens. Felte-
k=1
vésünk miatt ugyanez a sor konvergens is, azaz részletösszegeinek
p
X
sp = xn1 + (xnk+1 − xnk ) = xnp+1 (p ∈ N)
k=1
3.11. Definíció. Az X lineáris normált tér elemeinek egy {en } sorozatát a tér
Schauder-bázisának nevezzük, ha bármely x ∈ X egyértelműen előállítható
∞
X
x= ci ei
i=1
i
`
Példák. 1. A c0 térben az ei = (0, . . . , 0, 1, 0, . . . ) (i ∈ N) vektorok Schauder-
bázist alkotnak. Ugyanis, ha x = (ξ1 , ξ2 , . . . ) ∈ c0 , úgy
° n
X ° ° °
° ° ° ° sup |ξi | → 0
° x − ξi i ° = (0, . . . , 0, ξn+1 , ξn+2 , . . . )
e
i≥n+1
i=1
P
∞
ha n → ∞, mert {ξi } nullsorozat. Így x = ξi ei az x elem kívánt előállítása.
i=1
P
∞
Ez az előállítás egyértelmű, mert ha x = ξi0 ei volna, úgy
i=1
∞
X n
X
0= (ξi − ξi0 )ei = lim (ξi − ξi0 )ei .
n→∞
i=1 i=1
k ≤ n mellett
°X
n °
° °
0 ≤ |ξk − ξk0 | ≤ sup{|ξ1 − ξ10 |, . . . , |ξn − ξn0 |}° (ξi − ξi0 )ei °.
i=1
P
n
(k) (k)
3. Segédtétel. Ha yk = βi ϕi (βi ∈ K, k ∈ N) korlátos sorozat, akkor
i=1
P
n
(k)
σk = |βi | (k ∈ N) is korlátos számsorozat.
i=1
A lemma bizonyítása. Ha {σk } nem korlátos, úgy van olyan részsorozata, mely
∞-hez tart. A jelölések egyszerűsítése miatt legyen ez a részsorozat maga {σk }.
Ekkor
Xn (k)
yk βi
= ϕi → 0 ha k → ∞.
σk i=1
σk
(k)
(k) β
γi = i (k ∈ N) minden i = 1, 2, . . . , n mellett korlátos sorozat, így van olyan
n o σk
(kp )
γi részsorozata, mely i = 1, 2, . . . , n mellett konvergens:
(kp )
γi → γi ha p → ∞, i = 1, . . . , n.
Ekkor
ykp
→0 ha p → ∞, másrészt
σkp
ykp P
n
(kp ) P
n
= γi ϕi → γi ϕi , ha p → ∞,
σkp i=1 i=1
3.6. KOMPAKT HALMAZOK NORMÁLT TEREKBEN 81
P
n
amiből γi ϕi = 0. A ϕ1 , . . . , ϕn rendszer lineáris függetlensége miatt γ1 , = · · · =
i=1
γn = 0, ám ez lehetetlen, mert
¯ ¯
Xn ¯ (kp ) ¯ n
X
¯ βi ¯
1= ¯ ¯→ |γi | ha p → ∞,
¯ σkp ¯
i=1 i=1
P
n
így |γi | = 1. Ellentmondásra jutottunk, ezért {σk } korlátos.
i=1
P
n
ugyanakkor xkp → x, ha p → ∞, így x = αi ϕi .
i=1
Megmutatjuk még, hogy αi (k) → αi ha k → ∞, i = 1, 2, . . . , n. Legyen k
olyan index, hogy xk 6= x, akkor az
xk − x
yk = (k ∈ N)
kxk − xk
sorozat korlátos, így a lemma alapján
n
X (k)
|α − αi |
i
≤M (k ∈ N),
i=1
kxk − xk
amiből
1
X
(k) (k)
0 ≤ |αi − αi | ≤ |αj − αj | ≤ M kxk − xk,
j=1
(k)
és ez xk = x esetén is igaz. Ebből viszont következik, hogy αi → αi , ha k → ∞,
i = 1, 2, . . . , n.
Elegendőség. Következik a
n
X (k)
0 ≤ kxk − xk ≤ |αi − αi | kϕi k
i=1
egyenlőtlenségből. ¤
82 3. FEJEZET. LINEÁRIS TOPOLÓGIKUS ÉS NORMÁLT TEREK
3. Egy lineáris normált tér bármely véges (algebrai vagy geometriai) dimenziós
lineáris altere zárt.
4. Véges dimenziós lineáris normált tér egy részhalmaza akkor és csakis akkor
kompakt, ha korlátos és zárt.
Ugyanis ha K kompakt részhalmaza a véges dimenziós X lineáris normált
térnek, úgy a Hausdorff-tétel (1.23 tétel 2. következménye) miatt K zárt és
teljesen korlátos, tehát korlátos is.
Ha most K ⊂ X zárt és korlátos halmaz és ϕ1 , . . . , ϕn olyan lineárisan
független rendszer, hogy X = [ϕ1 , . . . , ϕn ], úgy tetszőleges K-beli {xk }
sorozatot véve
X n
(k)
xk = αi ϕi
i=1
P
n
(k)
és {xk }korlátos, így a 3.11 lemma szerint σk = |αi | (k ∈ N) is korlátos,
i=1
van tehát olyan k1 < k2 < · · · indexsorozat, hogy
(kp )
αi → αi ha p → ∞, i = 1, 2, . . . , n.
3.6. KOMPAKT HALMAZOK NORMÁLT TEREKBEN 83
Ezért
n
X
xkp → x = αi ϕi , ha p → ∞, és K zártsága miatt x ∈ K,
i=1
5. Bármely véges dimenziós (valós vagy komplex) lineáris normált tér teljes.
Legyen ugyanis {xk } egy Cauchy-sorozat az X véges dimenziós térben. Mi-
vel egy Cauchy-sorozat korlátos ugyanúgy, mint 4. bizonyításában láttuk,
kiválasztható olyan {xkp } részsorozat, hogy xkp → x ∈ X ha p → ∞. Mivel
{xk } Cauchy-sorozat, ebből következik, hogy nemcsak e részsorozat, hanem
a teljes {xk } sorozat konvergens. ¤
Mivel Y zárt, z ∈
/ Y , így 0 < %(z, Y ) ≤ kz − yε k, képezhetjük tehát az
z − yε
xε = ∈S
kz − yε k
f (x) = %(x, Y ) (x ∈ X)
sup %(x, Y ) ≥ 1,
x∈S
f (x0 ) = %(x0 , Y ) = 1.
3.11. Tétel. Egy lineáris normált tér akkor és csakis akkor véges dimenziós, ha
a tér S(0, 1) = { x | kxk ≤ 1 } zárt egységgömbje kompakt.
3.12. Tétel. Ha Y véges dimenziós (így zárt) lineáris altere az X lineáris nor-
mált térnek, úgy bármely x ∈ X elemhez létezik őt legjobban approximáló y ∗ ∈ Y
elem.
H = { y ∈ Y | kx − yk ≤ kx − y0 k },
akkor
inf kx − yk = inf kx − yk.
y∈Y y∈H
Z1
Y = { y ∈ C[0, 1] | y(0) = 0, y(t)dt = 0 }
0
inf kx − yk = kx − y ∗ k.
y∈Y
1 1
kx − yn k = + (n = 2, 3, . . . ).
2 n
86 3. FEJEZET. LINEÁRIS TOPOLÓGIKUS ÉS NORMÁLT TEREK
Legyen ugyanis
µ ¶ ·
¸
n2 2
1− t ha t ∈ 0, 2 ,
4 n
· ¸
1 2 1
yn (t) = t− ha t ∈ 2 , 1 − ,
2 n n
· ¸
1 1 1
− ha t ∈ 1 − , 1 .
2 n n
yn éppen a 2. ábrán látható törtvonal, ahol a vonalkázott területek egyenlők. Az
1 1
ábrából látható, hogy yn ∈ Y és kx − yn k = + .
2 n
1
1
2
t
=
111
000
t)
000
111
x(
000
111 n
)
(t
111
000
yn
000
111
000
111 1 t
000
111
000
111
−111
000
1
2
2. ábra
2. Megmutatjuk, hogy bármely y ∈ Y -ra
1
kx − yk > .
2
Ellenkező esetben ugyanis valamely y ∗ ∈ Y -ra
1
|t − y ∗ (t)| ≤ kx − y ∗ k ≤ (t ∈ [0, 1]),
2
3.7. A LEGJOBB APPROXIMÁCIÓ PROBLÉMÁJA 87
amiből
1 1
t−≤ y ∗ (t) ≤ t + (t ∈ [0, 1]).
2 2
∗
Mivel y (0) = 0, így valamely δ > 0 mellett
1
t− < y ∗ (t) (t ∈ [0, δ]).
2
E két becslést felhasználva
Z1 µ ¶ Z1
1
0= t− dt < y ∗ (t)dt,
2
0 0
3.13. Tétel. Legyen X szigorúan normált lineáris normált tér, Y pedig X zárt
lineáris altere. Akkor bármely x ∈ X elemet legjobban approximáló Y -beli elem
(ha létezik) egyértelmű.
% = kx − y ∗ k = kx − y ∗∗ k
y ∗ + y ∗∗
teljesül, úgy ∈ Y miatt
2
° °
° y ∗
+ y ∗∗ °
%≤° ° ≤ 1 kx − y ∗ k + 1 kx − y ∗∗ k = %.
°x − 2 ° 2 2
88 3. FEJEZET. LINEÁRIS TOPOLÓGIKUS ÉS NORMÁLT TEREK
x − y ∗ = α(x − y ∗∗ ).
Bizonyítás. Az 1 ≤ p < ∞ esetben a 3.9 tétel miatt elég azt igazolni, hogy ha
xk ∈ Lp és
X∞
kxk kp = α < ∞,
k=1
P
∞
akkor a xk sor Lp -ben konvergens. Legyen
k=1
n
X
yn (t) = |xk (t)|,
k=1
akkor n
X
kyn kp ≤ kxk kp ≤ α,
k=1
vagy Z
ynp (t)dµt ≤ αp .
X
P
∞
így y majdnem mindenütt véges, azaz a |xk (t)| sor majdnem mindenütt kon-
k=1
P
∞
vergens. Ezért a xk (t) sor is majdnem minden t ∈ X-re konvergens, és összege
k=1
P∞
egy x(t) szám. Legyen x(t) = 0 azon t értékekre, melyekre xk (t) nem konver-
k=1
gens.
Megmutatjuk, hogy x ∈ Lp és
° °
°Xn °
° °
° xk − x° −→ 0, ha n → ∞.
° °
k=1 p
p = ∞-nél legyen {xn } egy L∞ -beli Cauchy-sorozat, azaz minden ε > 0-hoz van
olyan N (ε), hogy
kxn − xm k∞ < ε, ha n, m > N (ε).
Az 1.4 tétel szerint minden n, m indexpárhoz van olyan Enm nullmértékű
halmaz, hogy
kxn − xm k∞ = sup |xn (t) − xm (t)|.
t∈X\Enm
S
∞
Az E00 = Enm halmaz is nullmértékű és
n,m=1
|xn (t)−xm (t)| ≤ sup |xn (t)−xm (t)| ≤ sup |xn (t)−xm (t)| = kxn −xm k∞ < ε,
t∈X\E00 t∈X\Enm
Ez mutatja, hogy fix t ∈ X \ E00 mellett {xn (t)} valós vagy komplex elemű
Cauchy-sorozat, mely konvergens. Legyen
lim xn (t)
n→∞ ha t ∈ X \ E00
x(t) =
0 ha t ∈ E00 ,
kxn − xk∞ = inf sup |xn (t) − x(t)| ≤ sup |xn (t) − x(t)| ≤ ε, ha n > N (ε),
E t∈X\E00
t∈X\E
µE=0
azaz L∞ teljes. ¤
amiből
¯ ¯ ¯ ¯
¯ (n) ¯ ¯ (n) ¯
¯ξi − ξi ¯ ≤ sup ¯ξi − ξi ¯ kxn − xk∞ < ε ha n > N (ε), i ∈ N,
i
Ezt felhasználva
¯ ¯ ¯ ¯
¯ (n0 ) ¯ ¯ (n0 ) ¯
|ξi | < ¯ξi − ξi ¯ + ¯ξi ¯ < 2ε ha i > N2 (ε)
(j) K korlátos
(kk) K függvényei egyenlő mértékben folytonosak X-en, azaz bármely ε > 0-hoz
és bármely t ∈ X-hez van olyan V = V (ε, t) környezete t-nek, hogy
ahol k = max1≤i≤n kxi k, azaz (k) teljesül M (t) = ε + k-val. Minden ε > 0 és
t ∈ X-hez van olyan U (ε, t) környezete t-nek, hogy
|x(s) − x(t)| ≤ |x(s) − xj (s)| + |xj (s) − xj (t)| + |xj (t) − x(t)|
azaz
|x(s)| ≤ M1 ha s ∈ X, x ∈ K.
x ∈ K esetén legyen
¡ ¢
p(x) = x(t1 ), x(t2 ), . . . , x(tm ) ,
© ¯ ª
akkor P = p(x) ¯ x ∈ K ⊂ l2 korlátos halmaz l2 -ben, így (a 3.1 tétel és
(m) (m)
az 1.22 tétel 3. következménye miatt) teljesen korlátos. Van tehát véges ε > 0
háló P számára, így létezik véges sok x1 , x2 , . . . , xq úgy, hogy bármely x ∈ K
esetén p(x) valamely p(xj ) ε-sugarú környezetében van, tehát
¯ ¯ ° °
¯x(ti ) − xj (ti )¯ ≤ °p(x) − p(xj )° < ε, ha i = 1, 2 . . . , m.
2
így
¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯
¯x(t) − xj (t)¯ ≤ ¯x(t) − x(ti )¯ + ¯x(ti ) − xj (ti )¯ + ¯xj (ti ) − xj (t)¯ < 3ε,
azaz
kx − xj k < 3ε.
Ez azt jelenti, hogy az x1 , x2 , . . . , xq ∈ K pontok (véges) 3ε-hálót alkotnak K
számára, ezért K teljesen korlátos, így relatív kompakt.
4. fejezet
Legyen {cn } olyan sorozat, hogy cn → kAk és kAxk ≤ cn kxk (x ∈ X), akkor
n → ∞ határátmenettel kAxk ≤ kAk · kxk (x ∈ X) adódik, ami azt jelenti, hogy
(4.2)-ben az infimum felvétetik. Így kAk-t jellemzik a következő tulajdonságok:
94
4.1. LINEÁRIS OPERÁTOROK 95
bármely ε > 0-hoz van olyan xε ∈ X, hogy kAxε k > (kAk − ε) kxε k.
A (4.1) egyenlőtlenség x = 0-nál mindig teljesül, így (4.1) ekvivalens az
kAxk
≤c (x ∈ X, x 6= 0)
kxk
kAxk
kAk = sup = sup kAyk.
x6=0 kxk kyk=1
4.1. Tétel. Egy (normált teret normált térbe leképező) lineáris operátor akkor
és csakis akkor folytonos, ha korlátos.
4.2. Tétel. Valós lineáris normált téren értelmezett additív és folytonos operá-
tor homogén, így lineáris.
A(nx) = nAx (n ∈ N, x ∈ X)
A(0x) = 0Ax (x ∈ X)
96 4. FEJEZET. LINEÁRIS OPERÁTOROK ÉS FUNKCIONÁLOK
amiből
A(rx) = rAx,
tehát tetszőleges r racionális szám kiemelhető. Legyen most λ valós, és {rn }
racionális számok λ-hoz konvergáló sorozata, akkor bármely x ∈ X esetén
rn x → λx ha n → ∞,
azaz A homogén. ¤
Legyen x∗ olyan folytonos függvény melynek értékei [−1, 1]-be esnek, és melyre
x∗ (ti ) = sgn ci , akkor
¯ n ¯ n
¯X ¯X n
X
∗ ¯ ∗ ¯
|f (x )| = ¯ ci x (ti )¯ |ci | = |ci | · kx∗ k
¯ ¯
i=1 i=1 i=1
amiből n
X
kf k ≥ |ci |.¤
i=1
(n) (m)
Legyen X = lp , Y = lq és A : X → Y egy lineáris operátor. Bevezetve az
i
`
(n)
ei = (0, . . . , 0, 1, 0, . . . , 0) ∈ lp , (i = 1, . . . , n)
j
`
(m)
fj = (0, . . . , 0, 1, 0, . . . , 0) ∈ lq , (j = 1, . . . , m)
(n) (m)
vektorokat az x = (ξ1 , . . . , ξn ) ∈ lp és y = Ax = (η1 , . . . , ηm ) ∈ lq
n
X m
X
x= ξi ei y= ηj fj
i=1 j=1
Aei felírható
m
X
Aei = aji fj
j=1
alakba, s ezzel à n !
n
X m
X m
X X
Ax = ξi aji fj = aji ξi fj .
i=1 j=1 j=1 i=1
Ugyanakkor
m
X
Ax = η j fj ,
j=1
98 4. FEJEZET. LINEÁRIS OPERÁTOROK ÉS FUNKCIONÁLOK
Így az A operátort az
a11 a12 ... a1n
a21 a22 ... a2n
A= .. .. .. ..
. . . .
am1 am2 . . . amn
n
X
(k) (k)
ηj = aji ξi ,
i=1
amiből
n
X
(k)
lim ηj = aji ξi = ηj (j = 1, . . . , m),
n→∞
i=1
m
X
≤ max |aji | · kxk1 = αkxk1 ,
i
j=1
amiből
kAk ≤ α.
Ha α = 0, úgy kAk = 0 = α és az állításunk igazolt. Ha α > 0, úgy legyen i0 egy
olyan index, melyre
Xm
|aji0 | = α,
j=1
∗ ∗
és legyen x = ei0 . Akkor kx k1 = 1, és
m
X
∗
kAx k1 = |aji0 | = α = αkx∗ k1 ,
j=1
amiből
kAk ≥ α
következik, s ezzel (4.4)-et igazoltuk. ¤
amiből
kAk ≤ β.
Ha β = 0, úgy kAk = 0 = β. β > 0 esetén jelöljön j0 egy olyan indexet, melyre
n
X
|aj0 i | = β),
i=1
amiből
kAk ≥ β,
így (4.5)-öt igazoltuk. ¤
100 4. FEJEZET. LINEÁRIS OPERÁTOROK ÉS FUNKCIONÁLOK
P
m
kAk2 = supkxk2 =1 kAk22 = supkxk2 =1 ηj η j
j=1
µ ¶
P
m P
n P
n
= supkxk2 =1 aji ξi ajk ξ k
j=1 i=1 k=1
µ ¶
P
n P
n ®
= supkxk2 =1 bki ξi ξ k supkxk2 =1 Bx, x ,
k=1 i=1
P
m
ahol bki = aji ajk (k, i = 1, . . . , m) és B a B = (bki ) = A∗ A mátrix által meg-
j=1
határozott lineáris operátor.
amiből
kBk ≤ λ1 .
De x = x1 -nél
kBx1 k22 = λ21 kx1 k22 ,
így kBk = λ1 .
Ha megmutatjuk, hogy
®
kBk = sup Bx, x
kxk2 =1
így
®
sup Bx, x ≤ kBk.
kxk2 =1
Mivel x = x1 -nél
® ®
Bx1 , x1 = λx1 , x1 = λ1 kx1 k22 = λ1 = kBk,
®
ezért sup Bx, x = kBk, s állításunk bizonyított.
kxk2 =1
Zb
(Ax)(t) = K(t, s)x(s)ds x ∈ C[a, b]
a
Zb
kAk = max |K(t, s)|ds.
t∈[a,b]
a
102 4. FEJEZET. LINEÁRIS OPERÁTOROK ÉS FUNKCIONÁLOK
így
Zb
kAxk = sup |(Ax)(t)| ≤ sup |K(t, s)|ds · kxkγkxk,
t t
a
Rb
ugyanis a t → |K(t, s)|ds függvény folytonos, így sup helyett max írható. Ez
a
azt jelenti, hogy A korlátos és
kAk ≤ γ.
Van olyan t0 ∈ [a, b], melyre
Zb
γ= |K(t0 , s)|ds.
a
Ekkor elég kis ε esetén kxε k = 1 (kivéve a K(t0 , s) = 0 (s ∈ [a, b]) esetet, amikor
γ = 0, így kAk = 0 = γ) és
¯b ¯
¯R ¯
kAk = sup kAxk ≥ kAxε k = sup ¯¯ K(t, s)xε (s)ds¯¯
kxk=1 t a
¯b ¯
¯R Rb ¯
= max ¯ K(t, s) (xε (s) − sgn K(t0 , s)) ds + K(t, s)sgn K(t0 , s)¯¯ .
¯
t a a
4.2. PÉLDÁK 103
R
≤ |K(t, s)| · |xε (s) − sgnK(t0 , s)|ds ≤ 2 maxt,s |K(t, s)| · µEε = ε,
Eε
és
¯ ¯
¯Z ¯
¯ ¯
|β1 + β2 | ≥ ||β1 | + |β2 || ≥ |β2 | − |β1 | ≥ ¯ K(t, s)sgnK(t0 , s)ds¯¯ − ε.
¯
¯ ¯
Eε
¯ ¯
¯R ¯ Rb
¯ ¯
≥ ¯ K(t0 , s)sgn K(t0 , s)ds¯ − ε |K(t0 , s)|ds − ε = γ − ε,
¯Eε ¯ a
amiből ε → 0 határátmenettel
kAk ≥ γ,
s ezt az kAk-ra vonatkozó első becslésünkkel összevetve kapjuk, hogy kAk = γ.
¤
4.8. Tétel. Legyen k : [a, b] → R valós értékű folytonos függvény az [a, b] inter-
vallumon, akkor az
Zb
f (x) = k(s)x(s)ds (x ∈ C[a, b])
a
Zb
kf k = |k(s)|ds.
a
(A + B)x = Ax + Bx
(x ∈ X, λ ∈ K).
(λA)x = λAx
(AB)x = A(Bx) (x ∈ X)
egyenlőséggel definiáljuk.
(2) Z elemeinek K-beli elemekkel való Z-beli értékű szorzata van definiálva,
azaz K × Z 3 (λ, z) → λz ∈ Z úgy, hogy
λ(z + w) = λz + λw,
(λ + µ)z = λz + µz,
(λµ)z = λ(µz),
1·z = z,
λ(zw) = (λz)w = z(λw)
4.10. Tétel. L(X, Y ) algebra a fenti összeadás, skalárral való szorzás és szor-
zásra nézve.
A bizonyítást az olvasóra hagyjuk. ¤
Legyenek most X, Y lineáris normált terek azonos skalártartománnyal, és
jelölje B(X, Y ) az X-et Y -ba képező lineáris korlátos operátorok halmazát.
° ° ° °
kA + Bk = sup °(A + B)x° = sup °Ax + Bx°
kxk=1 kxk=1
Ax = lim An x (x ∈ X).
n→∞
= Ax + Ay,
4.5. Definíció. Legyen X egy lineáris normált tér a K test felett. A B(X, K)
teret X konjugált terének, vagy (normált) duális terének nevezzük és X ∗ -gal
jelöljük. ¤
X ∗ -ot tehát az X-en értelmezett összes lineáris korlátos funkcionálok alkotják
a pontonkénti összeadással és számmal való szorzással, valamint az
|f (x)|
kf k = sup
x6=0 kxk
normával ellátva.
F (u) = f (u) (u ∈ X0 ),
F (x) ≤ p(x) (x ∈ X).
másrészt
−p(−x) ≤ F (x) ≤ p(x),
|F (x)| ≤ |f k · kxk,
amiből
kF k ≤ kf k,
ezzel kF k = kf k.
Komplex lineáris normált tér esetén p(x) = kf k · kxk félnorma X-en, és
|f (x)| ≤ p(x) (x ∈ X0 ). Így alkalmazhatjuk a Bohnenblust-Sobczyk tételt, és
a kapott F funkcionálról az előzőekhez hasonlóan beláthatjuk, hogy f lineáris
normatartó kiterjesztése lesz. ¤
f (x) = 0 ha x ∈ X0 ,
f (x1 ) = d,
kf k = 1.
f1 (y) = λd (y = x + λx1 ∈ X1 )
d d d d
= sup x sup = = 1.¤
x∈X0 k + x1 k u∈X0 kx1 − uk u∈X
inf kx1 − uk d
λ6=0 λ 0
4.5. KONJUGÁLT TÉR, REFLEXÍV TEREK 109
f (x1 ) = kx1 k,
kf k = 1
Fx0 (f ) = f (x0 ) (f ∈ X ∗ )
teljesül, de akkor
|Fx0 (f0 )| |Fx0 (f0 )|
kFx0 k = sup ≥ = f0 (x0 ) = kx0 k,
f 6=0 kf k kf0 k
Jx = Fx (x ∈ X, Fx ∈ X ∗∗ )
vagy
(Jx)(f ) = Fx (f ) = f (x) (x ∈ X, f ∈ X ∗ )
összefüggéssel definiált J : X → X ∗∗ leképezést az X lineáris normált térnek a
második konjugált terébe való természetes leképezésnek nevezzük. ¤
4.17. Tétel. Bármely lineáris normált tér egy Banach-tér sűrű lineáris altere
(és ez a Banach-tér az eredeti normált teret fixen hegyó izometrikus és izomorf
leképezéstől eltekintve egyértelmű).
4.18. Tétel. Egy X lineáris normált tér gyenge topológiája lokálisan konvex
Hausdorff-féle vektortopológia. E topológiában az {xn } sorozat akkor és csakis
akkor konvergál x-hez, ha bármely f ∈ X ∗ esetén f (xn ) → f (x) ha n → ∞. ¤
Megjegyzés. Az, hogy a gyenge topológia Hausdorff-féle a 4.14 tétel 2. követ-
kezményéből adódik.
A gyenge topológia a reflexív terek jellemzésében nagyon fontos.
112 4. FEJEZET. LINEÁRIS OPERÁTOROK ÉS FUNKCIONÁLOK
4.19. Tétel.
¯ Egy X Banach-tér akkor és csakis akkor reflexív, ha az S(0, 1) =
¯
{x ∈ X kxk ≤ 1} zárt egységgömbje kompakt a gyenge topológiában.
A bizonyítás megtalálható pl. [6]-ban.¤
Tekintsük most egy X normált tér X ∗ konjugált terét. X ∗ erős topológiája a
funkcionálok normájából származó topológia. X ∗ gyenge topológiája az előzőek
értelemszerű alkalmazásával egy lokálisan konvex Hausdorff-féle vektortopológia,
melynél minden f0 ∈ X ∗ pont környezet szubbázisát az
¯
S(f0 ; F ; ε) = {f ∈ X ∗ ¯ |F (f ) − F (f0 )| < ε}
Fx (f ) = f (x) (f ∈ X ∗ )
A 3.11 tétel szerint S ∗ (0, 1) akkor és csakis akkor kompakt az erős topológi-
ában, ha X ∗ véges dimenziós (nem nehéz belátni, hogy ez pontosan akkor igaz,
ha X véges dimenziós).
A 4.19 tétel szerint S ∗ (0, 1) akkor és csakis akkor kompakt a gyenge topológiá-
ban, ha X ∗ reflexív (ha X Banach-tér, akkor nem nehéz belátni, hogy X ∗ reflexív
⇐⇒ X reflexív).
Fentieket azért hangsúlyoztuk, hogy rámutassunk arra, hogy a helyzet a gyen-
ge* topológiánál egészen más: e topológiában S ∗ (0, 1) mindig kompakt.
Bizonyítás. Ha f ∈ S ∗ , akkor
|f (x)| ≤ kxk x ∈ X,
© ¯ ª
így f (x) ∈ Cx , ahol Cx = λ ∈ K ¯ |λ| ≤ kxk Q . Mivel Cx kompakt, ezért Tyiho-
nov tétele (Függelék 9.19. tétel) szerint C = Cx is kompakt. Emlékeztetünk
S x∈X
arra, hogy C elemei olyan g : X → Cx függvények, melyekre g(x) ∈ Cx (x ∈
x∈X
X) teljesül, így ha f ∈ S ∗ , akkor f ∈ C, tehát S ∗ ⊂ C.
S ∗ -on kétféle topológia van: az X ∗ gyenge* topológiájából kapott altér topo-
lógia, amiben bármely f0 ∈ S ∗ környezetbázisa
V ∗ (f0 ; x1 , . . . , xn ; ε1 , . . . , εn ) (4.9)
n ¯ o
¯
= f ∈ X ∗ ¯ f ∈ S ∗ , |f (xi ) − f0 (xi )| < εi (i = 1, . . . , n)
alakú, ahol xi ∈ X, εi > 0, i = 1, . . . , n; n = 1, 2, . . . .
A másik topológia a C topológiából származó altér topológia. C topológiája
definíció szerint a px (g) = g(x) (x ∈ X, g ∈ C) projekciók által indukált gyen-
ge topológia, melyben bármely g0 ∈ C környzetbázisa (a Függelék 9.13. tétele
alapján)
U (g0 ; px1 , . . . , pxn ; ε1 , . . . , εn )
n ¯ o
¯
= g ∈ C ¯ |pxi (g) − pxi (g0 )| < εi (i = 1, . . . , n)
n ¯ o
¯
= g ∈ C ¯ |g(xi ) − g0 (xi )| < εi (i = 1, . . . , n)
alakú. Az ebből származó altár topológia S ∗ -on olyan, hogy benne minden g0 ∈
S ∗ környezetbázisa
U (g0 ; px1 , . . . , pxn ; ε1 , . . . , εn ) ∩ S ∗ (4.10)
114 4. FEJEZET. LINEÁRIS OPERÁTOROK ÉS FUNKCIONÁLOK
n ¯ o
¯
= g ∈ C ¯ g ∈ S ∗ , |g(xi ) − g0 (xi )| < εi (i = 1, . . . , n)
alakú. Mivel (4.9) és (4.10) azonosak, így S ∗ két topológiája azonos. Ezért S ∗
kompaktságának igazolásához elegendő (a függelék 18. tétele alapján) azt meg-
mutatni, hogy S ∗ zárt halmaz C-ben.
Legyen g0 ∈ S ∗ , megmutatjuk, hogy g0 ∈ S ∗ . Mivel g0 ∈ C, így g0 (x) ∈ Cx ,
azaz |g0 (x)| ≤ kxk (x ∈ X). Ha megmutatjuk, hogy g0 lineáris, akkor készen
vagyunk. Legyen x, y ∈ X, ε > 0, akkor
U (g0 ; px , py , px+y ; ε, ε, ε)
n ¯ o
¯
g ∈ C ¯ |g(x) − g0 (x)| < ε, |g(y) − g0 (y)| < ε, |g(x + y) − g0 (x + y)| < ε
g0 egy környezete C-ben, melynek van S ∗ -beli pontja. Van tehát olyan f ∈ S ∗
lineáris funkcionál, melyre
amiből
|g0 (x + y) −g0 (x) − g0 (y)|
¯ ¯
= ¯g0 (x + y) − g0 (x) − g0 (y) − (f (x + y) − f (x) − f (y)) ¯
≤ |g0 (x + y) − f (x + y)| + |g0 (x) − f (x)| + |g0 (y) − f (y)| < 3ε.
Mivel ε tetszőleges pozitív szám, így g0 (x+y)−g0 (x)−g0 (y) = 0, azaz g0 additív.
Hasonlóan igazolható, hogy g0 homogén, és ezzel a tételt igazoltuk. ¤
4.22. Tétel. Bármely (teljes) lineáris normált tér izometrikus és izomorf va-
lamely kompakt Hausdorff-téren értelmezett folytonos függvények terének egy
(zárt) lineáris alterével
is teljesül, mert
¯ ¯
¯cFx (f )¯ = |f (x) ≤ kf k · kxk ≤ kxk ha f ∈ S ∗ ,
¯ ¯
így sup ¯cFx (f )¯ ≤ kxk. Ha x = 0, úgy itt egyenlőség van, ha x = x1 6= 0 rögzített,
f ∈S ∗
∗
úgy a 4.14 tétel 2. következménye szerint van ¯ olyan ¯ f1 ∈ S , melyre f1 (x1 ) =
kx1 k, így Fc ¯c ¯
x0 (f1 )f1 (x1 ) = kx1 k, amiből sup Fx (f ) = kxk. Ezzel beláttuk, hogy
f ∈S ∗
Jb izometria. Így X izomorf és izometrikus C(S ∗ )-nak az X1 = J(X)b lineáris
∗
alterével. Ha X Banach-tér, úgy X1 is az, ezért zárt altere C(S )-nak. ¤
(n)∗ (n)
2. 1 ≤ p < ∞ esetén lp és lq ( p1 + 1
q
= 1) itometrikusan izomorfak, és a
(n)∗ (n)
megfelelő f ∈ lp és y = (y1 , y2 , . . . ) ∈ lq vektorokat a
n
X ¡ ¢
f (x) = xi yi x = (x1 , . . . , xn ) ∈ lp(n)
i=1
116 4. FEJEZET. LINEÁRIS OPERÁTOROK ÉS FUNKCIONÁLOK
így speciálisan Z
f (x) = z(t)y(t)dµt ,
X
tehát J L∗∗
p -ra képez le. ¤
kyk = V (y),
Zb
f (x) = x(t)dy(t) (x ∈ C[a, b]) (4.12)
a
Zb
f (x) = x(t)dz(t) x ∈ C[a, b]
a
és
kf k ≥ V (z).
Legyen a = t0 < t1 < · · · < tn = b az [a, b] egy felosztása, és
Ekkor
n ¯
P ¯ ¡ ¢
¯z(ti ) − z(ti−1 )¯ = P λi z(ti ) − z(ti−1 )
n
i=1 i=1
P
n ¡ ¢ Pn ¡ ¢
= λi F (χ[a,ti ] ) − F (χ[a,ti−1 ] ) = λi F (χ(ti−1 ,ti ] )
i=1 i=1
µ ¶
P
n
=F λi Ξ(ti−1 ,ti ] ≤ kF k = kf k,
i=1
°P
∞ °
mert ° λi χ(ti−1 ,ti ] °∞ = 1, ha a λi számok nem mind zérusok. De egyenlőtlen-
i=1
ségünk λ1 = · · · = λn = 0 esetén is igaz, mert ekkor a baloldalon zérus áll. Így z
korlátos változású, és
V (z) ≤ kf k. (4.13)
Legyen most x ∈ C[a, b] és definiáljuk az xn függvényt az
n
X ¡ ¢
xn (t) = x(ti ) χ[a,ti ] (t) − χ[a,ti−1 ] (t)
i=1
egyenlőséggel, akkor
n
X ¡ ¢
F (xn ) = x(ti ) z(ti ) − z(ti−1 ) . (4.14)
i=1
Zb
x(t)dz(t)
a
Legyen
0 ha t = a
y(t) = z(t + 0) ha t ∈ (a, b) (4.16)
z(b) ha t = b.
Azt állítjuk, hogy y korlátos változású, y ∈ N BV [a, b], és
Zb Zb
x(t)dy(t) = x(t)dz(t) (x ∈ C[a, b]) (4.18)
a a
így c0 = a, cn = b-vel
n
X n
¯ ¯ X ¯ ¯
¯y(ti ) − y(ti−1 )¯ ≤ ¯z(ci ) − z(ci−1 )¯ + ε ≤ V (z) + ε.
i=1 i=1
V (y) ≤ V (z) + ε,
Zb
x(t)du(t) = 0,
a
y(t) − z(t) = 0,
120 4. FEJEZET. LINEÁRIS OPERÁTOROK ÉS FUNKCIONÁLOK
Zb Zb
f (x) = x(t)dz(t) = x(t)dy(t) (x ∈ C[a, b]),
a a
V (y) ≤ V (z) ≤ kf k.
Továbbá ¯ b ¯
¯Z ¯
¯ ¯ ¯ ¯ ¯ ¯
¯f (x)¯ = ¯ x(t)dy(t)¯ ≤ sup ¯x(t)¯ · V (y)V (y)kxk,
¯ ¯
¯ ¯ t
a
Zb Zb
f (x) = x(t)dy(t) = x(t)dy1 (t) (x ∈ C[a, b]),
a a
akkor
Zb
x(t)d(y − y1 )(t) = 0 (x ∈ C[a, b]),
a
így 0 = y(a) − y1 (a) = y(b) − y1 (b) = y(t) − y1 (t), ahol t ∈ (a, b) folytonossági
pontja y − y1 -nek. De akkor y(t + 0) = y1 (t + 0) bármely t ∈ (a, b) esetén (mert a
folytonossági pontok sűrű halmazt alkotnak (a, b)-ben), így y(t) = y1 (t) t ∈ [a, b].
A (4.12) által definiált f → y leképezés izometria, mely N BV [a, b]-re ké-
pez le (mert bármely y ∈ N BV [a, b]-t véve a (4.12) formula Stieltjes-integrál
tulajdonságai miatt C[a, b]∗ -beli funkcionált ad, mely képe éppen y) és izomor-
fizmus is, mert ha f → y, f1 → y1 , úgy a Stieltjes-integrál tulajdonságai miatt
f + f1 → y + y1 és λf → λy1 . ¤
összefüggés.
A bizonyítás megtalálható [6]-ban. ¤
P∞
= αf (ei ) + i=1 (ξi − α)ηi ,
P
∞
ahol ηi = f (ei ) (i = 1, 2, . . . ). Megmutatjuk, hogy |ηi | < ∞. xn =
i=1
= sgn η1 , sgn η2 , . . . , sgn ηn , 0, 0, . . . helyettesítéssel
n
X n
X
f (xn ) = ηi sgn ηi = |ηi | ≤ kf k · kxk.
i=1 i=1
P
∞
Ebből következik, hogy |ηi | < ∞. Ezért f (x)-et átírhatjuk a következőképpen:
i=1
∞
à ∞
! ∞ ∞
X X X X
f (x) = αf (e0 ) + (ξi − α)ηi α f (e0 ) − ηi + ξi ηi αη0 + ξi ηi ,
i=1 i=1 i=1 i=1
4.7. SPECIÁLIS TEREK KONJUGÁLT TEREI 123
P
∞ P
∞
ahol η0 = f (e0 ) − ηi = f (e0 ) − f (ei ). Ezzel beláttuk, hogy f (x) (4.19)
i=1 i=1
alakú. kf k kiszámítása céljából helyettesítsünk itt
P
∞
és ez akkor is igaz, ha η zérusvektor. Innen n → ∞-nel ηi → 0 ha n → ∞
i=n+1
alapján kapjuk, hogy
∞
X
kηk1 = |ηi | ≤ kf k.
i=0
Megjegyzések:
1. Ha (5.1) illetve (5.2) teljesül, akkor azt mondjuk, hogy az F funkcionál el-
választja illetve erősen elválasztja az A és B halmazokat.
¯ A tétel geometriai
jelentése a következő: nevezzük a H = {x ∈ X ¯ F (x) = c} ¯ halmazt (az
F és c által meghatározott)
¯ hipersíknak, a H = {x ∈ X ¯ F (x) ≥ c} és
+
124
5.1. A HAHN-BANACH TÉTEL 125
jobboldalán, A a baloldalán fekszik. (5.2) azt fejezi ki, hogy van két külön-
böző párhuzamos hipersík, H1 és H2 úgy, hogy az A halmaz H1 baloldalán
fekszik, H2 a H1 jobboldalán fekszik és a B halmaz H2 jobboldalán fekszik
(lásd 3., 4. ábra)
H H1− H1 H2
−
H H2+
+
H
A A
B B
3. ábra 4. ábra
C-nek a nulla belső pontja, mert ha U a0 -nak A-ban lévő környezete, akkor
U − a0 ⊂ A − a0 ⊂ A − B + b0 − a0 = C.
Ebből következik, a 3.3 tétel (6) állítása alapján, hogy C elnyelő halmaz. Legyen
p a C halmaz Minkowski funkcionálja:
n ¯ x o
p(x) = inf λ ¯ λ > 0, ∈C (x ∈ X).
λ
Mivel C konvex, így p szubadditív és pozitív homogén (ez a 3.6 tétel utáni meg-
jegyzésből következik).
A ∩ B = ∅ miatt x0 ∈/ C, így
n ¯ x0 o
p(x0 ) = inf λ ¯ λ > 0, ∈ C ≥ 1.
λ
126 5. FEJEZET. A LINEÁRIS ANALÍZIS HÁROM FŐTÉTELE
¯
Legyen X0 = [x0 ] = {tx0 ¯ t ∈ R} és
f (tx0 ) = t (t ∈ R).
Világos, hogy f : X0 → R nem zérus lineáris funkcionál X0 -on és
f (u) ≤ p(u) (u ∈ X0 ),
mert t ≥ 0 esetén
f (tx0 ) = t ≤ tp(x0 ) = p(tx0 ),
míg t < 0 mellett
f (tx0 ) = t < 0 ≤ p(tx0 ).
A Hahn-Banach tétel (2.6 tétel) szerint van olyan f : X → R lineáris funkcionál,
melyre
F (u) = f (u) (u ∈ X0 ),
f (x) ≤ p(x) (x ∈ X)
teljesül. Innen F (x) ≤ p(x) ≤ 1, ha x ∈ C, ezért F (x) ≥ −1, ha x ∈ −C, azaz
|F (x)| ≤ 1 ha x ∈ C ∩ (−C).
A 3.3 tétel (7) állítása alapján C tartalmazza nullának egy V szimmetrikus kör-
nyezetét is, így V ⊂ C ∩ (−C) és
|F (x)| ≤ 1 ha x ∈ V.
Ennek segítségével megmutatjuk, hogy F folytonos. Bármely ε > 0 mellett
|F (εx)| ≤ ε ha x ∈ V, azaz |F (x)| ≤ ε, ha x ∈ εV,
amiből bármely x0 ∈ X mellett
¯ ¯ ¯ ¯
¯F (x) − F (x0 )¯ = ¯F (x − x0 )¯ < ε ha x ∈ x0 + εV,
Legyen W nulla egy környezete, akkor van olyan U környezete nullának, mely-
re U + U ⊂ W , U = −U teljesül.
Ugyanis a 0 + 0 = 0 egyenlőségből, az összeadás folytonossága miatt következik,
hogy a nullának vannak olyan V1 , V2 környezetei, melyekre V1 + V2 ⊂ W . Legyen
U = V1 ∩ V2 ∩ (−V1 ) ∩ (−V2 ),
U1 + U1 + U1 ⊂ W (5.5)
teljesül. Ha x ∈ A, úgy B 0 − x nulla egy környezete, ezért (5.5) alapján van olyan
Vx környezete nullának, melyre
Vx = −Vx és Vx + Vx + Vx ⊂ B 0 − x,
amiből
(x + Vx + Vx + Vx ) ∩ B = ∅, vagy (x + Vx + Vx ) ∩ (B + Vx ) = ∅. (5.6)
S
Mivel (x + Vx ) nyílt lefedése A-nak, így A kompaktsága miatt létezik véges
x∈A
sok x1 , . . . , xn ∈ A pont úgy, hogy
n
[ n
[
A+V ⊂ (xi + Vxi + V ) ⊂ (xi + Vxi + Vxi )
i=1 i=1
F (a + v) ≤ c2 ≤ F (b) (a ∈ A, b ∈ B, v ∈ V ).
Nem nehéz belátni, hogy F nyílt halmazt R nyílt halmazába visz át, ezért F (A +
V ) ⊂ (−∞, c2 ). De F (A) kompakt részhalmaza (−∞, c2 )-nek, így van olyan
c1 < c2 , hogy F (a) ≤ c1 , ha a ∈ A. ¤
128 5. FEJEZET. A LINEÁRIS ANALÍZIS HÁROM FŐTÉTELE
sup kAn xk = ∞ ha x ∈ H.
n
Megjegyzés. A tétel állítása szemléletesen azt jelenti, hogy vagy van olyan
Y -beli G gömb (0 középponttal és M sugárral), hogy mindegyik An az X egy-
séggömbjét G-be képezi le, vagy van olyan x ∈ X (sőt egy sűrű Gδ halmazból
választhatjuk x-et), hogy egyetlen Y -beli gömb se tartalmazza An x-et minden
n ∈ N esetén.
Vk nyílt halmaz, mert ha x ∈ Vk , akkor ϕ(x) = sup kAn xk > k, így van olyan
n
n0 index, hogy kAn0 xk > k. Mivel az x 7→ kAn0 xk függvény folytonos, így x egy
U környezetéből vett y-okra k-nál nagyobb lesz a függvényérték: kAn0 yk > k, ha
y ∈ U , de akkor
2N
Ez x = 0-ra is igaz, így M = jelöléssel
δ
kAn xk ≤ M kxk (x ∈ X, n ∈ N),
amiből
kAn k ≤ M (n ∈ N).
Ha nincs olyan k index, melyre Vk nem sűrű, úgy (5.2) teljesül. Ekkor k ∈ N
esetén Vk nyílt X-ben sűrű halmaz, így Baire-tétele alapján
∞
\
H= Vk X-ben sűrű Gδ halmaz.
k=1
Beláttuk, hogy (5.1) és (5.2) egyike mindig teljesül. Világos, hogy (5.1) és
(5.2) egyszerre nem teljesülhetnek, mert (5.1)-ből supn kAn xk ≤ M következne,
ami ellentmond (5.2)-nek
sup kAn x0 k = ∞,
n
sup kA(k)
n xk = ∞ ha x ∈ Hk .
n
130 5. FEJEZET. A LINEÁRIS ANALÍZIS HÁROM FŐTÉTELE
T
∞
Legyen H = Hk , akkor H is X-ben sűrű Gδ halmaz (a Baire-tétel miatt), így
k=1
H nem üres, és minden x0 ∈ H-ra
sup kA(k)
n x0 k = ∞ (k ∈ N).¤
n
kf k = kηk1 .
Bizonyítás. Legyen
n
X ¡ ¢
fn (x) = ηk ξk x = (ξ1 , ξ2 , . . . ) ∈ c, n ∈ N .
k=1
kfn k ≤ M (n ∈ N),
azaz n
X
|ηk | ≤ M (n ∈ N),
k=1
P
∞
amiből következik, hogy |ηk | < ∞, azaz η ∈ l1 . A tétel többi állítása a 4.26
k=1
tételből adódik. ¤
5.1. Definíció. Legyen α = (αik ) (i, k ∈ N) egy végtelen komplex elemű mátrix.
Azt mondjuk, hogy a {ξn } komplex számsorozat limitálható az α mátrixszal, ha
P
∞
1. αik ξk bármely i ∈ N esetén konvergens,
k=1
P
∞
2. a σi = αik ξk (i ∈ N) sorozat i → ∞ esetén konvergens.
k=1
5.3. ALKALMAZÁSOK 133
Példa. Ha
1 0 0 0 ···
1 1
0 0 ···
2 2
1 1 1
0 ···
α= 3 3 3 ,
1 1 1 1
· · ·
4 4 4 4
..
.
α− lim ξn = lim ξn . ¤
n→∞ n→∞
P
∞
2. lim αik = 1,
i→∞ k=1
P
∞
II. σi = αik ξk → σ = lim ξn , ha i → ∞.
k=1 n→∞
134 5. FEJEZET. A LINEÁRIS ANALÍZIS HÁROM FŐTÉTELE
kσi k ≤ M (i ∈ N),
Z2π
1
ak = x(s) cos ks ds k = 0, 1, 2, . . . ,
π
0
5.4. TOVÁBBI ALKALMAZÁSOK 135
Z2π
1
bk = x(s) sin ks ds k = 1, 2, 3, . . . .
π
0
5.7. Tétel. Bármely t0 ∈ [0, 2π]-hez létezik olyan folytonos 2π szerint periódikus
függvény, melynek (trigonometrikus) Fourier-sora divergens t0 -ban.
n Z2π
a0 X 1
sn (t) = + (ak cos kt + bk sin kt) = x(s)Dn (s − t) ds,
2 k=1
π
0
ahol
¡ ¢
1 sin n + 12 u
Dn (u) = + cos u + cos 2u + · · · + cos nu =
2 2 sin 12 u
a Dirichlet-féle magfüggvény.
Így
Z2π
1 e [0, 2π]),
fn (x) = x(s)Dn (s − t0 ) ds (x ∈ C
π
0
2(n+ 12 )π
R2π ¯ ¡ ¢ ¯ R P
2n+1 Rkπ
≥ 1 ¯sin n + 1 s¯ ds 1 | sin t| dtt π1 | sin t| dtt
π 2 s π
0 0 k=1 (k−1)π
1
P
2n+1
1
Rkπ P
2n+1
≥ π kπ
| sin t| dt π22 1
k
,
k=1 (k−1)π k=1
5.8. Tétel. Bármely T ⊂ [0, 2π] megszámlálható halmaz esetén van olyan foly-
tonos 2π szerint periódikus függvény, melynek (trigonometrikus) Fourier-sora T
pontjaiban divergens.
A Banach-Steinhaus tétel kvadraturaformulák konvergenciájának vizsgálatá-
Rb
nál is alkalmazható. Az x(t) dt határozott integrál közelítő számítására gyakran
a
alkalmaznak
n
X
Ak x(tk ) (a ≤ t0 < t1 < · · · < tn ≤ b) (5.8)
k=0
Rb
amely az x(t) dt értékét a görbe alatti téglalapok területének összegével közelíti.
a
Téglalapok helyett trapézokat véve kapjuk a trapézformulát:
µ µ ¶ µ ¶ ¶
b−a 1 b−a b−a 1
x(a) + x a + + · · · + x a + (n − 1) + x(b) .
n 2 n n 2
A keresett integrál értékének minél pontosabb meghatározása érdekében tekint-
sük (5.8) típusú formulák egy
n
X (n) ¡ (n) ¢ (n) (n)
Ak x tk (a ≤ t0 < t1 < · · · < t(n)
n ≤ b; n = 0, 1 . . . )
k=0
Rb
sorozat bármely x ∈ C[a, b] esetén x(t) dt-hez konvergáljon ha n → ∞, szüksé-
a
ges és elegendő, hogy az alábbi két feltétel teljesüljön:
Pn ¯ ¯
¯ (n) ¯
1. van olyan M konstans, hogy ¯Ak ¯ ≤ M (n = 0, 1, . . . ),
k=0
Könnyű belátni, hogy fn , f lineáris korlátos funkcionálok C[a, b]-n és a 4.3 tétel
szerint n ¯
X ¯
¯ (n) ¯
kfn k = ¯Ak ¯ . (5.10)
k=0
138 5. FEJEZET. A LINEÁRIS ANALÍZIS HÁROM FŐTÉTELE
A Banach-Steinhaus II. tétel alapján lim fn (x) = f (x) (x ∈ C[a, b]) pontosan
n→∞
akkor teljesül, ha
kfn k = M n = 0, 1, 2, . . . ,
n ¯
P ¯
¯ (n) ¯
amiből a ¯Ak ¯ (n ∈ N) összegek korlátossága következik.
k=0
(n)
(n) Rb Q
n t − ti
formulát, ahol Ak = p(t) (n) (n)
dt.
a
i=0
tk − ti
i6=k
Az így kapott formulákat interpolációs kvadratura formulák nak nevezzük.
Mivel legfeljebb n-edfokú polinomok esetén x(t) = Ln (x; t), így legfeljebb n-
Rb
edfokú polinomokra (5.11) formula éppen az p(t)x(t) dt értékét adja, tehát az
a
(n)
5.9 tétel 2. feltétele teljesül. Ha Ak
> 0, akkor az első megjegyzésünk értelmében
mindkét feltétel teljesül, így az ilyen interpolációs kvadratura formulák minden
Rb
folytonos x függvény esetén p(t)x(t) dt-hez konvergálnak, ha n → ∞.
a
5. Segédtétel. A tétel feltételei mellett van olyan η > 0 szám, hogy bármely
ε > 0 esetén
Hηε ⊂ A(Gε ).
Az 5. segédtétel bizonyítása.
S
∞ S
∞
X = Gn = nG1 ,
n=1 n=1
S
∞ S
∞ S
∞
Y = A(X) = A( nG1 ) A(nG1 ) = nA(G1 ).
n=1 n=1 n=1
140 5. FEJEZET. A LINEÁRIS ANALÍZIS HÁROM FŐTÉTELE
Y Banach-tér, így második kategóriájú, van tehát olyan n0 index, hogy n0 A(G1 )
tartalmaz egy nyílt gömböt, mondjuk H(y0 , r)-et:
H(y0 , r) ⊂ n0 A(G1 ).
Innen
Hr = H(y0 , r) − y0 ⊂ H(y0 , r) − H(y0 , r) ⊂ n0 A(G1 ) − n0 A(G1 )
amiből
H 2nr ⊂ A(G1 ),
0
r
azaz η = 2n0
, ε > 0 esetén
Hη 2ε ⊂ A(Gε ),
Hη 2ε = εH η2 , A(Gε ) = εA(G1 ).
η
x1 ∈ G 1 , hogy ky − Ax1 k < .
2 22
Utóbbi egyenlőtlenség azt jelenti, hogy y − Ax1 ∈ H η2 . Az 5. segédtétel alapján
2
η
x2 ∈ G 12 , hogy ky − Ax1 − Ax2 k < .
2 23
Hasonlóan folytatva olyan {xi } sorozatot konstruálunk, melyre
xi ∈ G 1i (i = 1, 2, . . . ), (5.12)
2
5.6. A NYÍLT LEKÉPEZÉSEK TÉTELÉNEK ALKALMAZÁSAI 141
és ° Ã n !°
° X ° η
° °
°y − A xi ° < n+1 (n = 1, 2, . . . ) (5.13)
° ° 2
i=1
P
∞ P
∞
1
teljesül. A kxi k sor konvergens, mert (5.12) miatt a konvergens 2i
geometri-
i=1 i=1
P
∞
ai sor majorálja . Mivel X Banach-tér innen következik a xi sor konvergenciája.
i=1
Legyen
∞
X
x= xi ,
i=1
akkor (5.12) miatt
∞
X X∞
1
kxk ≤ kxi k < i
= 1, azaz x ∈ G1 ,
i=1 i=1
2
és (5.13)-ből n → ∞ határátmenettel ky − Axk = 0 adódik, azaz y = Ax ∈
A(G1 ). ¤
Bizonyítás. (5.10 tétel) Legyen V ⊂ X nyílt halmaz, megmutatjuk, hogy
A(V ) is nyílt. Ha y ∈ A(V ), úgy y = Ax valamely x ∈ V -vel. Mivel V nyílt, így
egy x körüli G(x, ε) gömb is V -ben van:
x ∈ G(x, ε) ⊂ V.
A 6. segédtétel és A linearitása miatt
¡ ¢ ¡ ¢
Hη 2ε ⊂ A(Gε ) = A G(x, ε) − x = A G(x, ε) − Ax,
amiből ³ ε´ ¡ ¢
H y, η = Hη 2ε + yHη 2ε + Ax ⊂ A G(x, ε) ⊂ A(V ),
2
s ez azt jelenti, hogy A(V ) nyílt. ¤
Megjegyzés. Elegendő Y -ról csak azt feltenni, hogy második kategóriájú lineáris
normált tér, ugyanis a bizonyításban csupán ezt használtuk ki (az 5. segédtétel-
ben.)
A−1 y = x ha y = Ax.
A tétel feltételei miatt minden y ∈ Y -hoz pontosan egy olyan x ∈ X van, melyre
y = Ax, így A−1 : Y → X.
A−1 lineáris, mert y1 , y2 ∈ Y esetén az A−1 y1 = x1 , A−1 y2 = x2 jelölésekkel
y1 = Ax1 , y2 = Ax2 és A linearitása miatt
A−1 korlátos, mert a nyílt leképezések tétele miatt A nyílt, így A−1 folytonos,
tehát (a linearitás miatt) korlátos is. A−1 korlátossága a 6. segédtétel
³ ´ segítségével
x x
közvetlenül is bizonyítható: Ha 0 6= x ∈ X, úgy kxk ∈
/ G1 , A kxk ∈
/ A(G1 ), és
³ ´
x
H η2 ⊂ A(G1 ) miatt A kxk ∈/ H η2 , azaz
° µ ¶°
° x °
°A ° ≥ η, η
kAxk ≥ kxk.
° kxk ° 2 2
teljesül. ¤
5.6. A NYÍLT LEKÉPEZÉSEK TÉTELÉNEK ALKALMAZÁSAI 143
5.12. Tétel. Legyen X egy lineáris tér és k · k1 , k · k2 két norma X-en úgy, hogy
(X, k · k1 ), (X, k · k2 ) mindketten Banach-terek. Ha van olyan C > 0 konstans,
hogy
kxk1 ≤ Ckxk2 (x ∈ X), (5.14)
akkor a két norma ekvivalens.
5.13. Tétel. Véges dimenziós (valós vagy komplex) lineáris téren bármely két
norma ekvivalens.
Bizonyítás. Legyen ° °
°Xk °
° °
kxk1 = sup ° ci ei ° ,
k∈N ° °
i=1
Innen
° k °
¯ ¯ 1 ° ³ ´ k−1 ³ ´ °
¯ (n) (m) ¯ °X (n) (m)
X (n) (m) ° 2ε
¯ck − ck ¯ = ° ci − ci ei − ci − ci ei ° < ,
kek k ° i=1 i=1
° kek k
(n)
ha n, m > N (ε), ami azt jelenti, hogy {ck } bármely fix k mellett valós vagy
komplex elemű Cauchy-sorozat, mely konvergens:
(n)
lim c = ck .
n→∞ k
5.6. A NYÍLT LEKÉPEZÉSEK TÉTELÉNEK ALKALMAZÁSAI 145
P
∞
tehát x = ci ei jelöléssel
i=1
1. K korlátos,
2. bármely ε > 0-hoz van olyan N (ε), hogy kRn xk < ε, ha n > N (ε), x ∈ K,
P
∞ P
∞
ahol Rn x ci ei ha x = ci ei .
i=n+1 i=1
Példák:
1. Ha D(A) zárt lineáris altér X-ben, A : D(A) ⊂ X → Y lineáris folytonos
(korlátos) operátor, úgy A zárt is (X, Y lineáris normált terek).
¯
2. Legyen X = Y = C[0, 1], D(A) = {x ∈ X ¯ x0 ∈ X} és
(Ax)(t) = x0 (t) (t ∈ [0, 1], x ∈ D(A)).
A zárt operátor, mert ha xn ∈ D(A), xn → x, Axn = x0n → y, akkor ismert
analízisbeli tétel szerint
d
lim xn (t) = lim x0n (t) = y(t),
dt n→∞ n→∞
5.15. Tétel. (zárt gráf tétel) Banach-teret Banach-térbe leképező zárt lineá-
ris operátor folytonos (korlátos).
Világos, hogy k·k1 norma X-en. Megmutatjuk, hogy (X, k·k1 ) Banach-tér. Legyen
ugyanis {xn } egy Cauchy-sorozat (X, k · k1 )-ben, akkor
így az 5.12 tétel alkalmazásával kapjuk, hogy van olyan C > 0, hogy
5.6. Definíció. Egy X lineáris normált teret önmagába leképező P lineáris ope-
rátort projekció operátornak nevezzük, ha P 2 = P , azaz P (P x) = P x (x ∈ X)
(P idempotens). ¤
5.7. Definíció. Legyen M zárt altere az X lineáris normált térnek. Ha van olyan
N zárt lineáris altere X-nek, hogy
X = M + N és M ∩ N = {0},
5.7. A ZÁRT GRÁF TÉTEL 149
akkor M -et komplementeres altér nek nevezzük X-ben. Ekkor X-et M és N direkt
összegének nevezzük, és az
X =M ⊕N
jelölést használjuk. (M ∩ N = {0} miatt X minden x eleme egyértelműen írható
x = m + n alakba, ahol m ∈ M, n ∈ N ). ¤
2. Ha X egy Banach-tér és
X = M ⊕ N,
akkor van olyan P projekciója X-nek, melyre M = R(P ), N = N (P ).
X = R(P ) ⊕ N (P ).
2. Definiáljuk P -t a következőképpen:
P x = m,
Hilbert-terek
egyenlőtlenség.
150
6.1. HILBERT-TÉR FOGALMA, PÉLDÁK 151
®
Ha y, y 6= 0, akkor válasszuk λ-t úgy, hogy a zárójelben lévő kifejezés zérus
legyen, azaz legyen ®
x, y
λ = − ®.
y, y
˛ ®˛2
˛ ˛
® ˛˛ x,y ˛˛
Ezzel (6.1)-ből x, x − ® ≥ 0 adódik, ami (6.1)-gyel ekvivalens. Hasonló-
y,y
®
an érvényes az ®egyenlőtlenség
® ha x, x 6= 0(ekkor
® x, y szerepét megcseréljük).
Végül, ha x, x = y, y = 0, akkor λ = − x, y választással kapjuk (6.1)-ből,
¯ ®¯2 ®
hogy 0 ≤ ¯ x, y ¯ , x, y = 0, azaz egyenlőtlenségünk ekkor is teljesül. ¤
8ϕ(x1 , y) +8ϕ(x2 , y) = 2kx1 + yk2 − 2kx1 − yk2 + 2kx2 + yk2 − 2kx2 − yk2
azaz µ ¶
x1 + x2
2ϕ , y = ϕ(x1 , y) + ϕ(x2 , y).
2
¡ ¢
x2 = 0-val kapjuk, hogy 2ϕ x21 + y = ϕ(x1 , y), így
1£ ¤ 1 £ ¤
ϕ(x, ix) = kx + ixk2 − kx − ixk2 = kxk2 |1 + i|2 − |1 − i 2 = 0. ¤
4 4
6.4. Tétel. Bármely pre-Hilbert-térhez létezik egy őt sűrű lineáris altérként tar-
talmazó Hilbert-tér, mely az eredeti teret fixen hagyó izomorf és izometrikus (így
a skaláris szorzatot is megörző) leképezéstől eltekintve egyértelmű.
(%)
így x ∈ L2 (a, b) akkor és csakis akkor, ha x mérhető és |x|2 % integrálható
(a, b)-n.
⊥
® ®
Bizonyítás.® Ha x, y ∈ M , úgy minden m ∈ M -re x, m = y, m = 0, így
αx + βy, m = 0, tehát αx + βy ∈ M ⊥ .
Ha x ∈ M® ⊥ , akkor van olyan xn ∈ M ⊥ (n ∈ N), hogy xn → x ha n → ∞.
Mivel
® xn , m = 0 (m ∈ M ) a skaláris szorzat folytonossága miatt n → ∞-nel
x, m = 0, azaz x ∈ M ⊥ . ¤
x = x0 + x00
H = H 0 ⊕ H 0⊥
d = lim kx − h0n k = kx − x0 k.
n→∞
®
d2 = kx − x0 k2 ≤ kx − x0 + λy 0 k2 = kx00 + λy 0 k2 = x00 + λy 0 , x00 + λy 0
® £ ® ¤
= d2 + λ y 0 , x00 + λ x00 , y 0 + λky 0 k2 .
156 6. FEJEZET. HILBERT-TEREK
Válasszuk λ-t úgy, hogy a szögletes zárójelben lévő kifejezés eltűnjön, azaz
legyen 00 0 ®
x ,y
λ=− ,
ky 0 k2
akkor ¯ 00 0 ®¯2
¯ x ,y ¯
d2 ≤ d2 − ,
ky 0 k2
®
ami csak úgy lehetséges, ha x00 , y 0 = 0. Mivel ez y 0 = 0-ra is igaz, így x00 ⊥ H 0 ,
azaz x00 ∈ H 0⊥ .
A felbontás egyértelmű, ugyanis ha
x = x0 + x00 = x1 + x2 (x0 , x1 ∈ H 0 , x00 , x2 ∈ H 0⊥ ),
akkor H 0 3 x0 − x1 = x2 − x00 ∈ H 0⊥ , de az egyenlőség két oldalán álló vektorok
ortogonálisak, így
® ®
0 = x0 − x1 , x00 − x2 = x0 − x1 , x0 − x1 = kx0 − x1 k2 ,
amiből x0 = x1 , x00 = x2 . ¤
x0 -t az x elem H 0 altérre vonatkozó (ortogonális) projekciójának nevezzük.
y1 1 1
Bizonyítás. Legyen y1 = x1 és ϕ1 = ky1 k
, azaz c11 = γ11
= ky1 k
> 0, és (6.5)
teljesül. ϕ2 értelmezéséhez legyen
y2 = x2 + λ21 ϕ1 ,
amiből
®
λ21 = − x2 , ϕ1 ,
és legyen
y2
ϕ2 = .
ky2 k
y2 6= 0, különben x2 és ϕ1 , azaz x2 és x1 lineárisan függők lennének. Ekkor ϕ2 az
x2 és ϕ1 lineáris kombinációja, és fordítva, x2 az y2 és ϕ1 , ennélfogva ϕ2 és ϕ1
lineáris kombinációja. Látható az is, hogy
1 1
c22 = = > 0.
γ22 ky2 k
Tegyük fel, hogy ϕ1 , . . . , ϕk−1 -et már meghatároztuk úgy, hogy ezek ortonor-
mált rendszert alkotnak és n = 1, . . . , k − 1-re (6.5) teljesül. Legyen
k−1
X
y k = xk + λki ϕi .
i=1
A λki együtthatókat
® az yk ⊥ ϕi (i = 1, . . . , k − 1) feltételekből meghatározva
λki = − xk , ϕi adódik, yk 6= 0, mert ellenkező esetben xk a ϕ1 , . . . , ϕk−1 elemek
lineáris kombinációja lenne, s így indukciós feltevésünk miatt xk az x1 , . . . , xk−1
elemek lineáris kombinációja volna, ami ellentmond az x1 , . . . , xk vektorrendszer
lineáris függetlenségének. Legyen
yk
ϕk = ,
kyk k
P
∞
6.9. Lemma. Legyen H egy Hilbert-tér, xk ∈ H (k ∈ N), és xk konvergens
k=1
sor (normában), akkor bármely y ∈ H esetén
*∞ + ∞
X X ®
xk , y = xk , y .
k=1 k=1
P
∞
6.10. Tétel. A αk ϕk ortogonális sor akkor és csakis akkor konvergens (nor-
k=1
P
∞
mában), ha a |αk |2 numerikus sor konvergens.
k=1
P
∞
Ha a αk ϕk ortogonális sor normában konvergens és összege x, akkor
k=1
®
αk = x , ϕk (k ∈ N),
és
∞
X
2
kxk = |αk |2 .
k=1
6.4. ORTOGONÁLIS SOROK 159
P
n
Bizonyítás. Legyen sn = αk ϕk (n ∈ N), akkor a 6.9 lemma alapján
k=1
n+p
X
ksn+p − sn k2 = |αk |2 ,
k=n+1
P
∞
így a αk ϕk sorra a Cauchy-féle konvergencia kritérium akkor és csakis akkor
k=1
P
∞
teljesül, ha a |αk |2 sorra teljesül a Cauchy-féle konvergencia kritérium, amiből
k=1
állításunk következik.
Ismét a 6.9 lemmát alkalmazva kapjuk, hogy
¿∞ À
® P P
∞ ®
x , ϕk = αi ϕi , ϕk = αi ϕi , ϕk = αk ,
¿i=1 À i=1
® P
∞ P
∞ ® P
∞ P
∞
x,x = αi ϕi , x = αi ϕi , x = αi αi |αi |2 . ¤
i=1 i=1 i=1 i=1
6.6. Definíció.
Legyen
® {ϕk } egy ortonormált sorozat a H Hilbert-térben, x ∈
H. A ck = x , ϕk (k ∈ N) számokat az x elem Fourier-együtthatói nak nevez-
P
∞
zük a {ϕk } ortonormált sorozatra nézve. Ezen együtthatókkal képzett ck ϕk
k=1
ortogonális sort pedig x Fourier-sorának nevezzük {ϕk }-ra nézve. ¤
° °2
° n
X ° n
X n
X
° ° 2 2
°x − αk ϕk ° = kxk − |ck | + |ck − αk |2 , (6.6)
° °
k=1 k=1 k=1
speciálisan αk = ck -val
° °2
° n
X ° n
X
° ° 2
°x − ck ϕk ° = kxk − |ck |2 . (6.7)
° °
k=1 k=1
160 6. FEJEZET. HILBERT-TEREK
Bizonyítás.
° °2 ¿ À
° P
n ° P
n P
n
°x − αk ϕk ° x− αk ϕk , αk ϕk
° °
k=1 k=1 k=1
P
n ® Pn ® Pn
= kxk2 − αk ϕk , x − αk x , ϕk + αk αk
k=1 k=1 k=1
P
n
= kxk2 − (αk ck + αk ck − αk αk )
k=1
P
n P
n
= kxk2 − |ck |2 + |ck − αk |2 .¤
k=1 k=1
vagy
n
X
|ck |2 ≤ kxk2 ,
k=1
6.8.
Definíció.
® A {ϕ} ortonormált sorozatot teljesnek nevezzük, ha abból, hogy
x , ϕk = 0, k ∈ N következik, hogy x = 0. ¤
6.12. Tétel. Egy ortonormált sorozat akkor és csakis akkor zárt, ha teljes.
®
Bizonyítás. Ha {ϕk } zárt ortonormált sorozat, úgy teljes is, mert x , ϕk = 0
miatt a Parseval-egyenletből
∞
X ¯ ®¯
2
kxk = ¯ x , ϕk ¯2 = 0 így x = 0.
k=1
Fordítva, ha {ϕk } teljes, úgy zárt is. Ezt indirekt úton bizonyítjuk. Tegyük
fel, hogy {ϕk } teljes, de nem zárt. Akkor van olyan y ∈ H, melyre
∞
X ¯ ®¯
kyk >2 ¯ x , ϕk ¯2 .
k=1
P
∞ ® ®
Legyen x = ck ϕk , ahol ck = y , ϕk , akkor a 6.10 tétel miatt ck = x , ϕk és
k=1
2
P
∞ ® ®
kxk = |ck |2 . Innen x , ϕk = y , ϕk ,
k=1
®
x − y , ϕk = 0 (k ∈ N).
6.13. Tétel. Legyen {ϕk } egy tetszőleges (nem feltétlenül zárt) ortonormált so-
rozat a H Hilbert-térben, akkor bármely x ∈ H elem {ϕk } szerinti Fourier-
sorának összege x-nek a ϕ1 , ϕ2 , . . . vektorrendszer lineáris burkának lezártjára
való ortogonális projekciója.
® P
∞
Bizonyítás. Legyenek ck = x , ϕk az x Fourier-együtthatói, y = ck ϕk az x
k=1
Fourier-sorának összege.
Azt kell megmutatnunk, hogy x = y + (x − y) éppen az x elem ortogonális
felbontása a H1 = [ϕ1 , ϕ2 , . . . ] altér szerint, azaz
y ∈ H1 , x − y ∈ H1⊥ .
® ® ®
Világos, hogy y ∈ H1 . Mivel a 6.10 tétel alapján ck = y , ϕk , így y , ϕk x , ϕk ,
azaz
x − y ⊥ ϕk .
Ebből a skaláris szorzat linearitása miatt
x − y ⊥ [ϕ1 , ϕ2 , . . . ],
Zπ Ã ∞
!
¯ ¯
¯x(t)¯2 dtπ |a0 |2 X ¡ 2 ¢
+ |ak | + |bk |2
2 k=1
−π
P
∞
Parseval-egyenlet. Így bármely x ∈ L2 esetén a (|ak |2 + |bk |2 ) sor kon-
k=1
vergens.
(%)
2. Tekintsük az L2 (a, b) Hilbert-teret (lásd: 6.1 szakasz 2. példa), ahol % :
(a, b) → R egy integrálható pozitív függvény (a, b)-n. Végtelen (a, b) inter-
vallum esetén tegyük fel még azt is, hogy van olyan r > 0, hogy
Zb
er|t| %(t) dt < ∞.
a
(%)
Ezen feltételek mellett az 1, t, t2 , . . . hatványfüggvények L2 (a, b) elemei,
melyek egy lineárisan független rendszert alkotnak. Ortonormálva e rend-
szert egy
p0 (t), p1 (t), p2 (t), . . .
így ° °
° n
X °
° °
°x − rk ϕk ° < ε.
° °
k=1
Mivel az {yk } sorozat sűrű H-ban, így minden ε > 0 számhoz van olyan k(ε)
index, hogy
H 3 x −→ (c1 , c2 , . . . ) ∈ l2
Bizonyítás. Legyen
© ¯ ª
S0 = cα ¯ |cα | > 1
és © ¯ ª
Sk = cα ¯ 1
k+1
< |cα | ≤ 1
k
(k ∈ N),
S
∞
akkor Sk az összes zérustól különböző cα Fourier-együtthatók halmaza. Mivel
k=0
a 6.11 tétel (6.7) formulája alapján
n
X
2
kxk ≥ |cαk |2
k=1
kf k = kuk. (6.12)
© ¯ ª
Bizonyítás. Az f funkcionál N = N (f ) = x ∈ H ¯ f (x) = 0 nulltere zárt
lineáris altér H-ban.
Ha N = H, akkor u = 0-val teljesül (6.11).
Ha N 6= H, akkor a H = N ⊕ N ⊥ felbontásban N ⊥ 6= {0}.
Legyen v0 ∈ N ⊥ , v0 6= 0, akkor bármely x ∈ H esetén
f (x)v0 − f (v0 )x ∈ N ,
mert ¡ ¢
f f (x)v0 − f (v0 )x = f (x)f (v0 ) − f (v0 )f (x) = 0.
Így D E
f (x)v0 − f (v0 )x , v0 = 0,
®
f (xkv0 k2 ) − f (v0 ) x , v0 = 0,
¿ À
f (v0 )v0 ®
f (x) = x , 2
= x,u ,
kv0 k
f (v0 )v0
ahol u = . Ezzel (6.11)-et igazoltuk.
kv0 k2
Az egértelműség igazolásához legyen
® ®
f (x) = x , u = x , u0 (x ∈ H),
akkor ®
x , u − u0 = 0 (x ∈ H),
168 6. FEJEZET. HILBERT-TEREK
amiből x = u − u0 -vel, ku − u0 k2 = 0, u = u0 .
Az kf k-ra vonatkozó (6.12) állítás abból adódik, hogy
¯ ®¯
|f (x)| = ¯ x , u ¯ ≤ kxk · kuk
így kf k ≥ kuk. ¤
Definiáljuk a σ : H ∗ → H leképezést σf = u-val, ahol u f (6.11) előállításában
szereplő elem. Világos, hogy σ kölcsönösen egyértelmű izometrikus leképezése
H ∗ -nak H-ra, továbbá bármely f, g ∈ H ∗ , λ ∈ K mellett
σ(f + g) = σf + σg
σ(λf ) = λσf,
Innen ® ®
F (f ) = σg , σf = v , u ,
ahol u = σf, v = σg, azaz
®
f (x) = x , u (x ∈ H)
®
Speciálisan f (v) = v , u , így
F (f ) = f (v) = Fv (f ), (f ∈ H ∗ ),
így összeadással ® ®
Ax , y1 + y2 = x , A∗ y1 + A∗ y2
® ®
Ax , y1 + y2 = x , A∗ (y1 + y2 ) .
A baloldalak egyenlősége miatt a jobboldalak is egyenlők, s mivel x ∈ H tetsző-
leges, innen
A∗ (y1 + y2 ) = A∗ y1 + A∗ y2 .
Hasonlóan adódik, hogy
A∗ (λy) = λA∗ y.
A∗ korlátos, mert
kA∗ yk = ky ∗ k = kfy k ≤ kAk · kyk,
így kA∗ k ≤ kAk. Megmutatjuk, hogy (A∗ )∗ = A. Ugyanis
∗ ® ®
A x , y = x , (A∗ )∗ y ,
másrészt ∗ ® ® ® ®
A x , y = y , A∗ x = Ay , x = x , Ay ,
amiből Ay = (A∗ )∗ y (y ∈ H), azaz (A∗ )∗ = A következik.
Ezt felhasználva
kAk = k(A∗ )∗ k ≤ kA∗ k, így kAk = kA∗ k.
A normára vonatkozó másik egyenlőség igazolásához csak azt kell igazolni, hogy
kA∗ Ak ≥ kA∗ k · kAk.
Bármely x, y ∈ H esetén
® ®
A∗ Ax , y = Ax , Ay ,
így x = y-nál a Schwarz-egyenlőtlenség miatt
®
kAxk2 = A∗ Ax , x = kA∗ Axk · kxk ≤ kA∗ Ak · kxk2 ,
amiből
kAk2 ≤ kA∗ Ak,
s ez kA∗ k = kAk miatt éppen a bizonyítandó egyenlőtlenség. ¤
H = R(A) ⊕ N (A∗ ),
Banach-algebrák
172
7.1. BANACH-ALGEBRA FOGALMA, PÉLDÁK 173
Az = xz = Mx z, A = Mx
azaz
kxn − xk1 = kMxn − Mx k → 0 ha n → ∞,
vagyis (X, k · k1 ) teljes. ¤
Egy Banach-térben az összeadás, skalárral való szorzás, és a norma folytonos
függvények. Banach-algebrában ezenkívül a szorzás is folytonos, mert ha xn →
x, yn → y (n → ∞), akkor az
2. Ha itt X egy véges halmaz, mely mondjuk n darab pontból áll, a diszkrét
topológiával ellátva, úgy C(X) éppen Cn a koordinátánkénti műveletekkel
és a
kzk = k(z1 , . . . , zn )k = max |zi |
1≤i≤n
normával.
akkor x is reguláris.
£ ¤
Bizonyítás. x = x0 − (x0 − x) = x0 e − x−1 0 (x0 − x) = x0 (e − y), ahol y =
x−1 −1
0 (x0 − x). Mivel kyk ≤ kx0 k · kx0 − xk < 1, így az előző tétel miatt e − y
P k
∞
reguláris és (e − y)−1 = y . De ekkor x = x0 (e − y) is reguláris és
k=0
∞
X
−1
£ ¤k −1
x = (e − y)−1 x−1
0 = x−1
0 (x0 − x) x0 .
k=0
rx (λ)rx (µ)-vel jobbról, majd rx (µ)rx (λ)-val balról szorozva kapjuk, hogy
Ezt felhasználva rx (λ) − rx (µ) = (x − µe)rx (µ)rx (λ) − (x − λe)rx (λ)rx (µ) =
= [(x − µe) − (x − λe)] rx (λ)rx (µ) = (λ − µ)rx (λ)rx (µ).
Innen következik rx differenciálhatósága bármely λ0 ∈ %(x) pontban, mert
1³ x ´−1 1 X ³ x ´k
∞
rx (λ) = (x − λe)−1 = − e− − ,
λ λ λ k=0 λ
amiből ∞ ° °k
1 X° °
°x° 1 · 1 1 1
krx (λ)k ≤ ° ° <
|λ| k=0 °λ° |λ| °x° |λ| − kxk kxk
1−° °
°λ °
A 7.4 tétel szerint rx differenciálható %(x) = C-n, így alkalmazhatjuk Liouville
tételét:
rx (λ) = rx (0) (λ ∈ C).
1
A krx (λ)k ≤ becslés miatt 0 = lim rx (λ) lim rx (0) = rx (0), így
|λ| − kxk |λ|→∞ |λ|→∞
rx (λ) = 0, (x − λe)−1 = 0
7.4. A spektrálsugár
7.4. Definíció. Egy egységelemes Banach-algebra x elemének spektrálsugarán
az © ¯ ª
r(x) = sup |λ| ¯ λ ∈ σ(x)
mennyiséget értjük. ¤
Mivel σ(x) kompakt, λ → |λ| folytonos függvény, így a suprémum felvétetik.
r(x) annak a minimális sugarú origó körüli zárt körlapnak© a sugara,
¯ mely az ªx
elem σ(x) spektrumát tartalmazza. Láttuk, hogy σ(x) ⊂ λ ∈ C ¯ |λ| ≤ kxk ,
így r(x) ≤ kxk.
180 7. FEJEZET. BANACH-ALGEBRÁK
e = (x − λe)y
1
r(x) ≤ inf kxn k n (7.2)
n∈N
° °
°x°
Ha |λ| > kxk, úgy ° °
°λ° < 1, és a 7.2 tétel alapján
1³ x ´−1 1 X xk
∞
−1
rx (λ) = (x − λe) =− e− − .
λ λ λ k=0 λk
rx a 7.4 tétel és a 7.4 definíció alapján differenciálható |λ| > r(x)-re, így
ugyanez igaz a g függvényre is. A komplex függvénytanból ismert, hogy ekkor
g-t Laurent-sorba lehet fejteni:
∞
X a−3 a−2 a−1
g(λ) = ak λk = ... + + 2 + + a0 + a1 λ + a2 λ2 + a3 λ3 + ..., (7.4)
k=−∞
λ3 λ λ
és e sor |λ| > r(x)-re konvergens. A Laurent sorfejtés egyértelműsége miatt (7.3),
(7.4) összehasonlításából adódik, hogy 0 = a0 = a1 = ..., a−n = −f (xn−1 ) (n ∈
7.4. A SPEKTRÁLSUGÁR 181
N). Mivel a (7.4) Laurent-sor |λ| > r(x)-re konvergens, így ilyen λ értékekre az
általános tagja korlátos:
¯ ¯
¯ f (xn ) ¯
¯ ¯
¯ λn+1 ¯ ≤ K (n ∈ N, |λ| > r(x)). (7.5)
xn
Legyen yn = és Fy (f ) = f (y) ha f ∈ X ∗ , akkor (7.5) miatt
λn+1
|Fyn (f )| = |f (yn )| ≤ K (n ∈ N).
Innen 1
1
kxn k n ≤ (K1 |λ|) n |λ| (n ∈ N, |λ| > r(x)),
amiből
1
lim sup kxn k n ≤ |λ| (|λ| > r(x))
n
k → ∞ határátmenettel
1 1 1
r(x) ≤ inf kxn k n ≤ lim inf kxn k n = lim inf kxn k n . (7.7)
n∈N k→∞ n≥k n
1
s ebből már következik, hogy {kxn k n } konvergens sorozat és (1) fennáll.
182 7. FEJEZET. BANACH-ALGEBRÁK
7.5. Hatványsorok
7.5. Definíció. Legyen X egy egységelemes Banach-algebra y, a ∈ X;
ck (k = 0, 1, . . . ) komplex számok, akkor a
∞
X ¡
ck (y − a)k (y − a)0 = e)
k=0
P
∞
Bizonyítás. Alkalmazzuk a kck xk k sorra a Cauchy-féle gyökkritériumot!
k=0
p p p p p
lim supn n kcn xn k = lim supn n |cn | n kxn k lim supn n |cn | lim n kxn k
n→∞
r(x)
= < 1 ha r(x) < R,
R
P
∞
így ck xk abszolút konvergens, tehát konvergens.
k=0 p
Ha r(x) > R, akkor lim supn n kcn xn k > 1, ezért végtelen sok n indexre
P
∞
kcn xn k > 1, amiből következik, hogy ck xk nem konvergens (ti. a konvergencia
k=0
szükséges feltétele: cn xn → 0, ha n → ∞ nem teljesül).
A bizonyításban felhasználtuk a konvergenciasugárra vonatkozó
1
R= p
lim sup n
|cn |
n
P
∞
7.10. Tétel. Legyen x egy egységelemes Banach-algebra egy eleme. A xk
k=0
geometriai sor akkor és csakis akkor konvergens, ha r(x) < 1.
P
∞
Bizonyítás. Csak azt kell megmutatni, hogy r(x) < 1, ha xk konvergens.
k=0
P
∞
k k
De ha x konvergens, akkor x → 0, ha k → ∞, így van olyan k0 , melyre
k=0
kxk0 k < 1, így
1 1
r(x) = inf n∈N kxn k n ≤ kxk0 k k0 < 1.
P
∞
7.11. Tétel. Legyen f (λ) = ck λk ha λ ∈ C, |λ| < R, ahol R a jobbol-
k=0
dalon álló hatványsor konvergenciasugara. Legyen továbbá X egy egységelemes
Banach-algebra és tegyük fel, hogy van olyan
∞
X s m
X Xi −1
k
f (x) = ck x = f (k) (λi )hik (x),
k=0 i=1 k=0
(l)
ahol hik -k a hik (λj ) = δij δkl (j = 1, 2, ..., s; l = 0, 1, ..., mj − 1) feltételeket kielé-
gítő speciális Hermite-Lagrange interpolációs polinomok.
184 7. FEJEZET. BANACH-ALGEBRÁK
P
m P
∞
Legyen sm (λ) = ck λk a ck λk sor m-edik részletösszege. sm -et p-vel
k=0 k=0
osztva
sm (λ) = p(λ)qm (λ) + rm (λ)
adódik, ahol qm , rm polinomok és rm fokszáma < p fokszáma = n. Innen követ-
kezik, hogy (λ − λi )mi osztója az sm (λ) − rm (λ)-nak, így
dk
(sm (λ) − rm (λ)) |λ=λi = 0,
dλk
(k) (k) (k)
azaz sm (λi ) = rm (λi ) (). Ez mutatja, hogy rm éppen az aik = sm (λi ) érték-
rendszerhez tartozó Hermite-Lagrange-féle interpolációs polinom, így
s m
X Xi −1
rm (λ) = s(k)
m (λi )hik (λ).
i=1 k=0
Ezt felhasználva
s m
X Xi −1
(k)
amiből látható, hogy |λi | < R esetén sm (λi ) → f (k) (λi ) és
Ps mP
i −1
sm (x) → f (k) (λi )hik (x), ha m → ∞.
i=1 k=0
7.12. Tétel. Egy Φ = Φ(t) n × n-es mátrixfüggvény akkor és csakis akkor alap-
mátrixa a (7.9) rendszernek, ha
és
det Φ(t0 ) 6= 0 valamely t0 ∈ [a, b]-ben.
Zt
y(t) = Φ(t)c + Φ(t) Φ−1 (s)f (s)ds,
t0
Zt
y(t) = Φ(t)Φ(t0 )−1 y0 + Φ(t) Φ−1 (s)f (s)ds.
t0
7.14. Tétel. Φ(t) = eAt az y 0 (t) = Ay(t) t ∈ (−∞, ∞) rendszer egy alapmátrixa
(A most egy konstans mátrix).
P∞ Ak tk
Bizonyítás. Φ(t) = (A0 = E = egységmátrix) így Φ(0) = E és
k=0 k!
det(Φ(0)) = 1 6= 0. Megmutatjuk, hogy Φ(t) = eAt teljesíti a Φ0 = AΦ egyenletet,
és akkor a 7.12 tétel miatt Φ alapmátrixa y 0 = Ay-nak.
Φ(t + h) − Φ(t) eA(t+h) − eAt eAh eAt − eAt
Φ0 (t) = lim lim lim =
µ h→0 ¶ h h→0 h h→0 h
eAh − E
lim eAt AeAt = AΦ(t),
h→0 h
186 7. FEJEZET. BANACH-ALGEBRÁK
° Ah ° ° 2 °
°e − E ° ° A h A3 h2 ° kAk2 |h| kAk3 |h|2
mert °
° − A °=°
° ° 2! + + ...°≤
° + + ... =
h 3! 2! 3!
ekAk·|h| − 1
= − kAk → 0, ha h → 0.
|h|
P
n
Itt kAk a 4.2-ben vizsgált mátrixnormák bármelyike lehet, pl. kAk = maxi aij ,
i=1
ha A = (aij ).
Az eA(t+h) = eA(h+t) = eAh eAt átalakításnál felhasználtuk azt a könnyen igazol-
ható tényt, hogy ha B, C felcserélhető mátrixok, akkor eB+C = eB eC .
Ha most p(λ) = det(A − λE)(−1)n , akkor a Cayley-Hamilton tétel szerint
p(A) = 0, így mátrixok analitikus függvényeinek kiszámítására alkalmazhatjuk a
7.11 tételt. Itt a hik polinomokat nem célszerű a definíciójuk alapján kiszámítani,
inkább azt használjuk fel, hogy hik -k f -től nem függenek. A számítási eljárást
egy példán keresztül szeretnénk
µ ¶ bemutatni. ¯ ¯
1 2 ¯1 − λ 2 ¯
Példa. Legyen A = . Az A mátrix sajátértékeit a ¯¯ ¯=0
2 4 2 4 − λ¯
egyenletből kiszámítva kapjuk, hogy
λ1 = 0, λ2 = 5
Ha f a zérus körüli R > 5 sugarú körben analitikus, úgy a 7.11 tétel szerint
f (λ) = λ − λ1 = λ esetén
1
A = 5h20 (A) így h20 (A) = A,
5
míg f (λ) = λ − λ2 = λ − 5-tel
1
A − 5E = −5h10 (A), amiből h10 (A) = (5E − A).
5
Kiszámolva a h10 , h20 mátrixokat kapjuk, hogy
µ ¶ µ ¶
1 4 −2 1 1 2
f (A) = f (0) + f (5) .
5 −2 1 5 2 4
Cauchy-probléma megoldása
µ ¶ (
5 y1 (t) = 2 + 3e5t
y(t) = eAt , vagyis
5 y2 (t) = −1 + 6e5t .
bármely i ∈ I és x ∈ X esetén xi ∈ I, ix ∈ I.
Ha I 6= X, akkor I-t valódi ideál nak nevezzük. Egy olyan valódi ideált, mely
nem része egyetlen bővebb valódi ideálnak sem, maximális ideál nak nevezünk. ¤
Mivel u + v = x0 + y 0 , így
kx0 + y 0 k ≤ kx0 k + ky 0 k.
Hasonlóan uv ∈ x0 y 0 miatt
u ∈ X, hogy
ku − (u1 + ... + un )k → 0, ha n → ∞.
Mivel u − (u1 + ... + un ) ∈ u0 − (x01 + ... + x0n ), így
P
∞
ku0 − (x01 + ... + x0n )k ≤ ku − (u1 + ... + un )k, ezért a x0k sor konvergens (és
k=1
összege u’).
Végül megmutatjuk, hogy ha e egységelem X-ben, úgy e0 = e + I egységelem
X/I-ben. A műveletek (1) értelmezése miatt e0 x0 = x0 e0 = x0 , megmutatjuk, hogy
ke0 k = 1. Egyrészt
ke0 k = inf ke + ik ≤ kek = 1,
i∈I
másrészt
ke0 k = ke0 e0 k ≤ ke0 k2
és ke0 k 6= 0 (mert különben e0 = 00 , e ∈ I volna, ami a 7.16 tétel miatt lehetetlen)
alapján
1 ≤ ke0 k,
tehát ke0 k = 1.
így ϕ(e) =°1.° Legyen most kxk = 1 és ϕ(x) = λ. Ha |λ| > 1 volna, akkor
x °x°° = kxk < 1 miatt a 7.2 tétel alapján reguláris, így
y =e− , °
λ °λ° |λ|
Másrészt
x ϕ(x) λ
ϕ(y) = ϕ(e − ) = ϕ(e) − = 1 − = 0,
λ λ λ
ami ellentmondás. Így |λ| ≤ 1, azaz |ϕ(x)| ≤ 1, ha kxk = 1, amiből következik,
hogy ϕ korlátos és
kϕk = sup |ϕ(x)| ≤ 1.
kxk=1
Azonban
kϕk = sup |ϕ(x)| ≥ |ϕ(e)| = 1
kxk=1
tehát kϕk = 1.
A következő tétel a karakterek, maximális ideálok és reguláris elemek közötti
kapcsolatot világítja meg.
b a nem
7.19. Tétel. Legyen X egy egységelemes kommutatív Banach-algebra, X
azonosan zérus karaktereinek halmaza.
b karakter nulltere.
1. X minden maximális ideálja valamely ϕ ∈ X
b karakter nulltere maximális ideálja X-nek.
2. Bármely ϕ ∈ X
b
3. x ∈ X akkor és csakis akkor reguláris, ha bármely ϕ ∈ X-ra ϕ(x) 6= 0.
b hogy ϕ(x) = λ.
4. λ ∈ σ(x) akkor és csakis akkor, ha van olyan ϕ ∈ X,
Bizonyítás. (1) Legyen I egy maximális ideálja X-nek, akkor I zárt (7.15 tétel)
és X/I Banach-algebra (7.17 tétel). Válasszuk az a ∈ X elemet úgy, hogy a 6∈ I
és legyen
J = aX + I.
Könnyű ellenőrizni, hogy J ideál X-ben, mely tartalmazza a-t (a = ae + 0 ∈ J),
így J bővebb I-nél. Ezért J = X és ax + i = e valamely x ∈ X, i ∈ I-re. Ha
π : X → X/I a természetes homomorfizmus, úgy innen
Ezért X/I minden a0 = πa (6= 00 , mert a 6∈ I) elemének van inverze: (a0 )−1 = x0 .
A Gelfand-Mazur tétel szerint ekkor létezik egy j : X/I → C izomorfizmus.
Legyen
ϕ(x) = j(πx) (x ∈ X),
b és N (ϕ) = {x ∈ X|ϕ(x) = 0} = {x ∈ X|πx = 00 } = I.
akkor ϕ ∈ X
(2) Nem nehéz ellenőrizni, hogy bármely ϕ ∈ X b mellett I = N (ϕ) = {x ∈
X|ϕ(x) = 0} ideál X-ben. I valódi ideál, mert ϕ 6= 0. I maximális ideál, mert ha
192 7. FEJEZET. BANACH-ALGEBRÁK
J I-nél bővebb ideálja volna X-nek, úgy létezne olyan a ∈ J, hogy a 6∈ I, azaz
ϕ(a) 6= 0. De ekkor
1
e= [a − (a − ϕ(a))e]
ϕ(a)
és a ∈ J, (a − ϕ(a))e ∈ N (ϕ) = I ⊂ J miatt e ∈ J, ezért bármely x ∈ X mellett
x = xe ∈ J, azaz J = X volna.
b
(3) Ha x reguláris és x−1 az inverze, úgy bármely ϕ ∈ X-re
és legyen az x : R → C függvény az
∞
X
x(t) = cn eint (t ∈ R) (7.14)
n=−∞
és
X∞
1
= dn eint (t ∈ R). (7.15)
x(t) n=−∞
7.9. GELFAND REPREZENTÁCIÓ 193
ϕ(x) = x(t0 ) (x ∈ X)
∞
X ∞
X
ϕ(x) = cn ϕ(xn0 ) = cn eint0 = x(t0 )
n=−∞ n=−∞
amint állítottuk.
Ha most x ∈ X és x(t) 6= 0 (t ∈ R) akkor bármely ϕ ∈ X b mellett ϕ(x) 6= 0,
1
így a 7.19 tétel (3) állítása alapján x reguláris. Így x−1 ∈ X, de x−1 (t) =
x(t)
(t ∈ R), ezért fennáll 7.15.
Φx (ϕ) = ϕ(x) b
(ϕ ∈ X)
194 7. FEJEZET. BANACH-ALGEBRÁK
V (ϕ0 , Φx1 , ..., Φxn ; ε1 , ..., εn ){ϕ ∈ Xb | |Φx (ϕ) − Φx (ϕ0 )| < εi ; i = 1, ..., n} =
i i
U (f0 ; Fx1 , ..., Fxn ; ε1 , ..., εn ){f ∈ X ∗ | |Fxi (f ) − Fxi (f0 )| < εi ; i = 1, ..., n} =
= {f ∈ X ∗ | |f (xi ) − f0 (xi )| < εi ; i = 1, ..., n}
alakú (xi ∈ X, εi > 0, i = 1, ..., n; n = 1, 2, ...). Mivel 7.16 és 7.17 azonosak, így a
Gelfand-topológia azonos az X ∗ gyenge * topológiájából származó altér topológi-
ával. A 4.19 és 4.20 (Banach-Alaoglu) tételek alapján S ∗ kompakt Hausdorff-tér,
így tételünk bizonyításához elegendő azt megmutatni, hogy X b gyenge * zárt
∗
részhalmaza X -nak.
Legyen f0 az X b gyenge * lezártjában. Azt kell megmutatnunk, hogy
|f (e)−f0 (e)| < ε, |f (x)−f0 (x)| < ε, |f (y)−f0 (y)| < ε, |f (xy)−f0 (xy)| < ε
7.9. GELFAND REPREZENTÁCIÓ 195
b karaktert.
teljesül f0 egy gyenge * környezete, így e halmaz tartalmaz egy ϕ ∈ X
Innen
|1 − f0 (e)| = |ϕ(e) − f0 (e)| < ε
tehát 7.19 teljesül; továbbá
f0 (xy) − f0 (x)f0 (y) = f0 (xy) − ϕ(xy) + ϕ(x)ϕ(y) − f0 (x)f0 (y) =
f0 (xy) − ϕ(xy) + ϕ(x)[ϕ(y) − f0 (y)] + [ϕ(x) − f0 (x)]f0 (y),
amiből
|f0 (xy) − f0 (x)f0 (y)| < (1 + |ϕ(x)| + |f0 (y)|)ε
így ε → 0-val adódik 7.18.
b az X
Jelölje C(X) b kompakt Hausdorff téren értelmezett folytonos függvények
b bármely x ∈ X mellett.
Banach-algebráját. Világos, hogy Φx ∈ C(X)
7.10. Definíció. A
Gx = Φx (x ∈ X)
vagy
b x ∈ X)
Gx(ϕ) = Φx (ϕ) = ϕ(x) (ϕ ∈ X,
b leképezést az X egységelemes kommu-
összefüggéssel értelmezett G : X → C(X)
tatív Banach-algebra Gelfand-reprezentációjának nevezzük. ¤
Megjegyezzük, hogy a G leképezés definíciója hasonló egy normált térnek a
második konjugált terébe való természetes leképezésének definíciójához.
így G homomorfizmus.
b
Ha k k∞ -nel jelöljük a sup-normát C(X)-en, akkor
Gx∗ = Gx
b
(ti. c(X)-ben az involúció a függvény komplex konjugáltjának képzése.) Legyen
először u ∈ X önadjungált elem: u = u∗ , és valós t mellett legyen
b
Ha Gu = Φu = α + iβ, ahol α, β valós értékű függvények C(X)-ből, akkor
felhasználva azt, hogy G homomorfizmus (7.22 tétel) kapjuk, hogy
σ0 (x) = σ(x).
akkor
Φx∗0 (ϕ1 ) = Φx0 (ϕ1 ) = Φx0 (ϕ2 ) = Φx∗0 (ϕ2 ).
Így ha y = p(x0 , x∗0 ) az x0 , x∗0 elemek tetszőleges polinomja, akkor
Φy (ϕ1 ) = Φy (ϕ2 ),
azaz
ϕ1 (y) = ϕ2 (y).
Az y = p(x0 , x∗0 ) alakú elemek sűrűn vannak B ∗ (x0 )-ban, így ϕ1 , ϕ2 folyto-
nossága miatt innen bármely x ∈ B ∗ (x0 )-ra
ϕ1 (x) = ϕ2 (x),
Ψ1 x0 = Ψx0
és
Ψ1 x∗0 = Ψ1 x0 = Ψx0 = Ψx∗0 ,
amiből x0 és x∗0 polinomjaira, majd tetszőleges x ∈ B ∗ (x0 )-ra kapjuk, hogy
Ψ1 x = Ψx, azaz Ψ1 = Ψ.
Ez a tétel lehetőséget nyújt arra, hogy egy B ∗ -algebra normális elemein folyto-
nos függvényeket értelmezzünk. Legyen ugyanis x0 normális elem, f ∈ C(σ(x0 ))
akkor az
x0 → f (x0 )
függvényt f (x0 ) = Ψ−1 f -fel értelmezzük, ahol Ψ−1 a (2)-ben szereplő leképezés
P
∞ P
∞
inverze. Ha f analitikus függvény, f (λ) = ck λk és ck xk0 konvergens, úgy a
k=0 k=0
P
∞
(2) állítás alapján f (x0 ) = ck xk0 adódik. Így a fenti értelmezés összhangban
k=0
van az analitikus függvények 7.4-ben adott értelmezésével.
8. fejezet
8.1. Alapfogalmak
8.1. Definíció. Az X halmazt topológikus térnek nevezzük, ha adva van rész-
halmazainak egy G halmaza, mely kielégíti az alábbi feltételeket:
202
8.2. NYÍLT ÉS ZÁRT HALMAZOK 203
8.1. Tétel. Egy halmaz akkor és csakis akkor nyílt, ha minden pontja belső
pont.
8.2. Tétel. Egy halmaz akkor és csakis akkor zárt, ha tartalmazza összes torló-
dási pontját.
8.4. Tétel. Egy halmaz nyílt magja azonos a halmaz összes belső pontjainak
halmazával.
(5) A ⊂ A− (7) A ⊂ B =⇒ A− ⊂ B −
(6) (A− )− = A− (8) (A ∪ B)− = A− ∪ B −
8.6. Tétel. Egy halmaz lezártja azonos a halmaz összes érintkezési pontjainak
halmazával.
Bizonyítás.
0
\ [ ³ 0 o ´0
−
A =
F 0
F A
0 0
=Ao .
F ⊃A F 0 ⊃A0
F zárt F 0 nyílt
8.9. Definíció. Azt mondjuk, hogy az A halmaz sűrű (vagy mindenütt sűrű)
X-ben, ha A− = X.
A B halmazt sehol sem sűrűnek nevezzük X-ben, ha B −o = ∅.
206 8. FEJEZET. FÜGGELÉK: TOPOLÓGIKUS TEREK
azaz az üres halmaz előáll „üres unióként”, az alaphalmaz pedig „üres metszet-
ként”.
8.8. Tétel. Egy X halmaz részhalmazainak egy B osztálya akkor és csakis akkor
bázisa X egy topológiájának, ha teljesülnek a következő feltételek:
I. U, V ∈ B, x ∈ U ∩ V =⇒ ∃W ∈ B : x ∈ W ⊂ U ∩ V,
S
II. B = X.
B∈B
8.11. Definíció. Egy topológikus tér nyílt halmazainak egy osztályát a tér szub-
bázisának nevezzük, ha ezen osztály halmazaival képezett összes véges tagszámú
metszetek a tér egy bázisát alkotják.
8.12. Definíció. Egy topológikus tér x pontjának környezeteiből álló B(X) hal-
mazosztályt x környezetbázisának nevezzük, ha x bármely környezete tartalmaz
B(X)-beli környezetet.
Példa. A valós számok R topológikus terében az összes nyílt intervallumok
(sőt, az összes racionális végpontú nyílt intervallumok is) a tér egy bázisát alkot-
ják. Az összes (r, ∞),¡(−∞, s) (r, s ¢racionálisak)
¯ alakú intervallumok szubbázist
alkotnak. A B(x) = { x − n1 , x + n1 ¯ n = 1, 2, ...} osztály x környezetbázisa.
8.14. Definíció. Azt mondjuk, hogy egy topológikus tér eleget tesz az első meg-
számlálhatósági axiómának, ha a tér bármely pontjának van megszámlálható
környezetbázisa. Azt mondjuk, hogy egy topológikus tér eleget tesz a második
megszámlálhatósági axiómának, ha a térnek van megszámlálható bázisa.
208 8. FEJEZET. FÜGGELÉK: TOPOLÓGIKUS TEREK
halmaz.
Könnyű ellenőrizni az alábbi tulajdonságokat:
f (∅) = ∅, f (X) ⊂ Y,
A1 ⊂ A2 =⇒ f (A1 ) ⊂ f (A2 ),
³[ ´ [
f Aα = f (Aα ),
³\ ´ \
f Aα ⊂ f (Aα )
f −1 (∅) = ∅, f −1 (Y ) = X,
B1 ⊂ B2 =⇒ f −1 (B1 ) ⊂ f −1 (B2 ),
³[ ´ [
f −1 Bα = f −1 (Bα ),
³\ ´ \
f −1 Bα = f −1 (Bα ),
¡ ¢0
f −1 (B 0 ) = f −1 (B) .
8.12. Tétel. Egy topológikus térnek egy másikba való leképezése akkor és csakis
akkor folytonos, ha minden pontban folytonos.
halmaz, melyre y0 ∈ B ⊂ U teljesül. Innen fαi (y0 ) ⊂ Gαi és mivel Gαi nyílt,¯
így tartalmaz egy fαi (y0 ) körüli εi > 0 sugarú nyílt körlapot, azaz {y ∈ Y ¯
|y − fαi (y0 )| < εi } ⊂ Gαi , innen
¯
{y ∈ Y ¯ |fαi (y) − fαi (y0 )| < εi } ⊂ fα−1
i
(Gαi ) (i = 1, ..., n),
8.14. Tétel. Egy topológikus tér akkor és csakis akkor T0 tér, ha különböző
pontok lezártjai is különbözők.
Egy topológikus tér akkor és csakis akkor T1 tér, ha bármely 1 pontból álló
részhalmaza zárt.
Egy X topológikus ¯tér akkor és csakis akkor T2 tér, ha önmagával való szor-
zatában a ∆ = {(x, x) ¯ x ∈ X} halmaz zárt.
8.15. Tétel. Egy topológikus tér akkor és csakis akkor teljesen reguláris tér, ha
homeomorf egy Tyihonov-tégla valamely alterével.
A tétel úgy is fogalmazható, hogy normális topológikus tér egy zárt részhalmazán
definiált valós értékű folytonos korlátos függvény kiterjeszthető az egész térre a
folytonosság és a korlátosság megtartása mellett. Sőt, azállítás érvényes marad a
korlátosság feltételének elhagyása esetén is.
Ugyanis, ha f : A → R folytonos, de nem korlátos az X normális topológikus
tér A zárt részhalmazán, akkor x → arctgf (x) folytonos korlátos függvény A-n,
melynek az előző
¯ tétel szerint van α folytonos kiterjesztése X-re. Mivel az A és
¯
B = {x ∈ X |α(x)| = π2 } zárt diszjunkt halmazok, így van olyan β : X → [0, 1]
függvény, hogy β(x) = 1, ha x ∈ A és β(y) = 0, ha y ∈ B. F (x) = tgβ(x)α(x)
(x ∈ X) folytonos kiterjesztése f -nek X-re. Ezzel bebizonyítottuk a Tietze tétel
alábbi következményét.
8.18. Tétel. Kompakt topológikus tér folytonos képe és zárt altere is kompakt.
A tétel második állítása Hausdorff-terek esetén megfordítható:
Egy Hausdorff-térben bármely kompakt részhalmaz zárt.
A következő nevezetes tétel Tyihonovtól származik.
8.24. Definíció. Legyen X egy topológikus tér, és ∞ egy X-en kívüli elem. Az
X ∗ = X ∪ {∞} halmazon a G topológiát a következőképpen definiáljuk: A ∈ G,
ha A nyílt részhalmaza X-nek vagy ha X ∗ \ A zárt, kompakt részhalmaza X-
nek. X ∗ -ot ezzel a G topológiával ellátva az X tér egy pont kompaktifikációjának
nevezzük.
8.22. Tétel. A valós számok R terének egy részhalmaza akkor és csakis akkor
összefüggő, ha egy intervallum. Speciálisan R összefüggő.
8.26. Definíció. Egy topológikus tér maximális összefüggő alterét (vagyis olyan
összefüggő alteret, mely nem valódi része egyetlen bővebb összefüggő altérnek
sem) a tér komponensének nevezzük.
(3) X olyan összefüggő altere, mely nyílt és zárt is, X egy komponense,
Funkcionálanalízis feladatok
9.1. Feladatok
1. Igazolja, hogy a metrika axiómái ekvivalensek a következő két axiómával:
%(x, y) = 0 ⇐⇒ x = y,
¡ ¢
%(x, y) ≤ %(x, z) + %(y, z) x, y, z ∈ X .
2. Lehet-e egy 4 sugarú (nyílt vagy zárt) gömb valódi részhalmaza egy 3 sugarú
gömbnek?
3. Igazolja, hogy ha egy 7 sugarú gömb benne van egy 3 sugarú gömbben, akkor
a két gömb azonos!
215
216 9. FEJEZET. FUNKCIONÁLANALÍZIS FELADATOK
10. Legyen F egy metrikus tér zárt részhalmazainak osztálya. Igazolja, hogy a
%H Hausdorff-féle távolság metrika F-en.
11. Bizonyítsa be, hogy egy metrikus tér eleget tesz az első megszámlálhatósági
axiómának.
%(x, y) ¡ ¢
%1 (x, y) = , %2 (x, y) = min{%(x, y), 1} x, y ∈ X
1 + %(x, y)
16. Jelölje C (m) [a, b] az [a, b]-n értelmezett valós vagy komplex értékű m-szer
folytonosan differenciálható függvények osztályát. Igazolja, hogy
m
X
%(x, y) = sup |xk (t) − y k (t)|
k=0 t∈[a,b]
17. Jelölje C (∞) [a, b] az [a, b]-n értelmezett valós vagy komplex értékű végtelen
sokszor folytonosan differenciálható függvények osztályát. Igazolja, hogy
metrika C(R)-en.
21. Egy (valós vagy komplex számokból álló) sorozatot finitnek nevezünk, ha
csak véges sok zérustól különböző eleme van. Jelölje Φ az összes finit sorozatok
halmazát. Igazolja, hogy Φ a
¡ ¢
%(x, y) = max |ξk − ηk | x = (ξ1 , ξ2 , ...), y = (η1 , η2 , ...) ∈ Φ
k
218 9. FEJEZET. FUNKCIONÁLANALÍZIS FELADATOK
metrikával nem teljes metrikus tér lesz. Határozza meg Φ teljes metrikus burkát!
24. Igazolja, hogy egy teljes metrikus térben zárt, egymásba skatulyázott gömbök
sorozatát véve, melyek sugarai zérushoz tartanak a gömbök metszete nem üres.
Mutassa meg, hogy az állítás nem igaz, ha elhagyjuk az alábbi feltételek egyikét:
(1) a tér teljessége
(2) a gömbök zártsága
(3) a gömbök sugarainak zérushoz tartása
26. Igaz-e az, hogy egy metrikus térben egy egy pontból álló halmaz sehol sem
sűrű?
27. Adjon példát két mindenütt sűrű halmazra, melyek metszete üres!
28. Legyen {xn } a [0, 1]-en folytonos valós értékű függvények sorozata, mely pon-
tonként konvergál x0 -hoz a [0, 1]-en. Igazolja, hogy x0 szakadási pontjai első ka-
tegóriájú halmazt alkotnak!
31. Vizsgálja meg, hogy az alábbi leképezések (mint C[0, 1]-nek önmagára való
leképezései) folytonosak-e:
de A : R → R nem kontrakció.
1
x(t) − sin x(t) + a(t) = 0 (t ∈ [0, 1])
2
teljesül, ahol a ∈ C[0, 1] adott.
R1 R1
x(t) = t + λ t2 sx(s)ds, x(t) = 1 + λ ts2 x(s)ds,
0 0
R1 R1
x(t) = t3 + λ t2 s2 x(s)ds, x(t) = 1 + λ et−s x(s)ds,
0 0
R1
x(t) = 1 + λ cos π(t − s)x(s)ds.
0
220 9. FEJEZET. FUNKCIONÁLANALÍZIS FELADATOK
Zb Zb
|λ| · |K(t, s)|2 dtds < 1
a a
feltételt, akkor az
Zb
x(t) = f (t) + λ · K(t, s)x(s)ds
a
∞
X
xi = aij xj + bi (i = 1, 2, ...) (9.1)
j=1
metrika C[a, b]-n, mely ekvivalens %0 -lal, azaz vannak olyan c1 , c2 > 0 konstansok,
melyekre
c1 %0 (x, y) ≤ %p (x, y) ≤ c2 %0 (x, y) (x, y ∈ C[a, b])
(ebből következik, hogy mindkét metrika szerint ugyanazok a konvergens soroza-
tok).
¯
41. Igazolja, hogy ha K : ∆ → R, ∆ = {(t, s) ¯ a ≤ s ≤ t ≤ b}, f : [a, b] → R
9.1. FELADATOK 221
Zb
(T x)(t) = f (t) + λ · K(t, s)x(s)ds (x ∈ C[a, b])
a
leképezés elég nagy p esetén kontrakció lesz a %p metrikával ellátott C[a, b] térből
önmagába.
44. Igazolja, hogy ha egy metrikus téren minden folytonos valós értékű függvény
korlátos, akkor a tér kompakt.
45. Tetszőleges nem kompakt metrikus térben megadható-e olyan valós értékű
folytonos korlátos függvény, mely nem veszi fel a függvényértékek suprémumát?
47. Tetszőleges nem kompakt metrikus téren megadható-e olyan folytonos valós
értékű függvény, mely nem egyenletesen folytonos?
49. Igazolja, hogy kompakt metrikus tér nem lehet izometrikus valódi részhal-
mazával!
222 9. FEJEZET. FUNKCIONÁLANALÍZIS FELADATOK
54. Vektortér-e R vagy C felett az [a, b]-n értelmezett valós vagy komplex értékű
összes
(1) [a, b]-n abszolút folytonos függvények halmaza,
(2) [a, b]-n korlátos változású függvények halmaza,
(3) [a, b]-n valós értékű monoton függvények halmaza,
(4) a-ban 1 értéket felvevő függvények halmaza,
(5) [a, b]-n Lipschitz-feltételt kielégítő függvények halmaza?
(A műveletek pontonként veendők.)
55. Vektortér-e az összes olyan komplex elemű {ξn } sorozatok halmaza, melyekre
P
∞
|ξi |p < ∞ teljesül valamely fix pozitív p mellett?
i=1
56. Legyenek A, B konvex halmazok egy lineáris térben. Bizonyítsa be, hogy
tetszőleges α, β ∈ R esetén αA + βB is konvex!
is félnormák!
62. Igazolja, hogy egy lineáris topológikus térben két kompakt halmaz összege is
kompakt!
66. Jelölje Lip[a, b] az összes [a, b]-n értelmezett x valós értékű függvények osz-
tályát, melyek eleget tesznek a Lipschitz-feltételnek:
69. Mutassa meg, hogy C (m) [a, b] lineáris altere C[a, b]-nek, mely nem zárt!
(C (m) [a, b] definícióját ld. a 16. feladatban.)
Rb
70. Igazolja, hogy C[a, b] nem teljes az kxk1 = |x(t)|dt norma szerint!
a
Rb
71. Mutassa meg, hogy az kxk0 = sup |x(t)| és kxk1 = |x(t)|dt normák C[a, b]-
t∈[a,b] a
n nem ekvivalensek!
Z1
F (x) = x(t) sin t dt F (x) = max x(t)dt
t∈[0,1]
0
Z1 µ ¶
1
2 1
F (x) = t x(t )dt
2 F (x) = x dt
2
0
Z1 Z1
F (x) = |x(t)|dt F (x) = x2 (t)dt
0 0
Állapítsa meg, hogy ezen funkcionálok közül melyek lineárisak, melyek korlátosak
és határozza meg utóbbiak normáját!
74. Igazolja az
1¡ ¢
< x, y >= kx + yk2 − kx − yk2 + ikx + iyk2 − ikx − iyk2
4
77. Legyen
ξ3 ξ5
M = {(ξ1 , ξ2 , ξ3 , , ξ5 , , ...) ∈ l2 },
3 5
N = {(η1 , 0, η3 , 0, η5 , 0, ...) ∈ l2 }.
Igazolja, hogy M + N = l2 , de M + N 6= l2 !
x = (ξ1 , ξ2 , ...) ∈ l2
ahol h ∈ R fix, a fix korlátos függvény. Határozza meg az A∗i adjungált operáto-
rokat (i = 1, 2, 3)!
93. Igazolja, hogy egy algebra bármely x eleme és bármely p komplex polinom
esetén
σ(p(x)) = p(σ(x))
94. Bizonyítsa be, hogy ha x reguláris, akkor
σ(xy) = σ(yx)
96. Tegyük fel, hogy egy Banach algebra x, y elemeire xy = yx. Mutassa meg,
hogy
r(x + y) ≤ r(x) + r(y)
r(xy) ≤ r(x)r(y)
97. Igazolja, hogy egy B ∗ -algebrában
Cauchy-feladat megoldását!
100. Legyen A egy n × n -es mátrix, melynek elemei az [a, b]-n definiált folytonos
valós értékű függvények. Tegyük fel, hogy bármely x ∈ [a, b] esetén A(x) és
Rx
A(t) dt felcserélhető mátrixok. Igazolja, hogy
ξ
Rx
A(t) dt
Φ(x) = eξ (ξ ∈ [a, b])
61. Lokálisan konvex tér esetén ld. [17], III.fejezet 7.lemma; az általános esetben
ld. N.Bourbaki, Topológikus vektorterek (oroszul) Moszkva, 1959.
80. Használja az
alapján számolható!
Irodalomjegyzék
[6] N. Dunford-J. T. Schwartz, Linear operators I-II. New York, 1958, 1964.
[14] A. Muhherjea-K. Pothoven, Real and functional analysis. New York, 1978.
230
IRODALOMJEGYZÉK 231
232
TÁRGYMUTATÓ 233
Uriszon-lemma, 212
vektor, 45
vektortér, 45
Volterra-féle integrálegyenlet, 32
zárt gömb, 21
zárt gráf tétel, 148
zárt operátor, 147
zárt rendszer, 77
Zorn lemma, 49