Journal of Function Spaces

Volume 2014 (2014), Article ID 821342, 14 pages

http://dx.doi.org/10.1155/2014/821342

Research Article

-Tuplet Coincidence Point Theorems in Intuitionistic Fuzzy Normed Spaces

Müzeyyen Ertürk¹ and Vatan Karakaya²

¹The Faculty of Arts and Sciences, Department of Mathematics, Yildiz Technical University, Davutpasa Campus, Esenler, 34210 Istanbul, Turkey

²The Faculty of Chemical and Metallurgical Engineering, Department of Mathematical Engineering, Yildiz Technical University, Davutpasa Campus, Esenler, 34220 Istanbul, Turkey

Received 3 September 2013; Accepted 25 October 2013; Published 30 March 2014

Academic Editor: S. A. Mohiuddine

Copyright © 2014 Müzeyyen Ertürk and Vatan Karakaya. 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.

Abstract.

For an arbitrary n positive integer, we investigate the existence of n-tuplet coincidence points in intuitionistic fuzzy normed space. Results of the paper are more general than those of the coupled and the tripled fixed point works in intuitionistic fuzzy normed space.

1. Introduction

One of the most important fields in mathematics is the fixed point theory. This theory is used to solve a variety of problems in many areas such as economics, chemistry, computer science, and engineering as well as many branches of mathematics. One of the main theorems in the fixed point theory is the Banach contraction theorem [1]. This theorem states that contraction map in complete metric space has a unique fixed point. Many authors studied the generalization of the Banach contraction theorem. Generalization on the complete partial ordered metric space was given by Ran and Reurings [2] with a weaker condition. In their theorem, contraction condition is provided only for comparable elements with respect to partial order relation in complete metric space. Some fixed point theorems have been obtained by many authors based on [2]. Bhaskar and Lakshmikantham [3] defined the concept of coupled fixed point and used a theorem associated with it for existence and uniqueness of solution of the periodic boundary value problem. Later on, Lakshmikantham and Ćirić [4] introduced the concept of coincidence point which is a generalization of fixed point. By inspiring these works, coupled fixed point theorems have been studied for different type contraction mappings (see [5–12]). The interest on coupled fixed point theorem has motivated the authors to generalize it as tripled fixed point theorem in [13, 14], afterwards as quadruple fixed point theorem in [15–17], and as -tuplet fixed point theorem in [18–21].

On the other hand, fuzzy theory was introduced by Zadeh [22] and it was generalized by Atanassov [23] as intuitionistic fuzzy theory. While fuzzy theory assigns degree of membership for each element, intuitionistic fuzzy theory assigns degree of membership and nonmembership for each element. Both of them were applied in many fields of sciences.

Introduction of the intuitionistic fuzzy metric space by Park [24] and of the intuitionistic fuzzy normed space by Saadati and Park [25] has enabled many subjects in functional analysis to be studied in intuitionstic fuzzy normed (metric) spaces. Fixed point theory is one of these subjects. Many fixed point theorems have been studied in intuitionistic fuzzy normed (metric) space. Numerous works have been produced since richness of fixed point theory and intuitionistic fuzzy functional analysis. Some of the articles concerning these fields can be found in the literature (such as [26–33]).

Coupled and tripled fixed point theorems in intuitionistic fuzzy normed space were proved via -property in [29, 30], respectively. The purpose of our paper is to study -tuplet coincidence point theorem without -property in intuitionistic fuzzy normed space, which is the generalization of coupled fixed point theorem [29] and tripled fixed point theorem [30] in intuitionistic fuzzy normed space.

Let us start by recalling some of the concepts used in this paper.

Definition 1 (see [34]). A binary operation is a continuous -norm if it satisfies the following conditions: (i) is associative and commutative; (ii) is continuous; (iii) for all ; (iv) whenever and for each .

Definition 2 (see [34]). A binary operation is a continuous -conorm if it satisfies the following conditions: (i) is associative and commutative; (ii) is continuous; (iii) for all ; (iv) whenever and for each .

Definition 3 (see [25]). Let be a continuous -norm, let be a continuous -conorm, and let be a linear space over the field ( or ). If and are fuzzy sets on satisfying the following conditions, the five-tuple is said to be an intuitionistic fuzzy normed space and is called an intuitionistic fuzzy norm. For every and , one has the following:

(i),(ii),(iii),(iv) for each ,(v),(vi) is continuous,(vii) and ,(viii),(ix),(x) for each ,(xi),(xii) is continuous,(xiii) and ;

we further assume that satisfies the following axiom:

(xiv) and for all .

Throughout this paper, expression “intuitionistic fuzzy normed space” will be denoted by IFNS for short.

Similar to Definition  4.12 in [25], Definition 4 can be given as the following:

Definition 4 (see [25]). Let be an IFNS. is called a cartesian product of intuitionistic fuzzy normed spaces if () is a cartesian product of intuitionistic fuzzy norms defined

where and .

Definition 5 (see [25]). Let be an IFNS. Then a sequence in is said to be Cauchy sequence if for each and there exists such that

for each .

Definition 6 (see [25]). Let be an IFNS. is said to be complete if every Cauchy sequence in is convergent.

Definition 7 (see [35]). Let and be two IFNSs. is continuous at if in convergences to for any in converging to . If is continuous at each element of , then is said to be continuous on .

Definition 8 (see [18]). Let be partially ordered set and and . It is said that has the mixed -monotone property if is monotone -nondecreasing in its odd argument and it is monotone -nonincreasing in its even argument. That is, for any ,

Note that if is the identity mapping, this definition is reduced to Definition 1 in [18].

Definition 9 (see [18]). Let be a nonempty set and let be a given mapping. An element is called an -tuplet coincidence point of and if

Note that if is the identity mapping, this definition is reduced to Definition 2 in [18].

Definition 10 (see [18]). Let and be two mappings. and are called commutative if

for all .

2. Main Results

Theorem 11. Let be continuous map having mixed -monotone property on the complete having partial order relation denoted by . Also ; is continuous and commutes with . Suppose that and hold the following conditions, for all and :

where , and . If there exist such that

then there exist such that

that is, and have an -tuplet coincidence point.

Proof. Proof of this theorem consists of four steps.

Step 1. In first step, let us define . Let be as in (8). Since , we construct the sequence , as in [18]:

for .

Step 2. We prove that the following inequalities hold:

for all . This step is similar to a part of proof of Theorem 1 in [18]. So, we omit it. However, since we use it in the proof, we express it again for the integrity of our proof. We can write (12) from (11) as follows:

Step 3. In this step, we show that are Cauchy sequences in .

To do this, we define

By considering (6) and (12), we have in the following inequalities:

Using the property (iv) of -norm and property (xiv) in Definition 3 together with (14), we get

Again, by (6) and (12),

By the property (iv) of -norm together with (16), we get

Thus, if we continue this process in this way, we have

Now we will do the same calculations for . By using (7) and (12),

Using the property (iv) of -norm and property (xiv) in Definition 3 together with (19), we get

Again, by (7) and (12),

Hence, from (21),

Thus, if we continue this process in this way, we have

Now, we can show are Cauchy sequences in by means of (18) and (23). For each and ,

tend to infinity when in (24). So, we get (25) with properties (vii) and (xiii) of intuitionistic fuzzy norm:

Hence, are Cauchy sequences in .

Step 4. In final step, we prove that and have an -tuplet coincidence point. Since is complete, then there exist such that

By using intuitionistic fuzzy continuity of , we write

Since commutativity of and , it follows that

Using continuous of -norm and -conorm, we get

That is . Similarly . From the intuitionistic fuzzy continuous assumption of , we write in the followings

Considering (28) and (29), we have

By taking the limit as in (31), we get

Theorem 12. Let be map having mixed -monotone property on the complete having partial order relation denoted by . Also ; is continuous and commutes with . Suppose that has the following property:

(a)if non decreasing sequence , then for all ,(b)if non increasing sequence , then for all .

Also, suppose that and hold the following conditions, for all and :

where ,  , and ,  . If there exist such that

then there exist such that

that is, and have an -tuplet coincidence point.

Proof . Proof of the present theorem is also in four steps. However, three steps of poof are similar to Theorem 11. We now prove the last step. Considering the hypotheses (a)-(b) given in the theorem and , we have

with (12) for all . Due to intuitionistic fuzzy continuity of , we write

Then, by (6) and (7), we have

by taking limit as and using (37), we obtain the following results from calculation mentioned above:

Hence, .

In a similar way to the previous calculations,

