9
$\begingroup$

Let $\beta X$ - is a Stone-Čech compactification of $X$. $I=(-1,1)$ - is an interval of the real line. Is it true that $\beta \mathbb R\setminus I = \beta(\mathbb R\setminus I)$? In other words, it means that a finite interval does not affect on the "compactification of infinity".

Update: Great thanks for realized calculations.

$\endgroup$
7
  • $\begingroup$ People are already voting to close... It might help if you could say what you have tried? What's your definition of the Stone-Cech compactification? Do you have a start of a proof of the claim, but that you get stuck somewhere? What's your motivation? $\endgroup$ Commented Mar 3, 2012 at 21:29
  • 5
    $\begingroup$ I think this is a good question. If $I$ is closed, then $\mathbb R\setminus I $ is homeomorphic to two copies of $\mathbb R$, so the answer is no (same for the half-closed case). If $I$ is open, it feels like the answer should be yes ... it would be necessary to show that $I$ remains open in $\beta\mathbb R$, which seems right, but Stone-Cech compactifications are weird and I don't see that right now. $\endgroup$ Commented Mar 3, 2012 at 21:46
  • 1
    $\begingroup$ I should add that I haven't voted to close-- but the person who did hasn't given a reason... $\endgroup$ Commented Mar 3, 2012 at 22:17
  • 1
    $\begingroup$ @Anton: If $I$ is closed then continuous (complex valued) functions on $\mathbb{R}\setminus I$ do not extend to continuous functions on $\mathbb{R}$. They do when $I$ is the open interval. $\endgroup$ Commented Mar 4, 2012 at 0:33
  • 1
    $\begingroup$ @Mariarty: I think it would be better to ask your "update" as a new question... $\endgroup$ Commented Mar 4, 2012 at 14:54

2 Answers 2

7
$\begingroup$

I can show the following (which Anton was asking about in comments). Let $X$ be locally compact and Hausdorff, and $U\subseteq X$ open. Let $X_\infty$ be the one-point compactication, so $U$ is still open in $X_\infty$. By the universal property of the Stone-Cech compactification, there is a continuous map $\phi:\beta X\rightarrow X_\infty$ which is the identity on $X$. Then $\phi^{-1}(U)$ is open in $\beta X$, and is just the canonical image of $U$ in $\beta X$. So $U$ open in $X$ shows that $U$ is open in $\beta X$.

(This fails for general closed sets. If $F\subseteq X$ is closed, then $F$ is only closed in $X_\infty$ if $F$ is also compact.)

I'll now use that $\beta X$ is the character space of $C^b(X)$. Let $U\subseteq X$ be open.

Lemma: Assume that $U$ is relatively compact. Under the isomorphism $C(\beta X)=C^b(X)$, we identify the ideal $\{ f\in C(\beta X) : f(x)=0 \ (x\not\in U) \}$ with $\{ F\in C^b(X) : f(x)=0 \ (x\not\in U) \}$

Proof: $X$ is itself open in $\beta X$, and the image of $C_0(X)$ in $C(\beta X)$ is just the functions vanishing off $X$. If $F\in C^b(X)$ vanishes off $U$ then $F\in C_0(X)$ (as $U$ is relatively compact) and so the associated $f$ in $C(\beta X)$ vanishes off $U$. Conversely, if $f\in C(\beta X)$ vanishes off $U$ then the associated $F\in C^b(X)$ is just the restriction of $f$ to $X$, and so vanishes off $U$.

By the Tietze theorem, the restriction map $C(\beta X) \rightarrow C(\beta X \setminus U)$ is a surjection. So we can identify $C(\beta X\setminus U)$ with the quotient $C(\beta X) / \{ f\in C(\beta X) : f(x)=0 \ (x\not\in U) \}$. So by the above, we identify $C(\beta X \setminus U)$ with $C^b(X) / \{ F\in C^b(X) : F(x)=0 \ (x\not\in U) \}$. If $X$ is normal, then we can again use Tietze to extend any $F\in C^b(X\setminus U)$ to all of $X$. It follows that $C^b(X) / \{ F\in C^b(X) : F(x)=0 \ (x\not\in U) \}$ is isomorphic to $C^b(X\setminus U) = C(\beta(X\setminus U))$. So $\beta X \setminus U = \beta (X\setminus U)$ (in a fairly canonical way) under the hypotheses that $X$ is normal and $U$ is relatively compact.

(I'm not sure what happens for non-normal $X$. For $X=\mathbb R$ and $U$ an open interval, we obviously don't need Tietze.)

$\endgroup$
6
  • $\begingroup$ In some sense this is nothing but a careful elaboration of George Lowther's hint! $\endgroup$ Commented Mar 4, 2012 at 8:35
  • 3
    $\begingroup$ So, why doesn't this argument also work for $U=X$? $\endgroup$ Commented Mar 4, 2012 at 9:44
  • 3
    $\begingroup$ I think $U$ is implicitly assumed relatively compact: "... then $F\in C_0(X)$" $\endgroup$
    – BS.
    Commented Mar 4, 2012 at 10:29
  • $\begingroup$ I think $C(\beta X\setminus U)$ should be identified with $C_b(X)/C_0(U)$. $\endgroup$ Commented Mar 4, 2012 at 10:32
  • $\begingroup$ @George, @BS: I've added the hypothesis that U is relatively compact. Thanks! George's 2nd comment is what's works for general $U$; and so I guess if $U$ isn't relatively compact, then $\beta X\setminus U$ is not $\beta(X\setminus U)$. $\endgroup$ Commented Mar 4, 2012 at 14:56
3
$\begingroup$

More generally: if $X$ is normal and $A$ is closed in $X$ then, by the Tietze-Urysohn theorem, the closure in $\beta X$ of $A$ is $\beta A$. In the example above $X=\mathbb{R}$ and $A=\mathbb{R} \setminus (-1,1)$. As the closure of $(-1,1)$ in $\beta\mathbb{R}$ is just $[-1,1]$ the desired equality follows.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .