Laguerre uçağı - Laguerre plane - Wikipedia

İçinde matematik, bir Laguerre uçağı biridir Benz uçaklar: Möbius uçağı, Laguerre uçağı ve Minkowski uçağı, adını Fransızca matematikçi Edmond Nicolas Laguerre.

klasik Laguerre uçağı: 2d / 3d-model

Esasen klasik Laguerre düzlemi bir insidans yapısı eğrilerin insidans davranışını tanımlayan yani paraboller ve çizgiler gerçek afin düzlem. Yapıyı basitleştirmek için herhangi bir eğriye nokta eklendi. Bu tamamlamanın bir başka avantajı şudur: Tamamlanmış parabollerin / hatların düzlem geometrisi izomorf geometrisine düzlem bölümleri bir silindir (aşağıya bakınız).

Klasik gerçek Laguerre uçağı

Başlangıçta klasik Laguerre düzlemi, gerçek Öklid düzlemindeki yönelimli çizgilerin ve dairelerin geometrisi olarak tanımlandı (bkz. [1]). Burada klasik Laguerre düzleminin parabol modelini tercih ediyoruz.

Biz tanımlıyoruz:

seti puan, seti döngüleri.

İnsidans yapısı denir klasik Laguerre uçağı.

Belirlenen nokta artı bir kopyası (şekle bakın). Herhangi bir parabol / hat ek puan alır .

Aynı x koordinatına sahip noktalar eğrilerle bağlanamaz . Bu nedenle tanımlarız:

İki puan vardır paralel ()Eğer veya içeren bir döngü yok ve .

Klasik gerçek Laguerre düzleminin iki noktanın üzerindeki açıklaması için paraleldir ancak ve ancak . bir denklik ilişkisi, çizgilerin paralelliğine benzer.

İnsidans yapısı aşağıdaki özelliklere sahiptir:

Lemma:

  • Herhangi üç puan için , ikili paralel değil, tam olarak bir döngü vardır kapsamak .
  • Herhangi bir nokta için ve herhangi bir döngü tam olarak bir nokta var öyle ki .
  • Herhangi bir döngü için , Herhangi bir nokta ve herhangi bir nokta bu paralel değil tam olarak bir döngü var vasıtasıyla ile yani ve dokunma birbirlerine .
Laguerre düzlemi: x-z düzleminin bir silindire stereografik izdüşümü

Klasik küre modeline benzer Moebius uçağı var silindir modeli klasik Laguerre uçağı için:

dairesel bir silindirin düzlem bölümlerinin geometrisine izomorfiktir. .

Aşağıdaki eşleme merkezi olan bir projeksiyondur x-z düzlemini silindire eşleyen denklem ile , eksen ve yarıçap

  • Puanlar (merkez boyunca silindir üzerindeki çizgi) görüntü olarak görünmüyor.
  • projeleri parabol / çizgi denklem ile uçağa . Dolayısıyla, parabolün / çizginin görüntüsü, dikey olmayan bir düzleme sahip silindirin düzlem kesiti ve dolayısıyla noktasız bir daire / elipstir. . Paraboller / çizgi (yatay) dairelerle eşleştirilir.
  • Bir çizgi (a = 0) merkezden bir daire / Elips üzerine eşlenir ve bir parabol ( ) içermeyen bir daire / elips üzerine .

Laguerre düzleminin aksiyomları

Yukarıdaki Lemma aşağıdaki tanıma yol açar:

İzin Vermek bir olay yapısı olmak nokta Ayarlamak ve set döngüleri .
İki puan vardır paralel () Eğer veya içeren bir döngü yok ve .
denir Laguerre uçağı Aşağıdaki aksiyomlar tutarsa:

Laguerre düzlemi: aksiyomlar
B1: Herhangi üç puan için , ikili paralel değil, tam olarak bir döngü vardır içeren .
B2: Herhangi bir nokta için ve herhangi bir döngü tam olarak bir nokta var öyle ki .
B3: Herhangi bir döngü için , Herhangi bir nokta ve herhangi bir nokta bu paralel değil tam olarak bir döngü var vasıtasıyla ile ,
yani ve dokunma birbirlerine .
B4: Herhangi bir döngü en az üç nokta içerir, en az bir döngü vardır. Bir döngüde olmayan en az dört nokta vardır.

Dört nokta vardır döngüsel bir döngü varsa ile .

İlişkinin tanımından ve aksiyom B2 biz alırız

Lemma:İlişki bir denklik ilişkisi.

Klasik Laguerre düzleminin silindir modelini takiben, gösterimi sunuyoruz:

