https://arxiv.org/api/2l8F5dXIFcxkJMf4tloO6eBaif0 2026-06-21T16:59:37Z 5914 660 15 http://arxiv.org/abs/2301.00660v4 2025-02-19T15:33:46Z

We extend some basic results from the singular homology theory of topological spaces to the setting of Čech's closure spaces. We prove analogues of the excision and Mayer-Vietoris theorems and the Hurewicz theorem in dimension one. We use these results to calculate examples of singular homology groups of spaces that are not topological but are often encountered in applied topology, such as simple undirected graphs. We focus on the singular homology of roots of unity with closure structures arising from considering nearest neighbors. These examples can then serve as building blocks along with our Mayer-Vietoris and excision theorems for computing the singular homology of more complex closure spaces.

2023-01-02T13:26:29Z 34 pages, to appear in Topology and Its Applications Nikola Milićević http://arxiv.org/abs/2502.11615v1 2025-02-17T09:58:51Z

The Gromov-Hausdorff distance is a dissimilarity metric capturing how far two spaces are from being isometric. The Gromov-Prokhorov distance is a similar notion for metric measure spaces. In this paper, we study the topological dimension of the Gromov-Hausdorff and Gromov-Prokhorov spaces. We show that the dimension of the space of isometry classes of metric spaces with at most $n$ points endowed with the Gromov-Hausdorff distance is $\frac{n(n-1)}{2}$, and that of mm-isomorphism classes of metric measure spaces whose support consists of $n$ points is $\frac{(n+2)(n-1)}{2}$. Hence, the spaces of all isometry classes of finite metric spaces and of all mm-isomorphism classes of finite metric measure spaces are strongly countable dimensional. If, instead, the cardinalities are not limited, the spaces are strongly infinite-dimensional.

2025-02-17T09:58:51Z Hiroki Nakajima Takamitsu Yamauchi Nicolò Zava http://arxiv.org/abs/2502.08847v1 2025-02-12T23:44:48Z

A representation $ρ$ of a compact group $\mathbb{G}$ selects eigenvalues if there is a continuous circle-valued map on $\mathbb{G}$ assigning an eigenvalue of $ρ(g)$ to every $g\in \mathbb{G}$. For every compact connected $\mathbb{G}$, we characterize the irreducible $\mathbb{G}$-representations which select eigenvalues as precisely those annihilating the intersection $Z_0(\mathbb{G})\cap \mathbb{G}'$ of the connected center of $\mathbb{G}$ with its derived subgroup. The result applies more generally to finite-spectrum representations isotypic on $Z_0(\mathbb{G})$, and recovers as applications (noted in prior work) the existence of a continuous eigenvalue selector for the natural representation of $\mathrm{SU}(n)$ and the non-existence of such a selector for $\mathrm{U}(n)$.

2025-02-12T23:44:48Z 16 pages + references Alexandru Chirvasitu http://arxiv.org/abs/2502.08506v1 2025-02-12T15:41:19Z

We introduce a two-parameter modification of the cofinality invariant of ideals. This allows us to include the interaction of a pair of ideals in the study of base-like structures. We find the values (cardinal numbers or well-known cardinal invariants) of the invariant for pairs of some critical ideals on $ω$. We also dichotomously divide pairs of known ideals on the real line based on whether their relative cofinality is trivial or uncountable. Finally, we also study the relative cofinality of maximal ideals.

2025-02-12T15:41:19Z Adam Marton Miroslav Repický http://arxiv.org/abs/2502.06404v1 2025-02-10T12:46:45Z

We show that for any subset $A\subset [0,\infty)$, where $0\in A$, there exists a Bernstein set $X\subset \mathbb R$ such that $A$ is the center of distances of $X$.

2025-02-10T12:46:45Z Mateusz Kula http://arxiv.org/abs/2502.04228v1 2025-02-06T17:13:04Z

We investigate the interrelations between the metric properties, order properties and combinatorial properties of the set of balls in totally bounded ultrametric space. In particular, the Gurvich-Vyalyi representation of finite, ultrametric spaces by monotone rooted trees is generalized to the case of totally bounded ultrametric spaces. It is shown that such spaces have isometric completions if and only if their labeled representing trees are isomorphic. We characterize up to isomorphism the representing trees of these spaces and, up to order isomorphism, the posets of open balls in such spaces.

