ADNAN MENDERES ÜNİVERSİTESİ FEN BİLİMLER ENSTİTÜSÜ MATEMATİK ANABİLİM DALI MAT-YL

Benzer belgeler
9. SINIF Geometri TEMEL GEOMETRİK KAVRAMLAR

UZAY KAVRAMI VE UZAYDA DOĞRULAR

BÖLÜM I MATEMATİK NEDİR? Matematik Nedir? 14

25. f: R { 4} R 28. ( ) 3 2 ( ) 26. a ve b reel sayılar olmak üzere, 27. ( ) eğrisinin dönüm noktasının ordinatı 10 olduğuna göre, m kaçtır?

Tanım 2.1. X boş olmayan bir küme olmak üzere X den X üzerine bire-bir fonksiyona permütasyon denir.

1. Metrik Uzaylar ve Topolojisi

Darboux Ani Dönme Vektörleri ile. SPACELIKE ve TIMELIKE YÜZEYLER GEOMETRİSİ. Celal Bayar Üniversitesi Yayınları Yayın No: 0006

EĞİTİM - ÖĞRETİM YILI 10. SINIF MATEMATİK DERSİ DESTEKLEME VE YETİŞTİRME KURSU KAZANIMLARI VE TESTLERİ


PERGEL YAYINLARI LYS 1 DENEME-6 KONU ANALİZİ SORU NO LYS 1 MATEMATİK TESTİ KAZANIM NO KAZANIMLAR

Ders 2: RP 1 ve RP 2 - Reel izdüşümsel doğru ve

OLİMPİK GEOMETRİ ALTIN NOKTA YAYINEVİ MATEMATİK OLİMPİYATLARINA HAZIRLIK ÖMER GÜRLÜ KONU ANLATIMLI - ÖRNEK ÇÖZÜMLÜ

GENELLEŞTİRİLMİŞ FUZZY KOMŞULUK SİSTEMİ ÜZERİNE

Mühendislik Mekaniği Statik. Yrd.Doç.Dr. Akın Ataş

Viyana İmam Hatip Lisesi Öğrenci Seçme Sınavı - Matematik

2 1 fonksiyonu veriliyor. olacak şekilde ortalama değer teoremini sağlayacak bir c sayısının var olup olmadığını araştırınız. Eğer var ise bulunuz.

MAT355 Kompleks Fonksiyonlar Teorisi I Hafta 3

BOZOK ÜNİVERSİTESİ FEN EDEBİYAT FAKÜLTESİ MATEMATİK BÖLÜMÜ BİTİRME TEZİ E 3-BOYUTLU ÖKLİD UZAYINDA HELİSLER VE UYGULAMALARI.

10. SINIF GEOMETRİ KONU ÖZETİ

GEOMETRİ SORU BANKASI KİTABI

28/04/2014 tarihli LYS-1 Matematik-Geometri Testi konu analizi SORU NO LYS 1 MATEMATİK TESTİ KAZANIM NO KAZANIMLAR 1 / 31

Matematikte karşılaştığınız güçlükler için endişe etmeyin. Emin olun benim karşılaştıklarım sizinkilerden daha büyüktür.

MATEMATİK VE FEN BİLİMLERİ EĞTİMİ ANABİLİM DALI MATEMATİK EĞİTİMİ BİLİM DALI TEZLİ YÜKSEK LİSANS PROGRAMI

TEST: 6. Verilenlere göre EF =? A) 1 B) 2 C) 3 D) 4 E) 5 A) 7 B) 8 C) 10 D) 11 E) 12. x eksenini 5 te, y eksenini 7 de kesen doğrunun denklemi

Eğer piramidin tabanı düzgün çokgense bu tip piramitlere düzgün piramit denir.

MATEMATİK TESTİ LYS YE DOĞRU. 1. Bu testte Matematik ile ilgili 50 soru vardır.

LYS YE DOĞRU MATEMATİK TESTİ

Üç Boyutlu Uzayda Koordinat sistemi

(a,b) şeklindeki ifadelere sıralı ikili denir. Burada a'ya 1. bileşen b'ye 2. bileşen denir.

Teknik Resim TEKNİK BİLİMLER MESLEK YÜKSEKOKULU. 3. Geometrik Çizimler. Yrd. Doç. Dr. Garip GENÇ

1984 ÖYS A) 875 B) 750 C) 625 D) 600 E) 500

ÖRNEK: Öteleme ile oluşturulmuş bir süsleme. ÖRNEK: 2)GEOMETRİK HAREKETLER


Genel Olarak Bir Yüzeyin Diğer Bir Yüzeye Projeksiyonu

CEVAP ANAHTARI 1-B 2-C 3-C 4-C 5-B 6-E 7-D 8-E 9-C 10-E 11-E 12-A 13-A 1-A 2-D 3-C 4-D 5-D 6-B 7-D 8-B 9-D 10-E 11-D 12-C

MAKSİMUM-MİNİMUM PROBLEMLERİ

Gerçekte yükler yayılı olup, tekil yük problemlerin çözümünü kolaylaştıran bir idealleştirmedir.

MATEMATİK ÖĞRETMENLİK ALAN BİLGİSİ - DENEME SINAVI DENEME. Diğer sayfaya geçiniz.

Temel Kavramlar. (r) Sıfırdan farklı kompleks sayılar kümesi: C. (i) Rasyonel sayılar kümesi: Q = { a b

TEKİRDAĞ SOSYAL BİLİMLER LİSESİ 10. SINIF MATEMATİK DERSİ YILLIK PLANI

Şimdi de [ ] vektörünün ile gösterilen boyu veya büyüklüğü Pisagor. teoreminini iki kere kullanarak

8. HOMOMORFİZMALAR VE İZOMORFİZMALAR

11. SINIF. No Konular Kazanım Sayısı GEOMETRİ TRİGONOMETRİ Yönlü Açılar Trigonometrik Fonksiyonlar

Baki Karl ¼ga. Gazi Üniversitesi Fen Edebiyat Fakültesi Matematik Bölümü Ankara/Türkiye

ARAZİ ÖLÇMELERİ. Koordinat sistemleri. Kartezyen koordinat sistemi

Chapter 1 İçindekiler

Karabük Üniversitesi, Mühendislik Fakültesi... STATİK (2. Hafta)

YGS MATEMATİK - CEBİR 01 TEMEL SAYI KAVRAMLARI VE UYGULAMALARI 02 TAMSAYILARDA BÖLME 03 BÖLÜNEBİLME KURALLARI 04 ASAL SAYILAR 05 OBEB VE OKEK 06

Dik koordinat sisteminde yatay eksen x ekseni (apsis ekseni), düşey eksen ise y ekseni (ordinat ekseni) dir.

EĞİTİM ÖĞRETİM YILI. FEN LİSESİ 10.SINIF MATEMATİK DERSİ ÜNİTELENDİRİLMİŞ YILLIK PLANI 10.SINIF KAZANIM VE SÜRE TABLOSU

Sivas Fen Lisesi Ortaokul 2. Matematik Olimpiyatı Sınavı A A) 55 B) 50 C) 45 D) 40 E) 35

İleri Diferansiyel Denklemler

MAT 302 SOYUT CEBİR II SORULAR. (b) = ise =

10.Konu Tam sayıların inşası

ÖSYM. 1. Bu testte 40 soru vardır. 2. Cevaplarınızı, cevap kâğıdının Matematik Testi için ayrılan kısmına işaretleyiniz AYT/Matematik

2. SİMETRİK GRUPLAR. Tanım 2.1. X boş olmayan bir küme olmak üzere X den X e birebir örten fonksiyona permütasyon denir.

Ders 10: Düzlemde cebirsel eğriler

EĞİTİM-ÖĞRETİM YILI 8. SINIF MATEMATİK DERSİ KAZANIMLARININ ÇALIŞMA TAKVİMİNE GÖRE DAĞILIM ÇİZELGESİ SÜRE

ÇUKUROVA ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ

A) 1 B) 10 C) 100 D) 1000 E) Sonsuz. öğrencinin sinemaya tam bir kez birlikte gidecek şekilde ayarlanabilmesi aşağıdaki n

