https://arxiv.org/api/a50ecQyPTbLMTSSX5L7TfapxsFc 2026-06-21T18:17:06Z 5914 675 15 http://arxiv.org/abs/2312.17095v2 2025-01-29T13:48:01Z

We introduce cs-topologies, or topologies of open complemented subsets, as a new approach to constructive topology that preserves the duality between open and closed subsets of classical topology. Complemented subsets were used successfully by Bishop in his constructive formulation of the Daniell approach to measure and integration. Here we use complemented subsets in topology, in order to describe simultaneously an open set, the first-component of an open complemented subset, together with its given complement as a closed set, the second component of an open complemented subset. We analyse the canonical cs-topology induced by a metric, and we introduce the notion of a modulus of openness for a cs-open subset of a metric space. Pointwise and uniform continuity of functions between metric spaces are formulated with respect to the way these functions inverse open complemented subsets together with their moduli of openness. The addition of moduli of openness in the concept of a complemented open subset, given a base for the cs-topology, makes possible to define the notions of pointwise-like and uniform-like continuity of functions between csb-spaces, that is cs-spaces with a given base.

2023-12-28T16:12:44Z 46 pages Iosif Petrakis http://arxiv.org/abs/2501.16851v1 2025-01-28T10:58:33Z

This article constructs a fractal interpolation function, also referred to as $α$-fractal function, using Suzuki-type generalized $\varphi$-contraction mappings (STGPC). The STGPC is a generalization of $\varphi$-contraction mappings. The process of constructing $α$-fractal functions using the STGPC is detailed, and examples of STGPC are given. The FIF has broad applications in data analysis, finance and price prediction. We have included a case study analyzing the price volatility of spinach in the Azadpur vegetable market in New Delhi. The fractal analysis gives a unique perspective on understanding price fluctuations over a period. Finally, the box-dimensional analysis is presented to comprehend the complexity of price fluctuations.

2025-01-28T10:58:33Z Mridul Patel G. Verma A. Eberhard A. Rao http://arxiv.org/abs/2501.16833v1 2025-01-28T10:23:21Z

In this paper we model discontinuous extended real functions in pointfree topology following a lattice-theoretic approach, in such a way that, if $L$ is a subfit frame, arbitrary extended real functions on $L$ are the elements of the Dedekind-MacNeille completion of the poset of all extended semicontinuous functions on $L$. This approach mimicks the situation one has with a $T_1$-space $X$, where the lattice $\overline{\mathrm{F}}(X)$ of arbitrary extended real functions on $X$ is the smallest complete lattice containing both extended upper and lower semicontinuous functions on $X$. Then, we identify real-valued functions by lattice-theoretic means. By construction, we obtain definitions of discontinuous functions that are conservative for $T_1$-spaces. We also analyze semicontinuity and introduce definitions which are conservative for $T_D$-spaces.

2025-01-28T10:23:21Z 31 pages Quaestiones Mathematicae, 41(3), 319-347; Erratum: Quaestiones Mathematicae 2022, 45(12): 1987 Imanol Mozo Carollo 10.2989/16073606.2017.138072 10.2989/16073606.2021.1985649 http://arxiv.org/abs/2501.16536v1 2025-01-27T22:15:13Z

This paper addresses dense sub-objects for point-free bitopology in terms of $d$-frames and provides several examples. We characterize extremal epimorphisms in $d$-frames and show that a smallest dense one always exists, establishing a proper analogue of Isbell's Density Theorem for $d$-frames. Further we explore certain questions about the functoriality of assigning the smallest dense sub-object to each pointfree bitopological space.

2025-01-27T22:15:13Z 20 pages Topology and its applications, Volume 273, 15 March 2020, 106962 M. Andrew Moshier Imanol Mozo Carollo Joanne Walters-Wayland 10.1016/j.topol.2019.106962 http://arxiv.org/abs/2501.16528v1 2025-01-27T22:01:59Z

This paper approaches the construction of the universal completion of the Riesz space $\mathrm{C}(L)$ of continuous real functions on a completely regular frame $L$ in two different ways. Firstly as the space of continuous real functions on the Booleanization of $L$. Secondly as the space of nearly finite Hausdorff continuous functions on $L$. The former has no counterpart in the classical theory, as the Booleanization of a spatial frame is not spatial in general, and it offers a lucid way of representing the universal completion as a space of continuous real functions. As a corollary we obtain that $\mathrm{C}(L)$ and $\mathrm{C}(M)$ have isomorphic universal completions if and only if the Booleanization of $L$ and $M$ are isomorphic and we characterize frames $L$ such that $\mathrm{C}(L)$ is universally complete as almost Boolean frames. The application of this last result to the classical case $\mathrm{C}(X)$ of the space of continuous real functions on a topological space $X$ characterizes those spaces $X$ for which $\mathrm{C}(X)$ is universally complete. Finally, we present a pointfree version of the Maeda-Ogasawara-Vulikh representation theorem and use it to represent the universal completion of an Archimedean Riesz space with weak unit as a space of continuous real functions on a Boolean frame.

