Afin Grassmannian (manifold) - Affine Grassmannian (manifold)

İçinde matematik, terimin iki farklı anlamı vardır afin Grassmanniyen. Birinde her şeyin manifoldu k-boyutlu afin alt uzaylar nın-nin Rⁿ (bu sayfada açıklanmıştır), diğerinde ise afin Grassmanniyen biçimsel Laurent serisine dayalı bir grup halkasının bir bölümüdür.

Resmi tanımlama

Sonlu boyutlu verildiğinde vektör alanı V ve negatif olmayan bir tam sayı k, sonra Graff_k(V) topolojik uzay hepsinden afin kboyutsal alt uzayları V.

Doğal bir projeksiyonu var p: Graff_k(V) → Gr_k(V), Grassmanniyen tüm doğrusal kboyutsal alt uzayları V tanımlayarak p(U) tercümesi olmak U orijinden geçen bir altuzaya. Bu izdüşüm bir uydurmadır ve eğer V bir iç ürün verilir, lif içeren U ile tanımlanabilir ${ displaystyle p (U) ^ { perp}}$ortogonal tamamlayıcı p(ULifler bu nedenle vektör uzaylarıdır ve izdüşüm p bir vektör paketi üzerinde Grassmanniyen, tanımlayan manifold Graff üzerindeki yapı_k(V).

Olarak homojen uzay, afin Grassmannian bir nboyutlu vektör uzayı V ile tanımlanabilir

${ displaystyle mathrm {Graff} _ {k} (V) simeq { frac {E (n)} {E (k) times O (n-k)}}}$

nerede E(n) Öklid grubu nın-nin Rⁿ ve O (m) ortogonal grup açık R^m. Boyutun şu şekilde verildiğini izler:

${ displaystyle dim sol [ mathrm {Graff} _ {k} (V) sağ] = (n-k) (k + 1) ,.}$

(Bu ilişkinin, katsayıların sayısı arasındaki farktan ötürü bir sonraki bölümün belirlenmesinden çıkarılması daha kolaydır, (n−k)(n+1) ve denklemlere etki eden doğrusal grubun boyutu, (n−k)².)

Sıradan Grassmannian ile ilişki

İzin Vermek (x₁,…,x_n) olağan doğrusal koordinatlar Rⁿ. Sonra Rⁿ gömülü Rⁿ⁺¹ afin hiper düzlem olarak x_n+1 = 1. kboyutsal afin alt uzayları Rⁿ ile bire bir yazışmalarda (k+1) boyutlu doğrusal alt uzaylar Rⁿ⁺¹ düzleme göre genel konumdaki x_n+1 = 1. Aslında, a kboyutsal afin altuzayı Rⁿ bir derecenin çözümlerinin yeri n − k afin denklem sistemi

${ displaystyle { begin {align} a_ {11} x_ {1} + cdots + a_ {1n} x_ {n} & = a_ {1, n + 1} & vdots & a_ {nk , 1} x_ {1} + cdots + a_ {nk, n} x_ {n} & = a_ {nk, n + 1}. End {hizalı}}}$

Bunlar bir rütbe belirler n−k sistemi doğrusal denklemler Rⁿ⁺¹

${ displaystyle { begin {align} a_ {11} x_ {1} + cdots + a_ {1n} x_ {n} & = a_ {1, n + 1} x_ {n + 1} & vdots & a_ {nk, 1} x_ {1} + cdots + a_ {nk, n} x_ {n} & = a_ {nk, n + 1} x_ {n + 1}. end {hizalı}} }$

kimin çözümü (k + 1) - ile kesiştiğinde x_n+1 = 1, orijinal k-uçak.

Bu tanımlama nedeniyle Graff (k,n) bir Zariski açık set Gr cinsinden (k + 1, n + 1).

Referanslar

• Klain, Daniel A .; Rota, Gian-Carlo (1997), Geometrik Olasılığa Giriş, Cambridge: Cambridge University Press