Professional Documents
Culture Documents
Analiz II
www.matematikce.com
www.matematikce.com
cindekiler
I
oz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Ons 1
I S
ureklilik ve Limit 3
1 Sureklilik 5
1.1 Tanm ve Tanmn Tartsmas . . . . . . . . . . . . . . . . . . . 5
1.2 Ornekler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3 Surekli Fonksiyonlar Bilestirmek ve Kstlamak . . . . . . . . . 18
1.4 S
ureklilik Uzerine Notlar . . . . . . . . . . . . . . . . . . . . . . 21
3 Sureklili
gin Derinlikleri 53
3.1 Diziler ve S
ureklilik . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.2 Aradeger Teoremi . . . . . . . . . . . . . . . . . . . . . . . . . . 55
3.3 Surekli Fonksiyonlarn Uc Degerleri . . . . . . . . . . . . . . . . 67
4 Limit 73
4.1 Matematiksel Tanma Giris . . . . . . . . . . . . . . . . . . . . 74
4.2 Yogunlasma Noktas . . . . . . . . . . . . . . . . . . . . . . . . 76
4.3 Nihayet Limit Tanm . . . . . . . . . . . . . . . . . . . . . . . 78
4.4 Limitin Aritmetigi . . . . . . . . . . . . . . . . . . . . . . . . . 83
4.5 Sralama ve Limit . . . . . . . . . . . . . . . . . . . . . . . . . . 88
v
4.6 Bileske ve Limit . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
5 Limit Uzerine Daha Fazla 93
5.1 Sagdan ve Soldan Limit . . . . . . . . . . . . . . . . . . . . . . 93
5.2 Limitler ve Sonsuzlar . . . . . . . . . . . . . . . . . . . . . . . . 99
5.2.1 Sonsuzda Limit . . . . . . . . . . . . . . . . . . . . . . . 100
5.2.2 Eksi Sonsuzda Limit . . . . . . . . . . . . . . . . . . . . 106
5.2.3 Sonsuza Iraksamak . . . . . . . . . . . . . . . . . . . . . 107
5.3 Monoton Fonksiyonlar, Limit ve S ureklilik . . . . . . . . . . . . 114
IV Weierstrass Yo
gunluk Teoremi 237
13 Genellestirilmis Binom A
clm 239
Kaynak
ca 302
oz
Ons
1
2 oz
Ons
Ali Nesin
NMK, 29 Temmuz 2012
anesin@bilgi.edu.tr anesin@nesinvakfi.org
www.matematikce.com
Ksm I
S
ureklilik ve Limit
3
www.matematikce.com
1. S
ureklilik
Birinci ornekte kopukluk yokken ikinci ornekte a noktasnda bir kopukluk, ani
bir scrama var.
Matematiksel tanm birazdan verecegiz, ama simdilik sezgi kazandrmak
amacyla soyleyelim: Birinci ornekteki gibi fonksiyonlara s
urekli denir. Ikinci
ornekteki fonksiyon ise a noktasnda s ureksizdir , orada bir kopukluk, bir
scrama, bir sradslk vardr.
6 1. Sureklilik
Insanlar s
ureklilikten daha cok hoslanrlar. S ureklilik olagan durumdur,
anlaslmas, basa ckmas daha kolaydr. Deprem gibi, ucurumdan yuvarlan-
mak gibi, basnc d usmesi gibi, olagan kosullarn s
urekliliginin bozuldugu du-
rumlar ol umcul olabilir.
Atomun varlg kantlandgndan beri maddenin s urekli olmadgn, aslnda
varlktan cok yokluk oldugunu biliyoruz. Ote yandan makroskopik d uzeyde
maddenin s urekli oldugunu varsaymak - bu varsaym yanls da olsa - maddeyi
(ve hareketini) alglamamzda kolaylk saglar.
Her ne kadar saniye, dakika, g un ve hafta gibi parcalara ayrsak da, za-
mann da s
urekli oldugunu varsayarz. Orne gin, insan duyularyla alglana-
mayacak bir s ure icin bir elmann kaybolup tekrar var olabilecegi, hatta t um
evrenin donup tekrar harekete gectigi d usu
ncesi bize pek inandrc gelmez.
Ama neden olmasn!
Velhasl kelam, evren s urekli de s
ureksiz de olsa, surekliyi anlamak daha
kolaydr.
Sezgisel olarak kolayca alglanabilen s ureklilik/s
ureksizlik kavramn ma-
tematiksellestirmek pek o kadar kolay olmamstr. S urekliligin dogru duzgun
matematiksel bir tanmn vermek 19uncu y uzylda Cauchyye nasip olmustur.
Tam matematiksel tanm sunmadan once sezgilerimize biraz daha mate-
matiksel bir bicim vermeye calsalm.
S ureksiz diye nitelendirdigimiz ikinci fonksiyona dikkatlice bakalm. Belli
ki sorun a noktasnda. Bu noktada fonksiyon b degerini alyor. Peki a cok az
degistiginde fonksiyonun aldg deger ne oluyor?
Eger x, ann sagnda (yani adan daha b uyuk) ama aya cok yaknsa,
f (x), f (a)nn yani bnin cok yaknndadr. Hatta xi ann sagnda ve xe cok
cok yakn alarak, f (x) degerini f (a)ya diledigimiz kadar yaklastrabiliriz. x,
aya sagdan ne kadar yakn olursa, sekilden de anlaslacag u zere, f (x) degeri
f (a)ya o kadar yakn olur.
Sekilden de gor
ulecegi u
zere, oyle bir > 0 says var ki, (a, a+) aralgnn
f fonksiyonu altnda imgesi (b , b + ) aralgnn icine d user. Sadelestirilmis
sekil asagda:
ste ada s
I urekliligin tanm aynen bunu ifade edecek, tek bir farkla ki
yerine
(a , a + ) A k
umesinin f -imgesi (b , b + ) aralgnn icine d
user
demeliyiz, cu
nk
u f fonksiyonu (a, a+) aralgnn t
um noktalarnda tanml
olmayabilir. Matematiksel tanm artk verelim:
Tanm. a A R ve f : A R bir fonksiyon olsun. Eger her > 0 icin,
Ayn tanm k
umeler yerine elemanlarla ifade edebiliriz:
Tanm. a A R ve f : A R bir fonksiyon olsun. Eger her > 0 icin,
onermesi dogru olsun. Tanm daha simgesel olarak yazmak yararl olabilir:
Tanm tartsmaya devam edelim. Eger verilmis bir > 0 icin, bir > 0
says () kosulunu saglyorsa, dan k ucu
k pozitif 1 saylar da () kosulunu
ayn icin saglar. Yani verilmis bir icin () kosulunu saglayan tek bir yoktur
ve eger () kosulunu saglayan bir varsa, istersek ve icimizden oyle geciyorsa
ya da gerekliyse, y 1den, 1/2den, 1/100den ve istedigimiz herhangi pozitif
bir saydan k ucu
k secebiliriz.
Gene de bulunacak nn verilen a gore degistigini belirtelim: Genelde,
k
ucu
ldukce, da k uculmek zorundadr. Nitekim eger (, ) cifti () kosulunu
10 1. Sureklilik
esitsizliginin saglanmas icin xin aya ne kadar yakn olmas gerektigi arast-
rlr. Bunun icin, genellikle,
|f (x) f (a)|
ifadesiyle oynanr. Amac, bu ifadeyle oynayarak, ifadeyi, bir bicimde, icinde
|x a| bulunan bir ifadeden daha kucu
k olarak ifade etmektir.
Tanm k umesinin her noktasnda surekli olan bir fonksiyona s
urekli fonk-
siyon denir.
1.2
Ornekler
gretici olmas acsndan cok basit olmayan, ama gene de cok cok zor olma-
O
yan ornekler sunmadan once, a noktasnn tanm k umesinde olmak zorunda
oldugunu anmsatalm (yoksa f (a)dan sozedemeyiz bile!)
Ornekler
esitsizli
ginin sa
glanmas icin xin aya ne kadar yakn olmas gerekti gini arastralm; ba-
kalm xin aya belli bir > 0 mesafesinden daha yakn olmas bu esitsizli gin saglanmas
icin yeterli oluyor mu, boyle bir var m? Bunun icin |f (x)f (a)| ifadesiyle oynayaca gz.
Oynayalm:
|f (x) f (a)| = |x2 a2 | = |x a||x + a|.
Sag taraftaki |x a| ifadesi hosumuza gidiyor, cu
nku x saysn |x a| cok kucu
k ola-
cak sekilde secersek, |x a||x + a| ifadesinin de cok k
ucu
k olma (dan k ucu
k olma)
ihtimali var ve bizim istedi gimiz de tam bu. Ama e ger |x + a| cok artarsa, o zaman
1.2. Ornekler 11
|xa||x+a| ifadesini istedi gimiz kadar k ltemeyebiliriz. Demek ki |x+a| ifadesinin cok
ucu
artmadgn, belli bir say tarafndan u gn kantlamalyz. |x+a| |x|+|a|
stten snrland
gundan, |x| saysn u
oldu stten snrl tutmak yeterli. Eger x herhangi bir gercel sayysa,
bu dogru degil elbet, ama xi aya yakn secece gimizi unutmayalm.
Alstrmalar
1.3. f (x) = x2 + 3x 7 kuralyla tanmlanms Rden Rye giden f fonksiyonunun s urekli
oldugunu kantlayn.
1.4. f (x) = x3 kuralyla tanmlanms Rden Rye giden f fonksiyonunun s urekli oldu
gunu
kantlayn.
1.5. p(X) R[X] bir polinom olsun. x 7 p(x) fonksiyonunun R u zerinde surekli oldu
gunu
kantlayn. Ipucu: Bir q(X) R[X] icin p(X) p(a) = (X a)q(X) olur.
1.6. f (x) = x1 kuralyla tanmlanms f : R \ {0} R fonksiyonunun s urekli oldu
gunu
kantlayn.
x
1.7. f (x) = 1+x s f : R R fonksiyonunun s
2 kuralyla tanmlanm urekli oldu
gunu kant-
layn.
Surekli olmayan bir fonksiyon ornegi verelim. Verelim ama once bir noktada
surekli olmamann ne demek oldugunu daha yakndan irdeleyelim. Bir iki sayfa
once, f : A R fonksiyonunun bir a A noktasnda s urekli olmas icin,
> 0 > 0 x A (|x a| < |f (x) f (a)| < ) .
onermesinin dogru olmas gerektigini soylemistik. Bu onermenin tam tersini,
yani zddn yazalm. Bunun icin basit mantk kullanacagz. Yukardaki oner-
menin zdd,
> 0 > 0 x A (|x a| < |f (x) f (a)| < )
1.2. Ornekler 13
onermesidir1 , yani
Ornekler
{
1 eger x 0 ise
1.8. f (x) = form uyle tanmlanms f : R R fonksiyonunun s
ul urek-
0 eger x < 0 ise
liligini tartsn.
Tartsma: f , Rden Rye gider ve grafi
gi s
oyledir:
Grafikten de anlaslaca
g u
zere, bu fonksiyon 0 dsnda her noktada s
ureklidir, sadece 0
noktasnda s
ureksizdir. Bu s oylediklerimizi matematiksel olarak kantlayalm.
Kant: Sayla 9daki () kosulunun hicbir > 0 icin do gru olmad g bir > 0 bulmak
gerekiyor. Yukardaki sekilden takip edin. = 1 olsun. Aslnda saysn 0 < 1
esitsizliklerini sa
glayan herhangi bir say olarak alabiliriz. S
imdi > 0 ne olursa olsun
(daha do grusu, ne kadar k k olursa olsun), x = /2 alrsak,
ucu
|x a| = | /2 0| = | /2| = /2 <
1
, kendisinden sonra gelen
onermenin tam tersini iddia eder. Mesela (x = y)
onermesi
x = y demektir. Bazen yerine yazlr.
14 1. Sureklilik
olur ama
|f (x) f (a)| = |f (/2) f (0)| = |0 1| = 1
olur, yani |f (x) f (a)| < esitsizli
gi do
gru olmaz.
Sav 2. Eger a = 0 ise fonksiyon a noktasnda s
ureklidir.
Kant: > 0 verilmis olsun. Sayla 9daki () kosulunun bir > 0 tarafndan sa
gland
gn
ostermemiz gerekiyor. = |a|/2 olsun. x,
g
|x a| <
kosulunu sa
glasn. O zaman,
|a| |a|
= < x a < = ,
2 2
yani
|a| |a|
a <x<a+
2 2
olur. Bundan, e
ger a < 0 ise,
|a| a
x<a+ = < 0,
2 2
ve e
ger a > 0 ise,
a |a|
0< =a <x
2 2
bulunur. Yani a ile xin isaretleri ayndr, biri pozitifse di
geri de pozitif, biri negatifse
di
geri de negatif olur. Dolaysyla f (x) = f (a) olur, yani
Kant: Kant aynen bir onceki kant gibidir, ama tabii ay bu sefer 0 secemeyiz,
cu
nk
u fonksiyonun tanm k umesi R \ {0} k umesidir. f , R \ {0} kumesinden Rye gi-
der.
Bu ornegin bir de su dikkate sayan gi vardr: xn = (1)n /n form
ozelli ul
uyle tanmlanms
dizi bir Cauchy dizisi oldu gu halde, imgesi olan (f (xn ))n dizisi bir Cauchy dizisi de
gildir.
S
imdi ilk baksta sasrtc, ikinci baksta do
gal gelebilecek bir sonuc kantlayalm.
|x a| <
olur.
(a , a + ) A = {a}
esitli glayan bir > 0 says olsun. Adan Rye giden her fonksiyonun ada s
gini sa urekli
oldu gunu kantlayn.
1.14. A, Rnin ayrk bir altk umesi olsun, yani her a A icin, (a , a + ) A = {a}
esitli
gini sa
glayan bir > 0 olsun. (Burada , aya g ore degisebilir.) Adan Rye giden
her fonksiyonun s urekli oldu gunu kantlayn.
1.15. f (x) = [x] (= xin tamksm) form uyle tanmlanms. f : R R fonksiyonu hangi
ul
noktalarda s urekli de
gildir?
1.16. Rnin sonlu bir altk umesinden Rye giden her fonksiyonun s urekli oldu gunu kantlayn.
1.17. Rden Zye giden s urekli bir fonksiyonun sabit olmas gerekti gini kantlayn.
1.18. f : R R fonksiyonu s urekli olsun ama imgesi sonlu olsun. f nin sabit bir fonksiyon
oldu gunu kantlayn.
1.19. f : R R bir fonksiyon olsun. Sabit bir a R says icin |f (x) f (y)| a|x y|
ginin her x, y R icin sa
esitli gland
gn varsayalm. f nin s
urekli oldu gunu kantlayn.
16 1. Sureklilik
1.20. f : R R ve g : R R iki fonksiyon olsun. Sabit bir a R says icin |f (x) f (y)|
a|g(x) g(y)| esitli
ginin her x, y R icin sa
gland
gn varsayalm. Eger g surekliyse
f nin de s
urekli oldugunu kantlayn.
Kant: f sabit bir fonksiyon olsun. > 0 ve > 0 ne olursa olsunlar, hep
olur. Demek ki f s
ureklidir.
Kant: Ozde slik fonksiyonunun IdR (x) = x kuralyla tanmlanms IdR : R R fonk-
siyonu oldugunu anmsatrz. a R ve > 0 verilmis olsun. = > 0 alalm. O zaman
|x a| < kosulunu sa
glayan her a R icin,
olur; bu da istedi
gimizi kantlar.
1.2. Ornekler 17
Alstrmalar
1.26. f (x) = x2 kuralyla verilmis f : R R fonksiyonunun d uzg
un surekli olmadgn
g
osterin.
1.27. f (x) = x2 kuralyla verilmis f : [0, 1] R fonksiyonunun d
uzgun s
urekli oldu
gunu
kantlayn.
1.28. f (x) = 1/x kuralyla verilmis f : R>0 R fonksiyonunun duzg
un surekli olmadgn
g
osterin.
1.29. > 0 olsun. f (x) = 1/x kuralyla verilmis f : [, ) R fonksiyonunun d uzgun
s
urekli oldugunu kantlayn.
1.30. (xn )n bir dizi olsun. : R R fonksiyonu
{
0 x0
(x) =
1 0<x
18 1. Sureklilik
olarak tanmlansn. E
ger an mutlak yaknsak bir diziyse,
f (x) = an (x xn )
n=0
1.3 S
urekli Fonksiyonlar Bilestirmek ve Kstlamak
{
f (x) eger x (a, b) ise
(f g)(x) =
g(x) eger x (c, d) ise
Onermenin,
Ornek 1.9daki gibi, (a, b) (c, d) = oldugu zaman da dogru
olduguna dikkatinizi cekeriz. Ornegin b = c oldugunda. Bu dedigimiz, ince
ama onemli bir ayrntdr.
f : (a, b] R ve g : [b, c) R
B = {x A : x a} ve C = {x A : x a}
20 1. Sureklilik
g(b) = f (b)
f|A(a,a+) : A (a , a + ) R
1.4 S
ureklilik Uzerine Notlar
Sureklilik konusunda ileriki bol umlerde daha derinlesecegiz. Simdilik s
urek-
liligin oldukca basit ozelliklerinden sozedelim.
urekliligi, Rnin bir A altk
1. S umesinden Rye giden fonksiyonlar icin tanmla-
dk. Oysa, tanma baklrsa fonksiyonun illa Rye degil, Rnin bir altk umesine
gitmesi yeterli, nitekim tanmda fonksiyonun vars k umesini hic kullanmadk,
tek kullandgmz, degerlerin gercel saylar olmasyd. Yani A ve B, Rnin
umeleriyse ve f : A B, Adan Bye giden bir fonksiyonsa, s
altk urekliligi bu
f fonksiyonu icin de tanmlayabiliriz, ayn tanm kabul edelim, olsun bitsin.
Bundan boyle s urekliligin Rnin bir altk
umesinden gene Rnin bir altk
umesine
giden fonksiyonlar icin tanmlandgn kabul edecegiz.
2. Eger f : A B fonksiyonu bir a A noktasnda s urekliyse ve f (A)
C R ise, her x A icin g(x) = f (x) kuralyla tanmlanan g : A C
fonksiyonu da a noktasnda s
ureklidir.
22 1. Sureklilik
olarak tanmlanr. Orne
gin
Bir baska ornek: Her x R icin d(x, Q) = 0 olur. E ger A = {a} ise, giriste dedi
gimiz
gibi, d(x, A) = |x a| olur. E ger A = {a1 , . . . , an } sonlu bir k
umeyse, d(x, A) =
min{d(x, a1 ), . . . , d(x, an )} olur.
Okur, en fazla iki tane a A icin d(x, A) = |xa| esitli ginin sa
gland
gn kantlayabilir.
Bu ornekte amacmz, verilmis bir A R icin x 7 d(x, A) kyralyla tanmlanms fonk-
siyonu anlamak.
S
u ozellikler bariz olmal:
E ger x A ise, d(x, A) = 0. Ama d(x, A) = 0 ise, x eleman Ada olmak zorunda
de yandan e
gildir. Ote ger A kapal bir aralksa,
d(x, A) = 0 x A
esde
gerlili
gi gecerlidir.
E ger A B ise, d(x, A) d(x, B).
E ger a A ve y R ise, d(x, A) |x a| |x y| + |y a| oldu
gundan
d(x, A) |x y| |y a|
olur. Demek ki
d(x, A) |x y| inf |y a| = d(y, A)
aA
ve
d(x, A) d(y, A) |x y|
1.4. Sureklilik
Uzerine Notlar 23
d(y, A) d(x, A) |x y|
x 7 |x a|
x 7 |x a|
slemler ve
2. Fonksiyonlarla I
S
ureklilik
2.1 slemler
Fonksiyonlarla I
umeyse ve f , g : X R iki fonksiyonsa, gene Xten
Eger X herhangi bir k
Rye giden f + g : X R fonksiyon su kuralla tanmlanr:
f (x) = x3 + 2x
ve g(x) = x olsun. Fonksiyonlarn tabm k
umesi olan Xi de tanmlamalyz.
X = [1, ) olsun (mesela!) O zaman, f + g : [1, ) R fonksiyonu,
(f + g)(x) = f (x) + g(x) = x3 + 2x + x
olarak tanmlanr.
Eger f ve g fonksiyonlarnn grafikleri verilmisse, f + g fonksiyonunun
grafigini cizmek oldukca kolaydr. Asagdaki sekildeki gibi yaplr.
26 2. Fonksiyonlarla Islemler ve Sureklilik
(f /g)(x) = f (x)/g(x).
f (x)
(f /g)(x) =
1 + x2
Bu bol
umde, s ureklilikle fonksiyonlarn toplama ve carpma gibi islemleri
arasndaki iliskiyi gorecegiz. Tahmin edilebilecegi gibi, s
ureklilik bu islemler
altnda bozulmuyor. Toplamadan baslayalm.
2.2 Toplama ve S
ureklilik
Teorem 2.1. X R, a X ve f, g : X R fonksiyonlar a noktasnda
s
urekli olsun. O zaman f + g fonksiyonu da a noktasnda s
ureklidir.
|f (x) f (a)| <
2
olur. Ayn nedenden, oyle bir 2 > 0 says vardr ki, eger x X eleman
|x a| < 2 esitsizligini saglyorsa, o zaman,
|g(x) g(a)| <
2
|f (x) f (a)| + |g(x) g(a)| < + =
2 2
olur. Istedi
gimiz kantlanmstr.
Bu kant kitaplarda yazdg gibi yazalm:
Kant: > 0, herhangi pozitif bir say olsun. f fonksiyonu ada s urekli
oldugundan oyle bir 1 > 0 says vardr ki, eger x X eleman |x a| < 1
esitsizligini saglyorsa, o zaman,
|f (x) f (a)| <
2
|g(x) g(a)| <
2
olur. Istedi
gimiz kantlanmstr.
2.3. C
arpma ve Sureklilik
29
2.3 C
arpma ve S
ureklilik
Toplamayla basladk, carpmayla devam edelim. Nasl iki surekli fonksiyonun
toplam da s
urekli oluyorsa, iki s
urekli fonksiyonun carpm da surekli olur.
Ama kant biraz daha zordur.
Teorem 2.2. a X R ve f, g : X R fonksiyonlar a noktasnda s
urekli
olsun. O zaman f g fonksiyonu da a noktasnda s
ureklidir.
Kant: > 0, herhangi bir pozitif say olsun.
|g(a)|
|f (x) f (a)||g(a)| <
2(|g(a)| + 1) 2
|f (x)||g(x) g(a)|
olur, yani
f (x) (f (a) 1, f (a) + 1)
olur. Bu da istedigimizi kantlar.
Teorem 2.2nin Kantnn Devam: Anmsarsanz
|f (x)||g(x) g(a)|
|f (x)| < M
2.3. C
arpma ve Sureklilik
31
olur.
2. f fonksiyonu da ada surekli oldugundan, Teorem 2.3e gore, oyle > 0
ve M > 0 saylar vardr ki, eger x X eleman |x a| < esitsizligini
saglyorsa, o zaman, |f (x)| < M olur.
3. g fonksiyonu a noktasnda s urekli oldugundan, oyle bir 2 > 0 vardr ki,
|x a| < 2 esitsizligini sagladgnda,
|g(x) g(a)| <
2M
esitsizligi de saglanr.
32 2. Fonksiyonlarla Islemler ve Sureklilik
p0 , p1 , p2 , . . . , pn R
p(T ) = p0 + p1 T + p2 T 2 + + pn T n
2.4. Polinomiyal Fonksiyonlar ve Sureklilik
33
x 7 p(x) = p0 + p1 x + p2 x2 + + pn xn
f (x) = x2
Sonu
c 2.7. Polinomiyal fonksiyonlar her noktada s
ureklidir.
Kant: Ornek 1.22 ve 1.23ten dolay sabit fonksiyonlar ve T polinomu ta-
rafndan verilen ozdeslik fonksiyonu s
ureklidirler. Gerisi yukarda kantlanan
sonuclardan kolayca ckar. (Aslnda daha matematiksel olmak istiyorsak, once
nuzerine tumevarmla T n tarafndan verilen polinomiyal fonksiyonlarn surekli
oldugunu, ardndan polinomlarn dereceleri u zerine t
umevarmla polinomiyal
fonksiyonlarn s
urekli oldugunu kantlamak gerekir.)
Kant: C ok basit. Okura braklmstr. (Sonuc 2.4e gore her n dogal says
icin x 7 f (x)n kuralyla tanmlanms fonksiyon a noktasnda s ureklidir.)
n
xi
xi xi
exp x = lim = = .
n
i=0
i! i=0
i! i!
Kant: Once fonksiyonun a = 0 noktasnda s urekli oldu gunu kantlayalm. Herhangi bir
> 0 says secelim. Oyle gz ki, |x| < esitsizli
bir > 0 bulaca glayan her x R icin,
gini sa
yani
| exp x 1| <
olacak. | exp x 1| < esitsizli glanmas icin |x|in ne kadar k
ginin sa ucu
k olmas gerektigini,
yani nn ne olmas gerekti gini bulalm.
i i
x x |x|i |x|i1 |x|i1
| exp x 1| = 1 = = |x| |x|
i! i! i=1 i! i! (i 1)!
i=0 i=1 i=1 i=1
( )
|x|i
= |x| = |x| exp |x|.
i=0
i!
Demek ki exp artan bir fonksiyon oldugundan [N4, Sonuc 10.14], |x| < 1 ise, exp x < exp 1 =
e ve dolaysyla
| exp x 1| |x| exp |x| < e|x|
olur. Demek ki = min{1, /e} alrsak, |x| < oldu
gunda,
ckar ve b
oylece expin a noktasnda s
urekli oldu
gu kantlanms olur.
Alstrmalar
2.5 B
olme ve S
ureklilik
Simdi bolmeye gelelim. X R, a X ve f, g : X R a noktasnda s urekli
iki fonksiyon olsun. f /g fonksiyonunun ada s
urekli oldugunu kantlamak isti-
yoruz. Ama bu fonksiyon,
f (x)
x 7
g(x)
kuralyla tanmlandgndan, boyle bir fonksiyonun var olmas icin gnin Xin
her noktasnda 0dan degisik olmas gerekir. Oyle oldugunu varsayalm.
Ayrca f /g fonksiyonu f ile 1/g fonksiyonlarnn carpm oldugundan Te-
orem 2.2ye gore 1/gnin s urekli oldugunu kantlamamz yeterlidir. Boylece
f den kurtulmus olduk. Kantmza baslayalm:
> 0 olsun. Oyle bir > 0 bulacagz ki, eger x X says |x a| <
esitsizligini saglyorsa, o zaman
1 1
g(x) g(a) <
olsun. Esitsizli
gin solundaki ifadeyle oynamaya baslayalm:
1 1 |g(a) g(x)|
g(x) g(a) = |g(x)||g(a)| .
|g(a) g(x)|
|g(x)||g(a)|
ifadesini ayyuka ckarabilir. Bunu engelleyebilir miyiz? Yani eger g(a) = 0 ise
ve g fonksiyonu a noktasnda s urekliyse, ann k
ucu
k de olsa bir komsulugun-
da gnin 0dan uzak oldugunu kantlayabilir miyiz? Evet!
Kant: Aslnda kantn anafikri oldukca ack. g fonksiyonu ada s urekli ol-
dugundan, aya yakn noktalarda g(x), g(a)ya cok yakndr. Ama g(a) = 0
oldugundan, aya cok yakn noktalarda g(x)i 0dan uzak tutabiliriz. Bicimsel
kanta gecelim:
Gerekirse g yerine g alarak g(a)nn pozitif oldugunu varsayabiliriz. Bu
durumda, s urekliligin tanmndaki saysn g(a)/2 olarak alabiliriz. O zaman
oyle bir > 0 vardr ki, |x a| < esitsizligini saglayan her x X icin
g(a)
|g(x) g(a)| < ,
2
demek ki
g(a) g(a)
< g(x) g(a) < ,
2 2
olur ve bundan da,
g(a)
< g(x)
2
ckar. Simdi = ve = g(a)/2 alalm.
1/gnin ada s urekli oldugunun kantna kaldgmz yerden devam edelim.
ve pozitif saylar Onsav 2.10daki gibi olsun. Eger bulacagmz y dan
k
ucu
kesit secmeyi kabullenirsek,
1 1 |g(a) g(x)| |g(a) g(x)|
g(x) g(a) = |g(x)||g(a)| < |g(a)|
simiz cok kolaylad. 1 > 0, her x X (a 1 , a + 1 ) icin,
olur. I
2.6 Sralama ve S
ureklilik
Eger f, g : X R fonksiyonlar, her x X icin f (x) < g(x) esitsizligini
saglyorsa, bu durumda,
f <g
yazarz. Bu bir sralamadr ama eger |X| = 1 ise tamsralama degildir, yani
birbirleriyle karslastrlamayan fonksiyonlar olabilir.
Sureklilikle, tanmladgmz bu fonksiyon sralamas arasnda da bir iliski
vardr.
Sonu c 2.14. a X R ve g : X R fonksiyonu a noktasnda s urekli olsun.
oyle bir > 0 says vardr ki, her x X (a, a+) icin,
Eger g(a) > 0 ise,
g(x) g(a)
2 olur, dolaysyla X (a , a + ) k umesi uzerinde g fonksiyonu
hep pozitif degerler alr.
38 2. Fonksiyonlarla Islemler ve Sureklilik
Kant: Onsav 2.10un kantndan ckar.
Elbette ayn sonuc pozitif yerine negatif sfat icin de gecerlidir.
Sonuc 2.14
u daha da genellestirebiliriz.
Alstrma 2.6. f : R R s urekli bir fonksiyon olsun. Her x icin f (x2 ) = f (x) esitli
gini
varsayalm. f nin sabit bir fonksiyon oldugunu gosterin.
urekliyse, |f | fonksiyonu da s
Teorem 2.19. Eger f fonksiyonu s ureklidir.
Kant: ||f (x)| |f (a)|| |f (x) f (a)| oldugundan, verilmis bir > 0 icin
> 0 says f icin ise yaryorsa, |f | icin de ise yarar.
f, g : X R iki fonksiyon olsun. f g : X R fonksiyonunu, her x X
icin,
(f g)(x) = max{f (x), g(x)}
olarak tanmlayalm. Benzer sekilde, f g : X R fonksiyonun, her x X
icin,
(f g)(x) = min{f (x), g(x)}
olarak tanmlayalm. Tabii bir kez daha Xin Rnin altk
umesi oldugu durumla
ilgilecegiz.
a + b |a b| a + b |a b|
max{a, b} = + ve min{a, b} =
2 2 2 2
oldugundan, bir onceki teoremden hemen su ckar:
urekliyse, f g ve f g fonksiyonlar
Teorem 2.20. Eger f ve g fonksiyonlar s
da s
ureklidir.
Alstrmalar
2.7. f : R R bir fonksiyon olsun. f f (carpm) fonksiyonu s urekliyse, f fonksiyonu da
s
urekli midir?
2.8. Eger 2f + 3g ve 3f + 2g fonksiyonlar s urekliyse, f ve g fonksiyonlarnn da s urekli
olduklarn kantlayn.
2.9. f (x) = x form uyle tanmlanms f : R0 R fonksiyonu s
ul urekli midir?
x
2.10. f (x) = 3x 7e + 6xe sin x fonksiyonunun s
2 x
urekli oldu
gunu kantlayn.
2.11. Asa
gdaki fonksiyon surekli midir?
{ 2
x 9
ger x = 3 ise
e
f (x) = x+3
5 ger x = 3 ise
e
2.13. Eger p ve q birbirine asal iki tamsayysa, f (p/q) = |p|+|q| olsun. Bu kuralla tanmlanms
olan f : Q N fonksiyonunun hicbir noktada s urekli olmadgn kantlayn.
2.14. f : Q N yukardaki gibi olsun. g : Q Q fonksiyonu, g(x) = 1/f (x) kuralyla
tanmlansn. g fonksiyonun hicbir noktada s urekli olmad gn kantlayn.
2.15. g : Q Q fonksiyonu yukardaki gibi olsun. h : Q Q fonksiyonu su kuralla tanmlan-
sn: {
g(x) e ger x = 0 ise
h(x) =
0 e
ger x = 0 ise
hnin 0da s
urekli oldu
gunu kantlayn. Ayn seyi x = 0 yerine bir baska x = a saysnda
yapsanz, h fonksiyonu ada da surekli olur mu?
Ilgilenenlere Cebir Notu. X R olsun. Xten Rye giden fonksiyonlar k umesi Fonk(X, R),
bol
um un girisinde tanmlad gmz toplama ve carpma altnda de gismeli bir halkadr. Bu
halkann tersinir elemanlar, hicbir noktada 0 olmayan fonksiyonlardr.
Yukarda kantladklarmzdan, e ger a X sabit bir sayysa, ada surekli olan fonksiyonlar
kumesinin, Fonk(X, R) halkasnn bir althalkas oldu gu ckyor. Bu althalkay Ca (X) olarak
gosterelim. Teorem 2.11e g ore Ca (X) halkasnn tersinir elemanlar hicbir noktada 0 olmayan
ve ada s urekli olan fonksiyonlardr.
Fonk(X, R) ayn zamanda bir vekt or uzaydr da: Nitekim iki fonksiyonu toplayabiliriz
ve bir fonksiyonu Rnin bir elemanyla (bir sabitle) carpabiliriz. Ca (X), ayrca Fonk(X, R)
vekt or uzaynn bir altuzaydr.
Demek ki Fonk(X, R), R cismi u zerine bir cebirdir. Ca (X) bu cebirin bir altcebiridir.
Ayn seyleri ve s umesi C(X) icin de s
urekli fonksiyonlar k oyleyebiliriz.
2.8 Bileske ve S
ureklilik
Onceki altbol
umlerde fonksiyonlarla yaplan toplama, carpma, ckarma ve bol-
me gibi islemlerin s
urekliligi etkilemedigini gorm
ust
uk. Fonksiyonlarla yaplan
bir baska islem daha vardr: Bileske almak. Anmsatalm:
f : X Y ve g : Y Z iki fonksiyonsa, g ve f nin bile skesi olarak
adlandrlan g f : X Z fonksiyonu, her x X icin,
f (x) = x + 1 ve g(x) = x2
olarak tanmlanmssa,
ve
(f g)(x) = f (g(x)) = f (x2 ) = x2 + 1
olur.
2.8. Bileske ve Sureklilik
41
Sonu
c 2.22. S
urekli fonksiyonlarn bileskesi s
ureklidir.
x 7 p(f (x))
esitligini saglayan birbirine asal bir p tamsays ve pozitif bir q dogal says
vardr. Bu p ve q saylar biriciktir elbet, yani ayn a says icin bu kosullar
saglayan iki degisik p ve q cifti yoktur. Dolaysyla f (a)y,
1
f (a) =
q
2.9. Tuhaf Bir Fonksiyonun Sureksizli
gi 43
olarak tanmlayabiliriz. Orne
gin,
ste bu fonksiyonun s
I urekliligini tartsacagz. Soracagmz soru su: Bu fonksi-
yon hangi kesirli saylarda sureklidir?
1
f (a) = .
q
f fonksiyonunun ada s
urekli olmas icin, her > 0 icin oyle bir > 0 olmal
ki,
p r
(1) <
q s
oldugunda, yani
p r p
< < +
q s q
oldugunda,
( ) ( )
1 1
(2) = f p f r <
q s q s
olsun. Bu m umk un mudur? Her > 0 says icin boyle bir > 0 says bulabilir
miyiz?
Pek kolay bir soru degil... Dusu
nelim...
Soru ozetle su: r/s says a = p/q saysna yakn oldugunda, 1/s, 1/q
saysna yakn olmak zorunda mdr?
Eger (1)i saglayan r/s kesirli saysnn ssini istedigimiz kadar buyuk ala-
bilirsek (bu durumda, (1)in saglanmas icin rnin de b uyuk ama sye asal
alnmas gerekir), o zaman 1/s cok k ucu
k olur, 0a cok yakn olur ve pozitif
bir sabit say olan 1/q saysndan uzaklasr ve (2) saglanmaz. (Asagdaki sekle
baknz.)
1, 2, . . . , n
saylarndan biri olabilir; ama paydada hangisi olursa olsun, pay ve payday
gerekli sayyla carparak payday her zaman n! saysna esitleyebiliriz. Yani
1
An Z
n!
olur. Dolaysyla eger bir kesirli sayy,
1
Z
n!
k
umesinin dsnda sececek olursak, o zaman o say An de olamaz, saynn pay-
das nyi, hatta n!i asar ve f nin o saydaki degeri 1/nden k
ucu
k olur. f nin
s
ureksizliginin kantnn anafikrini bulduk.
u > 0 icin uZ biciminde yazlan bir k umenin iki farkl eleman arasndaki
mesafe udan k k olamaz elbet. Dolaysyla eger a uZ ise,
ucu
(a u, a + u) uZ = {a}
(a v, a + v) uZ = {a}
f fonksiyonunun deger k
umesine bir defa daha goz atalm:
{ } { }
1 1 1 1
f (Q) = : n = 1, 2, 3, . . . = 1, , , , . . . .
n 2 3 4
Her n > 0 dogal says icin, f nin 1/nden b uyukesit degerler aldg x Q
umesine bakalm. Bu x saylar, 0 < s n ve r Z icin, r/s
saylarnn k
biciminde yazlrlar, bunlar da daha once gord
ugu
muz gibi
1
Z
n!
k
umesinin elemanlardr, yani
{ }
1 1
x Q : f (x) Z
n n!
2.9. Tuhaf Bir Fonksiyonun Sureksizli
gi 49
k
umesinde olduklar ve bu son k umenin elemanlar arasnda en az 1/5! ka-
dar, oldukca k
ucu
k belki ama gene de sabit bir saydan b
uy
uk bir mesafenin
oldugudur.
Genel olarak, > 0 ne olursa olsun,
{x Q : f (x) }
k
umesinin farkl elemanlar arasndaki mesafe belli bir > 0 saysnn altna
d
usm
uyor. Bunun dogru oldugunu gormek icin nyi
1
n
1
<
n!
0 < |x a| <
oldugunda,
|f (x) 0| = f (x) <
1
Z \ {a}
q!
k
umesine uzaklgndan, yani
({ } )
n
inf a q! : n Z \ {0}
form
uluyle tanmlanan g fonksiyonu ada s ureklidir. Yani f fonksiyonunun
a noktasndaki sureksizligi tamir edilebilir bir s
ureksizliktir. Bu noktada
fonksiyonu 0 olarak tanmlamak yeterli.
Bu suna benziyor:
{
x eger x = 2 ise
h(x) =
3 eger x = 2 ise
Fonksiyon 2de sureksiz, ama bu s ureksizlik sadece bir sansszlk gibi duruyor;
hnin 2deki degerini 3ten 2ye degistirirsek, fonksiyon her yerde surekli olur.
Yukardaki f ile bu h arasndaki fark, hnin sadece tek bir noktada s ureksiz
olmas; oysa f her yerde s ureksiz!
Alstrma 2.21. k : R R fonksiyonu Q u
zerinde f ye esit olsun, di
ger noktalarda 0 olsun.
k hangi noktalarda s
ureklidir?
www.matematikce.com
3. S
ureklili
gin Derinlikleri
3.1 Diziler ve S
ureklilik
Bir a noktasnda s urekli olan bir f fonksiyonu ele alalm. Eger x noktas aya
cok yaknsa, f (x) noktas da f (a)ya cok yakndr. Dolaysyla eger bir (xn )n
dizisi aya yaknsyorsa,
Kant: (a b). Her n N icin xn X olmak u zere, aya yaknsayan bir (xn )n
dizisi ve herhangi bir > 0 alalm. Pozitif saysn, her x (a , a + ) X
icin,
|f (x) f (a)| <
olacak bicimde secelim; f s
urekli oldugundan boyle bir vardr. Ayrca N
saysn, her n > N icin,
|xn a| <
54 3. Sureklili
Derinlikleri
gin
olacak bicimde secelim; (xn )n dizisi aya yaknsadgndan boyle bir N vardr.
O zaman, her n > N icin, once
|xn a| < ,
sonra da
|f (xn ) f (a)| <
olur. Demek ki (f (xn ))n dizisi f (a)ya yaknsar.
(b a). f nin ada s
urekli olmadgn varsayalm. O zaman oyle bir > 0
vardr ki, > 0 ne olursa olsun, Xte,
|x a| <
|f (x) f (a)|
esitsizligini saglayan bir x vardr. Demek ki her n > 0 dogal says icin, Xte,
Ornekler
Alstrmalar
3.4. ([Ba]dan) g fonksiyonu [a, b] aral gnda s urekli olsun. 0 < r < 1 sabit bir say olsun. Her
x [a, b] icin, |g (x)| r |g (t)| esitsizli glayan bir t [a, b] oldu
gini sa gunu varsayalm.
gnin sabit 0 fonksiyonu oldu gunu kantlayn.
3.5. a < b ve f : [a, b] R s urekli olsun. Her x [a, b] icin |f (y)| 12 |f (x)| esitligini
glayan bir y [a, b] oldu
sa gunu varsayalm. Bir c [a, b] icin f (c) = 0 oldu gunu
g
osterin.
3.2 Arade
ger Teoremi
Fonksiyonun grafiginin d uzlemde nasl bir egri cizdigini tam olarak bilemeyiz
elbet ama bu egrinin, duzlemin (a, f (a)) noktasndan (b, f (b)) noktasna kadar
kesintisiz olarak gittigini biliyoruz. Dolaysyla fonksiyonun grafigi, y = f (a)
ile y = f (b) yatay dogrular arasnda kalan her yatay dogruyu kesmeli. Demek
ki hangi
y0 (f (a), f (b))
Ornekler
S
imdi a = 1, b = 3 olsun. O zaman f (a) = 1 < 9 = f (b) olur. S imdi bu iki deger
arasnda olan y0 = 2 saysn ele alalm. Yukarda s oylenenlere inanacak olursak, a = 1
ile b = 3 arasnda
x20 = f (x0 ) = 2
esitli glayan bir x0 Q olmal. Ama bunun do
gini sa gru olmadgn biliyoruz, cu
nk
u 2,
kesirli bir say de gildir! Demek ki Arade ger Teoremi Q icin yanls.
Bir baska kars ornek daha:
3.7. f , (0, 2) (4, 6) aral
gndan Rye giden f (x) = x kuralyla tanmlanan fonksiyon olsun.
f nin grafigi asa
gda.
f s
ureklidir (Ornek 1.23 ya da Teorem 1.4). a = 1 ve b = 5 olsun. O zaman
olur. S
imdi bu iki de
ger arasnda olan y0 = 3 saysn ele alalm. Gene f (x) = 3 esitli
gini
sa
glayan bir x noktas yoktur (cunku x = 3 tanm k umesinde de gildir.)
Buradaki sorun da fonksiyonun [1, 5] aral gnda de gil de (0, 2) (4, 6) k umesinde
tanmlanms olmas.
Her iki
ornekte de sorun, fonksiyonun tanm k umesinde deliklerin olmas. Birincisinde
2 tanm k umesinde de gil, ikincisinde ise [2, 4] aral
g tanm k
umesinde degil. S
urekli
fonksiyonlar surekli olduklarndan, iki de ger aldklarnda bu iki de
gerin arasndaki t
um
de
gerleri alrlar, yeter ki tanm k umesinde delikler bulunmasn!
f (a) f (b)
f (a) y0 f (b)
esitsizliklerini varsayalm.
A k umesi soyle tanmlansn:
A = {x [a, b] : f (x) y0 }.
A bosk
ume degildir cu
nk u a, Ann bir elemandr. Ayrca A k umesi b ta-
rafndan u
stten snrldr. Demek ki Anin bir en k
ucu
k u
stsnr vardr.
s = b olsa, o zaman y0 < f (b) = f (s) < y0 gibi bir sacmalk elde ederiz. Demek
ki s < b olmal.
Savn kantnn anahtar Sonuc 2.17de. Bu sonucta X yerine [a, b] ve a
yerine s ve c yerine y0 alalm: f (s) < y0 ve f s
urekli oldugundan, her
x (s , s + ) [a, b]
icin,
esitsizliginin saglandg bir > 0 says oldugunu buluruz. Ama b > s oldu-
gundan,
(s, s + ) [a, b] = .
yandan x >
Bu kesisimden bir x alrsak, (1)den dolay, f (x) < y0 olur. Ote
gundan, x
s = sup A oldu / A olur ve dolaysyla f (x) > y0 esitsizligi saglanr.
C
eliski.
Sav 2. f (s) y0 .
Sav 2nin Kant: Gene bir celiski elde etmek amacyla f (s) > y0 esitsizligini
varsayalm. C
eliskinin nereden kaynaklanacagn bir sonraki sekilde gostermeye
calstk.
60 3. Sureklili
Derinlikleri
gin
s = a olsa, o zaman y0 > f (a) = f (s) > y0 gibi bir sacmalk elde ederiz.
Demek ki a < s olmal.
Savn kantnn matematiksel oz u Sonuc 2.18de. Bu sonucta, X yerine
[a, b], a yerine s ve c yerine y0 alalm: f (s) > y0 ve f surekli oldugundan, oyle
bir > 0 says vardr ki, her x (s , s + ) [a, b] icin,
f (x) > y0
Sonu c 3.5 (Bolzano Teoremi). Eger s urekli bir fonksiyon bir aralkta hem
negatif hem de pozitif degerler alyorsa 0 degerini de alr.
Kant: f (a) 0 f (b) ise, Sonuc 3.4e gore a ile b arasnda f (c) = 0 esitligini
saglayan bir c vardr.
Bol
um
un en basnda verdigimiz ikinci ornek, aralk sozc
ugu
n
u attgmz-
da Sonuc 3.5in dogru olmadgn gosteriyor.
Her ne kadar Bolzano teoremi (Sonuc 3.5), aradeger teoreminin ozel bir
hali gibi duruyorsa da, Bolzano teoreminden hareketle aradeger teoremini
kantlamak m umkundur. Bu kant verelim:
Teoremi
3.2. Aradeger 61
Sonu c 3.6. Derecesi tek olan gercel katsayl bir polinomun gercel saylarda
bir k
ok
u vardr.
Kant: p, tek dereceli bir polinom olsun. pyi baskatsaysna bolerek, pnin
baskatsaysnn 1 oldugunu varsayabiliriz. O zaman limn p(n) = olur
[N4, Sonuc 12.12]. Demek ki, yeterince b uk bir b R icin p(b) > 0 olur.
uy
pnin derecesi tek oldugundan limn p(n) = esitligini de kantlamak
zor degil. Demek ki bir a R says icin p(a) < 0 olur. Sonuc 3.5e gore pnin
(a ile b arasnda) bir kok
u vardr.
Ornekler
3.8. x5 x4 + 2x3 100x + e = 0 esitli gini sa
glayan bir gercel say vardr.
3.9. Ileride Arade ger Teoremini kullanarak sin ve cos fonksiyonlarnn de ger k
umesinin
[1, 1] kapal aral
g oldu
gunu kantlayaca
gz (Sonuc 9.13).
Kant: Eger f R[X], derecesi tek olan bir polinomsa, Sonuc 3.6ya gore
u vardr. Bu koke a diyelim. O zaman X a polinomu f yi boler
f nin bir kok
(en temel cebir bilgisi gerekiyor burada). f indirgenemez oldugundan, bundan,
bir b R icin f (X) = b(x a) ckar. Yani f nin derecesi 1dir.
c 3.9. f : R R, u
Sonu stten ve alttan snrl s
urekli bir fonksiyon olsun. O
zaman bir c says icin f (c) = c olur.
g(x) = f (x) x
Demek ki g > 0. Dolaysyla g(1) > 0. Bu da aynen f (a2 ) < f (b2 ) demek.
Alstrmalar
3.10. f : R R s urekli bir fonksiyon olsun. Eger f nin g oruntus
u sonlu bir kumeyse f nin
sabit bir fonksiyon oldu gunu g osterin.
3.11. a < b ve f : [a, b] R s urekli olsun. Her x [a, b] icin f (x) Q varsaymn yapalm.
f nin sabit bir fonksiyon oldu gunu kantlayn.
3.12. f : [a, b] [a, b] s
urekli bir fonksiyon ise f (x) = x esitli gini sa
glayan bir x saysnn
varl
gn kantlayn.
3.13. I bir aralk ve f : I R monoton artan ve sabit olmayan bir fonksiyon olsun. f
fonksiyonunun s urekli olmasyla f (I) kumesinin bir aralk olmasnn esde ger oldu
gunu
kantlayn.
3.14. n > 0 bir do gal say ve a R0 olsun. a = bn esitli gini sa glayan bir b R0 saysnn
1/n
varl
gn aradeger teoremiyle kantlayn, yani a saysnn varl gn kantlayn.
kuralyla belirlensin. f (I) k umesinin bir aralk oldugunu ama Darboux fonksiyonu ol-
madgn kantlayn.
3.18. I bir aralk ve f : I R bir fonksiyon olsun. f nin bir Darboux fonksiyonu olmas icin
her J I altaral g icin f (J)nin de bir aralk olmasnn yeter ve gerek kosul oldugunu
kantlayn.
3.19. I bir aralk ve f : I R bir fonksiyon olsun. Asa gdaki kosullarn esde
ger oldu
gunu
kantlayn:
Teoremi
3.2. Aradeger 65
a. f Darboux ve birebir.
b. f kesin monoton ve f (I) bir aralk.
Bu durumda f 1 : f (I) R fonksiyonunun da Darboux ve kesin monoton oldu
gunu
kantlayn.
Arade
ger Teoreminin Pop
uler Matematik Uygulamalar
Kant bir onceki kant gibi devam eder. Bu kantta baslangcta aldgmz
dogrunun pastay kesmemesi kosulunun gereksiz olduguna dikkatinizi cekeriz,
cu
nk
u pasta snrl oldugundan, her dogru yeterince otelenirse pastay kesmez.
Populer Teorem 3. Tek bir bcak darbesiyle hem bir pasta hem de bir patates
ayn anda iki esit parcaya b
ol
unebilir.
Kant: Herhangi bir P noktas ve bu noktadan gecen herhangi bir dogrusu
secelim. yi oteleyerek pastay iki esit parcaya bolebilecegimizi biliyoruz. Pas-
tay tam ortadan ikiye bolen bu dogru, patatesi muhtemelen iki esit parcaya
ayrmamstr. Simdi P noktasn sabit alarak dogrusunu hafifce dond urelim.
3.3. Surekli
Fonksiyonlarn Uc Degerleri 67
Elde ettigimiz yeni dogruya m adn verip, aynen yukardaki gibi, myi oteleye-
rek pastay iki esit parcaya ayralm. Bu da patatesi iki esit parcaya ayrmaya-
bilir. Dogrular P noktas etrafnda dondurmeye devam edelim. Ac degistikce,
pastay iki esit parcaya ayran dogrular patatesi de degisik oranlarda bolecek.
Pastay iki esit parcaya bolen dogrularn dogrusuyla yaptklar aclar 0 de-
receden 180 dereceye kadar degisebileceginden pastay iki esit parcaya bolen
dogrulardan birinin patatesi iki esit parcaya bolecegini kantlamak zor degil:
Bir dogru patatesi 3e 4 orannda bol uyorsa, 180 derece dond urulm us dogru
patatesi 4e 3 orannda boler, dolaysyla belli bir acda patates iki esit parcaya
(3, 5 - 3, 5 orannda!) bol
unmeli.
Alstrma 3.20. (Pop uler duzeyde) Yukardaki kesimlerde bcak dikey tutulmus ve pasta
dikey darbelerle kesilmisti. Dikey olmayan kesimlere de izin verirsek, hareket ozg url
ugu
m
uz
2den (bir nokta etrafnda d ondurmek ve d uzlemde
otelemek) 3e ckar (bir nokta etrafnda
d
ond urmek, duzlemde otelemek ve bca
gn masann duzlemiyle yaptg acy de
gistirmek) ve
b
oylece hem pastay hem patatesi hem de bir tabak makarnay tek bir bcak darbesiyle esit
parcalara ayrabiliriz.
3.3 S
urekli Fonksiyonlarn Uc De
gerleri
Aradeger Teoreminden, bir aralgn s urekli bir fonksiyon altndaki imgesinin
gene bir aralk oldugunu biliyoruz; bunu Teorem 3.10da kantlamstk. Bu
bol
umde kapal ve snrl bir aralgn s urekli bir fonksiyon altndaki imgesi-
nin gene kapal ve snrl bir aralk oldugunu gorecegiz. Bundan da s urekli
bir fonksiyonun kapal ve snrl bir aralkta uc degerlerini (infimum ve sup-
remum degerlerini) aldg anlaslr. Bu, matematiksel analizin cok kullanlan,
hem teoride hem de pratikte sk sk basvurulan teoremlerden biridir.
68 3. Sureklili
Derinlikleri
gin
Teorem 3.12 (Uc Deger Teoremi). I R, kapal ve snrl bir aralk olsun.
f : I R surekli bir fonksiyon olsun. O zaman oyle bir a, b I saylar vardr
ki, her x I icin
f (b) f (x) f (a)
olur. Yani f (b) = inf f (I) = min f (I) ve f (a) = sup f (I) = max f (I) esitlik-
lerini saglayan a, b I saylar vardr. Bir baska deyisle surekli bir fonksiyon
kapal bir aralkta maksimum ve minimum degerlerini alr. Gene bir baska
deyisle kapal ve snrl bir aralgn s
urekli bir fonksiyon altndaki imgesi gene
kapal ve snrl bir aralktr.
Teoremi kantlamadan once yukarda soz unu ettigimiz onemli sonucunu ya-
zalm:
Teoremin kapal olmayan aralklarda yanls oldugunu farkedelim. Nitekim
(0, 1] aralg u
st
unde tanmlanms olan f (x) = 1/x fonksiyonu s ureklidir ama
u umesi [1, ) aralgdr.
stten snrl degildir, deger k
Teorem, kapal ama snrsz aralklarda da yanlstr. Orne
gin yukardaki gibi
f (x) = 1/x kuralyla tanmlanan f : [1, ) R fonksiyonunun imgesi kapal
olmayan (0, 1] aralgdr.
3.3. Surekli
Fonksiyonlarn Uc Degerleri 69
yaklasrlar ama hic 1 olmazlar (bkz. soldaki grafik.) Fonksiyon, 0 ile 1 ara-
snda her degeri alr ama 1 degerini almaz. Bunun nedeni fonksiyonun tanm
k
umesinin (0, 1) ack aralg olmasdr. Oysa tanm k
umesini [0, 1] kapal aralg
olarak tanmlasaydk, fonksiyon maksimum degerini 1de alacakt: 12 = 1 (bkz.
sagdaki grafik.)
Teorem 3.12nin Kant: Kapal ve snrl aralga I, s urekli fonksiyona da f
diyelim. f (I)nn bir aralk oldugunu biliyoruz [bkz. Teorem 3.10].
Once fonksiyonun, yani gor untu k umesi f (I)nin ustten snrl oldugunu
kantlayalm. f (I)nn u stten snrl olmadgn varsayalm. O zaman her n
dogal says icin, f (xn ) > n esitsizligini saglayan bir xn I bulunur. Elbette
lim f (xn ) =
n
olur.
Bu asamada, snrl her dizinin yaknsak bir altdizisi oldugunu soyleyen
Bolzano-Weierstrass Teoremine [N4, Teorem 9.4] ihtiyacmz olacak. Bolzano-
Weierstrass Teoremine gore I aralg tarafndan snrlanms olan (xn )n dizi-
sinin yaknsak bir altdizisi vardr. Bu altdiziye (xn )n adn verelim. (f (xn ))n
sonsuza raksadgndan, bu dizinin bir altdizisi olan (f (xn ))n dizisi de sonsuza
raksar (bkz. [N4, Alstrma 8.14]). Ama f s urekli oldugundan,
( )
lim f (xn ) = f lim xn R
n n
Kantmz tamamlanmstr.
Teorem 3.12nin Yarsnn Bir Baska Kant: K, kapal bir aralk ve
urekli bir f : K R fonksiyonu olsun. f (K)nn snrl olmadgn varsayalm.
s
Bir b R sabitleyelim. Her n dogal says icin oyle bir xn K eleman bulalm
ki, d(f (xn ), b) n olsun. K kapal bir aralk oldugundan, Bolzano-Weierstrass
Teoremine gore (xn )n dizisinin yaknsak bir altdizisi vardr [N4, Teorem 9.4].
Bu yaknsak altdiziye (xnk )k diyelim. Limitine de x diyelim. O zaman, f s urekli
oldugundan,
( )
|f (x) b| = f lim xnk b = lim f (xnk ) , b
k k
= lim |f (xnk ) b| lim nk = .
k k
Bir celiski.
Teorem 3.13 (Pop uler Teorem). Sabit uzunlukta bir telle, en buyuk alan
kaplayacak bir dikd
ortgen yaplabilir. Telin uzunlugu p ise bu en b
uyuk alan
p2 /16dr.
Kant: Telin uzunlugu p olsun. C evresi p olan bir dikdortgenin bir kenar x
ise, diger kenar p/2 xtir; dolaysyla alan
(p ) px
f (x) = x x = x2 +
2 2
olur. xin degeri 0 ile p/2 arasnda degistigine gore, f fonksiyonunu [0, p/2]
aralgndan Rye giden bir fonksiyon olarak gorebiliriz. f s urekli oldugundan,
3.3. Surekli
Fonksiyonlarn Uc Degerleri 71
bol
umde kantlanan teoreme gore, kapal ve snrl olan bu aralkta f en b
uy
uk
degerini alr.
( p ) p2
f =
4 16
oldugundan, bu en b uk deger p2 /16dan k
uy ucu
k olamaz. Hatta fonksiyonun
grafigi bir parabol oldugundan, fonksiyon en b uy
uk degeri, 0 ile p/2 olan iki
kok
un un tam ortasnda, yani x = p/4 icin alr.
4. Limit
f : [a, b] \ {c} R,
grafigi asagdaki gibi olan bir fonksiyon olsun. Fonksiyon c noktasnda tanm-
lanmams. Oysa fonksiyon cnin solunda ve sagnda tanmlanms.
x, cye soldan yaklastgnda, f (x) degeri vye yaklasyor; ama x, cye sagdan
yaklastgnda, f (x) degeri uya yaklasyor. u = v oldugundan, bu durumda x,
cye yaklastgnda, f (x)in sabit bir sayya yaklastgn soyleyemiyoruz. Bu du-
rumda f nin cde tanmlanmams olmas dogal karslanabilir. Ama eger u = v
olsayd (yani fonksiyonun grafigi asagdaki gibi olsayd), o zaman f fonksiyo-
nunun cdeki degerini dogal olarak u olarak tanmlayabilirdik.
(a , a + ) (A \ {a}) =
(a , a + ) A {a}
(a , a + ) (A \ {a}) =
kosulunu saglamas gerekir ki her b says limit olmasn ve limit denen sey
biricik olsun ve bir ise yarasn.
Yukardaki kosulu saglayan bir a elemanna Ann yo gunlasma ya da li-
mit noktas denir. Limit kavramn ele almadan once yogunlasma noktas
kavramna goz atalm.
4.2 Yo
gunlasma Noktas
A R ve a R olsun. Eger her > 0 icin,
(a , a + ) (A \ {a}) =
Ann yogunlasma noktas Ada olabilir de olmayabilir de. Ornekler asagda.
Ornekler
Alstrmalar
4.8. A = {1/n : n = 1, 2, 3, . . .} ve A {0} kumelerinin tek bir yogunlasma noktas vardr:
0. Kantlayn.
4.9. Eger her kesirli say bir kumenin yo
gunlasma noktasysa, her gercel saynn bu k
umenin
bir yogunlasma noktas oldu gunu kantlayn.
4.10. Eger B, Ann yo gunlasma noktalarndan olusan k
umeyse, Bnin her yo gunlasma nok-
tasnn Bde oldu gunu kantlayn.
4.11. {1/n + 1/m : n, m N \ {0}} k umesinin yogunlasma noktalarnn 0 ve bir n N \ {0}
says icin 1/n biciminde yazlan saylar oldugunu kantlayn.
Eger A ustten snrl degilse, bazen un Ann bir yogunlasma noktas
oldugunu soylemek isimize gelecek. Benzer sekilde eger A alttan snrl degilse,
nin Ann bir yogunlasma noktas oldugunu soyleyecegiz.
Yogunlasma noktas kavram analizin en onemli kavramlarndan biridir.
Ileride daha sk sozedecegiz bu kavramdan. Okurun kavram daha iyi hisset-
mesi icin, yogunlasma noktalaryla ilgili, yakn zamanda ihtiyacmzn olma-
yacag onemli bir sonuc kantlayalm.
Onsav 4.1. ann Ann bir yogunlasma noktas olmas icin gerek ve yeter
kosul, Ada aya yaknsayan ve terimleri birbirinden farkl olan bir dizinin
bulunmasdr.
k
umesinde bir xn eleman bulunur. O zaman elbette
lim xn = a
n
|xn a|
0 < |xn+1 a| <
2
esitsizliklerini saglayan xn A elemanlar bulabiliriz. Bunu soyle yaparz:
x0 A herhangi bir eleman olsun. xn saylarn t umevarmla bulacagz. xn nin
bulundugunu varsayalm. = |xn a|/2 olsun. T umevarm varsaymndan
dolay > 0 olur. a, A k umesinin bir yogunlasma noktas oldugundan,
(a , a + ) (A \ {a}) =
|xi a|
0 < |xn a| <
2ni
esitsizligi kolaylkla kantlanr. Buradan xn lerin birbirinden farkl oldugu an-
laslr. Ayrca, i = 0 icin,
|x0 a|
0 < |xn a| <
2n
elde edilir. Demek ki,
lim xn = a
n
olur.
() Simdi Ada aya yaknsayan ve terimleri degisik olan bir dizinin var-
lgn varsayalm. Boyle bir (xn )n dizisi alalm. > 0 herhangi bir say olsun.
(a , a + ) (A \ {a})
k
umesinin bos olmadgn kantlamamz gerekiyor. Ama bu k
umede (xn )n di-
zisinin bir terimi olmal! Onsavmz kantlamstr.
Alstrmalar
4.12. S R, ustten snrl ve yo ume olsun. L(S), Snin yo
gunlasma noktas olan bir k gunlasma
noktalarndan olusan k ume olsun. L(S)nin ustten snrl oldu osterin. sup L(S)
gunu g
L(S) icindeli
gini kantlayn; yani sup L(S)nin Snin en b uy
uk yo
gunlasma noktas ol-
du
gunu kantlayn.
k
umesinin her x elemannn,
|f (x) b| <
esitsizligini sagladg (k
umeden secilen xten bagmsz) bir > 0 says varsa,
o zaman, x, aya giderken f (x)in limiti bdir ya da f (x)in ada limiti
bdir denir. Yani x, aya giderken f (x)in limitinin b olmas icin, her pozitif
says icin oyle bir pozitif says olmal ki,
x (a , a + ) (A \ {a})
kosulu,
|f (x) b| <
esitsizligini gerektirmeli.
Bu kosul daha simgesel olarak soyle yazlr:
Bir noktann altn cizmek gerekir: x, aya giderken demek, x, aya cok
yaklasrken ama x, aya esit olmadan aya yaklasrken demektir; cunkuf
fonksiyonu ada tanml olmayabilir (olabilir de ama olmayabilir de).
Ornek
4.13. Orne
gin a = 0 ve
exp x 1
f (x) =
x
olabilir. Bu ornekte f fonksiyonu 0da tanml de gildir, ama g
orece
gimiz uzere 0da limiti
vardr ve bu limit 1dir. Bunu kantlamak icin
once f (x)i bir kuvvet serisi olarak bulalm.
Eger x = 0 ise
exp x 1 xi /i! 1 xi /i! xi1
xi
x x2
= i=0
= i=1
= = =1+ + +
x x x i=1
i! i=0
(i + 1)! 2! 3!
olur. x = 0 ise en soldaki ifadenin (f fonksiyonunun yani) neye esit oldu gu anlamsz bir
soru, cu
nk u x = 0 icin ifade (fonksiyon) tanml de gil. Ama sa
gdaki ifadeyi x = 0 icin
de
gerlendirebiliriz ve 1 buluruz. Buradan, x, 0a giderken soldaki ifadenin limitinin 1 oldu gu
tahmin edilebilir ve nitekim oyledir de. Bunu kantlayalm. > 0 olsun. Oyle bir > 0
bulaca ger 0 = |x| < ise
gz ki, e
exp x 1
|f (x) 1| = 1 <
x
80 4. Limit
Alstrmalar
4.14. Asa
gdaki limitleri kantlayn:
sin x 1 cos x 1
lim sin x = 0, lim = 1, lim cos x = 1, lim = .
x0 x x x0 x0 x2 2
4.15. sin x, cos x ve exp xin kuvvet serisi olarak aclmlarna bakarak yukardaki alstrmalara
benzer alstrmalar bulun.
lim f (x) = b
xa
yazabiliriz.
Bol
um un girisinde yaptgmz tartsmadan su onemli sonuc ckar:
esitligi saglanmaldr.
Ornekler
82 4. Limit
2
1
4.16. S
u formulle tanmlanan fonksiyona bakalm: f (x) = xx1 . Ama bir fonksiyonu tanmla-
mak icin fonksiyonun kuraln vermek yetmez, bir de ayrca fonksiyonun tanm ve de ger
kumelerini de vermek gerekir. (Tanm k umesi de ger kumesinden biraz daha onemli-
dir.) Bu form ulle tanmlanan fonksiyonun tanm k umesi 1i icermeyen herhangi bir say
kumesi olabilir; cu
nku fonksiyon 1de tanml degildir. Biz, f fonksiyonunu R \ {1}den
R k umesine giden bir fonksiyon olarak g orece
giz. Bu fonksiyon aslnda (kesirli ifadeyi
sadelestirerek), f (x) = x + 1 form uyle de verilebilirdi (ama x = 1 kosuluyla!) Fonksi-
ul
yonun grafi gi so
yle:
1 says R\{1} k
umesinin bir yo gunlasma noktasdr. Dolaysyla, her ne kadar fonksiyon
1de tanml de
gilse de, x, 1e giderken fonksiyonun limitini almaya calsabiliriz:
x2 1
lim f (x) = lim = lim (x + 1)
x1 x1 x1 x1
Bir baska onemli nokta daha: C ogu zaman, yukardaki ornekte oldugu gibi
bir fonksiyonun degil, bir ifadenin limiti alnr. Yani fonksiyonun tanm k umesi
belirtilmez. Bu bazen soruna yol acabilir, cu nku fonksiyonun limiti fonksiyonun
tanm k
umesine gore de degisebilir. Orne gin,
{
|x| 1 eger x > 0 ise
f (x) = =
x 1 eger x < 0 ise
4.4. Limitin Aritmetigi 83
ve ( )( )
lim f (x) lim g(x) = lim f (x)g(x)
xa xa xa
gibi esitlikler, esitligin sol tarafndaki ifadeler anlaml olduklarnda, dogru ola-
caklar. (Bu, sag taraftaki ifade de anlaml olacak anlamna gelir.)
Not. Teorem 4.3ten dolay f ve g fonksiyonlar, ada s urekli oldugunda bu
esitlikler dogrudur elbet, ama bu esitlikler a noktas f ve gnin tanm kume-
sinde olmasa da gecerlidir.
Altbol
umun devamnda devaml ayn seyi tekrarlamamak icin su tanmlar
yapyoruz: A R, bir gercel saylar kumesi. a R, Ann bir yogunlasma
noktas ve f ve g, Adan Rye giden iki fonksiyon.
ve ( )( )
lim f (x) lim g(x) = lim (f g)(x)
xa xa xa
esitlikleri saglanr.
84 4. Limit
Kant: limxa f (x) = b ve limxa f (x) = c olsun. Once daha kolay olan
toplamadan baslayalm. > 0 verilmis olsun. b, f nin ada limiti oldugundan,
oyle bir 1 > 0 vardr ki, (a 1 , a + 1 ) A k
umesinin her x eleman
|f (x) b| <
2
esitsizligini saglar. Ayrca c, gnin ada limiti oldugundan, oyle bir 2 > 0
vardr ki, (a 2 , a + 2 ) A kumesinin her x eleman
|g(x) c| <
2
esitsizligini saglar. Simdi = min{1 , 2 } olsun. Elbette > 0 olur. Simdi
(a , a + ) A k umesinin her x eleman icin,
esitsizliginin gecerli olmas icin xin ann ne kadar yaknnda olmas gerektigini
bulalm. Bunun icin elbette ada s urekli olduklarn bildigimiz f ve g fonksi-
yonlarn hesaplarn icine sokmalyz. Hesaplara baslayalm:
En alttaki
|f (x)||g(x) c| + |f (x) b||c|
ifadesinin saysndan k ucu
k olmasn istiyoruz. Toplanan iki terimin her bi-
rini /2 saysndan k ucu
k yapabilirsek o zaman toplam dan k ucu
k olur.
Ifadenin sagndaki |f (x) b||c| terimi bu acdan bir sorun teskil etmiyor,
4.4. Limitin Aritmetigi 85
cu
nku ne de olsa c, xten bagmsz sabit bir say ve f nin adaki limiti b
oldugundan, |f (x) b| saysn 2|c|
den kucu
k olacak bicimde secebiliriz; o
zaman, |f (x) b||c| terimi de 2 den k
ucu
k olur. (Eger c = 0 ise, /2c diye
bir sey yoktur ama eger c = 0 ise en sagdaki ifade zaten kaybolur. Eger cnin
0 olup olmamasyla ugrasmak istemiyorsak, yukarda merkezlenen ifadede |c|
yerine |c| + 1 > 0 saysn koyup, xi |f (x) b| says 2(|c|+1)
den kucu
k olacak
bicimde secebiliriz. Birazdan akl y ur
utmelerimizi ozetledigimizde aynen bunu
yapacagz.) Sagdaki |f (x)||g(x) c| terimi daha problematik cu nk u, her ne
kadar |g(x) c|yi k ltebilirsek de, eger x degistikce |f (x)| says snrsz
ucu
buyurse carpm cok k ucu
k olmayabilir. Demek ki f (x)in c civarnda snrl
oldugunu kantlamalyz. Once bunu kantlayalm, daha sonra teoremin resm
kantn veririz.
Teorem 4.9. Eger f nin ada limiti varsa o zaman f , ann bir komsulugunda
oyle > 0 ve M saylar vardr ki, eger x (a , a + ) A
snrldr; yani
ise, |f (x)| < M olur.
|c|
(1) |f (x) b||c| < |c| =
2(|c| + 1) 2 |c| + 1 2
olur.
b. Ayrca, gene limxa f (x) = b oldugundan, Teorem 4.9a gore, oyle 2 > 0
ve M > 0 saylar vardr ki, eger x (a 2 , a + 2 ) A ise,
olur.
86 4. Limit
c. limxa g(x) = c oldugundan, oyle bir pozitif 3 > 0 says vardr ki, eger
x (a 3 , a + 3 ) A ise,
(3) |g(x) c| <
2M
olur.
d. Simdi = min{1 , 2 , 3 } > 0 ve x (a , a + ) A olsun. O zaman
(1, 2, 3) esitsizliklerinden dolay,
|f (x)g(x) bc| = |f (x)g(x) f (x)c + f (x)c bc|
|f (x)g(x) f (x)c| + |f (x)c bc|
= |f (x)||g(x) c| + |f (x) b||c|
M + = + =
2M 2 2 2
olur. Teorem 4.8 kantlanmstr.
Sonuc 4.10. Eger f nin ada limiti varsa ve r R herhangi bir gercel sayysa,
o zaman rf fonksiyonunun da ada limiti vardr ve
lim rf (x) = r lim f (x)
xa xa
esitligi saglanr.
Kant: Teorem 4.8de g(x) = r alarak ckar. Bir baska kant:
lim f (x) = b
xa
olsun. Eger r = 0 ise her sey ortada. Bundan boyle rnin 0 olmadgn varsa-
yalm. Limitin tanmna gore, oyle bir > 0 vardr ki, her x (a , a + ) A
icin
|f (x) b| <
|r|
olur, demek ki,
|rf (x) rb| = |r||f (x) b| < |r| =
|r|
olur.
Bu sonucun bariz bir sonucu:
lim (f (x)) = lim f (x);
xa xa
tabii eger sagdaki ifadenin anlam varsa, yani sagdaki limit varsa.
( 2 )2
Teorem 4.11. Eger limxa f (x) varsa ve 0 degilse o zaman limxa 1/f (x)
limiti de vardr ve
1 1
lim =
xa f (x) limxa f (x)
esitligi gecerlidir.
Bu teoremi kantlamadan once Teorem 4.9un bir benzerini kantlamalyz.
Teorem 4.12. Eger f : A R fonksiyonunun ada limiti varsa ve bir c R
icin, limxa f (x) > c oluyorsa, o zaman oyle bir > 0 says vardr ki, her
x (a , a + ) A \ {a} icin f (x) > c olur.
Kant: limxa f (x) = b > c olsun. = b c > 0 olsun. O zaman oyle bir
> 0 vardr ki, eger x (a , a + ) A \ {a} ise,
|f (x) b| < ,
x (a , a + ) A \ {a}
f (x) g(x)
Teorem 4.13. Eger limxa f (x) ve limxa g(x) varsa ve ann bir komsulu-
gunda f g ise o zaman,
olur.
f (x) g(x)
olur.
lim f (x) = b ve lim g(x) = c
xa xa
olsun. b c esitsizligini gostermek istiyoruz. Bir an icin, b > c varsaymn
yapalm.
b+c
d=
2
olsun. O zaman,
lim g(x) = c < d < b = lim f (x)
xa xa
olur. Teorem 4.12ye gore, oyle bir 2 > 0 says vardr ki, eger
x (a 2 , a + 2 ) A \ {a}
ise,
d < f (x)
olur. Gene Teorem 4.12ye gore (daha dogrusu Teorem 4.12nin benzerine
gore), oyle bir 3 > 0 says vardr ki, eger x (a 3 , a + 3 ) A \ {a}
ise,
g(x) < d
4.5. Sralama ve Limit 89
olur.
Simdi = min{1 , 2 , 3 } ise, her x (a , a + ) A \ {a} icin
olur.
Kant: Eger limxa (h(x) f (x)) limiti oldugunu ve bu limitin 0a esit oldu-
gunu gosterirsek, o zaman
lim h(x) = lim (h(x) f (x)) + lim f (x) = 0 + lim f (x) = lim f (x)
xa xa xa xa xa
olur. Demek ki
lim (g(x) f (x)) = 0
xa
0hf gf
esitsizliklerinden hareketle
olur ve amacmz
lim h(x) = 0
xa
90 4. Limit
esitli
ginin gecerli oldu
gunu kantlayn.
4.20. limxa |f (x)| = 0 ile limxa f (x) = 0 esitliklerinin esde ger olduklarn kantlayn. (Bi-
rinin limiti varsa ve 0a esitse, di
gerinin de vardr ve o da 0a esittir.) Ama esde
gerli
gin
0 dsnda bir say icin do
gru olmad gn bir kars
ornekle g
osterin.
4.21. (an )n ve (bn )n iki yaknsak dizi olsun. limn bn = 0 olsun. (cn )n , terimleri her n icin,
an bn cn an + bn
esitsizli
gini sa
glayan bir dizi olsun. O zaman limn cn = limn an esitli
gini kantla-
yn.
4.6. Bileske ve Limit 91
g(x) (c , c + )
olur. Ayrca limxa f (x) = b oldugundan, oyle bir > 0 vardr ki her x
(a , a + ) A \ {a} icin,
f (x) (b 1 , b + 1 )
g(f (x)) (c , c + )
olur.
Kant: g s
urekli oldugundan, limxa g(f (x)) = g(limxa f (x)) = g(b) olur.
Alstrmalar
1
Kanttan da anlaslacag u
zere, e
ger f , ann bir komsulu
gunda en fazla bir defa b de
gerini
alyorsa da teorem gecerlidir.
92 4. Limit
x2 2x2 8 x+2
lim , lim , lim ,
x2 x + 4 x2 x 4 x0 2 + 4x x2
2x2 3x 35 x3 + 9x2
lim , lim 3 .
x5 x5 x3 x + 8x2 4x 57
4.28. a > 0 olsun. limx0 a+x x
a
limitini bulun. a = 0 ise limit var mdr?
exp(2x)1
4.29. limx0 x
= 2 esitligini kantlayn.
exp(3x)1
4.30. limx0 2x
limitini bulun.
4.31. limx0 exp x1x
x 2 = 12 esitli
gini kantlayn.
Cauchy-S urekli Fonksiyonlar. Cauchy dizilerini Cauchy dizilerine got uren bir
fonksiyona bazen Cauchy-s urekli denir. Eger X = R ise, s
urekli fonksiyonlar Cau-
chy-s
urekli olmayabilirler. Orne
gin Ornek 1.9deki fonksiyon sureklidir ama Cauchy-
s yandan X = R ise Cauchy-s
urekli degildir. Ote urekli bir fonksiyon surekli olmak
zorundadr.
Kant: Nitekim, eger (xn )n dizisi xe yaknsyorsa, bir Cauchy dizisidir. O zaman,
x0 , x, x1 , x, x2 , x, x3 , x, x4 , . . .
5.1 Sa
gdan ve Soldan Limit
Fonksiyon 0da s urekli degil ama belli ki bu fonksiyon 0da o kadar da kot
u dav-
ranmyor; fonksiyon 0 dolaynda soldan 0a sagdan da 1e yaknsyor... Bu
soyledigimizi birazdan matematiksellestirecegiz.
yandan, kesirli saylarda 1 degerini alan, kesirli olmayan saylarda
Ote
0 degerini alan fonksiyon, 0da (ve diger noktalarda da) s urekli olmamakla
kalmyor, bir onceki fonksiyondan cok daha vahsice davranyor.
Bu bolumde, ilk ornegimizde oldugu gibi, belki sureksiz ama gene de surek-
siz oldugu noktalarda ele avuca gelen fonksiyonlarla ugrasacagz.
Grafigi asagda olan fonksiyonu ele alalm. Fonksiyon belli ki a noktasnda
s
urekli degil, cu
nk
u x, aya giderken f (x) kah bye kah cye yakn oluyor. Daha
dogrusunu soyleyelim, x, aya soldan yaklasrken f (x), bye yaklasyor ama x,
aya sagdan yaklasrken f (x), cye yaklasyor. Buradan f (x)in bir soldan bir de
sagdan olmak u zere iki limiti oldugu d
usu
ncesi dogabilir. Nitekim bu ornekte
f nin bir sol limiti bir de sag limiti vardr.
94
5. Limit Uzerine Daha Fazla
|f (x) b| <
esitsizligini sagladg bir > 0 varsa, o zaman, x, aya soldan giderken f (x)in
limiti bdir ya da f (x)in ada soldan limiti bdir denir.
Ama bu tanmda bir sey eksik. C unku a, Ann bir yogunlasma noktas
olabilir ama pozitif bir icin (a , a) A k umesi bosk
ume olabilir ve bu
durumda her b says f nin ada soldan limiti olur. Bunu kabul edilemez bir
durum olarak addettigimizden a ile A arasndaki iliskiyi d uzeltmeliyiz.
Eger her > 0 says icin (a , a) A = oluyorsa, bu durumda aya
Ann soldan yo gunla sma noktas diyelim. Bir baska deyisle, eger a noktas
(, a) A k umesinin yogunlasma noktasysa, aya Ann soldan yogunlasma
noktas denir. Bu da, kolayca gor ulecegi u
zere
sup((, a) A) = a
inf((a, ) A) = a
esitligini saglar. Orne
gin 1 says (0, 1) aralgnn soldan bir yogunlasma nok-
tasdr ama sagdan bir yogunlasma noktas degildir. 0, 1, 3 ve 4 noktalar
|f (x) b| <
esitsizligini sagladg bir > 0 says varsa, o zaman, x, aya soldan giderken
f (x)in limiti bdir ya da f (x)in ada soldan limiti bdir denir.
Yani x, aya giderken f (x)in soldan limitinin b olmas icin, her > 0 says
icin oyle bir > 0 says olmal ki,
x (a , a) A
kosulu,
|f (x) b| <
esitsizligini gerektirmeli. Bu kosul daha simgesel olarak soyle yazlr:
onermelerdir.
Kant: Bariz.
Yukardaki sonuc bize b uy
uk bir rahatlk saglar. Normal limit icin ka-
ntladgmz bircok sonucu boylece sagdan ve soldan limitlere genisletebiliriz.
Ornekler asagda.
Asagdaki onsav ve teoremlerde, aksi belirtilmedikce, bir f fonksiyonunun
ada soldan limitinden soz ediliyorsa, ann fonksiyonun tanm k umesinin sol-
dan bir yogunlasma noktas oldugunu varsayacagz.
Kant: Aynen Onsav
4.2 gibi. Okura alstrma olarak braklmstr. Onsav
5.1den de hemen ckar.
Onsav 5.2 sayesinde, x, aya soldan yaklasrken f (x)in limiti varsa, bu
limiti,
lim f (x)
xa
olarak yazma hakkn kendimizde buluruz. Bu durumda, Onsav 5.1deki ta-
nmla
lim f (x) = lim g(x)
xa xa
olarak gosterilir.
dolaysyla
|g(x) b| max{h(x) b, (f (x) b)} <
olur. Kant bitmistir.
Onsav 5.4. f nin ada sagdan limiti varsa, g(x) = f (x) esitligiyle tanmla-
nan g fonksiyonunun ada soldan limiti vardr ve iki limit birbirine esittir.
5.1. Sagdan ve Soldan Limit 97
olur.
Kant: Onsav
5.1 ve Teorem 4.8den ckar. Ikinci onerme icin Sonuc 4.10
uygulanmal.
Teoprem 4.11in muadili de ayn nedenden dogrudur:
Teorem 5.6. Eger limxa+ f (x) varsa ve 0 degilse o zaman limxa+ 1/f (x)
limiti de vardr ve
1 1
lim =
xa f (x)
+ limxa+ f (x)
esitligi gecerlidir.
Teorem 5.7. a, f fonksiyonunun tanm k umesinin soldan ve sagdan yogun-
lasma noktas olsun. f nin ada limiti olmas icin yeter ve gerek kosul, fonksi-
yonun o noktada soldan ve sagdan limiti olmas ve bu limitlerin birbirine esit
olmalardr. Ayrca bu durumda u c limit de birbirine esittir, yani
olur.
Kant: Fonksiyonun bir noktada limiti varsa, fonksiyonun o noktada soldan
ve sagdan limiti oldugu ve bu limitlerin esit oldugu tanmlardan dolay bariz.
Simdi fonksiyonun a noktasnda soldan ve sagdan limiti oldugunu ve bu li-
mitlerin esit olduklarn varsayalm. Sol ve sag limitlere b diyelim. Fonksiyonun
ada limitinin b oldugunu kantlayacagz.
> 0 herhangi bir say olsun.
98
5. Limit Uzerine Daha Fazla
|f (x) b| <
esitsizligini saglar.
Simdi = min{1 , 2 } olsun. Elbette > 0 ve (a , a + ) A k
umesinin
her x eleman |f (x) b| < esitsizligini saglar.
En sagdaki ifadenin x, 0a giderken limitini alaca gz. Dogrusu pek kolaya benzemiyor.
Neyse ki ifadenin soldan ve sa
gdan limitini alabiliriz. Once xin pozitif oldu
gunu varsayalm.
O zaman,
exp x 1
xn1
xn1
xn
1< = < = = exp x
x n=1
n! n=1
(n 1)! n=0
n!
olur. Demek ki, x > 0 oldu
gunda,
exp x 1
1< < exp x
x
elde ederiz. Ama exp x, surekli bir fonksiyon, dolaysyla 0da limiti var ve bu limit de exp 0a,
yani 1e esit. Onsav 5.3e g
ore
exp x 1
lim = 1.
x0+ x
y = x > 0 olsun.
exp x 1 exp(y) 1
1
exp y
1 1 exp y 1
= = =
x y y exp y y
esitli
ginden, Onsav 5.4ten ve biraz
once yaplanlardan dolay
exp x 1 1 exp y 1
lim = lim =11=1
x0 x y0+ exp y y
elde ederiz.
Teorem 5.7ye g
ore, son iki sonuctan,
exp x 1
lim =1
x0 x
esitli
gi elde edilir.
Alstrmalar
5.2. Limitler ve Sonsuzlar 99
exp(x+h)exp x
5.2. limh0 = exp x esitli
gi kantlayn.
{ h
4x 2 e ger x 3 ise
5.3. f (x) = olsun. limx3+ f (x) = 10 ve limx3 f (x) = 7
2x + 1 e ger x < 3 ise
esitliklerini kantlayn.
x x
5.4. limx0+ |x| ve limx0 |x| limitlerini bulun.
Ornekler
3x2 4x + 5
f (x) =
2x2 + 1
form ul
uyle tanmlanan fonksiyonu ele alalm. Bu fonksiyon her gercel say icin tanmldr.
x cok cok buy
ud ug
u zaman bu fonksiyonun degerleri ne olur? Biraz dusu
n unce anlas-
lacag u
zere, x cok buy gu zaman, 3x2 terimi paydaki
uk oldu
3x2 4x + 5
terimine h
ukmeder, yani x cok b
uy gunda, 3x2 nin yannda
uk oldu
4x + 5
pek kucu
k kalr, esamesi bile okunmaz. Orne gin x = 1000 iken 3x2 says 3 milyondur,
ama 4x + 5 says, mutlak de geri alnd
gnda bile sadece 4000 dolayndadr. 3 milyonun
yannda 4000in s oz
u bile edilmez! x daha da b uy
udukce 3x2 ile 4x + 5 arasndaki
fark astronomik olur. Benzer sey payda icin de gecerlidir. Demek ki x cok cok b uy
uk
gunda, f (x)in kabaca 3x2 /2x2 , yani 3/2ye esittir:
oldu
3x2 4x + 5 3x2 3
f (x) = 2
= .
2x + 1 2x2 2
100
5. Limit Uzerine Daha Fazla
xe birkac de
ger vererek, f (x)i -
orne
gin Excelde - hesaplayalm.
f (1) = 1,3333...
f (2) = 1
f (3) = 1,052631...
f (10) = 1,31840...
f (100) = 1,480175991...
f (1.000) = 1,49800175..
f (10.000) = 1,49980001...
f (100.000) = 1,4998...
f (1.000.000) = 1,49998...
Goruld
ugu
gibi x buy
ud ukce f (x) degeri 1,5 saysna yani 3/2ye cok yaklasyor. x
sonsuz oldu gunda, f (x) sanki tam 3/2 olacak! I ste bu b
ol
umde x sonsuz oldu gunda
s
ozlerine anlam verece giz. Biz, x sonsuz oldu gunda demeyece giz de (cu
nku olmaz oyle
sey!), x sonsuza gittiginde diyece giz.
f (x)in x buy
udukce 3/2ye cok yakn bir de ger oldu gu so
yle de anlaslabilir: Pay ve
payday x2 ye bolelim.
Beliren
4/x, 5/x2 , 1/x2
B
utun bu soylediklerimiz edebiyata girer simdilik. Asagda, tanmlar ma-
tematiksel olarak verecegiz.
Ornek 5.5te b = 3/2 ve eger xi 10.000den b uyuk alrsak, f (x) ile 3/2
arasndaki fark 0,001i gecmez. Eger f (x) ile 3/2 arasndaki farkn 0,000001i
gecmemesini istiyorsak, o zaman xi daha da b uy
uk almalyz. (Ne kadar
b
uy uk almamz gerektigini bulmak zorunda degiliz! Yeter ki yeterince b uyuk
aldgmzda f (x)in bye istedigimiz kadar yakn olacagn bilelim. Ote yandan
xi ne kadar b uy
uk almak gerektigi kendine ozgu hos bir problemdir.)
Matematiksel tanm verme zaman geldi: Eger her > 0 icin,
x > A |f (x) b| <
onermesini saglayan bir A says varsa, o zaman, x sonsuza gittiginde f (x),
bye yaknsar (ya da gider) denir.
Birazdan kantlayacagmz uzere, b says, oldugunda, tektir; yani eger x
sonsuza gittiginde f (x) bir sayya yaknsyorsa, f (x) ikinci bir sayya daha
yaknsayamaz. Bundan aldgmz yetkiyle,
lim f (x) = b
x
yazacagz.
Ornekler
5.6. limx 1/x = 0.
Kant: f (x) = 1/x denklemiyle tanmlanan fonksiyonun tanm k umesini 0 icermeyen
stten snrsz herhangi bir X R olarak secebiliriz. > 0 olsun. A = 1/ olsun.
ve u
Eger x X says, x > A esitsizli
gini sa
glyorsa, o zaman
1 1 1
|f (x) 0| = = < =
|x| x A
olur. Istedi
gimizi kantladk.
102
5. Limit Uzerine Daha Fazla
5.7. Ornek 5.5teki fonksiyonun x sonsuza giderken 3/2ye yaknsad
gn, yani
3x2 4x + 5 3
lim =
x 2x2 + 1 2
matematiksel tanma uygun olarak kantlayalm.
Kant: > 0, verilmis olsun. Oyle bir A bulaca gz ki, her x > A icin,
f (x) 2 <
3
esitsizli
gi sa
glanacak. (Burada f (x), limiti alnacak kesirli ifadeyi simgeliyor.) Bunu
yapmak icin
f (x) 2
3
ifadesiyle oynayp, bu ifadenin dan k ucu
k olmas icin Ann ne kadar buy
uk olmas
gerekti gini bulaca
gz.
2
3x 4x + 5 3 2(3x2 4x + 5) 3(2x2 + 1) 8x + 7 | 8x + 7|
2x2 + 1 2
=
2(2x2 + 1) 2(2x2 + 1) = 2(2x2 + 1)
=
Alstrmalar
5.8. S
u esitlikleri tanmdan hareketle kantlayn:
3x2 + 4x 5 3 5x2 + 4x 5 5 5x2 + 4x 5
lim = , lim = , lim = 0.
x 2x 1
2 2 x 2x + 7
2 2 x 2x3 + 7
5.9. Asa
gdaki limitleri bulun ve buldu
gunuz limitin ifadenin gercekten limiti oldu
gunu
tanmdan hareketle kantlayn.
7x2 + 4x 5 7x2 + 4x 5
lim , lim .
x 4x 1
2 x 4x3 1
Yukardaki alstrmalarda, limiti alnan fonksiyonlarn her gercel sayda
tanmlanmadg dikkatinizi cekmistir. Orne gin en son alstrmada, x = 1/41/3
icin f (x) tanmszdr. Ama ne onemi var ki!.. x sonsuza giderken f (x)in
kaca yaknsayacag xin cok b uyuk degerlerini ilgilendiren bir soru, f (x)in
birkac sayda aldg degerden bagmsz. Ornegin, f ve g fonksiyonlar belli bir
B saysndan sonra esitlerse, yani her x > B icin f (x) = g(x) oluyorsa, o
zaman, x sonsuza giderken f (x)in limiti varsa x sonsuza giderken g(x)in de
limiti vardr ve bu iki limit birbirine esittir. Bunu gormek icin, tanmdaki A
saysn Bden buy uk secmek yeterli.
Demek ki aslnda x sonsuza giderken f (x)in limitini almak icin fonk-
siyonun b un R k
ut umesi u zerinde tanml olmas gerekmiyor, sadece tanm
5.2. Limitler ve Sonsuzlar 103
k
umesinde xin sonsuza gidebilmesi, yani tanm k umesinin u stten snrl olma-
mas, yani sayfa 99te verdigimiz tanmla un tanm k umesinin soldan bir
yogunlasma noktas olmas yeterli. Verdigimiz tanm genisletelim.
Tanm. X R, u ume olsun. f : X R bir fonksi-
stten snrl olmayan bir k
yon olsun. Eger her > 0 icin,
(x X ve x > A) |f (x) b| <
ve
(x X ve x > C) |f (x) c| < /2
onermelerini saglayacak bicimde secilsin. O zaman x = |B| + |C| + 1 icin,
lim f (x) = b
x
esitliklerinin esde
ger olduklarn kantlayn.
5.2. Limitler ve Sonsuzlar 105
x2 +x+1
5.12. limx = 1 esitli
gini kantlayn.
x
5.13. limx ( x + x + 1 x) = 1/2 esitli
2 gini kantlayn.
x sonsuza giderken alnan limitlerde toplama, carpma ve bolmede bir sorun
ckmaz, her sey aynen tahmin edildigi gibi olur.
Teorem 5.9. X R, u stsnrl olmayan bir k ume, r R ve f, g : X R
iki fonksiyon olsun. Eger x sonsuza gittiginde f (x) ve g(x), srasyla b ve cye
yaknsyorsa o zaman x sonsuza gittiginde
fonksiyonlar srasyla
b c, rb ve bc
saylarna yaknsar. Eger c = 0 ise ve 1/g fonksiyonu tanmlanmssa, o zaman
1/g fonksiyonu 1/cye yaknsar.
Kant: [N4, Teorem 5.4] un kantndan pek bir fark yok. Okura alstrma
olarak brakyoruz. Son onerme icin [N4, Teorem 5.5]ten esinlenebilir.
Alstrmalar
2
5.14. limx 3x5x4x+2
2 +1 = 35 esitli
gini kantlayn. Bunu
once tanma basvurarak, sonra da
yukarda kantlanan sonuclar kullanarak yapn.
5x3 4x+2
5.15. limx 6x3 +1
limitini bulun.
Bileskeyle limitin iliskisi biraz daha problematiktir.
Teorem 5.10. X R, u ume ve f : X R, bir
stten snrl olmayan bir k
fonksiyon olsun.
lim f (x) = b
x
lim g(x) = c
xb
olur.
Kant: > 0 olsun. limxb g(x) = c oldugundan, oyle bir > 0 vardr ki,
eger y Y , 0 < |y b| < esitsizliklerini saglyorsa,
|g(y) c| <
106
5. Limit Uzerine Daha Fazla
olur.
Kant: C
ok bariz.
Yukardaki teorem sayesinde, bir onceki bol
umde kantladklarmzdan asa-
gdaki sonuclar elde ederiz:
lim f (x) = b
x
yazabiliriz.
Sonu
c 5.14. Teorem 5.9, x, eksi sonsuza giderken de gecerlidir.
Alstrmalar
x2 +x+1
5.16. limx = 1 esitli
gini kantlayn.
( x
)
5.17. limx x2 + x + 1 + x = 1/2 esitli gini kantlayn.
onermesini saglayan bir > 0 says varsa, o zaman, x, aya giderken f (x)
sonsuza raksar (ya da gider) ya da f nin ada limiti sonsuzdur denir
ve bu
lim f (x) =
xa
olarak yazlr.
Eksi sonsuza raksamay da tanmlayalm:
Tanm. f : X R bir fonksiyon olsun. a, Xin bir yogunlasma noktas olsun.
Eger her A icin,
onermesini saglayan bir > 0 varsa, o zaman, x, aya giderken f (x) eksi
sonsuza raksar (ya da gider ) denir ya da f (x)in ada limiti eksi son-
suzdur denir ve bu
lim f (x) =
xa
olarak yazlr.
Eger bir fonksiyonun adaki limiti ise, adaki limit baska bir say ya da
olamaz elbette.
Sonsuza raksamak, aynen yaknsamak gibi toplama ve carpma islemleriyle
uyumludur.
Teorem 5.15. limxa f (x) ve limxa g(x) gercel say ya da olsunlar,
yani R = R{, } k umesinde olsunlar. R k
umesinde toplamay, carpmay
ve b
olmeyi so
yle tanmlayalm:
olur.
5.2. Limitler ve Sonsuzlar 109
esitligi saglanr.
onermeleri dogrudur.
Ikinci onermedeki imi imiyle degistirilemez; ornegin
f (x) = x
esitsizligini saglayan bir > 0 varsa, o zaman, x, aya soldan giderken f (x)
sonsuza raksar (ya da gider ) denir ve bu
lim f (x) =
xa
olarak yazlr.
Diger limxa f (x) = tanmlarn vermeyi ve bu tanmlar icin Teorem
5.9un muadilini kantlamay okurlara brakyoruz.
Ornek
5.18. Orne
gin,
lim f (x) =
x
lim f (x) =
x
ste tanm:
I
Tanm. X R, u ume olsun. f : X R, bir fonk-
stten snrl olmayan bir k
siyon olsun. Eger her B says icin,
lim f (x) =
x
yazarz.
Diger limx f (x) = tanmlarn ve tanmlarn toplama, carpma ve
bolmeyle uyumlu olduklarn kantlamay ve asagdaki sonuclar okura brak-
yoruz.
olur.
Ornekler
5.21. limx exp x = olur cu
nk ger x 0 ise
u e
xn
exp x = 1+x
i=1
n!
olur ve istedi
gimiz Teorem 5.19dan ckar.
5.22. Benzer sekilde her n N icin limx exp xn
x
= esitli
gi de kantlanr, yani exp fonksi-
yonu t um polinomlardan daha hzl sonsuza gider.
5.23. Eger f fonksiyonu R uzerinde tanmlysa, limx f (x) ve limx f (x) limitlerinden
biri R {} k umesinde varsa, o zaman di geri de vardr ve limitler birbirine esittirler.
5.24. f : (a, b) R surekli bir fonksiyon olsun. limxa+ f (x) limiti olmak zorunda de gil. Me-
sela f (x) = 1/x kuralyla tanmlanms f : (0, 1) R fonksiyonunda, limx0+ f (x) =
olur. Ama bundan cok daha dramatik orneklerde var. f : (0, 1) R fonksiyonu
x degiskeni 0a yaklastkca 1 ile 1 arasnda giderek daha sk inip cksn. Orne gin
f (x) = sin(1/x) boyle bir fonksiyondur.
112
5. Limit Uzerine Daha Fazla
Ama sin fonksiyonuyla ya da f nin grafi giyle herkes hasr nesir olmayabilir. Bu
ornegi
biraz de
gistirelim: E gi (1/n, 1) noktasyla (1/(n + 1), 1)
ger n > 0 tekse, f nin grafi
noktasna ba glayan do gru parcas olsun. Eger n > 0 ciftse, f nin grafigi (1/n, 1)
noktasyla (1/(n + 1), 1) noktasna ba glayan dogru parcas olsun. Grafik asa
gdaki gibi,
1e yaklastkca sklasyor.
Gor
uldu
guu
zere x, 0a giderken f (x) degeri 1 ile 1 arasnda inip ckyor. Ote
yandan,
Teorem 5.21de ayn sorunun monoton fonksiyonlarda yasanmad gn gorecegiz.
5.25. Eger limx f (x) = ise limx 1/f (x) = 0 esitli gini kantlamak zor de gildir, nitekim
e
ger f (x) alabildi
gine b
uyuyorsa, xi yeterince b
uy uk alarak 1/f (x)i istedigimiz kadar
0a yakn yapabiliriz. Buradan ve onceki orneklerden
lim exp x = lim exp(x) = lim 1/ exp x = 0
x x x
bulunur.
5.26. Yukardaki orneklerin sonucu olarak exp fonksiyonunun R ile R>0 arasnda bir esleme
oldu gu ckar. Nitekim limx exp x = 0 ve limx exp x = oldu gundan, arade ger
teoremine (Teorem 3.3) g ore exp fonksiyonu 0dan b uy
uk her de geri alr. Ayrca artan
oldu gundan [N4, Sonuc 10.14], exp birebir bir fonksiyondur.
5.27. Bir onceki ornegi kullanarak a 0 ve r R icin ar tanm s
oyle yaplabilir: Once a = eb
esitli
gini saglayan bir b bulunur ve ar = ebr = exp br tanm yaplr. Bircok kitapta da ar
says bu y ontemle tanmlanr. Buradan da x 7 ax fonksiyonunun s urekli oldugu hemen
ckar. Ama biz bu kitapta ar saysn tanmlamak icin baska bir y ontem kullanaca gz
(bkz. B ol
um 6).
Alstrmalar
5.2. Limitler ve Sonsuzlar 113
5.28. Eger limx f (x) = limx g(x) = ise, limx (f (x) + g(x)) = esitli gini
kantlayn.
5.29. Eger limx f (x) = ve g snrlysa, limn (f (x) + g(x)) = esitli
gini kantlayn.
5.30. Onsav 5.16 ve cor:liminf1yi a = icin kantlayn.
5.31. Asa
gdaki limitleri bu b
ol
umdeki yontemleri kullanarak bulun.
3x4 + 4x + 2 6x2 + 4x + 2
lim , lim ,
x 6x3 + 1 x 6x3 + 1
3x + 4x + 2
3
5x2 + 4x + 2
lim , lim
x 4x3 + 1 x 10x2 + 1
5.32. limx exp x = ve limx exp(x) = 0 esitliklerini kantlayn.
5.33. Asa
gdaki limitleri bulun.
2 exp x 3 2 exp x 3
lim lim ,
x 5 exp x + 7 x 5 exp 2x + 7
2 exp(x) 3 4 exp 3x exp x
lim , lim
x 5 exp(x) + 7 x 7 exp 3x + exp 2x
2
12
5.34. limx2 x3x
3 3x2 limitini bulun.
5.35. Asa
gdaki limitleri bulun:
x3 27 x3 8x2 + 9x + 18
lim , lim ,
x3 x3 x3 x2 5x + 6
exp x exp 3 exp 2x exp 6
lim , lim .
x3 x3 x3 x3
x3 27 8x2 + 9x + 18 3x3 27 x
lim , lim , lim , lim ,
x 7x + 4 x x 5x + 6 x 5x3 + 2x 3 x |x|
3
( )( 2 )
(2x2 + 9x + 18)3 3x2 27 5x 7
lim , lim ,
x x6 5x2 + 6 x 5x3 + 2x 3 2x 3
( ) ( 2 )
3 x1 x+1 3x + 1 2x 5
lim + 2 , lim ,
x x2 x x +1 x x2 3x + 3
( )
3x + 1 2x2 5
lim .
x x2 3x + 3
5.39. Asa
gdaki limitleri bulun:
x3 27 x3 27 3x2 17 x2 1
lim , lim , lim , lim .
x0+ 7x x0 7x x3 x3 + 27 x3 x3 27
114
5. Limit Uzerine Daha Fazla
5.40. Asa
gdaki limitleri bulun:
9+x3 (8 x)1/3 2
lim , lim exp x2 , lim ,
x0 x x0 x0 x
exp(2x) 1
lim , lim ( x + 34 x), lim ((x 5)1/3 x1/5 ).
x0 exp x 1 x x
5.41. Asa
gdaki limitleri bulun:
1 1 x x
lim , lim , lim , lim .
x1+ x2 1 x1 x2 1 x1+ x2 1 x1 x2 1
5.42. Asa
gdaki limitleri bulun:
lim exp x, lim exp x, lim x exp x,
x x x
1 1
lim x exp x, lim exp , lim exp .
x0 x0+ x x0 x
5.43. Asa
gdaki limitleri bulun:
exp x exp x exp x
lim , lim , lim (n N)
x x x x2 x xn
(Eksponansiyel b uy ume tabirinin mensei bu limittir.)
{ x2
eg er x > 0 ise
5.44. f (x) = x olarak tanmlansn. x, sonsuza, eksi sonsuza, 0+ ya ve
3x e ger x 0 ise
0 ye giderken f nin limitlerini bulun.
5.45. n bir dogal say olsun. limx xn exp x limitini bulun.
5.46. Asa
gdaki limitleri bulun.
x
lim exp(exp x), lim exp(exp x), lim exp(1/ exp(1/x)), lim .
x x x x0 sin x
D = {c I : f fonksiyonu cde s
ureksiz}
(f (c ), f (c+ )) f (I) =
olur. Dolaysyla f (c) her iki aralgn da uc noktalarndan biridir (birinin sag
uc noktasysa, digerinin sol uc noktas olmaldr ve tam tersi). f (c), f (I)nn
uc noktas oldugundan, f nin monotonlugundan ya I (, c] ya da I
[c, ) oldugu ckar. Diyelim ikinci sktayz; dolaysyla f (c ) = f (c) olur.
Bu durumda, f artan oldugundan, f (I) [f (c), ) olur. Varsaymmzdan
f (c) = f (c ) < f (c+ ) elde ederiz. Simdi, [f (c ), f (c+ )] f (I) = {f (c)} =
{f (c)} esitliginden, f (I) = {f (c)} ckar, ki bu da f sabit fonksiyon demektir.
I (, c] skk da benzerdir.
Ikinci Kant2 : f (c ) < t < f (c+ ) olsun. Eger c tanm k umesinin soldan
yogunlasma noktas degilse, f (c) = f (c ) < t olur. Aksi durumda, bir x < c
1
Bos olmayan her ack aralktan kesirli bir say secersek, ayrk ack aralk saysnn kesirli
say saysndan fazla olamayaca gn g
or
ur
uz.
2
Bu kant ve yukardaki kant temizledi uye tesekk
gi icin Yusuf Unl urler.
118
5. Limit Uzerine Daha Fazla
vardr ve f (x) f (c ) < t olur. Demek ki her iki durumda da f (x) < t ve
x c esitsizliklerini saglayan bir x I bulduk. Benzer sekilde t < f (y) ve
c y esitsizliklerini saglayan bir y I bulunur. Demek ki
(f (c ), f (c+ )) f (I),
yani (f (c ), f (c+ )) = (f (c ), f (c+ ))f (I) olur. Ama (f (c ), f (c+ ))f (I)
{f (c)}. Demek ki (f (c ), f (c+ )) {f (c)}, bir celiski.
Kant: Teorem 3.10a gore J bir aralktr. Ayrca g de kesin monotondur. Bir
onceki onsava gore g s
ureklidir.
Kant: Sonuc 3.11e gore f kesin monotondur. Teorem 3.10a gore J bir
aralktr. Teorem 5.24e gore g s
ureklidir.
Tanm kumesi bir aralk olan kesin monoton fonksiyonlar saylabilir birkac
noktada s
ureksiz olabilirler ama ters fonksiyonlar her yerde surekli olmak
zorunda:
Kant: Her seyden once gnin oldugunu gorelim. Ardndan gnin de monoton
oldugunu gorelim. Simdi sonuc Onsav 5.23den hemen ckar.
6. S
urekli Fonksiyon
Almak
Genisletmek ve Us
6.1 S
urekli Fonksiyon Genisletmek
[N4, Bol
um 3.1]de, her q kesirli says ve her a pozitif gercel says icin, adna
ann q u kuvveti denilen ve aq diye yazlan bir say tanmlamstk. (aq
unc
saysnn varlg, Aradeger Teoreminden de ckar, bkz. Alstrma 3.14.)
q Z iken, aq , ilkokuldan beri bildigimiz kuvvet almayd. q = 1/2 iken de
aq saysn yllar oncesinden ogrenmistik: a1/2 = a, yani ann karekok u.
3/5
Demek ki, ornegin ( 2) diyebir saynn varl
gn - tam olarak hesapla-
yamasak da - biliyoruz, ancak ( 2) 2 diye, hatta 2 2 diye bir saynn varlgn
henuz bilmiyoruz cunku bir gercel saynn 2 gibi kesirli olmayan bir kuvvetini
simdiye kadar hic tanmlamadk1 . I ste bu bol
umde pozitif bir gercel saynn
gercel bir kuvvetini almay ve cok daha fazlasn ogrenecegiz.
Yapacagmz is aslnda oldukca basit. Eger a > 0 ve r herhangi birer gercel
sayysa ve (qn )n kesirli say dizisi rye yaknsyorsa, o zaman ar says (aqn )n
dizisinin limiti olacak, yani (tanm geregi)
ar = lim aqn
n
olacak.
a R>0 , sabit bir say olsun. f : Q R fonksiyonu
f (q) = aq
Teorem 6.1. A, Rnin yogun bir altk umesi ve f : A R s urekli bir fonksi-
yon olsun. Ayrca terimleri Ada olan her Cauchy dizisinin imgesi de bir Ca-
uchy dizisi olsun, yani f Cauchy-s urekli olsun. O zaman, g|A = f esitliginin
saglandg bir ve bir tane g : R R s urekli fonksiyonu vardr. Ayrca eger
r herhangi bir gercel sayysa ve terimleri Adan olan (an )n say dizisi rye
yaknsyorsa, o zaman
g(r) = lim f (an )
n
olur.
Teorem 6.2. Eger Rden Rye giden iki s urekli fonksiyon Rnin yogun bir
altk
umesinde birbirlerine esitse, o zaman bu iki fonksiyon her yerde esittir.
lim f (an )
n
a 0 , b 0 , a1 , b 1 , a 2 , b 2 , a3 , b 3 , . . .
dizisi de bu limite yaknsar [N4, Alstrma 8.10]; dolaysyla bu yeni dizi de bir
Cauchy dizisidir. Varsayma gore,
dizisi de bir Cauchy dizisidir ve dolaysyla Rde bir limiti vardr. Bu dizi-
nin altdizileri olan (f (an ))n ve (f (bn ))n dizileri de zorunlu olarak bu limite
yaknsarlar (bkz [N4, Teorem 8.2]).
Demek ki
g(x) = lim f (an )
n
tanm gecerli bir tanmdr, bu tanm, (an )n dizisine gore degil, sadece xe gore
degisir. g|A = f esitligi, a A icin an = a tanmn yaparsak,
olur. Simdi (an,n )n dizisine bakalm. |xn an,n | < 1/n oldugundan, yani
1 1
xn < an,n < xn +
n n
oldugundan, Sandvic Teoremine (4.14) gore,
lim an,n = x
n
1 1
f (an,n ) < g(xn ) < f (an,n ) +
n n
oldugundan, gene Sandvic Teoremine (Teorem 4.14) gore,
g(y) g(x) + .
|x a| |x y| + |y a| < + =
2 2
oldugundan,
|g(x) f (a)| <
2
esitsizligi saglanmal, dolaysyla,
f (a) < g(x) + < g(x) + g(y)
2
olmal. Ama o zaman da,
( ) ( )
|g(y) f (a)| = g(y) f (a) > g(y) g(x) + g(x) + g(x) + =
2 2 2
olur. Demek ki her a A says icin, eger
|y a| <
2
ise,
|g(y) f (a)|
2
esitsizligini kantladk. Bu da gnin tanmyla bariz bir celiskidir. Teorem 6.1
ikinci kez kantlanmstr.
Alstrmalar
6.1. f ve g fonksiyonlar Teorem 6.1deki gibi olsunlar.
i. f sabit fonksiyonsa gnin de sabit oldu gunu kantlayn.
ii. f snrl bir fonksiyonsa gnin de snrl oldu
gunu ve snrlarn de
gismedi
gini kantlayn.
iii. f artansa gnin de artan oldu gunu kantlayn.
Almaya Dogru
6.2. Gercel Saylarda Us 125
6.2 Almaya Do
Gercel Saylarda Us gru
Simdi en sona braktgmz ilk iki onermeyi kantlayalm (bkz. sayfa 120).
Teorem 6.3. a R0 sabit bir say olsun. f : Q R0 fonksiyonu f (q) = aq
olarak tanmlansn. O zaman
i. f sureklidir.
ii. Eger (qn )n , terimleri kesirli saylar olan bir Cauchy dizisiyse, (f (qn ))n de
bir Cauchy dizisidir.
Teorem 6.1 ve 6.3 sayesinde, her a R>0 ve her b R icin, ab olarak
gosterilen, daha once bildigimiz g
uc alma fonksiyonuyla uyumlu olan ve bye
gore s
urekli bir fonksiyona sahip oluruz.
Teorem 6.3 un Kant: Eger a = 0 ya da a = 1 ise her sey bariz. Bundan
boyle a = 0, 1 olsun.
urekli oldugunu varsayalm. p Q, herhangi bir kesirli
i. Bir an icin f nin 0da s
say olsun. f nin pde de s urekli oldugunu gosterecegiz. > 0 olsun. f nin 0da
urekli oldugunu varsaydgmzdan, oyle bir > 0 vardr ki, eger |q| < ise,
s
|1 aq | = |a0 aq | = |f (0) f (q)| <
ap
aq@aq olur. Simdi q Q kesirli says, |q p| < esitsizligini saglasn. O
zaman,
|f (p) f (q)| = |ap aq | = ap ap+(qp) = ap |1 aqp | <
olur, yani f , pde de s ureklidir. Demek ki f nin 0da surekli oldugunu kantla-
mak yeterli.
Eger a = 1 ise, f , sabit 1 fonksiyonu oldugundan elbette s ureklidir. Bundan
boyle ann 1 olmadgn varsayalm.
Bir an icin, eger a < 1 ise f nin s
urekli oldugunu bildigimizi varsayalm. O
zaman a > 1 ise de f nin s urekli oldugunu gosterelim. a > 1 ve b = 1/a olsun.
O zaman b < 1 olur. Demek ki, varsayma gore,
g(q) = bq
0 < 1 < 1.
lim (1 )n = 0
n
(1 )u < a
lim (1 + )n =
n
1 < aq < 1 + ,
6.3 Alma
Gercel Saylarda Us
Teorem 6.1in ve yukarda yaptklarmzn sonucunu ckaralm.
Sonu c 6.4. a > 0 bir gercel sayysa, her q Q icin fa (q) = aq esitligini
saglayan bir ve bir tane s urekli fa : R R>0 fonksiyonu vardr. Eger r her-
hangi bir gercel sayysa ve (qn )n kesirli say dizisi rye yaknsyorsa, o zaman
fa (r) says (fa (qn ))n dizisinin limitidir, yani
olur.
Kant: Teorem 6.1 ve 6.3ten hemen ckar.
Sonuc 6.4te var oldugu soyleyen fa fonksiyonunun bir r gercel saysndaki
imgesini ar olarak yazacagz. Demek ki,
ar = lim aqn .
n
128 6. Surekli
Almak
Fonksiyon Genisletmek ve Us
Altbol
um 11.3te grafiklerin gercekten boyle oldugunu gosterecegiz.
Kant: (rn )n ve (sn )n , srasyla rye ve sye yaknsayan kesirli say dizileri
olsun. Kantta yukardaki fa yazlmn kullanmak yararl olacak:
fa (r) = ar .
fa (r)fa (s) = lim fa (rn ) lim fa (sn ) = lim fa (rn )fa (sn )
n n n
( )
= lim fa (rn + sn ) = fa lim (rn + sn ) = fa (r + s)
n n
olur, yani
ars = (ar )u/v = (ar )s .
Demek ki s, pozitif bir kesirli say iken de esitlik dogru. Esitligin her kesirli
say icin dogru oldugu (ii) ve (iii)ten ckar.
Simdi s bir gercel say olsun. O zaman,
(ab)r = lim (ab)rn = lim arn brn = lim arn lim brn = ar br .
n n n n
lim an =
n
oldugundan,
lim an = 0
n
olur. b R>0 herhangi bir say olsun. O zaman n ve m dogal saylar icin,
am < b < an
ar ap < aq as = ar
esitli
gini kantlayn.
6.4. Bernoulli Esitsizlikleri 131
6.4. r R \ {0} sabit bir say olsun. (xn )n , sonsuza raksayan bir dizi olsun.
lim xrn =
n
esitli
gini kantlayn.
6.5. E ger a > 1 ise, limx ax = 0, eger a < 1 ise, limx ax = esitliklerini kantlayn.
1/x
6.6. limx x limitini bulun.
6.7. [N4, Teorem 19.1]i kesirli p saylarndan gercel p saylarna genellestirin, yani su teoremi
kantlayn:
Teorem 6.6. p gercel bir say olsun. O zaman,
1
ip
i=1
(1) (1 + x) 1 + x.
Eger x > 1 ve
/ [0, 1] ise
(2) (1 + x) 1 + x.
a1 + + an
(AGn ) n
a1 an
n
esitsizligini ve esitligin ancak ve ancak a1 = . . . = an ise olabilecegini kantla-
mstk. Bu esitsizlik kantmzda onemli olacak.
2
Bu esitsizlikleri [N4, Altb
ol
um 3.3]te de ele almstk. Ileride, Sonuc 12.4de ayn sonucu
hemen hemen ayn kantla ama biraz daha temiz bir bicimde kantlayaca gz.
132 6. Surekli
Almak
Fonksiyon Genisletmek ve Us
Once (1)i nn kesirli say oldugu durumda kantlayalm. x 1 ve
1 m < n tamsaylar icin = m/n olsun. (AGn )yi kullanarak hesaplayalm:
(1 + x) = (1 + x)m/n = n (1 + x)m = n (1 + x)m 1nm
m(1 + x) + (n m) n + mx m
= = 1 + x = 1 + x.
n n n
Esitlik sadece 1 + x = 1 ise, yani x = 0 ise m
umk undur.
Simdi (1)i bir gercel say oldugunda kantlayalm. gercel saysna
yaknsayan herhangi bir (qn )n kesirli say dizisi icin, r says,
r = lim rqn
n
Ornekler
6.8. 0 < < 1 ve x 1 ise
(x + 1) x x (x 1)
< x1 <
esitsizligini kantlayn.
Kant: Teorem 6.7ye g ore,
( ) ( )
1 1
1+ < 1 + ve 1 <1
x x x x
ckar. Bu esitlikleri x ile carparsak,
(x + 1) < x + x1 ve (x 1) < x x1
elde edilir.
6.9. 0 < < 1 ve m < n dogal saylar ise ise
(n + 1) m n (m 1)
< m1 + (m + 1)1 + + n1 <
olur.
Kant: Bir
onceki problemi x yerine m, m + 1, . . . , n saylarna uygulayalm:
(m+1) m m (m1)
< m1 <
...
(n+1) n n (n1)
< n1 <
3
Bu teoremi ileride bir defa daha Sonuc 12.4 olarak kantlayaca kant cok benzer
gz. Iki
olacak ama ikincisi daha temiz olacak.
134 6. Surekli
Almak
Fonksiyon Genisletmek ve Us
esitsizli
gini kullanalm. Sa
g taraf icin,
1.000.0002/3 32/3
= 3
32/3 ) = 23 10.000 32 32/3
(10.000
2/3 2
= 15.000 23 3 9 < 15.000 23 2 = 14.997
esitsizli
gini kullanalm. B
oylece 14.996 < x < 14.997 buluruz ve [x] = 14.996 olur.
6.5 Almann S
Us ureklili
gi
umde x 7 xr fonksiyonlarnn s
Bu altbol urekli olduklarn kantlayacagz.
xr 1 + r(x 1)
Fonksiyonlarda Yaknsaklk
137
7. Fonksiyon Dizilerinin
Noktasal Yaknsamas
f = lim fn
n
ya da
p
f = lim fn
n
yazlr. Esitligin u
st
undeki p, Ingilizce noktasal anlamna gelen pointwise soz-
c
ugunun psidir.
Bir (fn )n fonksiyon dizisinin noktasal limiti varsa, bu limit elbette biricik-
tir.
Boylece Fonk(X) k umesinde (asln sorarsanz oldukca ilkel) bir yaknsaklk
kavram tanmlams olduk. (Ilerde cok daha iyisini yapacagz.)
Hemen birkac ornek verelim. Orneklerimizde X hep Rnin bir altk umesi
olacak ama daha once de dedigimiz gibi oyle olmak zorunda degil.
Ornekler
7.2. X = R ve fn (x) = x/n olsun. Her x R icin,
x
lim fn (x) = lim =0
n n n
olur. Demek ki (fn )n fonksiyon dizisinin limiti sabit 0 fonksiyonuymus. fn fonksiyon-
larnn grafikleri asa
gda. Giderek yataylasyorlar ve en sonunda f = 0 fonksiyonuna
yaknsyorlar.
141
form
ul
uyle tanmlanan f fonksiyonudur.
n
x2i+1 n
x2i
sin x = lim (1)i , cos x = lim (1)i .
n
i=1
(2i + 1)! n
i=1
(2i)!
(2n2 + n 1)x + 3n 5
fn (x) =
n2
p
olsun. O zaman, limn fn (x) = 2x olur.
7.6. f : R R herhangi bir fonksiyon olsun. n N icin fn : R R so
yle tanmlansn:
{
f (x) ger |x| n ise
e
fn (x) =
0 aksi halde
p
O zaman limn fn = f olur. Demek ki her fonkiyon snrl fonksiyonlarn noktasal
limiti olarak yazlabilir.
7.7. Her fonksiyonun periyodik fonksiyonlarn noktasal limiti olarak yazlabilece
gini kantla-
yn.
142 7. Fonksiyon Dizilerinin Noktasal Yaknsamas
Ornek 7.3de surekli bir fonksiyon dizisinin noktasal limitinin s urekli olma-
yabilecegini gorduk. Daha once de dedigimiz gibi bu oldukca rahatsz edici
bir sey. Ilerde fonksiyonlarn yaknsamas kavramyla hafifce oynayarak bu ra-
hatsz edici seyden kurtulacagz ve duzg un yaknsaklk olarak adlandrlan
yepyeni bir yaknsama kavramyla s urekli bir fonksiyon dizisinin limiti s urekli
olacak.
Asagdaki teoremin kant cok basittir, benzer esitliklerin say dizileri icin
gecerli olmasndan kaynaklanr.
Teorem 7.1. X, herhangi bir k ume olsun. (fn )n ve (gn )n , Xten Rye giden
iki fonksiyon dizisi ve r R olsun. Eger
p p
lim fn = f ve lim gn = g
n n
p
limn rfn = rf
ve
p
lim (fn gn ) = f g
n
esitlikleri saglanr. Ayrca eger her x X icin g(x) = 0 ve gn (x) = 0 ise,
(fn /gn )n fonksiyon dizisinin de noktasal limiti vardr ve
fn p f
lim =
n gn g
esitligi saglanr.
Kant: Okura braklmstr.
Alstrmalar
7.8. X = [0, 1] ve fn (x) = nx(1 x)n olsun. O zaman limn fn noktasal limitinin sabit 0
fonksiyonu oldugunu kantlayn. fn (1/n) > 1/6 esitsizli
gini kantlayn.
7.9. X = R ve her n < 0 do gal says icin,
{
n e
ger 0 < x < 1/n ise
fn (x) =
1 yoksa
olsun. O zaman,
lim fn = 1
n
olur (yani limit, sabit 1 fonksiyonudur.)
7.10. X = R ve her n > 0 do gal says icin,
{
n ger 0 x < 1/n ise
e
fn (x) =
1 yoksa
olsun. O zaman, (fn )n dizisinin limiti var mdr?
143
7.11. fn : [0, 1] R so
yle tanmlansn:
2
n x ger 0 x < 1/2n ise
e
fn (x) = 2n n2 x ger 1/2n x < 2/n ise
e
0 ger 2/n x 1 ise.
e
yazlr. Bir baska deyisle, (fn )n fonksiyon dizisinin limiti olan limn fn fonk-
siyonu, her x X icin,
( )
lim fn (x) = lim fn (x)
n n
olarak tanmlanmstr.
Tanm biraz daha acacak olursak, bir (fn : X R)n fonksiyon dizisinin
bir f : X R fonksiyonuna yaknsamas icin, her x X ve her > 0 icin oyle
bir N olmal ki, her n > N icin,
olsun.
146 8. Fonksiyon Dizilerinin Duzg
un Yaknsamas
esitligi, aynen,
anlamna gelir.
Buradaki N says xe ve a gore degisir. Zaten yukardaki matematiksel
uldeki sralamada da N ifadesi
form
(x X) ( > 0)
ifadesinden sonra gelir. Yani her x X ve her > 0 icin, istenen kosulu sag-
layan ayr bir N olabilir. Bu bagmllg gostermek icin bazen N yerine Nx,
yazlr.
N nin a gore degismesi olagan cu
nk
u ne de olsa k
ucu
ld
ukce
yazlr. (Esitligin u
st
undeki u harfi, Ingilizce d
uzg
un demek olan uniform soz-
c
ugu
nun usudur.)
Duzgun yaknsaklgn bicimsel tanm soyle:
Bu formul
u bir onceki form ulle karslastrmakta ve x X simgelerinin
nereden nereye gectigini gozlemlemekte yarar vardr.
Duzg
un yaknsaklg sozle ifade edelim: Eger her > 0 icin, her n > N ve
her x X icin,
|fn (x) f (x)| <
esitsizliginin saglandg xten bagmsz bir N says varsa, (fn )n fonksiyon di-
zisinin f fonksiyonuna d uzg
un yaknsad g soylenir.
Duzg un yaknsaklgn noktasal yaknsaklktan su onemli ayrm var. D uz-
gun yaknsaklkta, (fn (x))n dizileri f (x) saylarna ayn hzla yaknsarlar.
Oysa noktasal yaknsaklkta yaknsama hz xe gore degisebilir. Dolaysyla
duzg un yaknsaklk, noktasal yaknsaklktan cok daha g ucl
u bir kavramdr.
Yakn zamanda avantajlarn gorecegiz. Noktasal yaknsamak, d uzg
un yakn-
saklktan cok daha kolaydr: Bir fonksiyon dizisi d uzg un yaknsaksa ayn za-
manda noktasal yaknsaktr ama bunun tersi dogru degildir:
esitsizligi yani
f (x) < fn (x) < f (x) +
Onsav 8.2. Y X iki k ume olsun. (fn )n , Xten Rye giden bir fonksiyon
dizisi olsun. Eger (fn )n dizisi f fonksiyonuna duzg
un yaknsyorsa, o zaman
(fn|Y )n fonksiyon dizisi f|Y fonksiyonuna d uzg
un yaknsar.
Ornekler
8.3. X = R ve fn (x) = x/n olsun. Ornek 7.2de bu dizinin noktasal limitinin sabit 0 fonksi-
yonu oldu gunu gord
uk. Bakalm d uzg
un yaknsaklk var m?
Teorem 8.1e g ore fonksiyon dizisi ancak sabit 0 fonksiyonuna d uzgun yaknsayabilir.
Zaten bu bir sonraki sayfada cizdi gimiz fonksiyon grafiklerinden de bariz bicimde gor
u-
l
uyor.
Eger fn fonksiyonlarnn grafiklerine bakarsak d uzg
un yaknsaklgn olmadgn hissede-
riz: Belli ki x b
uyud
ukce (fn (x))n yani (x/n)n dizisi 0a yaknsamakta gecikiyor, ya da
so
yle acklayalm: fn ler hicbir zaman sabit 0 fonksiyonunun (, ) seridine girmiyor.
Bunu bicimsel olarak kantlayalm.
8.1. Ilk Tanm ve Ornekler 149
> 0 verilmis olsun. Oyle gz ki, her n > N ve her x [A, A] icin,
bir N bulaca
yani
x
< ,
n
yani
|x|
<n
150 8. Fonksiyon Dizilerinin Duzg
un Yaknsamas
form
uluyle tanmlanan f fonksiyonudur. Dolaysyla (fn )n fonksiyon dizisi ancak bu f
fonksiyonuna duzg
un yaknsayabilir.
Yaknsakl gn d
uzgun olmad gn kantlayaca
gz. Yukardaki sekilden de bunun anlasl-
mas lazm. Belli ki 1 mzkclk yapyor. f nin 1de ald
g 1 de
geri yuz
unden, kucu
k bir
icin, fn fonksiyonlar hicbir zaman f merkezli kalnl gndaki seride girmiyor. Bunu
bicimsel olarak kantlayalm.
Bu sefer = 1/2 alalm. Diyelim oyle bir N var ki her n > N ve her x [0, 1] icin,
1
|fn (x) f (x)| < =
2
8.1. Ilk Tanm ve Ornekler 151
1
|fn (x) f (x)| < = ,
2
yani
1
xn = |xn | <
2
ozel bir hali olarak, her x [0, 1) icin
olur. Bunun
1
xN +1 <
2
olur. Ama bu do gru olamaz, cu u g(x) = xN +1 fonksiyonu s
nk ureklidir ve x, (soldan) 1e
dogru giderken bu fonksiyonun limiti 1dir:
lim xN +1 = 1.
x1
Dolaysyla 1e yeterince yakn xler icin xN +1 says 1e cok yakn olmal, yani 1/2yi
asmal. Demek ki (fn )n fonksiyon dizisi d uzg un yaknsayamaz.
S
imdi bir
onceki ornekte yapt
gmza cok benzer bir sey yapalm. C
ok k
ucu
k ama pozitif
gndan Rye yollayaca
bir says secelim ve fonksiyonlarmz [0, 1] aral gmza, [0, 1 ]
gndan Rye yollayalm. Bu durumda fonksiyon dizisinin sabit 0 dizisine d
aral uzgun
yaknsadgn kantlayabiliriz.
(1 )n <
esitsizli
gini sa
glamak yeterli. B
oyle bir N bulmak m
umk
un m
ud
ur? Evet! C
unk
u
01<1
oldu
gundan,
lim (1 )n = 0
n
esitli
gi gecerlidir, yeterince b uk her n says, (1 )n < esitsizli
uy gi sa
glanr.
152 8. Fonksiyon Dizilerinin Duzg
un Yaknsamas
8.5. X = R ve
x x2 xn
fn (x) = 1 ++ + +
1! 2! n!
olsun. O zaman, exp fonksiyonun tanmna gore,
Peki d
uzg
un yaknsaklk var m? Yok! Nitekim e
ger xi pozitif alrsak,
xn+1
exp x fn (x) 0
(n + 1)
Alstrmalar
8.6. Ornek 8.4teki (fn )n dizisinin (0, 1) ack aralgnda d
uzg
un yaknsak olmad gn kant-
layn.
8.7. Ornek 8.5teki (fn )n dizisinin snrl her aralkta exp fonksiyonuna duzgun yaknsadgn
kantlayn.
8.8. fn (x) = xn /n olsun ve fn yi [1, 1] kapal aral gnda tanml bir fonksiyon olarak gore-
lim. (fn )n dizisinin sabit 0 fonksiyonuna d uzg un yaknsad
gn kantlayn.
8.9. fn : (0, 1) R fonksiyonu,
1
fn (x) =
1 + nx
kuralyla tanmlanms olsun. (fn )n fonksiyon dizisinin sabit 0 fonksiyonuna noktasal
yaknsadgn ama d
uzg
un yaknsamad gn kantlayn.
8.10. fn : [0, ) R fonksiyonu,
x
fn (x) =
1 + nx
kuralyla tanmlanms olsun. (fn )n dizisinin sabit 0 fonksiyonuna d
uzg
un yaknsad
gn
kantlayn.
8.11. fn : R R fonksiyonu,
x2
fn (x) =
1 + nx2
kuralyla tanmlanms olsun. (fn )n dizisinin sabit 0 fonksiyonuna d
uzg
un yaknsad
gn
kantlayn.
8.12. fn : R R fonksiyonu,
x3
fn (x) =
1 + nx2
kuralyla tanmlanms olsun. (fn )n dizisinin her snrl k
umede d uzg
un yaknsad
gn
ama snrsz k
umeler u
zerinde duzgun yaknsamad gn kantlayn.
8.2. Duzg
un Duzg
Yaknsaklgn un
Tanm 153
8.13. X = < (R), Rnin sonlu altk ume olsun. x X icin |x|, xin
umelerinden olusan k
eleman saysn simgelesin ve
|x|
fn (x) =
n
p
tanmn yapalm. lim fn = 0 olur. (fn )n dizisi sabit 0 fonksiyonuna d
uzg
un yaknsarlar
m?
8.14. X = (N) ve x X icin
min x
fn (x) =
n
olsun. (fn )n dizisi d
uzg
un yaknsak mdr?
8.15. X = (N) ve x X icin
min{min x, 1}
fn (x) =
n
olsun. (fn )n dizisi d
uzg
un yaknsak mdr?
8.16. x X = < (R) icin x = rX r olsun ve
x
fn (x) =
n
p
tanmn yapalm. lim fn = 0 olur. (fn )n dizisi sabit 0 fonksiyonuna d
uzg
un yaknsarlar
m?
8.17. x X = < (R>0 ) \ icin x = rX r ve max x = max{r : r X} olsun.
x
fn (x) =
n max x
p
tanmn yapalm. lim fn = 0 olur. (fn )n dizisi sabit 0 fonksiyonuna d
uzg
un yaknsarlar
m?
8.2 D
uzg
un Yaknsakl
gn D
uzg
un Tanm
Bir onceki altbolumde bir fonksiyon dizisinin bir baska fonksiyona d
uzgun ya-
knsamasnn ne demek oldugunu gord uk. Bu altbolumde ayn kavramn daha
kullansl ve bircok anlamda daha dogru bir tanmn verecegiz.
Once duzg
un yaknsaklgn tanmn anmsatalm: X herhangi bir k ume ve
Xten Rye giden bir (fn )n fonksiyon dizisi verilmis olsun. Eger her > 0 icin,
esitsizligi yerine
|fn (x) f (x)|
154 8. Fonksiyon Dizilerinin Duzg
un Yaknsamas
esitsizligini almak bir sey degistirmez. Yani yukardaki tanmla su tanm ayn
anlama gelir: Eger her > 0 icin,
onermesi dogrudur. Simdi ikinci tanmdaki kosulun her > 0 icin saglandgn
varsayalm ve birinci tanmdaki kosulun her > 0 icin saglandgn kantlaya-
lm. > 0 verilmis olsun. Ikinci tanm yerine /2ye uygulayalm: her n > N
ve her x X icin,
|fn (x) f (x)|
2
esitsizliginin saglandg bir N says vardr. Bu N says isimizi gor
ur: Her
n > N ve her x X icin,
|fn (x) f (x)|
2
esitsizligi, dolaysyla
|fn (x) f (x)| <
esitsizligi saglanr. Kantmz bitmistir.
Bu altbol umde yapmak istedigimiz icin ikinci tanm daha kullansl olacak.
Bundan boyle ikinci tanm kullanacagz.
Simdi su basit ama onemli gozlemi yapalm: Eger her x X icin,
||fn f ||
ifadesi yerine
||fn f || <
ste hedefledigimiz yeni tanmn sondan bir onceki hali:
ifadesini alabiliriz. I
Eger her > 0 icin, her n > N icin,
||fn f || <
lim ||fn f || = 0
n
diyor! Tek bir farkla ki ||fn f ||ler illa say olmak zorunda degiller, da
olabilirler. Eger sonsuz tane n icin ||fn f ||ler oluyorsa, o zaman bunlarn
limiti 0 olamaz ve d uzg
un yaknsaklk yoktur. Eger en fazla sonlu tane n icin
||fn f ||ler oluyorsa, o zaman ||fn f ||ler arasndan sonsuz olanlarn
ckarp geri kalan say dizisinin yaknsakl gna bakabiliriz.
Simdi tanmn son halini yazabiliriz:
156 8. Fonksiyon Dizilerinin Duzg
un Yaknsamas
Tanm: X herhangi bir k ume ve Xten Rye giden bir (fn )n fonksiyon
dizisi verilmis olsun. Eger limn ||fn f || = 0 ise, (fn )n fonksiyon dizisinin
f fonksiyonuna d uzgun yaknsad g s
oylenir.
Son iki bol
umde isledigimiz ornekleri bu yeni tanm sgnda tekrar ele
alalm.
Ornekler
Demek ki (||fn 0||)n dizisi 0a yaknsamyor, hatta bir say dizisi bile de
gil. Dolaysyla
(fn )n dizisi 0a (ya da baska bir fonksiyona) d
uzgun yaknsayamaz.
S
imdi fn fonksiyonlarn bir A > 0 icin, [A, A] aral
gna kstlayalm. Bu fonksiyonlara
gn diyelim:
gn = fn|[A,A] .
Bu durumda (gn )n dizisinin sabit 0 fonksiyonuna d
uzg
un yaknsar, nitekim,
{ x } { }
|x| A
0 ||gn 0|| = sup 0 : x [A, A] = sup : x [A, A]
n n n
form
ul
uyle tanmlanan f fonksiyonudur. Ornek 8.4te f nin bu dizinin d
uzg
un limiti
olmad
gn kantlamstk. Ayn seyi
lim ||fn f ||
n
Kantmz bitmistir.
Ama snrl bir aralkta yaknsaklk d uzg
un olur. Bunun cok zor olmayan kantn okura
brakyoruz.
8.21. X ve Y birer k ume olsun. fn : X R fonksiyon dizisinin g : X R fonksiyonuna
d
uzgun yaknsadgn varsayalm. h : Y X herhangi bir fonksiyon olsun. O zaman
fn h : Y R fonksiyon dizisinin g h : Y R fonksiyonuna d uzg
un yaknsar.
Elbette, ne de olsa (fn )n dizisi icin bulunan N says, (fn h)n dizisi icin de ise yarar.
Bu altbol
umde bir fonksiyon dizisinin bir baska fonksiyona d uzgun yakn-
samasnn ikinci ve daha kullansl bir tanmn gord
uk. Bunun icin
||f || = sup{|f (x)| : x X} R0 {}
tanmna ihtiyac duyduk. Bu, onemli bir tanmdr, o kadar ki, uzerinde dur-
maya deger demek bile yeterince g uclu bir ifade degildir.
||f || ifadesi bazen kitaplarda ||f || olarak gecer; adna da f nin sup-
normu denir. Asagda s upnormun baz basat ozelliklerini ve Fonk(X) kume-
sinin ozel baz altk
umelerini gorecegiz.
8.3 Fonksiyonlarn S
upnormu
Bir f Fonk(X) fonksiyonu icin,
||f || = sup{|f (x)| : x X}
158 8. Fonksiyon Dizilerinin Duzg
un Yaknsamas
tanmn yapalm. Elbette ||f ||, bir gercel say olabilecegi gibi da olabilir.
Yani ||f ||, R0 {} k
umesinin bir elemandr.
Ornekler
8.22. X = R ve f (x) = x ise, ||f || = olur.
yandan, X = R ve f fonksiyonu,
8.23. Ote
1
f (x) =
1 + x2
kuralyla tanmlanmssa, asa
gdaki grafikten de g
or
ulece zere, ||f || = 1dir.
gi u
8.24. Ama dikkat f (x) = x/(x + 1) ise de ||f || = 1 olur ama |f (x)| = 1 esitli
gini sa
glayan bir
x yoktur.
Dord
unc
us
un
u ve ikinci ksm okura alstrma olarak brakyoruz.
Onsav 8.3teki ozelliklerin, aynen gercel saylar u
zerine tanmlanms olan
mutlak deger fonksiyonu icin de gecerli olduguna ozellikle dikkatinizi cekmek
8.4. Fonk(X) Uzerine Mesafe 159
8.4
Fonk(X) Uzerine Mesafe
umesinden iki eleman ise, f ve g arasndaki mesafeyi
Eger f ve g, Fonk(X) k
olarak tanmlayalm. Boylece d(f, g) hicbir zaman sonsuz olmaz, hatta hicbir
zaman 1i asamaz. Ama bizim icin d(f, g)nin 1i asmamas degil, Onsav 8.4te
kantlayacagmz ozellikleri onemli olacak. Nitekim herhangi bir a > 0 icin
tanmyla calsmak bizi magdur etmeyecek (ote yandan pek bir sey de ka-
zandrmayacak!)
Bu arada, daha ileri gitmeden,
Kant: Bunlarn her biri Onsav 8.3
un ve tanmn birer sonucudur. (i) cok
bariz. (ii) de:
ve
d(h, g) = ||h g||
olmak zorunda. Dolaysyla,
Teorem kantlanmstr.
Bu asamada durup biraz soluklanalm ve ne kantladgmza dikkatlice
(ama belli bir mesafeden) bakalm. Gercel saylarda mutlak degerin de benzer
ozellikleri vardr: Her x, y, z gercel says icin, su onermeler dogrudur:
i. |x y| R0 ,
ii. |x y| = 0 x = y,
iii. |x y| = |y x|,
iv. |x y| |x z| + |z y|.
Yani Fonk(X) yerine R k umesini alsaydk ve her x, y R icin,
d(x, y) = |x y|
tanmn yapsaydk da, Onsav 8.4 gecerli olacakt.
Onsav 8.4teki dort ozellige sahip bir d fonksiyonuna mesafe fonksiyonu
denir. Demek ki,
d(f, g) = min{1, ||f g|}
8.4. Fonk(X) Uzerine Mesafe 161
d(x, y) = |x y|
Sonuc olarak, Onsav 8.4teki dort ozellik, sezgisel olarak hissettigimiz me-
safe kavramnn vazgecilmez ve en basat ozellikleridir. Bu y uzden boyle bir
fonksiyona mesafe fonksiyonu ad verilir. Ve bu y uzden mesafe kavramnn
tanmlandg k umeye de metreden t ureyen metrik uzay denir.
Bir metrik uzay , bir M k
umesi ve Onsav 8.3
un a, b ve c ozelligini
saglayan bir d : M M R 0 fonksiyonu icin, (M, d) biciminde yazlan
zerine mesafe denir. C
bir cifttir. dye M u ogu zaman dnin ne oldugu bilinir
ve gozard edilerek, (M, d) metrik uzay yerine M metrik uzay denir. Orne gin
M = R ise, aksi soylenmedikce d(x, y) = |x y| alnr.
162 8. Fonksiyon Dizilerinin Duzg
un Yaknsamas
Bir metrik uzayn her altk umesi, ayn mesafe fonksiyonuyla bir metrik
uzaydr. Bu durumda altk umeye altuzay ad verilir.
Bu ciltte amacmz hicbir bicimde metrik uzaylarnn genel teorisini goster-
mek degil, ama bu dile alsmakta yarar var diye d usu
n
uyoruz. Metrik uzay
konusunu dord unc
u ciltte isleyecegiz.
Rde tanmlanan hemen hemen her kavram metrik uzaylarna da genel-
lestirilebilir, hele metrik uzay u zerine toplama ve carpma gibi islemler varsa.
Orne gin, yaknsaklk, limit, Cauchy dizisi, s ureklilik, tamlk gibi kavramlar
gercel saylardan metrik uzaylara genellestirilebilir. Bunun icin, Rde yaplms
bir tanmda gor unen her
|x y|
t
ur
unden ifade yerine
d(x, y)
koymak yeterlidir; boylece ayn kavram metrik uzaylara genellestirmis oluruz.
Her metrik uzaynda toplama ve carpma gibi islemler olmaz. Ama R ve
Fonk(X) metrik uzaylarnda, mesafe dsnda bir de toplama, ckarma, carp-
ma ve bir sayyla carpma gibi islemlerimiz var. Bu islemler ve mesafe kav-
ram sayesinde, gecmiste R icin tanmladgmz bircok kavram Fonk(X) metrik
uzayna genellestirecegiz.
olur, yani
lim ||fn f || = 0
n
lim ||fn f || = 0
n
ise, o zaman ||fn f || saylar bir zaman sonra 1in altna girerler ve o zaman
gene
d(fn , f ) = min{1, ||fn f ||} = ||fn f ||
Verilmis bir (fn )n dizisi eger yaknsaksa, tek bir fonksiyona yaknsayabilir.
Limitin biricikligi bir onceki paragraftan ve bol
umlerden belli: (fn )n dizisi
f ye yaknsyorsa, f ancak (fn )n dizisinin noktasal limiti olabilir (bkz. Teorem
8.1). Boylece
lim fn = f
n
esitligini yazma hakkn kazanrz. Boyle bir f nin oldugu bir diziye yakn-
sak ya da daha dogru olarak d uzgun yaknsak dizi denir. f ye de (fn )n
dizisinin d uzg
un limiti ya da s
upnormuna gore limiti denir. Noktasal yakn-
saklkla karsmasn diye, gecen bol
umlerde de belirttigimiz gibi,
lim fn = f
n
yerine,
u
lim fn = f
n
yazlr.
Bu bulgularmz bir onsav halinde toparlayalm:
Onsav 8.5. (fn )n , Fonk(X) k umesinden bir dizi olsun. f Fonk(X) olsun.
Asagdaki
onermeler esdegerdir:
u
a. limn fn = f .
b. limn d(fn , f ) = 0.
c. limn ||fn f || = 0.
u
d. limn (fn f ) = 0.
Onsavn son kosulundaki 0 elbette sabit 0 fonksiyonunu simgelemektedir.
Ornekler
8.26. Sabit olmayan bir polinomiyal fonksiyon da a raksad gndan, sabit olmayan
polinomiyal fonksiyonlardan olusan bir (fn : R R)n dizisi Rnin snrsz bir altk
umesi
u
zerinde snrl bir f fonksiyonuna d
uzg
un yaknsayamaz. (Bir onceki sayfadaki sekilden
bu kolaylkla anlaslyor.)
8.6. Duzg
un Aritmetigi
Yaknsaklgn 165
Alstrmalar
8.28. Her f , g, h Fonk(X) icin,
esitli
ginin do
gru ama
u
lim fn = 0
n
esitli
ginin yanls oldu
gunu kantlayn.
8.30. X = R olsun. Her pozitif n do gal says icin, fn : R R fonksiyonu, n dsnda her yerde
0 de gerini alsn ve nde 1/n de
gerini alsn.
u
lim fn = 0
n
esitli
gini kantlayn.
8.6 D
uzg
un Yaknsakl
gn Aritmeti
gi
Simdi d
uzg
un yaknsaklgn aritmetigi u
zerine birkac sonuc kantlayalm.
Teorem 8.6. X bir k ume olsun. (fn )n ve (gn )n , Xten Rye giden iki fonksi-
yon dizisi ve r R olsun. Eger
u u
lim fn = f ve lim gn = g
n n
olur.
166 8. Fonksiyon Dizilerinin Duzg
un Yaknsamas
esitsizligine dayanr ve Sandvic Teoremi sayesinde Onsav 8.5ten hemen ckar.
Ikincisini okura brakyoruz.
Belki sasrtc ve hayal krklgna neden olacak ama, benzer sonuc carpma
icin bu genellikte dogru degildir. Buna hemen bir ornek verelim.
Ornek 8.31. X = R olsun.
1
fn (x) = ve gn (x) = g(x) = x
n
olsun. O zaman
u u
lim fn = 0 ve lim gn = g
n n
olur elbette ama Ornek 8.3e g
ore
u
lim fn gn = 0
n
olmaz.
yandan e
Ote ger her fn ve her gn fonksiyonu X u zerine snrlysa o zaman Teorem 8.6
carpma icin de gecerlidir. Snrl fonksiyonlarla bir sonraki b ol
umde ilgilenece
gimizden bu-
nun kantn erteliyoruz. (Dileyen asagdaki 8.39inci alstrmaya bakabilir.) Bunu bildi
gimizi
varsayarsak, Rnin her snrl I altk umesinde,
u
lim (fn gn )|I = 0
n
oldu
gunu buluruz.
esitli
ginin do
gru oldu
gunu ama
u
lim fn (x)2 = x2
n
esitli
ginin yanls oldu
gunu gosterin.
u
8.36. limn fn = f olsun. f nin snrl oldu gunu varsayalm, yani ||f || < olsun. S unu
kantlayn: Oyle bir A ve N vardr ki, her n > N icin, ||fn || A. (Yani (||fn ||)n
dizisinin kuyru gunun snrl oldugunu kantlayn.)
8.37. Her sey yukardaki alstrmadaki gibi olsun ama f illa snrl olmasn. O zaman bir onceki
alstrmadaki sonucun do gru olmayabilece gini kantlayn.
8.38. E ger her fn snrlysa ve (fn )n dizisi d un yaknsaksa, o zaman (||fn ||)n say dizisinin
uzg
snrl oldugunu kantlayn.
u
8.39. (fn )n ve (gn )n , Xten Rye giden iki snrl fonksiyon dizisi olsun. Eger limn fn = f
u
ve limn gn = g ise,
u
lim fn gn = f g
n
esitli
gini kantlayn. (Ipucu: Bir
onceki alstrmadan yararlanacaksnz.)
u
8.40. limn fn = f olsun. S unu kantlayn: > 0 ne olursa olsun,
oyle bir N says vardr
ki, her n, m > N icin,
||fn fm || <
olur. (Bu son
ozelli glayan dizilere Cauchy dizileri ad verilir. Bu diziler bir sonraki
gi sa
altb
olum
unun konusu olacak.)
Teorem 8.7. Fonk(X) metrik uzaynn her yaknsak dizisi bir Cauchy dizisi-
dir1 . Ayrca Fonk(X, R) metrik uzaynn her Cauchy dizisi yaknsaktr. Daha
oylemek gerekirse, Fonk(X, R) metrik uzayndaki her Cauchy dizisi-
ayrntl s
nin noktasal limiti vardr ve dizi bu noktasal limite d
uzg
un yaknsar. Ksacas
Fonk(X, R) metrik uzay tamdr.
Kant: Birinci ksmn kant standart ve oldukca kolay:
u
lim fn = f
n
olsun, yani
lim ||fn f || = 0
n
olsun. > 0 rastgele secilmis olsun. O zaman oyle bir N vardr ki, her n > N
icin
||fn f || <
2
olur. Dolaysyla Teorem 3.12.iiie gore, her n, m > N icin,
||fn fm || = ||(fn f ) + (f fm )|| ||fn f || + ||f fm || < + =
2 2
olur. Demek ki (fn )n dizisi Cauchy dizisiymis.
Simdi teoremin ikinci ksmn kantlayalm. (fn )n , Fonk(X, R) metrik uza-
ynda bir Cauchy dizisi olsun. Demek ki her > 0 icin,
kosulunu saglayan bir N vardr. Bir baska deyisle, her > 0 icin, n, m > N
ise
sup{|fn (x) fm (x)| : x X} <
kosulunu saglayan bir N vardr. Bundan da tabii ki, her > 0 ve her x X
icin, n, m > N ise
|fn (x) fm (x)| <
kosulunu saglayan bir N nin varlg ckar. Demek ki, (fn (x))n dizisi gercel
saylarda bir Cauchy dizisidir. Gercel saylar tam oldugundan [N4, Altbolum
8.2], bu dizinin bir limiti vardr. Limite f (x) diyelim:
||f fm ||
m > N ||f fm ||
lim ||f fm || = 0
n
u
demektir, yani gercekten de limn fn = f olur. Kantmz bitmistir.
Alstrma 8.41. Teorem 8.7yi kantna bakmadan kantlayn. (Onemlidir!)
(X) k umesi toplama, ckarma, carpma ve sabit bir sayyla carpma islem-
leri altnda kapaldr tabii ki. Ancak bolme islemi altnda kapal degildir, mesela
(0, 1) aralg u
zerine f (x) = x form
ul
uyle tanmlanms fonksiyon snrldr ama
g(x) = 1/x fonksiyonu snrl degildir. Ama elbette eger f fonksiyonu snrlysa
ve 0n yaknna ugramyorsa, o zaman 1/f fonksiyonu da snrldr.
Kant: (X) k umesinin d icin bir metrik uzay oldugu belli. Tamlg kant-
layalm. (X) metrik uzayndan bir (fn )n Cauchy dizisi secelim. (X)
Fonk(X) oldugundan ve Teorem 8.7ye gore Fonk(X) tam oldugundan, (fn )n
dizisi bir f Fonk(X) fonksiyonuna d uzg
un yaknsar. f nin snrl oldugunu
kantlamalyz. D uzgun yaknsamann tanmnda = 1 alalm. O zaman bir n
icin d(fn , f ) < 1 olur, dolaysyla her x X icin,
olur. Boyle bir nyi sabitleyelim. x0 X sabit bir eleman olsun. B says, her
x X icin,
|fn (x) fn (x0 )| B
esitsizligi saglanacak bicimde secilsin. (fn snrl bir fonksiyon oldugundan,
boyle bir B vardr.) Simdi her x X icin,
|f (x) f (x0 )| |f (x) fn (x)| + |fn (x) fn (x0 )| + |fn (x0 ) f (x0 )|
<1+B +1 = B +2
Kant: (fn )n , (X) metrik uzaynda bir Cauchy dizisi olsun. Teorem 8.8e
gore bu dizinin d
uzgun bir limiti vardr, diyelim f . Yaknsaklgn tanmndaki
saysn 1 olarak alalm. Ve N , her n > N icin,
||f fn || < 1
elde ederiz. Dolaysyla, eger M = max{||f0 ||, ||f1 ||, . . . , ||fN ||, ||f ||} + 1 ise,
her n icin, ||fn || < M olur.
Ikinci Kant: Yukardaki kant pek hosumuza gitmedi, cunku kant Teorem
8.8i kullanyor, ama kantlamak istedigimiz onsav tam olsun ya da olmasn
8.8. Snrl Fonksiyonlar Kumesi
(X) 171
t
um uzaylarda gecerli. Yukardaki kanttaki gibi f yi kullanmayan bir kant
verelim. Cauchy dizisi tanmndaki saysn 1e esit alalm. O zaman oyle bir
N vardr ki, her n, m > N icin
||fn fm || < 1
||fn fN +1 || < 1.
olur.
Simdi duzg
un yaknsaklgn aritmetigi u
zerine sonuclar kantlayalm. Te-
orem 8.6 ve ardndan gelen ornekten farkl olarak (X) metrik uzaynda
fonksiyon carpmas da terbiyeli bir davrans sergiliyor.
olur.
esitligini kantlayalm. > 0 verilmis olsun. Teorem 8.8den gnin snrl ol-
dugunu biliyoruz. A > 0 says ||g|| A olarak secilmis olsun. Ayrca Onsav
172 8. Fonksiyon Dizilerinin Duzg
un Yaknsamas
8.9dan (fn )n dizisinin snrl oldugunu biliyoruz. B > 0 says, her n icin
||fn || < B olarak secilmis olsun. Varsayma gore, her n > N1 icin,
||gn g|| <
2B
esitsizligini saglayan bir N1 vardr. Gene varsayma gore, her n > N2 icin,
||fn f || <
2A
esitsizligini saglayan bir N2 vardr. N = N1 + N2 olsun. O zaman her n > N
icin,
olur.
C(X) Fonk(X)
C(X) (X)
C(X) (X)
altuzayna baklabilir.
umde C(X) metrik uzayn irdeleyecegiz. Akla ilk gelen soru bunun
Bu bol
tam bir metrik uzay olup olmadg sorusu:
Teorem 8.11. S urekli fonksiyonlardan olusan dizilerin d
uzg
un limiti de s
urek-
lidir. Yani C(X) tam bir metrik uzaydr.
2
Bu dedi
gimiz genel olarak e
ger X snrl ve kapal bir k
umeyse de gecerlidir.
8.9. Surekli
Fonksiyonlar Kumesi
C(X) 173
|f (x) f (a)| |f (x) fn (x)| + |fn (x) fn (a)| + |fn (a) f (a)|
+ + =
3 3 3
olur. Dolaysyla f fonksiyonu a noktasnda s
ureklidir.
c 8.13. C(X) ve C(X) (X) metrik uzaylar tamdr.
Sonu
Ornekler
8.42. Her n dogal says icin fn : (a, b] R surekli bir fonksiyon olsun. (a, b) ack aralg
u
u
st
unde limn fn = f ve ayrca limn fn (b) = c varsaymlarn yapalm. O zaman
limxb f (x) = c olur.
Kant: g : (a, b] R fonksiyonunu
{
ger x (a, b) ise
f (x) e
g(x) =
c e
ger x = b ise
olarak tanmlansn. O zaman,
olur. Dolaysyla g s
ureklidir (Teorem 8.11) ve
esitli
gi de gecerlidir.
Alstrmalar
umesinde tanml ve Rde de
8.43. [0, 1] k ger alan oyle bir s
urekli fonksiyon dizisi bulun ki,
dizinin noktasal limiti olsun ama dizinin limit fonksiyonu snrsz olsun.
8.44. Rden Rye giden
1
fn (x) =
n(1 + x2 )
fonksiyonlarnn sabit 0 fonksiyonuna d uzg
un yaknsadgn kantlayn.
{
1 eger |x| 1/n ise
8.45. (fn )n = olarak tanmlanan (fn : R R)n fonksiyon dizisi
n|x| e ger |x| < 1/n ise
duzgun yaknsak mdr?
8.46. Oyle bir (fn : [0, 1] R)n s urekli fonksiyon dizisi bulun ki s urekli bir fonksiyona
noktasal yaknsasn ama d uzg
un yaknsamasn.
8.47. E ger fn fonksiyonlar snrlysa ve (fn )n duzg
un yaknsaksa (fn )n dizisinin snrl bir
dizi oldugunu gosterin.
8.48. [0, ) aralgndan Rye giden ve terimleri
x
fn (x) =
1 + xn
formul
uyle tanmlanan (fn )n fonksiyon dizisinin noktasal yaknsad gn ama d uzg
un
yaknsamad gn kantlayn. Bu fonksiyon dizisinin d uzg
un yaknsad
g bir altk
ume bu-
lun. (fn fonksiyonlarn sizin icin asa
gda cizdik.)
8.49. x R icin ( )
1
fn (x) = x 1 +
n
olsun. fonksiyonu irrasyonellerde 0 degerini alsn ve birbirine asal a ve b tamsaylar
icin (a)
= |b|
b
8.9. Surekli
Fonksiyonlar Kumesi
C(X) 175
olsun.
1
gn (x) = (x) +
n
olsun. (fn )n ve (gn )n dizilerinin her sonlu aralkta d uzgun yaknsad gn ama (fn gn )n
dizisinin hicbir sonlu aralkta d uzg un yaknsamad gn kantlayn.
8.50. x (0, 1) icin
x
fn (x) =
1 + nx
olsun. (fn )n dizisinin (0, 1) u
zerinde noktasal yaknsad gn ama d uzg
un yaknsamad gn
kantlayn.
8.51. Eger X kapal bir aralksa ve (fn : X R)n dizisi f fonksiyonuna d uzg un yaknsyorsa
ve g : X R \ {0} fonksiyonu s urekliyse, (fn /g)n dizisinin f /g fonksiyonuna d uzgun
yaknsadgn kantlayn.
8.52. Her f , g (X) icin, ||f || ||g|| ||f + g|| esitsizli
gini kantlayn.
u
= R nolsun. Her n R ve her
8.53. Y (nx R ici in,) fn+1 (x) fn (x) ise ve limn fn = 0 ise
(1) fn (x) serisinin, yani i=0 (1) fi n dizisinin d uzgun yaknsadgn kantlayn.
8.54. f : R R d uzg
un s
urekli (bkz. Ornek 1.24) ve her n > 0 do gal says icin fn (x) =
f (x + n1 ) olsun. (fn )n dizisinin f ye d
uzg un yaknsad gn kantlayn. E ger f d uzgun
s
urekli degilse bunun do gru olmayabilece gini g osterin.
8.55. fn : X R fonksiyonlar f fonksiyonuna d uzgun yaknsasn. Xin (xn )n dizisi x nok-
tasna yaknsasn. (fn (xn ))n dizisinin f (x)e yaknsad gn kantlayn.
9. Weierstrass M-Testi ve
Sonu
clar
(bkz. Alstrma 7.4) R sonsuzdur, yani bu kuvvet serileri Rden Rye giden
yandan,
birer fonksiyon verirler. Ote
xi
kuvvet serisi icin R = 1dir ve bu kuvvet serisi sadece (1, 1) aralgnda bir
zere, f (x) = (1 x)1 fonk-
fonksiyon tanmlar. (Bu fonksiyon da, bilindigi u
siyonudur.)
Ornekler
9.1. exp, cos ve sin fonksiyonlar R u zerine noktasal yaknsaktrlar ama R u zerine duzgun
yaknsak de
gildirler (Ornek 8.2.5 ve 8.2.26). Ama - birazdan kantlayaca gmz u
zere -
Rnin her snrl altkumesi u
zerine bu seriler duzg un yaknsaktr.
i
9.2. x serisi (1, 1) aral
g u
st
unde noktasal yaknsaktr ama d uzg un yaknsak de gildir
ote yandan her 0 < a < 1 icin seri [a, a] aralg u
st
unde d uzgun yaknsaktr. (Birazdan
gorece
giz bunlar.)
9.3. fn , f ve gfonksiyonlar (a, b] aralgndan Rye gitsinler. fn ve g s urekli olsunlar.
(a, b]
u
u
zerinde n=0 f n = f olsun. Ve son olarak (a, b) ac k aral
g u
st
u nde n=0 fn = g
olsun. O zaman f (b) = g(b) olur.
Kant: Teorem 8.11e g ore f fonksiyonu (a, b] uzerinde s ureklidir. Demek ki,
g(b) = lim g(x) = lim fn (x) = lim f (x) = f (b)
xb xb xb
n=0
olur.
dizisinin s
upnorm icin bir Cauchy dizisi oldugunu kantlamak yeterli. Bu di-
zinin iki teriminin farknn s
upnormunu belirleyelim. n > m olsun. Hesapla-
180 9. Weierstrass M-Testi ve Sonuclar
yalm:
n
m n
n
fi fi = fi ||fi ||
i=0 i=0 i=m+1 i=m+1
n
n
m
Mi = Mi Mi .
i=m+1 i=0 i=0
dizisi yaknsak oldugundan bir Cauchy dizisidir. Simdi verilmis bir > 0 icin,
N yi, her n > m > N icin,
n
m
Mi Mi <
i=0 i=0
Bu sefer de Mi yi R2i /(2i)! olarak almak yeterli. sin x serisi benzerdir ve okura
braklmstr.
Yukardaki sonuctan cok daha genel bir sonuc gecerlidir:
Teorem 9.3. R, ai xi serisinin yaknsaklk yarcap olsun1 . S < R olsun.
O zaman i
ai x serisi [S, S] aralg u
st
unde d
uzgun yaknsaktr.
Kant: Seri Sde mutlak yaknsaktr [N4, Teorem 18.6]. Dolaysyla, |ai |S i
i
serisi yaknsaktr. Weierstrass M-Testini fi (x) = ai x fonksiyonlarna ve Mi =
|ai |S i saylarna uygulayalm.
Bu teoremden kuvvet serilerinin yaknsaklgnn oldukca g
ucl
u oldugu c-
kyor.
n
sn (x) = ai xi
i=0
Ornek
9.4. Ornek 4.13te hesap yaparak 1 buldu
gumuz
exp x 1
lim
x0 x
limiti daha teorik m
utalaalarla bir kez daha bulalm. Kolay bir hesapla, (1, 0) aral
gnda
exp x 1 xi
=
x i=0
(i + 1)!
xi
elde edilir. Ama serisinin yaknsaklk yarcap dur. S
i=0 (i+1)!
imdi Ornek 8.42de ka-
i
ntlanan sonucta a = 1, b = 0, f (x) = exp x1
x
n x
, fn (x) = i=0 (i+1)! ve c = 1 alalm. (1, 0)
aral
g u
zerinde
exp x 1
xi
f (x) = = = lim fn (x)
x i=0
(i + 1)! n
u
olur. Sonuc 9.4e g
ore (1, 0) aral
g u
zerinde limn fn = f olur. Ornek 8.42e g
ore
lim f (x) = lim fn (0) = 1
x0 n
esitli
gi de kantlanr. Teorem 5.7ye g
ore limx0 f (x) = 1 olur.
Alstrmalar
1
i=0 4i sin 3i dizisinin R u
x
9.5. zerinde duzg
un yaknsadgn kantlayn.
2
i=0 (1+x2 )i dizisi Rnin hangi altk
x
9.6. umeleri u
zerine d
uzgun yaknsadgn bulun.
9.7. S
u serilerin d
uzg
un yaknsak olduklarn kantlayn:
cos nx xn
1
2
, 3/2
, 2 + n2
n=1
n n=1
n n=1
x
sin nx
9.8. n=1 n
serisinin d
uzg
un yaknsak oldu
gu ack bir aralk var mdr?
sin 0 = 0 ve cos 0 = 1
olur. sin fonksiyonunun bir baska sayda 0 degerini alp almadgn hen uz bil-
miyoruz.
Ayrca sin x ve cos x degerlerinin her x gercel says icin tanml olduklarn
gozlemleyelim, yani yukardaki seriler her x R icin yaknsaktr, hatta mut-
lak yaknsaktr. Bu dAlembert Kstasndan [N4, Teorem 18.1] hemen ckar.
Dolaysyla yukardaki sin ve cos serileri Rden Rye giden birer fonksiyon
tanmlarlar. Ama noktasal yaknsaklktan cok daha iyisini kantlamstk gecen
altbol
umde: sin x ve cos x serilerinin ksmi toplamlar, sin ve cos fonksiyon-
larna her snrl k
umede d uzg
un yaknsar (Sonuc 9.2); dolaysyla sin ve cos
fonksiyonlar her yerde sureklidir (Sonuc 9.5).
Fonksiyonlar tanmlayan serilere baknca hemen gor ulecegi u
zere,
olur; ornegin,
n
(x)2i+1
n
x2i+1
sin(x) = lim (1)i = lim (1)i = sin x.
n (2i + 1)! n (2i + 1)!
i=0 i=0
Yani sin us tek bir fonksiyondur, kosin us ise cift. Bir baska deyisle sin
us fonk-
siyonunun grafigi O(0, 0) noktasna gore simetriktir ve kosin us fonksiyonunun
grafigi y eksenine gore simetriktir. B ut
un bunlardan, sin us ve kosin us fonksi-
yonlarn x 0 iken anlamann yeterli oldugunu gosterir.
Simdi cok yararl iki esitlik kantlayalm:
Teorem 9.6. Her x, y R icin asagdaki esitlikler gecerlidir:
k
zk = x i yj = xi yki
i+j=k i=0
184 9. Weierstrass M-Testi ve Sonuclar
olarak tanmlanmssa, o zaman zi serisi de mutlak yaknsaktr ve
( ) ( )
zi = xi yi
olur.
Cauchy carpmn kullanarak sin x cos y ve sin y cos x serilerini hesaplayalm
ve bulduklarmz toplayalm. Sansmz yaver giderse, aynen teoremin soyledigi
gibi sin(x + y)nin serisini bulacagz.
Once sin x cos yyi hesaplamak amacyla,
y 2i
x2i = 0, y2i = (1)i (2i)! ,
x 2i+1
x2i+1 = (1)i (2i+1)! , y2i+1 = 0
k
k
x2i+1 y 2(ki)
z2k+1 = x2i+1 y2(ki) = (1)i (1)ki
(2i + 1)! (2(k i))!
i=0 i=0
k
x2i+1 y 2k2i
= (1)k
(2i + 1)! (2k 2i)!
i=0
k
(2k + 1)! x2i+1 y 2k2i
= (1)k
(2i + 1)!(2k 2i)! (2k + 1)!
i=0
k ( )
(1)k 2k + 1 2i+1 2k2i
= x y .
(2k + 1)! 2i + 1
i=0
Demek ki Cauchy carpm teoremine gore, sin x cos y, bu z2k+1 saylarnn top-
lamdr.
Bunu aklmzda tutup ayn yontemle sin y cos x serisini hesaplayalm. He-
saplar yeniden yapmaya gerek yok; yukarda buldugumuz form ulde x ile yyi
9.4. Trigonometrik Fonksiyonlar ve Pi Says 185
( )
(1)k 2k + 1 u v
t2k+1 = y x
(2k + 1)! u
u+v=2k+1, u tek
k ( )
(1) 2k + 1 u v
= x y .
(2k + 1)! u
u+v=2k+1, u
cift
Demek ki sin x cos y + sin y cos x, z2k+1 ile t2k+1 lerin toplamnn, yani,
( )
(1)k 2k + 1 u v (x + y)2k+1
z2k+1 + t2k+1 = x y = (1)k
(2k + 1)! u (2k + 1)!
u+v=2k+1
olan seriye esittir [N4, Teorem 14.8]. Bu terimlerin her birinin belli bir (0, )
aralgnda pozitif olduklarn kantlayacagz, yani
x2
1
(4i + 2)(4i + 3)
terimlerinin her i dogal says icin belli bir (0, ) aralgnda pozitif olduklarn
kantlayacagz. Ama bu terimlerin en k ucu
gu
i = 0 icin bulunan terimdir.
Demek ki,
x2
1 >0
6
esitsizligiyle bogusmalyz. = 6 almak yeterli.
0 n < (n + 1) n =
olur.
Hen uz yukarda bulunan saysnn 0a esit olup olmadgn bilmiyoruz.
Birazdan 0a esit olmadgn kantlayaca gz. Z = ()Z oldugundan yi
negatif olmayacak bicimde secebiliriz. Oyle yapalm, bundan boyle 0 olsun.
bulunur, yani
sin x < cos x.
Ayrca, her x, y > 0 icin,
c2 + s2 = 1
c2 s2 = c
2c2 c 1 = 0
dolay, sin
us fonksiyonunun pozitif bir sayda 0 degeri aldg anlaslr. Demek
ki > 0 imis.
Ikinci
Kant2 : Oncelikle cos 2 < 0 oldugunu gosterelim.
( )
4 16 (1)n 22n 1 24n2 24n
cos 2 = 1 + + = <0
2 24 (2n)! 3 (4n 2)! (4n)!
n=3 n=2
olur cu
nk
u sagdaki her parantez negatiftir. cos 0 = 1 > 0 oldugundan, aradeger
teoreminden dolay 0 < p < 2 kosulunu saglayan bir p says icin cos p = 0
olur. O halde sin 2p = 2 sin p cos p = 0 olur.
nin S k umesinin en k ucu
k pozitif says olduguna dikkatinizi cekerim.
Demek ki,
= min{x > 0 : sin x = 0}.
Bundan ve Onsav 9.9dan, 6 bulunur. Yukardaki ikinci kanttan da
< 4 esitsizli
gi anlaslyor.
esitliklerinin saglandg en k
ucu
k pozitif saydr.
yandan /2
Kant: 0 = sin = 2 sin(/2) cos(/2). Ote / Z, yani
sin(/2) = 0.
sin(/2) = 1.
2 uye tesekk
Yusuf Unl urler.
9.4. Trigonometrik Fonksiyonlar ve Pi Says 189
Buradan da,
cos = cos2 (/2) sin2 (/2) = 1
ckar. Devam edelim:
ve benzer sekilde
sin(x + ) = sin x,
cos(x + ) = cos x
sin(x + 2) = sin x
cos(x + 2) = cos x
elde ederiz.
Teoremin son ksmna gelelim. says, herhangi sabit bir x R icin,
esitliklerinin saglandg en k
ucu
k pozitif say olsun. O zaman,
olur. Bundan da
ve sin = 0 ckar.
Sonu
c 9.13. sin ve cos fonksiyonlarnn imgesi [1, 1] aralgdr.
De
gisik Konular
191
c ve Dsb
10. I ukey
Fonksiyonlar
10.1 Tanm
Bu bol
umde analizde cok onemli bir rol oynayan, ornegin esitsizlikler konu-
sunda sk sk basvuracagmz onemli bir kavram ele alacagz: Dsb ukeylik.
Dsbukey bir fonksiyon, asagda gosterildigi gibi grafigi canak anten gibi
yukar dogru olan bir fonksiyondur.
(1) x = (1 t)a + tb
olarak yazlabilir. Nitekim (1) esitliginin saglanmas icin, kolay bir hesapla
gor
ulebilece
gi u
zere,
xa
(2) t=
ba
almak yeterli ve gereklidir. Bunun tersi de dogrudur: Her t (0, 1) says icin,
(1 t)a + tb
(3) form
ul
unde (1) ve (2) form ullerini kullanrsak, dsb
ukeylige esdeger bir
tanm elde ederiz: Her x (a, b) icin,
xa bx
(4) f (x) f (b) + f (a).
ba ba
Biraz daha sk bir form ulasyon soyle: f nin dsb
ukey olmas icin yeter ve gerek
kosul, her a, b I icin ve toplam 1 olan her pozitif , saylar icin,
(5) f (a + b) f (a) + f (b)
esitsizligidir.
Dikkat: Dsb ukey bir fonksiyonun tanm k
umesinin her zaman bir aralk ol-
dugu varsaylr.
Ornekler
10.1. x 7 1/|x| kuralyla tanmlanan g : R>0 R fonksiyonu dsb ukeydir. Ayn kuralla
tanmlanan h : R<0 R fonksiyonu da dsb ukeydir. Ama tanm k umesi bir aralk ol-
madgndan, gene ayn kuralla tanmlanan f : R \ {0} R fonksiyonunun dsb
ukey olup
olmadg sorusu sorulamaz.
196 10. Ic ve Dsbukey
Fonksiyonlar
esitsizli
gini kantlamamz lazm. Hesaplardan korkmayp a/b yerine x koyarsanz, esit-
sizli
gin her a ve b icin do
gru oldu
gunu kantlamak cok kolay.
10.3. exp fonksiyonunun dsb gunu kantlayalm. Bu amacla a b esitsizli
ukey oldu gini sa
g-
layan a ve b saylar ve + = 1 esitli
gini sa
glayan iki pozitif ve saylar alalm.
(5)e g ore
ea+b ea + eb
gini kantlamalyz. Taraflar ea+b saysna b
esitsizli ol
up, + = 1 esitli
gini kul-
lanrsak, bu esitsizli
gin,
1 e(ab) + e(ba)
esitsizli
gine denk oldu
gunu g
or
ur
uz. S gi e(ba) ile carparak,
imdi bu esitsizli
e(ba) + eba
esitsizli
gini kantlamamz gerekti
gini g
or
ur ger x = b a 0 yazarsak,
uz. E
ex ex +
esitsizli
gini kantlamamz gerekti
gi anlaslyor. Kantlayalm:
i xi
i xi
xi
xi
ex = =1+ 1+ = ( + ) + = ex + .
i=0
i! i=1
i! i=1
i! i=1
i!
Istedi
gimiz kantlanmstr.
Alstrmalar
10.4. Bu ve asa um fonksiyonlarn R u
gdaki alstrmalarda kolaylk olsun diye t zerine tanml
oldugunu varsayalm. Iki dsb
ukey fonksiyonun toplamnn da dsb ukey oldugunu kant-
layn.
10.5. Eger f dsbukeyse ve a, b R ise x 7 f (ax + b) fonksiyonunun dsb ukey oldugunu
kantlayn.
ukey fonksiyon olsun. Ayrca f artan olsun. O zaman f g fonksiyonunun
10.6. f ve g iki dsb
dsb
ukey oldu gunu kantlayn. Benzer bir sonucu icb ukey fonksiyonlar icin ifade edin
ve kantlayn. E ger f (x) fonksiyonu dsb ukeyse, exp f (x) fonksiyonunun da dsb ukey
oldugunu kantlayn. Demek ki her a, b R icin x 7 eax+b fonksiyonu dsb ukeydir.
10.7. Dsb
ukey fonksiyonlarn noktasal limitinin dsb ukey oldu gunu kantlayn.
10.1. Tanm 197
bx xa
f (x) f (b) + f (b)
ba ba
kosulunu, yani (4) esitsizligini elde ederiz.
10.2 Dsb
ukeylik ve S
ureklilik
Dsb
ukey ve icb
ukey fonksiyonlar cok vahsi fonksiyonlar olamaz, ornegin s
u-
rekli olmak zorundadrlar.
xb cx
f (x) f (c) + f (b)
cb cb
buluruz. Demek ki,
xa bx xb cx
f (b) + f (a) f (x) f (c) + f (b).
ba ba cb cb
Simdi, bu form ulde, b < x < c esitsizligini bozmadan xi bye goturelim. Sol
ve sag taraflar f (b)ye esit olurlar ve sandvic teoreminden (Sonuc 5.3)
ve f s cb
urekli (Teorem 5.7). I ukey fonksiyonlar icin kant benzerdir.
Bu teorem ve Ornek 10.3 sayesinde exp fonksiyonunun s urekli oldugu bir
defa daha kantlanms olur.
Ama aralk kapalysa s gin f : [0, 1] R fonksi-
ureklilik olmayabilir. Orne
yonu (0, 1) u
zerinde 0 degerini alsn ama 0 ve 1de 1 degerini alsn. f dsb
ukey-
dir ama 0 ve 1de surekli degildir.
10.3 Dsb
ukey Fonksiyonlarn C
arpm
dsb
Iki ukey fonksiyonun carpm dsb
ukey midir? Yant, net bir hayr!
Ornekler
10.9. f (x) = x2 ve g(x) = 1 fonksiyonlar dsb ukeydir ama f g carpm dsbukey olmad g
gibi kesin icb
ukeydir.
10.10. f (x) = x2 ve g(x) = x fonksiyonlar dsbukeydir ama f g carpm dsb
ukey de
gildir. Bu
iki
ornege dikkatlice bakarsak, sorunun fonksiyonlardan birinin bazen negatif de gerler
almasnda yatt gn sanabiliriz. Sorun burada yatmyor, pozitif dsbukey fonksiyonlarn
carpm da dsb
ukey olmayabiliyor:
10.11. f (x) = x2 ve g(x) = (x 1)2 fonksiyonlar dsb ukeydir ama f g carpm dsb ukey
de ger a = 0, b = 1 olarak alrsak ve t (0, 1) herhangi bir sayysa,
gildir. Nitekim e
ve
(1 t)(f g)(a) + t(f g)(b) = 0
olur. Demek ki,
Gene de dsb
ukey fonksiyonlarn carpm hakknda bir teorem var. Sadece
heyecan katmak amacyla degil, daha pedagojik olmas icin teoremin once
kantn verelim, onermesini daha sonra yazarz.
pozitif ve dsb
Iki ukey fonksiyon alalm: f ve g. Bunlarn carpmnn dsb
u-
key oldugunu kantlamak istiyoruz. Bu sonucun yanls oldugunu bildigimizden,
kantlamak istiyoruz yerine kantlamaya calsalm demek daha az yanls
olurdu.
a ve b tanm aralgndan iki say olsun. t (0, 1) rastgele olsun.
yani
esitsizligine denk. Esitsizligin sagndaki ilk iki terimi sola gecirip, pozitif olan
t t2 terimlerini sadelestirirsek, son esitsizligin
10.12. Ornek 10.3ten exp fonksiyonunun dsb ukey oldu
gunu bildigimizden her n do gal says
icin expn fonksiyonu Teorem 10.3ten dolay R u zerine dsb
ukeydir.
10.13. Teorem 10.3ten ve yukardaki ornekten dolay, her n ve m do gal saylar icin f (x) =
x2m expn x fonksiyonu R u zerine dsb
ukeydir.
10.14. n ve m do gal saylar icin f (x) = xm expn x fonksiyonu R0 u zerine dsb
ukeydir.
Alstrmalar
10.15. Ornek 10.16da yukardaki teoremin icb
ukey fonksiyonlar icin yanls oldu
gunu g
oste-
recegiz. Benzer teoremin icb
ukey fonksiyonlar icin do
gru olmas icin
onermede nasl bir
degisiklik yapmalyz?
Ama eger f dsb ukeyse, f hep pozitif degerler alsa bile, 1/f hakknda ge-
nellikle pek bir sey soyleyemeyiz. Mesela f (x) = 1 + x2 fonksiyonu dsbukeydir
ama 1/f ne icb ukey ne de dsbukeydir (bkz. asagdaki sekil).
202 10. Ic ve Dsbukey
Fonksiyonlar
f (x) = x2
form
uluyle tanmlanms fonksiyon dsb yandan exp :
ukeydir. (Neden?) Ote
R R fonksiyonu dsb
>0
ukey bir eslemedir (Ornek 10.3 ve 5.26) ama exp
fonksiyonunun tersi olan log fonksiyonu icbukeydir (kant birazdan).
Asagdaki teorem, dsb
ukey bir fonksiyonun tersinin ic ya da dsb
ukeyligi
hakknda bir bilgi veriyor.
Teorem 10.4. I ve J, Rnin iki aralg olsun. f : I J dsb ukey bir esleme
olsun. Eger f artansa f 1 icb
ukeydir. Eger f azalansa f 1 dsb
ukeydir.
Kant: Onsav 10.1i uygulayacagz. Jden y1 < y < y2 saylarn secelim.
x1 , x, x2 saylar, Idan ve
10.5 Almann B
Us ukeyli
gi
Bu altbol
umde cesitli r gercel saylar icin,
x 7 |x|r
form
ul
uyle tanmlanms fonksiyonlarn b
ukeyligini irdeleyecegiz.
Almann Bukeyli
10.5. Us
gi 203
1
G
orkem Ozkayann cok g uden ald
uzel ve orijinal bir kantn, Yusuf Unl gm ve asa
gda
bulaca
gnz kanttan sonra u
z
ulerek kaldrmak zorunda kaldm. Hem G
orkem Ozkayaya hem
uye tesekk
de Yusuf Unl ur ederim.
204 10. Ic ve Dsbukey
Fonksiyonlar
Onsav 10.6. Eger 0 < r < 1 bir gercel sayysa x 7 xr fonksiyonu R>0
u
zerinde icb
ukeydir.
Kant: Her x 0 icin (xr )1/r = x ve (x1/r )r = x oldugundan, R>0 aralgn-
dan R aralgna giden x 7 xr fonksiyonunun tersi x 7 x1/r fonksiyonudur.
Sonuc simdi Onsav 10.5 ve Teorem 10.4ten hemen ckar.
Bu fonksyonlarn grafikleri de asagdaki gibidir:
Ornekler
10.16. Onsav 10.6 ve 10.5ten, Teorem 10.3 un icb
ukey fonksiyonlar icin yanls oldu
gu ckar.
Nitekim Onsav 10.6ya gore f (x) = x2/3 fonksiyonu icbukeydir, ama f f fonksiyonuna
esit olan g(x) = x4/3 fonksiyonu Onsav 10.5e g
ore dsb
ukeydir.
Onsav 10.7. Eger r < 0 ise, x 7 xr fonksiyonu R>0 u
zerine dsb
ukeydir.
Kant: Bu amacla x, y > 0 ve a + b = 1 esitligini saglayan a, b > 0 saylar
alalm.
(axn + by n )1 (ax1 + by 1 )n
Almann Bukeyli
10.5. Us
gi 205
Bu bol
umde yaptklarmz bir teoremde ozetleyelim:
Teorem 10.8. Eger r 1 ya da r 0 ise x 7 xr fonksiyonu R>0 u zerine
ukeydir. Eger r (0, 1) ise x 7 xr fonksiyonu R>0 u
dsb ukeydir.
zerine icb
Daha once cizdigimiz grafikleri toplu halde gosterelim:
yani f ((1 t)a + tb) = f (a) olur. Demek ki f fonksiyonu a ile b arasnda bir
sabittir. Ama bu da kesin dsb ukeylikle celisir.
ii. Simdi ann Inn icinde yerel bir maksimum oldugunu varsayalm. O zaman
ay iceren oyle bir J I ack aralg vardr ki, b < a < c esitsizliklerini
saglayan her b, c J saylar icin,
a = (1 t)b + tc
f (a) = f ((1 t)b + tc) (1 t)f (b) + tf (c) max{f (b), f (c)} f (a)
olur. Demek ki
f (a) = max{f (b), f (c)}.
Ayrca eger f (b) = f (c) ise,
f (a) = f ((1 t)b + tc) (1 t)f (b) + tf (c) < max{f (b), f (c)} f (a)
olur, bir celiski. Dolaysyla f (b) = f (a) = f (c) ve f , J u zerinde sabit deger
alan bir fonksiyon. Bu da f nin kesin dsb ukeyligiyle celisir.
Alstrmalar
10.18. E
ger bir I aral
g u
zerine tanmlanms bir f fonksiyonu s urekliyse ve her a, b I icin,
( )
a+b f (a) + f (b)
f
2 2
esitsizli
gini sa
glyorsa f nin dsb
ukey oldu
gunu kantlayn.
Dsb
ukey K umeler. Konu dsbukey fonksiyonlardan aclmsken, bir baska
onemli dsb
ukeylik kavramndan soz edelim.
A R2 olsun. Eger her a, b A icin, a ve b arasndaki dogru parcas da
Ann icindeyse, Aya
10.6. Yerel/Global Minimum/Maksimum 209
(1 t)a + tb A
ise Aya d
sbukey denir. (Burada, b = (b1 , b2 ) ise, tb = (tb1 , tb2 ) olarak
tanmlanmstr.) R2 elbette dsb
ukeydir.
Alstrmalar
10.19. Eger I R bir aralksa ve f : I R dsb
ukeyse, f nin grafi
ginin u
st
unde kalan noktalar
k
umesinin, yani
{(x, y) I R : y > f (x)}
kumesinin dsb ukey oldu gunu kantlayn.
10.20. Sonlu ya da sonsuz sayda dsb ukey kumenin kesisiminin dsb ukey oldugunu kantlayn.
10.21. E ger A R ise, Ay iceren t
2
um dsbukey k umelerin kesisiminin, Ay iceren dsb
ukey
bir k ume oldu gunu kantlayn. Bu k umeye Ann d sbukey zarf dersek ve bu k umeyi
dbz A olarak g osterirsek, dbz Ann Ay iceren en kucu
k dsb ukey k
ume oldu gunu ka-
ntlayn (yani dbz A, Ay iceren her dsb ukey kumenin altk umesidir.)
10.22. Su ozellikleri kantlayn:
i. A dbz A,
ii. dbz(dbz A) = dbz A,
iii. dbz(A B) = dbz A dbz B,
iv dbz = .
10.23. Asa gdaki u
c seklin herbirinin ayr ayr dsb
ukey zarfn cizin.
10.24. A R2 olsun. Ann dsb ukey olmas icin, Her x1 , . . . , xn A ve toplam 1 olan her
t1 , . . . , tn (0, 1) icin
t1 x1 + + tn xn
eleman Adadr kosulunun yeter ve gerek oldu gunu kantlayn.
10.25. Yukardaki kosuldaki gibi bir
t1 x1 + + tn xn
noktasna x1 , . . . , xn noktalarnn d ukey kombinasyonu ad verilir. A R2 ol-
sb
sun. Ann noktalarnn t um dsb
ukey kombinasyonlar k
umesinin Ann dsb ukey zarf
oldu
gunu kantlayn.
10.26. A R2 olsun. dbz Ann her elemannn aslnda Ann u c noktasnn bir dsb
ukey kombi-
nasyonu oldugunu kantlayn. Constantin Caratheodorynin daha genel bir teoremi icin
bkz. Teorem 10.10 [Ca].
10.27. A, B R2 ve t R olsun.
A + B = {a + b : a A, b B}
ve
tA = {ta : a A}
210 10. Ic ve Dsbukey
Fonksiyonlar
Bol
um
u Constantin Caratheodorynin bir teoremini kantlayarak bitirelim.
Teorem 10.10 (Constantin Caratheodory). A Rn olsun. P , Ann dsb ukey
zarfnn bir eleman olsun. O zaman P , Ann en fazla n + 1 tane noktasnn
dsb
ukey zarfndadr.
Kant: P dbz A olsun. O zaman sonlu sayda P1 , . . . , Pk A vektor
u ve
toplam 1 eden t1 , . . . , tn 0 saylar icin
k
P = ti Pi
i=1
elde ederiz. Ikinci
esitlikten si lerden en az birinin > 0 oldugu ckar. Ikinci
esitlikten, her a R icin,
k
k
k
P =P a0= ti Pi a si Pi = (ti asi )Pi
i=1 i=1 i=1
k
k
k
(si ati ) = si a ti = 1 a 0 = 1.
i=1 i=1 i=1
k
P = (ti asi )Pi .
i=1
ar = lim aqn
n
(3) exp xi bir serinin limiti olarak tanmlamstk ve exp 1e e adn vermistik.
[N4, Sonuc 10.9]da her q kesirli says icin,
exp q = eq
esitligini kantlamstk.
(4) Teorem 2.1de expin s urekli bir fonksiyon oldugunu kantlamstk.
(5) Teorem 6.2de Rden Rye giden ve Q u zerine ayn degerleri veren iki fonk-
siyonun esit olduklarn kantlamstk.
Simdi bunlar kullanarak asagdaki teoremi kantlayabiliriz:
Kant: Yukardaki 2 ve 4 sayl notlara gore, Rden Rye giden exp fonksiyo-
nuyla r 7 er fonksiyonlar s ureklidir ve 3 sayl nota gore kesirli saylar u
zerine
ayn degerleri alrlar. 5 sayl nota gore bu fonksiyonlar esittirler.
Gecmiste cesitli vesilelerle exp fonksiyonunun ozelliklerini kantlamstk.
Bu sonuclarn bazlarn da ozetleyelim:
11.2 Do
gal Logaritma
Teorem 11.2ye gore exp : R R>0 fonksiyonu surekli, dsb
ukey ve artan bir
eslemedir. exp fonksiyonunun tersine do
gal logaritma diyelim ve bu fonksi-
yonu ln simgesiyle gosterelim:
ln : R>0 R.
Tanm geregi
ln y = x exp x = y
Logaritma
11.2. Dogal 215
lim ln x =
x
lim ln x =
x0+
lim ln x = ve lim ln x =
x x0+
olur.
ln y 0 y 1
onermesi gecerlidir.
ln y = x ve ln y1 = x1 olsun. (Burada y ve y1 pozitif olmak zorundalar,
yoksa esitlikler anlamsz olur.) Demek ki,
exp x = y ve exp x1 = y1 .
Demek ki,
exp(x + x1 ) = yy1 .
Logaritmann tanmndan dolay,
ln yy1 = x + x1 = ln y + ln y1
esitligi gecerlidir. Bir baska deyisle, nasl exp fonksiyonu toplamay carpmaya
donusturuyorsa, expin tersi olan ln fonksiyonu da carpmay toplamaya don us-
t
ur ur. Eger y ve y1 negatif degerler alabilirse, yukardaki esitligi,
ex = exp x = y
ln y r = xr = rx = r ln y
ln |y|r = r ln |y|
olarak yazmak gerekir. Orne
gin, ynin negatif olabilecegini goz on
unde tutarak,
ln y 2 = 2 ln |y|
yazmal.
exp ve ln fonksiyonlar birbirlerinin tersi olduklarndan, her y > 0 icin
eln y = exp ln y = y
ve her x icin
ln ex = ln exp x = x
olur. Bulduklarmz ozetleyelim:
Teorem 11.4. Her x, y R>0 ve her r R icin,
i. ln 1 = 0.
ii. ln e = 1.
iii. ln y 0 y 1.
iv. ln xy = ln x + ln y.
v. ln y r = r ln y ve ln er = r.
vi. ln(1/y) = ln y.
vii. eln y = y olur.
Ornekler
ger z > 0 ise limn z 1/n = 1 olur cu
11.1. E nku
( ) ( )
1/n 1 ln z
lim z = lim exp ln z = exp lim = exp 0 = 1.
n n n n n
ve Ornek 11.1e g
ore
lim (b + az 1/n ) = b + a
n
Alstrmalar
11.6. f : R R fonksiyonu her x, y R icin f (xy) = f (x) + f (y) esitli gini saglasn. f = 0
oldu gunu g osterin.
11.7. f : R0 R0 fonksiyonu her x, y R icin f (xy) = f (x) + f (y) esitli gini sa
glasn.
f = 0 oldu gunu g osterin.
11.8. f : R R fonksiyonu her x, y R icin f (xy) = f (x)f (y) esitli gini saglasn. f = 0, 1
varsaymn yapalm. f (0) = 0 ve f (1) = 1 esitli osterin. Her q Q icin (xq ) = f (x)q
gini g
esitli
gini g
osterin.
11.9. f : Q Q fonksiyonu her x, y Q icin f (xy) = f (x)f (y) esitli gini sa
glasn. f nin asal
saylarda ald g degerlerle belirlendi
gini kantlayn.
lim ax = ve lim ax = 0,
x x
olur.
Kant: x herhangi bir gercel say olsun. O zaman
vii x v
ax = eln a = ex ln a = exp(x ln a)
x 7 ax = exp(x ln a)
ve
lim ax = lim exp(x ln a) = 0
x x
ve
lim ax = lim exp(x ln a) =
x x
bulunur.
Teoremi kullanarak cesitli a > 0 saylar icin x 7 ax fonksiyonlarnn
grafiklerini cizebiliriz.
220 Alma
11. Logaritma ve Us
ln y = x ex = y
form
ul
uyle tanmlamstk, yani ln fonksiyonunu
r 7 er
loga : R>0 R
r 7 ar
loga y = x ax = y
loga y r = r loga y
olur.
Bu arada loge = ln esitligine dikkatinizi cekeriz. loga fonksiyonunu uzun
uzun calsmaya gerek yok, cu
nku loga fonksiyonunu logb cinsinden yazabiliriz,
yeter ki a ve b = 1 olsun:
aloga y = y
esitliginin her iki tarafna logb fonksiyonunu uygularsak,
yani,
loga y logb a = logb y,
11.4. Baska Tabanlarda Logaritma 221
buluruz. Demek ki
logb y
loga y = .
logb a
Eger b = e alrsak,
ln y
loga y =
ln a
esitligini buluruz. Son olarak, Teorem 11.5teki, a > 0 ve x R icin,
ax = exp(x ln a)
Alstrmalar
11.10. f (x) = x ln x fonksiyonunun R>0 uzerine dsb
ukey oldugunu kantlayn.
11.11. Bir I aral
gnda tanmlanms ve pozitif de
gerler alan bir f fonksiyonu alalm. E
ger
fom
ul ukeyse, f ye logaritmik d
uyle tanmlanms fonksiyon dsb sb
ukey denir. Logarit-
mik dsb
ukey fonksiyonlarn dsb
ukey olduklarn kantlayn.
f (x) = x2
form
ul
uyle tanmlanms fonksiyonun dsb
ukey olmasna karsn logaritmik dsb
ukey ol-
mad
gn g
osterin.
12. Esitsizlikler Gecidi
Altbol
um 6.4te analizde cok onemli olan Bernoulli esitsizligini kantlamstk.
Bu bol
umde analizde one ckan birkac klasik esitsizlik daha kantlayacagz.
olur ve ( n ) n
ti xi t f (xi )
f n
i=1 n i
i=1
i=1 ti i=1 ti
esitsizligi gecerlidir. Eger f kesin dsb
ukeyse esitlik ancak ve ancak x1 = . . . =
xn ise gecerlidir. Eger f icb ukeyse esitsizlik ters cevrilir.
form
ul
un
u elde ederiz.
Not 2. Form uldeki ti saylarna, xi ve f (xi ) saylarnn a
grlklar diyebili-
riz; o zaman toplamlar a grlkl ortalamalar olarak alglanabilir, ortalama
alyoruz ama baz saylara digerlerinden daha fazla ya da daha az onem veri-
yoruz anlamnda. Teoreme gore, eger f dsb ukeyse, saylarn agrlkl orta-
lamalarnn f -imgesi, f -imgelerin agrlkl ortalamasndan k ucu
kesittir.
224 12. Esitsizlikler Gecidi
Teorem 12.1in Kant: Kant f nin dsb ukey oldugu durumda yapalm,
cu
nk
u diger durumda kant cok benzer. Not 1deki degisikligi yaparak tlerin
toplamnn 1 oldugunu varsayabiliriz.
min{xi } t1 x1 + + tn xn max{xi }
n1
ti
xi = xn
t
i=1
ise gecerlidir. Ikinci esitsizlik ise (t
umevarmla) ancak ve ancak
x1 = . . . = xn1
x1 = . . . = xn1 = xn
Alstrmalar
gini n N icin f (x) = xn kuralyla tanmlanms icin fonksiyonlara uygu-
12.1. Jensen esitli
layn.
gini r R icin f (x) = xr kuralyla tanmlanms fonksiyonlara uygulayn.
12.2. Jensen esitli
(Bkz. Teorem 10.8).
gini a > 0 icin f (x) = ax kuralyla tanmlanms fonksiyonlara uygulayn.
12.3. Jensen esitli
(Bkz. Teorem 11.5).
12.4. Jensen esitli
gini f (x) = ln x kuralyla tanmlanms fonksiyona uygulayn.
ve Sonuclar
12.1. Jensen Esitsizligi 225
formul
unu elde ederiz. Simdi f (x) = ln x olarak alalm, ve xi saylarn (zorunlu
olarak) pozitif alalm. Logaritmann icb ukey oldugunu biliyoruz (Teorem 11.3).
Dolaysyla,
( n )
1 1
n
1
ln xi ln xi = ln (x1 xn ) = ln [(x1 xn )1/n ]
n n n
i=1 i=1
esitligini kullanrsak istedigimizi elde ederiz. Son onerme Teorem 12.1in ikinci
cumlesinden ckyor.
Bernoulli esitsizliklerini (Teorem 6.7) bir defa daha kantlayabiliriz2 :
(1) (1 + x) 1 + x.
(2) (1 + x) 1 + x.
(1 + x) = (1 + x) 11 < (1 + x) + (1 ) = 1 + x
buluruz.
Eger [0, 1] ise kant aynen Teorem 6.7nin kant gibidir.
Alstrmalar
ginden, her a1 , . . . , an 0 gercel says ve her k 1 do
12.5. Jensen esitsizli gal says icin
esitsizli
gini kantlayn.
Kant: Kantn p
uf noktas,
ln ap ln bq
ln ab = ln a + ln b = +
p q
esitligidir.
ln fonksiyonunun icb
ukeyliginden, eger t ve s saylar t + s = 1 esitligini
saglyorsa ve , > 0 ise
ln(t + s) t ln + s ln
elde ederiz. Ayrca, ln keskin icb
ukey oldugundan, esitlik ancak ve ancak =
ise gecerlidir. ve yerine srasyla ap ve bq koyarsak,
ln (tap + sbq ) t ln ap + s ln bq
elde ederiz, ve esitlik ancak ve ancak ap = bq ise gecerlidir. Simdi de t = 1/p
buldugumuz esitlikten devam edelim:
ve s = 1/q alalm. Ilk
( p )
ln ap ln bq a bq
ln ab = ln a + ln b = + ln +
p q p q
elde ederiz. ln fonksiyonu artan oldugundan istedigimiz esitsizligi elde ederiz.
Ayrca ln keskin artan oldugundan, esitlik ancak ap = bq ise gecerlidir.
Ikinci Kant3 : xp = y q olsun. Aritmetik-geometrik ortalama esitsizliginin
genel halinden dolay(Sonuc 12.3)
xp y q
xy = (xp )1/p (y q )1/q < +
p q
olur. xp = y q ise
( )
1 1 xp y q
xy = y q/p y = y q(1/p+1/q) = y q = + yq = +
p q p q
olur.
Alstrmalar
12.6. Her sey Teorem 12.5deki gibi olsun, bir de ayrca > 0 olsun. O zaman,
ap bq
ab + q/p
p q
esitsizli
gini kantlayn.
gil de, a1 , a2 , . . . , an 0 saylar ve
12.7. Teorem 12.5yi a, b ve p, q saylar icin de
1 1 1
+ + + =1
p1 p2 pn
esitli
gini sa
glayan p1 , p2 , . . . , pn > 0 saylar icin kantlayn.
3 uye tesekk
Yusuf Unl urler.
228 12. Esitsizlikler Gecidi
12.3 H
older Esitsizli
gi
Teorem 12.6 (Holder Esitsizligi). x1 , x2 , . . . , xn ve y1 , y2 , . . . , yn pozitif
gercel saylar olsun. p ve q saylar pozitif olsun ve
1 1
+ =1
p q
esitsizligini saglasn. O zaman
( )1/p ( )1/q
n
n
n
x i yi xpi yiq
i=1 i=1 i=1
olur.
xpi yq
x i yi + i
p q
olur. Bu esitsizlikleri taraf tarafa toplarsak,
n
n
xp
n
yq 1 p 1 q
n
1 1
n
xi yi i
+ i
= xi + yi = + = 1
p q p q p q
i=1 i=1 i=1 i=1 i=1
saysdr ve 0dan k
ucu
kesit olmaldr.
Bu kanttan ayrca esitligin ancak ve ancak ai ve bi saylarnn birbirine
oranlar aynysa gerceklesebilecegi ckar.
Cauchy-Schwarz esitsizliginin bir baska kant:
( n )2
n
n
n
x i yi = xi yi xj yj = x2i yi2 + 2 (xi yj )(xj yi )
i=1 i=1 j=1 i=1 1i<jn
esitsizliginden yola ckp soldaki ifadeyi acn. Esitsizligi kolayca elde edeceksi-
niz. Bu kantta, Cauchy-Schwarz esitsizli ginde esitligin ancak ve ancak her i
ve j icin xi yj = xj yi esitligi dogruysa gecerli oldugu hemen gorunuyor.
230 12. Esitsizlikler Gecidi
olur.
olur.
Kant: Aritmetik-geometrik ortalama esitsizliginden dolay (Teorem 12.2)
n (
)1/n
1 xi
n
xi
xi + yi n x i + yi
i=1 i=1
ve
n (
)1/n
1 yi
n
yi
xi + yi n x i + yi
i=1 i=1
olur. Bu ikisini toplarsak,
n (
)1/n n (
)1/n
xi yi
+ 1
xi + yi x i + yi
i=1 i=1
elde ederiz.
Teorem 12.10. Eger 0 < x < 1 ve 0 < r s ise, (1 xr )1/r (1 xs )1/s
olur.
Kant: x 7 x1/r fonksiyonu [0, 1] aralgnda bir eslemedir; dolaysyla esit-
sizligi x yerine x1/r icin kantlamak yeterlidir. O zaman esitsizlik
(1 x)1/r (1 xs/r )1/s
esitsizligine don r. u = s/r 1 dersek,
usu
(1 x)u 1 xu
esitsizligini kantlamamz gerektigini gor
ur alma fonksiyonunun s
uz. Us urek-
liliginden ve kesirli saylarn yogunlugundan dolay, bu son esitsizligi kesirli u
saylar icin kantlamak yeterli. q p > 0 dogal saylar icin u = q/p olsun.
(1 x)q/p 1 xq/p
232 12. Esitsizlikler Gecidi
(1 xp )q (1 xq )p
(1 xq )p (1 xp ) (1 xq+1 )p
(1 xp )q+1 = (1 xp )q (1 xp ) (1 xq )p (1 xp ) (1 xq+1 )p
oldugundan
( ) ( ) 1/
c
a1
c + + an
c
=
c n
234 12. Esitsizlikler Gecidi
olur. Eger ( ) ( )
a1 an
d1 = , . . . , dn =
c c
tanmn yaparsak, bir onceki esitlik,
( )
/ / 1/
c d1 + + dn
(1) =
c n
esitligine don
usu yandan,
r. Ote
(( ) ( ) )1/
( )1/ a1
++ ac n
d1 ++dn c
n = n
( )1/
1 a
1 ++an 1
= c n = c c = 1.
Demek ki,
d1 + + dn = n.
Simdi xi saylarn
di = 1 + xi
esitligi dogru olacak bicimde tanmlayalm. Elbette
x1 + + xn = 0
olur.
Eger 0 < < ise, / > 1 oldugundan, Teorem 6.7ye gore,
/
d1 = (1 + x1 )/ 1 + x1
/
d2 = (1 + x2 )/ 1 + x2
()
...
/
dn = (1 + xn )/ 1 + xn
/
d1 + + d/
n n+ (x1 + + xn ) = n
elde ederiz. Bu ve (1) esitliginden,
( )1/
/ /
c d1 + + dn
= 1
c n
yani
c c
12.6. nc Mertebeden Ortalama 235
Weierstrass Yo
gunluk
Teoremi
237
13. Genellestirilmis Binom
Aclm
Liseden beri bildigimiz binom aclmn anmsayalm: Eger x bir gercel say ve
n bir dogal sayysa,
n ( )
n i
(1 + x)n = x
i
i=0
olur. xi lerin on
undeki ( )
n n!
=
i i!(n i)!
katsaylarna binom katsaylar denir. Binom katsaylarn sadelestirerek ya-
zalm: ( )
n n! n(n 1) (n i + 1)
= = .
i i!(n i)! i!
Eski tanm unutup, binom katsaylarn bundan boyle,
( )
n n(n 1) (n i + 1)
=
i i!
olarak tanmlayalm. Arada bir fark yok gibi gor unse de bu yeni tanmn
oncekine gore iki avantaj var:
1. Birinci tanm i > n iken anlamszd, oysa simdi i > n iken yeni tanm 0
sonucunu veriyor, cu u carpmn ortalarnda bir yerde (n n) ifadesi beliri-
nk
yor1 . Dolaysyla, bu yeni tanmla, binom aclmn
( )
n n i
(1 + x) = x
i
i=0
olarak yazabiliriz. Boylece ifade (basitlesmez belki ama) bir seriye don
usu
r.
1
Bilindi zere (n a)(n b) (n z) ifadesinin aclm 0dr!
gi u
240 13. Genellestirilmis Binom Aclm
Ayrca eger yerine X yazarsak, katsaylar kesirli saylar olan iinci dereceden
bir polinom elde ederiz:
( )
X X(X 1) (X (i 1))
= Q[X].
i i!
esitligi gecerlidir.
esitligi, yani
( ( ) ) ( ( ) ) ( )
i i + i
x x = x
i i i
esitligi gecerlidir.
Kant: Bunun kant biraz uzun s
urecek. Cauchy C
arpm Form
ul
une gore
(bkz. sayfa 183)
()( ) ( + )
=
i j n
i+j=n
Her iki taraf da ninci dereceden polinomlar. Ayrca baskatsaylar esit: Her
ikisinin de baskatsays 1/n! Demek ki bu iki polinomun n degisik sayda ayn
degerleri aldklarn kantlamak yeterli. Her iki polinomun da 0, 1, . . . , n 1
saylarnda ayn degerleri aldgn kantlayacagz ve boylece istedigimize ulasa-
cagz:
Sav. Her k = 0, 1, . . . , n 1 icin,
()(k ) ( + k )
= .
i j n
i+j=n
Savn Kant: Eger k < j ise, soldaki ifadedeki binom katsaylarnn 0 ol-
duklarn biliyoruz. Demek ki, kantlamak istedigimiz esitlik,
()(k ) ( + k )
=
i j n
i+j=n, jk
esitligine b
ur
un
uyor. yerine X yazarak, bu son esitsizligi de bir polinom
olarak gorelim:
(X )(k ) (X + k )
(3) = .
i j n
i+j=n, jk
Bu son esitligi kantlayacagz. Her iki taraf da katsaylar kesirli saylar olan
polinomlar. Toplamdaki i, en fazla nye esit olabiliyor ve bu durumda j = 0.
Demek ki sol taraf ninci dereceden bir polinom. Sag taraftaki de ninci derece-
den elbette. Ayrca her iki polinomun baskatsays 1/n!. Demek ki eger bu iki
243
esitligini de biliyoruz.
Simdi
ve n/m A olur. (Eger m cift sayysa ayn esitligi elde etmek icin fn/m (x) 0
olgusu gerekli. Eger x 0 ise bunu kantlamak cok zor degil, ancak eger x < 0
ise bunu bu asamada nasl kantlayaca gmz bilmiyoruz.)
R = A esitligi biraz daha zamanmz alacak. Bunun icin once su sonucu
kantlayalm.
g. Her gercel say bir Q1 -dizisinin limitidir.
Kant: Once 1/2den baslayalm.
1
3i
i=1
Ama
n
1
Q1
3i
i=1
[(2n + 1)x]
qn = Q1
2n + 1
3 uden.
Yusuf Unl
245
ckar. Buldugumuz bu
iai (i + 1)ai+1 ai
esitsizliklerini i = N den baslayarak i = nye kadar taraf tarafa toplarsak, her
n N icin, sadelestirmelerden sonra,
N aN (n + 1)an aN + + an ,
dolaysyla
N aN aN + + an
buluruz. Simdi
n
sn = ai
i=0
246 13. Genellestirilmis Binom Aclm
n
sn = sN 1 + ai sN 1 + N aN
i=N
buluruz. Demek ki i=0 ai serisi (ksmi toplamlar u
stten snrl oldugundan)
yaknsaktr. Ayrca ( )
|gi ()| = xi ai
i
oldugundan, Weierstrass M-testinden dolay
gi ()
i=0
olur.
Simdi rastgele bir R alalm. n tamsaysn + n 1 olacak bicimde
secelim. O zaman,
f (x) = (1 + x)
esitligi sa
glayan ancak s urekli olmayan fonksiyonlarn varl
g Zorn Onsavyla biraz cebir
kullanarak kantlanabilir.)
a. E ger bir x icin g(x) = 0 ise her x icin g(x) = 0 oldugunu gosterin. Bundan boyle gnin
sabit 0 fonksiyonu olmad gn varsayalm.
b. g(0) = 1 ve her x icin g(x) = g(x)1 esitliklerini kantlayn.
c. Fonksiyonun pozitif de gerler ald
gn kantlayn. Bundan b oyle a = g(1) > 0 olsun.
c. Her n N ve x R icin g(nx) = g(x)n esitli gini kantlayn.
d. Her n Z ve x R icin g(nx) = g(x)n esitli gini kantlayn.
e. Her q Q ve x R icin g(qx) = g(x)q esitli gini kantlayn.
f. Her q Q icin g(q) = aq esitligini kantlayn.
g. Her x R icin g(x) = ax esitli gini kantlayn.
Simdi, eger 0 ise snr noktalarnn bir sorun teskil etmedigini kantla-
yacagz:
Teorem 13.2. 0 sabit bir say olsun. Eger x [1, 1] ise
( )
i
(1 + x) = x
i
i=0
N aN (n + 1)an+1 = (aN + + an ),
dolaysyla
N aN (aN + + an )
buluruz. Simdi
n
sn = ai
i=0
olsun. Biraz once buldugumuz esitsizlikten, her n N icin,
n
N
sn = sN 1 + ai sN 1 + aN
i=N
248 13. Genellestirilmis Binom Aclm
buluruz. Demek ki i=0 ai serisi (ksmi toplamlar u
stten snrl oldugundan)
yaknsaktr. Ayrca her x [1, 1] ve i N icin,
( )
i
i x ai
( )
( )
i
x = (1)i
i i
i=0 i=0
(1 )(2 ) ((i 1) )
=1
i!
i=2
(1 + )(2 + ) ((i 1) + )
=1+ +
i!
i=2
( ) ( )
(1 + ) 1 + 1 +
2 i1
=1+ +
i
i=2
1
1+ + =
i
i=2
()
(1 )(2 ) ((i 1) )
=1++ (1)i1
i i!
i=2
2n 2n+1
0.
(2n)! (2n + 1)!
14.1 Ack K
umeler
Gercel saylar k
umesinin, ack aralklarn bilesimi olarak yazlan bir altk
ume-
sine a
ck k ume diyelim. Demek ki Rnin bir U altk umesinin ack olmas icin
yeter ve gerek kosul, her a U icin,
(a , a + ) U
icindeligini saglayan (ve aya gore degisebilen) bir > 0 saysnn varlgdr.
Tanma gore ve R ack k umelerdir. Her ack aralk da ack bir k umedir.
Ack k umelerin bilesimi elbette acktr. Sonlu sayda ack k umenin kesisimi de
acktr.
[0, 1] ya da (0, 1] aralklar ack degildirler, cu
nk
u 1i iceren her ack aralk
mutlaka 1den b uy
uk saylar da icermek zorundadr.
Yukarda verdigimiz tanm aslnda Rnin ack k umelerinin tanm. Eger
X R ise, Xin bir ack k umesi, tanm geregi, Rnin bir ack k umesiyle Xin
kesisimidir. Xin ack k umelerine X-a ck diyebiliriz. Bir U X k umesinin
X-ack olmas icin yeter ve gerek kosul, her a U icin,
(a , a + ) X U
Onsav 1.6ten anmsayalm: = A R ve x R ise x ile A arasndaki
mesafe,
d(x, A) = inf{|x a| : a A} = inf |x a|
aA
olarak tanmlanr. Eger x A ise d(x, A) = 0 olur. Ama bunun tersi yanlstr:
X = R, A = (0, 1) ise 1 eleman Ada degildir ama Aya mesafesi 0dr. Ote
yandan eger A kapalysa, her sey yolunda gider.
d(x, A) > 0
14.2 S
ureklilik
Ack k
umelerin varolus nedeni asagdaki sonucta gizli:
(a , a + ) X f 1 (I)
se koyulalm: f (a) I ve I bir ack aralk oldugundan, oyle bir > 0
olsun. I
vardr ki,
(f (a) , f (a) + ) I
urekli oldugundan, oyle bir > 0 vardr ki, her x (a , a +
olur. f , ada s
) X icin
f (x) (f (a) , f (a) + ),
14.3. Tkzlk 255
dolaysyla
f (x) I
olur, yani
(a , a + ) X f 1 (I)
olur.
Simdi ack k
umelerin f -ongor
untulerinin X-ack oldukarn varsayalm. a
X olsun. f nin ada s urekli oldugunu kantlayacagz. > 0 verilmis olsun.
(f (a), f (a)+) ack aralg ack bir k
ume oldugundan, bu aralgn onimgesi
olan f 1 (f (a), f (a)+) k umesi X-acktr. a, bu X-ack k
umenin bir eleman
oldugundan,
(a , a + ) X f 1 (f (a) , f (a) + )
14.3 Tkzlk
Sezgisel olarak tkz bir k ume, terimleri icinde olan dizilerin mutlaka yaknsak
bir altdizisi oldugu k umelerdir. Bir dizinin yaknsak altdizisi olmamas iki
t
urlu m umkund ur: Ya dizinin terimleri arasndaki mesafe hic azalmyordur
(boylece dizi sonsuza gitmek istiyordur ve k ume snrszdr) ya da kumede eksik
noktalar vardr (Q ya da (0, 1) k umesi gibi). Demek ki tkz bir k ume snrsz
olmamal (ki diziler sonsuza gidemesin) ve cok yaknndaki noktalar icermeli
(ki bir yere yaknsamak isteyen altdiziler yaknsayabilsinler). En azndan Rde
gercekten boyle olur, mesela [0, 1] kapal aralg tkzdr; bkz. Teorem 14.3.
Sezgi kazandrma amac tasyan bu ksa sohbeti gecip Rnin bir altk umesinin
tkz olmasnn matematiksel tanmn verelim.
X R olsun. (Ui )iI , Xin bir altk umeler ailesi olsun. Eger X iI Ui
ise, (Ui )iI ailesine Xin ort
usu ad verilir. Eger her Ui acksa, ort
uye ack
ortu denir. Eger I sonluysa, ort u sonlu ortu adn alr. Eger J I ise
ve (Uj )jJ , Xin hala daha bir ort
us
uyse, (Uj )jJ ailesine (Ui )iI ortus
unun
altort
us u ad verilir. Eger J sonluysa, sonlu alt ort
uden sozedilir.
256 14. Tkz Kumeler
X Ui1 . . . Uin
X Ui1 . . . Uin
14.1. Rnin her sonlu altk umesi (dolaysyla bosk ume de) tkzdr.
14.2. R tkz de gildir cu
nk uR= n=1 (n, n) olmasna karsn, R sonlu sayda (n, n) aral-
g
nn bilesimi de gildir.
14.3. (0, 1) aralg tkz de gildir, cu
nk
u ornegin ((1/n, 1))n=1,2,3,... ack
ort
us
un
un sonlu bir
alt
ortus
u yoktur.
14.4. Her kapal aralk tkzdr. Bunu birazdan kantlayaca gz.
14.5. Sonlu sayda tkz k umenin bilesimi de tkzdr.
14.6. Daha fazla ornek vermeye gerek yok, cu nku bir sonraki (onemli) teorem Rnin t um tkz
altkumelerini betimleyecek.
Teorem 14.3 (Heine-Borel Teoremi). Rnin bir altk umesinin tkz olmas icin
yeter ve gerek kosul altk
umenin snrl ve kapal olmasdr.
olur. Yani [ ]
1 1
x , x+ X c,
n n
ve dolaysyla ( )
1 1
x , x+ X c,
n n
olur. Boylece xi iceren bir ack aralgn Xin t
umleyeninde oldugunu goster-
mis olduk. Bu da Xin t umleyeni ack demektir. Teoremin yars kantlanmstr.
Ama bu teoremin kolay yarsyd. Daha zor ve daha icerikli olan diger yarsn
kantlamak icin (kendi basna onemli olan) yardmc bir sonuca ihtiyacmz
var:
f = lim dn = lim en
n n
[dn , en ] (f , f + ) Ui
olur. Ama o zaman da [dn , en ] tek bir (dolaysyla sonlu sayda) Ui tarafndan
kaplanr. Bir celiski. Demek ki [a, b] aralg tkz bir k
umedir.
14.4 Uc De
gerler
Teorem 14.5. Tkz bir k
umenin s
urekli bir fonksiyon altnda imgesi tkzdr.
Demek ki ( )
K f 1 (f (K)) f 1 Vi = f 1 (Vi ),
iI iI
K f 1 (Vi1 ) . . . f 1 (Vin )
olur.
260 14. Tkz Kumeler
olur.
esitli
gini g
osterin.
14.8. f : [a, b] R s urekli olsun. E
ger f fonksiyonu (a, b) aral
gnda uc de
gerlerinden birini
alyorsa f nin birebir olamayaca gn kantlayn.
14.5 D
uzg
un S
ureklilik
Duzg
un s
ureklilik, s
urekliligin cok ozel bir halidir. Ama genel olarak t
um to-
polojik uzaylarda degil, metrik uzay gibi ozel topolojik uzaylarda gecerli olan
bir kavramdr. Tanm anmsatalm:
(X, dX ) ve (Y, dY ) iki metrik uzay ve f : X Y bir fonksiyon olsun. Once
f nin surekli oldugunun ne demek oldugunu anmsatalm. f nin s urekli olmas
icin f nin Xin her a noktasnda s urekli olmas gerekmektedir; yani her a X
icin su ozellik dogru olmaldr: Her > 0 icin oyle bir > 0 olmaldr ki, her
x X icin
dX (a, x) < dY (f (a), f (x)) < .
Bunu daha bicimsel olarak yazacak olursak, s
ureklilik
onermesine denktir.
Eger A X ise ve f|A fonksiyonu d uzg
un s
urekliyse, o zaman f nin A
uzerine d
uzg
un surekli oldugu soylenir.
Kant: > 0 verilmis olsun. x X icin oyle bir (x) > 0 says secelim ki,
her y X icin,
|x y| < (x) |f (x) f (y)| <
2
olsun.
( f surekli oldu
)gundan boyle bir vardr. X tkz oldugundan sonlu sayda
(x) (x)
x 2 , x+ 2 ack aralg Xi orter, diyelim
( ) ( )
(x1 ) (x1 ) (xn ) (xn )
x1 , x1 + , . . . , xn , x+
2 2 2 2
gi her x, y R icin sa
esitsizli glanyorsa, f ye Lipschitz
ozelli
gini saglayan fonksi-
yon ya da ksaca Lipschitz denir. Lipschitz fonksiyonlarn d uzgun s
urekli olduklarn
kantlayn.
14.13. X R ve f : X R olsun. Her > 0 icin ||f f || < esitsizli gini sa
glayan duzg
un
urekli bir f : X R oldu
s gunu varsayalm. Bu durumda f nin de d uzgun s
urekli
oldu gunu kantlayn.
14.14. S urekli ve periyodik her f : R R fonksiyonunun d uzg
un s
urekli oldu
gunu kantlayn.
14.15. D uzg un surekli fonksiyonlarn aritmetigini irdeleyin. (Toplama, bir sayyla carpma,
carpma, bileske gibi islemler altnda kapal mdr?)
15. Dini Teoremi ve Bir
Uygulamas
fn fonksiyonunun grafi
gi so
yle:
264 15. Dini Teoremi ve Bir Uygulamas
Gor
uld
ugu
gibi fn s
urekli bir fonksiyon ve n buy
ud
ukce 1/n k
ucu
ld
ugu
nden, fn lerin limiti
(elbette s yandan,
urekli olan) sabit 1 fonksiyonu s1 . Ote
( ) ( )
1 1
s1 fn =10=1
n n
gundan, ||s1 fn || = 1 olur ve yaknsaklk d
oldu uzg
un de
gildir.
Not 1. Kantta s ureklilik varsaym cok kstl bir haliyle kullanlyor. Kdan
Rye giden bir f fonksiyonu,
her R icin, {x K : f (x) < } k
umesi acktr
ozelligini saglyorsa, f fonksiyonuna u stten yars urekli 2 ad verilir. Kant-
lanan teorem belli ki sadece s urekli fonksiyonlar icin degil, u
stten yars
urekli
fonksiyonlar icin de gecerli.
Not 2. Benzer sonuc artan ve alttan yars urekli fonksiyonlar icin de gecerlidir
elbette.
15.2 tye D
uzg
un Yaknsayan Polinomlar
oldugundan, (1) esitsizliginden tumevarmla pn+1 (t) pn (t) > 0 ckar, yani
(pn (t))n dizisi artandr.
Her t [0, 1] icin (pn (t))n dizisi artan ve ustten snrl oldugundan, bir
limiti vardr. Bu limite p(t) dersek, t umevarmsal tanmda her iki tarafn da
limitini alarak,
t + p(t)2
p(t) =
2
buluruz, yani,
p(t)2 2p(t) + t = 0,
yani
p(t)2 2p(t) + 1 = 1 t,
yani
(p(t) 1)2 = 1 t,
yani tam istedigimiz gibi
p(t) = 1 1t
olur (cu
nk
u 3
unc
u ve 4
unc u ozelliklerden dolay 1 p(t) 1 pn (t) 0).
Noktasal yaknsaklg kantladk. Simdi Dini teoremini (Teorem 15.1) uy-
gulayarak yaknsaklgn duzgun oldugunu gorur
uz:
u
lim pn (t) = 1 1 t.
n
Bundan ve Altbol
um 8.2de kantladgmz cok basit olgulardan,
u
lim (1 pn (1 t)) = 1 p(1 t) = t
n
olur.
u
Not 1. limn qn (t2 ) = |t| olur. (Bkz. Ornek
8.21.)
Not 2. Ilk birkac qn polinomunu hesaplayarak katsaylarn zamanla sabitles-
medigini gor
un.
16. Weierstrass Yo
gunluk
Teoremi
16.1 Weierstrass Yo
gunluk Teoremi
Bu altbolumde kantlayacagmz teorem [a, b] kapal aralg u zerine tanmlan-
ms her s
urekli fonksiyonun polinomlardan (aslnda polinomiyal fonksiyonlar-
dan demek lazm) olusan bir dizinin d uzg un limiti oldugunu soyl
uyor. Bir
baska deyisle s
urekli fonksiyonlarn yaklask degerlerini, m
unasip polinomlarn
degerlerini hesaplayarak bulabiliriz. Weierstrass Yo gunluk Teoremi deni-
len bu sonucun benzerlerine aslnda okur asinadr. Ornegin, exp fonksiyonu,
x2 x3 xn
1+x+ + + +
2! 3! n!
polinomlarnn her kapal ve snrl aralk u zerinde d uzgun limitidir. Ayn sey,
sin ve cos fonksiyonlar icin de gecerlidir:
( )
x3 x5 x2n+1
sin x = lim x + + (1)n
n 3! 5! (2n + 1)!
( 2 4 2n
)
x x n x
cos x = lim 1 + + (1)
n 2! 4! (2n)!
esitlikleri (sin ve cos fonksiyonlarnn tanmndan dolay) gecerlidir ve limitler
her kapal ve snrl aralk uzerinde duzgund
ur. [Sonuc 9.2, ya da Teorem 9.3].
Bu ciltte gormedigimiz (ama bir sonraki ciltte gorecegimiz) Taylor serilerini
bilen okur da bu fikirle asinadr. Ama bir fonksiyonun Taylor serisi olmas icin,
fonksiyonun sonsuz kez t urevlenebilir olmas gerekir ki bircok surekli fonksi-
yon tek bir kez bile t urevlenemez. Ayrca fonksiyon sonsuz kez t urevlenebilir
oldugu zaman bile fonksiyonun Taylor serisi fonksiyona esit olmayabilir. Bu
tartsmadan da anlaslacag uzere son derece genel bir teorem sozkonusu.
Teorem 16.1 (Weierstrass, 1885). [a, b] kapal aralgnda tanmlanms her
s
urekli fonksiyona polinomiyal fonksiyonlarla d
uzg
un yaknsanabilir; yani eger
f : [a, b] R
268
16. Weierstrass Yogunluk Teoremi
s
urekli bir fonksiyonsa ve > 0 ise,
oyle bir P polinomu vardr ki
||f P || <
(n) (n) ( ) ( )
n+1 n+1
g =f ve g =f
N N N N
esitlikleri gerceklesecek bicimde secelim. Eger x In ise,
n 1
x < <
N n
oldugundan, asagdaki detay sekilden de gor
ulecegi u
zere,
|f (x) g(x)| <
2
olur. Bu dedigimiz her In aralgnda boyle oldugundan, her x [0, 1] icin,
|f (x) g(x)| <
2
olur, yani
||f g||
2
olur.
Bn (f ) Bn (g)
ve dolaysyla
|Bn (f )| Bn (|f |)
olur. Bu ozellikleri asagdaki son derece ilginc teoremin kantnda ozg
urce kul-
lanacagz.
olur.
272
16. Weierstrass Yogunluk Teoremi
||Bn (f ) f || <
oldugundan,
2M
|f (x) f (a)| |f (x)| + |f (a)| 2M < 2
(x a)2 +
2
olur.
Demek ki [0, 1] aralgnn her x ve a elemanlar icin her iki durumda da,
2M
|f (x) f (a)| 2
(x a)2 +
2
oluyor.
Simdi a herhangi bir gercel say olsun. O zaman,
( )
2M
|Bn (f ) f (a)| = |Bn (f ) f (a)| Bn (|f f (a)|) Bn
(x a)2 +
2 2
2M 2M
2 Bn ((x a)2 ) + = 2 Bn (x2 2ax + a2 ) +
2 2
2M
= 2 (Bn (x ) 2aBn (x) + a ) +
2 2
2
olur. Sagdaki Bn (x2 ) ve Bn (x) terimlerini hesaplayalm simdi; sonra kaldg-
mz yerden devam edecegiz.
16.2. Bernstein Polinomlar 273
Sav 1. Bn (x) = x.
Sav 1in Kant: m = n 1 ve = k 1 tanmlaryla yapacagmz oldukca
basit bir hesap:
n ( ) n
k n k k n!
Bn (x)(x) = x (1 x)nk
= xk (1 x)nk
n k n k!(n k)!
k=0 k=1
n
(n 1)!
=x xk1 (1 x)nk
(k 1)!(n k)!
k=1
m
m!
=x x (1 x)m = x.
!(m )!
=0
2
Sav 2. Bn (x2 )(x) = x2 + xx
n .
Sav 2nin Kant: Srasyla m = n 1, = k 1, p = m 1, r = 1
tanmlarn kullanan belki biraz uzun ama oldukca basit bir hesap:
n ( )
k2 n k
2
Bn (x )(x) = x (1 x)nk
n2 k
k=0
n
k2 n!
= xk (1 x)nk
n k!(n k)!
2
k=1
x
n
(n 1)!
= k xk1 (1 x)nk
n (k 1)!(n k)!
k=1
x
m
m!
= ( + 1) x (1 x)m
n !(m )!
=0
( )
x
m
m!
= x (1 x)
m
+1
n !(m )!
=0
(m )
x m!
= x (1 x)m + 1
n !(m )!
=1
(m )
x m!
= x (1 x)m + 1
n ( 1)!(m )!
=1
( )
x m
(m 1)!
= mx x (1 x)
1 m
+1
n ( 1)!(m )!
=1
( )
x p
p!
= mx xr (1 x)p1 + 1
n r!(p r)!
r=0
x x x x2
= (mx + 1) = ((n 1)x + 1) = x2 + .
n n n
274
16. Weierstrass Yogunluk Teoremi
Bunun ozel bir hali olarak, her a [0, 1] icin gecerli olan
2M a a2 4M
|Bn (f )(a) f (a)| + 2 < + 2
2 n 2 n
esitsizligini buluruz. Eger nyi yeterince b
uy
uk alrsak, mesela
8M
n>
2
olursa, o zaman
|Bn (f )(a) f (a)| < + =
2 2
olur ve kantmz tamamlanr.
Dikkat ederseniz, Sav 2de gorulece
gi u
zere, f bir polinom oldugunda bile
Bn (f ), f ye esit olmayabiliyor.
Alstrmalar
16.1. B1 ( x), B2 ( x), B3 ( x) polinomlarn hesaplayn.
16.2. [0, 1] aral
g u
zerinde xi en fazla 0,001 hatayla hesaplamak icin hangi n icin Bn ( x)
polinomunu hesaplamalyz?
Ksm V
Ekler
275
17. log(1 + x)in Kuvvet Serisi -
u
Yusuf Unl
olur.
Ama tabii once birkac teknik sonuca ihtiyacmz olacak.
olur.
olur.
279
olur.
Pn = y n xn n(y x)xn1
tanmn yapalm.
n(n 1)
Pn (y x)2 sn2
2
esitsizligini gostermek istiyoruz. P2 = y 2 x2 2(yx)x = (yx)2 oldugundan,
n = 2 ise esitlik vardr. Bundan boyle n 3 olsun.
Pn = y n xn n(y x)xn1
( )
= (y x) y n1 + y n2 n + + yxn2 + xn1 n(y x)xn1
( )
= (y x) y n1 + y n2 x + + yxn2 + xn1 nxn1
(( ) ( ) )
= (y x) y n1 xn1 + y n2 xn2 x + + (y x) xn2
olur.
[N4, Ornek 16.3]te de buldugumuz bir esitligi bir defa daha kantlayalm.
olur.
280 u
17. log(1 + x)in Kuvvet Serisi - Yusuf Unl
olur. Simdi
(1)n
f (x) = xn
n
n=1
ve
yx y n xn
= f (y) f (x) = (1)n (y x) (1)n1 xn1
1+x n
n=1 n=1
ve Onsav 17.5ten dolay,
1
|| (y x)2 (n 1)sn2
2
n=2
281
olur. Buna bir de Onsav 17.6y uygularsak,
1 (y x)2
(2) ||
2 (1 s)2
ise,
Simdi Onsav 17.2yi uygularsak, H fonksiyonunun bir sabit oldugunu buluruz.
Demek ki ln(1 + x) f (x) fonksiyonu bir sabit. x = 0da fonksiyon
ln 1 f (0) = 0
oldugundan, bu sabit 0dr, yani ln(1 + x) = f (x) olur. Teorem 17.1 kantlan-
mstr.
18. Exp ve Logaritma - Yusuf
u
Unl
ln xn = ln xn = (n) ln x = n ln x
ve buradan da p p
ln x q = ln x
q
elde edilir.
v. Onsav 18.4.iiye gore, her n N icin
x1 ( )
n nx1 x1
x
oldugundan limit alnarak istenen sonuc elde edilir.
vi. 0 < x < y oldugunu varsayalm. Onsav 18.4.iiye gore,
yx y/x 1 y
0< = ln = ln y ln x
y y/x x
( rn )
arn ax arn /ax 1 a arn ax
rn = ln = ln arn
ln a x
a arn /ax ax ax
bulunur. Buradan
ax = exp (ln ax ) = exp (x ln a)
elde edilir.
iii. enin tanmndan dolay [N4, Bol
um 10.1],
( )
1 n
exp 1 = lim 1 + =e
n
ln e = ln (exp 1) = 1
ex = exp (x ln e) = exp x
elde edilir.
www.matematikce.com
Bu bol
umde soracagmz ve olumlu
olarak yantlayacagmz soru su: Diyelim
yaknsaklk yarcap R olan bir ai xi kuvvet serisi verilmis. x = R iken serinin
yaknsak ya da raksak oldugunu bilemeyiz. Ama diyelim bir bicimde,
ai R i
olur mu? Yant olumlu. Bu sonuc, Abel Yaknsaklk (ya da Limit) Teoremi
olarak bilinir.
Abel Yaknsaklklk Teoremini bu genellikle kantlamadan once ayn te-
oremi
ai R i
X = [R, R],
Mi = |a i R |, i
i
M = |ai R |,
fi (x) = ai xi
olarak alrsak, ai xi serisinin [R, R] u
zerinde d
uzg
un yaknsak oldugunu
gor
ur
uz. Yani
f (x) = ai xi
ise, [R, R] u
zerinde
u
f (x) = lim (a0 + a1 x + + an xn )
n
290 19. Abel Yaknsaklk Teoremi
i
ci = aj
j=0
tanmn yaparak,
1 ( ) ( )
f (x) = xi ai xi = ci xi
1x
esitligini buluruz. Buradan,
( )
f (x) f (1) = (1 x) ci xi f (1)
( ) ( )
= (1 x) ci xi (1 x) xi f (1)
( ) ( )
= (1 x) ci xi (1 x) f (1)xi
= (1 x) (ci f (1))xi
291
ckar. Dolaysyla,
|f (x) f (1)| (1 x) |ci f (1)|xi
yandan varsayma gore, limn cn = f (1). Demek ki oyle bir N var ki,
Ote
her n > N icin,
|cn f (1)| <
2
olur. Bunu da kale alarak hesaplara yukarda kaldgmz yerden devam edelim:
|f (x) f (1)| (1 x) |ci f (1)|xi
1
i
N
(1 x) |ci f (1)|xi + (1 x) x
2
i=0 i=N
N 1
(1 x) |ci f (1)| + (1 x) i
x
2
i=0 i=N
N 1
xN
= (1 x) |ci f (1)| + (1 x)
21x
i=0
N 1
= (1 x) |ci f (1)| + xN
2
i=0
N 1
(1 x) |ci f (1)| +
2
i=0
buluruz.
A = max{|c0 f (1)|, . . . , |cN 1 f (1)|}
tanmn yapp tekrar hesaplara kaldgmz yerden devam edelim:
|f (x) f (1)| (1 x)AN +
2
elde ettik. Simdi y /3AN secersek diledigimiz
Onsav 20.1 (Lebesgue Says). X, Rnin tkz bir altk umesi ve U = (Ui )iI
ailesi, Xin ack bir
ort
us
u olsun. O zaman oyle bir > 0 vardr ki, Xin cap
en fazla olan her altkume U ailesinin bir elemannn (yani Ui lerden birinin)
altk
umesidir.
Kant: Eger Ui lerden biri Xe esitse, kantlayacak bir sey yok. Bundan boyle
hicbir Ui nin Xe esit olmadgn varsayalm. U ailesinin sonlu bir V altortu-
s
unu secelim. Diyelim,
V = {U1 , . . . , Un }.
c
Ci = Ui olsun. Ci kapaldr. d(x, Ci ), xin Ci ye olan uzaklg olsun (bkz. Onsav
1.6).
X U1 . . . Un
oldugundan,
C1 . . . Cn X =
olur. Demek ki Xin her x eleman Ci k umelerinden en az birinin eleman
degildir ve, Ci kapal oldugundan, Onsav 14.1.ie gore, d(x, Ci ) saylarndan
en az biri pozitiftir. Demek ki
1
n
f (x) = d(x, Ci ) > 0
n
i=1
Gercel saylarda tanml olan s urekli bir fonksiyon, aldg herhangi iki de-
ger arasndaki t
um degerleri alr. Bu, bu ciltte Teorem 3.3 olarak kantlanan
aradeger teoremidir. Teoremi tekrar etmekte yarar var:
Arade ger Teoremi. A R ve f : A R s urekli bir fonksiyon olsun. [a, b]
A olsun. Eger u R, f (a) ile f (b) ise arasndaysa, o zaman f (c) = u esitligini
saglayan bir c [a, b] says vardr.
Yani udan gecen yatay dogru (sekilde noktal) f nin grafigini keser; u
stelik
[a, b] dikey seridinde bulunan bir noktada keser. Kesisim, asagdaki sekilde
oldugu gibi birden fazla noktada da olabilir tabii.
Peki bu teoremin tersi dogru mudur? Yani Aradeger Teoreminin dogru oldugu
her fonksiyon s
urekli midir?
Yantn olumsuz oldugunu gorecegiz.
296 21. Darboux Fonksiyonlar - Zafer Ercan, U
gur G
ul, Mine Menekse
21.1. f : R R fonksiyonu {
ger x = 0 ise
sin(1/x) e
f (x) =
0 e
ger x = 0 ise
kuralyla tanmlansn. Grafigi asa
gda. f nin 0 dsnda her yerde s
urekli oldu
gu sin ve
1/x fonksiyonlarnn s
ureklili
ginden belli.
f nin 0da s
urekli olmadg ama Arade ger Teoremini sa glad
g, yani bir Darboux fonksi-
yonu oldu gu Altbolum 9.4teki bilgilerden ya da yukardaki grafikten kolaylkla anlaslr.
21.2. Eger E R kapal k umesinin1 her noktas Enin limit noktasysa, yani Enin ayrk
noktas yoksa, Eye m ukemmel k ume denir. Sonlu k umeler m ukemmel olamazlar. Ka-
pal aralklar mukemmel k umelerdir. Cantor k umesi de [N5, B ol
um 19] m ukemmel bir
k
umedir. Cantor k umesi ayrca 1den fazla eleman olan bir aralk icermez.
E [0, 1] altk umesi 1den fazla eleman olan ve bir aralk icermeyen m ukemmel bir
k
ume olsun ( orne
gin Cantor k umesi). [0, 1] \ E ack bir k
ume oldu gundan,
[a, b] \ E = (ak , bk )
k
1
Rnin bir altk
umesinin t umeye kapal ad verilir.
umleyeni acksa o altk
297
esitli
gini sa imdi g : [a, b] R
glayan ayrk ((ak , bk ))k aralklar dizisi vardr (neden?) S
fonksiyonu { xak
2 bk ak 1 e
ger x (ak , bk ) ise
g(x) =
0 ger x E ise
e
olarak tanmlansn. gnin temsili grafi
gi asa
gda.
Ede 0 de gerini alan ve E dsnda do grusal olan g fonksiyonu Enin hicbir noktasnda
s
urekli degildir dolaysyla f nin s
ureksiz oldu gu noktalarn says sonsuzdur ve f bir
Darboux fonksiyonudur.
21.3. f ve g : [0, 1] R fonksiyonlar
{
sin (1/x) eger x = 0 ise
f (x) =
1 e
ger x = 0 ise
{
sin (1/x) eger x = 0 ise
g(x) =
1 e
ger x = 0 ise
kurallaryla tanmlansn. f ve g Darboux fonksiyonlar olmasna karsn f g ve f g
fonksiyonlarnn hicbiri Darboux fonksiyonu de
gildir.
a = a0 a1 . . . a k
ve
b = b0 b1 b2 . . .
dizileri icin,
(a, b) = a01m 01n 01p 01q 0b
tanmn yapalm. Ayrca teoremin kantnda gerekecek olan su saylar tanm-
layalm:
(a, b) = 0,a01m 01n 01p 01q0b
299
ve
1 (b) = 0,b1 b3 b5 . . .
2 (b) = 0,b2 b4 b6 . . .
tanmn yapalm.
icin
x [x] = (a, b) = 0,a01m 01n 01p 01q 0b
oluyorsa,
g(x) = m + n + 1 (b) ve h(x) = p q + 2 (b)
olsun. Diger b utun xler icin g(x) = h(x) = 0 olsun. O zaman her y R ve
(x1 , x2 ) aralg icin
h(g 1 (y) (x1 , x2 )) = R
olur.
(x r) [x r] = x [x]
oldugundan
g(x) = g(x r)
olur. y [y] saysnn 2 tabanndaki temsili
y [y] = 0,b1 b3 b5 . . .
z [z] = 0,b2 b4 b6 . . .
(x1 + r, x2 + r) (0, 1) =
300 21. Darboux Fonksiyonlar - Zafer Ercan, U
gur G
ul, Mine Menekse
a = a0 a1 . . . ak ve b = b0 b1 b2 . . .
olmak u
zere,
fonksiyonu da Darboux.
olsun, ama eger x / N ise F (x, y) herhangi bir deger olsun. Onsav
21.3in
sonucu olarak oyle bir u fonksiyonu vardr ki her n N icin,
ve x B icin,
f1 (x) = f (x) h(x) ve f2 (x) = h(x)
olarak tanmlansn. f1 ve f2 fonksiyonlar Darboux fonksiyonlardr ve f =
f1 + f2 olur.
Alstrmalar
21.5. Bir f : [a, b] R fonksiyonunun Darboux olmas icin gerekli ve yeterli kosul f altndaki
her kapal aralgn g
orunt
usun
un bir aralk olmasdr.
21.6. f bir Darboux fonksiyonu ise, |f |, f 2 ve f ( R) fonksiyonlar da Darboux fonksi-
yonlardr.
21.7. f bir Darboux fonksiyonu olsun. f ve |f | fonksiyonlar ayn noktalarda s ureklidirler.
21.8. f fonksiyonu 0 de geri almayan bir Darboux fonksiyonu ise 1/f fonksiyonu da Darboux
fonksiyonudur.
21.9. Birebir Darboux fonksiyonlar s ureklidir.
21.10. f fonksiyonun her noktada sa gdan ve soldan limiti olsun. Bu durumda f nin s urekli
olmas icin gerekli ve yeterli kosul Darboux olmasdr.
21.11. Duzgun yaknsayan Darboux fonksiyonlar dizisinin limiti illa Darboux olmas gerekmez.
302 21. Darboux Fonksiyonlar - Zafer Ercan, U
gur G
ul, Mine Menekse
olur. Dolaysyla,
g(x) g(c)
lim <0
xc+ xc
ve
g(x) g(d)
lim >0
xc xd
oldugundan, g(s) < g(c) ve g(t) < g(d) olacak bicimde c < s < t < d var. g
s
urekli oldugundan
inf g([s, t]) = g(z)
olacak bicimde z (c, d) bulunur. Ustelik
g (z) = 0 ve f (z) = u olur. Bu da
kant tamamlar.
y y = g(x)
g(c) < 0
g(d) > 0
x
a c u v d b
Kaynak
ca
[1] G. Darboux, Memoire sur les fonctions discontinues, Ann. Sci. Scuola Norm. Sup. 4
(1875) sayfa 57-112.
[2] H. Fast, Une remarque sur la propriete de Weierstrass, Colloq. Math. 7 (1959) sayfa
75-77.
[3] W. Sierpinski, Sur une propriete des fonctions reelles quelconques, Le Mathematische
Catania 8 (1953) no 2, sayfa 43-48.
www.matematikce.com
Kaynakca
[Ab] Stephen Abbott, Understanding Analysis, Springer, Undergraduate Texts in Mathematics
2002.
[Ap] Tom M. Apostol, Calculus I ve II, John Wiley and Sons 1967.
[Ba] Robert G. Bartle ve Donald R. Sherbert, Introduction to Real Analysis, d
ord
unc
u basm,
John Wiley and Sons 2011.
[Be] Sterling K. Berberian, A First Course in Real Analysis, Springer, Undergraduate Texts
in Mathematics 1994.
[BR] G. Bouligand ve J. Rivaud, LEnseignement des Math
ematiques G
en
erales par les
Probl`
emes, Librarie Vuibert, 4
unc
u basm, 1968.
[Br] Andrew Browder, Mathematical Analysis, An Introduction, Springer, Undergraduate
Texts in Mathematics 1996.
[Br] R. Creighton Buck, Advanced Calculus, Mc-Graw Hill 1956, 2nci basm 1965.
[Ca] Constantin Carath
eodory, Uber den Variabilit
atsbereich der Fourierschen Konstanten von po-
sitiven harmonischen Funktionen, Rendiconti del Circolo Matematico di Palermo 32: 193-217,
1911.
[G] Roger Godement, Analysis I ve II, Sringer, Universitext 2003. (Franszcadan ceviren Philip
Spain).
[Ko] P.P. Korowkin, E
sitsizlikler, ceviri H. S
ahinci, TMD 1962, 60 sayfa.
[L] Serge Lang, A First Course in Calculus, Springer, Undergraduate Texts in Mathematics,
5. Basm, 1986.
[MD] Matematik D
unyas dergisi, TMD, 2007-2012.
[N1] Nesin, Ali, Sezgisel Kumeler Kuram, 3 uncu basm, Nesin Yaynclk 2011.
[N2] Nesin, Ali, Saylarn In
sas, Nesin Yaynclk tarafndan yaymlanacak. Bkz. TUBA ack ders
notlar: http://www.acikders.org.tr/course/category.php?id=2.
[N3] Nesin, Ali, Aksiyomatik K umeler Kuram, Nesin Yaynclk tarafndan yaymlanacak. Bkz.
TUBA ack ders notlar: http://www.acikders.org.tr/course/category.php?id=2.
[N4] Nesin, Ali, Analiz I, u
cu
nc
u basm, Nesin Yaynclk 2014.
[N5] Nesin, Ali, Analiz IV, ikinci basm, Nesin Yaynclk 2012.
[SCY] D.O. Shklarsky, N.N. Chentzov ve I.M. Yalom, The USSR Olympiad Problem Book,
Selected Problems and Theorems of Elementary Mathematics, Dover Publications, Inc. 1994.
[Sp] Murray R. Spiegel, Th
eorie et Applications de lAnalyse, Serie Schaum, McGraw-Hill
1974.
303
304 KAYNAKC
A
www.matematikce.com
Dizin
p
=, 140 dbz, 209
u
=, 146 dsb
ukey fonksiyon, 193195
f,B 21 dsb
ukey fonksiyonlarn carpm, 199
dsb
ukey kombinasyonu, 209
Abel yaknsaklk teoremi, 282 dsb
ukey k ume, 208
ack kume, 253 dsb
ukey zarf, 209
agrlk, 223 dsb
ukeylik ve s ureklilik, 198
agrlkl ortalamalar, 223 Dini teoremi, 264
nc mertebeden ortalama, 232 Dini, Ulisse, 264
altort
u, 255 do gal logaritma, 214217
altuzay (metrik), 162 Do gan, U gur, 2
ar , 119, 127, 218219 d
uzg un surekli fonksiyon, 261
arade ger ozelli
gi, 64 d
uzg un sureklilik, 17, 175, 260
arade ger teoremi, 5557, 286 d
uzg un yaknsaklk, 142
aritmetik-geometrik esitsizli
gi, 131 d
uzg un yaknsak dizi, 164
aritmetik-geometrik ortalama esitsizli
gi, 225 d
uzg un yaknsamak, 145175
artan fonksiyon, 63 d
uzg un yaknsamak (seri), 175
ayrk k ume, 15
azalan fonksiyon, 63 eksi sonsuz, 108
eksponansiyel buyume, 114
Bernoulli esitsizlikleri, 131, 226 Ercan, Zafer, 1, 286
Bernstein polinomlar, 271 exp, 111, 112, 141, 152, 157, 182, 196, 199, 213
Bernstein, Sergei Natanovich, 271 214
Beyarslan, Ozlem, 2
binom katsaylar, 239 Fast, H., 289
birebir fonksiyon, 63, 118 Fonk(X), 40, 139, 159
birim fonksiyon, 16 Fonk(X, R), 40, 139
Bolzano teoremi, 60, 286 fonksiyon bilesimi, 18
Boztas, Serdar, 1, 250 fonksiyon genislemesi, 21
fonksiyon kstlamas, 21
Carath eodory teoremi, 209 f (x+ ), 116
Carath eodory, Constantin, 209, 210 f (x ), 116
Cauchy carpm, 183
Cauchy dizisi, 167
genellestirilmis binom aclm, 239
Cauchy-s urekli, 24, 92
geometrik ortalama, 233
Cauchy, Augustin Louis, 6, 183
global maksimum, 207
Cauchy-Schwarz esitsizligi, 228
global minimum, 207
Cauchy-s ureklilik, 24
Ca (X), 40 Gul, Ugur, 1
cos, 141, 182189 Gul, Ugur, 286
C(X), 40
cap, 284 harmonik ortalama, 233
C elik, T
urk um, 2
u Ozl Heine-s
urekli, 24
ckarma (fonksiyonlarda), 32 Heine-Borel teoremi, 256
H
older esitsizli
gi, 228
Darboux fonksiyonlar, 65, 287
Darboux, Jean Gaston, 286 icb
ukey fonksiyon, 193
Darboux-s
urekli fonksiyon, 287 imge, 62
305
306 DIZIN
Jensen Esitsizli
gi, 223 sa gdan yo gunlasma noktas, 94
Jf , 116 sandvic teoremi, 89, 96
seviye k umesi, 210
kapal kume, 287 scrama, 116
kesin artan fonksiyon, 63 Sierpinski, Waclaw, 289
kesin azalan fonksiyon, 63 sin, 141, 182189
kesin dsb
ukey, 197 soldan limit, 94, 95
kesin icb
ukey, 197 soldan yo gunlasma noktas, 94
kesin monoton fonksiyon, 63 sonlu alt ort
u, 255
komsuluk, 24 sonlu ortu, 255
komsulukta , 88 sonsuza raksamak, 107109
Korkmaz, Asl Can, 2 sonsuzlar, 99
kuadratik ortalama, 232 Stolz, Otto, 286
kuvvet serileri, 181 sup, 158
s
upnorm, 157
Lebesgue says, 284, 285 s
urekli fonksiyon, 10, 75
limit noktas, 76 s
urekli imge, 62
Lindenbaum, Adolf, 289 s
ureklilik, 523
Lipschitz fonksiyon, 262 s
ureklilik (bir noktada), 8, 9
Lipschitz ozelli
gi, 262 s
ureklilik cesitleri, 24
ln, 215, 279 s
ureksizlik noktas, 116
loga , 220 S
ahin, C i
gdem, 2
logaritma, 215, 220221
logaritma taban, 220 tam metrik uzay, 167
logaritmik dsbukey, 221 Tefenlili, Dilek, 2
tkz kume, 256
Mahler esitsizli
gi, 231 tkzlk, 255
maksimum de ger, 207 Tor
un, Ali, 2
Menekse, Mine, 1, 286 trigonometrik fonksiyonlar, 182189
mertebeli ortalama, 232
Mertens Teoremi, 183 uc degerler teoremi, 260
Mertens, Franz, 183 u
cgen esitsizli
gi, 161, 230
mesafe, 159
Ulkem,
Ozge, 2
mesafe (bir kumeye), 22 u, Yusuf, 1, 117, 119, 188, 203, 225, 227, 240,
Unl
mesafe fonksiyonu, 160, 161 246, 248, 277
metrik uzay, 161 u
s alma, 112, 125131, 202206, 218219
minimum, 207 u
ssel fonksiyonlar, 128
Minkowski esitsizligi, 230 u
ssu, 128
monoton fonksiyon, 63, 64, 114118 u
stten yars urekli, 265
mutlak deger, 12, 38
m
ukemmel k ume, 287 Weierstrass M-Testi, 179
Weierstrass yo
gunluk teoremi, 267
Nesin, Ali Derya, 2 Weierstrass, Karl, 267
noktasal yaknsamak, 140
X-ack, 253
ozdeslik fonksiyonu, 16
ort
u, 255 yaknsaklk yarcap, 177
sabit nokta, 62
sabitle carpma (fonksiyonlarda), 32
sa
gdan limit, 95