https://arxiv.org/api/EPJ0LCtxS2RFNiv1YFdV3WVZsIk 2026-03-26T14:28:09Z 5817 210 15 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/2511.12327v1 2025-11-15T19:07:50Z

We consider sets of reals $X$ endowed with the Sorgenfrey lower limit topology denoted $X[\leq]$. Przymusiński proved that if $X$ is a $Q$-set then $(X[\leq])^2$ is normal. While the converse is not in general true we consider examples of sets of the reals for which $(X[\leq])^2$ is normal or just pseudo-normal. For example, if $X$ is a $λ$ set, then $(X[\leq])^2$ is pseudo-normal but assuming CH there is an $X$ concentrated on a countable dense subset (so not a $λ$-set) but still $(X[\leq])^2$ is normal.

2025-11-15T19:07:50Z Paul Szeptycki Hongwei Wen 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/2511.09320v1 2025-11-12T13:29:25Z

A set of reals $X$ is $\mathfrak{b}$-concentrated if it has cardinality at least $\mathfrak{b}$ and it contains a countable set $D\subseteq X$ such that each closed subset of $X$ disjoint with $D$ has size smaller than $\mathfrak{b}$. We present ZFC results about structures of $\mathfrak{b}$-concentrated sets with the Hurewicz covering property using semifilters. Then we show that assuming that the semifilter trichotomy holds, then each $\mathfrak{b}$-concentrated set is Hurewicz and even productively Hurewicz. We also show that the appearance of Hurewicz $\mathfrak{b}$-concentrated sets under the semifilter trichotomy is somewhat specific and the situation in the Laver model for the consitency of the Borel Conjecture is different.

2025-11-12T13:29:25Z 20 p Valentin Haberl Piotr Szewczak Lyubomyr Zdomskyy 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