Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz...

28
Der Dualraum von C (K ) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C (K) 29.06.12 1 / 21

Transcript of Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz...

Page 1: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

Der Dualraum von C (K )Der Rieszsche Darstellungssatz

Michael Schelling

29. Juni 2012

Michael Schelling Der Dualraum von C(K) 29.06.12 1 / 21

Page 2: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

Definition

K kompakter topologischer Raum,

C (K ) := f : K → R| f stetig

||f ||∞ := supf (x)| x ∈ K

ist ein normierter Vektorraum

Definition

V normierter Vektorraum:

V ′ := T | T : V → R linear und stetig

heißt Dualraum

Michael Schelling Der Dualraum von C(K) 29.06.12 2 / 21

Page 3: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

Beispiel

Komponentenfunktionale im V = Rn

Ti : Rn → R (i ∈ 1, . . . , n)x = (x1, . . . , xn)T → Ti (x) = xi

Beispiel

fur T ∈ C (K )′

Funktionauswertungen

T1(f ) = f (a) ∀a ∈ K

Integralbildungen mit µ Borelmaß auf K

T2(f ) =

∫A

f dµ ∀A ∈ B(K )

Michael Schelling Der Dualraum von C(K) 29.06.12 3 / 21

Page 4: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

Definition

(Ω,Σ) Messraum, µ : Ω→ R signiertes Maß, wenn∃µ+, µ− : Σ→ R≥0 Maße:

µ = µ+ − µ−

Definition

(Ω,Σ) Messraum mit B(K ) ⊂ Σ,µ : Σ→ R≥0 regulares Maß, wenn ∀A ∈ Σ:

µ(A) = supµ(L)| L ⊂ A, L kompaktµ(A) = inf µ(U)| A ⊂ U, U offen

Lemma

Ω kompakt und metrisch, µ endliches Borelmaß ⇒ µ regular.

Michael Schelling Der Dualraum von C(K) 29.06.12 4 / 21

Page 5: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

Definition

T ∈ C (K )′ heißt positiv wenn

f ≥ 0⇒ T (f ) ≥ 0

Lemma

∀T ∈ C (K )′ ∃T−,T+ ∈ C (K )′ positiv :

T = T+ − T−

Lemma

T ∈ C (K )′ positiv ⇒ monoton

f ≤ g ⇒ T (f ) ≤ T (g)

Michael Schelling Der Dualraum von C(K) 29.06.12 5 / 21

Page 6: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

Satz (Rieszscher Darstellungssatz)

∀T ∈ C (K )′ ∃ regulares signiertes Borelmaß µ :

T (f ) =

∫K

f dµ

Intuitiv:

µ(A) =

∫K1A dµ

!= T (1A) A ∈ B(K )

Problem:

i.A. 1A /∈ C (K ) ⇒ T (1A) nicht definiert!

Michael Schelling Der Dualraum von C(K) 29.06.12 6 / 21

Page 7: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

Satz (Rieszscher Darstellungssatz)

∀T ∈ C (K )′ ∃ regulares signiertes Borelmaß µ :

T (f ) =

∫K

f dµ

Intuitiv:

µ(A) =

∫K1A dµ

!= T (1A) A ∈ B(K )

Problem:

i.A. 1A /∈ C (K ) ⇒ T (1A) nicht definiert!

Michael Schelling Der Dualraum von C(K) 29.06.12 6 / 21

Page 8: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

Losung:(OBdA T positiv)Approximation von 1A durch stetige Funktionen f ≥ 0

Michael Schelling Der Dualraum von C(K) 29.06.12 7 / 21

Page 9: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

Losung:(OBdA T positiv)Approximation von 1A durch stetige Funktionen f ≥ 0

µ∗(L) := inf T (f )| f ≥ 1L, f ∈ C (K ) ∀L ⊂ K kompakt

Regularitatsbedingung:

µ∗(A) := supµ∗(L)| L ⊂ A, L kompakt ∀A ⊂ K

Michael Schelling Der Dualraum von C(K) 29.06.12 8 / 21

Page 10: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

Losung:(OBdA T positiv)Approximation von 1A durch stetige Funktionen f ≥ 0

µ∗(L) := inf T (f )| f ≥ 1L, f ∈ C (K ) ∀L ⊂ K kompakt

Regularitatsbedingung:

µ∗(A) := supµ∗(L)| L ⊂ A, L kompakt ∀A ⊂ K

Michael Schelling Der Dualraum von C(K) 29.06.12 8 / 21

Page 11: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

Losung:(OBdA T positiv)Approximation von 1A durch stetige Funktionen f ≥ 0

µ∗(L) := inf T (f )| f ≥ 1L, f ∈ C (K ) ∀L ⊂ K kompakt

Regularitatsbedingung:

