2
$\begingroup$

Let $\lambda<\omega_1$ be a limit ordinal and consider the set $X=\{\alpha+1\colon \alpha<\lambda\mbox{ is a limit ordinal}\}$ Is the characteristic function $\chi_X$ continuous on $\omega_1$ with interval topology?

1 Answers 1

2

Notice that $\omega \cdot \omega = \sup_{n\in\omega} \omega \cdot n = \sup_{n\in\omega} (\omega\cdot n+1)$.

This implies that in the interval topology $\lim_{n\to\infty} (\omega \cdot n+1)= \omega\cdot\omega$. But $1=\lim_{n\to\infty} f(\omega\cdot n+1)\ne f(\omega\cdot\omega)=0$, and thus this function is not continuous.


I assume that by interval topology you mean the topology generated by the subbase consisting of intervals $\{\xi; \xi<\beta\}$ and $\{\xi; \beta<\xi<\omega_1\}$ for $\beta<\omega_1$, see e.g Komjath, Totik: Problems and theorems in classical set theory p.40. Note that this book also contains an exercise containing some characterization of functions which are continuous with respect to interval topology.

You can find out more about this book on the website of one of the authors.

  • 0
    In Britain they prefer $a.b$ for multiplication and $3\cdot 14159$ for decimals. The copy editor for the journal will even change your manuscript for you to their system!2011-11-30