https://arxiv.org/api/kJ4FlSN6gwh7561e5bREfVrC5fY 2026-06-18T15:33:16Z 5913 330 15 http://arxiv.org/abs/2511.16503v1 2025-11-20T16:20:20Z

The concept of a quasi-metric space arises by relaxing the requirement of the symmetry axiom in the definition of a metric. This small variation alters several structural properties possessed by a standard metric space. This article aims to investigate the notion of UC quasi-metric spaces in a systematic manner. A quasi-metric space (X, d) is called a UC space if every real-valued continuous function on (X, d) is uniformly continuous. In the context of metric spaces, UC spaces help in bridging the gap between compactness and completeness. These spaces also play an important role in the theory of hyperspaces of closed sets and fixed point theory. In this article, we present several characterizations of UC quasi-metric spaces and provide various examples of such spaces. At several instances, our proof techniques highlight key differences between UC quasi-metric spaces and their metric counterparts.

2025-11-20T16:20:20Z 20 pages Om Dev Singh Anubha Jindal http://arxiv.org/abs/2511.16188v1 2025-11-20T09:52:50Z

We provide a comprehensive development of the basics of descriptive set theory for non-separable complete metric spaces whose weight is a singular cardinal $λ$ of countable confinality. Somewhat unexpectedly, the resulting theory is remarkably similar to the classical one, although the methods used are necessarily fairly different and combine ideas and results from general topology, infinite combinatorics, and set theory. More in detail, we study $λ$-Polish spaces and standard $λ$-Borel spaces (characterization of the generalized Cantor and Baire spaces, analogues of the Cantor-Bendixson theorem, classification up to $λ$-Borel isomorphism, etc.), their $λ$-Borel hierarchy (structural properties, changes of topologies, and so on), $λ$-analytic sets (including generalizations of the Lusin separation theorem and of the Souslin theorem), $λ$-coanalytic sets (including $λ$-$\boldsymbolΠ^1_1$-ranks and alike), and $λ$-projective sets. We also consider more advanced topics, and provide e.g. various uniformization results for $λ$-Borel set; these in turn lead to fundamental applications to the study of $λ$-Borel equivalence relations, such as a generalization of the celebrated Feldman-Moore theorem. Finally, we study a natural generalization of the classical Perfect Set Property, and develop tools to show that all definable sets enjoy such property under suitable large cardinal assumptions, most notably including Woodin's $\mathsf{I0}(λ)$.

2025-11-20T09:52:50Z Vincenzo Dimonte Luca Motto Ros http://arxiv.org/abs/2511.15436v1 2025-11-19T13:45:53Z

Let $\mathcal{M}(X,\mathcal{A},μ)$ be the ring of all real-valued measurable functions constructed over a measure space $(X,\mathcal{A},μ)$. A topology on $\mathcal{M}(X,\mathcal{A},μ)$, called the {$F_μ$-topology} weaker than the { $U_μ$-topology} is introduced. It is realized that the {component}, the {quasi component} and the {path component }in this {$F_μ$-topology} are identical. It turns out that the {$F_μ$-topology} on $\mathcal{M}(X,\mathcal{A},μ)$ becomes {connected} if and only if it is {path connected} if and only if $μ$ is an {atomic measure} of a special type. It is also proved that the {$F_μ$-topology} is {first countable} when and only when $μ$ is a {hemifinite measure.} Finally, it is shown that the {second countability} of the {$F_μ$-topology} is equivalent to the {hemifiniteness} of the measure $μ$ together with the {countable chain condition} of the {$F_μ$-topology}.

2025-11-19T13:45:53Z Soumajit Dey Sudip Kumar Acharyya Dhananjoy Mandal http://arxiv.org/abs/2504.18947v2 2025-11-19T08:02:50Z

We intend to study the uniqueness of the Hahn-Banach extensions of linear functionals on a subspace in locally convex spaces. Various characterizations are derived when a subspace $Y$ has an analogous version of property-U (introduced by Phelps) in a locally convex space, referred to as the property-SNP. We characterize spaces where every subspace has this property. It is demonstrated that a subspace $M$ of a Banach space $E$ has property-U if and only if the subspace $M$ of the locally convex space $E$ endowed with the weak topology has the property-SNP, mentioned above. This investigation circles around exploring the potential connections between the family of seminorms and the unique extension of functionals previously mentioned. We extensively studied this property on the spaces of continuous functions on Tychonoff spaces endowed with the topology of pointwise convergence.

