# Multipled fixed point theorems in cone metric spaces

- Hallowed Olaoluwa
^{1}Email author and - Jonhson Olaleru
^{1}

**2014**:43

https://doi.org/10.1186/1687-1812-2014-43

© Olaoluwa and Olaleru; licensee Springer. 2014

**Received: **31 July 2013

**Accepted: **21 November 2013

**Published: **18 February 2014

## Abstract

In this paper, the concept of common multipled fixed points of *w*-compatible nonlinear contractive maps in cone metric spaces, which are generalizations of common coupled fixed points, is introduced. A new concept of product cone metric spaces is used to establish the existence and uniqueness of their multipled fixed points. Our results generalize several results in the literature including those of Olaleru (Fixed Point Theory Appl. 2009:657914, 2009), Sabetghadam *et al.* (Fixed Point Theory Appl. 2009:125426, 2009) and Abbas *et al.* (Appl. Math. Comput. 217:195-202, 2010; Appl. Math. Comput. 216:80-86, 2010). In addition, the methodology of proof in this manuscript shows that some fixed point results in cone metric spaces are equivalent to multipled fixed point results and *vice versa*.

**MSC:** 47H10, 47H09, 54H25.

### Keywords

multipled fixed points product cone metric spaces*w*-compatible maps

## 1 Introduction

Over the years, fixed point theory has evolved from one-dimensional fixed point in metric spaces to multi-dimensional fixed points in metric-type spaces. Among such spaces are cone metric spaces and partially ordered metric spaces whose structures are induced implicitly or explicitly by partial orderings.

Huang and Zhang [1] top the chronological list of authors who have established fixed point results in cone metric spaces. They proved some fixed point theorems for single maps in cone metric spaces. Their results were followed by several other fixed point results on existence and uniqueness of fixed points for single contractive maps and common fixed point results of pairs of maps, sets of three self-maps and quartets of maps (see [2–8]). Theorems with nonuniqueness of fixed points of Ciric-type maps were later proved by Karapinar [9] in cone metric spaces.

Sabetghadam *et al.* in [10] introduced the concept of coupled fixed points in cone metric spaces and established some coupled fixed point theorems in cone metric spaces. Lakshmikantham and Ciric [11] proved coupled coincidence and coupled common fixed point theorems for nonlinear contractive mappings in partially ordered complete metric spaces. Later, Abbas *et al.* [12] extended their results to cone metric spaces. Karapinar [13] proved some coupled fixed point theorems for nonlinear contractions in cone metric spaces, Shatanawi *et al.* [14] proved some coupled fixed point theorems in ordered cone metric spaces with a *c*-distance, and Kadelburg and Radenović [15] established coupled fixed point results under TVS-cone metric and *w*-cone-distance.

Berinde in [16] and [17], and Amini-Harandi [18] discussed coupled and tripled fixed points of mixed monotone maps in partially ordered metric spaces, while Karapinar in [19] studied quadruple fixed point theorems for weak Φ-contractions.

Recently, Samet and Vetro [20] generalized the notion of coupled fixed points to fixed points of *N*-order and proved existence results for single maps in complete metric spaces. Their results came as an extension of the theory of fixed points to finite dimensions. Roldán *et al.* [21] then added more variation to the definition of multi-dimensional fixed points in partially ordered complete metric spaces by exploiting the notions of permutations and partitions. Their definition, though more general than that of Samet and Vetro [20], can hardly be used to establish fixed point theorems beyond the Banach contraction principle for two maps.

The main purpose of this article is to prove results on common fixed points of *N*-order of some contractive *w*-compatible mappings in cone metric spaces for as many as four maps, with generalized inequalities of Ciric type. Furthermore, we prove that multipled fixed point results can, in fact, generate fixed point results of lower dimensions.

We recall some notions in the concept of cone metric spaces.

**Definition 1.1** [3]

*E*be a real Banach space. A subset

*P*of

*E*is called a cone if and only if:

- (a)
*P*is closed, nonempty and $P\ne \{\theta \}$; - (b)
$a,b\in R$, $a,b\ge 0$, $x,y\in P$ imply that $ax+by\in P$;

- (c)
$P\cap (-P)=\{\theta \}$.

Given a cone *P*, a partial ordering ⪯ with respect to *P* is defined by $x\u2aafy$ if and only if $y-x\in P$. We shall write $x\ll y$ for $y-x\in intP$, where int*P* stands for the interior of *P*. Also, we will use $x\prec y$ to indicate that $x\u2aafy$ and $x\ne y$.

The cone *P* in a normed space *E* is called normal whenever there is a real number $k>0$ such that for all $x,y\in E$, $\theta \u2aafx\u2aafy$ implies $\parallel x\parallel \le k\parallel y\parallel $. The least positive number satisfying this norm inequality is called the normal constant of *P*. Janković *et al.* in [22] proved that only fixed point results in non-normal cones improve the existing fixed point results in metric spaces.

**Definition 1.2** [1]

Let *X* be a nonempty set and let *E* be a real Banach space equipped with the partial ordering ⪯ with respect to the cone $P\subset E$. Suppose that the mapping $d:X\times X\u27f6E$ satisfies:

(d_{1}) $\theta \u2aafd(x,y)$ for all $x,y\in X$ and $d(x,y)=\theta $ if and only if $x=y$;

(d_{2}) $d(x,y)=d(y,x)$ for all $x,y\in X$;

(d_{3}) $d(x,y)\u2aafd(x,z)+d(z,y)$ for all $x,y,z\in X$.

