Minimum spanning paths and Hausdorff distance in finite ultrametric spaces

2024-12-23T09:28:48Z

It is shown that a minimum weight spanning tree of a finite ultrametric space can be always found in the form of path. As a canonical representing tree such path uniquely defines the whole space and, moreover, it has much more simple structure. Thus, minimum spanning paths are a convenient tool for studying finite ultrametric spaces. To demonstrate this we use them for characterization of some known classes of ultrametric spaces. The explicit formula for Hausdorff distance in finite ultrametric spaces is also found. Moreover, the possibility of using minimum spanning paths for finding this distance is shown.

Ordinal spaces

2024-12-23T08:44:35Z

Ordinal data analysis is an interesting direction in machine learning. It mainly deals with data for which only the relationships `$<$', `$=$', `$>$' between pairs of points are known. We do an attempt of formalizing structures behind ordinal data analysis by introducing the notion of ordinal spaces on the base of a strict axiomatic approach. For these spaces we study general properties as isomorphism conditions, connections with metric spaces, embeddability in Euclidean spaces, topological properties etc.

Algebraic Topology Without Open Sets: A Net Approach to Homotopy Theory in Limit Spaces

2024-12-22T00:41:29Z

Convergence spaces are a generalization of topological spaces. The category of convergence spaces is well-suited for Algebraic Topology, one of the reasons is the existence of exponential objects provided by continuous convergence. In this work, we use a net-theoretic approach to convergence spaces. The goal is to simplify the description of continuous convergence and apply it to problems related to homotopy theory. We present methods to develop the basis of homotopy theory in limit spaces, define the fundamental groupoid, and prove the groupoid version of the Seifert-van Kampen Theorem for limit spaces.

Thurston construction mapping classes with minimal dilatation

2024-12-20T19:55:36Z

Given a pair of filling curves $α, β$ on a surface of genus $g$ with $n$ punctures, we explicitly compute the mapping classes realizing the minimal dilatation over all the pseudo-Anosov maps given by the Thurston construction on $α,β$. We do so by solving for the minimal spectral radius in a congruence subgroup of $\text{PSL}_2(\mathbb{Z})$. We apply this result to realized lower bounds on intersection number between $α$ and $β$ to give the minimal dilatation over any Thurston construction pA map on $Σ_{g,n}$ given by a filling pair $α\cup β$.

Rings of Quotients of Rings of Functions

2024-12-19T01:07:34Z

From the original PREFACE: The rings of quotients recently introduced by Johnson and Utumi are applied to the ring $C(X)$ of all continuous real-valued functions on a completely regular space $X$. Let $Q(X)$ denote the maximal ring of quotients of $C(X)$; then $Q(X)$ may be realized as the ring of all continuous functions on the dense open sets of $X$ (modulo an obvious equivalence relation). In special cases (e.g., for metric $X$), $Q(X)$ reduces to the classical ring of quotients of $C(X)$ (formed with respect to the regular elements), but in general, the classical ring is only a proper sub-ring of $Q(X)$.

Finite approximations of countable metric and ultrametric compacta

2024-12-18T20:39:41Z

Adapting a homotopy reconstruction theorem for general metric compacta, we show that every countable metric or ultrametric compact space can be topologically reconstructed as the inverse limit of a sequence of finite $T_0$ spaces which are finer approximations of the space.

Links represented by phases of algebraic curves

2024-12-18T08:28:39Z

The prime motivation behind this paper is to prove that any torus link can be realized as the union of the one-dimensional connected components of the set of critical values of the argument map restricted to a complex algebraic plane curve. Moreover, we give an explicit relation between the Newton polygon of such plane curves, and the number of components of the given torus link. This work aims to represent the starting point for a connection between knot theory, tropical geometry, and (co)amoebas.

Dynamical Systems On Generalised Klein Bottles

2024-12-17T14:00:08Z

We propose a high dimensional generalisation of the standard Klein bottle, going beyond those considered previously. We address the problem of generating continuous scalar fields (distributions) and dynamical systems (flows) on such state spaces, which can provide a rich source of examples for future investigations. We consider a class of high dimensional dynamical systems that model distributed information processing within the human cortex, which may be capable of exhibiting some Klein bottle symmetries. We deploy topological data analytic methods in order to analyse their resulting dynamical behaviour, and suggesting future challenges.

Towards a Unified Framework for Bioperations on $e^\star$-Open Sets in Topological Spaces

2024-12-17T05:28:39Z

