Compactness in Constructive Mathematics via Affine Logic

2026-02-22T01:51:18Z

We study topology, particularly compactness, as an extension of Shulman's work for constructive mathematics via affine logic, while allowing propositional impredicativity. In addition to some basic properties of compactness, we prove the extreme value theorem and the Heine-Borel theorem for "cuts", which are a version of Dedekind cuts in affine logic. Moreover, from the antithesis translation of the Heine-Borel theorem for cuts to intuitionistic logic, we derive the Heine-Borel theorem for one-sided reals intuitionistically, and have verified its proof with the interactive theorem prover. The code is available at https://github.com/hziwara/CutsHeineBorel.

Countability Properties of Weakly Compact Sets in Asymmetric Locally Convex Spaces

2026-02-21T13:04:32Z

A dual pair formulation for asymmetric locally convex spaces is developed that strictly generalises the ordinary vector space setting. The concept of a polar topology carries over to the asymmetric case and some familiar results are reproduced or generalised such as the bipolar theorem and a Mackey-Arens type theorem. The implications of weak compactness and countability properties are studied and appear intimately connected to separation properties. An asymmetric analogue $C_a(K)$ of the well-known space $C_p(K)$ is introduced and the properties of (relatively) (countably respectively sequentially) compact subspaces are investigated. In particular, it is shown that $C_a([0,1])$ is not angelic. However, for Hausdorff subspaces satisfying a simple closure condition, the different compactness conditions are equivalent and imply the Fréchet-Urysohn property. Moreover, an analogue of the Eberlein-Šmulian theorem holds in asymmetrically normed spaces.

Algebraic $K$-theory of stably compact spaces

2026-02-20T14:29:00Z

We compute the value of finitary localizing invariants, including algebraic $K$-theory, on categories of sheaves over stably locally compact spaces $X$. Our formula simultaneously generalizes the cases of locally compact Hausdorff and coherent (spectral) spaces and recovers several smaller $K$-theory calculations as special instances.

Center of distances of ultrametric spaces generated by labeled trees

2026-02-20T07:13:43Z

The center of distances of a metric space $(X,d)$ is the set $C(X)$ of all $t\in \mathbb R^+$ for which the equation $d(x,p)=t$ has a solution for each $p\in X$. We prove that the equalities $C(X)=\{0\}$ or $C(X)=\{0,\operatorname{diam}X\} $ hold if $(X,d)$ is an ultrametric space generated by labeled trees. The necessary and sufficient conditions under which $\operatorname{diam} X\in C(X)$ are found.

Machine Space I: Weak exponentials and quantification over compact spaces

2026-02-19T19:59:23Z

