En geometria, un fibrat o feix fibrat és una funció contínua suprajectiva π, d'un espai topològic V a un altre espai topològic B, que satisfà una altra condició que ho fa d'una manera particularment simple localment. Introduint un altre espai topològic F, utilitzem la funció de projecció de B × FB com a model. Per exemple en el cas d'un fibrat vectorial, F és un espai vectorial sobre els nombres reals. Un dels usos primaris dels fibrats és a la teoria de gauge.

Definició

modifica

Un fibrat consisteix en una quaterna  , on E, B i F són varietats i   és una aplicació contínua i suprajectiva, de manera que s'ha de complir que qualsevol element   té un entorn   dins de B, tal que   és homeomorf a  , d'una manera que   transporta a la projecció sobre el primer factor (és a dir, si   satisfà   qualsevol que siguin   i  ). A més s'exigeix que   sigui un homeomorfisme. Així  .

 

La varietat B es denomina espai de base del fibrat, E es diu espai total, per a tota   el conjunt   es diu la fibra en x i la funció   s'anomena la funció de projecció.

Exemples

modifica

Cada funció de projecció natural p: B × FB és un fibrat. Els fibrats com aquests es diuen els fibrats trivials. Un exemple estàndard, localment trivial però no (globalment) trivial és la banda de Möbius com L, en la qual B es pot prendre com un cercle i F un segment de línia. La torçada de la cinta és evident només globalment, mentre que localment l'estructura de la cinta defineix la topologia. Cada fibrat vectorial és un fibrat; aquí F és un espai vectorial sobre els nombres reals. Per qualificar com fibrat vectorial, les transicions que relacionen els entorns localment trivials hauran de ser lineals també. Cada espai recobridor) és un fibrat, aquí l'espai fibra F és discret.

Cada fibrat π: LB és una funció oberta, ja que les projeccions de productes cartesians són funcions obertes.

Seccions

modifica

Una secció d'un fibrat és una funció contínua, f : BE tal que π(f(x)) = x, per a tot element x de B. Com que els fibrats en general no tenen seccions, un dels propòsits de la teoria és explicar la seva existència. Això condueix a la teoria de les classes característiques a topologia algebraica.

Vegeu també

modifica

Enllaços externs

modifica