# Stone-Cech compactification

Let X be a metric space and let Y be a compact metric space. Denote by $\Phi: X \rightarrow \beta X$ the standard embedding of X as a dense subset of its Stone-Cech compactification $\beta X$.

With this assumptions, I want to prove that to every continuous map $f: X \rightarrow Y$ there corresponds a continuous map $f^\beta : \beta X \rightarrow Y$ so that $f^\beta \circ \Phi = f$.

I started the prove with f induces a map $H_f: C_b(X)^* \rightarrow C_b(Y)^*$; then I consider the restriction of $H_f$ to $\beta X$. Then I don't know what to do.

-

• Show first that if $f:X\to Y$ then there is an induced map $\beta f:\beta X\to\beta Y$ which is continuous.
• Then show that if $Y$ is compact, the natural map $Y\to \beta Y$ is an homeomorphism.