Eğrilerin afin geometrisi - Affine geometry of curves

İçinde matematiksel alanı diferansiyel geometri, eğrilerin afin geometrisi çalışması eğriler içinde afin boşluk ve özellikle bu tür eğrilerin özellikleri değişmez altında özel afin grubu

Klasik olarak Eğrilerin öklid geometrisi temel araç, Frenet-Serret çerçevesi. Afin geometride, Frenet – Serret çerçevesi artık iyi tanımlanmamıştır, ancak başka bir kanonik çerçeve tanımlamak mümkündür hareketli çerçeve benzer bir belirleyici rol oynayan bir eğri boyunca. Teori, 20. yüzyılın başlarında, büyük ölçüde Wilhelm Blaschke ve Jean Favard.

Afin çerçeve

İzin Vermek x(t) bir eğri olmak . Öklid vakasında olduğu gibi, ilkinin n türevleri x(t) Doğrusal bağımsız böylece özellikle x(t) herhangi bir alt boyutlu afin alt uzayında yatmaz . Daha sonra eğri parametresi t ayarlanarak normalleştirilebilir belirleyici

Böyle bir eğrinin parametreleştirildiği söylenir. afin yay uzunluğu. Böyle bir parametreleme için,

eğri için özel bir afin çerçeve olarak bilinen özel afin gruba bir eşleme belirler. Yani, miktarların her noktasında özel tanımlamak afin çerçeve afin alanı için , bir noktadan oluşur x uzay ve özel bir doğrusal temel noktaya bağlı x. geri çekmek of Maurer – Cartan formu bu harita boyunca, eğrinin afin yapısal değişmezlerinin tam bir setini verir. Düzlemde, bu tek bir skaler değişmez verir, afin eğrilik eğrinin.

Ayrık değişmez

Eğri parametresinin normalleşmesi s yukarıda seçildi, böylece

Eğer n≡0 (mod 4) veya n≡3 (mod 4) ise bu determinantın işareti eğrinin ayrık bir değişmezidir. Bir eğri denir sağa bükülen (sık sık sağa sarma Weinwendig Almanca'da) +1 ise ve sinistrorse (sık sık sola sarma Hopfenwendig Almanca) −1 ise.

Üç boyutlu olarak, sağ elini kullanan sarmal sağ elini kullanan bir sarmal, sinistradır.

Eğrilik

Varsayalım ki eğri x içinde afin yay uzunluğu ile parametrelendirilir. Sonra afin eğrilikler, k1, …, kn−1 nın-nin x tarafından tanımlanır

Belirleyicinin türevini hesaplayarak böyle bir ifadenin mümkün olduğunu

Böylece x(n+1) doğrusal bir kombinasyondur x′, …, x(n−1).

Yi hesaba kat matris

kimin sütunları ilk n türevleri x (hala özel afin yay uzunluğu ile parametreleştirilmiştir). Sonra,

Somut terimlerle, matris C ... geri çekmek İlk tarafından verilen çerçeve boyunca özel doğrusal grubun Maurer-Cartan formunun n türevleri x.

Ayrıca bakınız

Referanslar

  • Guggenheimer, Heinrich (1977). Diferansiyel Geometri. Dover. ISBN  0-486-63433-7.
  • Spivak, Michael (1999). Diferansiyel geometriye kapsamlı bir giriş (2. Cilt). Yayınla ya da yok ol. ISBN  0-914098-71-3.