- Research
- Open Access

# Fixed point theorems for *w*-cone distance contraction mappings in tvs-cone metric spaces

- Ljubomir Ćirić
^{1}Email author, - Hossein Lakzian
^{2}and - Vladimir Rakočević
^{3}

**2012**:3

https://doi.org/10.1186/1687-1812-2012-3

© Ćirić et al; licensee Springer. 2012

**Received:**11 April 2011**Accepted:**4 January 2012**Published:**4 January 2012

## Abstract

In this article, we introduce the concept of a *w*-cone distance on topological vector space (tvs)-cone metric spaces and prove various fixed point theorems for *w*-cone distance contraction mappings in tvs-cone metric spaces. The techniques of the proof of our theorems are more complex then in the corresponding previously published articles, since a new technique was necessary for the considered class of mappings. Presented fixed point theorems generalize results of Suzuki and Takahashi, Abbas and Rhoades, Pathak and Shahzad, Raja and Veazpour, Hicks and Rhoades and several other results existing in the literature.

**Mathematics subject classification (2010)**: 47H10; 54H25.

## Keywords

- fixed point
*w*-distance- tvs cone metric

## 1 Introduction and preliminaries

There exist many generalizations of the concept of metric spaces in the literature. Fixed point theory in abstract metric or *K*-metric spaces was developed in the middle of 70th years of twentieth century. Huang and Zhang [1] re-introduced and studied the concept of cone metric spaces over a Banach space, and proved several fixed point theorems. Then, there have been a lot of articles in which known fixed point theorems in metric are extended to cone metric spaces. Recently, Du [2] used the scalarization function and investigated the equivalence of vectorial versions of fixed point theorems in *K*-metric spaces and scalar versions of fixed point theorems in metric spaces. He showed that many of the fixed point theorems for mappings satisfying contractive conditions of a linear type in *K*-metric spaces can be considered as corollaries of corresponding theorems in metric spaces. Nevertheless, the fixed point theory in *K*-metric spaces proceeds to be actual, since the method of scalarization function cannot be applied for a wide class of weakly contractive mapping, satisfying nonlinear contractive conditions.

Kada et al. [3] introduced and studied the concept of *w*-distance on a metric space. They give examples of *w*-distance and improved Caristi's fixed point theorem, Ekeland's *ε*-variational's principle and the nonconvex minimization theorem according to Takahashi (see many useful examples and results on *w*-distance in [4–8] and in references there in).

**Definition 1**. [3]. *Let X be a metric space with metric d. Then a function p* : *X* × *X* → [0, ∞) *is called a w-distance on X if the following are satisfied:*

*(1) p*(*x*, *z*) ≤ *p*(*x*, *y*) + *p*(*y*, *z*), *for any x*, *y*, *z* ∈ *X*,

*(2) for any x* ∈ *X, p*(*x*, ·): *X* → [0, ∞) *is lower semicontinuous*,

*(3) for any ε >* 0, *there exist δ >* 0 *such that p*(*z*, *x*) ≤ *δ and p*(*z*, *y*) ≤ *δ imply d*(*x*, *y*) ≤ *ε*.

In the following we suppose that *E* is a real Hausdorff topological vector space (*tvs* for short) with the zero vector *θ*. A proper nonempty and closed subset *P* of *E* is called a (convex) *cone* if *P* + *P* ⊂ *P*, *λP* ⊂ *P* for *λ* ≥ 0 and *P* ∩ (-*P*) = *θ*. We shall always assume that the cone *P* has a nonempty interior int *P* (such cones are called *solid*).

Each cone *P* induces a partial order ≼ on *E* by *x* ≼ *y* ⇔ *y - x* ∈ *P*. *x* ≺ *y* will stand for *x* ≼ *y* and *x* ≠ *y*, while *x* ≪ *y* will stand for *y* - *x* ∈ int *P*. The pair (*E*, *P*) is an *ordered tvs*.

Let us recall that the algebraic operations in tvs-cone are continuous functions. For the convenience of the reader we give the next result.

**Lemma 2**. *Let E be a tvs over* ℱ = ℝ, ℂ.

*(1) Suppose that x*_{
n
} , *y*_{
n
} , *x*, *y* ∈ *E and x*_{
n
} → *x and y*_{
n
} → *y. Then x*_{
n
} + *y*_{
n
} → *x* + *y*.