µ∗(A) := supµ∗(L)| L ⊂ A, L kompakt ∀A ⊂ K

Michael Schelling Der Dualraum von C(K) 29.06.12 8 / 21

Page 12: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

Konstruiert: µ∗ : P(K )→ R≥0

Wir suchen:

µ : B(K )→ R≥0 Maß,

µ erfullt

T (f ) =

∫K

f dµ ∀f ∈ C (K )

Benutze einen der Fortsetzungssatze von Caratheodory

Michael Schelling Der Dualraum von C(K) 29.06.12 9 / 21

Page 13: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

Konstruiert: µ∗ : P(K )→ R≥0

Wir suchen:

µ : B(K )→ R≥0 Maß,

µ erfullt

T (f ) =

∫K

f dµ ∀f ∈ C (K )

Benutze einen der Fortsetzungssatze von Caratheodory

Michael Schelling Der Dualraum von C(K) 29.06.12 9 / 21

Page 14: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

Satz (Fortsetzungssatz)

Ist µ außeres Maß uber K mit:

µ(L1 ∪ L2) = µ(L1) + µ(L2) ∀L1, L2 ⊂ K kompakt, disjunkt

µ(A) = inf µ(U)| A ⊂ U, U offen ∀A ⊂ K

µ(U) = supµ(L)| L ⊂ U, L kompakt ∀U ⊂ K offen

Dann ist µ|B(K) ein Maß.

zur Erinnerung: außeres Maß

µ(∅) = 0

µ(A) ≤ µ(B) A ⊂ B ⊂ K

µ(⋃

n∈N An) ≤∑

n∈N µ(An) (An ⊂ K ∀n ∈ N)

Michael Schelling Der Dualraum von C(K) 29.06.12 10 / 21

Page 15: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

Vorgehen

Betrachte

µ∗(A) := inf µ∗(U)| A ⊂ U, U offen (1)

Zeige µ∗(L) = µ∗(L) ∀L ⊂ K kompakt

und µ∗(U) = µ∗(U) ∀U ⊂ K offen

⇒ µ∗(U) := supµ∗(L)| L ⊂ U, L kompakt (2)

⇒ µ∗(L) := inf T (f )| f ≥ 1L, f ∈ C (K ) (3)

3 Beweisschritte:

T(f)(3)→ L ∈ K kompakt

(2)→ U ∈ K offen(1)→ A ∈ K beliebig

Michael Schelling Der Dualraum von C(K) 29.06.12 11 / 21

Page 16: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

zur Erinnerung

µ∗(L) := inf T (f )| f ≥ 1L, f ∈ C (K ) (1)

µ(L1 ∪ L2) = µ(L1) + µ(L2) ∀L1, L2 ⊂ K kompakt, disjunkt

Beweis.

Teilbeweis

I µ∗(L1 ∪ L2)!≤ µ∗(L1) + µ∗(L2) :

Sei f1 ≥ 1L1 , f2 ≥ 1L2 ⇒ f1 + f2 ≥ 1L1∪L2

(1)⇒ µ∗(L1 ∪ L2) ≤ T (f1 + f2) = T (f1) + T (f2)(1)⇒ µ∗(L1 ∪ L2) ≤ µ∗(L1) + µ∗(L2)

Michael Schelling Der Dualraum von C(K) 29.06.12 12 / 21

Page 17: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

Erhalten Borelmaß:µ := µ∗|B(K)

z.Z.: µ erfullt:

T (f ) =

∫K

f dµ ∀f ∈ C (K )

Lemma

µ erfullt:

µ(U) = supT (f )| 0 ≤ f ≤ 1U , f ∈ C (K ) ∀U ⊂ K offen

Michael Schelling Der Dualraum von C(K) 29.06.12 13 / 21

Page 18: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

Erhalten Borelmaß:µ := µ∗|B(K)

z.Z.: µ erfullt:

T (f ) =

∫K

f dµ ∀f ∈ C (K )

Lemma

µ erfullt:

µ(U) = supT (f )| 0 ≤ f ≤ 1U , f ∈ C (K ) ∀U ⊂ K offen

Michael Schelling Der Dualraum von C(K) 29.06.12 13 / 21

Page 19: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

Beweis: Rieszscher Darstellungssatz

[OBdA: T positiv] f ≥ 0 ∈ C (K ) ⇒ f beschrankt

Michael Schelling Der Dualraum von C(K) 29.06.12 14 / 21

Page 20: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

Beweis: Rieszscher Darstellungssatz

[OBdA: T positiv] f ≥ 0 ∈ C (K ) ⇒ f beschrankt

Michael Schelling Der Dualraum von C(K) 29.06.12 15 / 21

Page 21: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

Beweis: Rieszscher Darstellungssatz

Michael Schelling Der Dualraum von C(K) 29.06.12 16 / 21

