Üst Üçgensel Matrisler



Benzer belgeler
Yan t Bilinmeyen Bir Soru

Ard fl k Say lar n Toplam

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:

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

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

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

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.

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

1/3 Nerde ya da Kaos a Girifl

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

14. Ordinallerde Çarpma fllemi

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

Olas l k Hesaplar (II)

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

Hemen Hemen Her Sonlu Çizge Asimetriktir

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

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

Bir yaz mda, kimbilir hangisinde,

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

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

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

Topolojik Uzay. Kapak Konusu: Topoloji

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

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

Yeniflemeyen Zarlar B:

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

Yüzde Yüz Sonlu Sonsuz Oyunlar

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

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

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

yis ralamalar Hissetmek

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

Biraz Kümeler Kuram ve Birkaç Do al Say

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

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

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

4. yis ralamalar Hissetmek

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

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

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

Yoksulun Kazanabildi i Bir Oyun

11. Limit Ordinaller ve Ordinallerde Tümevar m lkesi

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

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

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

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

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

Afin ve zdüflümsel Düzlemler

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

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

Bu yaz da dizileri kullanarak birbirinden ilginç

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

22. Zorn Önsav na Girifl

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

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

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

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

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

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

Saymak San ld Kadar Kolay De ildir

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

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

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

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

Sevdi im Birkaç Soru

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

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

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

Eski Yunan matematikçileri cetvel ve pergel yard m yla

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

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

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

6 Devirli Kodlar. 6.1 Temel Tan mlar

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

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

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

Çocuk dergilerinin flaflmaz sorusudur: Afla daki karenin

4*. Peano Aritmeti i 4.1. Haz rl k

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

Beflinci K s m: Ekler

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

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

Birkaç Oyun Daha Birinci Oyun.

Tasar mlar Sibel Özkan* / Selda Küçükçifçi** /

Özdeflleflme ve Direkt Limit

13.Konu Reel sayılar

TEMEL MATEMAT K TEST

NÜMER IK ANAL IZ. Nuri ÖZALP FONKS IYONLARA YAKLAŞIM. Bilimsel Hesaplama Matemati¼gi

Cebir 1. MIT Açık Ders Malzemeleri

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

Cemal Amca n n Zarlar

7. Ders. Mahir Bilen Can. Mayıs 17, 2016

VEKTÖR UZAYLARI 1.GİRİŞ

Pokerin Matemati i Ali Nesin* /

1 Vektör Uzayları 2. Lineer Cebir. David Pierce. Matematik Bölümü, MSGSÜ mat.msgsu.edu.tr/~dpierce/

Latin Kare nfla Etmek Sibel Özkan* /

KES RLER. Bunlar biliyor musunuz? Bütün bir fleyin bölündü ü iki eflit parçadan her biri. Tam, bölünmemifl fley. Bütün elma gibi.

Cebir II 2008 Bahar

ÜN TE III L NEER CEB R

TEMEL MATEMAT K TEST

Transkript:

