Related papers: There is no categorical metric continuum

In this paper, we introduce the nonstandard vector space in which the concept of additive inverse element will not be taken into account. We also consider a metric defined on this nonstandard vector space. Under these settings, the…

In this article we prove a non-vanishing statement, as well as several properties of metrics with minimal singularities of adjoint bundles. Our arguments involve many ideas from Y.-T. Siu's analytic proof of the finite generation of the…

In this paper we examine two basic topological properties of partial metric spaces, namely compactness and completeness. Our main result claims that in these spaces compactness is equivalent to sequential compactness. We also show that…

We prove the equivalence between geometric and analytic definitions of quasiconformality for a homeomorphism $f\colon X\rightarrow Y$ between arbitrary locally finite separable metric measure spaces, assuming no metric hypotheses on either…

All constructive methods employed in modern mathematics produce only countable sets, even when designed to transcend countability. We show that any constructive argument for uncountability -- excluding diagonalization techniques --…

We establish curvature obstruction theorems for manifolds with boundary. Our main theorems show that, for dimensions up to 7, a topologically nontrivial compact manifold with boundary cannot have a metric of positive $m$-intermediate…

We show that every non-degenerate homogeneous plane continuum is homeomorphic to either the unit circle, the pseudo-arc, or the circle of pseudo-arcs. It follows that any planar homogenous compactum has the form $X \times Z$, where $X$ is a…

We introduce the metric fundamental class for metric spaces that are homeomorphic to compact, non-orientable, smooth manifolds with (possibly empty) boundary. This is an integer rectifiable current that provides an analytic representation…

We generalize Freyd's well-known result that "homotopy is not concrete", offering a general method to show that under certain assumptions on a model category $\mathcal M$, its homotopy category $\text{ho}(\mathcal M)$ cannot be concrete.…

We introduce the notion of coarse metric. Every coarse metric induces a coarse structure on the underlying set. Conversely, we observe that all coarse spaces come from a particular type of coarse metric in a unique way. In the case when the…

Let X and Y be infinite graphs, such that the automorphism group of X is nonamenable, and the automorphism group of Y has an infinite orbit. We prove that there is no automorphism-invariant measure on the set of spanning trees in the direct…

A continuum is hereditarily equivalent if it is homeomorphic to each of its non-degenerate sub-continua. We show in this paper that the arc and the pseudo-arc are the only non-degenerate hereditarily equivalent plane continua.

We prove a strong non-structure theorem for a class of metric structures with an unstable pair of formulae. As a consequence, we show that weak categoricity (that is, categoricity up to isomorphisms and not isometries) implies several…

The cutoff phenomenon describes the case when an abrupt transition occurs in the convergence of a Markov chain to its equilibrium measure. There are various metrics which can be used to measure the distance to equilibrium, each of which…

If $(X,d)$ is a metric space then the map $f\colon X\to X$ is defined to be a weak contraction if $d(f(x),f(y))<d(x,y)$ for all $x,y\in X$, $x\neq y$. We determine the simplest non-closed sets $X\subseteq \mathbb{R}^n$ in the sense of…

Let $\mathfrak{M}$ be a class of metric spaces. A metric space $Y$ is minimal $\mathfrak{M}$-universal if every $X\in\mathfrak{M}$ can be isometrically embedded in $Y$ but there are no proper subsets of $Y$ satisfying this property. We find…

Let M be the countably infinite metric fan. We show that C_k(M,2) is sequential and contains a closed copy of Arens space S_2. It follows that if X is metrizable but not locally compact, then C_k(X) contains a closed copy of S_2, and hence…

We prove that the automorphisms of any separable C*-algebra that does not have continuous trace are not classifiable by countable structures up to unitary equivalence. This implies a dichotomy for the Borel complexity of the relation of…

For metrizable spaces we replace the notion of almost periodic homeomorphism with a similar notion and verify that the usual characterizations of almost periodic homeomorphisms of compact metric spaces are valid for all metrizable spaces.

We show that for arbitrary linearly ordered set $X$ any bounded family of (not necessarily, continuous) real valued functions on $X$ with bounded total variation does not contain independent sequences. We obtain generalized Helly's…