Related papers: Constructing arcs from paths using Zorn's Lemma
The continuity problem, i.e., the question whether effective maps between effectively given topological spaces are effectively continuous, is reconsidered. In earlier work it was shown that this is always the case, if the effective map also…
A path-following control algorithm enables a system's trajectories under its guidance to converge to and evolve along a given geometric desired path. There exist various such algorithms, but many of them can only guarantee local convergence…
We construct a distance on the moduli space of symplectic toric manifolds of dimension four. Then we study some basic topological properties of this space, in particular, path-connectedness, compactness, and completeness. The construction…
Moduli spaces of algebraic curves and closely related to them Hurwitz spaces, that is, spaces of meromorphic functions on the curves, arise naturally in numerous problems of algebraic geometry and mathematical physics, especially in…
It is well-known that the classical Schwarz lemma yields an explicit comparison of two Hermitian metrics with uniform constant negative curvature bounds through holomorphic maps between complex manifolds. In this paper, we establish Schwarz…
A linear mapping upon real n-dimensional space, where the dimension n is odd, has a real eigenvalue-eigenvector pair. The corresponding statement for complex vector spaces holds true for any dimension n, but should be easy to demonstrate…
We present a new strategy for proving the Ambrose conjecture, a global version of the Cartan local lemma. A linking curve is defined as a curve in the tangent space whose composition with the exponential map is tree formed. This key idea is…
In this article, we prove the existence of common fixed points for a pair of maps on a $q$-spherically complete $T_0$-ultra-quasi-metric space. The present article is a generalization, in the assymmetric setting of the paper of Rao et…
We prove Menger-type results in which the obtained paths are pairwise non-adjacent, both for graphs of bounded maximum degree and, more generally, for graphs excluding a topological minor. We further show better bounds in the subcubic case,…
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…
We present an algorithm to express Wilson lines that are defined on piecewise linear paths in function of their individual segments, reducing the number of diagrams needed to be calculated. The important step lies in the observation that…
We show that every homomorphism from a one-dimensional Peano continuum to a planar Peano continuum is induced by a continuous map up to conjugation. We then prove that the topological structure of the space of points at which a planar Peano…
End-spaces of infinite graphs naturally generalise the Freudenthal boundary and sit at the interface between graph theory, geometric group theory and topology. Our main result is that every end-space can topologically be represented by a…
A parametric version of Brouwer's Fixed Point Theorem, which is proven using the fixed-point index, states that for every continuous mapping $f : (X \times Y) \to Y$, where $X$ is nonempty, compact, and connected subset of a Hausdorff…
To any $V$ in the Grassmannian ${\rm Gr}_k({\mathbb R}^n)$ of $k$-dimensional vector subspaces in ${\mathbb R}^n$ one can associate the diagonal entries of the ($n\times n$) matrix corresponding to the orthogonal projection of ${\mathbb…
We study the homomorphism induced in homology by a closed correspondence between topological spaces, using projections from the graph of the correspondence to its domain and codomain. We provide assumptions under which the homomorphism…
The Schur-Horn Theorem states that there exists a self-adjoint matrix with a given spectrum and diagonal if and only if the spectrum majorizes the diagonal. Though the original proof of this result was nonconstructive, several constructive…
We completely describe in terms of Hausdorff measures the size of the set of points of the circle that are covered infinitely often by a sequence of random arcs with given lengths. We also show that this set is a set with large…
We define a distance analogous to the Gromov-Hausdorff distance that enables the comparison of arbitrary quasi-isometric spaces. We also investigate properties preserved under limits with respect to this distance, as well as properties of…
By Bartle-Graves theorem every surjective map between C*-algebras has a continuous section, and Loring proved that that there exists a continuous section of norm arbitrary close to 1. Here we prove that there exists a continuous section of…