Some new results on $Δ$-spaces

2025-10-05T15:13:20Z

A topological space $X$ is a $Δ$-space (or $X \in Δ$) if for any decreasing sequence $\{A_n : n < ω\}$ of subsets of $X$ with empty intersection there is a (decreasing) sequence $\{U_n : n < ω\}$ of open sets with empty intersection such that $A_n \subset U_n$ for all $n < ω$. In this note we prove the following results concerning $Δ$-spaces. 1) Every $T_3$ countably compact $Δ$-space is compact. 2) If there is a $T_1$ crowded Baire $Δ$-space then there is an inner model with a measurable cardinal. 3) If $X \in Δ$ and $cf \big(o(X) \big) > ω$ then $|X| < o(X)$. (Here $o(X)$ is the number of open subsets of $X$.) The first two of these provide full and/or partial solutions to problems raised in the literature, while the third improves a known result.

Invertibility in partially ordered nonassociative rings

2025-10-05T11:38:34Z

Invertibility is important in ring theory because it enables division and facilitates solving equations. Moreover, (nonassociative) rings can be endowed with an extra ''structure'' such as order and topology allowing more richness in the theory. The two main theorems of this article are contributions to invertibility in the context of partially ordered nonassociative rings \textit{and} Hausdorff sequentially Cauchy-complete weak-quasi-topological nonassociative rings. Specifically, the first theorem asserts that the interval $]0,1]$ in any suitable partially ordered nonassociative ring consists entirely of invertible elements. The second theorem asserts that if $f$ is a suitably generalized concept of seminorm from a nonassociative ring to a partially ordered nonassociative ring endowed with Frink's interval topology, then under certain conditions, the subset of elements such that $f(1-a) < 1$ consists entirely of invertible elements. Part of the assumption of the second theorem is that of Hausdorff sequential Cauchy-completeness of the first ring under the topology induced by the seminorm $f$ (which takes values in a partially ordered nonassociative ring endowed with Frink's interval topology). Frink's interval topology is an example of a coarse locally-convex $T_1$ topology. Moreover, to our knowledge, the topology induced by a seminorm into a partially ordered nonassociative ring has never been introduced. Some additional original facts, such as the fact that the topology on a nonassociative ring $R_1$ induced by a norm into a totally ordered associative division ring $R_2$ endowed with Frink's interval topology (or equivalently, with the order topology, since the order of $R_2$ is total) is a Hausdorff locally convex quasi-topological group with an additional separate continuity property of the product, are dealt with in the second section ''Preliminaries''.

A Survey on the Topology of Fractal Squares

2025-10-04T02:33:12Z

We consider a special type of self-similar sets, called fractal squares, and give a brief review on recent results and unsolved issues with an emphasis on their topological properties.

Asplund spaces $C_k(X)$ beyond Banach spaces

2025-10-02T10:28:38Z

This paper addresses the Asplund property for the space of continuous functions $C_k(X)$ equipped with the compact-open topology, when $X$ is an arbitrary Tychonoff space. Motivated by inconsistent definitions in prior literature extending the Asplund property beyond Banach spaces, we provide a unified and self-contained treatment of core results in this context. A characterization of the Asplund property for $C_k(X)$ is established, alongside a review of classical results, including the Namioka--Phelps theorem and its implications. All proofs are presented in a self-contained manner and rely on standard techniques.

Forbidden Four Cycle, Star Graphs and Isometric Embeddings

2025-10-02T04:47:24Z

We prove the necessary and sufficient conditions under which ultrametric spaces of arbitrary infinite cardinality admit isometric embeddings into ultrametric spaces generated by labeled star graphs.

Continuous approximate roots of polynomial equations via shape theory

2025-10-02T02:49:27Z

We study continuous approximate solutions to polynomial equations over the ring $C(X)$ of continuous complex-valued functions over a compact Hausdorff space $X$. We show that when $X$ is one-dimensional, the existence of such approximate solutions is governed by the behaviour of maps from the fundamental pro-group of $X$ into braid groups.

Applications of Borel-definable homological algebra to locally compact groups

2025-09-29T20:27:04Z

