Re: Uncountable closed subspaces of a set of aleph_1 with minimal well-ordering are homeomorphic



From: BP <bp1099@xxxxxxxxxxx>

Let A be a set of cardinality aleph_1 with minimal well-ordering <=
and a topology T generated by this well-ordering. Show that every
uncountable closed subspace Y of A is homeomorphic to A .

I previously asked this question on Ask a Topologist about a week
and a half ago. A member there resoponded and posted the following
here: http://groups.google.com/group/sci.math/browse_thread/thread/
2e9d4e1711dd4bd2/e3137947a09047f3

This link doesn't open from within the post because you, your word
processor or your transmission routers inserted a carrage return. I'll
repost the link here without carrage return to experment if my
transmission routers insert a carrage return or not.

http://groups.google.com/group/sci.math/browse_thread/thread/2e9d4e1711dd4bd2/e3137947a09047f3

Use of outside links is not recommended for newsgroups, especially links
for the ramblings of a thread.

Now I'm dealing with cardinals rather than ordinals, so I'm not
sure that you can do what he did here. I have been unable to prove
this and it would be nice to see what the proof looks like.

Cardinals are initial ordinals. If you followed the discussion, it
concluded your problem is the same as showing an unbounded (equivallently
uncountable) closed subset A of omega_1 is homeomorphic to omega_1. It
was determinded that A was order isomorphic to omega_1. Thence the
discussion resulted in determining if the instrinstic order topology of A
was the same as the subspace topology of A. This is the situation, not
because of what was discussed (which was incomplete), but because

If K is a closed subset of a bounded complete (Dedekind complete) linear
order (S,<=), then the subspace topology of K, (S,<=)|K is the same as the
instrinstic linear order topology of K, (K, <= /\ KxK).

The full proof of this including the exact conditions when the subspace
topology is the instrinstic subset topology, is outlined in over a page of
my terse densily packed notes.

----
.



Relevant Pages

  • Re: Term for a set with no limit points?
    ... check all those topology texts again, ... "discrete" iff it forms a discrete space when given the subspace ... to use the expression a discrete closed subspace. ... The scattering height of S, ...
    (sci.math)
  • Re: Topology
    ... > Just because a space is homeomorphic to a subspace of some ... >>>intersection of two open sets is an open set. ... show the union of two countable sets is countable. ... > topology without using numbers in an essential way, ...
    (sci.math)
  • Re: Product topology and continuous maps of sections
    ... (i.e. the identity map between X and X). ... Now consider the set of continuous maps between Y and X as a subspace of ... X^Y (i.e. the product topology X^Y) and denote it C ... continuous sections of pi be a closed subspace of it? ...
    (sci.math)
  • Re: compactness and closedness
    ... > William Elliot wrote: ... >> Look up the definition for subspace topology. ... Metric space theory or topology ...
    (sci.math)
  • Re: Is continuum completely filled up?
    ... The collection of intervals is something else than what we in topology ... generate a unique topology on it, called the "order topology". ... conception of order topology and their related theorems. ... But ordinary language does in no way impede you from using transfinite ...
    (sci.math)