2025-02-06T17:13:04Z 114 pages, 15 figures Oleksiy Dovgoshey http://arxiv.org/abs/2306.01702v2 2025-02-06T13:51:12Z

A Boolean ring and its Stone space (Boolean space) are primitive if the ring is disjointly generated by its pseudo-indecomposable (PI) elements. Hanf showed that a primitive PI Boolean algebra can be uniquely defined by a structure diagram. In a previous paper we defined trim $P$-partitions of a Stone space, where $P$ is a PO system (poset with a distinguished subset), and showed how they provide a physical representation within the Stone space of these structure diagrams. In this paper we study the class of trim partitions of a fixed primitive Boolean space, which may not be compact, and show how they can be structured as a quasi-ordered set via an appropriate refinement relation. This refinement relation corresponds to a surjective morphism of the associated PO systems, and we establish a quasi-order isomorphism between the class of well-behaved partitions of a primitive space and a class of extended PO systems. We also define rank partitions, which generalise the rank diagrams introduced by Myers, and the ideal completion of a trim $P$-partition, whose underlying PO system is the ideal completion of $P$, and show that rank partitions are just the ideal completions of trim partitions. In the process, we extend a number of existing results regarding primitive Boolean algebras or compact primitive Boolean spaces to locally compact Boolean spaces.

2023-06-02T17:23:54Z Revised version for journal submission; 33 pages Andrew B. Apps http://arxiv.org/abs/2502.02778v1 2025-02-04T23:41:13Z

Let $X$ be a compact metric space. By $2^X$ we denote the hyperspace of all closed and non-empty subsets of $X$ endowed with the Hausdorff metric. Let $f:X\to X$ be a continuous function. In this paper we study some topological properties of the hyperspace $ω(f)$, the collection of all omega limits sets $ω(x,f)$ with $x\in X$. We prove the following: $i)$ If $X$ has no isolated points, then, for every continuous function $f:X\to X$, $int_{2^X}(ω(f))=\emptyset$. $ii)$ If $X$ is a dendrite for which every arc contains a free arc and $f:X\to X$ is transitive, then the hyperspace $ω(f)$ is totally disconnected. $iii)$ Let $D_\infty$ be the Wazewski's universal dendrite. Then there exists a transitive continuous function $f:D_\infty\to D_\infty$ for which the hyperspace $ω(f)$ contains an arc; hence, $ω(f)$ is not totally disconnected.

2025-02-04T23:41:13Z Jorge M. Martínez-Montejano Héctor Méndez Yajaida N. Velázquez-Inzunza http://arxiv.org/abs/2502.01935v1 2025-02-04T02:11:38Z

In this paper, we introduce the new class of continua; weakly infinite-dimensional closed set-aposyndetic continua. With this notion, we show that there exists a non-D-continuum such that each positive Whitney level of the hyperspace of the continuum is a weakly infinite-dimensional closed set-aposyndetic continuum. This result strengthens those of van Douwen and Goodykoontz [2], Illanes [7], and the main result of Illanes et al. [9].

2025-02-04T02:11:38Z 7 pages Eiichi Matsuhashi http://arxiv.org/abs/2405.07112v2 2025-02-03T19:15:20Z

We characterize the notion of definable compactness for topological spaces definable in o-minimal structures, answering questions of Peterzil and Steinhorn (1999) and Johnson (2018). Specifically, we prove the equivalence of various definitions of definable compactness in the literature, including those in terms of definable curves, definable types, and definable downward directed families of closed sets.

2024-05-12T00:03:56Z This is a round-up of the topological content of arXiv:2111.03802 Model Th. 4 (2025) 101-130 Pablo Andújar Guerrero 10.2140/mt.2025.4.101 http://arxiv.org/abs/2502.01260v1 2025-02-03T11:33:42Z

For arbitrary star graph $S$ with a non-degenerate vertex labeling $l\colon V(S) \to \mathbb{R}^+$ we denote by $d_l$ the corresponding ultrametric on the vertex set $V(S)$ of $S$. We characterize the class $\bf US$ of all ultrametric spaces $(V(S), d_l)$ up to isometry. We also find the necessary and sufficient conditions under which the group of all self-isometries of ultrametric space $(V(S), d_l)$ coincides with the group of all self-isomorphisms of the labeled star graph $S(l)$.