Then *d* is called a cone metric on *X* and $(X,d)$ is called a cone metric space.

The concept of a cone metric space is obviously more general than that of a metric space.

**Definition 1.3** [1]

Let $(X,d)$ be a cone metric space, $\{{x}_{n}\}$ be a sequence in *X* and $x\in X$. We say that $\{{x}_{n}\}$ is

(c_{1}) a Cauchy sequence if for every $c\in E$ with $\theta \ll c$, there is some $k\in \mathbb{N}$ such that, for all $n,m\ge k$, $d({x}_{n},{x}_{m})\ll c$;

(c_{2}) a convergent sequence if for every $c\in E$ with $\theta \ll c$, there is some $k\in \mathbb{N}$ such that, for all $n\ge k$, $d({x}_{n},x)\ll c$. Such *x* is called limit of the sequence $\{{x}_{n}\}$.

Note that every convergent sequence in a cone metric space *X* is a Cauchy sequence. A cone metric space *X* is said to be complete if every Cauchy sequence in *X* is convergent in *X*.

**Example 1.4** Let $E={\mathbb{R}}^{n}$, $P=\{({x}_{1},{x}_{2},\dots ,{x}_{n})\in E:{x}_{i}\ge 0\phantom{\rule{0.25em}{0ex}}\mathrm{\forall}i=1,2,\dots ,n\}$, $X=\mathbb{R}$, $d:X\times X\to E$ such that $d(x,y)=\alpha |x-y|$, where $\alpha \in P$ is a constant. Then $(X,d)$ is a cone metric space.

**Example 1.5** [23]

Let $E={l}^{p}$ ($1\le p<\mathrm{\infty}$), $P=\{{\{{x}_{n}\}}_{n\ge 1}\ge 0\text{for all}n\}$, $(X,\rho )$ be a metric space, and $d:X\times X\to E$ be defined by $d(x,y)={\{\rho (x,y)/{2}^{n}\}}_{n\ge 1}$. Then $(X,d)$ is a cone metric space.

**Example 1.6** [12]

Let $X=[0,\mathrm{\infty})$, $E={C}_{\mathbb{R}}^{1}[0,1]$ and $P=\{\phi \in E:\phi (t)\ge 0,t\in [0,1]\}$. The mapping $d:X\times X\to E$ defined by $d(x,y)=|x-y|\phi $, where $\phi (t)={e}^{t}$, gives $(X,d)$ the structure of a complete cone metric space. The cone *P* is non-normal.

Olaleru in [23] and later Abbas *et al.* in [24] proved the existence of the fixed points of single maps and the common fixed points of pairs and quartets of *w*-compatible maps satisfying some general contractive conditions. Below are some of their main results.

**Theorem 1.7** [23]

*Let*$(X,d)$

*be a complete cone metric space and*$f:X\to X$

*be a mapping such that*

*for all* $x,y\in X$, *where* ${a}_{1},{a}_{2},{a}_{3},{a}_{4},{a}_{5}\in [0,1)$ *and* ${a}_{1}+{a}_{2}+{a}_{3}+{a}_{4}+{a}_{5}<1$. *Then the mapping* *f* *has a unique fixed point*. *Moreover*, *for any* $x\in X$, *the sequence* $\{{f}^{n}(x)\}$ *converges to the fixed point*.

**Theorem 1.8** [23]

*Let*$(X,d)$

*be a complete cone metric space and let*$f,g:X\to X$

*be mappings such that*

*for all* $x,y\in X$, *where* ${a}_{1},{a}_{2},{a}_{3},{a}_{4},{a}_{5}\in [0,1)$ *and* ${a}_{1}+{a}_{2}+{a}_{3}+{a}_{4}+{a}_{5}<1$.

*Suppose that* *f* *and* *g* *are weakly compatible and* $f(X)\subseteq g(X)$ *such that* $f(X)$ *or* $g(X)$ *is a complete subspace of* *X*. *Then the mappings* *f* *and* *g* *have a unique common fixed point*. *Moreover*, *for any* ${x}_{0}\in X$, *the sequence* $\{{x}_{n}\}$ *defined by* $g({x}_{n})=f({x}_{n-1})$ *for all* *n*, *converges to the fixed point*.

**Theorem 1.9** [24]

*Let*

*f*,

*g*,

*S*

*and*

*T*

*be self*-

*mappings of a cone metric space*

*X*(

*with the cone*

*P*

*having a nonempty interior*)

*such that*$f(X)\subset T(X)$, $g(X)\subset S(X)$

*and*

*for all* $x,y\in X$, *where* $p,q,r,t\in [0,1)$ *satisfy* $p+q+r+2t<1$.

*If one of*$f(X)$, $g(X)$, $S(X)$

*or*$T(X)$

*is a complete subspace of*

*X*,

*then*$\{f,S\}$

*and*$\{g,T\}$

*have a unique point of coincidence in*

*X*.

*Moreover if*$\{f,S\}$

*and*$\{g,T\}$

*are weakly compatible*,

*then*

*f*,

*g*,

*S*

*and*

*T*

*have a unique common fixed point which is the limit of the sequences*$\{{u}_{n}\}$

*and*$\{{x}_{n}\}$

*defined by*:

We now show that results on common multipled fixed points (and of course common coupled fixed points) for single maps, pairs of maps and four maps in cone metric spaces can be derived from known results (*e.g.*, Theorems 1.7-1.9) on fixed points of contractive maps in cone metric spaces. In order to show this, we make use of the concept of product cone metric spaces.

