Öklid Dışı Geometri Nedir? Hiperbolik ve Eliptik Geometri

Öklid dışı geometrinin tanımı ve kapsamı

Öklid dışı geometri, Öklid geometrisini kuran aksiyomların çoğunu koruyup özellikle paralellik postulatını farklı bir aksiyomla değiştiren geometrilerin genel adıdır. En temel iki örneği hiperbolik ve eliptik geometridir. Daha geniş anlamda, uzaklık ve doğrusal yapıların kurulmasında Öklid geometrisindeki metrik varsayımlardan ayrılan başka geometrik sistemler de bu başlık altında ele alınabilir; ancak temel eğitim bağlamında odak, hiperbolik ve eliptik geometrilerdir.

Bir geometrik sistemin nasıl çalıştığını belirleyen şey, başlangıçta kabul edilen aksiyomlar ve bu aksiyomlardan çıkarılan teoremlerdir. Öklid dışı geometride nokta, doğru ve açı gibi temel kavramlar korunabilir; değişen, bu kavramların birbirleriyle ilişkisidir. Örneğin aynı düzlemde bir doğru üzerinde bulunmayan bir noktadan geçen paralel doğruların sayısı, seçilen geometriye göre bir, birden fazla veya hiç olmayabilir. Buna bağlı olarak üçgenlerin iç açı toplamı da sabit biçimde 180 derece olmak zorunda kalmaz.

Somut olarak, düz bir kâğıt üzerindeki klasik üçgen Öklid geometrisine aittir. Buna karşılık negatif eğrilikli bir yüzeyin geometrisini temsil eden hiperbolik yapı ve küresel yüzeyin temel özelliklerinden türeyen eliptik yapı, aynı “doğru” ve “üçgen” sözcüklerinin farklı aksiyomatik ilişkiler içinde yorumlanabileceğini gösterir. Bu nedenle Öklid dışı geometri, Öklid geometrisinin hatalı bir biçimi değil, farklı başlangıç kabullerine dayanan alternatif bir matematiksel çerçevedir.

Bu düşüncenin kökeninde, Öklid’in diğer postulatlarına göre daha karmaşık görünen beşinci postulatı kanıtlama çabaları vardı. 19. yüzyılda Lobachevsky ve Bolyai’nin çalışmaları hiperbolik geometrinin, Riemann’ın çalışmaları ise eliptik geometriyi de kapsayan daha geniş yaklaşımların gelişmesinde belirleyici oldu. Fizik ve görelilikteki kullanımlar ise ayrı bir konudur.

Öklid geometrisinin paralellik aksiyomu ile ilişki

Öklid geometrisinde, bir doğru üzerinde olmayan belirli bir noktadan o doğruya yalnızca bir paralel doğru çizilebileceği kabul edilir. Bu ifade, Öklid’in beşinci postulatının daha kısa ve eşdeğer biçimlerinden biridir. Paralel doğrular aynı düzlemde bulunur ve ne kadar uzatılırlarsa uzatılsın kesişmezler.

Aksiyomatik açıdan kritik nokta şudur: Diğer temel kabuller korunup bu paralellik kuralı değiştirilirse, farklı geometriler elde edilir. Bir noktadan verilen doğruya birden fazla kesişmeyen doğru geçmesine izin verilirse hiperbolik geometriye ulaşılır. Hiçbir paralel doğrunun bulunmadığı bir sistem kurmak için ise yalnızca beşinci postulatı tersine çevirmek yetmez; doğruların sınırsız uzatılması gibi başka kabullerde de uygun değişiklikler gerekir. Bu nedenle eliptik geometri, paralellik aksiyomunun değiştirilmesine ek olarak kendi aksiyomatik yapısında bazı düzenlemeler içerir.

