We study sets of measure-preserving transformations on Lebesgue spaces with continuous measures taking into account extreme scales of variations of weak mixing. It is shown that the generic dynamical behaviour depends on subsequences of time going to infinity. We also present corresponding generic sets of (probability) invariant measures with respect to topological shifts over finite alphabets and Axiom A diffeomorphisms over topologically mixing basic sets.

In this paper we integrate two strands of the literature on stability of general state Markov chains: conventional, total-variation-based results and more recent order-theoretic results. First we introduce a complete metric over Borel probability measures based on ‘partial’ stochastic dominance. We then show that many conventional results framed in the setting of total variation distance have natural generalizations to the partially ordered setting when this metric is adopted.

We consider generalised metrisability and cardinal invariants in quasitopological groups. We construct examples to show that some equalities of cardinal invariants in topological groups cannot be extended to quasitopological groups.

Based on the metrisation of $b$ -metric spaces of Paluszyński and Stempak [‘On quasi-metric and metric spaces’, Proc. Amer. Math. Soc.137(12) (2009), 4307–4312], we prove that every $b$ -metric space has a completion. Our approach resolves the limitation in using the quotient space of equivalence classes of Cauchy sequences to obtain a completion of a $b$ -metric space.

In this paper we first give a negative answer to a question of Amini-Harandi [‘Best proximity point theorems for cyclic strongly quasi-contraction mappings’, J. Global Optim. 56 (2013), 1667–1674] on a best proximity point theorem for cyclic quasi-contraction maps. Then we prove some new results on best proximity point theorems that show that results of Amini-Harandi for cyclic strongly quasi-contractions are true under weaker assumptions.

This paper investigates topological reconstruction, related to the reconstruction conjecture in graph theory. We ask whether the homeomorphism types of subspaces of a space X which are obtained by deleting singletons determine X uniquely up to homeomorphism. If the question can be answered affirmatively, such a space is called reconstructible. We prove that in various cases topological properties can be reconstructed. As main result we find that familiar spaces such as the reals ℝ, the rationals ℚ and the irrationals ℙ are reconstructible, as well as spaces occurring as Stone–Čech compactifications. Moreover, some non-reconstructible spaces are discovered, amongst them the Cantor set C.

A set is shy or Haar null (in the sense of Christensen) if there exists a Borel set and a Borel probability measure μ on C[0, 1] such that and for all f ∈ C[0, 1]. The complement of a shy set is called a prevalent set. We say that a set is Haar ambivalent if it is neither shy nor prevalent.

The main goal of the paper is to answer the following question: what can we say about the topological properties of the level sets of the prevalent/non-shy many f ∈ C[0, 1]?

The classical Bruckner–Garg theorem characterizes the level sets of the generic (in the sense of Baire category) f ∈ C[0, 1] from the topological point of view. We prove that the functions f ∈ C[0, 1] for which the same characterization holds form a Haar ambivalent set.

In an earlier paper, Balka et al. proved that the functions f ∈ C[0, 1] for which positively many level sets with respect to the Lebesgue measure λ are singletons form a non-shy set in C[0, 1]. The above result yields that this set is actually Haar ambivalent. Now we prove that the functions f ∈ C[0, 1] for which positively many level sets with respect to the occupation measure λ ◦ f –1 are not perfect form a Haar ambivalent set in C[0, 1].

We show that for the prevalent f ∈ C[0, 1] for the generic y ∈ f([0, 1]) the level set f –1(y) is perfect. Finally, we answer a question of Darji and White by showing that the set of functions f ∈ C[0, 1] for which there exists a perfect set Pf ⊂ [0, 1] such that fʹ(x) = ∞ for all x ∈ Pf is Haar ambivalent.

Finite subset spaces of a metric space $X$ form a nested sequence under natural isometric embeddings $X=X(1)\subset X(2)\subset \cdots \,$ . We prove that this sequence admits Lipschitz retractions $X(n)\rightarrow X(n-1)$ when $X$ is a Hilbert space.

Hughes has defined a class of groups that we call finite similarity structure (FSS) groups. Each FSS group acts on a compact ultrametric space by local similarities. The best-known example is Thompson’s group V. Guided by previous work on Thompson’s group, we show that many FSS groups are of type F∞. This generalizes work of Ken Brown from the 1980s.

In this note we partially answer a question of Cascales, Orihuela and Tkachuk [‘Domination by second countable spaces and Lindelöf ${\rm\Sigma}$ -property’, Topology Appl.158(2) (2011), 204–214] by proving that under $CH$ a compact space $X$ is metrisable provided $X^{2}\setminus {\rm\Delta}$ can be covered by a family of compact sets $\{K_{f}:f\in {\it\omega}^{{\it\omega}}\}$ such that $K_{f}\subset K_{h}$ whenever $f\leq h$ coordinatewise.