*(2) Suppose that x*_{
n
} , *x* ∈ *E, λ*_{
n
} , λ ∈ ℱ, *x*_{
n
} → *x and λ*_{
n
} → *λ. Then λ*_{
n
}*x*_{
n
} → *λ*_{
x
} .

**Proof**. (1) Suppose that

*W*⊂

*E*is an open set and

*x*+

*y*∈

*W*. Let us define

*f*:

*E*×

*E*↦

*E*by

*f*(

*u*,

*v*) =

*u*+

*v*,

*u*,

*v*∈

*E*. Because

*f*is continuous at (

*x*,

*y*) there is an open set

*G*⊂

*E*×

*E*such that (

*x*,

*y*) ∈

*G*and

*f*(

*G*) ⊂

*W*. Now there are open sets

*U*

_{ i },

*V*

_{ i }⊂

*E*,

*i*∈

*I*, such that

*G*= ∪

_{ i∈I }

*U*

_{ i }×

*V*

_{ i }. Hence, there exists

*i*

_{0}∈

*I*such that $\left(x,y\right)\in {U}_{{i}_{0}}\times {V}_{{i}_{0}}$. Because $x\in {U}_{{i}_{0}}$ and

*x*

_{ n }→

*x*, there exists

*n*

_{1}such that ${x}_{n}\in {U}_{{i}_{0}}$ for all

*n*≥

*n*

_{1}. Also, because $y\in {V}_{{i}_{0}}$ and

*y*

_{ n }

*→ y*, there exists

*n*

_{2}such that ${y}_{n}\in {V}_{{i}_{0}}$ for all

*n*≥

*n*

_{2}. Hence, ${x}_{n}+{y}_{n}=f\left({x}_{n},{y}_{n}\right)\in f\left({U}_{{i}_{0}}\times {V}_{{i}_{0}}\right)\subset W$ for all

*n*≥ max{

*n*

_{1},

*n*

_{2}}.Thus,

*x*

_{ n }+

*y*

_{ n }→

*x*+

*y*.

- (2)
Suppose that

*W*⊂*E*is an open set and*λx*∈*W*. Let us define*g*: ℱ × ℰ ↦ ℰ by*g*(*μ*,*v*) =*μv*,*μ*∈ ℱ,*v*∈ ℰ. Because*g*is continuous at (λ,*x*) there is an open set*G*⊂ ℱ × ℰ such that (*λ*,*x*) ∈*G*and*g*(*G*) ⊂*W*. Now there are open sets*U*_{ i }⊂ ℱ,*V*_{ i }⊂ ℰ,*i*∈*I*, such that*G*= ∪_{ i∈I }*U*_{ i }×*V*_{ i }. Hence, there exists*i*_{0}∈*I*such that $\left(\lambda ,x\right)\in {U}_{{i}_{0}}\times {V}_{{i}_{0}}$. Because $\lambda \in {U}_{{i}_{0}}$ and*λ*_{ n }→*λ*, there exists*n*_{1}such that ${\lambda}_{n}\in {U}_{{i}_{0}}$for all*n*≥*n*_{1}. Also, because $x\in {V}_{{i}_{0}}$ and*x*_{ n }→*x*, there exists*n*_{2}such that ${x}_{n}\in {V}_{{i}_{0}}$ for all*n*≥*n*_{2}. Hence, ${\lambda}_{n}{x}_{n}=g\left({\lambda}_{n},{x}_{n}\right)\in g\left({U}_{{i}_{0}}\times {V}_{{i}_{0}}\right)\subset W$ for all*n*≥ max{*n*_{1},*n*_{2}}. Thus, λ_{ n }*x*_{ n }→*λx*. ■

Following [1, 2, 9, 10] we give the following

**Definition 3**. *Let X be a nonempty set and* (*E.P*) *an ordered tvs. A function d* : *X* × *X* → *E is called a tvs-cone metric and* (*X*, *d*) *is called a tvs-cone metric space if the following conditions hold:*

(*C* 1) *θ* ≼ *d*(*x*, *y*) *for all x*, *y* ∈ *X and d*(*x*, *y*) = *θ if and only if x* = *y;*

(*C* 2) *d*(*x*, *y*) = *d*(*y*, *x*) *for all x*, *y* ∈ *X;*

(*C* 3) *d*(*x*, *z*) ≼ *d*(*x*, *y*) + *d*(*y*, *z*) *for all x*, *y*, *z* ∈ *X*.

*x*∈

*X*and {

*x*

_{ n }} be a sequence in

*X*. Then, it is said that

