Intereting Posts

Conditional probability containing two random variables
Why is ${x^{\frac{1}{2}}}$ the same as $\sqrt x $?
What function can be differentiated twice, but not 3 times?
Overlapping Probability in Minesweeper
Bell numbers and moments of the Poisson distribution
Are there theoretical applications of trigonometry?
How to factor cubics having no rational roots
Prove that $d(n)\leq 2\sqrt{n}$
Are there any infinites not from a powerset of the natural numbers?
How can I show that the polynomial $p = x^5 – x^3 – 2x^2 – 2x – 1$ is irreducible over $\Bbb Q$?
Lie group action from infinitesimal action
How many strings of $8$ English letters are there (repetition allowed)?
Complement of $c_{0}$ in $\ell^{\infty}$
Biased Random Walk and PDF of Time of First Return
What does “sets of arbitrarily large measure” mean — question about $L_p$ embeddings

“A function $f: \mathbb R \to \mathbb R$ is continuous at $x \in \mathbb R$ , if and only if it is sequentially continuous ” , does this statement imply “the Axiom of Choice for countable collections of non-empty subsets of $\mathbb R$ ”

- Showing the continuity of $d(x,f(x))$
- Is a sequentially continuous map $f:E'\to E'$ continuous?
- Does the proof of Bolzano-Weierstrass theorem require axiom of choice?
- Continuous function with local maxima everywhere but no global maxima
- Monotone functions and continuity
- Is Banach-Alaoglu equivalent to AC?
- Without AC, it is consistent that there is a function with domain $\mathbb{R}$ whose range has cardinality strictly larger than that of $\mathbb{R}$?
- $\sqrt{x}$ isn't Lipschitz function
- For bounded real valued function $f$ show that $\omega_f$ is upper continuous
- Is a rational-valued continuous function $f\colon\to\mathbb{R}$ constant?

**Theorem** $\mathbf{4.54}$ in Horst Herrlich, *Axiom of Choice*:

Equivalent are:

- $\Bbb R$ is Fréchet.
- Each subspace of $\Bbb R$ is sequential.
- $\Bbb R$ is Lindelöf.
- Each subspace of $\Bbb R$ is Lindelöf.
- Each second countable topological space is Lindelöf.
- Each subspace of $\Bbb R$ is separable.
- Each second countable topological space is separable.
- A function $f:\Bbb R\to\Bbb R$ is continuous at some point $x$ iff it is sequentially continuous at $x$.
- A function $f:X\to\Bbb R$, defined on some subspace $X$ of $\Bbb R$, is continuous iff it is sequentially continuous.
- $\operatorname{CC}(\Bbb R)$.

Here $\operatorname{CC}(\Bbb R)$ is the axiom of choice for countable families of non-empty subsets of $\Bbb R$.

I’ll not prove the full equivalence, but I will show the equivalence of $(8),(9)$, and $(10)$; the argument is adapted from Herrlich.

Assume $(9)$. I’ll show first that every unbounded subset $A$ of $\Bbb R$ contains an unbounded sequence. Let $h:\Bbb R\to(0,1)$ be a homeomorphism; without loss of generality, $0$ is an accumulation point of $h[A]$. Let $X=h[A]\cup\{0\}$, and define

$$f:X\to\Bbb R:x\mapsto\begin{cases}

0,&\text{if }x\in h[A]\\

1,\text{if }x=0\;.

\end{cases}$$

Then $f$ is not continuous at $0$, so by $(9)$ there is a sequence $\langle y_n:n\in\Bbb N\rangle$ in $A$ such that $\langle h(y_n):n\in\Bbb N\rangle$ converges to $0$ in $X$; clearly $\langle y_n:n\in\Bbb N\rangle$ is unbounded in $\Bbb R$.

Now let $\{X_n:n\in\Bbb N\}$ be a countable family of non-empty subsets of $\Bbb R$, and let $h:\Bbb R\to(0,1)$ be as before. For each $n\in\Bbb N$ let $\varphi_n:\Bbb R^n\to\Bbb R$ be a bijection, and let $X_n’=\varphi_n\left[\prod_{k\le n}X_k\right]$. Define $t_n:\Bbb R\to\Bbb R:x\mapsto n+x$, and let $Y_n=t_n[h[X_n’]]\subseteq(n,n+1)$. Finally, let $Y=\bigcup_{n\in\Bbb N}Y_n$; clearly $Y$ is unbounded in $\Bbb R$, so there is an unbounded sequence $\langle y_n:n\in\Bbb N\rangle$ in $Y$.

Let $M=\{m\in\Bbb N:\exists n\in\Bbb N(y_n\in Y_m)\}$. Then $\prod_{m\in M}Y_m\ne\varnothing$, so fix any $$\langle y_m’:m\in M\rangle\in\prod_{m\in M}Y_m\;.$$ For $m\in M$ define $x_m’$ to be the unique element of $X_m’$ such that $t_m(h(x_m’))=y_m’$; clearly $\langle x_m’:m\in M\rangle\in\prod_{m\in M}X_m$.

For each $n\in\Bbb N$ let $m(n)=\min\{m\in M:n\le m\}$. Then $x_{m(n)}’=\langle x_0^{(n)},\ldots,x_{m(n)}^{(n)}\rangle$ for some $x_k^{(n)}\in X_k$, $k=0,\ldots,m(n)$, and we set $x_n=x_n^{(n)}$. Then $x_n\in X_n$ for each $n\in\Bbb N$, and $\operatorname{CC}(\Bbb R)$ follows.

That $(10)$ implies $(8)$ is straightforward, so it only remains to show that $(8)$ implies $(9)$. Assume $(8)$, and suppose that $f:X\to\Bbb R$ is sequentially continuous, where $X\subseteq\Bbb R$. Let $F\subseteq\Bbb R$ be closed; $f$ is sequentially continuous, so $C=f^{-1}[F]$ is sequentially closed in $X$. Suppose that $C$ is not closed in $X$, and let $x\in(\operatorname{cl}_XC)\setminus C$. Since $C$ is sequentially closed, there is no sequence in $C$ converging to $x$. Define

$$g:\Bbb R\to\Bbb R:x\mapsto\begin{cases}

1,&\text{if }x\in C\\

0,&\text{otherwise}\;;

\end{cases}$$

then $g$ is sequentially continuous at $x$ but not continuous at $x$, contradicting $(8)$.

- Mathematical trivia (i.e. collections of anecdotes and miscellaneous (recreational) mathematics)
- How to find the $E$ and $Var$ of an Itô Diffusion
- Fibonacci Sequence problem. Prove that there are infinitely many prime numbers such that $p$ divides $F_{p-1}$
- Nice examples of finite things which are not obviously finite
- Can a continuous real function take each value exactly 3 times?
- The distinction between infinitely differentiable function and real analytic function
- The general idea of prove openness.
- Meaning of $\geqslant$, $\leqslant$, $\eqslantgtr$, $\eqslantless$
- How to show $\mathcal{L}(\mathbb{R}) \otimes \mathcal{L}(\mathbb{R}) \subset \mathcal{L}(\mathbb{R^2})$?
- Matrices $B$ that commute with every matrix commuting with $A$
- measure of a countable union of sets
- why $\mathbb Z \ncong \mathbb Z$?
- Example of a sum of complete vector fields
- Show that $\mathbb{B}^n $ is a smooth manifold with its boundary diffeomorphic to $S^{n-1}$
- Showing that a certain map is not flat by explicit counterexample