We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure [email protected]
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
A subset E of a metric space X is said to be starlike-equivalent if it has a neighbourhood which is mapped homeomorphically into $\mathbb{R}^n$ for some n, sending E to a starlike set. A subset $E\subset X$ is said to be recursively starlike-equivalent if it can be expressed as a finite nested union of closed subsets $\{E_i\}_{i=0}^{N+1}$ such that $E_{i}/E_{i+1}\subset X/E_{i+1}$ is starlike-equivalent for each i and $E_{N+1}$ is a point. A decomposition $\mathcal{D}$ of a metric space X is said to be recursively starlike-equivalent, if there exists $N\geq 0$ such that each element of $\mathcal{D}$ is recursively starlike-equivalent of filtration length N. We prove that any null, recursively starlike-equivalent decomposition $\mathcal{D}$ of a compact metric space X shrinks, that is, the quotient map $X\to X/\mathcal{D}$ is the limit of a sequence of homeomorphisms. This is a strong generalisation of results of Denman–Starbird and Freedman and is applicable to the proof of Freedman’s celebrated disc embedding theorem. The latter leads to a multitude of foundational results for topological 4-manifolds, including the four-dimensional Poincaré conjecture.
A
$k_{\omega }$
-space X is a Hausdorff quotient of a locally compact,
$\sigma $
-compact Hausdorff space. A theorem of Morita’s describes the structure of X when the quotient map is closed, but in 2010 a question of Arkhangel’skii’s highlighted the lack of a corresponding theorem for nonclosed quotient maps (even from subsets of
$\mathbb {R}^n$
). Arkhangel’skii’s specific question had in fact been answered by Siwiec in 1976, but a general structure theorem for
$k_{\omega }$
-spaces is still lacking. We introduce pure quotient maps, extend Morita’s theorem to these, and use Fell’s topology to show that every quotient map can be “purified” (and thus every
$k_{\omega }$
-space is the image of a pure quotient map). This clarifies the structure of arbitrary
$k_{\omega }$
-spaces and gives a fuller answer to Arkhangel’skii’s question.
A space $Y$ is called an extension of a space $X$ if $Y$ contains $X$ as a dense subspace. An extension $Y$ of $X$ is called a one-point extension if $Y\setminus X$ is a singleton. Compact extensions are called compactifications and connected extensions are called connectifications. It is well known that every locally compact noncompact space has a one-point compactification (known as the Alexandroff compactification) obtained by adding a point at infinity. A locally connected disconnected space, however, may fail to have a one-point connectification. It is indeed a long-standing question of Alexandroff to characterize spaces which have a one-point connectification. Here we prove that in the class of completely regular spaces, a locally connected space has a one-point connectification if and only if it contains no compact component.
A new decomposition, the mutually aposyndetic decomposition of homogeneous continua into closed, homogeneous sets is introduced. This decomposition is respected by homeomorphisms and topologically unique. Its quotient is a mutually aposyndetic homogeneous continuum, and in all known examples, as well as in some general cases, the members of the decomposition are semi-indecomposable continua. As applications, we show that hereditarily decomposable homogeneous continua and path connected homogeneous continua are mutually aposyndetic. A class of new examples of homogeneous continua is defined. The mutually aposyndetic decomposition of each of these continua is non-trivial and different from Jones’ aposyndetic decomposition.
Let N be a closed s-Hopfian n-manifold with residually finite, torsion free π1 (N) and finite H1(N). Suppose that either πk(N) is finitely generated for all k ≥ 2, or πk(N) ≅ 0 for 1 < k < n – 1, or n ≤ 4. We show that if N fails to be a co-dimension 2 fibrator, then N cyclically covers itself, up to homotopy type.