Ders Notlar Üst Üçgensel Matrisler Ali Nesin / anesin@bilgi.edu.tr 1. Lineer Cebir Tekrar V, bir K cismi üzerine n > 0 boyutlu bir vektör uzay olsun. V nin K-vektör uzay olarak andomorfizmalar, V nin lineer (ya da do rusal) fonksiyonlar kümesi, bileflke ve (noktasal) toplama ifllemleri alt nda bir halkad r. End K (V) olarak yaz lan bu halka n > 1 ise de iflmeli de ildir. Birim eleman 1 = Id V özdefllik fonksiyonudur. E er V nin bir v 1,..., v n taban n seçersek, bu sat rlar n okurunun çok iyi bilmesi gerekti i gibi, her andomorfizmay bir ve bir tek n n boyutlu matris olarak yazabiliriz. Böylece End K (V) ile n nboyutlu matrisler kümesi M n n (K) aras nda birebir bir eflleme bulunur. Bu efllemeye diyelim: : End K (V) M n n (K) Bu efllemesi yard m yla End K (V) halkas n n yap s M n n (K) kümesine tafl nabilir: A, B M n n (K) için, A + B = (1 (A) + 1 (A)), AB = (1 (A)1 (A)) tan m n yaparsak, M n n (K) kümesi de bir halka yap s na kavuflur ve bu iki halka aras nda bir halka izomorfizmas Bir baflka deyiflle, matris halkas n n toplamas ve çarpmas, andomorfizmalar n toplamas n ve çarpmas n ( bileflkelerini) matrislere yans tacak biçimde tan mlanm flt r. (Yani matrislerin çarp m durduk yerde tan mland gibi tan mlanmam flt r; birçok matematik ö rencisi bu temel olguya ne yaz k ki yabanc d r.) Bu yaz da bu olguya s k s k de inece iz. End K (V) ayr ca n 2 boyutlu bir K-vektör uzay - d r da. (Böylece End K (V) halkas bir K-cebiri ) E er i, j = 1,..., n için, koflullar yla tan mlanan ij andomorfizmalar End K (V) vektör uzay n n bir taban n olufltururlar. Bu andomorfizmalar, j inci sat r ve i inci sütundaki girdisi 1, ama di er tüm girdileri 0 olan matrislerdir. Usta matematikçiler olabildi ince matrislerden kaç n rlar ve matris yerine andomorfizmalarla çal - fl rlar. Ancak kimi zaman, örne in determinant ya da iz al nmas gerekti inde, matrisler kaç n lmaz olabilir. Bu durumda gözlerden rak bir köflede matrislere baflvurulur. Biz bu yaz da hiç determinantlara filan girmeyece iz, bu yüzden usta matematikçiler gibi yap p olabildi ince andomorfizmalarla çal flaca z. Örne in, 0 e er i ise ij k kj i e er ise ve bunun sonucu olan eflitlikleri bol bol kullanaca z. 2. Grup Teorisi Tekrar G bir grup olsun. a, b Giçin, [a, b] = a 1 b 1 ab ve A, B G için, [A, B] = [a, b] : a A, b B tan mlar n yapal m. fiu özellikler bariz olmal : B C ise [A, B] [A, C], [A, B]= [B, A], A, B G ise [A, B] G. ( kinci özellik [a, b] 1 = [b, a] eflitli inden ç kar.) Her n do al say s için, G n ve G (n) altgruplar n tümevar mla flöyle tan mlayal m: G 0 = G (0) = G ve her n 0 do al say s için, G n+1 = [G, G n ] ve G (n+1) = [G (n), G (n) ]. fiu özelliklerin kan tlar kolayd r: G 1 = G (1), G n+1 G n G, G (n+1) G (n) G, G (n) G n, H G ise H n G n H G ise H (n) G (n) Bütün bu özelliklerin kan t kolayd r. G 1 yerine genellikle G yaz l r ve bu altgruba G nin ad verilir. 68

