Hiperbolik düzlemin dönüşüm grubu

**Hiperbolik düzlemin dönüşüm grubu**, *genel [[Möbius şeridi|Möbius grubu]]*nun alt grubu olup M\ddot{o}b(\mathbb{H}) ile gösterilir. *Üst yarı düzlem*i koruyan bu grup *[[Riemann küresi]]* üzerinde tanımlıdır. M\ddot{o}b(\mathbb{H}) nin etkisi altında *hiperbolik doğru*lar yine hiperbolik doğrulara giderken, herhangi iki eğri arasındaki açının mutlak değerinin, *hiperbolik uzunluk* ve *uzaklığın* korunması grubun karakteristik özelliklerinden bazılarıdır. Bu özelliklerden önemli bir sonuca, hiperbolik düzlemin dönüşüm grubuyla *hiperbolik yarı düzlemin izometri grubu*nun eşyapılı olduğuna, varmak mümkündür.

## Tarihçe
Ptolemy'nin öne sürdüğü stereografik izdüşüm, 1836'da Bellativis tarafından kürenin düzlem üzerine yayılması olarak tanımlandı. Bu izdüşüm fikrinden hareketle, Riemann 1857'de Riemann küresinin inşasını verdi. Bu arada, E. Beltrami'nin üst yarı düzlem modeliyle ilişkili olarak, A. F. Möbius *4 noktanın çapraz oranı* kavramını 1852'de, *2-boyutlu düzlemin Möbius dönüşümü* nü de 1855'te ortaya attı. n boyutlu geometrinin A. Cayley'le başlamasının ardından, J. Liouville Möbius dönüşümlerini 3-boyutta ele aldı. Dahası 3-boyutlu uzayın düzgün ve açı koruyan dönüşümünün Möbius dönüşümü olduğunu ispatladı. S. Lie, bu teoremin 2'den büyük boyutlarda da geçerli olduğunu 1871 tarihli makalesinde gösterdi. Sonraları F. Klein bu çalışmaların ışığında önemli bir sonucu, n boyutlu uzayın Möbius dönüşümleri grubuyla, n+1 boyutlu hiperbolik uzayın izometriler grubunun eşyapılı olduğunu ispatladı.

## Üst yarı düzlem modeli
**Üst yarı düzlem modeli** hiperbolik düzlemin modellerinden biridir. Tanımlı olduğu uzaya "üst yarı düzlem" denir ve
\mathbb{H} = \{z\in \Complex : Im(z)> 0\}
şeklinde tanımlanır. Bu uzayda, iki eğri arasındaki açı Öklid geometrisinde olduğu gibi, eğrilerin teğet doğruları arasındaki açıdır. Ayrıca kesişmeyen doğruların paralel olması ve verilen iki farklı noktadan geçen tek bir doğru çizilebilmesi \mathbb{H}'de de doğrudur.

Diğer yandan doğrular Öklid doğrularından farklıdır. \mathbb{H}'nin; karmaşık düzlem \Complex 'de ve reel eksen \mathbb{R}'ye dik olan Öklid doğrularıyla ya da merkezi \mathbb{R}'de olan Öklid çemberleriyle kesişimlerine **hiperbolik doğrular** denir.

Bu tanım Öklid geometrisi ve hiperbolik geometri arasında birtakım farklara yol açar. Bunlardan biri Öklid'in beşinci aksiyomunun üst yarı düzlemde geçerliliğini yitirmesidir. Bilindiği gibi Öklid geometrisinde bir doğru l ve bu doğru üzerinde olmayan bir nokta p verildiğinde, p'den geçen ve l'ye paralel olan yalnızca bir doğru çizilebilir. Fakat p ve l hiperbolik düzlemde alınırsa, bu şartları sağlayan sonsuz doğru vardır.

Üst yarı düzlem Riemann küresi \overline{\mathbb{C} } := \mathbb{C} \cup \{\infty\}'nde bir disktir. (Burada \infty \mathbb{C} 'de olmayan nokta olarak tanımlıdır.) Bunu görmek için küredeki çember tanımını bilmek gerekir. Riemann küresinde çemberler, ya Öklid çemberleri ya da Öklid doğrularının \{\infty\}'yle birleşimleridir ve 
\alpha z \bar{z} + \beta z + \bar\beta \bar{z} + \gamma = 0
\beta \in \mathbb{C}, \alpha, \gamma \in \mathbb{R}, denklemiyle verilirler.
Böylece genişletilmiş reel eksen \overline{\mathbb{R}} := \mathbb{R} \cup \{\infty\} küreyi ikiye bölen bir çemberdir ve onun tümleyenlerinden biri olarak \mathbb{H} Riemann küresinde yer alır.
### Hiperbolik uzunluk ve uzaklık
Parçalı birinci dereceden sürekli türevlenebilir f : [a, b] \rightarrow \mathbb{H} fonksiyonu için **hiperbolik uzunluk**
len_{\mathbb{H}}(f) = \displaystyle \int_a^b \frac{1} {Im(f(t))}|f'(t)|\,dt integraliyle verilir.

