Demet teoremi

Geometride demet teoremi; en basit durumda, gerçek Öklid düzlemindeki altı çember ve sekiz nokta üzerine bir ifadedir. Genel olarak, sadece oval Möbius düzlemleri tarafından meydana getirilen bir Möbius düzleminin bir özelliğidir. Demet teoremi Miquel teoremi ile karıştırılmamalıdır.

Açıklama

Gerçek Öklid uzayındaki oval bir Möbius düzlemi, bir küre veya bir elipsoid veya bir elipsoidin uygun bir yarısına yapıştırılmış bir kürenin yarısı veya $x^4+y^4+z^4=1$, . . . . denklemli yüzey gibi yumurtaya benzer bir yüzeyin düzlem bölümlerinin geometrisi olarak düşünülebilir. Yumurta benzeri yüzey sadece bir küre ise, klasik gerçek Möbius düzleminin uzay modeli, küre üzerindeki çember geometrisi elde edilir.

Bir oval Möbius düzleminin temel özelliği, bir ovoid aracılığıyla bir uzay modelinin varlığıdır. 3 boyutlu bir izdüşümsel uzaydaki bir ovoid, a) 0, 1 veya 2 noktalardaki çizgilerle kesişen ve b) rastgele bir noktadaki teğetleri, düzlemi (teğet düzlemi) kapsayan bir noktalar kümesidir. İzdüşümsel 3-uzayda bir ovoidin geometrisi, oval Möbius düzlemi olarak adlandırılan bir Möbius düzlemidir. Geometrinin nokta kümesi, ovoidin noktalarından oluşur ve eğriler (döngüler), ovoidin düzlem bölümleridir. Uygun bir stereografik izdüşüm şunları gösterir: Herhangi bir oval Möbius düzlemi için bir düzlem modeli vardır. Klasik durumda düzlem modeli, dairelerin ve çizgilerin geometrisidir (herhangi bir çizgi $\mathrm{\infty }$ bir nokta ile tamamlanır.). Demet teoreminin bir düzlemsel ve bir uzaysal yorumu vardır. Düzlemsel modelde, ilgili çizgiler olabilir. Demet teoreminin ispatı, uzamsal model içinde gerçekleştirilir.

Şablon:Ortala

Herhangi bir oval Möbius düzlemi için $𝔐$ demet teoremi şunları savunur:

Demet teoremi:

• Eğer farklı $A_1,A_2,A_3,A_4,B_1,B_2,B_3,B_4$ noktaları için altı dörtlünün $Q_{ij}:=\{A_i,B_i,A_j,B_j\},i<j$, beşi en az dört $c_{ij}$ döngüsünde aynı çember içinde bulunur (bir döngüde bulunur), öyleyse 6. dörtlü de aynı çember içinde bulunur.

Kanıt, esasen 3 boyutlu bir izdüşümsel uzaydaki üç düzlemin tek bir noktada kesiştiği gerçeğini kullanan aşağıdaki faktörlerin bir sonucudur:

1. Döngüleri içeren düzlemler $c_{23},c_{34},c_{24}$ bir $P$ noktasında kesişir. Bu nedenle $P$, $A_2{B}_2,A_4{B}_4$ doğrularının (uzayda !) kesişme noktasıdır.
2. $c_{12},c_{14},c_{24}$ döngülerini içeren düzlemler $P^{\prime }$ noktasında kesişir. Bu nedenle $P^{\prime }$ aynı zamanda $A_2{B}_2,A_4{B}_4$ doğrularının kesişme noktasıdır.

Bu şunları sağlar: a) $P=P^{\prime }$ ve b) $A_1{B}_1,A_3{B}_3$ aynı zamanda $P$ noktasında kesişir. Son ifade şu anlama gelir: $A_1,B_1,A_3,B_3$ döngüseldir. İlgili düzlemler ortak bir $P$ noktasına sahip olup, bunlar bir düzlem demetinin öğeleridir.

Demet teoreminin önemi Jeff Kahn tarafından gösterildi.

Kahn Teoremi: Bir Möbius düzlemi, ancak ve ancak demet teoremini yerine getirirse, ovaldir.

Demet teoremi, izdüşümsel düzlemler için Desargues teoreminin Möbius düzlemleri için olduğuna benzer bir anlama sahiptir. Demet teoremi, a) bir aykırı cisim (bölme halkası) ve b) bir ovoidin mevcudiyetini izler. Miquel'in daha katı teoremi geçerliyse, aykırı cisim bile değişmeli (cisim) ve ovoid bir kuadriktir.

Not: Ovoid olmayan Möbius düzlemleri vardır.

Not: Oval Laguerre düzlemleri için de benzer anlamı olan bir demet teoremi vardır.

Kaynakça

• Hartmann, Erich. Düzlemsel Çember Geometrileri, Möbius-, Laguerre- ve Minkowski Düzlemlerine Giriş. Şablon:Webarşiv (PDF; 891 kB) Matematik Bölümü, Darmstadt Teknoloji Üniversitesi
• Kahn, Jeff. Demet teoremini sağlayan ters düzlemler Şablon:Webarşiv. Journal of Combinatorial Theory, Series A, Volume 29, Issue 1, ss. 1-19, July 1980. doi: 10.1016 / 0097-3165 (80) 90043-6

Konuyla ilgili yayınlar

• P. Dembowski, Sonlu Geometriler, Springer-Verlag (1968) Şablon:ISBN, s. 256
• W. Benz, Vorlesungen über Geometrie der Algebren, Springer (1973)
• Rolfdieter Frank, (1985), A proof of the Bundle Theorem for certain semimodular locally projective lattices of rank 4, Journal of Combinatorial Theory, Series A Volume 39, Issue 2, ss. 222-225, https://doi.org/10.1016/0097-3165(85)90038-X, Makale Şablon:Webarşiv
• Nanjun Yang, (2006), Projective Bundle Theorem in MW-Motivic Cohomology, https://arxiv.org/abs/2006.11774
• Dale Husemöller, Michael Joachim, Branislav Jurco, Martin Schottenloher, (2008), Basic Bundle Theory and K-Cohomology Invariants, Şablon:ISBN
• Jean Fasel, (2013), The projective bundle theorem for I^j-cohomology, doi:10.1017/is013002015jkt217, Makale Şablon:Webarşiv veya Makale
• Alexey Ananyevskiy, (2015), The special linear version of the projective bundle theorem, Cambridge University Press, Compositio Mathematica, Volume 151, Issue 3, ss. 461-501, https://doi.org/10.1112/S0010437X14007702, Makale Şablon:Webarşiv veya Makale Şablon:Webarşiv
• Kien Trung Nguyen; Worawiset, Somnuek; Tran Thu Le, (2017), On Generalizations of Bundle Theorem and Miquel's Six Circles Theorem on the Plane, International Journal of Geometry, Vol. 6 Issue 2, ss 93-102.