Some minimum topological spaces, and vector lattices

2026-01-09T20:56:55Z

We investigate the existence of compact Hausdorff spaces $X$ that are minimum with respect to $cX=K$ for some fixed covering operator $c$ and compact Hausdorff space $K$ with $cK=K$. Then, using the Yosida representation theorem, we show how that situation relates to the existence of Archimedean vector lattices $A$ with distinguished strong unit that are minimum with respect to $hA=H$ for some fixed hull operator $h$ and vector lattice $H$ with $hH=H$. Among others, we obtain answers for $c=g$ (the Gleason covering operator), $c=qF$ (the quasi-$F$ covering operator), $h = u$ (the uniform completion operator), and $h=e$ (the essential completion operator).

A characterisation of probabilistic metrizability for approach spaces

2026-01-09T19:31:11Z

Characterisations of metrizable topological spaces or metrizable uniform spaces are well known. A natural counterpart to being metrizable for topological spaces can be expressed in terms of probabilistic metrizability for approach spaces. The notion of a probabilistic metrizable approach space is based on a well known concrete functor $Γ$, as introduced in [9], from the category of probabilistic metric spaces with respect to a continuous arbitrary t-norm to the category of approach spaces. A characterization of those probabilistic metrizable approach spaces is still missing and in the first part of this paper we solve this problem. A natural counterpart to being metrizable for uniform spaces can be expressed in terms of probabilistic metrizability for uniform gauge spaces. In the second part of the paper we start from another concrete functor $Λ$, as described in [7], on the category of probabilistic metric spaces with respect to a continuous t-norm to the category of uniform gauge spaces. In a similar way as for the functor $Γ$ we obtain a characterisation of probabilistic metrizability of uniform gauge spaces. The last section of the paper is devoted to an isomorphic description of the category of probabilistic metric spaces. This problem is not new. Previous attempts in providing isomorphic descriptions of the category of probabilistic metric spaces worked with collections of (pseudo)metrics. These attempts were only formulated in restricted cases. Our isomorphic description is in terms of objects that are sets endowed with a collection of distances, where the distances involved do not satisfy the triangle inequality but fulfil a mixed triangle condition instead.

Approximation by zero-free continuous maps

2026-01-08T23:11:50Z

We prove that if E a subset of an n-dimensional manifold, then every continuous R^n-valued map on E that is zero-free on the interior of E can be approximated in the fine topology, and hence, in particular, in the uniform topology, by a continuous R^n-valued map that is zero-free on all of E.

On generalized Namioka spaces and joint continuity of functions on product of spaces

2026-01-07T09:17:39Z

A space $X$ is called "a generalized Namioka space" (g.$\mathcal{N}$-space) if for every compact space $Y$ and every separately continuous function $f\colon X\times Y\rightarrow\mathbb{R}$, there exists at least one point $x\in X$ such that $f$ is jointly continuous at each point of $\{x\}\times Y$. We principally prove the following results: (1) $X$ is a g.$\mathcal{N}$-space, if $X$ is a non-meager open subspace of the product of a family of separable spaces or a family of pseudo-metric spaces; (2) if $Y$ is a non-meager space and $X_i$, for each $i\in I$, is a $W$-space of Grunhage with a rich family of non-meager subspaces, then $Y\times \prod_{i\in I}X_i$ is non-meager; and (3) if $X_i$, for each $i\in I$, is a non-meager space with a countable pseudo-base, then $\prod_{i\in I}X_i$ is non-meager and its tail set having the property of Baire is either meager or residual. In particular, if $G$ is a non-meager g.$\mathcal{N}$ right-topological group and $X$ a locally compact regular space, or, if $G$ is a separable first countable non-meager right-topological group and $X$ a countably compact space, then any separately continuous action $G\curvearrowright X$ is jointly continuous.

The power of trees

2026-01-06T08:25:34Z

We give two consistent constructions of trees $T$ whose finite power $T^{n+1}$ is sharply different from $T^n$: 1. An $\aleph_1$-tree $T$ whose interval topology $X_T$ is perfectly normal, but $(X_T)^2$ is not even countably metacompact. 2. For an inaccessible $κ$ and a positive integer $n$, a $κ$-tree such that all of its $n$-derived trees are Souslin and all of its $(n+1)$-derived trees are special.