LİSE ÖĞRENCİLERİNE OKULDA YARDIMCI VE ÜNİVERSİTE SINAVLARINA (YGS ve LYS NA) HAZIRLIK İÇİN

f fonksiyonuna bir üç değişkenli fonksiyon adı verilir. Daha çok değişkenli fonksiyonlar benzer şekilde tanımlanır.

STATIK VE MUKAVEMET 4. Ağırlık Merkezi. Yrd. Doç. Dr. NURHAYAT DEĞİRMENCİ

İÇİNDEKİLER. Ön Söz...2. Noktanın Analitik İncelenmesi...3. Doğrunun Analitiği Analitik Düzlemde Simetri...25

Tanımlar, Geometrik ve Matemetiksel Temeller. Yrd. Doç. Dr. Saygın ABDİKAN Yrd. Doç. Dr. Aycan M. MARANGOZ. JDF329 Fotogrametri I Ders Notu

KUTUPSAL KOORDİNATLAR

TAKSİ DÜZLEMİNDE FINSLER-HADWIGER EŞİTSİZLİĞİ

ÖRNEK ÖRNEK ÖRNEK ÖRNEK

1994 ÖYS. 6. x, y, z sıfırdan büyük birer tam sayı ve 2x+3y-z=94 olduğuna göre, x in en küçük değeri kaçtır?

XII. Ulusal Matematik Olimpiyatı Birinci Aşama Sınavı

13.Konu Reel sayılar

NAPOLEON PROBLEMİNE FARKLI BİR BAKIŞ

RİJİT CİSİMLERİN DÜZLEMSEL KİNEMATİĞİ

Soru Toplam Puanlama Alınan Puan

Örnek...1 : mx+3y+12=0 ve 2x 5y+3=0 doğruları para - lelse m kaçtır?

Leyla Bugay Doktora Nisan, 2011

2. Topolojik Uzaylarda Ba¼glant l l k Ba¼glant l Topolojik Uzaylar. Tan m (X; ) topolojik uzay n n her biri boş kümeden farkl olan ayr k

Prof.Dr.F.Nejat EKMEKCİ, Prof. Dr. Yusuf YAYLI, BAHAR

Matematik A A ile B nin Kartezyen Çarpımı: A Kümesinden B nin Farkı: A Kümesinden B ye Fonksiyon: Açı: Açık Önerme: Açıortay: Açısal Bölge: Aksiyom:

İÇİNDEKİLER. Önsöz...2. Önermeler ve İspat Yöntemleri...3. Küme Teorisi Bağıntı Fonksiyon İşlem...48

ARAZİ ÖLÇMELERİ. Koordinat sistemleri. Kartezyen koordinat sistemi

VEKTÖR UZAYLARI 1.GİRİŞ

1.GRUPLAR. c (Birleşme özelliği) sağlanır. 2) a G için a e e a a olacak şekilde e G. vardır. 3) a G için denir) vardır.

1. GRUPLAR. c (Birleşme özelliği) sağlanır. 2) a G için a e e a a olacak şekilde e G (e ye birim eleman denir) vardır.

SİDRE 2000 ORTAOKULU EĞİTİM-ÖĞRETİM YILI 8. SINIFLAR MATEMATİK DERSİ ÜNİTELENDİRİLMİŞ YILLIK PLAN

T.C. ÇANAKKALE ONSEKİZ MART ÜNİVERSİTESİ

Saat Yönünde 90 Derecelik Dönme Hareketi. Saatin Tersi Yönünde 90 Derecelik Dönme Hareketi

Cebir 1. MIT Açık Ders Malzemeleri

1986 ÖYS. 1. Aşağıdaki ABC üçgeninde. BD kaç cm dir? C) 3 A) 11 B) 10 C) 3 D) 8 E) 7 E) 2

4. Çok büyük ve çok küçük pozitif sayıları bilimsel gösterimle ifade eder.

EĞİTİM ÖĞRETİM YILI. FEN LİSESİ 11.SINIF MATEMATİK DERSİ ÜNİTELENDİRİLMİŞ YILLLIK PLANI 11.SINIF KAZANIM VE SÜRE TABLOSU

UZAYDA VEKTÖRLER ve DOĞRU DÜZLEM

Çarpanlar ve Katlar

{ x,y x y + 19 = 0, x, y R} = 3 tir. = sonlu kümesinin 32 tane alt kümesinde

7.2 Fonksiyon ve Fonksiyon Tanımları (I) Fonksiyon ve Fonksiyon Tanımları (II)

1.4 Tam Metrik Uzay ve Tamlaması

LİSE ÖĞRENCİLERİNE OKULLARDA YARDIMCI VE ÜNİVERSİTE SINAVLARINA. (YGS ve LYS na) HAZIRLIK İÇİN. Örnek çözümlü. Deneme sınavlı GEOMETRİ-2.

MAT 103 ANALİTİK GEOMETRİ I FİNAL ÇALIŞMA SORULARI

MATEMATİK MATEMATİK-GEOMETRİ SINAVI LİSANS YERLEŞTİRME SINAVI-1 TESTİ SORU KİTAPÇIĞI 08

EĞİTİM ÖĞRETİM YILI. ANADOLU LİSESİ 11.SINIF MATEMATİK DERSİ ÜNİTELENDİRİLMİŞ YILLLIK PLANI 11.SINIF KAZANIM VE SÜRE TABLOSU

Transkript:

ADNAN MENDERES ÜNİVERSİTESİ FEN BİLİMLER ENSTİTÜSÜ MATEMATİK ANABİLİM DALI MAT-YL-0-000 LİMİT ROTASYONLAR TARAFINDAN ÜRETİLEN GRUPLAR VE BÖLÜM YÜZEYLERİ Eren GÜMÜŞALAN Tez Danışmanı: Yrd. Doç. Dr. Adnan MELEKOĞLU AYDIN

ii

iii ADNAN MENDERES ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ MÜDÜRLÜĞÜNE AYDIN Matematik Anabilim Dalı Yüksek Lisans Programı öğrencisi Eren GÜMÜŞALAN tarafından hazırlanan Limit Rotasyonlar Tarafından Üretilen Gruplar ve Bölüm Yüzeyleri başlıklı tez, 3.07.0 tarihinde yapılan savunma sonucunda aşağıda isimleri bulunan jüri üyelerince kabul edilmiştir. Unvanı, Adı Soyadı Kurumu İmzası Başkan : Yrd. Doç. Dr. Murad ÖZKOÇ MĞÜ... Üye : Yrd. Doç. Dr. Adnan MELEKOĞLU ADÜ... Üye : Yrd. Doç. Dr. Süleyman GÜLER ADÜ... Jüri üyeleri tarafından kabul edilen bu yüksek lisans tezi, Enstitü Yönetim Kurulunun. Sayılı kararıyla.. tarihinde onaylanmıştır. Prof. Dr. Cengiz ÖZARSLAN Enstitü Müdürü

iv

v ADNAN MENDERES ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ MÜDÜRLÜĞÜNE AYDIN Bu tezde sunulan tüm bilgi ve sonuçların, bilimsel yöntemlerle yürütülen gerçek deney ve gözlemler çerçevesinde tarafımdan elde edildiğini, çalışmada bana ait olmayan tüm veri, düşünce, sonuç ve bilgilere bilimsel etik kuralların gereği olarak eksiksiz şekilde uygun atıf yaptığımı ve kaynak göstererek belirttiğimi beyan ederim... /../0. Eren GÜMÜŞALAN

vi

vii ÖZET LİMİT ROTASYONLAR TARAFINDAN ÜRETİLEN GRUPLAR VE BÖLÜM YÜZEYLERİ Eren GÜMÜŞALAN Yüksek Lisans Tezi, Matematik Anabilim Dalı Tez Danışmanı: Yrd. Doç. Dr. Adnan MELEKOĞLU 0, 35 sayfa Dört bölümden oluşan bu çalışmanın amacı hiperbolik düzlemde limit rotasyonlar tarafından üretilen grupların bölüm yüzeylerini incelemektir. Birinci bölümde giriş kısmı verildi. İkinci bölümde tezin ana konusu için gerekli olan temel bilgilere yer verildi. Üçüncü bölümde kısaca hiperbolik geometri tanıtıldı. Dördüncü bölümde önce limit rotasyonlar tanıtıldı. Ardından limit rotasyonlar tarafından üretilen gruplar ve bunların bölüm yüzeylerinin bazı topolojik ve geometrik özellikleri incelendi. Anahtar Sözcükler: Hiperbolik geometri, Hiperbolik düzlem, İzometri grubu, Limit rotasyon, Bölüm yüzeyi.

