Professional Documents
Culture Documents
Belesler
Belesler
MATH 111
29 Aralk, 1998
Ali Nesin
1. x ve y iki kme olsun. x = y ancak ve ancak z (x z y z) olduunu
gsterin.
2. Eer X aadaki zellikleri salyorsa Xe ilikisi tarafndan yarsral
denildiini hatrlayn;
a. Her x X iin, x x.
b. Her x, y, z X iin, eer x y ve y z ise, o zaman x z.
ilikisi X i yar sralasn.
2i. X zerinde aadaki gibi tanmlanan ilikisinin X zerinde denklik ilikisi
olduunu gsterin.
x y x y and y x
[x], ilikisine gre denklik snflarn temsil etsin.
2ii.
[x] [y] x y
Olarak tanmlanm ikili ilikinin X/ zerinde iyi tanml bir iliki olduunu gsterin.
2iii. nn X/ kmesini iyisraladn gsterin.
2iv. yarsralamasnn aadaki zellii saladn gsterin.
[x] = [y] [x] [y] and [y] [x]
Math 111
Vize 2
ubat 1999
Ali Nesin
pucu: Sorularn grnmnden korkmayn.
I. Kombinatronik.
Verilen bir n doal says iin, n! saysn tmevarmla aadaki gibi
tanmlayalm:
0! = 1
(n + 1)! = n!(n + 1)
n!
n
0 k n doal saylar iin , k = k!(nk)! tanmn yapalm.
n n n+1
I.1. k1 + k = k eitliini gsterin.
n
I.2. k saysnn bir doal say olduunu kantlayn.
I.3. Btn n doal saylar ve x ve y kesirli saylar iin,
n n k n k
(x + y)n =
x y
k = 0 k
Eitliini kantlayn.
II. Logaritmik Sabit e
II.1. stten snrl artan bir dizinin Cauchy dizisi olduunu gsterin.
II.2. Yeterince byk n ler iin n! > 2n olduunu gsterin.
II.3. I.3 ve II.2den yola karak an = (1+1/n)n dizisinin stten snrl olduunu
gsterin. (stsnr: 2 + 19/24).
II.4. an = (1+1/n)n dizisinin n > 1 iin artan bir dizi olduunu gsterin. (pucu:
lk olarak (x 1)n xn nxn 1 eitsizliinin x 1 iin doru olduunu gsterin. Daha
sonra an 1 an olduunu gsterin).
II.5. an = (1+1/n)n dizisinin bir Cauchy dizisi olduu sonucuna varn.
III. Sonluluk
Sonlu olmann 4 farkl tanmn vereceiz.
Eer X kmesiyle bir doal say arasnda birebir bir eleme varsa bu X
kmesine 1sonlu denir.
Eer elemanlar X kmesinin altkmelerinden oluan bo olmayan her
kmenin (altkme olma ilikisine gre) maksimal eleman varsa, Xe 2sonlu
denir.
Eer elemanlar X kmesinin altkmelerinden oluan bo olmayan her
kmenin (altkme olma ilikisine gre) minimal eleman varsa, Xe 3sonlu denir.
X kmesiyle Xin zalt kmelerinden herhangi biriyle arasnda birebir bir
eleme yoksa Xe 4sonlu denir.
III.1. 2-sonlu olmakla 3-sonlu olmak arasnda fark olmadn gsterin.
III.2. Bir doal saynn 2-sonlu olduunu gsterin.
III.3. 1-sonlu kmelerin 2 ve 3-sonlu olduunu gsterin.
III.4. 2 veya 3-sonlu bir kmenin 4-sonlu olduunu gsterin.
III.5. Doal saylar kmesi nin hibir i = 1, 2, 3, 4 iin i-sonlu olmadn
gsterin.
Math 111
Midterm 3
April 1999
zlem Beyarslan - Ali Nesin
1. Eer X kmesinin her eleman X'in bir altkmesi ise X kmesine tam denir.
1a. Sonsuz sayda tam kme rnei veriniz.
1b. A tam bir kme ise A ve A kmelernin de tam kmeler olduunu
gsteriniz.
1c. X tam bir kme ise X {X} kmesinin de tam olduunu gsteriniz.
1d. X bir kme olsun. Xo = X ve Xn+1 = Xn (Xn) olarak tanmlansn. X =
X n olsun. X topluluunun bir kme olduunu varsayarak, X kmesinin X
nN
kmesini eleman olarak ieren en kk kme olduunu gsterin.
1f. Diyelim ki {x} tam bir kme, x hakknda ne syleyebiliriz ?
2. X {X} = X ise X hakknda ne syleyebiliriz?
3. Eer her farkl iki x, y eleman iin ya x y ya da y x oluyorsa X kmesine
-balantl denir.
3a. Sonsuz sayda -balantl kme rnei verin.
3b. -balantl bir kmenin altkmelerinin de -balantl olduunu gsterin.
3c. X -balantl ise X {X} 'nn da -balantl olduunu gsteriniz.
3d. {x} -balantl olsun, x hakknda ne syleyebiliriz?
4. Dzenlilik postulat, bo olmayan her A kmesinde, A x = eitliini
salayan bir x elemannn varln syler.
4a. Dzenlilik postulatn kullanarak hibir kmenin kendi kendisinin eleman
olamayacan gsterin.
4b. Dzenlilik postulatn kullanarak x y ve y x koulunu salayan iki kme
olamayacan gsterin.
4c. A A A ise A = olduunu dzenlilik postulat kullanarak gsterin.
Snav
Kmeler Kuram (Math 111)
Mays 5,1999
Ali Nesin zlem Beyarslan
Genel pucu: Resim izin.
X kmesi zerine tanmlanm < ikili ilikisi aadaki koullar salyorsa Xe
daha dorusu (iXi, <) iftine iyisral kme denir:
i)
Her x, y, z X iin, eer x < y ve y < z ise o zaman x < z.
ii)
Her x X iin, (x < x).
iii)
Her x, y X iin, ya x < y ya da x = y ya da y < x dorudur.
iv)
X in bo olmayan her altkmesinin bir en kk eleman vardr.
X i iyi sralayan bir < ikili ilikisi varsa Xe iyisralanabilir kme denir.
I.
Ordinaller
Yaz Vizesi II
15Haziran, 1999
Ali Nesin
Giri: X bir kme ve < ilikisi X zerinde bir tamsralama olsun.
Xin bo olmayan her altkmesinin bu sralamaya gre bir en kk
eleman varsa (X, <) sralamasna iyi-sral denir. Yani Xin bo
olmayan her A altkmesi iin Adaki her a iin m a zelliini
salayan bir m A varsa X iyisraldr. Doal olarak, verilen bir A iin
byle bir m tektir.
yisral bir kmenin altkmelerini Xin sralamasyla
iyisralayabiliriz.
Eer (X, <) sral bir kmeyse ve x X ise,
s(x) = {y X : y < x}
tanmn yapalm. (x in balang dilimi)
X bir kmeyse, X+ = X {X} olarak tanmlanr. Temellendirme
Belitine gre X, X + kmesinin zaltkmesidir.
1. Xin iyisral bir kme olduunu varsayn. X+y Xin
sralamasn genileterek sralayn ve Xin kendi elemanlarndan daha
byk olduunu varsayn (yani Xi Xin en sonuna koyun). X+nn da
iyisral bir kme olduunu gsterin. (3 pts.)
2. (yisral Kmelerde Tmevarm) (X, <) iyisral bir kme
ve her x X iin, eer s(x) A ise, o zaman x A zelliini salayan
bir A X olsun. A = X eitliini gsterin. (5 pts.)
3. X ve Y iki iyi sral kme olsun.
A = (X {0}) (Y {1}) olsun.
Ay aadaki gibi sralayalm:
X teki her x1 ve x2 iin ve x1 < x2 ise (x1, 0) < (x2, 0)
Y deki her y1 ve y2 iin ve y1 < y2 ise (y1, 1) < (y2, 1)
her x X ve y Y iin (x, 0) < (y, 1)
Yukardaki ilikinin Ay iyi sraladn gsterin. (4 pts.)
Bir ordinal, her x eleman iin x = s(x) eitiini salayan bir
iyisralamadr. Demek ki bir ordinal ilikisiyle iyisralanm bir
kmedir:
Her , iin, < ancak ve ancak .
4. nin bir ordinal olduunu gsterin. (2 pts.)
5.Eer bir ordinalse, o zaman ve nin nn en
kk eleman olduunu gsterin . (7 pts.)
6. Eer bir ordinalse ve ise, o zaman . (2 pts.)
ya da
Kmeler Kuram
Yaz devi
18 Haziran, 1999
Ali Nesin
1. ve iki ordinal olsun. Eer ve iyisral kmeler olarak
izomorfiklerse, o zaman = .
2. Her ordinal kmesinin eleman olma ilikisiyle iyisral
olduunu gsterin.
3. X ve Y iki kme olsun. Xten Yye ya da Yden Xe giden
birebir bir fonksiyon olduunu gsterin. (pucu: Seim Aksiyomu
olmadan bu sonu yanltr , bu yzden
kantnzda Seim
Aksiyomunu aka ve kesin olarak kullanmanz gerekir.).
4. Kendisinden bir nceki ordinal olmayan ve 0 olmayan bir
ordinaline limit ordinal denir. Yani + = eitliini salayan bir
yoksa limit ordinaldir. nn en kk limit ordinal olduunu
gsterin. Ondan sonraki en kk limit ordinal nedir?
5. X ve Y iki kme olsun ve f : X Y rten bir fonksiyon olsun.
f g = IdY eitliini salayan bir g : Y X birebir fonksiyonunun
olduunu gsterin.
6. Eer bir limit ordinalse, o zaman her ordinali iin +
nn limit ordinal olduunu gsterin.
7. Her ordinali iin, < ve dan ya hibir rten
fonksiyon yoktur zelliini salayan ordinalinin olduunu gsterin.
Ordinal Aritmetii
Yaz Vizesi III
18 Haziran, 1999
Ali Nesin
ve iki ordinal olsun. nn sonuna nn elemanlarn
koyarak ( {0}) ( {1}) kmesini iyisralayn. Her kmede
olduu gibi, bu yeni iyisral kme bir ve tek ordinale izomorftur bu
ordinale + diyeceiz.
Aada , , rastgele ordinaller olarak seilmitir.
1. 0 + = + 0 = ve + 1 = + olduunu gsterin.
2. Eer > ve n ise n + = olduunu gsterin.
3. Eer < ise o zaman + = eitliini salayan larn
olduunu gsterin.
4. Eer + = + eitliini salayan bir varsa, o zaman
= olduunu gsterin.
5. Kesin bir kant vermeden neden + ( + ) = ( + ) +
eitliinin doru olduunu syleyin.
ve iki ordinal olsun. kmesini aadaki gibi sralayn:
(a, b) < (a, b) ancak ve ancak b < b veya (b = b ve a < a).
Bu ters alfabetik sralamadr. Bu bir iyisralamadr ve bu yzden tek
bir ordinale () izomorfiktir.
Aada, , , rastgele ordinaller olarak seilmitir.
6. 0 = 0 = 0 ve 1 = 1 = eitliklerini gsterin.
7. 2 = olduunu gsterin.
8. olduunu gsterin.
8. ( + ) = + ve () = () eitliklerinin doru
olduunu gsterin. ( + ) = + eitliinin her zaman doru
olmadn gsterin.
9. , ve ordinalleri iin
0 = 1
+1 =
=
<
olarak tanmlayn.
0 = 0 ve 1 = 1 olduunu gsterin.
10. 2 = olduunu gsterin.
11. + = ve () = eitliklerinin her zaman doru
olduunu gsterin. () = eitliinin her zaman doru
olmadn gsterin.
Math 111
Telafi Snav
Ali Nesin
Ocak 2004
Onemli
not. Ya t
urkce ya Ingilizce
yazn ama her iki durumda da tam
c
umleler kurun. Noktalamaya dikkat edin. , , , gibi semboller kullanmayn. Bu sembollerin her kullanm icin 1 puan kracagm. Cevaplarnz acklayn
ama gereksi metinler y
uz
unden not kraca
gm. Acklanmams bir cevap dogru
olsa bile 0 puan alacaktr.
I. Ge
cisken iliskiler. X bir k
ume olsun. X u
zerinde bir ikili iliski sadece
X Xin bir altk
umesidir.
Xu
zerindeki bir R iliskisine e
ger her x, y, z X icin (x, y) R ve (y, z) R
oldu
gunda (x, z) R oluyorsa ge
cisken denir. .
i. Asa
gdakilerden hangileri herhangi bir X k
umesi u
zerinde gecisken bir
iliski tanmalr? Acklayn. (0 ya da 4 puan)
i. X X.
ii. .
iii. {(x, x) : x X}.
iv. {(x, y) X 2 : x 6= y}.
ii. Asa
gdakilerden hangileri N u
zerinde gecisken bir iliski tanmlar? Acklayn.
(0 ya da 4 puan)
i. {(x, y) N2 : 5 b
oler x y}.
ii. {(x, y) N2 : 5 b
oler x + y}.
iii. {(x, y) N2 : 5 > x y}.
iv. {(x, y) N2 : 12 < x y}.
iii. X u
zerinde gecisken iliskilerden olusan bir k
umenin kesisiminin de gecisken
oldu
gunu gosterin. (4 puan)
iv. X u
zerinde herhangi bir R iliskisini iceren t
um gecisken iliskilerin kesisimi
ucu
k gecisken iliski oldugunu gosterin. (10 puan)
Rt nin Ryi iceren en k
v. R ve S iki ikili iliskiyse (R S)t Rt S t oldugunu gosterin. (8 puan)
gini sa
glyorsa do
grusal sralama denir.
i. E
ger (X, <) do
grusal sralamaysa ve A, Xin en k
ucu
k u
st snr olan bir
altk
umesiyse, bu altk
umenin tek oldu
gunu kantlayn. (4 puan)
sral k
IV. Iyi
umeler. E
ger bir do
grusal (X, <) sralamasnn her bos olmayan altk
umesinin bir minimal eleman varsa (X, <) sralamasna iyi sralama
denir.
i. Sonlu ve sonsuz iyi sral k
ume
ornekleri verin. (2 puan)
ii. X = N {0} N {1} olsun. X u
zerinde < iliskisini soyle tanmlayalm:
her x, y N icin
(x, 0) < (y, 0) ancak ve ancak x < y
(x, 1) < (y, 1) ancak ve ancak x < y
(x, 0) < (y, 1) hep dogru
i. (X, <) do
grusal sral m? (2 puan)
ii. (X, <) iyi sral m? (2 puan)
iii. {1/n : n N \ {0}} do
gal sralamasyla iyi sral m? (2 puan)
iv. {1/n : n N \ {0}} {0} do
gal sralamasyla iyi sral m? (2 puan)
v. Maksimal elemanl sonsuz bir iyi sralama bulun. (4 puan)
sral bir X k
vi. Iyi
umesinde bos olmayan altk
umelerin minimal elemanlarn
tek oldu
gunu g
osterin. (2 puan)
vii. Her bos olmayan iyi sral k
umenin tek bir minimal eleman oldugunu
g
osterin. (2 puan)
viii. (X, <) iyi sral bir k
ume olsun. Xin en fazla bir eleman dsnda t
um
x elemanlarnn su
ozelli
gi sa
glad
gn gosterin: Oyle
bir y var ki x < y
ve her z icin e
ger x < z ise y < z. (5 puan) Boyle bir ynin varsa tek
oldu
gunu gosterin. (3 puan)
Math 111
Final
2006 Fall
1. X bir kme ve R de X zerine tanmlanm ikili bir iliki olsun. Her x, y X iin
xRy x y
nermesini salayan X zerinde en kk bir denklik bants olduunu kantlayn.
2. (Xn)n, X kmesinin altkmelerinden oluan bir dizi olsun. liminf Xn ve limsup Xn
kmelerini yle tanmlayalm: a X iin
a liminf Xn yle bir n0 doal says vardr ki her n > n0 iin a Xn olur.
a limsup Xn her n0 doal says iin yle bir n > n0 var ki a Xn olur.
2i. limsup Xn kmesinin sonsuz sayda n iin Xnde olan elemanlardan olutuunu
gsterin. liminf Xn kmesinin sonlu tanesi hari btn nler iin Xnde olan elemanlardan
olutuunu gsterin.
2ii.
liminf Xn = n =1 m = n X m
ve
limsup Xn = n =1 m = n X m .
eitliklerini gsterin.
2iii. Xn = {n, n+1, .., 2n} olsun. liminf Xn ve limsup Xn kmelerini bulun.
2iv. Her n iin Xn+1 Xn olsun. liminf Xn ve limsup Xn kmelerini bulun.
2v. liminf Xn limsup Xn eitsizliini salayan bir rnek verin.
3. R deimeli bir halka olsun. da R zerinde bir tamsralama olsun yle ki her
x, y, z R iin,
a) x y ise x + z y + z.
b) 0 < x ve 0 < y ise 0 < xy.
Her x, y, z R iin aadakideri kantlayn.
3i. x < y ise y < x.
3ii. x < y ise x + z < y + z.
3iii. x y ve 0 z ise xz yz.
3iv. x y ve 0 z ise xz yz.
3v. 1 < 0 < 1.
3vi. x 0 ve y 0 ise xy 0.
3vii. x2 0.
3viii. x < 0 ise x, R'de karelerin toplam olarak yazlamaz..
3ix. 1, R'de karelerin toplam olarak yazlamaz.
3x. x 0 ve x in Rde arpmsal tersi var ise x1 > 0.
x syle tanmlansn: x = x eer x 0 ve x = x eer x 0.
3xi. x 0.
3xii. xy = xy.
3xiii.x + y x + y.
3xiv.x y x y.
d(x, y) = x y olarak tanmlansn.
3xv. d(x, y) = 0 ancak ve ancak x = y.
(x, y, v) nermesi,
x v y v t (t u (t = x t = y))
olsun. O zaman da (x, y, v) ancak ve ancak v = {x, y} olduunda salanr.
(x, y, z) nermesi,
u v ((x, u) (x, y, v) (u, v, z))
olsun bu durumda da (x, y, z) ancak ve ancak z = {{x}, {x, y}} = (x, y) olduunda
salanr.
(z) nermesi,
x y (x X y Y (x, y, z))
olsun. (z) ancak ve ancak bir x X ve y Y iin z = (x, y) ise salanr.
Dolays ile {(x, y) ((X Y)) : x X, y Y} topluluu
{z ((X Y)) : (z)}
ile ifade edilebilir. Bu sayede yukarda ifade edilen aksiyomdan dolay bu topluluk yani
X Y bir kmedir.
5. Bir x iin y = S(x) koulunu salayan btn (x, y) ikililerinin topluluu 'nin
bir altkmesidir. (7 pts.)
Proof: Sadece {(x, y) : y = S(x)} topluluunun bir kme olduunu gstermemiz
gerekiyor. nin bir kme olduunu bildiimiz iin y = S(x)i bir (z) formlyle
ifade etmemiz yeterli olacaktr.
(x, y, z) nermesi,
t (t z t x t y)
olsun. (x, y, z) ancak ve ancak z = x y iken salanr.
(x, y) nermesi,
t ((x, t) (x, t, y))
olsun. (burada nceki sorudaki gibi) Bu durumda (x, y) ancak ve ancak y = x {x} =
S(x) ise salanr.
Demek ki {(x, y) : y = S(x)} topluluu ayn zamanda
{z : x y ((x, y, z) (x, y)}
ile ifade edilebilir, (burada nceki sorudaki forml gibidir) ve dolaysyla da 3nc
aksiyomdan dolay topluluk bir kmedir.
6. Her n, m iin eer n m ise n m. (7 pts.)
Proof: m zerine tmevarm yapalm. Eer m = 0 ise nermenin doru olduu barizdir.
nermenin m.iin doru olduunu kabul edelim. n S(m) = m {m} olsun. Ya n m ya
da n {m} olmaldr. Birinci durumda tmevarm hipotezinden n m dir nk
m m {m} = S(m) dir ve bu durumda da n S(m) elde ederiz. kinci durumda da m = n
ve yine n = m m {m} = S(m) elde edilir.
7. Her n, m iin eer S(n) = S(m) ise ya n m ya da n = m olur. (7 pts.)
Proof: S(n) = S(m) olduunu kabul edelim. Tanm gerei, n {n} = m {m} olur. n,
n {n} kmesinin bir eleman olduu iin n m {m} olmaldr. Dolaysyla ya n m
ya da n {m} olur. kinci durumda n = m elde edilir.
8. S : birebir bir fonksiyon olduunu gsterin. (7 pts.)
Proof: n, m olsun. S(n) = S(m) ama n m olduunu kabul edelim. 7. sorudan ya
n m ya da n = m olmaldr. Ayrca n m dir ve 6. sorudan, n m kar. Simetriden
dolay m n de gsterilmi olur. Yani n = m dir.
9. S() = \ {0} olduunu gsteriniz. (7 pts. Note: Burada S(), 'nun fonksiyon
altndaki grntsdr.)
Proof: S(n) = n {n} olduu iin S(n) asla bo olamaz. Dier taraftan her n , ya n = 0
ya da bir m iin n = S(m) olduunu gstereceiz. Tmevarm yapyoruz. Eer n = 0
ise nermenin doru olduu barizdir. n iin kabul edelim ve S(n) iin gsterelim. Yani
S(n) in bir m iin S-imgesinde olduunu sylemek istiyoruz. Fakat tabiki S(n) birseyin S
altndaki grnts ki o da n...
10. Her n iin n n. (7 pts.)
Proof: n zerine tmevarm yapacaz. Eer n = 0 ise n = ve tabii ki n n. imdi n n
olduunu varsayalm ve S(n) S(n) olduunu gsterelim.S(n) S(n) = n {n} olduunu
farzedelim. Bu durumda ya S(n) n ya da S(n) = n olmaldr. Fakat 6. sorudan dolay her
iki durumda da S(n) n olur. Fakat, n n {n} = S(n), olduu iin bu n n olmasn
gerektirir, eliki.
11. Her n, m iin n < m ilikisini n m olarak tanmlanan ikili ilikinin zerinde
bir sralama tanmladn gsterin (7 pts.)
Proof: Her n, m, k iin
a) n n
ve
b) n m ve m k ise n k.
Birincisini 10. sorudan kartabiliyoruz. imdi n m k olsun. 6. sorudan, n m k dir.
Dolays ile n k olmaldr.
12. Bu sralamann < bir tamsralama olduunu gsterin. (7 pts.)
Proof: Aadaki nsava ihtiyacmz var.
nsav: Her n, m iin n m ise ya S(n) m ya da S(n) = m dir.
Proof: m zerine tmevarm yapalm. m = 0 ise ispatlanacak birsey yok. u andan sonra
m'nin aadaki nermeyle verilmi olduunu dnelim.
Her n iin eer n m ise ya S(n) m ya da S(n) = m olmaldr.
Her n iin n S(m) ise ya S(n) S(m) ya da S(n) = S(m) olmaldr.
n S(m) herhangi bir eleman olsun. Ya S(n) S(m) ya da S(n) = S(m) olduunu
gstereceiz. n S(m) = m {m} olduu iin ya n m ya da n = m olmaldr. kinci
durumda da S(n) = S(m) dir. Birinci durumda ise, tmevarm hipotezinden, ya S(n) m ya
da S(n) = m ve her iki durumda da S(n) S(m) dir. Bu, nsavn ispatn tamamlar.
imdi
her m iin ya n m ya n = m ya da m n
nermesini n zerine tmevarmdan gsteriyoruz. nce n = 0 olduunu dnelim ve bir
m seelim. m 0 durumu imkansz olduundan aslnda gstermemiz gereken ey
ya 0 = m ya da 0 m.
Bunu m zerine tmevarm ile ispat edeceiz. m = 0 ise ispat edecek bir ey yok. Diyelim
ki bu m iin saland, S(m) iin gstermeliyiz. Eer m = 0, 0 = m S(m). Eer m 0, ise 0
m S(m). Dolays ile ifade n = 0 iin dorulanm oldu.
imdi farzedelim ki
her m iin ya n m ya n = m ya da m n.
Ayn nermenin S(n) iin de doru olduunu gstermek istiyoruz. Yani her m iin ya S(n)
m ya S(n) = m ya da m S(n).
m herhangi bir eleman olsun.Tmevarm hipotezine gre ihtimal var.
n m ya n = m ya da m n.
kinci durumda, m = n S(n) ve iimiz bitti.
nc durumda, m n S(n) ve iimiz yine bitti.
Sadece n m olan birinci durum kald. Fakat bu durumu da zaten lemma ile halletmitik.
13. Bu sralamada nn bo olmayan her altkmesinin bir en kk eleman vardr. (8
pts.)
Proof: X, 'nn bo olmayan bir altkmesi olsun. Xin bir en kk elemannn olmadn
farzedelim. ncelikle n zerine tmevarm ile
her m < n iin m X iin.
n = 0 iin bariz bir ekilde doru. Diyelim ki nerme n iin doru. m < S(n) olsun. m
S(n) = n {n} ve ya m n ya da m = n. Birinci durumda m < n ve tmevarmla m X'in bir
eleman olamaz. kinci durumda eer n, X'in bir eleman olmu olsayd o zaman n, X'in en
kk eleman olurdu. Tmevarm hipotezinden dolay n X de olmak zorundadr..
Dolays ile nerme ispatlanm oldu. imdi X = ve n X olsun. Simdi de n < S(n) ise
az nce ispat ettiimiz nerme S(n) iin yanltr, eliki. Dolays ile X = .
14. nn bo olmayan her altkmesi X iin yle bir x X vardr ki x X = . (8 pts.)
Proof: x, X'in en kk eleman olsun. Eer y x X ise y de Xin bir eleman olur ve
x,'den kktr, eliki. Dolays ile x X = .