http://arxiv.org/api/8aQMnxldVaJ0wV1+dehR0VYGdK0 2025-05-04T00:00:00-04:00 5462 75 15 http://arxiv.org/abs/2503.10815v1 2025-03-13T19:04:51Z 2025-03-13T19:04:51Z

Let $X$ be a (topological) space and $Cl(X)$ the collection of nonempty closed subsets of $X$. Given a topology on $Cl(X)$, making $Cl(X)$ a space, a \emph{(subset) hyperspace} of $X$ is any subspace $\mathcal{J}\subset Cl(X)$ with an embedding $X\hookrightarrow\mathcal{J}$, $x\mapsto\{x\}$ (which thus requires $X$ to be $T_1$). In this note, we highlight a key attribute of the Hausdorff distance $d_H$ on $Cl(X)$, namely, \emph{the expressibility of $d_H$ as the composition of a set-valued function and a real-valued set-function}. Using this attribute of $d_H$, we describe associated classes of distances called \emph{set-valued metrics} and \emph{generalized Hausdorff distances}.

Earnest Akofor http://arxiv.org/abs/2503.10803v1 2025-03-13T18:52:43Z 2025-03-13T18:52:43Z

Let $X$ be a (topological) space and $Cl(X)$ the collection of nonempty closed subsets of $X$. Given a topology on $Cl(X)$, making $Cl(X)$ a space, a \emph{(subset) hyperspace} of $X$ is a subspace $\mathcal{J}\subset Cl(X)$ with an embedding $X\hookrightarrow\mathcal{J}$, $x\mapsto\{x\}$ (which thus requires $X$ to be $T_1$). In this note, we characterize certain hyperspaces $\mathcal{J}\subset Cl(X)$ as explicit quotient spaces of function spaces $\mathcal{F}\subset X^Y$ and discuss metrization of associated compact-subset hyperspaces in this setting.

Earnest Akofor http://arxiv.org/abs/2407.09090v2 2025-03-12T09:54:03Z 2024-07-12T08:35:36Z

We prove that a compact space $K$ embeds into a $\sigma$-product of compact metrizable spaces ($\sigma$-product of intervals) if and only if $K$ is (strongly countable-dimensional) hereditarily metalindel\"of and every subspace of $K$ has a nonempty relative open second-countable subset. This provides novel characterizations of $\omega$-Corson and $NY$ compact spaces. We give an example of a uniform Eberlein compact space that does not embed into a product of compact metric spaces in such a way that the $\sigma$-product is dense in the image. In particular, this answers a question of Kubi\'s and Leiderman. We also show that for a compact space $K$ the property of being $NY$ compact is determined by the topological structure of the space $C_p(K)$ of continuous real-valued functions of $K$ equipped with the pointwise convergence topology. This refines a recent result of Zakrzewski.

Antonio Avilés Mikołaj Krupski http://arxiv.org/abs/2503.08265v1 2025-03-11T10:29:14Z 2025-03-11T10:29:14Z

The Bohr compactification is a well known construction for (topological) groups and semigroups. Recently, this notion has been investigated for arbitrary structures in \cite{har_kun:bohr_discrete} where the Bohr compactification is defined, using a set-theoretical approach, as the maximal compactification which is compatible with the structure involved. Here, we give a characterization of the continuous functions defined on a product space that can be extended continuously to certain compactifications of the product space. As a consequence, the Bohr compactification of an arbitrary topological structure is obtained as the Gelfand space of the commutative Banach algebra of all almost periodic functions. Previously, almost periodic functions $f$ are defined in terms of translates of $f$ with no reference to any compactification of the underlying structure. An application is given to the representation of isometries defined between spaces of almost periodic functions.

Salvador Hernández Topology Proceedings (2004) http://arxiv.org/abs/2502.10029v2 2025-03-09T19:11:10Z 2025-02-14T09:16:04Z