In this paper, we introduce the concept of $e^\star_{[γ,γ']}$-open sets in topological spaces and examine their properties in detail. Additionally, we propose a new class of functions, termed $(e^\star_{[γ,γ']},\ e^\star_{[β,β']})$-continuous functions, and explore their fundamental characteristics.

Stone-Cech extensions of probability measure spaces

2024-12-16T15:01:47Z

It is proved that $P(βX)=βP(X)$ if and only if $P(X)$ is a pseudocompact space, where $P(X)$ is the space of probability Radon measures with weak topology and $βX$ is a Stone-Cech extension of the space $X$. A locally compact pseudocompact space $X$ is constructed such that $P(X)$ is not pseudocompact. Conditions are obtained under which $P(X)$ is pseudocompact.

Asplund spaces and the finest locally convex topology

2024-12-16T07:39:23Z

In our previous paper we systematized several known equivalent definitions of Fréchet (G\^ ateaux) Differentiability Spaces and Asplund (weak Asplund) Spaces. As an application, we extended the classical Mazur's theorem, and also proved that the product of any family of Banach spaces $(E_α)$ is an Asplund lcs if and only if each $E_α$ is Asplund. The actual work continues this line of research in the frame of locally convex spaces, including the classes of Fréchet spaces (i.e. metrizable and complete locally convex spaces) and projective limits, quojections, $(LB)$-spaces and $(LF)$-spaces, as well as, the class of free locally convex spaces $L(X)$ over Tychonoff spaces $X$. First we prove some "negative" results: We show that for every infinite Tychonoff space $X$ the space $L(X)$ is not even a G\^ ateaux Differentiability Space (GDS in short) and contains no infinite-dimensional Baire vector subspaces. On the other hand, we show that all barrelled GDS spaces are quasi-Baire spaces, what implies that strict $(LF)$-spaces are not GDS. This fact refers, for example, to concrete important spaces $D^{m}(Ω)$, $D(Ω)$, $D(\mathbb{R}^ω)$. A special role of the space $\varphi$, i.e. an $\aleph_{0}$-dimensional vector space equipped with the finest locally convex topology, in this line of research has been distinguished and analysed. It seems that little is known about the Asplund property for Fréchet spaces. We show however that a quojection $E$, i.e. a Fréchet space which is a strict projective limit of the corresponding Banach spaces $E_n$, is an Asplund (weak Asplund) space if and only if each Banach space $E_n$ is Asplund (weak Asplund). In particular, every reflexive quojection is Asplund. Some applications and several illustrating examples are provided.

Constructing Psuedo-$τ$-fine Precompact Groups

2024-12-15T05:17:19Z

Let $τ$ be an uncountable cardinal. The notion of a \emph{$τ$-fine} topological group was introduced in 2021. More recently, H. Zhang et al. generalized this concept by defining pseudo-$τ$-fine topological groups to study certain factorization properties of continuous functions on topological groups. It is known that $τ$-fineness cannot coexist with precompactness in topological groups with uncountable character. In this paper, we investigate this problem further. We prove that, in topological groups with uncountable pseudocharacter, precompactness can coexist with pseudo-$τ$-fineness for some bounded $τ$ but pseudocompactness can never.

On the product of Weak Asplund locally convex spaces

2024-12-13T15:46:44Z

For locally convex spaces, we systematize several known equivalent definitions of Fréchet (G\^ ateaux) Differentiability Spaces and Asplund (Weak Asplund) Spaces. As an application, we extend the classical Mazur's theorem as follows: Let $E$ be a separable Baire locally convex space and let $Y$ be the product $\prod_{α\in A} E_α$ of any family of separable Fréchet spaces; then the product $E \times Y$ is Weak Asplund. Also, we prove that the product $Y$ of any family of Banach spaces $(E_α)$ is an Asplund locally convex space if and only if each $E_α$ is Asplund. Analogues of both results are valid under the same assumptions, if $Y$ is the $Σ$-product of any family $(E_α)$.

Locally Compact Groups with All Dense Subgroups Separable

2024-12-13T14:25:02Z

By a recent result of Juhász and van Mill, a locally compact topological group whose dense subspaces are all separable is metrizable. In this note we investigate the following question: is every locally compact group having all dense subgroups separable also metrizable? We give an example to show the answer is negative for locally compact abelian groups, thereby showing that one cannot directly generalize the assertion by replacing ``subspaces'' with ``subgroups''. On the other hand, we prove that the answer is positive for compact groups which are either connected or algebraically abelian; and for locally compact groups containing only separable subgroups. As an application, we obtain a necessary condition for metrizability of pronilpotent groups.

Totally bounded ultrametric spaces generated by labeled rays

2024-12-12T12:49:54Z

We will say that an infinite tree $T$ is almost a ray if $T$ is the union of a ray and a finite tree. Let $l$ be a non-degenerate labeling of the vertex set $V$ of almost a ray $T$ and let $d_l$ be the corresponding ultrametric on $V$. It is shown that the ultrametric space $(V, d_l)$ is totally bounded iff this space contains an infinite totally bounded subspace. We also prove that the last property characterizes the almost rays.