Related papers: Kakutani's fixed point theorem in constructive mat…

We present new criteria on the existence of fixed points that combine some monotonicity assumptions with the classical fixed point index theory. As an illustrative application, we use our theoretical results to prove the existence of…

One proves that any everywhere defined constructive mapping from a complete metric space into a complete metric space which preserves the property of precompacity of subsets is locally uniformly continuous. This fact can be viewed as…

These informal notes, not intended for publication, provide an approach to the Borsuk--Ulam theorem via Stokes' theorem, in a similar spirit to Lima's proof of the Brouwer fixed point theorem. They are intended to be accessible to anyone…

In this paper, we introduce the concepts of weaknorm, quasi-weaknorm on real vector spaces. By these concepts, we introduce the concept of quasi-locally convex topological vector spaces, which include locally convex topological vector…

We consider Brouwer's fixed point theorem and Sperner's lemma in one dimension. We present a proof of the Brouwer theorem using the Sperner lemma, and vice versa. However, we also show that they are not equivalent, because the Sperner lemma…

We provide theorems containnig both Kakutani and Browder fixed points theorems as immediate corollaries, as well as Michael and Browder selection theorems. For this purpose we introduce convex structures more general than those of locally…

We show the direct applicability of the Brouwer fixed point theorem for the existence of equilibrium points and periodic solutions for differential systems on general domains satisfying geometric conditions at the boundary. We develop a…

In this paper, we prove the existence of fixed points of mappings satisfying the condition (Da), a kind of generalized nonexpansive mappings, on a weakly compact convex subset in a Banach space satisfying Opial's condition. And we use…

In this paper we prove a combinatorial theorem for finite labellings of trees, and show that it is equivalent to a theorem for finite covers of metric trees and a fixed point theorem on metric trees. We trace how these connections mimic the…

In this paper a fixed-point solver for mappings from a Simplex into itself that is gradient-free, global and requires $d$ function evaluations for halvening the error is presented, where $d$ is the dimension. It is based on topological…

We prove Banach, Newton-Raphson and Brouwer fixed point theorems in the framework of generalized smooth functions, a minimal extension of Colombeau's theory (and hence of classical distribution theory) which makes it possible to model…

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.

We propose to use Tarski's least fixpoint theorem as a basis to define recursive functions in the calculus of inductive constructions. This widens the class of functions that can be modeled in type-theory based theorem proving tool to…

We study weak and strong solutions of nonlinear non-compact operator equations in abstract spaces of adapted random points. The main result of the paper is similar to Schauder's fixed-point theorem for compact operators. The illustrative…

We prove a generalization of Kannan's fixed point theorem, based on a recent result of Vittorino Pata.

We study the computational content of the Brouwer Fixed Point Theorem in the Weihrauch lattice. Connected choice is the operation that finds a point in a non-empty connected closed set given by negative information. One of our main results…

The relationship between geometric and variational principles remains central to Nonlinear Analysis. This paper introduces the \textbf{Orbit-Summability Fixed Point Criterion}, a novel, purely dynamical condition, and establishes its…

We establish the first common fixed point theorem for commutative set-valued mappings. This may help to generalize common fixed point theorems in single-valued setting to those in set-valued. We also prove the existence of a fixed point in…

The paper studies a general scheme for constructing metrics on a product of metric spaces by means of a family of continuous convex functions. This construction includes the conventional $p$-metrics and generates metrics that are…

We present a fixed point theorem on topological cylinders in normed linear spaces for maps satisfying a property of stretching a space along paths. This result is a generalization of a similar theorem obtained by D. Papini and F. Zanolin.…