arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2609.34328

From samples to shape: a finite approach to topological invariants

Pedro J. Chocano
View original source ↗Read source document ↗Export metadata ↓

Abstract

Given a metric space $Y$ and a compact subspace $X$, we present a method for constructing an inverse sequence of finite topological spaces by sampling points from neighborhoods of $X$ in $Y$. We show that these inverse sequences can be employed to define shape theory and to approximate shape invariants, such as Čech homology groups.

Explore related subjects

math.GN

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Pedro J. Chocano. 2026-09-28. From samples to shape: a finite approach to topological invariants. https://arxiv.org/abs/2609.34328

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Baire 1 functions and the strong Choquet property

Let X be a Tychonoff space and B_1(X) be the space of real-valued Baire 1 functions. Using the classical Lebesgue's characterization of Baire 1 functions and the strong Choquet game we prove that if X is locally compact or a topological sum of sigma-compact spaces, the space B_1(X) equipped with the topology τ_UC of uniform convergence on compacta, is a strong Choquet space. For the Sorgenfrey line S, the space (B_1(S); τ_UC) is of the first Baire category in itself.

math.GN↗
arXiv2026

On disjoint tilings of $\ell_1(κ)$ by star-shaped bodies

We employ the set-theoretic methods yielding the consistency of the existence of nontrivial pairwise disjoint covers of the unit interval (or equivalently $\mathbb{R}^n$ for $n\in\mathbb{N}\setminus\{0\}$) by less than $2^ω$ closed sets in the context of covers of infinite dimensional Banach spaces $\ell_1(κ)$ for infinite $κ$ under geometric conditions arising in tiling theory and in approximation theory. Specifically, for $κ=ω_1, ω_2$, using side-by-side Sacks forcing we prove the consistency of an arbitrarily large continuum above $κ$ with the existence of a highly disconnected proximinal set in $\ell_1(κ)$, built from norm-compact pieces separated by a common positive distance, and the existence of a normal disjoint tiling of $\ell_1(κ)$ by star-shaped bodies of the form $X+B$, where $X$ is norm compact and $B$ is the unit ball. We also prove that if $κ$ is an uncountable cardinal of countable cofinality, then $\ell_1(κ)$ does not admit any normal disjoint tiling by bodies of the form $X+B$, where $X$ is closed and norm-separable and $B$ is the unit ball. These results complement a result of Klee of 1981 obtained for $κ$ satisfying $κ^ω=κ$, recent results of De Bernardi, Russo, Sezgek and Somaglia, and a $\mathsf{ZFC}$ a machine-discovered result (included in the appendix) that there are no nontrivial discrete Chebyshev sets in $\ell_1(κ)$ when $κ<2^ω$.

math.GN↗
arXiv2026

A solution of the D-space Problem

Settling a central problem in set-theoretic topology, and many related problems, we prove that there is, consistently, a regular Lindelöf space of cardinality $\aleph_1$ that is not a D-space. The existence of such a space is independent of ZFC; we establish its equivalence to a weak form of the Continuum Hypothesis. The proof of the main theorem is adjustable to produce consistent examples with a variety of stronger properties.

math.GN↗