On Dynamical System and Topological Transitivity via Ideals

2025-03-03T07:10:20Z

This paper will discuss the problem of defining the new topological transitivity. To do this several equivalent topological transitive and non-wandering point has been discussed through this paper. This paper also consider the ideal version of transitivity with the help of the amendment of the result Remark $6.9(2)$ of \cite{LL2013}. Corrected version of the Remark: ``If $\mathcal{\bf I}$ is codense, then $\mathcal{\bf I}$-denseness, $*$-denseness and denseness are equivalent" will be ``If $\mathcal{\bf I}$ is completely codense, then $\mathcal{\bf I}$-denseness, $*$-denseness and denseness are equivalent".

Key subgroups in the Polish group of all automorphisms of the rational circle

2025-03-02T15:53:31Z

Extending some results of a joint work with E. Glasner (2021) we continue to study the Polish group $G:=\mathrm{Aut}(\mathbb{Q}_0)$ of all circular order preserving permutations of $\mathbb{Q}_0$ with the pointwise topology, where $\mathbb{Q}_0$ is the rational discrete circle. We show that certain extremely amenable subgroups $H$ of $G:=\mathrm{Aut}(\mathbb{Q}_0)$ are inj-key (i.e., $H$ distinguishes weaker Hausdorff group topologies on $G$) but not co-minimal in $G$. This counterexample answers a question from a joint work with M. Shlossberg (2024) and is inspired by a question proposed by V. Pestov about Polish groups $G$ with metrizable universal minimal $G$-flow $M(G)$. It is an open problem to study Pestov's question in its full generality.

A note on uniform continuity of monotone functions

2025-02-28T09:32:52Z

We prove that it is consistent with ZFC that for every non-decreasing function $f:[0,1]\to [0,1]$, each subset of $[0,1]$ of cardinality $\mathfrak c$ contains a set of cardinality $\mathfrak c$ on which $f$ is uniformly continuous. We show that this statement follows from the assumptions that $\mathfrak d^* < \mathfrak c$ and $\mathfrak c$ is regular, where $\mathfrak d^*\leq \mathfrak d$ is the smallest cardinality $\kappa$ such that any two disjoint countable dense sets in the Cantor set can be separated by sets each of which is an intersection of at most $\kappa$-many open sets in the Cantor set. We establish also that $\mathfrak d^*=\min\{\mathfrak u, \mathfrak d\}=\min\{\mathfrak r, \mathfrak d\}$, thus giving an alternative proof of the latter equality established by J. Aubrey in 2004.

Topologies on abelian groups and a topological five-lemma

2025-02-27T22:01:17Z

In this article we establish some results that involve topologizing exact sequences of abelian groups and derive, in particular, a new topological version of the classical Five-Lemma. These results will be applied in a forthcoming paper to generalizing Lichtenbaum-van Hamel's duality \cite{vH04} to (proper) singular varieties over a $p$-adic field. In such a topological-arithmetical context Pontryagin duality plays a central role and it becomes necessary to topologize hypercohomology groups of complexes of abelian sheaves so that certain long exact sequences of abelian groups become strict exact, i.e., exact in a topological sense.

At most n-valued maps

2025-02-27T15:03:14Z

This paper concerns various models of ``at-most-$n$-valued maps''. That is, multivalued maps $f:X\multimap Y$ for which $f(x)$ has cardinality at most $n$ for each $x$. We consider 4 classes of such maps which have appeared in the literature: $\mathcal U$, the set of exactly $n$-valued maps, or unions of such; $\mathcal F$, the set of $n$-fold maps defined by Crabb; $\mathcal S$, the set of symmetric product maps; and $\mathcal W$, the set of weighted maps with weights in $\mathbb N$. Our main result is roughly that these classes satisfy the following containments: \[ \mathcal U \subsetneq \mathcal F \subsetneq \mathcal S = \mathcal W \] Furthermore we define the general class $\mathcal C$ of all at-most-$n$-valued maps, and show that there are maps in $\mathcal C$ which are outside of any of the other classes above. We also describe a configuration-space point of view for the class $\mathcal C$, defining a configuration space $C_n(Y)$ such that any at-most-$n$-valued map $f:X\multimap Y$ corresponds naturally to a single-valued map $f:X\to C_n(Y)$. We give a full calculation of the fundamental group and homology groups of $C_n(S^1)$.

