Related papers: Constructing arcs from paths using Zorn's Lemma
Directed paths have been used by several authors to describe concurrent executions of a program. Spaces of directed paths in an appropriate state space contain executions with all possible legal schedulings. It is interesting to investigate…
For every $r\in\mathbb{N}_{\geq 2}\cup\{\infty\}$, we prove a $C^r$-connecting lemma for Lorenz attractors. To be precise, for a Lorenz attractor of a $3$-dimensional $C^r$ ($r\geq 2$) vector field, a heteroclinic orbit associated to the…
We embed the space of totally real $r$-cycles of a totally real projective variety into the space of complex $r$-cycles by complexification. We provide a proof of the holomorphic taffy argument in the proof of Lawson suspension theorem by…
The main aim of the present note is to consider bounded orthomorphisms between locally solid vector lattices. We establish a version of the remarkable Zannen theorem regarding equivalence between orthomomorphisms and the underlying vector…
In this paper we present a monotonicity which extends a classical theorem of A. Schur comparing the chord length of a convex plane curve with a space curve of smaller curvature. We also prove a Schur's Theorem for spherical curves, which…
A direct proof of the Steiner-Lehmus theorem has eluded geometers for over 170 years. The challenge has been that a proof is only considered direct if it does not rely on reductio ad absurdum. Thus, any proof that claims to be direct must…
Let E be an arbitrary directed graph and let K be any field. It is shown that the Leavitt path algebra A of the graph E over the field K is a Zorn ring if and only if the graph E satisfies the Condition (L), that is, every cycle in E has an…
In this paper we introduce a new kind of topological space, called 'structured space', which locally resembles various kinds of algebraic structures. This can be useful, for instance, to locally study a space that cannot be globally endowed…
The Schwarz lemma for holomorphic maps between Hermitian manifolds is improved. New curvature constraints on the source and target manifolds are introduced and shown to be weaker than the Ricci and real bisectional curvature, respectively.…
We prove that every continuous map from a Stein manifold X to a complex manifold Y can be made holomorphic by a homotopic deformation of both the map and the Stein structure on X. In the absence of topological obstructions the holomorphic…
This note presents several results in graph theory inspired by the author's work in the proof theory of linear logic; these results are purely combinatorial and do not involve logic. We show that trails avoiding forbidden transitions,…
In this paper, we prove a general Schwarz lemma at the boundary for holomorphic mappings from the polydisc to the unit ball in any dimensions. For the special case of one complex variable, the obtained results give the classic boundary…
We prove a generalization of the topological Tverberg theorem. One special instance of our general theorem is the following: Let $\Delta$ denote the 8-dimensional simplex viewed as an abstract simplicial complex, and suppose that its…
We connect the homotopy type of simplicial moduli spaces of algebraic structures to the cohomology of their deformation complexes. Then we prove that under several assumptions, mapping spaces of algebras over a monad in an appropriate…
On any closed symplectic manifold we construct a path-connected neighborhood of the identity in the Hamiltonian diffeomorphism group with the property that each Hamiltonian diffeomorphism in this neighborhood admits a Hofer and spectral…
The Hausdorff hyperspace of a metric space consists of all its non-empty bounded closed sets and it is equipped with the Pompeiu--Hausdorff set distance. We present a simpler novel proof that the Hausdorff hyperspace of a complete space is…
The Riemann-Roch theorem is of utmost importance in the algebraic geometric theory of compact Riemann surfaces. It tells us how many linearly independent meromorphic functions there are having certain restrictions on their poles. The aim of…
A functor from the category of directed trees with inclusions to the category of commutative C*-algebras with injective *-homomorphisms is constructed. This is used to define a functor from the category of directed graphs with inclusions to…
It is well-known that a function on an open set in $\mathbb R^d$ is smooth if and only if it is arc-smooth, i.e., its composites with all smooth curves are smooth. In recent work, we extended this and related results (for instance, a real…
In this note, the Zorn lemma is extended to arbitrary binary relations and thus the Zorn lemma can do for optimization when the transitivity is broken. Zorn's extended lemma can be used to prove existence theorems of generalized solution…