Intereting Posts

Find $\int \frac{5x^4+4x^5}{(x^5+x+1)^2}$
Prove that the volume of the tetrahedron whose coterminus edges are $\vec{a},\vec{b},\vec{c}$ is given by $\frac{1}{6}\vec{a}.(\vec{b}\times\vec{c})$
I think I found a flaw in Riemann Zeta Function Regularization
Evaluate $\int_0^{\frac{\pi}{2}}\frac{x^2}{1+\cos^2 x}dx$
Evaluate the integral: $\int_{0}^{1} \frac{\ln(x+1)}{x^2+1} \mathrm dx$
Closed-form of $\int_0^1 B_n(x)\psi(x+1)\,dx$
Second Stiefel-Whitney Class of a 3 Manifold
Is $7$ the only prime followed by a cube?
Characterisation of uniformly continuous function
Prove that $n$ divides $\phi(a^n-1)$, where $\phi$ is Euler's $\phi$-function.
What is duality?
Integral related to a geometry problem
Strangest Notation?
very simple conditional probability question
Harmonic function in a unit disk with jump boundary data

My question is: Why is $[0,1]^\mathbb{N}$ not countably compact with the uniform topology? How do you prove this? Do you use the countable open covering or do you use the accumulation point definition?

Also I tried to show that $\beta\mathbb{N}$ has no non constant converging sequences but ran into some trouble. How do you show this?

- Is a closed subset of a compact set (which is a subset of a metric space $M$) compact?
- Compactness of the set of $n \times n$ orthogonal matrices
- Prove that the countable complement topology is not meta compact?
- How many points does Stone-Čech compactification add?
- Why is compactness so important?
- Confusion in proof of theorem ($2.7$) in Rudin's Real and complex analysis

- Dimension of open subsets of $R^n$
- How to show that topological groups are automatically hausdorff?
- Proof that a subspace $A$ of a complete metric space $X$ is complete iff $A$ is closed
- How to prove that a topological space is connected iff it has exactly two clopen subsets?
- universal property in quotient topology
- What are the requirements for separability inheritance
- Show simplicial complex is Hausdorff
- Motivation for the term “separable” in topology
- Perfect set without rationals
- Significance of $\sigma$-finite measures

$\newcommand{\cl}{\operatorname{cl}}$Since the first question is either misstated or based on a misunderstanding, I’ll answer the second.

Suppose that $\sigma=\langle p_n:n\in\Bbb N\rangle$ is a non-trivial sequence in $\beta\Bbb N$ converging to some $p\in\beta\Bbb N$. Then $\sigma$ is not eventually constant, and we may without loss of generality assume that it is one-to-one and that $p_n\ne p$ for all $n\in\Bbb N$. It follows that $D=\{p_n:n\in\Bbb N\}$ is a discrete set in $\beta\Bbb N$, so for $n\in\Bbb N$ there are pairwise disjoint clopen sets $U_n$ such that $p_n\in U_n$; let $\mathscr{U}=\{U_n:n\in\Bbb N\}$.

Define $f:D\to[0,1]$ by setting $f(n)=0$ if $n$ is even, and $f(n)=1$ if $n$ is odd; $D$ is discrete, so $f$ is continuous.

$$\bar f:\Bbb N\to[0,1]:n\mapsto\begin{cases}

f(p_k),&\text{if }n\in\Bbb N\cap U_k\\\\

0,&\text{if }n\in\Bbb N\setminus\bigcup\mathscr{U}\;.

\end{cases}$$

Let $F$ be the extension of $\bar f$ to $\beta\Bbb N$. Each $U_n$ is clopen in $\beta\Bbb N$, so $\cl_{\beta\Bbb N}(\Bbb N\cap U_n)=\cl_{\beta\Bbb N}U_n=U_n$, and it follows that $F(p_n)=f(p_n)$. That is, $F\upharpoonright D=f$. And $p\in\cl_{\beta\Bbb N}D$, so $$F(p)=\lim_{n\to\infty}f(a_n)\;,$$ which is absurd, since the limit obviously does not exist.

Essentially the same argument can be used to prove considerably more. Replace the function $f$ by any function from $D$ to $[0,1]$, and define $\bar f$ and $F$ as above; it’s still true that $F\upharpoonright D=f$. Let $K=\cl_{\beta\Bbb N}D$, and let $\overline F=F\upharpoonright K$; then $K$ is a compactification of $D$, and $\overline F$ is a continuous extension of $f$ to $K$. In other words, every continuous function from $D$ to $[0,1]$ has a continuous extension to the compactification $K$ of $D$, so $K$ is homeomorphic to $\beta D$. But $D$ is homeomorphic to $\Bbb N$, so $K$ is homeomorphic to $\beta\Bbb N$ and therefore has cardinality $2^{2^\omega}=2^{\mathfrak c}$. In particular, $K\setminus D$ cannot be a single point, and therefore $\sigma$ cannot be a convergent sequence.

**Added:** Here’s a hint for the corrected first question. For each $n\in\Bbb N$ define a point $x^n=\langle x^n_k:k\in\Bbb N\rangle\in[0,1]^{\Bbb N}$ by

$$x^n_k=\begin{cases}1,&\text{if }k=n\\0,&\text{if }k\ne n\;.\end{cases}$$

Let $D=\{x^n:n\in\Bbb N\}$, and show that $D$ is a closed, discrete set in $[0,1]^{\Bbb N}$ with the uniform topology. (This is very straightforward.)

Now for $n\in\Bbb N$ let $D_n=D\setminus\{x^n\}$, let $V_n=[0,1]^{\Bbb N}\setminus D_n$, let $\mathscr{V}=\{V_n:n\in\Bbb N\}$, and show that $\mathscr{V}$ is a countable open cover of $[0,1]^{\Bbb N}$ with no finite subcover. (In fact no proper subfamily of $\mathscr{V}$, finite or infinite, covers $[0,1]^{\Bbb N}$: for each $n\in\Bbb N$, $V_n$ is the only member of $\mathscr{V}$ that contains $x^n$.)

- Eigenvalues of $AB$ and $BA$
- Fixed point of interior of closed disk
- Metric space is totally bounded iff every sequence has Cauchy subsequence
- Intuition for probability density function as a Radon-Nikodym derivative
- What is the biggest number ever used in a mathematical proof?
- limit of $\sqrt{\frac{1\cdot 3\cdots (2n-1)}{2\cdot 4\cdots (2n)}}$ using geometric mean
- Square of four digit number $a$
- Boy Born on a Tuesday – is it just a language trick?
- Find the Mean for Non-Negative Integer-Valued Random Variable
- Joint PDF of two random variables and their sum
- Prove $\sum\limits_{cyc} \frac{\sqrt{xy}}{\sqrt{xy+z}}\le\frac{3}{2}$ if $x+y+z=1$
- The kernel of the transpose of the differentiation operator – Solution check
- Simplying linear recurrence sum with binomials
- Does a non-abelian semigroup without identity exist?
- Is there a series where the terms tend to zero faster than the harmonic series but it still diverges?