Inferring a Cell Structure on the Space of Cyclooctane Conformations

2025-02-27T14:44:15Z

The conformation space of cyclooctane, a ringlike organic molecule comprising eight carbon atoms, is a two-dimensional algebraic variety, which has been studied extensively for more than 90 years. We propose a cell structure representing this space, which arises naturally by partitioning the space into subsets of conformations that admit particular symmetries. We do so both for the labeled conformation space, in which the carbon atoms are considered as distinct, and for the actual, unlabeled, conformation space. The proposed cell structure is obtained by identifying subspaces of conformations based on symmetry patterns and studying the geometry and topology of these subsets using methods from dimensionality reduction and topological data analysis. Our findings suggest that, in contrast to the labeled variant, the conformation space of cyclooctane is contractible.

Fixed point results for single and multi-valued three-points contractions

2025-02-27T10:04:41Z

In this paper, we are concerned with the study of the existence of fixed points for single and multi-valued three-points contractions. Namely, we first introduce a new class of single-valued mappings defined on a metric space equipped with three metrics. A fixed point theorem is established for such mappings. The obtained result recovers that established recently by the second author [J. Fixed Point Theory Appl. 25 (2023) 74] for the class of single-valued mappings contracting perimeters of triangles. We next extend our study by introducing the class of multivalued three points contractions. A fixed point theorem, which is a multi-valued version of that obtained in the above reference, is established. Some examples showing the validity of our obtained results are provided.

An Isometric Embedding of the $\ell^\infty$ product space of two bounded subspaces of the Gromov-Hausdorff Space into the Gromov-Hausdorff Space

2025-02-27T04:20:39Z

In this paper, we prove the $\ell^\infty$ product space of two bounded subspaces of the Gromov-Hausdorff space can be isometrically embedded into the Gromov-Hausdorff space.

The characterizations of hyperspaces and free topological groups with an $ω^ω$-base

2025-02-27T03:40:36Z

A topological space $(X, \tau)$ is said to be have an {\it $\omega^\omega$-base} if for each point $x\in X$ there exists a neighborhood base $\{U_{\alpha}[x]: \alpha\in\omega^\omega\}$ such that $U_{\beta}[x]\subset U_{\alpha}[x]$ for all $\alpha\leq\beta$ in $\omega^\omega$. In this paper, the characterization of a space $X$ is given such that the free Abelian topological group $A(X)$, the hyperspace $CL(X)$ with the Vietoris topology and the hyperspace $CL(X)$ with the Fell topology have $\omega^\omega$-bases respectively. The main results are listed as follows: (1) For a Tychonoff space $X$, the free Abelian topological group $A(X)$ is a $k$-space with an $\omega^\omega$-base if and only if $X$ is a topological sum of a discrete space and a submetrizable $k_\omega$-space. (2) If $X$ is a metrizable space, then $(CL(X), \tau_V)$ has an $\omega^\omega$-base if and only if $X$ is separable and the boundary of each closed subset of $X$ is $\sigma$-compact. (3) If $X$ is a metrizable space, then $(CL(X), \tau_F)$ has an $\omega^\omega$-base consisting of basic neighborhoods if and only if $X$ is a Polish space. (4) If $X$ is a metrizable space, then $(CL(X), \tau_F)$ is a Fr\'echet-Urysohn space with an $\omega^\omega$-base, if and only if $(CL(X), \tau_F)$ is first-countable, if and only if $X$ is a locally compact and second countable space.

The answers to two problems on maximal point spaces of domains

2025-02-26T05:16:16Z

A topological space is domain-representable (or, has a domain model) if it is homeomorphic to the maximal point space $\mbox{Max}(P)$ of a domain $P$ (with the relative Scott topology). We first construct an example to show that the set of maximal points of an ideal domain $P$ need not be a $G_{\delta}$-set in the Scott space $\Sigma P$, thereby answering an open problem from Martin (2003). In addition, Bennett and Lutzer (2009) asked whether $X$ and $Y$ are domain-representable if their product space $X \times Y$ is domain-representable. This problem was first solved by \"{O}nal and Vural (2015). In this paper, we provide a new approach to Bennett and Lutzer's problem.

