am1 cz 10 calkaRiem

background image

CaÃlka Riemanna

PoprawiÃlem 21 lipca 2014 r, godz 1:27

Przypomnijmy definicje

,

Definicja 10.1 (

funkcji ca lkowalnej w sensie Riemanna

)

Funkcja f : [a, b] −→ IR jest caÃlkowalna w sensie Riemanna wtedy i tylko wtedy, gdy

istnieje taka liczba rzeczywista I , ˙ze dla ka˙zdej liczby ε > 0 istnieje taka liczba

δ > 0 , ˙ze je˙zeli dla i = 1, 2, . . . , n zachodza

,

nier´owno´sci

a = x

0

< x

1

< x

2

< . . . < x

n−1

< x

n

= b , x

i−1

≤ t

i

≤ x

i

oraz x

i

− x

i−1

< δ ,

to zachodzi te˙z nier´owno´s´c

¯

¯

¯

¯I −

µ

f (t

1

)(x

1

− x

0

) + f (t

2

)(x

2

− x

1

) + . . . + f (t

n

)(x

n

− x

n−1

)

¶¯

¯

¯

¯ < ε .

Liczba I nazywana jest wtedy caÃlka

,

Riemanna funkcji f na przedziale [a, b] i oz-

naczana symbolem

R

b

a

f (x)dx .

Z tej definicji wynika Ãlatwo, ˙ze funkcja f caÃlkowalna w sensie Riemanna jest

ograniczona. Je´sli ustalimy punkty a = x

0

< x

1

< x

2

< . . . < x

n−1

< x

n

= b

dostatecznie drobnego podziaÃlu przedziaÃlu [a, b] , to zmieniaja

,

c odpowiednio punkt

t

i

mo˙zemy dowolnie zwie

,

kszy´c warto´s´c bezwzgle

,

dna

,

skÃladnika f (t

i

)(x

i

− x

i−1

) za-

chowuja

,

c jednocze´snie wszystkie inne punkty (funkcja nieograniczona na caÃlym prze-

dziale [x

0

, x

n

] musi by´c nieograniczona na co najmniej jednym z przedziaÃl´ow [x

0

, x

1

] ,

[x

1

, x

2

] ,. . . , [x

n−1

, x

n

] ). Wykazali´smy wie

,

c, ˙ze zachodzi

Twierdzenie 10.2 (

o ograniczono´

sci funkcji ca lkowalnej w sensie Riemanna

)

Funkcja caÃlkowalna w sensie Riemanna jest ograniczona.

Niestety istnieja

,

funkcje ograniczone, kt´ore caÃlkowalne w sensie Riemanna nie

sa

,

. Przyja

,

wszy np.

f (x) =

½

1, je´sli x ∈ Q ;
0, je´sli x /

Q .

otrzymujemy funkcje

,

niecaÃlkowalna

,

w sensie Riemanna, bo wybieraja

,

c wymierne

t

1

, . . . , t

n

otrzymujemy

f (t

1

)(x

1

− x

0

) + f (t

2

)(x

2

− x

1

) + . . . + f (t

n

)(x

n

− x

n−1

) = b − a ,

za´s dla niewymiernych t

1

, . . . , t

n

otrzymujemy

f (t

1

)(x

1

− x

0

) + f (t

2

)(x

2

− x

1

) + . . . + f (t

n

)(x

n

− x

n−1

) = 0

niezale˙znie od tego jak drobno podzielony zostaÃl przedziaÃl [a, b] . Nie ma wie

,

c kandy-

data na caÃlke

,

. SformuÃlujemy i udowodnimy twierdzenie charakteryzuja

,

ce funkcje

caÃlkowalne w sensie Riemanna, ale musi to by´c poprzedzone definicja

,

uog´olniaja

,

ca

,

1

background image

CaÃlka Riemanna

MichaÃl Krych

poje

,

cie dÃlugo´sci przedziaÃlu i kilkoma twierdzeniami na ten temat. Zaczniemy od

dowodu bardzo wa˙znego twierdzenia o pokryciach przedziaÃlu domknie

,

tego przedzia-

Ãlami otwartymi.

Twierdzenie 10.3 (

o liczbie Lebesgue’a

)

Je´sli {I

t

:

t ∈ T } jest pewna

,

rodzina

,

przedziaÃl´ow otwartych, kt´ora pokrywa prze-

dziaÃl domknie

,

ty [a, b] , tzn.

