https://arxiv.org/api/8aQMnxldVaJ0wV1+dehR0VYGdK0 2026-06-13T16:42:26Z 5910 75 15 http://arxiv.org/abs/2603.20478v3 2026-04-30T19:14:44Z

We consider capacity (fuzzy measure, non-additive probability) on a compactum as a monotone cooperative normed game. We introduce topological analogues of well known class of exact games and show that these classes form subfunctors of the capacity functor which lie between known subfunctors of convex capacities and balanced capacities. It is natural to consider probability measures as elements of core of such games. We describe exact capacities as envelopes of the convex closed sets of probability measures. Using such representation we prove openness of the functor of exact capacities. We also consider strongly exact capacities and pose the problem of coincidence of these two classes.

2026-03-20T20:11:14Z Taras Radul http://arxiv.org/abs/2604.28092v1 2026-04-30T16:36:26Z

In 1967 Hajnal and Juh{á}sz showed that the cardinality of a first-countable Hausdorff space with the countable chain condition has cardinality at most $\mathfrak{c}$, the cardinality of the real line. We give an improvement of this celebrated theorem by replacing ``first-countable" with the weaker condition ``each point has a countable centered local $π$-base". Given a point $p$ in a topological space $X$, a \emph{local} $π$-\emph{base} $\scr{B}$ at $p$ acts like a neighborhood base at $p$ except that $p$ may not be in any member of $\scr{B}$. A local $π$-base $\scr{B}$ has the \emph{finite intersection property} if any finite intersection of members of $\scr{B}$ is nonempty. We call this type of local $π$-base \emph{centered}. A centered local $π$-base behaves even more like a neighborhood base in a sense. A space has the \emph{countable chain condition} if every family of pairwise disjoint open sets is countable. We also improve a theorem of Pospi{\v s}il from 1937 using centered local $π$-bases. As is customary, examples are given to demonstrate these improvements are strict. Compact Hausdorff spaces are also explored in this connection, along with variations on the notion of a centered local $π$-base.

2026-04-30T16:36:26Z 10 pages Nathan Carlson http://arxiv.org/abs/2510.19744v2 2026-04-30T12:46:39Z

For an ideal $\mathcal{I}$ in a $σ$-complete Boolean algebra $\mathcal{A}$, we show that if the Boolean algebra $\mathcal{A}\langle\mathcal{I}\rangle$ generated by $\mathcal{I}$ does not have the Nikodym property, then it does not have the Grothendieck property either. The converse however does not hold -- we construct a family of $\mathfrak{c}$ many pairwise non-isomorphic Boolean subalgebras of the power set $\wp(ω)$ of the form $\wp(ω)\langle\mathcal{I}\rangle$ which, when thought of as subsets of the Cantor space $2^ω$, belong to the Borel class $\mathbb{F}_{σδ}$ and have the Nikodym property but not the Grothendieck property, and a family of $2^\mathfrak{c}$ many pairwise non-isomorphic non-analytic Boolean algebras of the form $\wp(ω)\langle\mathcal{I}\rangle$ with the Nikodym property but without the Grothendieck property. Extending a result of Hernández-Hernández and Hrušák, we show that for an analytic P-ideal $\mathcal{I}$ on $ω$ the following are equivalent: 1) $\mathcal{I}$ is totally bounded, 2) $\mathcal{I}$ has the Local-to-Global Boundedness Property for submeasures, 3) $\wp(ω)/\mathcal{I}$ contains a countable splitting family, 4) $\mbox{conv}\le_K\mathcal{I}$. Moreover, proving a conjecture of Drewnowski, Florencio, and Paúl, we present examples of analytic P-ideals on $ω$ with the Nikodym property but without the Local-to-Global Boundedness Property for submeasures (and so not totally bounded). Exploiting a construction of Alon, Drewnowski, and Łuczak, we also describe a family of $\mathfrak{c}$ many pairwise non-isomorphic ideals on $ω$, induced by sequences of Kneser hypergraphs, which all have the Nikodym property but not the Nested Partition Property -- this answers a question of Stuart. Finally, Tukey reducibility of a class of ideals without the Nikodym property is studied.