2025-01-27T22:01:59Z 24 pages Journal of Pure and Applied Algebra, Volume 225, Issue 2, February 2021, 106490 Imanol Mozo Carollo 10.1016/j.jpaa.2020.106490 http://arxiv.org/abs/2206.05711v3 2025-01-26T21:34:57Z

Stone duality generalizes to an equivalence between the categories $\mathsf{Stone}^{\mathsf{R}}$ of Stone spaces and closed relations and $\mathsf{BA}^\mathsf{S}$ of boolean algebras and subordination relations. Splitting equivalences in $\mathsf{Stone}^{\mathsf{R}}$ yields a category that is equivalent to the category $\mathsf{KHaus}^\mathsf{R}$ of compact Hausdorff spaces and closed relations. Similarly, splitting equivalences in $\mathsf{BA}^\mathsf{S}$ yields a category that is equivalent to the category $\mathsf{DeV^S}$ of de Vries algebras and compatible subordination relations. Applying the machinery of allegories then yields that $\mathsf{KHaus}^\mathsf{R}$ is equivalent to $\mathsf{DeV^S}$, thus resolving a problem recently raised in the literature. The equivalence between $\mathsf{KHaus}^\mathsf{R}$ and $\mathsf{DeV^S}$ further restricts to an equivalence between the category ${\mathsf{KHaus}}$ of compact Hausdorff spaces and continuous functions and the wide subcategory $\mathsf{DeV^F}$ of $\mathsf{DeV^S}$ whose morphisms satisfy additional conditions. This yields an alternative to de Vries duality. One advantage of this approach is that composition of morphisms is usual relation composition.

2022-06-12T10:08:10Z 18 pages Marco Abbadini Guram Bezhanishvili Luca Carai 10.1016/j.topol.2023.108641 http://arxiv.org/abs/2411.10035v3 2025-01-26T13:08:24Z

We prove that every Lindelöf scattered subspace of a $Σ$-product of first-countable spaces is $σ$-compact. In particular, we obtain the result stated in the title. This answers some questions of Tkachuk from [Houston J. Math. 48 (2022), no. 1, 171--181].

2024-11-15T08:32:55Z Antonio Avilés Mikołaj Krupski http://arxiv.org/abs/2501.08745v2 2025-01-25T16:14:23Z

Magnitude is a real-valued invariant of metric spaces which, in the finite setting, can be understood as recording the 'effective number of points' in a space as the scale of the metric varies. Motivated by applications in topological data analysis, this paper investigates the stability of magnitude: its continuity properties with respect to the Gromov-Hausdorff topology. We show that magnitude is nowhere continuous on the Gromov-Hausdorff space of finite metric spaces. Yet, we find evidence to suggest that it may be 'generically continuous', in the sense that generic Gromov-Hausdorff limits are preserved by magnitude. We make the case that, in fact, 'generic stability' is what matters for applicability.

2025-01-15T12:01:41Z 18 pages, 3 figures. v2: Corrected a minor error in the Introduction; strengthened Conjecture 1.3 and added references to the discussion before it; added Remark 3.7 Hirokazu Katsumasa Emily Roff Masahiko Yoshinaga http://arxiv.org/abs/2212.05508v3 2025-01-25T13:15:55Z

We investigate Noetherian families and show that every topological space has a Noetherian $π$-base. We prove that if a topological space has some special Noetherian $π$-bases, then NONEMPTY has a 2-tactic in the Banach-Mazur game on a space $X$, denoted as $BM(X)$, whenever NONEMPTY has a winning strategy in BM(X). This result encompasses an important theorem of Galvin in this context and is related to Telgársky's conjecture on this subject. One of our examples is that any space $X$ with $πw(X)\leq ω_1$ has this special Noetherian $π$-base. We pose some questions about this topic.

2022-12-11T13:47:04Z Servet Soyarslan Süleyman Önal http://arxiv.org/abs/2501.14126v1 2025-01-23T22:45:38Z

In [6] the notion of a g-cell structure was introduced as a generalization of the construction proposed by Debski and Tymchatyn to realize a certain class of topological spaces as quotient spaces of inverse limits. In [2], cell maps are defined between cell structures and showed that a cell map between two complete cell structures induces a continuous function between the spaces determined by the cell structures. In this paper, for g-cell structures, we introduce the notions of weak g-cell maps and g-cell maps. We give some conditions for weak g-cell and g-cell mappings between g-cell structures to induce continuous mappings between their corresponding spaces.

2025-01-23T22:45:38Z 11 pages Carlos Islas Benjamín A. Itzá Ortiz Rocío Leonel http://arxiv.org/abs/2408.03843v2 2025-01-23T18:22:25Z