viii

ix ABSTRACT GROUPS GENERATED BY LIMIT ROTATIONS AND QUOTIENT SURFACES Eren GÜMÜŞALAN M.Sc. Thesis, Department of Mathematics Supervisor: Assist. Prof. Dr. Adnan MELEKOĞLU 0, 35 pages The purpose of this study, which consists of four chapters, is to investigate the quotient surfaces of the groups generated by limit rotations in the hyperbolic plane. The first chapter is devoted to the introduction. The second chapter is devoted to the background material. In the third chapter, hyperbolic geometry has been shortly introduced. In the fourth chapter, first limit rotations have been introduced. Then the groups generated by limit rotations and some topological and geometrical properties of their quotient surfaces have been investigated. Key words: Hyperbolic geometry, Hyperbolic plane, Isometry group, Limit rotation, Quotient surface.

x

xi ÖNSÖZ Bu tez çalışmam boyunca benden yardımlarını, sabrını ve bilgisini esirgemeyen danışman hocam Yrd. Doç. Dr. Adnan MELEKOĞLU na (Adnan Menderes Üniversitesi, Matematik bölümü), manevi destekleriyle beni yalnız bırakmayan sevgili aileme teşekkürü bir borç bilirim.

xii

xiii İÇİNDEKİLER KABUL VE ONAY SAYFASI... iii BİLİMSEL ETİK BİLDİRİM SAYFASI... v ÖZET... vii ABSTRACT... ix ÖNSÖZ... xi SİMGELER DİZİNİ... xv ŞEKİLLER DİZİNİ... xvii. GİRİŞ.... TEMEL BİLGİLER... 4. Topolojik Gruplar... 4. Ayrık Gruplar... 5.3 Grup Etkisi... 5.4 Temel Bölge... 6.5 Bölüm (Yörünge) Uzayları... 8.6 Bir Çember Üzerinde Yansıma (İnversiyon)... 0 3. HİPERBOLİK GEOMETRİ... 4 3. Hiperbolik Düzlem... 4 3. Hiperbolik Düzlem İçin Bazı Modeller... 4 3.3 Hiperbolik Düzlemde Doğrular... 6 3.4 Hiperbolik Düzlemin İzometrileri... 7 3.5 Fuchs Grupları... 9 3.6 Hiperbolik Üçgenler... 0 4. LİMİT ROTASYONLARIN ÜRETTİĞİ GRUPLAR VE BÖLÜM... YÜZEYLERİ... 4. Limit Rotasyonlar... 4. Bir Limit Rotasyon Tarafından Üretilen Grup ve Bölüm Uzayı... 5 4.3 Üç Limit Rotasyon Tarafından Üretilen Grup ve Bölüm Uzayı... 7 4.4 Dört Limit Rotasyon Tarafından Üretilen Grup ve Bölüm Uzayı... 9 4.5 n Limit Rotasyon Tarafından Üretilen Grup ve Bölüm Uzayı... 30 5. SONUÇ... 33 KAYNAKLAR... 35 ÖZGEÇMİŞ... 37

xiv

xv SİMGELER DİZİNİ PGL(, ) PSL(, ) Hiperbolik düzlem için birim daire modeli Hiperbolik düzlem için üst yarı düzlem modeli Kompleks sayılar kümesi Reel sayılar kümesi Tam sayılar kümesi Hiperbolik düzlemin tüm izometrilerinin grubu Hiperbolik düzlemin konform izometrilerinin grubu

xvi

xvii ŞEKİLLER DİZİNİ Şekil.. G grubu için bir temel bölge... 7 Şekil.. G grubu için temel bölge... 7 Şekil.3. G grubu için temel bölgeler... 8 Şekil.4. Tor yüzeyi... 9 Şekil.5. Sonsuz bir silindir yüzeyi... 0 Şekil.6. Bir çember üzerinde yansıma... Şekil 3.. Yalancı küre... 4 Şekil 3. Üst yarı düzlem modeline göre doğrular... 5 Şekil 3.3. Birim daire modeline göre doğrular... 5 Şekil 3.4. Hiperbolik doğrular... 6 Şekil 3.5. Paralel, ayrık paralel ve kesişen hiperbolik doğrular... 6 Şekil 3.6. Hiperbolik düzlemde öteleme... 8 Şekil 3.7. Hiperbolik düzlemde rotasyon... 8 Şekil 3.8. Hiperbolik düzlemde ötelemeli yansıma... 9 Şekil 3.9. Asimptotik üçgen... Şekil 4.. Hiperbolik düzlemde limit rotasyon... Şekil 4.5. G grubu için temel bölge... 5 Şekil 4.6 H grubu için temel bölge... 6 Şekil 4.8. H bölüm uzayı... 6 Şekil 4.9. G grubu için temel bölge... 7 Şekil 4.0. H grubu için temel bölge... 8 Şekil 4.. H bölüm uzayı... 8 Şekil 4.3. G grubu için temel bölge... 9 Şekil 4.4. H grubu için temel bölge... 9 Şekil 4.6. G grubu için temel bölge... 3 Şekil 4.7. H grubu için temel bölge... 3

xviii

. GİRİŞ Düzlemde bir L doğrusu ve bu doğruya ait olmayan bir p noktası verildiğinde, p noktasından geçen ve L doğrusuna paralel bir tek doğru vardır. Bu ifade Öklid in beş temel aksiyomlarından biri olan paralellik aksiyomuna denktir. Paralellik aksiyomunu sağlamayan geometri arayışları sonucunda Hiperbolik Geometri ortaya çıkmıştır. Bu geometriye göre, düzlemde bir L doğrusu ve bu doğrunun üzerinde bulunmayan bir p noktası verildiğinde, p noktasından geçen ve L doğrusunu kesmeyen sonsuz doğru mevcuttur. Hiperbolik düzlem için, üzerinde geometrik çalışmaların yapılabileceği değişik modeller keşfedilmiştir. kümesi, üzerinde tanımlanan z Im( z) 0 dz ds Im( z) metriği ile hiperbolik düzlem için bir modeldir. Bu model üst yarı düzlem modeli olarak adlandırılır. Üst yarı düzlem modeline göre hiperbolik düzlemdeki doğrular, reel eksene dik olan doğrular ve merkezi reel eksen üzerinde bulunan çemberlerin üst yarı düzlemde kalan kısımlarıdır. kümesi de üzerinde tanımlanan z z dz ds z metriği ile hiperbolik düzlem için bir diğer modeldir. Bu model ise birim daire modeli olarak bilinir. Bu modele göre hiperbolik doğrular birim çemberi dik kesen Öklid doğrularının ve çemberlerinin kümesinde kalan kısımlarıdır. Hiperbolik düzlem için başka modeller de mevcuttur. Fakat en çok kullanılan modeller yukarıda bahsedilen iki modeldir. İzometriler, açılar, çokgenler gibi bazı geometrik kavramlar Öklid geometrisinden de yararlanılarak daha kolay belirlendiği için bu iki modeli kullanmak daha avantajlıdır.

