Beruflich Dokumente
Kultur Dokumente
Einfhrung
betrachten als Beispiel (Fredholm1 sche) Integralgleichung (zweiter Art),
1
f (s)
s [0, 1],
(1)
mit g : [0, 1] R, k : [0, 1] [0, 1] R stetig; suchen f : [0, 1] R stetig als Lsung knnen (1) als System unendlich vieler Gleichungen (fr jedes s [0, 1]) mit unendlich vielen Unbekannten f (s) auassen, die stetig zusammengehren formalisieren, um prinzipielle Ideen linearer Algebra (zum Lsen endlich vieler Gleichungssysteme) auszunutzen; dazu
1
Kf (s) :=
0
s [0, 1],
wobei K : C[0, 1] C[0, 1], f Kf , linear, (1) f (s) Kf (s) = g(s), s [0, 1],
Af = g
und A : C[0, 1] C[0, 1], f Af = ( id K)f , linear in der linearen Algebra fr n n Matrizen A: Ax = y genau dann eindeutig lsbar, wenn det A = 0 Ersatz fr n ? Fredholmsche Alternative, Bedingungen an K und Grundraum C[0, 1]
1
1.1
1.1.1
Banachrume
Grundbegrie
Normierte Vektorrume und metrische Rume Skalare K = R C ; reeller Vektorraum ; komplexer Vektorraum i K :
n
i xi = 0
i=1
1 = = n = 0;
i xi
i=1
Unterraum von X
i=1
j K, xj M : x =
j xj
j=1
17.8.1927 Stockholm)
6 U Unterraum von X, x1 , . . . , xk U , k N {x1 , . . . , xk } heit Basis von U {x1 , . . . , xk } X linear unabhngig dim U = Bemerkung : n N n linear unabhngige Elemente in U
Banachrume
Anzahl der Elemente einer Basis von U : Dimension von U , dim U = k = #{x1 , . . . , xk } span M =
dim U = n Es existieren n linear unabhngige Elemente in M , aber n + 1 Elemente aus M sind stets linear abhngig. Ist {x1 , . . . , xn } Basis von U X, so lsst sich jeder Vektor x U in eindeutiger Weise als Linearkombination der xi , i = 1, . . . , n, schreiben, d.h. jedes x U besitzt eine Darstellung x = 1 x1 + + n xn fr eindeutig bestimmte Zahlen 1 , . . . , n K.
Beispiel : Fr C[a, b] = {f : [a, b] K stetig}, [a, b] R, gilt dim C[a, b] = : betrachten {1, x, . . . , xn } linear unabhngig fr alle n N Denition 1.1 Es sei X ein Vektorraum ber K und (i) (ii) (iii) x 0 fr alle x X, : xX x =0 x R+ = [0, ) x=0
x = || x
x+y x + y
=
k=1
|xk |, f
=
k=1
|xk |2
1/2
= max
k=1,...,n
|xk | fr x = (x1 , . . . , xn )
C[a, b] mit
j=1 j=1
und
|aj |2 < , a
|aj | < ,
=
j=1
|aj |,
j=1
|aj |2
1/2
= sup |aj |
jN
1.1 Grundbegrie
A X beschrnkt
a c |f (x)|p dx
1 p
bung I-2
=
a
1 p < , betrachten.
Fr 1 p q gibt es ein c = c(p, q) > 0, so dass fr alle f C[a, b] gilt f p c f q ; die Umkehrung ist falsch. Fr f C[a, b] ist Wiederholung: metrischer Raum M = beliebig, d : M M R+ Metrik, falls fr alle x, y, z M gilt d(x, y) 0, d(x, y) = 0 x=y d(x, y) = d(y, x) d(x, y) d(x, z) + d(z, y) Bemerkung : Mit d(x, y) = x y Rn , d2 = x y Grundbegrie im metrischen Raum K (a) = K(a, ) := {b M : d(a, b) < } oene -Kugel um a M , > 0 a M innerer Punkt von A > 0 : K(a, ) A, A . . . Menge der inneren Punkte von A a M Berhrungspunkt von A > 0 : K(a, ) A = a M isolierter Punkt zu A > 0 : K(a, ) A = {a} a M Hufungspunkt von A > 0 : #K(a, ) A = A = A {a M : a Hufungspunkt zu A} . . . Abschluss von A a M Randpunkt von A > 0 : K(a, ) A = und K(a, ) (M \ A) = A . . . Menge der Randpunkte von A A oen Bemerkung : A = A; A abgeschlossen M \ A oen A=A A = A A, wird jeder normierte Raum zu einem metrischen Raum. Eine Grundmenge M kann mit verschiedenen Metriken ausgestattet sein.
2
= lim f
p
p.
...
euklidische Metrik
A = {B A : B abgeschlossen}, A = A \ A x0 M
A =
{B A : B oen},
(xn ) M konvergent n=1 (xn ) n=1 M d (xn , xm ) < Denition 1.2 Sei
X,
(i) Eine Folge (xn ) X heit konvergent x0 X > 0 n0 () n n0 () : xn x0 < . n=1 (ii) Eine Folge (xn ) X heit Cauchy-Folge (Fundamentalfolge) > 0 n0 () n, m n=1 n0 () : xn xm < .
2 Augustin
23.5.1857 Paris)
8 Bemerkung :
Banachrume
x0 , oder xn x0 fr n , bzw. xn x0
n
in X
Lemma 1.3 Sei [X, ] ein normierter Raum. (i) Jede konvergente Folge (xn ) X ist eine Cauchy-Folge. n=1 (ii) Jede Cauchy-Folge ist beschrnkt. (iii) Aus xn x0 folgt xn x0 (Stetigkeit der Norm).
n n
B e w e i s : Wiederholung/bung Denition 1.4 (i) Ein metrischer Raum M, d heit vollstndig, wenn jede Cauchy-Folge in M, d konvergiert. X, d mit
(ii) Ein normierter Raum X, heit vollstndig , wenn der (zugehrige) metrische Raum d(x, y) = x y ein vollstndiger metrischer Raum ist. (iii) Ein vollstndiger normierter Raum heit Banach3 -Raum.
Beispiele :
1, 1,
2, 2,
vollstndig
nicht vollstndig
vollstndig
1 1
=
0
1
|f (t)| dt
0.8
Cauchy-Folge fn (x)
n
fn fm
=
0
1 (x x ) dx 0 m + 1 m
m n
0.6
0.4
0 1
1
, 0x<1 , x=1
n 0
0.2
= f (x)
0 0 0.2 0.4 0.6 0.8 1
fn f
1 0, x dx = n + 1 n
aber f C[0, 1]
P = {p : [a, b] K, p Polynom} C[a, b] . . . (algebraische) Polynome, Teilraum von C[a, b] m xk P mit nicht vollstndig: betrachten pm (x) = P, (pm ) Cauchy-Folge, m=0 k!
k=0
in C[a, b]
Bemerkung :
Nicht jeder normierte Raum ist vollstndig. Vollstndigkeit kann von gewhlter Norm abhngen. Unterrume vollstndiger Rume mssen nicht vollstndig sein.
3 Stefan
31.8.1945 Lvov)
1.1 Grundbegrie
Satz 1.5 Sei [X, ] ein normierter Vektorraum. Dann ist X vollstndig genau dann, wenn fr alle Folgen
m
(xk )k X mit
k=1
xk =
k=1 k=1
xk X.
bung I-3
Satz 1.6 Sei A = . Dann ist der Raum der beschrnkten Funktionen, B(A) = {f : A K : f ein Banachraum.
fk
k=1
< ;
z.z.: f =
k=1
fk B(A),
sup
xA m k=1
fk (x) <
m
k=n
fk (x)
fk
k=n
fk (x)
k=1 m
Cauchy-Folge in K = = = = ax K : ax = = = =
K vollstndig
k=1
f : A K,
|f (x)|
fk
k=1
< fr alle x A = =
sup
Folgerung 1.7 Die Rume 1 (N), 2 (N) und (N) sind vollstndig.
B e w e i s : Aussage zu (N) folgt aus Satz 1.6; hier 1 (N); 2 (N) analog (als bung); sei (an )n 1 (N) Cauchy-Folge
>0 k N : an k
n0
m > n n0 : am an
=
k=1
(2)
Cauchyfolge in K = = = = k N bk = lim an ; = = = k
K vollstndig n
sei j N, (2)
k=1
k=1
|an bk | < 2 fr n n0 k
== ==
j
(an )n b in 1 (N)
n
k=1
|an bk | k
2 fr n n0
k=1
|bk |
k=1
|an bk |+ k
k=1
|an | 2+ an k
<
b 1 (N),
10
Banachrume
bung I-4
: Zeigen Sie, dass die folgenden normierten Rume nicht vollstndig sind: p (N), 1 p < , mit C[a, b] mit
,
p , 1 p < ,
n
C1 [a, b] = {f : [a, b] K : f (m) C[a, b], m = 0, 1} mit f 1 (N) mit der Norm a = sup
nN k=1
= sup |f (x)|,
x[a,b]
ak .
Denition 1.8 Sei [X, ] ein normierter Vektorraum. (i) M X heit dicht (in X) xX
(xj )j M : xj x
j
in X
(ii) X heit separabel genau dann, wenn eine abzhlbare dichte Teilmenge in X existiert.
Bemerkung :
Q dicht in R, Qn dicht in Rn analoge Denition gilt allgemeiner fr metrische Rume: A M dicht M > 0 x A : d(x, x ) < , d.h. x K(x, ) x
|ak | < , m m0
< ;
zudem ist jedes a c00 (N) durch Folgen aus cQ (N) = {a c00 (N) : an Q} approximierbar, und 00 cQ (N) abzhlbar 00 bung I-5 Bemerkung : : Zeigen Sie, dass (N) nicht separabel ist. Teilraum U heit abgeschlossen U dicht in X U =X [U, ] vollstndig
U2 = {x R2 : a1 x1 + a2 x2 = 0} R2 , (a1 , a2 ) = 0 abgeschlossen
(b) c0 (N) = {a (N) : lim aj = 0} (N) Nullfolgen; abgeschlossener Teilraum, denn: sei (an )n c0 (N) (N) mit an a (N); n lim aj = 0; sei > 0
j
a an
n +|aj |
<, n>n0 ()
c0 (N) separabel
(c) c00 (N) = {a (N) : j0 j j0 : aj = 0} (N) Teilraum, nicht abgeschlossen; Es gilt: c00 (N) = c0 (N) (N); klar: c00 (N) c0 (N) c00 (N) c0 (N) = c0 (N);
(b)
11
bj = (a1 , . . . , aj , 0, . . . , 0)
j0
j j0 : |aj | < ;
setzen
1.1.2
Vervollstndigung
sei [X, ] normierter Vektorraum, U X Teilraum Frage: Kann man fr jeden beliebigen Teilraum U eines Banachraumes X, bzw. sogar fr jeden normierten Vektorraum Y eine Vervollstndigung nden, d.h. einen Banachraum W mit Y = W? Denition 1.9 Seien [X, X] und [Y, Y ] normierte Vektorrume. X und Y heien isometrisch-isomorph genau dann, wenn eine lineare Abbildung L : X Y existiert, fr die gilt (i) Lx
Y
= x
fr alle x X
(ii) L surjektiv, L(X) = Y. Die Abbildung L heit isometrischer Isomorphismus. Bemerkung : L : X Y linear, surjektiv, isometrisch L1 : Y X existiert, isometr. Isomorphismus
Satz 1.10 (i) Jeden normierten Vektorraum kann man isometrisch-isomorph auf eine dichte Teilmenge eines geeigneten Banachraumes abbilden. (ii) Smtliche Banachrume mit dieser Eigenschaft sind untereinander isometrisch-isomorph. B e w e i s : 1. Schritt: zu (i); sei [X, X ] normierter Vektorraum; konstruieren Banachraum [Y, Isomorphismus L : X L(X) Y mit L(X) = Y fhren auf der Menge aller Cauchyfolgen (xn )n in X quivalenzrelation ein: (xn )n X (zn )n (xn zn )n c0 (X, N) Nullfolge, d.h.
n Y]
und
lim
xn zn
=0
betrachten fr Cauchy-Folge x = (xn )n deren quivalenzklasse [x]X = {(zn )n Cauchy-Folge in X : (xn )n X (zn )n } setzen Y = {[x]X : (xn )n Cauchy-Folge in X}; linearer Vektorraum: [0]X = {(zn )n X : lim zn = 0} = c0 (X, N)
n
Unabhngigkeit von der Auswahl der Reprsentanten: seien (n )n [x]X , (n )n [y]X n + n = xn + (n xn ) +yn + (n yn ) X xn + yn 0 n [x]X 0 n
X
fhren nun Norm ein auf Y: sei [x]X Y, setzen existiert nach Lemma 1.3(iii), da ( xn
X )n
= lim
xn
zn
xn zn
X n
lim
xn
= lim
zn
= [x]X
Banachrume
Y]
setzen Lx = [x]X
= [x]X
= lim
= x
L : X L(X) Y isometrisch-isomorph z.z.: L(X) dicht in Y: sei [y]X Y k L(X), z.z.: [Y,
Y]
k [y]X
= [yk ]X [y]X
= lim
yk yn
< fr k k0 2k , k N
vollstndig
L(X) dicht in Y Y
k yk
<2k <,
+ yk ym
ym m
<2m <,
< 3,
m, k k1
kk0
<, m>km0
mm1
= Lxk
= [xk ]X
= xk
y k
n
Y
X
+ k yk
2k
lim
xn xk
X+
2k
, kk1
2,
k k2
lim
xn xk Y
, kk0
y = [x]X Y mit y yk
0
k
Y vollstndig
2. Schritt: zu (ii); seien Y1 , Y2 Banachrume gem (i), fr die Isomorphismen L1 , L2 existieren mit L1 :X L1 (X) Y1 , und L1 (X) = Y1 , und L2 (X) = Y2 ; isometrisch-isomorph, L2 x = Ly L2 (X),
Y1
L2 :X L2 (X) Y2 , betrachten
da L1 , L2 Isometrien: y L1 (X) Ly
Y2
L = L2 L1 : L1 (X) L2 (X) 1 x X : y = L1 x
Y2
= L2 x
= x
= L1 x
= y
Y1 ,
y L1 (X)
= = = = = = = (Lk )k = = = = = = =
L Isometrie auf L1 (X) Y2 vollstndig
in L2 (X) Y2
2 = = = = Y2 : Lk , setzen Ly := ====
in Y
L wohldeniert, d.h. unabhngig von der Auswahl der Folge (k )k : sei (k )k L1 (X) : k y
k
= = = Y2 mit Lk , = =
wie oben k
in Y2
Y2
Lk
<, kk0
Y2
Lk Lk
= k k
Y2
+ Lk
<, kk1
Y2
Y1 , L isom.
< 2 + k y
Y1
+ y k
Y1
< 4,
k k4
in Y2
<, kk2
<, kk3
13 sei y Y2 = = = = (k )k L2 (X) : k y = = =
L2 (X) = Y2 k
L1 (X) Y1 = = = = x Y1 : zk x = Lx = y ==== =
Y1 vollstndig k s.o.
Lk
L2 (X)
Y2
k
L1 (X)
Y1 ,
kN
Y1
= lim Lk
k
Y2
= lim
Y1
= y
Den Banachraum gem (i) nennt man Vervollstndigung des normierten Vektorraumes. Banachrume in (ii) heien Kopien und werden im folgenden nicht weiter unterschieden. analoges Resultat auch fr metrische Rume
1.1.3
Kompaktheit
Denition 1.11 Seien [X, d] metrischer Raum, A X. A heit kompakt (folgenkompakt) genau dann, wenn jede Folge aus A eine in A konvergente Teilfolge besitzt. Bemerkung : frher: A Kn kompakt A beschrnkt und abgeschlossen; i.a. nur = min f (a), max f (a) existieren
aA aA
f gleichmig stetig
Denition 1.12 Seien I eine beliebige Indexmenge und die Mengen U , I, oen, und A X. (i) Das System {U }I heit oene berdeckung von A, falls gilt A
I
U .
I0
(ii) Sei I0 I. Dann heit {U }I0 oene Teilberdeckung von A, falls gilt A
U .
(iii) A heit berdeckungskompakt, wenn zu jeder oenen berdeckung eine endliche Teilberdeckung existiert. Satz 1.13 (Heine4 - Borel5 ) Seien [X, d] metrischer Raum, A X. Folgende Aussagen sind quivalent: (i) A (folgen)kompakt (ii) A berdeckungskompakt (iii) Jede unendliche Teilmenge von A besitzt einen Hufungspunkt in A. B e w e i s : 1. Schritt: seien A (folgen)kompakt, {U }I eine oene berdeckung; zeigen zunchst > 0 x A I : K (x) U indirekt, Annahme: (3) falsch, d.h. (mit = nN
4 Heinrich 5 Flix
(3)
1 n)
xn A
I : K1/n (xn ) U
Eduard Heine ( 16.3.1821 Berlin 21.10.1881 Halle) Edouard Justin Emile Borel ( 7.1.1871 Aveyron/Frankreich
3.2.1956 Paris)
14
Banachrume
x A
k
U
I 0
== 0 I : x U0 = = = 0 > 0 : K0 (x ) U0
U0 oen
xnk x
k0
k k0 : d(xnk , x0 ) <
U0
sei x K0 /2 (xnk ), k k0 d(x, x0 ) d(x, xnk ) + d(xnk , x0 ) < K1/nk (xnk ) K0 /2 (xnk ) K0 (x ) K1/nk (xnk ) K0 (x0 ) U0 , k k0
0
0 0 + = 0 2 2
zur Annahme
2. Schritt: (i) (ii) seien A = (folgen)kompakt, {U }I oene berdeckung; whlen > 0 aus (3); sei x1 A = 1 I : K (x1 ) U1 ;
(3)
d(x2 , x1 ) , 2 I : K (x2 ) U2 ;
n1 n n
whlen xn A \
m
K (xk )
k=1
min d(xk , xi ) , 1 , . . . , n I :
k=i
k=1
K (xk )
Uk ;
k=1
g.z.z.: m N : A \
k=1
indirekt, Annahme: m N : A \
m1
K (xk ) =
mN: A 3. Schritt:
k=1
K (xk )
Uk
k=1
(ii) (iii)
X \ M oen
(ii)
Km (m) =:
IM
Ui
i=1
#{x X : x A M } n <
sei (xk )k A beliebige Folge es existiert eine konvergente Teilfolge (xkl )lN (xk )kN : xkl x0
l 0
Bemerkung :
Folgerung 1.14 Seien [X, d] metrischer Raum, und X kompakt. Dann ist X separabel. B e w e i s : betrachten oene berdeckung von X mit U = K1/j (x), = x X = I, j N fest
nj
jN: X
xX
K1/j (x) = = = j N = =
Satz 1.13
nj {xj }k=1 k
X:
K1/j (xj ) k
k=1
(4)
15
= xX
(4)
K1/j0 (xj0 ) k
k=1
d(x, xj0 ) k
1 < < j0
Denition 1.15 Seien [X, d] metrischer Raum, A X. (i) Die Menge A heit prkompakt genau dann, wenn fr jede Folge in A eine (in X) konvergente Teilfolge existiert. (ii) Sei > 0. M X heit -Netz fr A, falls A Folgerung 1.16 Seien [X, d] metrischer Raum, A X. (i) A kompakt = A abgeschlossen und prkompakt. A beschrnkt. (ii) A prkompakt
xM
K (x) gilt.
B e w e i s : zu (i): folgt unmittelbar aus Denitionen, bis auf: A kompakt A abgeschlossen: sei (an )nN A konvergente Folge, lim an = a X
n A kompakt k
g.z.z.: a A
lim eindeutig n k
(an )nN A = = = (ank )kN (an )nN : lim ank A = = = = a = lim an = lim ank A === == = zu (ii): A prkompakt = A beschrnkt, fr x0 X gilt A
(i) m
Kn (x0 )
nN
== = m N : A = =
Satz 1.13
k=1
k=1,...,m
max nk
A Knmax (x0 )
Bemerkung :
Satz 1.17 Seien [X, d] ein vollstndiger metrischer Raum, A X. Dann ist A prkompakt genau dann, wenn fr jedes > 0 ein endliches -Netz fr A existiert. B e w e i s : 1. Schritt: = sei > 0 A K (a)
aA
K (aj )
j=1
=1
y1 , . . . , ym : {xj : j N}
K1 (yk )
k=1
16 betrachten Diagonalfolge (xj )j , Teilfolge von (xj )j : j n : xj K1/n (ykn ) j j d(xj , xl ) d(xj , ykn ) + d(ykn , xl ) < l l j j (xj )j Cauchy-Folge in X = = = = x X : xj x === j j
X vollstndig j
Banachrume
2 , n
j, l n
Bemerkung :
Folgerung 1.18 Seien [X, d] metrischer Raum, A X. Dann ist A prkompakt genau dann, wenn fr jedes > 0 ein prkompaktes -Netz fr A existiert. Beweis : paktes -Netz = A prkompakt = = = > 0 M endliches -Netz fr A = = = M prkom= = = =
Satz 1.17 Bem. s.o.
= Seien > 0 und M prkompaktes -Netz fr A; Satz 1.17 ist endliches 2-Netz fr A = = = A prkompakt = =
Satz 1.17 j1 j
N endliches -Netz fr M
Beispiel : betrachten Standardbasis E = {e = (0, . . . , 0, 1, 0, 0, . . . ), j N} 1 (N) E beschrnkt in 1 (N), aber E nicht prkompakt, da ej ek 1 = 2, j = k konvergente Teilfolge geben analog fr 2 (N), (N), c0 (N), . . .
es kann keine
Lemma 1.19 A 1 (N) prkompakt genau dann, wenn A beschrnkt ist und sup Beweis : A prkompakt = = = A beschrnkt; ==
Folg. 1.16
aA j=n
|aj | 0 gilt.
n
=
Satz 1.17
j = 1, . . . , r
k=n
nj () :
k=nj k=n
|mj | < = n = k
max
j = 1, . . . , r :
k=n
|mj | < k
|ak |
k=n
|ak mj | + k
1 <
aA
k=n
|ak | < 2, n n
j: amj
<, nn
A beschrnkt (ak )kN beschrnkt in 1 (N) (ak )kN K beschrnkt fr j N; verwenden Satz von j Bolzano6 -Weierstra7 : j=1 (a1,k )kN (ak )kN , b1 K : a1,k b1 1 j=2 . . . j=m (a2,k )kN (a1,k )kN , b2 K : a2,k b2 , a2,k b1 2 1
k k k
betrachten Diagonalfolgen (dk ) = (ak,k ) (ar,k ) , r N, Teilfolgen von (ak )kN A; k=r k=r k=r rN dk = ar,lk br , r r
lk
> 0, n N
6 Bernhard 7 Karl
Bolzano ( 5.10.1781 Prag 18.12.1848 Prag) Theodor Wilhelm Weierstra ( 31.10.1815 Ostenfelde/Westfalen
19.2.1897 Berlin)
1.1 Grundbegrie
n1
17
dk dm
=
r=1
|dk dm | = r r
r=1
|dk dm | + r r
r=n 2 sup
|dk dm | r r
< 3 fr k m m0
<, kmm0 k k
cA j=n
bung I-8
: Beweisen Sie, dass eine Menge A c0 (N) genau dann prkompakt ist, wenn es eine Nullfolge (xn )nN gibt, so dass fr alle (an )nN A gilt: |an | xn , n N.
1.1.4
Beispiele :
j=0
aj xj , aj K
Tn =
t(x) =
k=n
ck eikx , ck K
deg(t) n; Bemerkung :
alternative Darstellung von Tn mit cos(kx), sin(kx), k = 0, . . . , n lineare Algebra: V Vektorraum ber K mit dim V = n es existiert ein bijektiver, linearer Endomorphismus) V Kn isomorph (d.h.
Denition 1.20 Sei X ein linearer Vektorraum. Zwei Normen c1 > 0, c2 > 0 Bemerkung : x X : c1 x
1
und
2
c2 x 1 .
quivalente Normen erzeugen gleichen Konvergenzbegri und gleiche Topologie, d.h. A oen bzgl. d1 1 A oen bzgl. d2 2
Lemma 1.21 Sei [X, X ] normierter Vektorraum ber K, {x1 , . . . , xn } linear unabhngig. Dann existiert ein c > 0, so dass fr alle a Kn gilt
n n
a|n = 1
j=1 n
|aj | c
aj xj
j=1
aj xj
j=1 n
sei = max
k=1,...,n
xk
j=1
|aj | xj
a|n , 1
a Kn
n S1
n n betrachten S1 = {a Kn : a|n = 1} Kn S1 beschrnkt und abgeschlossen in Kn 1 n n kompakt in Kn = = g(S1 ) X kompakt = = = { g(a) X : a S1 } kompakt in R == === g stetig
X
stetig
= = = = = = := min{ g(a) = = = = =
Satz vom Minimum n
: a|n = 1} 1
(5)
> 0, denn: = 0 a0 Kn , a0 |n = 1, 1
j=1
a0 xj = 0 = = = = a0 = = a0 = 0 ==== j 1 n
xi lin. unabh.
18 sei a Kn , a = 0 a n S1 a|n 1 = g
(5)
Banachrume
a a|n 1
n
=
X j=1
aj xj a|n 1 1
n X
a|n 1
aj xj
j=1
== =
>0
a|n c 1
aj xj
j=1
mit
c=
Satz 1.22 Sei X ein Vektorraum ber K mit dim X = n. (i) Alle Normen auf X sind untereinander quivalent. (ii) X ist isomorph zum Raum Kn (bei geeigneter Normierung). (iii) X ist vollstndig und separabel. B e w e i s : 1. Schritt: betrachten [X, betrachten x
1 1 X ], n j=1
mit
a|n 1
|aj | fr
x=
j=1
aj xj ,
a Kn
Norm auf X, x
1
= = = = c = c1 > 0 : = = = 1
Lemma 1.21
1 c1
x (i)
j=1
|aj | xj
max
j=1,...,n
xj
=: c2 x
auf X fr beliebige
1]
2. Schritt:
betrachten [X,
L : X Kn ,
x=
j=1
aj xj Lx = (a1 , . . . , an )
1
bijektiv
(ii)
aj xj
j=1
abzhlbar, dicht in X
X separabel
(iii)
(i) X ist endlich-dimensional. (ii) Jede beschrnkte Menge ist prkompakt. (iii) Die abgeschlossene Einheitskugel in X, UX = K1 (0) = {x X : x ist kompakt.
X
1}
8 Frigyes
28.2.1956 Budapest)
1.2 Funktionenrume und Folgenrume Beweis : (ii) (iii) (iii) (i) (i) (ii) folgt aus Isomorphie mit [Kn , |n ] und entsprechender Aussage fr Kn 1
19
sei UX kompakt = = = y1 , . . . , ym X : UX = =
Satz 1.13
j=1
indirekt, Annahme: Y
g.z.z.: X = Y
yY X
dist (x , Y) = inf x0 y
X
= y 0 Y : 0 < d x0 y 0 sei z 0 = x0 y 0 X x0 y 0 X
X
1 2
3 d 2
z 0 UX
yj Y : z 0 yj
<
x0 = y 0 + x0 y 0 x0 y 0
X
z 0 = y 0 + x0 y 0
=:uY X
yj + x0 y 0
X
(z 0 yj ) x0 y 0
X
z 0 yj
1 <2
= x0 u
inf x0 y
yY
=d
> 2d
zu (6)
1.2
1.2.1
j=1
|aj |p < ,
=
j=1
|aj |p
1/p
= sup |aj |.
jN
Bemerkung :
a|n = p
n j=1
|aj |p
1/p
, p< p=
sup |aj |,
j=1,...,n
Lemma 1.25 (Young9 sche Ungleichung) Sei fr 1 < p < die Zahl p durch
1 p
1 p
xy
x, y 0.
9 William
7.7.1942 Lausanne)
20
Banachrume
xy
tp1 dt +
0
1 p px
u p1 du y
p p1 p1 p y
yp xp + = p p da p = p p1
11111111111111 00000000000000 f (t) = t 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 x
p1
Satz 1.26 (Hlder10 sche Ungleichung) Sei fr 1 < p < die Zahl p durch p [1, ) und a, b Kn ,
n n 1 p
1 p
k=1
ak b k
k=1
|ak ||bk |
k=1
|ak |
1 p
sup |b | k
k=1,...,n n
k=1
|bk |p
1 p
fr p > 1, p < , fr p = 1, p = .
o.B.d.A. p > 1, a = 0, b = 0
n
k=1 n
|k |p =
k=1
|k |p = 1 1 p
n k=1
== = = = = =
Lemma 1.25
k=1 n
k k
k=1
|k ||k | b|n p
|k |p +
1 p
n k=1
|k |p =
1 1 + =1 p p
= =n= =n ====
a|p b|p
k=1
ak bk a|n p
|ak + bk |p
1 p
k=1
|ak |p
1 p
+
k=1
|bk |p
1 p
) klar;
|ak + bk |p
k=1
k=1 n
n Hlder k=1 n
p p1
n k=1
|ak |p
+
k=1
1 p
|ak +bk |p
|ak +bk |p
k=1
1 p
|bk |p
1 p
= p
k=1
|ak + bk |p
1 p
k=1
|ak |p
+
k=1
|bk |p
o.B.d.A. > 0
10 Otto 11 Hermann
Ludwig Hlder ( 22.12.1859 Stuttgart 29.8.1937 Leipzig) Minkowski ( 22.6.1864 Alexotas/Russland 12.1.1909 Gttingen)
21
1 p
k=1
|ak + bk |p
k=1
|ak |p
+
k=1
|bk |p
1 p
j j0 : aj = 0} c0 (N)
Satz 1.28 (i) Die Rume [p (N), p ], 1 p , sind Banachrume. Fr 1 p < ist p (N) separabel, (N) ist nicht separabel. (ii) A p (N), 1 p < , ist genau dann prkompakt, wenn A beschrnkt ist und zustzlich gilt
sup
aA j=n
|aj |p 0.
n
Norm auf p (N): Dreiecksungleichung folgt aus Minkowski-Ungleichung, Satz 1.27 mit n
p ]:
Separabilitt: fr 1 (N) in Beispiel nach Def. 1.8, analog fr 1 < p < ; (N) nicht separabel: siehe A I-5 zu (ii): zu (iii): analog zu Lemma 1.19 fr p = 1 c0 (N) abgeschlossener Teilraum, separabel: Beispiel (b) nach Def. 1.8 sei (an )n c(N) (N) mit an a (N);
n j j
z.z.: a c(N)
n
bn K : an bn , n N; j
<, kk1 K vollstndig
g.z.z.: aj b = lim bn
an am <, kk2
b = lim bn existiert:
n.z.z.: lim aj = b:
j
|aj b|
|aj an | j
<,nn0
|an bn | j
<, jj0 (n0 ,n1 ,)
+ |bn b| < 3,
<, nn1
j j0
aan
c(N) separabel
Lemma 1.29 Seien x, y 0, 0 < p < . Dann gilt (x + y)p 2p1 (xp + y p ), x +y 2
p p 1p p
1 p < , (x + y) , 0 < p 1.
B e w e i s : o.B.d.A. x, y > 0
(1 + t)p
22 (1 + t)p 1 + tp
Banachrume
(1 + t)p1 (1 tp1 ) (1 + tp )2
g (t) = 0 t = 1
g hat lokales Minimum in t = 1 fr 0 < p < 1 bzw. lokales Maximum in t = 1 fr 1 < p < , d.h. fr alle t > 0 gilt 1 g(t) 2p1 , 1p< 1 + tp (1 + t)p 2p1 (1 + tp ), 1 p < 2p1 (1 + tp ) (1 + t)p 1 + tp , 0 < p 1
Beweis mittels Jensen12 scher Ungleichung: konvex, p 1 konkav, p 1 f x+y 2 x+y 2 f (x) + f (y) , p1 2 f (x) + f (y) , p1 2 p1 p1
f (x) = x
Folgerung 1.30
(ii) Seien 0 < p < 1 und a = (ak )kN , b = (bk )kN p (N). Dann gilt fr a + b = (ak + bk )kN , a+b a+b
n p p p
2 p 1 ( a a
p p
+ b p) ,
+ b
p p.
B e w e i s : zu (i): sei n N
k=1
|ak |
1 q
=
k=1
n
|ak |
p q
1 p
n Lemma 1.29
k=1
|ak |p
1 p
k=1
|ak |p , p<q
zu (ii): folgt unmittelbar aus Lemma 1.29 Eine Abbildung : X R+ , die Denition 1.1(i),(ii) gengt, aber anstelle von Denition 1.1(iii) nur erfllt c > 1 x, y X : x + y c ( x + y ) , heit Quasinorm, und [X, ] quasinormierter Raum; falls anstelle von Denition 1.1(iii) gilt (0, 1] x, y X : x + y
Bemerkung :
+ y ,
so nennt man eine -Norm, und [X, ] -normierten Raum. Ist [X, ] vollstndig bezglich dieser Quasi- bzw. -Norm, so nennt man [X, ] einen Quasi- bzw. -Banachraum. Es gilt: ist -Norm Quasinorm. Fr jede Quasinorm existiert eine quivalente -Norm fr passendes (0, 1], siehe z.B. [Kt60, 15.10], [DL93, Chapter 2, Thm. 1.1].
12 Johan
5.3.1925 Kopenhagen)
23
Folgerung 1.31 p (N) ist fr 0 < p < 1 ein Quasi-Banachraum bzw. ein p-Banachraum.
1.2.2
B(X, Y) = {f : X Y : f beschrnkt auf X} der Raum der (Y-wertigen) beschrnkten Funktionen, C(X, Y) = {f : X Y : f stetig auf X} der Raum der (Y-wertigen) stetigen Funktionen, und UCB(X, Y) = {f B(X, Y) : f gleichmig stetig auf X} der Raum der (Y-wertigen) gleichmig stetigen und beschrnkten Funktionen, versehen mit der Norm f
Y.
Bemerkung :
Satz 1.33 Seien [X, d] ein metrischer Raum und [Y, (i) [B(X, Y), |B(X, Y) ] ist ein Banachraum. (ii) [C(X, Y) B(X, Y), (iii) [UCB(X, Y),
] ]
Y]
ist ein abgeschlossener Teilraum von B(X, Y) bzw. von C(X, Y) B(X, Y).
B e w e i s : zu (i): analog zu Satz 1.6 (mit X = A, Y = K) zu (ii): sei (fj )j Cauchy-Folge in C(X, Y)B(X, Y) (fj )j Cauchy-Folge in B(X, Y) = f B(X, Y) :
(i)
fj f
0; sei > 0
j
j0
Y
j j0 :
fj f
Y
< sei x0 X
Y
f (x) f (x0 )
f (x) fj (x)
< f fj
<
+ fj (x) fj (x0 )
Y
+ fj (x0 ) f (x0 )
< f fj
<
< 3 fr
zu (iii): analog zum Beweis von (ii), gleichmige Stetigkeit von fj benutzen Bemerkung : falls [X, d] kompakter metrischer Raum speziell: Y = K, Rn oen, beschrnkt UCB(X, Y) = C(X, Y) B(X, Y) = C(X, Y) X = kompakt UCB() = C()
jetzt: Rn oen, betrachten C(), UCB() bezglich ihrer stetigen Fortsetzungen, d.h. UCB() = UCB() in dem Sinne, dass f UCB() g UCB() f | UCB() ! f UCB() : f | = g
24 Schreibweise: Bemerkung :
Banachrume
analog zu X = schreibt man fr Rn oen: C() = C(, K), UCB() = UCB(, K) bei obiger Interpretation gilt fr Rn oen, beschrnkt: UCB() = UCB() = C()
Denition 1.34 Fr eine oene Menge Rn setzt man C() = UCB(). Bemerkung :
Satz 1.33(iii)
[C(),
Rechtfertigung der Bezeichnung: sei u C() = UCB(), z.z.: u C(), d.h. fr u (eindeutig) stetig fortsetzbar in sei
u stetig
= = k0 ==
(xk )k :
d(xk , ) 0
k
u gleichmig stetig in
bung I-13 : Fr a > 0 und I R kompakt heit f : I K Lipschitz13 - (bzw. Hlder-) stetig mit Ordnung a > 0, falls gilt M > 0 h R x, x + h I : |f (x + h) f (x)| M |h|a . Man deniert Lipa (I) als die Menge aller f C(I), fr die f endlich ist. Es gilt: Lipa (I), 0 < a 1, ist mit C1 [0, 1] Lip [0, 1]
a Lipa (I)
= sup |f (y)| +
yI
sup
h=0,x,x+hI
|f (x + h) f (x)| |h|a
Lipa
ein Banachraum.
Denition 1.35 Sei [X, d] ein kompakter metrischer Raum. Eine Teilmenge A C(X) heit gleichgradig stetig, falls > 0 > 0 x, y X, d(x, y) < : sup |f (x) f (y)| < .
f A
Lipa (I)
7.10.1903 Bonn)
25
Beispiele : (b) C([0, 1], R), A = {f C([0, 1], R) : 0 = f (0) f (t) f (1) = 1, t [0, 1]} nicht gleichgradig stetig: whlen 0 = 1 , (0, 1) beliebig, x0 = 1, y0 = 1 , f0 (s) = sn0 mit n0 = n0 () so, 2 2 1 dass (1 2 )n0 < 2 0 > 0 (0, 1) x0 , y0 [0, 1], |x0 y0 | < f0 A : 1 |f0 (x0 ) f0 (y0 )| = 1 (1 )n0 > = 0 2 2 analog: A = {xn : n N} C([0, 1], R) nicht gleichgradig stetig in C([0, 1], R) (c) C([0, 1], R), A = {x : 0 < 1} C([0, 1], R) nicht gleichgradig stetig (A I-16)
Satz 1.36 (Arzel14 -Ascoli15 ) Sei [X, d] ein kompakter metrischer Raum. Dann ist A C(X) prkompakt genau dann, wenn A beschrnkt und gleichgradig stetig ist. Beweis : = A prkompakt = = = A beschrnkt, > 0 M endliches -Netz fr A = =
Satz 1.17 glm. stetig j=1,...,m
|f (x) fj (x)|
< f fj
<,
< 3
j=j(f )
j=j(f )
A gleichgradig stetig
sei (fk )k A,
z.z.: (gr )r (fk )k konvergente Teilfolge x, y X, d(x, y) < k N : |fk (x) fk (y)| <
jN
X=
K (xj )
== = m N : X = ===
X kompakt
K (xj )
j=1
(fk (xj ))k K, j N beschrnkt, wenden iterativ Satz von Bolzano-Weierstra an:
2 1 (fk )k (fk )k . . . r1 r (fk )k (fk )k r sei (gr )r Diagonalfolge, (gr )r = (fr )r 1 (fk )k (fk )k
y2 K :
y1 K :
2 fk (x2 ) y2 k r fk (xr ) yr k
1 fk (x1 ) y1 k
yr K :
C(X) vollstndig
m
gr (xl ) yl , l = 1, . . . , m
< fr r, j j0 ()
K (xk )
k=1
(7)
Arzel ( 6.3.1847 La Spezia/Italien 15.3.1912 La Spezia/Italien) Ascoli ( 20.1.1843 Trieste 12.7.1896 Milano)
26 gj (xk ) yk , k = 1, . . . , m
j
Banachrume
|gj (x) gr (x)| |gj (x) gj (xk )| + |gj (xk ) gr (xk )| + |gr (xk ) gr (x)| < 3
<, (7) <, (8), j,rj0 <, (7)
= =
sup
gj gr
3,
j, r j0
Bemerkung :
betrachten uk (x) = u(x k), k N0 A = {uk : k N0 } C(R), A beschrnkt und gleichgradig stetig, aber A nicht prkompakt, da uk ul = 1, k = l Beispiele : (a) Lipa [0, 1], 0 < a < 1, A = {f Lipa [0, 1] : f
Lipa (I)
x [0, 1 ] 2 1 x [ 2 , 1] sonst
1 2
u = u0
1 2
u1 1 2
u2
(b) C([0, 1], R), A = {f C([0, 1], R) : 0 = f (0) f (t) f (1) = 1, t [0, 1]} beschrnkt, nicht prkompakt in C([0, 1], R) betrachten jetzt C(X) nicht nur als normierten Vektorraum, sondern als Algebra Denition 1.37 (i) Eine Algebra A ist eine Menge, auf der Addition und Multiplikation deniert sind, und die unter diesen Operationen abgeschlossen ist. (ii) Eine Subalgebra (Unteralgebra) U A einer Algebra A ist eine Teilmenge von A, die unter Addition und Multiplikation abgeschlossen ist.
Beispiele :
Pn
bung I-17 : Zeigen Sie, dass fr eine Algebra A C(X) stets gilt A Algebra. Satz 1.38 (Stone16 -Weierstra) Seien [X, d] ein kompakter metrischer Raum und A C(X, R) eine Unteralgebra mit den Eigenschaften (i) A ist punktetrennend, d.h. (ii) 1 A Dann ist A dicht in C(X, R).
16 Marshall
x, x X, x = x
f A : f (x) = f (x )
9.1.1989 Madras)
27 < A = C(X)
Forderung (i) nicht nur hinreichend, sondern auch notwendig : sei A nicht punktetrennend, d.h. x, x X, x = x a A : a(x) = a(x ) sei jetzt f C(X) mit f (x) = f (x )17 0 < |f (x) f (x )| |f (x) a(x)| + |a(x) a(x )| +|f (x ) a(x )| 2 f a
0
aA
f a
1 |f (x) f (x )| > 0 2
A nicht dicht in C(X) noch einige Vorbereitungen vor dem Beweis von Satz 1.38 Lemma 1.39 Ein Vektorraum V C(X, R) mit 1 V ist genau dann punktetrennend, wenn es zu beliebigen x, x X mit x = x , und y, y R eine Funktion f V gibt, so dass gilt f (x) = y, f (x ) = y .
B e w e i s : = klar = seien jetzt x, x X, x = x , y, y R gegeben, g.z.z. : f V : f (x) = y, V punktetrennend = g V : g(x) = g(x ), setzen f (t) := y
(ii)
f (x ) = y
g(t) g(x ) 1(t) g(t) g(x) 1(t) +y g(x ) g(x) g(x) g(x )
Lemma 1.40 Es existiert eine Folge von Polynomen (pn )nN0 , fr die gilt pn (0) = 0, n N0 , sowie
n |x|1
lim
B e w e i s : A I-12; p0 0,
betrachten z.B. induktiv denierte Folge 1 1 2 x p2 (x) = pn (x) + (|x| pn (x)) (|x| + pn (x)) , n 2 2 n N0
man kann (mittels vollstndiger Induktion) zeigen: 0 pn (x) |x|, n N0 , |x| 1, sowie |x| pn+1 (x) = (|x| pn (x)) 1 |x| + pn (x) 2 (|x| pn (x)) 2 + n|x| 2 + (n + 1)|x|
2+n|x| 2+(n+1)|x|
2 + (n 1)|x| 2 + n|x| (|x| pn1 (x)) 2 + (n + 1)|x| 2 + n|x| . . . 2 2 + n|x| 2 + (n 1)|x| (|x| p0 (x)) 2 + (n + 1)|x| 2 + n|x| 2 + |x|
|x|
2 2+(n+1)|x|
2|x| 2 0 2 + (n + 1)|x| n + 1 n
dist (y, V ) dist (y, V ) + dist (y, V )
17 Existenz
von f : x V , x V , V V = , o.B.d.A. V, V X abgeschlossen, f (y) := i.a. : Lemma von Urysohn, siehe z.B. [Kt60, 6.4]
f (x) = 0, f (x ) = 1;
28
Banachrume
|f |, max(f, g), min(f, g) C(X, R), gegeben durch min(f, g)(x) = min{f (x), g(x)}, xX
Lemma 1.41 Sei A C(X, R) eine Unteralgebra zu C(X, R) mit 1 A. (i) f A (ii) f, g A = = |f | A max(f, g) A, min(f, g) A min {f : f F } A
1 f
(iii) Sei F A eine endliche Teilmenge, dann gilt max {f : f F } A, B e w e i s : zu (i) : sei f A, o.B.d.A. f = 0 mit f Lemma 1.40 mit h(x) = |x| auf [1, 1] (pn )n , pn P : pn h pn (f ) |f |
h(f )
= 1 (sonst g = f
betrachten); verwenden
0;
n
glm.
f A = = pn (f ) A ==
Algebra = f (x) || f
sup
=1
|pn () h()| 0
n
Lemma 1.40
= = = |f | A ===
pn (f ) A
pn h
zu (ii), (iii) :
max(f, g) =
f + g + |f g| , 2
min(f, g) =
(i) Ind.
f + g |f g| 2
a A :
a f
<
seien > 0, x, X, x = = = = = hx, A C(X, R) : hx, (x) = f (x), = = = setzen {x, } x, , x, X x, := y X : hx, (y) < f (y) +
hx, () = f ()
X, x, X 2 oen (als Urbild oener Mengen unter stetigen Funktionen), und x, {x, } = X
kompakt
=
X, =x
x, ,
oen
X, =x
X, =x X
xX
== = x X = =
Satz 1.13
Fx X, #Fx < : X =
x,
Fx
denieren jetzt
setzen hx := min{hx, : Fx },
=
xX
x =
xF oen
xX
xX
fr ein F X, #F <
yX
29
<
Schreibweise: Multiindex = (1 , . . . , n )
n
|| =
m
i=1
i , = 1 1 n n , Rn
Folgerung 1.42 Sei R oen, beschrnkt. Dann liegt die Menge aller reellen Polynome P= dicht in C(, R). B e w e i s : X = , P C(X, R) Unteralgebra aller reellen Polynome mit 1P = p0 P, p0 (x1 , . . . , xn ) 1 j {1, . . . , n} : xj = j ; setzen f := pj P mit pj (y1 , . . . , yn ) = yj , x, Rn , x = j = 1, . . . , n P
Satz 1.38 mN0
Pm = p(x) =
||=0
a x , a R, m N0 , Nn 0
Bemerkung :
auch PQ = p(x) =
||=0
a x , a Q, m N0 , Nn 0
dicht in C(, R)
speziell fr n = 1, = [a, b] klassisches Resultat: Folgerung 1.43 (Weierstra 1885) Sei f C[a, b]. Dann existiert eine Polynomfolge (pn )n , die gleichmig auf [a, b] gegen f konvergiert. Bemerkung : zahlreiche verschiedene Beweise, konstruktiver Beweis mit Bernstein18 -Polynomen Bn f Pn , n N0 , gegeben fr f : [0, 1] R als
n
(Bn f ) (x) =
k=0
n f k
k n
xk (1 x)nk ,
x [0, 1]
siehe A -18 Beispiel : Seien X = R {} (1-Punkt-Kompaktizierung), und C(X, R) = A= f C(R) : < lim f (x) = lim f (x) < ,
x x
A C(X, R) Unteralgebra, g0 1 =
p(x) (1 + x2 )n
rationale Funktionen
(i) 1A = g0 A,
, x = 1 , x = 1
(ii) x, X, x = ,
26.10.1968 Moskau)
30
Banachrume
Satz 1.44 (Stone-Weierstra) Seien X ein kompakter metrischer Raum und A C(X, C) eine Unteralgebra mit den Eigenschaften (i) A ist punktetrennend, (ii) 1 A, (iii) f A = f A. Dann ist A dicht in C(X, C). B e w e i s : sei f A = f A =
(iii)
e f, m f A;
sei AR = {e g : g A} {m h : h A}
gj e f 0
0,
hj m f
= = = = = = (fj )j A : = = = = =
fj = gj + ihj , (iii)
fj f
Bezeichnungen:
C2 (K) =
f : R K, f stetig, 2 periodisch, f
mN0
Tm = t(x) =
k=m
ak eikx , ak C, m N0
h(z) =
k=m
ak z k , ak C, m N0
C(X, C),
hA
h(z) =
k=m
ak z k
h(z) =
k=m
ak
zk
|z|k z k
|z| = 1
ak z k
k=m
hA
Folgerung 1.46 Die Menge der trigonometrischen Polynome a0 + TR = t(x) = 2 ist dicht in C2 (R).
m
k=1
B e w e i s : analog zum Beweis von Folg. 1.45 mit A = span {cos(kx), sin(kx), k N0 } C2 (R)
31
konstruktive Beweise u.a. mit Fejr19 -Polynomen Fn f oder de la Valle-Poussin20-Polynomen Vn f : n1 2n1 1 1 Fn f = Sk [f ], bzw. Vn f = Sk [f ], f C2 (R), n N, n n
k=0 21 k=n
a0 (f ) + 2
x [, ],
1.2.3
Schreibweise: Multiindex = (1 , . . . , n ) Nn , || = 0 in Abschnitt 1.2.2: C(, K) = C(), C(), C(); Denition 1.47 Seien Rn oen, m N0 .
i , D =
i=1
1 x1
|| n . . . x n
setzen C() = C0 ()
(i) Cm () = {f : K : Nn , || m D f C()}; 0
C () =
mN0
Cm ()
(ii) Fr f : Rn K nennt man supp f = {x Rn : f (x) = 0} Trger der Funktion f . Man setzt C () = {f C () : supp f 0
m
kompakt} .
=
||m
D f
(iv) Fr Rn beschrnkt und oen setzt man Cm () = f C() : Nn , || m stetige Fortsetzung von D f auf 0
m
Bemerkung :
C ()
ein Banachraum.
sei f = f(0,...,0) ;
g.z.z.: D f = f , Nn , || m 0
19 Lipt
20 Charles
Fejr ( 9.2.1880 Pcs (Ungarn) 15.10.1959 Budapest) Jean Gustave Nicolas Baron de la Valle-Poussin ( 14.8.1866 Louvain / Belgien 2.3.1962 Louvain) 21 Jean Baptiste Joseph Fourier ( 21.3.1768 Auxerre, Bourgogne/Frankreich 16.5.1830 Paris)
32 fk = = f1 = x1 k = 1 h
x0 +h 1
Banachrume
sei 1 = (1, 0, . . . , 0)
D1 fk =
x0 1
fk (s, x2 , . . . , xn ) ds x1 k
1 h
x0 +h 1
f1 (s, x2 , . . . , xn ) ds
x0 1
f 0 (x , x2 , . . . , xn ) = f1 (x0 , x2 , . . . , xn ) existiert 1 x1 1
Iteration
ce 0,
1
1 1|x|2
x Rn , ce1
(9)
1 1|x|2
dx
(x)
(x) dx = 1,
Rn
0 Rn
Polynom
1 1|x|2
c p (x) (1
D (x) = c e
p (x) (1 |x|2 )
2||
Nn 0
1 1|x|2
|x|2 )2||
t=
=1
1|x|2
c (x)
h (x) dx =
Rn
x h
dx
y=
=x
h
(y) dy = 1
Rn
1 Rn
Lemma 1.49 Seien Rn oen und kompakt. Dann gibt es ein C (Rn ) mit supp , 0 (x) = 1 fr x , und 0 (x) 1, x .
33
m
K (x) = = = x1 , . . . , xm : = =
Satz 1.13
j=1
K (xj )
(x) =
j=1
x xj
C (Rn ), 0
j
j=1
K (xj ) , >0
2h
j {1, . . . , m} : x K (x )
x xj
betrachten auf R: h ( h), h > 0, mit h aus (10) supp h = [h, h] h (t h) dt = supp h ( h) = [0, 2h], R 0 t h (s h) ds, t > 0, h (t) = 0 0, t 0, = 1 t 2h, h C (R), supp h [0, ), mit h (t) [0, 1], 0 < t < 2h, = 0, t0 setzen x 1
h (t h) dt = 1;
setzen
1 0
h 2h
C (Rn ) h0 /2 ((x)) = 1
x \ Rn \
Rn
(x) = 0
1.3
1.3.1
Die Lebesgue-Rume Lp ()
Mae und messbare Funktionen
Denition 1.50 Sei = eine beliebige Menge. Ein System von Teilmengen A von heit -Algebra, falls gelten (i) A, A (ii) A A \A A
kN
Ak A
Bemerkung :
kN
( \ Ak ) = \
kN
Ak A
=
(ii)
kN
Ak A
34
Banachrume
Denition 1.51 Sei A eine -Algebra ber . Eine Abbildung : A [0, ] heit Ma auf A, falls gelten (i) () = 0 (ii) Fr alle Mengen Ak A, k N, mit Ak Aj = , k = j, gilt
kN
Ak =
k=1
(Ak ).
Jedes A A heit ()messbare Menge, das Tripel [, A, ] nennt man Maraum. Bemerkung : (A) = mglich aus (ii) folgt Monotonie: seien A, B A mit A B = (B) = (A) + (B \ A) (A)
(ii) 0
B \ A = B ( \ A) A
Denition 1.52 Sei [, A, ] ein Maraum. (i) heit -endliches Ma, falls es ein System (Ak )kN A gibt mit (Ak ) < , k N, und =
kN
Ak .
In diesem Fall nennt man [, A, ] einen -endlichen Maraum. (ii) heit endliches Ma, falls () < gilt. (iii) heit vollstndig, falls fr alle N A mit (N ) = 0 und alle A N folgt A A. In diesem Fall nennt man [, A, ] einen vollstndigen Maraum. Bemerkung : wegen der Monotonie impliziert (iii) unmittelbar 0 (A) (N ) = 0, d.h. (A) = 0 [N, P(N), ] vollstndiger
Beispiel : = N, A = P(N), = Zhlma, d.h. (A) = #A = card(A) -endlicher Maraum wichtigstes Beispiel hier: Lebesgue22 -Ma auf Rn
Denition 1.53 Eine Menge B Rn heit Borel-Menge, falls B durch abzhlbar viele Mengenoperationen (Vereinigung, Durchschnitt, Komplementbildung) oener Mengen entstanden ist. Bezeichnung: seien a, b Rn mit aj < bj , j = 1, . . . , n
n
Q=
j=1
Lemma 1.54 (i) Die Familie der Borelmengen Bn ist die kleinste -Algebra, die alle oenen Teilmengen des Rn enthlt. (ii) Eine oene Menge Rn ist die abzhlbare Vereinigung einer Folge oener Quader, = Bemerkung : Darstellung in (ii) nicht eindeutig Ein Ma auf [Rn , Bn ] heit Borel-Ma.
22 Henri
mN Qm .
26.7.1941 Paris)
35
n (Q) =
j=1
(bj aj ),
Q=
j=1
(aj , bj )
Satz 1.55 Sei Bn die -Algebra der Borelmengen auf Rn . Es existiert genau ein -endliches Ma auf Bn , so dass
n
(a , b ) gilt.
n j j j=1
j=1
(bj aj )
Bemerkung :
elementargeometrisches Volumen j=1 (bj aj ) ist (Lebesguesches) Prma, d.h. erfllt Eigenschaften (i) und (ii) aus Denition 1.51, aber auf Halbring23 H statt -Algebra A dann: ueres Ma24 : P(X) [0, ] A X -messbar B X : (B) (B A) + (B \ A) Satz von Carathodory25 : sei : P(X) [0, ] ueres Ma A = {A X : A -messbar} Fortsetzungssatz: sei : H [0, ] Prma (A) = inf
kN
-Algebra,
|A Ma
(Ak ) : Ak H, A
ueres Ma, alle Mengen aus H sind -messbar, |H = zu Ma auf -Algebra, die H umfasst speziell: Konstruktion von zu : () = inf
kN
|A Fortsetzung von
(k ) :
kN
k , k Bn
Rn
mglich: k = Qk oene Quader, abgeschlossene Quader, . . . [Rn , Bn , ] nicht vollstndig Satz26 von Hahn27 : Jedes Ma besitzt eine kleinste vollstndige Erweiterung. Satz 1.56 Es gibt eine kleinste vollstndige Erweiterung [Rn , Ln , n ] von [Rn , Bn , ], d.h. (i) [Rn , Ln , n ] ist ein vollstndiger, -endlicher Maraum, (ii) n setzt auf Ln Bn fort: A Bn : n (A) = (A) n |Bn = ,
(iii) fr alle Marume [Rn , A, ] mit den Eigenschaften (i) und (ii) folgt Ln A sowie |Ln = n . Bezeichnungen: [Rn , Ln , n ] aus Satz 1.56: Lebesguescher Maraum, n Lebesgue-Ma A Rn Lebesgue-messbar A Ln , |A| = n (A), A Ln N Ln Lebesguesche Nullmenge n (N ) = 0
H; A, B H A B H; A, B H C1 , . . . , Cm H, Cj Ci = , i = j : A \ B = m Ck k=1 = 0, A B X (A) (B), (An )n X ( n An ) n (An ) 25 Constantin Carathodory ( 13.9.1873 Berlin 2.2.1950 Mnchen) 26 Jedes -endliche Prma lsst sich zu einem eindeutig bestimmten vollstndigen Ma erweitern, das auch -endlich ist. 0 27 Hans Hahn ( 27.9.1879 Wien 24.7.1934 Wien)
23 24 ()
36
Banachrume
Satz 1.57
(i) N Rn ist eine Lebesguesche Nullmenge genau dann, wenn > 0 (Qk )kN , N Qk :
kN kN
|Qk | <
(ii) Jede abzhlbare Menge in Rn ist Lebesguesche Nullmenge. (iii) Das Lebesgue-Ma ist invariant bezglich Translation und Rotation im Rn : x0 Rn A Ln T O(n) : n (x0 + A) = n (A) = n ({T x : x A})
(iv) Das Lebesgue-Ma n ist regulr, d.h. A Ln Bemerkung : B Rn oen F Rn abgeschlossen : F A B, n (B \A) < , n (A\F ) <
Translationsinvarianz in (iii) charakteristisch: sei translationsinvariant auf Ln mit ((0, 1]n ) = 1 = n Verallgemeinerung der Rotationsinvarianz in (iii): sei : Rn Rn bijektive, ane Abbildung, A Ln (A) Ln , n ((A)) = | det |n (A)
Beispiel : seien a1 , . . . , an Rn , V = {1 a1 + + n an , i [0, 1]} = (Q0 ) Parallelepiped Q0 Einheitswrfel, = (a1 , . . . , an ) : Rn Rn betrachtet als n n-Matrix vol(V ) = n (V ) = | det(a1 , . . . , an )| bzw. mittels Gram28 -Determinante g(a1 , . . . , an ) = a1 , a1 . . . a ,a Bemerkung :
n 1
a1 , a2 a ,a
n 2
a1 , an . . . a ,a
n n
vol(V ) =
g(a1 , . . . , an )
anstelle von (iv) gilt sogar fr A Rn : A Ln genau dann, wenn >0 A Ln B Rn oen, F Rn abgeschlossen : F A B, n (B \ F ) < n (A) = inf{n (B) : B A, B oen} = sup{n (F ) : F A, F abgeschlossen} = sup{n (K) : K A, K kompakt}
A A von innen regulr (A) = sup{(K) : K A, K A, K kompakt} A A von auen regulr (A) = inf{(B) : A B, B A, B oen} A A regulr A von innen & auen regulr; regulr A A : A regulr Es gilt Ln Bezeichnungen charakteristische Funktion B (x) = 1, x B 0, x B N A, (N ) = 0 : H gilt auf A \ N P(Rn ), d.h. M Rn : M Ln (Vitali 1905) /
29.4.1916 Kopenhagen)
37
Denition 1.58 Seien [, A, ] ein vollstndiger -endlicher Maraum, A A. (i) Eine Funktion s : A K heit einfache Funktion oder Treppenfunktion, falls m N, j K, Aj A, j = 1, . . . , m, existieren mit
m m
Aj
j=1
und
s(x) =
j=1
j AA (x),
j
x A.
(ii) Eine Funktion f : A K heit -messbar, falls eine Folge von Treppenfunktionen (sk )kN existiert, so dass sk f -f.. auf A gilt.
k
1, x [0, 1] Q 0, x [0, 1] \ Q
Satz 1.59 Seien [, A, ] ein vollstndiger -endlicher Maraum, A A, f : A K. Folgende Aussagen sind quivalent: (i) f ist -messbar (ii) Die Urbilder oener Mengen in K unter f sind -messbar. (iii) Die Urbilder von Borelmengen in K unter f sind -messbar. Bezeichnung: f : A R f + = max(f, 0), f = min(f, 0) f = f+ f
Satz 1.60 Seien [, A, ] ein vollstndiger -endlicher Maraum, A A. (i) Fr f, g : A K -messbar sind auch f + g, f g,
k f g,
|f | fr R -messbar.
(ii) Seien fk : A K -messbar, k N, mit fk f -f.. Dann ist auch f -messbar. (iii) Fr f, g : A R -messbar sind auch f + , f , max(f, g) und min(f, g) -messbar. (iv) Fr fk : A R -messbar, k N, sind sup fk , inf fk , lim sup fk und lim inf fk -messbar.
kN kN k k
Satz 1.61 (Egorov29 ) Seien [, A, ] ein vollstndiger -endlicher Maraum, A A mit (A) < , fk : A K -messbar fr k N. Dann gilt: fk f -f.. auf A
k
>0
Satz 1.62 Seien [Rn , Ln , n ] der Lebesguesche Maraum, A Rn . (i) Falls f : Rn K n -f.. stetig ist, so ist f n -messbar. (ii) Falls A eine Lebesgue-Nullmenge ist, d.h. A Ln mit n (A) = 0, so ist A Ln . (iii) f : A K ist n -messbar, falls fA n -f.. stetig ist auf Rn , wobei fA =
29 Dimitri
f, auf A, 0, sonst.
10.9.1931 Kazan)
38 Bemerkung :
Banachrume
Satz von Lusin30 : Sei f : Rn K n -messbar. Dann existieren fr alle > 0 und A Ln eine kompakte Menge K A, so dass n (A \ K) gilt, sowie eine stetige Fortsetzung f , die auf K mit f bereinstimmt.
1.3.2
Das Lebesgue-Integral
Denition 1.63 Seien [, A, ] ein vollstndiger -endlicher Maraum, A A. (i) Fr eine einfache Funktion s =
m j=1
j AA , j K, Aj A, j = 1, . . . , m, setzt man
j
s(x) d =
A j=1
j (A Aj ).
(ii) Eine -messbare Funktion f : A K heit -integrierbar, falls fr eine Folge von Treppenfunktionen (sk )kN mit sk f -f.. auf A gilt
k
n0 () n, m n0 () :
A
f (x) d = lim
A
n A
sn (x) d
(unabhngig von der Auswahl der Folge (sn )nN ). Bemerkung : seien f = g -f.. und f -integrierbar
A
g -integrierbar,
f d =
g d
1 d =
d = (A), A A
A
f d =
f d = sup
A 0sf A
s d, falls existent f d
A
f d =
A
f + d
A
f : A C -messbar = = = = = = =====
f = e f + i m f
f d =
A
e f d + i
m f d
Beispiel : f (x) =
1, x [0, 1] Q 0, x [0, 1] \ Q
1 -messbar
f d1 = 0
0
Satz 1.64 (Lebesgue/Vitali31 ) Sei Q Rn ein oener Quader. Eine beschrnkte Funktion f : Q K ist Riemann-integrierbar genau dann, wenn die Menge ihrer Unstetigkeitspunkte eine n -Nullmenge ist; in diesem Fall gilt f (x) dx =
Q Q
f dn .
30 Nikolai
31 Guiseppe
Nikolaevich Lusin ( 9.12.1883 Irkutsk 25.2.1950 Moskau) Vitali ( 26.8.1875 Ravenna 29.2.1932 Bologna)
1.3 Die Lebesgue-Rume Lp () Geometrische Deutung der beiden Integrale O(f, Z) f ym y2 y1 OL (f, ZL ) f UL (f, ZL ) xn1 b
b
39
U(f, Z) a x1 x2
a
A1
A2
[a,b]
b f d1
Riemann32 -Integral
f (x) dx
m1
[a, b] =
j=1
Ij
x[a,b]
[yj , yj+1 )
U(f, Z) = O(f, Z) =
j=1 n
UL (f, ZL ) = OL (f, ZL ) =
yj 1 (Aj )
j=1 m1
j=1 xIj
yj+1 1 (Aj )
j=1
[a,b]
f d1 = UL (f ) = OL (f )
S=
k=1
Qk S
setzen
Jordan-messbar Bemerkung :
||i ||a
= sup {|S| : S Q-Gebiet, S } = inf {|T | : T Q-Gebiet, T } ||i = ||a = ||(n) >0
=0 (x) dx = ||(n)
f (x) dx Riemann-
f dn , es gilt:
f (x) dx =
Friedrich Bernhard Riemann ( 17.9.1826 Hannover 20.7.1866 Selasca/Italien) Ennemond Camille Jordan ( 5.1.1838 Lyon 22.1.1922 Paris) 34 Giuseppe Peano ( 27.8.1858 Cuneo/Italien 20.4.1932 Turin)
Banachrume
f dn =
f (x) dx
Satz 1.65 Seien [, A, ] ein vollstndiger -endlicher Maraum, A A mit (A) > 0. (i) Fr -integrierbare Funktionen f, g : A K und , K existiert A (f + g) d, es gilt (f + g) d =
A A
f d +
A
g d
g d.
|f | d
f =0
-f..
(v) Fr eine messbare Funktion f : A K und eine -integrierbare Funktion g : A K, fr die |f | |g| -f.. gilt, ist auch f -integrierbar mit |f | d |g| d.
A A
Bemerkung :
f d =
A
g d
1, x [0, 1] Q 1, x [0, 1] \ Q
1
f dn = 1,
|f | dn = 1 =
|f (x)| dx,
aber:
f (x) dx
0, x [0, 1] \ Q 1 q , x [0, 1] Q, x =
Satz 1.64 1
p q
mit minimalem p N0 , q N
f (x) dx =
0 0 0
f d1
Satz 1.65(iv) 0
(b) f (x) =
sin x dx, x
sin x dx x
|f | d1 = = = = = = =
Satz 1.65(iii)
f d1
0
41
Satz 1.66 Sei [, A, ] ein vollstndiger -endlicher Maraum. (i) Falls f : K -integrierbar und A A sind, so gilt f d =
A
f d +
\A
f d f d = 0. So folgt (A) = 0.
A
Folgerung 1.67 Sei [, A, ] ein vollstndiger -endlicher Maraum. (i) Fr eine Folge A1 A2 mit = Ak , Ak A, gilt f d = lim
k
f d.
Ak
kN
k A
fk d =
lim A k fk
d ?
Satz 1.68 (Lebesgue) Seien [, A, ] ein vollstndiger -endlicher Maraum, A A, fk : A K -messbar. Es existieren eine -integrierbare Funktion g : A R, so dass fr alle k N gilt |fk (x)| g(x) -f.. in A, sowie lim fk (x) = f (x) -f.. auf A. Dann ist f -integrierbar auf A, es gilt
k
lim
fk d =
A
A k
lim fk d =
A
f d.
Bemerkung :
Satz von der majorisierten Konvergenz bzw. integrierbaren Majorante wesentlich: g -integrierbar! 8 1 g k, x [0, k ] betrachten fk (x) = f8 0, sonst
fk (x) dx = 1 =
0 k 0
fk d1 , 1 -f..
0 k
lim fk (x) = 0 f
1=
0
fk (x) dx =
lim fk (x) dx = 0
5 4 3 2 1
f5 f4 f3 f2
1 11 1 8 54 3 1 2
f1 1
da g nicht 1 -integrierbar
Folgerung 1.69 Seien [, A, ] ein vollstndiger -endlicher Maraum, A A, f : A K -integrierbar, sowie (Ak )k eine Zerlegung von A, d.h. Ak A, Ak Aj = , k = j, A = k Ak . Dann gilt
f d =
A k=1 Ak
f d.
42 Beispiel : sei f : [a, b] K dierenzierbar, f beschrnkt (nicht notwendig stetig!) auf [a, b] mit
b a
Banachrume
f 1 -integrierbar
f d1 = f (b) f (a)
Stze 1.60, 1.62
denn: fn (x) =
MWS
1 f (x + n ) f (x) 1 n
f d1 = lim
a
fn (x) dx
a 1 1 F (b + n ) F (a + n ) 1 n 1 F (b + n ) F (b) 1 n
= lim
F (b) F (a)
1 n
= lim
1 F (a + n ) F (a) 1 n
Satz 1.70 (B. Levi35 ) Seien [, A, ] ein vollstndiger -endlicher Maraum, A A, fk : A [0, ) monoton wachsende Folge -integrierbarer Funktionen, fr die deren Integralfolge ( A fk d)k beschrnkt ist. Dann existiert lim fk (x) = f (x) -f.. auf A, f ist -integrierbar, es gilt
k k
lim
fk d =
A
A k
lim fk d =
A
f d.
Bemerkung :
Satz von der monotonen Konvergenz Monotonie wichtig, z.B. [, A, ] = [R, L1 , 1 ], fn (x) =
1 n [0,n]
Folgerung 1.71 Seien [, A, ] ein vollstndiger -endlicher Maraum, A A, fk : A R -integrierbar mit fk (x) 0, sowie -integrierbar, es gilt
k=1 A
k=1
fk d =
k=1 A A k=1
fk d =
A
f d.
f d =
n=1
f (n)
Satz 1.72 (Lemma von Fatou36 ) Seien [, A, ] ein vollstndiger -endlicher Maraum, A A, fk : A R -integrierbarer Funktionen mit fk (x) 0 auf A. Es sei lim inf A fk d < . Dann ist lim inf fk (x) -f.. endlich und -integrierbar auf A, es gilt
k k
lim inf
k A k
fk d
lim inf fk d.
A k
Existiert insbesondere lim fk (x) = f (x) -f.. auf A, so ist f -integrierbar, sowie lim inf
k A
fk d
f d.
A
35 Beppo 36 Pierre
Levi ( 14.5.1875 Turin 28.8.1961 Rosario/Argentinien) Joseph Louis Fatou ( 28.2.1878 Lorient/Frankreich 10.8.1929 Pornichet/Frankreich)
43
Denition 1.73 Seien [, A, ] ein vollstndiger -endlicher Maraum, A A. (i) Fr 0 < p < deniert man Lp (A, ) = {f : A K : f -messbar, |f |p -integrierbar ber A} sowie f |Lp (A, ) = (ii) Fr p = setzt man L (A, ) = {f : A K : f -messbar, |f | -f.. beschrnkt auf A} sowie f |L (A, ) = inf {c > 0 : ({x A : |f (x)| > c}) = 0} , Bemerkung : (a) f L (A, ): ess sup |f (x)| :=
xA
|f | d
1 p
f Lp (A, ).
A N A xA\N (N ) = 0
inf
sup |f (x)|
Es gilt:
denn:
umgekehrt: > 0 N A, N A, (N ) = 0 :
xA
xA\N
({x A : |f (x)| > ess sup |f (x)| + }) (N ) = 0 ess sup |f (x)| + > f |L (A, )
xA
f |L (A, ) N :=
k
Nk A, N A, (N ) = 0:
xA xA\N xA\Nk
= = N A, N A, (N ) = 0 : f |L (A, ) = ess sup |f (x)| = sup |f (x)| == Problem: fr 0 < p gilt f |Lp (A, ) = 0 f = 0 sondern nur Halbnorm (bzw. Quasi-Halbnorm fr 0 < p < 1) Teilraum knnen Quotientenraum bilden -f.. auf A, d.h. |Lp (A, ) keine Norm, Ausweg: betrachten
N = {f : A K : f -messbar, f = 0 -f.. auf A} Lp (A, ), 0 < p Lp (A, ) := Lp (A, )/N = {[f ] = f + N : f Lp (A, )}, 0<p
44 mit quivalenzklassen [f ], wobei fr g : A K -messbar gilt g [f ] f g N f g = 0 f, g [f ] : f |Lp (A, ) = g|Lp (A, ) , setzen [f ] Lp (A, ) := g|Lp (A, ) [f ] Lp (A, ) = 0 f N [f ] = 0 fr ein g Lp (A, ), 0<p -f.. in A
Banachrume
Vereinbarung: Man schreibt meist f Lp (A, ) bzw. f p := f |Lp (A, ) , 0 < p , anstelle von [f ] Lp (A, ) bzw. [f ]|Lp (A, ) , muss aber die entsprechende Interpretation (quivalenzklassen statt Funktionen, Wahl eines Reprsentanten) beachten Beispiele : (a) [, A, ] = [N, P(N), ], g : N K, mit g(n) =: gn
g d =
n=1
gn
Lp (N, ) = p (N)
Erinnerung: 1 p
p gegeben durch
1 p
, p = 1 1, p =
Satz 1.74 (Hlder- und Minkowski-Ungleichung) Seien [, A, ] ein vollstndiger -endlicher Maraum, A A. (i) Seien 1 p , f Lp (A, ), g Lp (A, ). Dann ist f g L1 (A, ) mit f g|L1 (A, ) f |Lp (A, ) g|Lp (A, ) .
(ii) Seien 0 < p , sowie f, g Lp (A, ). Dann gilt f + g Lp (A, ) sowie f + g|Lp (A, ) bzw. f + g|Lp (A, )
p
f |Lp (A, )
g|Lp (A, ) ,
1 p ,
f |Lp (A, )
+ g|Lp (A, ) p ,
0 < p 1.
B e w e i s : zu (i): Messbarkeit von f g folgt aus Satz 1.60; f |Lp (A, ) = g|Lp (A, ) = 1 (sonst Skalierung) |f (x)|p |g(x)|p Lemma 1.25 |f (x)g(x)| + p p f g L1 (A, ), mit
A
|f (x)g(x)| d(x)
1 p
|f (x)|p d(x) +
p =1
1 p
g|Lp (A, )
f |Lp (A,)
g|Lp (A,)
zu (ii): Messbarkeit von f + g folgt aus Satz 1.60; von Satz 1.27 und (i)
Folgerung 1.75 Seien [, A, ] ein vollstndiger -endlicher Maraum, A A mit (A) < , 0 < q p . Dann gilt Lp (A, ) Lq (A, ) mit f |Lq (A, ) (A) q p f |Lp (A, ) ,
1 1
f Lp (A, ).
45
p q
> 1; g = A Lr (A, ),
= (A) r
f |Lq (A, ) =
r (x) d(x) A
1/q A
1 r q
|Lr (A,)
q
Satz 1.76 Seien [, A, ] ein vollstndiger -endlicher Maraum, A A, 1 p . (i) Lp (A, ) ist ein Banachraum. (ii) Fr 1 p < liegen die Treppenfunktionen dicht in Lp (A, ). B e w e i s : 1. Schritt: zu (i); nach Vorbemerkung (zu Lp (A, ) und Lp (A, ) und entsprechenden Normen) ist |Lp (A, ) eine Norm n.z.z.: Vollstndigkeit, d.h. alle Cauchy-Folgen (fk )k Lp (A, ) mit > 0 n0 () sind in Lp (A, ) konvergent zuerst 1 p < , verwenden Satz 1.5: sei (fk )k Lp (A, ) mit
k=1 m
(11)
z.z.: f Lp (A, ) :
k=1
fk |Lp (A, ) 0
m
wollen Folgerung 1.75 mit q = 1 anwenden nur fr (A) < mglich A = k Ak mit Ak A, (Ak ) < (da -endlich) === kN ==
Folg. 1.75
betrachten Zerlegung
nN: mN:
kN
Ak
n=1
n=1
fn |Lp (A, )
(11)
<
=== ==
Folg. 1.71
n=1
n=1 A k
n=1
g(x) d(x)
= = = = g(x) = = = =
A=
k
Ak
n=1
|fn | Lp (A, )
n=1
fn |Lp (A, )
(11)
<
46
Banachrume
=== ==
Folg. 1.71
n=1
|fn (x)|
g(x)p d(x) =
A A n=1
|fn (x)|
d(x) <
f |Lp (A, )
=
A
|f (x)|p d(x)
A
n=1 m
fn (x)|p
n=m+1 p
|fn (x)|
lim
n=1
fn |Lp (A, )
= lim
m A
f (x)
fn (x) d(x)
n=1 m p
=
A
lim f (x)
fn (x)
n=1
d(x) = 0
=0,-f..
Bem.(b) A\Njk
sei N :=
j,kN
Njk
N A, (N ) = 0
inf A\N Njk N A\Njk
fj fk |L (A, ) sup |fj (x) fk (x)| fj fk |L (A, ) = sup |fj (x) fk (x)|
A\N Satz 1.6
setzen f (x) =
f (x), beliebig,
xA\N xN
3. Schritt: zu (ii), Dichtheit der Treppenfunktionen fr p = 1 f L1 (A, ) = = = = (sk )k Treppenfunktionen: sk f -f.., ====
Def. 1.63, 1.73 k A
|sk sl | d 0,
k,l
f d = lim
A
sk d
A
lim |sk (x) sm (x)| = |sk (x) f (x)| -f.., |sk f | L1 (A, ), d.h. |f sk | d = lim |sm sk | d
Satz 1.72
A m
A m
lim inf
m A
|sm sk | d
4. Schritt: zu (ii), Dichtheit der Treppenfunktionen fr p > 1 seien f Lp (A, ), (0, 1), A = x A : |f (x)| 1 A f |Lp (A, )
p
(A \ A ) 0,
0
=
A
|f |p d
|f |p d p (A )
(A ) < , A Lp (A, )
47 A f L1 (A, ) = = = (s )k Treppenfunktionen: = = k
3. Schritt
A f
s k
L1 (A , ) 0,
k
s k
A f
k
-f.. auf A
(12)
2 2
Treppenfunktion,
|k (x)|
2 , xA
x A
= =
(12)
f k |Lp (A, )
=
A
|f (x) k (x)| d(x) |f (x) k (x) |p d(x) + A\A 0 A p1 k A f |L1 (A, ) < 2 fr k k0
|A f (x) k (x)|
3
p1
A\A
|f (x)|p d(x) +
<, <0 (), (A\A )0
<, kk0 (0 ,)
da
A\A
|f (x)|p d(x) =
A 0 A\A
= = = = = = lim = = = = =
Satz 1.68/Lebesgue
|f (x)|p d(x) =
A
=0, -f..
Bezeichnung: sei Rn oen, f : K mit supp f = {x Rn : f (x) = 0} f : K heit nit (in ), falls supp f beschrnkt ist, supp f Satz 1.77 Seien Rn oen, 1 p < . (i) Die Menge der niten Treppenfunktionen ist dicht in Lp (). (ii) Die Menge der niten und stetigen Funktionen ist dicht in Lp (), C () ist dicht in Lp (). 0 (iii) Lp () ist separabel und dim Lp () = . B e w e i s : 1. Schritt: whlen spezielle berdeckung von : k = x : |x| < k, dist (x, ) > k k+1 , sei f Lp () = = = = = = =
Folg. 1.67(ii) k p 1 k
, k N k = k+1 k
kN
|f (x)|p dx = lim
k
k
|f (x)|p dx
k
|f (x)| dx 0
\k
Banachrume
f Lp ()
gk sk |Lp () 0 j
(i)
k=1
k A nite Treppenfunktion, m N, k K, Ak Ln
k
A Ln = = = = B R oen : A B B , n (B \ A) < = = =
Satz 1.57(iv)
Q j
j
sei Q oener Quader, Q = = = = h C (Rn ): 0 h 1, h (x) = 1, x Q, supp h Qh , = = = 0 wobei Qh = {x Rn : dist (x, Q) h}, h > 0 |Q (x) h (x)|p dx =
Qh \Q m j=1 h0
h (x)p dx n (Qh \ Q) 0
1
C () dicht in Lp () 0
j Q , Qj oene Wrfel, Qj , j K, m N
j
F Lp (),
dim Lp () =
m n
(j + ij )R , Rj =
j
k=1
(ck , dk ) , ck , dk , j , j Q, m N
Lp () separabel
Wiederholung aus der Matheorie: Satz 1.78 (Fubini37 ) Seien f : Rn+m K n+m -messbar, f = f (x, y), x Rn , y Rm , und es existiere eines der Integrale I1 =
Rn+m
I2 =
Rn Rm
I3 =
Rm Rn
Rn
(iii)
Rn+m
Rn
Rm
Rm
Rn
(iv)
Rn+m
f (x, y) d(x, y) =
Rn Rm
f (x, y) dy dx =
Rm Rn
f (x, y) dx dy
37 Guido
1.3 Die Lebesgue-Rume Lp () Koordinatentransformation: Rn (x1 , . . . , xn ) (y1 , . . . , yn ) speziell: yj = j (x) = j (x1 , . . . , xn ), j = 1, . . . , n, = (), = (1 , . . . , n ) betrachten Jacobi38 - bzw. Funktionaldeterminante in x0 (1 , . . . , n ) 0 x = det J , x0 (x1 , . . . , xn ) 1 0 (x ) . . . x1 . . = det . n (x0 ) . . . x1
49
1 0 (x ) xn . . . n 0 (x ) xn
Satz 1.79 Seien Rn oen, : () ein C1 -Dieomorphismus, d.h. j C1 (), j = 1, . . . , n, injektiv, det J (, x) = 0, x , f : Rn K. Dann existiert () f (y) dy genau dann, wenn (f )(x)| det J (, x)| dx existiert, und es gilt f (y) dy =
()
Beispiel : Obercheninhalt und Volumen der Einheitskugel im Rn Kn = Kn (0) . . . ndimensionale Einheitskugel, n = Kn . . . Sphre, Oberche der ndimensionalen Einheitskugel verallgemeinerte Kugelkoordinaten : x1 = r cos sin 1 sin 2 ... sin n2 x2 = r sin sin 1 sin 2 ... sin n2 x3 = r cos 1 sin 2 ... sin n2 . . .. . . . . . xn1 = r cos n3 sin n2 xn = r cos n2 x = n (r, , 1 , . . . , n2 ) : 0 r < , 0 < 2, 0 j , j = 1, . . . , n 2
2 n2
=
0 0
n2
dn2 . . . d1 d
1
|Kn | =
Kn
dx =
rn1 d dr
0 n
= |n |
rn1 dr =
0
1 n
|n | n
38 Carl
18.2.1851 Berlin)
50
Banachrume
Lemma 1.80 Seien n 2 und Kn = {x Rn : x2 + + x2 < 1} Rn die n-dimensionale Einheitskugel 1 n mit n = Kn . Fr ihr Volumen |Kn | und den Obercheninhalt |n | gelten 2 n 2 n und |Kn | = . |n | = n n n 2 2
B e w e i s : frher: berechnen In :=
Rn
(y) =
0
(m + 1) = m!, m N
|x|2
In =
0 n
er rn1 d dr = |n |
dx
er rn1 dr
0
u = r2
|n | 2
eu u 2 1 du =
0
n |n | 2 2
n 2I1 n 2
(13)
andererseits ist
In =
Rn
(x2 ++x2 ) 1 n
d(x1 , . . . , xn )
Satz 1.78
bekannt: |2 | = 2
2 I1
|2 | (1) = = 2
I1 =
n ey dy = I1 = |n | = = (13)
|n | = 3 2 1 = 2
2 n 2 1 2
; = 2
vorher: |Kn | = 1 2
|n | n
Bemerkung :
n=3
3 2 4 = |3 | = 3 2
35 30 25 20 15 10 5 0 2 4 6 8 |Kn | 10 12 14 16 18 20 2, |K2 | = |n | |n | =
m 2 (m 1)! ,
n = 2m
|5 | = 8 2 , 3 |7 | =
|3 | = 4,
|1 | = 2,
16 3 15 ,
1.3.4
|K1 | =
lim |Kn | = 0,
|Kmax | = |K5 |
Satz 1.81 Seien 1 p < , f Lp (Rn ), h Rn , Th f (x) = f (x + h), x Rn . (i) Es gilt Th : Lp (Rn ) Lp (Rn ) mit Th f |Lp (Rn ) = f |Lp (Rn ) , h Rn . (ii) lim
|h|0
Th f f |Lp (Rn ) = 0
51
Beweis :
zu (ii): seien > 0, f Lp (Rn ) = = = = 0 C (Rn ), supp 0 = K kompakt: f 0 |Lp (Rn ) < = = = 0 o.B.d.A. |h| 1 supp (Th 0 0 ) K = {x Rn : dist (x, K) 1} Th f Th 0 |Lp (Rn ) + Th0 0 |Lp (Rn ) +
= f 0 |Lp (Rn ) <, (i)
1 p
Th f f |Lp (Rn )
0 f |Lp (Rn )
<
< 2 +
K
|0 (x + h) 0 (x)|p dx
, |h|h0 ()
1 p
2 + n (K ) Bemerkung :
fr
|h| min(h0 , 1)
(Th )hRn stark stetige Halbgruppe von Operatoren: Th1 Th2 = Th1 +h2 , h 1 , h 2 Rn ,
|h|0
lim Th f = f f (x y)g(y) dy fr
Denition 1.82 Seien f, g : Rn K n -messbare Funktionen, und es existiere n -f.a. x Rn . Dann heit (f g)(x) = Faltung von f und g.
p p1 , Rn
Rn
f (x y)g(y) dy,
x Rn ,
Erinnerung: 1 p <
p =
p>1 p=1
Satz 1.83 Seien f, g, k : Rn K n -messbar. (i) Die Faltung ist linear und symmetrisch, d.h. falls f g existiert, so auch g f , es gilt f g = g f . Fr K existiert stets f (g) = (f g). Falls zustzlich f k existiert, so existiert f (g + k) mit f (g + k) = f g + f k. (ii) Seien 1 p < , f Lp (Rn ), g Lp (Rn ). Dann existiert f g C(Rn ), es gilt f g
f |Lp (Rn )
g|Lp (Rn ) .
(iii) Fr 1 p < , f Lp (Rn ), g L1 (Rn ) existiert f g Lp (Rn ), mit f g|Lp (Rn ) f |Lp (Rn ) g|L1 (Rn ) .
(iv) Seien 1 p < , f Lp (Rn ), g Lp (Rn ) oder g L1 (Rn ), h Rn . Dann gelten supp (f g) supp f + supp g Bemerkung : Eigenschaft (iii) fr p = 1 f, g L1 (Rn ) sowie Th (f g) = (Th f ) g = f (Th g).
52
Banachrume
B e w e i s : zu (i): folgt aus Koordinatentransformation, Substitutionsregel, Linearitt des Integrals zu (ii): Ungleichung folgt aus Hlder-Ungleichung (Satz 1.74); zu f g C(Rn ), d.h. gleichmig stetig: |(f g)(x + h) (f g)(x)|
z =xy Rn
Rn
Satz 1.74
Rn
|f (z + h) f (z)| dz
n n 0, Satz 1.81
Rn
|g(x z)|p dz
1 p
Th f f |Lp (R )
g|Lp (R ) <
fr |h| h0 = h0 ()
Rn
Rn
|f (x y)g(y)| dx
dy = f |L1(Rn )
g|L1 (Rn )
===== ====
Satz 1.78/Fubini
Rn
f g|L1 (Rn ) =
Rn
Rn
Rn
Rn
=
Rn Rn
Satz 1.74
|f (x y)|p |g(y)| dy
1 p
Rn
|g(y)| dy
1/p
1 p
g|L1 (Rn )
Satz 1.78
p p
Rn
p p
Rn
Rn
p p
Rn
gL1 (R )
+1
f |Lp (R )
p
p p
+1=p
gL1 (Rn )
f |Lp (Rn )
> 0 : K (x) supp f + supp g = zu (iv): sei x Rn \ supp f + supp g y K (x) : y supp f + supp g = = = = = y K (x) z supp g : y z supp f / = = = = /
y = (y z) + z
Rn
supp g
53
Satz 1.84
(i) Seien 1 p < , f Lp (Rn ), m N0 , Cm (Rn ) mit supp kompakt. Dann gilt f C (Rn )
m
sowie Nn , || m : 0
D (f ) = f D .
Rn
0,
h0
0.
h0
= = = f D C(Rn ), || m = =
Satz 1.83
g.z.z.:
dann: Iteration
supp kompakt
lim
(x + hej y) (x y) f (y) dy h
=0, |xy|R+1
= lim
h0 KR+1 (x)
(x + hej y) (x y) f (y) dy h
|| || dy
KR+1 (x) xj xj
== =
Hlder
f |Lp (Rn )
|KR+1 |1/p
h0
lim
=
Rn
(x y) f (y) dy xj (x), x Rn
(f ) (x) existiert, xj
(f ) (x) = xj
xj
y Rn , |y| :
(14)
|f (x) f h (x)|
Satz 1.74
Rn
Rn
Rn
|h (y)| dy
1 p
1 p
h |L1 (Rn )
= |L1 (Rn )
p p
1 p
f f h |Lp (Rn )
Rn
Rn
54
1
p p
Banachrume
=
Rn
|h (y)|
Rn
=
|y|<
dy |L1 (Rn )
p
p p
+
|y|>
dy |L1 (Rn )
p p
p p
< =
|y|> p
p p
|h (y)| dy |(z)| dz
y = hz
|z|>h1
fr h < h0 ()
xRn
xRn
xRn
|(z)| dz
<C
fr h < h0 ()
Sobolev 39 sches Mittelungsverfahren / Friedrichs zur Erinnerung: (x) = h (x) = mit supp = K1 (0), und (x) dx =
Rn Rn
40
sches Glttungsverfahren
ce 0,
1 1|x|2
C (Rn ) 0 h>0
h (x)
1 x hn h
supp h = Kh (0)
c (x)
h (y) dy = 1 1 0 1 Rn
Rn
f (x hz)(z) dz,
x Rn ,
h>0
(15)
39 Sergei 40 Kurt
Lvovich Sobolev ( 6.10.1908 St. Petersburg 3.1.1989 Leningrad) Otto Friedrichs ( 28.9.1901 Kiel 31.12.1982 New York)
55
Folgerung 1.85 Seien 1 p < , f Lp (Rn ), fh gegeben durch (15), h > 0. Dann gelten (i) fh Lp (Rn ) C (Rn ), (ii) lim f fh |Lp (Rn ) = 0
h0
f fh
0, fh C (Rn ).
h0
B e w e i s : folgt aus Denition (15) und Stzen 1.83, 1.84 Bemerkung : spezielle Gestalt von nicht notwendig, nur C (Rn ), 0
Rn
(x) dx = 1, 0
Folgerung 1.86 Seien Rn oen, 1 p < , f Lp (), f (x) = (i) supp fh + Kh (0), fh = fh | Lp () C(),
h0
f (x), 0,
x , x Rn \ .
lim f fh |Lp () = 0
(ii) Falls supp f kompakt ist, so existiert ein h0 > 0, so dass fh C (), 0 < h < h0 , sowie 0 f fh |Lp () 0.
h0
dist(x, supp f ) h = fh (x) = 0, dist(z, supp f ) > h supp fh {z Rn : dist (z, supp f ) h}
i.a.
alternative Beweise von Lemma 1.49 und Satz 1.77(ii) mglich: (x) = 1, x , 0 \ ) 1, mit
supp
2h fr h <
C (), 0
h h 1 dist(, Rn 2
Bezeichnung: sei Rn , f : K; f Lloc () K , K kompakt : f L1 (K) 1 Bemerkung : f Lloc () f lokal integrierbar in ; L1 (Rn ) 1 Lloc (Rn ), z.B. f 1 1
h (x y)(y) dy =
|y|1
(y)(x hy) dy
56
Banachrume
dist(, ) > 0
h > 0
h, 0 < h h : h C () = = 0
Vor.
f (x)h (x) dx = 0
f (x), 0,
x , x Rn \ ,
(x) =
(x), 0,
x , x Rn \ ,
f (x)
Rn
h (x y)(y) dy dx
h (x)
Fubini
Rn
Rn
h (z) = h (z)
Rn
Rn
=
Rn
fh (y)(y) dy
0=
Rn
e fh (y)(y) dy = 0 fr alle C () 0
indirekt, Annahme: x0 : e fh (x0 ) = 0, o.B.d.A. e fh (x0 ) > 0 = = = = > 0 y K (x0 ) : e fh (y) > 0, o.B.d.A. K (x0 ) ==== ( x0 ) C () : 0 e fh (y) (y x0 ) dy =
supp ()K (x0 ) K (x0 )
Rn
e fh (y) (y x0 ) dy > 0
>0 >0 auf K/2 (x0 )
e fh 0 in , analog: m fh 0 in
f Lloc () 1
fh 0 in
Folg. 1.86
f fh |L1 () 0
h0
f |L1 () = 0
|f (x)| dx = 0
Bemerkung :
X]
c< x , x Rn \
f (x), 0,
Satz 1.88 Seien 1 p < , Rn oen und beschrnkt. Sei M Lp () beschrnkt und gleichgradig Lp -stetig, d.h. lim sup Th f f |Lp () = 0.
|h|0 f M
Dann ist M prkompakt in Lp (). B e w e i s : 1. Schritt: sei Mh = {fh : f M }, h > 0 = = = Mh C() = C() ==
Folg. 1.86
zeigen: Mh prkompakt in C() = = = = = = = g.z.z.: Mh beschrnkt und gleichgradig stetig in C() ======
Satz 1.36/Arzel-Ascoli
57 Mh C() beschrnkt
Satz 1.83
Mh gleichgradig stetig: h
C (Rn ) 0
>0
>0
Rn
h (x ) h (y )|Lp (Rn )
fr |x y| <
fr
x, y , |x y| <
2. Schritt: Mh C() prkompakt = = = = Mh Lp () prkompakt ==== == n.z.z.: M prkompakt in Lp () = = = g.z.z.: Mh ist -Netz fr M
Folg. 1.18
f fh |Lp ()
dx
|f (x)f(xhz)|p dz
|Lp (Rn )
p |z|1
|f (x) f (x hz)|p dx dz
f f (hz)|Lp ()
p
|Lp (Rn )
p |z|1
f M
dz
|Kn | |Lp (R )
p p