# Topological Vector Space-Valued Cone Metric Spaces and Fixed Point Theorems

- Zoran Kadelburg
^{1}, - Stojan Radenović
^{2}Email author and - Vladimir Rakočević
^{3}

**2010**:170253

**DOI: **10.1155/2010/170253

© Zoran Kadelburg et al. 2010

**Received: **18 December 2009

**Accepted: **19 July 2010

**Published: **2 August 2010

## Abstract

We develop the theory of topological vector space valued cone metric spaces with nonnormal cones. We prove three general fixed point results in these spaces and deduce as corollaries several extensions of theorems about fixed points and common fixed points, known from the theory of (normed-valued) cone metric spaces. Examples are given to distinguish our results from the known ones.

## 1. Introduction

Ordered normed spaces and cones have applications in applied mathematics, for instance, in using Newton's approximation method [1–4] and in optimization theory [5]. -metric and -normed spaces were introduced in the mid-20th century ([2], see also [3, 4, 6]) by using an ordered Banach space instead of the set of real numbers, as the codomain for a metric. Huang and Zhang [7] reintroduced such spaces under the name of cone metric spaces but went further, defining convergent and Cauchy sequences in the terms of interior points of the underlying cone. These and other authors (see, e.g., [8–22]) proved some fixed point and common fixed point theorems for contractive-type mappings in cone metric spaces and cone uniform spaces.

In some of the mentioned papers, results were obtained under additional assumptions about the underlying cone, such as normality or even regularity. In the papers [23, 24], the authors tried to generalize this approach by using cones in topological vector spaces (*tvs*) instead of Banach spaces. However, it should be noted that an old result (see, e.g., [3]) shows that if the underlying cone of an ordered *tvs* is solid and normal, then such *tvs* must be an ordered normed space. So, proper generalizations when passing from norm-valued cone metric spaces of [7] to tvs-valued cone metric spaces can be obtained only in the case of nonnormal cones.

In the present paper we develop further the theory of topological vector space valued cone metric spaces (with nonnormal cones). We prove three general fixed point results in these spaces and deduce as corollaries several extensions of theorems about fixed points and common fixed points, known from the theory of (normed-valued) cone metric spaces.

Examples are given to distinguish our results from the known ones.

## 2. Tvs-Valued Cone Metric Spaces

Let
be a real Hausdorff topological vector space (*tvs* for short) with the zero vector
. A proper nonempty and closed subset
of
is called a (convex) *cone* if
,
for
and
. We will always assume that the cone *P* has a nonempty interior int *P* (such cones are called *solid*).

Each cone
induces a partial order
on
by
.
will stand for
and
, while
will stand for
. The pair
is an *ordered topological vector space*.

The sets of the form
are called *order intervals*. It is easily verified that order-intervals are convex. A subset
of
is said to be *order-convex* if
, whenever
and
.

*order-convex*if it has a base of neighborhoods of consisting of order-convex subsets. In this case the cone is said to be

*normal*. In the case of a normed space, this condition means that the unit ball is order-convex, which is equivalent to the condition that there is a number such that and implies that . Another equivalent condition is that

Hence, in this case, the Sandwich theorem does not hold.

Note the following properties of bounded sets.

If the cone is solid, then each topologically bounded subset of is also order-bounded, that is, it is contained in a set of the form for some .

If the cone is normal, then each order-bounded subset of is topologically bounded. Hence, if the cone is both solid and normal, these two properties of subsets of coincide. Moreover, a proof of the following assertion can be found, for example, in [3].

Theorem 2.1.

If the underlying cone of an ordered tvs is solid and normal, then such tvs must be an ordered normed space.

Example 2.2.

(see [5]) Let with , and let . This cone is solid (it has the nonempty interior) but is not normal. Consider, for example, ) and ). Since and , it follows that is a nonnormal cone.

Now consider the space endowed with the strongest locally convex topology . Then is also -solid (it has the nonempty -interior), but not -normal. Indeed, if it were normal then, according to Theorem 2.1, the space would be normed, which is impossible since an infinite-dimensional space with the strongest locally convex topology cannot be metrizable (see, e.g., [25]).

