Gerçel Say larla p-sel Tamsay lar Aras ndaki Benzerlik

Benzer belgeler
Geçen bölümde, Zorn Önsav varsay larak yis ralama Teoremi

Okurun bir önceki bölümü okudu unu ve orada ortaya

Bu bölümde eski iyis ralamalardan yenilerini elde etmeyi ö renece iz.

Do al say lar kümesi, yani {0, 1, 2, 3, 4,... } kümesi, toplama

Bu dedi im yaln zca 0,9 say s için de il, 0 la 1 aras ndaki herhangi bir say için geçerlidir:

Afla da yedi matematiksel olgu bulacaks n z. Bu olgular n

Bir yaz mda, kimbilir hangisinde,

Ard fl k Say lar n Toplam

Bu bölümde, bugüne dek ancak rüyalar n zda görece inizi

Dördüncü K s m: Gerçel Say lar Yap s

4. yis ralamalar Hissetmek

yis ralamalar Hissetmek

Bir odada sonsuz say da insan n bulundu unu varsayal m. Bu

Topolojik Uzay. Kapak Konusu: Topoloji

Matemati i bir iki sayfa erteleyerek, gerçel say larda s -

256 = 2 8 = = = 2. Bu kez de iflik bir yan t bulduk. Bir yerde bir yanl fl yapt k, ama nerde? kinci hesab m z yanl fl.

Bir tan mla bafllayal m. E er n bir do al say ysa, n! diye yaz -

1/3 Nerde ya da Kaos a Girifl

Önsav 1. Her fley yukardaki gibi olsun. {ƒ 1 (V) g 1 (W) : V X, W Y, V ve W aç k}

Bu bölümde okuru Seçim Aksiyomu nun neden do al bir

Hemen Hemen Her Sonlu Çizge Asimetriktir

Bu bölümde kan tlayaca m z teoremi, artan ve üstten s -

Bu noktaya gelene kadar nin birçok özelli ini kan tlad k.

Olas l k Hesaplar (II)

Yan t Bilinmeyen Bir Soru

Sevdi im Birkaç Soru

Yak nsak diziler kümesini Y ile gösterelim. Bu bölümde Y

Rastgele Bir Say Seçme ya da Olas l k Nedir

Do ufl Üniversitesi Matematik Kulübü Matematik Bireysel Yar flmas 2004 Soru ve Yan tlar

Sonlu bir kümenin eleman say s n n ne demek oldu unu

Üst Üçgensel Matrisler

22. Zorn Önsav na Girifl

Bu yaz girifle gereksinmiyor. Do rudan, kan tlayaca m z

Saymak San ld Kadar Kolay De ildir

Kümeler toplulu unun bir küme olamayaca n Bertrand

Yüzde Yüz Sonlu Sonsuz Oyunlar

O + T + U + Z = 30 (30) 2K + I + R = 40 (40) E + 2L + = 50 (50) A + L + T + M + I + fi = 60 (60) Y + E + T + M + + fi = 70 (70) 2S + 2E + K + N = 80

Koninin Düzlemlerle Kesiflimi Selçuk Demir* / sdemir@bilgi.edu.tr

Oyunlar mdan s k lan okurlardan -e er varsa- özür dilerim.

Geçen bölümde, P1 ve P2 özelliklerini sa layan (, S, 0)

Afin ve zdüflümsel Düzlemler

14. Ordinallerde Çarpma fllemi

Yoksulun Kazanabildi i Bir Oyun

Yeniflemeyen Zarlar B:

Kesirli say dizileriyle çal flmaya devam ediyoruz. Geçmiflte

Olas l k hesaplar na günlük yaflam m zda s k s k gereksiniriz.

Biraz Kümeler Kuram ve Birkaç Do al Say

Bu yaz da 6 mant k sorusu sorup yan tlayaca z.

Do ufl Üniversitesi Matematik Kulübü Matematik Yar flmas 2003 Bireysel Yar flma Soru ve Çözümleri

