7
$\begingroup$

Hello,

Let R denote the ring of continuous functions defined on the real line, let I in R be the ideal consisting of functions with compact support. Obviously, I is not maximal, and by Zorn's Lemma there exists a maximal ideal M in R which contains I. Is there now an explicit construction or characterization for M, i.e. when given any function in R, can one decide whether it lies in M or not?

$\endgroup$
9
  • 4
    $\begingroup$ A quick note: your ideal $I$ is a radical ideal, which shows that it is contained in at least two different maximal ideals (since it is the intersection of all prime ideals containing itself); hence, there is no unique such maximal ideal $M$. $\endgroup$
    – felix
    Dec 29, 2010 at 21:59
  • 8
    $\begingroup$ The corresponding question with R replaced by Z is essentially about the construction of non-principal ultrafilters, and it is well-known that this is independent of ZF. $\endgroup$ Dec 29, 2010 at 22:10
  • 2
    $\begingroup$ To make Qiaochu's remark a little bit more specific: The maximal ideals of $C(\mathbb{R})$ are in one-to-one correspondence with the points of the Stone-Cech compactification $\beta \mathbb{R}$ of $\mathbb{R}$. $\endgroup$ Dec 30, 2010 at 0:56
  • 3
    $\begingroup$ To put it bluntly: these maximal ideals cannot be explicitly defined. They're provably unknowable. $\endgroup$ Dec 30, 2010 at 2:27
  • 3
    $\begingroup$ @Igor Rivin: I didn't see what in that discussion addresses the issue. The Stone-Cech compactification of $\mathbb R$ is defined in some theories, but there is no actual way to actually explicitly specify or define a particular unreal point in it. Many properties can be proven, many distinctions can be made, but they make an ocean with no definable atoms. $\endgroup$ Dec 30, 2010 at 6:01

3 Answers 3

4
$\begingroup$

This is an expansion of the comment of Qiaochu Yuan.

As mentioned in the comments there can be no "constructive" description. However, maybe you'll find this (tautological) construction useful: take any sequence $m_n$, $n=1,2,\ldots$ of real points which diverges to infinity. Choose an ultrafilter $U$, and define $M$ to be the set of those functions $f$ for which there exists an element $K$ of $U$ (so in particular $K$ is a subset of natural numbers) such that $f(m_k)=0$ for $k\in K$.

It's obvious that $M$ contains your set $I$ and that it is closed under multiplication by elements of $R$. That it is additively closed follows from the fact that $U$ is a filter, and that it is maximal follows from the fact that $U$ is an ultrafilter.

So $M$ is "as explicit" as $U$ is. In particular all functions which vanish on all but finitely many points of the sequence $m_n$ are in $M$.

Also, you can take your favourite explicit filter $U'$ and define the ideal $M'$ as above, and have a non-maximal but explicit ideal which contains $I$.

$\endgroup$
3
$\begingroup$

This may be relevant:

Call an ideal on your ring free if there is no point where all functions in this ideal vanish. Then the following holds:

The existence of a definable (in the language of Zermelo Fraenkel set theory with choice) free maximal ideal on the ring of continuous functions from reals to reals is independent.

The consistency of the existence of such an ideal follows from fact that the axiom of constructibility implies that the universe has a definable well ordering.

The consistency of the non existence of a definable maximal free ideal follows from an old result of Solovay which says that there is a model of set theory in which every definable set of reals is Lebesgue measurable (one also needs to assume that inaccessibles are consistent). The reason why Solovay's model doesn't have definable maximal free ideals is that every such ideal can be used to get a non principal ultrafilter over natural numbers which corresponds to a non measurable subset of the unit interval. This passage from the ideal to the non measurable set is definable hence there cannot be a definable maximal free ideal in Solovay's model.

Edit: I wrote a short note on this here.

$\endgroup$
0
$\begingroup$

As Ashutosh points out, it's impossible to describe $M$ constructively.

However, from a practical point view, the "untouchability" of ultrafilters and maximal ideals in $\mathcal C(\mathbb R)$is not necessarily a problem. Usually, you only care about a finite, countable, or otherwise bounded cardinality of "properties" of $M$, so you can choose any ideal $J \supseteq I$ that has everything you want and pick $M$ maximal containing $J$. In other words, $J$ approximates $M$, and that's often good enough.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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