- (i)
{

*x*_{ n }} (tvs-cone) converges to*x*if for every*c*∈*E*with*θ ≪ c*there exists a natural number*n*_{0}such that*d*(*x*_{ n },*x*)*≪ c*for all*n*>*n*_{0}; we denote it by lim_{n→∞}x_{n}=*x*or*x*_{ n }→*x*as*n*→ ∞; - (ii)
{

*x*_{ n }}is a (tvs-cone) Cauchy sequence if for every*c*∈*E*with 0 ≪*c*there exists a natural number*n*_{0}such that*d*(*x*_{ m },*x*_{ n }) ≪*c*for all*m*,*n > n*_{0}; - (iii)
(

*X*,*d*) is (tvs-cone) complete if every tvs-Cauchy sequence is (tvs) convergent in*X*.

Let (*X*, *d*) be a tvs-cone metric space. Then the following properties are often used (see e.g., [1, 2, 9–13]).

(**p**_{1}) If *u* ≤ *v* and *v* ≪ *w* then *u* ≪ *w*.

(**p**_{2}) If *a* ≤ *b* + *c* for each *c* ∈ int *P* then *a* ≤ *b*.

(**p**_{3}) If *a* ≤ *λa*, where *a* ∈ *P* and 0 *< λ <* 1, then *a* = *θ*.

(**p**_{4}) If *ε* ∈ int *P*, *θ* ≤ *a*_{
n
} and *a*_{
n
} → *θ*, then there exists *n*_{0} such that for all *n > n*_{0} we have *a*_{
n
} ≪ *ε*.

## 2 *w*-Cone distance in tvs-cone metric spaces

Let (*X*, *d*) be a tvs-cone metric space. Then

(**c**_{1}) *T* : *X* → *X* is continuous at *x* ∈ *X* if *x*_{
n
} is a sequence in *X* and lim *x*_{
n
} = *x* implies *T*(*x*) = lim *T*(*x*_{
n
} ).

**c**

_{2})

*G*:

*X*→

*P*is lower semicontinuous at

*x*∈

*X*if for any

*ε*in

*E*with

*θ*≪

*ε*, there is

*n*

_{0}in ℕ such that

whenever {*x*_{
n
} } is a sequence in *X* and *x*_{
n
} → *x*.

(**c**_{3}) For *x* ∈ *X*, *T* : *X* → *X*, *O*(*x*; ∞) = {*x*, *Tx*, *T*^{2}*x*, ...} is called the orbit of *x*. *G* : *X* → *P* is

*T*-orbitally lower semicontinuous at *x* if for any *ε* in *E* with *θ* ≪ *ε*, there is *n*_{0} in ℕ such that (1) with *x* = *u* holds whenever *x*_{
n
} ∈ *O*(*x*; ∞) and *x*_{
n
} → *u*.

Observe that if in definitions (**c**_{1}), (**c**_{2}) and (**c**_{3}) we have *E* = ℝ, *P* = [0, ∞), ||*x*|| = *|x|*, *x* ∈ *E*, then we get the well-known definitions of continuity, lower and *T*-orbitally lower semicontinuity.

**Definition 4**. *Let* (*X*, *d*) *be a tvs-cone metric space. Then, a function p* : *X* × *X* → *P is called a w-cone distance on X if the following are satisfied:*

*(* w_{1}*) p*(*x*, *z*) ≤ *p*(*x*, *y*) + *p*(*y*, *z*)*, for any x*, *y*, *z* ∈ *X*,

*(* w_{2}*) for any x* ∈ *X, p*(*x*, ·): *X* → *P is lower semicontinuous*,

*(* w_{3}*) for any ε in E with θ* ≪ *ε*, *there is δ in E with θ ≪ δ*, *such that p*(*z*, *x*) ≪ *δ and p*(*z*, *y*) ≪ *δ imply d*(*x*, *y*) ≪ *ε*.

**Example 5**. *Let* (*X*, *d*) *be a cone metric space. Then, a cone metric d is a w-cone distance p on X*.

**Proof**. Clearly, if

*p*=

*d*, a

*w*-cone distance

*p*satisfies (

**w**

_{1}) and (

**w**

_{3}). So we have only to prove (

**w**

_{2}). Suppose that

*x*,

*y*∈

*X*,

*y*

_{ n }∈

*X*,

*y*

_{ n }→

*y*and

*ε*in

*E*with

*θ ≪ ε*be arbitrary. Since

*y*

_{ n }→