Following [7, 23, 24] we give the following.

Definition 2.3.

Let
be a nonempty set and
an ordered *tvs*. A function
is called a *tvs-cone metric* and
is called a *tvs-cone metric, space* if the following conditions hold:

Let and be a sequence in . Then it is said the following.

(i) tvs-cone converges to if for every with there exists a natural number such that for all ; we denote it by or as .

(ii) is a tvs-cone Cauchy sequence if for every with there exists a natural number such that for all .

(iii) is tvs-cone complete if every tvs-Cauchy sequence is tvs-convergent in .

Taking into account Theorem 2.1, proper generalizations when passing from norm-valued cone metric spaces of [7] to tvs-cone metric spaces can be obtained only in the case of nonnormal cones.

We will prove now some properties of a real *tvs*
with a solid cone
and a tvs-cone metric space
over it.

- (a)
- (b)
- (c)
It can happen that , in the tvs-cone metric , but that in . In particular, it can happen that in but that (which is impossible if the cone is normal).

- (d)
- (e)
- (f)
Each tvs-cone metric space is Hausdorff in the sense that for arbitrary distinct points and there exist disjoint neighbourhoods in the topology having the local base formed by the sets of the form , .

- (a)
- (b)

and that
(in the norm of
) but that
in this norm. On the other hand, since
and
, it follows that
. Then also
in the *tvs*
(the strongest locally convex topology) but
(also considering the interior with respect to
).

*tvs*for otherwise it would tend to in the norm of the space .

- (c)
Take the sequence from (b) and . Then , and in the cone metric since and , but in . This means that a tvs-cone metric may be a discontinuous function.

- (d)
The proof is the same as in the Banach case. For an arbitrary , it is for each , and passing to the limit in it follows that , that is, . Since is a cone it follows that .

- (e)
- (f)
Suppose, to the contrary, that for the given distinct points and there exists a point . Then for arbitrary , implying that , a contradiction.

The following properties, which can be proved in the same way as in the normed case, will also be needed.

## 3. Fixed Point and Common Fixed Point Results

Theorem 3.1.

for all , where , , and or . If and is a complete subspace of , then , , and have a unique point of coincidence. Moreover, if and are weakly compatible, then , , and have a unique common fixed point.

Recall that a point is called a coincidence point of the pair and is its point of coincidence if . The pair is said to be weakly compatible if for each , implies that .

Proof.

Now, using properties (a) and (d) from Lemma 2.5 and only the assumption that the underlying cone is solid, we conclude that is a Cauchy sequence. Since the subspace is complete, there exist such that ( ).

and , that is, for . Since was arbitrary, it follows that , that is, .

Since , it follows that , that is, .

Using weak compatibility of the pairs and and proposition 1.12 from [16], it follows that the mappings have a unique common fixed point, that is, .

Corollary 3.2.

for all , where and . If and is a complete subspace of , then , and have a unique point of coincidence. Moreover, if and are weakly compatible, then , and have a unique common fixed point.

Putting in this corollary and taking into account that each self-map is weakly compatible with the identity mapping, we obtain the following.

Corollary 3.3.

for all , where and . Then and have a unique common fixed point in . Moreover, any fixed point of is a fixed point of , and conversely.

In the case of a cone metric space with a normal cone, this result was proved in [14].

Now put first in Theorem 3.1 and then . Choosing appropriate values for coefficients, we obtain the following.

Corollary 3.4.

for all , where is a constant ( in (3.24) and in (3.25) and (3.26)). If and is a complete subspace of , then and have a unique point of coincidence in . Moreover, if and are weakly compatible, then and have a unique common fixed point.

In the case when the space is normed and the cone is normal, these results were proved in [9].

Similarly one obtains the following.

Corollary 3.5.

for all , where and , and let imply that for each . If or is a complete subspace of , then the mappings and have a unique common fixed point in . Moreover, for any , the - -sequence with the initial point converges to the fixed point.

Here, an - -sequence (also called a Jungck sequence) is formed in the following way. Let be arbitrary. Since , there exists such that . Having chosen , is chosen such that .

