https://arxiv.org/api/cx2VuRFP69AGfS7MQfo9ixLXdDw 2026-06-21T09:04:38Z 5914 555 15 http://arxiv.org/abs/2505.20490v1 2025-05-26T19:50:23Z

We show that an ideal $\mathcal{I}$ on $ω$ is meager if and only if the set of sequences $(x_n)$ taking values in a Polish space $X$ for which all elements of $X$ are $\mathcal{I}$-cluster points of $(x_n)$ is comeager. The latter condition is also known as $ν$-maldistribution, where $ν: \mathcal{P}(ω)\to \mathbb{R}$ is the $\{0,1\}$-valued submeasure defined by $ν(A)=1$ if and only if $A\notin \mathcal{I}$. It turns out that the meagerness of $\mathcal{I}$ is also equivalent to a technical condition given by Misik and Toth in [J. Math. Anal. Appl. 541 (2025), 128667]. Lastly, we show that the analogue of the first part holds replacing $ν$ with $\|\cdot\|_\varphi$, where $\varphi$ is a lower semicontinuous submeasure.

2025-05-26T19:50:23Z J. Math. Anal. Appl., to appear Paolo Leonetti http://arxiv.org/abs/2505.19780v1 2025-05-26T10:08:01Z

For a probability measure space $(X,\mathscr{A},μ)$, we define a pseudometric $δ$ on the ring $\mathcal{M}(X,\mathscr{A})$ of real-valued measurable functions on $X$ as $δ(f,g)=μ(X\setminus Z(f-g))$ and denote the topological space induced by $δ$ as $\mathcal{M}_δ$. We examine several topological properties, such as connectedness, compactness, Lindelöfness, separability and second countability of this pseudometric space. We realise that the space is connected if and only if $μ$ is a non-atomic measure and we explicitly describe the components in $\mathcal{M}_δ$, for any choice of measure. We also deduce that $\mathcal{M}_δ$ is zero-dimensional if and only if $μ$ is purely atomic. We define $μ$ to be bounded away from zero, if every non-zero measurable set has measure greater than some constant. We establish several conditions equivalent to $μ$ being bounded away from zero. For instance, $μ$ is bounded away from zero if and only if $\mathcal{M}_δ$ is a locally compact space. We conclude this article by describing the structure of compact sets and Lindelöf sets in $\mathcal{M}_δ$.

2025-05-26T10:08:01Z Amrita Dey http://arxiv.org/abs/2405.10809v4 2025-05-22T07:44:23Z

Starting from the geometric construction of the framed braid group, we define and study the framization of several Brauer-type monoids and also the set partition monoid, all of which appear in knot theory. We introduce the concept of deframization, which is a procedure to obtain a tied monoid from a given framed monoid. Furthermore, we show in detail how this procedure works on the monoids mentioned above. We also discuss the framization and deframization of some algebras, which are deformations, respectively, of the framized and deframized monoids discussed here.

2024-05-17T14:23:54Z Latex file, 41 pages, minor revision, final version, to appear in Algebras and Representation Theory Algebr. Represent. Theory 28 (2025), no. 6, 1469-1506 Francesca Aicardi Jesús Juyumaya Paolo Papi http://arxiv.org/abs/2501.08298v3 2025-05-21T13:46:31Z

The question whether there is a Lindelof Q-set space or Lindelof $Δ$-set space is considered. We show that J. Moore's ZFC $L$-space is not a Q-set space in ZFC and, assuming all Aronszajn trees are special, it is not a $Δ$-set space.

2025-01-14T18:29:01Z Pourya Memarpanahi Paul Szeptycki http://arxiv.org/abs/2505.13647v2 2025-05-21T10:01:54Z

For $a\in R$, let $P_a$ denote the intersection of all minimal prime ideals of $R$ containing $a$. An ideal $I$ of a ring $R$ is called a $z^{\circ}$-ideal if $P_a\subseteq I$ for all $a\in I$. In this paper, we first investigate the class of $z^{\circ}$-ideals in non-commutative rings. We provide characterizations of $z^{\circ}$-ideals in 2-by-2 generalized triangular matrix rings, full and upper triangular matrix rings, and semiprime rings. Next, we explore new properties of the lattice $rAnn(id(R))$, the set of right annihilator ideals of $R$. We prove that $rAnn(id(R))$ forms a frame when $R$ is semiprime and a coherent frame when $R$ is a reduced ring. Furthermore, we characterize the smallest (resp., largest) right annihilator ideal contained in an ideal $I$ of an $SA$-ring $R$.

2025-05-19T18:41:31Z A. Taherifar http://arxiv.org/abs/2502.10204v2 2025-05-19T22:30:26Z

We explore the occurrence of point configurations within non-meager (second category) Baire sets. A celebrated result of Steinhaus asserts that $A+B$ and $A-B$ contain an interval whenever $A$ and $B$ are sets of positive Lebesgue measure in $\mathbb{R}^n$ for $n\geq 1$. A topological analogue attributed to Piccard asserts that both $AB$ and $AB^{-1}$ contain an interval when $A,B$ are non-meager (second category) Baire sets in a topological group. We explore generalizations of Piccard's result to more complex point configurations and more abstract spaces. In the Euclidean setting, we show that if $A\subset \mathbb{R}^d$ is a non-meager Baire set and $F=\{x_n\}_{n\in\mathbb{N}}$ is a bounded sequence, then there is an interval of scalings $t$ for which $tF+z\subset A$ for some $z\in \mathbb{R}^d$. That is, the set $$Δ_F(A)=\{t\in\mathbb{R}: \exists z\text{ such that }tF+z\subset A\}$$ has nonempty interior. More generally, if $V$ is a topological vector space and $F=\{x_n\}_{n\in\mathbb{N}} \subset V$ is a bounded sequence, we show that if $A\subset V$ is non-meager and Baire, then $Δ_F(A)$ has nonempty interior. The notion of boundedness in this context is described below. Note that the sequence $F$ can be countably infinite, which distinguishes this result from its measure-theoretic analogue. In the context of the topological version of Erdős' similarity conjecture, we show that bounded countable sets are universal in non-meager Baire sets.

