Intereting Posts

Homology of $\mathbb{R}^3 – S^1$
Homology of some quotient of $S^2$
Sum of the series formula
Equivalence of two characterizations of the norm of an algebraic integer.
$\text{lcm}(1,2,3,\ldots,n)\geq 2^n$ for $n\geq 7$
Questions concerning the differential operator
Galois group and the Quaternion group
Extending a Chebyshev-polynomial determinant identity
Sphere homeomorphic to plane?
Showing that a function is not differentiable
Proof of $(P\Leftrightarrow Q)\Leftrightarrow((P\Rightarrow Q)\wedge (Q\Rightarrow P))$
Topological restrictions on cardinality
Weak topology on an infinite-dimensional normed vector space is not metrizable
About the great result of $\int\underbrace{x^{x^{\cdot^{\cdot^x}}}}_m~dx$
How to create an Ellipse using a Light Source with a Conical Beam

“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$ ”

- ZF and the Existence of Finitely additive measure on $\mathcal{P}(\mathbb{R})$
- Possible to have a continuous sequence?
- Prove that function is continuous in all irrational points
- Injection of union into disjoint union
- Logic behind continuity definition.
- A function takes every function value twice - proof it is not continuous
- Proving “every set can be totally ordered” without using Axiom of Choice
- Why formulate continuity in terms of pre-images instead of image?
- Who gave you the epsilon?
- A game with $\delta$, $\epsilon$ and uniform continuity.

**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)$.

- Writing the identity permutation as a product of transpositions
- A double sum with combinatorial factors
- Proving smoothness of left-invariant metric on a Lie Group
- Any N dimensional manifold as a boundary of some N+1 dimensional manifold?
- The uniqueness of a special maximal ideal factorization
- Cancellation of Direct Product in Grp
- Help with a Binomial Coefficient Identity
- How generalize the bicommutant theorem?
- Understanding Vacuously True (Truth Table)
- Relation between condition numbers $\kappa(A^T A)$ and $\kappa(A)$
- Generalized binomial theorem
- What function can be differentiated twice, but not 3 times?
- Sufficient / necessary conditions for $f \circ g$ being injective, surjective or bijective
- Lebesgue measurable subset of $\mathbb{R}$ with given metric density at zero
- Evaluate the definite integral $ \int_{-\infty}^{\infty} \frac{\cos(x)}{x^4 +1} \ \ dx $