Hi,

I am interested in the correspondence of algebraic results about C(X) (the space of continuous functions $X\to {\mathbb C}$(complex numbers) or $X\to {\mathbb R}$(real numbers) and topological properties of X,for example results like this .(Does by the way someone know what's the "deep result by bkouche" mentioned in the paper?)

Can you by the way use this result to prove interesting theorems with this translation

(like:
-a manifold(or even a CW-complex) is paracompact

-the theorem of Tietze, etc?)

There are many such correspondences which are obtained by using Gelfand-Naimark but I couldn't find literature where you can find full details with all needed definitions and proofs.(I couldn't even find a proof of the categorical Gelfand-Naimark theorem in the nonunital case,only some sketches.) Does such literature exist for a beginner in this topic? The book "Basic Noncommutative Geometry" written by Khalkhali is a good source but omits most details (see page 16 for a little list).

So I would be glad if you can recommend to me a good book/link, or write a nice result here if it's not too complicated.

Example: X is connected iff C(X) has no idempotents because direct sums of subalgebras correspond to disjoint union of closed subspaces,since C is an equivalence.