Örneğin bir doğruya dışındaki P noktasından yalnızca tek bir paralel geçtiğini varsayarsanız Öklid geometrisinin paralellik düzenini kullanırsınız. Aynı P noktasından verilen doğruyu kesmeyen birçok doğru geçebildiğini varsayarsanız hiperbolik sonuçlar ortaya çıkar. “Hiç kesişmeyen doğru yoktur” yaklaşımı ise eliptik geometriye götüren daha kapsamlı bir aksiyomatik düzenleme gerektirir. Böylece Öklid dışı geometrinin ayırt edici özelliğinin rastgele şekil çizimleri değil, paralellik hakkındaki temel kabulün değiştirilmesi olduğu görülür.

Hiperbolik geometri

Hiperbolik geometri, Öklid’in paralellik aksiyomunun yerine, verilen bir doğruya dışındaki bir noktadan birden fazla kesişmeyen doğru geçebileceğini kabul eden geometridir. Bu doğruların tümü verilen doğruyla kesişmez; dolayısıyla Öklid geometrisindeki “tam olarak bir paralel” ilkesi burada geçerli değildir. Hiperbolik geometri, Öklid’in diğer temel geometrik fikirlerine benzeyen bir aksiyomatik yapı içinde, özellikle paralellik ve açı ilişkilerini değiştirir.

Bu değişikliğin mekanizması, bir noktanın çevresindeki doğruların verilen doğruya göre farklı yönlerde ayrılabilmesidir. Bu yönlerden bazıları verilen doğruyu keserken, belirli sınır yönleri ve aralarındaki yönler kesişmeden ilerler. Sonuçta bir noktadan geçen kesişmeyen doğruların sayısı tek değil, sonsuz olarak düşünülür. Bir modelde bu doğrular kâğıt üzerinde eğri gibi görünebilir; ancak bu görüntü modelin temsil biçiminden kaynaklanır, hiperbolik geometrinin kendi doğruları açısından onların “eğri” olduğu anlamına gelmez.

Hiperbolik geometride üçgenlerin iç açıları toplamı 180 dereceden küçüktür. Örneğin üç açısı da dar olan bir hiperbolik üçgenin açı toplamı, Öklid düzlemindeki üçgenlerde olduğu gibi 180 dereceye eşit değil, ondan daha küçük olur. Üçgen büyüdükçe bu fark belirginleşebilir. Ayrıca doğrular arasındaki uzaklık ve paralellik davranışı Öklid düzlemindeki sezgiden ayrılır; birbirinden ayrılan bazı doğrular, klasik anlamda kesişmeden aynı yapı içinde varlığını sürdürür. Hiperbolik geometrinin ayrıntılı modelleri ve teoremleri ayrı bir inceleme konusudur.

Eliptik geometri

Eliptik geometri, paralel doğruların bulunmadığı Öklid dışı geometridir. Bir doğru üzerinde olmayan P noktası ve verilen l doğrusu ele alındığında, P’den geçen her eliptik doğru l ile kesişir. Bu özellik, hiperbolik geometrideki çok sayıda paralel ve Öklid geometrisindeki tek paralel anlayışının tersine, paralellik kavramını sistemden çıkarır.

Bu sonuca ulaşmak için yalnızca Öklid’in paralellik aksiyomunu “hiç paralel yoktur” biçiminde yazmak yeterli değildir. Çünkü diğer aksiyomlar aynen korunursa, paralel doğruların varlığını sağlayan sonuçlar ortaya çıkabilir. Tutarlı bir eliptik sistem kurmak için doğruların uzantısı ve uzayın genel yapısı hakkındaki bazı kabuller birlikte düzenlenir. Eliptik geometride doğru, Öklid düzlemindeki sınırsız ve kesişmeyen çizgi gibi değil, kendi geometrik yapısı içinde sonunda başka doğrularla kesişen bir nesne olarak davranır.

