Presumably there will be a problem talking about all the transfinite cardinals, but assuming that this can be got around; is there an interesting topology on it - say such that the limit cardinals are actually limit points?
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
The order topology is such topology. The ordinals, and in particular cardinals, are well-ordered sets. This means they carry the order topology, and limit ordinals (or cardinals if we restrict to those) are exactly those which are limits of sequences which are not eventually constant.
It should be noted that on successor ordinals this topology is always compact, and on ordinals whose cofinality is uncountable, sequentially compact.
If we topologize the entire class of ordinals, and we can give a parameterized description of open sets. This topology is compact (although not compact if we allow class-sized covers) and also sequentially compact for every length of sequences. The limit ordinals, are exactly the non-isolated points. We usually prefer to topologize a particular ordinal rather than all the class of ordinals.