Serre–Swan-Satz

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.