We show that the $\mathrm{Hom}$ functor from the category $\mathbf{LCPAb}$ of locally compact Polish abelian groups to the category $\mathbf{PAb}$ of Polish abelian groups has a total right derived functor, improving on Hoffmann and Spitzweck's construction of its cohomological right derived functor. We also apply the description of the left heart of subcategories of $\mathbf{PAb}$ in terms of groups with a Polish cover and Borel-definable group homomorphisms to completely characterize the injective and projective objects in the left heart of $\mathbf{LCPAb}$, as well as in the left heart of its full subcategories spanned by: compactly generated groups, Lie groups, totally disconnected groups, topological torsion groups, topological $p$-groups, locally compact groups of finite ranks, topological torsion groups of finite ranks, topological $p$-groups of finite ranks, and type $\mathbb{A}$ groups.

Lipschitz-Free Spaces: A Topometric Approach and Group Actions

2025-09-29T11:51:24Z

We introduce a topometric version of Lipschitz-free spaces and study its universal property. Another aim of this paper is to investigate actions of topological groups $G$ on Lipschitz-free spaces $\mathcal{F}(M)$, induced by isometric actions on pointed metric spaces $M$. In particular, we study the associated dynamical $G$-systems under the weak-star topology, focusing on the dual action on $\mathrm{Lip}_0(M) = \mathcal{F}(M)^*$ and the bidual $\mathcal{F}(M)^{**}$.

Left K-Cauchy regular maps between quasi-metric spaces

2025-09-29T11:24:38Z

This article presents a systematic study of a class of maps between quasi-metric spaces that preserve left K-Cauchy sequences. We call such maps left K-Cauchy regular maps. Several characterizations of these maps have been given in terms of the structural properties of the underlying quasi-metric spaces. In particular, we characterize left K-Cauchy regular maps in terms of hereditarily precompact sets by using a suitable version of the classical Efremovic Lemma in the setting of quasi-metric spaces. In addition, we examine the relationship of left K-Cauchy regular maps with (forward) uniformly continuous and continuous maps and prove extension theorems for such maps.

Quasi Divisor Topology of Modules over Domains

2025-09-28T08:44:08Z

