The Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Math Forum » Discussions » sci.math.* » sci.math

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: G_delta
Replies: 28   Last Post: Jan 26, 2013 3:50 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Butch Malahide

Posts: 894
Registered: 6/29/05
Re: G_delta
Posted: Jan 15, 2013 5:01 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Jan 15, 3:22 am, William Elliot <> wrote:
> On Mon, 14 Jan 2013, Butch Malahide wrote:
> > On Jan 14, 11:10 pm, William Elliot <> wrote:
> > > Does this generalize to every uncountable limit ordinal eta,
> > > that f in C(eta,R) is eventually constant and thusly the Cech
> > > Stone compactification of of eta is eta + 1? Does eta need
> > > to have an uncountable cofinality for this generalization?

> > I'd expect cofinality to have a lot to do with it, wouldn't you?
> Indeed, f in C(omega_1 + omega_0, R) is not eventually constant.
> If eta has finite cofinality, then any f in C(eta,R) is eventaully
> constant, namely from the last element of eta onward.  That however
> isn't the full story for if f in C(omega_1 + 1, R), then f is
> constant from some xi < omega_1 and not just from the last element.
> If eta has denumberable cofinality, does this work to show
> f in C(eta,R) is eventually constant?

What does "denumberable" mean? Is that a real word, or did you make it
up? Does omega_1 + omega_0 have "denumberable cofinality"?

> Let (aj)_j be an increaing sequence within eta with denumberable
> cofinality.

Just any old increasing sequence within eta? You don't care if it
converges to eta or not? In that case why not simply set aj = j?

> Let K = { aj + 1 | j in N }.
> Then f(eta\K) = {0}, f(aj) = j, j in N is in C(eta,R)
> and isn't eventually constant.

Is this supposed to be the answer to the question you asked in the
previous paragraph? Why did you ask the question if you knew the

However, your function f is not well-defined. What is f(a1)? On the
one hand, you say that f(aj) = j for j in N, so f(a1) = 1. On the
other hand, f(a1) = 0 since a1 is an element of the set eta\K.

> What happens went the cofinality of eta is uncountable?
> Is f in C(eta,R) eventually constant?

Seems plausible enough. Are you saying that the method of proof used
for omega_1 doesn't work for ordinals of uncountable cardinality?
Where does it break down?

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.