background image

Granice funkcji, definicja cia

,

gÃlo´sci

Jednym z najwa˙zniejszych poje

,

´c w matematyce jest poje

,

cie funkcji. Przypo-

mnimy definicje

,

.

Definicja 6.1 (funkcji, warto´sci, obrazu, dziedziny i przeciwdziedziny)

Przyporza

,

dkowanie elementom zbioru element´ow zbioru w taki spos´ob, ˙ze

ka˙zdemu elementowi zbioru przypisany jest dok ladnie jeden element zbioru B

nazywamy funkcja

,

ze zbioru w zbi´or . Je´sli jest elementem zbioru , czyli

argumentem funkcji , to przypisany mu element zbioru oznaczamy symbolem

(a) i nazywamy warto´scia

,

funkcji w punkcie lub obrazem punktu *. Zbi´or A

nazywamy dziedzina

,

funkcji , zbi´or – przeciwdziedzina

,

, zbi´or (A) z lo˙zony ze

wszystkich warto´sci funkcji , czyli element´ow zbioru postaci (a) , gdzie a ∈ A

nazywamy obrazem zbioru A (przez funkcje

,

) lub zbiorem warto´sci funkcji . Je´sli

przekszta lca zbi´or w zbi´or , to piszemy A → B . Je´sli zbi´or (A) warto´sci

funkcji pokrywa sie

,

z przeciwdziedzina

,

funkcji , to m´owimy, ˙ze przekszta lca

zbi´or A na zbi´or i piszemy czasem A

na

−−→ B .

Przyk ladem funkcji jest cia

,

g: jest to funkcja okre´slona np. na zbiorze liczb na-

turalnych N = {012, . . . } .

Inna

,

dobrze znana

,

funkcja

,

jest liniowa: (x) = ax , gdzie a, b sa

,

ustalonymi

liczbami rzeczywistymi, jest elementem zbioru wszystkich liczb rzeczywistych R ,

na kt´orym funkcja jest okre´slona, (x) jest elementem przeciwdziedziny R ; je´sli

a 6= 0 , to funkcja przekszta lca zbi´or R na siebie; je´sli = 0 , to jedyna

,

warto´scia

,

funkcji jest liczba .

Jeszcze inny przyk lad to funkcja kwadratowa: (x) = ax

2

bx , gdzie ,

sa

,

liczbami rzeczywistymi, przy czym a 6= 0 , funkcja ta jest okre´slona na zbiorze

wszystkich liczb rzeczywistych R , przeciwdziedzina

,

jest r´ownie˙z R , zbiorem warto´sci

jest p´o lprosta

4ac−b

2

4a

+

w przypadku a > 0 , za´s w przypadku a < 0 zbiorem

warto´sci jest p´o lprosta

− ∞,

4ac−b

2

4a

.

Przyk lady mo˙zna mno˙zy´c, ale nie be

,

dziemy tego robi´c teraz. Na razie be

,

dziemy

zajmowa´c sie

,

funkcjami rzeczywistymi jednej zmiennej rzeczywistej, co oznacza, ˙ze

warto´sciami funkcji be

,

da

,

liczby rzeczywiste i dziedzina

,

funkcji be

,

dzie jaki´s zbi´or

z lo˙zony z liczb rzeczywistych. Czasem zamiast liczb rzeczywistych wyste

,

powa´c be

,

da

,

liczby zespolone. W praktyce dziedzinami funkcji, kt´ore be

,

dziemy bada´c, be

,

da

,

albo

*

Czasem be,dziemy m´owi´c: „ –obrazem”, cho´c to nie brzmi dobrze, ale czasem nale˙zy wyra´znie za-

znaczy´

c o jakafunkcjechodzi.

1

background image

Granice funkcji, definicja cia

,

g lo´sci

Micha l Krych

przedzia ly, albo sumy sko´

nczenie wielu lub niesko´

nczenie wielu przedzia l´ow, np dzie-

dzina

,

funkcji tg jest zbi´or z lo˙zony z tych wszystkich liczb rzeczywistych, kt´ore nie sa

,

postaci (2+ 1)

π

2

, czyli jest to suma przedzia l´ow postaci

− (2+ 1)

π

2

(2+ 1)

π

2

,

gdzie oznacza dowolna

,

liczbe

,

ca lkowita

,

. w przypadku funkcji zdefiniowanej wzo-

rem (x) =

x

2

(x−1)(x+2)

mo˙zna powiedzie´c, ˙ze jej dziedzina

,

jest zbi´or wszystkich liczb

rzeczywistych z wyja

,

tkiem 2 i 1 , czyli zbi´or (−∞, −2) ∪ (21) ∪ (1+) .

Z punktu widzenia formalnego dop´oki nie powiemy na jakim zbiorze funkcja ma

by´c zdefiniowana, to nie zosta la ona okre´slona. W szczeg´olno´sci z formalnego punktu

widzenia zadania: znale´z´c dziedzine

,

funkcji okre´slonej wzorem . . . , nie maja

,

sensu.

Pytanie o dziedzine

,

nale˙zy traktowa´c jako pytanie o maksymalny zbi´or, na kt´orym

mo˙zna zdefiniowa´c funkcje

,

w spos´ob zaproponowany przez autora zadania. Nawet

przy takiej interpretacji moga

,

powstawa´c wa

,

tpliwo´sci: np. czy funkcja okre´slona wzo-

rem (x) =

x

2

x

mo˙ze tym wzorem by´c zdefiniowana na ca lej prostej, czy te˙z w punkcie

0 tym akurat wzorem nie da sie

,

jej zdefiniowa´c. Autorowi tego tekstu wydaje sie

,

,

˙ze specjali´sci od tak formu lowanych zada´

n w wie

,

kszo´sci przypadk´ow uznaja

,

, ˙ze ta

definicja w punkcie 0 nie dzia la, ale nie wydaje mu sie

,

, by ten problem wart by l

dyskusji – mo˙zna po prostu takich zada´

n nie dawa´c, a je´sli sie

,

je daje, to unika´c

wieloznaczno´sci. Be

,

dziemy jednak m´owi´c np. o funkcji

4x

2

13x−167

x

3

4x+3

, zak ladaja

,

c przy

tym, ˙ze jej dziedzina

,

jest zbi´or wszystkich tych liczb rzeczywistych, dla kt´orych mia-

nownik jest r´o˙zny od 0 . Funkcja

− e

x

be

,

dzie automatycznie zdefiniowana na

zbiorze z lo˙zonym z liczb rzeczywistych niedodatnich. W przypadku jakichkolwiek wie-

loznaczno´sci be

,

dziemy wyra´znie okre´sla´c dziedzine

,

. Czasem te˙z dziedzina z jakich´s

przyczyn be

,

dzie mniejsza ni˙z maksymalna, np. zmienna be

,

dzie mie´c jakie´s pozama-

tematyczne znaczenie i wtedy interpretacja be

,

dzie ´zr´od lem ogranicze´

n dziedziny. Np.

pytanie o maksymalne pole prostoka

,

ta o obwodzie 4 prowadzi do rozpatrywania

funkcji x(2 − x) na przedziale otwartym (02) : liczba oznacza tu jeden wymiar

prostoka

,

ta, a 2 − x — drugi. Funkcje

,

x(2 − x) mo˙zna rozpatrywa´c nie tylko na

przedziale (02) , ale z punktu widzenia zadanego pytania nie ma to sensu.

W dalszej cze

,

´sci zajmiemy sie

,

r´ownie˙z funkcjami okre´slonymi na podzbiorach

p laszczyzny (czyli zbioru wszystkich liczb zespolonych C ), przestrzeni tr´ojwymiaro-

wej i og´olnie –wymiarowej. Warto´sciami tych funkcji be

,

da

,

zazwyczaj liczby rzeczy-

wiste, ale wysta

,

pia

,

r´ownie˙z funkcje przekszta lcaja

,

ce pewne podzbiory p laszczyzny

w p laszczyzne

,

. Takie funkcje be

,

da

,

nazywane na og´o l przekszta lceniami lub odwzo-

rowaniami. Nie oznacza to, ˙ze funkcji z R na R danej wzorem (x) = + 1 nie

mo˙zna nazwa´c odwzorowaniem – cze

,

sto termin ten jest u˙zywany, zw laszcza wtedy,

2

background image

Granice funkcji, definicja cia

,

g lo´sci

Micha l Krych

gdy m´owimy o geometrii zwia

,

zanej z ta

,

funkcja

,

– jest przesunie

,

cie o 1 w prawo.

Wa˙zna

,

klasa

,

funkcji sa

,

funkcje r´o˙znowarto´sciowe, tj. takie kt´ore r´o˙znym punktom

dziedziny przypisuja

,