2025-02-14T14:58:29Z Alex McDonald Krystal Taylor http://arxiv.org/abs/2503.16626v2 2025-05-19T16:37:39Z

We introduce the concept of F-decomposable systems, well-ordered inverse systems of Hausdorff compacta with fully closed bonding mappings. A continuous mapping between Hausdorff compacta is called fully closed if the intersection of the images of any two closed disjoint subsets is finite. We give a characterization of such systems in terms of a property of the continuous functions on their limit. When, moreover, the fibers of neighboring bonding mappings are metrizable, we call the limit of such a system an F_d-compact, a particular case of a Fedorchuk compact. The stated property allows us to obtain a locally uniformly rotund renorming on the space C(K), where K is an F_d-compact of countable spectral height.

2025-03-20T18:31:57Z 13 pages Todor Manev http://arxiv.org/abs/2501.06898v2 2025-05-19T05:34:09Z

A topological space $X$ is Baire if the intersection of any sequence of open dense subsets of $X$ is dense in $X$. We establish that the property $(κ)$ for a Tychonoff space $X$ is equivalent to Baireness of $B_1(X)$ and, hence, the Banakh property for $C_p(X)$ is equivalent to meagerness of $B_1(X)$. Thus, we obtain one characteristic of the Banakh property for $C_p(X)$ through the property of space $X$.

2025-01-12T18:49:16Z 8 pages Alexander V. Osipov http://arxiv.org/abs/2505.09951v1 2025-05-15T04:10:50Z

This paper introduces a novel class of topological spaces, termed SC*-regular spaces, which are defined using SC*-open sets. We explore their fundamental properties and examine their connections with existing regularity concepts, such as regular, almost, softly, weakly, alpha, zeta, and generalized-regular spaces respectively. Furthermore, we examined and define, analyze generalized SC*-closed sets and SC*-generalized closed functions, establishing key properties and preservation theorems. Several characterizations of SC*-regular spaces are also presented, providing new insights into generalized regularity in topology.

2025-05-15T04:10:50Z Neeraj Kumar Tomar Amit Ujlayan M. C. Sharma http://arxiv.org/abs/2505.07196v1 2025-05-12T02:59:39Z

A non-trivial separable metric space $X$ is called an almost homology $n$-manifold if the homology groups $H_k(X,X\backslash\{x\},\mathbb Z)$ are trivial for all $x\in X$ and all $k=0,1,..,n-1$. We provide a necessary and sufficient condition locally compact homogeneous $ANR$-spaces or strongly locally homogeneous $ANR$-spaces to be almost homology $n$-manifolds.

2025-05-12T02:59:39Z 9 pages Vesko Valov http://arxiv.org/abs/1804.05199v2 2025-05-11T05:57:35Z

We give a simple description of the topology of free topological vector space $\mathbb{V}(X)$ and the topology of the free locally convex space $L(X)$ over a Tychonoff space $X$. The case when $X$ is a pseudocompact space is also considered.

2018-04-14T09:47:25Z Saak Gabriyelyan http://arxiv.org/abs/2505.06571v1 2025-05-10T08:57:51Z

The Hausdorff hyperspace of a metric space consists of all its non-empty bounded closed sets and it is equipped with the Pompeiu--Hausdorff set distance. We present a simpler novel proof that the Hausdorff hyperspace of a complete space is complete as well. The Main Lemma is crucial in this demonstration and though it uses an induction argument -- the only one in our completeness proof -- it is stated purely in terms of neighborhoods.

2025-05-10T08:57:51Z 5 pages Ján Komara http://arxiv.org/abs/2505.06562v1 2025-05-10T08:25:01Z

In this paper, we introduce and explore a new class of topological spaces termed as SC*-normal spaces, defined via SC*-open sets. The concept of SC*-normality is analyzed in relation to classical notions such as normal spaces and g-normal spaces. We further define and examine generalized forms of SC*-closed functions, including SC*-generalized closed mappings, and investigate their fundamental properties. Several characterizations of SC*-normal spaces are established, and various preservation theorems under different types of functions are also presented.

2025-05-10T08:25:01Z Neeraj Kumar Tomar Fahed Zulfeqarr M. C. Sharma http://arxiv.org/abs/2105.11133v3 2025-05-09T09:00:31Z

We prove the entropy conjecture of M. Barge from 1989: for every $r\in [0,\infty]$ there exists a pseudo-arc homeomorphism $h$, whose topological entropy is $r$. Until now all pseudo-arc homeomorphisms with known entropy have had entropy $0$ or $\infty$.

2021-05-24T07:27:16Z Revised version of the paper, following referee reports Jan P. Boroński Jernej Činč Piotr Oprocha http://arxiv.org/abs/2505.04817v1 2025-05-07T21:37:10Z

We introduce the continuous version of the (unstable) smashing spectrum functor. In the stable case, it assigns to each dualizably symmetric monoidal stable presentable $\infty$-category a stably compact space whose open subsets correspond to very Schwartz idempotents -- a certain class of idempotents we define. As an application, we prove Tannaka duality for spectral sheaves on stably compact spaces, including the case of compact Hausdorff spaces.

2025-05-07T21:37:10Z 34 pages Ko Aoki