Eine Äquivalenz, die besagt, dass für einen kompakten Hausdorff-Raum X die Kategorie der (reellen oder komplexen) Vektorbündel endlichen Rangs über X äquivalent zur Kategorie der endlich erzeugten projektiven Moduln über dem Ring C(X) der stetigen Funktionen auf X ist; Abschnitte liefern die Entsprechung.

Prinzip

Der Funktor der globalen Schnitte stellt die Äquivalenz her: Stetige Schnitte senden ein Vektorbündel auf ein endlich erzeugtes projektives C(X)-Modul, und umgekehrt entsteht jedes endlich erzeugte projektive Modul für kompaktes Hausdorff X als Abschnittsmodul eines passenden Vektorbündels.

Demonstration

Beispielsweise entsprechen Geradenbündel über dem Kreis Rang-1-projektiven Moduln über C(S^1); die Clutching-Konstruktion von Bündeln entspricht idempotenten Matrizen über C(S^1), die projektive Moduln definieren.

Fehlanwendung

Das Theorem naiv auf nicht-kompakte Räume, unendlich-rangige Bündel oder auf Ringe differenzierbarer Funktionen anzuwenden, ohne die notwendigen Finitheits- oder Topologiehypothesen zu prüfen; beliebige Moduln als von Bündeln stammend zu behandeln, obwohl sie nicht projektiv sind.

Konsequenz

Ermöglicht die Übersetzung topologischer Probleme über Vektorbündel in algebraische Probleme über projektive Moduln und Idempotenten, ist grundlegend für Techniken in der K-Theorie und für den Übergang zur nichtkommutativen Geometrie, wenn C(X) durch eine nichtkommutative Algebra ersetzt wird.

Umkehrung

Umgekehrt sind nicht alle Moduln über C(X) geometrisch: Nur endlich erzeugte projektive Moduln entsprechen Bündeln, sodass Freiheits- oder andere Modul-Eigenschaften nicht automatisch das Vorhandensein eines Vektorbündels implizieren.

Abgrenzung

Setzt voraus, dass X kompakt Hausdorff ist und die Bündel endlichen Rang haben; schließt nicht-kompakte Basen ohne Zusatzstruktur, unendlich-rangige Bündel und beliebige Garben oder nicht-projektive Moduln aus.

Semantische Spannung

Spannung zwischen algebraischen Begriffen (projektive vs. freie Moduln, Idempotenten in Matrixalgebren) und geometrischer Intuition über Bündel; in der algebraischen Geometrie gelten ähnlich klingende Sätze (Serres Satz über kohärente Garben) in anderen Kategorien und mit anderen Hypothesen.

Synthese

Der Serre–Swan-Satz formuliert eine Kategoriënäquivalenz, die Vektorbündel endlichen Rangs auf einem kompakten Hausdorff-Raum mit endlich erzeugten projektiven Moduln über C(X) identifiziert, wodurch eine systematische algebraische Behandlung topologischer Bündel möglich wird.