If $X$ is a topological space and $\kappa$ is a cardinal then $\mathsf{BA}_\kappa (X)$ is the statement that for each pair $A, B \subseteq X$ of $\kappa$-dense subsets there is an autohomeomorphism $h:X \to X$ mapping $A$ to $B$. In particular $\mathsf{BA}_{\aleph_1} (\mathbb R)$ is equivalent the celebrated Baumgartner axiom on isomorphism types of $\aleph_1$-dense linear orders. In this paper we consider two natural weakenings of $\mathsf{BA}_\kappa (X)$ which we call $\mathsf{BA}^-_\kappa (X)$ and $\mathsf{U}_\kappa (X)$ for arbitrary perfect Polish spaces $X$. We show that the first of these, though properly weaker, entails many of the more striking consequences of $\mathsf{BA}_\kappa (X)$ while the second does not. Nevertheless the second is still independent of $\mathsf{ZFC}$ and we show in particular that it fails in the Cohen and random models. This motivates several new classes of pairs of spaces which are ``very far from being homeomorphic" which we call ``avoiding", ``strongly avoiding", and ``totally avoiding". The paper concludes by studying these classes, particularly in the context of forcing theory, in an attempt to gauge how different weak Baumgartner axioms may be separated.

Corey Bacal Switzer 20 pages, submitted. Second version incorporates several recommendations from anonymous referees. In particular the terminology of "hating" etc has been changed http://arxiv.org/abs/2101.00437v4 2025-03-08T09:28:37Z 2021-01-02T11:57:12Z

We initiate a systematic investigation of group actions on compact medain algebras via the corresponding dynamics on their spaces of measures. We show that a probability measure which is invariant under a natural push forward operation must be a uniform measure on a cube and use this to show that every amenable group action on a locally convex compact median algebra fixed a sub-cube.

Uri Bader Aviv Taller 11 pages http://arxiv.org/abs/2503.05579v1 2025-03-07T17:03:38Z 2025-03-07T17:03:38Z

We characterize relative notions of syndetic and thick sets using, what we call, "derived" sets along ultrafilters. Manipulations of derived sets is a characteristic feature of algebra in the Stone-\v{C}ech compactification and its applications. Combined with the existence of idempotents and structure of the smallest ideal in closed subsemigroups of the Stone-\v{C}ch compactification, our particular use of derived sets adapts and generalizes methods recently used by Griffin arXiv:2311.09436 to characterize relative piecewise syndetic sets. As an application, we define an algebraically interesting subset of the Stone-\v{C}ech compactification and show, in some ways, it shares structural properties analogous to the smallest ideal.

Shea D. Burns Dennis Davenport Shakuan Frankson Conner Griffin John H. Johnson Jr. Malick Kebe 26 pages http://arxiv.org/abs/2405.19555v4 2025-03-07T02:09:41Z 2024-05-29T22:45:28Z

We show that lattice isomorphisms between lattices of slowly oscillating functions on chain-connected proper metric spaces induce coarsely equivalent homeomorphisms. This result leads to a Banach-Stone-like theorem for these lattices. Furthermore, we provide a representation theorem that characterizes linear lattice isomorphisms among these lattices.

Yutaka Iwamoto 13 pages http://arxiv.org/abs/2503.03498v1 2025-03-05T13:41:07Z 2025-03-05T13:41:07Z

In this paper, we provide a comprehensive analysis of involutive quantales, with a particular focus on quantic frames. We extend the axiomatic foundations of quantale-enriched topological spaces to include closure under the anti-homomorphic involution, facilitating a balanced topologization of the spectrum of unital $C^*$-algebras that encompasses both closed right and left ideals through the concept of quantic frames. Specifically, certain subspaces of pure states are identified as strongly Hausdorff separated quantale-enriched involutive topological spaces.

Javier Gutiérrez García Ulrich Höhle http://arxiv.org/abs/2503.03405v1 2025-03-05T11:31:36Z 2025-03-05T11:31:36Z

In this work, we study the external and internal stability of minimal solutions to set-valued optimization problems in a new functional framework. We consider perturbations on both the objective function and the admissible domain. To address these problems, we introduce two variational convergences for sequences of set-valued maps, namely the Gamma-cone convergence and the sequential Gamma-cone convergence. The upper and the lower convergence of strong level sets are also studied.

James Larrouy 19 pages http://arxiv.org/abs/2403.04004v2 2025-03-05T08:34:14Z 2024-03-06T19:28:41Z

