Svazek

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 ,

Typy svazků

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 .

Literatura