2025-10-22T16:31:33Z Improved version, 50 pages. For the full abstract, see the PDF file Damian Sobota Tomasz Żuchowski http://arxiv.org/abs/2604.27588v1 2026-04-30T08:41:00Z

We prove that the category of quasi-pseudometric modular spaces whose morphisms are the nonexpansive mappings is isomorphic to a quantale enriched category. To achieve this, we construct an appropriate quantale of isotone functions. We also show that, by means of this isomorphism, the topology associated with a quasi-pseudometric modular coincides with that generated by its corresponding quantale enriched category. Furthermore, we demonstrate that the class of quasi-pseudometrizable topological spaces coincides with the topological spaces whose topology is induced by a quasi-pseudometric modular.

2026-04-30T08:41:00Z 20 pages Filomat 39, no. 19 (2025) 6693-6710 César López-Pastor Tatiana Pedraza Jesús Rodríguez-López 10.2298/FIL2519693L http://arxiv.org/abs/2504.02276v3 2026-04-29T22:09:25Z

Any function from a round $n$-dimensional sphere of radius $r$ into $n$-dimensional Euclidean space must distort the metric additively by at least $\displaystyle \frac{πr}{1 + \sqrt{1 - \frac{2}{n+2}}}$ if $n$ is even and $\displaystyle \frac{πr}{1 + \sqrt{1 - \frac{2(n+2)}{(n+1)(n+3)}}}$ if $n$ is odd. This is proved using a fixed-point theorem of Granas that generalizes the classical theorem of Borsuk-Ulam to set-valued functions.

2025-04-03T04:50:47Z 10 pages; expanded Section 3 to add the details of the proof of Corollary 3.3; corrected "circumcenter'' and "circumradius'' to "Chebyshev center'' and "Chebyshev radius,'' respectively; many other minor corrections and edits James Dibble http://arxiv.org/abs/2604.25836v1 2026-04-28T16:43:04Z

Metric-preserving functions (here, metric aggregation functions) offer a natural method for constructing metrics on Cartesian products of metric spaces or for aggregating multiple metrics defined on a common set. Strongly metric-preserving functions represent a more specialized subset of these functions, ensuring that the new metric aligns with the product topology, in the Cartesian product case. However, these strong functions have not been previously explored for quasi-pseudometrics. Furthermore, in the case where all metrics are defined on the same set, the problem has not been addressed previously. In this paper, we investigate the class of strongly (quasi-)(pseudo)metric aggregation functions, extending the classical concept. We begin by examining the case where the aggregation function produces (quasi-)(pseudo)metrics on Cartesian products, characterizing these functions through continuity at zero and a minimal zero preimage condition. In addition, we will examine the scenario where the aggregation function produces a (quasi-)(pseudo)metric defined on a fixed set. Within this context, we will demonstrate that the appropriate topology to consider is the supremum topology. We will also provide both necessary and sufficient conditions for an (quasi-)(pseudo)metric aggregation function on sets to qualify as a strongly one, thereby addressing a gap in the existing literature.

2026-04-28T16:43:04Z 19 pages, submitted to Turkish Journal of Mathematics Alejandro Fructuoso-Bonet Jesús Rodríguez-López http://arxiv.org/abs/2604.24569v1 2026-04-27T15:00:32Z

We introduce the Limiter, a universal extension of the real numbers and of the limit functional that assigns a canonical limit in an enlarged space to every real sequence. Motivated by generalized summation methods such as Borel summation and Ramanujan's assignments to divergent series, we require our extension to respect classical limits and assign limits in a way that depends only on the cluster points of a sequence and varies continuously when the cluster set is slightly modified.