## 2 Multipled fixed points and *w*-compatibility

**Definition 2.1** (see [20])

*X*be a nonempty set. An element $x=({x}_{1},{x}_{2},\dots ,{x}_{m})\in {X}^{m}$, $m\ge 2$, is said to be a fixed point of

*m*-order of a mapping $F:{X}^{m}\to X$ if

*i*th line of the circular matrix of

*x*,

*x* is called a fixed point, a coupled fixed point, a tripled fixed point, and a quadruple fixed point of *F* if $m=1,2,3,4$, respectively. All through this paper, we will refer to *‘fixed points of* *m-order’* simply as *‘multipled fixed points’*; the integer *m* is defined as the *multiplicity* or the *order* of the multipled fixed point *x*.

Now, we introduce the following definitions of multipled coincidence points, common multipled fixed points and *w*-compatibility for maps defined in finite-dimensional product spaces.

**Definition 2.2**An element $x=({x}_{1},{x}_{2},\dots ,{x}_{m})\in {X}^{m}$ is said to be a coincidence point of

*m*-order (or a multipled coincidence point) of mappings $F:{X}^{m}\to X$ and $g:X\to X$ if

where ${t}_{i}$ is the *i* th line of the circular matrix of *x*, $t(x)$, as defined previously in (2.3). The element $u=({u}_{1},\dots ,{u}_{m})$ is called the multipled point of coincidence of *F* and *g*.

*x*are fixed points of

*g*,

*x*is called a common multipled fixed point of $F:{X}^{m}\to X$ and $g:X\to X$. In such a case, the equalities below are satisfied:

*i.e.*, $F({t}_{i}(x))=g({x}_{i})={x}_{i}$ for all $i\in \{1,2,\dots ,m\}$, with $t(x)$, the circular matrix of *x* as previously defined.

When $m=1,2,3,4$, *x* is a common fixed point, a common coupled fixed point, a common tripled fixed point and a common quadruple fixed point, respectively.

**Definition 2.3**The mappings $F:{X}^{m}\to X$ and $g:X\to X$ are called

*w*-compatible if $g(F({x}_{1},{x}_{2},\dots ,{x}_{m}))=F(g{x}_{1},g{x}_{2},\dots ,g{x}_{m})$ whenever

*m*-order in

*X*and fixed points in ${X}^{m}$. Consider the mappings $F:{X}^{m}\to X$ and $g:X\to X$ and their

*‘associate’*mappings $\tilde{F}:{X}^{m}\to {X}^{m}$ and $\tilde{g}:{X}^{m}\to {X}^{m}$ defined for all $x=({x}_{1},{x}_{2},\dots ,{x}_{m})\in {X}^{m}$ by

where ${t}_{i}(x)$ is the *i* th line of the circular matrix $t(x)$ of *x* as defined in (2.3). It is obvious that a point $x\in {X}^{m}$ is a multipled fixed point of *F* if and only if it is a fixed point of $\tilde{F}$.

- (i)
$x=({x}_{1},\dots ,{x}_{m})\in {X}^{m}$ is a fixed point of $\tilde{F}$, a coincidence point of $\tilde{F}$ and $\tilde{g}$, or a common fixed point of $\tilde{F}$ and $\tilde{g}$ if $x=\tilde{F}(x)$, $\tilde{F}(x)=\tilde{g}(x)$ or $x=\tilde{F}(x)=\tilde{g}(x)$, respectively;

- (ii)
$\tilde{F}$ and $\tilde{g}$ are

*w*-compatible if $\tilde{F}(\tilde{g}(x))=\tilde{g}(\tilde{F}(x))$ whenever $\tilde{F}(x)=\tilde{g}(x)$.

**Example 2.4**Let $X=\mathbb{R}$ and let $F:{X}^{m}\to X$ be defined for all $x=({x}_{1},{x}_{2},\dots ,{x}_{m})$ by $F(x)=2{x}_{1}+{x}_{2}+{x}_{3}+\cdots +{x}_{m}-1$. The system $F({t}_{i}(x))={x}_{i}$ $\mathrm{\forall}i\in \{1,\dots ,m\}$ is satisfied by all

*x*such that ${\sum}_{j=1}^{m}{x}_{j}=1$. In particular, $(\frac{1}{m},\dots ,\frac{1}{m})$ and $(1,0,\dots ,0)$ are both multipled fixed points of

*F*. Observe that they are also fixed points of the mapping defined by

We also state the following proposition.

**Proposition 2.5**

- (i)
*An element*$x=({x}_{1},{x}_{2},\dots ,{x}_{m})\in {X}^{m}$*is a multipled coincidence point*(*or a common multipled fixed point*)*of*$F:{X}^{m}\to X$*and*$g:X\to X$*if and only if*$x=({x}_{1},{x}_{2},\dots ,{x}_{m})$*is a coincidence point*(*or a common fixed point*)*of the associate mappings*$\tilde{F}:{X}^{m}\to {X}^{m}$*and*$\tilde{g}:{X}^{m}\to {X}^{m}$*defined in*(2.7). - (ii)
*The maps**F**and**g**are**w*-*compatible if and only if*$\tilde{F}$*and*$\tilde{g}$*are**w*-*compatible in*${X}^{m}$.

It is interesting to note the form of multipled fixed points, multipled coincidence points or common multipled fixed points, when they are unique. Rearranging equalities (2.1), (2.4) or (2.6), we can state the following.

