Fibrat vectorial

De Viquipèdia
Dreceres ràpides: navegació, cerca

En matemàtiques, un fibrat vectorial és una construcció geomètrica on cada punt d'un espai topològic (o una varietat, o una varietat algebraica) li associem un espai vectorial de manera compatible, de manera que tots aquests espais vectorials, "enganxats junts", formen un altre espai topològic (o varietat diferenciable).

Un exemple típic és el fibrat tangent d'una varietat diferenciable: a cada punt de la varietat associem l'espai tangent de la varietat en aquest punt. O considerem una corba diferenciable en ℝ, i unim a cada punt de la corba la normal de la línia a la corba en aquest punt, això dóna el "fibrat normal" de la corba. Aquest article tracta sobretot dels fibrats vectorials reals, amb fibres de dimensió finita. Els fibrats vectorials complexos també són importants en molts casos; són un cas especial, en el sentit que poden ser vistos com una estructura addicional en un fibrat real subjacent.

Definició i primeres conseqüències[modifica | modifica el codi]

Un fibrat vectorial real ve donat per les dades següents:

  • Espais topològics (l'espai de base) i (l'espai total)
  • Una funció contínua (la projecció)
  • Per a cada l'estructura d'un espai vectorial real en la fibra que satisfà la condició de compatibilitat següent: per a cada punt en hi ha un veïnatge obert , un nombre natural , i un homeomorfisme
tals que per a cada punt
  • per a tots els vectors
  • La funció dóna un isomorfisme entre l'espai vectorial i .

El veïnatge obert juntament amb l'homeomorfisme s'anomena una trivialització local del fibrat. La trivialització local mostra que localment la funció s'assembla a la projecció de a .

Un fibrat vectorial es diu trivial si hi ha una "trivialització global", és a dir, si s'assembla a la projecció . Cada fibrat vectorial és exhaustiu, ja que els espais vectorials no poden ser buits. Cada fibra és un espai vectorial real de dimensió finita i per tant té una dimensió . La funció és localment constant, és a dir, és constant en tota component connexa de . Si és constant global en , anomenem aquesta dimensió el rang del fibrat vectorial. Un fibrat vectorial de rang 1 es diu un fibrat de línia.

Morfismes[modifica | modifica el codi]

Un morfisme des del fibrat vectorial al fibrat vectorial ve donat per un parell de funcions contínues i tals que

Morfisme
  • Per a cada , la funció induïda per és una transformació lineal entre els espais vectorials.

La composició de dos morfismes és una altra vegada un morfisme, i obtenim la categoria dels fibrats vectorials.

Podem també considerar la categoria de tots els fibrats vectorials sobre un espai base fix . Com morfismes en aquesta categoria prenem aquests morfismes, la funció dels quals sobre l'espai base és la funció identitat de .

Morfisme

Cal notar que aquesta categoria és no abeliana: el nucli d'un morfisme de fibrats vectorials no és, en general, un fibrat vectorial de manera natural.

Seccions i feixos localment lliures[modifica | modifica el codi]

L'aplicació que associa una normal a cada punt d'una superfície es pot considerar una secció. La superfície és l'espai X, i a cada punt x hi ha un vector en l'espai connectat a x.

Donat un fibrat vectorial i un subconjunt obert de , podem considerar seccions de en , és a, dir funcions contínues amb = .

Essencialment, una secció assigna a cada punt de un vector de l'espai vectorial associat, d'una manera contínua. Per exemple, les seccions del fibrat tangent d'una varietat diferenciable no són altra cosa que els camps vectorials en aquesta varietat.

Sigui el conjunt de totes les seccions en . Llavors conté sempre com a mínim un element: la funció que mapeja cada element de a l'element zero de l'espai . Amb la suma punt a punt i la multiplicació escalar de seccions, es converteix, també, en un espai vectorial real. La col·lecció d'aquests espais vectorials és un feixos d'espais vectorials en .

Si és un element de i és una funció contínua, llavors està en . Veiem que és un mòdul sobre l'anell de funcions amb valors reals contínues en . A més, si denota el feix d'estructura de funcions amb valors reals contínues en , llavors es converteix en un feix de -mòduls.

No tot feix de -mòduls sorgeix d'aquesta manera d'un fibrat vectorial: només els localment lliures. La raó és la següent: localment estem buscant seccions d'una projecció ; aquestes són exactament les funcions contínues de , i una tal funció és una -tupla de funcions contínues .

Encara més: la categoria dels fibrats vectorials reals en és equivalent a la categoria dels feixos localment lliures i finitament generats de -mòduls. Podem pensar els fibrats vectorials com que estan dins de la categoria de feixos de -mòduls; aquesta darrera categoria és abeliana, així que aquí és on podem calcular nuclis de morfismes de fibrats vectorials.

Operacions en els fibrats vectorials[modifica | modifica el codi]

Dos fibrats vectorials de , sobre el mateix cos, tenen suma de Whitney (o suma directa), la fibra del qual en qualsevol punt es defineix com la suma directa de fibres. De manera similar, el producte tensorial i l'espai dual poden ser introduïts fibra a fibra.

Variants i generalitzacions[modifica | modifica el codi]

Els fibrats vectorials són fibrats especials, en el sentit que són precisament aquells que tenen espais vectorials com a fibres.

Els fibrats vectorials diferenciables es defineixen requerint que i siguin varietats diferenciables, sigui una funció diferenciable, i les funcions de trivialització local siguin difeomorfismes.

Si substituïm els espais vectorials reals per complexos, obtenim fibrats vectorials complexos. Aquest és un cas especial de reducció del grup d'estructura d'un fibrat. També es poden utilitzar espais vectorials sobre altres cossos topològics. Si permetem espais de Banach arbitraris a la trivialització local (en lloc de només ), obtenim fibrats de Banach.

A Wikimedia Commons hi ha contingut multimèdia relatiu a: Fibrat vectorial Modifica l'enllaç a Wikidata