Pachet

Un mănunchi  este un triplu , unde  este un spațiu topologic , numit spațiul mănunchiului (precum și un spațiu total sau de fibre ),  este un alt spațiu, numit baza mănunchiului,  este o mapare surjectivă continuă ( proiecția fasciculului ) de spațiu în spațiu . Adesea, un pachet este numit mapare sau spațiu însuși .

Pentru fiecare element , stratul de deasupra acestui element este definit ca un subset al tuturor imaginilor prealabile ale elementului , adică . În consecință, un mănunchi este o unire de straturi parametrizate de bază și lipite împreună de topologia spațială .

O mapare care este identică se numește o secțiune a pachetului ,

Tipuri de pachete

În mod obișnuit, sunt studiate tipuri specifice de fascicule, cum ar fi mănunchiuri netede sau mănunchiuri triviale la nivel local .

Un pachet se numește trivial (arata ca un produs direct) dacă spațiul său este homeomorf unui produs direct și proiecția este dată într-un mod canonic:

În consecință, un pachet care la nivel local (în unele vecinătăți de elemente) arată ca un produs direct este numit un pachet trivial local .

Se spune că un pachet trivial local este neted dacă funcțiile de tranziție sunt netede .

Un pachet vectorial  este o mapare a unei familii de spații vectoriale într-un alt spațiu (spațiu topologic, varietate și așa mai departe) în așa fel încât fiecare punct din spațiu să fie asociat cu un spațiu vectorial a cărui unire formează un spațiu de același tip. ca . Familia de spații vectoriale astfel formată se numește spațiul mănunchiului vectorial peste .

Mănunchiul tangent al unei varietăți (netede) este un fascicul vectorial neted, unde uniunea spațiilor tangente  acționează ca familia de spații vectoriale (spațiul mănunchiului vectorial) , iar varietatea în sine acționează ca bază a mănunchiului.

Alte tipuri speciale de fibrații: fibrația Gurevich , fibrația Seifert , fibrația Serre , fibrația Hopf .

Literatură