2025-02-03T11:33:42Z 23 pages, 4 figures Oleksiy Dovgoshey Olga Rovenska http://arxiv.org/abs/2403.08667v3 2025-02-02T20:25:13Z

The space of chains on a compact connected space encodes all the different ways of continuously growing out of a point until exhausting the space. A chain is \emph{generic} if its orbit under the action of the underlying homeomorphism group is comeager. In this paper we show that a large family of topological spaces do not have a generic chain: in addition to all manifolds of dimension at least 3, for which the result was already known, our theorem covers all compact surfaces except for the sphere and the real projective plane - for which the question remains open - as well as all other homogeneous Peano continua, circle excluded. If the spaces are moreover strongly locally homogeneous, which is the case for any closed manifold and the Menger curve, we prove that chains cannot be classified up to homeomorphism by countable structures, and that the underlying homeomorphism groups have non-metrizable universal minimal flows, with all orbits meager, in contrast to the case of 1-dimensional manifolds. The proof of the main result is of combinatorial nature, and it relies on the creation of a dictionary between open sets of chains on one side, and walks on finite connected graphs on the other.

2024-03-13T16:19:05Z 41 pages, 3 figures. This is the version accepted for publication in the Duke Mathematical Journal. Minor changes include a reworked beginning of Section 5, additional details throughout, and a weakening of 'turbulence' to 'generic turbulence' Gianluca Basso Alessandro Codenotti Andrea Vaccaro http://arxiv.org/abs/2502.00570v1 2025-02-01T21:31:04Z

An example of an infinite regular feebly compact quasitopological group is presented such that all continuous real-valued functions on the group are constant. The example is based on the use of Korovin orbits in $X^G$, where $X$ is a special regular countably compact space constructed by S.Bardyla and L.Zdomskyy and $G$ is an abstract Abelian group of an appropriate cardinality. Also, we study the interplay between the separation properties of the space $X$ and Korovin orbits in $X^G$. We show in particular that if $X$ contains two nonempty disjoint open subsets, then every Korovin orbit in $X^G$ is Hausdorff.

2025-02-01T21:31:04Z Evgenii Reznichenko Mikhail Tkachenko http://arxiv.org/abs/2501.18097v1 2025-01-30T02:17:12Z

We establish sufficient conditions for the density of shallow neural networks \cite{C89} on the family of continuous real functions defined on a compact metric space, taking into account variations in the function domains. For this we use the Gromov-Hausdorff distance defined in \cite{5G}.

2025-01-30T02:17:12Z 10 pages W. Jung C. A. Morales L. T. T. Tran http://arxiv.org/abs/math/0608575v3 2025-01-29T15:05:39Z

For a topological group G we introduce the algebra SUC(G) of strongly uniformly continuous functions. It contains the algebra WAP(G) of weakly almost periodic functions as well as the algebras LE(G) and Asp(G) of locally equicontinuous and Asplund functions respectively. For the Polish groups of order preserving homeomorphisms of the unit interval and of isometries of the Urysohn space of diameter 1, SUC(G) is trivial. We study the Roelcke algebra (= UC(G) = right and left uniformly continuous functions) and SUC compactifications of the groups S(N), of permutations of a countable set, and H(C), the group of homeomorphisms of the Cantor set. For the first group we show that WAP(G)=SUC(G)=UC(G) and also provide a concrete description of the corresponding metrizable (in fact Cantor) semitopological semigroup compactification. For the second group, in contrast, we show that SUC(G) is properly contained in UC(G) and for this group UC(G) does not yield a right topological semigroup compactification. We introduce the notion of fixed point on a class P of flows (P-fpp) and study in particular groups which are SUC-amenable and groups with the SUC-fpp (SUC-extreme amenability). We show that every Polish group G with metrizable M(G) is SUC-amenable and if, in addition, M(G) is proximal, then G is SUC-extremely amenable.

2006-08-23T12:21:08Z 53 pages, 3 figures, adding a new section Fundamenta Mathematicae 201 (2008), 1-51 Eli Glasner Michael Megrelishvili