# Fibrato

In matematica, e più precisamente in topologia, un fibrato è una particolare funzione $\pi :E\to B$ che si comporta localmente come la proiezione di un prodotto su un fattore.
I fibrati sono utili in topologia differenziale e in topologia algebrica. Un esempio importante di fibrato è il fibrato tangente. Sono anche uno strumento importante nella teoria di gauge.

## Definizione

Un fibrato è una funzione suriettiva continua fra spazi topologici $\pi :E\to B$ che è localmente un prodotto. Più precisamente, fissato uno spazio topologico $F$, ogni punto $x$ di $B$ possiede un intorno aperto $U$ tale che la controimmagine $\pi ^{-1}(U)$ è omeomorfa al prodotto $U\times F$, e la $\pi$ letta su questo prodotto è la proiezione sul primo fattore. In altre parole, il seguente diagramma commuta:
dove ${\mathrm {proj} }_{1}\colon U\times F\to U$ è la naturale proiezione sul primo fattore e $\phi \colon \,\pi ^{-1}(U)\to U\times F$ è un omeomorfismo. L'insieme di tutti gli omeomorfismi $\{(U_{i},\phi _{i})\}$ si dice trivializzazione locale del fibrato.
Lo spazio $B$ è la base o spazio di base, $F$ è la fibra, $E$ è lo spazio totale e $\pi$ la proiezione. Il fibrato è a volte denotato nel modo seguente:
    $F\longrightarrow E\ {\xrightarrow {\,\ \pi \ }}\ B$
Un fibrato è differenziabile (o liscio) se è definito nella categoria delle varietà differenziabili: $E,B$ e $F$ in questo caso sono varietà differenziabili e le $\pi ,\phi$ sono funzioni differenziabili. In particolare, ogni fibrato differenziabile è una varietà fibrata.

## Esempi
### Prodotto

Il prodotto topologico $E=B\times F$ di due spazi è, con la proiezione sul primo fattore, un fibrato sopra la base $B$ a fibra $F$. Un tale fibrato è detto banale (o triviale). Si dimostra che ogni fibrato sopra uno spazio cellulare contrattile è banale.

### Nastro di Möbius

Il nastro di Möbius è forse l'esempio più semplice di fibrato non banale. La base $B$ consiste in una circonferenza, e la fibra $F$ è un segmento. Dato $x$ in $B$, un piccolo arco $U$ della circonferenza contenente $x$ ha effettivamente come controimmagine un rettangolo $U\times F$. Globalmente, il nastro di Möbius non è però un prodotto $B\times F$: un tale prodotto sarebbe infatti una corona circolare.

### Toro e bottiglia di Klein

Analogamente, il toro è un prodotto $S^{1}\times S^{1}$ fra due circonferenze $S^{1}$, mentre la bottiglia di Klein è un altro fibrato, avente sempre base $S^{1}$ e fibra $S^{1}$.

### Rivestimenti

Un rivestimento è un fibrato in cui la proiezione è un omeomorfismo locale. In particolare, la fibra è un insieme discreto di punti.

### Fibrati vettoriali

Un fibrato vettoriale è un fibrato la cui fibra $F$ è uno spazio vettoriale. I fibrati vettoriali occupano un ruolo centrale in topologia e in geometria algebrica. L'esempio più importante di fibrato vettoriale è il fibrato tangente.

### Fibrazione di Hopf

La fibrazione di Hopf è un particolare fibrato fra sfere $f:S^{3}\to S^{2}$ avente come fibra $S^{1}$.

## Proprietà
### Mappa aperta

La proiezione $\pi$ è sempre una funzione aperta.

### Sezioni

Una sezione di un fibrato è una funzione continua
    $s:B\to E\,\!$
tale che $\pi (s(x))=x$ per ogni $x$ in $B$. Ad esempio, in un fibrato banale $E=F\times B$, preso un punto $y_{0}$ in $F$, si può definire la sezione
    $s(x)=(y_{0},x).$
Un generico fibrato può ammettere o non ammettere sezioni. L'esistenza di una sezione conduce alla definizione delle classi caratteristiche.
Molti oggetti comunemente incontrati nelle teorie matematiche e fisiche possono essere formalizzati come sezioni di un particolare fibrato, di sovente vettoriale. Ad esempio, un campo vettoriale è una sezione del fibrato tangente. Una forma differenziale o un più generico campo tensoriale (come ad esempio il tensore di Riemann) sono anch'essi sezioni di una tipologia di fibrati vettoriali, noti col nome di fibrati tensoriali. Infine, i campi che costituiscono gli oggetti di studio delle teorie di campo classiche possono essere formalizzati come sezioni di particolari fibrati vettoriali, come avviene ad esempio con gli spinori nelle teorie di campo a spin 1/2.