A Classification of Fractal Squares

2026-01-06T04:07:12Z

Let $λ_K:\bbR^2\rightarrow\{0,1,\ldots\}\cup\{\infty\}$ be the lambda function of a planar comapctum $K$, as defined in MR4488162. It is known that a planar continuum is locally connected if and only if its lambda function vanishes everywhere, or equivalently, $λ_K(K)=\{0\}$. In this article we show that every fractal square $K$ satisfies $λ_K(K)\subset\{0,1\}$ and find criterions to classify when $λ_K(K)$ equals $\{0\}$, $\{1\}$ or $\{0,1\}$. Here for any integer $N\ge2$ and any set $\Dc=\left\{(i,j): 0\le i,j\le N-1\right\}$ with cardinality $\ge2$, if we set $K^{(0)}=[0,1]^2$ and $\displaystyle K^{(n)}=\left\{\frac{x+d}{N}: x\in K^{(n-1)}, d\in\Dc\right\}(n\ge1)$ then $K=\bigcap_nK^{(n)}$ is called a fractal square.

On topologization of subsemigroups of the bicyclic monoid

2026-01-05T13:27:31Z

We show that if a subsemigroup $S$ of the bicyclic monoid ${\mathscr{C}}(p,q)$ contains infinitely many idempotents then $S$ admits only the discrete Hausdorff shift-continuous topology. Also we proof that every right-continuous (left-continuous\emph) Hausdorff Baire topology on the semigroup $\mathscr{C}_+(a,b)$ $(\mathscr{C}_-(a,b))$ is discrete and the same statement holds for the bicyclic monoid.

Hausdorff dimension and quasisymmetric minimality of homogeneous Moran sets

2026-01-05T08:26:55Z

In this paper, we study the quasisymmetric Hausdorff minimality of homogeneous Moran sets. First, we obtain the Hausdorff dimension formula of two classes of homogeneous Moran sets which satisfy some conditions. Second, we show two special classes of homogeneous Moran sets with Hausdorff dimension 1 are quasisymmetrically Hausdorff minimal.

The combinatorics of permuting and preserving curve-bound spectra

2026-01-03T15:25:13Z

We prove that continuous spectrum- and commutativity-preserving maps to $\mathcal{M}_n(\mathbb{C})$ from the space of normal (real or complex) $n\times n$, $n\ge 3$ matrices with spectra contained in a given continuous-injection interval image $Λ\subseteq \mathbb{C}$ or $\mathbb{R}$ are (a) conjugations; (b) transpose conjugations, or (c) orderings of spectra according to an orientation of $Λ$, with fixed eigenspaces. This generalizes results of Petek's (self-maps of real or complex Hermitian matrices) and the author's (complex Hermitian matrices as the domain, $\mathcal{M}_n(\mathbb{C})$ as the codomain). An application rules out possibility (c) for normal matrices with spectra constrained to a simple closed curve, extending a result by the author, Gogić and Tomašević to the effect that continuous commutativity and spectrum preservers on unitary groups are (transpose) conjugations. The involution preserving eigenspaces and complex-conjugating eigenvalues is a novel possibility beyond (a), (b) and (c) if the domain consists of all semisimple operators with $Λ$-bound spectra instead; its continuity (or lack thereof) and whether or not that map furthermore extends continuously to arbitrary $Λ$-constrained-spectrum matrices hinge on the geometry and regularity of $Λ$.

Plastic metric spaces and groups

2026-01-02T11:03:07Z

A metric space is plastic if all its non-expansive bijections are isometries. We prove three main results: (1) every countable dense subspace of a normed space is not plastic, (2) every $k$-crowded separable metric space contains a plastic dense subspace, and (3) every strictly convex separable metric group contains a plastic dense subgroup.

The Complexity of Connectedness Relations on Polish Spaces

2026-01-02T07:57:38Z