Üst yarı düzlem modeline göre konform izometriler az b z ( a, b, c, d ve ad bc ) cz d biçimindeki dönüşümlerden oluşur. Konform olmayan izometriler ise az b z ( a, b, c, d ve ad bc ) cz d biçimindedir. Dolayısıyla tüm izometrilerin bileşke işlemine göre oluşturduğu grup PGL (, ) grubudur. Bu iki model arasında J( z) z i z i olarak tanımlanan J : dönüşümü bir izometridir. Dolayısıyla, h üst yarı düzlemde bir hiperbolik izometri olmak üzere, birim dairede bir hiperbolik izometri JhJ biçimindedir. Öklid düzleminde olduğu gibi hiperbolik düzlemin izometrileri de yansımaların bileşkesi olarak ifade edilebilir. Hiperbolik düzlemde sonsuzda kesişen iki doğru üzerindeki yansımaların bileşkesi bir izometridir ve limit rotasyon olarak adlandırılır. Limit rotasyonların hiperbolik düzlemde sabit noktaları bulunmamaktadır, ancak sonsuzdaki bir noktayı sabit tuttukları için bu ismi almışlardır. Hiperbolik düzlemdeki diğer izometrilerin aksine bu tür izometrilerin benzerleri Öklid düzleminde mevcut değildir. Hiperbolik düzlemde köşeleri sonsuzda olan n kenarlı bir çokgen göz önüne alınsın. Bu çokgenin kenarları hiperbolik doğrulardır. Bu doğruların üzerindeki hiperbolik yansımalar bir G grubu üretir. Bu grubun konform elemanları G grubunun bir H alt grubunu oluştururlar. Bu alt grup yardımıyla elde edilen bölüm uzayı, üzerinden n tane nokta çıkarılmış bir küreye homeomorftur. Dolayısıyla, bu küre üzerinde n tane delik bulunur. Bu ise elde edilen kürenin kompakt olmadığını gösterir. Bu şekilde elde edilen küreler yerel olarak hiperbolik

3 düzleme izometrik oldukları için bunlar üzerinde hiperbolik metrik tarafından üretilen bir metrik bulunmaktadır. Bu çalışmada; limit rotasyonlar ve bunlar tarafından üretilen ayrık grupların bölüm uzayı olan hiperbolik yüzeylerin bazı topolojik ve geometrik özellikleri incelenecektir.

4. TEMEL BİLGİLER Bu bölümde, sonraki bölümlerde karşılaşılacak olan bazı temel kavramlar verilecektir... Topolojik Gruplar Tanım.. G g, h G için, bir grup ve aynı zamanda bir topolojik uzay olsun. Eğer her : G G G, ( g, h) gh : G G, ( g) g olarak tanımlanan ve fonksiyonları sürekli ise G ye bir topolojik grup denir. Örnek.. (, ) toplamsal grubu Öklid topolojisiyle birlikte ele alındığında bir topolojik gruptur. Tanım.. de verilen ve fonksiyonları bu örnek için şu şekilde tanımlanır: :, ( x, y) x y ( xy, ) :, ( y) y ( y ). Bu fonksiyonların sürekli olup olmadıklarını araştıralım. Bunun için, Öklid topolojisinin verilen bir tabanında bulunan tüm kümelerin ve fonksiyonları altında ters görüntülerinin sırasıyla ve topolojik uzaylarında açık olduklarını göstermek gerekir. cd, ve c d olmak üzere, ( cd, ) açık aralıklarından oluşan ailenin Öklid topolojisi için bir taban olduğu biliniyor. Bu durumda, [( c, d)] ( d, c) ve [( c, d)] {( x, y) c x y d}

alt kümelerinin sırasıyla Öklid topolojik uzayı ve çarpım uzayında açık oldukları kolayca gösterilebilir. Böylece, ve dönüşümleri süreklidir ve (, ) toplamsal grubu bir topolojik gruptur. Örnek.. Benzer şekilde, (, ) grubunun bir topolojik grup olduğu gösterilebilir... Ayrık Gruplar Tanım.. G bir topolojik grup olmak üzere bu grubun bütün tek noktalı altkümeleri açık ise G topolojik grubuna bir ayrık grup denir. O halde, ayrık topoloji ile birlikte düşünülürse, her topolojik grup bir ayrık grup olur. Tanım.. X bir topolojik uzay ve A X bir alt uzay olsun. Her a A için {} a kümesi alt uzayda açık ise A uzayına X topolojik uzayının bir ayrık alt uzayı denir. Tanım..3 G bir topolojik grup ve H, G topolojik grubunun bir alt grubu olsun. Şayet G üzerindeki topolojinin H üzerinde ürettiği topoloji ayrık topoloji ise H grubuna G grubunun bir ayrık alt grubu denir. Örnek.. (, ) toplamsal grubu (, ) toplamsal grubunun ayrık bir alt grubudur..3. Grup Etkisi Tanım.3. G bir grup ve A bir küme olsun. Eğer :G A A dönüşümü aşağıdaki şartları sağlarsa bu dönüşüme G grubunun A kümesine bir etkisi denir: i ) Her a A için ( e, a) a 5 ii ) Her a A ve her g, g G için ( gg, a) ( g, ( g, a)). Burada e,g grubunun birim elemanıdır.

6 Örnek.3. G bir grup ve A olsun. Her a A ve her g G için :G A A, ( g, a) a şeklinde tanımlanan dönüşümü G grubunun A kümesi üzerine bir etkisidir. Buna aşikar etki denir. Örnek.3. G bir grup olsun. Her g, h G için :G G G, ( g, h) gh şeklinde tanımlanan dönüşümü G grubunun kendi üzerine bir etkisidir. Çünkü her g G için ( e, g) g ve her g, g, h G için ( gg, h) ggh g ( g, h) g (, ( g, h)) sağlanır. Dolayısıyla dönüşümü G grubunun kendi üzerine bir etkisi olur..4. Temel Bölge Tanım.4. A bir topolojik uzay ve G { g g : A A homeomorfizma} olmak üzere, her a A ve her g G için ( g, a) g( a) olarak tanımlanan :G A A dönüşümünün G grubunun A kümesine bir etkisi olduğu gösterilebilir. Bu durumda, A topolojik uzayının aşağıdaki özellikleri sağlayan kapalı bir K alt kümesine G grubu için bir temel bölge denir: ( i) g( K) A, g G ( ii) g G { e} için K g(k). Burada; K, K kümesinin içini, e ise G grubunun birim elemanını göstermektedir.

7 Örnek.4. f ( z) z olarak tanımlanan f : fonksiyonu sonsuz devirli bir G grubu üretir. Şekil. de görülen F kümesi bu G grubu için bir temel bölgedir. F z z+ Şekil.. G grubu için bir temel bölge Örnek.4. ve sıfırdan farklı ve ( ) özelliğinde iki karmaşık sayı olmak üzere, f () z z ve g() z z olarak tanımlanan f : ve g : fonksiyonları grubuna izomorf olan bir G grubu üretir. Şekil. de gösterilen K kümesi bu G grubu için bir temel bölgedir. K 0 Şekil.. G grubu için temel bölge

8 Şekil.3 de K temel bölgesi ve bunun G grubunun bazı elemanları altındaki görüntüleri gösterilmiştir. Şekildeki paralelkenarların her biri G grubu için bir temel bölgedir. K 0 Şekil.3. G grubu için temel bölgeler.5. Bölüm (Yörünge) Uzayları Tanım.5. A bir küme, G, A kümesine etki eden bir grup ve a A olsun. Bu durumda, G { g( a) : g G} kümesine a noktasının yörüngesi denir. a Tanım.5. A bir topolojik uzay ve G, A uzayına etki eden bir grup olsun. kümesi a A noktasının yörüngesi olmak üzere, her a, b A için, a b b G a olarak tanımlanan bağıntısı A üzerinde bir denklik bağıntısıdır. Bu denklik bağıntısı A uzayını denklik sınıflarına ayırır ve herhangi bir a A elemanının denklik sınıfı a elemanının yörüngesidir. A { G : a A} bölüm kümesi ve : A A, ( a) Ga a G a