*y*, then there is

*n*

_{0}in ℕ such that

*d*(

*y*

_{ n },

*y*) ≪

*ε*for all

*n ≥ n*

_{0}. Define

*G*(

*y*) =

*d*(

*x*,

*y*). Then we have

for all *n* ≥ *n*_{0}. Therefore *p*(*x*, *·*) = *d*(*x*, ·) is lower semicontinuous.

**Remark 6**. *Wang and Guo*[14]*defined the concept of c-distance on a cone metric space in the sense of Huang and Zhang*[1]*, which is also a generalization of w-distance of Kada et al*. [3]. *They proved a common fixed point theorem (Theorem 2.2) by using c-distance in a cone metric space* (*X*, *d*)*, where a cone P is normal with normal constant K*. *Now we shall present an example (Example 7 below), which shows that there are cone metric spaces where underlying cone is not normed, and so theorems of Wang and Guo*[14]*cannot be applied. On the other case, our presented fixed point theorems for mappings under contractive conditions expressed in the terms of w-distance can be applied, although the underlying cone is not normed*.

**Example 7**.

*Let E*=

*C*[0, 1]

*be the Banach space of real-valued continuous functions with the usual norm*

*and let a cone P be defined by P* = {*f* ∈ *E* : *f*(*t*) ≥ 0 *for t* ∈ [0, 1]}. *This cone is normal in the Banach-space topology on E. Let τ* be the strongest locally convex topology on the linear vector space E. Then, intP* ≠ ∅, *but the cone P is not normal in the topology τ*. Indeed, if we suppose, to the contrary, that P is normal cone, then the topology τ* is normed (see, e.g.,*[15]). *But if the cone of an ordered tvs is solid and normal, then such tvs must be an ordered normed space, which is impossible because an infinite dimensional space with the strongest locally convex topology cannot be metrizable (see, e.g.,*[13]). *Let now X* = [0, +∞) *and d* : *X* × *X* → (*E*, *τ**) *be defined by d*(*x*, *y*)(*t*) = |*x - y|.e*^{
t
}*. Then* (*X*, *d*) *is a tvs-cone metric space over the non normedzable linear tvs* (*E*, *τ**).

The following lemma is crucial and is an extension of Lemma 1 in [3] for a *w*-metric distance to a *w*-cone distance.

**Lemma 8**. *Let* (*X*, *d*) *be a tvs-cone metric space and let p be a w-cone distance on X. Let* {*x*_{
n
} } *and* {*y*_{
n
} } *be sequences in X, let*{*α*_{
n
} } *with θ ≤ α*_{
n
} , *and* {*β*_{
n
} } *with θ* ≤ *β*_{
n
} , *be sequences in E converging to θ*, *and let x*, *y*, *z* ∈ *X. Then the following hold:*

(*i*) *If p*(*x*_{
n
} , *y*) ≤ *α*_{
n
} *and p*(*x*_{
n
} , *z*) ≤ *β*_{
n
} *for any n* ∈ ℕ*, then y* = *z. In particular, if p*(*x*, *y*) = *θ*

*and p*(*x*, *z*) = *θ, then y* = *z*.

(*ii*) *If p*(*x*_{
n
} , *y*_{
n
} ) ≤ *α*_{
n
} *and p*(*x*_{
n
} , *z*) ≤ *β*_{
n
} *for any n* ∈ ℕ*, then* {*y*_{
n
} } *converges to z*.

(*iii*) *If p*(*x*_{
n
} , *x*_{
m
} ) ≤ *α*_{
n
} *for any n*, *m* ∈ ℕ *with m > n, then* {*x*_{
n
} } *is a Cauchy sequence*.

(*iv*) *If p*(*y*, *x*_{
n
} ) ≤ *α*_{
n
} *for any n* ∈ ℕ*, then* {*x*_{
n
} } *is a Cauchy sequence*.

**Proof**. We shall prove (ii). Let

*ε*in

*E*with

*θ*≪

*ε*be arbitrary. From (

**w**

_{3}) of Definition 4 there is

*δ*in

*E*with

*θ*≪

*δ*, such that

*p*(

*x*

_{ n },

*y*

_{ n }) ≪

*δ*and

*p*(

*y*

_{ n },

*z*) ≪

*δ*imply

*d*(

*y*

_{ n },

*z*) ≪

*ε*. Since

*α*

_{ n }→

*θ*and

*β*

_{ n }→

*θ*, there is

*n*

