Sufficient Conditions for the Shrinking Wellness Lemma

2025-12-25T07:06:53Z

The well groups were introduced by Edelsbrunner, Morozov, and Patel to measure the robustness of geometric features of a function with respect to perturbations. Roughly speaking, the $r$-th well group measures the number of features that cannot be removed by perturbing the function by at most $r$. The Shrinking Wellness Lemma states that the rank of these groups decreases as $r$ increases. In the generality originally stated, it is wrong. We present a counterexample and give conditions under which the result holds. These conditions are general enough to cover most cases in which the well groups have been applied.

On Borel sets in ideal topologies

2025-12-24T12:18:56Z

We study the Borel and analytic subsets of the spaces ${}^κκ$ and ${}^κ2$ endowed with ideal topologies, where $κ$ is a regular uncountable cardinal. We establish that the Borel hierarchy does not collapse in any ideal topology and prove that every Borel set in such a topology is analytic. In particular, when the ideal contains an unbounded set, the class of analytic sets coincides with the entire powerset. Furthermore, we show that the Approximation Lemma holds for ideal topologies.

Compact non-uniformizable Li-Yorke chaotic dynamical systems via an example

2025-12-22T21:13:45Z

The main aim of this paper is extending the concept of scambled pair and Li--Yorke chaos to non--uniform compact dynamical systems. We show for finite (compact Alexandroff) topological space $X$ with at least two elements the following statements are equivalent: $\bullet$ one--sided shift $σ:X^{\mathbb{N}}\to X^\mathbb{N}$ is Li--Yorke chaotic, $\bullet$ one--sided shift $σ:X^{\mathbb{N}}\to X^\mathbb{N}$ has at least one scrambled pair, $\bullet$ one--sided shift $σ:X^{\mathbb{N}}\to X^\mathbb{N}$ has at least one non--asymptotic pair, $\bullet$ there exists $a,b\in X$ such that $\overline{\{a\}}\cap\overline{\{b\}}=\varnothing$, $\bullet$ $\bigcap\{\overline{\{a\}}:a\in X\}=\varnothing$.

Products of two sober dcpo's need not be sober

2025-12-22T08:38:00Z

We construct two dcpo's whose Scott spaces are sober, but the Scott space of their order product is not sober. This answers an open problem on the sobriety of Scott spaces. Meantime, we show that if $M$ and $N$ are special type of sober complete lattices, then the Scott space of their order product $M\times N$ is sober.

A solution to the problem of the existence of a dense plastic subset $X\subseteq\mathbb{R}$ of cardinality $|X|<\frak{c}$

2025-12-22T01:52:05Z

Under the assumption $\frak{c}\geqslant ω_2$, we give an example of a dense plastic subset $X\subseteq\mathbb{R}$ of cardinality $|X|<\frak{c}$. This answers Problem 1 of arXiv:2510.10537.

On a Theorem of Grzegorek and Labuda

2025-12-21T04:54:39Z

This paper presents a generalized version of a theorem of Grzegorek and Labuda in category bases and also endeavours to establish a variant formulation of the same in Marczewski structures.

Limits in categories of étale groupoids and pseudogroups

2025-12-20T19:53:07Z

We show that the category of sober étale groupoids and actors admits all small limits. This is achieved by computing the limits in the equivalent category of pseudogroups with pseudogroup morphisms, which we show admits a forgetful functor to the category of sets which creates limits. We give an alternative proof of the adjunction of Cockett and Garner in the specific setting of étale groupoids and pseudogroups which is a central tool for computing limits of sober étale groupoids.

Ultrametric spaces and the logarithmic ratio

2025-12-18T18:02:36Z

It is shown that if a compact metric space $(X, d)$ is bi-Hölder equivalent to an ultrametric space, then the logarithmic ratio $R(X,d)$ is finite. Conversely, if the logarithmic ratio $R(X,d)$ is finite and ${\A}^*_p (X) \ne \emptyset$ for some $p \in (1, \infty )$, then $(X, d)$ is bi-Hölder equivalent to an ultrametric space. It is also shown that for any $s \in [0, \infty]$ there exists a compact countable metric space $(X, d)$ with a unique cluster point such that the logarithmic ratio $R(X, d)$ is equal $s$. Moreover, we prove a bi-Hölder embedding result for a certain class of compact totally disconnected metric spaces.

Gromov-Hausdorff compactness theorem for non-Archimedean Fuzzy Metric Spaces

2025-12-18T11:07:59Z

The authors introduced in a previous paper the notion of fuzzy Gromov-Hausdorff distance between non-Archimedean compact fuzzy metric spaces, presenting a fuzzy version of the Gromov's completeness theorem. In this paper we present a fuzzy version of the Gromov's precompactness theorem which allows to deduce the classical theorem for compact metric spaces by means of the standard fuzzy metric associated to a metric space. This completes the previous work.

