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 ,
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 .