by taking limit as and using (37), we get the following equalities:

Hence, .

We continue process

by taking limit as and using (37), we obtain the last equalities. That is,

Hence, .

Thus, we proved that and have an -tuplet coincidence point.

Remark 13. Theorems 11 and 12 are restricted to Theorem 2.5 in [29] for ; it is restricted to Theorem 3.1 in [36] for and . For , Theorems 11 and 12 are restricted to Theorem 2.1 in [30].

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgment

This work is supported by the Yildiz Technical University Scientific Research Projects Coordination Unit under the Project no. BAPK 2012-07-03-DOP03.

References

S. Banach, “Sur les operations dans les ensembles abstraits et leur applications aux equations integrales,” Fundamenta Mathematicae, vol. 3, pp. 133–181, 1922.

A. C. M. Ran and M. C. B. Reurings, “A fixed point theorem in partially ordered sets and some applications to matrix equations,” Proceedings of the American Mathematical Society, vol. 132, no. 5, pp. 1435–1443, 2004.

T. G. Bhaskar and V. Lakshmikantham, “Fixed point theorems in partially ordered metric spaces and applications,” Nonlinear Analysis: Theory, Methods & Applications, vol. 65, no. 7, pp. 1379–1393, 2006.

V. Lakshmikantham and L. Ćirić, “Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces,” Nonlinear Analysis: Theory, Methods & Applications, vol. 70, no. 12, pp. 4341–4349, 2009.

V. Berinde, “Generalized coupled fixed point theorems for mixed monotone mappings in partially ordered metric spaces,” Nonlinear Analysis: Theory, Methods & Applications, vol. 74, no. 18, pp. 7347–7355, 2011.

V. Berinde, “Coupled coincidence point theorems for mixed monotone nonlinear operators,” Computers & Mathematics with Applications, vol. 64, no. 6, pp. 1770–1777, 2012.

M. Eshaghi Gordji, S. Ghods, M. Ghods, and M. Hadian, “Coupled fixed point theorem for generalized fuzzy meir-keeler contraction in fuzzy metric spaces,” Journal of Computational Analysis and Applications, vol. 14, no. 2, pp. 271–277, 2012.

H. Aydi, E. Karapnar, and W. Shatanawi, “Coupled fixed point results for (ψ, φ) -weakly contractive condition in ordered partial metric spaces,” Computers & Mathematics with Applications, vol. 62, no. 12, pp. 4449–4460, 2011.

M. Abbas, M. Ali Khan, and S. Radenović, “Common coupled fixed point theorems in cone metric spaces for w-compatible mappings,” Applied Mathematics and Computation, vol. 217, no. 1, pp. 195–202, 2010.

S. A. Mohiuddine and A. Alotaibi, “On coupled fixed point theorems for nonlinear contractions in partially ordered G-metric spaces,” Abstract and Applied Analysis, vol. 2012, Article ID 897198, 2012.

M. Mursaleen, S. A. Mohiuddine, and R. P. Agarwal, “Coupled fixed point theorems for --contractive type mappings in partially ordered metric spaces,” Fixed Point Theory and Applications, vol. 2012, article 228, 2012.

M. Mursaleen, S. A. Mohiuddine, and R. P. Agarwal, “Corrigendum to ‘coupled fixed point theorems for --contractive type mappings in partially ordered metric spaces’,” Fixed Point Theory and Applications, vol. 2013, article 127, 2013.

V. Berinde and M. Borcut, “Tripled fixed point theorems for contractive type mappings in partially ordered metric spaces,” Nonlinear Analysis: Theory, Methods & Applications, vol. 74, no. 15, pp. 4889–4897, 2011.

S. A. Mohiuddine and A. Alotaibi, “Some results on a tripled fixed point for nonlinear contractions in partially ordered G-metric spaces,” Fixed Point Theory and Applications, vol. 2012, article 179, 2012.

H. Aydi, E. Karapınar, and I. S. Yüce, “Quadruple fixed point theorems in partially ordered metric spaces depending on another function,” ISRN Applied Mathematics, vol. 2012, Article ID 539125, 16 pages, 2012.

E. Karapinar and V. Berinde, “Quadruple fixed point theorems under nonlinear contractive conditions in partially ordered metric spaces,” Journal of Applied Mathematics, vol. 2012, Article ID 951912, 17 pages, 2012.