In this paper we determine the metric dimension of $n$ -dimensional metric $(X,G)$ -manifolds. This category includes all Euclidean, hyperbolic and spherical manifolds as special cases.

We define a pseudometric on the set of all unbounded subsets of a metric space. The Kolmogorov quotient of this pseudometric space is a complete metric space. The definition of the pseudometric is guided by the principle that two unbounded subsets have distance 0 whenever they stay sublinearly close. Based on this pseudometric we introduce and study a general concept of boundaries of metric spaces. Such a boundary is the closure of a subset in the Kolmogorov quotient determined by an arbitrarily chosen family of unbounded subsets. Our interest lies in those boundaries which we get by choosing unbounded cyclic sub(semi)groups of a finitely generated group (or more general of a compactly generated, locally compact Hausdorff group). We show that these boundaries are quasi-isometric invariants and determine them in the case of nilpotent groups as a disjoint union of certain spheres (or projective spaces). In addition we apply this concept to vertex-transitive graphs with polynomial growth and to random walks on nilpotent groups.

We prove that if $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}X$ is a space satisfying the discrete countable chain condition with a rank 3-diagonal then the cardinality of $X$ is at most $\mathfrak{c}$ .

Let $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}\langle X,d \rangle $ be a metric space. We characterise the family of subsets of $X$ on which each locally Lipschitz function defined on $X$ is bounded, as well as the family of subsets on which each member of two different subfamilies consisting of uniformly locally Lipschitz functions is bounded. It suffices in each case to consider real-valued functions.

A family $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}f_1,\ldots,f_n$ of operators on a complete metric space $X$ is called contractive if there exists $\lambda < 1$ such that for any $x,y$ in $X$ we have $d(f_i(x),f_i(y)) \leq \lambda d(x,y)$ for some $i$ . Stein conjectured that for any contractive family there is some composition of the operators $f_i$ that has a fixed point. Austin gave a counterexample to this, and asked whether Stein’s conjecture is true if we restrict to compact spaces. Our aim in this paper is to show that, even for compact spaces, Stein’s conjecture is false.

We prove that if a space $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}X$ with a rank 2-diagonal either has the countable chain condition or is star countable then the cardinality of $X$ is at most $\mathfrak{c}$ .

We mainly prove that, assuming $\mathfrak{b}= \mathfrak{c}$ , every regular star-compact space with a strong rank 1-diagonal is metrisable.

It is proved that every remainder of a nonlocally compact semitopological group $G$ is a Baire space if and only if $G$ is not Čech-complete, which improves a dichotomy theorem of topological groups by Arhangel’skiǐ [‘The Baire property in remainders of topological groups and other results’, Comment. Math. Univ. Carolin. 50(2) (2009), 273–279], and also gives a positive answer to a question of Lin and Lin [‘About remainders in compactifications of paratopological groups’, ArXiv: 1106.3836v1 [Math. GN] 20 June 2011]. We also show that for a nonlocally compact rectifiable space $G$ every remainder of $G$ is either Baire, or meagre and Lindelöf.

Let $G$ be a locally compact group. In this paper, we show that if $G$ is a nondiscrete locally compact group, $p\in (0, 1)$ and $q\in (0, + \infty ] $ , then $\{ (f, g)\in {L}^{p} (G)\times {L}^{q} (G): f\ast g\text{ is finite } \lambda \text{-a.e.} \} $ is a set of first category in ${L}^{p} (G)\times {L}^{q} (G)$ . We also show that if $G$ is a nondiscrete locally compact group and $p, q, r\in [1, + \infty ] $ such that $1/ p+ 1/ q\gt 1+ 1/ r$ , then $\{ (f, g)\in {L}^{p} (G)\times {L}^{q} (G): f\ast g\in {L}^{r} (G)\} $ , is a set of first category in ${L}^{p} (G)\times {L}^{q} (G)$ . Consequently, for $p, q\in [1+ \infty )$ and $r\in [1, + \infty ] $ with $1/ p+ 1/ q\gt 1+ 1/ r$ , $G$ is discrete if and only if ${L}^{p} (G)\ast {L}^{q} (G)\subseteq {L}^{r} (G)$ ; this answers a question raised by Saeki [‘The ${L}^{p} $ -conjecture and Young’s inequality’, Illinois J. Math. 34 (1990), 615–627].

We study the relationship between generalisations of P-spaces and Volterra (weakly Volterra) spaces, that is, spaces where every two dense Gδ have dense (nonempty) intersection. In particular, we prove that every dense and every open, but not every closed subspace of an almost P-space is Volterra and that there are Tychonoff nonweakly Volterra weak P-spaces. These results should be compared with the fact that every P-space is hereditarily Volterra. As a byproduct we obtain an example of a hereditarily Volterra space and a hereditarily Baire space whose product is not weakly Volterra. We also show an example of a Hausdorff space which contains a nonweakly Volterra subspace and is both a weak P-space and an almost P-space.