9 bölüm fonksiyonu olmak üzere, " O A açıktır : ( O), A uzayında açıktır " biçiminde tanımlanan O kümeleri A üzerinde bir topolojisi oluşturur. Bu topolojiye bölüm topolojisi, ( A, ) topolojik uzayına da bölüm uzayı veya yörünge uzayı denir. A bölüm uzayı G grubu yardımıyla elde edildiği için A yerine A G notasyonu kullanılacaktır. A G geometrik olarak şu şekilde elde edilir. K, G grubu için bağlantılı bir temel bölge olsun. Temel bölge tanımından dolayı K kümesinin iki farklı iç noktası aynı yörüngede bulunamaz ama sınırı üzerinde birden fazla nokta aynı yörüngede bulunabilir. K kümesinin sınırı üzerinde aynı yörüngede bulunan noktalar uygun şekilde birleştirilirse A G elde edilir. Bu çalışmada A uzayı olarak genellikle Öklid düzlemi ve daha sonra tanıtılacak olan hiperbolik düzlem alınacaktır. Örnek.5. Karmaşık sayılar kümesi üzerinde, f ( z) z ve g() z z i biçiminde tanımlanan f ve g dönüşümleri kümesine etki eden ve grubuna izomorf olan bir G grubu üretirler. Bu durumda, köşeleri 0,, i ve i olan kare bu grup için bir temel bölge olur. Bu temel bölgenin kenarları üzerinde aynı yörüngede bulunan noktalar birleştirilirse bölüm uzayının bir tor yüzeyi olduğu görülür. i i 0 Şekil.4. Tor yüzeyi Karmaşık düzlemde; kenar uzunlukları birim ve kenarları eksenlere paralel olan herhangi bir karenin yukarıdaki örnekte verilen G grubu için bir temel bölge olduğu kolayca görülebilir.

0 Örnek.5. f ( z) z olarak tanımlanan f : dönüşümü, üzerine etki eden ve (, ) grubuna izomorf olan bir G grubu üretir. Şekil.5 te verilen F kümesi G grubu için bir temel bölgedir. Bu temel bölgenin sınırı üzerinde bulunan ve aynı yörüngeye sahip noktalar uygun bir şekilde birleştirilirse bölüm uzayı olarak bir sonsuz silindir elde edilir. F F - 0 Şekil.5. Sonsuz silindir.6. Bir Çember Üzerinde Yansıma (İnversiyon) Karmaşık düzlemde p merkezli ve r yarıçaplı bir C çemberi ele alınsın. z, C çemberinin üzerinde bulunmayan bir nokta olsun. pz yarı doğrusu üzerinde, z p z ' p r (.6.) denklemini sağlayan bir tane z ' noktası vardır. Bu z ' noktası z noktasının C çemberi üzerinde yansıtılması sonucu elde edilen noktadır. Bu şekilde elde edilen yansımaya C çemberi üzerindeki yansıma veya inversiyon denir ve I notasyonuyla gösterilir. I c : p p dönüşümü çemberin merkezi hariç, çemberin içindeki noktaları dışındaki noktalara, dışındaki noktaları ise içindeki noktalara götürür. Bu durumda, z p iken z ' ve z ' p iken z olur. I dönüşümü çember üzerindeki noktaların her birini sabit tutar. z p olmak üzere, z p z ' p r c c

ifadesinden yararlanılarak r z ' Ic ( z) p (.6.) z p elde edilir (Silverman, 967). r p z ' z C Şekil.6. Bir çember üzerinde yansıma Eğer p 0 ve r olarak alınırsa, yukarıdaki formül yardımıyla birim çember üzerindeki yansıma olarak bulunur. Ic ( z ) (.6.3) z Örnek.6. Şekil.7 de verilen d çemberinin dışındaki bir z noktasının bu çember üzerindeki yansımasını veren T dönüşümünü bulmak için, ( i) z z 6 z ( ii) z ( iii) z z ( iv) z z ( v) z z 6

dönüşümlerinin verilen sırada uygulanması gerekir. Şekil.7. Bu beş dönüşümün verilen sırada bileşkesi alındığında z z 6 4 4 6 6 z 6 z 6 z 6 ( i) ( ii) ( iii) ( iv) ( v) z elde edilir. O halde, 4 T ( z) 6 z 6 olur. T dönüşümü 6 kümesindeki bir z noktasını götürür ve çember üzerindeki tüm noktaları sabit tutar. 4 6 z 6 noktasına Örneğin z 8 noktasını 4 6 8 8 6 noktasına götürür, yani sabit tutar. Örnek.6. Şekil.8 de verilen d ve d çemberleri üzerindeki yansımalar sırasıyla T ve T olsun. T dönüşümünü bulmak için, ( i) z z+ z z ( iii) z z ii adımları sırasıyla uygulanırsa,

3 ( ) ( ) ( ) z i z ii iii z z z z T() z z z bulunur. Şekil.8. Benzer şekilde, T dönüşümünü bulmak için, ( i) z z z z ( iii) z z ii adımları sırasıyla uygulanırsa, ( ) ( ) ( ) z i z ii iii z z z z z T () z bulunur. z

4 3. HİPERBOLİK GEOMETRİ 3.. Hiperbolik Düzlem Öklid in beş temel aksiyomlarından bir tanesi aşağıda verilen paralellik aksiyomuna dektir: Paralellik aksiyomu: Düzlemde bir L doğrusu ve bu doğruya ait olmayan bir p noktası verildiğinde, p noktasından geçen ve L doğrusuna paralel olan bir tek doğru vardır. Paralellik aksiyomundaki p noktasından geçen ve L doğrusunu kesmeyen birden fazla doğru bulunduran düzlem arayışları sonucunda Hiperbolik düzlem ve Hiperbolik Geometri ortaya çıkmıştır. Bu konudaki ilk çalışmaları Carl Friedrich Gauss, Nicolai Ivanovich Lobachevsky ve Janos Bolyai yapmıştır. Çekme eğrisi olarak bilinen eğrinin x ekseni etrafında döndürülmesi sonucu elde edilen ve her noktasında eğriliği olan yalancı küre (pseudosphere), hiperbolik düzlem için ilk somut örneklerdendir (Beltrami, 868). Şekil 3.. Yalancı küre 3.. Hiperbolik Düzlem İçin Bazı Modeller Hiperbolik düzlem için, üzerinde geometrik çalışmaların yapılabildiği bazı modeller keşfedilmiştir. Bu modellerden en çok kullanılanları, üst yarı düzlem modeli ve birim daire modelidir.

z Im( z) 0 kümesi, üzerinde tanımlanan 5 dz ds metriği ile Im( z) hiperbolik düzlem için bir modeldir. Bu model üst yarı düzlem modeli olarak bilinir. dz z z kümesi de üzerinde tanımlanan ds metriği ile z hiperbolik düzlem için bir diğer modeldir. Bu model ise birim daire modeli olarak bilinir. Üst yarı düzlem modeline göre hiperbolik düzlemdeki doğrular, reel eksene dik olan doğrular ve merkezi reel eksen üzerinde bulunan çemberlerin üst yarı düzlemde kalan kısımlarıdır (Şekil 3.). Şekil 3.. Üst yarı düzlem modeline göre doğrular Birim daire modeline göre ise hiperbolik doğrular, birim çemberi dik kesen Öklid doğrularının ve çemberlerinin kümesinde kalan kısımlarıdır (Şekil 3.3). Şekil 3.3. Birim daire modeline göre doğrular Bu tezde genellikle model olarak üst yarı düzlem modeli kullanılacaktır.

6 3.3. Hiperbolik Düzlemde Doğrular Üst yarı düzlem modeline göre hiperbolik doğruların, reel eksene dik Öklid doğrularının ve merkezi reel eksen üzerinde bulunan Öklid çemberlerinin üst yarı düzlemde kalan kısımları olduğundan bahsedildi. Şekil 3.4 de verilen d doğrusunun bir ucu reel eksen üzerindedir ve bu nokta hiperbolik düzleme dâhil değildir. Diğer ucunun ise sonsuzda olduğu varsayılır. d d Şekil 3.4. Hiperbolik doğrular Tanım 3.3. d ve d hiperbolik düzlemde farklı iki doğru olsun. Bu durumda; () i üzerinde d ve d doğrularının ortak bir noktası varsa bu doğrular paraleldirler (Şekil 3.5 a ). ( ii ) { } ve ayrık paraleldirler (Şekil 3.5 b ). kümelerinde doğruların hiçbir ortak noktaları yoksa, doğrular ( iii ) de bir tek ortak noktaları varsa, doğrular kesişirler (Şekil 3.5 c ). a b c Şekil 3.5. Paralel, ayrık paralel ve kesişen hiperbolik doğrular Teorem 3.3. Hiperbolik düzlemde bir L hiperbolik doğrusunun üzerinde olmayan bir P noktasından geçen ve L doğrusunu kesmeyen sonsuz hiperbolik doğru vardır. İspat: (Anderson, 999).

