Show that the Stone–Čech compactification $\beta \mathbb{Z}$ is not metrizable.

Question

Show that the Stone–Čech compactification $\beta \mathbb{Z}$ is not metrizable (here $\mathbb{Z}$ denotes the set of integer numbers in discrete topology).

Definition. Let $X$ be a completely regular space. We say $\beta (X)$ is a *Stone–Čech compactification * of $X$ if it is a compactification of $X$ such that any continuous map $f:X\rightarrow C$ of $X$ into a compact Hausdorff space $C$ extends uniquely to a continuous map $g:\beta (X)\rightarrow C$.

We also have a theorem that states if $X$ is metrizable, then $X$ is first countable. So, if we show that $\beta (\mathbb{Z}) $ is not first countable, then we have our conclusion.

I've looked online for proofs of this fact and can't seem to find any.

Do you know a concrete construction of the S-C compactification? — Mariano Suárez-Álvarez, Aug 15 '16 at 02:51
The fact that it is not sequential could be used: http://math.stackexchange.com/questions/35310/stone-%C4%8Cech-compactifications-and-limits-of-sequences — Martin Sleziak, Aug 16 '16 at 14:20

bof · Accepted Answer · 2016-08-15T06:21:38.083

15

In order to show that $\beta(\mathbb Z)$ is not first countable, it will suffice to show that $|\beta(\mathbb Z)|\gt2^{\aleph_0},$ since a Hausdorff space which is separable and first countable has cardinality at most $2^{\aleph_0}$ (each point is the limit of a convergent sequence of points in a countable dense set).

The space $C=\{0,1\}^\mathbb R$ is a separable compact Hausdorff space. Define a countable dense subset $S\subseteq C$ and a surjection $f:\mathbb Z\to S.$ Since $\mathbb Z$ is discrete, $f$ is continuous, and therefore extends to a continuous surjection $g:\beta(\mathbb Z)\to C,$ showing that $|\beta(\mathbb Z)|\ge|C|=2^{2^{\aleph_0}}\gt2^{\aleph_0}.$

edited Aug 15 '16 at 06:21

answered Aug 15 '16 at 02:51

bof

78,265

Is your notation for $X$ acting as the $C$ in the definition of Stone-Cech compactification? – Michael Aug 15 '16 at 03:02
So, you've shown the space is not separable. Therefore, it is not first countable? Is that a theorem we have? – Michael Aug 15 '16 at 03:07
Okay, I follow. Yes, that works. – Michael Aug 15 '16 at 03:20
Answer edited to point out that the same argument shows that $\beta(\mathbb Z)$ is not first countable. – bof Aug 15 '16 at 06:17

Matematleta · Answer 2 · 2016-08-16T13:18:47.177

Suppose $\beta \mathbb Z$ is metrizable. Then, since $\mathbb Z$ is not compact, there is an $b\in \beta \mathbb Z\setminus \mathbb Z$ and since $\mathbb Z$ is dense in $\beta \mathbb Z$, there is a sequence of integers $X=\left \{ x_i \right \}_{i\in \mathbb N}$ that converges to $b$.

Now take any two disjoint subsequences $X_1$ and $X_2$ of $X$ and note that they are closed in $\mathbb Z$. As $\mathbb Z$ inherits the metric on $\beta \mathbb Z$, it is a normal space. Therefore, there is a continuous $f:\mathbb Z\to [0,1]$ s.t.$f(X_1)=0$ and $f(X_2)=1$, which extends continuously to a $g:\beta \mathbb Z\to [0,1]$.

But $X_1$ and $X_2$ both converge to $b$ and as $g$ is continuous we must have $g(b)=g(\lim X_1)=\lim g(X_1)=\lim f(X_1)=0$ and also $g(b)=g(\lim X_2)=\lim f(X_2)=1$, which is a contradiction.

We can just use ${0,1}$ instead of $[0,1]$ and not speak about normality/Urysohn's lemma: any function $\mathbb{Z}→{0,1}$ is continuous since $\mathbb{Z}$ is taken as a discrete space. — Dabouliplop, Jun 20 '20 at 22:56

GEdgar · Answer 3 · 2016-08-16T15:07:53.610

A compact metric space is separable.

Take an uncountable family of subsets of $\mathbb Z$, any two of which have finite intersection. Then their closures intersected with the "remainder" $\beta \mathbb Z \setminus \mathbb Z$ give you an uncountable family of pairwise disjoint open sets in the compact space $\beta \mathbb Z \setminus \mathbb Z$. So $\beta \mathbb Z \setminus \mathbb Z$ is not metrizable, and therefore of course neither is $\beta \mathbb Z$.

Show that the Stone–Čech compactification $\beta \mathbb{Z}$ is not metrizable.

3 Answers3

Linked