Properties of one-point completions of a noncompact metrizable space

Melvin Henriksen; Ludvík Janoš; Grant R. Woods

Commentationes Mathematicae Universitatis Carolinae (2005)

  • Volume: 46, Issue: 1, page 105-123
  • ISSN: 0010-2628

Abstract

top
If a metrizable space is dense in a metrizable space , then is called a metric extension of . If and are metric extensions of and there is a continuous map of into keeping pointwise fixed, we write . If is noncompact and metrizable, then denotes the set of metric extensions of , where and are identified if and , i.e., if there is a homeomorphism of onto keeping pointwise fixed. is a large complicated poset studied extensively by V. Bel’nov [The structure of the set of metric extensions of a noncompact metrizable space, Trans. Moscow Math. Soc. 32 (1975), 1–30]. We study the poset of one-point metric extensions of a locally compact metrizable space . Each such extension is a (Cauchy) completion of with respect to a compatible metric. This poset resembles the lattice of compactifications of a locally compact space if is also separable. For Tychonoff , let , and let be the poset of zerosets of partially ordered by set inclusion. TheoremIf and are locally compact separable metrizable spaces, then and are order-isomorphic iff and are order-isomorphic, and iff and are homeomorphic. We construct an order preserving bijection such that a one-point completion in is locally compact iff its image under is clopen. We extend some results to the nonseparable case, but leave problems open. In a concluding section, we show how to construct one-point completions geometrically in some explicit cases.

How to cite

top

Henriksen, Melvin, Janoš, Ludvík, and Woods, Grant R.. "Properties of one-point completions of a noncompact metrizable space." Commentationes Mathematicae Universitatis Carolinae 46.1 (2005): 105-123. <http://eudml.org/doc/249571>.

@article{Henriksen2005,
abstract = {If a metrizable space $X$ is dense in a metrizable space $Y$, then $Y$ is called a metric extension of $X$. If $T_\{1\}$ and $T_\{2\}$ are metric extensions of $X$ and there is a continuous map of $T_\{2\}$ into $T_\{1\}$ keeping $X$ pointwise fixed, we write $T_\{1\}\le T_\{2\}$. If $X$ is noncompact and metrizable, then $(\mathcal \{M\} (X),\le )$ denotes the set of metric extensions of $X$, where $T_\{1\}$ and $T_\{2\}$ are identified if $T_\{1\}\le T_\{2\}$ and $T_\{2\}\le T_\{1\}$, i.e., if there is a homeomorphism of $T_\{1\}$ onto $T_\{2\}$ keeping $X$ pointwise fixed. $(\mathcal \{M\}(X),\le )$ is a large complicated poset studied extensively by V. Bel’nov [The structure of the set of metric extensions of a noncompact metrizable space, Trans. Moscow Math. Soc. 32 (1975), 1–30]. We study the poset $(\mathcal \{E\} (X),\le )$ of one-point metric extensions of a locally compact metrizable space $X$. Each such extension is a (Cauchy) completion of $X$ with respect to a compatible metric. This poset resembles the lattice of compactifications of a locally compact space if $X$ is also separable. For Tychonoff $X$, let $X^\{\ast \}=\beta X\backslash X$, and let $\mathcal \{Z\}(X)$ be the poset of zerosets of $X$ partially ordered by set inclusion. TheoremIf $\,X$ and $Y$ are locally compact separable metrizable spaces, then $(\mathcal \{E\}(X),\le )$ and $(\mathcal \{E\} (Y),\le )$ are order-isomorphic iff $\,\mathcal \{Z\} (X^\{\ast \})$ and $\mathcal \{Z\}(Y^\{\ast \})$ are order-isomorphic, and iff $\,X^\{\ast \}$ and $Y^\{\ast \}$ are homeomorphic. We construct an order preserving bijection $\lambda : \mathcal \{E\} (X)\rightarrow \mathcal \{Z\} (X^\{\ast \})$ such that a one-point completion in $\mathcal \{E\} (X)$ is locally compact iff its image under $\lambda $ is clopen. We extend some results to the nonseparable case, but leave problems open. In a concluding section, we show how to construct one-point completions geometrically in some explicit cases.},
author = {Henriksen, Melvin, Janoš, Ludvík, Woods, Grant R.},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {metrizable; metric extensions and completions; completely metrizable; one-point metric extensions; extension traces; zerosets; clopen sets; Stone-Čech compactification; $\beta X\backslash X$; hedgehog; Stone-Čech compactification; ; hedgehog},
language = {eng},
number = {1},
pages = {105-123},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Properties of one-point completions of a noncompact metrizable space},
url = {http://eudml.org/doc/249571},
volume = {46},
year = {2005},
}