Let $E$ be a module over a domain $A$, and $W(E)^{\#}=W(E)-ann(E)$ where $W(E)=\{a\in A:aE\neq E\}$. We define an equivalence relation $\sim$ on $W(E)^{\#}$ as follows: $a\sim b$ if and only if $aE=bE$ for any $a,b\in W(E)^{\#}$ and denote $EC(W(E)^{\#})$ to be the set of all equivalence classes $[a]$ of $W(E)^{\#}$. We first show that the family $\{U_a\}_{a\in W(E)^\#}$ generates a topology which we called the quasi divisor topology of $A$-module $E$ denoted by $qD_A(E)$ where $U_{a}=\{[b]\in EC(W(E)^{\#}):\ aE\subseteq bE\}$ for every $a\in W(E)^{\#}$. This paper examines the connections between topological properties of the quasi divisor topology $qD_{A}(E)$ and algebraic properties of $A$-module $E$. These include each separation axioms, compactness, connectedness and first and second countability. Also, we characterize some important class of rings/modules such as divisible modules and uniserial modules by means of $qD_{A}(E)$. Furthermore, we introduce quasi second modules and study its algebraic properties to decide when $qD_A(E)$ is a $T_1$-space.

A note on the structural stability of almost one-to-one maps

2025-09-27T00:13:24Z

A continuous surjection $π:X\to Y$ between compact Hausdorff spaces induces continuous surjections $\mathcal{M}(π)\colon \mathcal{M}(X)\to\mathcal{M}(Y)$ and $\mathcal{H}(π): \mathcal{H}(X)\to\mathcal{H}(Y)$ between the spaces of regular Borel probability measures, and the spaces of closed subsets, respetively. It is well known that $\mathcal{H}(π)$ is irreducible if and only if $π$ is irreducible. We show that $\mathcal{M}(π)$ is irreducible if and only if $π$ is irreducible. Furthermore, we show that whenever $π$ is almost one-to-one then $\mathcal{M}(π)$ and $\mathcal{H}(π)$ are almost one-to-one. In particular, we observe that continuous surjections between compact metric spaces are almost one-to-one if and only if $\mathcal{H}(π)$ is almost one-to-one and a similar statement about $\mathcal{M}(π)$. Finally, we give alternative proofs for some results in 'Characterizations of open and semi-open maps of compact Hausdorff spaces by induced maps' by Xiongping Dai and Yuxuan Xie regarding semi-open maps.

Strictly zero-dimensional biframes and Raney extensions

2025-09-25T07:08:17Z

Raney extensions and strictly zero-dimensional biframes both faithfully extend the dual of the category of $T_0$ spaces. We use tools from pointfree topology to look at the connection between the two. Raney extensions may be equivalently described as pairs $(L,\mathcal{F})$ where $L$ is a frame and $\mathcal{F}\subseteq \mathcal{S}_{o}(L)$ a subcolocale containing all open sublocales. Here, $\mathcal{S}_o(L)$ is the collection of all intersections of open sublocales of $L$. Similarly, a strictly zero-dimensional biframe is a pair $(L,\mathcal{D})$ where $\mathcal{D}\subseteq \mathcal{S}(L)$ is a codense subcolocale. We show that there is an adjunction between certain subcolocales of $\mathcal{S}_o(L)$ and codense subcolocales of $\mathcal{S}(L)$. We show that the adjunction maximally restricts to an order-isomorphism between the subcolocales of $\mathcal{S}_o(L)$ where the joins of open sublocales distribute over binary meets, which we call the proper subcolocales, and what we call the essential codense subcolocales. As an application of our main result, we establish a bijection between proper Raney extensions and the strictly zero-dimensional biframes $(L_1,L_2,L)$ such that $L$ is an essential extension of $L_2$ in the category of frames. We show that this correspondence cannot be made functorial in the obvious way, as a frame morphism $f:L\to M$ may lift to a map $f:(L,\mathcal{F})\to (L,\mathcal{G})$ of Raney extensions without lifting to a map between the associated strictly zero-dimensional biframes.

Continuous colorings on compact spaces

2025-09-23T05:55:13Z

We study several natural classes of graphs on a zero-dimensional metrizable compact space having no continuous coloring. We compare these graphs with the quasi-order associated with injective continuous homomorphisms. We prove the existence of an antichain basis for these classes. We determine the size of such an antichain basis. We provide a concrete antichain basis when there is a countable one. We also provide some related quasi-orders and equivalence relations which are analytic complete as sets.

The Su-Schrieffer-Heeger model on a one-dimensional lattice: Analytical wave functions of topological edge states

2025-09-20T14:39:51Z

The one-dimensional Su-Schrieffer-Heeger (SSH) model is a prototype model in the field of topological condensed matter physics, and the existence and characteristics of its topological edge states are crucial for revealing the topological essence of low-dimensional systems. This paper focuses on the analytical wave functions of topological edge states in the SSH model, systematically sorting out the fundamentals of model construction. Based on the tight-binding approximation, it derives the matrix form of the SSH model Hamiltonian and the band structureand clarifies the role of chiral symmetry in the classification of topological phases. By solving the Schrodinger equation of the finite-length lattice, the mathematical expression of the analytical wave function of topological edge states is fully derived, verifying its localized feature of exponential decay. Moreover, it quantitatively analyzes the influence laws of lattice parameters (hopping integrals, lattice constants), electron-electron interactions, and external field perturbations on the wave function amplitude, decay coefficient, and energy. Furthermore, it establishes the quantitative correlation between the analytical wave function and electronic transport (conductivity) as well as optical properties (light absorption coefficient), and discusses its application prospects in the design of topological qubits and the development of new topological materials. The research results provide theoretical support for an in-depth understanding of the physical essence of low-dimensional topological states and lay a foundation for the performance optimization of topology-related devices.

No covering with nowhere dense \textsf{P}-sets in the Cohen model

2025-09-17T07:22:39Z

We prove that if less than $\aleph_ω$-many Cohen reals are added to a model of \textsf{CH}, then $ω^{\ast}$ can not be covered by nowhere dense \textsf{P}-sets (equivalently, there is an ultrafilter on $ω$ that does not contain a tower).