dr Krzysztof ›yjewski Analiza matematyczna II; MAT. S-II 0 . 8 pa¹dziernika 2015

dr Krzysztof ›yjewski Analiza matematyczna II; MAT. S-II ⁰ . 8 pa¹dziernika 2015

Miara i caªka Lebesgue'a cz. 1: σ−ciaªo, miara

Zadania

1. Czy istnieje σ−ciaªo (σ− algebra) skªadaj¡ce si¦ z 1, 2, 3, 4 podzbiorów danego zbioru Ω?

2. Poda¢ wszystkie σ−ciaªa dla zbioru Ω = {a, b, c}. Ile mo»na skonstruowa¢ σ−ciaª w Ω = {1, 2, 3, 4}?

3. Sprawdzi¢, »e nast¦puj¡ce rodziny s¡ σ− ciaªami:

a) rodzina wszystkich podzbiorów zbioru Ω;

b) {∅, Ω} ;

c) A ∈ 2 ^Ω ; A lub Ω \ A jest zbiorem przeliczalnym , gdzie Ω jest zbiorem nieprzeliczal- nym.

4. Niech Ω b¦dzie zbiorem niesko«czonym. Sprawdzi¢, »e rodzina

A ∈ 2 ^Ω ; A lub Ω \ A jest zbiorem sko«czonym , nie jest σ−ciaªem.

5. Niech f : X → Y b¦dzie funkcj¡ ci¡gªa oraz F x to σ ciaªo X, a F y to σ ciaªo Y. Czy F =

A ⊂ X; ∃ _B∈F

A = f ⁻¹ (B)

jest σ ciaªem?

6. Niech f : X → Y b¦dzie funkcj¡ na oraz F = {B ⊂ Y ; ∃ A∈F

B = f (A)} , gdzie F x to σ ciaªo X. Wykaza¢, »e F nie jest σ ciaªem (poda¢ kontr-przykªad).

7. Niech F := {B ⊂ Y, f ⁻¹ (B) ∈ F _X } oraz µ(B) = µ X (f ⁻¹ (B)) dla ka»dego B ∈ F. Czy trójka (Y, F , µ) jest przestrzeni¡ z miar¡?

8. Sprawd¹, czy nast¦puj¡ce trójki (Ω, F, µ) s¡ przestrzeniami z miar¡, a je»eli tak to czy miara µ jest zupeªna:

a) Ω jest zbiorem conajmniej dwupunktowym, F := 2 ^Ω oraz µ(A) :=

( 0, je»eli A = ∅, +∞, je»eli A 6= ∅;

b) Ω jest dowolnym zbiorem,F := 2 ^Ω oraz µ(A) := ( ¯ A, je»eli zbiór A jest sko«czony, +∞, je»eli zbiór A jest niesko«czony;

c) Ω jest dowolnym zbiorem, F := {∅, Ω} oraz µ(∅) := 0, µ(Ω) = 0;

d) Ω jest zbiorem nieprzeliczalnym, F A ∈ 2 ^Ω ; A lub Ω \ A jest zbiorem przeliczalnym oraz µ(A) :=

( 0, je»eli A jest zbiorem przeliczalnym, 1, je»eli Ω \ A jest zbiorem przeliczalnym e) Ω = N, F = 2 ^Ω oraz µ(A) :=

( 0, je»eli A jest zbiorem sko«czonym, +∞, je»eli A jest zbiorem niessko«czonym.

9. Niech Ω = {1, 2, 3, 4} oraz C = {{1}, {2}} . Wyznacz σ(C).

10. Niech Ω = {0, 1, 2, 3, . . . , 9} oraz C = {{0}, {3}, {7}, {0, 9}, {1, 2, 8}, {2, 3, 4, 5}, {5, 6, 7, 8}} . Wyka», »e σ(C) = 2 ^Ω .

11. Wyka» wªasno±ci miary (patrz Twierdzenie 4).

1

dr Krzysztof ›yjewski Analiza matematyczna II; MAT. S-II ⁰ . 8 pa¹dziernika 2015

Informacje pomocnicze

Fakt 1. Niech f : X → Y oraz A, B ⊂ X, wówczas maj¡ miejsce wzory:

a) f(A ∪ B) = f(A) ∪ f(B);