_{0}∈

*N*such that α

_{ n }≤

*δ*and

*β*

_{ n }≤

*δ*for all

*n*≥

*n*

_{0}. Then for all

*n*≥

*n*

_{0}we have

Thus from (**w**_{3}), *d*(*y*_{
n
} , *z*) ≪ *ε*. Hence *y*_{
n
} → *z* as *n* → ∞. Similarly, following lines of the proof of Lemma 1 in [3], one can prove (i), (iii) and (iv). ■

## 3 Fixed point theorems for *w*-cone distance contraction mappings in *K*-metric spaces

We note that the method of Du [2] for cone contraction mappings cannot be applied for a *w*-cone distance contraction mappings.

In the following theorem, which extends and improves Theorem 2 of [3] and Theorem 1 of [5], we give an estimate for a *w*-cone distance *p*(*x*_{
n
} , *z*) of an approximate value *x*_{
n
} and a fixed point *z*.

**Theorem 9**.

*Let*(

*X*,

*d*)

*be a complete tvs-cone metric space with w-cone distance p on X*.

*Suppose that for some*0 ≤

*k <*1

*a mapping T*:

*X*→

*X satisfies the following condition:*

*Assume that either of the following holds:*

*(i) If y*≠

*Ty*,

*there exists c*∈

*int*(

*P*)

*, c ≠ θ, such that*

*(ii) T is continuous*.

*Then, there exists z*∈

*X*,

*such that z*=

*Tz and*

*Moreover, if v* = *Tv for some v* ∈ *X, then p*(*v*, *v*) = *θ*.

**Proof**. Let

*x*∈

*X*and define a sequence {

*x*

_{ n }} by

*x*

_{0}=

*x*;

*x*

_{ n }=

*T*

^{ n }

*x*for any

*n*∈

*N*. Then from (2) we have, for any

*n*∈

*N*,

*m > n*, then from (

**w**

_{1}) of Definition 4 and (4),

Hence, by (iii) of Lemma 8 with *α*_{
n
} = [*k*^{
n
} /(1 *- k*)] · *p*(*x*, *Tx*), {*x*_{
n
} } is a Cauchy sequence in *X*. Since *X* is complete, {*x*_{
n
} } converges to some point *z* ∈ *X*.

*G*:

*X*→

*P*by

*G*(

*x*) =

*p*(

*x*

_{ n },

*x*), where

*n*is any fixed positive integer. Since

*x*

_{ n }→

*z*as

*n*→ ∞, from (

**w**

_{2}) of Definition 4 and (2) we have that for any

*ε*in

*E*with

*θ*≪

*ε*, there is

*m*

_{0}in ℕ such that

*x*

_{ n }=

*T*

^{ n }

*x*,

*ε*=

*ε*/

*i*we have

*E*, we obtain

*P*is closed,

From the definition of partial order ≤, (8) is equivalent to (3). Thus we proved (3).

*Tz*=

*z*. Suppose, to the contrary, that

*z*≠

*Tz*. Then from (i) there exists

*c*∈ int(

*P*) such that

*n*

_{0}∈ ℕ such that

*x*

_{ n }→

*z*as

*n*→ ∞, by (ii) of Definition 4 with $x={x}_{{n}_{0}}$, there exists

*m*

_{0}

*> n*

_{0}, such that Then from (9) with

*x*=

*x*

_{ n }, and from (10), we have

a contradiction, as *c* ∈int(*P*) Therefore, our assumption *z* ≠ *Tz* was wrong and so *z* = *Tz*.

*v*=

*Tv*then we have,

and by (**p**_{3}) we have *p*(*v*, *v*) = 0.

*v*=

*Tv*then we have, by using (4),

*P*is closed, by Lemma 2, we get

and *P* is closed, we get *-p*(*v*, *v*) ∈ *P*. Since also *p*(*v*, *v*) ∈ *P*, then *p*(*v*, *v*) = 0.

*ii*). Suppose that

*T*is continuous. Then from (

**c**

_{1}), as {

*x*

_{ n }} converge to

*z*, we have

Thus we proved that *T*(*z*) = *z* and so the proof is complete. ■

Now we shall present an example where our Theorem 9 can be applied, but the main Theorem 2.2 of Wang and Guo [14] cannot.

**Example 10**.

*Let X*= [0, +∞)

*and d*:

*X*×

*X*→ (

*E*,

*τ**)

*be defined by d*(

*x*,

*y*)(

*t*) = |

