I am currently attending a course where we are now covering the StoneCech compactification. Today we proved in some detail that extensions of bounded smooth functions on $\mathbb{R}^n$ to $\beta\mathbb{R}^n$ are pointseparating on $\beta\mathbb{R}^n$. I am finding it a bit difficult to get any motivation as to why anyone would care about this result at all (I guess the corresponding statement for continuous functions would follow trivially from the Urysohn lemma). Does point separation lead to other important consequences? I could really use some insight on this. The professor mentioned in passing about something called the GelfandNaimark correspondence. Is that related to this in any way? Thanks!
1
$\begingroup$
$\endgroup$

6$\begingroup$ Why don't you ask the professor? No doubt they had a definite reason for proving this result and would be happy to explain it. $\endgroup$ – Nik Weaver Aug 18 '15 at 18:42

$\begingroup$ The existence of a "small'' subspace $U$ of continuous functions separating the points of your space $X$ imposes restrictions on $X$ For example, if $\dim U=n$, then you can continuously embed $X$ in $\mathbb{R}^n$. $\endgroup$ – Liviu Nicolaescu Aug 19 '15 at 9:16