7 3.4. Hiperbolik Düzlemin İzometrileri Hiperbolik düzlemin izometrileri beş gruba ayrılırlar. Bunlar; yansımalar, ötelemeler, dönmeler, ötelemeli yansımalar ve limit rotasyonlardır. Bu izometrilerden yansımalar ve ötelemeli yansımalar yönü korumayan izometriler; ötelemeler, dönmeler ve limit rotasyonlar ise yönü koruyan izometrilerdir. Bu kısımda, limit rotasyonlar dışındaki izometriler tanıtılacak, limit rotasyonlar ise son bölümde daha detaylı olarak incelenecektir. Teorem 3.4. Hiperbolik düzlemin yönü koruyan izometrileri çift sayıda yansımanın, yönü korumayan izometrileri tek sayıda yansımanın bileşkesi olarak ifade edilebilirler. İspat: (Stillwell, 99). Yansıma: Hiperbolik düzlemde bir d doğrusu verilsin. Bu doğru reel eksene dik olan bir yarı doğru veya bir yarım çemberdir. Şayet d bir yarım çember ise d üzerindeki yansıma kendisi üzerindeki inversiyon ile aynıdır ve bunun denkleminin nasıl bulunacağı ikinci bölümde açıklanmıştır. Eğer d bir yarı doğru ise bu doğru üzerinde tanımlanan yansıma Öklid anlamındaki yansıma ile aynıdır ve bu yansıma Tz () z a olarak tanımlanır. Burada a, d yarı doğrusunu üzerinde bulunduran Öklid doğrusunun reel ekseni kestiği noktadır. Öteleme: Hiperbolik düzlemde d ve d ayrık paralel doğruları verilsin. Bu doğruların her ikisini de dik kesen bir tane d 3 doğrusu vardır. X ve Y noktaları d 3 doğrusunun sonsuzdaki noktaları olmak üzere, d 3 doğrusu d ve d doğrularını A ve B noktalarında kessin (Şekil 3.6). A ve B noktaları arasındaki hiperbolik uzaklık q ve d ve d doğruları üzerindeki yansımalar da sırasıyla ve olsun. Bu yansımaların bileşkeleri alınarak elde edilen ve dönüşümlerinin her biri 3 d doğrusunu kümesel olarak sabit tutan bir hiperbolik ötelemedir. ve ötelemelerinin hiperbolik düzlemde sabit noktaları yoktur. Fakat sonsuzdaki X ve Y noktalarını sabit tutarlar. Ayrıca, d 3 doğrusundan başka hiçbir doğruyu kümesel olarak sabit tutmazlar. 0, d 3 doğrusu üzerinde herhangi bir nokta olmak üzere, ve ötelemeleri 0 noktasını d 3 doğrusu üzerinde q kadar ötelerler. ötelemesi d 3 doğrusu

8 üzerindeki noktaları X noktasından Y noktasına doğru ötelerken, ötelemesi tam tersi yönde öteler. Fakat her iki durumda da öteleme mesafesi değişmez. d A 0 d 3 B T ( 0) d X Y Şekil 3.6. Hiperbolik düzlemde öteleme Dönme: d ve d doğruları hiperbolik düzlemde iki doğru olsun. Bu doğrular 90 olacak şekilde bir X noktasında kesişsinler (Şekil 3.7). d ve d doğruları üzerindeki yansımalar sırasıyla ve dönüşümleri olmak üzere, ve dönmedir. ve dönüşümlerinin her biri X noktasını sabit tutan bir X noktası dışındaki noktaları X noktası etrafında kadar fakat birbirlerine ters yönde döndürürler. d X d Şekil 3.7. Hiperbolik düzlemde rotasyon Ötelemeli Yansıma: Hiperbolik düzlemde d ve d ayrık paralel doğruları verilsin. Bu doğruların yegâne ortak dikmesi de d 3 olsun. d 3 doğrusunun sonsuzdaki noktaları X ve Y ve d ve d doğrularını kestiği noktalar sırasıyla A ve B olsun (Şekil 3.8)., ve 3 dönüşümleri sırasıyla d, d ve d 3 doğruları üzerindeki yansımalar olsun. Bu yansımaların bileşkesi olan 3 dönüşümü, ötelemesi ile 3 yansımasının bileşkesi olduğundan d 3 doğrusu boyunca bir ötelemeli yansımadır. dönüşümü d 3 doğrusunu kümesel olarak sabit tutar fakat başka hiçbir hiperbolik doğruyu sabit tutmaz. Ayrıca, d 3 doğrusunun sonsuzdaki noktaları olan X ve Y noktalarını sabit tutar. Hiperbolik düzlemdeki hiçbir noktayı ise sabit tutmaz.

Eğer d 3 doğrusu üzerinde herhangi bir 0 noktası alınırsa, bu noktanın dönüşümü altındaki görüntüsü olan ( 0) noktası da d 3 doğrusu üzerindedir. Ayrıca 0 ve ( 0) noktaları arasındaki hiperbolik uzaklık, A ve B noktaları arasındaki hiperbolik uzaklığın iki katı kadardır. dönüşümünün tersi olan dönüşümü de dönüşümü ile aynı özelliklere sahip olmasına rağmen öteleme yönleri birbirlerinin tersidir. 9 d 3 d A B d X Y Şekil 3.8. Hiperbolik düzlemde ötelemeli yansıma Limit Rotasyon: Hiperbolik düzlemde paralel iki doğru üzerindeki yansımaların bileşkesi olarak elde edilen limit rotasyonlar dördüncü bölümde daha geniş olarak ele alınacaktır. 3.5. Fuchs Grupları Hiperbolik düzlemin tüm konform izometrileri fonksiyonların bileşke işlemine göre bir grup oluşturur ve bu grup PSL(, ) notasyonu ile gösterilir. PSL (, ) grubunun bir ayrık alt grubuna bir Fuchs grubu denir. Örnek 3.5. olmak üzere T() z z dönüşümü hiperbolik düzlemde bir ötelemedir ve (, ) grubuna izomorf olan bir G grubu üretir. Bu G grubu bir devirli Fuchs grubudur. Örnek 3.5. T( z) z dönüşümü hiperbolik düzlemde bir limit rotasyondur ve (, ) grubuna izomorf olan bir Fuchs grubunu üretir.

0 Örnek 3.5.3 Modüler grup olarak bilinen az b PSL(, ) T ( z) a, b, c, d, ad bc cz d grubu da PSL (, ) nin bir ayrık alt grubudur ve dolayısıyla bir Fuchs grubudur. 3.6. Hiperbolik Üçgenler Öklid düzleminde farklı büyüklükte benzer üçgenler bulunabilir. Fakat hiperbolik düzlemde bu mümkün değildir. Hiperbolik düzlemde iç açıları belli olan bir üçgenin kenar uzunlukları ve alanı aşağıda verilen teoremler yardımıyla hesaplanabilir. Teorem 3.6. Hiperbolik düzlemde verilen bir üçgenin kenar uzunlukları abc,, ve bu kenarların karşısındaki açılar sırasıyla,, 0 olsun. Bu durumda aşağıdaki ifadeler geçerlidir: ( i) cosh c cosh acosh b sinh asinh bcos cos cos cos ( ii) cosh c sin sin sinh sinh sinh ( iii) a b c. sin sin sin İspat: (Beardon, 983). Teorem 3.6. T, iç açılarının ölçüleri,, olan bir hiperbolik üçgen olsun. Bu durumda, T üçgeninin hiperbolik alanı T ( ) verilir. İspat: (Beardon,983). formülü ile

Örnek 3.6.3 Şekil 3.9 da verilen R üçgeninin iç açılarının ölçüsü 0 dır. Bu tür üçgenlere asimptotik üçgenler denir. Teorem 3.6. kullanılarak R üçgeninin alanının olduğu kolayca görülebilir. d d 3 R d Şekil 3.9. Asimptotik üçgen