[

t∈T

I

t

[a, b] , to istnieje liczba λ > 0 taka, ˙ze je´sli

zbi´or A ⊂ [a, b] ma ´srednice

,

mniejsza

,

lub r´owna ni˙z λ (czyli odlegÃlo´s´c ka˙zdych

dw´och punkt´ow zbioru A jest mniejsza lub r´owna λ ), to istnieje t(A) ∈ T takie, ˙ze

A ⊂ I

t(A)

(maÃly zbi´or musi by´c zawarty w jakim´s, niekoniecznie jednym, elemencie

pokrycia przedziaÃlami otwartymi).

Dow´

od. ZaÃl´o˙zmy, ˙ze teza nie jest prawdziwa. Wtedy dla ka˙zdej liczby naturalnej

n istnieje zbi´or A

n

, kt´ory nie jest zawarty w ˙zadnym z przedziaÃl´ow I

t

i kt´orego

´srednica jest mniejsza ni˙z

1

n

. Niech a

n

∈ A

n

. Z cia

,

gu (a

n

) mo˙zna wybra´c podcia

,

g

zbie˙zny (a

n

k

) . Niech p = lim

k→∞

a

n

k

. Niech p ∈ I

t(p)

— taki numer t(p) istnieje,

bo

[

t∈T

I

t

[a, b] 3 p . Poniewa˙z I

(t(p))

jest przedziaÃlem otwartym, wie

,

c istnieje

liczba δ > 0 taka, ˙ze (p − δ, p + δ) ⊂ I

t(p)

. Dla dostatecznie du˙zych k mamy

a

n

k

(p−

δ
2

, p+

δ
2

) . Sta

,

d jednak wynika, ˙ze dla ka˙zdego x ∈ A

n

k

zachodzi nier´owno´s´c

|x − p| ≤ |x − a

n

k

| + |a

n

k

− p| <

1

n

k

+

δ
2

. Oczywi´scie dla dostatecznie du˙zych k

zachodzi te˙z nier´owno´s´c

1

n

k

<

δ
2

i wobec tego |x − p| < δ . To jednak oznacza, ˙ze

A

n

k

(p − δ, p + δ) ⊂ I

t(p)

wbrew temu, ˙ze zbi´or A

n

k

nie jest zawarty w ˙zadnym

z przedziaÃl´ow I

t

. Dow´od zostaÃl zako´

nczony.

Uwaga 10.4 W dowodzie wykorzystywali´smy jedynie jedna

,

wÃlasno´s´c przedziaÃlu

domknie

,

tego, mianowicie to, ˙ze z ka˙zdego cia

,

gu punkt´ow przedziaÃlu domknie

,

tego

mo˙zna wybra´c podcia

,

g zbie˙zny do granicy znajduja

,

cej sie

,

w tym przedziale. WÃlas-

no´s´c ta nie przysÃluguje przedziaÃlom otwartym, np. z cia

,

gu (

1

n+10

) punkt´ow prze-

dziaÃlu (0, 1) nie da sie

,

wybra´c podcia

,

gu zbie˙znego do granicy le˙za

,

cej w przedziale

(0, 1) , bowiem cia

,

g ten jest zbie˙zny do punktu 0 /

[0, 1] . Jest jasne, ˙ze zamiast

przedziaÃlu domknie

,

tego mo˙zna rozpatrywa´c dowolny zwarty podzbi´or prostej.

Przypomnijmy, ˙ze zbiory zwarte mo˙zna scharakteryzowa´c np. tak, jak w twier-

dzeniu poni˙zej.

Twierdzenie 10.5 (

charakteryzuja

,

ce podzbiory zwarte

R )

Zbi´or C ⊂ R jest zwarty wtedy i tylko wtedy, gdy jest ograniczony i gdy jego

dopeÃlnienie R \ C jest suma

,

pewnej rodziny przedziaÃl´ow otwartych.

2

background image

CaÃlka Riemanna

MichaÃl Krych

Z tekstu zawartego w uwadze po dowodzie twierdzenia o liczbie Lebesgue’a

wynika od razu, ˙ze prawdziwe jest

Twierdzenie 10.6 (

o liczbie Lebesgue’a dla zbioru zwartego

)

Je´sli {I

t

:

t ∈ T } jest pewna

,

rodzina

,

przedziaÃl´ow otwartych, kt´ora pokrywa zbi´or

zwarty C , tzn.

[

t∈T

I

t

⊃ C , to istnieje liczba λ > 0 taka, ˙ze je´sli zbi´or A ⊂ C ma

´srednice

,

mniejsza

,

lub r´owna ni˙z λ (czyli odlegÃlo´s´c ka˙zdych dw´och punkt´ow zbioru

A jest mniejsza lub r´owna λ ), to istnieje t(A) ∈ T takie, ˙ze A ⊂ I

t(A)

(maÃly zbi´or

musi by´c zawarty w jakim´s, niekoniecznie jednym, elemencie pokrycia przedziaÃlami

otwartymi).

Definicja 10.7 (

liczby Lebesgue’a

)

Liczba λ , o kt´orej m´owi powy˙zsze twierdzenie Lebesgue’a nazywana jest liczba

,

Lebesgue’a pokrycia {I

t

:

t ∈ T } (nie jest wie

,

c ona zdefiniowana jednoznacznie,

ka˙zda liczba dodatnia mniejsza od niej te˙z jest liczba

,

Lebesgue’a).

Z naste

,

pnego twierdzenia korzysta´c nie be

,

dziemy, jednak wÃla

,

czone jest do tekstu,

bo jest bardzo popularne i cze

,

sto u˙zywane.

Twierdzenie 10.8 (

Heinego-Borela o pokryciach sko´

nczonych

)

Je´sli {I

t

:

t ∈ T } jest pewna

,

rodzina

,

przedziaÃl´ow otwartych pokrywaja

,

ca

,

przedziaÃl

domknie

,

ty [a, b] , tzn.

[

t∈T

I

t

[a, b] , to istnieje taki zbi´or sko´

nczony T

0

⊂ T , ˙ze

[

t∈T

0

I

t

[a, b]

czyli z ka˙zdego pokrycia przedziaÃlu domknie

,

tego przedziaÃlami otwartymi mo˙zna wy-

bra´c podpokrycie sko´

nczone tego przedziaÃlu.

Dow´

od. Niech λ oznacza liczbe

,

Lebesgue’a pokrycia {I

t

:

t ∈ T } i niech n >

b−a

λ

be

,

dzie liczba

,

naturalna

,

. Niech x

i

= a +

i

n

(b − a) dla i = 0, 1, . . . , n . Z twierdzenia

o liczbie Lebesgue’a wynika, ˙ze dla ka˙zdego z przedziaÃl´ow [x

i−1

, x

i

] istnieje t(i) ∈ T

takie, ˙ze [x

i−1

, x

i

] ⊂ I

t(i)

dla i = 1, 2, . . . , n . Sta

,

d wynika, ˙ze [a, b]

n

[

i=1

I

t(i)

, co

ko´

nczy dow´od.

Definicja 10.9 (

dowolnie d lugiej sumy liczb nieujemnych

)

Niech A = {a

t

:

t ∈ T } oznacza pewien zbi´or zÃlo˙zony z liczb nieujemnych. Piszemy

X

A =

X

t∈T

a

t

= sup

n X

t∈ ˜

T

a

t

:

˜

T ⊂ T,

˜

T –zbi´or sko´

nczony

o

3

background image

CaÃlka Riemanna

MichaÃl Krych

M´owia

,

c sÃlowami (niedokÃladnie!): suma dowolnego zbioru liczb dodatnich r´owna jest

kresowi g´ornemu sum sko´

nczenie wielu jego element´ow. NiedokÃladno´s´c polega na

tym, ˙ze sumujemy nie elementy zbioru liczbowego, lecz indeksowane elementy. Je´sli

jaka´s liczba jest przypisana np. trzem r´o˙znym indeksom t , to liczymy ja

,

trzy razy,

a nie raz jakby to miaÃlo miejsce w przypadku sumowania element´ow zbioru.

Jasne jest, ˙ze je´sli T oznacza zbi´or zÃlo˙zony z kolejnych liczb caÃlkowitych wie

,

k-

szych od k − 1 , to

X

t∈T

a

t

jest po prostu suma

,

szeregu

X

n=k

a

n

, wie

,

c obecna definicja

ma jedynie rozszerzy´c zakres poprzedniej, kt´ora wymagaÃla uporza

,

dkowania zbioru

numer´ow liczb dodawanych.

Stwierdzenie 10.10 (

o liczbie sk ladnik´

ow sumy sko´

nczonej

)

Je´sli

X

t∈T

a

t

< ∞ , to zbi´or indeks´ow t ∈ T :

a

t

> 0 jest sko´

nczony lub co najwy˙zej

przeliczalny: card({t ∈ T :

a

t

> 0}) ≤ ℵ

0

.*

Dow´

od. ZaÃl´o˙zmy, ˙ze tak nie jest. Wtedy dla pewnej liczby naturalnej n zbi´or

T

n

:= {t ∈ T :

a

t

1

n

} musi by´c nieprzeliczalny, wie

,

c tym bardziej niesko´

nczony,

bo {t ∈ T :

a

t

> 0} =

S


n
=1

T

n

.Wtedy jednak +∞ ≤

P

t∈T

n

P

t∈T

a

t

, wbrew

zaÃlo˙zeniu.

Stwierdzenie 10.11 (

banalne o d lugo´

sci przedzia lu

)

Je´sli dla ka˙zdego t ∈ T symbol I

t

oznacza przedziaÃl dodatniej dÃlugo´sci o ko´

ncach

a

t

i b

t

oraz

[

t∈T

I

t

[a, b] , to

X

t∈T

(b

t

− a

t

) ≥ b − a .**

Dow´

od. Wystarczy dowie´s´c, ˙ze teza ma miejsce w przypadku b − a < ∞ , bo

p´oÃlprosta i prosta moga

,

by´c przedstawione w postaci sumy wste

,

puja

,

cego cia

,

gu prze-

dziaÃl´ow sko´

nczonych. Mo˙zemy w tym przypadku zaÃlo˙zy´c, ˙ze

X

t∈T

(b

t

− a

t

) < ∞ , bo

w przypadku przeciwnym nic do dowodu nie ma. Je´sli ta suma jest sko´

nczona, to

zbi´or T jest co najwy˙zej przeliczalny (poprzednie stwierdzenie). ZaÃl´o˙zmy ˙ze jest on

zbiorem liczb naturalnych. Niech ε > 0 oznacza dowolna

,

liczbe

,

dodatnia

,

. Niech

J

n

= (a

n

ε

2

n+2

, b

n

+

ε

2

n+2

) . Jasne jest, ˙ze

X

n

¡

b

n

+

ε

2

n+2

(a

n

ε

2

n+2

)

¢

= ε +

X

n

(b

n

− a

n

) .

Wobec tego, ˙ze ε oznacza dowolna

,

liczbe

,

dodatnia

,

wystarczy wykaza´c teze

,

dla

*

symbol card(A) oznacza liczbe, element´ow zbioru A , czyli jego moc, u˙zywane na innych przedmiotach

oznaczenie |A| oznacza´

c be,dzie ju˙z niedÃlugo miare, zbioru.

**

Nie precyzujemy czy przedziaÃly sa, otwarte domknie,te, czy otwarto–domknie,te, czy sko´nczone, czy

niesko´

nczone, a

t

oznacza lewy koniec, b

t

— prawy.

4

background image

CaÃlka Riemanna

MichaÃl Krych

rodziny {J

n

} : je´sli ε +

X

n

(b

n

− a

n

) ≥ b − a dla ka˙zdego ε > 0 , to r´ownie˙z

X

n

(b

n

− a

n

) ≥ b − a .

PrzedziaÃly J

n

sa

,

otwarte, wie

,

c istnieje taka liczba λ > 0 , ˙ze ka˙zdy przedziaÃl

o dÃlugo´sci mniejszej ni˙z λ jest zawarty w pewnym przedziale J

n

. ZaÃl´o˙zmy, ˙ze

a = x

0

< x

1

< . . . < x

m−1

< x

m

= b oznaczaja

,

takie punkty, ˙ze x

i

− x

i−1

< λ dla

i = 1, 2 . . . , m . Dla ka˙zdego i wybieramy numer n(i) w tak, ˙ze [x

i−1

, x

i

] ⊂ J

n(i)

.

Wyka˙zemy, ˙ze suma dÃlugo´sci przedziaÃl´ow J

n(1)

, J

n(2)

, . . . , J

n(m)

jest wie

,

ksza ni˙z

b − a , z czego teza wyniknie od razu.

Mamy [x

0

, x

1

] ⊆ J

n(1)

. Niech i

1

be

,

dzie najwie

,

ksza

,

z tych liczb i , dla kt´orych

[x

0

, x

i

] ⊆ J

n(1)

. Poniewa˙z J

n(1)

jest przedziaÃlem, wie

,

c punkty x

i

dla i > i

1

zna-

jduja

,

sie

,

poza J

n(1)

. Oczywi´scie [x

i

1

, x

i

1

+1

] ⊂ J

n(i

1

+1)

. Niech teraz i

2

be

,

dzie

najwie

,

kszym numerem takim, ˙ze [x

i

1

, x

i

2

] ⊂ J

n(i

1

+1)

. Tak jak poprzednio dla

i > i

2

punkt x

i

znajduje sie

,

poza przedziaÃlem J

n(i

1

+1)

. Definiuja

,

c kolejno numery

0 = i

0

, i

1

, i

2

,. . . , i

k

otrzymujemy cia

,

g numer´ow taki, ˙ze [x

i

j−1

, x

i

j

] ⊂ J

n(i

j−1

+1)

,

i

k

= m , x

i

j

+1

/

∈ J

n(i

j−1

+1)

. Wobec tego liczby n(i

0

+ 1) , n(i

1

+ 1) ,. . . , n(i

k−1

+ 1)

sa

,

o˙zne. Liczba x

i

j

− x

i

j−1

jest mniejsza ni˙z dÃlugo´s´c przedziaÃlu J

n(i

j−1

+1)

. Wobec

tego b − a =

P

(x

i

j

− x

i

j−1

) jest liczba

,

mniejsza

,

ni˙z suma dÃlugo´sci przedziaÃl´ow

J

n(i

0

+1)

, J

n(i

1

+1)

, . . . , J

n(i

k−1

+1)

, tu korzystamy z tego, ˙ze przedziaÃly J

n(i

0

+1)

,

J

n(i

1

+1)

, . . . , J

n(i

k−1

+1)

sa

,

o˙zne (przedziaÃly J

n(1)

, J

n(2)

, J

n(m)

nie musza

,

by´c

r´o˙zne). Ta zadziwiaja

,

co skomplikowana — jak na tak oczywiste stwierdzenie —

konstrukcja prowadzi do przypisania przedziaÃlom [x

i

j−1

, x

i

j

] r´o˙znych przedziaÃl´ow

J

n(i

j−1

)

, co pozwala na zasta

,

pienie sumy dÃlugo´sci tych pierwszych suma

,

dÃlugo´sci

tych drugich. Dow´od zostaÃl zako´

nczony.

Osoby, kt´orym wydaje sie

,

, ˙ze powy˙zsze rozumowanie jest za dÃlugie, ˙ze to prze-

rost formy nad tre´scia

,

, zapraszam do jego skr´ocenia (odrzucaja

,

c jednak metode

,

pole-

gaja

,

ca

,

na opuszczeniu kilku sÃl´ow lub stwierdzeniu, ˙ze teza jest oczywista!).

Teraz mo˙zemy wprowadzi´c zdefiniowa´c miare

,

(zewne

,

trzna

,

) zbioru A ⊂ R .

Definicja 10.12 (

miary zewne

,

trznej

)

|A| = inf

t∈T

n X

|I

t

|:

[

t∈T

I

t

⊃ A

o

, gdzie I

t

oznacza przedziaÃl niezdegenerowany

a |I

t

| — jego dÃlugo´s´c, czyli r´o˙znice

,

ko´

nc´ow. Liczbe

,

|A| nazywamy miara

,

zewne

,

trzna

,

zbioru A .

Dzie

,

ki stwierdzeniu banalnemu o dÃlugo´sci przedziaÃlu definicja ta nie prowadzi do za-

mieszania w oznaczeniach: Je´sli zbi´or A jest przedziaÃlem, to |A| jest jego dÃlugo´scia

,

!

5

background image

CaÃlka Riemanna

MichaÃl Krych

Naste

,

pnym bezpo´srednim wnioskiem z definicji miary zewne

,

trznej jest

Twierdzenie 10.13 (

o monotoniczno´

sci miary zewne

,

trznej

)

Je´sli A ⊆ B , to |A| ≤ |B| .

Twierdzenie 10.14 (

o podaddytywno´

sci miary zewne

,

trznej

)

Dla dowolnych zbior´ow A

1

, A

2

, . . . zachodzi nier´owno´s´c:

¯

¯

¯

[

n=1

A

n

¯

¯

¯

X

n=1

|A

n

| .

Dow´

od. Niech ε > 0 be

,

dzie dowolna

,

liczba

,

. Dla ka˙zdego n istnieje taka rodzina

przedziaÃl´ow {I

t

:

t ∈ T

n

} , ˙ze

[

t∈T

n

I

t

⊃ A

n

i

X

t∈T

n

|I

t

| ≤ |A

n

| +

ε

2

n

. Zdefiniujmy

T =

[

n=1

T

n

. Jasne jest, ˙ze

[

t∈T

I

t

[

n=1

A

n

oraz ˙ze

X

t∈T

|I

t

| =

X

n=1

³ X

t∈T

n

|I

t

|

´

X

n=1

³

|A

n

| +

ε

2

n

´

=

X

n=1

|A

n

| + ε .

Otrzymana nier´owno´s´c zachodzi dla dowolnej liczby ε > 0 , wie

,

c

¯

¯

¯

¯

¯

[

n=1

A

n

¯

¯

¯

¯

¯

X

n=1

|A

n

| ,

a to chcieli´smy wykaza´c.

Oczywi´scie chciaÃloby sie

,

stwierdzi´c, ˙ze je´sli zbiory {A

n

} sa

,

parami rozÃla

,

czne, to

¯

¯

¯

[

n=1

A

n

¯

¯

¯ =

X

n=1

|A

n

| . Tego niestety nie mo˙zna udowodni´c bez dodatkowych zaÃlo˙ze´

n.

W tym roku nie be

,

dzie nas ta kwestia interesowa´c, zajmiemy sie

,

nia

,

w naste

,

pnym,

bo wymaga to wie

,

kszej pracy i znalazÃlo miejsce w programie trzeciego semestru

studi´ow, a do naszych aktualnych cel´ow wystarczy twierdzenie o podaddytywno´sci

miary zewne

,

trznej. Jest natomiast prawdziwe stwierdzenie naste

,

puja

,

ce

Twierdzenie 10.15 (

o przeliczalnej addytywno´

sci miary zewne,trznej dla przedziaÃl´ow

)

Je´sli przedziaÃly I

1

, I

2

, I

3

, . . . sa

,

parami rozÃla

,

czne (tzn. I

k

∩ I

l

= dla k 6= l ), to

zachodzi r´owno´s´c:

¯

¯I

1

∪ I

2

∪ I

3

∪ . . .

¯

¯ =

¯

¯I

1

¯

¯ +

¯

¯I

2

¯

¯ +

¯

¯I

3

¯

¯ + · · ·

Dow´

od. Nier´owno´s´c

¯

¯I

1

∪ I

2

∪ I

3

∪ . . .

¯

¯

¯

¯I

1

¯

¯ +

¯

¯I

2

¯

¯ +

¯

¯I

3

¯

¯ + · · · wynika wprost

z definicji miary. Jasne jest r´ownie˙z, ˙ze dla ka˙zdego n zachodzi nier´owno´s´c

¯

¯I

1

∪ I

2

∪ . . . ∪ I

n

¯

¯

¯

¯I

1

∪ I

2

∪ I

3

∪ . . .

¯

¯

¯

¯I

1

¯

¯ +

¯

¯I

2

¯

¯ +

¯

¯I

3

¯

¯ + · · · .

(*)

Jednak ze stwierdzenia banalnego o dÃlugo´sci przedziaÃlu wynika, ˙ze dla dowolnej liczby

naturalnej n zachodzi nier´owno´s´c

¯

¯I

1

∪ I

2

∪ . . . ∪ I

n

¯

¯ =

¯

¯I

1

¯

¯ +

¯

¯I

2

¯

¯ + · · · +

¯

¯I

n

¯

¯

,

a sta

,

d

Je´sli rodzina przedziaÃl´

ow (I

t

) pokrywa zbi´

or I

1

∪I

2

∪...∪I

n

, to mo˙zemy zasta,pi´c przedziaÃl I

t

prze-

dziaÃlami I

1

∩I

t

, I

2

∩I

t

,

. . .

I

n

∩I

t

, oczywi´scie |I

1

∩I

t

|+|I

2

∩I

t

|+...+|(I

n

∩I

t

)|≤|I

t

| .

6

background image

CaÃlka Riemanna

MichaÃl Krych

¯

¯I

1

∪I

2

∪I

3

∪. . .

¯

¯

¯

¯I

1

∪I

2

∪. . .∪I

n

¯

¯ =

¯

¯I

1

¯

¯+

¯

¯I

2

¯

¯+· · ·+

¯

¯I

n

¯

¯ −−−−→

n→∞

¯

¯I

1

¯

¯+

¯

¯I

2

¯

¯+

¯

¯I

3

¯

¯+· · · .

Wobec tego

¯

¯I

1

∪I

2

∪I

3

∪. . .

¯

¯

¯

¯I

1

¯

¯+

¯

¯I

2

¯

¯+

¯

¯I

3

¯

¯+· · · , co w poÃla

,

czeniu z nier´owno´scia

,

(*) dowodzi twierdzenia.

Definicja 10.16 (

zbioru miary 0

)

M´owimy, ˙ze zbi´or A jest zbiorem miary 0 wtedy i tylko wtedy, gdy |A| = 0 .

Z twierdzenia o podaddytywno´sci miary wynika, ˙ze suma przeliczalnej rodziny

zbior´ow miary 0 jest r´ownie˙z zbiorem miary 0 . Dla rodzin wie

,

kszej mocy to oczywi´s-

cie nie jest prawda

,

: ka˙zdy niepusty zbi´or jest suma

,

zbior´ow jednopunktowych, a nie

ka˙zdy ma miare

,

0 , np.

¯

¯[2, 5]

¯

¯ = 3 > 0 . W szczeg´olno´sci ka˙zdy zbi´or przeliczalny ma

miare

,

0 , np. Q . Istnieja

,

te˙z nieprzeliczalne zbiory miary 0 .

PrzykÃlad 10.1

( zbi´

or Cantora)

Opiszemy tzw. zbi´or Cantora C . SkÃlada sie

,

on z tych liczb z przedziaÃlu [0, 1] ,

kt´ore mo˙zna zapisa´c w ukÃladzie tr´ojkowym bez u˙zycia cyfry 1 . Zbi´or ten otrzymu-

jemy usuwaja

,

c z przedziaÃlu [0, 1] kolejno przedziaÃly otwarte (

1
3

,

2
3

) , (

1
9

,

2
9

) , (

7
9

,

8
9

) ,

(

1

27

,

2

27

) , (

7

27

,

8

27

) , (

19
27

,

20
27

) , (

25
27

,

26
27

) , . . . Za ka˙zdym razem usuwamy z jakiego´s

przedziaÃlu jego ´srodkowa

,

cze

,

´s´c, kt´orej dÃlugo´s´c to

1
3

dÃlugo´sci przedziaÃlu, z kt´orego

ja

,

usuwamy. Otrzymujemy zbi´or, kt´ory nie zawiera ˙zadnego przedziaÃlu. Liczba

1
3

jest jego elementem, chocia˙z w ukÃladzie tr´ojkowym zwykle zapisujemy ja

,

w postaci

0,1 . Mo˙zna ja

,

jednak zapisa´c w ukÃladzie tr´ojkowym jako 0,02222222 . . . , bowiem

2
9

+

2

27

+

2

81

+ · · · =

2/9

11/3

=

1
3

. Zbi´or Cantora jest mocy kontinuum, bo ma dokÃladnie

tyle element´ow ile jest cia

,

g´ow, kt´orych elementami sa

,

0 i 2 . Jest on miary 0 , bo

mo˙zna go pokry´c 2

n

przedziaÃlami domknie

,

tymi o dÃlugo´sciach

1

3

n

, wie

,

c jego miara

nie przekracza liczby

2

n

3

n

−−−−→

n→∞

0 .

PrzykÃlad 10.2

(zbi´or

¡

R \ Q

¢

[0, 1] ).

Ten zbi´or oczywi´scie nie zawiera ˙zadnego przedziaÃlu, bo ka˙zdy przedziaÃl zawiera

liczby wymierne. Jego miara nie mo˙ze by´c wie

,

ksza ni˙z miara przedziaÃlu [0, 1] , czyli

nie mo˙ze by´c wie

,

ksza ni˙z 1 . Mniejsza te˙z by´c nie mo˙ze, bo

1 =

¯

¯[0, 1]

¯

¯

¯

¯

¡

R\Q

¢

[0, 1]

¯

¯+

¯

¯Q[0, 1]

¯

¯ =

¯

¯

¡

R\Q

¢

[0, 1]

¯

¯+0 =

¯

¯

¡

R\Q

¢

[0, 1]

¯

¯ .

Stwierdzenie 10.17 (

o ge

,

sto´

sci dope lnienia zbioru miary

0 )

Je´sli |A| = 0 i a < b , to (a, b) \ A 6= .

Dow´

od. Niech {I

t

:

t ∈ T } be

,

dzie rodzina

,

przedziaÃl´ow taka

,

, ˙ze

X

t∈T

|I

t

| < b − a

i

S

t∈T

I

t

⊇ A — taka rodzina istnieje, bo |A| = 0 . Z banalnego stwierdzenia

7

background image

CaÃlka Riemanna

MichaÃl Krych

o dÃlugo´sci przedziaÃlu wynika, ˙ze nie jest prawda

,

, i˙z

S

t∈T

I

t

[a, b] . Dow´od zostaÃl

zako´

nczony.

Uwaga 10.18 (

o postaci otwartych podzbior´

ow prostej

)

Je´sli zbi´or G jest suma

,

rodziny przedziaÃl´ow otwartych (by´c mo˙ze nieprzeliczalnej),

to istnieje taki sko´

nczony lub nie cia

,

g parami rozÃla

,

cznych przedziaÃl´ow otwartych

I

1

, I

2

, . . . , ˙ze G = I

1

∪ I

2

∪ . . . PrzedziaÃly I

1

, I

2

, . . . nazywane sa

,

skÃladowymi

zbioru G .

Dow´

od. Niech p ∈ G . Niech J

p

be

,

dzie maksymalnym przedziaÃlem zawieraja

,

cym

punkt p i zawartym w zbiorze G , tzn. J

p

jest suma

,

wszystkich przedziaÃl´ow otwar-

tych zawieraja

,

cych punkt p i zawartych w zbiorze G . Jasne jest, ˙ze je´sli p, q ∈ G

i p 6= q to albo J

p

= J

q

, albo J

p

∩ J

q

= — suma przedziaÃl´ow o niepustym

przecie

,

ciu jest przedziaÃlem. Rodzina {J

p

:

p ∈ G} jest co najwy˙zej przeliczalna

,

,

bowiem ka˙zdy z tych przedziaÃl´ow zawiera liczbe

,

wymierna

,

, liczby przypisane r´o˙znym

przedziaÃlom sa

,

r´o˙zne, bo te przedziaÃly sa

,

rozÃla

,

czne, zatem przedziaÃl´ow nie mo˙ze by´c

wie

,

cej ni˙z liczb wymiernych, kt´orych jest

0

.

Stwierdzenie 10.19 (

o mierze dope lnienia sumy przedzia l´

ow

)

Niech C ⊆ [a, b] be

,

dzie suma

,

sko´

nczonej lub przeliczalnej rodziny przedziaÃl´ow (nie-

koniecznie otwartych) i niech D = [a, b] \ C . Wtedy |C| + |D| =

¯

¯[a, b]

¯

¯ = b − a .

Dow´

od. Niech I

1

, I

2

, I

3

, . . . oznaczaja

,

przedziaÃly takie, ˙ze C = I

1

∪ I

2

∪ I

3

∪ . . . ,

i 6= j =⇒ I

i

∩ I

j

= . Niech C

n

= I

1

∪ I

2

∪ I

3

∪ . . . ∪ I

n

i D

n

= [a, b] \ C

n

. Zbi´or

D

n

jest suma

,

parami rozÃla

,

cznych przedziaÃl´ow J

1

, J

2

, . . . , J

m

n

, niekt´ore moga

,

by´c

jednopunktowe, m

n

≤ n+1 . Z banalnego stwierdzenia o dÃlugo´sci przedziaÃlu wynika,

˙ze b−a = |I

1

|+|I

2

|+· · ·+|I

n

|+|J

1

|+|J

2

|+· · ·+|J

m

n

| , |C

n

| = |I

1

| + |I

2

| + · · · + |I

n

| ,

|D

n

| = |J

1

| + |J

2

| + · · · + |J

m

n

| . Wynika sta

,

d, ˙ze dla ka˙zdego n zachodzi r´owno´s´c

b − a = |C

n

| + |D

n

| . Oczywi´scie |C| = |I

1

| + |I

2

| + · · · = lim

n→∞

|C

n

| i D =

T

n

D

n

,

zatem |D

n

| ≥ |D| . Mamy

b − a =

¯

¯[a, b]

¯

¯ =

¯

¯C ∪ D

¯

¯ ≤ |C| + |D| ,

oraz

b − a = lim

n→∞

£

|C

n

| + |D

n

|] = lim

n→∞

|C

n

| + lim

n→∞

|D

n

| = |C| + lim

n→∞

|D

n

| ≥ |C| + |D| .

Udowodnili´smy, ˙ze |C| + |D| ≥ b − a ≥ |C| + |D| . Dow´od zostaÃl zako´

nczony.

Wypada w tym miejscu powiedzie´c, ˙ze twierdzenie to nie jest prawdziwe dla

dowolnego zbioru C , ale dla wszystkich, kt´ore autor tekstu potrafi zdefiniowa´c nie

u˙zywaja

,

c pewnika wyboru, jest prawdziwe. Szczeg´oÃlami zajmiemy sie

,

za niecaÃly rok,

a mo˙ze ju˙z za 8 miesie

,

cy.

Naste

,

pnych kilku twierdze´

n nie byÃlo na wykÃladzie, ale zamieszczam je, bo mam

8

background image

CaÃlka Riemanna

MichaÃl Krych

nadzieje

,

, ˙ze niekt´orzy z Pa´

nstwa zechca

,

je obejrze´c. Dowody sa

,

przydÃlugie, ale

wszystko zacznie wygla

,

da´c nieco lepiej w przyszÃlym roku, gdy zajmiemy sie

,

nieco

dokÃladniej teoria

,

miary.

Lemat 10.20 (

o miarach sum i przecie

,

´

c monotonicznych cia

,

ow zbior´

ow maja

,

cych

sko´

nczenie wielu sk ladowych

)

Niech ka˙zdy ze zbior´ow B

1

, B

2

, . . . be

,

dzie suma

,

sko´

nczenie wielu przedziaÃl´ow parami

rozÃla

,

cznych. Je´sli B

1

⊇ B

2

⊇ B

3

⊇ . . . i |B

1

| < ∞ , to

¯

¯ T

n

B

n

¯

¯ = lim

n→∞

|B

n

| .

Je´sli B

1

⊆ B

2

⊆ B

3

⊆ . . . , to

¯

¯ S

n

B

n

¯

¯ = lim

n→∞

|B

n

| .

Dow´

od. Zaczniemy od pierwszego przypadku. Ka˙zda z r´o˙znic zbior´ow B

1

\ B

2

,

B

2

\ B

3

, . . . jest suma

,

sko´

nczenie wielu parami rozÃla

,

cznych przedziaÃl´ow, niekt´ore

moga

,

by´c zdegenerowane do jednego punktu. Niech B

1

\ B

2

= I

1

∪ I

2

∪ . . . ∪ I

k

1

,

B

2

\ B

3

= I

k

1

+1

∪ I

k

1

+2

∪ . . . ∪ I

k

2

, . . . PrzedziaÃly I

1

, I

2

, . . . sa

,

oczywi´scie parami

rozÃla

,

czne. Zachodzi r´owno´s´c B

1

=

³ T


j
=1

B

j

´

∪I

1

∪I

2

∪. . .∪I

k

1

∪I

k

1

+1

∪I

k

1

+2

∪. . . ,

wie

,

c ∞ > |B

1

| ≥

¯

¯I

1

∪ I

2

∪ . . .

¯

¯ =

X

n=1

|I

n

| . Poniewa˙z

B

n

=

³

\

j=n

B

j

´

∪ I

k

n−1

+1

∪ I

k

n−1

+2

∪ . . . ∪ I

k

n

∪ I

k

n

+1

∪ I

k

n

+2

∪ . . . =

=

³

\

j=1

B

j

´

∪ I

k

n−1

+1

∪ I

k

n−1

+2

∪ . . . ∪ I

k

n

∪ I

k

n

+1

∪ I

k

n

+2

∪ . . . .

wie

,

c

|B

n

| ≤

¯

¯ T


j
=1

B

j

¯

¯ + |I

k

n−1

+1

| + |I

k

n−1

+2

| + . . . + |I

k

n

| + |I

k

n

+1

+ |I

k

n

+2

| + . . . .

Poniewa˙z ∞ > |B

1

| ≥

¯

¯I

1

∪ I

2

∪ . . .

¯

¯ =

X

n=1

|I

n

| ,

wie

,

c lim

n→∞

h

|I

k

n−1

+1

| + |I

k

n−1

+2

| + . . . + |I

k

n

| + |I

k

n

+1

+ |I

k

n

+2

| + . . .

i

= 0 — reszta

szeregu zbie˙znego da

,

˙zy do 0 . Sta

,

d wynika, ˙ze

lim

n→∞

|B

n

| ≤

¯

¯

¯

\

j=1

B

j

¯

¯

¯+ lim

n→∞

h

|I

k

n−1

+1

|+|I

k

n−1

+2

|+. . .+|I

k

n

|+|I

k

n

+1

+|I

k

n

+2

|+. . .

i

=

=

¯

¯

¯

\

j=1

B

j

¯

¯

¯ lim

j→∞

¯

¯B

j

| ,

Sta

,

d lim

n→∞

|B

n

| ≤

¯

¯ T


j
=1

B

j

¯

¯ lim

n→∞

|B

n

| i w ko´

ncu lim

n→∞

|B

n

| =

¯

¯ T


j
=1

B

j

¯

¯ .

Zajmiemy sie

,

drugim przypadkiem, chyba nie trudniejszym. Niech

B

1

= I

1

∪ I

2

∪ . . . ∪ I

k

1

, B

2

\ B

1

= I

k

1

+1

∪ I

k

1

+2

∪ . . . ∪ I

k

2

,

B

3

\ B

2

= I

k

2

+1

∪ I

k

2

+2

∪ . . . ∪ I

k

3

, . . .

9

background image

CaÃlka Riemanna

MichaÃl Krych

Mamy wie

,

c

S

n

B

n

= I

1

∪ I

2

∪ . . . ∪ I

k

1

∪ I

k

1

+1

∪ I

k

1

+2

∪ . . . ∪ I

k

2

∪ I

k

2

+1

∪ I

k

2

+2

∪ . . . ∪ I

k

3

∪ . . . .

Sta

,

d i z twierdzenia o przeliczalnej addytywno´sci miary zewne

,

trznej wynika, ˙ze

¯

¯

¯

S

n

B

n

¯

¯

¯ =

¯

¯I

1

¯

¯ +

¯

¯I

2

¯

¯ + . . . +

¯

¯I

k

1

¯

¯ +

¯

¯I

k

1

+1

¯

¯ +

¯

¯I

k

1

+2

¯

¯ + . . . +

¯

¯I

k

2

¯

¯ +

=

¯

¯I

k

2

+1

¯

¯+

¯

¯I

k

2

+2

¯

¯ +. . .+

¯

¯I

k

3

¯

¯+. . . = lim

n→∞

¯I

1

¯

¯+

¯

¯I

2

¯

¯+. . .+

¯

¯I

k

n

¯

¯

i

= lim

n→∞

¯

¯B

n

¯

¯ .

Twierdzenie 10.21 (

o cia

,

g lo´

sci miary zewne

,

trznej, s laba wersja

)

Je´sli B

1

⊇ B

2

⊇ B

3

⊇ . . . i zbiory te sa

,

otwarte (tzn. ka˙zdy jest suma

,

przedziaÃl´ow

otwartych, by´c mo˙ze niesko´

nczenie wielu) i B

1

[a, b] , to lim

n→∞

|B

n

| =

¯

¯ T


n
=1

B

n

¯

¯ .

Dow´

od. Niech ε > 0 . Zbi´or B

1

mo˙zna przedstawi´c jako sume

,

co najwy˙zej prze-

liczalnie wielu przedziaÃl´ow otwartych parami rozÃla

,

cznych, jego skÃladowych. Niech

B

1

= I

1,1

∪ I

1,2

∪ I

1,3

∪ . . . . Z poprzednio udowodnionych twierdze´

n wynika, ˙ze

|B

1

| = |I

1,1

|+|I

1,2

|+|I

1,3

|+· · · . Poniewa˙z |B

1

| < ∞ , wie

,

c istnieje liczba naturalna k

1

taka, ˙ze |I

1,k

1

+1

|+|I

1,k

1

+2

|+|I

1,k

1

+3

|+· · · <

ε
2

. Niech G

1

= I

1,1

∪I

1,2

∪I

1,3

∪. . .∪I

1,k

1

.

Zbi´or G

1

jest suma

,

sko´

nczenie wielu przedziaÃl´ow, G

1

⊆ B

1

i

|B

1

\G

1

| =

¯

¯I

1,k

1

+1

∪I

1,k

1

+2

∪I

1,k

1

+3

∪. . .

¯

¯ = |I

1,k

1

+1

|+|I

1,k

1

+2

|+|I

1,k

1

+3

|+· · · <

ε
2

.

Zbi´or B

2

∩G

1

jest otwarty, zatem jest suma

,

co najwy˙zej przeliczalnie wielu przedzia-

Ãl´ow otwartych parami rozÃla

,

cznych. Niech B

2

∩ G

1

= I

2,1

∪ I

2,2

∪ I

2,3

∪ . . . . Poniewa˙z

∞ > |B

2

| = |I

2,1

| + |I

2,2

| + |I

2,3

| + · · · , wie

,

c istnieje taka liczba naturalna k

2

, ˙ze

|I

2,k

2

+1

| + |I

2,k

2

+2

| + |I

2,k

2

+3

| + · · · <

ε
4

. Niech

G

2

= I

2,1

∪ I

2,2

∪ I

2,3

∪ . . . ∪ I

2,k

2

⊆ B

2

∩ G

1

.

Mamy wie

,

c

¯

¯B

2

\ G

2

¯

¯

¯

¯B

2

\ G

1

¯

¯ +

¯

¯B

2

∩ G

1

\ G

2

¯

¯

¯

¯B

1

\ G

1

¯

¯ +

¯

¯[B

2

∩ G

1

] \ G

2

¯

¯ <

ε
2

+

ε
4

=

3
4

ε .

Naste

,

pnie w taki sam spos´ob konstruujemy zbi´or G

3

⊆ B

3

∩ G

2

taki, ˙ze

¯

¯B

3

\ G

3

¯

¯ <

3
4

ε +

ε
8

=

7
8

ε .

Otrzymujemy taki cia

,

g zbior´ow

G

1

⊇ G

2

⊇ G

3

⊇ . . . ,

˙ze

G

n

⊂ B

n

oraz

¯

¯B

n

\ G

n

¯

¯ < (1

1

2

n

)ε , ka˙zdy zbi´or G

n

to suma sko´

nczenie wielu przedziaÃl´ow, wie

,

c

r´ownie˙z

|G

n

| ≤ |B

n

| = |G

n

∪ B

n

\ G

n

| ≤ |G

n

| + |B

n

\ G

n

| < |G

n

| + (1

1

2

n

)ε .

Wynika sta

,

d, ˙ze

lim

n→∞

|G

n

| ≤ lim

n→∞

|B

n

| ≤ lim

n→∞

|G

n

| + ε .

Poniewa˙z ka˙zdy ze zbior´ow G

1

, G

2

, . . . ma sko´

nczenie wiele skÃladowych, wie

,

c (odpo-

wiedni lemat)

¯

¯ T G

n

¯

¯ = lim

n→∞

|G

n

| . Z tego, ˙ze

T

G

n

T

B

n

wynika nier´owno´s´c:

¯

¯ T G

n

¯

¯

¯

¯ T B

n

¯

¯ . Poniewa˙z B

j

T

B

n

, wie

,

c lim

j→∞

|B

j

| ≥

¯

¯ T B

n

¯

¯ . Z tego wszyst-

kiego wynika, ˙ze

10

background image

CaÃlka Riemanna

MichaÃl Krych

¯

¯ T G

n

¯

¯ = lim

n→∞

|G

n

| ≤

¯

¯ T B

n

¯

¯ lim

n→∞

|B

n

| ≤ lim

n→∞

|G

n

|+ε =

¯

¯ T G

n

¯

¯+ε ≤

¯

¯ T B

n

¯

¯+ε .

Wykazali´smy, ˙ze dla ka˙zdej liczby ε > 0 zachodzi nier´owno´s´c

¯

¯ T B

n

¯

¯ lim

n→∞

|B

n

| ≤

¯

¯ T B

n

¯

¯ + ε ,

a to oznacza, ˙ze

¯

¯ T B

n

¯

¯ = lim

n→∞

|B

n

| .

Teraz mo˙zemy ju˙z sformuÃlowa´c twierdzenie opisuja

,

ce funkcje caÃlkowalne w sensie

Riemanna.

Twierdzenie 10.22 (

charakteryzuja

,

ce ca lkowalno´

c w sensie Riemanna

)

Funkcja f : [a, b] −→ R jest caÃlkowalna w sensie Riemanna wtedy i tylko wtedy, gdy

jest ograniczona i jej zbi´or punkt´ow niecia

,

gÃlo´sci ma miare

,

0 . ×

Przed dowodem tego twierdzenia podamy warunek typu warunku Cauchy’ego dla

zbie˙zno´sci wyste

,

puja

,

cej w definicji caÃlki Riemanna i wyka˙zemy, ˙ze jest on konieczny

i dostateczny dla jej istnienia. Be

,

dziemy potrzebowa´c kilku oznacze´

n i termin´ow.

Definicja 10.23

a = x

0

< x

1

< x

2

< . . . < x

n−1

< x

n

= b , punkty x

0

, x

1

, . . . , x

n

nazywamy

we

,

zÃlami podziaÃlu przedziaÃlu [a, b] , najwie

,

ksza

,

z liczb x

1

−x

0

, x

2

−x

1

,. . . , x

n

−x

n−1

nazywamy ´srednica

,

podziaÃlu;

m

j

= inf{f (t):

x

j−1

≤ t ≤ x

j

} , M

j

= sup{f (t):

x

j−1

≤ t ≤ x

j

} ;

liczba ω

j

= M

j

− m

j

oscylacja

,

funkcji f na przedziale [x

j−1

, x

j

] ;

liczba ω

f

(x) = inf

δ>0

Ã

sup

|t−x|≤δ

f (t) inf

|t−x|≤δ

f (t)

!

nazywana jest oscylacja

,

funkcji f

w punkcie x ;

suma

n

X

j=1

M

j

(x

j

− x

j−1

) nazywana jest suma

,

g´orna

,

Darboux funkcji f ;

suma

n

X

j=1

m

j

(x

j

− x

j−1

) nazywana jest suma

,

dolna

,

Darboux funkcji f .

Zauwa˙zmy, ˙ze je´sli x

i−1

< ˆ

x < x

i

, to zachodza

,

nier´owno´sci

sup{f (t):

x

i−1

≤ t ≤ x

i

} · (x

i

− x

i−1

) =

= sup{f (t):

x

i−1

≤ t ≤ x

i

} ·

x − x

i−1

) + sup{f (t):

x

i−1

≤ t ≤ x

i

} · (x

i

ˆ

x)

sup{f (t):

x

i−1

≤ t ≤ ˆ

x} ·

x − x

i−1

) + sup{f (t):

ˆ

x ≤ t ≤ x

i

} · (x

i

ˆ

x) .

Wykazali´smy, ˙ze je´sli dodamy nowy we

,

zeÃl, to suma g´orna nie zwie

,

kszy sie

,

.

Bardzo proste rozumowanie indukcyjne przekonuje nas, ”re zasta

,

pienie podziaÃlu

a = x

0

< x

1

< x

2

< . . . < x

n−1

< x

n

= b drobniejszym, tzn. dodanie nowych

we

,

zÃl´ow do x

0

, x

1

, x

2

, . . . , x

n−1

, x

n

zmniejsza g´orna

,

sume

,

Darboux lub zachowuje

jej warto´s´c. W podobny spos´ob stwierdzamy, ˙ze rozdrabnianie podziaÃlu sume

,

dolna

,

11

background image

CaÃlka Riemanna

MichaÃl Krych

zwie

,

ksza lub zachowuje. Wobec tego rozdrabnianie podziaÃlu zmniejsza lub zachowuje

oscylacje

,

na przedziale. Podsumujmy te rozwa˙zania:

Lemat 10.24 (

o sumach dolnych i g´

ornych

)

Je´sli a = ˆ

x

0

< ˆ

x

1

< . . . < ˆ

x

m−1

< ˆ

x

m

= b i a = ¯

x

0

< ¯

x

1

< . . . < ¯

x

n−1

< ¯

x

n

= b sa

,

dwoma podziaÃlami przedziaÃlu [a, b] , to zachodzi nier´owno´s´c

m

X

i=1

ˆ

m

i

x

i

ˆ

x

i−1

)

n

X

j=1

¯

M

j

x

j

¯

x

j−1

) ,

gdzie ˆ

m

i

= inf{f (t):

ˆ

x

i−1

≤ t ≤ ˆ

x

i

} , ¯

M

j

= sup{f (t):

¯

x

j−1

≤ t ≤ ¯

x

j

} , czyli

ka˙zda dolna suma ma warto´s´c nie wie

,

ksza

,

od ka˙zdej sumy g´ornej, niezale˙znie od

podziaÃl´ow.

Dow´

od. Niech a = x

0

< x

1

< . . . < x

k−1

< x

k

= b be

,

dzie podziaÃlem przedziaÃlu

[a, b] wyznaczonym przez wszystkie punkty ˆ

x

0

< ˆ

x

1

< . . . < ˆ

x

m−1

< ˆ

x

m

oraz

¯

x

0

< ¯

x

1

< . . . < ¯

x

n−1

< ¯

x

n

a = x

0

< x

1

< . . . < x

k−1

< x

k

= b jest wie

,

c

wsp´olnym rozdrobniem obu podziaÃl´ow. Z uwag poprzedzaja

,

cych dowodzony lemat

wynika, ˙ze speÃlnione sa

,

nier´owno´sci (pomijamy oczywiste definicje m

ι

, M

ι

)

m

X

i=1

ˆ

m

i

x

i

ˆ

x

i−1

)

k

X

ι=1

m

ι

(x

ι

− x

ι−1

) oraz

k

X

ι=1

M

ι

(x

ι

− x

ι−1

)

m

X

i=1

¯

M

i

x

i

¯

x

i−1

) ,

co w poÃla

,

czeniu z oczywista

,

nier´owno´scia

,

k

X

ι=1

m

ι

(x

ι

− x

ι−1

)

k

X

ι=1

M

ι

(x

ι

− x

ι−1

)

daje teze

,

.

Naste

,

pny warunek peÃlni wa˙zna

,

role

,

w dowodach istnienia caÃlki Riemanna: poz-

wala on wykazywa´c jej istnienie bez wskazywania warto´sci caÃlki, podobnie jak waru-

nek Cauchy’ego w wypadku cia

,

g´ow, szereg´ow czy funkcji.

Warunek CICR

(typu Cauchy’ego istnienia ca lki Riemanna)

Dla ka˙zdej liczby ε > 0 istnieja

,

takie punkty a = x

0

< x

1

< . . . < x

n−1

< x

n

, ˙ze

n

X

j=1

ω

j

(x

j

− x

j−1

) < ε .

Twierdzenie 10.25 (

o istnieniu ca lki Riemanna

)

Funkcja f : [a, b] −→ R jest caÃlkowalna w sensie Riemanna wtedy i tylko wtedy, gdy

zachodzi warunek CICR.

Dow´

od. Je´sli funkcja f jest caÃlkowalna w sensie Riemanna, to dla ka˙zdego ε > 0

istnieje taka liczba δ > 0 , ˙ze je´sli x

j−1

≤ t

j

≤ x

j

dla j = 1, 2 . . . , n , to zachodzi

nier´owno´s´c

¯

¯

R

b

a

f (x)dx −

n

X

j=1

f (t

j

)(x

j

− x

j−1

)

¯

¯ <

ε
3

. Sta

,

d natychmiast wynika, ˙ze

12

background image

CaÃlka Riemanna

MichaÃl Krych

¯

¯

¯

Z

b

a

f (x)dx −

n

X

j=1

m

j

(x

j

− x

j−1

)

¯

¯

¯

ε
3

i

¯

¯

¯

Z

b

a

f (x)dx −

n

X

j=1

M

j

(x

j

− x

j−1

)

¯

¯

¯

ε
3

.

Wobec tego

n

X

j=1

ω

j

(x

j

−x

j−1

) =

¯

¯

¯

n

X

j=1

M

j

(x

j

−x

j−1

)

n

X

j=1

m

j

(x

j

−x

j−1

)

¯

¯

¯ 2·

ε
3

< ε ,

zatem funkcja f speÃlnia warunek CICR.

ZaÃl´o˙zmy teraz, ˙ze funkcja f speÃlnia warunek CICR. W niejawny spos´ob zakÃlada-

my tu, ˙ze funkcja f jest ograniczona, bowiem wszystkie r´o˙znice, nieujemne na mocy

definicji, M

1

− m

1

, M

2

− m

2

, . . . , M

n

− m

n

musza

,

by´c sko´

nczone dla dostatecznie

drobnego podziaÃlu, bo

n

X

j=1

(M

j

− m

j

)(x

j

− x

j−1

) < 1 . Mamy wtedy oczywi´scie

M = sup

t∈[a,b]

f (t) =

max

j=1,2,...,n

M

j

< ∞ i m = inf

t∈[a,b]

f (t) =

min

j=1,2,...,n

m

j

> −∞ .

Niech I be

,

dzie kresem dolnym g´ornych sum Darboux funkcji f dla wszystkich

podziaÃl´ow przedziaÃlu [a, b] . Z warunku CICR wynika, ˙ze I jest kresem g´ornym dol-

nych sum Darboux funkcji f . Wyka˙zemy, ˙ze liczba I jest caÃlka

,

Riemanna funkcji f .

ZaÃl´o˙zmy, ˙ze a = x

0

< x

1

< . . . < x

n−1

< x

n

oraz x

i−1

≤ t

i

≤ x

i

dla

i = 1, 2, . . . , n . Z lematu o sumach dolnych i g´ornych wynika, ˙ze wtedy zachodza

,

nier´owno´sci

n

X

j=1

m

j

(x

j

− x

j−1

) ≤ I ≤

n

X

j=1

M

j

(x

j

− x

j−1

) oraz

n

X

j=1

m

j

(x

j

− x

j−1

)

n

X

j=1

f (t

i

)(x

j

− x

j−1

)

n

X

j=1

M

j

(x

j

− x

j−1

) .

Je´sli wie

,

c δ jest liczba

,

dobrana

,

do ε z warunku CIRC, to obie liczby I oraz

n

X

j=1

f (t

i

)(x

j

− x

j−1

) le˙za

,

w przedziale

h

n

X

j=1

m

j

(x

j

− x

j−1

),

n

X

j=1

M

j

(x

j

− x

j−1

)

i

,

kt´orego dÃlugo´s´c jest mniejsza od ε , zatem

¯

¯

¯I −

n

X

j=1

f (t

i

)(x

j

− x

j−1

)

¯

¯

¯ < ε ,

co ko´

nczy dow´od twierdzenia o istnieniu caÃlki Riemanna.

Dow´

od twierdzenia charakteryzuja

,

cego caÃlkowalno´s´

c w sensie Riemanna.

Wiemy ju˙z, ˙ze je´sli funkcja jest caÃlkowalna w sensie Riemanna, to jest ograniczona.

Trzeba jeszcze wykaza´c, ˙ze jej zbi´or punkt´ow niecia

,

gÃlo´sci ma miare

,

0 . ZaÃl´o˙zmy, ˙ze

P

n
j
=1

ω

j

(x

j

− x

j−1

) < ε . Niech σ(α) be

,

dzie suma

,

tych liczb x

j

− x

j−1

, dla kt´orych

ω

j

≥ α . Zachodzi nier´owno´s´c α · σ(α)

P

n
j
=1

ω

j

(x

j

− x

j−1

) < ε , zatem σ(α) <

ε

α

.

Niech σ

n

(α) oznacza sume

,

dÃlugo´sci tych przedziaÃl´ow z podziaÃlu przedziaÃlu [a, b]

na 2

n

r´ownych podprzedziaÃl´ow, na kt´orych oscylacja funkcji f nie jest mniejsza

13

background image

CaÃlka Riemanna

MichaÃl Krych

ni˙z α . Z otrzymanej nier´owno´sci wynika, ˙ze σ

n

(α) −−−−→

n→∞

0 . Sta

,

d natychmiast

wynika, ˙ze zbi´or punkt´ow x , dla kt´orych ω

f

(x) ≥ α ma miare

,

0: we

,

zÃl´ow wszystkich

podziaÃl´ow przedziaÃlu [a, b] na 2

n

podprzedziaÃl´ow, n = 1, 2, . . . jest przeliczalnie

wiele, wie

,

c tworza

,

one zbi´or miary 0. Inne punkty, w kt´orych oscylacja nie jest

mniejsza ni˙z α znajduja

,

sie

,

oczywi´scie w przedziaÃlach, kt´orych suma dÃlugo´sci jest

mniejsza ni˙z σ

n

(a) ( −−−−→

n→∞

0 ). W ten spos´ob udowodnili´smy jedna

,

implikacje

,

.

Niech teraz f : [a, b] −→ R oznacza funkcje

,

, C — zbi´or punkt´ow, w kt´orych jest

ona cia

,

gÃla, D = [a, b] \ C — zbi´or punkt´ow, w kt´orych f jest niecia

,

gÃla i niech dla

ka˙zdego x ∈ [a, b] be

,

dzie speÃlniona nier´owno´s´c |f (x)| ≤ M < +. Wyka˙zemy, ˙ze

je´sli |D| = 0 , to funkcja f jest caÃlkowalna w sensie Riemanna. Mo˙zemy oczywi´scie

zakÃlada´c, ˙ze M > 0 , bo je´sli M = 0 , to funkcja f jest to˙zsamo´sciowo r´owna 0 ,

wie

,

c jest oczywi´scie caÃlkowalna w sensie Riemanna.

Niech ε > 0 . Dla ka˙zdego x ∈ C istnieje taka liczba δ

x

> 0 , ˙ze je´sli |t − x| < δ

x

i t ∈ [a, b] , to |f (t) − f (x)| <

ε

4(b−a)

. Z definicji zbioru miary 0 wynika, ˙ze ist-

nieja

,

przedziaÃly I

1

, I

2

, . . . takie, ˙ze

[

n=1

I

n

⊃ D i

X

n=1

|I

n

| <

ε

5M

. Rozpatrywane

przedziaÃly I

1

, I

2

, . . . moga

,

by´c domknie

,

te, otwarto-domknie

,

te, itp. Niech ˜

I

n

ozna-

cza przedziaÃl otwarty, kt´orego ´srodkiem jest ´srodek przedziaÃlu I

n

i kt´ory jest dÃlu˙zszy

od I

n

o

ε

20·M ·2

n

. Oczywi´scie ˜

I

n

⊃ I

n

, wie

,

c

[

n=1

˜

I

n

⊃ D i

X

n=1

| ˜

I

n

| =

X

n=1

³

|I

n

| +

ε

20·M ·2

n

´

=

X

n=1

|I

n

| +

X

n=1

ε

20·M ·2

n

<

ε

5M

+

ε

20M

=

ε

4M

.

Rodzina F = {(x − δ

x

, x + δ

x

:

x ∈ C)} ∪ { ˜

I

n

:

n ∈ N} skÃlada sie

,

z przedziaÃl´ow

otwartych, jej suma zawiera przedziaÃl [a, b] . Wobec tego istnieje taka liczba λ > 0 ,

˙ze ka˙zdy przedziaÃl [c, d] [a, b] dÃlugo´sci ≤ λ jest zawarty w kt´orym´s elemencie

rodziny F . Niech a = x

0

< x

1

< . . . < x

n

= b oznacza podziaÃl przedziaÃlu [a, b]

na przedziaÃly dÃlugo´sci < λ . Niech N

C

oznacza zbi´or zÃlo˙zony z tych numer´ow

j ∈ {1, 2, . . . , n} , dla kt´orych istnieje punkt x(j) ∈ C taki, ˙ze zachodzi inkluzja

[x

j−1

, x

j

]

¡

x(j) − δ

x(j)

, x(j) + δ

x(j)

¢

, za´s N

D

– zbi´or zÃlo˙zony z numer´ow po-

zostaÃlych, tj. takich, dla kt´orych taki punkt x(j) nie istnieje, zatem istnie´c musi

liczba n(j) taka, ˙ze [x

j−1

, x

j

] ˜

I

n(j)

. Jasne jest, ˙ze

[

j∈N

D

[x

j−1

, x

j

]

[

j∈N

D

˜

I

n

,

zatem

P

j∈N

D

¯

¯[x

j−1

, x

j

]

¯

¯ =

¯

¯

¯

S

j∈N

D

[x

j−1

, x

j

]

¯

¯

¯

P

n

| ˜

I

n

| <

ε

4M

.

Dla ka˙zdego j zachodzi nier´owno´s´c M

j

− m

j

2M . Ma wie

,

c miejsce nier´owno´s´c

14

background image

CaÃlka Riemanna

MichaÃl Krych

P

j∈N

D

ω

j

(x

j

− x

j−1

) 2M

P

j∈N

D

(x

j

− x

j−1

) < 2M ·

ε

4M

=

ε
2

.

Je´sli |t − x| < δ

x

, x ∈ C , to |f (t) − f (x)| <

ε

4(b−a)

. Sta

,

d wynika, ˙ze je´sli |t − x| < δ

x

i |s − x| < δ

x

, to |f (t) − f (s)| ≤ |f (t) − f (x)| + |f (x) − f (s)| <

ε

2(b−a)

. Sta

,

d

wnioskujemy, ˙ze dla j ∈ N

C

zachodzi nier´owno´s´c M

j

− m

j

ε

2(b−a)

. Wobec tego:

X

j∈N

C

ω

j

(x

j

− x

j−1

)

ε

2(b − a)

·

X

j∈N

C

(x

j

− x

j−1

)

ε

2(b − a)

· (b − a) =

ε
2

.

Mo˙zemy wie

,

c napisa´c:

n

X

j=1

ω

j

(x

j

− x

j−1

) =

X

j∈N

D

ω

j

(x

j

− x

j−1

) +

X

j∈N

C

ω

j

(x

j

− x

j−1

) <

ε
2

+

ε
2

= ε .

Wykazali´smy wie

,

c, ˙ze r´o˙znica mie

,

dzy suma

,

g´orna

,

Darboux i suma

,

dolna

,

Darboux

funkcji f jest mniejsza od ε , je´sli tylko przedziaÃl [a, b] zostaÃl podzielony na dostate-

cznie kr´otkie podprzedziaÃly, a to oznacza, ˙ze funkcja speÃlnia warunek CICR, czyli ˙ze

jest caÃlkowalna w sensie Riemanna.

Z twierdzenia charakteryzuja

,

cego funkcje caÃlkowalne i tego, ˙ze suma i iloczyn

funkcji ograniczonych sa

,

funkcjami ograniczonymi oraz z tego ˙ze suma dw´och zbior´ow

miary 0 jest zbiorem miary 0 wynika

Twierdzenie 10.26

Suma i iloczyn funkcji caÃlkowalnych w sensie Riemanna sa

,

funkcjami caÃlkowalnymi

w sensie Riemanna.

Mamy r´ownie˙z Ãlatwe do wykazania twierdzonka

Twierdzenie 10.27

c

R

b

a

f (x)dx =

R

b

a

cf (x)dx dla dowolnej liczby c ∈ R i funkcji f : [a, b] −→ R , kt´ora

jest caÃlkowalna w sensie Riemanna.

Dow´

od. Wiedza

,

c, ˙ze caÃlka istnieje mo˙zemy rozpatrywa´c podziaÃly przedziaÃlu [a, b]

np. na n r´ownych cze

,

´sci i przyja

,

´c t

j

= x

j

. Wtedy twierdzenie wynika z twierdzenia

o granicy cia

,

gu pomno˙zonego przez liczbe

,

c .

Twierdzenie 10.28

R

b

a

¡

f (x) + g(x)

¢

dx =

R

b

a

f (x)dx +

R

b

a

g(x)dx dla dowolnych funkcji f, g: [a, b] −→ R ,

caÃlkowalnych w sensie Riemanna.

Dow´

od. CaÃlki istnieja

,

, wie

,

c mo˙zemy rozpatrywa´c np. podziaÃl przedziaÃlu [a, b] np.

na n r´ownych cze

,

´sci i przyja

,

´c t

j

= x

j

. Twierdzenie wynika z twierdzenia o granicy

sumy cia

,

g´ow.

15

background image

CaÃlka Riemanna

MichaÃl Krych

Twierdzenie 10.29

Je´sli funkcje f, g: [a, b] −→ R sa

,

caÃlkowalne w sensie Riemanna i f (x) ≤ g(x) dla

a ≤ x ≤ b , to

R

b

a

f (x)dx ≤

R

b

a

g(x)dx .

Dow´

od. CaÃlki istnieja

,

, wie

,

c mo˙zemy rozpatrywa´c np. podziaÃl przedziaÃlu [a, b]

np. na n r´ownych cze

,

´sci i przyja

,

´c t

j

= x

j

. Twierdzenie wynika z twierdzenia

o nier´owno´sciach dla cia

,

g´ow.

Twierdzenie 10.30

Je´sli funkcje f, g: [a, b] −→ R sa

,

caÃlkowalne w sensie Riemanna i f (x) ≤ g(x) dla

a ≤ x ≤ b ,

R

b

a

f (x)dx <

R

b

a

g(x)dx , to miara zbioru {x ∈ [a, b]:

f (x) < g(x)} jest

liczba

,

dodatnia

,

.

Dow´

od. Je´sli miara zbioru D := {x ∈ [a, b]:

f (x) < g(x)} jest r´owna 0 , to dla

ka˙zdego przedziaÃlu [c, d] zbi´or [c, d]\D jest niepusty, bo ma miare

,

≥ d−c — wynika

to z podaddytywno´sci miary. Wobec tego w charakterze punkt´ow t

j

wysta

,

pi´c moga

,

punkty, w kt´orych f (t

j

) = g(t

j

) , czyli ˙ze odpowiednie sumy Riemanna sa

,

r´owne

dla dowolnie drobnego podziaÃlu przedziaÃlu [a, b] . Sta

,

d wynika r´owno´s´c caÃlek, wbrew

zaÃlo˙zeniu.

Twierdzenie 10.31

Je´sli funkcja f : [a, b] −→ R jest caÃlkowalna w sensie Riemanna i a < c < b , to jest

caÃlkowalna w sensie Riemanna na obu przedziaÃlach [a, c] i [c, b] i zachodzi r´owno´s´c

R

b

a

f (x)dx =

R

c

a

f (x)dx +

R

b

c

f (x)dx .

Dow´

od. CaÃlkowalno´s´c na podprzedziale wynika z caÃlkowalno´sci na przedziale od

razu, r´owno´s´c

R

b

a

f (x)dx =

R

c

a

f (x)dx+

R

b

c

f (x)dx wynika z tego, ˙ze mo˙zna rozwa˙za´c

tylko te podziaÃly przedziaÃlu [a, b] , w kt´orych c pojawia sie

,

jako we

,

zeÃl.

Twierdzenie 10.32

Je´sli f (x) ≤ g(x) dla a ≤ x ≤ b i miara zbioru {x ∈ [a, b]:

f (x) < g(x)} jest

dodatnia, funkcje f, g: [a, b] −→ R sa

,

caÃlkowalne w sensie Riemanna, to zachodzi

nier´owno´s´c

R

b

a

f (x)dx <

R

b

a

g(x)dx .

Dow´

od. Niech D(f ) oznacza zbi´or punkt´ow niecia

,

gÃlo´sci funkcji f , D(g) – zbi´or

punkt´ow niecia

,

gÃlo´sci funkcji g , A — zbi´or tych punkt´ow x ∈ [a, b] , dla kt´orych

f (x) < g(x) . Zbi´or A nie jest miary 0, zbiory D(f ) i D(g) sa

,

miary 0. Zbi´or

A \

¡

D(f ) ∪ D(g)

¢

nie jest miary 0, wie

,

c jest mocy kontinuum*. Niech p be

,

dzie

dowolnym punktem zbioru A \

¡

D(f ) ∪ D(g) ∪ {a, b}

¢

. Mamy f (p) < g(p) . Niech

*

Gdyby zbi´

or A\(D(f )∪D(g)) byÃl miary 0, to zbi´

or A byÃlby suma, 3 zbior´ow miary 0, wie,c zbi´or A

byÃlby miary 0.

16

background image

CaÃlka Riemanna

MichaÃl Krych

α, β be

,

da

,

takimi liczbami, ˙ze f (p) < α < β < g(p) . Obie funkcje f i g sa

,

cia

,

gÃle

w punkcie p , zatem istnieje taki przedziaÃl [c, d] [a, b] o ´srodku w punkcie p , ˙ze

dla x ∈ [c, d] zachodzi nier´owno´s´c f (x) < α < β < g(x) . Mamy wie

,

c

R

b

a

f (x)dx =

R

c

a

f (x)dx+

R

d

c

f (x)dx+

R

b

d

f (x)dx ≤

R

b

a

f (x)dx+α(d−c)+

R

b

d

f (x)dx <

<

R

c

a

g(x)dx+β(d−c)+

R

b

d

g(x)dx ≤

R

c

a

g(x)dx+

R

d

c

g(x)dx+

R

b

d

g(x)dx =

R

b

a

g(x)dx ,

co ko´

nczy dow´od.

Twierdzenie 10.33

Je´sli funkcja f : [a, b] −→ R jest caÃlkowalna w sensie Riemanna, to funkcja |f | jest

caÃlkowalna w sensie Riemanna i zachodzi nier´owno´s´c

¯

¯

¯

R

b

a

f (x)dx

¯

¯

¯

R

b

a

|f (x)|dx .

Dow´

od. CaÃlkowalno´s´c funkcji |f | wynika z caÃlkowalno´sci funkcji f , bo je´sli f jest

cia

,

gÃla w pewnym punkcie, to |f | te˙z, z ograniczono´sci f ograniczono´s´c |f | wynika

natychmiast.

Twierdzenie 10.34

Je´sli funkcja f : [a, b] −→ R jest monotoniczna, to jest caÃlkowalna w sensie Riemanna.

Dow´

od. Funkcja monotoniczna na przedziale domknie

,

tym jest ograniczona, zbi´or

punkt´ow, w kt´orych jest niecia

,

gÃla jest przeliczalny, zatem ma miare

,

0 .

Twierdzenie 10.35

Je˙zeli obydwie funkcje g, f : [a, b] −→ R sa

,

caÃlkowalne w sensie Riemanna a zbi´or

{x ∈ [a, b]:

f (x) 6= g(x)} jest miary 0 , to

R

b

a

f (x)dx =

R

b

a

g(x)dx .

Dow´

od. Wynika to natychmiast z tego, ˙ze caÃlki mo˙zna potraktowa´c jako granice

cia

,

g´ow sum Riemanna np. dla podziaÃl´ow na n r´ownych cze

,

´sci i tych samych punkt´ow

t

1

, t

2

, . . . , t

n

wybranych w ten spos´ob, ˙ze f (t

j

) = g(t

j

) dla j = 1, 2, . . . , n .

Twierdzenie 10.36 (

o warto´

sci ´

sredniej

)

Je´sli f : [a, b] −→ R jest cia

,

gÃla, g: [a, b] −→ R — caÃlkowalna w sensie Riemanna

i nieujemna, to istnieje liczba c ∈ [a, b] taka, ˙ze

R

b

a

f (x)g(x)dx = f (c)

R

b

a

g(x)dx .

Dow´

od. Niech m = inf{f (t):

t ∈ [a, b]} ,

M = sup{f (t):

t ∈ [a, b]} . Dla

ka˙zdego x ∈ [a, b] zachodzi wie

,

c nier´owno´s´c mg(x) ≤ f (x)g(x) ≤ M g(x) . Wobec

tego

m

Z

b

a

g(x)dx =

Z

b

a

mg(x)dx ≤

Z

b

a

f (x)g(x)dx ≤

Z

b

a

M g(x)dx = M

Z

b

a

g(x)dx

Je´sli

R

b

a

g(x)dx = 0 , to przyjmujemy np. c =

1
2

(a + b) . Je´sli

R

b

a

g(x)dx 6= 0 , czyli

R

b

a

g(x)dx > 0 , to otrzymujemy m ≤

R

b

a

f (x)g(x)dx

R

b

a

g(x)dx

≤ M , a poniewa˙z funkcja f

17

background image

CaÃlka Riemanna

MichaÃl Krych

ma wÃlasno´s´c Darboux jako cia

,

gÃla, wie

,

c istnieje taka liczba c ∈ [a, b] , ˙ze zachodzi

r´owno´s´c f (c) =

R

b

a

f (x)g(x)dx

R

b

a

g(x)dx

. Dow´od zostaÃl zako´

nczony.

ÃLatwo mo˙zna zauwa˙zy´c, ˙ze w przypadku tej wersji twierdzenia o warto´sci ´sredniej

nie da sie

,

omina

,

´c zaÃlo˙zenia cia

,

gÃlo´sci funkcji f — inaczej ni˙z w wersji z poprzed-

niej cze

,

´sci tego tekstu, gdzie wÃlasno´s´c Darboux i tak byÃla (pochodna, je´sli istnieje

w ka˙zdym punkcie przedziaÃlu, ma wÃlasno´s´c Darboux). Funkcja caÃlkowalna w sensie

Riemanna wÃlasno´sci Darboux mie´c nie musi, np. funkcja monotoniczna, kt´ora ma

punkt niecia

,

gÃlo´sci.

Niech f : [a, b] −→ R oznacza funkcje

,

caÃlkowalna

,

w sensie Riemanna. Niech

F (x) =

R

x

a

f (t)dt .

Twierdzenie 10.37 (

o cia

,

g lo´

sci i r´

o˙zniczkowalno´

sci ca lki

)

Funkcja F speÃlnia warunek Lipschitza na przedziale [a, b] . Je´sli funkcja f jest cia

,

gÃla

w punkcie p ∈ [a, b] , to funkcja F ma pochodna

,

w punkcie p i zachodzi r´owno´s´c

F

0

(p) = f (p) .

Dow´

od. Funkcja f jest ograniczona na przedziale [a, b] . Niech M > 0 be

,

dzie

taka

,

liczba

,

, ˙ze |f (x)| ≤ M dla ka˙zdego x ∈ [a, b] . Niech a ≤ x < y ≤ b . Mamy

|F (y) − F (x)| =

¯

¯

R

y

a

f (t)dt −

R

x

a

f (t)dt

¯

¯ =

¯

¯

R

y

x

f (t)dt

¯

¯

R

y

x

|f (t)|dt ≤

R

y

x

M dt = M (y − x) .

Musimy jeszcze wykaza´c, ˙ze funkcja F jest r´o˙zniczkowalna w punktach cia

,

gÃlo´sci

funkcji f . ZaÃl´o˙zmy, ˙ze p < b , 0 < h < b − p . Mamy

¯

¯

¯

1

h

¡

F (p+h)−F (p)

¢

−f (p)

¯

¯

¯ =

¯

¯

¯

1

h

³R

p+h

p

f (t)dt

´

−f (p)

¯

¯

¯ =

¯

¯

¯

1

h

R

p+h

p

³

f (t)−f (p)

´

dt

¯

¯

¯

1

h

R

p+h

p

¯

¯

¯f (t) − f (p)

¯

¯

¯dt ≤

sup

p≤t≤p+h

¯

¯

¯f (t) − f (p)

¯

¯

¯ −−−→

h→0

0 .

Ostatnia r´owno´s´c (chodzi o granice

,

, znaku = nie ma, ale jest strzaÃlka, kt´ora go

zaste

,

puje ) wynika z cia

,

gÃlo´sci funkcji f w punkcie p , to jedyny moment, w kt´orym

cia

,

gÃlo´s´c jest wykorzystywana. Wykazali´smy, ˙ze f (p) jest prawostronna

,

pochodna

,

funkcji F w punkcie p . W taki sam spos´ob wykaza´c mo˙zna, ˙ze jest to r´ownie˙z

pochodna lewostronna, gdy a < p . Dow´od zostaÃl zako´

nczony.

Zauwa˙zmy, ˙ze z tego twierdzenia wynika, ˙ze funkcja cia

,

gÃla na przedziale jest

pochodna

,

pewnej funkcji r´o˙zniczkowalnej, tym razem to nie szkic dowodu, lecz dok-

Ãladne rozumowanie. Przy okazji okazuje sie

,

, ˙ze w przypadku funkcji cia

,

gÃlych oba

podej´scia do caÃlkowania daja

,

ten sam wynik: caÃlka Riemanna r´owna jest r´o˙znicy

warto´sci funkcji pierwotnej. Pozwala to znajdowa´c liczne caÃlki Riemanna. Podkre´sli´c

jednak wypada, ˙ze istnieja

,

funkcje r´o˙zniczkowalne, kt´orych pochodne sa

,

niecaÃlkowal-

18

background image

CaÃlka Riemanna

MichaÃl Krych

ne w sensie Riemanna i oczywi´scie funkcje, kt´ore sa

,

caÃlkowalne w sensie Riemanna

i nie maja

,

wÃlasno´sci przyjmowania warto´sci po´srednich, wie

,

c nie maja

,

funkcji pier-

wotnych. Je´sli funkcja f jest caÃlkowalna w sensie Riemanna i ma funkcje

,

pierwotna

,

F , to caÃlka

R

b

a

f (x)dx r´owna jest r´o˙znicy warto´sci funkcji pierwotnej na ko´

ncach

przedziaÃlu. Wynika to Ãlatwo z twierdzenia o warto´sci ´sredniej:

F (b)−F (a) =

n

X

j=1

¡

F (x

j

)−F (x

j−1

)

¢

=

n

X

j=1

F

0

(t

j

)(x

j

−x

j−1

) =

n

X

j=1

f (t

j

)(x

j

−x

j−1

) .

Ostatnia suma jest bliska caÃlce Riemanna funkcji f , bo zaÃlo˙zyli´smy, ˙ze ta funkcja jest

caÃlkowalna w sensie Riemanna. Dodajmy jeszcze, bez dowodu, ˙ze funkcja speÃlniaja

,

ca

warunek Lipschitza jest r´o˙zniczkowalna w prawie ka˙zdym punkcie, tj. zbi´or punkt´ow

nier´o˙zniczkowalno´sci funkcji lipschitzowskiej jest miary 0, ale to twierdzenie dosy´c

daleko wykracza poza program wykÃladu z analizy.

Twierdzenie 10.38 (

o przybli˙zaniu funkcji ca lkowalnych funkcjami cia

,

g lymi

)

Niech f : [a, b] −→ R be

,

dzie funkcja

,

caÃlkowalna

,

w sensie Riemanna. Dla ka˙zdej liczby

ε > 0 istnieje taka funkcja cia

,

gÃla g: [a, b] −→ R , ˙ze

R

b

a

|f (x) − g(x)|dx < ε i

inf

t∈[a,b]

f (t) inf

t∈[a,b]

g(t) sup

t∈[a,b]

g(t) sup

t∈[a,b]

f (t) .

(PFC)

Je´sli f jest monotoniczna, ale nie jest staÃla, to istnieje funkcja ´sci´sle monotoniczna

g , dla kt´orej speÃlniona jest powy˙zsza nier´owno´s´c (PFC).

Dow´

od.

Niech a = x

0

< x

1

< x

2

< . . . < x

n

= b be

,

dzie tak drobnym rozbiciem przedziaÃlu

[a, b] , ˙ze

¯

¯

¯

R

b

a

f (x)dx −

P

n
j
=1

f (t

j

)(x

j

− x

j−1

)

¯

¯

¯ <

ε
2

dla dowolnego wyboru punkt´ow

t

j

[x

j−1

, x

j

] i niech M = sup

t∈[a,b]

|f (t)| . Mo˙zemy zaÃlo˙zy´c, ˙ze M > 0 , dla funkcji

zerowej twierdzenie jest oczywiste. Niech δ > 0 be

,

dzie taka

,

liczba

,

, ˙ze 4(n−1)M δ < ε

oraz 3δ < x

j

− x

j−1

dla j = 1, 2, . . . n . Niech P

j

oznacza przedziaÃl domknie

,

ty

o ´srodku x

j

, j = 1, 2, . . . , n − 1 i dÃlugo´sci δ . Niech I

1

, I

2

, . . . , I

n

be

,

da

,

kolejnymi

przedziaÃlami, z kt´orych skÃlada sie

,

zbi´or [a, b]\(P

1

∪ P

2

∪ . . . ∪ P

n−1

) . Niech g be

,

dzie

funkcja

,

okre´slona

,

na przedziale [a, b] , kt´ora

(1) jest cia

,

gÃla,

(2) we wszystkich punktach przedziaÃlu I

j

przyjmuje warto´s´c m

j

,

(3) jest postaci ax + b na ka˙zdym przedziale P

1

, P

2

, . . . , P

n−1

.

Jest jasne, ˙ze na ka˙zdym z przedziaÃl´ow I

1

, I

2

, . . . , I

n

speÃlniona jest nier´owno´s´c

f (x) ≥ g(x) , na przedziaÃlach P

1

, P

2

, . . . , P

n−1

— nier´owno´s´c |f (x) − g(x)| < 2M .

Mamy wie

,

c

19

background image

CaÃlka Riemanna

MichaÃl Krych

ε
2

>

R

b

a

f (x)

n

X

j=1

m

j

(x

j

−x

j−1

) =

n

X

j=1

R

x

j

x

j−1

¡

f (x)−m

j

¢

dx ≥

n

X

j=1

R

I

j

¡

f (x)−m

j

¢

dx =

=

n

X

j=1

R

I

j

¡

f (x) − g(x)

¢

dx =

n

X

j=1

R

I

j

¯

¯f(x) − g(x)

¯

¯dx

— je´sli I = [α, β] , to definiujemy:

R

I

h(x)dx =

R

β

α

h(x)dx .

Mamy te˙z

n−1

X

j=1

R

P

j

¯

¯f(x) − g(x)

¯

¯dx ≤ 2M(n − 1)δ <

ε
2

. Z dwu ostatnich nier´owno´sci

i z tego, ˙ze

R

b

a

¯

¯f(x)−g(x)

¯

¯dx =

R

I

1

¯

¯f(x)−g(x)

¯

¯dx+

R

P

1

¯

¯f(x)−g(x)

¯

¯dx+

R

I

2

¯

¯f(x)−g(x)

¯

¯dx+

+

R

P

2

¯

¯f(x) − g(x)

¯

¯dx + · · · +

R

P

n−1

¯

¯f(x) − g(x)

¯

¯dx +

R

I

n

¯

¯f(x) − g(x)

¯

¯dx =

=

n−1

X

j=1

R

P

j

¯

¯f(x) − g(x)

¯

¯dx +

n

X

j=1

R

I

j

¯

¯f(x) − g(x)

¯

¯dx <

ε
2

+

ε
2

= ε

wynika pierwsza cze

,

´s´c tezy. Z konstrukcji wynika natychmiast, ˙ze wszystkie warto´sci

funkcji g znajduja

,

sie

,

mie

,

dzy kresami funkcji f . Jest r´ownie˙z jasne, ˙ze je´sli f jest

funkcja

,

monotoniczna

,

, to r´ownie˙z g jest funkcja

,

monotoniczna

,

.

Wyka˙zemy jeszcze, ˙ze je´sli funkcja f jest niemaleja

,

ca i nie jest staÃla, to mo˙zna

znale´z´c funkcje

,

´sci´sle rosna

,

ca

,

g speÃlniaja

,

ca

,

nier´owno´sci (PFC). W dalszej cze

,

´sci

rozumowania g oznacza funkcje

,

, kt´ora

,

skonstruowali´smy poprzednio. Poniewa˙z f

nie jest staÃla, wie

,

c dla dostatecznie maÃlych ε funkcja g r´ownie˙z nie jest staÃla. Niech

c ∈ [a, b] be

,

dzie takim punktem, ˙ze g(a) < g(c) < g(b) . Niech 0 < k < 1 i niech

g

k

(x) = k

¡

k(x − c) + g(c)

¢

+ (1 − k)g(x) . Mamy wie

,

c

¯

¯g

k

(x) − g(x)

¯

¯ = k

¯

¯k(x − c) + g(c) − g(x)

¯

¯ ≤ k

¡

b − a + 2M

¢

−−−→

k→0

0 ,

oraz

g

k

(b) = k

¡

k(b − c) + g(c)

¢

+ (1 − k)g(b) = g(b) + k

£

k(b − c)

¡

g(b) − g(c)

¢¤

.

Z ostatniej r´owno´sci i z tego, ˙ze g(b) > g(c) wynika, ˙ze dla k dostatecznie bliskich 0

zachodzi nier´owno´s´c g

k

(b) < g(b) . Analogicznie

g

k

(a) = k

¡

k(a − c) + g(c)

¢

+ (1 − k)g(a) = g(a) + k

³¡

g(c) − g(a)

¢

− k(c − a)

´

.

Wynika sta

,

d, ˙ze dla k dostatecznie bliskich 0 zachodzi nier´owno´s´c g

k

(a) > g(a) .

Wobec tego dla ka˙zdego x ∈ [a, b] zachodzi nier´owno´s´c

g(a) < g

k

(a) ≤ g

k

(x) ≤ g

k

(b) < g(b) .

Funkcja g

k

jest ´sci´sle rosna

,

ca, bo jest suma

,

funkcji niemaleja

,

cej (1 − k)g i ´sci´sle

rosna

,

cej k

¡

k(x − c) + g(c)

¢

. Ta obserwacja ko´

nczy dow´od.

WygÃladzimy uzyskana

,

funkcje

,

.

Twierdzenie 10.39 (

o przybli˙zaniu funkcji ca lkowalnych funkcjami g ladkimi

)

Niech f : [a, b] −→ R be

,

dzie funkcja

,

caÃlkowalna

,

w sensie Riemanna. Dla ka˙zdej liczby

20

background image

CaÃlka Riemanna

MichaÃl Krych

ε > 0 istnieje taka funkcja g: [a, b] −→ R klasy C

1

(r´ownie˙z klasy C

, a nawet

wielomian), ˙ze

R

b

a

|f (x) − g(x)|dx < ε i inf

t∈[a,b]

f (t) inf

t∈[a,b]

g(t) sup

t∈[a,b]

g(t) sup

t∈[a,b]

f (t) .

(PFG)

Je´sli f jest monotoniczna, ale nie jest staÃla, to istnieje funkcja ´sci´sle monotoniczna

g , dla kt´orej speÃlniona jest powy˙zsza nier´owno´s´c (PFG).

Dow´

od. Wska˙zemy jedynie miejsce, w kt´orym nale˙zy nieco zmieni´c poprzedni do-

w´od, by uzyska´c funkcje

,

klasy C

1

. Zauwa˙zmy, ˙ze je´sli

ϕ(x) =

3x

2

2x

3

dla 0 ≤ x ≤ 1,

0

dla x < 0,

1

dla x > 1,

to ϕ jest funkcja

,

klasy C

1

, ´sci´sle rosna

,

ca

,

na przedziale [0, 1] , bowiem dla 0 < x < 1

zachodzi nier´owno´s´c ϕ

0

(x) = 6x(1 − x) > 0 . Niech c < d i C 6= D be

,

da

,

czterema

dowolnymi liczbami rzeczywistymi. Niech ψ(x) = C + (D − C)ϕ

¡

x−c
d−c

¢

. Poniewa˙z

funkcja ϕ jest klasy C

1

, wie

,

c funkcja ψ r´ownie˙z jest klasy C

1

. Zachodza

,

oczywiste

wzory ψ(c) = C oraz ψ(d) = D . Funkcja ψ jest ´sci´sle rosna

,

ca na przedziale [c, d] ,

gdy C < D i ´sci´sle maleja

,

ca w przeciwnym przypadku. W dowodzie twierdzenia

o przybli˙zaniu funkcji caÃlkowalnych cia

,

gÃlymi zaste

,

pujemy funkcje postaci ax + b

funkcjami typu ψ , co czyni konstruowana

,

tam funkcje

,

g funkcja

,

klasy C

1

. Jest ona

monotoniczna, gdy f jest monotoniczna. Konstruowana dalej funkcja g

k

r´ownie˙z

jest klasy C

1

. Jej pochodna g

0

k

jest dodatnia (´sci´sle!) na przedziale [a, b] . Dla

ka˙zdej liczby η > 0 istnieje wie

,

c wielomian v taki, ˙ze |g

k

(x) − v(x)| < η dla ka˙zdego

x ∈ [a, b] . Niech w be

,

dzie takim wielomianem, ˙ze w(a) = g

k

(a) i w

0

(x) = v(x) dla

ka˙zdego x . Jasne jest, ˙ze |g

k

(x)−w(x)| < η(x−a) ≤ η(b−a) dla ka˙zdego x ∈ (a, b] .

Oczywi´scie w jest funkcja

,

´sci´sle rosna

,

ca

,

dla dostatecznie maÃlych η , bo v(x) > 0 dla

takich η . Jasne jest te˙z, ˙ze je´sli ε > 0 , to konstrukcja pozwala zdefiniowa´c wielomian

w w taki spos´ob, by

R

b

a

|f (x) − w(x)|dx < ε .

Twierdzenie o przybli˙zaniu funkcji caÃlkowalnych funkcjami cia

,

gÃlymi pozwoli nam

w przyszÃlo´sci na przeprowadzanie dowod´ow w przypadku funkcji cia

,

gÃlych, a naste

,

pnie

na og´olniejsze wnioski. PrzykÃlady pojawia

,

sie

,

wkr´otce. Liczbe

,

R

b

a

|f (x) − g(x)|dx

mo˙zna traktowa´c jako odlegÃlo´s´c mie

,

dzy funkcjami caÃlkowalnymi f i g . Z formal-

nego punktu widzenia nie jest to najwÃla´sciwsze ze wzgle

,

du na to, ˙ze caÃlka z r´o˙znicy

funkcji przyjmuja

,

cych te same warto´sci poza zbiorem miary 0 r´owna jest 0 , wie

,

c

nale˙zaÃloby najpierw wprowadzi´c relacje

,

r´ownowa˙zno´sci: dwie funkcje sa

,

r´ownowa˙zne

wtedy i tylko wtedy, gdy zbi´or tych punkt´ow, w kt´orych przyjmuja

,

one r´o˙zne warto´sci

ma miare

,

0 . Oznacza to, ˙ze z takiego punktu widzenia funkcje r´o˙znia

,

ce sie

,

np.

21

background image

CaÃlka Riemanna

MichaÃl Krych

tylko w punktach wymiernych pewnego przedziaÃlu sa

,

ta

,

sama

,

funkcja

,

. Po przyje

,

ciu

takiej umowy liczba

R

b

a

|f (x) − g(x)|dx mo˙ze peÃlni´c role

,

odlegÃlo´sci. Twierdzenie

o przybli˙zaniu funkcji caÃlkowalnych cia

,

gÃlymi m´owi, ˙ze zbi´or funkcji cia

,

gÃlych jest

ge

,

sty w zbiorze funkcji caÃlkowalnych. Stwierdzenie to w pewnym sensie przypom-

ina twierdzenie o ge

,

sto´sci liczb wymiernych w zbiorze wszystkich liczb rzeczywistych

(w ka˙zdym przedziale znajduje sie

,

niesko´

nczenie wiele liczb wymiernych!).

Lemat 10.40 (

o szacowaniu ca lki

)

Niech f : [a, b] −→ R be

,

dzie taka

,

funkcja

,

caÃlkowalna

,

w sensie Riemanna, ˙ze dla

ka˙zdego x ∈ [a, b] zachodzi |f (x)| ≤ M . ZaÃl´o˙zmy, ˙ze

¯

¯{x ∈ [a, b]: |f(x)| > ε}

¯

¯ < δ .

Przy tych zaÃlo˙zeniach

Z

b

a

|f (x)|dx < M δ + ε(b − a) .

Dow´

od. ZaÃl´o˙zmy, ˙ze a = x

0

< x

1

< . . . < x

n−1

< x

n

= b jest na tyle drob-

nym podziaÃlem przedziaÃlu [a, b] , ˙ze suma Riemanna z nim zwia

,

zana przybli˙za caÃlke

,

Z

b

a

|f (x)|dx z bÃle

,

dem mniejszym ni˙z η > 0 . Niech |f (t

j

)| ≤ ε , je´sli tylko w prze-

dziale [x

j−1

, x

j

] znajduje sie

,

taki punkt t

j

. Je´sli musieli´smy wybra´c t

j

tak, ˙ze

|f (t

j

)| > ε , to mamy |f (t)| > ε dla ka˙zdego t ∈ [x

j−1

, x

j

] . Wobec tego suma

dÃlugo´sci tych przedziaÃl´ow jest < δ a suma pozostaÃlych jest ≤ b − a . Sta

,

d wynika,

˙ze

R

b

a

|f (x)|dx < M δ + ε(b − a) < M δ + ε(b − a) . Dow´od zostaÃl zako´

nczony.

Twierdzenie 10.41 (

o ca lkowalno´

sci granicy jedn. zbie˙z. cia

,

gu funkcyjnego

)

Je´sli ka˙zda z funkcji f

1

, f

2

, . . . jest caÃlkowalna w sensie Riemanna na przedziale

[a, b] i f

n

f , to r´ownie˙z funkcja f jest caÃlkowalna w sensie Riemanna i zachodzi

r´owno´s´c

lim

n→∞

Z

b

a

f

n

(x)dx =

Z

b

a

f (x)dx

Dow´

od. Niech D

n

be

,

dzie zbiorem punkt´ow niecia

,

gÃlo´sci funkcji f

n

. Jego miara

,

jest 0, bo funkcja f

n

jest caÃlkowalna w sensie Riemanna. Wobec tego zbi´or

[

n=1

D

n

jest te˙z miary 0 jako suma przeliczalnej rodziny zbior´ow miary 0 . Je´sli p ∈ [a, b]\D ,

to wszystkie funkcje f

1

, f

2

,. . . sa

,

cia

,

gÃle w punkcie p , zatem — na mocy twierdzenia

o cia

,

gÃlo´sci granicy jednostajnie zbie˙znego cia

,

gu funkcyjnego — funkcja f r´ownie˙z jest

cia

,

gÃla w tym punkcie. Cia

,

g (f

n

) speÃlnia jednostajny warunek Cauchy’ego, zatem dla

dostatecznie du˙zych liczb naturalnych k , n zachodzi nier´owno´s´c |f

n

(x)−f

k

(x)| < 1 ,

wobec tego 1 lim

n→∞

|f

n

(x) − f

k

(x)| = |f (x) − f

k

(x)| . Poniewa˙z funkcja f

k

jest

22

background image

CaÃlka Riemanna

MichaÃl Krych

caÃlkowalna w sensie Riemanna, wie

,

c jest ograniczona. Wobec tego r´ownie˙z funkcja

f jest ograniczona: |f (x)| ≤ |f

k

(x)| + 1 . Wykazali´smy wie

,

c, ˙ze funkcja f jest

ograniczona i ˙ze jej zbi´or punkt´ow niecia

,

gÃlo´sci ma miare

,

0 , wie

,

c jest caÃlkowalna

w sensie Riemanna.

Niech ε be

,

dzie liczba

,

dodatnia

,

. Niech m be

,

dzie tak du˙za

,

liczba

,

naturalna

,

,

˙ze |f

m

(x) − f (x)| <

ε

b−a

dla ka˙zdego x ∈ [a, b] . Wobec tego na mocy lematu o

oszacowaniu caÃlki zastosowanego do funkcji f

m

− f mamy

¯

¯

¯

R

b

a

f (x)dx −

R

b

a

f

m

(x)dx

¯

¯

¯

R

b

a

|f (x) − f

m

(x)| dx ≤ (b − a) ·

ε

b−a

= ε .

Przechodzenie do granicy pod znakiem caÃlki jest wa˙zne w wielu sytuacjach. Po-

damy jeszcze jedno twierdzenie, kt´ore w og´olniejszej wersji nazywane jest twierdze-

niem Lebesgue’a.

Twierdzenie 10.42 (

o zbie˙zno´

sci zmajoryzowanej

) (poza programem AMI)

ZaÃl´o˙zmy, ˙ze funkcje f, f

1

, f

2

, . . . okre´slone na przedziale [a, b] sa

,

caÃlkowalne w sen-

sie Riemanna oraz ˙ze f (x) = lim

n→∞

f

n

(x) dla x ∈ [a, b] \ S , |S| = 0 i ˙ze istnieje

taka liczba M > 0 , ˙ze dla ka˙zdej liczby x ∈ [a, b] zachodza

,

wszystkie nier´owno´sci

M ≥ |f (x)|, |f

1

(x)|, |f

2

(x)|, . . . . Wtedy

R

b

a

f (x)dx = lim

n→∞

R

b

a

f

n

(x)dx .

Dow´

od. Niech D be

,

dzie zbiorem zÃlo˙zonym ze wszystkich punkt´ow, w kt´orych

co najmniej jedna z funkcji f, f

1

, f

2

, . . . jest niecia

,

gÃla oraz z tych punkt´ow x , dla

kt´orych nie jest prawda

,

, ˙ze lim

n→∞

f

n

(x) = f (x) . Zbi´or D jest suma

,

przeliczalnie

wielu zbior´ow miary 0 , wie

,

c |D| = 0 . Niech C = [a, b] \ D . Niech ε > 0 i

niech A

n

= {x ∈ C :

k≥n

|f

k

(x) − f (x)| >

ε

2(b−a)

} . Niech B

1

⊇ B

2

⊇ B

3

⊇ . . .

be

,

da

,

takimi zbiorami, ˙ze A

n

⊆ B

n

dla n = 1, 2, . . . , B

n

jest zbiorem otwartym,

tzn. jest suma

,

przedziaÃl´ow otwartych i je´sli x ∈ B

n

to istnieje k ≥ n takie, ˙ze

|f

k

(x) − f (x)| >

ε

2(b−a)

. Zbiory A

n

mo˙zna powie

,

kszy´c do zbior´ow B

n

, bo funkcje

f, f

1

, f

2

, . . . sa

,

cia

,

gÃle w ka˙zdym punkcie zbioru C , a nier´owno´s´c wyste

,

puja

,

ca w

definicji zbioru A

n

jest ostra (wie

,

c je´sli jest speÃlniona w jakim´s punkcie x , to r´ownie˙z

we wszystkich punktach dostatecznie kr´otkiego przedziaÃlu o ´srodku w punkcie x ).

Niech B =

T


n
=1

B

n

. Jasne jest, ˙ze je´sli x ∈ B , to dla niesko´

nczenie wielu n ∈ N

zachodzi nier´owno´s´c |f

n

(x) − f (x)| >

ε

2(b−a)

. Sta

,

d wynika, ˙ze je´sli x ∈ B , to NIE

jest prawda

,

, ˙ze lim

n→∞

f

n

(x) = f (x) . Wobec tego |B| = 0 . Z twierdzenia o cia

,

gÃlo´sci

miary zewne

,

trznej wynika, ˙ze lim

n→∞

|B

n

| = 0 . Istnieje wie

,

c taka liczba n

ε

N , ˙ze

je´sli n > n

ε

, to |B

n

| <

ε

4M

. Stosuja

,

c lemat o oszacowaniu caÃlki stwierdzamy, ˙ze

¯

¯

R

b

a

¡

f

n

(x) − f (x)

¢

dx

¯

¯

R

b

a

¯

¯f

n

(x) − f (x)

¯

¯dx < 2M ·

ε

4M

+

ε

2(b−a)

· (b − a) = ε .

23

background image

CaÃlka Riemanna

MichaÃl Krych

Z definicji granicy cia

,

gu wynika wie

,

c, ˙ze lim

n→∞

¯

¯

R

b

a

f

n

(x)−f (x)dx

¯

¯ = 0 . Sta

,

d od razu

wnioskujemy, ˙ze lim

n→∞

R

b

a

f

n

(x)dx =

R

b

a

f (x)dx . Dow´od zostaÃl zako´

nczony.

Zadanie:

Niech f

n

: [a, b] −→ R i niech f (x) = lim

n→∞

f

n

(x) dla x ∈ [a, b] \ D ,

|D| = 0 . Niech f, f

1

, f

2

, . . . be

,

da

,

funkcjami cia

,

gÃlymi w ka˙zdym punkcie x ∈ [a, b]\D .

Udowodni´c, ˙ze dla ka˙zdej liczby ε > 0 istnieje zbi´or C

ε

taki, ˙ze

¯

¯[a, b] \ C

ε

¯

¯ < ε

i f

n

f na C

ε

.

Zadanie:

Niech α(x) = e

1/[x(1−x)]

dla x ∈ (0, 1) oraz α(x) = 0 dla x /

(0, 1) .

Udowodni´c, ˙ze funkcja α jest klasy C

. Niech β be

,

dzie funkcja

,

pierwotna

,

funkcji

α . Wykaza´c, ˙ze istnieja

,

staÃle c

1

R i c

2

> 0 takie, ˙ze c

1

+ c

2

β(x) = 0 dla ka˙zdego

x < 0 i c

1

+ c

2

β(x) = 1 dla ka˙zdego x > 1 .

24


Wyszukiwarka

Podobne podstrony:
Kadry cz 10
10 LISTY TOWARZYSTWA STRAŻNICA (CZ 10)
MS Cz 10 B 2 6
MS Cz 10 B 2 4
JAZDA W STYLU WESTERN W REKREACJI CZ 10
cz 10 s 161 215 Sliz
MS Cz 10 B 2 7
Cz 10 Instrumentalne metody analizy ilościowej Metody chromatograficzne
MS Cz 10 A 1 5, biotechnologia inż, sem2, MŚ
MS Cz 10 A 1 4, biotechnologia inż, sem2, MŚ
Oto ja cz 10
Zadania cz 10, Geodezja i Kartografia, Fizyka
MS Cz 10 A 1 6, biotechnologia inż, sem2, MŚ
przepisy cz. 10, Przepisy
HLN CZ-I R-10, Kozicki Stanisław
psychologia zarządzania - cz. 10, zarzadzanie
Nauki o zarzadzaniu cz 10
cz 10 id 127076 Nieznany

więcej podobnych podstron