b) f(A ∩ B) ⊂ f(A) ∩ f(B);

c) f(A \ B) ⊃ f(A) − f(B).

Fakt 2. Niech f : X → Y oraz A, B ⊂ Y, wówczas maj¡ miejsce wzory:

a) f ⁻¹ (A ∪ B) = f ⁻¹ (A) ∪ f ⁻¹ (B);

b) f ⁻¹ (A ∩ B) = f ⁻¹ (A) ∩ f ⁻¹ (B);

c) f ⁻¹ (A \ B) = f ⁻¹ (A) − f ⁻¹ (B).

Fakt 3. Niech f : X → Y i niech (A t ) _t∈T b¦dzie rodzin¡ zbiorow tak¡, »e A t ⊂ X oraz (B t ) _t∈T b¦dzie rodzin¡ zbiorow tak¡, »e B t ⊂ Y, wówczas zachodz¡ wzory:

a) f

 S

t∈T

A t



= S

t∈T

f (A t );

b) f

 T

t∈T

A _t



⊂ T

t∈T

f (A _t );

c) f ⁻¹

 S

t∈T

A _t



= S

t∈T

f ⁻¹ (A _t );

d) f ⁻¹

 T

t∈T

A _t



= T

t∈T

f ⁻¹ (A _t ).

Denicja 4. Funkcj¦ zbioru µ : F → [0, +∞] okre±lon¡ na σ−ciele podzbiorów zbioru Ω nazywamy miar¡, je»eli:

1) µ(∅) = 0;

2) µ

 _∞ S

n=1

A _n



=

∞

P

n=1

µ(A _n ), gdzie A 1 , A ₂ , ... ∈ F oraz A i ∩ A _j = ∅ dla i 6= j.

Twierdzenie 5. (Wªasno±ci miary) Niech (Ω, µ) jest przzestrzeni¡ z miar¡ µ : F → [0, +∞], wówczas:

a) ∀ A,B∈F A ⊂ B ⇒ µ(A) ≤ µ(B);

b) ∀ A,B∈F A ⊂ B ∧ µ(A) < +∞ ⇒ µ(B \ A) = µ(B) − µ(A);

c) µ

 _∞ S

n=1

A _n



≤

∞

P

n=1

µ(A _n ) dla ka»dego ci¡gu (A n ) zbiorów mierzalnych;

d) µ

 _∞ S

n=1

A _n



= 0 dla ka»dego ci¡gu (A n ) zbiorów mierzalnych miary zero;

2

dr Krzysztof ›yjewski Analiza matematyczna II; MAT. S-II ⁰ . 8 pa¹dziernika 2015

e) ∀ A,B∈F µ(B) = 0 ⇒ µ(A \ B) = µ(A) = µ(A ∪ B);

f) µ

 _∞ S

n=1

A _n



=

∞

P

n=1

µ(A _n ) dla ka»dego cigu zbiorów mierzalnyc (A n ) takich, »e µ(A i ∩ A _j ) = 0, i 6= j.

g) µ

 _∞ S

n=1

A _n



= lim

n→∞ µ(A _n ) dla ka»dego ci¡gu zbiorów mierzalnych, takiego »e A 1 ⊂ A ₂ ⊂ ...;

h) µ

 _∞ T

n=1

A _n



= lim

n→∞ µ(A _n ) dla ka»dego ci¡gu zbiorów mierzalnych, takiego »e A 1 ⊃ A ₂ ⊃ ... oraz µ(A ₁ ) < +∞.

Literatura:

1) Sªawomir Tymowski, Kurs analizy matematycznej, WSP, Osztyn 1997.

2) Wiesªawa J. Kaczor, Maria T. Nowak, Zadania z analizy matematycznej 3, PWN, Warszawa 2006.

3) T Rado»ycki, Rozwi¡zujemy zadania z analizy matematycznej, cz¦±¢ III, Wydawnictwo O±wia- towe FOSZE, 2015.

3