Kürenin yüzeyi temel düzeyde anlaşılır bir örnektir: Küre üzerindeki en kısa doğrusal yollar büyük çemberlerin yayları olarak düşünülebilir ve iki farklı büyük çember genellikle iki noktada kesişir. Bu yüzden küre üzerinde Öklid düzlemindeki anlamıyla paralel büyük çemberler bulunmaz. Küre yüzeyindeki bir üçgenin üç iç açısının toplamı 180 dereceden büyüktür; örneğin kürenin iki kutbu ve ekvator üzerindeki iki noktayla oluşturulan uygun bir üçgende açı toplamı düzlemdeki değeri aşabilir. Eliptik ve küresel geometrinin ayrıntılı incelenmesi daha kapsamlı bir konudur.

Öklid, hiperbolik ve eliptik geometrilerin karşılaştırılması

Üç geometri arasındaki temel farklar şu şekilde özetlenebilir:

• Öklid geometrisinde, verilen doğruya dışındaki bir noktadan tam bir paralel doğru geçer; hiperbolik geometride sonsuz sayıda kesişmeyen doğru vardır; eliptik geometride paralel doğru yoktur.
• Öklid geometrisinde üçgenlerin iç açıları toplamı 180 derecedir. Hiperbolik geometride bu toplam 180 dereceden küçüktür; eliptik geometride ise 180 dereceden büyüktür.
• Öklid geometrisinde doğrular, paralel olduklarında kesişmeden uzanabilir. Hiperbolik geometride farklı doğruların kesişip kesişmemesi daha çeşitli yön ilişkilerine bağlıdır. Eliptik geometride doğruların uygun uzantıları kesişecek biçimde davranır.

Bu karşılaştırmada “doğru” ve “açı” sözcükleri her üç sistemde aynı sezgisel anlamı taşımak zorunda değildir. Örneğin küre üzerindeki büyük çemberler eliptik geometride doğru rolü üstlenebilir. Bu nedenle bir özelliği yalnızca çizimin görünüşüne bakarak değil, o geometrideki aksiyomlar ve doğru tanımı üzerinden değerlendirmek gerekir.

Öklid dışı geometrilerin tutarlılık ve model fikri

Bir geometrinin tutarlı olması, aksiyomlarının aynı anda doğru kabul edildiğinde mantıksal bir çelişkiye zorunlu olarak yol açmaması anlamına gelir. Öklid dışı geometriler ortaya çıktığında temel soru, paralellik aksiyomunu değiştirmenin gerçekten çelişkisiz bir sistem verip vermediğiydi. Bu soru yalnızca yeni teoremler yazılarak değil, söz konusu aksiyomları başka bir bilinen matematiksel yapı içinde gerçekleştiren modeller kurularak incelenir.

Model fikrinde, araştırılan geometrinin noktaları, doğruları ve ilişkileri başka bir ortamda temsil edilir. Eğer bu temsil içinde hiperbolik geometrinin aksiyomları, Öklid geometrisinin bilinen tutarlı bir modeli kullanılarak sağlanabiliyorsa, hiperbolik sistemin tutarlılığı Öklid sisteminin tutarlılığıyla ilişkilendirilebilir. Beltrami’nin çalışmaları, hiperbolik geometrinin belirli yüzeyler ve modeller aracılığıyla temsil edilebileceğini ve böylece tutarlılık sorusunun somutlaştırılabileceğini gösterdi. Burada modelde görülen eğrilik veya bükülme, temsil edilen geometrik nesnenin kendi iç özelliği olmak zorunda değildir; modelin seçtiği gösterimden de kaynaklanabilir.

Bu yaklaşım, Öklid dışı geometrilerin yalnızca tek bir postulatın değiştirilmesiyle elde edilen hayali çizimler olmadığını gösterir. Her sistem, aksiyomları, bu aksiyomlardan çıkan teoremleri ve onları gerçekleştiren modelleriyle birlikte değerlendirilir. Diferansiyel geometri ve eğrilik hesapları bu modellerin daha ileri düzeyde incelenmesini sağlar; fizik ve görelilikteki uygulamalar ise ayrı bir makalenin konusudur.