Bunt

En bunt  är en trippel , där  är ett topologiskt utrymme , kallat utrymmet för bunten (liksom ett totalt eller fiberutrymme ),  är ett annat utrymme, som kallas basen av bunten,  är en kontinuerlig surjektiv kartläggning ( projektion av bunten ) av utrymme in i rymden . Ofta kallas en bunt en mappning eller själva utrymmet .

För varje element definieras lagret ovanför detta element som en delmängd av alla förbilder av elementet , det vill säga . Följaktligen är en bunt en förening av lager parametriserade av basen och limmade samman av rymdtopologin .

En mappning som är identisk mappning kallas en sektion av bunten ,

Bunttyper

Typiskt studeras specifika typer av buntar, till exempel släta buntar eller lokalt triviala buntar .

En bunt kallas trivial (ser ut som en direkt produkt) om dess utrymme är homeomorft till en direkt produkt och projektionen ges på ett kanoniskt sätt:

Följaktligen kallas en bunt som lokalt (i vissa områden av element) ser ut som en direkt produkt en lokalt trivial bunt .

En lokalt trivial bunt sägs vara smidig om övergångsfunktionerna är smidiga .

En vektorbunt  är en avbildning av en familj av vektorrum till ett annat rum (topologiskt rymd, mångfald, och så vidare) på ett sådant sätt att varje punkt i rummet är associerad med ett vektorrum vars förening bildar ett rum av samma typ som . Familjen av vektorrum som sålunda bildas kallas för vektorbuntens rymd över .

Tangentbunten för ett (smjukt) grenrör är ett jämnt vektorknippe, där föreningen av tangentrymden  fungerar som familjen av vektorrum (utrymmet för vektorbunten) , och grenröret självt fungerar som basen för bunten.

Några andra speciella typer av fibrationer: Gurevich -fibration , Seifert-fibration , Serre -fibration , Hopf-fibration .

Litteratur