Simultaneous Sequential Compactness

2025-12-17T17:00:46Z

A set of sequences is said to converge simultaneously if there exists an infinite subset $H$ of the index set $ω$ such that all sequences converge when restricted to $H$. We discuss simultaneous convergence of sequences in the same or in different sequentially compact spaces; we link the results for different spaces to ones for the same space; we show that simultaneous convergence happens for less than $\mathfrak s$ sequences in spaces with weight bounded by $\mathfrak s$ and for less than $\mathfrak h$ sequences in general; we show a slight generalisation of these results in the context of Hausdorff spaces; and finally we investigate their optimality.

The Cantor Riemannium

2025-12-17T16:29:20Z

The Riemann surface of a holomorphic germ is the space generated by its Weierstrass analytic continuation. The Riemannium space of a holomorphic germ is the space generated by its Borel monogenic continuation. Riemannium spaces are metric, path connected, Gromov length spaces, not necessarily $σ$-compact. We construct an example of Riemannium space: The Cantor Riemannium.

Universally meager sets in the Miller model and similar ones

2025-12-17T14:37:49Z

We work in the realm of sets of reals. We prove that in the Miller model and in a model constructed by Goldstern-Judah-Shelah all universally meager sets have size at most $ω_1$. Some relations between combinatorial covering properties in these models allow to obtain the same limitations for sizes of Rothberger spaces and Hurewicz spaces with no homeomorphic copy of the Cantor set inside. It follows from our results that the existence of a strong measure zero set of size $ω_2$ does not imply the existence of a Rothberger space of size $ω_2$. We also prove that in the Miller model all strong measure zero sets have size at most $ω_1$.

I and I*-soft convergence in soft topological spaces

2025-12-17T10:43:12Z

In this paper, we introduce the notions of I and I*-soft convergence of sequences of soft points in soft topological spaces and study some basic properties of these notions. Also we introduce the notions of I-soft limit points and I-soft cluster points of a sequence of soft points in a soft topological space and study their interrelationship

Counting continua

2025-12-16T12:57:48Z

For infinite cardinals $κ,λ$ let $C(κ,λ)$ denote the class of all compact Hausdorff spaces of weight $κ$ and size $λ$. So $C(κ,λ)=\emptyset$ if $κ>λ$ or $λ>2^κ$. If F is a class of pairwise non-homeomorphic spaces in $C(κ,λ)$ then F is a set of size not greater than $2^κ$. For every infinite cardinal $κ$ we construct $2^κ$ pairwise non-embeddable pathwise connected spaces in $C(κ,λ)$ for $λ=\max\{2^{\aleph_0},κ\}$ and for $λ=\exp\log(κ^+)$. (If $κ$ is a strong limit then $\exp\log(κ^+)=2^κ$.) Additionally, for all infinite cardinals $κ,μ$ with $μ\leqκ$ we construct $2^κ$ pairwise non-embeddable connected spaces in $C(κ,κ^μ)$. Furthermore, for $κ=λ=2^θ$ with arbitrary $θ$ and for certain other pairs $κ,λ$ we construct $2^κ$ pairwise non-embeddable connected, linearly ordered spaces $X\in C(κ,λ)$ such that $Y\in C(κ,λ)$ whenever $Y$ is an infinite compact and connected subspace of $X$. On the other hand we prove that there is no space $X$ with this property if $λ$ is of countable cofinality and either $κ=λ$ or $λ$ is a strong limit.

Equivariant Banach-bundle germs

2025-12-16T12:28:50Z

Consider a continuous bundle $\mathcal{E}\to X$ of Banach/Hilbert spaces or Banach/$C^*$-algebras over a paracompact base space, equivariant for a compact Lie group $\mathbb{U}$ operating on all structures involved. We prove that in all cases homogeneous equivariant subbundles extend equivariantly from $\mathbb{U}$-invariant closed subsets of $X$ to closed invariant neighborhoods thereof (provided the fibers are semisimple in the Banach-algebra variant). This extends a number of results in the literature (due to Fell for non-equivariant local extensibility around a single point for $C^*$-algebras and the author for semisimple Banach algebras). The proofs are based in part on auxiliary results on (a) the extensibility of equivariant compact-Lie-group principal bundles locally around invariant closed subsets of paracompact spaces, as a consequence of equivariant-bundle classifying spaces being absolute neighborhood extensors in the relevant setting and (b) an equivariant-bundle version of Johnson's approximability of almost-multiplicative maps from finite-dimensional semisimple Banach algebras with Banach morphisms.