Assouad type dimensions of homogeneous Moran sets and Cantor-like sets

2025-01-16T10:26:00Z

In this paper, we give the Assouad dimension formula and the upper bound of the lower dimension for homogeneous Moran sets under the condition $\sup_{k\ge 1}\{n_{k}\}<+\infty$. We also give the Assouad spectrum and the lower spectrum formulas for Cantor-like sets.

Rough ideal convergence in a partial metric space

2025-01-14T12:13:46Z

In this paper, using the concept of ideal, we study the idea of rough ideal convergence of sequences which is an extension of the notion of rough convergence of sequences in a partial metric space. We define the set of rough $\mathcal{I}$-limit points and the set of rough $\mathcal{I}$-cluster points and then we prove some relevant results associated with these sets.

Bi-Lipschitz embeddings revisited

2025-01-13T19:19:57Z

Given a metric space (X, d), we continue our study of the distance function x\mapsto d(x,-) and its relation to bi-Lipschitz embeddings of (X, d) into R^N. As application, given a compact metric-measure space (X, d,μ), we give three sufficient conditions for the existence of such a bi-Lipschitz embedding.

Disjointly non-singular operators and various topologies on Banach lattices

2025-01-12T20:32:37Z

We continue the study of dispersed subspaces and disjointly non-singular (DNS) operators on Banach lattices using topological methods. In particular, we provide a simple proof of the fact that in an order continuous Banach lattice an operator is DNS if and only if it is $n$-DNS, for some $n\in\mathbb{N}$. We characterize Banach lattices with order continuous dual in terms of dispersed subspaces and absolute weak topology. We also connect these topics with the recently launched study of phase retrieval in Banach lattices.

On the axiomatisability of the dual of compact ordered spaces

2025-01-12T10:39:44Z

We prove that the category of Nachbin's compact ordered spaces and order-preserving continuous maps between them is dually equivalent to a variety of algebras, with operations of at most countable arity. Furthermore, we show that the countable bound on the arity is the best possible: the category of compact ordered spaces is not dually equivalent to any variety of finitary algebras. Indeed, the following stronger results hold: the category of compact ordered spaces is not dually equivalent to (i) any finitely accessible category, (ii) any first-order definable class of structures, (iii) any class of finitary algebras closed under products and subalgebras. An explicit equational axiomatisation of the dual of the category of compact ordered spaces is obtained; in fact, we provide a finite one, meaning that our description uses only finitely many function symbols and finitely many equational axioms. In preparation for the latter result, we establish a generalisation of a celebrated theorem by D. Mundici: our result asserts that the category of unital commutative distributive lattice-ordered monoids is equivalent to the category of what we call MV-monoidal algebras. Our proof is independent of Mundici's theorem.

Semitopology: a topological approach to decentralised collaborative action

2025-01-11T21:09:48Z

We introduce semitopology, a generalisation of point-set topology that removes the restriction that intersections of open sets need necessarily be open. The intuition is that points represent participants in a decentralised system, and open sets represent collections of participants that collectively have the authority to collaborate to update their local state; we call this an actionable coalition. Examples of actionable coalition include: majority stakes in proof-of-stake blockchains; communicating peers in peer-to-peer networks; and even pedestrians working together to not bump into one another in the street. Where actionable coalitions exist, they have in common that: collaborations are local (updating the states of the participants in the coalition, but not immediately those of the whole system); collaborations are voluntary (up to and including breaking rules); participants may be heterogeneous in their computing power or in their goals (not all pedestrians want to go to the same place); participants can choose with whom to collaborate; and they are not assumed subject to permission or synchronisation by a central authority. We develop a topology-flavoured mathematics that goes some way to explaining how and why these complex decentralised systems can exhibit order, and gives us new ways to understand existing practical implementations.

On identities in connected topological groups

2025-01-10T23:47:17Z

In 1957, Nemytskii proved the following fact: if in a locally compact or in an Abelian connected group there is a neighborhood of the identity in which some identity holds, then it holds in the entire group. The following question was also posed there: Let G be a connected topological group. In some neighborhood of the identity of the group G the identity $x^3=1$ holds. Is it true that then the identity $x^3=1$ holds in the entire group $G$? The same question is posed for the identity $gx^2 = x^2g$, where $g$ is a fixed element of the group. Platonov formulated the following generalized formulation of the Mytselsky problem: for a topological connected group, is it true that if the identity holds in a neighborhood of the identity, then the identity holds everywhere? In this paper, a negative answer to Platonov's question is given, the following theorem is proven: if $n > 10^{10}$ is odd, then there exists a connected topological group in which the identity $x^n=1$ holds in some neighborhood of unity, but not in the entire group.

The connectedness of Sierpiński sponges with rotational and reflectional components and associated graph-directed systems

2025-01-09T11:05:46Z