*x - y|.e*

^{ t }

*, as in Example 7 above. Then*(

*X*,

*d*)

*is a tvs-cone metric space over the non-normed linear tvs*(

*E*,

*τ**).

*Define a mapping T*:

*X*→

*X by Tx*=

*x/*2.

*Then T satisfies the following condition:*

*and if y*≠

*Ty*,

*there exists c*∈

*int*(

*P*)

*, c*≠

*θ*,

*such that*

*Thus all hypotheses of our Theorem 9 are satisfied and z* = 0 *is a fixed point of T. Note that the mapping T* : *X* → *X satisfies the condition (2.1) in the main Theorem 2.2 of Wang and Guo*[14]*with g*(*x*) = *x and a*_{1} = 1*/* 2, *a*_{2} = *a*_{3} = *a*_{4} = 0, *but Theorem 2.2 cannot be applied since a cone P is not normed*.

The following corollary implies the recent result Theorem 3.5. of [4].

**Corollary 11**.

*Let*(

*X*,

*d*)

*be a complete tvs-cone metric space with w-cone distance p on X and*0 ≤

*r <*1/2.

*Suppose T*:

*X*→

*X and*

*Assume that either* (*i*) *or* (*ii*) *of Theorem 9 holds. Then, there exists z* ∈ *X, such that z* = *Tz. Moreover, if v* = *Tv, then p*(*v*, *v*) = *θ*.

**Proof**. Let

*x*∈

*X*. From (12) we have

*p*(

*Tx*,

*T*

^{2}

*x*) ≤

*rp*(

*x*,

*T*

^{2}

*x*) ≤

*r*[

*p*(

*x*,

*Tx*) +

*p*(

*Tx*,

*T*

^{2}

*x*)]. Hence we get

where 0 ≤ *k* = *r*/(1 - *r*) *<* 1. Now, Corollary 11 follows from Theorem 9. ■

If *f* : *X* → *X* and *F*(*f*) is a set of all fixed points of *f*, then in a general case *F*(*f*) ≠ *F*(*f*^{
n
} ). Abbas and Rhoades [11] studied cases when *F*(*f*) = *F*(*f*^{
n
} ) for each *n* ∈ ℕ, that is, when *f* has a property *P*. The following theorem extends and improves Theorem 2 of [11].

**Theorem 12**.

*Let*(

*X*,

*d*)

*be a complete tvs-cone metric space with w-cone distance p on X. Suppose T*:

*X*→

*X satisfies the following condition:*

*where* 0 ≤ *k <* 1*, or T satisfies strict the inequality (13) with k* = 1*, for all x* ∈ *X with x* ≠ *Tx. If F*(*T*) ≠ ∅*, then T has property P*.

**Proof**. Let

*u*∈

*F*(

*T*

^{ n }) for some

*n >*1. Suppose that

*T*satisfies (13). Then

*p*(

*v*,

*v*) =

*θ*, from (14) we obtain

*p*(

*u*,

*Tu*) =

*θ*. Then from (14),

*p*(

*T*

^{ i }

*u*,

*T*

^{i+1}

*u*) ≤

*k*

^{ i }

*p*(

*u*,

*Tu*) =

*θ*for all

*i*∈ ℕ. Now, from (

**w**

_{1}) of Definition 4 and

*T*

^{ n }

*u*=

*u*we get

*p*(

*u*,

*u*) =

*θ*. Hence, and by (i) of Lemma 8 with

*x*=

*u*,

*y*=

*Tu*and

*z*=

*u*, we have

*Tu*=

*u*. Now suppose that

*T*satisfies strict the inequality (13) with

*k*= 1 and let

*u*∈

*F*(

*T*

^{ n }). If we suppose that

*Tu*≠

*u*, then we have

*p*(

*Tu*,

*T*

^{2}

*u*)

*< p*(

*u*,

*Tu*). If we suppose that

*Tu*=

*T*

^{2}

*u*, then

*T*

^{ i }

*u*=

*TT*

^{ i }

*u*for all

*i*∈

*N*. Thus we have

*p*(

*Tu*,

*T*

^{2}

*u*)

*< p*(

*u*,

*Tu*). Therefore,

*Tu*≠

*T*

^{2}

*u*. Then we have

*p*(

*T*

^{2}

*u*,

*T*

^{3}

*u*)

*< p*(

*Tu*,

*T*

^{2}

*u*)

*< p*(

*u*,

*Tu*). Continuing this process we obtain