**Proposition 2.6** *If* $x=({x}_{1},{x}_{2},\dots ,{x}_{m})\in {X}^{m}$ *is a multipled coincidence* (*or common multipled fixed*) *point of* *F* *and* *g*, *then the elements* ${t}_{i}(x)$, $1\le i\le m$ (*where* $t(x)$ *is the circular matrix of* *x*) *are also multipled coincidence* (*or common multipled fixed*) *points of* *F* *and* *g*. *Hence*, *if* *x* *is a unique multipled coincidence* (*or common multipled fixed*) *point of* *F* *and g*, *then* $x={t}_{i}(x)$ *for all* $i\in \{2,3,\dots ,m\}$. *Thus* ${x}_{1}={x}_{2}=\cdots ={x}_{m}$.

**Example 2.7** Let $X=\mathbb{R}$ and let $F:{X}^{m}\to X$ be defined by $F(x)=1-m+{\sum}_{j=1}^{m}{x}_{j}$.

hence the system has a unique solution, $(1,\dots ,1)$, which is the unique multipled fixed point of *F*.

## 3 Multipled fixed point theorems in cone metric spaces

We start the section by introducing and defining some notions on fixed point results in product cone metric spaces.

**Definition 3.1** Let $({X}_{i},{d}_{i})$, $i\in \{1,2,\dots ,m\}$, be *m* cone metric spaces with respect to cones ${P}_{i}$ in a Banach space *E* such that ${P}_{i}\cap (-{P}_{j})=\{\theta \}$ for all *i*, *j*. The set $Z={\prod}_{i=1}^{i=m}{X}_{i}$, together with $d:Z\times Z\to E$ defined by $d(x,y)={\sum}_{i=1}^{m}{d}_{i}({x}_{i},{y}_{i})$, where $x=({x}_{1},{x}_{2},\dots ,{x}_{m})$, $y=({y}_{1},{y}_{2},\dots ,{y}_{m})$, is a cone metric space with respect to the cone $P={\sum}_{i=1}^{m}{P}_{i}$. *Z* is called a product cone metric space.

*P*by considering the cone metric $D:{X}^{m}\times {X}^{m}\to E$ such that

where $x={({x}_{i})}_{1\le i\le m}$, $y={({y}_{i})}_{1\le i\le m}$.

The proof of the following follows immediately.

**Proposition 3.2** *Let* $(X,d)$ *be a cone metric space with respect to* *d* *and* $({X}^{m},D)$ *the product cone metric space*.

(p_{1}) *A sequence* $\{{x}_{n}\}=\{({x}_{n}^{1},{x}_{n}^{2},\dots ,{x}_{n}^{m})\}$ *converges to* $x=({x}^{1},{x}^{2},\dots ,{x}^{m})$ *if and only if the sequences* $\{{x}_{n}^{i}\}$ *converge to* ${x}^{i}$ *for all* $i\in \{1,2,\dots ,m\}$.

(p_{2}) *A sequence* $\{{x}_{n}\}=\{({x}_{n}^{1},{x}_{n}^{2},\dots ,{x}_{n}^{m})\}$ *is a Cauchy sequence in* ${X}^{m}$ *if and only if the sequences* $\{{x}_{n}^{i}\}$ *are Cauchy sequences in* *X* *for all* $i\in \{1,2,\dots ,m\}$.

(p_{3}) $({X}^{m},D)$ *is complete if and only if* $(X,d)$ *is complete*.

**Example 3.3**Let ${X}_{1}=[0,1]$, ${X}_{2}={\mathbb{R}}^{n}$ ($n\in \mathbb{N}$), $E={\mathbb{R}}^{2}$, $P={\mathbb{R}}_{+}^{2}$, ${d}_{1}:{X}_{1}\times {X}_{1}\to E$ and ${d}_{2}:{X}_{2}\times {X}_{2}\to E$ such that ${d}_{1}(u,v)=(|u-v|,2|u-v|)$ and ${d}_{2}(x,y)=(0,\sqrt{{\sum}_{i=1}^{n}|{x}_{i}-{y}_{i}|})$, $x={({x}_{i})}_{1\le i\le n}$, $y={({y}_{i})}_{1\le i\le n}$. $({X}_{1},{d}_{1})$ and $({X}_{2},{d}_{2})$ are cone metric spaces. The set $Z={X}_{1}\times {X}_{2}=[0,1]\times {\mathbb{R}}^{n}$ with $d:Z\times Z\to E$ defined as

is the product cone metric space of ${X}_{1}$ and ${X}_{2}$.

It should be noted that Theorems 1.7-1.9 can be extended to product cone metric spaces endowed with metric *D* as defined in (3.1).

Now, we state the following theorem for a single map.

**Theorem 3.4**

*Let*$(X,d)$

*be a complete cone metric space*, $F:{X}^{m}\to X$

*be a mapping satisfying*,

*for some*$j\in \{1,\dots ,m\}$,

*for all*$x=({x}_{1},{x}_{2},\dots ,{x}_{m})$, $u=({u}_{1},{u}_{2},\dots ,{u}_{m})\in {X}^{m}$,

*where*${t}_{ji}x$

*is the element in the*

*jth line and*

*ith column of*$t(x)$,

*and*${a}_{1},{a}_{2},{a}_{3},{a}_{4},{b}_{1},\dots ,{b}_{m}\in (0,1)$

*satisfy*${a}_{1}+{a}_{2}+{a}_{3}+{a}_{4}+{\sum}_{i=1}^{m}{b}_{i}<1$.

*Then the mapping*

