Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userFixed point theorem for a Meir-Keeler type mapping in a metric space with a transitive relation
95
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
The aim of this paper is to provide characterizations of a Meir-Keeler type mapping and a fixed point theorem for the mapping in a metric space endowed with a transitive relation.
rate research
Read More
We extend to binary relational systems the notion of compact and normal structure, introduced by J.P.Penot for metric spaces, and we prove that for the involutive and reflexive ones, every commuting family of relational homomorphisms has a common fixed point. The proof is based upon the clever argument that J.B.Baillon discovered in order to show that a similar conclusion holds for bounded hyperconvex metric spaces and then refined by the first author to metric spaces with a compact and normal structure. Since the non-expansive mappings are relational homomorphisms, our result includes those of T.C.Lim, J.B.Baillon and the first author. We show that it extends the Tarskis fixed point theorem to graphs which are retracts of reflexive oriented zigzags of bounded length. Doing so, we illustrate the fact that the consideration of binary relational systems or of generalized metric spaces are equivalent.
We establish two fixed point theorems for certain mappings of contractive type. The first result is concerned with the case where such mappings take a nonempty, closed subset of a complete metric space $X$ into $X$, and the second with an application of the continuation method to the case where they satisfy the Leray-Schauder boundary condition in Banach spaces.
We obtain an extended Reich fixed point theorem for the setting of generalized cone rectangular metric spaces without assuming the normality of the underlying cone. Our work is a generalization of the main result in cite{AAB} and cite{JS}.
Poincares last geometric theorem (Poincare-Birkhoff Theorem) states that any area-preserving twist map of annulus has at least two fixed points. We replace the area-preserving condition with a weaker intersection property, which states that any essential simple closed curve intersects its image under $f$ at least at one point. The conclusion is that any such map has at least one fixed point. Besides providing a new proof to Poincares geometric theorem, our result also has some applications to reversible systems.
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 formula equations which is based on expressing the fixed-point computation of a minimal model of a set of Horn clauses on the object level as a formula in first-order logic with a least fixed point operator. We describe several corollaries of this fixed-point theorem, in particular concerning the logical foundations of program verification, and sketch how to generalise it to incorporate abstract interpretations.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