a contradiction. Therefore, our supposition *Tu* ≠ *u* was wrong. Thus we proved that *F*(*T*^{
n
} ) = *F*(*T*). ■

The following theorem extends Theorem 2.1 of [16] and implies Theorem 3.7 of [17].

**Theorem 13**.

*Let*(

*X*,

*d*)

*be a complete tvs-cone metric space with w-cone distance p on X and*0 ≤

*k <*1.

*Suppose T*:

*X*→

*X and there exists an x*∈

*X such that*

*Then*,

*(i)*lim

*T*

^{ n }

*x*=

*z exists and*

*(ii) p*(*z*, *Tz*) = *θ if and only if G*(*x*) = *p*(*x*, *Tx*) *is T-orbitally lower semicontinuous at z*.

**Proof**. Observe that (i) follows from the proof of Theorem 9. Now we prove (ii). It is clear that

*p*(

*z*,

*Tz*) =

*θ*implies

*G*(

*z*) =

*p*(

*z*,

*Tz*) =

*θ*and hence

*G*(

*z*) ≤

*G*(

*x*

_{ n }) +

*ε*for any

*ε*in

*E*with

*θ*≪

*ε*and all

*x*

_{ n }∈ 0(

*x*, ∞). Suppose now that

*G*is

*T*-orbitally lower semicontinuous at

*z*. Then from (

**c**

_{3}), as

*x*

_{ n }=

*T*

^{ n }

*x*→

*z*, for any

*ε*in

*E*with

*θ*≪

*ε*there is

*n*

_{0}in ℕ such that

for all *n* ≥ *n*_{0} and *i* ≥ 1. Hence ${k}^{n}p\left(x,Tx\right)+\frac{1}{i}\epsilon -p\left(z,Tz\right)\in P$. Letting *n* → ∞, By Lemma 2, we get $\theta \le p\left(z,Tz\right)\le \frac{1}{i}\epsilon $. Hence, we get *p*(*z*, *Tz*) = *θ*. ■

The following theorem extends and unifies Theorem 2 of [6] and results of ([1, 18]).

**Theorem 14**.

*Let*(

*X*,

*d*)

*be a complete tvs-cone metric space with w-cone distance p on X and*0 ≤

*k <*1.

*Suppose that T*:

*X*→

*X is a p-contractive mapping i.e*.,

*Then, T has a unique fixed point z* ∈ *X, and p*(*z*, *z*) = *θ*.

**Proof**. Let

*x*∈

*X*and define

*x*

_{n+1}=

*T*

^{ n }

*x*for any

*n*∈

*N*. Then, from the proof of Theorem 9, lim

*T*

^{ n }

*x*=

*z*∈

*X*and (3) holds for all

*n*≥ 1. From (3) we have

Thus from Lemma 2 and (i) of Lemma 8, with *α*_{
n
} = *β*_{
n
} = [*k*^{
n
} /(1 - *k*)] · *p*(*x*, *Tx*) we obtain *Tz* = *z*. Then *p*(*z*, *z*) = *p*(*Tz*, *T*^{2}*z*) ≤ *kp*(*z*, *Tz*) = *kp*(*z*, *z*). Hence, *p*(*z*, *z*) = *θ*. Suppose that *u* ∈ *X* is also a fixed point of *T*. Then *p*(*z*, *u*) = *p*(*Tz*, *Tu*) ≤ *kp*(*z*, *u*) and hence *p*(*z*, *u*) = *θ*. From *p*(*z*, *u*) = *θ*, *p*(*z*, *z*) = *θ* and by (i) of Lemma 8, we have *u* = *z*. ■

In 1998, Ume [8] proved the *w*-distance version of Ćirić's [19] results for quasi-contraction on metric space. Recently, cone metric version of Ćirić's results has been proved [12]. Now, a natural question arises:

**Question**. Let (*X*, *d*) be a complete tvs-cone metric space with *w*-cone distance *p* on *X*. Suppose *f* : *X* ↦ *X* such that for some constant *λ* ∈ (0, 1) and for every *x*, *y* ∈ *X*, there exists *v* ∈ {*p*(*x*, *y*), *p*(*x*, *fx*), *p*(*y*, *fy*), *p*(*x*, *fy*), *p*(*y*, *fx*)}, such that *p*(*fx*, *fy*) ≤ *λ* · *v*. Does there exist a unique fixed point *z* ∈ *X* of *f*, and *p*(*z*, *z*) = *θ*?