4. LİMİT ROTASYONLARIN ÜRETTİĞİ GRUPLAR VE BÖLÜM YÜZEYLERİ 4.. Limit Rotasyonlar Hiperbolik düzlemde d ve d paralel doğruları verilsin. Bu doğrular reel eksen üzerinde bir X noktasında kesişsinler (Şekil 4.). d ve d doğruları üzerindeki yansımalar sırasıyla ve olmak üzere, ve dönüşümleri hiperbolik düzlemde hiçbir noktayı sabit tutmazlar. Fakat sonsuzdaki X noktasını sabit tuttukları için limit rotasyonlar olarak adlandırılırlar. ve X noktasından geçen hiperbolik doğruları X noktasından geçen başka hiperbolik doğrulara götürürler. X noktasında kesişen sonsuz hiperbolik doğru çifti bulunabileceği için X noktasını sabit tutan sonsuz limit rotasyon olduğu kolayca görülebilir. Ayrıca, bu limit rotasyonlar hiçbir hiperbolik doğruyu kümesel olarak sabit tutmazlar. d d X Şekil 4.. Hiperbolik düzlemde limit rotasyon Örnek 4.. Şekil 4. de verilen d ve d doğruları hiperbolik düzlemde paralel iki doğrudur. d ve d doğruları üzerindeki yansımalar sırasıyla T () z z ve T ( z) z dönüşümleridir. d d 0 / Şekil 4.. Limit rotasyon

3 Bu durumda, T z T T z ve ( ) ( ) ( z) T ( z) ( T T )( z) z dönüşümlerinin her biri hiperbolik düzlemde bir limit rotasyondur. Örnek 4.. Şekil 4.3 de verilen d ve d doğruları üzerindeki yansımalar, z z Örnek.6. de T () z ve T () z olarak bulunmuştu. Bu durumda, z z z ( ) z ( TT )( z) T ( T ( z)) T ( ) z z z ( ) z z z z z z z olarak bulunur. Benzer şekilde, z ( TT )( z) z elde edilir. TT ve TT dönüşümlerinin her biri bir limit rotasyondur ve hiperbolik düzleme dahil olmayan 0 noktasını sabit tutar. Şekil 4.3. Limit rotasyon Örnek 4..3 Şekil 4.4 te verilen d ve d doğruları hiperbolik düzlemde paralel iki doğrudur. d doğrusu üzerindeki yansımanın T ( z) olduğu inversiyonlar z tanımlanırken gösterilmişti. d üzerindeki yansımanın ise T ( z) z olduğu kolayca görülebilir.

4 Şekil 4.4. Limit rotasyon Bu durumda, ( TT )( z) T ( T ( z)) T ( z ) ( z ) z ve z ( TT )( z) T ( T ( z)) T ( ) ( ) z z z dönüşümleri noktasını sabit tutan limit rotasyonlardır. Uyarı 4..4 İki limit rotasyonun bileşkesinin bir limit rotasyon olması gerekmez. z Örnek 4..5 f() z z 3 ve 8 3z gz () dönüşümleri reel eksen üzerinde 9 z sırasıyla ve 3 noktalarını sabit tutan limit rotasyonlardır. Fakat ( f g)( z) z 9 dönüşümü bir limit rotasyon değildir. Bu dönüşüm 0 merkezli ve 3 yarıçaplı 9 yarım çemberler üzerindeki yansımalar olan T ( z) ve T ( z) z z dönüşümlerinin bileşkesidir. Söz konusu yarım çemberler hiperbolik düzlemde ayrık paralel doğrular oldukları için bunların üzerindeki yansımaların bileşkesi olan z z dönüşümü bir hiperbolik ötelemedir. 9

5 Bazı durumlarda ise iki limit rotasyonun bileşkesi yine bir limit rotasyondur. Örneğin, aynı noktayı sabit tutan farklı iki limit rotasyonun bileşkesi, o noktayı sabit tutan ve verilen limit rotasyonlardan farklı olan yeni bir limit rotasyondur. 4.. Bir Limit Rotasyon Tarafından Üretilen Grup ve Bölüm Uzayı Hiperbolik düzlemde birbirine paralel d ve d doğruları ele alınsın ve bu doğrular üzerindeki yansımalar sırasıyla r ve r olsun (Şekil 4.5). Bu yansımalar tarafından üretilen grup G olsun. Şekil 4.5 de gösterilen F kümesi G grubu için bir temel bölgedir. r ve r yansımalarının bileşkesi hiperbolik düzlemde bir limit rotasyondur. Bu limit rotasyon tarafından üretilen alt grup da H olsun. F kümesinin d doğrusu üzerinde yansıtılmasıyla elde edilen F r ( F) kümesi H grubu için bir temel bölge olur (Şekil 4.6). d d F Şekil 4.5. G grubu için temel bölge H bir yüzeydir ve geometrik olarak şu şekilde elde edilir. F r ( F) kümesi H grubu için bir temel bölge olduğundan, F r ( F) temel bölgesinin sınırı üzerinde birden fazla nokta aynı yörüngede bulunabilir. F r ( F) temel ' bölgesinin d ile d kenarları üzerinde sanal kısımları aynı olan noktalar aynı yörüngededirler (Şekil 4.7). F r ( F) temel bölgesinin sınırı üzerinde aynı yörüngede bulunan noktalar uygun şekilde birleştirilirse H bölüm uzayı elde edilir. Bir sonsuz silindire homeomorf olan H bölüm uzayı yalancı küre olarak adlandırılır (Şekil 4.8).

6 Şekil 4.6. H grubu için temel bölge d d ' Şekil 4.7. H grubu için başka temel bölgeler de bulunabilir. Temel bölge tanımı gereğince bunların her birinin alanı eşit olmak zorundadır. Yukarıdaki örnekte H grubu için bulunan temel bölge, sonsuz asimptotik üçgenlere bölünebilir. Bir asimptotik üçgenin alanının olduğu Örnek 3.6.3 te gösterilmişti. O halde, H grubunun herhangi bir temel bölgesinin alanının sonlu olmadığı ve dolayısıyla H bölüm yüzeyinin alanının sonlu olmadığı kolayca görülebilir. Şekil 4.8. H bölüm uzayı (Yalancıküre) Benzer şekilde iki limit rotasyon tarafından üretilen bir grubun da bölüm yüzeyi elde edilebilir. Ayrıca bu yüzeyin alanının da sonlu olmadığı görülebilir. Bu çalışmanın amacı sonlu nokta çıkarılmış kürelerin incelenmesi olduğu için iki limit

7 rotasyon tarafından üretilen gruplar ve bunların bölüm yüzeyleri bu kısma dâhil edilmeyecektir. 4.3. Üç Limit Rotasyon Tarafından Üretilen Grup ve Bölüm Uzayı Hiperbolik düzlemde bir asimptotik R üçgeni ele alınsın (Şekil 4.9). Bu üçgenin kenarları olan hiperbolik doğrular d, d ve d, 3 ve bunlar üzerindeki yansımalar sırası ile r, r ve r3 olsun. Bu yansımalar tarafından üretilen grup G olsun. R üçgeninin G grubu için bir temel bölge olduğu kolayca görülebilir. r, r ve r 3 yansımalarından elde edilen rr, rr 3 ve rr 3 bileşkeleri hiperbolik düzlemde birer limit rotasyondur. Elde edilen bu limit rotasyonlar tarafından üretilen alt grup da H olsun. R üçgeninin d 3 doğrusu üzerinde yansıması alınsın. Bu durumda R r ( R) 3 kümesi H grubu için bir temel bölge olur (Şekil 4.0). d d 3 R d Şekil 4.9. G grubu için temel bölge H bir yüzeydir ve şöyle elde edilir. R r ( R) 3 kümesi H grubu için bir temel bölge olduğundan, R r ( R) 3 temel bölgesinin sınırı üzerinde birden fazla nokta aynı yörüngede bulunabilir. R r ( R) temel bölgesinin 3 d ile ' d kenarları üzerinde sanal kısımları aynı olan noktalar aynı yörüngededirler. Benzer şekilde, d ile d doğruları üzerinde bulunan ve r 3 dönüşümü ile birbirlerine götürülen ' noktaların da aynı yörünge oldukları aşikârdır (Şekil 4.).