2026-04-27T15:00:32Z 6 pages Steven Lapp Marina Tvalavadze http://arxiv.org/abs/2604.24142v1 2026-04-27T07:52:37Z

In this study, Devaney's chaos conditions are revisited within the framework of descriptive proximity. The concepts of descriptive transitivity, the density of descriptive periodic objects, and descriptive sensitivity are defined. The most notable finding of the study is that Banks Theorem, which establishes the hierarchy among these conditions in classical topology, does not generally hold in the descriptive perspective, and some of the concepts above remain invariant under topological conjugacy certain conditions.

2026-04-27T07:52:37Z 15 pages, 6 figures , 2 tables Fatih Ucan Tane Vergili http://arxiv.org/abs/2604.23671v1 2026-04-26T12:13:06Z

Game-theoretic characterizations of selection principles provide a powerful framework for analyzing covering properties through strategic interactions. For a Tychonoff space $X$ and a non-trivial metrizable arc-connected topological group $G$, we prove that Player~II has a winning strategy in the $Ω$-Menger game on $X$ if and only if Player~II has a winning strategy in the countable fan tightness game on $C_p(X, G)$ at the identity function. The analogous equivalence is established between the $Ω$-Rothberger game on $X$ and the countable strong fan tightness game on $C_p(X, G)$ at the identity function. These results extend the game-theoretic characterizations of Clontz from $G = \mathbb{R}$ to arbitrary metrizable arc-connected groups, and lift the selection-principle equivalences of Kočinac to the game-theoretic setting. As consequences, we establish that the game-theoretic tightness properties of $C_p(X,G)$ are independent of $G$, preserved under $G$-equivalence, and remain valid for Markov strategies.

2026-04-26T12:13:06Z 11 pages. Comments are welcome Souvik Mandal Ankur Sarkar http://arxiv.org/abs/2604.23326v1 2026-04-25T14:30:10Z

This paper investigates the interplay between algebraic structure, topology, and differentiability in Clifford semigroups. The study is developed along three main themes. First, in the compact Hausdorff setting, we provide an explicit construction of a compatible metric for the Bowman topology. Second, we address Hilbert-fifth-type questions by establishing criteria under which the maximal subgroups are forced to be Lie groups. Finally, we prove a structural rigidity theorem: $C^1$-regularity at the idempotents implies that the idempotent semilattice is discrete.

2026-04-25T14:30:10Z Stefano Bonzio Andrea Loi Giuseppe Zecchini http://arxiv.org/abs/2604.23201v1 2026-04-25T08:19:37Z

In the present paper, we examine in detail the method of "graph compactifications" of topological groups. The graph and Ellis methods of constructing proper compactifications of topological groups are applied for the investigation of possible extensions of algebraic operations on a topological group to its compactifications, and give descriptions of Roelcke, Ellis, WAP, and graph compactifications of topological groups. Additionally, using dichotomy theorems of A.V.Arhangelskii, we show that the description of compactifications can be effectively used in the investigation of topological properties of their remainders. As examples, subgroups of the permutation group (in the permutation topology) and the automorphism group of a LOTS (in the topology of pointwise convergence) are examined.

2026-04-25T08:19:37Z K. L. Kozlov A. G. Leiderman http://arxiv.org/abs/2508.14290v2 2026-04-24T21:50:25Z

An algebraic framework in which to study infinite sums is proposed, complementing and augmenting the usual topological tools. The framework subsumes numerous examples in the literature. It is developed using many varied examples, with a particular emphasis on infinitizing the usual group and ring axioms. Comparing these examples reveals that a few key algebraic properties play a crucial role in the behaviors of different forms of infinite summation. Special attention is given to associativity, which is particularly difficult to properly infinitize. In that context, there is an important technique called the Eilenberg-Mazur swindle that is studied and greatly generalized. Some special properties are singled out as potential axioms. Interactions between these potential axioms are analyzed, and numerous results explore how to impose new axioms while retaining old ones. In some cases the axioms classify or categorize a given example. Surprisingly, such axiomatizations are very concise, relying on only a handful of natural conditions. These investigations reveal more precisely the part that topology plays in the formation of infinite sums. Special attention is given to the methods of partial summation and unconditional summation. In the opposite direction, it is proved that from the infinite sums alone one can create a refined topology, lying between the original topology and its sequential coreflection. Another especially interesting application of these ideas is the construction of new algebraic quotient structures that retain the ability to handle infinite summation.