E er bir n do al say s için G n = 1 ise, G ye nilpotant ya da s f rkuvvetli ad verilir. E er ayr ca G n 1 1 ise G nin s f rkuvvet derecesinin n oldu- u söylenir. E er bir n do al say s için G (n) = 1 ise, G ye çözünür grup (solvable) ad verilir. E er ayr ca G (n 1) 1 ise G nin çözünürlük derecesinin n oldu u söylenir. Kolayca görülece i üzere, G nin çözünürlük derecesinin n olmas için yeter ve gerek koflul, G (n i) nin çözünürlük derecesinin i olmas d r. Bir grup (n inci dereceden) s f rkuvvetliyse, elbette (en fazla n inci dereceden) çözünürdür. Ama bunun tersi do ru de ildir; örnek: Sym 3. Bu grup çözünürdür ama s f rkuvvetli de ildir. Liste halinde s ralad m z özelliklerden son ikisinden, (n inci dereceden) s f rkuvvetli ya da çözünür bir grubun altgruplar n n da (en fazla n inci dereceden) s f rgüçlü ya da çözünür oldu u anlafl l r. Problem. Problemi matrislerle ifade edelim. tipinde yaz lan, n nboyutlu tersinir matrisler kümesine B diyelim. (Böyle bir matrisin tersinir olmas demek çaprazda hiç 0 olmamas demektir.) Bu matrisler kümesi bir gruptur. Armand Borel onuruna bu gruba Borel altgrubu ad verilir. Bu yaz - da kan tlayaca m z üzere, Borel altgrubu çözünürdür. Sorumuz flu: B grubu kaç nc dereceden çözünürdür? (Yan t: [log 2 (n 1)] + 2 inci dereceden çözünürdür.) S f rkuvvetli midir? (Yan t: E er K 2 ise hay r.) kinci Problem. 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 türünden yaz lan n nboyutlu matrisler kümesine U diyelim. Bu matrisler kümesi de bir gruptur, B nin bir altgrubudur. E er K = 2 = {0, 1} ise B = U olur ama aksi halde U < B dir. lerde B = U eflitli ini kan tlayaca z. Bu gruba maksimal tekkuvvetli (unipotent) altgrup ad verilir. (Kan tlayaca - m z üzere) B çözünür oldu undan U da çözünürdür. U sadece çözünür de il, ayn zamanda s f rkuvvetlidir. U kaç nc dereceden çözünürdür? (Yan t: [log 2 (n 1)] + 1). Ve kaç nc dereceden s f rkuvvetlidir? (Yan t: n 1). Bu yaz da bu problemleri ve daha fazlas n çözece iz. Ancak bu problemleri gruplarda ya da matrislerle çal flarak çözmek hiç kolay de ildir. Problemi gruplardan halkalara indirgeyece iz ve matrisler yerine andomorfizmalarla çal flaca z. Her fley flafl rt c biçimde kolay olacak. 3. Halkalar, Cebirler ve dealler V, K, n, v 1,..., v n,, yaz n n giriflindeki gibi olsunlar. Her i = 1,..., n için, V i = v 1,..., v i olsun ve, yaz l mda kolayl k olmas aç s ndan, her i 0 için V i = 0 varsay m n yapal m. Demek ki, 0 = V 0 < V 1 <... < V i < V i+1 <... < V n 1 < V n 1 = V. Dikkat ederseniz, B grubunun elemanlar her V i altuzay n yine kendisine götürür ve bu özelli i olan her tersinir andomorfizma B dedir; bir End K (V) için, B i (V i ) = V i Bu olguyu alabildi ine sömürece iz. fiimdilik dikkat edilmesi gereken canal c nokta flu: Yukardaki önermede (V i ) = V i eflitli i yerine (V i ) V i yazarsak, B grubu yerine End K (V) halkas n n bir althalkas n elde ederiz ve halkalar gruplardan çok daha basit yap lard r. Bu fikirden yola ç karak bir tan m yapal m: I k = { End K (V) : i (V i ) V i k } olsun. I 0, End K (V) nin bir althalkas d r. (Bu althalka End K (V) halkas n n birim eleman n 1 i içerir ve n > 0 ise de iflmeli de ildir.) Bundan böyle I 0 yerine S yazal m. B = S* (= S nin tersinir elemanlar grubu) eflitli ine dikkatinizi çekeriz. 1 + I 1 = U eflitli ini de gözden kaç rmayal m. Hatta bu yaz n n anafikrinin bu eflitlikte sakl oldu- unu söyleyebiliriz. Ama k > 0 için I k bir halka de ildir çünkü End K (V) nin birim eleman n (özdefllik fonksiyonunu) içermezler, öte yandan kolayca görülece i gibi bunlar S nin (hem sa hem sol) idealleridirler. 1 k n 1 do al say lar için flu özellikler bariz olmal : 69

I k+1 < I k S, I n = 0, I k I I k+, I k n = 0. (Bir halkada, halkan n I ve J idealleri için, IJ, x I ve y Jiçin xy ve yx türünden yaz lan elemanlarla gerilen ideal anlam na gelmektedir. I n ise I...I (n defa) anlam na gelmektedir.) S halkas, izomorfizmas alt nda, üst üçgensel, 0 0 0 0 0 0 0 0 0 0 biçiminde yaz lan matrisler kümesine, I k idealleri ise k n k 0 0 0 0 0 0 0 0 0 biçiminde yaz lan matrisler kümesine tekabül eder. I k idealleri ayn zamanda birer vektör uzaylar d r. Boyutu, dir. Kolayca görülece i üzere, ( ij ) i j k andomorfizmalar I k vektör uzay n n bir taban n olufltururlar. 4. Gruplar n k k 1 için U k = 1 + I k olsun. U = U 1 = 1 + I 1 ve U n = 1 x, y I k için, (1 + x)(1 + y) = 1 + (x + y + xy) 1 + I k = U k oldu undan, U k çarpma alt nda kapal d r. Ayr ca, her x I k için, x n = 0 oldu undan, (1 + x)(1 x + x 2 x 3 + + ( x) n 1 ) = 1 x n = 1 olur; demek ki, 1 + x tersinirdir ve tersi 1 + ( x + x 2 x 3 + + ( x) n 1 ) 1 + I k = U k dir. Bütün bunlardan U k n n U nun bir altgrubu oldu u ç kar. Hatta, I k S ve her x I k ve b B S için, b 1 (1 + x)b = 1 + b 1 xb 1 + I k oldu undan, U k B Ayr ca k B > U 1 > > U k > U k+1 >... >U n 1 > U n = 1 Yukarda yap lanlar, U k gruplar yla I k idealleri aras nda çok özel bir iliflki olabilece ini gösteriyor. Bundan azami ölçüde yararlanaca z. 5. Hesaplar ve Sonuçlar Sav 1. [U k, U ] U k+. Kan t: S halkas nda hesaplayal m. x I k ve y I için, [1 + x, 1 + y] = (1 + x) 1 (1 + y) 1 (1 + x)(1 + y) = (1 x + x 2 )(1 y + y 2 )(1 + x)(1 + y) = (1 (x+y) + (x 2 +xy +y 2 ) )(1+x+y+xy) Bu çarp m n terimlerini derece derece hesaplayal m. (x ve y nin dereceleri 1 olsun ve bu terimler çarp ld kça dereceler toplans n.) Sabit terim 1 dir. Birinci dereceden terim: (x + y) (x + y) = 0 d r. kinci dereceden terim ise xy (x + y) 2 + (x 2 + xy+ y 2 ) = xy yx dir. Geri kalan terimleri S/I k+ +1 halkas nda hesaplayal m, x n ve y n d fl nda, x 2 y, xyx, yx 2, yxy gibi içinde hem x hem de y beliren en az üçüncü dereceden terimleri s f rlayal m ya da yok sayal m. Üçüncü dereceden terim modülo I k+ +1 : (x 3 + y 3 ) + (x 2 + xy+ y 2 )(x + y) (x + y)xy 0. Dördüncü dereceden terim modülo I k+ +1 : (x 4 + y 4 )+(x 3 + y 3 )(x + y ) (x 2 + y 2 )xy 0. Kolayca görülece i üzere, modülo I k+ +1, üç ve daha büyük dereceli tüm çarp mlar 0 a eflit olurlar olurlar. Demek ki, [1 + x, 1 + y] 1 + xy yx + I k+ +1 1 + I k+ = U k+. stedi imiz kan tlanm flt r. Yukardaki kan tta, söz verdi imizden daha kuvvetli bir sav kan tlad k. O sav yazal m: Sav 2. x I k ve y I için, [1+x, 1+y] 1 + xy yx + I k+ +1 1 + I k+. Bir cebirde ya da halkada, xy yx eleman yerine [x, y] yaz l r. Demek ki, [1 + x, 1 + y] 1 + [x, y] + I k+ +1. Bu arada [x, y] nin çifte do rusal (bilinear), hem x e hem de y ye göre do rusal oldu unu farkedelim, ilerde gerekecek. 70