TY - JOUR
AU - Henriksen, Melvin
AU - Janoš, Ludvík
AU - Woods, Grant R.
TI - Properties of one-point completions of a noncompact metrizable space
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 2005
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 46
IS - 1
SP - 105
EP - 123
AB - If a metrizable space $X$ is dense in a metrizable space $Y$, then $Y$ is called a metric extension of $X$. If $T_{1}$ and $T_{2}$ are metric extensions of $X$ and there is a continuous map of $T_{2}$ into $T_{1}$ keeping $X$ pointwise fixed, we write $T_{1}\le T_{2}$. If $X$ is noncompact and metrizable, then $(\mathcal {M} (X),\le )$ denotes the set of metric extensions of $X$, where $T_{1}$ and $T_{2}$ are identified if $T_{1}\le T_{2}$ and $T_{2}\le T_{1}$, i.e., if there is a homeomorphism of $T_{1}$ onto $T_{2}$ keeping $X$ pointwise fixed. $(\mathcal {M}(X),\le )$ is a large complicated poset studied extensively by V. Bel’nov [The structure of the set of metric extensions of a noncompact metrizable space, Trans. Moscow Math. Soc. 32 (1975), 1–30]. We study the poset $(\mathcal {E} (X),\le )$ of one-point metric extensions of a locally compact metrizable space $X$. Each such extension is a (Cauchy) completion of $X$ with respect to a compatible metric. This poset resembles the lattice of compactifications of a locally compact space if $X$ is also separable. For Tychonoff $X$, let $X^{\ast }=\beta X\backslash X$, and let $\mathcal {Z}(X)$ be the poset of zerosets of $X$ partially ordered by set inclusion. TheoremIf $\,X$ and $Y$ are locally compact separable metrizable spaces, then $(\mathcal {E}(X),\le )$ and $(\mathcal {E} (Y),\le )$ are order-isomorphic iff $\,\mathcal {Z} (X^{\ast })$ and $\mathcal {Z}(Y^{\ast })$ are order-isomorphic, and iff $\,X^{\ast }$ and $Y^{\ast }$ are homeomorphic. We construct an order preserving bijection $\lambda : \mathcal {E} (X)\rightarrow \mathcal {Z} (X^{\ast })$ such that a one-point completion in $\mathcal {E} (X)$ is locally compact iff its image under $\lambda $ is clopen. We extend some results to the nonseparable case, but leave problems open. In a concluding section, we show how to construct one-point completions geometrically in some explicit cases.
LA - eng
KW - metrizable; metric extensions and completions; completely metrizable; one-point metric extensions; extension traces; zerosets; clopen sets; Stone-Čech compactification; $\beta X\backslash X$; hedgehog; Stone-Čech compactification; ; hedgehog
UR - http://eudml.org/doc/249571
ER -

References

top
  1. Alexander C.C., Metrically isolated sets, Amer. Math. Monthly 78 (1971), 892-895. (1971) Zbl0223.54016MR0290329
  2. Bel'nov V.K., Some theorems on metric extensions, Trans. Moscow Math. Soc. 30 (1974), 119-138. (1974) MR0385812
  3. Bel'nov V.K., The structure of set of metric extensions of a noncompact metrizable space, Trans. Moscow Math. Soc. 32 (1975), 1-30. (1975) MR0423309
  4. Dow A., Hart K.P., has (almost) no continuous images, Israel J. Math. 109 (1999), 29-39. (1999) Zbl0931.54024MR1679586
  5. Engelking R., General Topology, Heldermann Verlag, Berlin, 1989. Zbl0684.54001MR1039321
  6. Fitzpatrick B., Gruenhage G., Ott J., Topological completions of metrizable spaces, Proc. Amer. Math. Soc. 117 (1993), 259-267. (1993) Zbl0766.54022MR1110542
  7. Gillman L., Jerison M., Rings of Continuous Functions Springer, New York, 1976, . MR0407579
  8. Magill K., The lattice of compactifications of locally compact space, Proc. London Math. Soc. 18 (1968), 231-244. (1968) MR0229209
  9. van Mill J., Weak P-points in Čech-Stone compactifications, Trans. Amer. Math. Soc. 273 (1982), 657-678. (1982) Zbl0498.54022MR0667166
  10. Mack J., Rayburn M.C., Woods R.G., Local topological properties and one-point extensions, Canadian J. Math. 24 (1972), 338-348. (1972) Zbl0242.54019MR0295297
  11. ibid, Lattices of topological extensions, Trans. Amer. Math. Soc. 189 (1974), 163-174. (1974) MR0350700
  12. Porter J., Woods R.G., Extension and Absolutes of Hausdorff Spaces, Springer, New York, 1987. MR0918341
  13. Rayburn M.C., On Hausdorff compactifications, Pacific J. Math 44 (1973), 707-71. (1973) Zbl0257.54021MR0317277
  14. Villani A., Spaces with locally compact completions are compact, Amer. Math. Monthly 94 (1987), 863-865. (1987) Zbl0639.54020MR0935843
  15. Woods R.G., Co-absolutes of remainders of , Pacific J. Math. 37 (1971), 545-560. (1971) MR0307179
  16. Woods R.G., Zero-dimensional compactifications of locally compact spaces, Canadian J. Math. 26 (1974), 920-930. (1974) Zbl0287.54023MR0350699

NotesEmbed ?

top

You must be logged in to post comments.