2025-04-26T15:12:24Z Proposition 2.5, 2.6 are newly added Sainik Karak Akshay Kumar Tanmoy Paul http://arxiv.org/abs/2511.14892v1 2025-11-18T20:27:06Z

We prove some facts about locales $L$ equipped with the Scott topology $Ω(L)$, in particular studying a canonical frame homomorphism $φ:Ω(L)\to L$ which is motivated by an application to cognitive science. Such a topological locale $L$ is called a Scott locale if the inclusion of primes $p:Σ(L)\to L$ is continuous. We prove that the spectrum $Σ(L)$ of a Scott locale $L$ is necessarily $T_1$, and that preregular locales (a generalization of regular locales) are Scott locales. If $L$ is the topology of a topological space $X$ we find a (necessarily unique) continuous map $f:X\to L$ such that $f^{-1}=φ$ and compare it with the points-to-primes map $p:X\to L$, showing that $f=p$ if and only if $X$ is preregular, and that a sober space $X$ is Hausdorff if and only if $X$ is $T_1$ and $f(X)\subseteqΣ(L)$.

2025-11-18T20:27:06Z 7 pages Appl. Categ. Structures 34 (2026), no. 1 Pedro Resende João Paulo Santos 10.1007/s10485-025-09839-7 http://arxiv.org/abs/2511.14474v1 2025-11-18T13:13:57Z

We introduce a notion of the Fejér property for topological étale groupoids. As a consequence, we show that when $\mathcal{G}$ is a principal étale second countable groupoid satisfying the Fejér property, every closed $C_0(\mathcal{G}^0)$-bimodule $M\subset C_r^*(\mathcal{G})$ is of the form $\overline{C_c(U)}^r$ for some open set $U$. Moreover, we get a Galois correspondence in the sense that every intermediate $C^*$-algebra $\mathcal{B}$ with $C_0(\mathcal{G}^0)\subseteq \mathcal{B}\subseteq C_r^*(\mathcal{G})$ is of the form $C_r^*(\mathcal{H})$ for some open subgroupoid $\mathcal{H}\leq \mathcal{G}$.

2025-11-18T13:13:57Z 15 pages; comments are welcome Anshu Tattwamasi Amrutam Pradyut Karmakar http://arxiv.org/abs/2511.13850v1 2025-11-17T19:07:12Z

We show that there are locally compact spaces that can be condensed onto separable spaces but not onto compact separable spaces. We also show that for every cardinal $κ$ there is a locally compact topological group of cardinality $2^κ$ that can be condensed onto a compact space but not onto a compact topological group. These answer some questions of Arhangel'skii and Buzyakova.

2025-11-17T19:07:12Z 7 pages István Juhász Jan van Mill Lajos Soukup http://arxiv.org/abs/2503.10803v2 2025-11-17T09:12:16Z

Let $X$ be a (topological) space and $Cl(X)$ the collection of nonempty closed subsets of $X$. Given a topology on $Cl(X)$, making $Cl(X)$ a space, a (subset) hyperspace of $X$ is a subspace $\mathcal{J}\subset Cl(X)$ with an embedding $X\hookrightarrow\mathcal{J}$, $x\mapsto\{x\}$. In this note, we characterize certain hyperspaces $\mathcal{J}\subset Cl(X)$ as explicit quotient spaces of function spaces $\mathcal{F}\subset X^Y$ and discuss metrization of associated compact-subset hyperspaces in this setting. In particular, we find that any hyperspace topology containing the Vietoris topology is a quotient of a function space topology containing the topology of pointwise convergence.

2025-03-13T18:52:43Z Accepted by Houston Journal of Mathematics Earnest Akofor http://arxiv.org/abs/2501.17418v4 2025-11-15T19:31:02Z

Characterizations of ultrafilters belong to the smallest ideal of Stone-Čech compactification of a discrete semigroup are exhibited using syndetic sets, strongly central sets and very strongly central sets respectively. These lead to represent piecewise syndetic sets of a semigroup in terms of the sets that contain a broken $\mathcal{A}$ set, where $\mathcal{A}\in\{$ syndetic, quasi-central, central, strongly central, very strongly central$\}$. Also, a characterization of broken IP$^{n}$ sets using ultrafilters, and the equivalence between the sets that contain a broken IP set and sets that contain a broken IP$^{n}$ are established, $n\in \mathbb{N}$. Without assuming the countability of a semigroup, it is shown that piecewise syndetic sets i.e., sets that contain a broken syndetic set (broken IP set) force uniform recurrence (recurrence respectively) and vice versa. In addition, all the said results are established near idempotent of a semitopological semigroup.

