Skip to main content
Improved presentation. Added crude diagram.
Source Link
Joel David Hamkins
  • 236.5k
  • 44
  • 777
  • 1.4k

Let $X$ be the space $(\omega+1)\times(\omega_1+1)-\{(\omega,\omega_1)\}$, using putting the transfinite order topology on each coordinate and the product topology on the whole space.


 (0,omega_1)  (1,omega_1)  (2,omega_1)   --->     O
      :            :            :                 
      :            :            :                 :
      :            :            :                 :
      :            :            :                 :
 (0,alpha)    (1,alpha)    (2,alpha)     --->   (omega,alpha)
      :            :            :                 :
      :            :            :                 :
   (0,1)        (1,1)        (2,1)       --->   (omega,1)
   (0,0)        (1,0)        (2,0)       --->   (omega,0)

Thus, horizontally, itthe space consists of a bunch of $\omega_1+1$ many copies of a (horizontally) convergent sequencessequence, converging to the right-most column; verticallystacked on top of each other, it consistsbut with the limit of convergent transfinitethe final sequence omitted $\omega_1$-sequences(at O in the diagram). Horizontally, the $\alpha$-th row has $(n,\alpha)$ converging to the top row; and we have specifically removed$(\omega,\alpha)$ as $n\to\omega$. Vertically, the upper right corner point$n$-th column has a transfinite sequence $(n,\alpha)$ converging to $(n,\omega_1)$ as $\alpha\to\omega_1$. This is a Hausdorff space, and comparatively nice in several ways.

Let $A=\omega\times\omega_1\subset X$$A=(\omega+1)\times\omega_1\subset X$ be the pointslower portion of these sequencesthis diagram, without their limitsthe top row. Any countably infinite subset ofcountable sequence from $A$ is bounded below a countable ordinal and has accumulation points in $X$, and in fact in $A$ itself: either itthe sequence contains infinitely many points from one coordinate, in which case it accumulates on the limit supremum in that coordinate, or it contains points from infinitely many coordinates, which will converge toaccumulate on a point of the form $(\omega,\alpha)$ at the right-most column in $X$. TheIn particular, $A$ already contains all its limit points of sequences in $A$. Nevertheless, the closure of $A$ in $X$ is all of $X$, butand this includes the top row of points of the form $(n,\omega_1)$, and. But this setsequence has no accumulation pointpoints in $X$, as desired.

Let $X$ be the space $(\omega+1)\times(\omega_1+1)-\{(\omega,\omega_1)\}$, using the product topology. Thus, horizontally, it consists of a bunch of convergent sequences, converging to the right-most column; vertically, it consists of convergent transfinite $\omega_1$-sequences, converging to the top row; and we have specifically removed the upper right corner point. This is a Hausdorff space.

Let $A=\omega\times\omega_1\subset X$ be the points of these sequences, without their limits. Any countably infinite subset of $A$ is bounded below a countable ordinal and has accumulation points in $X$: either it contains infinitely many points from one coordinate, in which case it accumulates on the limit supremum in that coordinate, or it contains points from infinitely many coordinates, which will converge to a point of the form $(\omega,\alpha)$ at the right-most column in $X$. The closure of $A$ in $X$ is all of $X$, but this includes the top row of points of the form $(n,\omega_1)$, and this set has no accumulation point in $X$.

Let $X$ be the space $(\omega+1)\times(\omega_1+1)-\{(\omega,\omega_1)\}$, putting the transfinite order topology on each coordinate and the product topology on the whole space.


 (0,omega_1)  (1,omega_1)  (2,omega_1)   --->     O
      :            :            :                 
      :            :            :                 :
      :            :            :                 :
      :            :            :                 :
 (0,alpha)    (1,alpha)    (2,alpha)     --->   (omega,alpha)
      :            :            :                 :
      :            :            :                 :
   (0,1)        (1,1)        (2,1)       --->   (omega,1)
   (0,0)        (1,0)        (2,0)       --->   (omega,0)

Thus, the space consists of $\omega_1+1$ many copies of a (horizontally) convergent sequence, stacked on top of each other, but with the limit of the final sequence omitted (at O in the diagram). Horizontally, the $\alpha$-th row has $(n,\alpha)$ converging to $(\omega,\alpha)$ as $n\to\omega$. Vertically, the $n$-th column has a transfinite sequence $(n,\alpha)$ converging to $(n,\omega_1)$ as $\alpha\to\omega_1$. This is a Hausdorff space, and comparatively nice in several ways.

Let $A=(\omega+1)\times\omega_1\subset X$ be the lower portion of this diagram, without the top row. Any countable sequence from $A$ is bounded below a countable ordinal and has accumulation points in $X$, and in fact in $A$ itself: either the sequence contains infinitely many points from one coordinate, in which case it accumulates on the limit supremum in that coordinate, or it contains points from infinitely many coordinates, which will accumulate on a point of the form $(\omega,\alpha)$ at the right-most column in $X$. In particular, $A$ already contains all its limit points of sequences in $A$. Nevertheless, the closure of $A$ in $X$ is all of $X$, and this includes the top row of points of the form $(n,\omega_1)$. But this sequence has no accumulation points in $X$, as desired.

Source Link
Joel David Hamkins
  • 236.5k
  • 44
  • 777
  • 1.4k

Let $X$ be the space $(\omega+1)\times(\omega_1+1)-\{(\omega,\omega_1)\}$, using the product topology. Thus, horizontally, it consists of a bunch of convergent sequences, converging to the right-most column; vertically, it consists of convergent transfinite $\omega_1$-sequences, converging to the top row; and we have specifically removed the upper right corner point. This is a Hausdorff space.

Let $A=\omega\times\omega_1\subset X$ be the points of these sequences, without their limits. Any countably infinite subset of $A$ is bounded below a countable ordinal and has accumulation points in $X$: either it contains infinitely many points from one coordinate, in which case it accumulates on the limit supremum in that coordinate, or it contains points from infinitely many coordinates, which will converge to a point of the form $(\omega,\alpha)$ at the right-most column in $X$. The closure of $A$ in $X$ is all of $X$, but this includes the top row of points of the form $(n,\omega_1)$, and this set has no accumulation point in $X$.