Page 22: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

Beweis: Rieszscher Darstellungssatz

(Ki = f ≥ xi)

1Ki≤ 1

xi − xi−1fi ≤ 1Ki−1

∀i ∈ 1...n

(xi − xi−1)µ(Ki ) ≤ T (fi ) ≤ (xi − xi−1)µ(Ki−1)

zur Erinnerung

µ(L) = infT (f )| f ≥ 1L, f ∈ C (K )µ(U) = supT (f )| 0 ≤ f ≤ 1U , f ∈ C (K )

Michael Schelling Der Dualraum von C(K) 29.06.12 17 / 21

Page 23: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

Beweis: Rieszscher Darstellungssatz

(Ki = f ≥ xi)

1Ki≤ 1

xi − xi−1fi ≤ 1Ki−1

∀i ∈ 1...n

(xi − xi−1)µ(Ki ) ≤ T (fi ) ≤ (xi − xi−1)µ(Ki−1)

zur Erinnerung

µ(L) = infT (f )| f ≥ 1L, f ∈ C (K )µ(U) = supT (f )| 0 ≤ f ≤ 1U , f ∈ C (K )

Michael Schelling Der Dualraum von C(K) 29.06.12 17 / 21

Page 24: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

Beweis: Rieszscher Darstellungssatz

(xi − xi−1)µ(Ki ) ≤∫K fi dµ ≤ (xi − xi−1)µ(Ki−1)

Summiere alle Ungleichungen

In∑

i=1

(xi − xi−1)µ(Ki ) ≤ T (f ) ≤n∑

i=1

(xi − xi−1)µ(Ki−1)

In∑

i=1

(xi − xi−1)µ(Ki ) ≤∫K

f dµ ≤n∑

i=1

(xi − xi−1)µ(Ki−1)

⇒ |∫K

f dµ− T (f )| ≤n∑

i=1

(xi − xi−1)µ(Ki−1\Ki )

≤ ε · µ(K )ε→0→ 0

(Ki−1\Ki = xi−1 ≤ f < xi)

Michael Schelling Der Dualraum von C(K) 29.06.12 18 / 21

Page 25: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

Beweis: Rieszscher Darstellungssatz

(xi − xi−1)µ(Ki ) ≤∫K fi dµ ≤ (xi − xi−1)µ(Ki−1)

Summiere alle Ungleichungen

In∑

i=1

(xi − xi−1)µ(Ki ) ≤ T (f ) ≤n∑

i=1

(xi − xi−1)µ(Ki−1)

In∑

i=1

(xi − xi−1)µ(Ki ) ≤∫K

f dµ ≤n∑

i=1

(xi − xi−1)µ(Ki−1)

⇒ |∫K

f dµ− T (f )| ≤n∑

i=1

(xi − xi−1)µ(Ki−1\Ki )

≤ ε · µ(K )ε→0→ 0

(Ki−1\Ki = xi−1 ≤ f < xi)Michael Schelling Der Dualraum von C(K) 29.06.12 18 / 21

Page 26: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

Beweis: Rieszscher Darstellungssatz

Fall f ∈ C (K ) bel. (nicht notwendig ≥ 0):

∃f+, f− ∈ C (K ) : f = f+ − f−

T (f ) = T (f+)− T (f−) =

∫K

f+ dµ−∫K

f− dµ =

∫K

f dµ

Michael Schelling Der Dualraum von C(K) 29.06.12 19 / 21

Page 27: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

Beweis: Rieszscher Darstellungssatz

Gesehen: Rieszscher Darstellungssatz fur T positiv.

Nun: T ∈ C (K )′ bel.

T (f ) = T+(f )− T−(f )

=∫K f dµ+ −

∫K f dµ−

=∫K f+ d(µ+ − µ−) ∀f ∈ C (K )

Setze µ = µ+ − µ− (signiertes Maß).

Michael Schelling Der Dualraum von C(K) 29.06.12 20 / 21

Page 28: Der Dualraum von C K - Uni Ulm Aktuelles · Der Dualraum von C(K) Der Rieszsche Darstellungssatz Michael Schelling 29. Juni 2012 Michael Schelling Der Dualraum von C(K) 29.06.12 1

Abschließende Bemerkungen

T → µ ist wohldefiniert

T → µ bijektiv, d.h.C (K )′ ∼= M(K )

wobei M(K ) Raum der signierten, regularen Borelmaße uber K

T → µ isometrisch bzgl.(C (K )′, || · ||O) und (M(K ), || · ||V )

I || · ||O Operatornorm bzgl. (C (K ), || · ||∞) und (R, | · |)

I ||µ||V = µ+(K ) + µ−(K ) Variationsnorm

Michael Schelling Der Dualraum von C(K) 29.06.12 21 / 21