Svazek je trojitý , kde je topologický prostor , nazývaný prostor svazku (stejně jako celkový nebo vláknový prostor ), je další prostor, nazývaný základna svazku, je spojité surjektivní zobrazení ( projekce svazku ) prostoru do vesmíru . Svazek se často nazývá mapování nebo samotný prostor .
Pro každý prvek je vrstva nad tímto prvkem definována jako podmnožina všech předobrazů prvku , tedy . V souladu s tím je svazek spojením vrstev parametrizovaných základem a slepených dohromady prostorovou topologií .
Takové mapování , na kterém je totožné mapování , se nazývá sekce svazku ,
Typicky se studují specifické typy svazků, jako jsou hladké svazky nebo lokálně triviální svazky .
Svazek se nazývá triviální (vypadá jako přímý produkt), pokud je jeho prostor homeomorfní k přímému produktu a projekce je dána kanonickým způsobem:
Podle toho se svazek, který lokálně (v některých sousedstvích prvků) tváří jako přímý produkt, nazývá lokálně triviální svazek .
O lokálně triviálním svazku se říká , že je hladký , pokud jsou přechodové funkce hladké .
Vektorový svazek je mapování rodiny vektorových prostorů do jiného prostoru (topologický prostor, varieta atd.) takovým způsobem, že každý bod v prostoru je spojen s vektorovým prostorem, jehož spojení tvoří prostor stejného typu. jako . Takto vytvořená rodina vektorových prostorů se nazývá prostor vektorového svazku nad .
Tangentní svazek (hladké) variety je hladký vektorový svazek, kde spojení tečných prostorů funguje jako rodina vektorových prostorů (prostor vektorového svazku) a samotná varieta funguje jako základ svazku.
Některé další speciální typy fibrací: Gurevichova fibrace , Seifertova fibrace , Serre fibrace , Hopfova fibrace .