Maximal ideals in the ring of continuous real-valued functions on R - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-20T10:26:15Z http://mathoverflow.net/feeds/question/3871 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/3871/maximal-ideals-in-the-ring-of-continuous-real-valued-functions-on-r Maximal ideals in the ring of continuous real-valued functions on R Alon Amit 2009-11-02T23:52:29Z 2011-07-28T06:18:42Z <p>For a compact space $K$, the maximal ideals in the ring $C(K)$ of continuous real-valued functions on $K$ are easily identified with the points of $K$ (a point defines the maximal ideal of functions vanishing at that point). </p> <p>Now take $K=\mathbb{R}$. Is there a useful characterization of the set of maximal ideals of $C(\mathbb{R})$, the ring of continuous functions on $\mathbb{R}$? Note that I'm not imposing any boundedness conditions at infinity (if one does, I think the answer has to do with the Stone-Čech compactification of $\mathbb{R}$ - but I can't say I'm totally clear on that part either). Is this ring too large to allow a reasonable description of its maximal ideals?</p> http://mathoverflow.net/questions/3871/maximal-ideals-in-the-ring-of-continuous-real-valued-functions-on-r/3876#3876 Answer by Eric Wofsey for Maximal ideals in the ring of continuous real-valued functions on R Eric Wofsey 2009-11-03T00:18:29Z 2009-11-03T01:53:24Z <p>Peter Johnstone's book <a href="http://books.google.com/books?id=66Njdgsk3ukC&amp;lpg=PR7&amp;pg=PA144#v=onepage&amp;q=&amp;f=false" rel="nofollow">Stone Spaces</a> (p. 144) proves that for any X, maximal ideals in C(X) are the same as maximal ideals in C_b(X) (bounded functions), i.e. the Stone-Cech compactification \beta X. Indeed, if I is a maximal ideal, let Z(I) be the set of all zero sets of elements of I; this is a filter on the lattice of all closed sets that are zero sets of functions. Then I is contained in J(Z(I)), the set of functions whose zero sets are in Z(I), so by maximality they are equal. But also, by maximality, Z(I) must be a maximal filter on the lattice of zero sets, and we get a bijection between maximal filters of zero sets and maximal ideals in C(X). Now the exact same discussion applies to C_b(X) to give a bijection between maximal filters of zero sets and maximal ideals of C(X) (since the possible zero sets of bounded functions are the same as the possible zero sets of all functions). But the maximal ideals of C_b(X) are just \beta X.</p> <p>The difference between C_b(X) and C(X) is that for C_b(X), the residue fields for all of these maximal ideals are just C, while for C(X) you can get more exotic things. Indeed, if a maximal ideal in C(X) has residue field C, then every function on X must automatically extend continuously to the corresponding point of \beta X. This can actually happen for noncompact X, e.g. the ordinal \omega_1.</p> <p>Section IV.3 of Johnstone's book has a pretty thorough discussion of this stuff if you want more details.</p> http://mathoverflow.net/questions/3871/maximal-ideals-in-the-ring-of-continuous-real-valued-functions-on-r/3892#3892 Answer by Anton Geraschenko for Maximal ideals in the ring of continuous real-valued functions on R Anton Geraschenko 2009-11-03T02:32:00Z 2009-11-29T16:12:13Z <p>This isn't really an answer to your question, but I'd like to see it here next time I come looking, so I'll post it. The following result is basically Theorem 2.1 in <a href="http://books.google.com/books?id=79bCwXbVnHAC&amp;lpg=PR2&amp;pg=PA22#v=onepage&amp;q=&amp;f=false" rel="nofollow">C<sup>&infin;</sup>-differentiable spaces</a> by Juan A. Navarro González and Juan B. Sancho de Salas.</p> <blockquote> <p><strong>Theorem:</strong> For any manifold M, the maximal ideals of C(M) whose residue field is &#8477; is exactly in bijection with the points of M.</p> </blockquote> <p><strong>Proof:</strong> It's clear that points give you distinct maximal ideals with residue field &#8477;, so we just need to show that every such ideal comes from a point. Suppose m is a maximal ideal in C(M) such that C(M)/m=&#8477; and &cap;<sub>g&isin;m</sub>{g=0}=&empty;.</p> <p>Choose a sequence of compact sets K<sub>1</sub>&sub;K<sub>2</sub>&sub;...&sub;M such that K<sub>i</sub> is in the interior of K<sub>i+1</sub> and M=&cup;K<sub>i</sub> (you can do this since M is hausdorff and second countable). For each i, choose a function f<sub>i</sub> which is 0 on K<sub>i</sub> but 1 outside of K<sub>i+1</sub>, and define f=&sum;f<sub>i</sub>. Note that for any r&isin;&#8477;, the set {x|f(x)=r} is a closed subset of some K<sub>i</sub>, so it is compact.</p> <p>Since we have a surjection C(M)&rarr;&#8477; whose kernel is m, there is some r&isin;&#8477; so that f-r&isin;m. Since &cap;<sub>g&isin;m</sub>{g=0}=&empty;, the open sets {g&ne;0}<sub>g&isin;m</sub> is a cover of M, and in particular cover the compact set {f=r}. So there is some finite collection g<sub>1</sub>, g<sub>2</sub>, ..., g<sub>n</sub>&isin;m so that {g<sub>1</sub>=0}&cap;...&cap;{g<sub>n</sub>=0}&cap;{f=r}=&empty;. But then (g<sub>1</sub>)&sup2;+...+(g<sub>1</sub>)&sup2;+(f-r)&sup2;&isin;m is a nowhere vanishing function, so it is a unit, so m=C(M), a contradiction.</p>