對於一個緊緻的實代數簇X，我們利用在連續代數函數上的幕等矩陣建立一個實代數K理論，並會證明我們所建立的實代數K理論和X上的實代數向量叢所建立的實代數K理論同構。

For a compact real algebraic variety X, we construct a real algebraic K-theory of X via idempotent matrices of continuous algebraic functions and show that it is isomorphic to the real algebraic K-theory of X, constructed from algebraic vector bundles over X.

目錄
• Introduction 1
• Preliminary results 6
• Main results 16
• Some theorems and examples 22

[1] Efton Park, Complex topological K-theory, volume 111, Cambridge University Press, 2008.
[2] John R Silvester, Determinants of block matrices, The Mathematical Gazette, 84(501):460{467, 2000.
[3] Jacek Bochnak, Michel Coste, and Marie-Francoise Roy, Real algebraic geometry, volume 36, Springer Science Business Media, 2013.
[4] Dale Husemoller, Fibre bundles, volume 5, Springer, 1966.
[5] Richard G Swan, Vector bundles and projective modules, Transactions of the American Mathematical Society, 105(2):264{277, 1962.
[6] Robert M Fossum, Vector bundles over spheres are algebraic, Inventiones mathematicae, 8(3):222{225, 1969.