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.

Principio

El funtor de secciones globales establece la equivalencia: tomar secciones continuas envía un fibrado vectorial a un módulo proyectivo finitamente generado sobre C(X), y recíprocamente todo módulo proyectivo finitamente generado surge, cuando X es compacto de Hausdorff, como el módulo de secciones de algún fibrado vectorial adecuado.

Demostración

Por ejemplo, los fibrados línea sobre el círculo corresponden a módulos proyectivos de rango 1 sobre C(S^1); la construcción por acoplamiento (clutching) de fibrados se traduce en idempotentes matriciales sobre C(S^1) que definen módulos proyectivos.

Aplicación incorrecta

Extender el teorema sin más a espacios no compactos, a fibrados de rango infinito, o a anillos de funciones diferenciables sin comprobar las hipótesis necesarias de finitud o topología; considerar módulos arbitrarios como procedentes de fibrados cuando no son proyectivos.

Consecuencia

Permite traducir problemas topológicos sobre fibrados vectoriales en problemas algebraicos sobre módulos proyectivos e idempotentes, siendo fundamental para técnicas en K-teoría y para el paso a la geometría no conmutativa cuando C(X) se reemplaza por un álgebra no conmutativa.

Inversión

A la inversa, no todo módulo sobre C(X) es geométrico: sólo los módulos proyectivos finitamente generados corresponden a fibrados, de modo que propiedades algebraicas como ser libre no implican automáticamente la existencia de un fibrado vectorial.

Límite

Requiere que X sea compacto Hausdorff y que los fibrados tengan rango finito; excluye bases no compactas sin estructura adicional, fibrados de rango infinito y haces o módulos no proyectivos arbitrarios.

Tensión semántica

Tensión entre nociones algebraicas (módulos proyectivos vs libres, idempotentes en álgebras matriciales) e intuición geométrica sobre fibrados; en geometría algebraica resultados de apariencia similar (el teorema de Serre sobre haces coherentes) operan en categorías y con hipótesis distintas.

Síntesis

El Teorema de Serre–Swan establece una equivalencia de categorías que identifica fibrados vectoriales de rango finito en un espacio compacto de Hausdorff con módulos proyectivos finitamente generados sobre C(X), permitiendo un estudio algebraico sistemático de fibrados topológicos y motivando análogos no conmutativos.