*F*

*has a unique multipled fixed point*$({x}^{\ast},\dots ,{x}^{\ast})\in {X}^{m}$.

*Moreover*,

*for any*$({x}^{1},{x}^{2},\dots ,{x}^{m})\in {X}^{m}$,

*the sequences*$\{{x}_{n}^{1}\},\{{x}_{n}^{2}\},\dots ,\{{x}_{n}^{m}\}\subset X$

*defined by*

*converge to* ${x}^{\ast}\in X$ *for each* $i\in \{1,2,\dots ,m\}$.

*Proof*Due to the symmetry of

*d*, we can assume without loss of generality that ${a}_{1}={a}_{2}$ and ${a}_{3}={a}_{4}$. Hence we have

for all $k\in \{1,\dots ,m\}$.

*m*-inequalities, we have

Applying Theorem 1.7 to product cone metric spaces, it follows that $\tilde{F}$ has a unique fixed point, which is the unique multipled fixed point of *F*. Since, the multipled fixed point is unique, it is of the form $({x}^{\ast},{x}^{\ast},\dots ,{x}^{\ast})$ with ${x}^{\ast}\in X$ (from Proposition 2.6).

as defined in (3.3). □

**Theorem 3.5**

*Let*$(X,d)$

*be a cone metric space*, $F:{X}^{m}\to X$

*and*$g:X\to X$

*be mappings satisfying*,

*for some*$j\in \{1,\dots ,m\}$,

*for all*$x=({x}_{1},{x}_{2},\dots ,{x}_{m}),u=({u}_{1},{u}_{2},\dots ,{u}_{m})\in {X}^{m}$,

*where*${a}_{1},{a}_{2},{a}_{3},{a}_{4},{b}_{1},\dots ,{b}_{m}\in [0,1)$

*and*${a}_{1}+{a}_{2}+{a}_{3}+{a}_{4}+{\sum}_{i=1}^{m}{b}_{i}<1$.

*If*

- (i)
*F**and**g**are such that*$F({X}^{m})\subset g(X)$, - (ii)
$F({X}^{m})$

*or*$g(X)$*is a complete subset of**X*,*and* - (iii)
*F**and**g**are**w*-*compatible*,

*then*

*F*

*and*

*g*

*have a unique common multipled fixed point*$({x}^{\ast},\dots ,{x}^{\ast})\in {X}^{m}$.

*Moreover*,

*for any*${x}_{0}=({x}_{0}^{1},{x}_{0}^{2},\dots ,{x}_{0}^{m})\in {X}^{m}$,

*the sequence*$\{{x}_{n}\}=\{({x}_{n}^{1},{x}_{n}^{2},\dots ,{x}_{n}^{m})\}$

*in*${X}^{m}$

*defined by*$g{x}_{n}^{i}=F{t}_{i}{x}_{n-1}$

*for all*$i\in \{1,2,\dots ,m\}$,

*i*.

*e*.,

*converges to* $({x}^{\ast},\dots ,{x}^{\ast})$.

*Proof*Due to the symmetry of

*d*, we can assume without loss of generality that ${a}_{1}={a}_{2}$ and ${a}_{3}={a}_{4}$. Hence we have

for all $k\in \{1,\dots ,m\}$.

*m*-inequalities, we have

*X*and

*F*and

*g*are

*w*-compatible, then $\tilde{F}({X}^{m})\subset \tilde{g}({X}^{m})$, $\tilde{F}({X}^{m})$ or $\tilde{g}({X}^{m})$ is complete in ${X}^{m}$ and $\tilde{F}$ and $\tilde{g}$ are

*w*-compatible. From Theorem 1.8 applied to product cone metric spaces, $\tilde{F}$ and $\tilde{g}$ have a unique common fixed point which is the common multipled fixed point of

*F*and

*g*. From Proposition 2.6, it is of the form $({x}^{\ast},{x}^{\ast},\dots ,{x}^{\ast})$, ${x}^{\ast}\in X$. By Theorem 1.8, the sequence $\{{x}_{n}\}=\{{x}_{n}^{1},\dots ,{x}_{n}^{m}\}\subset {X}^{m}$ defined by $\tilde{g}({x}_{n}^{1},\dots ,{x}_{n}^{m})=\tilde{F}({x}_{n-1}^{1},\dots ,{x}_{n-1}^{m})$ for any ${x}_{0}=({x}_{0}^{1},\dots ,{x}_{0}^{m})\in {X}^{m}$ converges to $({x}^{\ast},\dots ,{x}^{\ast})$. Hence, the coordinate sequences $\{{x}_{n}^{1}\},\{{x}_{n}^{2}\},\dots ,\{{x}_{n}^{m}\}$ converge each to ${x}^{\ast}$ and satisfy (3.5) since

□

**Theorem 3.6**

*Let*$(X,d)$

*be a cone metric space*, $f:{X}^{m}\to X$, $g:{X}^{m}\to X$, $S:X\to X$

*and*$T:X\to X$

*be four mappings such that*$f({X}^{m})\subset T(X)$, $g({X}^{m})\subset S(X)$

*and for some*$j\in \{1,\dots ,m\}$,

*for all* $x=({x}_{1},{x}_{2},\dots ,{x}_{m})$, $u=({u}_{1},{u}_{2},\dots ,{u}_{m})\in {X}^{m}$, *where* ${p}_{i}$ ($i=1,2,\dots ,m$), $q,r,t\in (0,1)$ *and* ${\sum}_{i=1}^{m}{p}_{i}+q+r+2t<1$.

