Csomag

A köteg  egy hármas , ahol  van egy topologikus tér , amelyet a köteg terének (valamint egy teljes vagy szálas térnek is neveznek ),  egy másik tér, amelyet a köteg alapjának neveznek,  egy folyamatos szürjektív leképezés ( a köteg vetülete ) térből térbe . A köteget gyakran leképezésnek vagy térnek nevezik .

Minden egyes elemnél az elem feletti réteg az elem összes előképének részhalmazaként van definiálva , azaz . Ennek megfelelően a köteg az alap által paraméterezett és a tértopológia által összeragasztott rétegek uniója .

Az azonos leképezést a köteg szakaszának nevezzük ,

Csomagtípusok

Általában bizonyos típusú kötegeket tanulmányoznak, például sima kötegeket vagy helyileg triviális kötegeket .

Egy köteget triviálisnak nevezünk (közvetlen szorzatnak tűnik), ha a tere homeomorf egy direkt szorzathoz, és a vetületet kanonikus módon adjuk meg:

Ennek megfelelően egy olyan köteget, amely lokálisan (az elemek bizonyos környezetében) közvetlen terméknek tűnik, helyileg triviális kötegnek nevezzük .

Egy lokálisan triviális köteg zökkenőmentesnek mondható, ha az átmeneti függvények zökkenőmentesek .

A vektorköteg egy vektorterek családjának  leképezése egy másik térre (topológiai térre, sokaságra stb.) oly módon, hogy a tér minden pontja olyan vektortérhez van társítva, amelynek egyesülése azonos típusú teret alkot. mint . Az így kialakult vektorterek családját a feletti vektorköteg terének nevezzük .

Egy (sima) sokaság érintőkötege egy sima vektorköteg, ahol az érintőterek uniója a  vektorterek családjaként működik (a vektorköteg tere) , és maga a sokaság a köteg alapja.

Néhány további speciális rosttípus: Gurevich -szál , Seifert -szál , Serre -szál , Hopf -szál .

Irodalom