2025-01-29T05:10:11Z For modification Ujjal Kumar Hom Manoranjan Singha http://arxiv.org/abs/1907.09687v5 2025-11-13T15:12:46Z

In this paper, we generalize Dranishnikov's asymptotic inductive dimension to the setting of coarse proximity spaces. We show that in this more general context, the asymptotic inductive dimension of a coarse proximity space is bigger or equal to the inductive dimension of its boundary, and consequently may be strictly bigger than the covering dimension of the boundary. We also give a condition, called complete traceability, on the boundary of the coarse proximity space under which the asymptotic inductive dimension of a coarse proximity space and the inductive dimension of its boundary coincide. Finally, we show that spaces whose boundaries are $Z$-sets and spaces admitting metrizable compactifications have completely traceable boundaries.

2019-07-23T04:07:44Z 18 pages Bulletin Polish Acad. Sci. Math. 73 (2025), 81-98 Pawel Grzegrzolka Jeremy Siegert 10.4064/ba250611-23-10 http://arxiv.org/abs/2511.10252v1 2025-11-13T12:38:03Z

A topological space is totally paracompact if any base of this space contains a locally finite subcover. We focus on a problem of Curtis whether in the class of regular Lindelöf spaces total paracompactness is equivalent to the Menger covering property. To this end we consider topological spaces with certain dense subsets. It follows from our results that the above equivalence holds in the class of Lindelöf GO-spaces defined on subsets of reals. We also provide a game-theoretical proof that any regular Menger space is totally paracompact and show that in the class of first-countable spaces the Menger game and a partial open neighborhood assignment game of Aurichi are equivalent. We also show that if $\mathfrak{b}=ω_1$, then there is an uncountable subspace of the Sorgenfrey line whose all finite powers are Lindelöf, which is a strengthening of a famous result due to Michael.

2025-11-13T12:38:03Z 16 p Davide Giacopello Maddalena Bonanzinga Piotr Szewczak http://arxiv.org/abs/2410.00901v2 2025-11-12T14:26:04Z

We demonstrate that the proper homotopy equivalence relation for locally finite graphs is Borel complete. Furthermore, among the infinite graphs, there is a comeager equivalence class. As corollaries, we obtain the analogous results for the homeomorphism relation of noncompact surfaces with pants decompositions.

2024-10-01T17:45:42Z Added an appendix proving that the association of the endspace pair to a graph is Borel. 17 pages, 10 figures Hannah Hoganson Jenna Zomback http://arxiv.org/abs/2507.17936v3 2025-11-10T20:20:50Z

We discuss a natural topology on powers of a space that is inspired by the Vietoris topology on compact subsets. We then place this topology in context with other product topologies; specifically, we compare this topology with the Tychonoff product, the box product, and Bell's uniform box topology. We identify a variety of topological properties for the specific case when the ground space is discrete. When the ground space is the Euclidean real line, we show that the resulting power is not Lindelöf, and hence, not Menger. This shows that, unlike the the Vietoris topology on unordered compact subsets, covering properties of the ground space need not transfer to the Vietoris power.

2025-07-23T21:11:14Z Update to accepted version for publication Christopher Caruvana Jared Holshouser 10.4995/agt.24455 http://arxiv.org/abs/2511.06828v1 2025-11-10T08:18:09Z

This note gives a new elementary proof of Poincaré-Miranda theorem based on Sard's theorem and the simple classification of one-dimensional manifolds.

2025-11-10T08:18:09Z Xiao-Song Yang http://arxiv.org/abs/2511.06821v1 2025-11-10T08:09:56Z

In this paper we present a mathematical framework on linking of embeddings of compact topological spaces into Euclidean spaces and separability of linked embeddings under a specific class of dimension reduction maps. As applications of the established theory, we provide some fascinating insights into classification and approximation problems in deep learning theory in the setting of deep neural networks.

2025-11-10T08:09:56Z Xiao-Song Yang