*If one of* $f({X}^{m})$, $g({X}^{m})$, $S(X)$ *or* $T(X)$ *is a complete subspace of* *X*, *then* $\{f,S\}$ *and* $\{g,T\}$ *have a unique* *m*-*tupled point of coincidence in* *X*.

*Moreover*,

*if*$\{f,S\}$

*and*$\{g,T\}$

*are*

*w*-

*compatible*,

*then*

*f*,

*g*,

*S*

*and*

*T*

*have a unique multipled common fixed point*$(u,\dots ,u)\in {X}^{m}$

*and for every*$({x}_{0}^{1},{x}_{0}^{2},\dots ,{x}_{0}^{m})\in {X}^{m}$,

*the sequences*$\{{x}_{n}\}=\{({x}_{n}^{1},{x}_{n}^{2},\dots ,{x}_{n}^{m})\}\subset {X}^{m}$

*and*$\{{u}_{n}\}=\{({u}_{n}^{1},{u}_{n}^{2},\dots ,{u}_{n}^{m})\}$

*defined by*

*converge both to* $(u,u,\dots ,u)$.

*Proof*From (3.6) and by simple interchanges, we have

for every $k\in \{1,\dots ,m\}$.

*m*inequalities, we have

The contractive condition in Theorem 1.9 is satisfied for $\tilde{f}$, $\tilde{g}$, $\tilde{S}$ and $\tilde{T}$.

If one of $f({X}^{m})$, $g({X}^{m})$, $S(X)$ or $T(X)$ is complete, then $\tilde{f}({X}^{m})$, $\tilde{g}({X}^{m})$, $\tilde{S}({X}^{m})$ or $\tilde{T}({X}^{m})$ is complete in ${X}^{m}$, hence by Theorem 1.9 applied to the product cone metric space ${X}^{m}$, the pairs $\{\tilde{f},\tilde{S}\}$ and $\{\tilde{g},\tilde{T}\}$ have unique points of coincidence which are unique multiple coincidence points of $\{f,S\}$ and $\{g,T\}$.

If, in addition, $\{f,S\}$ and $\{g,T\}$ are *w*-compatible, then $\{\tilde{f},\tilde{S}\}$ and $\{\tilde{g},\tilde{T}\}$ are *w*-compatible. By Theorem 1.9, $\tilde{f}$, $\tilde{g}$, $\tilde{S}$ and $\tilde{T}$ have a unique common fixed point which is the unique multiple common fixed point of *f*, *g*, *S* and *T*. Because of the uniqueness, it is of the form $(u,\dots ,u)$ for some $u\in X$.

Hence the sequences $\{{x}_{n}\}$ and $\{{u}_{n}\}$ defined in (3.7) converge to $(u,u,\dots ,u)\in {X}^{m}$. □

**Remark 3.7** Theorem 3.4 extends Theorem 1.7 (Olaleru [23]), the results of Sabetghadam *et al.* [10] and Theorem 4.1.1 of Olaleru and Olaoluwa [25] to multipled fixed points. Theorem 3.5 is an extension of Theorem 2.4 of Abbas *et al.* [12] and Theorem 4.2.1 of Olaleru and Olaoluwa [25] to multipled fixed points. Theorem 3.6 generalizes Theorems 3.4 and 3.5 and extends the results of Abbas *et al.* [24] (Theorem 1.9) and Theorem 4.3.1 of Olaleru and Olaoluwa [25] to multipled fixed points. To the best of our knowledge, it is the most general theorem in the theory of multipled fixed points that deals with four maps.

**Example 3.8** Let $(X,d)$ be the cone metric space defined in Example 1.6. Consider the mappings $F:{X}^{m}\to X$ and $g:X\to X$ defined by $F({x}_{1},{x}_{2},\dots ,{x}_{m})=\frac{1}{m}{\sum}_{i=1}^{m}{x}_{i}$ and $g(x)=mx$, where $m\ge 2$.

*F*and

*g*are

*w*-compatible. The condition (3.4) of Theorem 3.5 is satisfied for $j=1$ and ${a}_{1}={a}_{2}={a}_{3}={a}_{4}=\frac{1}{10}$, ${b}_{i}=\frac{1}{2m}$, $\mathrm{\forall}i\in \{1,\dots ,n\}$. That is,

for all $x=({x}_{1},\dots ,{x}_{m})$, $u=({u}_{1},\dots ,{u}_{m})\in {X}^{m}$, and $\frac{1}{10}+\frac{1}{10}+\frac{1}{10}+\frac{1}{10}+{\sum}_{i=1}^{m}\frac{1}{2m}=\frac{9}{10}<1$. Hence *F* and *g* have a unique common multipled fixed point $({x}^{\ast},\dots ,{x}^{\ast})\in {X}^{m}$. It is easy to notice that ${x}^{\ast}=0$.

**Example 3.9** Let $E={\mathbb{R}}^{2}$, $P=\{(x,y)\in E:x,y\ge 0\}$, $X=\{{2}^{-p}:p\in \mathbb{N}\}$ and $d:X\times X\to X$ be defined by $d({2}^{-p},{2}^{-r})=(|p-r|,|{2}^{-p}-{2}^{-r}|)$. $(X,d)$ is a cone metric space. Let $f,g:X\times X\to X$ and $S,T:X\to X$ be defined by $f({x}_{1},{x}_{2})=g({x}_{1},{x}_{2})={x}_{1}{x}_{2}$ and $Sx=Tx={x}^{3}$. *f*, *g*, *S*, *T* satisfy the conditions of Theorem 3.6 with $m=2$, $j\in \{1,2\}$, ${p}_{1}={p}_{2}=\frac{1}{3}$ and $q=r=t=0$. The couple $(1,1)$ is the unique common coupled fixed point of the four maps *f*, *g*, *S* and *T*.

