Search All of the Math Forum:

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

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

Topic: N^N
Replies: 10   Last Post: May 12, 2013 9:34 AM

 Messages: [ Previous | Next ]
 Leon Aigret Posts: 31 Registered: 12/2/12
Re: N^N
Posted: May 12, 2013 9:34 AM

On Sat, 11 May 2013 20:41:12 -0700, William Elliot <marsh@panix.com>
wrote:

>On Fri, 10 May 2013, Leon Aigret wrote:

>> Just curious. Would it be possible to prove the homeomorphism part
>> without observing that a set of all natural number sequences with an
>> identical initial segment is open in N^N, that all such sets form a
>> base for its topology, that continued fraction theory shows that these
>> sets are mapped to open intervals of irrationals and, finally, that
>> there are sufficiently many of these open intervals to provide a base
>> for the neighborhood systems of all irrationals involved?

>
>The mapping of open base sets of N^N to open intervals of R\Q
>shows the bijection is open. What's left to show is the
>bijection is continuous.
>
>Wouldn't that be possible by showing the longer
>the initial segment, the smaller the mapped interval.

It would. An initial segment of length n by itself would map to some
p/q with gcd(p, q) = 1 and certainly q >= n and for every irational x
in the interval one has |x - p/q| < 1 / q^2

Leon

Date Subject Author
4/29/13 William Elliot
4/29/13 Tanu R.
4/30/13 Butch Malahide
4/30/13 Butch Malahide
5/2/13 William Elliot
5/3/13 Butch Malahide
5/3/13 William Elliot
5/3/13 Butch Malahide
5/10/13 Leon Aigret
5/11/13 William Elliot
5/12/13 Leon Aigret