Topology may be interpreted as the study of verifiability, where opens correspond to semi-decidable properties. In this paper we make a distinction between verifiable properties themselves and processes which carry out the verification procedure. The former are simply opens, while we call the latter machines. Given a frame presentation $\mathcal{O} X = \langle G \mid R\rangle$ we construct a space of machines $Σ^{Σ^G}$ whose points are given by formal combinations of basic machines corresponding to generators in $G$. This comes equipped with an `evaluation' map making it a weak exponential with base $Σ$ and exponent $X$. When it exists, the true exponential $Σ^X$ occurs as a retract of machine space. We argue this helps explain why some spaces are exponentiable and others not. We then use machine space to study compactness by giving a purely topological version of Escardó's algorithm for universal quantification over compact spaces in finite time. Finally, we relate our study of machine space to domain theory and domain embeddings.

Simple connectedness of the Ran space

2026-02-18T20:25:43Z

The space of all finite non-empty subsets of a topological space $X$, also known as the Ran space of $X$, is weakly contractible for $X$ path connected. We consider subspaces $\mathrm{Ran}_{\leqslant n}(X)$ of the Ran space given by all subsets of $X$ of size at most $n$, and present results on their first homotopy groups. In particular, we show that the induced map $π_1(\mathrm{Ran}_{\leqslant n}(X)) \to π_1(\mathrm{Ran}_{\leqslant n+2}(X))$ is trivial for all positive integers $n$, and even more, show that $π_1(\mathrm{Ran}_{\leqslant n}(X)) = 0$ for all $n\geqslant 4$, by explicitly drawing the path homotopies that contract any loop to a point.

Complexity of deep computations via topology of function spaces

2026-02-17T21:57:29Z

We use topological methods to study complexity of deep computations and limit computations. We use topology of function spaces, specifically, the classification Rosenthal compacta, to identify new complexity classes. We use the language of model theory, specifically, the concept of \emph{independence} from Shelah's classification theory, to translate between topology and computation. We use the theory of Rosenthal compacta to characterize approximablility of deep computations, both deterministically and probabilistically.

Productively Scheepers spaces and their relatives

2026-02-17T21:56:20Z

We prove that assuming $\mathfrak{b}=\mathfrak{d}$, in the class of hereditarily Lindelöf spaces, each productively Scheepers space is productively Hurewicz. The above statement remains true in the class of all general topological spaces assuming that $\mathfrak{d}=\aleph_1$. To this end we use combinatorial methods and the Menger covering property parametrized by ultrafilters. We also show that if near coherence of filters holds, then the Scheepers property is equivalent to a Menger property parametrized by any ultrafilter.

A Knaster--Reichbach type theorem for graph structures

2026-02-17T16:24:42Z

We study the properties of a generic object $\mathbb{P}$ in the category of finite graphs. It turns out that this object, being topologically a Cantor set, has the Knaster--Reichbach type property. Namely, every homeomorphism and isomorphism $h\colon K\to L$ where $K$ and $L$ are nowhere dense closed sets in $\mathbb{P}$ and consisting only of isolated vertices in $K$ and $L$ can be extended to the autohomeomorphism and autoisomorphism of the whole graph $\mathbb{P}$.

The lattice of smooth sublocales as a Bruns-Lakser completion

2026-02-17T13:54:57Z

We characterise the frame morphisms $f:L\to M$ that lift to frame maps $\overline{f}:\mathsf{S}_b(L)\to \mathsf{S}_b(M)$, where $\mathsf{S}_b(L)$ is the collection of joins of complemented sublocales of a frame $L$, or equivalently the Booleanization of the collection $\mathsf{S}(L)$ of all its sublocales. We do so by proving that $\mathsf{S}_b(L)$ is isomorphic to the Bruns--Lakser completion of the meet-semilattice formed by the locally closed sublocales, i.e. the sublocales of the form $\mathfrak{c}(a)\cap \mathfrak{o}(b)$ for $a,b\in L$.

Homeomorphisms between compact subsets of real numbers

2026-02-17T12:48:32Z

A reduction of properties (invariants) of compact sets of real numbers to properties of countable orders is presented here. Discussed here is also an embedding property of some compact sets that are called t$\mathbb R$-sets. Among others, it is proved that there are exactly $ω_1$ many non-homeomorphic t$\mathbb R$-sets.

Meekly SC*-Normal Spaces in Topological Spaces

2026-02-17T10:35:31Z

This chapter develops the concept of \textbf{meekly $SC^*$-normality}, a novel generalization of the classical notion of normality in topology. The proposed framework simultaneously broadens $SC^*$-normality and other established forms of normality, offering a unified perspective on generalized separation axioms. Fundamental properties are systematically derived, several equivalent characterizations are obtained, and the relationships between meekly $SC^*$-normal spaces and a range of existing normal-type spaces are rigorously analyzed. By establishing these structural connections, the chapter not only enriches the theory of generalized closed sets and separation axioms but also opens new directions for further research in advanced topological studies.

Ideal-Aura Topological Spaces, New Local Functions, and Generalized Open Sets

2026-02-16T21:35:04Z

We combine an ideal topological space $(X, τ, \mathcal{I})$ with a scope function $\mathfrak{a}: X \to τ$, $x \in \mathfrak{a}(x)$, to form what we call an ideal-aura topological space $(X, τ, \mathcal{I}, \mathfrak{a})$. The central new object is the aura-local function $A^{\mathfrak{a}}(\mathcal{I}) = \{x \in X : \mathfrak{a}(x) \cap A \notin \mathcal{I}\}$, which extends the Jankovic-Hamlett local function: we always have $A^{*}(\mathcal{I}, τ) \subseteq A^{\mathfrak{a}}(\mathcal{I})$. The closure $\operatorname{cl}^{*}_{\mathfrak{a}}(A) = A \cup A^{\mathfrak{a}}(\mathcal{I})$ is an additive Cech closure operator that, in general, fails to be idempotent; we prove that idempotency is equivalent to transitivity of $\mathfrak{a}$. The resulting Cech topology $τ^{*}_{\mathfrak{a}}$ sits in the chain $τ_{\mathfrak{a}} \subseteq τ^{*}_{\mathfrak{a}} \subseteq τ^{*}$, interpolating between the pure aura topology and the classical ideal topology. We introduce a $ψ_{\mathfrak{a}}$-operator and use it to give an alternative description of $τ^{*}_{\mathfrak{a}}$. Five classes of $\mathcal{I}\mathfrak{a}$-generalized open sets are defined and arranged in a hierarchy, with strict inclusions separated by counterexamples. Decomposition theorems for $\mathcal{I}\mathfrak{a}$-continuity are proved. Three special cases are examined: the trivial ideal recovers the pure aura topology, the improper ideal gives the discrete topology, and the ideal of finite sets exhibits a localization phenomenon.

The Cofinality of Generating Familes

2026-02-16T20:15:10Z

The topology of a separable metrizable space $M$ is \emph{generated} by a family $\mathcal{C}$ of its subsets provided that a set $A\subseteq M$ is closed in $M$ if and only if $A\cap C$ is closed in $C$ for each $C\in \mathcal{C}$. The \emph{sequentiality number}, $\mathop{seq}(M)$, and \emph{$k$-ness number}, $\mathop{k}(M)$, of $M$, are the minimum size of a generating family of convergent sequences, respectively compact subsets. Let $\mathfrak{b}$ be the minimum size of an unbounded set in $ω^ω$ with the mod finite order. For a cardinal $κ$, the \emph{covering number}, $\mathop{cov}(κ)$, is the minimum size of a family of countable subsets of $κ$ so that every countable subset of $κ$ is contained in an element of the family. It is shown using the Tukey order on relations that (1) $\mathop{seq}(M)=\mathop{cov}(|M|)\cdot \mathfrak{b}$, unless $M$ is locally small (every point of $M$ has a neighborhood of size strictly less than $|M|$) in which case $\mathop{seq}(M)=\lim_{μ<|M|} \mathop{cov}(μ)\cdot \mathfrak{b}$ and (2) $k(M)$ is in the interval $[kc(M)\cdot\mathfrak{b},\mathop{cov}(kc(M))\cdot \mathfrak{b}]$, where $kc(M)$ is the minimum number of compact sets that cover $M$. Solutions to problems of van Douwen's on the $k$-ness number of analytic and of co-analytic spaces are deduced.

Soft aura topological spaces and rough approximation operators

2026-02-15T13:05:41Z

We introduce the concept of a soft aura topological space $(X, \tildeτ, \mathfrak{a}_E)$, obtained by equipping a soft topological space $(X, \tildeτ, E)$ with a soft scope function $\mathfrak{a}_E : X \to \tildeτ$ satisfying $x \in \mathfrak{a}_E(x)(e)$ for every $x \in X$ and every parameter $e \in E$. This framework generalizes the recently introduced aura topological spaces to the soft setting. We define the soft aura-closure operator and the soft aura-interior operator, and prove that the closure is a soft additive Čech closure operator whose transfinite iteration yields a soft Kuratowski closure. Five classes of generalized soft open sets -- soft $\mathfrak{a}$-semi-open, soft $\mathfrak{a}$-pre-open, soft $\mathfrak{a}$-$α$-open, soft $\mathfrak{a}$-$β$-open, and soft $\mathfrak{a}$-$b$-open sets -- are introduced, and a complete hierarchy among them is established. Soft $\mathfrak{a}$-continuity and its decompositions are studied. Separation axioms soft $\mathfrak{a}$-$T_i$ ($i = 0, 1, 2, 3$) are introduced; it is shown that soft $\mathfrak{a}$-$T_1$ and soft $\mathfrak{a}$-$T_2$ coincide due to the scope-based formulation. Soft aura-based lower and upper rough approximation operators are defined, generalizing both the crisp aura rough set model and the classical Pawlak model. An illustrative application to environmental risk assessment demonstrates the practical utility of the proposed framework.