Buna ek olarak \mathbb{H}'te verilen iki nokta x ve y için \Gamma[x,y] tüm parçalı birinci dereceden sürekli türevlenebilir fonksiyonların kümesi olsun, öyle ki f : [a, b] \rightarrow \mathbb{H}, f(a) = x, f(b) = y. x ve y arasındaki **hiperbolik uzaklık** bu fonksiyonların boylarının infimumu alınarak bulunur.

d_{\mathbb{H}} : \mathbb{H} \times \mathbb{H} \rightarrow \mathbb{R},
d_{\mathbb{H}}(x, y) = inf\{len_{\mathbb{H}}(f) : f \in \Gamma[x,y]\}

## Genel Möbius grubu
M\ddot{o}b(\mathbb{H}) nin hiperbolik doğruları yine hiperbolik doğrulara götürdüğünü görmek için, **genel Möbius grubu, <math>M\ddot{o}b</math>**'ün Riemann küresi \overline{\mathbb{C}}'de tanımlı çemberleri çemberlere taşıdığını göstermek yeterlidir. Çünkü \overline{\mathbb{C}}'de \overline{\mathbb{R}}'ye dik çemberler, hiperbolik doğrular içerir.

M\ddot{o}b'ü tanımlamak için altgrubu {M\ddot{o}b^{+}}'yla başlamak yerinde olur. Bu grup  {M\ddot{o}b^{+}} := \{m : \overline{\mathbb{C}} \rightarrow \overline{\mathbb{C}} : m (z) = \frac{\displaystyle az+b} {\displaystyle cz+d}, a,b,c,d \in \mathbb{C}, ad - bc \neq 0\} şeklinde tanımlanır ve elemanlarına **Möbius dönüşümleri** denir. Grubun iki üreteç elemanı vardır:
J : \overline{\mathbb{C}}\rightarrow \overline{\mathbb{C}}, J (z) = \frac{\displaystyle 1} {\displaystyle z}, z \in \mathbb{C} - \{0\}, J(0) = \infty, J(\infty) = 0,

f: \overline{\mathbb{C}}\rightarrow \overline{\mathbb{C}}, f (z) = az+b, z, a, b \in \mathbb{C}, a \neq 0, f(\infty) = \infty.
Bunlara ek olarak: 
C : \overline{\mathbb{C}}\rightarrow \overline{\mathbb{C}}, C (z) = \bar{z}, 
z \in \mathbb{C}, C(\infty) = \infty fonksiyonu da kürede tanımlıdır ve M\ddot{o}b bu üç **homeomorfizma**nın (tersi ve kendisi sürekli fonksiyon) ürettiği gruptur. Dahası, bu üreteçler Riemann küresinde çemberleri çemberlere götürdüğünden, M\ddot{o}b de bu özelliğe sahiptir.

## Hiperbolik düzlemin dönüşüm grubu
Hiperbolik düzlemin dönüşüm grubu **<math>M\ddot{o}b(\mathbb{H})</math>**, 
M\ddot{o}b(\mathbb{H}) := \{m \in M\ddot{o}b : m(\mathbb{H}) = \mathbb{H}\}
genel Möbius grubunun altgrubudur. Dolayısıyla bu grup da Riemann küresinde tanımlı çemberleri çemberlere götürür. M\ddot{o}b(\mathbb{H})'nin üreteçleri üst yarı düzlemi koruyan
m(z) = az + b, K(z) = -\frac{\displaystyle 1} {\displaystyle z}, B(z) = -\bar{z} homeomorfizmalarıdır.

Hiperbolik düzlemin dönüşüm grubunun üç temel özelliği grubu karakterize etmemize yardımcı olur. Bunlar
* hiperbolik doğruları hiperbolik doğrulara götürmesi,
* parçalı birinci dereceden sürekli türevlenebilir fonksiyonların hiperbolik uzunluğunu koruması,
* iki nokta arasındaki hiperbolik uzaklığı korumasıdır.
Hiperbolik uzunluğun korunması herhangi parçalı C^{1} fonksiyonu f : [a, b] \rightarrow \mathbb{H} ve M\ddot{o}b(\mathbb{H})'nin herhangi bir elemanı m için

len_{\mathbb{H}}(f) = len_{\mathbb{H}}(m \circ f)

ifadesiyle verilir. Bu eşitliği hiperbolik uzunluğun tanımını kullanarak, grubun üreteç elemanları için göstermek mümkündür. Böylece M\ddot{o}b(\mathbb{H})'deki her eleman için de yukardaki eşitlik yazılabilir. Bu özellik ve hiperbolik uzaklığın tanımından da 

