BerindeBorcut tripled fixed point theorem in partially ordered (intuitionistic) fuzzy normed spaces
 Poom Kumam^{1},
 Juan MartínezMoreno^{2}Email author,
 AntonioFrancisco RoldánLópezdeHierro^{2} and
 Concepción RoldánLópezdeHierro^{3}
https://doi.org/10.1186/1029242X201447
© Kumam et al.; licensee Springer. 2014
Received: 1 October 2013
Accepted: 8 January 2014
Published: 30 January 2014
Abstract
In this paper, we prove some tripled fixed point theorems in fuzzy normed spaces. Our results improve and restate the proof lines of the main results given in the paper (Abbas et al. in Fixed Point Theory Appl. 2012:187, 2012).
Keywords
fuzzy metric space tripled fixed point intuitionistic space1 Introduction
Once the notion of coupled fixed point was given by Gnana Bhaskar and Lakshmikantham in [1], the theory of multidimensional fixed points has attracted much attention (see, for instance, [2–8]), specially in the tripled case (see [9–17]).
Recently, many authors have shown the existence of tripled fixed points and common tripled fixed points for some contractions in cone metric spaces, partially ordered metric spaces, fuzzy metric spaces, fuzzy normed spaces, intuitionistic fuzzy normed spaces and others. Especially in [18], Abbas et al. proved some tripled fixed point theorem for contractive mappings in partially complete intuitionistic fuzzy normed spaces. But the authors found some mistakes in the proof lines of their main result. In this paper we give a corrected version of the main theorem.
A tnorm (resp., a tconorm) is a mapping $\ast :{[0,1]}^{2}\to [0,1]$ (resp., $\diamond :{[0,1]}^{2}\to [0,1]$) that is associative, commutative, and nondecreasing in both arguments and has 1 (resp., 0) as identity.
For any $a\in [0,1]$, let the sequence ${\{{\ast}^{n}a\}}_{n=1}^{\mathrm{\infty}}$ be defined by ${\ast}^{1}a=a$ and ${\ast}^{n}a=({\ast}^{n1}a)\ast a$. Then a tnorm ∗ is said to be of Htype if the sequence ${\{{\ast}^{n}a\}}_{n=1}^{\mathrm{\infty}}$ is equicontinuous at $a=1$.
Definition 2 A fuzzy normed space (briefly, FNS) is a triple $(X,\mu ,\ast )$, where X is a vector space, ∗ is a continuous tnorm and $\mu :X\times (0,\mathrm{\infty})\to [0,1]$ is a fuzzy set such that, for all $x,y\in X$ and $t,s>0$,
 (F1)
$\mu (x,t)>0$;
 (F2)
$\mu (x,t)=1$ for all $t>0$ if and only if $x=0$;
 (F3)
$\mu (ax,t)=\mu (x,\frac{t}{a})$ for all $a?0$;
 (F4)
$\mu (x,t)*\mu (y,s)=\mu (x+y,t+s)$;
 (F5)
$\mu (x,\xb7):(0,\mathrm{8})?[0,1]$ is continuous;
 (F6)
${lim}_{t?\mathrm{8}}\mu (x,t)=1$ and ${lim}_{t?0}\mu (x,t)=0$.
Using the continuous tnorms and tconorms, Saadati and Park [21] introduced the concept of an intuitionistic fuzzy normed space.
An intuitionistic fuzzy normed space (briefly, IFNS) is a 5tuple $(X,\mu ,\nu ,\ast ,\diamond )$ where X is a vector space, ∗ is a continuous tnorm, ⋄ is a continuous tconorm and $\mu ,\nu :X\times (0,\mathrm{\infty})\to [0,1]$ are fuzzy sets such that, for all $x,y\in X$ and $t,s>0$,
 (IF1)
$\mu (x,t)+?(x,t)=1$;
 (IF2)
$\mu (x,t)>0$ and $?(x,t)<1$;
 (IF3)
$\mu (x,t)=1$ for all $t>0$ if and only if $x=0$ if and only if $?(x,t)=0$ for all $t>0$;
 (IF4)
$\mu (ax,t)=\mu (x,\frac{t}{a})$ and $?(ax,t)=?(x,\frac{t}{a})$ for all $a?0$;
 (IF5)
$\mu (x,t)*\mu (y,s)=\mu (x+y,t+s)$ and $?(x,t)??(y,s)=?(x+y,t+s)$;
 (IF6)
$\mu (x,\xb7),?(x,\xb7):(0,\mathrm{8})?[0,1]$ are continuous;
 (IF7)