Using approximation by continuous functions we prove the following statements to types of tightness in a space $Q_p(X, \mathbb{R})$ of all quasicontinuous real-valued functions with the topology $\tau_p$ of pointwise convergence: the countability of tightness (fan-tightness, strong fan-tightness) at a point $f$ of space $Q_p(X, \mathbb{R})$ implies the countability of tightness (fan-tightness, strong fan-tightness) of space $Q_p(X,Y)$ of all quasicontinuous functions from $X$ into any non-one-point metrizable space $Y$. This result is the answer to the open question in the class of metrizable spaces.

Anton E. Lipin Alexander V. Osipov 13 pages. arXiv admin note: text overlap with arXiv:2311.07517 http://arxiv.org/abs/2211.10765v2 2025-03-05T08:30:14Z 2022-11-19T18:33:06Z

A topological space $X$ is Baire if the intersection of any sequence of open dense subsets of $X$ is dense in $X$. One of the interesting problems for the space of Baire functions is the Banakh-Gabriyelyan problem: Let $\alpha$ be a countable ordinal. Characterize topological spaces $X$ and $Y$ for which the function space $B_{\alpha}(X,Y)$ is Baire. In this paper, for any Frechet space $Y$ , we have obtained a characterization topological spaces $X$ for which the function space $B_{\alpha}(X,Y)$ is Baire. In particular, we proved that $B_{\alpha}(X,\mathbb{R})$ is Baire if and only if $B_{\alpha}(X,Y)$ is Baire for any Banach space $Y$. Also we proved that many completeness and compactness properties coincide in spaces $B_{\alpha}(X,Y)$ for any Frechet space $Y$.

Alexander V. Osipov 15 pages http://arxiv.org/abs/2404.08874v2 2025-03-05T02:38:56Z 2024-04-13T02:16:18Z

In algebraic topology, the fundamental groupoid is a classical homotopy invariant which is defined using continuous maps from the closed interval to a topological space. In this paper, we construct a semi-coarse version of this invariant, using as paths a finite sequences of maps from $\mathbb{Z}_1$ to a semi-coarse space, connecting their tails through semi-coarse homotopy. In contrast to semi-coarse homotopy groups, this groupoid is not necessarily trivial for coarse spaces, and, unlike coarse homotopy, it is well-defined for general semi-coarse spaces. In addition, we show that the semi-coarse fundamental groupoid which we introduce admits a version of the Van Kampen Theorem.

Jonathan Treviño-Marroquín 34 pages, 16 figures http://arxiv.org/abs/2503.02602v1 2025-03-04T13:21:20Z 2025-03-04T13:21:20Z

Inspired by Zhao and Xu's study on which a dcpo can be determined by its Scott closed subsets lattice, we further investigate whether a poset (or dcpo) $P$ is able to be determined by the family $\mathcal Q(P)$ of its Scott compact saturated subsets, in the sense that the isomorphism between $(\mathcal Q(P), \supseteq)$ and $(\mathcal Q(M), \supseteq)$ implies the isomorphism between $P$ and $M$ for any poset (or dcpo) $M$, in such case, $P$ is called $\mathcal Q_{\sigma}$-unique. Quasicontinuous domains are proved to be $\mathcal Q_{\sigma}$-unique posets and draw support from which, we provide a class of $\mathcal Q_{\sigma}$-unique dcpos. We also define a new kind of posets called $K_D$ and show that every co-sober $K_D$ poset is $\mathcal Q_{\sigma}$-unique. It even yields another kind of $\mathcal Q_{\sigma}$-unique dcpos. It is gratifying that weakly well-filtered co-sober posets are also $\mathcal Q_{\sigma}$-unique. At last, we distinguish among the conditions which make a poset (or dcpo) $\mathcal Q_{\sigma}$-unique from each other by some examples; meanwhile, it is confirmed that none of them except the property of being co-sober are necessary for a poset (or dcpo) to be $\mathcal Q_{\sigma}$-unique.

Huijun Hou Qingguo Li http://arxiv.org/abs/2503.01806v1 2025-03-03T18:36:49Z 2025-03-03T18:36:49Z

The study of local function in topological spaces is remarkable. Various branches have been developed through this study. In this paper, we further consider the local function and exploring the various properties of the same by considering some generalized open sets. In this situation some of the properties of local function fails to hold due to the finite intersection property of the topology. Due to this outcome, we are investigating the situation of dynamical system and Topological Transitivity.

Sk. Selim Chhapikul Miah Monoj Kumar Das Shyamapada Modak