Related papers: Problem with almost everywhere equality
We study the influence of the existence of large cardinals on the existence of wellorderings of power sets of infinite cardinals $\kappa$ with the property that the collection of all initial segments of the wellordering is definable by a…
Assume hat a functionally Hausdorff space $X$ is a continuous image of a \v{C}ech complete space $P$ with Lindel\"of number $l(P)<\mathfrak c$. Then the following conditions are equivalent: (i) every compact subset of $X$ is scattered, (ii)…
A topological group is said to be ambitable if each uniformly bounded uniformly equicontinuous set of functions on the group with its right uniformity is contained in an ambit. For n=0,1,2,..., every locally aleph_n bounded topological…
We address pairs $(X, Y)$ of metric spaces with the following property: for every mapping $f: X \to Y$ the existence of points $x, y \in X$ with $d(f(x),f(y)) > d(x,y)$ implies the existence of $\widetilde{x}, \widetilde{y}\in X$ for which…
The property of countable metacompactness of a topological space gets its importance from Dowker's 1951 theorem that the product of a normal space X with the unit interval is again normal iff X is countably metacompact. In a recent paper,…
A topological space $X$ is a $\Delta$-space (or $X \in \Delta$) if for any decreasing sequence $\{A_n : n < \omega\}$ of subsets of $X$ with empty intersection there is a (decreasing) sequence $\{U_n : n < \omega\}$ of open sets with empty…
Let $X$ be metrizable, $Y$ be perfectly normal and suppose that there exists a uniformly continuous surjection $T: C_{p}(X) \to C_{p}(Y)$ (resp., $T: C_{p}^*(X) \to C_{p}^*(Y)$), where $C_{p}(X)$ (resp., $C_{p}^*(X)$) denotes the space of…
For a domain $G$ in the one-point compactification $\overline{\mathbb{R}}^n = \mathbb{R}^n \cup \{ \infty\}$ of $\mathbb{R}^n, n \ge 2$, we characterize the completeness of the modulus metric $\mu_G$ in terms of a potential-theoretic…
Given a set of points in the Euclidean space $\mathbb{R}^\ell$ with $\ell>1$, the pairwise distances between the points are determined by their spatial location and the metric $d$ that we endow $\mathbb{R}^\ell$ with. Hence, the distance…
We prove that if $(X,\mathsf d,\mathfrak m)$ is an essentially non-branching metric measure space with $\mathfrak m(X)=1$, having Ricci curvature bounded from below by $K$ and dimension bounded from above by $N \in (1,\infty)$, understood…
Let $f:M\rightarrow M$ be a $C^1$ diffeomorphism with a dominated splitting on a compact Riemanian manifold $M$ without boundary. We state and prove several sufficient conditions for the topological entropy of $f$ to be positive. The…
Let M be a compact, connected and simply-connected Riemannian manifold, and suppose that G is a compact, connected Lie group acting on M by isometries. The dimension of the space of orbits is called the cohomogeneity of the action. If the…
If $X$ is compact metrizable and has finite fd-height then the unit interval, $I$, $\ell$-dominates $X$, in other words, there is a continuous linear map of $C_p(I)$ onto $C_p(X)$. If the unit interval $\ell$-dominates a space $X$ then $X$…
We consider ergodic $\mathrm{Sym}(\mathbb{N})$-invariant probability measures on the space of $L$-structures with domain $\mathbb{N}$ (for $L$ a countable relational language), and call such a measure a properly ergodic structure when no…
A finite relational structure A is called compact if for any infinite relational structure B of the same type, the existence of a homomorphism from B to A is equivalent to the existence of homomorphisms from all finite substructures of B to…
Let $(M^{2},g_{0})$ be a compact manifold with boundary, and let $g$ and $g_{0}$ be conformally related by $g=e^{2f}g_{0}$. We show that the inequality $$\nu_{1}(g)\geq\Big(\max_{x\in\partial M}e^{-f(x)}\Big)\nu_{1}(g_{0})$$ stated in…
We examine sufficient conditions for the dual of a topological group to be metrizable and locally compact.
We prove that on an essentially non-branching $\mathrm{MCP}(K,N)$ space, if a geodesic ball has a volume lower bound and satisfies some additional geometric conditions, then in a smaller geodesic ball (in a quantified sense) we have an…
Let $G$ be a group of homeomorphisms of a topological space $X$. $G$ is $\textit{(properly) isometrizable}$ if there exists a $G$-invariant (proper) gauge structure on $X$. $G$ is $\textit{equiregular}$ if for every $x \in X$ and every open…
In this paper we continue our research of functions on the boundary of their domain and obtain some results on cluster sets of functions between topological spaces. In particular, we prove that for a metrizable topological space $X$, a…