8
$\begingroup$

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.

$\endgroup$
5
  • 3
    $\begingroup$ I took the liberty of cleaning up the formatting in your question and correcting some language errors. Hope you don't mind. $\endgroup$
    – Yemon Choi
    Jan 16, 2011 at 20:24
  • 1
    $\begingroup$ "$X$ connected <=> $C(X)$ has only trivial idempotents" is trivial from the sheaf property and does not require such a deep Theorem as Gelfand-Naimark. $\endgroup$ Jan 17, 2011 at 8:48
  • 1
    $\begingroup$ I've written up the proof of Gelfand-Neimark in the non-unital case here matheplanet.com/matheplanet/nuke/html/article.php?sid=1111 $\endgroup$ Jan 17, 2011 at 8:49
  • $\begingroup$ sorry,i forgot about your article ;) $\endgroup$
    – trew
    Jan 17, 2011 at 8:57
  • $\begingroup$ If I recall correctly, W. Comfort and his student S. Negrepontis worked on the question of relating properties of $C^\ast(X)$ or $C(X)$ with topological properties of $X$. I can give you a list of references, if that would help. $\endgroup$
    – Not Mike
    Feb 2, 2011 at 22:51

1 Answer 1

4
$\begingroup$

Dear trew, here is an application I like of Gel'fand-Naimark's representation theorem . I'm not sure it answers your question in a strict sense but I hope it is sufficiently close... .

Consider a completely regular topological space $X$ and its algebra of continuous and bounded functions $A= \mathcal C_b (X) $. By Gel'fand-Naimark's representation theorem, the algebra $A$ is isomorphic to to $ \mathcal C (\bar X)$ for a uniquely (up to homeomorphism ) defined topological space $\bar X$. Well, this $ \bar X$ is the Stone–Čech compactification $\bar X=\beta (X)$ of $X$. There are other definitions of that compactification but I find this one appealing to those who (like me) are more familiar with spectra of rings than with ultrafilters.

Technical note Completely regular (= $T \;\; 3\frac{1}{2}$) means Hausdorff and global continuous functions ( not necessarily bounded ! ) numerous enough to separate a closed set from an exterior point. This is needed in order that $X$ embed into $\bar X=\beta (X)$.

$\endgroup$
2
  • $\begingroup$ Thank you!I know this from the book of pedersen.Its a very nice application and there is even a one-to-one corresponende of the compactifications of a locally compact space and essential extensions of $C_0 (X) $ described in the book of Khalkhali. $\endgroup$
    – trew
    Jan 16, 2011 at 21:54
  • $\begingroup$ Thank you for this nice piece of information, trew : you obviously know more than I do on the subject! But I'll leave my answer for the benefit of users who might not have seen this application before. $\endgroup$ Jan 16, 2011 at 22:10

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.