The cantor set is homeomorphic to the product space:
where in we consider the discrete topology, so:
In the Wikipedia account of the Cantor tertiary set, it is remarked that the cardinality of the set is uncountable. Can this can be strengthened to it needing to be as large as the continuum? (This is not necessarily the same thing if we assume that the continuum hypothesis is false, so that uncountable could also be aleph-1, below the continuity of the continuum.) It would seem by the proof given there that it would be, but I am not certain. If one started out with a subset of the interval with only aleph-one points in it, would the construction go through?
And it's not a new notation - I believe this notation was used since the ordinals were introduced.
I know the ordinal notation for the naturals in the usual order, but never saw it used in the way you did.
I can't see how an ordinal can be the same as a cardinal as they both apply on different things.
For exmple, the set is cleary of cardinality , yet its ordinal is , and
it can't be that since then also by taking the
naturals in the usual order...
Every well-ordered set is isomorphic to a unique ordinal. The example you gave is a well-ordered set isomorphic to the ordinal . The ordinal is not a cardinal. It's cardinality is or as you probably prefer to call it . So because these are nonisomorphic well-ordered sets. But the cardinality of is because there is a bijection between and .
From the set theoretic point of view every cardinal is an ordinal. A cardinal is just an ordinal that is not equinumerous with any smaller ordinal (A and B are equinumerous if there is a bijection between them).
Given an arbitrary set, assuming the axiom of choice, this set has a unique cardinality. The cardinality of the set is a cardinal (thus it is also an ordinal). Note that to "see" cardinality you just need a bijection, whereas to see which ordinal you are isomorphic to requires an order-preserving bijection.
As one more example (to try to help clarify my use of notation), every countable ordinal (and in fact every countable set) has cardinality , but only the ordinal is actually equal to . thus it is mathematically correct to use in place of . The difference between them is only the way you think about them. People tend to think about as the size of the natural numbers, and as as the ordering of the natural numbers, but in fact they are the same (at least when using the standard set-theoretical definitions).
Note: I realize that you probably understand most of this already - I'm just trying to give you enough information to justify my use of notation.
DrSteve, my reply to him indicated that I understood him, so I am not sure what the correction is about. Let me reiterate: I asked two questions:
(1) "....the cardinality of the set is uncountable. Can this can be strengthened to it needing to be as large as the continuum?"
(2) " If one started out with a subset of the interval with only aleph-one points in it, would the construction go through?" ( I meant, of course, a dense subset of the unit interval.)
I answered " yes to my first question and no to the second one". This is what you wrote, so there is no disagreement.
Yes, I knew that but your explanation helped quite a bit. I still am not convinced
of that equivalence in using both term interchangeably since I'm used to think of
ordinals as intrinsically attached to order, whereas cardinals are not, but of course
this may be just my own ignorance.
The most accepted definition of cardinality in current times seems to be that the cardinality of a set is the least ordinal to which that set is isomorphic. This definition depends on the axiom of choice, since without choice some sets can't be well-ordered. I always follow this definition.
I believe that some would strip away the ordering in the definition of cardinal (as you seem to do). If you take this stance, then you would be correct in saying that my notation is incorrect.
I believe that if choice fails, a definition of cardinality could still be made using the axiom of foundation, but I have not studied this myself (I always assume choice).