d_{\mathbb{H}}(x, y) = d_{\mathbb{H}}(m(x), m(y)) sonucuna ulaşırız. Diğer bir ifadeyle 
M\ddot{o}b(\mathbb{H})'nin her elemanı \mathbb{H}'de izometridir. Bu sonuç hiperbolik düzlemin dönüşüm grubu M\ddot{o}b(\mathbb{H})'yle **hiperbolik yarı düzlemin izometri grubu <math>Isom(\mathbb{H}, d_{\mathbb{H}})</math>**'nin eşyapılı olduğuna ulaşmada ilk adımdır. M\ddot{o}b(\mathbb{H})'nin karakterizasyonunu tamamlamak için Isom(\mathbb{H}, d_{\mathbb{H}}) \subset M\ddot{o}b(\mathbb{H})'yi de ispatlamak gerekir.

## Hiperbolik yarı düzlemin izometri grubu
Hiperbolik düzlemin dönüşüm grubuyla hiperbolik yarı düzlemin izometri grubunun eşyapılı olduğunu, M\ddot{o}b(\mathbb{H}) \simeq Isom(\mathbb{H}, d_{\mathbb{H}}), görmek için, yukarıda verilen M\ddot{o}b(\mathbb{H}) \subset Isom(\mathbb{H}, d_{\mathbb{H}}) bağıntısına ek olarak, bu ilişkinin tersini de kanıtlamamız gerekir. Bunun için, bir hiperbolik izometri f ve M\ddot{o}b(\mathbb{H})'den bir eleman q alıp bileşkelerinin üst yarı düzlemde birim fonksiyon olduğunu göstermeliyiz. Böylece q'nun tersi olarak f 'nin, M\ddot{o}b(\mathbb{H})'nin bir elemanı olduğu sonucuna ulaşırız.

İspata, pozitif sanal eksen I 'nın q \circ f tarafından noktasal olarak sabitlendiğiyle başlayalım. Öncelikle q \circ f 'nin, I 'dan alınan iki nokta a ve b'yi yine kendilerine götürdüğü gösterilebilir. Böylece I 'nın q \circ f altında görüntüsü yine I 'dır. Ayrıca gerekirse B'yle (B(z) = -\bar{z}) bileşke alarak, I 'nın belirlediği çeyrek üst düzlemler H ve H' 'nin de sabitlendiğini söyleyebiliriz. Bununla birlikte, I 'dan alınan bir c noktasının a ve b'ye olan hiperbolik uzaklıkları d_{\mathbb{H}}(a, c) ve d_{\mathbb{H}}(b, c)'yle eşsiz olarak belirlendiğini biliyoruz. q \circ f izometri olduğundan bu uzaklıkları korur ve bunun sonucunda q \circ f c'yi de sabitler.

I 'da olmayan üst yarı düzlemdeki diğer noktaların da sabitlendiğini görmek için, çeyrek üst düzlemlerden biri H'den herhangi bir w noktası alalım. w'dan geçen ve I 'ya dik hiperbolik doğruya k, I 'yla kesiştiği noktaya da z diyelim. I 'da öyle bir hiperbolik doğru parçası l_(x,y) bulabiliriz ki k l_(x,y)'nin orta dikmesidir. Burada l_(x,y) ve z'nin q \circ f tarafından sabitlendiğini biliyoruz. Dolayısıyla q \circ f(k) z'den geçen ve l_(x,y)'yi ikiye bölen hiperbolik doğrudur. Bu özelliklere sahip başka doğru olmadığından q \circ f(k) = k 'dır. Bu nedenle q \circ f(w) da k üzerinde bir noktadır. Dahası q \circ f (z) = z olduğundan  d_{\mathbb{H}}(z, w) = d_{\mathbb{H}}(z, q \circ f(w)) eşitliğini yazabiliriz. Böylece q \circ f(w) noktası ya k \cap H'de ya da k \cap H' 'de, z'ye eşit uzaklıktaki noktalardan biri olabilir. Ama q \circ f H'yi sabitlediğinden, ikinci durum mümkün değildir. Sonuç olarak q \circ f(w) = w'dur.

Böylelikle q \circ f birim fonksiyondur, yani f, q'nun tersidir ve M\ddot{o}b(\mathbb{H})'nin bir elemanıdır \blacksquare

Sonuç olarak M\ddot{o}b(\mathbb{H}) \simeq Isom(\mathbb{H}, d_{\mathbb{H}}) ilişkisiyle, hiperbolik düzlemin dönüşüm grubunun tatmin edici bir tanımına ve yukarıda verilenlere ek, birtakım özelliklerine de ulaşmış oluruz.

## Kaynakça

# L. Keen and N. Lakic, Hyperbolic Geometry from a Local Viewpoint, London Mathematical Society 2007.
# J.G.Ratcliffe, Foundation of Hyperbolic Manifolds, Springer-New York, 2006.