r´o˙zne warto´sci: (x 6y⇒ f (x6(y)

. Je´sli jest funkcja

,

r´o˙znowarto´sciowa

,

przekszta lcaja

,

ca

,

zbi´or A na zbi´or , to mo˙zna okre´sli´c funkcje

,

f

1

odwrotna

,

do danej funkcji f

1

(b) = a ⇐⇒ b (a) . Je´sli (x) = x

3

dla

ka˙zdej liczby rzeczywistej , to funkcja przekszta lca r´o˙znowarto´sciowo zbi´or R

na siebie, wie

,

c mo˙zna okre´sli´c funkcje

,

odwrotna

,

f

1

(x) =

3

. Je´sli (x) = e

x

dla

ka˙zdej liczby rzeczywistej , to zbiorem warto´sci funkcji jest zbi´or wszystkich liczb

dodatnich i wobec tego f

1

(x) = ln dla ka˙zdej dodatniej liczby . Je´sli (x) = x

2

dla liczb x ≥ 0 , to f

1

(x) =

dla ka˙zdej liczby x ≥ 0 . Je´sli (x) = x

2

dla

ka˙zdej liczby x ≤ 0 , to funkcja przekszta lca zbi´or wszystkich liczb niedodatnich

na zbi´or wszystkich liczb nieujemnych. Funkcja odwrotna do niej dana jest wzorem

f

1

(x) = 

. W ostatnich dw´och przyk ladach wz´or definiuja

,

cy by l identyczny, ale

dziedziny by ly r´o˙zne. W zwia

,

zku z tym wzory na funkcje

,

odwrotne te˙z by ly r´o˙zne.

W dalszym cia

,

gu be

,

dziemy u˙zywa´c jeszcze dwu funkcji zdefiniowanych jako od-

wrotne do funkcji sinus i tangens. Oczywi´scie funkcje sinus i tangens jako okresowe

nie sa

,

r´o˙znowarto´sciowe, wie

,

c nie maja

,

funkcji odwrotnych. Mo˙zna wie

,

c posta

,

pi´c tak,

jak w przypadku pierwiastka kwadratowego, kt´ory jest zdefiniowany jako funkcja od-

wrotna do funkcji x

2

rozpatrywanej nie na ca lej dziedzinie, lecz na zbiorze, na kt´orym

funkcja x

2

jest r´o˙znowarto´sciowa, i to mo˙zliwie najprostszym o tej w lasno´sci.* Wy-

bieramy mo˙zliwe najbardziej naturalne dziedziny. W przypadku sinusa ograniczamy

sie

,

do przedzia lu

π

2

,

π

2

, a w przypadku tangensa – do przedzia lu 

π

2

,

π

2

. Zbiory

warto´sci to odpowiednio przedzia l domknie

,

ty [11] i ca la prosta (−∞, +) . Tra-

dycyjnie zamiast pisa´c sin

1

piszemy arcsin , a zamiast tg

1

piszemy arctg **, co

zreszta

,

pozwala na uniknie

,

cie dwuznaczno´sci zwia

,

zanej z oznaczeniami sin

1

i tg

1

.

Podamy teraz definicje tych funkcji w jawny spos´ob.

Definicja 6.2 (funkcji arcsin i arctg)

Je´sli x ∈ [11] , to arcsin jest jedyna

,

liczba

,

z przedzia lu

π

2

,

π

2

, dla kt´orej

zachodzi r´owno´s´c sin(arcsin x) = .

Je´sli jest liczba

,

rzeczywista

,

, to arctg jest jedyna

,

liczba

,

rzeczywista

,

z przedzia lu

π

2

,

π

2

, dla kt´orej zachodzi r´owno´s´c tg(arctg x) = .

Podamy przyk lady

*

Zbior´

ow, na kt´

orych funkcja x

2

jest r´

o˙znowarto´sciowa, jest bardzo du˙zo, np, [1,0](1,+) ,

(−∞,−2) , (−∞,0] , [0,+) , zbi´

or z lo˙zony ze wszystkich liczb wymiernych dodatnich oraz ujem-

nych liczb niewymiernych i wiele innych.

**

W niekt´

orych krajach arctan .

3

background image

Granice funkcji, definicja cia

,

g lo´sci

Micha l Krych

Przyk lad 6.1

arcsin 1 =

π

2

, arcsin

1
2

=

π

6

, arcsin

2

2

π

4

, arctg

3 =

π

3

,

arctg(1) = 

π

4

, arctg 0 = 0 .

Wprowadzimy oznaczenie: R = [−∞, +] oznacza zbi´or z lo˙zony ze wszyst-

kich liczb rzeczywistych uzupe lniony symbolami niesko´

nczonymi −∞ i +∞ . Mo˙zna

my´sle´c, ˙ze IR to prosta z ko´

ncami. Podkre´sli´c wypada, ˙ze symboli niesko´

nczonych

nie traktujemy jak liczb, bo np. nie wszystkie dzia lania z ich u˙zyciem sa

,

wykonalne.

Definicja 6.3 (punktu skupienia)

Punkt p ∈ IR jest punktem skupienia zbioru A ⊂ R

n

wtedy i tylko wtedy, gdy

istnieje cia

,

g (a

n

) punkt´ow zbioru , o wyrazach r´o˙znych od , zbie˙zny do .

Punkt a ∈ A , kt´ory nie jest jego punktem skupienia nazywamy punktem izolowanym

zbioru .

Przyk lad 6.2

+∞ jest punktem skupienia zbioru wszystkich liczb naturalnych

N — by sie

,

o tym przekona´c wystarczy przyja

,

´c a

n

. Innych punkt´ow skupienia

zbi´or N nie ma. W gre

,

mog lyby wchodzi´c jedynie liczby nieujemne, bo granica cia

,

gu

liczb naturalnych jest albo r´owna +∞ , albo te˙z jest liczba

,

nieujemna

,

. Je´sli cia

,

g

liczb naturalnych ma sko´

nczona

,

granice

,

, to — ze wzgle

,

du na warunek Cauchy’ego

— odleg lo´sci mie

,

dzy wyrazami tego cia

,

gu, kt´orych numery sa

,

dostatecznie du˙ze,

sa

,

mniejsze ni˙z 1 , a poniewa˙z sa

,

to liczby ca lkowite, wie

,

c te odleg lo´sci sa

,

r´owne

0 . Wykazali´smy, ˙ze cia

,

g liczb naturalnych, kt´ory ma sko´

nczona

,

granice

,

musi by´c

od pewnego miejsca sta ly, a wie

,

c granica jest r´owna pewnym wyrazom cia

,

gu. Jest

niezgodne z definicja

,

punktu skupienia.

Przyk lad 6.3

Ka˙zda liczba z przedzia lu domknie

,

tego [01] jest punktem skupie-

nia przedzia lu otwartego (01) . Innych punkt´ow skupienia przedzia l (01) nie ma.

To drugie zdanie jest prawdziwe w oczywisty spos´ob – granica cia

,

gu liczb z przedzia lu

(01) musi sie

,

znajdowa´c w przedziale [01] . Jest te˙z jasne, ˙ze dla ka˙zdej liczby p

z przedzia lu [01] istnieje cia

,

g (a

n

) liczb z przedzia lu (01) , taki ˙ze = lim

n→∞

a

n

oraz a

n

6dla ka˙zdego .

Przyk lad 6.4

Ka˙zda liczba rzeczywista i oba symbole niesko´

nczone sa

,

punktami

skupienia dziedziny funkcji tangens, tj. zbioru tych liczb rzeczywistych, kt´ore nie

sa

,

nieparzystymi wielokrotno´sciami liczby

π

2

.  Latwe uzasadnienie tego stwierdzenia

pozostawiamy czytelnikom.

Przyk lad 6.5

Niech C ⊆ [01] be

,

dzie zbiorem z lo˙zonym ze wszystkich tych liczb,

4

background image

Granice funkcji, definicja cia

,

g lo´sci

Micha l Krych

kt´ore mo˙zna zapisa´c w uk ladzie tr´ojkowym za pomoca

,

cyfr 0 i 2 .*  Latwo mo˙zna za-

uwa˙zy´c, ˙ze R \ C jest suma

,

naste

,

puja

,

cym przedzia l´ow otwartych: (−∞, 0) , (1, ∞) ,

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

. . . Jasne jest, ˙ze zbi´or

nie zawiera ˙zadnego przedzia lu. Ka˙zdy punkt zbioru Cantora jest jego punktem

skupienia. By sie

,

o tym przekona´c, wystarczy w rozwinie

,

ciu tr´ojkowym liczby x ∈ C

zmieni´c –ta

,

cyfra

,

: zamiast cyfry c

n

otrzymamy cyfre

,

− c

n

. Otrzymana

,

liczbe

,

oznaczamy przez x

n

. Oczywi´scie |x − x

n

= 2 · 3

−n

−−−−→

n→∞

0 .

Mo˙zna  latwo zauwa˙zy´c, ˙ze zapis tr´ojkowy liczby x ∈ C bez u˙zycia cyfry 1

jest jednoznaczny. Niech =

X

n=1

c

n

· 3

−n

c

n

∈ {02dla = 12, . . . Definiu-

jemy funkcje

,

za pomoca

,

wzoru (x) =

X

n=1

c

n

2

· 2

−n

. Wykaza´c, ˙ze funkcja f

przekszta lca zbi´or Cantora na ca ly przedzia l [01] . Sprawdzi´c, czy jest funkcja

,

r´o˙znowarto´sciowa

,

. Oczywi´scie funkcja jest niemaleja

,

ca. Czy mo˙zna ja

,

dookre´sli´c

w punktach [01] \ C tak, by sta la sie

,

niemaleja

,

ca na przedziale [01] ?

Teraz zdefiniujemy granice

,

funkcji.

Definicja 6.4 ( granicy funkcji w punkcie.) *

Niech oznacza dowolny punkt skupienia dziedziny funkcji . M´owimy, ˙ze g ∈ IR

jest granica

,

funkcji w punkcie wtedy i tylko wtedy, gdy dla ka˙zdego cia

,

gu

(x

n

) zbie˙znego do , kt´orego wszystkie wyrazy sa

,

r´o˙zne od , ma miejsce r´owno´s´c

lim

n→∞

(x

n

) = . Granice

,

funkcji w punkcie oznaczamy symbolem lim

x→p

(x) .

Nale˙zy wr´oci´c uwage

,

na to, ˙ze w´sr´od wyraz´ow cia

,

gu zbie˙znego do , wyste

,

pu-

ja

,

cego w definicji granicy, nie ma . Oznacza to w szczeg´olno´sci, ˙ze nawet wtedy,

gdy jest argumentem funkcji , to warto´s´c w tym punkcie nie ma wp lywu na

istnienie granicy w punkcie , ani na jej warto´s´c — mo˙zna dowolnie zmienia´c warto´s´c

funkcji w punkcie nie zmieniaja

,

c granicy w tym punkcie. Je´sli funkcja ma granice

,

w punkcie , to w dostatecznie bliskich punktach warto´s´c (x) jest bliska grani-

cy , pod warunkiem jednak, ˙ze x 6. Poniewa˙z cia

,

g ma co najwy˙zej jedna

,

granice

,

,

wie

,

c r´ownie˙z funkcja mo˙ze mie´c tylko jedna

,

granice

,

w jednym punkcie. Poje

,

cie granicy

funkcji jest — jak sie

,

przekonamy — bardzo wa˙zne. Jest rozszerzeniem poje

,

cia granicy

cia

,

gu. Podamy teraz kilka przyk lad´ow.

Przyk lad 6.6

lim

x→0

sin x

x

= 1 . R´owno´s´c ta zosta la udowodniona wcze´sniej.

*

tzw. zbi´

or Cantora

*

Ta definicja jest nazywana cia,gowalub definicjaHeinego

5

background image

Granice funkcji, definicja cia

,

g lo´sci

Micha l Krych

Przyk lad 6.7

lim

x→0

ln(1+x)

x

= 1 . R´ownie˙z ta r´owno´s´c zosta la udowodniona wcze´s-

niej.

Przyk lad 6.8

lim

x→0

e

x

1

x

= 1 . Te

,

r´owno´s´c wykazali´smy poprzednio.

Przyk lad 6.9

lim

x→∞

1 +

1

x

x

. Te

,

r´owno´s´c wyka˙zemy teraz. Trzeba wykaza´c,

˙ze dla ka˙zdego cia

,

gu (x

n

) , kt´orego granica

,

jest ∞ zachodzi: lim

n→∞

1 +

1

x

n

x

n

.

Wiemy, ˙ze jest tak w przypadku x

n

— z definicji liczby . Przypomnijmy te˙z, ˙ze

cia

,

g

1 +

1

n

n

jest rosna

,

cy. Sta

,

d wynika, ˙ze je´sli k > n jest liczba

,

naturalna

,

, to

1 +

1

n

n

1 +

1
k

k

< e . Sta

,

d i z definicji granicy wynika, ˙ze je´sli lim

n→∞

k

n

= +∞ ,

to lim

n→∞

1 +

1

k

n

k

n

— je´sli bowiem jest jaka

,

kolwiek liczba

,

naturalna

,

, to

dla dostatecznie du˙zych liczb naturalnych , zachodzi nier´owno´s´c k

n

> m , zatem

1 +

1

m

m

<

1 +

1

k

n

k

n

< e . Teraz mo˙zemy przej´s´c do w la´sciwego dowodu.

Niech lim

n→∞

x

n

= +∞ . Bez straty og´olno´sci rozwa˙za´

n mo˙zna przyja

,

´c, ˙ze dla

ka˙zdego zachodzi nier´owno´s´c x

n

≥ 1 , bo jest tak dla dostatecznie du˙zych .

Niech k

n

bx

n

be

,

dzie taka

,

liczba

,

ca lkowita

,

, tzn. k

n

≤ x

n

< k

n

+ 1 . Poniewa˙z

x

n

< k

n

, wie

,

c lim

n→∞

k

n

= +∞ . Sta

,

d i z tego, co wykazali´smy poprzednio, wynika,

˙ze lim

n→∞

1 +

1

1+k

n

k

n

= lim

n→∞

1 +

1

k

n

1+k

n

. Mamy r´ownie˙z

1 +

1

1+k

n

k

n

1 +

1

1+k

n

x

n

<

1 +

1

x

n

x

n

1 +

1

k

n

x

n

<

1 +

1

k

n

1+k

n

.

Z tej nier´owno´sci i twierdzenia o trzech cia

,

gach wynika dowodzona przez nas teza.

Przyk lad 6.10

Funkcja

1

x

, okre´slona dla x 6= 0 , nie ma granicy w punkcie 0 , bo-

wiem lim

n→∞

1

1/n

= +∞ i jednocze´snie lim

n→∞

1

1/n

−∞ , uda lo sie

,

nam wie

,

c wskaza´c

dwa cia

,

gi argument´ow zbie˙zne do 0 , takie ˙ze odpowiadaja

,

ce im cia

,

gi warto´sci maja

,

r´o˙zne granice.

Przyk lad 6.11

Funkcja sin

1

x

, okre´slona dla x 6= 0 , nie ma granicy w punkcie 0 ,

bowiem sin

1

1/(2)

= 0 oraz sin

1

1/(2+π/2)

= 1 . Wskazali´smy wie

,

c takie dwa cia

,

gi

argument´ow zbie˙zne do 0 , ˙ze odpowiadaja

,

ce im cia

,

gi warto´sci sa

,

zbie˙zne do r´o˙znych

granic (sa

,

sta le i r´o˙zne).

Opr´ocz granicy funkcji rozpatrywane sa

,

granice jednostronne funkcji w punkcie.

Zdefiniujemy granice

,

lewostronna

,

, definicja granicy prawostronnej jest analogiczna.

Definicja 6.5 (granicy lewostronnej)

jest granica

,

lewostronna funkcji X −→ R w punkcie wtedy i tylko wtedy, gdy

6

background image

Granice funkcji, definicja cia

,

g lo´sci

Micha l Krych

jest punktem skupienia zbioru X ∩ (−∞, p) czyli, gdy mo˙zna znale´z´c w dziedzinie

cia

,

g (x

n

) o wyrazach mniejszych (´sci´sle!) ni˙z , zbie˙zny do i gdy dla ka˙zdego

takiego cia

,

gu odpowiadaja

,

cy mu cia

,

g warto´sci (x

n

)

ma granice

,

. Stosujemy

oznaczenie lim

x→p

(x) .

 Latwo mo˙zna udowodni´c, ˙ze funkcja

1

x

ma jednostronne granice w punkcie 0 :

prawostronna jest r´owna +∞ , za´s lewostronna

,

jest −∞ . Funkcja sin

1

x

nie ma

granicy prawostronnej w punkcie 0 — wykazali´smy to wskazuja

,

c dwa cia

,

gi dodatnich

argument´ow tej funkcji zbie˙zne do 0 , takie ˙ze odpowiadaja

,

ce im cia

,

gi warto´sci maja

,

r´o˙zne granice.

Bez trudu mo˙zna udowodni´c „funkcyjna

,

” wersje

,

twierdzenia o scalaniu.

Twierdzenie 6.6 ( o scalaniu)

Funkcja okre´slona na zbiorze X

1

∪ X

2

, kt´orego punktem skupienia jest

punkt , kt´ory jest jednocze´snie punktem skupienia obu zbior´ow X

1

, X

2

ma granice

,

w punkcie wtedy i tylko wtedy, gdy obie funkcje f

1

:= f

|X

1

f

2

:= f

|X

2

maja

,

granice i te granice sa

,

r´owne.

Dow´

od. Jest jasne, ˙ze z istnienia granicy lim

x→p

wynika istnienie i r´owno´s´c obu gra-

nic lim

x→p

f

1

i lim

x→p

f

2

zamiast wszystkich cia

,

g´ow zbie˙znych do , kt´orych wyrazy sa

,

r´o˙zne od , rozpatrujemy jedynie ich cze

,

´s´c. Je´sli natomiast wiemy, ˙ze istnieja

,

gra-

nice funkcji f

1

f

2

, to cia

,

g o wyrazach r´o˙znych od mo˙zemy rozbi´c na podcia

,

gi

o wyrazach nale˙za

,

cych do X

1

i na podcia

,

g z lo˙zony z pozosta lych wyraz´ow, wie

,

c

nale˙za

,

cych do X

2

. Odpowiadaja

,

ce im cia

,

gi warto´sci maja

,

te

,

sama

,

granice

,

, wie

,

c cia

,

g

warto´sci odpowiadaja

,

cy naszemu cia

,

gowi ma granice

,

i to r´owna

,

wsp´olnej warto´sci

obu granic. Oczywi´scie je´sli tylko sko´

nczenie wiele wyraz´ow cia

,

gu argument´ow znaj-

duje sie

,

w zbiorze X

1

, to nie mo˙zemy rozpatrujemy granicy lim

x→p

f

1

, ale to niczemu

nie przeszkadza.

Podobnie jak w przypadku twierdzenia o scalaniu, mo˙zna przenie´s´c inne twier-

dzenia dotycza

,

ce granic cia

,

g´ow na og´olniejszy przypadek granicy funkcji.

Twierdzenie 6.7 ( o arytmetycznych w lasno´sciach granicy)

A1. Je´sli istnieja

,

granice lim

x→p

(x) , lim

x→p

g(x) i okre´slona jest ich suma, to istnieje

granica lim

x→p

((x) + g(x)) i zachodzi wz´or: lim

x→p

((x) + g(x)) = lim

x→p

(x) +

lim

x→p

g(x) .

A2. Je´sli istnieja

,

granice lim

x→p

(x) , lim

x→p

g(x) i okre´slona jest ich r´o˙znica, to istnieje

granica lim

x→p

((x− g(x))

i:

lim

x→p

((x− g(x)) = lim

x→p

(x− lim

x→p

g(x) .

7

background image

Granice funkcji, definicja cia

,

g lo´sci

Micha l Krych

A3. Je´sli istnieja

,

granice lim

x→p

(x) , lim

x→p

g(x) i okre´slony jest ich iloczyn, to istnieje

granica lim

x→p

(x)·g(x)

i zachodzi wz´or: lim

x→p

((x)·g(x)) = lim

x→p

(x)· lim

x→p

g(x) .

A4. Je´sli istnieja

,

granice lim

x→p

(x) , lim

x→p

g(x) i okre´slony jest ich iloraz, to istnieje

granica lim

x→p

(x)

g(x)

i zachodzi wz´or lim

x→p

(x)

g(x)

=

lim

x→p

(x)

lim

x→p

g(x)

.

Dow´

od. Twierdzenie jest natychmiastowa

,

konsekwencja

,

twierdzenia o arytmetycz-

nych w lasno´sciach granicy cia

,

gu.

Przed podaniem naste

,

pnego twierdzenia przypomnijmy, ˙ze operujemy terminem

dla dostatecznie du˙zych n . Oznacza to, ˙ze interesuja

,

nas liczby naturalne wie

,

ksze od

pewnej liczby. W la´sciwie chodzi o to, by by ly one bliskie +∞ . W przypadku funkcji

argument, kt´orym w przypadku cia

,

gu jest numer wyrazu, czyli , ma by´c bliski

punktowi , kt´ory mo˙ze — lecz nie musi — by´c r´owny +∞ . Wymaga wie

,

c zmiany

spos´ob m´owienia. M´owia

,

x jest dostatecznie bliski p be

,

dziemy mie´c na my´sli, ˙ze:

(+)

x > M dla pewnej liczby rzeczywistej , gdy = +∞ ,

(−∞)

x < M dla pewnej liczby rzeczywistej , gdy −∞ ,

(R)

|x − p| < δ dla pewnej dodatniej liczby δ , gdy p ∈ R .

Twierdzenie 6.8 (o szacowaniu)

N1. Je´sli C < lim

x→p

(x) , to dla x 6, dostatecznie bliskich zachodzi nier´owno´s´c

C < f (x) .

N2. Je´sli C > lim

x→p

(x) , to dla x 6, dostatecznie bliskich zachodzi nier´owno´s´c

C > f (x) .

N3. Je´sli lim

x→p

g(xlim

x→p

(x) , to dla x 6, dostatecznie bliskich zachodzi

nier´owno´s´c g(x< f (x) .

N4. Je´sli g(x≤ f (x) dla dostatecznie bliskich , to zachodzi nier´owno´s´c

lim

x→p

g(x≤ lim

x→p

(x) .

Dow´

od. Zak ladamy ca ly czas, ˙ze jest punktem skupienia dziedziny funkcji. Za-

uwa˙zmy najpierw, ˙ze zaprzeczeniem zdania: Dla wszystkich x 6p dostatecznie bli-

skich p spe lniony jest warunek W jest zdanie: Istnieje cia

,

(x

n

zbie˙zny do p , taki

˙ze x

n

6p dla ka˙zdego n i warunek W nie zachodzi dla ˙zadnego wyrazu cia

,

gu (x

n

) .

Je´sli np. = +∞ i nie jest prawda

,

, ˙ze warunek spe lniony jest dla wszystkich x

dostatecznie bliskich = +∞ , to dla ka˙zdej liczby rzeczywistej istnieje liczba

x > M , dla kt´orej warunek nie zachodzi. By otrzyma´c cia

,

g (x

n

) , kt´orego granica

,

jest ∞ , z lo˙zony z liczb, dla kt´orych warunek W nie zachodzi, wystarczy przyja

,

´c,

˙ze . Je´sli natomiast istnieje cia

,

g (x

n

) , kt´orego granica

,

jest +∞ , taki ˙ze

8

background image

Granice funkcji, definicja cia

,

g lo´sci

Micha l Krych

waruneknie jest spe lniony dla ˙zadnego (x

n

) , to warunek nie jest spe lniony dla

wszystkich dostatecznie du˙zych , czyli nie jest spe lniony dla wszystkich dosta-

tecznie bliskich +∞ . Analogicznie poste

,

pujemy w przypadku −∞ .

Je´sli p ∈ R , to dla ka˙zdego δ > 0 istnieje , takie ˙ze x 6|x − p| < δ , dla

kt´orego warunek nie zachodzi. By zdefiniowa´c x

n

przyjmujemy, ˙ze δ =

1

n

. Z ist-

nienia cia

,

gu (x

n

) z lo˙zonego z liczb, dla kt´orych warunek W nie zachodzi, wynika od

razu, ˙ze nie jest mo˙zliwe, by warunek by l spe lniony dla wszystkich dostatecznie

bliskich .

Teraz mo˙zemy zaja

,

´c sie

,

w la´sciwym dowodem. Za l´o˙zmy, ˙ze lim

x→p

(x< C oraz

˙ze nie jest prawda

,

, ˙ze dla dostatecznie bliskich zachodzi nier´owno´s´c (x< C .

Wynika sta

,

d, ˙ze istnieje cia

,

g (x

n

) , taki ˙ze dla ka˙zdego zachodzi nier´owno´s´c

(x

n

≥ C . Sta

,

d jednak wynika, ˙ze lim

x→p

(x

n

≥ C , wbrew za lo˙zeniu. Dow´od

w tym przypadku zosta l zako´

nczony. Stwierdzenie N2 dowodzimy analogicznie lub

wnioskujemy z N1 zaste

,

puja

,

c funkcje

,

funkcja

,

przeciwna

,

−f . Stwierdzenie N3

wynika ze stwierdze´

n poprzednich: starczy u˙zy´c liczby le˙za

,

cej mie

,

dzy lim

x→p

(x)

oraz lim

x→p

g(x) . Ostatni fragment twierdzenia to prosta konsekwencja tego, ˙ze cia

,

g o

mniejszych wyrazach ma mniejsza

,

granice

,

. Dow´od zosta l zako´

nczony.

Podamy teraz inna

,

definicje

,

granicy funkcji. Z poprzednia

,

mo˙zna wia

,

za´c takie

stwierdzenie (nie´scis le, ale wa˙zne): niezale˙znie od tego w jaki spos´ob argument da

,

˙zy do

p , to warto´s´c funkcji zbli˙za sie

,

do g . Z ta

,

kt´ora pojawi sie

,

niebawem wia

,

˙zemy stwier-

dzenie je´sli argument funkcji jest dostatecznie bliski p , ale r´o˙zny od p , to warto´s´c

funkcji jest bliska g . Sformu lujemy zapowiedziana

,

definicje

,

bardzo dok ladnie, bez

˙zadnych skr´ot´ow. Ma ona dziewie

,

´c cze

,

´sci, ale na og´o l po przeczytaniu dw´och – trzech

pierwszych nie ma potrzeby czyta´c dalej, bo mo˙zna to samodzielnie napisa´c.

Definicja 6.9 (granicy funkcji) *

1. g, p ∈ R .

Wtedy = lim

x→p

(x) wtedy i tylko wtedy, gdy

ε>0

δ>0

x∈X

< |x − p| < δ ⇒ |f (x− g| < ε

.

2. g ∈ R , = +∞ .

Wtedy = lim

x→p

(x) wtedy i tylko wtedy, gdy

ε>0

M

x∈X

x > M ⇒ |f (x− g| < ε

.

3. g ∈ R , −∞ .

Wtedy = lim

x→p

(x) wtedy i tylko wtedy, gdy

ε>0

M

x∈X

x < M ⇒ |f (x− g| < ε

.

*

ta definicja nazywana jest definicjaCauchy’ego lub definicjaotoczeniowa,, czasem, to ju˙z be lkot

matematyczny, – epsilonowo–deltowa,.

9

background image

Granice funkcji, definicja cia

,

g lo´sci

Micha l Krych

4. = +∞ p ∈ R .

Wtedy = lim

x→p

(x) wtedy i tylko wtedy, gdy

M

δ>0

x∈X

< |x − p| < δ ⇒ f (x> M

.

5. = +∞ = +∞ .

Wtedy = lim

x→p

(x) wtedy i tylko wtedy, gdy

M

K

x∈X

x > K ⇒ f (x> M

.

6. = +∞ −∞ .

Wtedy = lim

x→p

(x) wtedy i tylko wtedy, gdy

M

K

x∈X

x < K ⇒ f (x> M

.

7. −∞ p ∈ R .

Wtedy = lim

x→p

(x) wtedy i tylko wtedy, gdy

M

δ>0

x∈X

< |x − p| < δ ⇒ f (x< M

.

8. −∞ = +∞ .

Wtedy = lim

x→p

(x) wtedy i tylko wtedy, gdy

M

K

x∈X

x > K ⇒ f (x< M

.

9. −∞ −∞ .

Wtedy = lim

x→p

(x) wtedy i tylko wtedy, gdy

M

K

x∈X

x < K ⇒ f (x< M

.

Dow´

od. Dow´od podamy w dw´och wybranych przypadkach: pierwszym i ´osmym.

Reszte

,

czytelnik powinien uzupe lni´c samodzielnie, by´c mo˙ze nie wszystko — tyle

tylko, by w miare

,

swobodnie przeprowadzi´c dow´od w kt´orym´s przypadku.

Za lo˙zymy najpierw, ˙ze g, p sa

,

liczbami rzeczywistymi oraz ˙ze = lim

x→p

(x)

w sensie definicji cia

,

gowej. Je´sli istnieje taka liczba ε > 0 , ˙ze dla ka˙zdej liczby δ > 0

istnieje , takie ˙ze 0 < |x−p| < δ i jednocze´snie |f (x)−g| ≥ ε , to przyjmuja

,

c, ˙ze x

n

jest dobrane do

1

n

, tzn. 0 < |x

n

− p| <

1

n

|f (x

n

− g| ≥ ε , otrzymujemy cia

,

g (x

n

)

zbie˙zny do , o wyrazach r´o˙znych od i taki ˙ze odpowiadaja

,

cy mu cia

,

g warto´sci

funkcji nie jest zbie˙zny do liczby , bowiem wszystkie wyrazy tego cia

,

gu warto´sci

pozostaja

,

w odleg lo´sci nie mniejszej ni˙z ε od . Twierdzenie zosta lo udowodnione

w jedna strone

,

.

Teraz za lo˙zymy, ˙ze = lim

x→p

(x) w sensie definicji otoczeniowej. Niech (x

n

)

be

,

dzie dowolnym cia

,

giem argument´ow funkcji zbie˙znym do , o wyrazach r´o˙znych

od i niech ε oznacza dowolna

,

liczbe

,

dodatnia

,

. Z definicji otoczeniowej granicy funk-

cji wynika, ˙ze istnieje taka liczba δ > 0 , ˙ze je´sli 0 < |x − p| < δ , to |f (x− g| < ε .

Z definicji granicy cia

,

gu wnioskujemy, ˙ze dla dostatecznie du˙zych zachodzi nie-

r´owno´s´c |x

n

− p| < δ i oczywi´scie x

n

6, zatem 0 < |x

n

− p| < δ , a sta

,

d wynika, ˙ze

|f (x

n

− g| < ε . Sta

,

d i z definicji granicy cia

,

gu wynika, ˙ze lim

n→∞

(x

n

) = , a wobec

tego, ˙ze (x

n

) jest dowolnym cia

,

giem, mo˙zemy stwierdzi´c, ˙ze jest granica

,

w sensie

definicji cia

,

gowej.

Teraz, zgodnie z obietnica

,

, zajmiemy sie

,

przypadkiem ´osmym, tj. za lo˙zymy, ˙ze

10

background image

Granice funkcji, definicja cia

,

g lo´sci

Micha l Krych

−∞ oraz ˙ze = +∞ . Zak ladamy, ˙ze dla ka˙zdego cia

,

gu (x

n

) argument´ow

funkcji , kt´orego granica

,

jest +∞ zachodzi r´owno´s´c lim

n→∞

(x

n

) = −∞ . Mamy

wykaza´c, ˙ze dla ka˙zdej liczby rzeczywistej istnieje liczba rzeczywista , taka

˙ze je´sli x > K , to (x< M . Za l´o˙zmy, ˙ze tak nie jest. Istnieje wie

,

c liczba M

taka, ˙ze dla ka˙zdej liczby istnieje taki argument funkcji , ˙ze x > K i jedno-

cze´snie (x≥ M . Przyjmuja

,

otrzymujemy argument x

n

, taki ˙ze x

n

> n

(x

n

≥ M . Sta

,

d jednak wynika, ˙ze −∞ nie jest granica

,

cia

,

gu (x

n

)

, wbrew

za lo˙zeniu. Dow´od w jedna

,

strone

,

zosta l zako´

nczony.

Teraz za lo˙zymy, ˙ze dla ka˙zdej liczby rzeczywistej istnieje taka liczba rzeczy-

wista , ˙ze je´sli x > K , to (x< M . Je´sli lim

n→∞

x

n

= +∞ , to dla dostatecznie

du˙zych zachodzi nier´owno´s´c x

n

> K i wobec tego (x

n

< M . Wobec dowolno´sci

, oznacza to, ˙ze lim

n→∞

(x

n

) = −∞ . Dow´od zosta l zako´

nczony.

Z twierdzenia o trzech cia

,

gach wynika analogiczne twierdzenie dla granic funkcji.

Twierdzenie 6.10 (o trzech funkcjach)

Je´sli dla wszystkich argument´ow dostatecznie bliskich punktowi zachodzi nie-

r´owno´s´c podw´ojna (x≤ g(x≤ h(x) i istnieja

,

granice lim

x→p

(x) , lim

x→p

h(x) oraz

lim

x→p

(x) = lim

x→p

h(x) , to r´ownie˙z funkcja ma granice

,

w punkcie i zachodzi

r´owno´s´c

lim

x→p

(x) = lim

x→p

g(x) = lim

x→p

h(x) .

Z naste

,

pnego twierdzenia w zasadzie nie be

,

dziemy korzysta´c, podajemy je tylko

po to, by pokaza´c, pe lna

,

analogie

,

poje

,

cia granicy cia

,

gu i granicy funkcji, wie

,

c  latwy

dow´od pozostawiamy czytelnikom w charakterze zadania.

Twierdzenie 6.11 (Cauchy’ego o istnieniu granicy sko´

nczonej)

Funkcja ma granice

,

sko´

nczona

,

w punkcie wtedy i tylko wtedy, gdy spe lniony

jest naste

,

puja

,

cy warunek Cauchy’ego:

dla ka˙zdego ε > 0, dla wszystkich x, y 6dostatecznie bliskich p

zachodzi nier´owno´s´c |f (x− f (y)| < ε .

(w.C.)

Twierdzenie, kt´ore znajduje sie

,

poni˙zej ma bardzo prosty dow´od, ale jest bardzo

cze

,

sto stosowane.

Twierdzenie 6.12 (o granicy z lo˙zenia dwu funkcji)

Za l´o˙zmy, ˙ze dziedzina funkcji zawiera zbi´or warto´sci funkcji , ˙ze funkcja ma

granice

,

w punkcie , ˙ze granica jest punktem skupienia dziedziny funkcji f

i funkcja ma granice

,

w punkcie oraz ˙ze warto´sci funkcji w punktach

dostatecznie bliskich sa

,

r´o˙zne od . Przy tych za lo˙zeniach funkcja f ◦ g okre´slona

11

background image

Granice funkcji, definicja cia

,

g lo´sci

Micha l Krych

wzorem (f ◦ g)(x) = (g(x)) ma w punkcie granice

,

, ta granica jest r´owna .

Dow´

od. Za lo˙zenia tego twierdzenia sa

,

tak dobrane, ˙ze dow´od wynika od razu z

definicji cia

,

gowej granicy funkcji w punkcie.

Definicja 6.13 (kres´

ow funkcji)

1. Kresem g´ornym funkcji nazywamy kres g´orny zbioru jej warto´sci, tj. naj-

mniejsza

,

liczbe

,

(lub +∞ , je´sli funkcja nie jest ograniczona z g´ory) taka

,

, ˙ze

(x≤ M dla ka˙zdego argumentu funkcji . Kres g´orny funkcji oznaczamy

symbolem sup .

2. Kresem dolnym funkcji nazywamy kres dolny zbioru jej warto´sci, tj. naj-

wie

,

ksza

,

liczbe

,

(lub −∞ , je´sli funkcja nie jest ograniczona z do lu) taka

,

, ˙ze

(x≥ M dla ka˙zdego argumentu funkcji . Kres dolny funkcji oznaczamy

symbolem inf .

Definicja 6.14 (granicy g´

ornej)

M ∈ [−∞, +] jest granica

,

g´orna

,

funkcji przy x −→ p wtedy i tylko wtedy, gdy

spe lnione sa

,

oba warunki

(i) dla ka˙zdego cia

,

gu (x

n

) o granicy , wyrazach r´o˙znych od , dla kt´orego

istnieje lim

n→∞

(x

n

) zachodzi nier´owno´s´c lim

n→∞

(x

n

≤ M oraz

(ii) jest najmniejszym elementem [−∞, +] , dla kt´orego spe lniony jest

warunek (i).

Piszemy wtedy = lim sup

x→p

(x) .

Analogicznie definiujemy granice

,

dolna

,

funkcji, kt´ora

,

oznaczamy za pomoca

,

symbolu = lim inf

x→p

(x) . Warunek (ii) tej definicji mo˙zna zasta

,

pi´c stwierdzeniem:

istnieje cia

,

g (x

n

) o granicy i wyrazach r´o˙znych od , dla kt´orego lim

n→∞

(x

n

) = .

Oznacza to, ˙ze granica g´orna jest kresem g´ornym granic postaci lim

n→∞

(x

n

) , gdzie

(x

n

) oznacza cia

,

g o wyrazach r´o˙znych od , kt´orego granica

,

jest . Definicja granicy

dolnej jest analogiczna. Mo˙zna bez trudu wykaza´c, ˙ze je´sli jest liczba

,

rzeczywista

,

,

dziedzina

,

funkcji , to

lim inf

x→p

(x)lim sup

x→p

(x)

=

=

\

δ>0

h

inf f D ∩ (p − δ, p δ\ {p}

sup f D ∩ (p − δ, p δ\ {p}

 i

.

Oznacza to, ˙ze rozpatrujemy otoczenie punktu , znajdujemy najmniejszy prze-

dzia l domknie

,

ty (by´c mo˙ze niesko´

nczony) zawieraja

,

cy obraz tej cze

,

´sci dziedziny,

kt´ora znalaz la sie

,

w rozpatrywanym otoczeniu punktu , z wyja

,

tkiem punktu sa-

12

background image

Granice funkcji, definicja cia

,

g lo´sci

Micha l Krych

mego . Naste

,

pnie zmniejszamy to otoczenie (czyli m´owia

,

c nieformalnie δ → 0 ),

lewy koniec otrzymanego przedzia lu, by´c mo˙ze zdegenerowanego do jednego punktu,

to lim inf

x→p

(x) , a prawy — to lim sup

x→p

(x) . Zache

,

cam student´ow do wykazania

r´ownowa˙zno´sci tych okre´sle´

n oraz do samodzielnego ich sformu lowania w przypad-

ku ±∞ .

Podamy teraz kilka przyk lad´ow kres´ow funkcji.

Przyk lad 6.12

Niech (x) =

x

1+x

2

. Jest jasne, ˙ze < f (x1 dla ka˙zdej

liczby rzeczywistej . Czytelnik sprawdzi z  latwo´scia

,

, ˙ze je´sli 0 ≤ a < 1 i x >

a

1−a

2

,

to a <

x

1+x

2

(x) . Wykazali´smy wie

,

c, ˙ze 1 jest ograniczeniem g´ornym funkcji

oraz ˙ze ˙zadna liczba mniejsza ni˙z 1 nie jest ograniczeniem g´ornym funkcji .

Sta

,

d wynika, ˙ze sup = 1 . Poniewa˙z funkcja jest nieparzysta ( (−x) = −x dla

ka˙zdego ), wie

,

c inf 1 .

Przyk lad 6.13

Kresem g´ornym funkcji sin jest liczba 1, a kresem dolnym funkcji

sinus – liczba 1 .

Przyk lad 6.14

Kresem g´ornym funkcji wyk ladniczej o podstawie jest +∞ , a

dolnym – liczba 0 .

Przyk lad 6.15

Kresem g´ornym logarytmu naturalnego jest +∞ , a kresem dol-

nym jest −∞ .

Przyk lad 6.16

Kresem g´ornym funkcji liniowej niesta lej jest +∞ , a kresem dol-

nym tej funkcji jest −∞ .

Przyk lad 6.17

Kresem g´ornym funkcji , danej wzorem (x) = x

2

+ 2x − 2 =

=(+ 1)

2

− 3 , jest +∞ , a kresem dolnym tej funkcji jest liczba 3 .

Przyk lad 6.18

Kresem g´ornym funkcji danej wzorem (x) =

1

1+x

2

sin

1

x

na

przedziale otwarto–domknie

,

tym (01] jest liczba 1 , a dolnym — liczba 1 . Wynika

to z tego, ˙ze dla x ∈ (01] zachodzi nier´owno´s´c

1

1+x

2

sin

1

x

 1 oraz z r´owno´sci

lim

n→∞

f

2

(4n+1)π

= lim

n→∞

(4n+1)

2

π

2

(4n+1)

2

π

2

+1

= 1lim

n→∞

f

2

(4n+3)π

= lim

n→∞

(4n+3)

2

π

2

(4n+3)

2

π

2

+1

1 .

Wida´c wie

,

c, ˙ze w tym przypadku ˙zaden z kres´ow nie jest warto´scia

,

funkcji ograniczo-

nej . Mo˙zna te˙z zauwa˙zy´c, ˙ze z przedstawionego rozumowania wynikaja

,

r´owno´sci

lim sup

x→0

+

(x) = 1 i lim inf

x→0

+

(x) = 1 .

13

background image

Granice funkcji, definicja cia

,

g lo´sci

Micha l Krych

Zajmiemy sie

,

teraz funkcjami monotonicznymi i ´sci´sle monotonicznymi.

Definicja 6.15 (funkcji monotonicznych i ´sci´sle monotonicznych) Funkcja f

okre´slona na zbiorze X ⊂ R jest

1. ´sci´sle rosna

,

ca wtedy i tylko wtedy, gdy dla dowolnych argument´ow x, y konse-

kwencja

,

nier´owno´sci x < y jest nier´owno´s´c (x< f (y) ;

2. ´sci´sle maleja

,

ca wtedy i tylko wtedy, gdy dla dowolnych argument´ow x, y kon-

sekwencja

,

nier´owno´sci x < y jest nier´owno´s´c (x> f (y) ;

3. nierosna

,

ca wtedy i tylko wtedy, gdy dla dowolnych argument´ow x, y konse-

kwencja

,

nier´owno´sci x < y jest nier´owno´s´c (x≥ f (y) ;

4. niemaleja

,

ca wtedy i tylko wtedy, gdy dla dowolnych argument´ow x, y konse-

kwencja

,

nier´owno´sci x < y jest nier´owno´s´c (x≤ f (y) .

Zn´ow mamy do czynienia z rozszerzeniem poje

,

cia z cia

,

g´ow na funkcje. Podamy

tylko jeden przyk lad, bo licznych przyk lad´ow dostarczyli´smy ju˙z wcze´sniej w postaci

cia

,

g´ow monotonicznych, a i w przysz lo´sci ich nie zabraknie. Niech (x) =

1

x

dla

x 6= 0 . Zauwa˙zmy, ˙ze w ca lej dziedzinie funkcja nie jest monotoniczna: 1

i jednocze´snie (1) = 1 = (1) , wie

,

c funkcja nie mo˙ze by´c nierosna

,

ca,

w szczeg´olno´sci nie mo˙ze by´c maleja

,

ca; 1 2 i jednocze´snie (1) = 1 >

1
2

=

(2) , zatem nie mo˙ze by´c funkcja

,

niemaleja

,

ca

,

, tym bardziej rosna

,

ca

,

. Natomiast

czytelnik stwierdzi bez trudu, ˙ze jest funkcja

,

´sci´sle maleja

,

ca

,

na ka˙zdej z dwu

p´o lprostych (−∞, 0) i (0+) .

Twierdzenie 6.16 (o istnieniu granic funkcji monotonicznej)

Je´sli jest funkcja

,

monotoniczna

,

jest punktem skupienia jej dziedziny, to je´sli

istnieje cia

,

g (x

n

) argument´ow funkcji mniejszych ni˙z , zbie˙zny do , to ma

granice

,

lewostronna

,

w punkcie , je´sli istnieje cia

,

g argument´ow funkcji wie

,

kszych

ni˙z , zbie˙zny do , to ma granice

,

prawostronna

,

w punkcie .

Dow´

od. Wystarczy oczywi´scie udowodni´c to twierdzenie przy za lo˙zeniu, ˙ze funkcja

jest niemaleja

,

ca. Je´sli bowiem jest nierosna

,

ca, to funkcja przeciwna −f jest

niemaleja

,

ca. Niech be

,

dzie kresem g´ornym zbioru z lo˙zonego z warto´sci funkcji f

osia

,

ganych w punktach x < p

= sup{f (x):

x < p} ). Trzeba wykaza´c, ˙ze

= lim

x→p

(x) . Je´sli x < p , to (x≤ g . Je´sli m < g jest liczba

,

rzeczywista

,

, to

poniewa˙z nie jest ograniczeniem g´ornym zbioru tych warto´sci funkcji , kt´ore sa

,

osia

,

gane w punktach x < p , wie

,

c istnieje argument x

0

< p , taki ˙ze (x

0

> m .

Sta

,

d wynika, ˙ze je´sli x

0

< x < p to m < f (x

0

≤ f (x≤ g , zatem: je´sli x < p

jest dostatecznie bliskie , to (x) jest dostatecznie bliskie , co dowodzi tego, ˙ze

14

background image

Granice funkcji, definicja cia

,

g lo´sci

Micha l Krych

= lim

x→p

(x) . Analogicznie dowodzimy, ˙ze je´sli istnieje cia

,

g argument´ow wie

,

kszych

ni˙z , zbie˙zny do , to kres dolny tych warto´sci funkcji, kt´ore sa

,

przyjmowane

w punktach wie

,

kszych ni˙z jest prawostronna

,

granica

,

funkcji w punkcie . Do-

w´od zosta l zako´

nczony.

Przechodzimy teraz do jednego z najwa˙zniejszego poje

,

´c — do cia

,

g lo´sci. Roz-

poczniemy od definicji.

Definicja 6.17 (funkcji cia

,

g lej)

Funkcja jest cia

,

g la w punkcie wtedy i tylko wtedy, gdy jest argumentem

funkcji i zachodzi jedna z dwu mo˙zliwo´sci:

(i) nie jest punktem skupienia dziedziny funkcji ;

(ii) jest punktem skupienia dziedziny funkcji , kt´ora ma granice

,

w punkcie p

i ta granica jest r´owna warto´sci funkcji w punkcie :

lim

x→p

(x) = (p) .

Twierdzenie 6.18 (charakteryzuja

,

ce cia

,

g lo´s´

c)

Funkcja jest cia

,

g la w punkcie wtedy i tylko wtedy, gdy dla ka˙zdej liczby dodatniej

ε istnieje liczba δ > 0 , taka ˙ze je´sli |x − p| < δ , to |f (x− f (p)| < ε .

Dow´

od. Je˙zeli nie jest punktem skupienia dziedziny funkcji , to istnieje taka

liczba δ > 0 , ˙ze jedynym punktem dziedziny funkcji , dla kt´orego |x − p| < δ

jest punkt – w tym przypadku |f (x− f (p)|f (p− f (p)= 0 < ε , niezale˙znie

od wyboru liczby dodatniej ε . Pozosta la cze

,

´s´c twierdzenia mo˙ze by´c otrzymana na-

tychmiast z definicji otoczeniowej granicy funkcji. Dow´od zosta l zako´

nczony.

Z poznanych twierdze´

n o granicach funkcji wynika od razu naste

,

puja

,

ce twier-

dzenie.

Twierdzenie 6.19 (o operacjach na funkcjach cia

,

g lych)

Za l´o˙zmy, ˙ze funkcje okre´slone na wsp´olnej dziedzinie sa

,

cia

,

g le w punkcie .

Wtedy naste

,

puja

,

ce funkcje sa

,

cia

,

g le w punkcie f − g f · g oraz

f

g

pod

warunkiem g(p6= 0 .

Wa˙zna

,

operacja

,

jest sk ladanie (superponowanie) funkcji. Polega ono na „wyko-

naniu” po kolei dwu funkcji: (f ◦ g)(x) = (g(x)) . Okazuje sie

,

, ˙ze sk ladaja

,

c funkcje

cia

,

g le otrzymujemy w rezultacie funkcje

,

cia

,

g la

,

.

Twierdzenie 6.20 (o cia

,

g lo´sci z lo˙zenia dwu funkcji)

Je˙zeli funkcja jest cia

,

g la w punkcie p, funkcja okre´slona na zbiorze zawieraja

,

cym

zbi´or warto´sci funkcji jest cia

,

g la w punkcie g(p) , to z lo˙zenie f ◦ g jest funkcja

,

cia

,

g la

,

w punkcie .

15

background image

Granice funkcji, definicja cia

,

g lo´sci

Micha l Krych

Dow´

od. Wynika to od razu z otoczeniowej definicji cia

,

g lo´sci: je´sli ε > 0 , to istnieje

δ > 0 , takie ˙ze je´sli |y − g(p)| < δ , to |f (y− f g(p)

| < ε , istnieje te˙z η > 0 , takie

˙ze je´sli |x − p| < η , to |g(x− g(p)| < δ , a wobec tego |f g(x)

− f g(p)

| < ε .

Dow´od zosta l zako´

nczony.

Nie jest natomiast prawda

,

, ˙ze funkcja odwrotna do funkcji cia

,

g lej w punkcie p

musi by´c cia

,

g la w punkcie (p) . Zache

,

camy czytelnik´ow do samodzielnego skonstru-

owania przyk ladu. Musi on by´c nieco dziwaczny, bowiem je´sli za lo˙zymy, ˙ze funkcja

jest cia

,

g la w ca lej dziedzinie, kt´ora jest przedzia lem, to wtedy funkcja odwrotna

musi by´c cia

,

g la

,

, m´owimy o funkcji, kt´orej warto´sciami sa

,

liczby rzeczywiste. Tego

twierdzenia jednak nie udowodnimy teraz, bowiem jego dow´od stanie sie

,

 latwiejszy

p´o´zniej.

Podamy jeszcze twierdzenie pozwalaja

,

ce w licznych przypadkach stwierdza´c cia

,

g-

 lo´s´c popularnych funkcji.

Twierdzenie 6.21 (o cia

,

g lo´sci funkcji monotonicznej)

Je´sli funkcja monotoniczna okre´slona na zbiorze X ⊂ R przekszta lca zbi´or X na

przedzia l, to jest cia

,

g la w ka˙zdym punkcie zbioru .

Dow´

od. Dla ustalenia uwagi za l´o˙zmy, ˙ze funkcja jest niemaleja

,

ca. Je´sli p ∈ A

jest granica

,

cia

,

gu (a

n

) punkt´ow zbioru mniejszych ni˙z , to istnieje granica

lim

x→p

(x≤ f (p) . Poniewa˙z dla x ≥ p zachodzi nier´owno´s´c (x≥ f (p) , a dla

x < p zachodzi nier´owno´s´c (x≤ lim

x→p

(x) , wie

,

c z tego, ˙ze obrazem zbioru A

jest przedzia l, wynika, ˙ze lim

x→p

(x) = (p) :

gdyby by lo lim

x→p

(x< f (p) , to

punkty przedzia lu

lim

x→p

(x), f (p)

by lyby poza zbiorem (A) , wie

,

c nie by lby on

przedzia lem. Analogicznie: je´sli istnieje cia

,

g (a

0

n

) wie

,

kszych ni˙z zbie˙zny do ,

to (p) = lim

x→p

+

(x) . Sta

,

d wynika, ˙ze jest cia

,

g la w punkcie . Dow´od zosta l

zako´

nczony.

Wniosek 6.22

Je´sli jest funkcja

,

monotoniczna

,

okre´slona

,

na przedziale , to jest cia

,

g la

w ka˙zdym punkcie wtedy i tylko wtedy, gdy przekszta lca przedzia l P na pewien

przedzia l (zdegenerowany do punktu w przypadku, gdy jest funkcja

,

sta la

,

).

Wniosek 6.23 (o liczbie punkt´

ow niecia

,

g lo´sci funkcji monotonicznej)

Je´sli X ⊆ R jest zbiorem niepustym, X −→ R funkcja

,

monotoniczna

,

, to zbi´or

punkt´ow niecia

,

g lo´sci funkcji jest co najwy˙zej przeliczalny.

Dow´

od. Dla ustalenia uwagi przyjmujemy, ˙ze funkcja jest niemaleja

,

ca. Je´sli

16

background image

Granice funkcji, definicja cia

,

g lo´sci

Micha l Krych

p ∈ X jest punktem, w kt´orym funkcja jest niecia

,

g la, to zachodzi co najmniej

jedna z nier´owno´sci lim

x→p

(x< f (p) , (plim

x→p

+

(x) . Niech w

p

be

,

dzie taka

,

liczba

,

wymierna

,

, ˙ze lim

x→p

(x< w

p

< f (p) , a je´sli lim

x→p

(x) = (p) , to taka

,

, ˙ze

(p< w

p

lim

x→p

+

(x) . Z tego okre´slenia wynika, ˙ze je´sli p < q jest niecia

,

g la

w obydw´och punktach, to w

p

< w

q

. Wynika sta

,

d, ˙ze r´o˙znym punkt´ow niecia

,

g lo´sci

odpowiadaja

,

r´o˙zne liczby wymierne. Teza wynika z przeliczalno´sci zbioru wszystkich

liczb wymiernych.

Przyk lad 6.19

Funkcja sta la jest cia

,

g la w ka˙zdym punkcie.

Przyk lad 6.20

Funkcja identyczno´s´c, czyli funkcja, kt´orej warto´scia

,

w punkcie

jest liczba jest cia

,

g la w ka˙zdym punkcie prostej — wynika to natychmiast

z definicji cia

,

g lo´sci. Zamiast m´owi´c funkcja identyczno´s´c be

,

dziemy m´owi´c funkcja ,

rozumieja

,

c, ˙ze jest ona okre´slona na ca lej prostej.

Przyk lad 6.21

Funkcje x

2

x

3

. . . sa

,

cia

,

g le w ka˙zdym punkcie prostej. Wynika

to natychmiast z twierdzenia o cia

,

g lo´sci iloczynu funkcji cia

,

g lych i poprzedniego

przyk ladu.

Przyk lad 6.22

Ka˙zdy wielomian, czyli funkcja postaci a

0

a

1

· · · a

n

x

n

,

gdzie a

0

, a

1

, . . . , a

n

sa

,

dowolnymi liczbami rzeczywistymi, jest cia

,

g la w ka˙zdym

punkcie prostej. Wynika to z poprzednich przyk lad´ow oraz twierdzenia o cia

,

g lo´sci

iloczynu i sumy funkcji: funkcja postaci a

j

x

j

jest iloczynem funkcji sta lej o warto´sci

a

j

oraz funkcji x

j

, wielomian jest suma

,

takich funkcji.

Przyk lad 6.23

Funkcja

x−1
x+3

, kt´orej dziedzina

,

jest zbi´or z lo˙zony ze wszystkich

liczb rzeczywistych z wyja

,

tkiem liczby 3 jest cia

,

g la w ka˙zdym punkcie swej dzie-

dziny, bo jest ilorazem funkcji cia

,

g lych.

Przyk lad 6.24

Funkcja wyk ladnicza e

x

jest cia

,

g la. Wykazali´smy to wcze´sniej,

zreszta

,

wynika to od razu z tego, ˙ze lim

h→0

e

h

1

h

= 1 , bo z tej r´owno´sci wynika, ˙ze

lim

h→0

e

x+h

= lim

h→0

e

x+h

−e

x

h

· h e

x

= 1 · 0 + e

x

e

x

. Inne uzasadnienie uzyskujemy

powo luja

,

c sie

,

na monotoniczno´s´c funkcji wyk ladniczej i to, ˙ze zbiorem jej warto´sci

jest przedzia l (0, ∞) .

Przyk lad 6.25

Logarytm naturalny (o podstawie ) jest funkcja

,

cia

,

g la

,

. Wy-

nika to sta

,

d, ˙ze zbiorem warto´sci logarytmu naturalnego jest zbi´or wszystkich liczb

rzeczywistych.

17

background image

Granice funkcji, definicja cia

,

g lo´sci

Micha l Krych

Przyk lad 6.26

Dla ka˙zdej liczby rzeczywistej funkcja pote

,

gowa x

a

o wyk-

 ladniku jest cia

,

g la w ka˙zdym punkcie p´o lprostej (0+) . Wynika to z cia

,

g lo´sci

logarytmu naturalnego, cia

,

g lo´sci funkcji wyk ladniczej o podstawie i cia

,

g lo´sci ilo-

czynu oraz z lo˙zenia funkcji cia

,

g lych: x

a

e

ln x

.

Przyk lad 6.27

Je´sli a > 0 , to funkcja x

a

jest cia

,

g la w punkcie 0, jej warto´s´c

w punkcie 0 definiujemy w tym przypadku jako 0. Zak ladamy oczywi´scie, ˙ze dzie-

dzina

,

funkcji x

a

jest [0, ∞) . Musimy udowodni´c, ˙ze je˙zeli lim

n→∞

x

n

= 0 , to r´ownie˙z

lim

n→∞

x

a

n

= 0 . Jest tak dla =

1
k

— dowolna liczba ca lkowita wie

,

ksza ni˙z 1,

bo gdyby tak nie by lo, to istnia lyby cia

,

g (x

n

) i liczba takie, ˙ze lim

n→∞

x

n

= 0

i lim

n→∞

k

x

n

g 6= 0 , jednak wtedy zachodzi laby r´owno´s´c

0 = lim

n→∞

x

n

= lim

n→∞

k

x

n

k

=

lim

n→∞

k

x

n

k

g

k

6= 0 .

W przypadku dowolnego znajdujemy najpierw dodatnia

,

liczbe

,

ca lkowita

,

k >

1
a

.

Dla ka˙zdej liczby nieujemnej x < 1 mamy wtedy 0 ≤ x

a

≤ x

1/k

. Teza wynika teraz

z twierdzenia o trzech cia

,

gach.

Przyk lad 6.28

Je´sli =

p
q

, gdzie jest nieparzysta

,

liczba

,

ca lkowita

,

dodatnia

,

,

za´s liczba

,

ca lkowita

,

ujemna

,

, to funkcja x

a

=

q

x

p

jest cia

,

g la w ka˙zdym punk-

cie p´o lprostej (−∞, 0) . Wynika to od razu z cia

,

g lo´sci funkcji pierwiastek –tego

stopnia, cia

,

g lo´sci wielomianu i cia

,

g lo´sci ilorazu funkcji cia

,

g lych oraz twierdzenia o

cia

,

g lo´sci z lo˙zenia.

W ostatnich trzech przyk ladach wykazali´smy, ˙ze funkcja pote

,

gowa jest cia

,

g la

wsze

,

dzie tam, gdzie jest okre´slona.

Przyk lad 6.29

Funkcje sinus i kosinus sa

,

cia

,

g le w ka˙zdym punkcie prostej. Jest

to konsekwencja nier´owno´sci sin x − sin y| ≤ |x − y| oraz cos x − cos y| ≤ |x − y| .

Przyk lad 6.30

Funkcja arcsin jest cia

,

g la na przedziale [11] , bo zbiorem jej

warto´sci jest przedzia l

π

2

,

π

2

Przyk lad 6.31

Funkcja arctg jest cia

,

g la na ca lej prostej, bo zbiorem jej warto´sci

jest przedzia l

π

2

,

π

2

.

Przyk lad 6.32

Dla ka˙zdej liczby rzeczywistej a > 0 funkcja wyk ladnicza a

x

jest

cia

,

g la w ka˙zdym punkcie prostej rzeczywistej. Wynika to z tego, ˙ze a

x

e

ln a

, twier-

dze´

n o cia

,

g lo´sci iloczynu i z lo˙zenia oraz cia

,

g lo´sci funkcji wyk ladniczej o podstawie e

i cia

,

g lo´sci identyczno´sci oraz funkcji sta lej.

18

background image

Granice funkcji, definicja cia

,

g lo´sci

Micha l Krych

Z tych przyk lad´ow wynika, ˙ze ka˙zda funkcja, kt´ora

,

mo˙zna zdefiniowa´c „wzorem”

u˙zywaja

,

c standardowych funkcji, jest cia

,

g la w ca lej swojej dziedzinie, np. funkcja

exp

sin(x

2

− 12+ 2)

tg(cos + ln x)

− sin

p

x

4

− 113 . Wynika to z wielokrotnego stosowania

twierdze´

n o cia

,

g lo´sci z lo˙zenia, sumy, r´o˙znicy, iloczynu i ilorazu. Mog loby wie

,

c powsta´c

wra˙zenie, ˙ze wszystkie funkcje sa

,

cia

,

g le. Tak jednak nie jest. Podamy poni˙zej kilka

przyk lad´ow.

Przyk lad 6.33

sgn(x) =

|x|

x

dla x 6= 0 oraz (0) = 0 , ta funkcja jest cia

,

g la

w ka˙zdym punkcie p 6= 0 , bo wtedy jest sta la w pewnym przedziale otwartym zawie-

raja

,

cym , w punkcie 0 ta funkcja jest niecia

,

g la, bowiem jej granica prawostronna

jest w tym punkcie r´owna 1, lewostronna jest r´owna 1 , wie

,

c funkcja sgn (znak

liczby) nie ma granicy w punkcie 0.

Przyk lad 6.34

Niech (x) = sin

1

x

dla x 6= 0 , (0) = 0 . Funkcja tak zdefinio-

wana nie ma granicy w punkcie 0, wie

,

c nie jest w tym punkcie cia

,

g la. We wszystkich

innych punktach jest cia

,

g la jako z lo˙zenie funkcji cia

,

g lej sinus z funkcja

,

cia

,

g la

,

1

x

.

Przyk lad 6.35

Niech (x) = 1 dla x 6= 0 i (0) = 0 . Funkcja ta jest niecia

,

g la

w punkcie 0 , cho´c ma w tym punkcie granice

,

, jednak ta granica nie jest r´owna

warto´sci funkcji w punkcie 0 . W innych punktach funkcja jest cia

,

g la, bo jest sta la

na pewnym przedziale otwartym zawieraja

,

cym punkt . Oczywi´scie mo˙zna uzna´c

ten przyk lad za sztuczny.

Przyk lad 6.36

Niech (t) oznacza obje

,

to´s´c jednego kilograma wody w tempera-

turze , ci´snienie jest sta le, tzw. normalne i niezale˙zne od temperatury. Ze szkolnych

lekcji fizyki wiadomo, ˙ze funkcja ma niecia

,

g lo´s´c w punkcie 0 tj. w temperaturze,

w kt´orej naste

,

puje przej´scie ze stanu ciek lego w sta ly lub odwrotnie, zreszta

,

w punk-

cie 0 funkcja jest z punktu widzenia fizyki niezdefiniowana, ze wzgle

,

du na zmiane

,

stanu skupienia. Granice jednostronne istnieja

,

: prawostronna jest mniejsza ni˙z lewo-

stronna (dlatego l´od p lywa w wodzie wystaja

,

c z niej). Przyk lad ten podajemy po to,

by czytelnicy tego tekstu zdawali sobie sprawe

,

, ˙ze w niekt´orych sytuacjach pojawiaja

,

sie

,

funkcje niecia

,

g le w naturalnych spos´ob.

Przyk lad 6.37

Niech (x) = 1 , je´sli liczba jest wymierna, tj. jest ilorazem

dwu liczb ca lkowitych i niech (x) = 0 , je´sli jest liczba

,

niewymierna

,

, np. je´sli

=

m

n

2 , gdzie m, n sa

,

liczbami ca lkowitymi r´o˙znymi od 0 . Funkcja ta nie ma

granicy w ˙zadnym punkcie, bo ka˙zda liczba rzeczywista jest granica

,

cia

,

gu liczb wy-

miernych, np. swoich przybli˙ze´

n dziesie

,

tnych oraz granica

,

cia

,

gu liczb niewymiernych.

19

background image

Granice funkcji, definicja cia

,

g lo´sci

Micha l Krych

W pierwszym przypadku cia

,

g warto´sci funkcji da

,

˙zy do 1, a w drugim do 0. Wobec

tego funkcja ta jest niecia

,

g la w ka˙zdym punkcie! Mo˙zna udowodni´c, to jest  latwe!,

˙ze (x) = lim

k→∞

lim

n→∞

(cos(k!πx))

2n

, wie

,

c ta dziwna funkcja mo˙ze by´c otrzymana

w wyniku podw´ojnego przej´scia granicznego z funkcji uwa˙zanych za podstawowe.

Potrzebne nam be

,

da

,

jeszcze dwie definicje. Chodzi o to, ˙ze w wielu przypadkach

pojawia´c sie

,

be

,

da

,

funkcje cia

,

g le, kt´ore be

,

da

,

jeszcze dodatkowe w lasno´sci. Zrozumienie

trzech definicji jest — wbrew pozorom —  latwiejsze ni˙z zrozumienie jednej z nich.

Definicja jednostajnej cia

,

g lo´sci

Funkcja jest jednostajnie cia

,

g la na zbiorze wtedy i tylko wtedy, gdy

ε>0

δ>0

x,y∈X

|x − y| < δ ⇒ |f (x− f (y)| < ε

.

Definicja warunku Lipschitza

Funkcja spe lnia warunek Lipschitza na zbiorze ze sta la

,

dodatnia

,

L < +

wtedy i tylko wtedy, gdy dla dowolnych x, y ∈ A zachodzi nier´owno´s´c

|f (x− f (y)| ≤ L|x − y| .

Jest jasne, ˙ze funkcja spe lniaja

,

ca warunek Lipschitza jest jednostajnie cia

,

g la:

wystarczy przyja

,

´c, ˙ze δ =

ε

L

. Jest te˙z jasne, ˙ze funkcja jednostajnie cia

,

g la jest

cia

,

g la. Istnieja

,

funkcje cia

,

g le, kt´ore nie sa

,

jednostajnie cia

,

g le.

Przyk lad 6.38

Funkcja x

2

rozpatrywana na ca lej prostej nie jest cia

,

g la jedno-

stajnie. Za l´o˙zmy bowiem, ˙ze ε = 1 oraz ˙ze istnieje taka liczba δ > 0 , ˙ze je˙zeli

|x − y| < δ , to |x

2

− y

2

| < 1 = ε . Niech =

1
δ

i niech =

1
δ

+

δ
2

. Wtedy jednak

zachodzi nier´owno´s´c |x

2

− y

2

= 1 +

δ
2

2

1 = ε , wie

,

c wbrew przypuszczeniu nie

istnieje liczba δ spe lniaja

,

ca ˙za

,

dany warunek.

Mo˙zna wykaza´c, ˙ze funkcje e

x

na ca lej prostej, ln na p´o lprostej (0+) itp.

nie sa

,

jednostajnie cia

,

g le, cho´c zmniejszenie dziedziny mo˙ze zmieni´c sytuacje

,

.

Przyk lad 6.39

Funkcja e

x

spe lnia warunek Lipschitza na p´o lprostej postaci

(−∞, a] dla ka˙zdej liczby rzeczywistej . Je´sli bowiem y < x ≤ a , to

|e

x

− e

y

e

x

(1 − e

y−x

≤ e

x

− (1 + (y − x))

e

x

(x − y≤ e

a

|x − y| .

Przyk lad 6.40

Funkcja liniowa ax spe lnia warunek Lipschitza ze sta la

,

|a| ,

co wynika od razu z r´owno´sci |(ax b− (ay b)|a| · |x − y| .

Przyk lad 6.41

Funkcja x

2

rozpatrywana nie na ca lej prostej, lecz na przedziale

[−M, M ] , gdzie M > 0 , spe lnia warunek Lipschitza ze sta la

,

2, bowiem

|x

2

− y

2

|x − y||x y| ≤ |x − y|(|x| |y|≤ 2M |x − y| .

Przyk lad 6.42

Funkcja

rozpatrywana na ca lej prostej jest jednostajnie cia

,

g la

20

background image

Granice funkcji, definicja cia

,

g lo´sci

Micha l Krych

ale nie spe lnia warunku Lipschitza: je´sli x > y , to 0 <

x−

y <

x − y , co mo˙zna

wykaza´c przenosza

,

c

na prawa

,

strone

,

nier´owno´sci, a naste

,

pnie podnosza

,

c obie

strony nier´owno´sci do kwadratu — z tej nier´owno´sci wynika jednostajna cia

,

g lo´s´c,

starczy przyja

,

´c, ˙ze δ ε

2

. Z warunku Lipschitza wynika loby, ˙ze

L ≥

1/n−

0

1/n−0

=

1

n

−−−−→

n→∞

+∞ ,

co oczywi´scie przeczy temu, ˙ze L < +∞ .

Wykazali´smy wie

,

c, ˙ze

warunek Lipschitza =⇒ jednostajna cia

,

g lo´s´c =⇒ cia

,

g lo´s´c

oraz ˙ze ˙zadna z tych implikacji nie mo˙ze by´c zasta

,

piona r´ownowa˙zno´scia

,

.

Warto jeszcze doda´c, ˙ze w definicji (otoczeniowej) cia

,

g lo´sci funkcji w punkcie

˙za

,

da sie

,

istnienia liczby δ > 0 i ˙ze takie samo ˙za

,

danie wyste

,

puje w definicji cia

,

g lo´sci

jednostajnej. R´o˙znica polega na tym, ˙ze w definicji cia

,

g lo´sci liczba δ > 0 jest dopa-

sowywana do punktu, w kt´orym badana jest cia

,

g lo´s´c i do liczby ε > 0 , natomiast

w definicji cia

,

g lo´sci jednostajnej δ > 0 zale˙zy tylko od ε .

21