We systematically investigate three different equivalence relations of connectedness: being connected by arcs, being connected by continua and being connected by chains of continua of decreasing diameter. The investigation is conducted from the point of view of Borel reductions, mainly on Polish spaces. All of the studied equivalence relations turn out to be tied together and intimately related to the arc-connection relation. Among other results, it is shown that the arc-connection relation in the plane is Borel reducible to the Vitali equivalence relation and thus of a very low complexity. The same is proven for the chain continuum-connection relation on locally compact subsets of the plane, on which the continuum-connection relation is shown to have higher complexity.

Heraclitean Dialectical Concept Space

2025-12-31T02:24:03Z

We introduce Heraclitean Dialectical Concept Spaces (HDCS), a topological framework for modelling how concepts evolve. Concepts are represented as open regions generated by neighbourhoods in a feasible family, and their relationships are organised through overlaps and channel ideals. New concepts emerge from remainders where existing structures fail to fit together, and inherit their topology from these parent regions. HDCS extends across developmental stages using carry maps and a colimit topology, giving a global picture of conceptual change. Short case studies from economic exchange, biology, and the history of the zero symbol illustrate the scope of the framework.

All spaces of countable spread can be small

2025-12-29T15:31:51Z

The main result of this paper is the proof of the simultaneous consistency, modulo a weakly compact cardinal, of the equality $2^{< \mathfrak{c}} = \mathfrak{c}$ with the following property (*) of partitions of pairs of $\mathfrak{c}$: \smallskip (*) For any coloring (or partition) $k : [\mathfrak{c}]^2 \rightarrow 2$ either there is a homogeneous set of size $\mathfrak{c}$ in color $0$ or there is a set $S \in [\mathfrak{c}]^\mathfrak{c}$ such that for every countable $A \subset S$ there is $β\in \mathfrak{c}$ for which $A \subset β$ and $k(\{α, β\}) = 1$ for all $α\in A$. \smallskip (*) plus $2^{< \mathfrak{c}} = \mathfrak{c}$ together then imply that for every topological space $X$ of countable spread, i.e. not containing any uncountable discrete subset, $|X| \le \mathfrak{c}$ if it is Hausdorff and $o(X) = \mathfrak c$ if it is also infinite and regular. Here $o(X)$ denotes the number of all open subsets of $X$.

The semi-simple theory of higher rank acylindricity

2025-12-29T07:23:22Z

We present a new notion of non-positively curved groups: the collection of discrete countable groups acting (AU-)acylindrically on finite products of $δ$-hyperbolic spaces with general type factors. Inspired by the classical theory of ($S$-arithmetic) lattices and the flourishing theory of acylindrically hyperbolic groups, we show that, up to virtual isomorphism, finitely generated groups in this class enjoy a strongly canonical product decomposition. This semi-simple decomposition also descends to the outer-automorphism group, allowing us to give a partial resolution to a recent conjecture of Sela. We also develop various structure results including a free vs abelian Tits' Alternative, and connections to lattice envelopes. Along the way we give representation-theoretic proofs of various results about acylindricity -- some methods are new even in the rank-1 setting. The vastness of this class of groups is exhibited by recognizing that it contains, for example, $S$-arithmetic lattices with rank-1 factors, acylindrically hyperbolic groups, HHGs, groups with property (QT), and is closed under direct products, passing to (totally general type) subgroups, and finite index over-groups.

Vietoris thickenings and complexes of manifolds are homotopy equivalent

2025-12-28T23:14:23Z

We show that if $X$ is a finite-dimensional Polish metric space, then the natural bijection $\mathrm{VR}(X;r)\to \mathrm{VR^m}(X;r)$ from the (open) Vietoris-Rips complex to the Vietoris-Rips metric thickening is a homotopy equivalence. This occurs, for example, if $X$ is a Riemannian manifold. The same is true for the map $\mathrm{\check{C}}(X;r)$ to $\mathrm{\check{C}}^\mathrm{m}(X;r)$ from the Čech complex to the Čech metric thickening, and more generally, for the natural bijection $\mathrm{V}(\mathcal W)\to \mathrm{V^m}(\mathcal W)$ from the Vietoris complex to the Vietoris metric thickening of any uniformly bounded cover $\mathcal W$ of a finite dimensional Polish metric space. We also show that if $X$ is a compact metrizable space, then $\mathrm{V^m}(\mathcal W)$ is strongly locally contractible.