2025-08-19T22:13:39Z 47 pages, comments welcome Pace P. Nielsen http://arxiv.org/abs/2512.17314v3 2026-04-24T14:55:45Z

We study the topology of circularly ordered sets. While the algebraic notion is classical, the general topological theory has received comparatively little attention. In this work we provide a self-contained topological exposition and present several new directions and results. Our aim is to initiate a systematic study of generalized circularly ordered topological spaces and of continuous group actions on them. Provide a convex uniform structure description of circularly ordered compactifications. This yields a topological analysis of Novak's regular completion and its uniformity. Demonstrate that this uniform-structure approach yields several new results in the theory of $G$-compactifications for topological group actions on abstract ordered spaces. Reexamine functions of bounded variation on circularly ordered sets and prove generalizations of Helly's selection theorem (for circular and linear orders). These developments and the systematic analysis of circular order topologies are motivated by recent applications in topological dynamics, particularly in joint works with Eli Glasner, which demonstrate that circularly ordered dynamical systems provide a natural class of tame dynamics.

2025-12-19T07:57:24Z 50 pages Michael Megrelishvili http://arxiv.org/abs/2604.21868v1 2026-04-23T17:06:35Z

This paper studies one-dimensional non-Hausdorff manifolds that are similar to "graphs with split vertices". It is shown that if $M$ is a connected one-dimensional non-Hausdorff manifold such that the set of its "non-Hausdorff" points is locally finite, and each component of its complement has a countable base, then there exists a quotient map $π\colon M \to Γ$ onto an open one-dimensional CW complex, which maps the non-Hausdorff points of $M$ to the vertices of $Γ$. Moreover, $Γ$ is the minimal Hausdorff quotient of $M$, that is, for every continuous map $f\colon M \to N$ into a Hausdorff space $N$, there exists a unique continuous map $\hat{f}\colon Γ\to N$ such that $f = \hat{f} \circ π$.

2026-04-23T17:06:35Z 19 pages, 3 figures Igor Vlasenko Sergiy Maksymenko http://arxiv.org/abs/2604.21171v1 2026-04-23T00:35:01Z

This article presents a novel mathematical formalism for advanced manifold--metric pairs, enhancing the frameworks of geometry and topology. We construct various D-dimensional manifolds and their associated metric spaces using functional methods, with a focus on integrating concepts from mathematical physics, field theory, topology, algebra, probability, and statistics. Our methodology employs rigorous mathematical construction proofs and logical foundations to develop generalized manifold--metric pairs, including homogeneous and isotropic expanding manifolds, as well as probabilistic and entropic variants. Key results include the establishment of metrizability for topological manifolds via the Urysohn Metrization Theorem, the formulation of higher-rank tensor metrics, and the exploration of complex and quaternionic codomains with applications to cosmological models like the expanding spacetime. By combining spacetime generalized sets with information-theoretic and probabilistic approaches, we achieve a unified framework that advances the understanding of manifold--metric interactions and their physical implications.

2026-04-23T00:35:01Z 30 pages, 0 figures, published in Mathematics MDPI, MSC class: General mathematics General Topology, Mathematical logic and foundations, Differential Geometry, Functional Analysis, Global analysis on manifolds, Mathematical Physics/Relativity and gravitational theory, Differential geometry of submanifolds of Mobius space https://www.mdpi.com/2073-8994/17/5/777 Pierros Ntelis 10.3390/sym17050777