On non-Hausdorff manifolds

2025-02-24T23:00:04Z

We investigate various aspects of non-Hausdorff manifolds (NH-manifold for short). First, we extend some known results about which covering properties, together with (a weakening of) homogeneity, imply that a manifold is Hausdorff. Writing $NH_X(x)$ for the subset of points of a space $X$ which cannot be separated of $x$ by open sets, we exhibit homogeneous NH-manifolds $M$ of dimension $\ge 2$ such that $NH_M(x)$ is non-homogeneous (in particular, non discrete), and give various properties that imply discreteness of $NH_M(x)$ (mainly in dimension $1$). We show that there is an everywhere non-Hausdorff hereditarily separable manifold under CH. We also construct various examples of somewhat pathological NH-manifolds. In particular, we show that there are NH-manifolds $M$ with a point $x\in M$ such that $NH_M(x)$ is a copy of: the Cantor space, any special tree, any $\Psi$-space (dimension $1$), the real line, the long ray, (part of) boundaries of domains in the plane (dimension $2$). We also build a homogeneous $1$-dimensional NH-manifold $M$ such that for each $x,y$ there is some $z$ with $x\in NH_M(z)$, $z\in NH_M(y)$. We start by recalling basic properties of NH-manifolds and use elementary (or at least well known) methods of general or set theoretic topology, with a little bit of conformal theory for some of the examples. Many pictures are given to illustrate the constructions.

On Non-definability of Internal Connectedness via Contact Relation

2025-02-24T17:51:05Z

This short paper is a small contribution to the field of Boolean Contact Algebras. We analyze the non-definability of the property of internal connectedness, and we prove certain minimality conditions for algebras and spaces that can be used in demonstrating that the aforementioned property cannot be expressed by means of contact within regular closed algebras.

A Brunnian Theorem for Finite Families of Random Variables

2025-02-24T09:29:42Z

In 2014, during a study on the connectivity structures of quantum entanglement, I specifically introduced the notion of ''the connectivity structure of a family of random variables'' -- a structure that expresses the dependency relations between the variables in question -- and I stated the following proposition, which can be described as Brunnian in reference to Hermann Brunn's work on links (1892) : "Every finite connectivity structure is that of a family of random variables". At the time, however, I neglected to write down the proof of this assertion, merely providing an intuitive idea of it. The purpose of this article is to present such a proof.

Separation Axioms Among US

2025-02-24T01:02:30Z

A standard introductory result is that Hausdorff spaces have the property US, that is, each convergent sequence has a unique limit. This paper explores several existing and new characterizations of separation axioms that are strictly weaker than $T_2$ but strictly stronger than US.

Group homomorphisms induced by isometries

2025-02-23T20:59:17Z

Let $G$ and $H$ be locally compact groups and consider their associate spaces of almost periodic functions $AP(G)$ and $AP(H)$. We investigate the continuous group homomorphisms induced by isometries of $AP(G)$ into $AP(H)$. Among others, the following results are proved: {\bf Theorem} Let $G$ and $H$ be $\sigma$-compact maximally almost periodic locally compact groups. Suppose that $T$ is a non-vanishing linear isometry of $AP(G)$ into $AP(H)$ that respects finite dimensional unitary representations. Then there is a closed subgroup $H_0\subseteq H$, a continuous group homomorphism $t$ of $H_0$ onto $G$ and an character $\gamma\in \widehat{H}$ such that $(Tf)(h)=\gamma (h)~f(t(h))$ for all $h\in H_0$ and for all $f\in C(G)$. {\bf Theorem} Let $G$ and $H$ be $LC$ Abelian groups and $H$ is connected. Suppose that $T$ is a non-vanishing linear isometry of $AP(G)$ into $AP(H)$ that preserves trigonometric polynomials. Then there is a closed subgroup $H_0\subseteq H$, a continuous group homomorphism $t$ of $H_0$ onto $G$, an element $h_0\in H_0$, a character $\alpha \in \widehat{H}$ and an unimodular complex number $a$ such that $(Tf)(h)=a\cdot \alpha (h)~\cdot f(t(h-h_0))\text{ for all }h\in H_0\text{ and for all }f\in C(G)\text{.}$