fiimdi I 1 in ( ij ) i>j taban elemanlar için, [ ij, k ] = ij k k ij eleman n ler cinsinden hesaplayal m. Amac m z için, i > j ve k > varsay mlar n yapabiliriz. Önce flunu gözlemleyelim, Demek ki, ive j kise, [ ij, k ] = ij k k ij = 0 = i ise, k > = i > j ve [ ij, k ] = [ ij, ki ] = ij ki ki ij = ij ki = kj j = k ise, i > j = k > ve [ ij, k ] = [ ij, j ] = ij j j ij = j ij = i Sav 3. [I a, I b ] = I a+b. Hatta her kj I a+b için, öyle bir i vard r ki, ij I a, ki I b ve kj = [ ij, ki ] Kan t: [I a, I b ] I a+b içindeli i bariz. I a+b vektör uzay n n taban vektörlerinden birini alal m; diyelim, k j a + b için kj andomorfizmas n ald k. Demek ki, k b j + a. Dolay s yla, k b i j + a eflitsizli ini sa layan bir i seçebiliriz. O zaman, kj = [ ij, ki ] [I a, I b ] olur çünkü i j a ve k i b. Bu da istedi imiz eflitli i verir. Sav 4. [U a, U b ] = U a+b. Kan t: [U a, U b ] U a+b eflitsizli ini Sav 1 de kan tlad k. fiimdi di er içindeli i gösterelim. J = {z I a+b : 1 + z [U a, U b ] + I a+b+1 } olsun. lk olarak J = I a+b eflitli ini kan tlayaca z. Önce bir sav: Sav 5. J toplama alt nda kapal d r. Kan t: x, y Jolsun., [U a, U b ] ve r, s I a+b+1 için, 1 + x = + r, 1 + y = + s olarak yazal m. Demek ki, 1 + (x + y) + xy = (1 + x)(1 + y) = ( + r)( + s) = + (r + s + rs) eflitlikleri geçerlidir. Ama [U a, U b ] bir altgrup ve I a+b+1 bir ideal oldu undan, en sa daki eleman [U a, U b ] + I a+b+1 kümesinin bir eleman Bir baflka deyiflle x + y J Yani J toplama alt nda kapal d r. Sav 4 ün kan t na devam edelim. J = I a+b eflitli- ini kan tlamak istedi imizi an msayal m. Sav 2 de x I a ve y I b için, [1 + x, 1 + y] 1 + [x, y] + I a+b+1 içindeli ini kan tlad k. Demek ki her Kiçin, [1 + x, 1 + y] 1 + [x, y] + I a+b+1 Bundan ve Sav 3 ten, her kj I a+b taban eleman ve her Kiçin, [1 + x, 1 + y] 1 + kj + I a+b+1 içindeli ini sa layan bir x I a ve bir y I b elemanlar n n varl ç kar. Demek ki her kj I a+b taban eleman ve her Kiçin, kj J Sav 5 le birlikte bu son olgu J = I a+b eflitli ini verir. Demek ki 1 + I a+b [U a, U b ] + I a+b+1. Mutlu sona yaklaflt k: U a+b = 1 + I a+b [U a, U b ] + I a+b+1 = [U a, U b ](1 + I a+b+1 ) = [U a, U b ]U a+b+1 (ikinci eflitlikte + r = (1 + 1 r) eflitli ini kulland k), U a+b [U a, U b ]U a+b+1 Bu içindeli i a ve b yerine a + 1 ve b ye uygularsak U a+b [U a, U b ]U a+b+1 [U a, U b ][U a+1, U b ]U a+b+2 = [U a, U b ]U a+b+2. Ad m ad m devam ederek, U a+b [U a, U b ]U n = [U a, U b ] eflitli ine var r z. Teorem 1. U i s f rkuvvetlidir ve s f rkuvvet s - n f n i dir. Dolay s yla U, n 1 inci dereceden s - f rkuvvetlidir. Kan t: Sav 4 ten tümevar mla ç kar. Teorem 2. U 1 in çözünürlük s n f log 2 n say - s d r. 71