E. Karapinar and V. Berinde, “Quadruple fixed point theorems for nonlinear contractions in partially ordered metric spaces,” Banach Journal of Mathematical Analysis, vol. 6, no. 1, pp. 74–89, 2012.

M. Ertürk and V. Karakaya, “n-tuplet fixed point theorems for contractive type mappings in partially ordered metric spaces,” Journal of Inequalities and Applications, vol. 2013, article 196, 2013.

M. Ertürk and V. Karakaya, “Correction: n-tuplet fixed point theorems for contractive type mappings in partially ordered metric spaces,” Journal of Inequalities and Applications, vol. 2013, article 368, 2013.

M. Berzig and B. Samet, “An extension of coupled fixed point's concept in higher dimension and applications,” Computers & Mathematics with Applications, vol. 63, no. 8, pp. 1319–1334, 2012.

A. Roldan, J. Martinez-Moreno, and C. Roldan, “Multidimensional fixed point theorems in partially ordered complete metric spaces,” Journal of Mathematical Analysis and Applications, vol. 396, no. 2, pp. 536–545, 2012.

L. A. Zadeh, “Fuzzy sets,” Information and Control, vol. 8, no. 3, pp. 338–353, 1965.

K. T. Atanassov, “Intuitionistic fuzzy sets,” Fuzzy Sets and Systems, vol. 20, no. 1, pp. 87–96, 1986.

J. H. Park, “Intuitionistic fuzzy metric spaces,” Chaos, Solitons & Fractals, vol. 22, no. 5, pp. 1039–1046, 2004.

R. Saadati and J. H. Park, “On the intuitionistic fuzzy topological spaces,” Chaos, Solitons & Fractals, vol. 27, no. 2, pp. 331–334, 2006.

C. Alaca, D. Turkoglu, and C. Yildiz, “Fixed points in intuitionistic fuzzy metric spaces,” Chaos, Solitons & Fractals, vol. 29, no. 5, pp. 1073–1078, 2006.

B. Deshpande, “Fixed point and (DS)-weak commutativity condition in intuitionistic fuzzy metric spaces,” Chaos, Solitons & Fractals, vol. 42, no. 5, pp. 2722–2728, 2009.

M. Imdad, J. Ali, and M. Hasan, “Common fixed point theorems in modified intuitionistic fuzzy metric space,” Iranian Journal of Fuzzy Systems, vol. 9, no. 5, pp. 77–92, 2012.

M. Eshaghi Gordji, H. Baghani, and Y. J. Cho, “Coupled fixed point theorems for contractions in intuitionistic fuzzy normed spaces,” Mathematical and Computer Modelling, vol. 54, no. 9-10, pp. 1897–1906, 2011.

M. Abbas, B. Ali, W. Sintunavarat, and P. Kumam, “Tripled fixed point and tripled coincidence point theorems in intuitionistic fuzzy normed spaces,” Fixed Point Theory and Applications, vol. 2012, article 187, 2012.

M. Rafi and M. S. M. Noorani, “Fixed point theorem on intuitionistic fuzzy metric spaces,” Iranian Journal of Fuzzy Systems, vol. 3, no. 1, pp. 23–29, 2006.

D. Turkoglu, C. Alaca, Y. J. Cho, and C. Yıldız, “Common fixed point theorems in intuitionistic fuzzy metric spaces,” Journal of Applied Mathematics and Computing, vol. 22, no. 1-2, pp. 411–424, 2006.

T. K. Samanta and S. Mohinta, “On fixed-point theorems in intuitionistic fuzzy metric space I,” General Mathematics Notes, vol. 3, no. 2, pp. 1–12, 2011.

B. Schweizer and A. Sklar, “Satistical metric spaces,” Pacific Journal of Mathematics, vol. 10, pp. 314–334, 1960.

M. Mursaleen and S. A. Mohiuddine, “Nonlinear operators between intuitionistic fuzzy normed spaces and Fréchet derivative,” Chaos, Solitons & Fractals, vol. 42, no. 2, pp. 1010–1015, 2009.

W. Sintunavarat, Y. J. Cho, and P. Kumam, “Coupled coincidence point theorems for contractions without commutative condition in intuitionistic fuzzy normed spaces,” Fixed Point Theory and Applications, vol. 2011, article 81, 2011.