## 4 Retrieving lower multiplicity fixed points

It would be interesting to show that fixed point of *m*-order results can be used to obtain parallel results on fixed points of a lower order *k*. That is, fixed point results (which are fixed point of 1-order results) can be generated from similar results on coupled, tripled or even quadruple fixed points. In the sequel, we prove Theorem 3.6 for order *k*, using the same theorem for a higher-order *m*.

Let *X* be a cone metric space and $({X}^{i},{D}_{i})$ be a product cone metric space, $i\in \mathbb{N}$. Consider the mappings $S,T:X\to X$ and $f,g:{X}^{k}\to X$. Also consider the maps $\overline{f},\overline{g}:{X}^{m}\to X$ defined by $\overline{f}(\overline{x})=f(x)$ and $\overline{g}(\overline{x})=g(x)$ for all $\overline{x}=({x}_{1},\dots ,{x}_{k},\dots ,{x}_{m})\in {X}^{m}$, where $x=({x}_{1},\dots ,{x}_{k})\in {X}^{k}$ (*k* and *m* are integers such that $k<m$).

Obviously, $\overline{f}({X}^{m})=f({X}^{k})$ and $\overline{g}({X}^{m})=g({X}^{k})$; hence the conditions $\overline{f}({X}^{m})\subset T(X)$ and $\overline{g}({X}^{m})\subset S(X)$ imply that $f({X}^{k})\subset T(X)$ and $g({X}^{k})\subset S(X)$, respectively. Also, if $\overline{f}({X}^{m})$ or $\overline{g}({X}^{m})$ is complete, then $f({X}^{k})$ or $g({X}^{k})$ is complete, respectively.

*i.e.*,

for all $x=({x}_{1},{x}_{2},\dots ,{x}_{k}),u=({u}_{1},{u}_{2},\dots ,{u}_{k})\in {X}^{k}$, where ${p}_{1},\dots ,{p}_{k},q,r,t\in [0,1)$ and $q+r+2t+{\sum}_{i=1}^{k}{p}_{i}<1$.

for all $\overline{x}=({x}_{1},{x}_{2},\dots ,{x}_{m}),\overline{u}=({u}_{1},{u}_{2},\dots ,{u}_{m})\in {X}^{m}$, where $q,r,t,{p}_{1},\dots ,{p}_{k}\in [0,1)$, ${p}_{k+1}=\cdots ={p}_{m}=0$ and $q+r+2t+{\sum}_{i=1}^{m}{p}_{i}=q+r+2t+{\sum}_{i=1}^{k}{p}_{i}<1$. If *f*, *g*, *S*, *T* are such that $f({X}^{k})\subset T(X)$, $g({X}^{k})\subset S(X)$ and either $f({X}^{k})$, $g({X}^{k})$, $S(X)$ or $T(X)$ is complete, then $\overline{f}({X}^{m})\subset T(X)$, $\overline{g}({X}^{m})\subset S(X)$ and either $\overline{f}({X}^{m})$, $\overline{g}({X}^{m})$, $S(X)$ or $T(X)$ is complete. Under these conditions, $\{\overline{f},S\}$ and $\{\overline{g},T\}$ have unique points of coincidence of order *m*. From Proposition 2.6, they are of the form $(u,\dots ,u)\in {X}^{m}$ and $(v,\dots ,v)\in {X}^{m}$.

If, in addition, $\{f,S\}$ and $\{g,T\}$ are *w*-compatible, they commute at their respective coincidence points $(u,\dots ,u),(v,\dots ,v)\in {X}^{k}$ and so, obviously, $\{\overline{f},S\}$ and $\{\overline{g},T\}$ also commute at their respective coincidence points $(u,\dots ,u),(v,\dots ,v)\in {X}^{m}$. The coincidence points being unique, $\{\overline{f},S\}$ and $\{\overline{g},T\}$ are *w*-compatible; from Theorem 3.6, $\overline{f}$, $\overline{g}$, *S* and *T* have a unique common fixed point of order *m*, $(z,\dots ,z)\in {X}^{m}$. It obviously follows that *f*, *g*, *S*, *T* have a unique common fixed point $(z,\dots ,z)\in {X}^{k}$ of *k*-order.

The choice of Theorem 3.6 does not lessen the generality given that the notion of *w*-compatibility is used. The same method can be used for Theorem 3.4 or Theorem 3.5. We summarize by stating the following theorem.

**Theorem 4.1** *Theorems of existence of multipled fixed points of maps satisfying some contractive conditions can be considered as applications of corresponding results of fixed points of higher multiplicity*. *In particular*, *the fixed point results are applications of coupled fixed point results or tripled fixed point results*, *coupled fixed point results are applications of tripled fixed point results*, *etc*.

**Remark 4.2**Our methodology of proof shows that some results in cone metric spaces (CMSs) of fixed point (FP) of higher order can be obtained through corresponding fixed point results via product cone metric spaces (PCMSs). Theorem 4.1 is sort of the converse. We can sketch the following diagram in terms of applications or corollaries:

## Declarations

### Acknowledgements

The authors would like to thank their referees for the helpful suggestions.