8 d d ' d R r 3 (R) d ' Şekil 4.0. H grubu için temel bölge Şekil 4.. R r ( R) 3 kümesinin kenarlarının üzerinde aynı yörüngede bulunan noktalar uygun şekilde birleştirilirse H bölüm yüzeyi elde edilir. Elde edilen H bölüm uzayı üç nokta çıkarılmış bir küreye homeomorftur (Şekil 4.). H grubunun şekil 4.0 daki temel bölgesinin iki asimptotik üçgenin birleşimi olduğu görülmektedir. Böylece, R r ( R) 3 kümesi ve H bölüm yüzeyinin alanının olduğu görülür. Şekil 4.. H bölüm uzayı

9 4.4. Dört Limit Rotasyon Tarafından Üretilen Grup ve Bölüm Uzayı Hiperbolik düzlemde dört köşesi sonsuzda olan bir T dörtgeni ele alınsın (Şekil 4.3). Şekil 4.3. G grubu için temel bölge Bu dörtgenin kenarları olan hiperbolik doğrular d, d, d3 ve d 4 ve bu kenarlar üzerindeki yansımalar sırası ile r, r, r 3 ve r 4 olsun. Bu yansımalar tarafından üretilen grup G olsun. Yukarıda verilen T dörtgeni, G grubu için bir temel bölgedir. r, r, r 3 ve r 4 yansımalarından elde edilen rr, rr, 3 rr 3 4 ve rr 4 bileşkeleri hiperbolik düzlemde birer limit rotasyondur. Bu limit rotasyonlar tarafından üretilen alt grup H olsun. T dörtgeninin d 4 doğrusu üzerinde yansıması alınsın. Bu durumda, T r ( T) 4 kümesi H grubu için bir temel bölge olur (Şekil 4.4). Şekil 4.4. H grubu için temel bölge Daha önce yapılanlara benzer şekilde, T r ( T) 4 temel bölgesinin sınırı üzerinde aynı yörüngede bulunan noktalar şekil 4.5 te gösterildiği gibi birleştirilirse H bölüm uzayı elde edilir. Bu ise, üzerinden dört nokta çıkarılmış bir küreye

30 homeomorftur H grubunun şekil 4.4 te verilen temel bölgesinin dört asimptotik üçgenin birleşimi olduğu görülmektedir. Böylece, Teorem 3.6. gereğice T r ( T) 4 kümesi ve H bölüm yüzeyinin alanının 4 olduğu görülür. Şekil 4.5. 4.5. n Limit Rotasyon Tarafından Üretilen Grup ve Bölüm Uzayı Hiperbolik düzlemde kenarları hiperbolik doğrular olan n kenarlı bir T çokgeni ele alınsın. Bu çokgenin kenarları olan hiperbolik doğrular d, d, d 3,..., dn, d n ve bu kenarlar üzerindeki yansımalar sırası ile r, r, r 3,..., rn, r n olsun. Bu yansımalar tarafından üretilen grup G olsun. n kenarlı T çokgeni G grubu için bir temel bölgedir (Şekil 4.6). r, r, r 3,..., rn, r n yansımalarından elde edilen rr, rr, 3 rr 3 4,..., rn rn, rr n bileşkeleri hiperbolik düzlemde birer limit rotasyondur. Bu limit rotasyonlar tarafından üretilen alt grup H olsun. T çokgeni d doğrusu üzerinde yansıtılsın. Bu durumda, T r ( T) kümesi H grubu için bir temel bölge olur (Şekil 4.7). (Burada Şekil 4.6 ve Şekil 4.7 birim daire modeli esas alınarak çizilmiştir.) H bölüm uzayı bir yüzeydir ve şu şekilde elde edilir. T r ( T) kümesi H grubu için bir temel bölge olduğundan, T r ( T) temel kümesinin sınırı üzerinde aynı yörüngede bulunan noktalar uygun şekilde birleştirilirse H bölüm uzayı elde edilir. Elde edilen H bölüm uzayı, üzerinden n tane nokta çıkarılmış bir küreye homeomorftur.

3 Şekil 4.6. G grubu için temel bölge Şekil 4.7. H grubu için temel bölge

3 Üzerinden n tane nokta çıkarılmış bir hiperbolik kürenin alanı aşağıda verilen teorem yardımıyla hesaplanabilir. Teorem 4.5. n 3 bir tam sayı olmak üzere, hiperbolik düzlemde n tane limit rotasyon tarafından üretilen grubun bölüm yüzeyinin alanı ( n ) dir. İspat: n ve n için elde edilen yüzeyin alanının sonlu olmadığı bu bölümde görülmüştür. Dolayısıyla bu iki durum teoreme dâhil edilmemiştir. n 3 ve G grubu hiperbolik düzlemde n tane limit rotasyon tarafından üretilsin. Bu durumda, G bölüm yüzeyi hiperbolik düzlemde iki tane n kenarlı asimptotik çokgenin uygun şekilde birleşiminden oluşmuştur. Her bir asimptotik çokgen n tane asimptotik üçgene bölünebileceği için G bölüm yüzeyi toplam ( n ) tane asimptotik üçgenden ibarettir. Teorem 3.6. gereğince her bir asimptotik üçgenin alanının olduğu biliniyor. Böylece, G bölüm yüzeyinin alanı ( n ) olarak hesaplanır.

33 5. SONUÇ Bu tez çalışmasında hiperbolik düzlemde izometriler olan limit rotasyonlar tanıtılmış ve bunlar tarafından üretilen Fuchs grupları incelenmiştir. Ayrıca, bu gruplar yardımıyla elde edilen bölüm yüzeylerinin bazı topolojik ve geometrik özellikleri üzerinde durulmuş ve n 3 bir tam sayı olmak üzere, hiperbolik düzlemde n tane limit rotasyon tarafından üretilen bir grubun bölüm yüzeyinin n tane nokta çıkarılmış küreye homeomorf olduğu ve alanının ( n ) olduğu gösterilmiştir.

34

35 KAYNAKLAR Anderson, J. W. 999. Hyperbolic Geometry. Springer-Verlag, London, Berlin, Heidelberg. Beardon, A.F. 983. The Geometry of Discrete Groups. Springer-Verlag, New York, Heidelberg, Berlin. Beltrami, E. 868. Teoria fondamentale delgi spazii di curvatura costante. Ann. Mat. Pura Appl. Ser. (): 3-55. Churchill, R.V., Brown J.W. 990. Complex Variables and Applications. McGraw-Hill, New York. Jones, G.A., Singerman, D. 987. Complex Functions. Cambridge University Press, Cambridge. Katok, S. 99. Fuchsian Groups. The University of Chicago Press, Chicago, London. Silverman, R.A., 97. Introductory Complex Analysis. Dover Puplications, NewYork. Stillwell, J. 99. Geometry of Surfaces. Springer-Verlag, New York, Berlin, Heidelberg, London, Paris, Tokyo.

36

37 ÖZGEÇMİŞ KİŞİSEL BİLGİLER Adı Soyadı : Eren GÜMÜŞALAN Doğum Yeri ve Tarihi : Kars 08/08/984 EĞİTİM DURUMU Lisans Öğrenimi Yüksek Lisans Öğrenimi Bildiği Yabancı Diller BİLİMSEL FAALİYETLERİ a) Yayınlar -SCI -Diğer b) Bildiriler -Uluslararası -Ulusal c) Katıldığı Projeler İŞ DENEYİMİ Çalıştığı Kurumlar ve Yıl : Zonguldak Karaelmas Üniversitesi : Adnan Menderes Üniversitesi : İngilizce : ) Hürmüs Ayaydın İlköğretim Okulu SSK Ücretli Matematik Öğretmenliği (009-00) ) Mehmet Emin Ünal Kız Teknik ve Meslek Lisesi SSK Ücretli Matematik Öğretmenliği (00-0 Güz Dönemi) 3) 70. Yıl Anadolu Sağlık Meslek Lisesi SSK Ücretli Matematik Öğretmenliği (00-0 Bahar Dönemi) İLETİŞİM E-posta Adresi Tarih : : erengumusalan@hotmail.com