a) İçin ayarladık .b) Bir denklik sınıfı denir jeneratör.

Klasik Laguerre düzlemi için bir üretici, y eksenine paralel bir çizgidir (düzlem modeli) veya silindir üzerindeki bir çizgidir (uzay modeli).

Doğrusal geometriye bağlantı aşağıdaki tanımla verilmiştir:

Laguerre uçağı için yerel yapıyı tanımlıyoruz

ve buna kalıntı P noktasında

Klasik Laguerre düzleminin düzlem modelinde gerçek afin düzlem Genel olarak anlıyoruz

Teorem: Bir Laguerre uçağının herhangi bir kalıntısı bir afin düzlem.

Ve bir Laguerre düzleminin eşdeğer tanımı:

Teorem:Eşdeğerlik ilişkisi ile birlikte bir olay yapısı açık bir Laguerre düzlemidir, ancak ve ancak herhangi bir nokta için kalıntı afin bir düzlemdir.

Sonlu Laguerre uçakları

bir Laguerre düzleminin minimal modeli (8 döngüden sadece 4'ü gösterilmiştir)

Aşağıdaki insidans yapısı bir minimal model Bir Laguerre uçağının:

Bu nedenle ve

Sonlu Laguerre uçakları için, yani , anlıyoruz:

Lemma:Herhangi bir döngü için ve herhangi bir jeneratör bir sonlu Laguerre uçağı sahibiz:

.

Sonlu bir Laguerre uçağı için ve bir döngü tam sayı denir sipariş nın-nin .

Kombinasyonlardan elde ederiz

Lemma:İzin Vermek bir Laguerre olmak - uçağı sipariş . Sonra

a) herhangi bir kalıntı afin bir düzen düzlemidir b) c)

Miquelian Laguerre uçakları

Moebius düzlemlerinden farklı olarak, bir Laguerre düzleminin klasik modelinin biçimsel genellemesi, yani keyfi bir alanla , potansiyel müşteriler her halükârda Laguerre uçağının bir örneğine.

Teorem:Bir alan ve

,
insidans yapısı
aşağıdaki paralel ilişkiye sahip bir Laguerre düzlemidir: ancak ve ancak .

Bir Möbius uçağına benzer şekilde Miquel Teoreminin Laguerre versiyonu şunları içerir:

Miquel teoremi (parabollar yerine çizilen daireler)

MIQUEL teoremi:Laguerre uçağı için şu doğrudur:

Paralel olmayan herhangi bir 8 çifti için Bu, bir küpün köşelerine, 5 yüzdeki noktalar birbiri ardına gelen dörtlülere karşılık gelecek şekilde atanabilir, sonra altıncı dörtlü nokta da koniktir.

(Şekilde daha iyi bir genel bakış için parabollerin yerine daireler çizilmiştir)

Miquel Teoreminin önemi, aşağıdaki teoremi gösterir, v. D. Waerden, Smid ve Chen:

Teorem: Sadece bir Laguerre uçağı Miquel teoremini karşılar.

Son Teoremden dolayı denir miquelian Laguerre uçağı.

Açıklama: minimal model Bir Laguerre uçağı miquelian.

Laguerre düzlemine izomorfiktir ile (alan ).

Açıklama: Uygun stereografik projeksiyon gösterir: alan üzerinde kuadrik bir silindir üzerindeki düzlem bölümlerinin geometrisine izomorfiktir .

Ovoidal Laguerre düzlemleri

Çok sayıda Laguerre uçağı var miquelian değil (aşağıdaki web bağlantısına bakın). Miquelian Laguerre uçaklarına en çok benzeyen sınıf, oval Laguerre düzlemleri. Bir oval Laguerre düzlemi, bir silindirin bir silindirin düzlem bölümlerinin geometrisidir. oval dejenere olmayan bir konik yerine. Bir oval bir ikinci dereceden küme ve yansıtmalı bir düzlemdeki dejenere olmayan bir koni ile aynı geometrik özellikleri taşır: 1) bir çizgi, bir ovali sıfır, bir veya iki noktada keser ve 2) herhangi bir noktada benzersiz bir tanjant vardır. Gerçek düzlemde basit bir oval, farklı elipslerin iki uygun yarısını, sonuç bir konik olmayacak şekilde birbirine yapıştırarak inşa edilebilir. Sonlu durumda bile ovaller vardır (bkz. ikinci dereceden küme ).

Ayrıca bakınız

Referanslar

  1. ^ Benz, Walter (2013) [1973], Vorlesungen über Geometrie der Algebren (Almanca), Heidelberg: Springer, s. 11, ISBN  9783642886713

Dış bağlantılar