English

The partially ordered set of one-point extensions

General Topology 2015-06-25 v1

Abstract

A space YY is called an {\em extension} of a space XX if YY contains XX as a dense subspace. Two extensions of XX are said to be {\em equivalent} if there is a homeomorphism between them which fixes XX point-wise. For two (equivalence classes of) extensions YY and YY' of XX let YYY\leq Y' if there is a continuous function of YY' into YY which fixes XX point-wise. An extension YY of XX is called a {\em one-point extension} of XX if Y\XY\backslash X is a singleton. Let P{\mathcal P} be a topological property. An extension YY of XX is called a {\em P{\mathcal P}-extension} of XX if it has P{\mathcal P}. One-point P{\mathcal P}-extensions comprise the subject matter of this article. Here P{\mathcal P} is subject to some mild requirements. We define an anti-order-isomorphism between the set of one-point Tychonoff extensions of a (Tychonoff) space XX (partially ordered by \leq) and the set of compact non-empty subsets of its outgrowth βX\X\beta X\backslash X (partially ordered by \subseteq). This enables us to study the order-structure of various sets of one-point extensions of the space XX by relating them to the topologies of certain subspaces of its outgrowth. We conclude the article with the following conjecture. For a Tychonoff spaces XX denote by U(X){\mathscr U}(X) the set of all zero-sets of βX\beta X which miss XX. \noindent{\bf Conjecture.} {\em For locally compact spaces XX and YY the partially ordered sets (U(X),)({\mathscr U}(X),\subseteq) and (U(Y),)({\mathscr U}(Y),\subseteq) are order-isomorphic if and only if the spaces \emclβX(βX\υX){\em cl}_{\beta X}(\beta X\backslash\upsilon X) and \emclβY(βY\υY){\em cl}_{\beta Y}(\beta Y\backslash\upsilon Y) are homeomorphic.}

Keywords

Cite

@article{arxiv.1205.6729,
  title  = {The partially ordered set of one-point extensions},
  author = {M. R. Koushesh},
  journal= {arXiv preprint arXiv:1205.6729},
  year   = {2015}
}

Comments

31 pages

R2 v1 2026-06-21T21:11:49.226Z