${lim}_{t?\mathrm{8}}\mu (x,t)=1={lim}_{t?0}?(x,t)$ and ${lim}_{t?0}\mu (x,t)=0={lim}_{t?\mathrm{8}}?(x,t)$.
Obviously, if $(X,\mu ,\nu ,\ast ,\diamond )$ is a IFNS, then $(X,\mu ,\ast )$ is a FNS. We refer to this space as its support.
Lemma 4 $\mu (x,\cdot )$ is a nondecreasing function on $(0,\mathrm{\infty})$ and $\nu (x,\cdot )$ is a nonincreasing function on $(0,\mathrm{\infty})$.
Some properties and examples of IFNS and the concepts of convergence and a Cauchy sequence in IFNS are given in [21].
 (1)
A sequence $\{{x}_{n}\}\subset X$ is called a Cauchy sequence if, for any $\u03f5>0$ and $t>0$, there exists ${n}_{0}\in \mathbb{N}$ such that $\mu ({x}_{n}{x}_{m},t)>1\u03f5$ and $\nu ({x}_{n}{x}_{m},t)<\u03f5$ for all $n,m\ge {n}_{0}$.
 (2)
A sequence $\{{x}_{n}\}\subset X$ is said to be convergent to a point $x\in X$, denoted by ${x}_{n}\to x$ or by ${lim}_{n\to \mathrm{\infty}}{x}_{n}=x$, if, for any $\u03f5>0$ and $t>0$, there exists ${n}_{0}\in \mathbb{N}$ such that $\mu ({x}_{n}x,t)>1\u03f5$ and $\nu ({x}_{n}x,t)<\u03f5$ for all $n\ge {n}_{0}$.
 (3)
An IFNS in which every Cauchy sequence is convergent is said to be complete.
Definition 6 ([7])
Let $F:{X}^{3}\to X$ and $g:X\to X$ be two mappings.

We say that F and g are commuting if $gF(x,y,z)=F(gx,gy,gz)$ for all $x,y,z\in X$.

A point $(x,y,z)\in {X}^{3}$ is called a tripled coincidence point of the mappings F and g if $F(x,y,z)=gx$, $F(y,x,y)=gy$ and $F(z,y,x)=gz$. If g is the identity, $(x,y,z)$ is called a tripled fixed point of F.

If $(X,\u2291)$ is a partially ordered set, then F is said to have the mixed gmonotone property if it verifies the following properties:$\begin{array}{r}{x}_{1},{x}_{2}\in X,\phantom{\rule{1em}{0ex}}g{x}_{1}\u2291g{x}_{2}\phantom{\rule{1em}{0ex}}\u27f9\phantom{\rule{1em}{0ex}}F({x}_{1},y,z)\u2291F({x}_{2},y,z),\phantom{\rule{1em}{0ex}}\mathrm{\forall}y\in X,\\ {y}_{1},{y}_{2}\in X,\phantom{\rule{1em}{0ex}}g{y}_{1}\u2291g{y}_{2}\phantom{\rule{1em}{0ex}}\u27f9\phantom{\rule{1em}{0ex}}F(x,{y}_{1},z)\u2292F(x,{y}_{2},z),\phantom{\rule{1em}{0ex}}\mathrm{\forall}x\in X,\\ {z}_{1},{z}_{2}\in X,\phantom{\rule{1em}{0ex}}g{z}_{1}\u2291g{z}_{2}\phantom{\rule{1em}{0ex}}\u27f9\phantom{\rule{1em}{0ex}}F(x,y,{z}_{1})\u2291F(x,y,{z}_{2}),\phantom{\rule{1em}{0ex}}\mathrm{\forall}x\in X.\end{array}$
If g is the identity mapping, then F is said to have the mixed monotone property.

If $(X,\u2291)$ is a partially ordered set, then X is said to have the sequential gmonotone property if it verifies the following properties: If g is the identity mapping, then X is said to have the sequential monotone property.
 (B1)
If $\{{x}_{n}\}$ is a nondecreasing sequence and ${lim}_{n?\mathrm{8}}{x}_{n}=x$, then $g{x}_{n}?gx$ for all $n?\mathbb{N}$.
 (B2)
If $\{{x}_{n}\}$ is a nonincreasing sequence and ${lim}_{n?\mathrm{8}}{y}_{n}=y$, then $g{y}_{n}?gy$ for all $n?\mathbb{N}$.
 (B1)
