Results 1 to 10 of about 1,116,652 (248)
On Tarski's fixed point theorem [PDF]
Proceedings of the American Mathematical Society, 2014 A concept of abstract inductive definition on a complete lattice is formulated and studied. As an application, a constructive and predicative version of Tarski's fixed point theorem is obtained.Comment: Proc. Amer. Math.
Curi, Giovanni
core +4 more sources
Caristi’s Fixed Point Theorem and Subrahmanyam’s Fixed Point Theorem in ν-Generalized Metric Spaces
Journal of Function Spaces, 2015 We discuss the completeness of ν-generalized metric spaces in the sense of Branciari. We also prove generalizations of Subrahmanyam’s and Caristi’s fixed point theorem.
Badriah Alamri +2 more
doaj +2 more sources
A fixed point theorem of the alternative, for contractions on a generalized complete metric space [PDF]
, 1968 1. Summary. The purpose of this note is to prove a "theorem of the alternative" for any "contraction mapping" T on a "generalized complete metric space" X.
J. B. Díaz, Beatriz Margolis
openalex +2 more sources
Fixed point theorem for mappings contracting perimeters of triangles [PDF]
Journal of Fixed Point Theory and Applications, 2023 We consider a new type of mappings in metric spaces which can be characterized as mappings contracting perimeters of triangles. It is shown that such mappings are continuous.
E. Petrov
semanticscholar +1 more source
On Krasnoselskii's Cone Fixed Point Theorem
Fixed Point Theory and Applications, 2008 In recent years, the Krasnoselskii fixed point theorem for cone maps and its many generalizations have been successfully applied to establish the existence of multiple solutions in the study of boundary value problems of various types.
Man Kam Kwong
doaj +2 more sources
A converse to Banach's fixed point theorem and its CLS-completeness [PDF]
Symposium on the Theory of Computing, 2017 Banach's fixed point theorem for contraction maps has been widely used to analyze the convergence of iterative methods in non-convex problems. It is a common experience, however, that iterative maps fail to be globally contracting under the natural ...
C. Daskalakis +2 more
semanticscholar +1 more source
New Applications of Perov’s Fixed Point Theorem
Mathematics, 2022 The goal of this paper is to consider a differential equation system written as an interesting equivalent form that has not been used before. Using Perov’s fixed point theorem in generalized metric spaces, the existence and uniqueness of the solution are
Sorin Mureşan +2 more
doaj +1 more source
Brouwer's fixed-point theorem in real-cohesive homotopy type theory [PDF]
Mathematical Structures in Computer Science, 2015 We combine homotopy type theory with axiomatic cohesion, expressing the latter internally with a version of ‘adjoint logic’ in which the discretization and codiscretization modalities are characterized using a judgemental formalism of ‘crisp variables ...
Michael Shulman
semanticscholar +1 more source
A short and constructive proof of Tarski’s fixed-point theorem [PDF]
, 2005 I give short and constructive proofs of Tarski’s fixed-point theorem, and of Zhou’s extension of Tarski’s fixed-point theorem to set-valued ...
Echenique, Federico
core +3 more sources
Some New Generalization of Darbo’s Fixed Point Theorem and Its Application on Integral Equations
Mathematics, 2019 In this article, we propose some new fixed point theorem involving measure of noncompactness and control function. Further, we prove the existence of a solution of functional integral equations in two variables by using this fixed point theorem in Banach
Anupam Das, B. Hazarika, Poom Kumam
semanticscholar +1 more source