Teorema de Serre–Swan

Una equivalencia que afirma que, para un espacio compacto de Hausdorff X, la categoría de fibrados vectoriales (reales o complejos) de rango finito sobre X es equivalente a la categoría de módulos proyectivos finitamente generados sobre el anillo C(X) de funciones continuas en X; las secciones efectúan la correspondencia.