If g is the identity mapping, then X is said to have the sequential monotone property..
Definition 7 Let X and Y be two IFNS. A function $f:X\to Y$ is said to be continuous at a point ${x}_{0}\in X$ if, for any sequence $\{{x}_{n}\}$ in X converging to ${x}_{0}$, the sequence $\{f({x}_{n})\}$ in Y converges to $f({x}_{0})$. If f is continuous at each $x\in X$, then f is said to be continuous on X.
The following lemma proved by Haghi et al. [23] is useful for our main results:
Lemma 8 Let X be a nonempty set and $g:X\to X$ be a mapping. Then there exists a subset $E\subset X$ such that $g(E)=g(X)$ and $g:E\to X$ is onetoone.
Definition 9 Let $(X,\mu ,\nu ,\ast ,\diamond )$ be an IFNS. The pair $(\mu ,\nu )$ is said to satisfy the nproperty on $X\times (0,\mathrm{\infty})$ if ${lim}_{n\to \mathrm{\infty}}{[\mu (x,{k}^{n}t)]}^{{n}^{p}}=1$ and ${lim}_{n\to \mathrm{\infty}}{[\nu (x,{k}^{n}t)]}^{{n}^{p}}=0$ whenever $x\in X$, $k>1$ and $p>0$.
In order to state our results, we recall the main result given in [18].
Theorem 10 (Abbas et al., Theorem 2.2)
 (a)
F is continuous or
 (b)
X has the sequential gmonotone property.
If there exist ${x}_{0},{y}_{0},{z}_{0}\in X$ such that $g{x}_{0}\u2291F({x}_{0},{y}_{0},{z}_{0})$, $g{y}_{0}\u2292F({y}_{0},{x}_{0},{y}_{0})$ and $g{z}_{0}\u2291F({z}_{0},{y}_{0},{x}_{0})$, then F and g have a tripled coincidence point.
2 Comments and revised tripled fixed point theorem
Now, by replacing in Theorem 10 the hypothesis that μ satisfies the nproperty with the one that the tnorm is of Htype, we state and prove a tripled fixed point theorem as a modification.
 (a)
F is continuous or
 (b)
X has the sequential monotone property.
If there exist ${x}_{0},{y}_{0},{z}_{0}\in X$ such that ${x}_{0}\u2291F({x}_{0},{y}_{0},{z}_{0})$, ${y}_{0}\u2292F({y}_{0},{x}_{0},{y}_{0})$ and ${z}_{0}\u2291F({z}_{0},{y}_{0},{x}_{0})$, then F has a tripled fixed point. Furthermore, if ${x}_{0}$ and ${y}_{0}$ are comparable, then $x=y$, that is, $x=F(x,x)$.
Proof As in [18] starting with ${x}_{0},{y}_{0},{z}_{0}\in X$ such that ${x}_{0}\u2291F({x}_{0},{y}_{0},{z}_{0})$, ${y}_{0}\u2292F({y}_{0},{x}_{0},{y}_{0})$ and ${z}_{0}\u2291F({z}_{0},{y}_{0},{x}_{0})$, one can define inductively three sequences $\{{x}_{n}\},\{{y}_{n}\},\{{z}_{n}\}\subset X$ such that ${x}_{n+1}=F({x}_{n},{y}_{n},{z}_{n})$, ${y}_{n+1}=F({y}_{n},{x}_{n},{y}_{n})$ and ${z}_{n+1}=F({z}_{n},{y}_{n},{x}_{n})$.
Since ${lim}_{n\to \mathrm{\infty}}{\delta}_{0}(\frac{t}{{k}^{n}})=1$ for all $t>0$, we have ${lim}_{n\to \mathrm{\infty}}{\delta}_{n}(t)=1$ for all $t>0$.
Therefore, $\{{x}_{n}\}$, $\{{y}_{n}\}$ and $\{{z}_{n}\}$ are Cauchy sequences. We can continue as in [18] to complete the proof. □
 (a)
F is continuous or
 (b)