In the case when the space is normed and under the additional assumption that the cone is normal, these results were firstly proved in [10].

Corollary 3.6.

for all , where is a constant ( in (3.28) and in (3.29) and (3.30)). Then has a unique fixed point in , and for any , the iterative sequence converges to the fixed point.

In the case when the space is normed and under the additional assumption that the cone is normal, these results were firstly proved in [7]. The normality condition was removed in [8].

Finally, we give an example of a situation where Theorem 3.1 can be applied, while the results known so far cannot.

Example 3.7 (see [26, Example ]).

Let , with the cone as in Example and endowed with the strongest locally convex topology . Let the metric be defined by if and , , and . Further, let be given by, , and , . Finally, let .

Hence, we can apply Theorem 3.1 and conclude that the mappings have a unique common fixed point ( ).

On the other hand, since the space is not an ordered Banach space and its cone is not normal, neither of the mentioned results from [7–10, 14] can be used to obtain such conclusion. Thus, Theorem 3.1 and its corollaries are proper extensions of these results.

Note that an example of similar kind is also given in [24].

The following example shows that the condition " or " in Theorem 3.1 cannot be omitted.

Example 3.8 (see [26, Example ]).

holds true for all . Obviously, and do not have a common fixed point.

Taking (3.34) into account, we have to consider the following cases.

(1)In case , then (3.35) holds for , and .

(2)In case , then (3.35) holds for , and .

(3)In case , then (3.35) holds for , and .

## 4. Quasicontractions in Tvs-Cone Metric Spaces

Definition 4.1.

*quasi-contraction*(resp., a -

*quasi-contraction*) if for some constant and for all , there exists

Theorem 4.2.

Let be a complete tvs-cone metric space, and let be such that and is closed. If is a -quasi-contraction with , then and have a unique point of coincidence. Moreover, if the pair is weakly compatible or, at least, occasionally weakly compatible, then and have a unique common fixed point.

Recall that the pair of self-maps on is called occasionally weakly compatible (see [27] or [28]) if there exists such that and .

Proof.

The following four cases may occur:

(2)Second, and so . In this case, (4.3) follows immediately, because ).

(3)Third, . It follows that (4.3) holds.

(4)Fourth, and so . Hence, (4.3) holds.

where . Observe that and . Now let be given. In all of the possible five cases there exists such that (using (4.9)) one obtains that :

It follows that ( ). The uniqueness of limit in a cone metric space implies that . Thus, is a coincidence point of the pair , and is its point of coincidence. It can be showed in a standard way that this point of coincidence is unique. Using lemma 1.6 of [27] one readily obtains that, in the case when the pair is occasionally weakly compatible, the point is the unique common fixed point of and .

In the normed case and assuming that the cone is normal (but letting ), this theorem was proved in [11].

Puting in Theorem 4.2 we obtain the following.

Corollary 4.3.

Let be a complete tvs-cone metric space, and let the mapping be a quasi-contraction with . Then has a unique fixed point in , and for any , the iterative sequence converges to the fixed point.

In the case of normed-valued cone metric spaces and under the assumption that the underlying cone is normal (and with ), this result was obtained in [12]. Normality condition was removed in [13].

From Theorem 4.2, as corollaries, among other things, we again recover and extend the results of Huang and Zhang [7] and Rezapour and Hamlbarani [8]. The following three corollaries follow in a similar way.

