R E S E A R C H
Open Access
PPF dependent common fixed point
theorems for mappings in Banach spaces
Anchalee Kaewcharoen
**Correspondence:
[email protected] Department of Mathematics, Faculty of Science, Naresuan University, Phitsanulok, 65000, Thailand
Centre of Excellence in
Mathematics, CHE, Si Ayutthaya Rd., Bangkok, 10400, Thailand
Abstract
We prove the existence of the PPF dependent common fixed point theorems and the PPF dependent coincidence points for a pair of mappings satisfying some contractive conditions in Banach spaces where the domains and ranges of the mappings are not the same. Our results extend and generalize the results in the literature.
MSC: 54H25; 55M20
Keywords: PPF dependent common fixed points; PPF dependent coincidence points; Razumikhin classes; generalized
ψ
-contractions1 Introduction
The fixed point theory in Banach spaces plays an important role and is useful in mathe-matics. It can be applied for solving various problems, for instance, variational inequalities, optimization and approximation theory. The common fixed point theorems for mappings satisfying certain contractive conditions have been continually studied for a decade (see [–] and references contained therein). Bernfeldet al.[] proved the existence of PPF (past, present and future) dependent fixed points in the Razumikhin class of functions for mappings that have different domains and ranges. Recently, Dhage [] extended the exis-tence of PPF dependent fixed points to PPF common dependent fixed points for mappings satisfying the weaker contractive conditions. In this paper, the PPF dependent fixed point theorems and the PPF dependent coincidence points for a pair of mappings are proven in terms of more general contractive conditions in Banach spaces.
Suppose thatEis a Banach space with the norm · EandIis a closed interval [a,b]
inR. LetE=C(I,E) be the set of all continuousE-valued functions onIequipped with the supremum norm · Edefined by
φE=sup
t∈I
φ(t)E (.)
for allφ∈E. For a fixed elementc∈I, the Razumikhin class of functions inEis defined by
Rc=
φ∈E:φE=φ(c)E
. (.)
Recall that a pointφ∈Eis said to be a PPF dependent fixed point or a fixed point with PPF dependence ofT:E→EifTφ=φ(c) for somec∈I.
Definition . LetAbe a subset ofE. Then:
(i) Ais said to be topologically closed with respect to the norm topology if for each sequence{xn}inAwithxn→xasn→ ∞impliesx∈A.
(ii) Ais said to be algebraically closed with respect to the difference ifx–y∈Afor all
x,y∈A.
Definition . LetS,T:E→Ebe two mappings. A pointφ∈Eis said to be a PPF dependent common fixed point or a common fixed point with PPF dependence ofSand
T ifSφ=φ(c) =Tφfor somec∈I.
Recently, Dhage [] proved the existence of PPF common fixed points for mappings satisfying the condition of Cirić type generalized contraction in a Razumikhin class.
Definition . Two mappingsS,T:E→Eare said to satisfy the condition of Cirić type generalized contraction if there exists a real numberλ∈[, ) satisfying
Sφ–Tα ≤λmax
φ–αE,φ(c) –SφE,α(c) –TαE,
φ(c) –TαE+α(c) –SφE
(.)
for allφ,α∈Eand for somec∈I.
Theorem .(Dhage []) Suppose that S,T:E→E satisfy the condition of Cirić type
generalized contraction.Assume thatRcis topologically closed with respect to the norm topology and is algebraically closed with respect to the difference,then S and T have a unique PPF dependent common fixed point inRc.
Definition . LetA:E→EandS:E→E. A pointφ∈Eis said to be a PPF depen-dent coincidence point or a coincidepen-dent point with PPF dependence ofAandSifAφ=Sφ(c) for somec∈I.
Dhage [] also assured the existence of PPF dependent coincidence points for mappings satisfying the condition of Cirić type generalized contraction (C) in a Razumikhin class.
Definition . A:E→EandS:E→Eare said to satisfy the condition of Cirić type generalized contraction (C) if there exists a real numberλ∈[, ) satisfying
Aφ–AαE≤λmax
Sφ–SαE,Sφ(c) –AφE,Sα(c) –AαE,
Sφ(c) –AαE+Sα(c) –AφE
(.)
for allφ,α∈Eand for somec∈I.
Theorem .(Dhage []) Let A:E→E and S:E→Ebe two mappings satisfying the
condition of Cirić type generalized contraction(C).Suppose that
(b) S(E)is complete; (c) Sis continuous.
IfRc is topologically closed with respect to the norm topology and is algebraically closed with respect to the difference,then A and S have a PPF dependent coincidence point inRc.
In this work, we prove the existence of PPF dependent common fixed point theorems for mappings satisfying the contractive condition which is weaker than the condition of Cirić type generalized contraction. Furthermore, we also prove the PPF dependent coincidence points for mappings satisfying the weaker contractive condition mentioned in [] without being topologically closed with respect to the norm topology of a Razumikhin class. Our results extend Theorem . and partially generalize Theorem ..
2 PPF dependent common fixed points
Let be the set of all functionsψ whereψ : [, +∞)→[, +∞) is a continuous non-decreasing function withψ(t) <tfor allt∈(, +∞) andψ() = . Ifψ∈, thenψ is called a-map. We now introduce the definition of the condition of Cirić type general-izedψ-contraction and prove our first result.
Definition . LetS,T:E→E. We say thatSandTsatisfy the condition of Cirić type generalizedψ-contraction if
Sφ–TαE≤ψ max
φ–αE,φ(c) –SφE,α(c) –TαE,
φ(c) –TαE+α(c) –SφE
(.)
for allφ,α∈Eand for somec∈I.
Theorem . Suppose that S,T:E→E satisfy the condition of Cirić type generalized
ψ-contraction.Assume thatRcis topologically closed with respect to norm topology and is algebraically closed with respect to the difference,then S and T have a unique PPF depen-dent common fixed point inRc.
Proof Letφ∈Rc. SinceSφ∈E, there existsx∈Esuch thatSφ=x. Chooseφ∈Rc
such that
x=φ(c) and φ–φE=φ(c) –φ(c)E.
Sinceφ∈Rcand by assumption, we haveTφ∈E. This implies that there existsx∈E such thatTφ=x. Therefore, we can chooseφ∈Rcsuch that
x=φ(c) and φ–φE=φ(c) –φ(c)E.
By continuing the process as before, we can construct the sequence{φn}such that
and
φn–φn+E=φn(c) –φn+(c)E
for alln∈N∪ {}. We will show that{φn}is a Cauchy sequence inE. Assume thatφN–=
φN for someN∈N. IfNis even, then we haveN= mfor somem∈N. Therefore
φm–φm+E
=φm(c) –φm+(c)E
=Sφm–Tφm–E
≤ψ max
φm–φm–E,φm(c) –SφmE,φm–(c) –Tφm–E,
φm(c) –Tφm–E+φm–(c) –SφmE
≤ψ max
φm–φm–E,φm(c) –φm+(c)E,φm–(c) –φm(c)E,
φm(c) –φm(c)E+φm–(c) –φm+(c)E
≤ψ max
φm–φm–E,φm–φm+E,
φm––φm+E
≤ψ max
φm–φm–E,φm–φm+E,
φm––φmE+φm–φm+E
≤ψmaxφm–φm–E,φm–φm+E
≤ψmaxφm–φm+E
.
This implies that φm–φm+E= and soφm=φm+. Similarly, we can prove that
φm+ =φm+. ThereforeφN =φN+. By mathematical induction, we can conclude that
φN–=φN+k for allk≥. IfN is odd, then by the same argument we also obtain that
φN–=φN+k for allk≥. Therefore{φn}is a constant sequence for alln≥N– . This
implies that{φn}is a Cauchy sequence inE. Suppose thatφn–=φnfor alln∈N. For each n∈N, we obtain that
φn–φn+E =φn(c) –φn+(c)E
=Sφn–Tφn–E
≤ψ max
φn–φn–E,φn(c) –SφnE,φn–(c) –Tφn–E,
φn(c) –Tφn–E+φn–(c) –SφnE
≤ψ max
φn(c) –φn(c)E+φn–(c) –φn+(c)E
≤ψ max
φn–φn–E,φn–φn+E,
φn––φn+E
≤ψ max
φn–φn–E,φn–φn+E,
φn––φnE+φn–φn+E
≤ψmaxφn–φn–E,φn–φn+E
.
Ifmax{φn–φn–E,φn–φn+E}=φn–φn+E, then
φn–φn+E≤ψ
φn–φn+E
<φn–φn+E.
This leads to a contradiction. Therefore
φn–φn+E≤ψ
φn–φn–E
<φn–φn–E.
Thusφn–φn+E≤ φn–φn–E. Similarly, we can prove that
φn+–φn+E≤ φn–φn+E.
It follows that φn–φn+E ≤ φn––φnE for alln∈N. Since the sequence{φn–
φn+E}is a nonincreasing sequence of nonnegative real numbers, we obtain that it is
a convergent sequence. Suppose that
lim
n→∞φn–φn+E=α
for some nonnegative real numberα. We will prove thatα= . Suppose thatα> . Since
φn–φn+E≤ψ
φn–φn–E
for alln∈Nand the continuity ofψ, we have
α≤ψ(α) <α,
which leads to a contradiction. This implies thatα= . We next prove that the sequence
{φn}is a Cauchy sequence inE. It suffices to prove that the sequence{φn}is a Cauchy
sequence inE. Assume that{φn}is not a Cauchy sequence. It follows that there existε>
and two sequences of even positive integers{mk}and{nk}satisfying mk> nk>kfor
eachk∈Nand
Let{mk}be the sequence of the least positive integers exceeding{nk}which satisfies
(.) and
φmk––φnkE<ε. (.)
We will prove thatlimk→∞φmk–φnkE=ε. Sinceφmk–φnkE≥εfor allk∈N, we
have
lim
k→∞φmk–φnkE≥ε.
For eachk∈N, we obtain that
φmk–φnkE≤ φmk–φmk–E+φmk––φmk–E+φmk––φnkE
≤ φmk–φmk–E+φmk––φmk–E+ε.
This implies thatlimk→∞φmk–φnkE≤ε. Therefore
lim
k→∞φmk–φnkE=ε.
Similarly, we can prove that
lim
k→∞φmk+–φnkE=ε, k→∞limφmk–φnk–E=ε
and
lim
k→∞φmk+–φnk–E=ε.
For eachk∈N, we obtain that
φnk–φmk+E≤φnk(c) –φmk+(c)E ≤ Sφmk–Tφnk–E
≤ψ max
φmk–φnk–E,φmk(c) –SφmkE,
φnk–(c) –Tφnk–E,
φmk(c) –Tφnk–E+φnk–(c) –SφnkE
≤ψ max
φmk–φnk–E,φmk(c) –φmk+(c)E, φnk–(c) –φnk(c)E,
φmk(c) –φnk(c)E+φnk–(c) –φnk+(c)E
≤ψ max
φmk–φnk–E,φmk–φmk+E,
φmk–φnkE+φnk––φnk+E
≤ψ max
φmk–φnk–E,φmk–φmk+E,
φnk––φnkE,
φmk–φnkE+φnk––φnkE+φnk–φnk+E
.
By taking the limit of both sides, we have
ε≤ψ(ε) <ε,
which leads to a contradiction. It follows that the sequence{φn} is a Cauchy sequence
and so{φn}is a Cauchy sequence. By the completeness ofE, we have{φn}is a convergent
sequence. Suppose thatlimn→∞φn=φfor someφ∈E. SinceRcis algebraically closed
with respect to the norm topology, we haveφ∈Rc. Moreover, we also obtain that
lim
n→∞φn+=φ=n→∞limφn+.
We will prove thatφis a PPF dependent fixed point ofS. By using (.), we obtain that
Sφ–φ(c)E≤Sφ–φn+(c)E+φn+(c) –φ(c)E
≤ Sφ–Tφn+E+φn+–φE
≤ψ max
φ–φn+E,φ(c) –SφE,φn+(c) –Tφn+E,
φ(c) –Tφn+E+φn+(c) –SφE
+φn+–φE
≤ψ max
φ–φn+E,φ(c) –SφE,φn+(c) –φn+(c)E,
φ(c) –φn+(c)E+φn+(c) –SφE
+φn+–φE
≤ψ max
φ–φn+E,φ(c) –SφE,φn+–φn+E,
φ–φn+E+φn+(c) –SφE
+φn+–φE.
Lettingn→ ∞, we obtain thatSφ–φ(c)E= . ThereforeSφ=φ(c). Similarly, we can
prove thatTφ=φ(c). This implies thatφ is a PPF dependent common fixed point ofS
andT. We finally prove the uniqueness of the PPF dependent fixed point ofSandTinRc.
Letα∈Rcbe any PPF dependent common fixed point ofSandT. Therefore
φ–αE =φ(c) –α(c)E ≤ Sφ–TαE
≤ψ max
φ(c) –TαE+α(c) –SφE
≤ψ max
φ–αE,
φ(c) –α(c)E+α(c) –φ(c)E
≤ψmaxφ–αE,φ–αE
=ψφ–αE
.
It follows thatφ=α. HenceSandT have a unique PPF dependent common fixed point
inRc.
Remark . From the proof of Theorem ., we obtain the following observations: () We assume that the Razumikhin classRcis algebraically closed with respect to
difference, that is,φ–α∈Rcfor allφ,α∈Rc, in order to construct the sequence {φn}satisfying
φ–αE=φ(c) –α(c)E.
() If the Razumikhin classRcis not assumed to be topologically closed, then the limit
of the sequence{φn}may be outside ofRc.
By applying Theorem ., we obtain the following corollary which is Theorem . in [].
Corollary . Suppose that S,T:E→E satisfy the condition of Cirić type generalized
contraction.Assume thatRc is topologically and algebraically closed with respect to the difference,then S and T have a unique PPF dependent fixed point inRc.
Proof Define a functionψ: [, +∞)→[, +∞) byψ(t) =λtfor allt∈[, +∞). Therefore
ψ is a continuous nondecreasing function and
ψ(t) <t for allt∈(, +∞) andψ() = .
This implies that all assumptions in Theorem . are satisfied. Hence the proof is
com-plete.
3 PPF dependent coincidence points
Definition . LetA:E→EandS:E→E. A pointφ∈E is said to be a PPF de-pendent coincidence point or a coincidence point with PPF dependence ofA andS if
Aφ=Sφ(c) for somec∈I.
Definition . LetA:E→EandS:E→E. We say thatAandSsatisfy the condition of Cirić type generalized contraction (C) if there exists a real numberλ∈[, ) satisfying
Aφ–AαE≤λmax
Sφ–SαE,Sφ(c) –AφE,Sα(c) –AαE,
Sφ(c) –AαE+Sα(c) –AφE
(.)
We introduce the following contractive condition which is weaker than the condition of Cirić type generalized contraction (C).
Definition . LetA:E→EandS:E→E. We say thatAandSsatisfy the condition of Cirić type generalizedψ-contraction (C) if
Aφ–AαE≤ψ max
Sφ–SαE,Sφ(c) –AφE,Sα(c) –AαE,
Sφ(c) –AαE+Sα(c) –AφE
(.)
for allφ,α∈Eand for somec∈I.
We now prove the existence of PPF dependent coincidence points for mappings satis-fying the weaker contractive condition assumed in [] without being topologically closed of the Razumikhin class.
Theorem . Let A:E→E and S:E→Ebe two mappings satisfying the condition of
Cirić type generalizedψ-contraction(C).Suppose that
(a) A(E)⊆S(E)(c); (b) S(Rc)is complete;
(c) Sis continuous.
IfRcis algebraically closed with respect to the difference,then A and S have a PPF depen-dent coincidence point inRc.
Proof Letφ∈Rc. SinceAφ∈E, there existsx∈Esuch thatAφ=x. BecauseA(E)⊆
S(E)(c), we can chooseφ∈Rcsuch that
x=Sφ(c) =α(c) and α–αE=α(c) –α(c)E.
SinceAφ∈Eand by assumption, we haveAφ=x for somex∈E. BecauseA(E)⊆
S(E)(c), we can chooseφ∈Rcsuch that
x=Sφ(c) =α(c) and α–αE=α(c) –α(c)E.
By continuing the process as before, we can construct the sequence{αn}such that
Aφn=Sφn+(c), Sφn+=αn+
and
αn–αn+E=αn(c) –αn+(c)E
for alln∈N∪ {}. We will show that{αn}is a Cauchy sequence inE. IfαN =αN+for someN∈N, then we have
αN+–αN+E =αN+(c) –αN+(c)E
≤ψ max
SφN–SφN+E,SφN(c) –AφNE,
SφN+(c) –AφN+E,
SφN(c) –AφN+E+SφN+(c) –AφNE
≤ψ max
αN–αN+E,αN(c) –αN+(c)E,
αN+(c) –αN+(c)E,
αN(c) –αN+(c)E+αN+(c) –αN+(c)E
≤ψ max
αN–αN+E,αN–αN+E,
αN+–αN+E,
αN–αN+E
≤ψ max
αN–αN+E,αN+–αN+E,
αN–αN+E
≤ψ max
αN–αN+E,αN+–αN+E,
αN–αN+E+αN+–αN+E
≤ψmaxαN–αN+E,αN+–αN+E
≤ψαN+–αN+E
.
ThereforeαN+=αN+. By mathematical induction, we obtain that
αN=αN+k for allk∈N.
This implies that{αn}is a constant sequence forn≥N. Thus{αn}is a Cauchy sequence
inE. Suppose thatαn=αn+for alln∈N. For eachn∈N, we have
αn+–αn+E =αn+(c) –αn+(c)E
=Aφn–Aφn+E
≤ψ max
Sφn–Sφn+E,Sφn(c) –AφnE,
Sφn+(c) –Aφn+E,
Sφn(c) –Aφn+E+Sφn+(c) –AφnE
≤ψ max
αn–αn+E,αn(c) –αn+(c)E,
αn+(c) –αn+(c)E,
αn(c) –αn+(c)E+αn+(c) –αn+(c)E
≤ψ max
αn–αn+E,αn–αn+E,
αn+–αn+E,
αn–αn+E
≤ψ max
αn–αn+E,αn+–αn+E,
αn–αn+E
≤ψ max
αn–αn+E,αn+–αn+E,
αn–αn+E+αn+–αn+E
≤ψmaxαn–αn+E,αn+–αn+E
.
Ifmax{αn–αn+E,αn+–αn+E}=αn+–αn+E, then
αn+–αn+E≤ψ
αn+–αn+E
<αn+–αn+E.
This leads to a contradiction. Therefore
αn+–αn+E≤ψ
αn–αn+E
<αn–αn+E.
It follows that αn+–αn+E ≤ αn–αn+E for alln∈N. Since the sequence{αn–
αn+E}is a nonincreasing sequence of real numbers, we obtain that it is a convergent
sequence. Suppose that
lim
n→∞αn–αn+E=α
for some nonnegative real numberα. We will prove thatα= . Assume thatα> . Since
αn+–αn+E≤ψ
αn–αn+E
for alln∈Nand the continuity ofψ, we have
α≤ψ(α) <α,
which leads to a contradiction. This implies thatα= . We will prove that{αn}is a Cauchy
sequence inE. It suffices to prove that the sequence{αn}is a Cauchy sequence inE. Assume that{αn}is not a Cauchy. It follows that there existε> and two sequences of
even positive integers{mk}and{nk}satisfying mk> nk>kfor eachk∈Nand
αmk–αnkE≥ε. (.)
Let{mk}be the sequence of the least positive integers exceeding{nk}which satisfies
(.) and
We will prove thatlimk→∞αmk–αnkE=ε. Sinceαmk–αnkE≥εfor allk∈N, we
have
lim
k→∞αmk–αnkE≥ε.
For eachk∈N, we obtain that
αmk–αnkE≤ αmk–αmk–E+αmk––αmk–E+αmk––αnkE
≤ αmk–αmk–E+αmk––αmk–E+ε.
This implies thatlimk→∞αmk–αnkE≤ε. Therefore
lim
k→∞αmk–αnkE=ε.
Similarly, we can prove that
lim
k→∞αmk+–αnkE=ε, k→∞lim αmk–αnk–E=ε
and
lim
k→∞αmk+–αnk–E=ε.
Since
αnk–αmk+E≤αnk(c) –αmk+(c)E
=Aφnk––AφmkE
≤ψ max
Sφnk––SφmkE,Sφnk–(c) –Aφnk–E,
Sφmk(c) –AφmkE,
Sφnk–(c) –AφmkE+Sφmk(c) –Aφnk–E
≤ψ max
αnk––αmkE,αnk–(c) –αnk(c)E, αmk(c) –αmk+(c)E,
αnk–(c) –αmk+(c)E+αmk(c) –αnk(c)E
≤ψ max
αnk––αmkE,αnk––αnkE,
αmk–αmk+E,
αnk––αmk+E+αmk–αnkE
,
by taking the limit of both sides, we have
which leads to a contradiction. It follows that the sequence{αn} is a Cauchy sequence
and so{αn}is a Cauchy sequence inE. Therefore{Sφn}is a Cauchy sequence inS(Rc).
By the completeness of S(Rc), we have{Sφn} is a convergent sequence. Suppose that limn→∞Sφn=φ∗ for someφ∗∈S(Rc). Thereforeφ∗=Sφ for someφ∈Rc. Moreover,
we also have
lim
n→∞Aφn=n→∞limSφn+(c) =Sφ(c).
We will prove thatφis a PPF dependent coincidence fixed point ofAandS. By using (.), we obtain that
Aφ–Sφ(c)E≤ Aφ–AφnE+Aφn–Sφ(c)E ≤ Aφ–AφnE+Sφn+(c) –Sφ(c)E
≤ψ max
Sφ–SφnE,Sφ(c) –AφE,Sφn(c) –AφnE,
Sφ(c) –AφnE+Sφn(c) –AφE
+Sφn+(c) –Sφ(c)E.
By takingn→ ∞, we obtain thatAφ=Sφ(c). Henceφ is a PPF dependent coincidence
point ofAandS.
By applying Theorem ., we obtain the following corollary.
Corollary . Let A:E→E and S:E→Ebe two mappings satisfying the condition of
Cirić type generalized contraction(C).Suppose that
(a) A(E)⊆S(E)(c); (b) S(Rc)is complete;
(c) Sis continuous.
IfRcis algebraically closed with respect to the difference,then A and S have a PPF depen-dent coincidence point inRc.
Proof Define a functionψ: [, +∞)→[, +∞) byψ(t) =λtfor allt∈[, +∞). Therefore
A:E→EandS:E→Esatisfy the condition of Cirić type generalizedψ-contraction (C). This implies that all assumptions in Theorem . are now satisfied. Hence the proof
is complete.
Questions
(i) Are the results in Theorem . and Theorem . still true when the norm closedness forRcis replaced by weak closedness or weak∗closedness (for dual Banach spaces)?
(ii) Is there some way to improve the results to more than two mappings or a family of mappings as in the case of nonexpansive mappings (see, for example, [] and references contained therein)?
Competing interests
Acknowledgements
This research is supported by the Centre of Excellence in Mathematics, the Commission of Higher Education, Thailand. I would like to express my deep thanks to the referees for their suggestions and comments which led to the improvement of the manuscript.
Received: 19 October 2012 Accepted: 22 May 2013 Published: 6 June 2013
References
1. Beg, I, Abbas, M: Coincidence point and invariant approximation for mappings satisfying generalized weak contractive condition. Fixed Point Theory Appl. (2006). doi:10.1155/FPTA/2006/74503
2. Jungck, G: Compatible mappings and common fixed points. Int. J. Math. Math. Sci.9, 771-779 (1968) 3. Jungck, G: Common fixed points for commuting and compatible maps on compacta. Proc. Am. Math. Soc.103,
977-983 (1988)
4. Jungck, G: Common fixed points for noncontinuous nonself maps on nonmetric spaces. Far East J. Math. Sci.4, 199-215 (1996)
5. Jungck, G, Hussain, N: Compatible maps and invariant approximations. J. Math. Model. Algorithms325, 1003-1012 (2007)
6. Pant, RP: Common fixed points of noncommuting mappings. J. Math. Anal. Appl.188, 436-440 (1994) 7. Sintunavarat, W, Kumam, P: Common fixed point theorems for generalizedJ H-operators classed and invariant
approximations. J. Inequal. Appl. (2011). doi:10.1186/1029-242X-2011-67
8. Bernfeld, SR, Lakshmikantham, V, Reddy, YM: Fixed point theorems of operators with PPF dependence in Banach spaces. Appl. Anal.6, 271-280 (1977)
9. Dhage, BC: On some common fixed point theorems with PPF dependence in Banach spaces. J. Nonlinear Sci. Appl.5, 220-232 (2012)
10. Lau, AT-M, Zhang, Y: Fixed point properties for semigroups of nonlinear mappings and amenability. J. Funct. Anal.
263, 2949-2977 (2012)
doi:10.1186/1029-242X-2013-287
Cite this article as:Kaewcharoen:PPF dependent common fixed point theorems for mappings in Banach spaces.