Related papers: Constructing arcs from paths using Zorn's Lemma
We construct an explicit transitive free action of a Banach space of H\"older functions on the space of branched rough paths, which yields in particular a bijection between theses two spaces. This endows the space of branched rough paths…
Realization by linear vector fields is constructed for any Lie algebra which admits a biorthogonal system and for its any suitable representation. The embedding into Lie algebras of linear vector fields is analogous to the classical…
The paper is devoted to geometrical investigation of the Gromov-Hausdorff distance on the classes of all metric spaces and of all bounded metric spaces. The main attention is paid to pass connectivity questions. The pass connected…
Let $h:X \to Y$ be a homeomorphism between hyperbolic surfaces with finite topology. If $h$ is homotopic to a holomorphic map, then every closed geodesic in $X$ is at least as long as the corresponding geodesic in $Y$, by the Schwarz Lemma.…
We consider all compatible topologies of an arbitrary finite-dimensional vector space over a non-trivial valuation field whose metric completion is a locally compact space. We construct the canonical lattice isomorphism between the lattice…
In this paper, we prove a theorem on tight paths in convex geometric hypergraphs, which is asymptotically sharp in infinitely many cases. Our geometric theorem is a common generalization of early results of Hopf and Pannwitz, Sutherland,…
A blow-analytic homeomorphism is an arc-analytic subanalytic homeomorphism, and therefore it induces a bijective mapping between spaces of analytic arcs. We tackle the question of the continuity of this induced mapping between the spaces of…
We present an exposition of the *Chain Bounding Lemma*, which is a common generalization of both Zorn's Lemma and the Bourbaki-Witt fixed point theorem. The proofs of these results through the use of Chain Bounding are amongst the simplest…
We give a new proof of the Alexander-Wermer Theorem that characterizes the oriented curves in C^n which bound positive holomorphic chains, in terms of the linking numbers of the curve with algebraic cycles in the complement. In fact, we…
The path spaces of a directed graph play an important role in the study of graph $\css$. These are topological spaces that were originally constructed using groupoid and inverse semigroup techniques. In this paper, we develop a simple,…
In this paper we present short algebraic proofs of the Linear Conway--Gordon--Sachs and the Linear van Kampen--Flores theorems in the spirit of the Radon theorem on convex hulls. {\bf Theorem.} {\it Take any $n+3$ general position points in…
Hausdorff relation, topologically identifying points in a given space, belongs to elementary tools of modern mathematics. We show that if subtle enough mathematical methods are used to analyze this relation, the conclusions may be…
The cohomology theory known as Tmf, for "topological modular forms," is a universal object mapping out to elliptic cohomology theories, and its coefficient ring is closely connected to the classical ring of modular forms. We extend this to…
Many a concrete theorem of abstract algebra admits a short and elegant proof by contradiction but with Zorn's Lemma (ZL). A few of these theorems have recently turned out to follow in a direct and elementary way from the Principle of Open…
We use the criteria of Lalonde and McDuff to show that a path that is generated by a generic autonomous Hamiltonian is length minimizing with respect to the Hofer norm among all homotopic paths provided that it induces no non-constant…
We investigate path-, ray- and branch spaces of trees, certain topological spaces naturally associated with order theoretic trees, and provide topological characterisations for these spaces in terms of the existence of certain kinds of…
We prove the Jordan curve theorem by generalizing the sweepline algorithm for trapezoidal decomposition of a polygon. Our proof uses Zorn's lemma (or, equivalently the axiom of choice). Though several proofs have been given for the Jordan…
In recent work, the authors developed a simple method of constructing topological spaces from certain well-behaved partially ordered sets -- those coming from sequences of relations between finite sets. This method associates a given poset…
The present paper generalizes the result from one of the papers by Galstyan. Namely, we consider two nonempty subsets $A$ and $B$ of a metric space $X$, and construct one-parametric family $F_r$ of subsets obtained by intersection between…
We prove that the space of actions of Z^d by C^1 (orientation-preserving) diffeomorphisms of either the interval or the circle is connected by arcs. This is proved by showing that all such actions can be C^0 conjugated via a 1-parameter…