## Declarations

### Acknowledgements

Authors are supported by Grant No. 174025 of the Ministry of Science, Technology and Development, Republic of Serbia. HL would like to thank Professors Ljubomir Ćirić and Vladimir Rakočević for his valuable help throughout the preparation of this article.

## Authors’ Affiliations

## References

- Huang LG, Zhang X: Cone metric spaces and fixed point theorems of contractive mappings.
*J Math Anal Appl*2007, 332(2):1468–1476. 10.1016/j.jmaa.2005.03.087MathSciNetView ArticleGoogle Scholar - Du WS: A note on cone metric fixed point theory and its equivalence.
*Nonlinear Anal TMA*2010, 72: 2259–2261. 10.1016/j.na.2009.10.026View ArticleGoogle Scholar - Kada O, Suzuki T, Takahashi W: Nonconvex minimization theorems and fixed point theorems in complete metric spaces.
*Math Japon*1996, 44: 381–591.MathSciNetGoogle Scholar - Du WS: Fixed point theorems for generalized hausdorff metrics.
*Int Math Forum*2008, 3(21):1011–1022.MathSciNetGoogle Scholar - Suzuki T: Several fixed point theorems in complete metric spaces.
*Yokohama Math J*1997, 44: 61–72.MathSciNetGoogle Scholar - Suzuki T, Takahashi W: Fixed point theorems and characterizations of metric completeness.
*Topol Methods Nonlinear Anal*1996, 8: 371–382.MathSciNetGoogle Scholar - Takahashi W: Minimization theorems and fixed point theorems. In Nonlinear Analysis and Mathematical Economics. Volume 829. Edited by: Maruyama T. RIMS Kokuroku; 175–191.Google Scholar
- Ume JS: Fixed point theorems related to Ćirić contraction principle.
*J Math Anal Appl*1998, 225: 630–640. 10.1006/jmaa.1998.6030MathSciNetView ArticleGoogle Scholar - Beg I, Azam A, Arshad M: Common fixed points for maps on topological vector space valued cone metric spaces.
*Int J Math Math Sci*2009., 8: doi:10.1155/2009/560264Google Scholar - Kadelburg Z, Radenović S, Rakočević V: Topological vector space-valued cone metric spaces and fixed point theorems.
*Fixed Point Theory Appl*2010. Article ID 170253, 17 (2010). doi:10.1155/2010/170253Google Scholar - Abbas M, Rhoades BE: Fixed and periodic point results in cone metric spaces.
*Appl Math Lett*2009, 22: 511–515. 10.1016/j.aml.2008.07.001MathSciNetView ArticleGoogle Scholar - Gajić Lj, Ilić D, Rakočević V: On Ćirić maps with a generalized contractive iterate at a point and Fisher's quasi-contractions in cone metric spaces.
*Appl Math Comput*2010, 216: 2240–2247. 10.1016/j.amc.2010.03.010MathSciNetView ArticleGoogle Scholar - Jungck G, Radenović S, Radojević S, Rakočević V: Common fixed point theorems for weakly compatible pairs on cone metric spaces.
*Fixed Point Theory Appl*2009. Article ID 643640, 12 (2009). doi:10.1155/2009/643640Google Scholar - Wang Sh, Guo B: Distance in cone metric spaces and common fixed point theorems.
*Appl Math Lett*2011, 24: 1735–1739. 10.1016/j.aml.2011.04.031MathSciNetView ArticleGoogle Scholar - Vandergraft JS: Newton's method for convex operators in partially ordered spaces.
*SIAM J Numer Anal*1967, 4: 406–432. doi:10.1137/0704037 10.1137/0704037MathSciNetView ArticleGoogle Scholar - Hicks TL, Rhoades BE: A Banach type fixed-point theorem.
*Math Japon*1979, 24: 327–330.MathSciNetGoogle Scholar - Pathak HK, Shahzad N: Fixed point results for generalized quasicontraction mappings in abstract metric spaces.
*Nonlinear Anal*2009, 71: 6068–6076. 10.1016/j.na.2009.05.052MathSciNetView ArticleGoogle Scholar - Veazpour SM, Raja P: Some extensions of Banach's contraction principle in complete cone metric spaces.
*Fixed Point Theory Appl*2008. Article ID 768294, 11 (2008). doi:10.1155/2008/768294Google Scholar - Ćirić LjB: A generalization of Banach's contraction principle.
*Proc Am Math Soc*1974, 45: 267–273.Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.