[math] \newcommand{\mathds}{\mathbb}[/math]

Develop a theory of noncommutative geometry, by formally writing any [math]C^*[/math]-algebra, not necessarily commutative, as

[[math]] A=C(X) [[/math]]

with [math]X[/math] being a “compact quantum space”, and report on what you found.