Arşimet dışı geometri

Matematikte Arşimet dışı geometri, Arşimet aksiyomunun reddedildiği geometri biçimlerinin adıdır. Dehn düzlemi bu geometrilerin bir örneğidir. Bu örnekten de anlaşılabileceği üzere, Arşimet dışı geometriler Öklid geometrisinden önemli ölçüde farklı özelliklere sahip olabilir.

Bu terim, Arşimet özelliğinin iki anlamından belli birini (sıralama ya da büyüklük) ihlal eden cisimler üzerine kurulan geometrilere atıfta bulunularak iki farklı anlamda kullanılabilir.

Arşimet dışı sıralı bir cisim üzerinde geometri 
Terimin ilk anlamı, Arşimet dışı sıralı cisimler üzerine kurulan geometrileri kapsar. Örneğin, yukarıda bahsedilen Dehn düzlemi, rasyonel fonksiyonların cismine dayalı olarak belli bir Arşimet dışı sıralı cismin sonlu kısmının kendisiyle çarpımını alır. Bu geometri, Öklid geometrisinden önemli farklılıklar gösterir. Örneğin, düzlemdeki belli bir noktadan geçen ve belli bir doğruya paralel olan sonsuz çoklukta doğru vardır - bu nedenle paralellik aksiyomu geçersiz olur - ancak bir üçgenin açılarının toplamı hâlâ bir doğru açıdır.

Sezgisel olarak, böyle bir uzayda, bir doğru üzerindeki noktalar ile gerçek sayıların bir alt kümesi arasında birebir eşleme kurulamaz ve "sonsuz" veya "sonsuz küçük" uzunlukta doğru parçaları bulunur.

Arşimet dışı ağırlıklı bir cisim üzerinde geometri 
Terimin ikinci anlamı, Arşimet dışı ağırlıklı cisimler veya ultrametrik uzaylar üzerine kurulan metrik geometrileri kapsar. Böyle bir uzayda, Öklid geometrisiyle daha da fazla çelişki ortaya çıkar. Örneğin, tüm üçgenler ikizkenardır ve üst üste binen içi dolu küreler iç içedir. P-sel sayılar bu uzayların bir örneğidir.

Sezgisel olarak, böyle bir uzayda uzunluk ölçüleri "toplanma" veya "üst üste binme" konusunda başarısız olur.

Kaynaklar 

Geometri