X has the sequential gmonotone property.
If there exist ${x}_{0},{y}_{0},{z}_{0}\in X$ such that $g{x}_{0}\u2291F({x}_{0},{y}_{0},{z}_{0})$, $g{y}_{0}\u2292F({y}_{0},{x}_{0},{y}_{0})$ and $g{z}_{0}\u2291F({z}_{0},{y}_{0},{x}_{0})$, then F and g have a tripled coincidence point.
Proof As in Theorem 2.2 in [18]. □
Of course, all the results are valid if X is intuitionistic.
Declarations
Acknowledgements
The first author was supported by the Higher Education Research Promotion and National Research University Project of Thailand, Office of the Higher Education Commission (Under NRUCSEC Project No. NRU56000508). The last three authors have been partially supported by Junta de Andalucía, by projects FQM268, FQM178 and FQM235 of the Andalusian CICYE.
Authors’ Affiliations
References
 Gnana Bhaskar T, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. 2006, 65: 13791393. 10.1016/j.na.2005.10.017MathSciNetView ArticleMATHGoogle Scholar
 Berinde V, Borcut M: Tripled fixed point theorems for contractive type mappings in partially ordered metric spaces. Nonlinear Anal. 2011, 74: 48894897. 10.1016/j.na.2011.03.032MathSciNetView ArticleMATHGoogle Scholar
 Borcut M, Berinde V: Tripled coincidence theorems for contractive type mappings in partially ordered metric spaces. Appl. Math. Comput. 2012, 218: 59295936. 10.1016/j.amc.2011.11.049MathSciNetView ArticleMATHGoogle Scholar
 Aydi H, Karapinar E, Postolache M: Tripled coincidence theorems for weak φ contractions in partially ordered metric spaces. Fixed Point Theory Appl. 2012. 2012: Article ID 44Google Scholar
 Karapınar E, Luong N: Quadruple fixed point theorems for nonlinear contractions. Comput. Math. Appl. 2012, 64: 18391848. 10.1016/j.camwa.2012.02.061MathSciNetView ArticleMATHGoogle Scholar
 Karapınar E, Berinde V: Quadruple fixed point theorems for nonlinear contractions in partially ordered metric spaces. Banach J. Math. Anal. 2012, 6: 7489.MathSciNetView ArticleMATHGoogle Scholar
 Roldán A, MartínezMoreno J, Roldán C: Multidimensional fixed point theorems in partially ordered complete metric spaces. J. Math. Anal. Appl. 2012, 396: 536545. 10.1016/j.jmaa.2012.06.049MathSciNetView ArticleMATHGoogle Scholar
 Roldán A, MartínezMoreno J, Roldán C: Multidimensional coincidence point results for compatible mappings in partially ordered fuzzy metric spaces. Fuzzy Sets Syst. 2013. 10.1016/j.fss.2013.10.009Google Scholar
 Aydi H, Karapınar E, Shatanawi W: Tripled fixed point results in generalized metric spaces. J. Appl. Math. 2012. 2012: Article ID 314279Google Scholar
 Karapınar E, Aydi H, Mustafa Z: Some tripled coincidence point theorems for almost generalized contractions in ordered metric spaces. Tamkang J. Math. 2013, 44: 233251.MathSciNetView ArticleMATHGoogle Scholar
 Aydi H, Karapınar E, Radenovic S: Tripled coincidence fixed point results for BoydWong and Matkowski type contractions. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. a Mat. 2013, 107: 339353. 10.1007/s1339801200773View ArticleMathSciNetMATHGoogle Scholar
 Aydi H, Karapınar E, Shatanawi W: Tripled common fixed point results for generalized contractions in ordered generalized metric spaces. Fixed Point Theory Appl. 2012. 2012:Google Scholar
 Aydi H, Karapınar E: New MeirKeeler type tripled fixed point theorems on ordered partial metric spaces. Math. Probl. Eng. 2012. 2012:Google Scholar
 Aydi H, Karapınar E, Shatanawi W: Tripled fixed point results in generalized metric spaces. J. Appl. Math. 2012. 2012:Google Scholar
 Abbas M, Aydi H, Karapınar E: Tripled fixed points of multivalued nonlinear contraction mappings in partially ordered metric spaces. Abstr. Appl. Anal. 2011., 2011:Google Scholar
 Aydi H, Karapınar E: Tripled coincidence point theorems for a class of contractions in ordered metric spaces. Acta Univ. Apulensis 2012, 32: 193205.MathSciNetMATHGoogle Scholar
 Aydi H, Karapınar E: Tripled fixed points in ordered metric spaces. Bull. Math. Anal. Appl. 2012, 4: 197207.MathSciNetMATHGoogle Scholar
 Abbas M, Ali B, Sintunaravat W, Kumam P: Tripled fixed point and tripled coincidence point theorems in intuitionistic fuzzy normed spaces. Fixed Point Theory Appl. 2012. 2012:Google Scholar
 Hadžić O, Pap E: Fixed Point Theory in Probabilistic Metric Spaces. Kluwer Academic, Dordrecht; 2001.MATHGoogle Scholar
 Roldán A, MartínezMoreno J, Roldán C: Tripled fixed point theorem in fuzzy metric spaces and applications. Fixed Point Theory Appl. 2013. 2013:Google Scholar
 Saadati R, Park J: On the intuitionistic fuzzy topological spaces. Chaos Solitons Fractals 2006, 27: 231344.MathSciNetView ArticleMATHGoogle Scholar
 Roldán A, MartínezMoreno J, Roldán C: On interrelationships between fuzzy metric structures. Iran. J. Fuzzy Syst. 2013, 10: 133150.MathSciNetMATHGoogle Scholar
 Haghi R, Rezapour H, Shahzad N: Some fixed point generalizations are not real generalizations. Nonlinear Anal. 2011, 74: 17991803. 10.1016/j.na.2010.10.052MathSciNetView ArticleMATHGoogle 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.