We provide two methods to characterize the connectedness of all $d$-dimensional generalized Sierpiński sponges whose corresponding IFSs are allowed to have rotational and reflectional components. Our approach is to reduce it to an intersection problem between the coordinates of graph-directed attractors. More precisely, let $(K_1,\ldots,K_n)$ be a Cantor-type graph-directed attractor in $\mathbb{R}^d$. By creating an auxiliary graph, we provide an effective criterion for whether $K_i\cap K_j$ is empty for every pair of $1\leq i,j\leq n$. Moreover, the emptiness can be checked by examining only a finite number of geometric approximations of the attractor. The approach is also applicable to more general graph-directed systems.

When Max_d(G) is zero-dimensional

2025-01-07T13:21:16Z

This article is a continuation of [6] where a classification of when the space of minimal prime subgroups of a given lattice-ordered group equipped with the inverse topology has a clopen $π$-base. For nice $\ell$-groups, (e.g. W-objects) this occurs precisely when the space of maximal $d$-subgroups (qua the hull kernel topology) has a clopen $π$-base. It occurred to us that presently there is no classification of when the space of maximal $d$-subgroups of a W-object is zero-dimensional, except for the case of the $C(X)$, the real-valued continuous functions on a topological space $X$, considered in [5].

Generalization of Arnold's $J^+$-invariant for pairs of immersions

2025-01-07T10:31:10Z

This paper introduces the $J^{2+}$-invariant for oriented pairs of generic immersions. This invariant behaves like Arnold's $J^+$-invariant for generic immersions as it is invariant when going through inverse tangencies and triple points, but changes when traversing direct tangencies. It has several useful properties, for example its independence of the $J^+$-invariants of the single immersions forming the pair. Also it is invariant under simultaneous orientation change. Therefore, one can define two $J^{2+}$-invariants for each pair depending on its orientation, those two invariants are not independent from each other. Furthermore the invariant is extended to the $J^{n+}$-invariant for links of n oriented immersions.

Quasisymmetric mappings in b-metric spaces

2025-01-07T09:33:27Z

Considering quasisymmetric mappings between b-metric spaces we have found a new estimation for the ratio of diameters of two subsets which are images of two bounded subsets. This result generalizes the well-known Tukia-Väisälä inequality. The condition under which the image of a b-metric space under quasisymmetry is also a b-metric space is established. Moreover, the latter question is investigated for additive metric spaces.

On quasisymmetric mappings between ultrametric spaces

2025-01-06T08:25:31Z

In 1980 P. Tukia and J. Väisälä in seminal paper [P. Tukia and J. Väisälä, Quasisymmetric embeddings of metric spaces, Ann. Acad. Sci. Fenn., Ser. A I, Math. 5, 97--114 (1980)] extended a concept of quasisymmetric mapping known from the theory of quasiconformal mappings to the case of general metric spaces. They also found an estimation for the ratio of diameters of two subsets which are images of two bounded subsets of a metric space under a quasisymmetric mapping. We improve this estimation for the case of ultrametric spaces. It was also shown that the image of an ultrametric space under an $η$-quasisymmetric mapping with $η(1)=1$ is again an ultrametric space. In the case of finite ultrametric spaces it is proved that such mappings are ball-preserving.

Indefinite Descriptive Proximities Inherent in Dynamical Systems. An Axiomatic Approach

2025-01-05T15:43:39Z

This paper introduces indefinite proximities inherent in the collection of physical objects found in a dynamical system. Axiomatically, these indefinite proximities lead to a new form of Hausdorff topology, which is indefinite descriptively. The main results in this paper are (1) Every descriptive proximity space on a dynamical system is indefinite (Theorem 1), (2) Every dynamical system has an indefinite descriptive Hausdorff topology (Theorem 3), and (3) The energy of a dynamical system varies with every clock tick (Theorem 4). An application of these results is given in terms of the detection of those portions of a dynamical system that are stable and that have low energy dissipation.

Expensive Homeomorphism of Convex Bodies

2025-01-04T11:23:41Z

In this paper, we address the longstanding question of whether expansive homeomorphisms can exist within convex bodies in Euclidean spaces. Utilizing fundamental tools from topology, including the Borsuk-Ulam theorem and Brouwer's fixed-point theorem, we establish the nonexistence of such mappings. Through an inductive approach based on dimension and the extension of boundary homeomorphisms, we demonstrate that expansive homeomorphisms are incompatible with the compact and convex structure of these bodies. This work highlights the interplay between topological principles and metric geometry, offering new insights into the constraints imposed by convexity.

Closed graph property and Khalimsky spaces

2025-01-03T19:19:39Z

In the following text for Khalimsky $n-$dimensional space $\mathcal{K}^n$ we show self--map $f:\mathcal{K}^n\to\mathcal{K}^n$ has closed graph if and only if there exist integers $λ_1,\ldots,λ_n$ such that $f$ is a constant map with value $(2λ_1,\cdots,2λ_n)$. We also show each self--map on Khalimsky circle and Khalimsky sphere which has closed graph is a constant map. The text is motivated by examples.