Hoca'mızın websitesi için tıklayınız... İ J O L O EL TOP GEN DE T O N RS &Ç I R LA Ö Ü L M ZÜ RI A L RU O S V A SIN Doç.Dr. Mehmet Kırdar MAT216 TOPOLOJI·YE GI·RI·Ş DERS NOTLARI by Mehmet K¬rdar I·çindekiler 1. Topolojinin Tan¬m¬, I·lk Örnekler, Aç¬k ve Kapal¬Kümeler 2. Topolojilerin Karş¬laşt¬r¬lmas¬ve Alt Uzay 3. Baz ve Alt Baz 4. Metrik Uzaylar ve Metrik Topoloji 5. I·ç, Y¬l¼ g¬lma Noktalar¬, Kapan¬ş ve S¬n¬r 6. Süreklilik, Aç¬k ve Kapal¬Fonksiyonlar, Homeomor…zma 7. Fonksiyonlarla Üretilen Topolojiler, Bölüm Uzaylar¬ve Çarp¬m Uzaylar¬ 8. Birinci ve I·kinci Say¬labilir Uzaylar 9. Ayr¬lma Aksiyomlar¬ 10. Diziler, Limit Noktalar¬, Bolzano–Weierstrass Teoremi ve Süreklilik 11. Kompaktl¬k, Heine-Borel Teoremi 12. Limit Nokta Kompaktl¬g¼¬, Dizisel Kompaktl¬k, Metrik Uzaylarda Kompaktl¬k 13. A¼ glar ve Süzgeçler 14. Ba¼ glant¬l¬l¬k ve Yol-Ba¼ glant¬l¬l¬g¼¬ 15. Genişleme Teoremleri Topoljinin Tan¬m¬, I·lk Örnekler, Aç¬k ve Kapal¬Kümeler 1 X bir küme ise X’in tüm alt kümelerinin kümesini, yani X’in güç kümesini, 2X ile gösterece¼ giz. Tan¬m: T 1. 2X kümesi aşa¼ g¬daki şartlar¬sa¼ gl¬yorsa T ’ye X üzerinde bir topoloji ve ya X’in bir topolojisi denir: 2 T ve X 2 T: 2. U1 2 T ve U2 2 T ) U1 \ U2 2 T: 3. I herhangi bir indeksleme kümesi ve fU g 2I T ise [ 2I U 2 T: Bu durumda X kümesine topolojik uzay denir ve (X; T ) ikilisi ile gösterilir. Bazen T ’nin X üzerinde bir topolojik yap¬ oldu¼ guda söylenebilir. I·ndaksiyon ile 2. şarttan T ’nin sonlu say¬da eleman¬n¬n kesişiminin T ’de oldu¼ gu sonucuna ulaşabiliriz ki baz¬ kaynaklar 2. şart¬ bu şekilde yazmaktad¬r. Fakat key… say¬da, yani sonsuz say¬da, eleman¬n kesişiminin T ’de olma zorunlulu¼ gu yoktur. 3. şart T ’den al¬nan key… say¬da elaman¬n bileşiminin yine T ’de olmas¬zorunlulu¼ gudur. Yani tan¬m¬n püf noktas¬"Sonlu kesişimler içerde olacak. Key… bileşimler içerde olacak." şeklinde özetlenebilir. Ayr¬ca, di¼ ger şart, yani 1. şart ise boş kümenin ve X’in kendisinin topolojide olmas¬şart¬d¬r. Örnekler: 1. X herhangi bir küme olsun. Ttrivial = f ; Xg kümesinin X’in topolojisi oldu¼ gu, yani tan¬m¬n şartlar¬n¬sa¼ glad¬g¼¬, kontrol edilebilir. Buda bize her kümenin en az bir topolojisi oldu¼ gunu söylemektedir. 2. X herhangi bir küme olsun. Tayr{k = 2X kümesinin, yani X’in tüm alt kümelerinin kümesi olan güç kümesinin, X’in topolojisi oldu¼ gu kontrol edilebilir. Buda bize en az iki eleman içeren bir kümenin en az iki topolojisi oldu¼ gunu gösterir: Trivial topoloji ve ayr¬k topoloji. Fakat, s¬f¬r elemanl¬kümenin, yani boş kümenin, ve bir elemanl¬kümenin, bir topolojisi vard¬r. Bu kümelerin ayr¬k ve trivial topolojileri ayn¬d¬r. 3. 0 ve 1 elemanl¬kümelerin 1 topolojisi oldu¼ gunu söyledik. X = f1; 2g iki elemanl¬bir küme olsun. Bu küme üzerindeki tüm topolojiler T1 = Ttrivial , T2 = Tayr{k , T3 = f ; f1g ; Xg ve T4 = f ; f2g ; Xg olup bunlar¬n topolji oldu¼ gu kontrol edilebilir. 1 4. n elemanl¬ kümenin üzerindeki topoloji say¬s¬ T (n) olsun. T (n) says¬n¬n n cinsinden hesaplanmas¬ aç¬k bir problemdir. Henüz çözülememiştir! Buda topolojinin küme büyüdükçe ne kadar karmaş¬klaşt¬g¼¬n¬ göstermektedir. Yukar¬da T (0) = T (1) = 1 ve T (2) = 4 oldu¼ gunu söylemiştik. Şimdi bir üç elemanl¬küme düşünelim: X = f1; 2; 3g : Bu küme üzerindeki yazabilece¼ gimiz ilk iki topolojiler T1 = Ttrivial ve T2 = Tayr{kd{r : Fakat bunlar¬n d¬ş¬nda X üzerinde daha yirmi yedi tane topoloji yaz¬labilir! Yani T (3) = 29’d¬r. Örne¼ gin X üzerinde üç elemanl¬topolojilerden biri T3 = f ; f1g ; Xg ; dört elemanl¬ topolojilerden biri T4 = f ; f1g ; f2; 3g ; Xg, beş elemanl¬ topolojileren biri T5 = f ; f1g ; f2g ; f1; 2g ; Xg ve alt¬ elemanl¬ topolojilerden biri T6 = f ; f1g ; f2g ; f1; 2g ; f2; 3g ; Xg olarak yaz¬labilir. Geriye kalan 23 topolojiyi düşünmeyi okuyucuya b¬rak¬yoruz. 5. X sonlu ve ya sonsuz herhangi bir küme olsun. Tsonlutüm leyen = fU X j U0 = X U sonlu kümeg kümesi X’in bir topoloijsidir. Bu topolojiye X’in sonlu tümleyen topolojisi denir. [ f g 6. X sonlu ve ya sonsuz herhangi bir küme olsun. Tsay¬labilirtüm leyen = fU X j U 0 say¬labilir kümeg [ f g kümesi X’in bir topoloijsidir. Bu topolojiye X’in say¬labilir tümleyen topolojisi denir. 7. X = R1 reel say¬do¼ grusu kümesi olsun. Herhangi iki reel say¬a; b 2 R1 için (a; b) = x 2 R1 j a < x < b kümesine s¬n¬rl¬ aç¬k aral¬k denir. U R1 j U key… say¬da s¬n¬rl¬aç¬k aral¬g¼¬n bileşimi Tstandart = şeklinde yaz¬labilir. şeklinde tan¬mlanan küme reel say¬do¼ grusun topolojisidir. Bu kümenin topoloji oldu¼ gunu daha sonra ayr¬nt¬l¬olarak tüm metrik uzaylara genelleştirerek kan¬tlayaca¼ g¬z. Bu topolojiye reel say¬do¼ grusunun standart topolojisi denir. Bu topolojinin di¼ ger isimleri, standart metrik topolojisi, do¼ gal topoloji, s¬radan topoloji vb.’dir. 8. X = R1 reel say¬do¼ grusu kümesi olsun. Şimdi reel say¬do¼ grusun başka bir topolojisini tan¬ml¬yaca¼ g¬z. Do¼ gal topolojisini unutunuz. Herhangi iki a; b 2 R1 için [a; b) = x 2 R1 j a x < b kümesine s¬n¬rl¬ ve alttan kapal¬ üstten aç¬k aral¬k denir. U R1 j U key… say¬da s¬n¬rl¬alttan kapal¬üstten aç¬k Taltlim it = aral¬g¼¬n bileşimi şeklinde yaz¬labilir. şeklinde tan¬mlanan küme reel say¬ do¼ grusu kümesinin topolojisidir ve reel say¬ do¼ grusunun alt limit topolojisi olarak adaland¬r¬l¬r. Benzer şekilde üst limit topolojisini tan¬mlamay¬okuyucuya b¬rak¬yoruz. 9. X = R1 reel say¬do¼ grusu kümesi olsun. Şimdi reel say¬do¼ grusun yukar¬dakilerden başka bir topolojisini tan¬ml¬yaca¼ g¬z. Bunun için bir küme tan¬mlayal¬m: K = n1 j n 2 Z + : Ve (a; b) K şeklindeki kümelere K’s¬ silinmiş aç¬k aral¬klar diyelim. Şimdi şu kümeyi tan¬mlayal¬m: TK = U R1 j U key… say¬da aç¬k aral¬g¼¬n ve ya K’s¬silinmiş aç¬k aral¬g¼¬n bileşimi şeklinde yaz¬labilir. Bu küme reel say¬do¼ grusu kümesinin topolojisidir ve reel say¬do¼ grusunun K-topolojisi olarak adaland¬r¬l¬r. 10. Şimdi yedinci örne¼ gin genelleştirmesini yapal¬m ve çok boyutlu reel Öklit uzaylar¬n¬n do¼ gal topolojini tan¬mlayal¬m. Rn ; n 1; n-boyutlu reel Öklit uzay¬ üzerindeki uzunluk fonksiyonu, di¼ ger ad¬yla standart metrik, d : Rn Rn ! R; n n x = (x1 ; x2 ; ::::; xn ) 2 R ve y = (y1 ; y2 ; ::::; yn ) 2 R ; v u n uX dstandart (x; y) = t (yi xi )2 i=1 şeklinde tan¬mlan¬r. x = (x1 ; x2 ; ::::; xn ) 2 Rn için x merkezli 2 R+ yar¬çapl¬aç¬k küre B(x; ) = fy 2 Rn j dstandart (x; y) < g şeklinde tan¬mlan¬r. Tstandart = U Rn j U key… say¬da aç¬k kürenin bileşimi şeklinde yaz¬labilir. kümesi n-boyutlu reel Öklit uzay¬n¬n bir topolojsidir ve Rn ’in standart topolojisi olarak adland¬r¬l¬r. Bu topolojinin di¼ ger isimleri 7. örnekte oldu¼ gu gibidir. Ayr¬ca n = 1 durumunda bu örne¼ gin 7. örne¼ gin ayn¬s¬ oldu¼ gunu gösterebiliriz: Bir boyutlu aç¬k küreler s¬n¬rl¬aç¬k aral¬klard¬r. 2 11. X bir küme ve üzerinde bir < üzerindeki s¬ralama ba¼ g¬nt¬s¬olsun. Ayr¬ca, X’in bu s¬ralama ba¼ g¬nt¬s¬na göre en küçük ve en büyük eleman¬olmas¬n. a < b şart¬n¬sa¼ glayan her a; b 2 X için (a; b) = fx 2 X j a < x < bg aral¬g¼¬n¬tan¬ml¬yal¬m. Bu tip aral¬klar¬n key… bileşimlerinin koleksiyonu X üzerinde bir topoloji tan¬mlar. Bu topolojiye X’in s¬ralama topolojisi denir. X’in en küçük ve en büyük elemanlar¬ varsa bu tan¬m¬n modife edilmesi gerekti¼ gini belirtelim, [Munkres]. Aç¬kça görüldü¼ gü gibi bu topoloji reel say¬s¬do¼ grusunun do¼ gal topolojisinin anolojisidir. Gerçektende reel say¬do¼ grusu üzerindeki küçük olma ba¼ g¬nt¬s¬na göre tan¬mlanan s¬ralama topolojisi R1 ’in standart metri¼ gi yani mutlak de¼ ger metri¼ gine göre tan¬mlanan standart topolojisine eşittir! R2 üzerinde bir s¬ralama var m¬d¬r? Do¼ gru üzerinde bir noktada durdu¼ gumuzda sadece iki yön vard¬r sa¼ g-sol (do¼ gu-bat¬) ve bu nedenle s¬ralama ba¼ g¬nt¬s¬n¬ bulmak kolayd¬r. Fakat düzlem üzerinde bir noktada durdu¼ gumuzda gidebilece¼ gimiz sonsuz tane yön vard¬r. Do¼ gu-bat¬ ve kuzey-güney bunlardan sadece dördüdür. Bununla birlikte düzlemde s¬ralama ba¼ g¬nt¬s¬ bulmak mümkündür. Bu s¬ralamalardan biri kütüphanelerde kullan¬lan "sözlük s¬ralamas¬" denilen s¬ralamad¬r. E¼ ger (x1 ; y1 ) ve (x2 ; y2 ) düzlemde iki nokta ise önce ilk koordinatlar¬na bakar¬z. E¼ ger x1 < x2 ise (x1 ; y1 ) < (x2 ; y2 ) oldu¼ gunu kabul ederiz. Fakat x1 = x2 ise ikinci koordinatlar¬na bakar¬z. E¼ ger x1 = x2 ve y1 < y2 ise (x1 ; y1 ) < (x2 ; y2 ) oldu¼ gunu kabul ederiz. Bu düzlemde s¬ralama ba¼ g¬nt¬s¬tan¬mlar ve bu s¬ralama ba¼ g¬nt¬s¬düzlem üzerindeki sözlük topolojsi Tsözlük ’ü yarat¬r. Sözlük topolojisinin tan¬m¬benzer şekilde di¼ ger Rn ’lere (n 3) genelleştirilebilir. Reel say¬ do¼ grusu üzerindeki sözlük topolojsinin standart topoloji ile ayn¬ oldu¼ gunu söylemiştik. Fakat n 2 için bu do¼ gru de¼ gildir. Bu konuya topolojilerin karş¬laşt¬r¬lmas¬n¬ tan¬mlad¬kdan sonra tekrar de¼ ginece¼ giz. Tan¬m: (X; T ) topolojik uzay olsun. U 2 T ise U ’ya aç¬k küme denir. E¼ ger C C 0 = X C 2 T ise C’ye kapal¬küme denir. X kümesinin tümleyeni aç¬k ise yani Örnek: 1. Burada önemli bir kaç uyar¬da bulunal¬m. Aç¬k küme X’in belli bir topolojisine göre tan¬mlanm¬şd¬r. Bir küme üzerinde birden fazla topoloji olabilece¼ ginden, X’in bir topolojisine göre aç¬k olan bir küme başka bir topolojisine göre aç¬k olmayabilir. Örne¼ gin X = f1; 2g için U = f1g kümesi Tayr{k için aç¬k kümedir fakat Ttrivial için aç¬k küme de¼ gildir. Bu örnek ayr¬ca bir kümenin ne aç¬k nede kapal¬olabilece¼ ginide göstermekdedir. Ne aç¬k nede kapal¬kümeler olabilece¼ gi gibi, hem aç¬k hem kapal¬ kümelerde vard¬r. En basiti ve X kümeleri, 0 = X ve X 0 = oldu¼ gu için X’in her topolojisi için hem aç¬k hem de kapal¬kümelerdir! Bu bariz iki örne¼ gin d¬ş¬nda hem aç¬k hem kapal¬küme örne¼ gi olan başka örneklerde vermek mümkündür. Örne¼ gin, X = f1; 2; 3; 4g kümesi üzerindeki T = f ; f1g ; f2; 3g ; f4; 5g ; f1; 2; 3g ; f1; 4; 5g ; f2; 3; 4; 5g ; Xg topolojisini düşünelim. Bu topolojiye göre A = f1; 2; 3g kümesi hem aç¬k hemde kapal¬d¬r. Daha zor bir örnek reel say¬ do¼ grusunun alt limit topolojisi Taltlim it ’de gösterilebilir. Reel say¬do¼ grusun alt limit topolojisinde [a; b) kümeleri hem aç¬k hem kapal¬kümelerdir. Bu mant¬k oyununu çözmeyi okuyucuya b¬rak¬yoruz. 2. R1 ’in standart topolojisinin ba¼ glant¬l¬, yani tek komponentli, olan aç¬k kümeleri s¬n¬rl¬ ve ya s¬n¬rs¬z aç¬k aral¬klard¬r. (a; b) şeklindeki s¬n¬rl¬ aç¬k aral¬klar zaten bu topolojinin yaratanlar¬ olarak al¬nm¬şt¬ ve dolay¬s¬yla standart topolojinin içindedir. (a; 1); ( 1; b); R1 = ( 1; 1) şeklindeki s¬n¬rs¬z aç¬k aral¬klar¬n standart topolojinin içinde oldu¼ gu sonsuz bir 1 [ bileşimle gösterelebilir. Örne¼ gin (3; 1) = (3; n) gibi. Fakat R1 ’in çok komponentli olan aç¬k kümeleride vard¬r. Örne¼ gin, n=4 ( 1; 21 ) [ (4; 1) aral¬g¼¬iki komponentli, ( 2; 1) [ (0; 0:1) [ ( ; 2 ) aral¬g¼¬üç komponentli aç¬k kümeleridir. Her n 2 Z + için R1 ’in sonsuz tane n komponentli aç¬k kümesi vard¬r. R1 ’in s¬n¬rl¬ve ba¼ glant¬l¬, yani tek komponetli, kapal¬aral¬klar¬ [a; b] şeklindedir. Önemli bir durumu not etmek gerekirse, [a; a] = fag tek nokta kümeleride bu türdendir, yani kapal¬ve ba¼ glant¬l¬. Noktalar¬n kapal¬olma özelli¼ gine ilerde uzay¬n T1 olma özelli¼ gi diyece¼ giz. (R1 ; Tstandart ) uzay¬T1 uzay¬d¬r. R1 ’in ba¼ glant¬l¬olmayan kapal¬kümeleri de vard¬r. Örne¼ gin, f 3g [ [0; 2] [ [8; 1) kümesi (R1 ; Tstandart ) uzay¬n¬n üç komponentli + 1 kapal¬bir kümesidir. Her n 2 Z için R ’in sonsuz tane n komponentli kapal¬kümesi vard¬r. Ve ayr¬ca standart topolojide, sonsuz komponentli aç¬k ve kapal¬kümelerinde oldu¼ gunu ve sonsuz tane oldu¼ gunu kolayca ispatlayabiliriz. Topolojinin tan¬m¬n¬kapal¬kümeler yani aşa¼ g¬da tan¬mlad¬g¼¬m¬z kapal¬küme ailesi cinsindende vermek de mümkündür. Tan¬m: (X; T ) topolojik uzay olsun. K = fC j C 0 2 T g kümesine X’in T topolojisine göre kapal¬küme ailesi denir. Teorem: (X; T ) topolojik uzay ve K bu topoljinin kapal¬küme ailesi olsun. K aşa¼ g¬daki şartlar¬sa¼ glar: 1. ; X 2 K: 3 2. K’n¬n key… say¬da eleman¬n¬n kesişimi K’dad¬r. 3. K’n¬n sonlu say¬da eleman¬n bileşimi K’dad¬r. Yukar¬daki teoremden dolay¬, alternatif olarak, X üzerindeki bir topolojiyi şu şekilde tan¬mlayabilirdik: K yukar¬daki teoremdeki şartlar¬sa¼ glas¬n. Bu durumda 2X olsun ve T = fU j U 0 2 Kg ailesi X’in bir topolojisidir ve bu topolojinin kapal¬ küme ailesi K’d¬r. K¬sacas¬, aç¬k kümeler ile kapal¬ kümeler aras¬nda bir "dualite" vard¬r ve bir kapal¬küme ailesi verildi¼ ginde bu kapal¬küme ailesi bir topoloji tan¬mlar. 2 Topolojilerin Karş¬laşt¬r¬lmas¬ve Alt Uzay Tan¬m: T1 , T2 kümeleri X kümesinin iki topolojisi olsun. E¼ ger T1 ! T2 ; daha aç¬k olarak yazmak gerekirse T1 T2 ve T1 6= T2 ; ise T1 topolojisi T2 topolojisine göre daha incedir ve ya T2 topolojisi T1 topolojisine göre daha kabad¬r denir. T1 = T2 ; daha aç¬k olarak yazmak gerekirse T1 T2 ve T1 T2 ; ise bu topolojilere eşit topolojiler denir. E¼ ger topolojiler aras¬nda bir kapsma ilişkisi yoksa bu topolojilere karş¬laşt¬r¬lamaz topolojiler denir. Örnekler: 1. X herhangi bir küme olsun. X’in üzerindeki en kaba topoloji trivial topolojidir. Di¼ ger bir deyişle X’in üzerindeki di¼ ger her topoloji trivial topolojiyi kapsar. 2. X herhangi bir küme olsun. X’in üzerindeki en ince topoloji ayr¬k topolojidir. Di¼ ger bir deyişle X’in üzerindeki di¼ ger her topoloji ayr¬k topoloji taraf¬ndan kapsan¬r. 3. R1 üzerindeki altlimit ve üstlimit topolojileri standart topolojiden daha incedir, yani, Taltlim it ! Tstandart ve Tüstlim it ! 1 [ [a + n1 ; b) Tstandart : Örne¼ gin altlimit topolojinin neden standart topolojiden daha ince oldu¼ gunu gösterelim: (a; b) = i=1 şeklinde yaz¬labilece¼ gi için her s¬n¬rl¬aç¬k aral¬k Taltlim it topolojisi içindedir, dolay¬s¬yla Taltlim it Tstandart olur. Fakat en basiti [0; 1) 2 = Tstandart oldu¼ gu için Taltlim it 6= Tstandart ve böylece Taltlim it ! Tstandart ispatlanm¬ş olur. Üstlimit topolojisi içinde benzer bir ispat yap¬labilir. Ayr¬ca not etmek gerekirse, Taltlim it ve Tüstlim it topolojileri birbirleri ile karş¬laşt¬r¬lamaz. 4. R1 üzerindeki K-topolojisi TK ’y¬ hat¬rl¬yal¬m. TK topolojisi Tstandart topolojisinden daha incedir. Gerçekten tan¬mdan dolay¬ TK Tstandart oldu¼ gu kolayca görülür. Eşit olmad¬klar¬n¬ kan¬tlayal¬m. Örne¼ gin U = ( 1; 1) K kümesini düşünelim. U 2 TK ’d¬r. Fakat U kümesi Tstandart topolojisin eleman¬olamaz. Çünkü bu küme Tstandart topolojisin eleman¬ olsayd¬ aç¬k aral¬klar¬n bileşimi olarak yaz¬labilirdi ve 0 2 U oldu¼ gu için 0’¬ içeren bir aç¬k aral¬g¼¬n U ’nun içinde olmas¬ gerekirdi. Örne¼ gin böyle bir aral¬k ( 2 ; 1 ) olsun. Burada 1 ; 2 2 R+ ve bu nedenle öyle bir n 2 Z + vard¬r ki n1 < 1 : Fakat bu durumda n1 2 U olur. Çelişki. O halde. TK ! Tstandart olur yani kapsama ilişkisi "kesinlikle" ’dir. 5. Rn üzerinde standart metri¼ ge göre tan¬mlanm¬ş Tstandart topolojisini hat¬rl¬yal¬m. Rn üzerinde standart metri¼ gin d¬ş¬nda metriklerde mevcuttur. Örne¼ gin x; y 2 Rn olmak üzere küp metrik dküp (x; y) = max jyi 1 i n ve elmas metrik delm as (x; y) = n X i=1 şeklinde tan¬mlan¬r. Aç¬k kürelere benzer olarak aç¬k küpler jyi xi j xi j Ku •p(x; ) = fy 2 Rn j dküp (x; y) < g ve aç¬k elmaslar Elmas(x; ) = fy 2 Rn j delm as (x; y) < g tan¬mlayabiliriz. Benzer şekilde, Tküp topolojisini key… say¬da aç¬k küplerin bileşimleri ve Telm as topolojisin key… say¬da aç¬k elmaslar¬n bileşimleri şeklinde tan¬mlayabiliriz. I·lerki bir konuda, baz kavram¬n¬tan¬mlad¬ktan sonra, şunu ispatl¬yaca¼ g¬z: Tstandart = Tküp = Telm as 4 6. Do¼ gru, yani R1 ; üzerindeki standart topoloji ile sözlük topolojisin ayn¬ oldu¼ gunu söylemiştik. Fakat, düzlem, yani R2 üzerindeki sözlük topolojisi düzlem üzerindeki standart topolojiden daha incedir. Bunu ispatlamak için önce Iab (x0 ) = f(x0 ; y) j a < y < bg şeklindeki aral¬klar¬n sözlük topolojisinde oldu¼ gunu gösteririz. Düzlemde aç¬k bir küre (disk) verildi¼ ginde bu aç¬k diski bu tip aral¬klar¬n bileşimi şeklinde yazabiliriz. Dolays¬yla aç¬k diskler sözlük topolojisinin içindedir ve dolay¬syla standart topoloji sözlük topolojisinin içindedir. Fakat Iab (x0 ) şeklinde bir aral¬k standart topolojinin içinde olamaz. Bu nedenle Tsözlük topolojisi Tstandart topolojisinden daha incedir. Benzer şekilde di¼ ger Rn ’ler; n 3; için de sözlük topolojisi standart topolojiden daha incedir. Teorem: (X; T ) topolojik uzay ve A X bir alt küme olsun. TA = fU \ A j U 2 T g kümesi A üzerinde bir topolojidir. Tan¬m: (X; T ) topolojik uzay ve A X olsun. (A; TA ) ikilsine ve ya k¬saca A’ya X’in bir alt uzay¬denir. TA topolojisine T taraf¬ndan üretilen ve ya T ’den indirgenmiş alt uzay topolojisi denir. K¬sacas¬, X’in her alt kümesi bir alt uzay¬d¬r. Bu tan¬mda üzerinde durulmas¬ ve vurgulanmas¬ gereken temel nokta alt uzay¬n aç¬k kümelerinin karakterizasyonudur: Alt uzay¬n bir aç¬k kümesi ana uzay¬n bir aç¬k kümesinin alt uzay ile kesişimidir. Alt uzay¬n kapal¬kümeleride aşa¼ g¬daki teoremde söylendi¼ gi gibi benzer karakterizasyona sahiptir. K Teorem: (X; T ) topolojik uzay ve (A; TA ) altuzay¬ olsun. C X kapal¬olmak üzere C = A \ K olmas¬d¬r. A kümesinin A’da kapal¬ olmas¬ için gerek ve yeter koşul Örnekler: 1. Trivial topolojinin herhangi bir alt kümeye indirgenmesi trivial topolojdir. Benzer bir şekilde ayr¬k topolojinin herhangi bir alt kümeye indirgenmesi ayr¬k topolojidir. 2. A = [0; 1] R1 olsun. (R1 ; Tstandart ) topolojisin A üzerine indirgenmesini düşünelim. Bu topolojide en basit aç¬k kümelere [0; b); 0 < b 1; ve (a; 1]; 0 a < 1; ve (a; b); 0 < a; b < 1; şeklinde olanlard¬r. Ve [0; 1] üzerindeki indirgenmiş standart topoloji bu tip aral¬klar¬n key… bileşimleri olarak düşünülebilir. Burada not düşmemiz gereken önemli bir nokta şudur: Alt uzayda aç¬k olan bir küme ana uzayda aç¬k olmak zorunda de¼ gildir. Örne¼ gin bu örnekte A = [0; 1]’in kendisi alt uzay topolojisinde aç¬kt¬r fakat (R1 ; Tstandart )’da elbetteki aç¬k de¼ gildir. Bu örnekte alt uzayda aç¬k olan fakat ana uzayda aç¬k olmayan başka bir kümeye örnek olarak [0; 21 ) kümesi gösterilebilir. 3. Öklit düzleminin S 1 = (x; y) j x2 + y 2 = 1 R2 altkümesi, yani birim çember, üzerindeki standart topolojiden indirgenmiş alt uzay topolojisini düşünelim. Bu topolojinin en basit elemanlar¬ "aç¬k yaylar" olarak adland¬raca¼ g¬m¬z yaylard¬r. _ _ 0 < 360 olmak üzere aç¬k yay¬n¬ = f(cos t; sin t) j < t < g şeklinde tan¬mlayal¬m. Birim çember üzerindeki, düzlemin standart topolojisinden indirgenmiş alt uzay topolojisinin elemanlar¬, key… say¬da aç¬k yay¬n bileşimi ile elde edilebilen kümelerdir. 4. m n ise Rm Rn olarak düşünülebilir. Rm ’in üzerindeki Rn ’in standart topolojisinden indirgenmiş alt uzay topolojisi Rm ’in standart topolojisidir! Bunun ispat¬n¬baz kavram¬n¬tan¬mlad¬ktan sonra düşünece¼ giz. Alt uzay¬n aç¬k bir kümesinin ana uzayda aç¬k olmayabilece¼ gini söylemiştik. Ayn¬ uyar¬ kapal¬ kümeler içinde yap¬labilir. Fakat, Teorem: (X; T ) topolojik uzay ve (A; TA ) alt uzay¬olsun. A’da aç¬k (kapal¬) olan herhangi bir kümenin X’de aç¬k (kapal¬) olmas¬için gerek ve yeter koşul A’n¬n aç¬k (kapal¬) olmas¬d¬r. Tan¬m: (X; T ) topolojik uzay olsun. Bu uzay¬n sahip oldu¼ gu bir özellik bu uzay¬n tüm alt uzaylar¬nda varsa bu özelli¼ ge kal¬tsal (genetik) özellik denir. Kal¬tsal özellikle ilgili örnekler daha sonra verilecektir. 5 3 Baz ve Alt Baz Bir önceki konuda, örneklerde, bir topolojinin çok daha az say¬da eleman¬n key… bileşimleri ile inşaa edildi¼ gini gördük. Örne¼ gin, Rn ’in standart topolojisini tan¬mlarken aç¬k küreleri kulland¬k. Standart topolojiyi tan¬mlamadan önce tüm aç¬k kürelerin kümesini ayr¬ bir koleksiyon (aile) olarak düşünebilirdik. Bu koleksiyon standart topolojinin kendisinden çok daha küçük bir küme olurdu. Bu nedenle topolojiyi tan¬mlamadan önce daha temel bir kavram olan baz tan¬mlanabilir. Tan¬m: X bir küme ve B [ 1. X = U: 2X olsun. B aşa¼ g¬daki özellikleri sa¼ gl¬yorsa B’ye X’in bir baz¬d¬r denir: U 2B 2. Her U1 ; U2 2 B ve x 2 U1 \ U2 için 9U3 2 B öyleki x 2 U3 Teorem: B U1 \ U2 : 2X kümesi X’in bir baz¬ise T = fU j U kümesi B’nin key… say¬da eleman¬n bileşimi olarak yaz¬labilir.g kümesi X’in bir topolojisidir. Tan¬m: B 2X kümesi X’in bir baz¬ise yukar¬da ifadesi verilen ve topoloji oldu¼ gu ispatlanan T kümesine B baz¬taraf¬ndan yarat¬lan topoloji denir. Bu durumda B’ye T topolojisinin bir baz¬d¬r denir. K¬sacas¬, bir topoloji verilmeden ve ya biliniyor olmadan önce baz verilebilir ve bu baz bir topoloji yarat¬r. Ters olarakda, bir topoloji verildi¼ ginde bu topolojinin bir baz¬n¬n bulunmas¬istenebilir. Elbetteki verilen topolojinin kendisi kendisin baz¬d¬r fakat bu pek yararl¬olmayan bazd¬r. Örnekler: 1. 3 elemanl¬X = f1; 2; 3g’in 4 elemanl¬topolojisi T = f ; f1g ; f2; 3g ; Xg’nin bir baz¬B = ff1g ; f2; 3gg’dir ve 2 elemanl¬d¬r. Bu kümenin baz tan¬m¬ndaki şartlar¬sa¼ glad¬g¼¬kolayca görülebilir. 2. B = fBstandart (x; ) j x 2 Rn ; 2 R+ g koleksiyonunun baz tan¬m¬n¬sa¼ glad¬g¼¬n¬ve Rn kümesinin bir baz¬oldu¼ gunu kolayca gösterebiliriz. Ve bu baz daha önceden tan¬mlad¬g¼¬m¬z topoloji olan standart topolojiyi yarat¬r. Bu baz çok daha fazla küçültülebilir! Şu şekilde: n tane rasyonel say¬ cisminin kartezyen çarp¬m¬ Qn = f(q1 ; q2 ; :::; qn ) j q1 ; q2 ; ::::; qn 2 Qg’yi tan¬mlarsak Qn Rn olur ve B 0 = fBstandart (x; ) j x 2 Qn ; 2 Q+ g koleksiyonuda baz tan¬m¬n¬n şartlar¬n¬sa¼ glar, yani n R ’in bir baz¬d¬r. Bu bazda Rn ’in satandart topolojisini yarat¬r! Bunu daha sonra yazaca¼ g¬m¬z bir teoremi kullanarak ispatlayaca¼ g¬z. Bu örne¼ gi n = 1 için tekrar yazacak olursak (R1 ; Tstandart ) topolojik uzay¬n¬n, di¼ ger bir deyişle, standart topolojili reel say¬do¼ grusunun en kullan¬şl¬baz¬B = f(a; b) j a < b; a; b 2 Qg’d¬r. 3. B = f[a; b) j a; b 2 Rg kümesinin tan¬m¬ sa¼ glad¬g¼¬n¬ ve bir baz oldu¼ gunu kolayca gösterebiliriz. Bu baz R1 ’in alt limit topolojisi Taltlim it ’yi yarat¬r. Alt limit topolojisi için daha küçük bir baz B 0 = f[a; b) j a 2 R; b 2 Qg olarak verilebilir. Fakat burada alt limit ucu olan a’y¬rasyonel say¬olarak almak mümkün de¼ gildir. Daha önceden topolojilerin nas¬l karş¬laşt¬r¬ld¬g¼¬n¬tan¬mlam¬şt¬k. Peki bu karş¬laşt¬rman¬n bazla ilgisi nedir? Teorem: B1 ve B2 s¬ras¬ile (X; T1 ) ve (X; T2 ) topolojik uzaylar¬n¬n bazlar¬olsunlar. Aşa¼ g¬dakiler denkdir: 1. T1 T2 2. Her x 2 X ve her x 2 U2 2 B2 için 9U1 2 B1 öyle ki x 2 U1 U2 : Örnekler: 1. Şimdi bu teoremi kullanarak bir önceki konuda iddia etti¼ gimiz Rn üzerindeki Tstandart = Tküp = Telm as eşitli¼ gini ispat edebiliriz. Gerçektende bir aç¬k küre ve bu aç¬k kürenin içinde bir nokta verildi¼ ginde bu noktay¬içeren ve kürenin içinde kalan daha küçük aç¬k bir elmas ve ya aç¬k bir küp bulabiliriz. Benzer olarak ayn¬şeyi aç¬k küpler için ve aç¬k elmaslar içinde söyleyebiliriz. Dolay¬s¬yla bu topolojiler ikili olarak yukardaki teoremin 2. şart¬n¬sa¼ glarlar. 1. şart, 2. şarta denk oldu¼ gu için, bu üç topoloji birbirini kapsamaktad¬r, dolay¬s¬yla eşittirler. 6 2. Şimdi daha önceden sözünü etti¼ gimiz Öklit uzay¬n¬n baz¬çok küçültülebilir iddias¬n¬ispatl¬yal¬m: Rn ’nin B = fBstandart (x; ) j x 2 0 ve B = fBstandart (x; ) j x 2 Qn ; 2 Q+ g bazlar¬n¬n yukar¬daki teoremin 2. şart¬n¬ "çift tara‡¬ olarak" sa¼ glad¬g¼¬ gösterilebilir. Bu nedenle bu bazlar¬n yaratt¬g¼¬topolojiler eşittir. Ana uzay¬n topolojisinin bir baz¬ alt uzay¬ içinde bir baz tan¬mlar ve bu baz¬n yaratt¬g¼¬ topoloji alt uzay¬n indirgenmiş topolojisini yarat¬r. Teorem olarak yazarsak, Teorem: (X; T ) topolojik uzay, B bu topolojinin bir baz¬ve A X olsun. BA = fU \ A j U 2 Bg kümesi alt uzay topolojisi TA ’n¬n bir baz¬d¬r. Yukarda tan¬mlanan BA kümesine B baz¬n¬n A alt kümesine indirgenmiş baz¬denir. Ve teorem, tekrar edecek olursak, do¼ gal olarak beklendi¼ gi gibi, indirgenmiş baz¬n indirgenmiş topolojiyi yaratt¬g¼¬n¬söylemektedir. Örnek: Nas¬l R2 ’de x-eksenini R1 olarak, ve ya nas¬l R3 ’de xy-düzlemini R2 olarak düşünüyorsak, m n için Rm Rn m olarak düşünebiliriz. Bu durumda n-boyutlu aç¬k bir kürenin R ile kesişimi e¼ ger boş küme de¼ gilse m-boyutlu aç¬k bir küredir ve tüm m-boyutlu aç¬k küreler bu şekilde kesişimle elde edilebilir ve dolay¬s¬yla Rn ’nin standart baz¬n¬n Rm ’e indirgenmesi Rm ’nin standart baz¬d¬r. Ve bu indirgenmiş baz, yukar¬daki teoreminde söyledi¼ gi gibi, Rm ’nin standart topolojisini yarat¬r. Buda Rn ’nin m m standart topolojisinin R ’e indirgenmesinin R ’nin standart topolojisi oldu¼ gunu kan¬tlar. Topolojiyi yaratan daha küçük bir koleksiyon olarak baz¬tan¬mlad¬k. Baz¬yaratan daha küçük bir koleksiyonda tan¬mlanabilir. Tan¬m: (X; T ) topolojik uzay ve S T olsun. E¼ ger S’nin elemanlar¬n¬n sonlu kesişimleri kümesi T ’nin bir baz¬n¬oluşturuyorsa S’ye T ’nin ve yaratt¬g¼¬baz¬n bir alt baz¬d¬r denir. Örnek: Altbaz ve baz kavram¬n¬ kafada canland¬rabilmek için düzlemin topolojisini ak¬lda tutmakta fayda vard¬r. Öklit düzleminin standart topolojisinin bir baz¬aç¬k dikdtörtgenler kümesidir. Bu baza Bdiktörtgen diyelim. Bir aç¬k dikdörtgeni elde etmenin kolay bir yolu bir aç¬k dik şerit ile bir aç¬k yatay şeriti kesiştirmekdir. Dolay¬s¬yla aç¬k kenarl¬ dik şeritlerin ve aç¬k kenarl¬yatay şeritlerin hepsini bir bohçaya koyarsak bu bohçaya Sşerit dersek Sşerit kümesi düzlemin standart topolojisinin bir alt baz¬olur. Bu şerit örne¼ gini tüm Öklit uzaylar¬na genelleştirebiliriz. Ayr¬ca şerit kavram¬, çarp¬m uzaylar¬n¬n anlaş¬lmas¬nda temel oluşturmaktad¬r. 4 Metrik Uzaylar ve Metrik Topoloji Aç¬k kürelerin bir metrik uzay olan n-boyutlu reel Öklit uzay¬n¬n yani Rn ’nin bir baz¬oldu¼ gunu ve standart topolojisini yaratt¬g¼¬n¬ söylemiştik. Şimdi bunu tüm metrik uzaylara genelleştirece¼ giz. Ama önce metri¼ gin ve metrik uzay¬n tan¬m¬n¬verelim. Tan¬m: X bir küme olsun. d : X X ! R fonksiyonu aşa¼ g¬daki şartlar¬sa¼ gl¬yorsa d’nin X kümesinin üzerinde bir metrik oldu¼ gu söylenir ve (X; d) ikilisine metrik uzay denir: 1. Her x; y 2 V için d(x; y) 0: (Poziti‡ik özelli¼ gi.) 2. d(x; y) = 0 , x = y: (S¬f¬r olma özelli¼ gi.) 3. Her x; y 2 X için d(x; y) = d(y; x): (Yans¬ma özelli¼ gi.) 4. Her x; y; z 2 X için d(x; y) d(x; z) + d(z; y): (Üçgen eşitsizli¼ gi.) Tan¬m: 2 R+ olsun. Bd (x; ) = fy 2 X j d(x; y) < g kümesine x merkezli komşulu¼ gu denir. yar¬çapl¬ aç¬k küre ve ya x’in (aç¬k) - Teorem: (X; d) bir metrik uzay olsun. Tüm aç¬k kürelerin koleksiyonu olan B = fBd (x; ) j x 2 X; bir baz¬d¬r. 2 R+ g kümesi X’in Tan¬m: Yukardaki teoremdeki baz¬n yaratt¬g¼¬topolojiye X üzerindeki d metri¼ ginin yaratt¬g¼¬metrik topoloji denir. d metri¼ gi ve d0 metri¼ gi X üzerinde iki metrik ve ayn¬topolojiyi yarat¬yor iseler bu metriklere denk metrikler denir. Örnekler: 7 1. Rn için tan¬mlanan küre (di¼ ger ad¬yla standart), küp ve elmas metriklerini hat¬rlayal¬m: i) Uzunluk fonksiyonu ve ya di¼ ger v uX n u ad¬yla standart metrik: dstandart (x; y) = t (yi xi )2 ii) Küp metri¼ gi: dküp (x; y) = max jyi xi j iii) Elmas metri¼ gi: 1 i n i=1 delm as (x; y) = n X i=1 jyi xi j : Bu üç fonksiyonun metrik oldu¼ gunu yani tan¬m¬n şartlar¬n¬sa¼ glad¬g¼¬n¬ispatlamay¬okuyucuya b¬rak¬yoruz. Daha önceden gösterildi¼ gi gibi, bu metriklerin yaratt¬g¼¬ topolojiler eşittir yani ayn¬d¬r ve standart metrik topoloji ve ya standart topoloji olarak adland¬r¬l¬r. K¬sacas¬dstandart ; dküp ve delm as denk metriklerdir. 1 x 6= y şeklinde tan¬mlanan fonksiyon X üzerinde bir metrikdir ve ayr¬k 0 x=y metrik olarak ça¼ gr¬l¬r. Bu metri¼ gin yaratt¬g¼¬topoloji kolayca gösterilebilece¼ gi gibi X üzerindeki ayr¬k topolojidir. 2. X boş olmayan bir küme ise d(x; y) = 3. (X; d) metrik uzay olsun. d0 (x; y) = min f1; d(x; y)g şeklinde tan¬mlanan fonksiyon X üzerinde yeni bir metriktir ve bu metrik ayn¬topolojiyi yarat¬r. Di¼ ger bir ifadeyle d ve d0 denk metriklerdir. Şimdi ilerde kullanabilece¼ gimiz uzakl¬k ve s¬n¬rl¬l¬k ile ilgili bir kaç tan¬m verelim: Tan¬m: (X; d) metrik uzay olsun. x 2 X ve A X ise d(x; A) = inf fd(x; y) j y 2 Ag say¬s¬na x’in A’ya uzakl¬g¼¬, ayr¬ca B X ise d(A; B) = inf fd(y; z) j y 2 A; z 2 Bg say¬s¬na A ile B aras¬ndaki uzakl¬k denir. (A) = sup fd(y; z) j y; z 2 Ag say¬s¬na ise A’n¬n çap¬ad¬verilir. E¼ ger (A) sonlu bir say¬ise A kümesine s¬n¬rl¬küme ad¬verilir. Örnek: Her aç¬k kürenin s¬n¬rl¬ oldu¼ gu gösterilebilir: Gerçektende üçgen eşitsizli¼ gi kullanarak (Bd (x; )) 2 oldu¼ gu gösterilebilir ve bu nedenle Bd (x; ) s¬n¬rl¬d¬r. Dolay¬s¬yla bir aç¬k kürenin içinde kalan bir küme s¬n¬rl¬d¬r. Dolay¬s¬yla, Öklit uzaylar¬için s¬n¬rl¬kümenin alternatif bir tan¬m¬da şudur: E¼ ger A B (0; ) ise yani A kümesi orijin merkezli bir aç¬k kürenin içinde kal¬yor ise A alt kümesi s¬n¬rl¬d¬r. Tan¬m: (X; T ) bir topolojik uzay olsun. E¼ ger X üzerinde T topolojisini yaratan bir metrik bulunabiliyorsa, (X; T ) topolojik uzay¬na metrize edilebilir uzay denir. Örnek: 1. Her X kümesi için (X; Tayr{k ) topolojisi metrize edilebilir. Çünkü d(x; y) = 1 0 x 6= y metri¼ gi ayr¬k topolojiyi yarat¬r x=y ve bu fonksiyon her küme için metrikdir. 2. E¼ ger X "en az 2 eleman içeren" bir küme ise (X; Ttrivial ) topolojisi metrize edilemez. Bunun ispat¬n¬okuyucuya b¬rak¬yoruz. Tan¬m: (X1 ; d); (Y; d0 ) iki metrik uzay ve f : X ! Y fonksiyonu her x1 ; x2 2 X için d0 (f (x1 ); f (x2 )) = d(x1 ; x2 ) şart¬n¬ sa¼ gl¬yorsa f fonksiyonuna izometri denir. E¼ ger ayr¬ca f fonksiyonu bire-bir ve örten ise bu durumda X ve Y izometrik uzaylard¬r denir. Örnekler: 1. Rn ’den Rn ’e tan¬mlanan öteleme, bir hiper düzleme göre yans¬ma ve dönme fonksiyonlar¬izometrilerdir. Hiper düzlemlere göre olan yans¬malar, bileşke işlemi alt¬nda, Rn ’den Rn ’e olan tüm izometrileri, di¼ ger bir deyişle Rn ’in izometri grubunu yarat¬r. 2. X en az iki elemanl¬ bir küme olsun. Bu küme üzerinde iki metrik tan¬ml¬yal¬m: d1 (x; y) = 1 0 x 6= y ve d2 (x; y) = x=y 2 x 6= y : Birinci metri¼ ge göre X kümesini X1 ile, ikinci metri¼ ge göre ayn¬kümeyi X2 ile gösterelim. Bu durumda X1 0 x=y metrik uzay¬ile X2 metrik uzay¬izometrik de¼ gildir, yani aralar¬nda bir izometri fonksiyonu bulunamaz. Tan¬m: V bir reel vektör uzay¬ve k k : V ! R aşa¼ g¬daki özellikleri sa¼ glayan bir fonksiyon ise (V; k k) ikilisine normlu vektör uzay¬ve ya k¬saca normlu uzay denir: 1. Her x 2 V için kxk 0: (Poziti‡ik özelli¼ gi.) 2. kxk = 0 , x = 0: (S¬f¬r olma özelli¼ gi.) 8 3. Her 2 R; x 2 V için k xk = j j kxk : (Skaler çarp¬m özelli¼ gi.) 4. Her x; y; z 2 V için d(x; y) d(x; z) + d(z; y): (Üçgen eşitsizli¼ gi.) Teorem: (V; k k) bir normlu uzay ise d(x; y) = kx metriktir ve (V; d) metrik uzayd¬r. yk şeklinde tan¬mlanan d : V V ! R fonksiyonu V üzerinde bir v uX u n 2 n Örnek: n-boyutlu Öklit uzay¬ R bir reel vektör uzay¬d¬r ve her x = (x1 ; x2 ; :::; xn ) 2 X için kxk = t xi şeklinde i=1 tan¬mlanan fonksiyon bir normdur. Bu norma standart norm ve ya Öklit normu denir ve standart norm daha önce defalarca belirtti¼ gimiz standart metri¼ gi tan¬mlar ve bu standart metrikde standart topolojiyi tan¬mlar. K¬sacas¬ Rn ’in pek çok yap¬s¬ var¬d¬r: Vektör uzay¬, Normlu uzay, Metrik uzay¬, Topolojik uzay vb. Önemli bir not ile Metrik uzaylar konusunu, daha sonra metrik uzaylara tekrar tekrar de¼ ginmek üzere, kapatal¬m. (Not: Bir Öklit uzay¬n¬n ve ya bir Öklit uzay¬n¬n alt uzay¬n¬n topolojisi belirtilmedi ise topolojisi standart topoloji olarak kabul edilecektir.) 5 I·ç, Y¬g ¼¬lma Noktalar¬, Kapan¬ş ve S¬n¬r Tan¬m: (X; T ) bir topolojik uzay ve A X , yani A kümesi X’in alt kümesi, olsun. A taraf¬ndan kapsanan en büyük aç¬k kümeye, ve ya di¼ ger bir ifadeyle A taraf¬ndan kapsanan bütün aç¬k kümelerin bileşkesine, A’n¬n içi denir ve A ile gösterilir. A’y¬kapsayan en küçük kapal¬kümeye, ve ya di¼ ger bir ifadeyle A’y¬kapsayan bütün kapal¬kümelerin kesişimine, A’n¬n kapan¬ş¬ gu, @A ile gösterilir ve @A = A A şeklinde tan¬mlan¬r. (A)0 = X A denir ve A ile gösterilir. A’kümesinin s¬n¬r¬, yani kabu¼ aç¬k kümesine A’n¬n d¬ş¬denir. Örnekler: 1. A aç¬k bir alt kümeyse tan¬mdan hemen A = A oldu¼ gunu söyleyebiliriz. Dual olarak A kapal¬bir alt kümeyse tan¬mdan hemen A = A oldu¼ gunu söyleyebiliriz. 2. R1 ’in standart topolojisinde, (0; 1) = [0; 1) = (0; 1] = [0; 1] oldu¼ gu [0; 1) ve (0; 1] kümeleri kapal¬ olmad¬g¼¬ için tan¬mdan otomatik olarak söylenebilir. Ayn¬şekilde [0; 1) ve (0; 1] kümeleri aç¬k olmad¬g¼¬için [0; 1] = [0; 1) = (0; 1] = (0; 1)’dir. Ve dolay¬s¬yla bu kümelerin dördününde s¬n¬r¬ayn¬d¬r ve @[0; 1] = @ [0; 1) = @(0; 1] = @(0; 1) = f0; 1g olur. 3. Rn ’deki Bd (x; ) = fy 2 X j d(x; y) < g aç¬k küresinin kapan¬ş¬ Bd (x; ) = fy 2 X j d(x; y) g eşitsizli¼ gi küçük-eşit yaparak elde edilir ve kapal¬ küredir. Aç¬k kürenin kabu¼ gu, yani s¬n¬r¬, eşitsizlik eşitlik yap¬larak verilir: @Bd (x; ) = fy 2 X j d(x; y) = g. Elbette bu s¬n¬r aç¬k küreye ait de¼ gildir fakat kapal¬küreye tamamen aittir. Teorem: (X; T ) bir topolojik uzay ve A A Teorem: (X; T ) bir topolojik uzay ve A; B B v) (A \ B) = A \ B olur. X olsun. Bu durumda i) (A )0 = (A0 ) ii) (A)0 = (A0 ) olur. X olsun. Bu durumda i) X = X ii) A A iii) (A ) = A iv) A B ise Örnek: Yukar¬daki teoremdeki v. ş¬k bileşim için do¼ gru de¼ gildir. Örne¼ gin, R1 ’in standart topolojisinde A = (0; 1] ve B = (1; 2) alal¬m. Bu durumda (A [ B) = (0; 2) = (0; 2)’dir fakat A [ B = (0; 1) [ (1; 2)’dir. Yani bu örnek için (A [ B) 6= A [ B ’dir. Teorem (Kuratowski Kapan¬ş Aksiyomlar¬): (X; T ) bir topolojik uzay ve A; B iii) (A) = A iv) A B ise A B v) (A [ B) = A [ B olur. X olsun. Bu durumda i) = ii) A A Örnek: Yukar¬daki teoremdeki v. ş¬k kesişim için do¼ gru de¼ gildir. Örne¼ gin, R1 ’in standart topolojisinde A = (0; 1) ve B = (1; 2) alal¬m. Bu durumda A \ B = = ’dir fakat A \ B = [0; 1] \ [1; 2] = f1g’dir. Yani bu örnek için A \ B 6= A \ B’dir. Teorem (S¬n¬r¬n alternatif tan¬m¬): @A = A \ (A0 ): Kapan¬ş¬n alternatif bir tan¬m¬da y¬g¼¬lma noktas¬ve daha da sadesi limit noktas¬kavram¬kullan¬larak verilebilir. Yukar¬daki teoremler ve topolojideki pek çok teorem limit noktas¬kavram¬kullan¬lrak daha kolay bir şekilde ispatlanabilir. Bu tan¬mlardan önce komşuluk kavram¬ile ilgili birkaç notasyon tan¬mlayal¬m. Bu notasyonlar ilerki konularda kullan¬lacakt¬r. 9 Tan¬m: (X; T ) bir topolojik uzay ve x 2 X olsun. x’i içeren bir U 2 T aç¬k kümesine x’in bir (aç¬k) komşulu¼ gu denir. x’in tüm aç¬k komşuluklar¬n¬n kümesini T (x) ile gösterece¼ giz. Tan¬m: (X; T ) bir topolojik uzay ve x 2 X olsun. B(x) x 2 U T (x) için 9V 2 B(x) öyle ki x 2 V U: T (x) şu şart¬sa¼ gl¬yorsa B(x)’e x’in lokal bir baz¬d¬r denir: Her Teorem: (X; T ) bir topolojik uzay olsun. Her x 2 X için B(x) kümesi x’in bir lokal baz¬ ise [ B(x) kümesi T ’nin bir x2X baz¬d¬r. Ters olarak e¼ ger B kümesi T ’nin bir baz¬ise her x 2 X için B(x) = fU 2 B j x 2 U g kümesi x’in lokal bir baz¬d¬r. Tan¬m: (X; T ) bir topolojik uzay ve A X olsun. E¼ ger her U 2 T (x) için (U denir. A’n¬n y¬g¼¬lma noktalar¬kümesini Ay ile gösterece¼ giz. fxg) \ A 6= ise x’e A’n¬n y¬g¼¬lma noktas¬ Tan¬m: E¼ ger x 2 = Ay fakat x 2 A ise x’e A’n¬n izole noktas¬denir. A’n¬n izole noktalar¬kümesini Aiz ile gösterece¼ giz. A ile Ay aras¬nda bir kapsama ilişkisi yoktur. A Tan¬m: E¼ ger her U 2 T (x) için U \ A 6= bir izole nokta ise x’e limit noktas¬denir. Ay = Aiz ’dir yani Ay ve Aiz ayr¬k kümelerdir. ise x’e A’n¬n limit noktas¬denir. Di¼ ger bir de¼ gişle, x bir y¬g¼¬lma noktas¬ve ya Teorem (Kapan¬ş¬n alternatif tan¬m¬): (X; T ) bir topolojik uzay ve A X olsun. Bu durumda A = fx j x; A’n¬n bir limit noktas¬d¬r.g olur. Di¼ ger bir ifadeyle A = Ay [ A ve ya ayr¬k kümeler cinsinden di¼ ger bir ifadeyle A = Ay [ Aiz olur. K¬sacas¬, bir kümenin kapan¬ş¬o kümenin tüm limit noktalar¬n¬n kümesidir ve ya di¼ ger bir ifade ile tüm y¬g¼¬lma noktalar¬ile tüm izole noktalar¬n¬n bileşim kümesidir. Kapan¬ş¬n alternatif tan¬m¬n¬, yani limit noktalar¬tan¬m¬n¬kullanarak metrik uzaylarda, bir alt kümenin kapan¬ş¬n¬n aşa¼ g¬daki teoremde verildi¼ gi gibi oldu¼ gunu gösterebiliriz ve bu metrik uzaylar için kapan¬ş¬n tan¬m¬olarak kabul edilebilir. Teorem: (X; d) bir metrik uzay ve (X; T ) yaratt¬g¼¬topoloji ve A X olsun. Bu durumda A = fx 2 X j d(x; A) = 0g : Şimdi kapan¬ş ile ilgili önemli bir tan¬m daha yapal¬m. Yo¼ gun küme kavram¬ileriki konularda tekrar karş¬m¬za ç¬kacak. Tan¬m: (X; T ) bir topolojik uzay ve A gun küme denir. X olsun. E¼ ger A = X ise A’ya (her yerde) yo¼ Örnek: Qn Rn kümesi n-boyutlu reel Öklit uzay¬n¬n yo¼ gun bir alt kümesidir; çünkü, her x 2 Rn ve B(x; ); n B(x; ) \ Q 6= ’dir. > 0; için Alt uzay¬n herhangi bir alt kümesinin kapan¬ş¬n¬hem alt uzaya hemde ana uzaya göre tan¬mlayabiliriz. Peki bunlar aras¬ndaki ilişki nedir? Teorem: B A B A = B \ A olur. X şeklinde bir alt uzay zinciri olsun. B’nin A’daki kapan¬ş¬n¬B A ile, X’deki kapan¬ş¬n¬B ile gösterirsek Örnek: Yukar¬daki teorem iç için do¼ gru de¼ gildir. Yani B’nin A’daki içini BA ile, X’deki içini B ile gösterirsek BA ile B \ A farkl¬ olabilir. Çok basit bir karş¬ örnek: B = A = Q rasyonel say¬lar kümesi ve X = R reel say¬lar kümesi olsun. Standart topolojiyi düşünelim. Bu durumda Q’nun kendisine göre içi kendisi olaca¼ g¬ndan QQ = Q olur. Fakat Q’nun R’ye göre içi boş kümedir. O halde Q \ R = olur. Ve böylece QQ 6= Q \ R: 10 6 Süreklilik, Aç¬k ve Kapal¬Fonksiyonlar, Homeomor…zma Önce lokal süreklili¼ gi tan¬ml¬yal¬m. Notasyonlar¬ hat¬rl¬yal¬m: T; T (x); B; B(x) ve K notasyonlar¬ s¬ras¬yla, topolojiyi, x’in komşuluk ailesini, baz¬, x’in lokal baz¬n¬ve T ’nin kapal¬ailesini göstermektedir. Tan¬m: (X; T ) ve (Y; T 0 ) iki topolojik uzay, f : X ! Y bir fonksiyon, x0 2 X ve y0 = f (x0 ) olsun. E¼ ger her V 2 T 0 (y0 ) için f (U ) V şart¬n¬sa¼ glayan bir U 2 T (x0 ) varsa, f fonksiyonuna x0 noktas¬nda, T T 0 topolojilerine göre, süreklidir denir. Tan¬m: (X; T ) ve (Y; T 0 ) iki topolojik uzay, f : X ! Y bir fonksiyon olsun. E¼ ger f fonksiyonu X’in her noktas¬nda sürekli ise bu fonksiyona X üzerinde süreklidir ve ya her yerde süreklidir ve ya sadece süreklidir denir. Şimdi süreklili¼ gin alternatif tan¬mlar¬n¬görelim: Teorem: (X; T ) ve (Y; T 0 ) iki topolojik uzay, f : X ! Y bir fonksiyon olsun. K ve K 0 s¬ras¬ile T ve T 0 ’nün kapal¬ailelerini göstersin. Aşa¼ g¬daki cümleler denkdir: 1. f süreklidir. 2. Her V 2 T 0 için f 1 3. Her B 2 K 0 için f 1 (V ) 2 T: (B) 2 K: 4. Her A X için f (A) 5. Her C Y için f 1 f (A). (C ) (f 1 (C)) 6. E¼ ger B 0 kümesi Y uzay¬n¬n bir baz¬ise 8V 2 B 0 için f 1 (V ) 2 T: Yukar¬daki teoremin 2. ş¬kk¬, pek çok kitapda, lokal süreklili¼ gin tan¬m¬ndan ba¼ g¬ms¬z olarak, süreklili¼ gin tan¬m¬ olarak verilmektedir. Bu tan¬m süreklili¼ gin en güzel tan¬m¬d¬r. Bizde bunu süreklili¼ gin genel tan¬m¬olarak hat¬rlayaca¼ g¬z. Şu şekilde: "E¼ ger (hedef uzay¬ndaki) her aç¬k kümenin ters görüntüsü (tan¬m uzay¬nda) aç¬k ise fonksiyon süreklidir." Daha da basiti, 6. ş¬kda söylendi¼ gi gibi, hedef uzay¬n baz elemanlar¬n¬n tersinin tan¬m kümesi uzay¬nda aç¬k olmas¬fonksiyonun sürekli olmas¬için yeterlidir. Metrik uzaylar aras¬ndaki fonksiyonlar¬n "süreklili¼ gin " tan¬m¬" diye bildi¼ gimiz süreklilik tan¬m¬ ile süreklili¼ gin genel tan¬m¬denktir. Bu denklik yukrdaki teoremin 6. ş¬kk¬ndan kolayca ç¬kart¬labilir. Notasyonu hat¬rl¬yal¬m: Bd (x; ) notasyonu d metri¼ gine göre, x merkezli, yar¬çapl¬aç¬k küreyi göstermektedir. Teorem: (X; d) ve (Y; d0 ) iki metrik uzay Td ve Td0 s¬ras¬ile d ve d0 metriklerinin X ve Y üzerinde yaratt¬g¼¬topolojiler olsun. f : X ! Y fonksiyonu X’den Y ’ye bir fonksiyon olsun. Aşa¼ g¬daki cümleler denktir: 1. f fonksiyonu Td -Td0 süreklidir, yani k¬sacasa söylemek gerekirse, süreklidir. 2. 8" > 0 ve 8x 2 X için 9 > 0 öyle ki f (Bd (x; )) Tan¬m: Yukar¬daki teoremdeki denir. Bd0 (f (x); "): say¬s¬x’den ba¼ g¬ms¬z yani sadece "’a ba¼ gl¬olarak bulunabiliyorsa f ’ye düzgün süreklidir Düzgün sürekli olan her fonksiyon süreklidir fakat bunun tersi do¼ gru de¼ gildir. Düzgün süreklilik süreklilikden daha güçlüdür. Aşa¼ g¬da sürekli fonksiyonlarla ilgili temel örnekler, verilen sürekli fonksiyonlardan yeni sürekli fonksiyon elde etme yollar¬ ve düzgün süreklilikle ilgili örnekler verilmiştir. Yap¬lmas¬gereken ispatlar¬okuyucuya al¬şt¬rma olarak b¬rak¬yoruz. Örnekler: 1. Yukar¬daki tan¬mlarda X kümesi fonksiyonun tan¬m kümesidir (uzay¬d¬r). Yani f fonksiyonu X’in her noktas¬nda tan¬mlanm¬şt¬r. Buna dikkat edilmesi gerekir. Örne¼ gin f : R ! R; f (x) = x1 , şeklinde bir yaz¬m, x 6= 0 oldu¼ gu belirtilmezse, do¼ gru de¼ gildir. Çünkü bu fonksiyon x = 0 noktas¬nda tan¬ms¬zd¬r. Kalkülüs’de bu nednenle bu fonksiyonun bu noktada süreksiz oldu¼ gunu söyleriz. Fakat topolojide bu o kadar önemli bir husus de¼ gildir. Çünkü X = R f0g bu fonksiyonun tan¬m kümesidir ve asl¬nda fonksiyon f : X ! R; f (x) = x1 şeklinde verilmelidir. Bu fonksiyon X üzerinde süreklidir, k¬saca söylemek gerekirse, süreklidir. 11 2. (X; T ) ve (Y; T 0 ) iki topolojik uzay ve c 2 Y olsun. Her x 2 X için f (x) = c şeklinde tan¬mlanan bir f : X ! Y fonksiyonuna sabit fonksiyon denir. Sabit fonksiyonlar süreklidir. Çünkü her V 2 T 0 için ya c 2 V ’dir ki bu durumda f 1 (V ) = X 2 T olur ve ya c 2 = V ’dir ki bu durumda f 1 (V ) = 2 T olur. Her iki durumda süreklilik şart¬sa¼ gland¬g¼¬ için sabit bir fonksiyon süreklidir. 3. (X; T ) ve (Y; T 0 ) iki topolojik uzay, f : X ! Y bir fonksiyon olsun. E¼ ger T , yani X’in topolojisi, yani tan¬m kümesinin topolojisi ayr¬k topoloji ise f hangi fonksiyon olursa olsun süreklidir. 4. (X; T ) ve (Y; T 0 ) iki topolojik uzay, f : X ! Y bir fonksiyon olsun. E¼ ger T 0 , yani Y ’nin topolojisi, yani hedef kümesinin topolojisi trivial topoloji ise f hangi fonksiyon olursa olsun süreklidir. 1 x 0 şeklinde tan¬mlanan ad¬m fonksiyonu u : R1 ! R1 standart topoloji-standart topoloji ikilisine göre 0 x<0 süreksizdir. Örne¼ gin V = ( 12 ; 32 ) kümesi standart topolojide aç¬kt¬r fakat f 1 (V ) = f 1 (1) = [0; 1) standart topolojide aç¬k de¼ gildir ve bu nedenle ad¬m fonksiyonu süreklili¼ gin tan¬m¬n¬ sa¼ glamaz. Bu fonksiyonun süreksiz oldu¼ gu tek nokta x = 0 noktas¬d¬r. Ve fonksiyonun bir noktada süreksiz olmas¬, (global olarak) süreksiz olmas¬için yeterlidir. 5. u = 6. (X; T ) bir topolojik uzay ve A X alt uzay¬ve TA bu alt uzay¬n indirgenmiş topolojisi olsun. i : A ! X fonksiyonunu i(a) = a şeklinde tan¬ml¬yal¬m. Bu fonksiyona (A’n¬n X’e) gömme fonksiyonu denir. Bu fonksiyon yani i süreklidir. Bunun ispat¬tamamen alt uzay¬n tan¬m¬ndan gelir. E¼ ger V 2 T ise i’nin tan¬m¬ndan dolay¬i 1 (V ) = V \ A olaca¼ g¬ndan 1 i (V ) 2 TA olur ve bu nedenle i süreklidir. 7. (X; T ) ve (Y; T 0 ) iki topolojik uzay, f : X ! Y sürekli bir fonksiyon, yani T T 0 ikilisine göre sürekli bir fonksiyon, olsun. E¼ ger T T 0 topolojileri yerine X üzerine T ’den daha ince bir topoloji T ve Y üzerine T 0 ’den daha kaba bir topoloji T 0 konursa f fonksiyonu T T 0 ikilisine görede süreklidir. 8. (X; T ) ve (Y; T 0 ) iki topolojik uzay, f : X ! Y sürekli bir fonksiyon ve A X olsun. A üzerindeki k¬s¬tlanm¬ş fonksiyon fjA : A ! Y bariz bir şekilde tan¬mlan¬r: fjA (a) = f (a): Bu fonksiyon A’n¬n alt uzay topolojisi ve T 0 topolojisi ikilisine göre süreklidir. 9. (Yap¬şt¬rma Lemas¬) X = A [ B bir topolojik uzay olsun ve A; B X’in aç¬k alt kümeleri (alt uzaylar¬) olsun. f : A ! Y ve g : B ! Y sürekli fonksiyonlar olsun. Ve her x 2 A \ B için f (x) = g(x) olsun. Bu durumda e¼ ger h : X ! Y fonksiyonunu, h(x) = f (x); e¼ ger x 2 A; h(x) = g(x); e¼ ger x 2 B; şeklinde tan¬mlarsak h fonksiyonu sürekli olur. Bu Lema’da her iki kümeyi aç¬k almak yerine her ikisinide kapal¬al¬rsak Lema yine do¼ grudur. 10. I·ki sürekli fonksiyonun bileşkesi yeni bir sürekli fonksiyondur. f : X ! Y sürekli ve g : Y ! Z sürekli ise g süreklidir. f :X!Z 11. Düzgün ve düzgün olmayan süreklili¼ ge örnek verelim. f : R1 ! R1 ; f (x) = ax + b; düzgün süreklidir. Fakat g : R1 ! R1 ; 2 g(x) = ax +bx+c; a 6= 0; düzgün sürekli de¼ gildir. I·kinci fonksiyonun düzgün sürekli olmamas¬n¬n nedeni, tan¬m kümesinin s¬n¬rs¬z olmas¬ndan ve dolay¬s¬yla ’n¬n x’e ba¼ gl¬olarak bulunmas¬ndan kaynaklan¬r. Fakat, örne¼ gin, bu fonksiyonu kapal¬ bir aral¬g¼a s¬n¬rl¬etmiş olsayd¬k, ’y¬x’den ba¼ g¬ms¬z olarak sadece "’a ba¼ gl¬olarak ifade edebilirdik ve g(x)’de bu kapal¬ aral¬k üzerinde düzgün sürekli olurdu. ’n¬n seçimindeki ayr¬nt¬lar¬okuyucuya al¬şt¬rma olarak b¬rak¬yoruz. 12. (X; d) metrik uzay ve x0 2 X seçilmiş (sabit) bir nokta olsun. d(x; x0 ) : X ! R fonksiyonu düzgün süreklidir. Tan¬m:(X; T ) ve (Y; T 0 ) iki topolojik uzay ve f : X ! Y bir fonksiyon olsun. K ve K 0 s¬ras¬ile T ve T 0 ’nün kapal¬ailelerini göstersin. Her U 2 T için f (U ) 2 T 0 ise f ’ye aç¬k fonksiyon, her C 2 K için f (C) 2 K 0 ise f ’ye kapal¬fonksiyon denir. Teorem: (X; T ) ve (Y; T 0 ) iki topolojik uzay ve f : X ! Y bir fonksiyon olsun. Şu ifadeler denktir: a) f : X ! Y aç¬k fonksiyondur. b) Her A X için f (A ) f (A) : Yukar¬daki teoremin benzeri kapal¬fonksiyonlar içinde yaz¬labilir. Bunu okuyucuya b¬rak¬yoruz. Örnekler: 1. (X; T ) üzerinde trivial topoloji olan bir topolojik uzay ve ya (Y; T 0 ) üzerinde ayr¬k topoloji olan bir uzay ise, her f : X ! Y bir fonksiyonu hem aç¬k fonksiyon hem kapal¬fonksiyondur. 2. p1 (x; y) = x; şeklinde tan¬mlanan p1 : R2 ! R1 projeksiyon fonksiyonu aç¬k fonksiyondur fakat kapal¬fonksiyon de¼ gildir. Bunu ispatlamak için y = x1 fonksiyonunun R2 ’deki gra…¼ gi ’y¬ düşünmek yeterlidir. kolayca ispatlanaca¼ g¬ gibi R2 ’de kapal¬d¬r. Fakat, p1 ( ) = ( 1; 0) [ (0; 1) kümesi R1 ’de kapal¬de¼ gildir. Ve genel olarak Rn ’den Rm ’e olan bir projeksiyon aç¬k fonksiyondur fakat kapal¬fonksiyon de¼ gildir. 12 3. Sürekli bir fonksiyon aç¬k fonksiyon ve ya kapal¬ fonksiyon olmak zorunda de¼ gildir. Örne¼ gin, f : R1 ! R1 ; f (x) = x2 fonksiyonu süreklidir fakat aç¬k de¼ gildir. Örne¼ gin, f (( 1; 1)) = [0; 1) ve bu fonksiyon aç¬k de¼ gildir. Bu örnekte kullan¬lan fonksiyon 1 1 ve örten de¼ gildir. 1-1, örten ve sürekli olan fakat aç¬k olmayan bir fonksiyona örnek olarak şu verilebilir: f : (R1 ; Tstandart ) ! (R1 ; Ttrivial ) fonksiyonunu birim fonksiyon yani f (x) = x şeklinde tan¬mlans¬n. Bu fonksiyon tan¬m gere¼ gi 1-1 ve örtendir, yani bijektifdir. Sürekli oldu¼ gu hemen kontrol edilebilir. Fakat aç¬k de¼ gildir. Örne¼ gin, U = (0; 1) 2 Tstandart oldu¼ gu halde f (U ) = (0; 1) 2 = Ttrivial : Fakat, f : (R1 ; Tstandart ) ! (R1 ; Tstandart ) şeklindeki bijektif sürekli bir fonksiyon aç¬kt¬r. Bunun ispat¬n¬daha sonra, ba¼ glant¬l¬l¬k kavram¬n¬kullanarak yapaca¼ g¬z. 4. Başka bir bijektif ve sürekli olan fakat aç¬k olmayan fonksiyon örne¼ gi gösterelim. Önce birim çemberi karmaş¬k say¬lar içinde jzj = 1 olarak düşünelim. f : [0; 1) ! S 1 ; f (x) = exp 2 i; fonksiyonu bijektifdir ve süreklidir, fakat aç¬k de¼ gildir. Üstelik bu örnekte kullan¬lan her iki uzay¬n topolojisi standart topolojiden indirgenmiştir, yani standart topolojidir. 5. Aç¬k olan fakat sürekli olmayan bir fonksiyon örne¼ gi de gösterebiliriz. Kolay bir karş¬ örnek şu: f : (R1 ; Ttrivial ) ! 1 (R ; Tstandart ) fonksiyonunu birim fonksiyon olsun. f ’in aç¬k bir fonksiyon oldu¼ gu kolayca kontrol edilebilir. Fakat, f sürekli de¼ gildir. Örne¼ gin, (0; 1) 2 Tstandart , fakat f 1 ((0; 1)) = (0; 1) 2 = Ttrivial . Fakat, f : (R1 ; Tstandart ) ! (R1 ; Tstandart ) şeklindeki bijektif aç¬k bir fonksiyon süreklidir. Ters fonksiyon f 1 ’i düşünerek ve 3. örnekte söylenen son şeyi kullanarak bu ispatlanabilir. Topolojide karş¬örnekler bulmak için genelde "tuhaf" topolojileri ve ya farkl¬topolojileri düşünmemiz gerekebilir. Gerçektende, 3. ve 5. örnekte görüldü¼ gü gibi, standart topoloji, topolojideki pek çok problem için karş¬ örnekler üretmiyor. Bunu ak¬lda tutmakda yarar var. Tan¬m: (X; T ) ve (Y; T 0 ) iki topolojik uzay ve f : X ! Y bir fonksiyon olsun. f bijektif, sürekli ve tersi sürekli bir fonksiyon ise f ’e homeomor…zma; X ve Y ’ye homeomor…k uzaylar, ve ya topolojik olarak eşit uzaylar, denir ve X = Y şeklinde gösterilir. Teorem: (X; T ) ve (Y; T 0 ) iki topolojik uzay ve f : X ! Y bijektif bir fonksiyon olsun. Şu ifadeler denktir: a) f homeomor…zmad¬r b) f aç¬k ve süreklidir c) f kapal¬ve süreklidir d) Her A X için f (A) = f (A)’d¬r. Örnekler: 1. R1 herhangi bir (a; b) s¬n¬rl¬ aç¬k aral¬g¼¬ alt uzay¬na homeomor…kdir, k¬saca ifade etmek gerekirse: R1 = (a; b): I·spat: f : R1 ! (a; b); f (x) = (b a) arctan x + a+b 2 istenen homeomor…zmad¬r. 2. (0; 1) aç¬k aral¬g¼¬ (0; 1) [ (1; 2) aç¬k kümesine homeomor…k de¼ gildir. Bunun ispat¬n¬ "ba¼ glant¬l¬l¬k" kavram¬n¬ kullanarak ilerki bir konuda yapaca¼ g¬z. Fakat, okuyucu üzerinde biraz düşünürse, şu andada bu sav¬kan¬tlayabilir. 3. R2 ’deki birim çember, max(jxj ; jyj) = 1 karesine homeomor…kdir. Genel olarak söylemek gerekirse, düzlemde bir çember ile bir kare homeomor…kdir. Bu heomeomor…zma fonksiyonunu aç¬k olarak yazmak o kadar kolay de¼ gildir. Ama bu homeomor…zmay¬hayal etmek o kadar zor de¼ gildir. Benzer şekilde, genel olarak, Rn ’de kapal¬, sürekli ve kendini kesmeyen her e¼ grinin çembere homeomor…k oldu¼ gu hayal edilebilir. 4. Düzlemde, ve ya Rn ’de (n 3), sekiz şeklindeki, yani yat¬k olarak hayal edilirse, sonsuz şeklindeki bir e¼ gri çembere homeomor…k de¼ gildir. Bunun ispat¬topolojik uzaylara ait bir topolojik de¼ gişmez olan "temel grup" kavram¬kullan¬larak yap¬labilir. Bu kavram cebirsel topolojinin ilk ve önemli kavramlar¬ndan biridir. 5. n-boyutlu birim küreyi S n = fx 2 Rn j kxk = 1g şeklinde tan¬mlarsak S n ve Rm ’nin hiç bir m; n 2 N ikilisi için homeomor…k olmad¬g¼¬ilerki bir konuda tan¬mlayaca¼ g¬m¬z kompaktl¬k kavram¬kullan¬larak kolyaca gösterilebilir. 6. 2 boyutlu birim küre S 2 üzerinden bir nokta ç¬kar¬rsak kalan alt uzay düzleme, yani R2 ’ye, homeomor…ktir. Bu homeomor…zmay¬formülize etmek mümkündür. Okuyucu için anahtar kelime: Stereogra…k projeksiyon. 7. n 6= m , Rn Rm : n = 1 için bir çözüm her iki uzaydan bir nokta ç¬kar¬larak ve ba¼ glant¬l¬l¬k kavram¬ kullan¬larak yap¬labilir. n; m 2 için, bu problemi genel topolojide çözmek zordur. Cebirsel topoloji teknikleri ile çözülebilir. 8. n 6= m , S n S m ise yukardaki örne¼ gin, yani 7. örne¼ gin, direkt sonucudur. Bunu göstermeyi okuyucuya b¬rak¬yoruz. Homeomor…zma = ba¼ g¬nt¬s¬ bir denklik ba¼ g¬nt¬s¬d¬r ve topolojik uzaylar ve sürekli fonksiyonlar kategorisini homeomor…zma denklik s¬n¬‡ar¬na ay¬r¬r. Topolojinin en önemli problemlerinden biri iki uzay¬n ayn¬homeomor…zma denklik s¬n¬f¬nda olup olmad¬g¼¬n¬anlamak için topolojik özellikler ve ya topolojik de¼ gişmezler bulmakt¬r. Say¬labilme ve ayr¬lama aksiyomlar¬, kompaktl¬k, ba¼ glant¬l¬l¬k ve yol ba¼ glant¬l¬l¬g¼¬genel topolojideki en önemli topolojik özelliklerdendir. Fakat bu özellikler, homeomor…zma problemlerini çözmeye yetmez. Bu nedenle topolojinin bir kolu olan cebirsel topoloji do¼ gmuştur. 13 7 Fonksiyonlarla Üretilen Topolojiler, Bölüm Uzaylar¬ve Çarp¬m Uzaylar¬ Topolojileri olmayan uzaylara fonksiyonlar¬kullanarak topoloji koyabiliriz. Tan¬m: a) X bir küme, f(Yi ; Ti0 )g bir topolojik uzay ailesi ve ffi : X ! (Yi ; Ti0 )g bir fonksiyon ailesi olsun. ffi g ailesinin tüm elemanlar¬n¬ sürekli yapan X üzerindeki en kaba topolojiye, ffi g fonksiyonlar¬na göre X’in başlang¬ç topolojisi denir. b) Y bir küme, f(Xi ; Ti )g bir topolojik uzay ailesi ve fgi : (Xi ; Ti ) ! Y g bir fonksiyon ailesi olsun. fgi g ailesinin tüm elemanlar¬n¬ sürekli yapan Y üzerindeki en ince topolojiye, fgi g fonksiyonlar¬na göre Y ’nin bitiş topolojisi denir. Örnek: 1. X = R1 kümesi reel say¬ kümesi olsun. f ; fag ; fb; cg ; Y g olsun. f : X ! Y; Standart topolojisini unutun. 8 < a; b; f (x) = : c; Y = fa; b; cg ve üzerindeki topoloji T 0 = x<0 x=0 x>0 olsun. Bu durumda bu fonksiyonu sürekli yapan X’in en kaba topolojisi Tbaşlang¬ç = topoloji reel say¬do¼ grusunun yukar¬daki fonksiyona göre başlang¬ç topolojisidir. ; ( 1; 0); [0; 1); R1 olur ve bu 2. (X; T ) topolojik uzay ve A X alt kümesi olsun. A’n¬n üzerine topoloji konulmad¬g¼¬n¬ ve topoloji koymak istedi¼ gimizi farz edelim. i : A ! X fonksiyonunu i(a) = a; 8a 2 A; şeklinde tan¬mlayal¬m. Buna içine ve ya gömme fonksiyonu diyoruz. Kolayca görülece¼ gi gibi, bu fonksiyona göre A’n¬n üzerine konulan başlang¬ç topolojisi A’n¬n alt uzay topolojisidir. 3. Y kümesi 1. örnekte oldu¼ gu gibi olsun ve üzerinde topoloji olmas¬n; yukar¬daki topolojisini unutun. f : R1 ! Y fonksiyonu 1. örnekte oldu¼ gu gibi tan¬mlans¬n. f fonksiyonunu sürekli yapan Y üzerindeki en ince topoloji Tbitiş = f ; fag ; fcg ; fa; cg ; Y g’dir. 4. f : R1 ! S 1 ; f (x) = exp 2 i; şeklinde tan¬mlans¬n. S 1 ’in üzerinde topoloji olmas¬n. Bu durumda bu fonksiyona göre S 1 ’in bitiş topolojisi (R2 ’den indirgenmiş) standart topolojisidir. Bu iddiay¬ kan¬tlamak için baz elemanlar¬n¬n görüntülerini ve ters görüntülerini düşünmek yeterlidir. Aç¬k aral¬klar¬n görüntüleri aç¬k yaylar ve aç¬k yaylar¬n ters görüntüleri aç¬k aral¬klar¬n bileşimi şeklinde olaca¼ g¬için buradaki bitiş topolojisi S 1 ’in standart topolojisine eşit olmal¬d¬r. Fonksiyonlarla üretilen topolojilerin en önemlileri bölüm topolojisi ve çarp¬m topolojisi olarak adland¬raca¼ g¬m¬z topolojilerdir. Bu kavramlara ayr¬ayr¬de¼ ginelim. Önce bölüm uzaylar¬ndan bahsedelim. Bir uzay¬n bölünmesi denildi¼ ginde genelde bu uzay¬n üzerinde bir denklik ilişkisi oldu¼ gu ve ya uzay¬n bir ayr¬k parçalanmas¬n¬n yap¬ld¬g¼¬düşünülür. Bununla birlikte, bölüm uzay¬ daha genel bir şekilde tan¬mlan¬r. Tan¬m: (X; T ) ve (Y; T 0 ) iki topolojik uzay ve p : X ! Y örten fonksiyon olsun. p şu şart¬sa¼ gl¬yorsa p’ye bölüm fonksiyonu denir: p 1 (V ) 2 T () V 2 T 0 : Ve bu durumda Y uzay¬na X’in bir bölüm uzay¬denir. Yukar¬daki tan¬mdaki şart süreklilik şart¬ndan daha güçlüdür. Bu sebeble bölüm fonksiyonu şart¬na "güçlü süreklilik" denir. Aşa¼ g¬daki teorem her bölüm uzay¬n¬n asl¬nda bir bitiş topolojisi oldu¼ gunu söylüyor. Yani aşa¼ g¬daki teorem bölüm uzay¬n¬n tan¬m¬olarakda al¬nabilir. Teorem: (X; T ) bir topolojik uzay, Y bir küme ve f : X ! Y örten bir fonksiyon olsun. Y kümesinin üzerinde, f ’yi bölüm fonksiyonu yapan, di¼ ger bir ifadeyle Y ’yi bölüm uzay¬yapan tek bir topoloji vard¬r ve bu topoloji f ’ye göre Y ’nin bitiş topolojisidir. Di¼ ger bir ifadeyle, bir topolojik uzaydan topolojisi olmayan bir kümeye örten bir fonksiyon verildi¼ ginde, hedef kümesi üzerine bitiş topolojisi konuldu¼ gunda, bu fonksiyon bölüm fonksiyonu olur. Bir fonksiyonun bir bölüm fonksiyonu oldu¼ gunu anlamak bazen kolayd¬r. Örne¼ gin, Teorem: X; Y topolojik uzaylar ve f : X ! Y örten bir fonksiyon olsun. E¼ ger f hem sürekli hemde aç¬k ise f bölüm fonksiyonudur. Fakat, bir bölüm fonksiyonun aç¬k olmas¬ zorunlu de¼ gildir. Örten fonksiyonlar için, ayn¬ anda aç¬k ve sürekli olma bölüm fonksiyonu olmakdan daha kuvvetlidir. Benzer bir teorem kapal¬ve sürekli örten fonksiyonlar içinde yaz¬labilir. Örnekler: 14 1. X bir topolojik uzay ve ilişkisi X’in bir ba¼ g¬nt¬s¬ olsun. Bu ba¼ g¬nt¬ alt¬ndaki denklik s¬n¬‡ar¬n¬n kümesini X= ile gösterelim ve p : X ! X= fonksiyonu natüral bir şekilde tan¬mlanan projeksiyon olsun. Elbetteki p örtendir. Bu fonksiyona göre X= üzerindeki bitiş topolojisi bir bölüm topolojisidir ve bu topoloji ile X= uzay¬ X’in bir bölüm uzay¬d¬r ve p bölüm fonksiyonudur. [ 2. X bir topolojik uzay ve Y = fXi gi2I 2X koleksiyonu X’in ayr¬k alt kümelere parçalanmas¬olsun: i) Xi = X ve ii) i2I Xi \ Xj = ; 8i 6= j. Ve p : X ! Y fonksiyonu, p(x) = Xi e¼ ger x 2 Xi ise şeklinde tan¬mlans¬n. Elbetteki p örtendir. Bu fonksiyona göre, Y üzerine bitiş topolojisi koyal¬m. Bu durumda p fonksiyonu bölüm fonksiyonu, Y uzay¬X’in bir bölüm uzay¬olur. 3. I·kinci örne¼ gin özel bir durumunu yazaca¼ g¬z. X bir topolojik uzay ve A X bir alt kümesi olsun. X üzerinde şu ayr¬k parçalanmay¬ tan¬ml¬yoruz: A tek bir parça, ve x 2 = A ise fxg tek parça. Bu ayr¬k bölünmeye göre ikinci örnekteki inşaay¬yaparsak elde etti¼ gimiz bölüm uzay¬na A’s¬çökertilmiş X uzay¬denir ve X=A ile gösterilir. Fakat bu gösterim grup bölümleri ile kar¬şt¬r¬lmamal¬d¬r. I·kisi farkl¬şeylerdir. 4. Bölüm fonksiyonlar¬n¬n en meşhuru daha önceden yazd¬g¼¬m¬z reel say¬lardan birim çembere tan¬mlanan exponensiyal fonksiyonudur: p1 : R ! S 1 ; p(x) = e2 ix : Bu fonksiyon örtendir ve bölüm fonksiyonu oldu¼ gu yukardaki teoremden kolayca gösterilebilir: Bu fonksiyon aç¬k ve süreklidir. Burada önemli bir şeyi not edelim. Reel say¬lar kümesi üzerinde şu denklik ba¼ g¬nt¬s¬n¬tan¬mlayal¬m: x y e¼ ger x y 2 Z: Bu denklik ba¼ g¬nt¬s¬için birinci örnekteki inşaay¬yaparsak bir R= uzay¬ve p2 : R ! R= bölüm fonksiyonu elde ederiz. Z < R alt grubu ilişkisi nedeni ile R= asl¬nda grup bölümüdür bu nedenle literatürde R=Z ile gösterilir. (Uyar¬: Bu gösterimin üçüncü örnekteki gösterimle, yani çökertme uzay¬ile alakas¬ yoktur.) Bu nedenle bu bölüm fonksiyonu p2 : R ! R=Z şeklinde yaz¬labilir. Okuyucuya h p2 = p1 şart¬n¬sa¼ glayan bir h : R=Z = S 1 homeomor…zmas¬bulmay¬al¬şt¬rma olarak b¬rak¬yoruz. Dolay¬s¬yla p1 ve p2 fonksiyonlar¬farkl¬şekilde inşaa edilmiş olmalar¬na ra¼ gmen, asl¬nda, h homeomor…zmas¬alt¬nda, ayn¬şeylerdir. 5. Ka¼ g¬ttan k¬v¬rarak ve yap¬şt¬rarak uzaylar yapmak bölüm uzay¬ inşaa etmek demekdir. Örne¼ gin, 0 x 1; 0 y 1 karesini düşünelim. Bu kare üzerinde şöyle bir denklik ba¼ g¬nt¬s¬tan¬ml¬yoruz: (0; y) (1; y). Bu denklik ba¼ g¬nt¬s¬alt¬nda bölüm uzay¬n¬inşaa edersek ve ya di¼ ger bir deyişle her y için (0; y) noktas¬n¬(1; y) noktas¬na yap¬şt¬r¬rsak bir silindir elde gi 1 birimdir. Bu silindir sonlu ve kapal¬bir silindirdir. ederiz. Bu silindirin yar¬çap¬ 21 ve yüksekli¼ 6. Möbiüs şeridide silindir gibi bir bölüm uzay¬dr. Yukar¬daki kare üzerinde şu denklik ba¼ g¬nt¬s¬n¬ tan¬ml¬yal¬m: (0; y) (1; 1 y): Yap¬şt¬rma işlemi zor olmakla birlikte, ka¼ g¬t¬k¬v¬r¬r ve bu denklik ba¼ g¬nt¬s¬na göre yap¬şt¬rmay¬yaprasak sonlu ve kapal¬ bir Möbiüs şeridi elde ederiz. Silindirin ve Mobiüs şeridinin homeomor…k olmad¬g¼¬n¬ ispatlamak için cebirsel topoloji metodlar¬gerekmektedir. Şimdi çarp¬m topolojisinden bahsedelim. Bölüm topolojisi nas¬l bitiş topolojisi olarak görülüyorsa, çarp¬m topolojiside başlang¬ç topolojisi olarak görülecektir. Sonlu say¬da topolojik uzay¬n kartezyen çarp¬m¬ üzerine topoloji koyman¬n do¼ gal bir yolu aşa¼ g¬daki teoremde verilmiştir. Teorem: (X1 ; T1 ); (X2 ; T2 ); :::; (Xn ; Tn ) sonlu say¬da (n tane) küme ve ( n ) n Y Y olsun. Ui j Ui 2 Ti kümesi Xi kümesinin bir baz¬d¬r. i=1 n Y Xi bunlar¬n verilen s¬ra ile kartezyen çarp¬m¬ i=1 i=1 Tan¬m: Yukar¬daki teoremde verilen baz¬n n Y Xi üzerinde yaratt¬g¼¬topolojiye çarp¬m topolojisi ve bu topoloji alt¬nda i=1 n Y Xi i=1 uzay¬na çarp¬m uzay¬ denir.Önemli bir şeyi ger B1 ; B2 ; :::; Bn s¬ras¬yla (X1 ; T1 ); (X2 ; T2 ); :::; (Xn ; Tn ) topolojik ( n ) not edelim: E¼ Y uzaylar¬n¬n bazlar¬ iseler Ui j Ui 2 Bi kümeside çarp¬m uzay¬n¬n bir baz¬d¬r. Elbette bu baz daha küçük ve dolay¬s¬ ile i=1 daha kullan¬şl¬d¬r. Tan¬m: pk (x1 ; x2 ; :::; xk ; :::; xn ) = xk ; 1 k n; şeklinde tan¬mlanan pk : n Y i=1 fonksiyonu denir. Xi ! Xk fonksiyonuna k-¬nc¬ projeksiyon Çarp¬m topolojisi bu projeksiyonlar ailesine göre olan başlang¬ç topolojisidir. Teorem: a) pk ’lar sürekli ve aç¬k fonksiyonlard¬r. b) Çarp¬m topolojisi fpk g fonksiyon ailesine göre kartezyen çarp¬m¬ kümesinin başlang¬ç topolojisidir. Örnekler: 15 1. R1 standart topolojili reel say¬do¼ grusu olsun. Kalkülüste R2 kümesini R1 R1 kartezyen çarp¬m¬kümesi olarak tan¬m1 1 lam¬şt¬k. R R kümesi üzerindeki çarp¬m topolojisi R2 ’nin standart topolojisidir: Çarp¬m topolojisinin bir baz¬n¬aç¬k diktörtgenler oluşturur. Aç¬k bir disk aç¬k diktörtgenlerin bileşimi şeklinde yaz¬labilece¼ gi, ve aç¬k bir diktörgende aç¬k disklerin bileşimi şeklinde yaz¬labilece¼ gi için çarp¬m topolojisi standart topolojiye eşittir. Benzer şekilde, Rn ’de asl¬nda R1 R1 :::: R1 (n tane) şeklinde bir çarp¬m uzay¬d¬r. 2. S 1 R1 her iki ucu sonsuza giden silindir ve S 1 S 1 torus çarp¬m uzaylar¬d¬r. Bu cisimler üç boyutlu Öklit uzay¬n¬n içinde hayal edilebilirler. Bu durumda bu uzaylar¬n çarp¬m topolojisi üç boyutlu Öklit uzay¬n¬n standart topolojisinden indirgenen alt uzay topolojisine eşittir. Sonsuz tane kümenin çarp¬m topolojisini, tuhaf bir şekilde, farkl¬bir şekilde tan¬mlayaca¼ g¬z. I·şin daha da tuhaf yan¬, do¼ gal olarak genellemesi olarak düşündü¼ gümüz tan¬ma farkl¬bir isim verece¼ giz. Tan¬m: f(Xi ; Ti )gi2I key… say¬da bir topolojik uzay koleksiyonu olsun ve X = kümesi olsun. X üzerine iki farkl¬topoloji koyaca¼ g¬z. ( ) Y 1. (Kutu Topolojisi) Baz¬: Ui j Ui 2 Ti Y Xi kümesi bu uzaylar¬n kartezyen çarp¬m¬ i2I i2I 2. (Çarp¬m Topolojisi) ( ) Y Baz¬: Ui j Ui 2 Ti ve sonlu say¬da i 2 I hariç Ui = Xi i2I Sonlu say¬da küme için kutu topolojisi ile çarp¬m topolojisinin ayn¬ oldu¼ gu tan¬mdan hemen gösterilebilir. Fakat sonsuz say¬da küme için kutu topolojisi genelde çok daha ince olan bir topolojidir, yani bu topolojiler farkl¬d¬r. Aşa¼ g¬daki teorem çarp¬m topolojisi için yaz¬lm¬şt¬r. Çarp¬m topolojisi kutu topolojisi olarak de¼ giştirilirse teorem sa¼ glanmaz, yani do¼ gru de¼ gildir. Karş¬bir örnek için [Munkres]’e bakabilirsiniz. Teorem: Y i2I Xi üzerinde çarp¬m topolojisi olsun ve f : A ! tan¬mlans¬n. Bu durumda f süreklidir , Her Y i2I Xi bir fonksiyon olsun ve f (a) = (f (a)) 2I şeklinde 2 I için f süreklidir. Yukar¬daki teorem neden çarp¬m topolojisin, daha kaba olmas¬na ra¼ gmen, kutu topolojisine tercih edildi¼ gini gösteren nedenlerden sadece biridir. Bu nedenle bir kartezyen çarp¬m üzerinde, aksi belirtilmedikçe çarp¬m topolojisi oldu¼ gu varsay¬l¬r. 8 Birinci ve I·kinci Say¬labilir Uzaylar Tan¬m: (X; T ) topolojik uzay olsun. E¼ ger her x 2 X için x’in say¬labilir bir lokal baz¬B(x) var ise X uzay¬na birinci say¬labilir uzay; e¼ ger X’in say¬labilir bir baz¬B varsa X’e ikinci say¬labilir uzay denir. 1. say¬labilir olma ve 2. say¬labilir olma topolojik özelliklerdir. Yani iki uzay homeomor…kse birinin say¬labilme özelli¼ gi ne ise di¼ gerininki de odur. Ayr¬ca, 1. say¬labilir olma ve 2. say¬labilir olma kal¬tsal özelliklerdir. Yani bir uzay 1. say¬labilir ise tüm alt uzaylar¬1. say¬labilirdir. Ayn¬şekilde bir uzay 2. say¬labilir ise tüm alt uzaylar¬2. say¬labilirdir. Aşa¼ g¬daki teorem 2. say¬labilir olman¬n 1. say¬labilir olmadan daha güçlü oldu¼ gunu söylüyor. Teorem: X 2. say¬labilir ise 1. say¬labilirdir. Örnekler: 1. Yukar¬daki teoremin tersi do¼ gru de¼ gildir. Örne¼ gin (R1 ; Taltlim it ) 1. say¬labilir bir uzayd¬r, fakat 2. say¬labilir de¼ gildir. 1. 1 say¬labilir oldu¼ gunu göstermek için, her a 2 R için a’n¬n say¬labilir lokal baz¬n¬B(a) = f[a; b) j b 2 Q; b > ag olarak almak yeterlidir. 2. say¬labilir olmad¬g¼¬n¬n ispat¬n¬okuyucuya b¬rak¬yoruz. 2. Reel Öklit uzaylar¬, Rn ’ler, ve bunlar¬n alt uzaylar¬ 2. say¬labilirdir ve dolay¬s¬yla 1. say¬labilirdir. Rn ’in 2. say¬labilir oldu¼ gunu kan¬tlamak için en kullan¬şl¬ baz¬n¬ B = fB(x; ) j x 2 Qn ; 2 Q+ g’yi hat¬rlamak yeterlidir. Burada Rn ’in 2. say¬labilir olma nedeni, say¬labilir ve yo¼ gun bir alt kümesi olan Qn ’in varl¬g¼¬d¬r. Yani Rn ayr¬labilen metrik uzayd¬r. Genel olarak, say¬labilir ve yo¼ gun bir alt kümesi olan, yani ayr¬labilen, her metrik uzay¬n 2. say¬labilir oldu¼ gunu söyleyebiliriz. 16 3. (R1 ; Tsonlutüm leyen ) uzay¬ 1. say¬labilir bile de¼ gildir. Örne¼ gin 0’¬n say¬labilir bir lokal baz¬ B(0) = R1 Fn j n 2 Z + 1 [ oldu¼ gunu varsayal¬m. Burada Fn ’ler sonlu kümlerdir. Dolay¬s¬yla F = Fn say¬labilir bir kümedir. y 2 R1 F alal¬m, n=1 ki R1 say¬lamaz oldu¼ gu için bunu yapabiliriz, ve U = R1 fyg olsun. U s¬f¬r¬n bir komşulu¼ gudur. Fakat hiçbir R1 kümesi U ’nun içinde olamaz. Bu lokal baz¬n tan¬m¬ile çelişir. Fn Aşa¼ g¬daki teorem 1. say¬labilir uzaylar¬n lokal bazlar¬n¬n özel bir şekilde iç içe seçilebilece¼ gini söylüyor. Buda görsel aç¬dan 1. say¬labilir topolojilerin oldukça düzenli oldu¼ gunu gösteriyor. Dizilerin limitleri göz önüne ald¬g¼¬m¬z ileriki bir konuda, bu iç içe düzenlili¼ gin oldukça yararl¬oldu¼ gunu görece¼ giz. Teorem: X 1. say¬labilir uzay ise X’in her x 2 X için, iç içe olan say¬labilir bir lokal baz¬ vard¬r. Yani, her x 2 X için 9B(x) = fVn j n 2 Z + g öyle ki B(x) koleksiyonu x’in lokal baz¬d¬r ve Vn+1 Vn ; 8n: Say¬labilme ile ilgi di¼ ger iki önemli tan¬m Lindölöf uzay¬tan¬m¬ve ayr¬labilen uzay¬n tan¬md¬r. Fakat bu tan¬mlardan önce, örtü ve alt örtü kavramlar¬n¬tan¬mlayal¬m. Bu önemli kavramlar kompaktl¬k konusunda tekrar karş¬m¬za ç¬kacaklar. Tan¬m: X bir topolojik uzay olsun, tümünün bileşimi X’i veren herhangi bir aç¬k küme koleksiyonuna X’in bir aç¬k örtüsü denir. Bu örtünün bir alt kümesi X’i kapl¬yorsa bu alt kümeye verilen örtünün alt örtüsü denir. Tan¬m: Bir uzay¬n her aç¬k örtüsünün say¬labilir bir alt örtüsü var ise bu uzaya Lindelöf uzay¬denir. Teorem: 2. say¬labilir uzay Lindelöf uzay¬d¬r. (Dolay¬s¬yla, özel bir durum olarak, 2. say¬labilir uzay¬n her baz¬, say¬labilir bir baza indirgenebilir.) Örnek: Yukar¬daki teoremin tersi do¼ gru de¼ gildir. Örne¼ gin (R1 ; Taltlim it ) uzay¬Lindelöf’dür fakat 2. say¬labilir de¼ gildir. Aşa¼ g¬daki teoremi kompaktl¬k konusundaki "Kompakt uzaylar¬n kapal¬alt kümeleri kompaktt¬r." teoremiyle karş¬laşt¬r¬n¬z. Benzer sonuçlar¬n olmas¬n¬n nedeni her iki kavram¬nda (Lindelöf uzay¬kavram¬ve kompaktl¬k kavram¬) örtü kavram¬ile tan¬mlanmas¬d¬r. Teorem: Bir Lindelöf uzay¬n¬n kapal¬alt kümesi Lindelöf uzay¬d¬r. Şimdi di¼ ger önemli tan¬ma geçelim. Bu tan¬m daha önce sözünü etti¼ gimiz yo¼ gun kümelerle ilişkilidir. Tan¬m: X topolojik uzay olsun. X’in say¬labilir ve yo¼ gun bir alt kümesi varsa X’e ayr¬labilen uzay denir. Örnekler: 1. 2. say¬labilir her uzay ayr¬labilen uzayd¬r. 2. Ayr¬labilen her metrik uzay¬, yukar¬daki örneklerde belirtti¼ gimiz gibi, 2. say¬labilir uzayd¬r. Ayr¬labilen uzay olma özelli¼ gi topolojik özellikdir, fakat kal¬tsal de¼ gildir. Sadece aç¬k alt uzaylar için kal¬tsald¬r. Aç¬k olmayan alt uzaylara kal¬tsal olmad¬g¼¬n¬gösteren karş¬örne¼ gi bulmay¬okuyucuya b¬rak¬yoruz. 9 Ayr¬lma Aksiyomlar¬ Tan¬m: (X; T ) topolojik uzay olsun ve K bu topolojinin kapal¬küme ailesi olsun. (T0 ) E¼ ger 8x1 ; x2 2 X için "9U1 2 T öyle ki x1 2 U1 ; x2 2 = U1 " ve ya "9U2 2 T öyle ki x1 2 = U2 ; x2 2 U2 " ise X’e T0 uzay¬denir. (T1 ) E¼ ger 8x1 ; x2 2 X için "9U1 2 T öyle ki x1 2 U1 ; x2 2 = U1 " ve "9U2 2 T öyle ki x1 2 = U2 ; x2 2 U2 " ise ise X’e T1 uzay¬denir. (T2 ) E¼ ger 8x1 ; x2 2 X için "9U1 ; U2 2 T öyle ki x1 2 U1 ve x2 2 U2 ve U1 \ U2 = " ise X’e T2 uzay¬ve ya Hausdor¤ uzay¬ denir. (T3 ) E¼ ger 8A1 2 K; 8x 2 X; x 2 = A; için "9U1 ; U2 2 T öyle ki A uzay¬"regüler T1 uzay¬" ise X’e T3 uzay¬denir. (T4 ) E¼ ger 8A1 ; A2 2 K; için "9U1 ; U2 2 T öyle ki A1 "normal T1 uzay¬" ise X’e T4 uzay¬denir. U1 ve A2 17 U1 ve x 2 U2 ve U1 \ U2 = " ise X’e regüler uzay denir. X U2 ve U1 \ U2 = " ise X’e normal uzay denir. X uzay¬ Bir uzay regüler ise bu uzay¬n T1 oldu¼ gunu söyleyemeyiz, ayn¬şekilde bir uzay normal ise bu uzay¬n T1 oldu¼ gunu söyleyemeyiz. Bu nedenle T3 ve T4 özelliklerinin tan¬m¬nda uzay¬n ayr¬ca T1 olmas¬istenmiştir. Buna dikkat edilmesi gerekir. Bu durumda, i > j ise Ti özelli¼ ginin Tj özelli¼ ginden güçlü oldu¼ gunu söyleyen, aşa¼ g¬daki teoremi yazabiliriz: Teorem: (T4 ) ) (T3 ) ) (T2 ) ) (T1 ) ) (T0 ) Yukar¬daki teoremdeki oklar¬ters çeviremeyiz. Aşa¼ g¬da karş¬örnekler gösterilmiştir. Örnekler: 1. T0 olmayan topolojik uzay vard¬r. Örne¼ gin Ttrivial en az 2 elaman¬olan bir küme için T0 de¼ gildir. 2. T0 olan fakat T1 olmayan bir topolojik uzay örne¼ gi: X = f1; 2; 3g ; T = f ; f1g ; f1; 2g ; Xg . 2’yi içeren ve 1’i içermeyen bir aç¬k küme yoktur. Dolay¬s¬yla bu uzay T1 de¼ gildir. Fakat T0 ’d¬r. Çünkü 1’i içeren ve 2’yi içermeyen f1g aç¬k kümesi var¬dr. 3. T1 olan fakat T2 (yani Hausdor¤) olmayan bir topolojik uzay örne¼ gi olarak (R1 ; Tsonlutüm leyen ) verilebilir. Çünkü bu uzayda aç¬k iki küme mutlaka kesişir. 4. T2 (Hausdor¤) olan fakat T3 olmayan bir topolojik uzay örne¼ gi olarak (R1 ; TK ) verilebilir. Bu uzay¬ hat¬rl¬yal¬m: K = 1 + alm¬şt¬k ve reel say¬do¼ grusunun TK topolojisinin yaratanlar¬(a; b) şeklindeki aç¬k aral¬klar ve ya (a; b) K n jn2Z şeklindeki K-s¬silinmiş aç¬k aral¬klard¬. TK kolayca görülebilece¼ gi gibi Hausdor¤’dur, çünkü verilen farkl¬iki nokta aç¬k aral¬klar yard¬m¬ile ayr¬labilir. Bununla birlikte, TK ; T3 uzay¬de¼ gildir. Örne¼ gin kapal¬küme olarak K’y¬ve nokta olarak 0’¬alal¬m. Bu durumda K ve s¬f¬r iki ayr¬k aç¬k küme ile ayr¬lamazlar. I·spat¬okuyucuya b¬rak¬yoruz. 5. T3 olan fakat T4 olmayan bir topolojik uzay örne¼ gi vermeden önce (R1 ; Taltlim it ) topolojisinin T4 uzay¬oldu¼ gunu gösterelim. Öncelikle Taltlim it Ystandart oldu¼ gu için, ve standart topoloji T1 oldu¼ gu için Taltlim it ’de T1 ’dir. Şimdi Taltlim it ’in normal oldu¼ gunu gösterelim. A ve B kümeleri Taltlim it ’in kesişmeyen herhangi iki kapal¬ kümesi olsun. Her a 2 A için a 2 = B oldu¼ gundan ve B kapal¬ oldu¼ gundan B’yi kesmeyen bir [a; xa ) şeklinde baz eleman¬ vard¬r. Ayn¬şekilde, her b 2 B için b2 = A oldu¼ gundan ve A kapal¬oldu¼ gundan[ A’y¬kesmeyen bir [[b; xb ) şeklinde baz eleman¬vard¬r. Bu durumda, bu şekilde seçilen baz elemanlar¬ile oluşturulan U = [a; xa ) ve V = [b; xb ) kümeleri s¬ras¬ile A ve B’yi kapsar ve ayr¬ca ayr¬kt¬r. a2A b2B Buda Taltlim it ’in normal oldu¼ gunu kan¬tlar. Taltlim it hem T1 hem normal oldu¼ gu için T4 uzay¬d¬r. Şimdi T3 olan fakat T4 olmayan bir topolojik uzay örne¼ gi verebiliriz. Fakat önce Taltlim it topoloji reel say¬do¼ grusunu Rl ile gösterelim. Sorgenfrey düzlemi bu uzay¬n kendisi ile olan çarp¬m uzay¬d¬r. Yani Sorgenfrey düzlemi: Rl2 = Rl Rl şeklinde tan¬mlan¬r. I·ki T1 uzay¬n¬n çarp¬m¬ T1 ve iki regüler uzay¬n çarp¬m¬ regüler oldu¼ gu için, Sorgenfrey düzlemi T3 uzay¬d¬r. Fakat Sorgenfrey düzlemi normal de¼ gildir! Sorgenfrey düzleminin normal olmad¬g¼¬n¬n ispat¬ oldukça zordur. Bu ispat için [Munkres]’e bakabilirsiniz. Dolay¬s¬yla Sergonfrey düzlemi T4 uzay¬de¼ gildir. Bu örnek regüler bir uzay¬n normal uzay olmayabilece¼ gini gösterdi¼ gi gibi, ayr¬ca normal iki uzay¬n çarp¬m¬n¬n normal olmayabilece¼ ginide göstermektedir. Nispeten kolay olan, T1 ve regüler oldu¼ gunun ispat¬n¬ise okuyucuya b¬rak¬yoruz. Şimdi Ti ; i = 0; 1; 2; 3; 4; uzay¬ olman¬n özelliklerini inceliyelim. Öncelikle, ufak bir istisna (normal uzaylar¬n kal¬tsall¬g¼¬) d¬ş¬nda, hepsi için genel olan aşa¼ g¬daki önemli teorem yaz¬labilir: Teorem: Ti ; i = 0; 1; 2; 3 uzay¬ olma özelli¼ gi kal¬tsal ve topolojik özelliklerdir. T4 uzay¬ olma özelli¼ gi topolojik özelliktir, fakat sadece kapal¬alt uzaylar için kal¬tsald¬r. Yukar¬daki teoremin ispat¬n¬okuyucuya b¬rak¬yoruz. Şimdi bu aksiyomlar¬ayr¬ayr¬ele alal¬m. T0 olma aksiyomu çok güçsüz bir aksiyomdur. T0 uzaylar¬nda noktalar (tek elemanl¬ kümeler) kapal¬ olmayabilir. Buda bu uzaylar¬ çok vahşi yap¬yor. Bir T0 uzay¬n¬n bölüm uzay¬T0 uzay¬olmayabilir, fakat iki T0 uzay¬n¬n çarp¬m¬T0 uzay¬d¬r. T1 uzaylar¬T0 uzaylar¬ndan daha az vahşidir, bu uzaylarda noktalar kapal¬d¬r. Daha da ötesi, bu durum çift tara‡¬d¬r: Teorem: Bir uzay¬n T1 uzay¬olmas¬için gerek ve yeter koşul noktalar¬n kapal¬olmas¬d¬r. Yukar¬daki teoremin di¼ ger bir ifadesi ise şudur: "Bir uzay¬n T1 uzay¬olmas¬için gerek ve yeter koşul bu uzay¬n topolojisinin sonlu tümleyen topolojisini içine almas¬d¬r." T1 uzaylar¬n¬n di¼ ger bir önemli özelli¼ gide T1 uzaylar¬nda her alt kümenin y¬g¼¬lma kümlerinin kapal¬olmas¬d¬r. Bir T1 uzay¬n¬n bölüm uzay¬n¬n T1 uzay¬olmas¬için tek noktalar¬n denklik s¬n¬‡ar¬n¬n kapal¬olmas¬ gerekir. T1 uzaylar¬n¬n çarp¬m¬yine T1 uzay¬d¬r. 18 T2 (Hausdor¤) uzaylar¬nda noktalar¬n kapal¬olmas¬ndan daha güçlü bir durum vard¬r. Bir uzay T2 uzay¬olmas¬için gerek ve yeter koşul, bu uzay¬n herhangi bir x noktas¬n¬n, bu noktay¬içeren tüm aç¬k kümelerin kapan¬şlar¬n¬n kesişimi olmas¬d¬r, di¼ ger bir deyişle T (x) ile her zamnaki gibi x noktas¬n¬içeren tüm aç¬k kümelerin koleksiyonunu gösterirsek \ U fxg = U 2T (x) olmas¬d¬r. Hausdor¤ uzay¬olman¬n di¼ ger bir tan¬m¬aşa¼ g¬da verilmiştir: X Teorem: X topolojik bir uzay olsun. X’in T2 uzay¬olmas¬için gerek ve yeter koşul diyoganlin, yani X kümesinin, X X çarp¬m uzay¬nda kapal¬uzay olmas¬d¬r. = f(x; x) j x 2 Xg Bazen bir uzay¬n Hausdor¤ oldu¼ gu üzerinde verilen bir fonksiyonla anlaş¬labilir. Örne¼ gin, f : X ! Y sürekli ve bire-bir bir fonksiyon olsun. E¼ ger Y uzay¬Hausdor¤ ise X uzay¬da Hausdor¤’dur. Bir Hausdor¤ uzay¬n¬n bölüm uzay¬Hausdor¤ olmayabilir. Fakat, Hausodor¤ uzaylar¬n¬n çarp¬m¬ Hausdor¤’dur. Hausdor¤ uzay¬n¬n di¼ ger özelliklerini, limit noktalar¬ ve kompaktl¬kla ba¼ glant¬s¬n¬, ilerki konularda görece¼ giz. Şimdi T3 uzaylar¬ndan bahsedelim. T3 (Regüler plus T1 ) uzaylar¬n¬ aşa¼ g¬daki teorem di¼ ger bir şekilde karakterize eder: V Teorem: X topolojik bir uzay olsun. X’in T3 uzay¬olmas¬için gerek ve yeter koşul her x 2 X ve U 2 T (x) komşulu¼ gu için U şart¬n¬sa¼ glayan başka bir V 2 T (x) komşulu¼ gunun olmas¬d¬r. Hausdor¤ uzaylar¬nda oldu¼ gu gibi bir uzay lokal olarak T3 uzay¬ise global olarakda öyledir. Bir T3 uzay¬n¬n bölüm uzay¬n¬n T3 uzay¬olmas¬gerekmez, fakat T3 uzaylar¬n¬n çarp¬m uzay¬T3 uzay¬d¬r. T4 (Normal plus T1 ) uzaylar¬n¬da benzer bir teorem karakterize eder: Teorem: (X; T ) topolojik bir uzay olsun ve K kapal¬küme ailesi olsun. X’in T4 uzay¬olmas¬için gerek ve yeter koşul her C 2 K kapl¬ kümesinin bir U 2 T; C U; komşulu¼ gu için V U şart¬n¬ sa¼ glayan bir V 2 T aç¬k kümesinin olmas¬d¬r (Yani K V V U ). Normal uzaylar¬n bölüm uzaylar¬n¬n normal olmas¬gerekmez. Şu ana kadar T0; T1 ; T2 ; T3 uzylar¬n¬n çarp¬m uzaylar¬n¬n yine ayn¬özelli¼ gi korudu¼ gunu söyledik. Fakat T4 uzaylar¬için ayn¬şeyi söyleyemeyiz! I·ki normal uzay¬n çarp¬m¬normal olmayabilir. Dolay¬s¬yla T4 uzaylar¬n¬n çarp¬m¬T4 olmayabilir. Karş¬bir örnek, Segonfrey düzlemi, yukar¬da verilmişti. Bu zor örnek ayr¬ca T3 olan fakat T4 olmayan bir uzay örne¼ gi oluyordu. Normal uzaylarla alakal¬en önemli teorem metrik uzaylarla ilgili olan¬d¬r: Teorem: Metrik uzaylar normaldir, yani T4 uzaylar¬d¬r. K¬sacas¬, metrik uzaylar¬ve alt uzaylar¬ayr¬lma anlam¬nda mükemmeldir. Bahsetmek istedi¼ gimiz ve T 23 aksiyomu diyece¼ gimiz bir ayr¬lma aksiyomu daha var. Bu aksiyom fonksiyonlarlada alakal¬oldu¼ gu için oldukça önemlidir. Tan¬m: (X; T ) topolojik bir uzay olsun ve K kapal¬ küme ailesi olsun. Her x 2 X ve x 2 = C şart¬n¬ sa¼ glayan C 2 K için f (x) = 0 ve f (C) = 1 şart¬n¬sa¼ glayan sürekli bir f : X ! [0; 1] fonksiyonu varsa X’e "tamamen regüler" uzay denir. E¼ ger X uzay¬tamamen regüler ve ayr¬ca T1 uzay¬ise X’e T 23 uzay¬(ve ya Tychono¤ uzay¬) denir. Numaraland¬rmadan anlaş¬laca¼ g¬üzere, (T4 ) ) (T 23 ) ) (T3 ) durumu vard¬r. Yani, Bir uzay T4 ise T 32 ’dir ve T 23 ise T3 ’dür. Tychono¤ uzay¬olmada hem kal¬tsal hem topolojik özellikdir. Bir Tychono¤ uzay¬n¬n bölüm uzay¬Tychono¤ olmayabilir. Fakat çarp¬m uzaylar¬nda durum iyidir: Tychono¤ uzaylar¬n¬n çarp¬m¬Tychono¤’dur. Çarp¬m için durum, t¬pk¬kal¬tsall¬kda oldu¼ gu gibi, sadece normal uzaylarda kötüdür. 10 Diziler, Limit Noktalar¬, Bolzano–Weierstrass Teoremi ve Süreklilik Tan¬m: (X; T ) bir topolojik uzay ve A X alt kümesi olsun. (an )1 A dizisi A’n¬n elemanlar¬n¬n bir dizisi olsun. E¼ ger n=1 9x 2 X öyle ki 8U 2 T (x) için bir n0 2 Z + varsa öyle ki her n n0 için an 2 U ise (an ) dizisine yak¬nsak dizi denir. Bu durumda x’e (an )’in bir limit noktas¬denir ve an ’in x’e yak¬nsad¬g¼¬söylenir. Uyar¬: Bir dizinin limit noktas¬ kavram¬ ile bir kümenin limit noktas¬ kavram¬ bir birlerinden farkl¬ kavramlard¬r. Bir dizinin limit noktas¬, o dizinin küme olarak limit noktas¬d¬r. Fakat, bu durumun tersi do¼ gru de¼ gildir. Bir dizinin kümesel bir limit noktas¬, o dizinin limit noktas¬ olmayabilir. Di¼ ger bir deyişle, bir dizinin limiti olmad¬g¼¬ halde, küme olarak kapan¬ş¬ ald¬g¼¬m¬zda pek çok yeni nokta ortaya ç¬km¬ş olabilir, ve bunlar dizisel limit noktalar¬de¼ gildir. Basit bir örnek verecek olursak, 19 n an = ( 1)n n+1 dizisinin (R1 ; Tstandart ) uzay¬nda limiti yoktur, fakat bu dizinin küme olarak kapan¬ş¬nda iki yeni nokta ortaya ç¬kar: 1 ve 1 ve bu noktalar dizinin limit noktalar¬de¼ gildir, sadece alt dizilerinin limit noktalar¬d¬r. Bkz. Bolzano-Weierstrass Özelli¼ gi. Bir dizinin en az bir limiti varsa bu diziye yak¬nsak dedik. Fakat bir dizinin birden daha fazla limit noktas¬ olabilir, yani birden fazla elemana yak¬nsayabilir. Karş¬örnek için standart olmayan topolojileri düşünmeliyiz. Örne¼ gin, Örnek: (R1 ; Tsonlutüm leyen ) topolojik uzay¬n¬düşünelim. Bu topolojik uzay¬n an = n dizisini alal¬m. x 2 R herhangi bir reel say¬olsun ve U bu reel say¬n¬n herhangi bir komşulu¼ gu olsun. U 0 kümesi sonlu olaca¼ g¬için öyle bir n0 2 Z + vard¬r ki an = n 2 U; n n0 : Dolay¬s¬yla x noktas¬ limit nokta olman¬n tan¬m¬ sa¼ glar ve dolay¬s¬yla her reel say¬ bu dizinin limitidir! Bu absürd durumun oluşmas¬ayr¬lma aksiyomlar¬ile ilgilidir. Yukardaki absürd durumdan daha da kötüsü yak¬nsak bir dizinin başka noktalara yak¬nsayan alt dizileri olabilir! Bu noktalara cluster noktalar diyece¼ giz. Elbette limit noktalar¬cluster noktalar¬d¬r fakat bir cluster noktas¬limit noktas¬olmayabilir. Bununla birlikte, "Tüm cluster noktalar bileşim dizinin kendisi" dizinin küme olarak kapan¬ş¬n¬verir. Yukar¬da söylenen absürd durumlar¬tamamen yok etmek için, uzay üzerine ünlü bir ayr¬lma şart¬koyaca¼ g¬z: Teorem: Hausdor¤ (T2 ) uzaylar¬nda yak¬nsak bir dizinin sadece bir tek cluster noktas¬(ve dolay¬s¬yla bir tek limit noktas¬) vard¬r. Dizilerin limit noktalar¬ dizinin kapan¬ş¬n¬n limit noktalar¬d¬r. Dolay¬s¬ ile bir kümeden al¬nan bir dizinin limit noktas¬ o kümenin kapan¬ş¬n¬n içinde kal¬r. Peki bunun tersi do¼ gru mudur? Bir nokta bir kümenin kapan¬ş¬ içinde ise bu noktaya yak¬nsayan, bu küme içinden seçilmiş elemanlardan oluşmuş, bir dizi var m¬d¬r? Bunun cevab¬genel olarak hay¬rd¬r. Bu nedenle al¬nan uzay üzerine bir şart koyaca¼ g¬z, 1. say¬labilirlik şart¬: Teorem: X 1. say¬labilir bir uzay ve A X alt kümesi olsun. x 2 A olmas¬ için gerek ve yeter koşul x’e yak¬nsayan bir (an ) A dizisi olmas¬d¬r. · Ispat: Sadece, ) yönünü ispatlamam¬z yeterli, çünkü, daha önce söyledi¼ gimiz gibi dizisel limit noktalar¬ kümesel limit = A olsun. 1. say¬labilir uzaylarda içiçe bir noktalar¬d¬r. x = a 2 A ise an = a sabit dizisi a’ya yak¬nsar. Şimdi x 2 A fakat x 2 lokal baz bulunabilece¼ gi için x’in bir içiçe fVn g lokal baz¬n¬ bulabiliriz. Bu durumda, kapan¬ş¬n tan¬m¬ndan dolay¬, her n için an 2 Vn \ A şart¬n¬sa¼ glayan sa¼ glayan bir (an ) A dizisi bulunabilir. Ve x bu dizinin bir limit noktas¬d¬r. Yukardaki teoremde e¼ ger X uzay¬ ayr¬ca Hausdor¤ ise teoremin ispat¬nda inşaa edilen dizinin limiti tekdir. Bu teoremin ispat¬nda görüldü¼ gü gibi ilginç olan limit noktalar¬A’ya ait olmayan limit noktalar¬d¬r, yani di¼ ger bir ifadeyle, A’ya ait olmayan y¬g¼¬lma noktalar¬d¬r. Limit noktalar¬ile ilgili temel bir teorem Bolzano–Weierstrass Teoremi’dir: "Rn ’de her s¬n¬rl¬dizinin yak¬nsak bir alt-dizisi vard¬r." Bu teoremin di¼ ger bir ifadesi aşa¼ g¬da verilmiştir: Teorem: Rn ’de s¬n¬rl¬olan ve sonlu olmayan bir kümenin en az bir tane y¬g¼¬lma noktas¬vard¬r. Yukar¬daki teorem, dolay¬s¬yla Bolzano-Weierstrass teoremi, Heine-Borel Teoremi’nin bir sonucudur. Hiene-Borel teoremi kompaktl¬k kavram¬tan¬mland¬ktan sonra ispatlanacakt¬r. Fonksiyonlar¬n süreklili¼ gine diziler yard¬m¬ile bakabiliriz. Özellikle bu metrik uzaylarda görsel, yani gra…ksel, olarak süreklili¼ gin ifade edilmesidir. f : X ! Y bir topolojik uzaydan di¼ gerine bir fonksiyon olsun. (xn ) dizisi x’e yak¬nsayan bir dizi olsun. (f (xn )) dizisinin Y ’de yak¬nsak olup olmad¬g¼¬n¬ve yak¬nsak ise neye yak¬nsad¬g¼¬n¬sorabiliriz? Tan¬m: X ve Y iki topolojik uzay f : X ! Y bir fonksiyon olsun. E¼ ger x’e yak¬nsayan her (xn ) X dizisi için (f (xn )) Y dizisi f (x)’e yak¬ns¬yorsa f fonksiyonuna x noktas¬nda dizisel süreklidir denir. f fonksiyonu her x 2 X için dizisel sürekli ise f fonksiyonuna (her yerde) dizisel süreklidir denir. Teorem: Süreklilik =) Dizisel süreklilik. Yukar¬daki teoremin tersi genel olarak do¼ gru de¼ gildir. Bu teoremin çift tara‡¬olmas¬için fonksiyonun tan¬m kümesine yine tahmin etti¼ giniz şart¬koyaca¼ g¬z: Teorem: X ve Y iki topolojik uzay f : X ! Y bir fonksiyon olsun. X 1. say¬labilir bir uzay ise f ’in (bir noktada) dizisel sürekli olmas¬için gerek ve yeter şart (o noktada) sürekli olmas¬dr. Bir kümenin kapan¬ş¬n¬ ve ya bir fonksiyonun süreklili¼ gini dizilerle tan¬mlayabilmek için uzaylar üzerine 1. say¬labilirlik şart¬n¬koyduk. Bu şart¬kald¬rd¬g¼¬m¬zda dizilerin bu kavramlar¬tan¬mlamak için yetersiz oldu¼ gu görülür. Bu nedenle dizilerin genelleştirilmesi olan a¼ g kavram¬tan¬mlanm¬şt¬r. Bu kavrama daha sonra de¼ ginece¼ giz. 20 11 Kompaktl¬k, Heine-Borel Teoremi Örtü ve alt örtü kavram¬na Lindelöf uzay¬n¬tan¬mlamadan önce de¼ ginmiştik. Şimdi bu kavramlara dayal¬çok önemli bir tan¬m daha yapaca¼ g¬z. Tan¬m: X bir topolojik uzay olsun. X’in her örtüsünün sonlu bir alt örtüsü varsa X’e kompakt uzay denir. A A’n¬n kompakt olmas¬A’n¬n altuzay topolojisine göre kompakt olmas¬demektir. X ise Kompaktl¬kla ilgili başl¬ca teoremler aşa¼ g¬da yaz¬lm¬şt¬r. Teorem: Kompakt bir uzay¬n her kapal¬alt uzay¬kompakt¬r. Teorem: Hausdor¤ uzay¬n¬n her kompakt alt uzay¬kapal¬d¬r. Teorem: Kompakt bir uzay¬n sürekli bir fonksiyon alt¬ndaki görüntüsü kompakt¬r. Dolay¬s¬yla, kompaktl¬k topolojik özellikdir. Kompaktl¬g¼¬n kal¬tsal bir özellik olmad¬g¼¬n¬ not edelim. Kompakt uzayalar¬n kapal¬ alt uzaylar¬ kompaktt¬r. Dolay¬s¬yla kompaktl¬k genel anlamda sadece kapal¬alt uzaylar için kal¬tsald¬r. Kapal¬olmayan alt uzaylar kompakt olmaya bilir. Ve metrik uzaylarda, birazdan söyleyece¼ gimiz üzere, kompakt alt uzay¬n kapal¬olmas¬zorunludur. Teorem: f : X ! Y sürekli bijektif bir fonksiyon olsun. X kompakt ve Y Hausdor¤ ise f homeomor…zmad¬r. Teorem: Sonlu say¬da topolojik uzay¬n çarp¬m¬kompakt¬r. Son teorem key… say¬da uzay¬n çarp¬m¬ içinde do¼ grudur. Teorem bu haliyle Tychono¤ Teoremi ad¬n¬ al¬r. Fakat ispat¬ sonlu çarp¬ma göre çok daha zordur. Rn ’lerde bir altuzay¬n kompakt olmas¬n¬n gerekli ve yeterli koşullar¬Heine -Borel Teoremi ile verilir. Genel teorem, HeineBorel teoreminin ilk versiyonu diyebilece¼ gimiz aşa¼ g¬daki teoremin yukar¬daki teoremlerlerle birleştirilmesi sonucunda ortaya ç¬kar: Teorem: [0; 1] kompakt¬r. · Ispat: U koleksiyonu [0; 1]’in herhangi bir örtüsü olsun. U’nun [0; 1]’i kaplayan sonlu bir alt örtüsünün var oldu¼ gunu gösterirsek ispat biter. Şimdi, S = fx j [0; x]’i kaplayan U’nun sonlu bir alt örtüsü vard¬r, 0 x 1g şeklinde bir küme tan¬ml¬yal¬m. 0 2 S oldu¼ gu için S 6= ’dir. Ayr¬ca e¼ ger a 2 S ve b < a ise b 2 S olmak zorundad¬r. Bu nedenle S kümesi [0; c] (ve ya [0; c)) şeklinde bir kümedir. Her iki durumduda c = 1 oldu¼ gunu gösterirsek ispat biter. S = [0; c] oldu¼ gunu ve c < 1 oldu¼ gunu varsayal¬m ve çelişki elde edelim. ([0; c) durumuda ayn¬şekilde ele al¬nabilir.) Şimdi c 2 [0; 1] oldu¼ gu için c’yi içeren bir U 2 U vard¬r ve dolay¬s¬yla öyle bir > 0 vard¬r ki (c ; c + ) U ve c + 1 ve dolay¬syla [0; c + ] kümesi U’nun sonlu bir alt örtüsü ile kaplanabilir. Fakat bu durumda c + 2 S olur. I·stenen çelişki elde edildi. O halde c = 1 ve S = [0; 1] olmal¬d¬r. Şimdi Rn için Heine-Borel teoremini yazal¬m. Bu teoremin oldukça k¬sa olan ispat¬nda yukarda yaz¬lan teoremlerin ço¼ gu kullan¬lmaktad¬r. Aşa¼ g¬daki teoremde kapal¬olma standart metrik topolojisine göre, s¬n¬rl¬olma ise yine standart metri¼ ge göre tan¬mlanm¬şt¬r. Teorem: Rn ’in bir alt uzay¬n¬n kompakt olmas¬için gerek ve yeter koşul bu alt uzay¬n kapal¬ve s¬n¬rl¬olmas¬d¬r.Y · •p(k) = [ k; k] = Ispat: Her k 2 Z + için K u •p(k) = f(x1 ; x2 ; :::; xn ) 2 Rn j jxi j < k; 8ig şeklinde aç¬k küpler tan¬mlans¬n. K u n kez n [ k; k] bir çarp¬m uzay¬d¬r. [ k; k] = [0; 1] oldu¼ gu için [ k; k] kompakt¬r, ve kompakt uzaylar¬n çarp¬m¬kompakt oldu¼ gu için Ku •p(k) kompaktt¬r. Şimdi teoremin ()) yönünü ispatl¬yal¬m. A Rn kompakt olsun. En başta Rn Hausdor¤ oldu¼ gu için ve Hausdorf uzay¬n bir kompakt alt uzay¬kapal¬olaca¼ g¬için A kapal¬d¬r. Şimdi de s¬n¬rl¬oldu¼ gunu gösterelim. fK u •p(k) j k 2 Z + g + koleksiyonu A’n¬n bir örtüsü olur ve dolay¬syla, A kompakt oldu¼ gu için, öyle bir k 2 Z bulabiliriz ki A Ku •p(k); yani A s¬n¬rl¬d¬r. Şimdi di¼ ger yani ((=) yönünü ispatl¬yal¬m. A Rn s¬n¬rl¬ ve kapal¬ olsun. Bu durumda A s¬n¬rl¬ oldu¼ gu için öyle bir k 2 Z + vard¬r ki A K u •p(k): Fakat teoremin ispat¬na haz¬rl¬k olarak K u •p(k)’lar¬n kompakt oldu¼ gunu ispatlam¬şt¬k. Dolay¬syla A kümesi kompakt bir uzay¬n kapal¬bir alt uzay¬d¬r. Ve kompakt bir uzay¬n kapal¬alt uzay¬kompakt olaca¼ g¬ndan, A kompaktt¬r. Teorem: (Mutlak Maksimum-Minumum Teoremi) X kompakt bir uzay ve f : X ! R’ye sürekli bir fonksiyonsa, f ’nin mutlak maksimumu ve minumumu vard¬r. 21 · Ispat:X kompakt ve f sürekli oldu¼ gu için görüntü kümesi f (X) R kompaktt¬r. Heine-Borel teoremi nedeniyle f (X) kümesi kapal¬s¬n¬rl¬olur ve bu nedenle bu kümenin maxiumumu ve minumumu vard¬r. Dolay¬s¬yla, 9x1 2 X öyle ki f (x1 ) = min(f (X)) and 9x2 2 X öyle ki f (x2 ) = max(f (X)): Tan¬m: X bir toplojik uzay olsun. Her x 2 X için x 2 C kompakt uzay denir. X şart¬n¬ sa¼ glayan kompakt bir C kümesi varsa X’ e lokal Örnek: Her kompakt uzay elbette lokal kompaktt¬r. Fakat bunun tersi do¼ gru de¼ gildir. Heine-Borel teoremi nedeni ile Rn ’ler n lokal kompaktt¬r. Fakat, R ’ler kompakt de¼ gildir. 12 Limit Nokta Kompaktl¬g ¼¬, Dizisel Kompaktl¬k, Metrik Uzaylarda Kompaktl¬k Şimdi iki farkl¬kompakl¬k tan¬m¬daha verece¼ giz. Tan¬m: 1. X bir topolojik uzay olsun. E¼ ger X’in her sonsuz alt kümesinin y¬g ¼¬lma noktas¬ varsa X’e limit noktas¬kompakt uzay denir. 2. X bir topolojik uzay olsun. E¼ ger X’in her dizisinin yak¬nsak olan bir alt dizisi varsa X’e dizisel kompakt uzay denir. Yukardaki tan¬mlar¬n Bolzano–Weierstrass Teoremi ile çok yak¬ndan alakadar oldu¼ gunu hemen farkediyoruz. Gerçektende, metrik uzaylar için aşa¼ g¬daki teorem ispatlanabilir, [Munkres]. Teorem: X bir metrik uzay ve topolojisi bu metri¼ gin yaratt¬g¼¬topoloji olsun. Aşa¼ g¬daki cümleler denktir: 1. X limit noktas¬kompaktt¬r. 2. X dizisel kompaktt¬r. 3. X kompaktt¬r. Yukardaki teorem esasen Bolzano-Wierstrass teorimidir; bu teoremin bir genellemesi ve genişlemesi olarak alg¬lanabilir. Burada X metriklenebilir bir topolojik uzay ise teorem yine do¼ grudur. Metrik uzaylar¬n kompaktl¬g¼¬yla ilgili ve analizde çokca kullan¬lan önemli bir kavramda Leubesgue Say¬s¬d¬r. Önce bir hat¬rlatma yapal¬m. A (X; d) bir metrik uzay¬n alt kümesi ise dia(A) = sup fd(x; y) j x; y 2 Ag say¬s¬na A’n¬n çap¬denir. Lema: (Lebesgue Say¬s¬Lemas¬) U koleksiyonu (X; d) metrik uzay¬n¬n bir örtüsü olsun. X kompakt ise öyle bir reel say¬s¬vard¬r öyle ki, her 8A X, dia(A) < için 9U 2 U öyle ki A U: >0 Yukar¬daki Lemma’da sözü edilen say¬s¬na U örtüsünün Lebesgue say¬s¬denir. Metrik uzaylar ve kompaktl¬k ile ilgili di¼ ger çok kullan¬lan bir teoremde Heine-Cantor teoremidir. Teorem: (Heine-Cantor Teoremi) (X; dX ); (Y; dY ) metrik uzaylar ve f : X ! Y sürekli bir fonksiyon olsun. X kompakt ise f düzgün süreklidir. · Ispat: " > 0 verildi¼ ginde, Y ’nin şu örtüsünü alal¬m: V = dY (y; 2" ) j y 2 Y . Bu örtünün ters görüntüsü U =f 1 (V) olsun. Bu durumda U koleksiyonu X’in bir örtüsü olur. X kompakt oldu¼ gu için Lebesgue say¬s¬ teoremine göre U örtüsünün bir Lebesgue say¬s¬vard¬r. Bu say¬ya diyelim. Bu say¬sadece "’a ba¼ gl¬d¬r! Şimdi x1 ; x2 2 X ve dX (x1 ; x2 ) < ise f (x1 ) ve f (x2 ) noktalar¬Y içindeki 2" yar¬çapl¬bir aç¬k kürenin içinde olmak zorundad¬r. Bu da dY (f (x1 ); f (x2 )) < " oldu¼ gu anlam¬na gelir. I·stenen gösterildi. 13 A¼ glar ve Süzgeçler Bir kümenin kap¬n¬ş¬n¬n ve ya bir fonksiyonun süreklilili¼ ginin alternta…f olarak diziler kullanarakda tan¬mlanabilece¼ gini daha önceki konularda söylemiştik, fakat bu tan¬mlar¬n daha önceki tan¬mlarla denk olmas¬için baz¬uzaylar üzerine 1. say¬labilir uzay olma şart¬n¬koymam¬z gerekmişti. Bu anlamda kapan¬ş¬ve süreklilili¼ gi tan¬mlamada dizileri yetersiz görmüştük. Şimdi dizilerin bir genellemesi olan a¼ g kavram¬n¬tan¬ml¬yal¬m. Fakat daha önce yönlü küme kavram¬n¬verelim. Tan¬m: Üzerinde 9 2 J öyle ki hem k¬smi s¬ralama ba¼ g¬nt¬s¬ olan J kümesine şu şart¬ sa¼ gl¬yorsa yönlü küme denir: 8 ; hem de : 22 2 J ikilisi için Tan¬m: X bir topolojik uzay olsun. Herhangi bir yönlü J kümesinden X üzerine olan bir j : J ! X fonksiyonuna X üzerinde bir a¼ g’d¬r denir ve (j( )) 2J ve ya (x ) 2J ile gösterilir. Yukar¬daki tan¬mda J = N do¼ gal say¬lar yönlü kümesi al¬n¬rsa bildi¼ gimiz normal dizi elde edilir. Yani X üzerindeki a¼ glar kümesi, diziler kümesini kapsar. A¼ glar dizilerin çok boyutlu genellemesidir. Tan¬m: X bir topolojik uzay ve (x ) 2J a¼ g¬ X’in bir a¼ g¬ olsun. E¼ ger x’i içeren bir aç¬k U kümesi için 9 0 2 J öyle ki 8 için x 2 U şart¬sa¼ g lan¬ yorsa, x 2 X eleman¬ na (x ) a¼ g ¬ n¬ n bir limit noktas¬denir. Bu durumu x ! x şeklinde 0 2J gösteririz. Şimdi topolojik uzaylar üzerine hiçbir şart koymadan aşa¼ g¬daki teoremler ispatlanabilir. Ayn¬teoremleri diziler için yazm¬şt¬k, fakat topolojik uzaylar üzerine şartlar koymam¬z gerekmişti. Teorem: g (x ) 1. X herhangi bir topolojik uzay ve A herhangi bir alt kümesi olsun. Bu durumda x 2 A ancak ve ancak 9 a¼ ki x ! x: 2J öyle 2. X; Y herhanfgi iki topolojik uzay ve f : X ! Y herhangi bir fonksiyon olsun. Bu durumda f : X ! Y süreklidir ancak ve ancak f a¼ gsal süreklidir, yani, X’in x’e yak¬nsayan her yak¬nsak (x ) 2J a¼ g¬için Y ’nin (f (x )) 2J a¼ g¬f (x)’e yak¬nsar. A¼ g kavram¬kompaktl¬k kavram¬n¬tan¬mlamada da kullan¬labilir [bkz. Munkres]. Dizisel kompaktl¬g¼¬n ve kompaktl¬g¼¬n sadece metriklenebilir uzaylar için denk oldu¼ gunu söylemiştik. Oysa, a¼ glar¬ kulland¬g¼¬m¬zda bu tüm topolojik uzaylar için do¼ grudur. Yani dizisel kompaktl¬g¼¬n aksine, a¼ gsal kompaktl¬k ve kompaktl¬k tüme topolojik uzaylar için ayn¬kavramlard¬r. Şimdi kapan¬ş ve süreklilik ile yak¬ndan alakal¬di¼ ger bir kavram olan süzgeç kavram¬na k¬saca de¼ ginelim: X bir küme olsun. F 2X koleksiyonu şu şartlar¬sa¼ gl¬yorsa, F’ye X üzerinde bir süzgeçtir denir: i) ; X 2 F ii) E¼ ger A 2 F ve A B ise B 2 F iii) A; B 2 F ise A \ B 2 F. A¼ glara benzer şekilde bir süzgeçin yak¬nsamas¬n¬şu şekilde tan¬mlayabiliriz: (X; T ) bir topolojik uzay olsun. E¼ ger x 2 X noktas¬n¬içeren her aç¬k küme F’ye ait iseF’nin x’e yak¬nsad¬g¼¬söylenir ve F ! x şeklinde yaz¬l¬r. 14 Ba¼ glant¬l¬l¬k ve Yol-Ba¼ glant¬l¬l¬g ¼¬ Tan¬m: (X; T ) bir topolojik uzay olsun. X = U1 [ U2 öyle ki U1 ; U2 2 T; U1 \ U2 = ; U1 6= ; U2 6= şeklinde yaz¬labiliyorsa, yani, X uzay¬ boş kümeden farkl¬ ayr¬k iki aç¬k kümenin bileşkesi şeklinde ise X’ ba¼ glant¬s¬z uzay denir. Aksi durumda X’in ba¼ glant¬l¬oldu¼ gu söylenir. Örnek: R1 ; tüm standart topolojili Öklit uzaylar¬nda oldu¼ gu gibi, ba¼ glant¬l¬ olmas¬na ra¼ gmen, R1 n ba¼ glant¬s¬z bir uzayd¬r. Bununla birlikte, R forijing ; n 2 için ba¼ glant¬l¬d¬r. f0g R1 alt uzay¬ Tan¬m: (X; T ) topolojik uzay olsun. Ui ’ler boş kümeden farkl¬ve birbirinden ayr¬k aç¬k ve ba¼ glant¬l¬kümeler olmak üzere X = U1 [ U2 [ ::::: [ Un şeklinde yaz¬labiliyorsa, X’e n-ba¼ glant¬l¬ve ya n-komponentli uzay denir. Bir uzay¬n komponentlerinin kümesine o uzay¬n s¬f¬r¬nc¬homotopi kümesi denir ve uzay X ise 0 (X) ile gösterilir. Ba¼ glant¬l¬ uzay ve 1-komponentli uzay ayn¬ kavramlard¬r. Di¼ ger bir deyişle, 0 (X) bir elemanl¬ bir küme ise X uzay¬ ba¼ glant¬l¬d¬r. Burada, bir zay¬n sonsuz tane komponentli olabilece¼ ginide belirtelim. Örne¼ gin, Z ve Q R1 altuzaylar¬sonsuz komponentlidir. Tan¬m: X bir topolojik uzay olsun. I = [0; 1] R1 altuzay¬na birim aral¬k denir. Herngibir f : I ! X sürekli fonksiyonuna X üzerinde bir yoldur denir, ve bu yolun x0 = f (0)’dan x1 = f (1)’e sürekli bir yol oldu¼ gu söylenir. E¼ ger X üzerindeki herhangi iki nokta sürekli bir yol ile birleştirilebiliyorsa X’in yol-ba¼ glant¬l¬oldu¼ gu söylenir. Teorem: X yol-ba¼ glant¬l¬ise X ba¼ glant¬l¬d¬r. Örnek: X ba¼ glant¬l¬ise yol-ba¼ glant¬l¬olmak zorunda de¼ gildir. Örne¼ gin, düzlemde ki Y = f(0; y) j y 2 Ig[ (x; sin x1 ) j x 2 (0; 2 ) alt uzay¬ba¼ glant¬l¬olmas¬na ra¼ gmen yol-ba¼ glant¬l¬de¼ gildir. Teorem: Ba¼ glant¬l¬l¬k ve yol-ba¼ glant¬l¬l¬g¼¬topolojik özelliklerdir. Örnek: Yukar¬daki teoremi kullanarak reel say¬ do¼ grusu R1 ve birim çember S 1 ’in homeomor…k olmad¬g¼¬n¬ ispatl¬yal¬m. 1 1 Aksini varsayal¬m. f : R ! S ’e bir homeomor…zma ve x = f (0) 2 S 1 olsun. Bu durumda, elbette, f jR1 f0g : R1 f0g ! S 1 fxg s¬n¬rland¬r¬l¬m¬ş fonksiyonuda homeomor…zmad¬r (Neden?). Fakat bu bir çelişkidir. Çünkü, sol taraf 2 komponentli yani ba¼ glant¬s¬z bir uzay olmas¬na ra¼ gmen sa¼ g taraf ba¼ glant¬l¬d¬r. 23 15 Genişleme Teoremleri X bir topolojik uzay ve A; B X olsun. E¼ ger f (A) = 0 ve f (B) = 1 şartalr¬n¬sa¼ glayan sürekli bir fonksiyon f : X ! [0; 1] var ise, A ve B kümelerinin sürekli bir fonksiyon ile ayr¬labildi¼ gi söylenir. Lemma: (Uryshon Lemmas¬) X bir topolojik uzay olsun. X normaldir () X içindeki her hangi iki ayr¬k kapal¬küme sürekli bir fonksiyon ile ayr¬labilir. Teorem: (Tietze Genişleme Teoremi) X bir normal uzay ve A X kapal¬ bir alt kümesi ve f : A ! R reel de¼ gerli sürekli bir fonksiyon olsun. Bu durumda F (a) = f (a); 8a 2 A şart¬n¬ sa¼ glayan sürekli bir F : X ! R fonksiyonu bulunabilir öyle ki sup fjF (x)j : x 2 Xg = sup fjf (a)j : a 2 Ag Yukardaki teoremde sözü edilen F fonksiyonuna, f fonksiyonun bir genişlemesidir denir. 24 N A M I K K E M A L Ü N I·V E R S I·T E S I· F E N - E D E B I·Y A T FA K Ü L T E S I· M A T E M A T I·K B Ö L Ü M Ü MAT216 TOPOLOJI·YE GI·RI·Ş ARA SINAV I BAHAR 2011-2012 13.04.201 1. (10 p.) B baz¬X kümesinin bir baz¬olsun. Bu durumda, B’nin X üzerinde yaratt¬g¼¬ topolojinin, "X’in B’yi içine alan tüm topolojilerinin kesişimi" oldu¼ gunu ispatlay¬n¬z. (Not: Herhangi bir topoloji koleksiyonunun kesişiminin topoloji oldu¼ gunu ispatlam¬şt¬k.) Çözüm: B’yi içine alan X’in tüm topolojilerinin koleksiyonu fT g 2I ol\ sun. T = T şeklinde tan¬mlay¬m. Bu durumda T ’de X’in bir topolo2I jisidir ve ayr¬ca T ’de B’yi içerir. O halde T ’de bu koleksiyona aittir. Yani T 2 fT g 2I : Şimdi B’nin yaratt¬g¼¬topolojiye T 0 diyelim. Bizden istenen T 0 = T oldu¼ gunu göstermemiz. I·lk olarak şunu belirtelim: T 0 topolojiside B’yi içerdi¼ gi için T 0 de ayn¬koleksiyona aittir. Yani T 0 2 fT g 2I : I·kinci olarak, T bu koleksiyona ait tüm topolojilerin kesişimi oldu¼ gu için T T 0 olmak zorundad¬r. Fakat öteki kapsama ilişkisi yani T T 0 de do¼ grudur: Çünkü T 0 topolojisinin her eleman¬B’nin elemanlar¬n¬n key… bileşimidir, fakat B T oldu¼ gu için T 0 topolojisinin her eleman¬T topolojisinin elemanlar¬n¬n key… bileşimi şeklinde yaz¬labilir. Sonuç olarak T = T 0 : 2. (5+5 p.) Aşa¼ g¬daki kümelerin iç, kapan¬ş ve s¬n¬rlar¬n¬yaz¬n¬z: o n 1 + R1 a) A = (0; 1) n+1 j n 2 Z Çözüm: A aç¬kokümedir yani A = A: Kapan¬ş¬: A = [0; 1] S¬n¬r¬: @A = n [ 1 f0; 1g j n 2 Z+ n+1 b) B = (x; y) j x2 + y 2 < 1; x > 0; y 6= 0 R2 Çözüm: B aç¬k küme oldu¼ gu için B = B: Kapan¬ş¬: B = (x; y) j x2 + y 2 S¬n¬r¬: Üç kümenin bileşimi olarak @B = (x; y) j x2 + y 2 = 1; x [ f(x; y) j 0 x 1; y = 0g 0 [ f(x; y) j 1 y 1; x = 0g 3. (5+5 p.) a) C = f(x; y) j x 0; y oldu¼ gunu ispatlay¬n¬z. R2 kümesinin R2 ’nin kapal¬ kümesi 0g Çözüm: C 0 nün aç¬k oldu¼ gunu ispatlamal¬y¬z. P (x0 ; y0 ) 2 C 0 olsun. Bu durumda iki durum vard¬r: Ya x0 < 0 ve ya y0 < 0: 1. durum) x0 < 0 olsun. Bu durumda P (x0 ; y0 ) merkezli ve jx0 j yar¬çapl¬, ve ya daha iyisi jx0 j 0 2 yar¬ çapl¬, aç¬k disk C nün içinde kal¬r. 2. durum) y0 < 0 olsun. Bu durumda P (x0 ; y0 ) merkezli ve jy0 j yar¬çapl¬, ve ya daha iyisi jy20 j yar¬ çapl¬, aç¬k disk C 0 nün içinde kal¬r. Dolay¬s¬yla her P (x0 ; y0 ) 2 C 0 noktas¬ için, P (x0 ; y0 ) 2 U C 0 olan bir U aç¬k diski vard¬r. O halde C 0 aç¬kd¬r. 1 1; x 0 b) Her hangi bir kümenin sonlu tümleyen topolojisinin kapal¬ kümeleri hakk¬nda ne söyleyebilir siniz? Aç¬klay¬n¬z. Çözüm: K sonlu tümleyen topolojisinin kapal¬ kümesidir , K 0 sonlu tümleyen topolojisinin aç¬k kümesidir, (K 0 )0 sonlu kümedir ve ya X’dir, K sonlu kümedir ve ya X’dir. K¬sacas¬, sonlu tümleyen topolojide bir kümenin kapal¬küme olmas¬demek ya sonlu küme olmas¬demekdir ve ya X’in kendisi olmas¬demekdir. 4. (10 p.) A kümesi Y ’de kapal¬ ise ve Y kümeside X’de kapal¬ ise, A’n¬n X’de kapal¬oldu¼ gunu ispatlay¬n¬z. Çözüm: A kümesi Y ’de kapal¬ ise A0Y kümesi Y ’de aç¬k kümedir. Burada A0Y ile A’n¬n Y içindeki komplementini kastediyoruz X içindeki de¼ gil. Dolay¬s¬yla, Y altuzay oldu¼ gu için, alt uzay¬n tan¬m¬gere¼ gi, X’in öyle bir aç¬k kümesi U vard¬r ki A0Y = Y \ U: Fakat bu durumda A = Y \ U 0 olur. (Check!) Son eşitli¼ ge bak¬n¬z. Y kümesi X’de kapal¬ verilmişti. U aç¬k oldu¼ gu için U 0 kümesi X’de kapal¬d¬r. I·ki kapal¬kümenin kesişimi kapal¬ olaca¼ g¬için A kümesi X’de kapal¬d¬r. 5. (5+5 p.) gunu ispatlay¬n¬z a) A [ B = A [ B oldu¼ Çözüm: A A ve B B oldu¼ gu için A [ B A [ B olur. Burada iki kapal¬kümenin bileşimi kapal¬oldu¼ gu için A[B kümesi kapal¬bir kümedir. Şimdi A [ B kümesi A[B kümesini kapsayan en küçük kapal¬küme oldu¼ gu için A [ B kümesinden büyük olamaz. O halde A [ B A [ B olmal¬d¬r. Bu (1). I·kinci olarak, şu özelli¼ gi kullanaca¼ g¬z: E¼ ger C ve D iki küme ve C D ise C D olmak zorundad¬r. (Limit noktalar¬n¬düşünün!). Şimdi A A[B oldu¼ gu için A A [ B ve de B A[B oldu¼ gu için B A [ B olur ki bu iki şeyi birleştirisek, A [ B A [ B oldu¼ gu ç¬kar. Bu da (2). (1) ve (2) den istenen eşitlik ç¬kar. b) I·ki C; D R1 kümesi bulunuz öyle ki C \ D 6= C \ D. Çözüm: C = (0; 1) D = (1; 2) alal¬m. C \ D = [0; 1] \ [1; 2] = f1g olur ve farkl¬d¬rlar. 6. (10 p.) f : X ! Y sürekli bir fonksiyon ve A oldu¼ gunu ispatlay¬n¬z. = fakat C \ D = X olsun. f (A) f (A) Çözüm: y 2 f (A) olsun. E¼ ger y 2 f (A) oldu¼ gunu gösterirsek soru biter. Bu durumda öyle bir x 2 A vard¬r ki f (x) = y: Şimdi y’nin bir aç¬k V komşulu¼ gunu alal¬m. f sürekli oldu¼ gu için f 1 (V ) kümesi x’in bir aç¬k komşulu¼ gudur. Fakat x 2 A oldu¼ gu için f 1 (V ) \ A 6= olmak 0 1 zorundad¬r. O halde öyle bir x 2 f (V ) \ A vard¬r ki f (x0 ) 2 V \ f (A): O halde V \ f (A) 6= olmak zorundad¬r. Fakat V kümesi key… seçilmişti. Dolay¬s¬yla, y = f (x) eleman¬n¬n her aç¬k komşulu¼ gu f (A)’y¬keser. Yani y 2 f (A)’d¬r. 2 7. (2,5+2,5+2,5+2,5 p.) Aşa¼ g¬daki tan¬mlar¬yap¬n¬z: Alt Uzay: X topolojisi T olan bir topolojik uzay ve A X kümesi X’in sadece bir alt kümesi olsun. A üzerine TA = fU \ X j U 2 T g topolojisi konursa, art¬k A’ya sadece alt küme denlmekle kalmaz bir alt uzay oldu¼ gu söylenir. Yo¼ gun Küme: X bir topolojik uzay ve A ise A’ya X’in yo¼ gun alt kümesi denir. X altkümesi olsun. A = X Sürekli Fonksiyon: (X; T ) ve (Y; T 0 ) topolojik uzaylar ve f : X ! Y bir fonksiyon olsun. E¼ ger her V 2 T 0 için f 1 (V ) 2 T ise f ’ye sürekli fonksiyon denir. 2. Say¬labilir Uzay: Bir topolojik uzay¬n say¬labilir bir baz¬varsa o uzaya 2. say¬labilir uzay denir. 8. (10 p.) X bir küme olsun. X üzerinde reel de¼ gerli bir metrik fonksiyonu nas¬l tan¬mlan¬r? Yaz¬n¬z. Metrik fonksiyonunu tan¬mlad¬ktan sonra X üzerindeki metrik topoloji nas¬l yarat¬l¬r anlat¬n¬z. X bir küme ve X X kartezyen çarp¬m kümesi olsun. Bir d : X X ! R fonksiyonu aşa¼ g¬daki özellikleri sa¼ gl¬yorsa d’nin X üzerinde bir metrik (fonksiyonu) oldu¼ gu söylenir: 1) Her x; y 2 V için d(x; y) 0: (Poziti‡ik özelli¼ gi.) 2) d(x; y) = 0 , x = y: (S¬f¬r olma özelli¼ gi.) 3) Her x; y 2 X için d(x; y) = d(y; x): (Yans¬ma özelli¼ gi.) 4) Her x; y; z 2 X için d(x; y) d(x; z) + d(z; y): (Üçgen eşitsizli¼ gi.) Böyle bir fonksiyon verildi¼ ginde, önce aç¬k küre denilen şu yap¬lar¬tan¬ml¬yoruz: Her x 2 X ve 2 R+ pozitif say¬s¬için B (x) = fy 2 X j d(x; y) < g : Ve şu şekilde tan¬mlanan küme X üzerinde bir topolojidir: Td = fU X j U kümesi key… say¬da B (x)’lerin bileşimi şeklinde yaz¬labilirg : Bu topolojiye X’in d metri¼ gi taraf¬ndan yarat¬lan metrik topolojisi denir. 9. (10 p.) X bir küme ve 2X kümesi X’in kuvvet kümesi olsun. X üzerindeki bir T topolojisi nas¬l tan¬mlan¬r? Aç¬klay¬n¬z. Çözüm: Tan¬m: T 2X kümesi aşa¼ g¬daki şartlar¬sa¼ gl¬yorsa T ’ye X üzerinde bir topoloji ve ya X’in bir topolojisi denir: 1) 2 T ve X 2 T: 2) U1 2 T ve U2 2 T ) U1 \ U2 2 T: 3) I herhangi bir indeksleme kümesi ve fU g 3 2I T ise [ 2I U 2 T: 10. (5+5 p.) a) (X; T ) ve (Y; T 0 ) iki topolojik uzay olsun. X Y kartezyen çarp¬m¬ kümesi üzerindeki çarp¬m topolojisinin en bariz baz¬nedir? Aç¬klay¬n¬z. Çözüm: B = fU1 U2 j U1 2 T ve U2 2 T 0 g : Bu baz tan¬m gere¼ gi X çarp¬m topolojisini yarat¬r. Y ’nin b) Şeklini çizebilece¼ giniz 3 tane bölüm uzay¬yaz¬n¬z ve şeklini çiziniz. Çözüm: Asl¬nda her topolojik uzay bölüm uzay¬d¬r. :) Örne¼ gin X her hangi bir topolojik uzay olsun. 1X (x) = x şeklinde tan¬mlanan birim fonksiyonu 1X : X ! X; hem aç¬k hem süreklidir dolay¬s¬yla bölüm fonksiyonudur. O halde X kendisinin bölüm uzay¬d¬r. Yani ne karalasan¬z bölüm uzay¬ olur. Bununla birlikte, elbette, klasik ve basit örnekleri çizmeniz istenmişti. 1) I·lk akla gelen çemberdir. S 1 = R=Z: Burada p : R ! R=Z örtü fonksiyonu bölüm fonksiyonudur. Çemberin şekli: x2 + y 2 = 1 y 5 4 3 2 1 -5 -4 -3 -2 -1 1 -1 2 3 4 5 x -2 -3 -4 -5 2) Silindir S 1 I de bölüm uzay¬d¬r. Bölüm fonksiyonu p : R I ! S 1 yukarda söylenen bölüm fonksiyonundan kaynaklan¬r. Silindirin şekli: x2 + y 2 = 1 4 I 4 -4 -4 2 -2 z 0 0 0 -2 y 2 -4 -2 2x 4 4 3) Ve torus: S 1 S 1 : Bölüm fonksiyonu yine çemberin bölüm fonksiyonundan kaynaklan¬r: p : R R ! S 1 S 1 : Torusun şekli: p (4 x2 + y 2 )2 + z 2 = 1 4 -4 -4 2 -2 z 0 0 0 -2 y 2 -4 4 -2 2x 4 5 11. (Bonus, 5 p.) Sizce topoloji nedir? Sadece bir cümle yaz¬n¬z. (Not: I·kinci cümleyi yazan¬n ilk cümlesi de¼ gerlendirilmeyecektir I·kinci bir not: 9. soruda bir küme üzerindeki bir topolojiyi zaten tan¬mlam¬şt¬n¬z, yani topolojinin tan¬m¬n¬yapm¬şt¬n¬z. Burada yazaca¼ g¬n¬z cümle farkl¬ve felse… birşey olsun.) Şu makalenin ilk cümlesi olabilir.: http://www.math.wayne.edu/~rrb/topology.html R. Bruner topolojiye geometrinin modern versiyonu diyor. Say¬lar¬n az kullan¬ld¬g¼¬ bir geometri çok pratik de¼ gil diyerek topolojiyi karalayabilirsiniz. Fakat, teori olmadan pratiklik hiçbir işe yaramaz. Mühendis vizyonu (pratik): Topoloji Matematik Kalkülüs (Topolojiyi çöpe at. :)) Matematikçi vizyonu (teorik): Kalkülüs Matematik Topoloji (Yorumsuz) 6 N A M I K K E M A L Ü N I·V E R S I·T E S I· F E N - E D E B I·Y A T FA K Ü L T E S I· M A T E M A T I·K B Ö L Ü M Ü MAT216 TOPOLOJI·YE GI·RI·Ş ARA SINAV II BAHAR 30.04.2012 Bilgiler/Uyar¬lar: S¬nav 120 dakikad¬r. S¬navda yanlar¬nda puanlar¬ belirtilen 11 soru vard¬r. Elektronik cihaz kullanmak yasakd¬r. Aksi belirtilmedikçe, reel Öklit uzaylar¬n¬n ve alt kümelerinin topolojisi standart kabul edilecektir. Başar¬lar! 1. (5+5 p.) a) R2 ’de sözlük topolojisi Tsözlük nas¬l tan¬mlan¬r? Aç¬klay¬n¬z ve bu topolojinin bir baz¬n¬yaz¬n¬z. b) Yukarda tan¬mlad¬g¼¬n¬z Tsözlük topolojisinin R2 ’nin Tstandart topolojisinden daha ince oldu¼ gunu ispatlay¬n¬z. Çözüm: a) R2 üzerinde sözlük s¬ralama ba¼ g¬nt¬s¬n¬şu şekilde tan¬ml¬yoruz: E¼ ger x1 < x2 ise (x1 ; y1 ) < (x2 ; y2 ) ; E¼ ger x1 = x2 ve y1 < y2 ise (x1 ; y1 ) < (x2 ; y2 ) ; ve elbette di¼ ger durumda (x1 ; y1 ) = (x2 ; y2 ): Bu s¬ralama ba¼ g¬nt¬s¬na kütüphanelerde kitaplar¬n s¬ralanmas¬mant¬g¼¬n¬taş¬d¬g¼¬için sözlük s¬ralamas¬ diyoruz. Bir küme üzerinde bir s¬ralama ba¼ g¬nt¬s¬ var ise, bu bize bir s¬ralama topolojisi verir. Bunu aç¬klam¬şt¬k. Örne¼ gin burada, R2 üzerindeki sözlük topolojisi (P1 ; P2 ) = P 2 R2 j P1 < P < P2 şeklinde tan¬mlanan ve "ray" (demiryolu de¼ gil :)) denilen kümelerin key… bileşimleri şeklinde yaz¬l¬r. Fakat bu şekildeki raylar¬n kümesi sözlük topolojisinin çok büyük bir baz¬d¬r. Tsözlük ’ün daha küçük bir baz¬ şu şekildeki kümelerden elde edilir: Iab (x0 ) = P 2 R2 j (x0 ; a) < P < (x0 ; b) yani bu topolojinin kullan¬şl¬bir baz¬: B = Iab (x0 ) j a; b; x0 2 R öyle ki a < b d¬r. b) Iab (x0 ) şeklindeki bir küme, ki bu küme düzlem üzerinde aç¬k uçlu xeksenine dik bir aral¬kd¬r, elbetteki standart topolojinin içinde olamaz. Çünkü, e¼ ger (x0 ; y) 2 Iab (x0 ) ise (x0 ; y) merkezli aç¬k bir disk Iab (x0 )’de olmayan bir eleman içerir ve dolay¬s¬ ile Iab (x0 ) şeklindeki bir küme aç¬k disklerin bileşimi şeklinde yaz¬lamaz. O halde Iab (x0 ) standart topolojinin içinde de¼ gildir ve dolay¬s¬yla Tstandart topolojisi Tsözlük topolojisini kapsayamaz. Öte yanda, her aç¬k disk dik aç¬k aral¬klar¬n, yani Iab (x0 ) kümelerinin bileşimi şeklinde yaz¬labilir. Bir diski dik olarak tarad¬g¼¬n¬z¬ düşünün! Bu nedenle Tstandart $ Tsözlük olur. Yani Tsözlük daha incedir (küme olarak daha büyükdür). 1 2. (5+5 p.) a) Z R1 tamsay¬lar alt kümesi kapal¬ m¬d¬r? Aç¬k m¬d¬r? Cevab¬n¬z¬ ispatlay¬n¬z. Çözüm: Z kapal¬ kümedir çünkü komplementi aç¬k aral¬klar¬n bileşimi şeklinde yaz¬labilir: [ Z0 = (n; n + 1): n2Z O halde Z 0 aç¬k yani Z kapal¬d¬r. b) Q R1 rasyonel say¬lar alt kümesinin aç¬kl¬g¼¬ ve kapal¬l¬g¼¬ hakk¬nda ne söyleyebilir siniz? Söyledikleriniz do¼ grulay¬n¬z. Çözüm: Q NE AÇIKDIR NE DE KAPALI. Kapal¬ de¼ gildir. Çünkü Q = R1 ’dir. Yani Q’nun kapan¬ş¬ kendisi de¼ gildir yani kapl¬ de¼ gildir! Q = R1 oldu¼ gunu nas¬l ispatlad¬g¼¬m¬z hat¬rl¬yal¬m: Her irrsayonel say¬ rasyonel say¬lardan oluşmuş bir dizinin limitidir. Yani her rasyonel say¬Q kümesinin bir limit noktas¬d¬r. O halde e¼ ger irrasyonel say¬lar kümesini IRR ile gösterirsek, IRR Q olur ve elbette Q Q oldu¼ gu için Q = IRR [ Q = R1 olur. Benzer şekilde her rasyonel say¬irrasyonel say¬lar¬n limiti olaca¼ g¬ndan (Neden?) IRR = R1 olacakt¬r. Yani IRR say¬lar kümeside kapal¬de¼ gildir. Şimdi Q’nun aç¬k olmad¬g¼¬n¬ispatlayabiliriz. Q aç¬k olamaz e¼ ger aç¬k olsayd¬ komplementi kapal¬ olurdu. Fakat Q0 = IRR kapal¬de¼ gildir. 3. (10 p.) A ve B bir topolojik uzay¬n alt kümeleri olsun. E¼ ger A A B oldu¼ gunu ispatlay¬n¬z. B ise Çözüm: x 2 A alarak ispata başl¬yoruz. E¼ ger x 2 B oldu¼ gunu gösterirsek ispat biter. Şimdi, x 2 A oldu¼ guna göre kapan¬ş¬n tan¬m¬ndan "x’i içeren her aç¬k U kümesi" A kümesini keser. Yani x 2 U aç¬k ise U \ A 6= ’dir. Fakat A B oldu¼ gu söylenmiş. Bu durumda U kümesi B’yi de kesecektir. San¬r¬m bunu ispatlamam¬za gerek yok. Sonuç: "x’i içeren her aç¬k U kümesi" B kümesini keser. Yani x 2 B: 4. (4+3+3 p.) R2 ’den al¬nan aşa¼ g¬daki alt kümelerin iç, kapan¬ş ve s¬n¬rlar¬n¬ yaz¬n¬z: a) A = f(x; y) j x rasyonel bir say¬d¬r.g Çözüm: Q kümesinin R1 ’deki içi boş kümedir yani içi yoktur. Bunu biliyoruz. O halde A = olmal¬d¬r. Gerçektende biraz daha aç¬klamak gerekirse,mesela A’da bir nokta alal¬m. Diyelim (q; y) 2 A: Şimdi (q; y) merkezli her aç¬k disk (x; y) şeklinde ve x 2 IRR olacak şekilde bir eleman yani A’da olmayan bir eleman içerecektir. O halde (q; y) eleman¬ A’n¬n içinde olamaz. Yani A’n¬n hiçbir eleman¬ A’n¬n içinde olamaz. O halde A’n¬n içi yoktur. Boşkümedir. Q kümesinin R1 ’deki kapan¬ş¬ tüm reel say¬lar oldu¼ gu için A’n¬n kapan¬ş¬da tüm düzlem olacakt¬r. Daha fazla aç¬klamay¬ okuyucuya b¬rak¬yoruz. Yani A = R2 ve dolay¬s¬yla @A = A A = R2 : 2 b) B = f(x; y) j y 6= 0g Çözüm: B aç¬k kümedir. B = B olur. Ve elbette B = R2 ve de @B = B B = x-ekseni! c) C = f(x; y) j 0 x < 1; y 6= 0g Çözüm: C = f(x; y) j 0 < x < 1; y 6= 0g ve C = f(x; y) j 0 @C = f(0; y) j y 2 Rg [ f(1; y) j y 2 Rg [ f(x; 0) j 0 x x 1g ve 1g : 5. (10 p.) R2 ’de verilen y = x do¼ grusunun R1 ’e homeomor…k oldu¼ gunu birinden di¼ gerine bir fonksiyon yazarak ispatlay¬n¬z. Yazd¬g¼¬n¬z fonksiyonun homeomor…zma oldu¼ gunu okuyucuyu ikna edici olacak bir şekilde aç¬klay¬n¬z. Çözüm: Bu do¼ gruyu L ile gösterelim. L R2 bir altuzayd¬r. Şimdi 1 f : R ! L’ye f (x) = (x; x) şeklinde bir fonksiyon tan¬ml¬yal¬m. Bu fonksiyon 1-1 ve örtendir, yani bijektif fonksiyondur. Bu fonksiyon süreklidir. Çünkü L’nin topolojisinin baz elemanlar¬ düzlem üzerinde (a; a) ve (b; b); a < b; şeklindeki noktalar¬ birleştiren aç¬k aral¬klard¬r, yani aç¬k uçlu do¼ gru parçalar¬d¬r. Fakat bu şekildeki bir baz eleman¬n ters görüntüsü R1 üzerinde (a; b) aç¬k aral¬g¼¬d¬r. L’nin topolojisinin baz elemanlar¬n¬n ters görüntüsü aç¬k oldu¼ guna göre, f süreklidir. f bijektif oldu¼ gu için f 1 : L ! R1 ters fonksiyonu tan¬ml¬d¬r. Üstelik bu fonksiyon f 1 (x; x) = x şeklinde tan¬ml¬d¬r. Ve f ’nin süreklili¼ gini nas¬l ispatlam¬şsak f 1 ’inde sürekli oldu¼ gunu ayn¬şekilde kan¬tlayabiliriz. Ve homeomor…zman¬n 4 şart¬ sa¼ gland¬. f homeomor…zmad¬r ve L ve R1 topolojik olarak ayn¬uzaylard¬r -şeylerdir-; yani homeomor…kdir. 6. (5+5 p.) a) p : R2 ! R1 projeksiyonu p(x; y) = x şeklinde tan¬mlan¬yor. Bu fonksiyonun aç¬k fonksiyon oldu¼ gunu ispatlay¬n¬z. Çözüm: R2 ’nin baz elemanlar¬n¬aç¬k kenarl¬diktörtgenler olarak alabiliriz. (Aç¬k diskler yerine) Ve e¼ ger R(a; b; c; d) = f(x; y) j a < x < b; c < y < dg şeklinde aç¬k bir diktörgense p(R(a; b; c; d)) = (a; b) aral¬g¼¬olur. Yani aç¬k bir diktörtgenin x-eksenine iz düşümü aç¬k aral¬kd¬r. Şimdi R2 ’nin herhangi bir aç¬k kümesi U olsun. p(U )’nun aç¬k oldu¼ gunu gösterirsek ispat biter. U kümesi aç¬ k diktörtgenlerin key… bileşimi [ [şeklinde yaz¬labilir. Yani U = R şeklindedir. Bu durumda p(U ) = p(R ) olaca¼ g¬ndan 2I 2I p(U ) kümesi aç¬k aral¬klar¬n bileşimi şeklindedir dolay¬syla aç¬kd¬r. b) p’nin kapal¬ fonksiyon olmad¬g¼¬n¬, R2 ’deki kapal¬ bir kümenin görüntüsünün R1 ’de kapal¬olmad¬g¼¬n¬göstererek ispatlay¬n¬z. Çözüm: y = x1 ’in meşhur gar…¼ gine 3 diyelim. y 2 1 -5 -4 -3 -2 -1 1 2 3 4 5 x -1 -2 R2 düzlemin bir alt uzay¬d¬r. Ba¼ glant¬l¬de¼ gildir. I·ki parçad¬r. ’n¬n kapal¬bir küme oldu¼ gunu göstermek o kadar zor de¼ gil. ’n¬n d¬ş¬nda bir nokta al¬rsak bu noktay¬içeren ve ’y¬kesmeyen aç¬k bir disk hayal edebiliriz. O halde 0 aç¬kd¬r yani kapal¬d¬r. Fakat, p( ) = ( 1; 0)[(0; 1) olaca¼ g¬ndan, yukar¬daki gra…¼ ge bak¬n¬z, p( ) aç¬kd¬r! p kapal¬ fonksiyon de¼ gildir. 7. (2,5+2,5+2,5+2,5 p.) Aşa¼ g¬daki tan¬mlar¬yap¬n¬z: a) Lokal Baz (X; T ) topolojik uzay olsun. x0 2 X olsun. Şimdi "x0 ’¬içeren aç¬k kümelerden oluşmuş" bir B(x0 ) koleksiyonu şu şart¬sa¼ gl¬yorsa bu B(x0 ) kümesine x0 ’¬n bir lokal baz¬d¬r denir: x0 ’¬ içeren her U 2 T için öyle bir V 2 B(x0 ) vard¬r ki V U: b) Alt Baz X bir topolojik uzay ve B’de baz¬ olsun. E¼ ger S B kümesi şu şart¬ sa¼ gl¬yorsa S’ye B’nin alt baz¬denir: B’nin her eleman¬S’nin elemanlar¬n¬n sonlu kesişimi şeklinde yaz¬labilir. c) Bölüm fonksiyonu (X; T ) ve (Y; T 0 ) topolojik uzaylar ve f : X ! Y bir fonksiyon olsun. f şu şart¬sa¼ gl¬yorsa f ’ye bölüm fonksiyonu denir: p 1 (V ) 2 T , V 2 T 0 d) Ayr¬labilir Uzay 4 Say¬labilir ve yo¼ gun bir alt kümesi olan uzaya ayr¬labilir uzay denir. Örne¼ gin, Rn ’ler ayr¬labilir uzayd¬r. Qn Rn latisi say¬labilir ve yo¼ gun bir alt kümesidir. 8. (5+5 p.) a) f : R1 ! R1 fonksiyonu f (x) = x2 şeklinde tan¬mlan¬yor. f ’nin düzgün sürekli olmad¬g¼¬n¬kan¬tlay¬n¬z. Çözüm: Süreklili¼ gin tan¬m¬nda ’n¬n x0 ’den ba¼ g¬ms¬z seçilemeyece¼ gini kan¬tlamal¬y¬z. Şimdi bunun aksini varsayal¬m. Varsayal¬m ki her > 0 için öyle bir > 0 bulabiliriz öyle ki jx x0 j < ise x2 x20 < her x; x0 2 R için. Fakat şimdi f (x0 + 2 ) f (x0 ) = x0 + 2 < olur ki bu absürd bir durum çünkü x0 ’¬ çok büyük seçersem ’unda çok büyük oldu¼ gu anlam¬na gelir ki, bu saçmad¬r. K¬sacas¬ ’y¬ x’lerden ba¼ g¬ms¬z seçemeyiz. b) f : [0; 1] ! R1 fonksiyonu f (x) = x2 şeklinde tan¬mlan¬yor. f ’nin düzgün sürekli oldu¼ gunu kan¬tlay¬n¬z. Çözüm: Şu beylik ve uygulamal¬matematik için çok önemli olan teoremi kullanabiliriz: Teorem (Heine–Cantor theorem): Metrik uzay¬n kompakt bir alt kümesi üzerinde tan¬mlanm¬ş sürekli bir fonksiyon düzgün süreklidir. Fakat ’n¬n nas¬l seçilebilece¼ gini anlatarak yapmam¬z isteniyor. (Bu teoremi görmedik.) O halde ’y¬ x’lerden ba¼ g¬ms¬z seçelim. Nas¬l? Bu san¬r¬m s¬nav¬n en zor (teknik) k¬sm¬. Şimdi x2 x20 < ise jx x0 j < jx+x0 j yaz¬labilir. Sadece x = x0 = 0 durumu hariç. Sol taraf tan¬ms¬z oluyor. Fakat bu o kadar önemli de¼ gil. x0 = 0 durumu ayr¬olarak incelenebilir. Şimdi < 21 varsayabiliriz. Çünkü ’y¬seçme hakk¬m¬z var. Bu durumda 0 x0 1 5 oldu¼ gu için 21 < x < 32 olacakt¬r. Yani 21 x + x0 2 olur ki 5 bu bize max jx + x0 j = 2 oldu¼ gunu söyler. O halde = min 25 ; 12 seçmemiz yeterli. Bu seçimin x’lerden ba¼ g¬ms¬z oldu¼ guna dikkat ediniz. Bu durumda jx x0 j < < jx+x0 j olacakt¬r. (Soru: Peki yukardaki minumum içine miyiz? En büyük ne koyabiliriz?) bölü 2; 5 yerine =2 koyabilir 9. (10 p.) X bir topolojik uzay olsun ve B’de X’in üzerindeki topolojinin bir baz¬olsun. A X olsun. Şunu ispatlay¬n¬z: "x 2 A ancak ve ancak x 2 U şart¬n¬sa¼ glayan her U 2 B için U \ A 6= :". Çözüm: ()) Bu yönü kolay çünkü x 2 A ise x’i içeren her aç¬k kümenin A ile kesişimi boş kümeden farkl¬d¬r ve dolay¬s¬yla bu x’i içeren baz elemanlar¬içinde geçerlidir. (() Bu yönü için x’i içeren tüm baz elemanlar¬n¬n A ile kesişiminin boş kümeden farkl¬oldu¼ gunu var say¬yoruz. Şimdi x’in A oldu¼ gunu ispatlayaca¼ g¬z. Bunun için x’i içeren herhangi bir aç¬k kümenin A ile kesişiminin boş kümeden farkl¬oldu¼ gunu göstermeliyiz. Öyleyse x’i 5 içeren herhangi bir aç¬k U kümesi verilsin. Şimdi baz¬n tan¬m¬nda öyle bir V baz eleman¬ vard¬r ki x 2 V U: Fakat baz elemanlar¬n¬n A ile kesişiminin boş kümeden farkl¬oldu¼ gunu kabul etmiştik ve V U oldu¼ gu için U ’nun A ile kesişimide boş kümeden farkl¬olmak zorundad¬r. 10. (5+5 p.) (Bu soru için ipucu: En basit topolojileri ve fonksiyonu düşünün.) a) Aç¬k olan fakat sürekli olmayan bir fonksiyon yaz¬n¬z. Çözüm: f : (R1 ; Ttrivial ) ! (R1 ; Tayr¬k ) fonksiyonu f (x) = x şeklinde tan¬mlan¬s¬n. f aç¬kd¬r çünkü Ttrivial ’¬n iki eleman¬ var ve ikisininde görüntüsü aç¬k. Fakat f sürekli de¼ gildir. Örne¼ gin f1g 2 Tayr¬k aç¬k kümesinin ters görüntüsü f 1 (f1g) = f1g kümesi Ttrivial ’de aç¬k de¼ gildir. b) Sürekli olan fakat aç¬k olmayan bir fonksiyon yaz¬n¬z. Çözüm: f : (R1 ; Taç¬k ) ! (R1 ; Ttrivial ) fonksiyonu f (x) = x şeklinde tan¬mlan¬s¬n. f süreklidir fakat aç¬k de¼ gildir. a ş¬kk¬ndaki aç¬klaman¬n dualini yap¬n¬z. 11. (5 p. Bonus) Sonsuz tane kapal¬ kümenin bileşiminin aç¬k küme olabilece¼ gini ispatlay¬n¬z. (I·pucu: R1 ’den basit bir örnek verin.) [ [ 1 1 [ n1 ; n] ve ya ( 1; 1) = Çözüm: (0; 1) = n; 1 n ve ya (0; 1) = [ n 2 n 3 [ n; n]: n 1 6 N A M I K K E M A L Ü N I·V E R S I·T E S I· F E N - E D E B I·Y A T FA K Ü L T E S I· M A T E M A T I·K B Ö L Ü M Ü MATH216 TOPOLOJI·YE GI·RI·Ş ARA SINAV III BAHAR 2011-2012 25.05.2012 1. (12 p.) Aşa¼ g¬da R2 ’nin baz¬alt uzaylar¬verilmişti. Bu uzaylar¬n iç, kapan¬ş ve s¬n¬rlar¬n¬yanlar¬na yaz¬n¬z: a) A = Z Q A = (Z A=Z Q) = Z Q=Z Q = = R @A = A b) B = Q B =Q B=Q @B = B fy j y > 0 and y 2 Rg fy j y > 0 and y 2 Rg = fy j y > 0 and y 2 Rg = R 0 and x2 + y 2 < 1 c) C = (x; y) j x C = (x; y) j x > 0 and x2 + y 2 < 1 0 and x2 + y 2 C = (x; y) j x @C = (x; y) j x 2 fy j y > 0 and y 2 Rg = fy j y 0 and y 2 Rg ( n1 ; 0) j n 2 Z + 1 2 0 and x + y = 1 [ f(0; y) j d) D = (x; y) j x2 + y 2 2 1 y 1g 1 and y > x 2 D = (x; y) j x + y < 1 and y > x D = (x; y) j x2 + y 2 1 and y x @D = (x; y) j x2 + y 2 = 1 and y n x [ (x; x) j p1 2 x p1 2 o 2. a) (8 p.) B = f[a; b] j a; b 2 Rg kümesinin R1 kümesinin bir (topolojik) baz¬oldu¼ gunu ispatlay¬n¬z. 1 [ Çözüm: a) Baz¬n 1. şart¬ sa¼ glan¬yor çünkü R1 = [ n; n] ve 2. şart¬ n=1 sa¼ glan¬yor çünkü a2 baz eleman¬d¬r! b1 olmak üzere [a1 ; b1 ] \ [a2 ; b2 ] = [a2 ; b1 ] yine bir b) (4 p.) B’nin yaratt¬g¼¬topolojinin ayr¬k topoloji oldu¼ gunu ispatlay¬n¬z. Çözüm: [a; b]\[b; c] = fbg tek nokta kümeleri bu baz¬n yaratt¬g¼¬topolojide aç¬kt¬r! 3. a) (5 p.) Bir kümenin s¬n¬r¬n¬n kapal¬oldu¼ gunu ispatlay¬n¬z. Çözüm: A = A A = A \ (A )0 iki kapal¬kümenin kesişimidir, dolay¬syla kapal¬d¬r. b) (5 p.) X bir topolojik uzay ve A ispatlay¬n¬z. 1 X olsun. @@A = @A oldu¼ gunu Çözüm: @A’n¬n kapal¬ oldu¼ gunu biliyoruz. Dolay¬s¬yla @@A = @A (@A) = @A (@A) olur. E¼ ger (@A) n¬n boş küme oldu¼ gunu gösterirsek ispat biter. Buda A’n¬n aç¬k küme olarak verilmesi nedeniyle do¼ grudur. Gerçekten (@A) boşküme olmasayd¬x 2 (@A) için x’i içeren ve @A’n¬n içinde kalan bir U komşulu¼ gu bulunurdu. Fakat A aç¬k oldu¼ gu için A kümesi @A’y¬kesemez. Dolay¬s¬yla x’in bu komşulu¼ gu A’y¬kesmezdi. Ve buda x’in @A’da olmas¬yla çelişir. Sonuç olarak (@A) = ve böylece @@A = @A: c) (5 p.) @(A \ B) = @A \ @B eşitli¼ ginin yanl¬ş oldu¼ gunu gösteren reel say¬ do¼ grusundan basit bir karş¬örnek veriniz. Çözüm: A = (0; 1) ve B = (1; 2) al¬rsak yanl¬ş oldu¼ gu görülür. 4. a) (3 p.) Şu uzaylardan hangi ikisi birbirine homeomor…kdir?: A = (0; 1); B = (x; y) j x2 + y 2 = 1 ; C = f(x; 2x) j 1 < x < 1g : A ve C b) (7 p.) Homeomor…k olanlar¬n birinden di¼ gerine homeomor…zma olan bir fonksiyon yaz¬n¬z.Yazd¬g¼¬n¬z fonksiyonun neden homoemor…zma oldu¼ gunu biraz aç¬klay¬n¬z. f : A ! C, f (x) = (2x 1; 4x 2) eşlemesi bijektifdir. Ayr¬ca (a; b) (0; 1) şeklindeki aç¬k aral¬klar, (2a 1; 4a 2) ve (2b 1; 4b 2) noktalar¬n¬birleştiren aç¬k aral¬klara gönderilece¼ ginden f fonksiyonu ve tersi süreklidir. 5. (10 p.) X uzay¬ Hausdor¤ ve A kümesi X’in alt uzay¬ olsun. A’n¬n da Hausdor¤ oldu¼ gunu ispatlay¬n¬z. Çözüm: U1 ve U2 kümeleri x; y 2 A noktalar¬n¬X de ay¬r¬yorsa, U1 \ A ve U2 \ A kümeleri x; y noktalar¬n¬A da ay¬r¬r. bu soruyu atlayın... 6. (15 p.) X uzay¬lokal kompakt ve T2 (yani Hausdor¤) ise X uzay¬n¬n T3 oldu¼ gunu ispatlay¬n¬z. (Not: Regüler oldu¼ gunu ispatlaman¬z yeterli, T1 şart¬T2 ’nin içinde zaten var.) Çözüm: (Bu soru bu s¬navdaki di¼ ger sorular¬n toplam¬ndan daha zor sanki. :)) X lokal kompakt ve Hausdor¤ oldu¼ gu için X’in tek-nokta kompaktlaşt¬rmas¬ vard¬r ve bu kompaktlaşt¬rma Hausdor¤’dur ayr¬ca X bu kompaklaşt¬rma içinde aç¬k bir küme olarak yer al¬r. [Munkres]’e bakabilirsiniz ve ya şu linke göz at¬n: http://en.wikipedia.org/wiki/Compacti…cation_(mathematics) e diyelim. X e kompakt ve HausBu uzaya (X’in kompaklaşt¬r¬lmas¬na) X dor¤ olur ve dolay¬s¬yla normaldir: http://topospaces.subwiki.org/wiki/Compact_Hausdor¤_implies_normal e regülerdir. X e oldu¼ Ve dolay¬s¬yla X X gu için ve regülerlik kal¬tsal oldu¼ gu için X’de regülerdir. 2 7. (15 p.) Şu dört ana teorem veriliyor: Teorem 1: Kompakt uzaylar¬n çarp¬m uzay¬kompaktt¬r. Teorem 2: Kompakt uzay¬n kapal¬alt kümesi kompaktt¬r. Teorem 3: Kompaktl¬k topolojik özellikdir. Teorem 4: (Heine-Borel, en basit versiyonu): [0,1] kompaktt¬r. Bu üç teoremi kullanarak şu teoremi ispat ediniz: " A Rn olsun. A s¬n¬rl¬ve kapal¬ise A kompaktt¬r." Not: I·spat¬n¬zda yukar¬da verilen 4 teoremde kullan¬lacakt¬r. Kulland¬g¼¬n¬z yerde teorem numaras¬n¬ mutlaka belirtin. Örne¼ gin şu şekilde: Teorem 3’den dolay¬.... vb. Çözüm: Teorem 4’den dolay¬[0; 1] kompaktt¬r. Teorem 3’den dolay¬ her > 0 reel say¬s¬ için [ ; ] aral¬g¼¬ kompaktt¬r. (Çünkü [ ; ] = [0; 1]). Teorem 1’den dolay¬ Ku •p( ) = [ n ; ] =[ ; ] [ ; ] :::: [ ; ] şeklinde tan¬mlanan kapal¬ küpler kompaktt¬r. Şimdi A kümesi s¬n¬rl¬ oldu¼ gu için 9 öyle ki A Ku •p( ): Şimdi, A kapal¬ oldu¼ gu için Teorem 2’den dolay¬A kompaktt¬r. 8. (10 p.) f : X ! Y sürekli bir fonksiyon olsun. X kompakt ise ve Y Hausdor¤ ise f fonksiyonunun nin kapal¬bir fonksiyon oldu¼ gunu ispatlay¬n¬z. Çözüm: Yukar¬daki teoremlere ek olarak şu teoremleri yazal¬m: Teorem 5: Hausdor¤ bir uzay¬n kompakt bir alt kümesi kapal¬d¬r. Teorem 0: Bir kompakt uzay¬n sürekli fonksiyon alt¬ndaki görüntüsü kompaktt¬r. Şimdi K X kapal¬küme olsun. f (K)’n¬n kapal¬oldu¼ gu gösterirsek soru biter. Bir önceki sorudaki Teorem 2’den dolay¬ K kompaktt¬r. Teorem 0’dan dolay¬f (K) kompaktt¬r. Teorem 5’den dolay¬f (K) kapal¬d¬r. 9. (2+2+2+2+2 p.) Şu tan¬mlar¬yap¬n¬z: a) Metriklenebilir uzay: (X; T ) topolojik uzay olsun. E¼ ger X kümesi üzerine bir d metri¼ gi koyulabiliyorsa öyle ki metrik topolojisi Td = T , X uzay¬na metriklenebilir uzay denir. b) Sonlu küme: Eleman say¬s¬do¼ gal say¬olan küme. c) (Bir metrik uzaydaki) S¬n¬rl¬ küme: (X; d) metrik uzay ve A X olsun. 0 sembolü metrik uzay¬n seçilmiş bir noktas¬n¬ göstersin. B (0) = fx 2 X j d(x; 0) < g toplar¬n¬ tan¬mlayal¬m. E¼ ger A B (0) şart¬n¬ sa¼ glayan bir pozitf reel say¬s¬varsa A’ya s¬n¬rl¬küme denir. d) Normal uzay: Herhangi iki kapal¬ kümesi aç¬k kümeler ile birbirinden ayr¬labiliyorsa o uzaya normal uzay denir. 3 e) 2. say¬labilir uzay: Say¬labilir bir baz¬olan topolojik uzay. 4 N A M I K K E M A L Ü N I·V E R S I·T E S I· F E N - E D E B I·Y A T FA K Ü L T E S I· M A T E M A T I·K B Ö L Ü M Ü MATH216 TOPOLOJI·YE GI·RI·Ş SON SINAV BAHAR 2011-2012 14.06.2012 1. (2+2+2+4 p.) Reel say¬do¼ grusunun alt limit topolojisi B = f[a; b) j a; b 2 Rg baz¬ile tan¬mlan¬r. Bu topolojide: a) [0; 1) kümesinin aç¬k oldu¼ gunu gösteriniz. Çözüm: Key… bileşim.... Yani baz elemanlar¬n¬n key… bileşimi.... 1 [ [0; 1) = [0; n) n=1 b) (0; 1) kümesinin aç¬k oldu¼ gunu gösteriniz. Çözüm: Key… bileşim.... Yani baz elemanlar¬n¬n key… bileşimi.... 1 [ (0; 1) = [ n1 ; 1) (Not: Burda n 2den başl¬yor çünkü [1; 1) ifadesi çelişkili n=2 bir durum, bazda yeri yok...) c) (0; 1) kümesinin aç¬k oldu¼ gunu gösteriniz. Çözüm: (0; 1) = (0; 1) [ [1; 1): Burada (0; 1) aç¬k küme. a ş¬kk¬ndaki mant¬kdan dolay¬ [1; 1) kümeside aç¬k küme. O halde (0; 1) kümeside aç¬k. d) f0g kümesinin kapal¬oldu¼ gunu gösteriniz. Çözüm: d ş¬kk¬nda (0; 1)’un aç¬k oldu¼ gunu gösterdik. ( 1; 0) = 1 [ [ n; 0) n=1 key… bileşim ile yaz¬ld¬g¼¬için aç¬k kümedir. Ve dolay¬s¬yla ( 1; 0)[(0; 1) kümeside aç¬kt¬r. Bu kümenin de¼ gili -komplementi- kapal¬d¬r. Bu kümenin de¼ gili elbette f0g : 2. (3+3+4 p.) X = f1; 2; 3g olsun. X’in iki tane dört elemanl¬ topolojisi T1 = f ; f1g ; f1; 2g ; Xg ve T1 = f ; f1g ; f1; 3g ; Xg veriliryor. Bunlar¬n topoloji oldu¼ gunu kontrol etmenize gerek yok. Şu sorular¬cevaplay¬n¬z: a) T1 ve T2 ’yi kapsayan en küçük Tmin topolojisini yaz¬n¬z. Çözüm: Tmin = f ; f1g ; f1; 2g ; f1; 3g ; Xg b) T1 ve T2 taraf¬ndan kapsanan en büyük Tmax topolojisini yaz¬n¬z. Çözüm: Tmax = f ; f1g ; Xg c) X’in 5 elemanl¬bir topolojisini yaz¬n¬z. Çözüm: Böyle bir topoloji a ş¬kk¬nda ç¬km¬şt¬! f ; f1g ; f1; 2g ; f1; 3g ; Xg d) (Bonus: 2 p.) X’in kaç tane 4 elemanl¬topolojisi vard¬r? Çözüm: 9 tane. 1 3. (3+3+3+3 p.) R2 ’de aşa¼ g¬daki kümeler tan¬mlan¬yor. Bu kümelerin iç, kapan¬ş ve s¬n¬rlar¬n¬verilen boşluklara yaz¬n¬z. a) A = Q Q A = A = R2 @A = R2 b) B = Z B = B=Z @B = B fx j 0 fx j 0 x < 1g x 1g c) C = f(q; 2q) j q 2 Qg C = C = f(x; 2x) j x 2 Rg @C = C d) D = (x; y) j x2 + y 2 < 4 and x > 0 D =D D = (x; y) j x2 + y 2 2 4 and x 0 2 @D = (x; y) j x + y = 4 and x 0 [ f(0; y) j 2 y 2g 4. (4+4+2 p.) Aşa¼ g¬daki Öklit uzaylar¬n¬n üzerindeki topoloji standartt¬r. Buna göre, a) Sürekli olan bir f : R1 ! R1 fonksiyonu yaz¬n¬z öyle ki bu fonksiyon aç¬k fonksiyon olmas¬n. Çözüm: f (x) = x2 süreklidir. Fakat aç¬k de¼ gildir. Örnek: f (( 1; 1)) = [0; 1): b) Sürekli olan bir g : R2 ! R1 fonksiyonu yaz¬n¬z öyle ki bu fonksiyon kapal¬fonksiyon olmas¬n. Yazd¬g¼¬n¬z fonksiyonun neden kapal¬olmad¬g¼¬n¬ belirtiniz. (Uyar¬: Fonksiyonun Re iki’den re bir’e istendi¼ gine dikkat ediniz!) Çözüm: g(x; y) = x; x-eksenine projeksiyon, süreklidir ve aç¬kd¬r fakat kapal¬ de¼ gildir. Örnek: kümesi xy = 1 hiperbolünün gra…¼ gi olsun. kapal¬d¬r, fakat g( ) kapal¬de¼ gildir. c) Herhangi bir h : R1 ! R1 homeomor…zmas¬ yaz¬n¬z. Aç¬klama yapman¬za gerek yok. Çözüm: h(x) = x 5. (10 p.) Aşa¼ g¬dakilerden do¼ gru olanlar¬n¬n baş¬na D, yanl¬ş olanlar¬n¬n baş¬na Y yaz¬n¬z. (Not: Her 3 yanl¬ş işaretleme 1 do¼ gru işaretlemeyi götürür.): 2 (....Y...) A \ B = A \ B (....D...) A [ B = A [ B (....D...) (A \ B) = A \ B (....Y...) (A [ B) = A [ B (...Y....) (A) = A (....Y...) A B ise A (...D....) A B=A B B (...Y....) Kompakt bir uzay¬n kapal¬bir alt kümesi kompakt olmayabilir. (...D....) Hausdor¤ olan bir uzay¬n kompakt alt kümesi kapal¬d¬r. (...Y....) fx j 0 < jxj kümesidir. 5g kümesi reel say¬ do¼ grusunun kompakt bir alt 6. I·ki Hausdor¤ uzay¬n çarp¬m¬n¬n Hausdor¤ uzay¬ oldu¼ gunu ispatlay¬n¬z. (Not: Dolay¬s¬yla sonlu say¬da Hausdor¤ uzay¬n çarp¬m¬da Hausdor¤dur.) Çözüm: X ve Y Hausdorf uzaylar olsun. X Y ’nin Hausdor¤ oldu¼ gunu gösterece¼ giz. (x1 ; y1 ) ve (x2 ; y2 ) noktalar¬ X Y uzay¬n¬n iki farkl¬noktas¬olsun. Bu noktalar¬n aç¬k kümelerle ayr¬labilece¼ gini göstermeliyiz. Bu durumda ya x1 6= x2 dir ve ya y1 6= y2 : Çünkü bunlar eşit olsayd¬ noktalar ayn¬olurdu. Şimdi x1 6= x2 olsun. Bu durumda X uzay¬Hausdor¤ oldu¼ gu için x1 ve x2 ’yi ay¬ran U1 ve U2 aç¬k kümeleri vard¬r. Bu durumda U1 Y ve U2 Y kümeleri, ki bunlar X Y çarp¬m uzay¬n¬n aç¬k kümeleridir, (x1 ; y1 ) ve (x2 ; y2 ) noktalar¬n¬ay¬r¬r. Ayn¬mant¬kla, y1 6= y2 ise, Y uzay¬n¬n Hausdor¤ oldu¼ gunu kullanarak, (x1 ; y1 ) ve (x2 ; y2 ) noktalar¬n¬ay¬rabiliriz. Bitti! 1 6 . Bonus (Supriz soru) (5 p.): Normlu vektör uzay¬(ve ya sadece 2 normlu uzay da denilebilir) nedir? Tan¬mlay¬n¬z. Çözüm: Üzerinde bir norm fonksiyonu olan vektör uzay¬na normlu uzay denir. Şimdi norm fonksiyonunu tan¬mlayal¬m. V kümesi, F cismi üzerinden bir vektör uzay¬olsun. k k : V ! F fonksiyonu şu şartlar¬sa¼ gl¬yorsa bu fonksiyona norm denir: 1) kxk 0 2) kxk = 0 () x = 0 3) k 2 F ve v 2 V için kkvk = jkj : kvk 4) kx + yk kxk + kyk : 7. (4+6 p.) a) 2. say¬labilir uzay kavram¬n¬aç¬klay¬n¬z.2. say¬labilir olan bir uzay ve 2. say¬labilir olmayan bir uzay örne¼ gi veriniz. Çözüm: Say¬labilir baz¬ olan uzay. Örne¼ gin, standart topolojili Rn ler 1 1 2. say¬labilirdir. Raltlim it ve ya Rsonlukom plem ent uzaylar¬ 2. say¬labilir de¼ gildir. b) f : X ! Y sürekli ve örten fonksiyon ve X uzay¬2. say¬labilir bir uzay olsun. Bu durumda Y ’de 2. say¬labilir olmak zorunda m¬d¬r? De¼ gilse bu duruma dair bir karş¬örnek veriniz. 3 1 1 Çözüm: f : Rstandart ! Rsonlukom plem ent fonksiyonu f (x) = x şeklinde tan¬mlans¬n. Bu fonksiyon süreklidir çünkü sonlu komplement topolojisi standart topolojinin içindedir. Bu fonksiyonun örten oldu¼ guda aşikar. 1 Bu fonksiyonun tan¬m kümesi Rstandart 2. say¬labilir uzayd¬r, fakat hedef 1 kümesi Rsonlukom gildir. plem ent 2. say¬l¬labilir uzay de¼ 8. (2+2+2+4 p.) a) Sürekli fonksiyon nedir? Tan¬mlay¬n¬z. Çözüm: Hedef uzay¬n¬n aç¬k kümelerinin ters görüntüsü aç¬k olcak. b) Dizisel sürekli fonksiyon nedir? Tan¬mlay¬n¬z. Çözüm: Tan¬m kümesindeki her yak¬nsak diziyi hedef uzay¬nda yak¬nsak bir diziye gönderen fonksiyonlar.... Limitlere sayg¬göstermeli elbette. c) Dizisel süreklilik ve süreklilik hangi tip uzaylar için denkdir? Söyleyiniz. Çözüm: 1. say¬labilir uzaylar d) Bir fonksiyon yaz¬n öyle ki dizisel sürekli olsun fakat sürekli olmas¬n. 1 1 Çözüm: S¬nav¬n en zor sorusu! f : Rsay¬ labilirtüm leyen ! Rstandart fonksiyonu f (x) = x şeklinde tan¬mlans¬n. Bu fonksiyon sürekli de¼ gildir! Bunu görmek kolay. Fakat bu fonksiyon dizisel süreklidir. I·şte bunu görmek zor. Şu videoyu izleyin: http://www.youtube.com/watch?v=sZ5fBHGYurg Burada reel say¬ do¼ grusunun say¬labilir tümleyen topoloji ile standart topolojisinin dizisel süreklilik için benzer karakterde oldu¼ guna dikkat ediniz. Sonlu tümleyen topolojisini kullansayd¬k karş¬örnek olmazd¬. 9. (2+3+5 p.) a) Ayr¬k topoloji nedir? Tan¬mlay¬n¬z. Çözüm: X bir küme ise bu kümenin güç kümesine ayr¬k topoloji denir, yani, Tayr{k = 2X : Bu topoloji en ince yani en kalabal¬k topolojidir. b) Bir küme üzerindeki topoloji ayr¬k topoloji ise bu uzaya ayr¬k uzay denir. Bir uzay¬n ayr¬k uzay olmas¬için gerek ve yeter koşulun "tek nokta kümelerinin" aç¬k olmas¬oldu¼ gunu ispatlay¬n¬z. Çözüm: Tek nokta kümelri güç kümesindedir! c) I·ki ayr¬k uzay¬n çarp¬m¬n¬n ayr¬k uzay oldu¼ gunu ispatlay¬n¬z. (Not: Dolay¬s¬yla sonlu say¬da ayr¬k uzay¬n çarp¬m¬da ayr¬k uzayd¬r.) Çözüm: X ve Y ayr¬k uzaylar olsun bu durumda fxg ; x 2 X; kümeleri X’in aç¬k kümeleridir, ayn¬ şekilde fyg ; y 2 Y; kümeleri Y ’nin aç¬k kümeleridir, ve bu nedenle f(x; y)g ; x 2 X; y 2 Y; kümeleri X Y ’nin aç¬k kümeleridir, dolay¬s¬yla X Y ayr¬k uzayd¬r. b ş¬kk¬nedeniyle... 10. (2.5+2.5+2.5+2.5 p.) Aşa¼ g¬daki uzaylardan hangisi kompaktt¬r? Hangisi de¼ gildir? Cevab¬n¬z¬n nedenini bir cümlede aç¬klay¬n¬z. 4 a) R1 ’in alt uzay¬A = [0; 1] [ f 2; 2g Çözüm: S¬n¬rl¬ve kapal¬. O halde kompakt. b) R1 ’in alt uzay¬B = 1 n j n 2 Z+ Çözüm: Kapal¬de¼ gil bu küme. (Neden? SIf¬r limit noktas¬dahil de¼ gil!...) O halde kompkat de¼ gil. c) R2 ’in alt uzay¬C = (x; y) j x2 + y 2 1 Çözüm: S¬n¬rs¬z küme. Kompakt de¼ gil. d) R2 ’in alt uzay¬D = (x; y) j x2 + y 2 = 1 Çözüm: S¬n¬rl¬ve kapal¬. Kompakt. 11. (4+4+2 p.) N = f0; 1; 2; :::g do¼ gal say¬lar kümesi olsun. Bu küme içinden (xn ) = (n); n 0; dizisi al¬n¬yor. Bu dizinin yak¬nsakl¬g¼¬ ve limiti için aşa¼ g¬daki topolojilere göre ne söyleyebilirsiniz? Dizinin limiti yoksa nedenini aç¬klay¬n¬z. Varsa, limit(ler)inin ne oldu¼ gunu söyleyiniz ve nedenini aç¬klay¬n¬z. a) N üzerindeki topoloji sonlu-tümleyen topolojisi Çözüm: Her reel say¬limit noktas¬d¬r. Çünkü bu noktay¬içeren bir U aç¬k kümesinin komplementi sonlu olaca¼ g¬için öyle bir N vard¬r ki n N için n 2 U: b) N üzerindeki topoloji say¬labilir-tümleyen topolojisi Çözüm: Limiti yok. Örne¼ gin x0 2 R noktas¬n limit noktas¬ oldu¼ gunu varsayal¬m. x0 ’¬n tam de¼ geri N 1 olsun. Şu kümeyei tan¬mlayal¬m. U = R fn j n N g : Bu durumda elbette x0 2 U olur ve U say¬labilir komplement topolojisinde bir aç¬k kümedir. Fakat bu bir çelişkidir. Çünkü, x0 noktas¬n¬ (n) dizisinin limit noktas¬ kabul etmiştik. O halde bu dizinin limit noktas¬yoktur. c) N üzerindeki topoloji R1 ’den gelen standart alt uzay topolojisi Çözüm: Bunu kalkülüsden iyi biliyoruz. Limiti yoktur! Bu dizi sonsuza gidiyor... b ş¬kk¬ndakine benzer bir aç¬klamay¬okuyucuya b¬rak¬yoruz. 12. (10 p.) X = fa; b; c; dg kümesi üzerindeki K = ffa; bg ; fb; cg ; fdgg alt taban¬n¬n belirledi¼ gi topolojiyi bulunuz. Çözüm: Önce şu önemli tespiti yapal¬m: fa; bg \ fb; cg = fbg bu topolojinin eleman¬d¬r. Çünkü altbazdan sonlu kesişimlerle baz¬ üretiyoruz. O halde bu altbaz şu baz¬ üretir: B = ffa; bg ; fb; cg ; fdg ; fbgg : Ve bu bazda key… bileşimle topolojiyi üretiyoruz. Üretilen topolojide şu: T = f ; fbg ; fdg ; fa; bg ; fb; cg ; fb; dg ; fa; b; cg ; fa; b; dg ; fb; c; dg ; Xg : T ’de bir altküme unuttuysam bana e-mail at¬n. 5 N A M I K K E M A L Ü N I·V E R S I·T E S I· F E N - E D E B I·Y A T FA K Ü L T E S I· M A T E M A T I·K B Ö L Ü M Ü MATH216 TOPOLOJI·YE GI·RI·Ş BÜTÜNLEME SINAVI BAHAR 2011-2012 05.07.2012 Bilgiler/Uyar¬lar: S¬nav 90 dakikad¬r. Bu ka¼ g¬tta her biri 15 puan de¼ gerinde 8 soru vard¬r. Aksi belirtilmedikçe, Rn ’lerin ve alt kümelerinin topolojisi standart kabul edilecektir. Soru ka¼ g¬d¬na cevaplar¬n¬z¬ yazabilirisiniz. Soru ka¼ g¬d¬na ve cevap ka¼ g¬tlar¬na isminizi yaz¬n¬z, ka¼ g¬tlar¬s¬raya koyduktan sonra, isminiz üstte kalacak şekilde ortadan ikiye katlayarak gözetmene veriniz. Başar¬lar! 1. Topolojinin tan¬m¬n¬yap¬n¬z. 3 tane topoloji örne¼ gi veriniz. Çözüm: X bir küme ve 2X bu kümenin güç kümesi olsun. (Not: Baz¬kitaplar bu küme için power of X anlam¬nda P(X) yaz¬yorlar.) T 2X güç kümesinin bir alt kümesi olsun. T şu şartlar¬ sa¼ gl¬yorsa T ’ye X’in bir topolojisidir denir: i) Boş küme ve ana küme X, T ’nin içinde olacak. ii) U1 ve U2 kümleri T ’nin içinde ise, U1 \ U2 ’de T ’nin içinde olacak. iii) T ’nin içinden key… bir fUi gi2I T al¬nd¬g¼¬nda bu koleksiyonun bütün elemanlar¬n¬n [ bileşimi Ui ’da T ’nin içinde olacak. i2I Şimdi topoloji örnekleri verelim. Kolayca sonsuz tane örnek verilebilir. X herhangi bir küme ise Ttrivial = f ; Xg ve Tayr¬k = 2X kümleri X’in topolojileridir. E¼ ger X’in 1’den fazla noktas¬varsa, bu topolojiler farkl¬d¬r. Bunun d¬ş¬nda ilginç olmas¬aç¬s¬ndan sonsuz bir kümenin sonlu tümleyen, say¬labilir tümleyen topolojileride örnek olarak verilebilir. Ve en önemli örnek elbette metrik topolojileridir. Öklit uzaylar¬n¬n standart topolojileri matemati¼ gin, …zi¼ gin, kimyan¬n, psikolojinin vb. tüm bilimlerin en temel topolojisidir. 2. Reel say¬do¼ grusunun Taltlim it topolojisi nas¬l tan¬mlan¬r? Bu topolojinin reel say¬ do¼ grusunun Tstandart topolojisinden daha ince oldu¼ gunu ispatlay¬n¬z. Çözüm: 1 B = f[a; b) j a; b 2 Rg 2R koleksiyonu baz tan¬m¬n¬n iki şart¬n¬sa¼ glar ve reel say¬do¼ grusunun bir topolojisinin baz¬d¬r. Bu baz¬n yaratt¬g¼¬topolo1 [ gu için altlimit jiyi Taltlim it ile gösteriyoruz. (a; b) = [a + n1 ; b) oldu¼ n=1 topolojisinin baz¬, standart topolojsinin baz¬n¬n elemanlar¬n¬ üretebilir, ve dolay¬s¬yla standart topolojiyi üretebili ve dolay¬syla altlimit topolojisi standart topolojiyi kapsar. Standart topolojiden daha ince oldu¼ gunu göstermek için altlimit topolojisinde (aç¬k) olan standart topolojide (aç¬k) olmayan bir eleman göstermek yeterli: [0; 1) elbette altlimit topolojisinin eleman¬d¬r. Fakat bu aral¬k standart topolojiye ait de¼ gildir. Öyle olsayd¬, [0; 1) kümesinin aç¬k aral¬klar¬n bileşimi şeklinde yaz¬l¬yor olmas¬ 1 gerekirdi. Bu durumda s¬f¬r noktas¬n¬içeren bir aç¬k aral¬g¼¬n bu kümenin alt kümesi olmas¬gerekirdi ki bu mümkün de¼ gil! 1 ; 2 > 0 olmak üzere ( 1 ; 2 ) [0; 1) olabilir mi? Olamaz. 3. a) R1 ’de şu kümelerin kapan¬ş¬n¬ve içini bulunuz: A = Q, B = 1 n j n 2 Z+ Çözüm: A = ;A=R B = ; B = B [ f0g b) R2 ’de şu kümlerin kapan¬ş¬n¬ ve içini bulunuz: C = Z (x; y) j x > 0; x2 + y 2 1 Q, D = Çözüm: C =Z Q = = ;C=Z 2 2 Q=Z R; D = (x; y) j x > 0; x + y < 1 ; D = (x; y) j x 0; x2 + y 2 1 4. f : X ! Y ve g : Y ! Z sürekli fonksiyonlar olsun. Bileşke fonksiyon g f : X ! Z’un sürekli oldu¼ gunu ispatlay¬n¬z. Çözüm: W Z’de aç¬k olsun, bu durumda g sürekli oldu¼ gu için, g 1 (W ) kümesi 1 1 Y ’de aç¬k olur, ve f sürekli oldu¼ gu için, f (g (W )) kümesi X’de aç¬k olur. Fakat, f 1 (g 1 (W )) = (g f ) 1 (W ) oldu¼ gu için, g f fonksiyonuna göre, W ’nun ters görüntüsü aç¬kt¬r. W kümesi Z’den key… al¬nm¬ş bir aç¬k küme oldu¼ guna göre, g f süreklidir. 5. Şu tan¬mlar¬yap¬n¬z: a) Hausdor¤ uzay¬b) Regüler uzay c) Normal Uzay d) 2. say¬labilir uzay e) Kompakt uzay Çözüm: Tan¬mlar¬yaparken matematiksel semboller kullanmayaca¼ g¬m. a) Bir topolojik uzay¬n herhangi iki farkl¬noktas¬aç¬k kümeler ile ayr¬labiliyorsa bu uzaya Hausdor¤ denir. b) Bir topolojik uzay¬n herhangi bir kapal¬kümesi ve bu kapal¬kümeye ait olmayan herhangi bir noktas¬aç¬k kümeler ile ayr¬labiliyorsa bu uzaya regüler uzay denir. c) Bir topolojik uzay¬n herhangi bir kapal¬ kümesi ve bu kapal¬ kümeyle kesişmeyen herhangi bir di¼ ger kapal¬kümesi, aç¬k kümeler ile ayr¬labiliyorsa bu uzaya normal uzay denir. d) Bir topolojik uzay¬n say¬labilir bir baz¬varsa bu uzaya 2. say¬labilir uzay denir. e) Bir topolojik uzay¬n herhangi bir örtüsünün sonlu bir alt örtüsü bulunabiliyorsa bu uzaya kompakt uzay denir. 6. a) T1 olan fakat T2 (Hausdorf) olmayan bir uzay söyleyiniz. Çözüm: (R1 ; Tsonlutüm leyen ): Not: Tsonlutüm leyen topolojisinin tan¬m¬için ders notlar¬na bak¬n¬z. b) T2 (Hausdorf) olan fakat T3 olmayan bir uzay söyleyiniz. 2 Çözüm: (R1 ; TK ) Not: TK topolojisinin tan¬m¬için ders notlar¬na bak¬n¬z. 7. X kompakt bir uzay ve A X bu uzay¬n kapal¬ bir alt kümesi olsun. A’n¬n da kompakt oldu¼ gunu ispatlay¬n¬z. Çözüm: A’n¬n herhangi bir V = fVi gi2I örtüsü verilsin. V’nin sonlu alt örtüsünün bulunabilece¼ gini göstermeliyiz. Vi kümelerini X’in aç¬k alt kümeleri olarak görebiliriz. Şimdi, A kapal¬olarak verilmişti. U = X A şeklinde bir küme tan¬ml¬yal¬m. U aç¬k kümedir. Bu durumda U = V[ fU g koleksiyonu X’in bir örtüsüdür. X kompakt oldu¼ gu için, U’nun X’i kaplayan sonlu bir altörtüsü vard¬r. Bu sonlu örtüde U ’nun var olmas¬elbette zorunlu de¼ gildir. Fakat, yoksada U ’yu ekleyerek başka bir sonlu altörtü elde edilebilir. Velhas¬l... U’nun U 0 = fV1 ; V2 ; ::::; Vk g [ fU g şeklinde sonlu bir alt örtüsü vard¬r. Bu durumda fV1 ; V2 ; ::::; Vk g kümesi elbette Y ’yi kaplad¬g¼¬ ve fV1 ; V2 ; ::::; Vk g V oldu¼ gu için V’nin sonlu bir altörtüsüdür. I·stenen gösterildi. 8. X sonlu bir küme ve T bu kümenin herhangi bir topolojisi olsun. (X; T ) uzay¬n¬n kompakt oldu¼ gunu ispatlay¬n¬z. Çözüm: U koleksiyonu X’in herhangi bir örtüsü olsun. U’nin sonlu alt örtüsünün bulunabilece¼ gini göstermeliyiz. Şimdi X sonlu bir küme olarak verilmişti. O halde X = fx1 ; x2 ; ::::; xn g şeklinde düşünülebilir. Şimdi, U koleksiyonu X’i örttü¼ güne göre, her xi 2 X için xi 2 Ui olacak şekilde bir Ui 2 U aç¬k kümesi bulunabilir. Bu şekilde seçti¼ gimiz kümeleri bir bohçaya koyarsak, elbette U’nun sonlu bir alt örtüsünü elde etmiş oluruz. Bu sonlu örtünün eleman say¬s¬ en fazla n’dir. Çünkü farkl¬ noktalar için ayn¬kümeler seçilebilece¼ ginden bu koleksiyonun eleman say¬s¬n’den küçük olabilir. Bu daha iyi. :) (8. sorunun alternatif çözümü: Ö: Hocam, bu soru saçma! Sonlu kümenin güç kümeside sonludur, dolay¬s¬yla bu kümenin herhangi bir topolojiside sonludur, dolay¬s¬yla al¬nacak herhangi bir örtüde zaten sonlu olur. I·spatlancak bişey yok! Siz ne yap¬yor sunuz? H: Ama, en az¬ndan en çok n tane küme ile kaplanabilece¼ gini gösterdim. Güvercin deli¼ gi prensibi. Kem küm.) 3 N A M IK K E M A L Ü N I·V E R S I·T E S I· F E N -E D E B I·YAT FA K Ü LT E S I· M AT E M AT I·K B Ö L Ü M Ü MAT216 TOPOLOJI·YE GI·RI·Ş ARA SINAV I BAHAR 12.04.2013 1. X = f1; 2; 3g kümesinin bir alt küme koleksiyonu olarak F = ff1g ; f1; 3g ; f2; 3gg kümesi veriliyor. Fakat, bu koleksiyonun baz olmad¬g¼¬ farkediliyor. Bu koleksiyonu baz yapmak için bir alt küme eklenmesi yeterlidir. Bu altkümeyi ekleyip oluşan baz¬aşa¼ g¬daki eşitli¼ gin sa¼ g¬ndaki boşlu¼ ga yaz¬n¬z. Ayr¬ca, bu baz¬n yaratt¬g¼¬topojiyide ayn¬ şekilde yaz¬n¬z. Çözüm: B = ff1g ; f3g ; f1; 3g ; f2; 3gg ; T = f ; f1g ; f3g ; f1; 3g ; f2; 3g ; Xg 2. Aşa¼ g¬daki topolojilerin en bilinen bazlar¬n¬ yaz¬n¬z. (Not: Topolojinin kendisi kendisinin baz¬d¬r, şeklindeki kurnaz cevaplar puan almayacakt¬r): Çözüm: a) (R1 ; Tstandart )’¬n baz¬:f(a; b) j a; b 2 Rg ; b) (R1 ; Taltlimit )’in baz¬:f[a; b) j a; b 2 Rg ; c) (R1 ; Tüstlimit )’in baz¬:f(a; b] j a; b 2 Rg d) (Rn ; Tstandart )’¬n baz¬(n 2). Bu baz¬yazarken x merkezli r yazr¬çapl¬küreyi B(x; r) ile gösteriniz: ( ) n X fB(x; r) j x 2 Rn ; r 2 R+ g. Burada, B(x; r) = y 2 Rn j (xi yi )2 < r2 : i=1 3. R1 ’in bir alt küme koleksiyonu özel olarak şu şekilde tan¬mlan¬yor: Tözel = U R1 j 0 2 U [ f g : Yani, reel say¬do¼ grusunun, s¬f¬r say¬s¬n¬içeren tüm altkümelerini ve birde ek olarak boş kümeyi içeren koleksiyon. Bu koleksiyonun R1 ’in bir topolojisi oldu¼ gunu ispatlay¬n¬z. Çözüm: 1. şart: zaten içinde verilmiş. 0 2 R1 oldu¼ gu için R1 2 T 2. şart: U1 ve U2 2 T olsunlar. U1 ve U2 s¬f¬r¬ içeriyorsa U1 \ U2 ’de içerir. O halde U1 \ U2 2 T: Hatta bu topolojide sonsuz keşimlerinde içerde oldu¼ gunu gözlemliyoruz. 3. şart: fUi gi2I T key… say¬da eleman içeren T ’den al¬nm¬ş elemanlardan oluşan bir koleksiyon [ olsun. Her Ui s¬f¬r¬içerdi¼ gi için elbette bu kümelerin bileşimleride s¬f¬r¬içerir. Yani Ui 2 T: i2I 4. Sonsuz tane kapal¬kümenin bileşimi kapal¬olmayabilir. Hatta tamamen aç¬k bir küme olabilir. Bunu bize gösteren reel say¬do¼ grusu üzerinde sonsuz bir bileşim yaz¬n¬z. 1 [ Çözüm: (0; 1) = [ n1 ; 1 n1 ]. I·ndexi daha güzel olsun diye 3’den başlatt¬k. 2’den de başlayabilirdi. Ama 1’den n=3 başlayamaz... 5. X bir htopolojik gilinin kapan¬ş¬n¬n de¼ gilinin A’n¬n içi oldu¼ gunu, i0 uzay olsun ve A bu X’in bir alt kümesi olsun. A’n¬n de¼ 0 yani, (A ) = A oldu¼ gunu ispatlay¬n¬z. (Not: Kulland¬g¼¬n¬z teoremin ne oldu¼ gunu belirtiniz.) h i0 Çözüm: (A0 ) = [(A )0 ]0 = A : Bitti! Burada, 1. eşitlikte, (A0 ) kümesinin (A )0 kümesi oldu¼ gunu söyleyen teoremi kulland¬k. Ayrca bir kümenin de¼ gilinin de¼ gili kendisini verir. Bunuda 2. eşitlikde kulland¬k. 6. Aşa¼ g¬daki do¼ grusal kümelerin iç, kapan¬ş ve s¬n¬rlar¬n¬eşitten sonra yan¬na yaz¬n¬z. Aç¬klama istenmiyor: Çözüm: a) A = (0; 1] [ f2g R1 n o A = (0; 1); A = [0; 1] [ f2g ; @A = f0; 1; 2g b) B = 2n n+1 j n 2 Z+ R1 B = ; B = B [ f2g ; @B = B = B [ f2g c) C = fx j x irrasyonel bir say¬d¬r.g C = ; C = R1 ; @C = C = R1 R1 7. U R1 bir aç¬k küme olsun. U \ Q = U oldu¼ gunu ispatlay¬n¬z. Çözüm: U \ Q U \Q = U \R1 = U oldu¼ gu için U \ Q U olur. O halde sadece U U \ Q oldu¼ gunu göstermemiz gu yeterli. Şimdi, x 2 U olsun. Bu durumda, x noktas¬U kümesinin limit noktas¬d¬r. Yani x’in her V aç¬k komşulu¼ U kümesini keser. Yani 9y 2 U öyle ki y 2 U \ V: Şimdi U ve V aç¬k oldu¼ gu için U \ V kümesi aç¬kd¬r. O halde, aç¬k kümenin karakterizasyonundan, 9 > 0 öyle ki (y ; y + ) U \ V: Fakat elbette reel say¬do¼ grusunun her aç¬k aral¬g¼¬rasyonel say¬da içerdi¼ ginden, (y ; y + ) \ Q 6= ve dolay¬s¬yla U \ V \ Q 6= olur. Ve sonuç: x’in her aç¬k komşulu¼ gu U \ Q’yu keser. Yani x 2 U \ Q: Böylece, U U \ Q oldu¼ guda gösterilmiş oldu. 8. Aşa¼ g¬daki düzlemsel kümelerin iç, kapan¬ş ve s¬n¬rlar¬n¬eşitten sonra yan¬na yaz¬n¬z. Aç¬klama istenmiyor: Çözüm: a) A = f(x; y) j x 2 Z; y 2 Qg A = ; A = f(x; y) j x 2 Z; y 2 Rg @A = A = f(x; y) j x 2 Z; y 2 Rg b) B = (x; y) j x2 + y 2 > 1; y 0 B = (x; y) j x2 + y 2 > 1; y > 0 B = (x; y) j x2 + y 2 1; y @B = (x; y) j x2 + y 2 = 1; y 0 0 [ f(x; 0) j jxj c) C = (x; y) j x2 + y 2 = 1; y > 0 C = ; C = (x; y) j x2 + y 2 = 1; y @C = C = (x; y) j x2 + y2 = 1; y 9. a) (X; d) bir metrik uzay ise d : X 1g 0 0 X ! R1 fonksiyonu hangi şartlar¬sa¼ glamal¬d¬r? Dört şart¬da yaz¬n¬z. b) Şimdi özel olarak, X = R1 ve d(x; y) = jx ediniz. I·spat¬n¬z ikna edici olsun. yj olsun. Bu metri¼ gin üçgen eşitsizli¼ gini sa¼ glay¬p sa¼ glamad¬g¼¬n¬kontrol Çözüm: a) 1) Non-negativity d(x; y) 0; 8x; y 2 X: 2) S¬f¬r şart¬d(x; y) = 0 , x = y: 3) Simetri d(x; y) = d(y; x); 8x; y 2 X: 4) Üçgen eşitsizli¼ gi d(x; z) + d(z; y) d(x; y); 8x; y; z 2 X: b) d(x; z) + d(z; y) d(x; y) 8x; y; z 2 R1 , jx zj + jz , (Kare ald¬kdan sonra:) juj jvj uv 8u; v 2 R1 , jtj Dolay¬s¬yla ilk yaz¬lan önermede do¼ gruymuş... 10. X kümesi 100 elemanl¬d¬r. Bu kümenin 2100 yj jx yj 8x; y; z 2 R1 , juj + jvj ju + vj 8u; v 2 R1 t 8t 2 R1 : Son yaz¬lan şey çok bildik bir olay ve do¼ gru... 1 tane alt küme içeren topolojisi olamaz. I·spatlay¬n¬z. Çözüm: Soruda, 100 elemanl¬ bir küme için kuvvet kümesi olan 2X kümesinden bir eleman ç¬kararak topoloji elde edemiyece¼ gimizin ispatlanmas¬isteniyor... E¼ ger ç¬kard¬g¼¬m¬z küme tek nokta kümesi de¼ gilse, yani tek nokta kümeleri topolojinin içindeyse bu topoloji ayr¬k topoloji olur ve 2100 elemanl¬d¬r ve küme ç¬karamay¬z. O halde e¼ ger küme ç¬karacaksak önce tek nokta kümelerinden başlamal¬y¬z. Örne¼ gin, X = f1; 2; 3; :::; 100g kümesi olsun ve f1g kümesini 2X kümesinden sildi¼ gimizi düşünelim. Geriye kalan koleksiyon topoloji olamaz. Çünkü geriye kalan koleksiyonda f1; 2g ve f1; 3g kümeleri vard¬r, ve topolojinin 2. şart¬ndan dolay¬f1; 2g \ f1; 3g = f1g kümesininde iddia edilen topolojide olmas¬gerekir. Fakat o ç¬kart¬lm¬şt¬. Dolay¬s¬yle f1g kümesini 2X kümesinden ç¬kard¬g¼¬m¬zda kalan koleksiyon topoloji de¼ gildir. Fakat ayn¬aç¬klama, f2g ; f3g ; :::; f100g tek nokta kümeleri içinde geçerli. O halde, 100 elemanl¬bir kümenin 100 2 1 elemanl¬topolojisi yoktur. 11. (Bonus, 5 p.) Sizce topoloji nedir? Aşa¼ g¬ya TEK cümle yaz¬n¬z. Çözüm: Topoloji boşluktaki karalamalard¬r. N A M IK K E M A L Ü N I·V E R S I·T E S I· F E N -E D E B I·YAT FA K Ü LT E S I· M AT E M AT I·K B Ö L Ü M Ü MATB216 TOPOLOJI·YE GI·RI·Ş ARA SINAV II BAHAR 17.05.2013 1. (10 p.) X = f1; 2; 3g kümesinin, e¼ ger varsa, a) 6 elemanl¬bir topolojisini ve b) 7 elemanl¬bir topolojisini yaz¬n¬z. Çözüm: a) f ; f1g ; f2g ; f1; 2g ; f1; 3g ; Xg b) Yok 2. a) (5 p.) Altuzay’¬n tan¬m¬n¬yap¬n¬z. Çözüm: (X; T ) topolojik uzay ve A X bir altkümesi olsun. TA = fA \ U j U 2 T g koleksiyonu, A kümesi üzerinde bir topolojidir ve A’n¬n altuzay topolojisi olarak adland¬r¬l¬r. (A; TA ) topolojik uzay¬na X’in altuzay¬ad¬verilir. b) (5 p.) X bir topolojik uzay A ve B aç¬k altkümeleri olsun. A ve B’nin altuzay topolojileri s¬ras¬ile TA ve TB olsun. Ve de A \ B kümesinin alt uzay topolojisi ise TA\B olsun. Bu durumda, TA\B = TA \ TB olduu¼ gunu ispatlay¬n¬z. Çözüm: Ana küme X’in topolojisini yine T har…yle gösterelim. 1) Önce TA \ TB TA\B yönünü gösterelim: V 2 TA \ TB ise V = A \ U = B \ U 0 şeklinde yaz¬labilir. Burda U ve U 0 2 T: O halde V A ve V B ve dolay¬s¬yla V A \ B olur. V = V \ A \ B = A \ U \ A \ B = (A \ B) \ U olaca¼ g¬için V 2 TA\B sonucu ç¬kar. 2) Şimdi de zor olan TA\B TA \ TB yönünü gösterelim: V 2 TA\B ise öyle bir U 2 T vard¬r ki V = A \ B \ U şeklindedir. Fakat bu durumda bu kümeyi iki farkl¬durumda yazabiliriz. V = A \ (B \ U ) = A \ U 0 şeklinde yazarsak, ki burada B aç¬k küme oldu¼ gu için U 0 = B \ U 2 T ’dir, V 2 TA oldu¼ gunu görürüz. V = B \ (A \ U ) = B \ U 00 şeklinde yazarsak, ki burada A aç¬k küme oldu¼ gu için U 00 = A \ U 2 T ’dir, V 2 TB oldu¼ gunu görürüz. Dolay¬s¬yla V 2 TA \ TB olur. 1) ve 2)’den TA\B = TA \ TB . 3. (10 p.) Aşa¼ g¬daki kümelerin yaşad¬klar¬standart Öklit uzay¬ndaki iç ve kapan¬şlar¬bulunuz: n o 2n Çözüm: a) A = n+1 j n 2 Z + ; A = ; A = A[f0g b) B = (x; y) j x2 + y 2 < 1 B = B; B = (x; y) j x2 + y 2 c) C = (x; y) j x2 + y2 1 < 1 ve x 2 Q ; C = ; C = B 4. X bir topolojik uzay ve A X bir alt kümesi olsun. a) (5 p.) A kümesinin s¬n¬r¬@A’n¬n tan¬m¬n¬yaz¬n¬z. Çözüm: @A = ::::A A ::::::: b) (5 p.) @A = X ise A’n¬n X’in yo¼ gun bir altkümesi oldu¼ gunu ve de içinin boş oldu¼ gunu ispat ediniz. Çözüm: @A = A A = X =) A = X ve A = A = ’de içinin boş oldu¼ gunu söylüyor... olmak zorundad¬r. A = X eşitli¼ gi A’n¬n X’de yo¼ gun oldu¼ gunu, 5. a) (5 p.) Sürekli fonksiyon olan fakat aç¬k fonksiyon olmayan bir f : (R1 ; Tstandart ) ! (R1 ; Tstandart ) fonksiyonu örne¼ gi veriniz. Yazd¬g¼¬n¬z fonksiyonun neden aç¬k olmad¬g¼¬n¬belirtmezseniz tam puan alamazs¬n¬z. Çözüm: f (x) = x2 : Aç¬k de¼ gil, mesela f ((0; 1)) = [0; 1); aç¬k fonksiyon tan¬m¬na ayk¬r¬... b) (5 p.) Kapal¬ fonksiyon olan fakat sürekli fonksiyon olmayan bir g : (R1 ; Tstandart ) ! (R1 ; Tstandart ) fonksiyonu örne¼ gi veriniz. Fonksiyonu yazman¬z yeterli. Hiçbir aç¬klama yapman¬z istenmiyor. Çözüm: f (x) = 6. (10 p.) (0; 1) ispatlay¬n¬z. 0 1 x<0 x 1 (0; 1) karesinin tüm düzleme yani R2 ’ye homemor…k oldu¼ gunu, bir homeomor…zma fonsiyonu kurarak, 2y 1 2x 1 ; ): Bu fonksiyonu şöyle elde ettik: f : (0; 1) ! 2 1 (2x 1) 1 (2y 1)2 x ( 1; 1); f (x) = 2x 1 fonksiyonunun homeomor…zma oldu¼ gu bariz. g : ( 1; 1) ! R1 ; g(x) = fonksiyonunun 1 x2 1 homemor…zma oldu¼ gunu s¬n¬fta göstermiştik. Dolay¬s¬yla g f : (0; 1) ! R homeomor…zmad¬r. Bu homeomor…zmay¬ kendisi ile kartezyen çarparsak F = g f g f : (0; 1) (0; 1) ! R1 R1 = R2 homeomor…zmas¬n¬elde ederiz. Çözüm: F : (0; 1) (0; 1) ! R2 ; F (x; y) = ( 7. Şu kavramlar¬n tan¬m¬yap¬n¬z (4x2.5 p): I·zole Nokta: X bir topolojik uzay ve A altuzay¬olsun. E¼ ger bir a 2 A noktas¬n¬n U \ A = fag şart¬n¬sa¼ glayan bir U aç¬k komşulu¼ gu varsa, a noktas¬na A altkümesinin izole noktas¬ad¬verilir. Y¬g¼¬lma Noktas¬: X bir topolojik uzay ve A altuzay¬ olsun. E¼ ger bir x 2 X noktas¬n¬n her U komşulu¼ gu için, (U fxg) \ A 6= şart¬sa¼ glan¬yorsa, x noktas¬na y¬g¼¬lma noktas¬denir. x noktas¬A kümesine ait olmayabilir. Fakat, A’ya aitse izole nokta olamaz. Lokal Baz: (X; T ) bir topolojik uzay ve x 2 X olsun. T (x) notasyonu x’in tüm aç¬k komşuluklar¬n¬n koleksiyonu olsun. B(x) koleksiyonu şu şartlar¬sa¼ gl¬yorsa B(x)’e x noktas¬n¬n T topolojisine göre bir lokal baz¬d¬r denir: i) B(x) T (x), yani B(x)’de x’in bir aç¬k komşuluklar koleksiyonudur. ii) 8V 2 T (x) için; 9U 2 B(x) öyle ki U V: Elbette T (x)’in kendisi otomatik olarak bir lokal bazd¬r. 1. Say¬labilir Uzay: (X; T ) bir topolojik uzay olsun. E¼ ger her x 2 X için x’in say¬labilir bir lokal baz¬bulunabiliyorsa, X uzay¬na 1. say¬labilir uzay ad¬verilir. 8. a) (5 p.) (Rn ; Tstandart ) uzay¬2.say¬labilirdir. I·spatlay¬n¬z. Çözüm:Bu uzay¬n say¬labilir standart baz¬= fB ((x1 ; x2 ; ::::xn ) ; r) j x1 ; x2 ; ::::xn 2 Q; r 2 Q+ g : Burada B ((x1 ; x2 ; ::::xn ) ; r) yine (x1 ; x2 ; ::::xn ) merkezli ve r yar¬çapl¬küreyi gösteriyor. b) (5 p.) (R1 ; Tüstlimit ) uzay¬1.say¬labilirdir. I·spatlay¬n¬z. Çözüm: a 2 R1 ise bu noktan¬n say¬labilir bir lokal baz¬ B(a) = U 2 Tüstlimit (a) ise bir n bulabiliriz öyle ki (a n1 ; a] U: 1 n ; a] (a j n 2 Z+ koleksiyonudur. Çünkü 9. a) (5 p.) Hem aç¬k, hem de sürekli olan örten bir fonksiyon bölüm fonksiyonudur. I·spat ediniz. Çözüm: p : X ! Y fonksiyonu aç¬k, örten ve sürekli fonksiyon olsun. Bölüm fonksiyonu oldu¼ gunu göstermek için p 1 (V ) X aç¬k ise V Y ’nin aç¬k oldu¼ gunu göstermemiz yeterli (Bölüm fonksiyonun tan¬m¬n¬hat¬rlay¬n¬z!). Fakat bu oldukça kolay: p aç¬k fonksiyon oldu¼ gu için p aç¬k kümeleri aç¬k kümelere götürecektir. Dolay¬s¬yla p(p 1 (V )) = V aç¬k olacakt¬r. b) (5 p.) Bir bölüm fonksiyonu yaz¬n öyle ki bu fonksiyon aç¬k fonksiyon olmas¬n. Hiçbir aç¬klama yapman¬z istenmiyor. Fonksiyonun tan¬m kümesini, hedef kümesini ve kural¬n¬belirterek yaz¬n ve b¬rak¬n. Çözüm: exp(2 ix) : [0; 1] ! S 1 : Burada, S 1 = (x; y) j x2 + y 2 = 1 birim çember... C; komplex say¬lar düzlemine oturtulmuş 10. (X1 ; T1 ) ve (X2 ; T2 ) iki topolojik uzay olsun. a) (4 p.) X1 X2 kümesinin çarp¬m topolojisinin standart baz¬n¬aşa¼ g¬daki boşlu¼ ga yaz¬n¬z. Çözüm: Bstandart = :::::: fV1 V2 j V1 2 T1 ve V2 2 T2 g :::::: b) (7 p.) (X1 ; T1 ) ve (X2 ; T2 ) uzaylar¬n¬n bazlar¬ s¬ras¬ ile B1 ve B2 ise a ş¬kk¬ndaki yazd¬g¼¬n¬z bazdan çok daha ekonomik bir baz Bekonomik = fU1 U2 j U1 2 B1 ve U2 2 B2 g koleksiyonudur. a ş¬kk¬n¬kullanarak Bekonomik kümesinin çarp¬m topolojisinin baz¬oldu¼ gunu ispatlay¬n¬z. Çözüm: Bstandart ’¬n elemanlar¬[ n¬n Bekonomik ’in elemanlar¬ taraf¬ndan yarat¬ld¬g¼¬n¬ göstermemiz yeterli. V1 V2 2 Bstandart olsun. Şimdi V1 = U1i şeklinde yaz¬labilir, burada U1i ’ler B1 baz¬n¬n elemanlar¬... Benzer şekilde, V2 = [ i2I U2j şeklinde yaz¬labilir, burada U2j ’ler B2 baz¬n¬n elemanlar¬... Bu durumda j2J V1 V2 = [ i2I olur. Fakat U1i U1i ! 0 @ [ j2J 1 U2j A = [ U1i U2j i2I;j2J U2j kümelerinin hepsi Bekonomik baz¬n¬n elemanlar¬d¬r. c) (4 p.) b ş¬kk¬n¬ kullanarak (X1 ; T1 ) ve (X2 ; T2 ) uzaylar¬ 2.say¬labilir ise X1 oldu¼ gunu ispatlay¬n¬z. X2 çarp¬m uzay¬n¬nda 2.say¬labilir Çözüm: (X1 ; T1 ) ve (X2 ; T2 ) uzaylar¬n¬n say¬labilir bazlar¬s¬ras¬ile B1 ve B2 olsun. Bekonomik koleksiyonun X1 X2 çarp¬m uzay¬n¬n baz¬ oldu¼ gunu yukar¬da söylemiştik. Bu baz¬n say¬labilir oldu¼ gunu görmek kolay: jBekonomik j = jB1 j : jB1 j = 0 : 0 = 0 : N A M IK K E M A L Ü N I·V E R S I·T E S I· F E N -E D E B I·YAT FA K Ü LT E S I· M AT E M AT I·K B Ö L Ü M Ü MATB216 TOPOLOJI·YE GI·RI·Ş SON SINAV BAHAR 06.06.2013 1. (10 p.) a) X = f1; 2; 3g kümesinin 5 elemanl¬bir topolojisini yaz¬n¬z. Çözüm: f1; 2g’nin kuvvet kümesine X’i dahil etmek yeterli. b) X = f1; 2; 3; 4g kümesinin 9 elemanl¬bir topolojisini yaz¬n¬z. Çözüm: f1; 2; 3g’ün kuvvet kümesine X’i dahil etmek yeterli. 2. (15 p.) Aşa¼ g¬daki kümelerin yaşad¬klar¬Öklit uzay¬ndaki iç ve kapan¬şlar¬n¬bulunuz: a) A = fx j 0 < x < 1 ve x 2 Qg ; A = , A = [0; 1] b) B = R1 Z; B = B, B = R1 c) C = f(x; y) j x 2 Q; y > 0g, 1 1 C = , C = f(x; y) j y 0g d) D = ( m ; y) j m 2 Z + ve y > 0 , D = , D = ( m ; y) j m 2 Z + ve y 0 [ f(0; y) j y 0g e) E = f(x; y) j xy = 1g, E = , E = E 3. (10 p.) a) A aç¬k bir küme ise A (A) oldu¼ gunu ispatlay¬n¬z. b) Aç¬k olmayan bir A kümesi bulun öyle ki (A) kümesi A’y¬içine almas¬n. Reel say¬do¼ grusu üzerinde böyle bir örnek bulabilirsiniz. Çözüm: a) A A ve A aç¬k... Şimdi, tan¬m gere¼ gi, (A) kümesi A kümesinin içindeki en büyük aç¬k küme oldu¼ gu için A’y¬ kapsamal¬d¬r. (Extra Soru: Acaba A daha küçük olabilir mi?) b) Reel say¬ do¼ grusunda A = [0; 1) alal¬m. Bu durumda, A = [0; 1] ve A = (0; 1) olur. A kümesi A’y¬kapsam¬yor... 4. (15 p.) Aşa¼ g¬daki yaz¬lan eşitliklerin yanl¬ş olabilece¼ gini gösteren, (R1 ; Tstandart ) uzay¬ndan karş¬ örnekler veriniz. Kümeleri yazman¬z yeterli. Aç¬klama yapmay¬n¬z. a) A \ B = A \ B; A = (0; 1) B = (1; 2) b) (C [ D) = C [ D ; C = [0; 1] D = [1; 2] c) @(E \ F ) = @E \ @F; E = (0; 1) F = (1; 2) d) @(G [ H) = @G [ @H, G = [0; 1] H = [1; 2] 5. (10 p.) a) Homeomor…zma nedir? Homeomor…k uzaylar nedir? Tan¬mlay¬n¬z. Çözüm: Bijektif, sürekli ve tersi sürekli olan fonksiyonlar homeomor…zmad¬r. E¼ ger iki uzay aras¬nda böyle bir fonksiyon varsa bu uzaylara homeomor…k 1 uzaylar denir. b) R say¬do¼ grusunun (1000; 1) aç¬k kümesine homeomor…k oldu¼ gunu gösteren bir homeomor…zma fonksiyonu yaz¬n¬z. Aşa¼ g¬daki boşlu¼ gu doldurman¬z yeterli: Çözüm: f : R1 ! (1000; 1) ve f (x) = ex + 1000: 6. (10 p.) a) I·ki aç¬k fonksiyonun bileşkesinin aç¬k fonksiyon oldu¼ gunu ispat ediniz. Çözüm: f : X ! Y ve g : Y ! X aç¬k fonksiyon olsunlar. U X aç¬k ise, f aç¬k fonksiyon oldu¼ gu için, f (U ) Y de aç¬kt¬r. Şimdi, g’de aç¬k fonksiyon oldu¼ gu için g(f (U )) = g f (U ) Z de aç¬kt¬r. U key… oldu¼ gu için, g f aç¬k fonksiyondur. b) Sürekli bir fonksiyon ile aç¬k bir fonksiyonun bileşkesi aç¬k olmak zorunda m¬d¬r? De¼ gilse, karş¬örnek veriniz. Çözüm: Hay¬r. Say¬do¼ grusu üzerindeki şu fonksiyonlar¬düşünelim: f (x) = x2 ve g(x) = x: Şimdi, f sürekli g homeomor…zma fakat g f = f aç¬k de¼ gil... 7. (10 p.) X ve Y uzaylar¬1. say¬labilir uzaylar ise X Y çarp¬m uzay¬n¬nda 1. say¬labilir uzay oldu¼ gunu ispatlay¬n¬z. Çözüm: (x0 ; y0 ) 2 X Y olsun. B1 (x0 ) ve B2 (y0 ) s¬ras¬ile x0 2 X ve y0 2 Y noktalar¬n¬n say¬labilir lokal bazlar¬olsunlar. (X ve Y 1. say¬labilir oldu¼ gu için böyle lokal bazlar vard¬r...) Şimdi, B = fU V j U 2 B1 (x0 ) ve V 2 B2 (y0 )g kümesi (x0 ; y0 ) 2 X Y noktas¬n¬n say¬labilir bir lokal baz¬d¬r. Bitti. 8. (10 p.) a) T1 olmayan bir topolojik uzay örne¼ gi veriniz: b) T1 olan fakat T2 olmayan bir topolojik uzay örne¼ gi veriniz. Çözüm: a) X = f1; 2; 3g kümesinin T = f ; f1g ; Xg topolojisi. Noktalar¬n hiçbiri kapal¬de¼ gil! b) (R1 ; Tsonlu-tümleyen ) 9. (10 p.) X sonlu bir küme ve T bir topolojisi olsun. (X; T ) uzay¬ T1 ise T ’nin ayr¬k topoloji oldu¼ gunu ispatlay¬n¬z. (Hat¬rlatma: Bir uzay¬n T1 olmas¬, bu uzay¬n tek nokta kümelerinin kapal¬küme olmas¬anlam¬na geliyordu...) Çözüm: X = fx1 ; x2 ; ::::; xn g olsun. T topolojisi T1 oldu¼ gu için[ her fxj g kümesi kapal¬d¬r. Kapal¬kümelerin sonlu bileşimleri kapal¬ olaca¼ g¬ için: Her 1 i n için X fxi g = fxj g kümeleride kapal¬d¬r. Dolay¬s¬yla (X fxi g)0 = fxi g i6=j kümeleri aç¬kt¬r. Noktalar¬n aç¬k oldu¼ gunu gösterdik. Bu durumda herşey aç¬kt¬r (ve kapal¬d¬r. :))... Sonuç: T = 2X : 10. (Bonus, 10 p.) Hausdor¤ olan fakat regüler olmayan bir uzay örne¼ gi veriniz. Bu uzay¬n neden regüler olmad¬g¼¬n¬ aç¬klay¬n¬z. Çözüm: (R1 ; TK ): Aç¬klama için ders notlar¬na bak¬n¬z... N A M IK K E M A L Ü N I·V E R S I·T E S I· F E N -E D E B I·YAT FA K Ü LT E S I· M AT E M AT I·K B Ö L Ü M Ü MATB216 TOPOLOJI·YE GI·RI·Ş BÜTÜNLEME SINAVI BAHAR 27.06.2013 1. X = fr; s; tg kümesinin 4, 5 ve 6 elemanl¬topolojilerinden bir tanesini yaz¬n¬z. Çözüm: T4 = f ; frg ; fr; sg ; Xg T5 = f ; frg ; fsg ; fr; sg ; Xg T6 = f ; frg ; fsg ; fr; sg ; fr; tg ; Xg 2. Aşa¼ g¬daki kümelerin yaşad¬klar¬Öklit uzay¬ndaki iç ve kapan¬şlar¬n¬bulunuz: Çözüm: a) A = 2 n n j n 2 Z + : A = ; A = A [ f 1g b) B = [0; 1) [ (1; 2]: B = (0; 1) [ (1; 2); B = [0; 2] c) C = f(x; y) j x 2 Z ve y > 0 ve y 2 Qg: C = d) D = f(x; y) j x C = f(x; y) j x 2 Z ve y 0g y ve y > 0g: D = f(x; y) j x < y ve y > 0g ; D = f(x; y) j x y ve y 0g e) E = f(x; y) j x = 1g: E = ; E = E 3. Aşa¼ g¬daki tan¬mlar¬yap¬n¬z: Çözüm: (Bir metrik uzay içindeki) S¬n¬rl¬Altküme: Çap¬sonlu olan altküme... Alt Baz: X bir küme ve S X olsun. E¼ ger S’nin elemanlar¬n¬n sonlu kesişimleri ile üretilen koleksiyon X’in bir topolojisinin baz¬oluyorsa, S koleksiyonuna altbaz (üretti¼ gi baz¬n altbaz¬) denir. Regüler Uzay: Ayr¬k durumdaki noktalar ve kapal¬kümeler birbirlerini kesmeyen, yani ayr¬k, aç¬k kümeler ile ayr¬labiliyorsa bu uzaya regüler uzay denir. Homeomor…zma: Bicektif, sürekli ve tersi sürekli olan fonksiyonlar... 4. a) X bir topolojik uzay ve A X herhangi bir altkümesi olsun. A’n¬n s¬n¬r¬nas¬l tan¬mlan¬r? I·ki farkl¬şekilde yaz¬n¬z. b) X bir topolojik uzay ve A X aç¬k bir alt kümesi olsun. (@A) = oldu¼ gunu ispat ediniz. Çözüm: a) @A = A A = A \ (A0 ) b) Öncelikle A aç¬k bir küme oldu¼ gu için A = A: O halde @A = A A = A \ A0 : Şimdi her iki taraf¬n içini al¬rsak, 0 (@A) = (A) \ (A ) ; ve böylece (@A) = (A) \ (A)0 eşitli¼ gini elde ederiz. Fakat her küme için, o kümenin içi ile 0 de¼ gilinin kesişimi boşkümedir! Dolay¬s¬yla, (A) \ (A) = ve böylece (@A) = : 5. f : X ! Y sürekli bir fonksiyon ve B kümesi Y ’nin herhangi bir altkümesi olsun. Şunu ispat ediniz: f 1 (B ) f 1 (B) : Çözüm: Öncelikle, soyut matematikden, yani mant¬ken, B B =) f 1 (B ) f 1 (B) (1). I·kinci olarak, B aç¬k bir küme oldu¼ gu için (her iç aç¬kd¬r...), ve f fonksiyonu sürekli oldu¼ gu için, f 1 (B ) kümesi X’de aç¬k bir kümedir. Buda (2). önemli tespit oldu. Dolay¬syla, (1) ve (2) bulgular¬n¬ düşünürsek şu sonuca var¬r¬z: f 1 (B ) kümesi f 1 (B) kümesinin içinde yaşayan bir aç¬k kümedir! Fakat, herhangi bir kümenin içi o kümenin içinde yaşayan tüm aç¬k kümeleri kapsayaca¼ g¬için, f 1 (B) kümesinin içide f 1 (B ) kümesini kapsayacakt¬r. Yani, f 1 (B ) f 1 (B) : 6. Bir ö¼ grenci U = f(x; y) j x > 1 ve y < 2g kümesinin tüm düzleme yani R2 ’ye homeomor…k oldu¼ gunu tespit ediyor 2 ve R ’den U ’ya giden bir homeomor…zma fonksiyonu düşünüyor. Sizce ne düşünmüş olabilir? Aşa¼ g¬daki nokta noktal¬ boşlu¼ ga bir homeomor…zma yaz¬n¬z. Sonsuz tane farkl¬cevap olabilir: f : R2 ! U; f (x; y) = (ex + 1; 2 ey ) 7. X ve Y uzaylar¬Hausdor¤ uzaylar ise X Y çarp¬m uzay¬n¬nda Hausdor¤ oldu¼ gunu ispatlay¬n¬z. Çözüm: (x1 ; y1 ) ve (x2 ; y2 ) noktalar¬ X Y çarp¬m uzay¬n¬n farkl¬ iki noktas¬ olsun. Bu noktalar¬n aç¬k kümelerle ayr¬labildi¼ gini göstermemiz isteniyor. Bu noktalar farkl¬oldu¼ gu için en az bir koordinatlar¬farkl¬olmak zorundad¬r. Mesela, x1 6= x2 olsun. Şimdi, X uzay¬ Hausdorf oldu¼ gu için farkl¬ iki noktas¬ ayr¬k aç¬k kümeler ile ayr¬labilir: 9U1 ; U2 X; aç¬k kümeler öyle ki x1 2 U1 ; x2 2 U2 ve U1 \ U2 = : Şimdi, X Y çarp¬m uzay¬nda şu aç¬k kümeleri tan¬ml¬yal¬m: W1 = U1 Y ve W2 = U2 Y (aç¬k dikey şeritler!). I·şte bu kümeler (x1 ; y1 ) ve (x2 ; y2 ) noktalar¬n¬ ay¬r¬r. Gerçektende (x1 ; y1 ) 2 W1 ve (x2 ; y2 ) 2 W2 oldu¼ gu aşikar. Öte yanda, W1 \ W2 = (U1 \ U2 ) Y = Y = : 8. a) Reel say¬do¼ grusunun Taltlimit topolojisinin 1. say¬labilir oldu¼ gunu ispatlay¬n¬z. Çözüm: Reel say¬do¼ grusunun her noktas¬nda say¬labilir bir lokal baz oldu¼ gunu göstermeliyiz. Bunu s¬n¬fta yapm¬şt¬k: a 2 R1 reel say¬do¼ grusu üzerinde herhangi bir nokta olsun. B(a) = [a; a + 1 ) j n 2 Z+ n koleksiyonu a noktas¬n¬n bir lokal baz¬d¬r ve say¬labilirdir. (Not: Lokal baz oldu¼ gunu idrak temek için, Taltlimit topolojisinin yaratanlar¬n¬düşünmek yeterli...) b) 1. say¬labilir olmayan bir uzay örne¼ gi veriniz: Cevap: (R1 ; Tsonlu-tümleyen ) 9. X sonsuz tane eleman içeren bir küme olsun. X üzerine sonsuz tane topoloji konulabilece¼ gini ispat ediniz. Çözüm: 10. soru anahtar! X’in bir x0 2 X eleman¬ için x0 ’a özel T ( x0 ) = fU X j x0 2 U g [ f g topolojisini tan¬mlayabiliriz. S¬n¬fta bu koleksiyonun topoloji oldu¼ gunu ispatlam¬şt¬r, 10. soruda tekrarl¬yacaks¬n¬z. X’in sonsuz tane eleman¬oldu¼ gu için, sonsuz tane özel topoloji tan¬mlayabiliriz, ve bunlar¬n hepsinin farkl¬oldu¼ gu aşikar. 10. R1 kümesinin, 7’ye özel, aşa¼ g¬daki altküme koleksiyonu düşünülüyor: T (7) = U R1 j 7 2 U [ f g Yani, reel say¬do¼ grusunun 7’yi içeren tüm altkümlelerinin koleksiyonu ve art¬boşküme... T (7)’nin topoloji oldu¼ gunu, topolojinin 3 şart¬n¬tek tek kontrol ederek, ispatlay¬n¬z. Çözüm: 1. şart: zaten koleksiyonun içine eklenmiş. 7 2 R1 oldu¼ gu için ana küme R1 ’de elbette bu koleksiyonda... (bariz?!) 2. şart: U1 ve U2 kümeleri T (7) koleksiyonundan seçilmiş herhangi iki küme ise ve ikiside boşkümeden farkl¬ ise ikiside 7 say¬s¬n¬içerir, dolay¬s¬yla U1 \ U2 kümeside 7 say¬s¬n¬içerir. Ve dolay¬s¬yla U1 \ U2 ’de T (7) koleksiyonu içindedir. U1 ve ya U2 ’den biri boş küme ise kesişim boş küme olacakd¬r ve yine koleksiyon içindedir. 3. şart: (Bariz?!..) Bu koleksiyondan key… say¬da küme seçilirse, bu kümelerden biri 7 say¬s¬n¬ihtiva ediyorsa, bu key… say¬da kümenin bileşimide 7 say¬s¬n¬içerir. Ve dolay¬syla key… bileşimlerde topolojinin içindedir. (Boşkümenin ¬srarla tekrar seçilmesi bu şartta da sorun ç¬karm¬yor: Sonsuz tane boşkümenin bileşimi boşkümedir :)...) N A M I K K E M A L Ü N I·V E R S I·T E S I· F E N - E D E B I·Y A T FA K Ü L T E S I· M A T E M A T I·K B Ö L Ü M Ü MATB216 TOPOLOJI·YE GI·RI·Ş ARA SINAVI BAHAR 2013-2014 S¬nav 80 dakikad¬r ve s¬navda herbiri 3 puan de¼ gerinde 10 soru vard¬r. De¼ gerlendirme: 0=Boş ve ya Saçma, 1=Kötü, 2=Orta, 3=I·yi ve S{nav 7 N otu = 2 T oplam. Buçuklu puanlar verilebilir. S¬nav görgü ve kurallar¬na uyunuz. 1. X = fa; b; cg kümesinin: a) 5 eleman içeren bir topolojisini yaz¬n¬z: f ; fag ; fbg ; fa; bg ; Xg b) 6 eleman içeren bir topolojisini yaz¬n¬z: f ; fag ; fbg ; fa; bg ; fa; cg ; Xg 2. N = f0; 1; 2; 3; :::::g kümesi, yani do¼ gal say¬lar kümesi üzerine sonsuz tane farkl¬topoloji konulabilir. I·spatlay¬n¬z. Çözüm: Her n 2 N için Tn = fU N j n 2 U g [ f g altküme ailesi N kümesinin bir topolojisidir. Bu tür topolojilere dersde özel topoloji demişdik. Sonsuz tane böyle topoloji var ve hepside bariz bir şekilde birbirinden farkl¬. 3. X bir topolojik uzay ve A X altuzay¬olsun. A altuzay¬X’de aç¬k bir küme ise A’n¬n her aç¬k altkümesinin X’de de aç¬k bir küme oldu¼ gunu ispatlay¬n¬z. Çözüm: V A kümesi A’da aç¬k ise, altuzay¬n tan¬m¬gere¼ gi, V = U \ A şeklindedir. Burada, U kümesi X’de aç¬k bir küme. Şimdi, e¼ ger, A’da X’de aç¬k ise iki aç¬k kümenin kesişimi aç¬k olaca¼ g¬için, V ’de X’de aç¬k olmal¬d¬r. 4. Şu kavramlar¬tan¬mlay¬n¬z: a) Y¬g¼¬lma noktas¬b) I·zole nokta Çözüm: a) X bir topolojik uzay ve A X olsun. E¼ ger x 2 X noktas¬n¬n her aç¬k komşulu¼ gu A’y¬ x’den farkl¬ olan en az bir noktada kesiyorsa, uzun uzun yazacak olursak, her aç¬k küme U; x 2 U; için (U fxg) \ A 6= ise, x noktas¬na A altkümesinin y¬g¼¬lma noktas¬d¬r denir. b) X bir topolojik uzay ve A X olsun. x 2 A noktas¬ y¬g¼¬lma noktas¬ de¼ gilse, x’e A altkümesinin izole noktas¬d¬r denir. 5. Aşa¼ g¬daki altkümelerin bulunduklar¬Öklit uzay¬ndaki kapan¬ş, iç ve s¬n¬rlar¬n¬yaz¬n¬z: p p p p 1; 0; 2 a) A = ( 1; 0) [ (0; 2] : A = ( 1; 0) [ (0; 2); A = 1; 2 ; @A = 1 ve y 6= x : B = (x; y) j x2 + y 2 < 1 ve y 6= x ; B = (x; y) j x2 + y 2 n o @B = (x; y) j x2 + y 2 = 1 [ (t; t) j p12 t p12 b) B = (x; y) j x2 + y 2 1 ; 6. @(A \ B) @A \ @B iddias¬(her hb alükb arda :p) do¼ gru ise ispat ediniz, yanl¬ş ise yanl¬ş oldu¼ gunu gösteren bir örnek (yani karş¬ örnek) veriniz. Çözüm: Yanl¬ş. Ve örne¼ gi bulmak gayet kolay: A = [0; 2] ; B = [1; 3]. Bu durumda sol taraf iki nokta içerirken, sa¼ g taraf boş küme... 7. a) Sürekli bir fonksiyon aç¬k fonksiyon olmak zorunda de¼ gildir. Bir örnek veriniz. b) Sürekli bir fonksiyon kapal¬fonksiyon olmak zorunda de¼ gildir. Buna da bir örnek veriniz. a) Tekrar tekrar söylenen bir örnek: f : R1 ! R1 ; f (x) = x2 b) p1 : R2 ! R1 ; p(x; y) = x: Çünkü, projeksiyonlar kapal¬fonksiyon de¼ gildir. 8. a) ( 1; 1) = R1 oldu¼ gunu bir homeomor…zma fonksiyonu kurarak ispatlay¬n¬z. Sadece fonksiyonu yaz¬n¬z. Aç¬klama yapman¬z istenmiyor. b) ( 1; 1) ( 1; 1) = R2 oldu¼ gunu bir homeomor…zma fonksiyonu kurarak ispatlay¬n¬z. Sadece fonksiyonu yaz¬n¬z. Aç¬klama yapman¬z istenmiyor. Çözüm: Mepler soldan sa¼ ga olmak üzere, a) tan( 2 x) b) tan( 2 x); tan( 2 y) 9. (R1 ; Tsonlu-tüm leyen ) topolojik uzay¬T1 uzay¬d¬r. I·spatlay¬n¬z. 0 Çözüm: Noktalar¬kapal¬d¬r! Çünkü, x 2 R1 ise, fxg = R1 0 O halde, fxg aç¬kd¬r, yani fxg kümesi kapal¬d¬r. fxg kümesi komplementi sonlu olan bir kümedir -1 eleman içeriyor-. 10. a) Hausdor¤ uzay¬ (Yani T2 uzay¬) nedir? Tan¬mlay¬n¬z. b) Hausdor¤ olan bir uzay örne¼ gi yaz¬n¬z. c) Hausdor¤ olmayan bir uzay örne¼ gi yaz¬n¬z. Çözüm: a) Herhangi iki farkl¬noktas¬ayr¬k aç¬k kümeler ile birbirinden ayr¬labilen uzaylar... b) Herhangi bir standart topolojili reel Öklit uzay¬örnek olarak verilebilir. Örne¼ gin, R7 : c) Yukar¬daki sorudaki uzay: (R1 ; Tsonlu-tüm leyen ): N A M I K K E M A L Ü N I·V E R S I·T E S I· F E N - E D E B I·Y A T FA K Ü L T E S I· M A T E M A T I·K B Ö L Ü M Ü MATB216 TOPOLOJI·YE GI·RI·Ş SON SINAV BAHAR 2013-2014 1. a) Topolojinin tan¬m¬n¬yap¬n¬z: X bir küme ve T 2X olsun. T şu özellikleri [ sa¼ gl¬yorsa X’in bir topolojisidir: i) ; X 2 T ii) U; V 2 T =) U \ V 2 T iii) fUi gi2I T , T ’nin key… bir altküme ailesi, ise Ui 2 T: Bu durumda (X; T ) ikilisine, ve ya bazan sadece X’e, topolojik uzay denir. b) Alt-uzay¬n tan¬m¬n¬yap¬n¬z: (X; T ) topolojik uzay ve A X ise TA = fU \ A j U 2 T g koleksiyonu A’n¬n bir topolojisidir ve alt-uzay topolojisi olarak adland¬r¬l¬r. Bu durumda, (A; TA ) ikilisine, bazan sadece A’ya, altuzay (X’in bir altuzay¬) denir. 2. a) A kümesi kapal¬bir küme ise (A ) A olur. I·spatlay¬n¬z. b) A kümesi kapal¬bir küme de¼ gilse, a ş¬kk¬nda iddia edilen kapsama ilişkisinin yanl¬ş olabilece¼ gini bir örnek ile gösteriniz. Çözüm: a) A A ve şimdi her iki taraf¬n kapan¬ş¬n¬al¬rsak (yani, 3. soru a ş¬kk¬n¬kullan¬rsak) (A ) kapal¬oldu¼ gu için... b) (0; 1) 3. Şu önermeleri ispatlay¬n¬z: a) A B ise A A = A: Son eşitlik A B olur. b) Herhangi iki küme A ve B için: A [ B = A [ B gi A’y¬kapsayan en küçük kapal¬küme oldu¼ gu Çözüm: a) A B B zincirinden ortas¬n¬ç¬kar¬rsak, A B olur. A tan¬m gere¼ için A B sonucuna ulaşm¬yor muyuz? b) (1) A A ve B B ve A [ B A [ B olur. O halde, A [ B A [ B: (2) A A [ B ve B A [ B oldu¼ gundan A A [ B ve B A [ B: O halde A [ B A [ B: 4. Aşa¼ g¬daki kümelerin yaşad¬klar¬Öklit uzay¬ndaki iç, kapan¬ş ve s¬n¬rlar¬n¬yaz¬n¬z: a) A = [ 1; 0) [ (0; 2): A ( 1; 0) [ (0; 2), A = [ 1; 2], @A = f 1; 0; 2g n o 3 + b) B = 2n j n 2 Z : B = ; B = B [ f2g ; @B = B n+1 c) C = [0; 1) (0; 1] : C = (0; 1) (0; 1); C = [0; 1] [0; 1]; @C = f(x; y) j 0 d) D = f(x; y) j x > 0; y 2 Qg : D = ; D = f(x; y) j x x 0g ; @D = D 1; y = 0; 1g [ f(x; y) j 0 y 1; x = 0; 1g 5. f : R1 ! R1 fonksiyonu reel say¬ do¼ grusunun reel de¼ gerli, sürekli bir fonksiyonu olsun. S = x 2 R1 j f (x) = x sabit nokta kümesinin kapal¬bir küme oldu¼ gunu ispatlay¬n¬z. Çözüm: S kümesinin de¼ gilinin aç¬k oldu¼ gunu ispatlamak yeterli. a 2 S 0 olsun. Bu durumda, f (a) 6= a: Şimdi, f fonksiyonu sürekli oldu¼ gu için, öyle bir vard¬r ki x 2 (a ; a + ) ise f (x) 6= x: (Bunun için, = jf (a) aj almak yeterli san¬r¬m...). O halde, öyle bir vard¬r ki (a ; a + ) S 0 : Yani S 0 aç¬k bir küme!... 6. f : X ! Y sürekli bir fonksiyon olsun. Bu durumda, B 1 Y ise f 1 (B ) [f 1 (B)] olmas¬gerekti¼ gini ispatlay¬n¬z. 1 Çözüm: B B oldu¼ gundan dolay¬, f (B ) f (B) olur. Di¼ ger yandan f sürekli oldu¼ gu için, f 1 (B ) aç¬k bir kümedir. 1 1 1 Tan¬m gere¼ gi, f (B) kümesinin içindeki en büyük aç¬k küme [f (B)] oldu¼ guna göre, f (B ) [f 1 (B)] sonucuna ulaş¬r¬z. 7. Aşa¼ g¬da istenen homeomor…zma fonksiyonlar¬n¬nokta noktal¬yerlere yaz¬n¬z: a) f : ( 1; 1) ! (0; 10) f (x) = 5x + 5 b) g : [0; g(x) = 3 2 ) ! ( 1; 3] tan x 8. A = ( 1; 1) kümesinin kompakt olmad¬g¼¬n¬a) Heine-Borel Teoremi’nin bir sonucu olarak (Teoremin hangi hipotezini ihlal ediyor?) b) Bu kümenin, sonlu alt-örtüsü olmayan bir örtüsünü bularak iki farkl¬şekilde ispatlay¬n¬z. Çözüm: a) A kapal¬de¼ gil... b) ( 1 + n1 ; 1 1 n) j n 2 Z; n > 2 örtüsünü al¬rsak bu örtüden sonlu alt örtü elde edilemez. 9. a) Hausdor¤ uzay nedir? Tan¬mlay¬¬z. b) Reel say¬do¼ grusunun, standart topolojisi ile, Hausdor¤ oldu¼ gunu ispatlay¬n¬z. Çözüm: a) Uzaydaki herhangi iki farkl¬nokta aç¬k kümeler ile birbirlerinden ayr¬labiliyorsa... b) a; b 2 R ve a 6= b olsun. alal¬m. Bu durumda, U = (a ; a + ); V = (b ; b + ) al¬rsak, a 2 U; b 2 V; U \ V = : 10. X ve Y uzaylar¬2. say¬labilir uzaylar ise X = jb aj 2 Y çarp¬m uzay¬n¬nda 2. say¬labilir oldu¼ gunu ispatlay¬n¬z. Çözüm: X ve Y uzaylar¬2. say¬labilir uzaylar ise say¬labilir bazlar¬vard¬r: B1 ailesi X’in, B2 ailesi Y ’nin say¬labilir bazlar¬olsun. Bu durumda, tan¬m gere¼ gi, B = fU V j U 2 B1 ; V 2 B2 g ailesi X Y çarp¬m uzay¬n baz¬d¬r. Üstelik bu baz zay¬labilirdir. Çünkü, soyut matematikten hat¬rlad¬g¼¬m¬z üzere, sonlu say¬da say¬labilir kümenin çarp¬m¬say¬labilirdir. 11. X kompakt bir topolojik uzay ve f : X ! R1 reel de¼ gerli sürekli bir fonksiyon olsun. Şu argüman¬ispatlay¬n¬z: "Öyle bir x0 2 X vard¬r ki her x 2 X için f (x0 ) f (x):" Çözüm: X kompakt ve f sürekli oldu¼ gu için görüntü kümesi f (X) R1 kompakt, dolay¬s¬yla kapal¬ve s¬n¬rl¬d¬r. Bu durumda, sezgilerimizinde söyledi¼ gi gibi bu kümenin supremumu vard¬r ve içindedir.• N A M I K K E M A L Ü N I·V E R S I·T E S I· F E N - E D E B I·Y A T FA K Ü L T E S I· M A T E M A T I·K B Ö L Ü M Ü MATB216 TOPOLOJI·YE GI·RI·Ş ARA SINAVI BAHAR 2014-2015 1. X = f1; 2; 3; 4g kümesinin a) 4 elemanl¬bir topolojisini yaz¬n¬z. b) 9 elemanl¬bir topolojisini yaz¬n¬z. Çözüm: a) f ; f1; 2g ; f3; 4g ; Xg ve ya daha basiti f ; f1g ; f1; 2g ; Xg b) 2f1;2;3g [ fXg 2. Reel say¬do¼ grusunun alt limit topolojisi, standart topolojisinden daha incedir. I·spatlay¬n¬z. 1 Çözüm: (a; b) = [1 n= (a; b n ] şeklinde yaz¬labilir, yani standart topolojinin baz elemanlar¬, üst limit topolojinin baz elemanlar¬ cinsinden yaz¬labilir, yani üst limit topolojisi standart topolojijiyi kapsar. Di¼ ger yanda, (a; b] şeklindeki bir üstlimit topolojisi eleman¬standart topolojide aç¬k de¼ gildir. Sonuç olarak, üst limit topolojisi standart topolojiden incedir. 3. a) Metrik uzay nedir? Tan¬mlay¬n¬z. b) (X; d) ikilisi bir metrik uzay olsun. X üzerinde d metri¼ gine göre metrik topoloji nas¬l inşaa edilir? Aç¬klay¬n¬z. Çözüm: a) X bir küme d : X X ! R her x; y; z 2 X için aşa¼ g¬daki özellikleri sa¼ glayan bir fonksiyon olsun: i) d(x; y) 0 b) d(x; y) = 0 , x = y c) d(x; y) = d(y; x) d) d(x; z) d(x; y) + d(y; z): Bu durumda (X; d) ikilisine bir metrik uzayd¬r denir. b) Her x 2 X ve " 2 R+ için x merkezli, " > 0 yar¬çapl¬aç¬k yuvar B(x; ") = fy 2 X j d(x; y) < "g şeklinde tan¬mlan¬r. X’in tüm aç¬k yuvarlaran¬n kümesi X kümesi için bir topolojik baz oluşturur ve bu baz¬n yaratt¬g¼¬topolojiye X üzerinde bir metrik topolojidir denir. 4. Aşa¼ g¬daki kavramlar¬tan¬mlay¬n¬z: a) Baz b) I·zole nokta c) Y¬g¼¬lma noktas¬d) Yo¼ gun küme Çözüm: a) X bir küme ve B şu iki şart¬sa¼ glayan bir altküme koleksiyonu ise B’ye X için bir topolojik bir bazd¬r denir: i) B’nin tüm elemanlar¬n¬n bileşimi X olacak ii) U1 ; U2 2 B ve x 2 U1 \ U2 ise 9U3 öyle ki x 2 U3 U1 \ U2 : b) (X; T ) bir topolojik uzay ve A X olsun. a 2 A noktas¬bir aç¬k küme ile yaln¬z b¬rak¬labiliyorsa, a noktas¬na izole nokta denir. Yani: 9U 2 T öyle ki U \ A = fag ise... c) x 2 X noktas¬şu şart¬ sa¼ gl¬yorsa A kümesinin y¬g¼¬lma noktas¬d¬r: x noktas¬n¬ içeren her U 2 T için U \ (A fxg) 6= olmal¬, yani x noktas¬n¬içeren her aç¬k küme A kümesinin x’den farkl¬olan bir noktas¬n¬içermeli... d) Bir alt kümenin kapan¬ş¬ana uzaya eşitse, bu alt kümeye yo¼ gun altküme denir. 5. Aşa¼ g¬daki kümelerin R1 ’deki iç, kapan¬ş ve s¬n¬rlar¬n¬yaz¬n¬z: a) A = (0; 1)[(1; 2) b) B = [2; 3)[f4g c) C = ( 1)n + 1 j n 2 Z+ n Çözüm: a) A = A; A = [0; 2]; @A = f0; 1; 2g b) B = (2; 3); B = [2; 3] [ f4g ; @B = f2; 3; 4g c) C = ; C = C [ f 1; 1g ; @C = C 6. f (x) = 1 1 x<0 şeklinde tan¬ml¬f : R1 ! R1 fonksiyonunun sürekli olmad¬g¼¬n¬ispataly¬n¬z. x 0 Çözüm: Hedef uzay¬nda aç¬k küme olan V = (0; 2) kümesini al¬rsak, ters görüntüsünün f aç¬k küme olmad¬g¼¬n¬görüyoruz. 1 ((0; 2)) = [0; 1) tan¬m kümesinde 7. ( 2; 3) aral¬g¼¬ndan (0; 1) aral¬g¼¬na bir homeomor…zma fonksiyonu yaz¬n¬z. Çözüm: exp[tan( 10 (2x 1))] 8. a) Sürekli olan fakat aç¬k fonksiyon olmayan bir fonksiyon yaz¬n¬z. b) Sürekli olmayan, fakat aç¬k fonksiyon olan bir fonksiyon yaz¬n¬z. (Not: Fonksiyonlar¬n tan¬m ve görüntü kümeleri, üzerlerindeki topolojiler belirtilmiş olsun.) a) (Standart topolojili) Reel say¬do¼ grusundan, reel say¬do¼ grusuna, f (x) = x2 b) Trivial topolojili reel say¬do¼ grusundan, ayr¬k topolojili reel say¬do¼ grusuna, f (x) = x: N A M I K K E M A L Ü N I·V E R S I·T E S I· F E N - E D E B I·Y A T FA K Ü L T E S I· M A T E M A T I·K B Ö L Ü M Ü MATB216 TOPOLOJI·YE GI·RI·Ş ARA SINAVI BAHAR 2014-2015 1. X = f1; 2; 3; 4g kümesinin 6 elemanl¬bir topolojisini yaz¬n¬z. Çözüm: f ; f1g ; f2g ; f1; 2g ; f1; 2; 3g ; Xg 2. a) (X; d) metrik uzay¬verildi¼ ginde metrik topolojiyi yaratan standart baz¬yaz¬n¬z. b) a ş¬kk¬nda yazd¬g¼¬n¬z baz¬n baz tan¬m¬n¬n 2. şart¬n¬sa¼ glad¬g¼¬n¬bir resim çizerek anlat¬n¬z. Çözüm: a) Ara s¬nava bak¬n¬z. b) Ders notlar¬na bak¬n¬z. 3. Aşa¼ g¬daki kümelerin yaşad¬klar¬standart Öklit uzay¬ndaki iç ve kapan¬şlar¬bulunuz: n o 2n a) A = n+1 j n 2 Z + Çözüm: A = ; A = A [ f2g b) B = (x; y) j x2 + y 2 < 1 ve x 2 0 Çözüm: B = (x; y) j x + y < 1 ve x > 0 ; B = (x; y) j x2 + y 2 2 2 1 ve x 0 2 c) C = (x; y) j x + y < 1 ve x 2 Q Çözüm: C = ; C = (x; y) j x2 + y 2 4. ( 1; 1) ( 1; 1) karesinden (a; b) Çözüm: (x; y) ! ( b 2a x + b+a d c 2 ; 2 x 1 (c; d) diktörtgenine giden bir homeomor…zma fonksiyonu yaz¬n¬z. + d+c 2 ) 5. (R1 ; Taltlim it ) topolojik uzay¬n¬n 1. say¬labilir oldu¼ gunu, herhangi bir a 2 R1 noktas¬nda, say¬labilir bir lokal baz yazarak ispatlay¬n¬z. Çözüm: [a; b 1 n) j n 2 Z + ve b 1 n >a 6. a) Kompaktl¬k nedir? b) Kompakt olmayan bir uzay örne¼ gi veriniz? c) Kompakt olan bir uzay örne¼ gi veriniz. Çözüm: a) Ders notlar¬b) (R1 ; Tstandart ) c) Bir önceki ş¬ktaki uzay¬n [0; 1] alt uzay¬ 7. (R1 ; Tstandart ) reel say¬do¼ grusunun Hausdor¤ ( yani T2 ) oldu¼ gunu ispatlay¬n¬z. Çözüm: a 6= b 2 R ise U = (a "; a + ") ve V = (b "; b + ") aç¬k kümeleri 0 < " 8. Sonsuz tane aç¬k kümenin kesişimi aç¬k bir küme olmayabilir. Bir örnek yaz¬n¬z. 1 1 \ \ ( n1 ; 1 + n1 ) = [0; 1] ve ya (0; 1 + n1 ) = (0; 1] Çözüm: n=1 n=1 b a 2 seçilirse bu noktalar¬ay¬r¬r.