In the next corollary, we extend the well-known result [29, (9')].

Corollary 4.4.

Then and have a unique point of coincidence. Moreover, if the pair is occasionally weakly compatible, then they have a unique common fixed point.

We can also extend the well-known Bianchini's result [29, (5)]

Corollary 4.5.

Then and have a unique point of coincidence. Moreover, if the pair is occasionally weakly compatible, then they have a unique common fixed point.

In the next corollary, we extend the well-known result of Jungck [30, Theorem ].

Corollary 4.6.

Then and have a unique point of coincidence. Moreover, if the pair is occasionally weakly compatible, then they have a unique common fixed point.

Remark 4.7.

Note that in the previous three corollaries it is possible that the parameter takes values from (and not only in as in Theorem 4.2). Namely, it is possible to show that the sequence used in the proof, is a Cauchy sequence because the condition on is stronger.

Now, we prove the main result of Das and Naik [31] in the frame of tvs-cone metric spaces in which the cone need not be normal.

Theorem 4.8.

and let be a -quasi-contraction. Then and have a unique common fixed point.

Proof.

- (a)

Therefore, for all . By property (d) of Lemma 2.4, , and so is a common fixed point for and . Indeed, putting in the contractivity condition , we get . Since , that is, , we have that .

## Declarations

### Acknowledgments

The authors are very grateful to the referees for the valuable comments that enabled them to revise this paper. They are thankful to the Ministry of Science and Technological Development of Serbia.

## Authors’ Affiliations

## References

- Kantorovič LV:
**The principle of the majorant and Newton's method.***Doklady Akademii Nauk SSSR*1951,**76:**17–20.Google Scholar - Kantorovitch LV:
**On some further applications of the Newton approximation method.***Vestnik Leningrad University. Mathematics*1957,**12**(7):68–103.MathSciNetGoogle Scholar - Vandergraft JS:
**Newton's method for convex operators in partially ordered spaces.***SIAM Journal on Numerical Analysis*1967,**4:**406–432. 10.1137/0704037MathSciNetView ArticleMATHGoogle Scholar - Zabrejko PP:
-metric and
-normed linear spaces: survey
*Collectanea Mathematica*1997,**48**(4–6):825–859.MathSciNetMATHGoogle Scholar - Deimling K:
*Nonlinear Functional Analysis*. Springer, Berlin, Germany; 1985:xiv+450.View ArticleMATHGoogle Scholar - Aliprantis CD, Tourky R:
*Cones and Duality, Graduate Studies in Mathematics*.*Volume 84*. American Mathematical Society, Providence, RI, USA; 2007:xiv+279.MATHGoogle Scholar - Huang L-G, Zhang X:
**Cone metric spaces and fixed point theorems of contractive mappings.***Journal of Mathematical Analysis and Applications*2007,**332**(2):1468–1476. 10.1016/j.jmaa.2005.03.087MathSciNetView ArticleMATHGoogle Scholar - Rezapour S, Hamlbarani R:
**Some notes on the paper: "Cone metric spaces and fixed point theorems of contractive mappings".***Journal of Mathematical Analysis and Applications*2008,**345**(2):719–724. 10.1016/j.jmaa.2008.04.049MathSciNetView ArticleMATHGoogle Scholar - Abbas M, Jungck G:
**Common fixed point results for noncommuting mappings without continuity in cone metric spaces.***Journal of Mathematical Analysis and Applications*2008,**341**(1):416–420. 10.1016/j.jmaa.2007.09.070MathSciNetView ArticleMATHGoogle Scholar - Vetro P:
**Common fixed points in cone metric spaces.***Rendiconti del Circolo Matematico di Palermo. Serie II*2007,**56**(3):464–468. 10.1007/BF03032097MathSciNetView ArticleMATHGoogle Scholar - Ilić D, Rakočević V:
**Common fixed points for maps on cone metric space.***Journal of Mathematical Analysis and Applications*2008,**341**(2):876–882. 10.1016/j.jmaa.2007.10.065MathSciNetView ArticleMATHGoogle Scholar - Ilić D, Rakočević V:
**Quasi-contraction on a cone metric space.***Applied Mathematics Letters*2009,**22**(5):728–731. 10.1016/j.aml.2008.08.011MathSciNetView ArticleMATHGoogle Scholar - Kadelburg Z, Radenović S, Rakočević V:
**Remarks on "Quasi-contraction on a cone metric space".***Applied Mathematics Letters*2009,**22**(11):1674–1679. 10.1016/j.aml.2009.06.003MathSciNetView ArticleMATHGoogle Scholar - Abbas M, Rhoades BE:
**Fixed and periodic point results in cone metric spaces.***Applied Mathematics Letters*2009,**22**(4):511–515. 10.1016/j.aml.2008.07.001MathSciNetView ArticleMATHGoogle Scholar - Janković S, Kadelburg Z, Radenović S, Rhoades BE:
**Assad-Kirk-type fixed point theorems for a pair of nonself mappings on cone metric spaces.***Fixed Point Theory and Applications*2009,**2009:**-16.Google 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 and Applications*2009,**2009:**-13.Google Scholar - Kadelburg Z, Radenović S, Rosić B:
**Strict contractive conditions and common fixed point theorems in cone metric spaces.***Fixed Point Theory and Applications*2009,**2009:**-14.Google Scholar - Włodarczyk K, Plebaniak R:
**Periodic point, endpoint, and convergence theorems for dissipative set-valued dynamic systems with generalized pseudodistances in cone uniform and uniform spaces.***Fixed Point Theory and Applications*2010,**2010:**-32.Google Scholar - Włodarczyk K, Plebaniak R:
**Maximality principle and general results of ekeland and caristi types without lower semicontinuity assumptions in cone uniform spaces with generalized pseudodistances.***Fixed Point Theory and Applications*2010,**2010:**-37.Google Scholar - Włodarczyk K, Plebaniak R, Doliński M:
**Cone uniform, cone locally convex and cone metric spaces, endpoints, set-valued dynamic systems and quasi-asymptotic contractions.***Nonlinear Analysis: Theory, Methods & Applications*2009,**71**(10):5022–5031. 10.1016/j.na.2009.03.076MathSciNetView ArticleMATHGoogle Scholar - Włodarczyk K, Plebaniak R, Obczyński C:
**Convergence theorems, best approximation and best proximity for set-valued dynamic systems of relatively quasi-asymptotic contractions in cone uniform spaces.***Nonlinear Analysis: Theory, Methods & Applications*2010,**72**(2):794–805. 10.1016/j.na.2009.07.024MathSciNetView ArticleMATHGoogle Scholar - Azam A, Arshad M, Beg I:
**Existence of fixed points in complete cone metric spaces.***International Journal of Modern Mathematics*2010,**5**(1):91–99.MathSciNetMATHGoogle Scholar - Du W-S:
**A note on cone metric fixed point theory and its equivalence.***Nonlinear Analysis: Theory, Methods & Applications*2010,**72**(5):2259–2261. 10.1016/j.na.2009.10.026MathSciNetView ArticleMATHGoogle Scholar - Beg I, Azam A, Arshad M:
**Common fixed points for maps on topological vector space valued cone metric spaces.***International Journal of Mathematics and Mathematical Sciences*2009,**2009:**-8.Google Scholar - Schaefer HH:
*Topological Vector Spaces*. 3rd edition. Springer, New York, NY, USA; 1971:xi+294.View ArticleGoogle Scholar - Kadelburg Z, Pavlović M, Radenović S:
**Common fixed point theorems for ordered contractions and quasicontractions in ordered cone metric spaces.***Computers & Mathematics with Applications*2010,**59**(9):3148–3159. 10.1016/j.camwa.2010.02.039MathSciNetView ArticleMATHGoogle Scholar - Jungck G, Rhoades BE:
**Fixed point theorems for occasionally weakly compatible mappings.***Fixed Point Theory*2006,**7**(2):287–296.MathSciNetMATHGoogle Scholar - Al-Thagafi MA, Shahzad N:
**Generalized -nonexpansive selfmaps and invariant approximations.***Acta Mathematica Sinica*2008,**24**(5):867–876. 10.1007/s10114-007-5598-xMathSciNetView ArticleMATHGoogle Scholar - Rhoades BE:
**A comparison of various definitions of contractive mappings.***Transactions of the American Mathematical Society*1977,**226:**257–290.MathSciNetView ArticleMATHGoogle Scholar - Jungck G:
**Commuting mappings and fixed points.***The American Mathematical Monthly*1976,**83**(4):261–263. 10.2307/2318216MathSciNetView ArticleMATHGoogle Scholar - Das KM, Naik KV:
**Common fixed-point theorems for commuting maps on a metric space.***Proceedings of the American Mathematical Society*1979,**77**(3):369–373.MathSciNetMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.