English

On one-point metrizable extensions of locally compact metrizable spaces

General Topology 2015-06-25 v1

Abstract

For a non-compact metrizable space XX, let E(X){\mathcal E}(X) be the set of all one-point metrizable extensions of XX, and when XX is locally compact, let EK(X){\mathcal E}_K(X) denote the set of all locally compact elements of E(X){\mathcal E}(X) and λ:E(X)Z(βX\X)\lambda: {\mathcal E}(X)\rightarrow{\mathcal Z}(\beta X\backslash X) be the order-anti-isomorphism (onto its image) defined in: [HJW] M. Henriksen, L. Janos and R.G. Woods, Properties of one-point completions of a non-compact metrizable space, Comment. Math. Univ. Carolinae 46 (2005), 105-123. By definition λ(Y)=n<ωclβX(UnX)\X\lambda(Y)= \bigcap_{n<\omega}cl_{\beta X}(U_n\cap X)\backslash X, where Y=X{p}E(X)Y=X\cup\{p\}\in{\mathcal E}(X) and {Un}n<ω\{U_n\}_{n<\omega} is an open base at pp in YY. Answering the question of [HJW], we characterize the elements of the image of λ\lambda as exactly those non-empty zero-sets of βX\beta X which miss XX, and the elements of the image of EK(X){\mathcal E}_K(X) under λ\lambda , as those which are moreover clopen in βX\X\beta X\backslash X. We then study the relation between E(X){\mathcal E}(X) and EK(X){\mathcal E}_K(X) and their order structures, and introduce a subset ES(X){\mathcal E}_S(X) of E(X){\mathcal E}(X). We conclude with some theorems on the cardinality of the sets E(X){\mathcal E}(X) and EK(X){\mathcal E}_K(X), and some open questions.

Keywords

Cite

@article{arxiv.1206.3139,
  title  = {On one-point metrizable extensions of locally compact metrizable spaces},
  author = {M. R. Koushesh},
  journal= {arXiv preprint arXiv:1206.3139},
  year   = {2015}
}

Comments

29 pages