## 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.087View ArticleMathSciNetMATHGoogle Scholar - Abbas M, Jungck G: Common fixed point results for noncommuting mappings without continuity in cone metric spaces.
*J. Math. Anal. Appl.*2008, 341(1):416–420. 10.1016/j.jmaa.2007.09.070View ArticleMathSciNetMATHGoogle Scholar - Abbas M, Rhoades BE: Fixed and periodic point results in cone metric spaces.
*Appl. Math. Lett.*2009, 22(4):511–515. 10.1016/j.aml.2008.07.001View ArticleMathSciNetMATHGoogle Scholar - Arshad A, Azam A, Vetro P: Some common fixed point results in cone metric spaces.
*Fixed Point Theory Appl.*2009., 2009: Article ID 493965Google Scholar - Ilić D, Rakoc̆ević V: Common fixed points for maps on cone metric space.
*J. Math. Anal. Appl.*2008, 341(2):876–882. 10.1016/j.jmaa.2007.10.065View ArticleMathSciNetMATHGoogle Scholar - Olaleru JO: Common fixed points of three self-mappings in cone metric spaces.
*Appl. Math. E-Notes*2011, 11: 41–49.MathSciNetMATHGoogle Scholar - Rezapour S, Hamlbarani R: Some notes on the paper: ‘Cone metric spaces and fixed point theorems of contractive mappings’.
*J. Math. Anal. Appl.*2008, 345(2):719–724. 10.1016/j.jmaa.2008.04.049View ArticleMathSciNetMATHGoogle Scholar - Vetro P: Common fixed points in cone metric spaces.
*Rend. Circ. Mat. Palermo*2007, 56(3):464–468. 10.1007/BF03032097View ArticleMathSciNetMATHGoogle Scholar - Karapinar E: Some nonunique fixed point theorems of Ciric type on cone metric spaces.
*Abstr. Appl. Anal.*2009., 2010: Article ID 574387Google Scholar - Sabetghadam F, Masiha HP, Sanatpour A: Some coupled fixed point theorems in cone metric spaces.
*Fixed Point Theory Appl.*2009., 2009: Article ID 125426Google Scholar - Lakshmikantham V, Cirić L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric space.
*Nonlinear Anal.*2009, 70: 4341–4349. 10.1016/j.na.2008.09.020View ArticleMathSciNetMATHGoogle Scholar - Abbas M, Ali Khan M, Radenović S: Common coupled fixed point theorems in cone metric spaces for
*w*-compatible mappings.*Appl. Math. Comput.*2010, 217: 195–202. 10.1016/j.amc.2010.05.042View ArticleMathSciNetMATHGoogle Scholar - Karapinar E: Couple fixed point theorems for nonlinear contractions in cone metric spaces.
*Comput. Math. Appl.*2010, 59(12):3656–3668. 10.1016/j.camwa.2010.03.062View ArticleMathSciNetMATHGoogle Scholar - Shatanawi W, Karapinar E, Aydi H: Coupled coincidence points in partially ordered cone metric spaces with a
*c*-distance.*J. Appl. Math.*2012., 2012: Article ID 312078Google Scholar - Kadelburg Z, Radenović S: Coupled fixed point results under TVS-cone metric and W-cone-distance.
*Adv. Fixed Point Theory*2012, 2(1):29–46.Google Scholar - Berinde V, Borcut M: Tripled fixed point theorems for contractive type mappings in partially ordered metric spaces.
*Nonlinear Anal.*2011, 74(15):4889–4897. 10.1016/j.na.2011.03.032View ArticleMathSciNetMATHGoogle Scholar - Berinde V: Generalized coupled fixed point theorems for mixed monotone mappings in partially ordered metric spaces.
*Nonlinear Anal.*2011, 74: 7347–7355. 10.1016/j.na.2011.07.053View ArticleMathSciNetMATHGoogle Scholar - Amini-Harandi A: Coupled and tripled fixed point theory in partially ordered metric spaces with applications to initial value problem.
*Math. Comput. Model.*2013, 57: 2343–2348. 10.1016/j.mcm.2011.12.006View ArticleMATHGoogle Scholar - Karapinar E: Quadruple fixed point theorems for weak Φ-contractions.
*ISRN Math. Anal.*2011., 2011: Article ID 989423Google Scholar - Samet B, Vetro C: Coupled fixed point,
*F*-invariant set and fixed point of*N*-order.*Ann. Funct. Anal.*2011, 1(2):46–56.View ArticleMathSciNetGoogle Scholar - Roldán A, Martínez-Moreno J, Roldán C: Multidimensional fixed point theorems in partially ordered complete metric spaces.
*J. Math. Anal. Appl.*2012, 396(2):536–545. 10.1016/j.jmaa.2012.06.049View ArticleMathSciNetMATHGoogle Scholar - Janković S, Kadelburg Z, Radenović S: On cone metric spaces: a survey.
*Nonlinear Anal.*2010, 74: 2591–2601.View ArticleGoogle Scholar - Olaleru JO: Some generalizations of fixed point theorems in cone metric spaces.
*Fixed Point Theory Appl.*2009., 2009: Article ID 657914Google Scholar - Abbas M, Rhoades BE, Nazir T: Common fixed points for four maps in cone metric spaces.
*Appl. Math. Comput.*2010, 216: 80–86. 10.1016/j.amc.2010.01.003View ArticleMathSciNetMATHGoogle Scholar - Olaleru, JO, Olaoluwa, H: On coupled fixed points in cone metric spaces (submitted)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.