Xherhangi bir küme olsun. Mesela X olabilir (ama olmayabilir

11. Limit Ordinaller ve Ordinallerde Tümevar m lkesi

Bir (xn)n dizisinin (n sonsuza giderken) limitini tan mlam fl

Bir önceki yaz da, yaz -tura oyununda yoksulun zengine karfl

Geçmiflte (n/(n+1))n dizisinin 1 e yak nsad n f s ldad k

Bir Tekhücrelinin Soyunu Sonsuza Dek Sürdürme fians

Bahçe Sorusu 1. Girifl. Daire biçiminde bir bahçeye, merkezden bafllayarak, birer metre aral klarla yatay ve dikey s ralanm fl fi-

Bu bölümde birkaç yak nsak dizi örne i daha görece iz.

Her noktas ya maviye ya k rm z ya boyanm fl bir düzlem

Eski Yunan matematikçileri cetvel ve pergel yard m yla

Asal Say n n Ne Oldu unu Gerçekten Biliyor musunuz?

Halkalar, S f rbölenler, Asallar, ndirgenemezler vb.

içinde seçilen noktan n birinci koordinat birincinin geldi i saati, ikinci koordinat ysa

Çocuk dergilerinin flaflmaz sorusudur: Afla daki karenin

Bölüm 1C de 0, 1, 2, 3, 4, 5, 6 ve 7 say lar n tan mlad k.

yaz -tura at yor. Yaz gelirse birinci oyuncu, tura gelirse ikinci oyuncu kazanacak. Birinci oyuncu oyunun bafl nda ortaya 1 lira koyuyor.

Bir tavla maç 5 te biter. Yani 5 oyun kazanan ilk oyuncu

Birkaç Oyun Daha Birinci Oyun.

TMD Yay nlar. Ali Nesin Yar n n Matematikçisine Matematik I. Sezgisel Kümeler Kuram. Sabanc Üniversitesi. Bankalar Cad Karaköy stanbul

1. Her fiey S ralanamaz

Do ufl Üniversitesi Matematik Kulübü Matematik Bireysel Yar flmas 2005 Soru ve Yan tlar

Do ufl Üniversitesi Matematik Kulübü nün

Bilindi i gibi, günümüzün matemati i biçimsellefltirilebilir.

Bir çekirge çok ama çok uzun bir yol üstünde. Çekirge öne

Bu bölümde, içinde hem limiti hem de sonsuzlar bar nd ran

Bir önceki yaz da, n bir tek tamsay oldu unda n n sihirli

Do al Say lar. Do al Say larla Toplama fllemi. Do al Say larla Ç karma fllemi. Do al Say larla Çarpma fllemi. Do al Say larla Bölme fllemi.

Üçüncü K s m: Kesirli Say lardan Gerçel Say lara Do ru

Hiç K salmadan K salan Yol

T k z Topolojik Uzaylar

Do al Say lar Do al Say larla Toplama fllemi Do al Say larla Ç karma fllemi Do al Say larla Çarpma fllemi Do al Say larla Bölme fllemi Kesirler

Oyunumuz iki kifli aras nda ve n m boyutlu bir dikdörtgenin

Kavram Dersaneleri 8 SAYILAR - I ÖRNEK 23: ÖRNEK 24: a, 5 ve 6 say taban n göstermek üzere, (123) + (1a2) = (2b2) eflitli inde. b kaçt r?

Ünlü Alman matematikçisi Kari Friedrick Gauss 10 yafl ndayken,

Bu yaz da, r yar çapl bir çemberin çevresinin neden 2 r, alan n n

Okur mutlaka e itim hayat boyunca x2/2 + sin x türünden

CO RAFYA. DÜNYA NIN fiekl N N VE HAREKETLER N N SONUÇLARI ÖRNEK 1 :

Fermat Ne Biliyordu? (I)

Matematik Dünyas n n geçen say s nda

Matematikte sonsuz bir s fatt r, bir ad de ildir. Nas l sonlu bir s fatsa, matematikte kullan lan sonsuz da bir s fatt r. Sonsuz, sonlunun karfl t d

kesri 3 tane Bu kesri yedide üç fleklinde okuruz. Yukar daki bütün 7 efl parçaya ayr lm flt r. Buna payda denir. 3

kinci K s m: Tamsay lar Halkas ve Kesirli Say lar Cismi

YGS Soru Bankas MATEMAT K Temel Kavramlar

4*. Peano Aritmeti i 4.1. Haz rl k

Bilgisayar Bilimi Köflesi

ÜN TE II L M T. Limit Sa dan ve Soldan Limit Özel Fonksiyonlarda Limit Limit Teoremleri Belirsizlik Durumlar Örnekler

Istatistik ( IKT 253) Normal Da¼g l m Çal şma Metni

6 Devirli Kodlar. 6.1 Temel Tan mlar

ÖRNEK 1: Üç basamakl 4AB say s, iki basamakl BA say s n n 13 kat ndan 7 fazlad r. Buna göre, BA say s kaçt r? ÖRNEK 2:

çindekiler I. Dönem Birinci K s m: S ralamalar kinci K s m: Ordinal Say lar Üçüncü K s m: Seçim Aksiyomu ve Zorn Önsav

Seks, yemek ve oyun do al zevklerdendir. Her memeli hayvan

Transkript:

Kapak Konusu: Modüler ve p-sel Say lar Gerçel Say larla p-sel Tamsay lar Aras ndaki Benzerlik I. A aç. Geçen yaz lar - m zda, say lardan yola ç karak bir a aç bulmufltuk. Bu kez tam tersini yapaca z, bir a açtan yola ç k p say lar bulaca z, üstelik hem gerçel say lar hem de p-sel tamsay lar bulaca z, yani bir taflla iki kufl vurmufl olaca z. Böylece p- sel say larla gerçel say lar aras nda oldukça yak n bir ba oldu u anlafl lacak. Nitekim oldukça ileri düzey matematikte, birçok teorem önce daha aflina oldu umuz gerçel say lar için kan tlan r, sonra ayn teorem ya da bu teoremin bir benzeri p-sel say - lar (bknz, sayfa 46) için kan tlanmaya çal fl l r. A ac m z n bir kökü (bafllang ç noktas ) olsun ve bu kökten itibaren a ac m z her ad mda üç dala ayr ls n (bknz. afla daki flekil) ve böylece hiç durmadan sonsuza dek büyüsün. A ac m z üç dala de il de, sadece iki, ya da daha fazla, örne in dört ya da befl dala da ay rabilirdik, pek bir fley farketmezdi. Biz, önümüzde somut bir örnek olmas için üçlü a aç üzerinde çal flaca z. A ac n üçe ayr ld yerlere budak diyelim. En dipte tek bir budak var, a ac n kökü olan budak. Bu budaktan üç yeni dal ve üç yeni budak do ar, bu budaklar birinci kuflak budaklard r. kinci kuflakta 9 budak, üçüncü uflakta 27 budak, ve genel olarak n-inci kuflakta 3 n tane budak bulunur. Budaklar m za matematiksel adlar verelim. En alttaki buda (yani kökü) bofldizi anlam na gelen simgesiyle gösterelim. Bu en alttaki buda n (yani kökün) üstündeki birinci kuflak budaklara soldan sa a do ru 0, 1 ve 2 adlar n verelim. kinci kuflak budaklara da yine soldan sa a do ru 00, 01, 02, 10, 11, 12, 20, 21, 22 adlar n verelim. 0 buda n n hemen üstündeki üç buda n ad soldan sa a 00, 01 ve 02 dir; 1 buda n n hemen üstündeki üç buda n ad, gene soldan sa a do ru 10, 11 ve 12 dir... Böylece her buda a bir ad verilmifl olur. Örne- in, dördüncü kuflakta bulunan 0121 buda n n üstündeki üç buda n adlar s ras yla 01210, 01211 ve 01212 dir. Her x buda n n üstünde soldan sa a do ru x0, x1, x2 budaklar vard r. Görüldü ü gibi her budak sonlu bir 0-1-2-dizisine tekabül eder ve her sonlu 0-1-2-dizisi bir buda a tekabül eder. Buda n ad asl nda buda n adresidir. Bu ad bilindi inde, kökten bafllayarak buda a eriflebiliriz, 0 gördü ümüzde sola, 1 gördü ümüzde dümdüz, 2 gördü ümüzde sa a gideriz. Örne in 0112 yle bafllayan budaklar bafllang çta sol-ortaorta-sa diye giden budaklard r. II. Sonsuz Dallar ve Ufuk. fiimdi bu a ac n, kökten bafllayarak sonsuza kadar hiç durmadan giden sonsuz dallar n ele alal m. Bu dallar bir sonraki sayfadaki flekilde görebilirsiniz. Örne in en soldaki sonsuz dal 00000... dal d r. En sa daki sonsuz dal da 22222... dal d r. Bu iki sonsuz dal n aras nda 1012121012... gibi baflka birsürü sonsuz dal vard r. Her sonsuz dal, sonsuz bir 0-1-2 dizisiyle verilmifltir. Sol yolu 0 la, orta yol 1 le, sa yolu da 2 yle simgeliyoruz her zaman yapt m z gibi. 0 la bafllayan dallar bafllang çta sola giden dallard r. 012 yle bafllayan dallar bafllang çta önce sol yolu, sonra orta yolu, sonra da sa yolu seçen dallard r 01210 01211 01212 11021 0121 1102 000 001 002 010 011 020 021 022 100 101102 111 112 120 121 122 200 201 202 210 211 212 220 221 222 012 110 00 01 02 10 11 12 20 21 22 0 1 2 42

0000... 012120212... 11111... 22222... 01210 01211 01212 11021 0121 1102 000 001 002 010 011 020 021 022 100 101102 111 112 120 121 122 200 201 202 210 211 212 220 221 222 012 110 00 01 02 10 11 12 20 21 22 0 1 2 (yukardaki flekilde koyu renkle gösterilmifl.) 1111... dal sa a sola sapmadan hep orta yolu seçen dald r. Sonsuz dallar kökten bafllay p sonsuza kadar giden bir yol olarak görebilece imiz gibi, yukardaki flekilde oldu u gibi ta ufukta bir nokta olarak da görebiliriz. (Ufku hayal edin!) Ufuk çizgisi ni çizelim (yukarda yatay ve nokta-nokta gösterilen do ru). Ufuk çizgisinin en solundaki nokta, durmadan sola giden 00000... sonsuz dal n simgeler. Ufuk çizgisinin en sa ndaki nokta ise durmadan sa a giden 22222... sonsuz dal n simgeler. Bu iki ucun ortas ndaki nokta da 11111... adl hep-orta-yol dal n simgeler. Bunlar n d fl nda, yukardaki flekildeki ufuk çizgisine bir de rastgele bir nokta koyduk, 012120212 diye bafllayan sonsuz bir dal simgeleyen nokta. Ufuk noktalar ndan oluflan kümeye, yani ufuk çizgisine U ad n verelim. U nun her eleman kökten bafllay p sonsuza kadar giden bir yoldur, baflka bir deyiflle, 0112012100... gibi sonsuz bir 0-1-2 dizisidir. Yaz n n anafikrine gelelim: Tan mlad m z U kümesi [0, 1] gerçel say aral n çok and r r. Bu yaz da, U nun [0, 1] gerçel say aral na ne derece ve neden benzedi ini görece iz. Daha sonra, U nun daha önce tan mlanan 3-sel say lar kümesi Z 3 e benzedi ini görece iz. III. S ralama. Sonsuz dallar m z (yani ufuk noktalar m z, yani U kümesini) soldan sa a do ru s ralayabiliriz. En küçük ufuk noktas en soldaki 00000... noktas d r. En büyü ü de en sa daki 22222... noktas d r. Bütün di er ufuk noktalar bu iki uç ufuk noktas aras nda yer al r. Örne in 1012010 la diye bafllayan ufuk noktalar 1012011 la bafllayan ufuk noktalar ndan daha küçük tür, çünkü daha soldad rlar. S ralaman n matematiksel tan m flöyle: E er a 1 a 2 a 3... a i a i+1... ve b 1 b 2 b 3... b i b i+1... (burada a i, b i {0, 1, 2}) birbirinden de iflik iki ufuk noktas ysa, yani iki de iflik sonsuz dalsa, bu iki sonsuz dal n ayr flt klar ilk yere bakal m: Diyelim, a 1 = b 1, a 2 = b 2,..., a i = b i ama a i+1 < b i+1. O zaman a 1 a 2 a 3... a i a i+1... sonsuz dal n n b 1 b 2 b 3... b i b i+1... sonsuz dal ndan daha küçük oldu unu söyleyelim ve bunu, a 1 a 2 a 3... a i a i+1... < b 1 b 2 b 3... b i b i+1... olarak yazal m. Örne in, 0000... < 0001111111... < 0001112000... < 0001112100... < 0001112101... < 1000000000... < 1001000000... Böylece sonsuz dallar (ufuktaki noktalar ) küçükten büyü e (ya da soldan sa a) s ralam fl oluruz. 111111... adl hep-orta-yol ufuk noktas ufuk noktalar n n tam ortas nda yer al r. 101.. diye bafllayan ufuk noktalar bunun solundad r, yani bundan daha küçüktürler, ama 112... diye bafllayan ufuk noktalar 111111... den daha büyüktür. [0, 1] gerçel say aral da bilindi i gibi s ral - d r. 0, bu aral n en küçük say s d r, 1 de en büyü- ü. Tam ortada 1/2 say s vard r. U nun s ralamas [0, 1] aral n n s ralamas n and r r, ama tam ayn s ralama de ildir, aralar nda ufac k bir ayr m vard r. Önce aralar ndaki ayr m görelim, daha sonra benzerliklerini gösteririz. 43

IV. Aradaki Ayr m. Tamsay lar kümesinde, her tamsay dan hemen sonra gelen bir tamsay vard r: n tamsay s ndan hemen sonra n + 1 say s gelir. Öte yandan [0, 1] gerçel say aral nda hiçbir say dan hemen sonra gelen bir say yoktur: E er a < b iki gerçel say ise, a dan büyük ama b den küçük bir gerçel say vard r, örne in (a + b)/2 say s - n n bu özelli i vard r: a dan büyüktür ama b den küçüktür. Ayn fley kesirli say lar için de geçerlidir. Yukarda tan mlad m z U kümesinin birçok eleman da bu özelli i sa lar, yani U nun birçok eleman ndan hemen sonra gelen bir eleman yoktur. Örne in, biraz düflününce görülece i üzere, 0101010101... ufuk noktas ndan hemen sonra gelen bir ufuk noktas yoktur, yani 0101010101... den daha büyük ufuk noktalar n n en küçü ü yoktur. Nitekim e er 0101010101... < a 1 a 2... a i a i+1... ise, 01010101... < b 1 b 2... b i b i+1... < a 1 a 2... a i a i+1... eflitsizli ini sa layan bir b 1 b 2... b i b i+1... ufuk noktas bulmak oldukça kolayd r. (Okura al flt rma.) Öte yandan, gerçel say lar n aksine, baz ufuk noktalar ndan hemen sonra gelen bir ufuk noktas vard r. Bunlar da, 1011222222... gibi bir zaman sonra hep 2 olan ufuk noktalard r: 1011222222... ufuk noktas ndan hemen sonra 10120000... ufuk noktas gelir, bu ikisinin aras nda baflka ufuk noktas yoktur. Sonu hep 2 olan ufuk noktalar ndan sadece en sondakinden (yani en sa daki 2222... ufuk noktas ndan) hemen sonra gelen bir nokta yoktur. 0000... 0002222... 001000... 012120212... bir sonras bir sonras yok V. En Küçük Üsts n r. fiimdi [0, 1] gerçel say aral yla U aras ndaki benzerli i görelim. E er X U ise, X in hiçbir eleman ndan daha küçük olmayan ufuk noktalar na X in üsts n r ad - n verelim; yani e er a U, her x X için, x a özelli ini sa l yorsa, o zaman a ya X in bir üsts n - r diyelim. Örne in X, içinde hiç 2 olmayan (yani hep sol ya da orta yolu seçen) ufuk noktalar kümesiyse, o zaman 2 yle bafllayan her ufuk noktas X in bir üsts n r d r. Ama 12 yle ya da 112 yle bafllayan her ufuk noktas da X in bir üsts n r d r. 1112 yle bafllayan ufuk noktalar bu üsts n rlardan daha küçük üsts n rlard r. Öte yandan 10220 la bafllayan bir ufuk noktas X in üsts n r de ildir, çünkü X in 11000... eleman bu elemandan daha büyüktür. Kolayca görülece i üzere 11111... ufuk noktas X in bir üsts n r d r ve X in üsts n rlar n n en küçü üdür. E er a, X in bir üsts n r ysa, a dan büyük bir ufuk noktas da elbette X in bir üsts n r d r. U nun her altkümesinin bir üsts n r vard r, örne in en sondaki 22222... ufuk noktas her altkümenin bir üsts n r d r ve üsts n rlar n en büyü üdür. Dolay s yla üsts n r bulmak bir marifet de ildir. Marifet, üsts n rlar n en küçü ünü bulmakt r. X in üsts n rlar n n en küçü üne (e er varsa, ki vard r, birazdan kan tlayaca z bunu!) en küçük üsts n r diyelim. Yani a U, (i) her x X için x a, ve (ii) her b U ve her x X için, x b ise o zaman a b özelliklerini sa l yorsa, o zaman a ya X in en küçük üsts n r diyelim. X a X in üsts n rlar X in en küçük üsts n r (X te olabilir ya da olmayabilir) 22222... Buradaki (i) koflulu a n n X in bir üsts n r oldu unu söyler; (ii) koflulu ise a n n tüm üsts n rlardan küçükeflit oldu unu söyler; yani a gerçekten üsts n rlar n en küçü üdür. Teorem 1. U nun her altkümesinin bir en küçük üsts n r vard r. Kan t: X, U nun bir altkümesi olsun. E er X = ise, elbette en soldaki 00000... noktas X in en küçük üsts n r d r 1. Bundan böyle X in boflküme olmad n varsayal m. E er x U ise, x i, x in i-inci rakam olsun. Elbette x i, ya 0 ya 1 ya da 2 dir. fiimdi, a 0 = max{x 0 : x X} olsun. a 0, elbette ya 0, ya 1, ya da 2. Devamla, a 1 = max{x 1 : x 0 = a 0 ve x X} 1 Baz okurlar 00000... eleman n n boflkümenin üsts n r oldu unu anlamakta zorlanabilirler. Bunun kan t nda mant k oyunu gibi bir fley vard r: E er 00000... eleman boflkümenin bir üsts - n r olmasayd, o zaman boflkümede 00000... dan daha büyük bir eleman olmak zorunda olurdu, ki boflkümede hiç eleman olmad ndan bu mümkün de ildir. 44

olsun. Yani a 1, X in a 0 la bafllayan elemanlar n n ikinci rakamlar n n en büyü ü. a 2 = max{x 2 : x 0 = a 0, x 1 = a 1 ve x X} olsun. Yani a 2, X in a 0 a 1 le bafllayan elemanlar n n üçüncü rakamlar n n en büyü ü. Genel olarak, a k, X in a 0 a 1...a k 1 ile bafllayan elemanlar n n (k+1)- inci rakamlar n n en büyü ü olsun. O zaman, kolayca kan tlanaca üzere, a 0 a 1...a k 1 a k... eleman X kümesinin en küçük üsts n r d r. [0, 1] gerçel say aral n n her altkümesinin de bir en küçük üsts n r vard r ve gerçel say lar n bu özelli i onlar kesirli say lardan ay ran özelliktir. Örne in, {x Q : x 2 1/2} kümesinin kesirli say lar kümesinde en küçük bir üsts n r yoktur, ama gerçel say lar kümesinde vard r: 1/ 2. [0, 1] gerçel say aral n n her altkümesinin bir en küçük üsts n r oldu unu matematiksel olarak flu anda kan tlayamay z, çünkü bunu kan tlayabilmemiz için gerçel say kümesinin tan m n bilmemiz laz m, ki bugüne dek bu tan m hiç vermedik. Okullarda da pek verilmez. Ama yak n bir gelecekte gerçel say lar n matematiksel tan m n MD de bulacaks n z. Sak n ayr lmay n! Öte yandan, kan tlayamayaca m z söyledi imiz bu olguyu birazdan kan tlayaca z! Bir anlamda kan tlayaca z... Okuyan görür! Teoremi önce kan tlayaca z, ard ndan verdi imiz kan t n sorunundan sözedece iz. Gerçel say larla U aras ndaki benzerli i gördük. fiimdi bu benzerli in nedenini araflt ral m. 45 VI. Neden Benziyorlar? [0, 1] gerçel say aral - n eflit uzunlukta üç aral a bölelim: [0, 1/3), [1/3, 2/3), [2/3, 1]. 0 la 1 aras ndaki her gerçel say bu üç aral ktan birine ve sadece birine düfler. Diyelim r gerçel say s en soldaki aral a, yani [0, 1/3) aral na düfltü. fiimdi bu [0, 1/3) aral n da eflit uzunlukta üç aral a bölelim: [0, 1/9), [1/9, 2/9), [2/9, 1/3). Diyelim r gerçel say s bu sefer ortadaki [1/9, 2/9) aral na düfltü. Bu aral da eflit uzunlukta üç aral a bölelim: [1/9, 4/27), [4/27, 5/27), [5/27, 2/9) ve r nin hangi aral na düfltü üne bakal m. Diyelim r bu sefer en sa daki [5/27, 2/9) aral na düfltü. Bu sefer bu [5/27, 2/9) aral n üç parçaya bölece iz. Bunu böylece hiç durmadan sürdürürsek, r yi düfltü ü sol-orta-sa aral klar na göre bir 0-1- 2-dizisi olarak gösterebiliriz. Örne imizdeki r, 0-1- 2-dizisi olarak gösterildi inde, bu gösterim 012 diye bafllar (önce sol, sonra orta, sonra sa ). Örne in 0 la 1 in tam ortas ndaki 1/2 gerçel say s, bu yöntemle 1111... ufuk noktas na tekabül eder, çünkü 1/2 hep orta aral a düfler. 0, elbette en soldaki 0000... dizisine, 1 de en sa daki 2222... dizisine tekabül eder. Demek ki [0, 1] aral n n her gerçel say s bu sayede U nun tek bir eleman (yani bir ufuk noktas, yani bir 0-1-2-dizisi) olarak görülebilir. Ayr ca U nun s ralamas [0, 1] aral n n s ralamas yla tutarl d r; bir baflka deyiflle, e er gerçel say - larda a < b ise ve a ve b gerçel say lar s ras yla α ya ve β ye tekabül eden ufuk noktalar ysa, o zaman α < β d r, çünkü e er a < b ise, belli bir n için (asl nda b a > 1/3 n eflitsizli ini sa layan n ler için), a ve b say lar, [0, 1] aral n böldü ümüz 1/3 n uzunluktaki aral klardan ayn s na düflmezler, a n n düfltü ü aral k b nin düfltü ü aral ktan daha soldad r. Peki U nun her eleman bu yöntemle [0, 1] aral n n bir gerçel say s olarak görülebilir mi? Hemen hemen... Ama hepsi de il... En sa daki 22222... d fl nda, sonu hep 2 yle biten (yani hemen bir sonras olan) ufuk noktalar bu yöntemle hiçbir gerçel say ya tekabül etmezler (do al olarak...) Ama di er ufuk noktalar n n hepsi bu yöntemle bir gerçel say ya tekabül ederler. Örnek olarak 01010101... ufuk noktas n n hangi gerçel say ya tekabül etti ini bulal m: 01010101... ufuk noktas, 0 1/3 + 1 1/9 + 0 1/27 + 1 1/81 + 0 1/243 +... = Σ n 1 1/3 2n = Σ n 1 1/9 n = (1/9)Σ n 0 1/9 n = (1/9)/(1 1/9) = 1/8 ufuk noktas na tekabül eder. 012012012... ufuk noktas n n hangi gerçel say ya tekabül etti ini okur herhalde bulabilir. VII. Daha da lginci. U kümesi, geçen yaz lar - m zda sözünü etti imiz, a i {0, 1, 2} için, a 0 + a 1 3 + a 2 3 2 +... + a n 3 n +... biçiminde yaz lan 3-sel tamsay lar kümesi Z 3 e de benzer. Gerçekten de U kümesinin her eleman n 3-sel bir tamsay olarak görmek zor de ildir, örne- in 01010101... ufuk noktas n

0 + 1 3 + 0 3 2 + 1 3 3 + 0 3 4 + 1 3 5 +... 3-sel say s olarak görebiliriz. Bu yöntemle 3 sel say lar kümesi Z 3 le U aras nda bir eflleme bulunur. Böylece [0, 1] gerçel say aral yla p-sel say lar aras nda bir iliflki ortaya ç kt. Oldukça flafl rt c bir benzerliktir. VIII. [0, 1] Aral nda En Küçük Üsts n r Bulmak. fiimdi, [0, 1] gerçel say lar aral nda her altkümenin bir en küçük üsts n r oldu unu kan tlayal m. Teorem. [0, 1] gerçel say aral n n her altkümesinin bir en küçük üsts n r vard r. Kan t: Aynen bir önceki kan ttaki gibi yapaca- z. X, [0, 1] gerçel say lar aral n n herhangi bir altkümesi olsun. Daha önceki kan tta oldu u gibi X in boflküme olmad n varsayabiliriz. Ayr ca X in 1 i de içermedi ini varsayabiliriz, çünkü aksi taktirde, 1, X in en küçük üsts n r d r. E er x [0, 1) ise, x i, x in onluk tabanda yaz l m n n virgülden sonraki i-inci rakam olsun. Elbette x i, 0 dan 9 a kadar bir rakam. fiimdi, a 0 = max{x 0 : x X} olsun. Devamla, a 1 = max{x 1 : x 0 = a 0 ve x X} olsun. Yani a 1, X in 0,a 0 la bafllayan say lar n n ikinci rakamlar n n en büyü ü. a 2 = max{x 2 : x 0 = a 0, x 1 = a 1 ve x X} olsun. Yani a 2, X in 0,a 0 a 1 le bafllayan say lar n n üçüncü rakamlar n n en büyü ü. Genel olarak, a k, X in a 0 a 1...a k 1 ile bafllayan say lar n n (k+1)-inci rakamlar n n en büyü ü olsun. O zaman, kolayca kan tlanaca üzere 0,a 0 a 1...a k 1 a k... eleman X kümesinin en küçük üsts n r d r. Her iki kan t aras ndaki benzerlik bu aflamada art k flafl rt c olmamal. Yukardaki kan tta onluk tabanda yaz l m ald k. Üçlük tabanda yaz l m alsayd k aynen bir önceki kan t elde ederdik. Ne de olsa [0, 1] i U nun bir altkümesi olarak görmeyi ö rendik. Bir önceki sayfada yukarda kan tlad m z teoremi matematiksel olarak kan tlayamayaca mz söylemifltik, ama kan tlad k! Nas l yapt k? Söyleyeyim. Gerçel say lar n matematiksel de il, sezgisel bir tan m n ald k. Örne in, 0,5782927215278292032721618028272... diye sonsuza dek düzensiz giden bir say n n bir gerçel say oldu unu varsayd k. Bu varsay m bedava bir varsay md r, matematiksel bir temeli yoktur. Nitekim, bal gibi de, yukarda varl n kan tlad - m z X in üsts n r böyle bir say olabilir. Bu say n n bir gerçel say oldu unu bilmemiz için her fleyden önce gerçel say n n ne demek oldu unu bilmemiz gerekir. Oysa biz, MD okurlar, daha gerçel say lar n tan m n görmedik! Yak nda onu da görürüz. p-sel Say lar Cismi Q p Sayfa 32 de Teorem 5 te p-sel tamsay lar halkas Z p nin birçok eleman n n tersinir oldu unu görmüfltük. O önsavdan, Z p halkas nda sadece p nin çarp mlar n n tersinir olmad klar anlafl l r, di er elemanlar n hepsi tersinirdir. Dolay s yla e er Z p halkas na p 1 ya da 1/p diye yeni bir eleman ekleyip halka oluflmas için gerekeni yaparsak, o zaman bu halkan n bölüm cismini (bkz. MD-2004-II, sayfa 43-46) buluruz. Z p halkas n n bölüm cismi Q p olarak yaz l r. Q p nin bir eleman na p-sel say denir. p-sel bir say, bir n Z ve a i {0, 1,..., p 1} için, olarak yaz l r. Görüldü ü üzere, p-sel tamsay larla p-sel say lar aras ndaki tek fark, n nin p-sel tamsay larda bir do al say, ama p-sel say larda belli bir say dan büyük bir tamsay olmas d r. p- sel say lar cismi Q p de toplama, ç karma ve çarpma aynen Z p deki gibi do al biçimde tan mlan r. E er p 2 ise, Z p de x p = 1 denkleminin tek bir çözümü vard r: x = 1. Bu, bu say da kan tlad - m z Hensel Önsav ndan ve x p 1 = (x 1)(x p 1 + x p 2 +... + x + 1) eflitli inden kolayl kla ç kar. Bu denklemin Q p deki çözümleri Z p de oldu undan, ayn fley Q p için de geçerlidir. Öte yandan, Z 2 ya da Q 2 de kareleri bulmak için burada kan tlad m z Hensel Önsav n n biraz daha güçlüsü gerekir. Z 2 de karekökü olan elemanlar sadece ve sadece x 1 mod 8 denkli ini sa layan elemanlard r. 46