Microbundle - Microbundle

İçinde matematik, bir mikro paket kavramının bir genellemesidir vektör paketi tarafından tanıtıldı Amerikan matematikçi John Milnor 1964'te.^[1] Normalde var oldukları düşünülmeyen durumlarda demet benzeri nesnelerin yaratılmasına izin verir. Örneğin, teğet demet için tanımlanmıştır pürüzsüz manifold ama değil topolojik manifold. Mikro paketlerin kullanılması, bir topolojik teğet demet.

Tanım

Bir mikro paketin kesin tanımı aşağıdadır. İzin Vermek B olmak topolojik uzay. Sonra bir n-mikro paket bir üçlüden oluşur ${ displaystyle (E, i, p)}$, nerede E topolojik bir uzaydır ("toplam alan"), ben dan bir harita B -e E ("sıfır bölüm") ve p dan bir harita E -e B ("projeksiyon haritası"). Ayrıca iki koşul vardır:

1. bileşimi ben bunu takiben p kimlik olmalı;
2. her biri için b içinde Bmahalle olmalı ${ displaystyle V_ {b}}$ nın-nin ${ displaystyle i (b)}$ içinde E öyle ki p sınırlı ${ displaystyle V_ {b}}$ bir projeksiyona benziyor ${ displaystyle U_ {b} times mathbb {R} ^ {n} - U_ {b}}$.

İlk koşulun şunu önerdiğini unutmayın: ben bir vektör demetinin sıfır bölümüdür, ikincisi ise yerel önemsizlik bir pakette durum. Buradaki önemli bir ayrım, mikro yığınlar için "yerel önemsizliğin" yalnızca sıfır bölümünün bir mahallesinin yakınında olmasıdır. E o mahalleden çok vahşi görünebilir. Ayrıca, mikro yığının lokal olarak önemsiz yamalarını birbirine yapıştıran haritalar, yalnızca liflerle örtüşebilir.

Sonuçlar

İki mikro yığın, sıfır bölümlerinin mahallelerine sahiplerse izomorfiktir. homomorfik gerekli haritaları gidip getiren bir harita ile. Tipik paket işlemleri, örneğin indüklenmiş demetler geri çekilme altında var.

James Kister'in bir teoremi ve Barry Mazur sıfır bölümün bir komşuluğu olduğunu belirtir ki bu aslında lif içeren bir lif demeti ${ displaystyle mathbb {R} ^ {n}}$ ve yapı grubu ${ displaystyle operatorname {Homeo} ( mathbb {R} ^ {n}, 0)}$homeomorfizmler grubu ${ displaystyle mathbb {R} ^ {n}}$ orijini sabitlemek. Bu mahalle benzersizdir. izotopi. Böylelikle, her mikro demet, esasen benzersiz bir şekilde gerçek bir elyaf demetine rafine edilebilir.^[2]

Bir manifold için M, bir topolojik manifold, diyagonal harita tarafından verilen bir mikro yığın var ${ displaystyle M - M times M}$ ve ilk koordinata projeksiyon. İçerdiği lif demetini alarak topolojik teğet demeti verir. Sezgisel olarak, bu paket, küçük grafikler sistemi alınarak elde edilir. M, her grafiğin U lifli olmak U ve bu önemsiz demetleri geçiş haritalarına göre lifleri üst üste getirerek birbirine yapıştırın.

Microbundle teorisi, çalışmalarının ayrılmaz bir parçasıdır. Robion Kirby ve Laurent C. Siebenmann açık pürüzsüz yapılar ve PL yapıları açık daha yüksek boyutlu manifoldlar.^[3]

Referanslar

• Gauld, David; Greenwood, Sina (2000). "Mikro paketler, manifoldlar ve metrisabilite". American Mathematical Society'nin Bildirileri. 128 (9): 2801–2808. doi:10.1090 / s0002-9939-00-05343-0. BAY  1664358.
• Switzer, Robert M. (2002). Cebirsel topoloji — homotopi ve homoloji. Matematikte Klasikler. Berlin, New York: Springer-Verlag. ISBN  978-3-540-42750-6. BAY  1886843. Bölüm 14'e bakın.

Dış bağlantılar

• Microbundle Manifold Atlas'ta.