Related papers: A short and elementary proof of Hanner's theorem

This article re-examines Lawvere's abstract, category-theoretic proof of the fixed-point theorem whose contrapositive is a `universal' diagonal argument. The main result is that the necessary axioms for both the fixed-point theorem and the…

We prove that, for every complex Hilbert space $H$, every weak-2-local derivation on $B(H)$ or on $K(H)$ is a linear derivation. We also establish that every weak-2-local derivation on an atomic von Neumann algebra or on a compact…

We discuss homogeneity and universality issues in the theory of abstract linear spaces, namely, structures with points and lines satisfying natural axioms, as in Euclidean or projective geometry. We show that the two smallest projective…

Hahn's embedding theorem asserts that linearly ordered abelian groups embed in some lexicographic product of real groups. Hahn's theorem is generalized to a class of residuated semigroups in this paper, namely, to odd involutive commutative…

We give a short and uniform proof of a special case of Tits' Centre Conjecture using a theorem of J-P. Serre and a result from our earlier work. We consider fixed point subcomplexes $X^H$ of the building $X = X(G)$ of a connected reductive…

We show that if an orientation-preserving homeomorphism of the plane has a topologically chain recurrent point, then it has a fixed point, generalizing the Brouwer plane translation theorem.

Kapranov Theorem is a well known generalization of Newton-Puiseux theorem for the case of several variables. This theorem is stated mainly in the context of tropical geometry. We present a new, constructive proof, that also characterizes…

A generalization of L{\"u}roth's theorem expresses that every transcendence degree 1 subfield of the rational function field is a simple extension. In this note we show that a classical proof of this theorem also holds to prove this…

This paper provides a new simple proof of Hesse's theorem in projective geometry for any dimension.

The domain of convergence of a Heun function obtained through the Poincar\'{e}--Perron (P--P) theorem is not absolute convergence but conditional one [2]. We show that a uniqueness theorem is not available if we apply the P--P theorem into…

We introduce the classical Jung theorem and fixed point theorems and prove similar ones for $p$-uniformly convex spaces.

We give a new proof the arithmetic Hilbert-Samuel theorem by using classical reductions in the theory of coherent sheaves, a direct proof in the case of the projective space and the conservation of some numerical invariants, called…

We present a general fixed point theorem which can be seen as the quintessence of the principles of proof for Banach's Fixed Point Theorem, ultrametric and certain topological fixed point theorems. It works in a minimal setting, not…

We consider constrained Horn clause solving from the more general point of view of solving formula equations. Constrained Horn clauses correspond to the subclass of Horn formula equations. We state and prove a fixed-point theorem for Horn…

The Erd\H{o}s-Anning theorem states that every point set in the Euclidean plane with integer distances must be either collinear or finite. More strongly, for any (non-degenerate) triangle of diameter~$\delta$, at most $O(\delta^2)$ points…

We show that a single special separation theorem (namely, a consequence of the geometric form of the Hahn-Banach theorem) can be used to prove Farkas type theorems, existence theorems for numerical quadrature with positive coefficients, and…

In this paper, we establish a suitable version of the Hahn-Banach theorem within the framework of Colombeau spaces, a class of spaces used to model generalized functions. Our approach addresses the case where maps are defined…

Recently many papers on cone metric spaces have been appeared, and main topological properties of such spaces have been obtained. A cone metric space is Hausdorff, and first countable, so the topology of it coincides with a topology induced…

Haver's near-selection theorem deals with approximate selections of Hausdorff continuous CE-valued mappings defined on $\sigma$-compact metrizable $C$-spaces. In the present paper, we extend this theorem to all paracompact $C$-spaces. The…

We define the infinite dimensional simplex to be the closure of the convex hull of the standard basis vectors in R^infinity, and prove that this space has the 'fixed point property': any continuous function from the space into itself has a…