Kan t: Sav 4 ten tümevar mla, U (k) = U 2 k eflitli i elde edilir. Demek ki U (k) = 1 eflitli ini sa layan en küçük k do al say s, 2 k n eflitli ini sa layan en küçük k say s d r, 2 k 1 < n 2 k eflitsizliklerini sa layan biricik do al say s d r. Bundan, k 1 < log 2 n k ç kar. Demek ki, k = log 2 n. 6. Borel Altgrubu T, B nin çaprazdaki girdileri d fl ndaki girdileri 0 olan küme olsun. O zaman, T B, B = TU, T U= 1 Ayr ca U B oldu unu biliyoruz. Yukardaki dört olgu grup teorisinde B = U T olarak özetlenir. Bu durumda, al fl k olmayanlara biraz uzun gelebilecek bir hesapla, B = U [U, T]T eflitli ini kan tlamak pek zor de ildir. Ama bizim durumumuzda, T (K*) n ve de iflmeli bir grup, T = 1. Demek ki, B = U [U, T] [U, T] = U eflitli ini kan tlayarak, B = U eflitli ine ulaflm fl olaca z. U = 1 + U 1 eflitli ini biliyoruz. Rastgele bir t T alal m. O zaman 1,..., n K* için, t = 1 11 + + n nn Elbette t 1 = 1 1 11 + + n 1 nn dir. fiimdi, i > j için, ij 2 = 0 oldu undan ve oldu undan, afla daki gri kutuda yap lan hesaba göre, [t, 1 + ij ] = 1 + (1 j 1 i ) ij Demek ki her i > j ve her K \ {1} için 1 + ij [T, U]. E er K = 2 ise bu bizi pek ileri götürmez, sadece zaten bildi imiz 1 [T, U] iliflkisini verir. Ama K 2 ise, + = 1 eflitli ini sa layan, K\ {1} elemanlar bulabiliriz (neden) ve 1 + ij = (1 + ij )(1 + ij ) [T, U] Bundan böyle K 2 olsun. Demek ki her i > j ve her Kiçin 1 + ij [T, U]. Bu aflamadan sonra Sav 4 teki gibi kan t devam ettirebiliriz: J a = {z I a : 1 + z [T, U] + I a+1 } olsun. J a toplama alt nda kapal ve her i > j ve her K için ij elemanlar n içerir. Demek ki J a = I a, ve 1 + I a [T, U] + I a+1. Ayn formülde a yerine a + 1 e koyarsak, 1 + I a [T, U] + I a+1 = [T, U](1 + I a+1 ) = [T, U]U a+1 [T, U]([T, U] + I a+2 ) [T, U] + I a+2 elde ederiz. a = 1 den bafllayarak bunu defalarca uygulad m zda, U = 1 + I 1 [T, U], U = [T, U] elde ederiz. Bütün bunlar ve sonuçlar n yazal m. Teorem 3. E er K 2 ise, B = U = [T, U] olur; dolay s yla B nin çözünürlük s n f log 2 n + 1 dir; ama B s f rkuvvetli de ildir. E er K = 2 ise, B = U 72