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 no-reply@cambridge.org
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.
Consider a definably complete uniformly locally o-minimal expansion of the second kind of a densely linearly ordered abelian group. Let $f:X \rightarrow R^n$ be a definable map, where X is a definable set and R is the universe of the structure. We demonstrate the inequality $\dim (f(X)) \leq \dim (X)$ in this paper. As a corollary, we get that the set of the points at which f is discontinuous is of dimension smaller than $\dim (X)$. We also show that the structure is definably Baire in the course of the proof of the inequality.
We investigate C-sets in almost zero-dimensional spaces, showing that closed $\sigma $C-sets are C-sets. As corollaries, we prove that every rim-$\sigma $-compact almost zero-dimensional space is zero-dimensional and that each cohesive almost zero-dimensional space is nowhere rational. To show that these results are sharp, we construct a rim-discrete connected set with an explosion point. We also show that every cohesive almost zero-dimensional subspace of $($Cantor set$)\!\times \mathbb R$ is nowhere dense.
We prove that the homeomorphism relation between compact spaces can be continuously reduced to the homeomorphism equivalence relation between absolute retracts, which strengthens and simplifies recent results of Chang and Gao, and Cieśla. It follows then that the homeomorphism relation of absolute retracts is Borel bireducible with the universal orbit equivalence relation. We also prove that the homeomorphism relation between regular continua is classifiable by countable structures and hence it is Borel bireducible with the universal orbit equivalence relation of the permutation group on a countable set. On the other hand we prove that the homeomorphism relation between rim-finite metrizable compacta is not classifiable by countable structures.
It is proved that the free topological vector space $\mathbb{V}([0,1])$ contains an isomorphic copy of the free topological vector space $\mathbb{V}([0,1]^{n})$ for every finite-dimensional cube $[0,1]^{n}$, thereby answering an open question in the literature. We show that this result cannot be extended from the closed unit interval $[0,1]$ to general metrisable spaces. Indeed, we prove that the free topological vector space $\mathbb{V}(X)$ does not even have a vector subspace isomorphic as a topological vector space to $\mathbb{V}(X\oplus X)$, where $X$ is a Cook continuum, which is a one-dimensional compact metric space. This is also shown to be the case for a rigid Bernstein set, which is a zero-dimensional subspace of the real line.
We consider the following question: for which metrizable separable spaces $X$ does the free abelian topological group $A(X\oplus X)$ isomorphically embed into $A(X)$. While for many natural spaces $X$ such an embedding exists, our main result shows that if $X$ is a Cook continuum or $X$ is a rigid Bernstein set, then $A(X\oplus X)$ does not embed into $A(X)$ as a topological subgroup. The analogous statement is true for the free boolean group $B(X)$.
For each discriminant $D>1$, McMullen constructed the Prym–Teichmüller curves $W_{D}(4)$ and $W_{D}(6)$ in ${\mathcal{M}}_{3}$ and ${\mathcal{M}}_{4}$, which constitute one of the few known infinite families of geometrically primitive Teichmüller curves. In the present paper, we determine for each $D$ the number and type of orbifold points on $W_{D}(6)$. These results, together with a previous result of the two authors in the genus $3$ case and with results of Lanneau–Nguyen and Möller, complete the topological characterisation of all Prym–Teichmüller curves and determine their genus. The study of orbifold points relies on the analysis of intersections of $W_{D}(6)$ with certain families of genus $4$ curves with extra automorphisms. As a side product of this study, we give an explicit construction of such families and describe their Prym–Torelli images, which turn out to be isomorphic to certain products of elliptic curves. We also give a geometric description of the flat surfaces associated to these families and describe the asymptotics of the genus of $W_{D}(6)$ for large $D$.
This paper is devoted to dualization of paracompactness to the coarse category via the concept of $R$-disjointness. Property A of Yu can be seen as a coarse variant of amenability via partitions of unity and leads to a dualization of paracompactness via partitions of unity. On the other hand, finite decomposition complexity of Guentner, Tessera, and Yu and straight finite decomposition complexity of Dranishnikov and Zarichnyi employ $R$-disjointness as the main concept. We generalize both concepts to that of countable asymptotic dimension and our main result shows that it is a subclass of spaces with Property A. In addition, it gives a necessary and sufficient condition for spaces of countable asymptotic dimension to be of finite asymptotic dimension.
The Bishop property (♗), introduced recently by K. P. Hart, T. Kochanek and the first-named author, was motivated by Pełczyński’s classical work on weakly compact operators on $C(K)$-spaces. This property asserts that certain chains of functions in said spaces, with respect to a particular partial ordering, must be countable. There are two versions of (♗): one applies to linear operators on $C(K)$-spaces and the other to the compact Hausdorff spaces themselves. We answer two questions that arose after (♗) was first introduced. We show that if $\mathscr{D}$ is a class of compact spaces that is preserved when taking closed subspaces and Hausdorff quotients, and which contains no nonmetrizable linearly ordered space, then every member of $\mathscr{D}$ has (♗). Examples of such classes include all $K$ for which $C(K)$ is Lindelöf in the topology of pointwise convergence (for instance, all Corson compact spaces) and the class of Gruenhage compact spaces. We also show that the set of operators on a $C(K)$-space satisfying (♗) does not form a right ideal in $\mathscr{B}(C(K))$. Some results regarding local connectedness are also presented.
In this paper, we show that the character of any monotonically Lindelöf generalized ordered (GO) space is not greater than ω1, which gives a negative answer to a question posed by Levy and Matveev [‘Some questions on monotone Lindelöfness’, Questions Answers Gen. Topology26 (2008), 13–27, Question 51].
For any generalized ordered space X with the underlying linearly ordered topological space Xu, let X* be the minimal closed linearly ordered extension of X and be the minimal dense linearly ordered extension of X. The following results are obtained.
(1) The projection mapping π:X*→X, π(〈x,i〉)=x, is closed.
(2) The projection mapping , ϕ(〈x,i〉)=x, is closed.
(3)X* is a monotone D-space if and only if X is a monotone D-space.
(4) is a monotone D-space if and only if Xu is a monotone D-space.
(5) For the Michael line M, is a paracompact p-space, but not continuously Urysohn.
In this paper, we explore the monotone Lindelöf property of two kinds of linearly ordered extensions of monotonically Lindelöf generalized ordered spaces. In addition, we construct nonseparable monotonically Lindelöf spaces using the Bernstein set, which generalizes Corollary 4 of Levy and Matveev [‘Some more examples of monotonically Lindelöf and not monotonically Lindelöf spaces’, Topology Appl.154 (2007), 2333–2343].
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.
In this paper, we generalize a result of Bennett and Lutzer and give a condition under which a continuously Urysohn space must have a one-parameter continuous separating family.
We study Banach-Mazur compacta Q(n), that is, the sets of all isometry classes of n-dimensional Banach spaces topologized by the Banach-Mazur metric. Our main result is that Q(2) is homeomorphic to the compactification of a Hilbert cube manifold by a point, for we prove that Qg(2) = Q(2) / {Eucl.} is a Hilbert cube manifold. As a corollary it follows that Q(2) is not homogeneous.
It is known that every frame is isomorphic to the generalized Gleason algebra of an essentially unique bi-Stonian space (X, σ, τ) in which σ is T0. Let (X, σ, τ) be as above. The specialization order ≤σ, of (X, σ) is τ × τ-closed. By Nachbin's Theorem there is exactly one quasi-uniformity U on X such that ∩U = ≤σ and J(U*) = τ. This quasi-uniformity is compatible with σ and is coarser than the Pervin quasi-uniformity U of (X, σ). Consequently, τ is coarser than the Skula topology of σ and coincides with the Skula topology if and only if U = P.
Let X be a finite-dimensional separable metric space, presented as a disjoint union of subsets, X = A∪B. We prove the following theorem: For every prime p, c-dimZpX≦c-dimZpA + c–dimZpB + 1. This improves upon some of the earlier work by Dydak and Walsh.
Let Cb be the admissible functorial quasi-uniformity on the completely regular bispaces which is spanned by the upper quasi-uniformity on the real line. Answering a question posed by B. Banaschewski and G. C. L. Brümmer in the affirmative we show that CbX is transitive for every strongly zero-dimensional bispace X.
A topological ordered space (or pospace) is a poset (X, <) with a topology on X for which the relation < is closed in the product X × X. The topology of X is then necessarily Hausdorff. The basic theory of pospaces was developed by Nachbin in his book [5]; and others have extended it, but the resulting body of knowledge is not very geometrical. There are few concrete examples, other than the unit interval I with its natural order, and Euclidean spaces (Rn, ≤), the Hilbert cube (H, ≤) (each with the vector order), and some function spaces.