# Serre-Swan theorem

Let $X$ be a compact Hausdorff space. Let $\mathord{\mathbf{Vec}}(X)$ be the category of complex vector bundles over $X$. And, let $\mathord{\mathbf{ProjMod}}(C(X))$ be the category of finitely generated projective modules over the $C^{*}$-algebra $C(X)$. There is a functor $\Gamma\colon\mathord{\mathbf{Vec}}(X)\to\mathord{\mathbf{ProjMod}}(C(X))$ which sends each complex vector bundle $E\to X$ to the $C(X)$-module $\Gamma(X,E)$ of continuous sections.

The functor $\Gamma$ is an equivalence of categories.

Title Serre-Swan theorem SerreSwanTheorem 2013-03-22 13:29:31 2013-03-22 13:29:31 mhale (572) mhale (572) 5 mhale (572) Theorem msc 46L85