Related papers: A logical analysis of fixpoint theorems
We obtain sufficient conditions for existence of unique fixed point of Kannan type mappings on complete metric spaces and on generalized complete metric spaces depended an another function.
In this paper we introduce FG- coupled fixed point, which is a generalization of coupled fixed point for nonlinear mappings in partially ordered complete metric spaces. We discuss existence and uniqueness theorems of FG- coupled fixed…
In this paper, first we have established two sets of sufficient conditions for a TS-IF contractive mapping to have unique fixed point in a intuitionistic fuzzy metric space. Then we have defined \,$(\,\epsilon \,,\, \lambda\,)$\,…
In this paper, we present an integral Suzuki-type fixed point theorem for multivalued mappings defined on a complete metric space in terms of the \'{C}iri\'{c} integral contractions. As an application, we will prove an existence and…
The aim of this paper is to prove a fixed point theorem on a generalised cone metric spaces for maps satisfying general contractive type conditions.
We give a quick survey of the various fixed point theorems in computability theory, partial combinatory algebra, and the theory of numberings, as well as generalizations based on those. We also point out several open problems connected to…
In this paper, we give a generalization of Hicks type contractions and Golet type contractions on fuzzy metric spaces. We prove some fixed point theorems for this new type contractions mappings on fuzzy metric spaces.
We introduce and study a general concept of multiple fixed point for mappings defined on partially ordered distance spaces in the presence of a contraction type condition and appropriate monotonicity properties. This notion and the obtained…
The notion of a (metric) modular on an arbitrary set and the corresponding modular space, more general than a metric space, were introduced and studied recently by the author [V. V. Chistyakov, Metric modulars and their application, Dokl.…
We investigate the continuum limit of a compact formulation of the lattice U(1) gauge theory in 4 dimensions using a nonperturbative gauge-fixed regularization. We find clear evidence of a continuous phase transition in the pure gauge…
Fixed point theorems are ubiquitous in economic research. Many studies cite Smithson (1971) ``Fixed points of order preserving multifunctions,'' yet the original proof contains errors. This note presents a new, concise proof and explains…
We establish a coupled fixed points theorem for a meaningful class of mixed monotone multivalued operators and then we use it to derive some results on existence of quasisolutions and solutions to first--order functional differential…
In this paper we introduce generalized symmetric Meir-Keeler contractions and prove some coupled fixed point theorems for mixed monotone operators $F:X \times X \rightarrow X$ in partially ordered metric spaces. The obtained results extend,…
In this work, using a new geometrical approach we study to the existence of the fixed-point of mappings that independence of the smoothness, and also of their single-values or multi-values. This work proved the theorems that generalize in…
We introduce and study a new type of mappings in metric spaces termed $n$-point Kannan-type mappings. A fixed-point theorem is proved for these mappings. In general case such mappings are discontinuous in the domain but necessarily…
In this paper, contractive mappings of \'Ciri\'c-Matkowski type in fuzzy metric spaces are studied. A class $\Psi_1$ of gauge functions $\psi:(0,1]\to(0,1]$ such that, for any $r\in(0,1)$, there exists $\rho\in(r,1)$ such that $1-r> \tau…
Let $X$ be a linear space over a field $\mathbb{K}$ and $(X, \rho, *)$ a fuzzy seminorm space where $(\rho, *)$ a fuzzy seminorm with $*$ a continuous $t$-norm. We give a fixed point theorem for Fuzzy Locally Convex Space.
In this paper, we develop an Isabelle/HOL library of order-theoretic fixed-point theorems. We keep our formalization as general as possible: we reprove several well-known results about complete orders, often with only antisymmetry or…
We prove that, in a large class of Banach lattices, the fixed space of each commuting family of positive linear contractions is a lattice subspace. As consequences, new cyclicity results for the peripheral point spectra of positive…
In this paper, we introduce two new types of enriched contractions, viz., enriched $\mathcal{A}$-contraction and enriched $\mathcal{A}'$-contraction. Then we obtain fixed points of mappings satisfying such contractions using the fixed point…