Let $G$ be a topological group and let $K,L\subseteq G$ be closed subgroups, with $K\subseteq L$. We prove that if $L$ is a locally compact pro-Lie group, then the map $q:G/K\to G/L$ is a fibration. As an application of this, we obtain two older results by Skljarenko, Madison and Mostert.

2024-08-07T15:39:17Z To appear in Transformation Groups Linus Kramer Raquel Murat García http://arxiv.org/abs/2501.13220v1 2025-01-22T21:03:45Z

A space $X$ is od-Menger if it satisfies $\mathsf{U_{fin}}(Δ_X, \mathcal{O}_X)$, where $\mathcal{O}_X,Δ_X$ are the collection of covers of $X$ by respectively open subsets and open dense subsets. We show that under CH, there is a refinement of the usual topology on a subset of the reals which yields a hereditarily Lindelöf, od-Menger, non-Menger, $0$-dimensional, first countable space. We also investigate the properties of spaces which are od-Menger but not Menger.

2025-01-22T21:03:45Z Mathieu Baillif Santi Spadaro http://arxiv.org/abs/2501.08030v2 2025-01-21T01:40:37Z

Given a metrizable space $Z$, denote by ${\rm PM}(Z)$ the space of continuous bounded pseudometrics on $Z$, and denote by ${\rm AM}(Z)$ the one of continuous bounded admissible metrics on $Z$, the both of which are equipped with the sup-norm $\|\cdot\|$. Let ${\rm Pc}(Z)$ be the subspace of ${\rm AM}(Z)$ satisfying the following: \begin{itemize} \item for every $d \in {\rm Pc}(Z)$, there exists a compact subset $K \subset Z$ such that if $d(x,y) = \|d\|$, then $x, y \in K$. \end{itemize} Moreover, set $${\rm Pp}(Z) = \{d \in {\rm AM}(Z) \mid \text{ there only exists } \{z,w\} \subset Z \text{ such that } d(z,w) = \|d\|\},$$ and let ${\rm M}(Z)$ be ${\rm Pc}(Z)$ or ${\rm Pp}(Z)$. In this paper, we shall prove the Banach-Stone type theorem on spaces of metrics, that is, for metrizable spaces $X$ and $Y$, the following are equivalent: \begin{enumerate} \item $X$ and $Y$ are homeomorphic; \item there exists a surjective isometry $T : {\rm PM}(X) \to {\rm PM}(Y)$ with $T({\rm M}(X)) = {\rm M}(Y)$; \item there exists a surjective isometry $T : {\rm AM}(X) \to {\rm AM}(Y)$ with $T({\rm M}(X)) = {\rm M}(Y)$; \item there exists a surjective isometry $T : {\rm M}(X) \to {\rm M}(Y)$. \end{enumerate} Then for each surjective isometry $T : {\rm PM}(X) \to {\rm PM}(Y)$ with $T({\rm M}(X)) = {\rm M}(Y)$, there is a homeomorphism $φ: Y \to X$ such that for any $d \in {\rm PM}(X)$ and for any $x, y \in Y$, $T(d)(x,y) = d(φ(x),φ(y))$. Except for the case where the cardinality of $X$ or $Y$ is equal to $2$, the homeomorphism $φ$ can be chosen uniquely.

2025-01-14T11:36:36Z The paper has been corrected on the uniqueness of the homeomorphism in Main Theorem Katsuhisa Koshino http://arxiv.org/abs/2412.03846v3 2025-01-21T01:40:16Z

As a topic of mathematics, "arrangements", systems of hyperplanes, circles, and general (regular) submanifolds, attract us strongly. We present a natural elementary study of arrangements of circles. It is also a kind of new studies. Our study is closely related to geometry and singularity theory of Morse(-Bott) functions. Regions surrounded by circles are regarded as images of real algebraic maps and composing them with projections gives Morse-Bott functions: this observation is natural, and surprisingly, recently presented first, by the author. We present a systematic way of constructing such arrangements by choosing small circles centered at existing circles inductively. We are interested in graphs the regions surrounded by the circles naturally collapse. We have studied local changes of the graphs in adding these circles. These graphs are essentially so-called {\it Reeb graphs} of the previous Morse-Bott functions: they are spaces of all components of preimages of single points for the functions.

2024-12-05T03:23:58Z 22 pages. 9 figures. Several errors are corrected where readers may understand correctly before the correction Naoki Kitazawa http://arxiv.org/abs/2501.09455v1 2025-01-16T10:29:25Z

Building on results of Medvedev, we construct a $\mathsf{ZFC}$ example of a non-Polish topological group that is countable dense homogeneous. Our example is a dense subgroup of $\mathbb{Z}^ω$ of size $\mathfrak{b}$ that is a $λ$-set. We also conjecture that every countable dense homogenous Baire topological group with no isolated points contains a copy of the Cantor set, and give a proof in a very special case.

2025-01-16T10:29:25Z 7 pages Claudio Agostini Andrea Medini Lyubomyr Zdomskyy