Fuzzy double controlled metric spaces and related results

1 Introduction and preliminaries

The concept of metric space was given by Fréchet [8] in his dissertation in 1906. Later on, in 1922, Banach [3] proved the Banach contraction principle in his doctorate dissertation. Since then, many researchers have used this principle in various directions ([4, 18]). Zadeh [24] introduced the concept of fuzzy set, back in 1965, as an extension of an ordinary set where each element of a set has some membership values between [0, 1] . Many mathematical structures have been shifted on fuzzy sets, see ([6, 19]). The concept of fuzzy metric space was introduced by Kramosil and Michálek [14] which is sort of a reformulation of the statistical metric space defined by Menger [16]. Banach contraction principle in the framework of fuzzy metric space was proved by Grabiec [10]. He also gave definitions of a convergent sequence and a Cauchy sequence in the context of fuzzy metric space. In 1994, George and Veeramani [9] investigated the Hausdorff topology in fuzzy metric spaces and generalized the definition of a fuzzy metric space given by Kramosil and Michálek [14].

Bakhtin [2] gave the concept of b-metric space which generalizes the metric space. In 1993, Czerwik [7] investigated some contractive mappings in b-metric space. In 2000, Branciari [5] established the definition of a rectangular metric space and proved Banach-Caccippoli type fixed point result in this new class of metric space. In 2016, Roshan et al. [21] generalized the notion of rectangular metric space by introducing b-Branciari metric space. In 2016, Nǎdǎban [17] introduced the idea of fuzzy b-metric space which generalizes fuzzy metric space. Kamran et al. [13] introduced the generalization of a b-metric space by replacing the constant b with a function θ and proved Banach fixed point theorem on this space. In 2017, Mehmood et al. [15] introduced the concept of extended fuzzy b-metric space and proved the contraction principle. Abdeljawad et al. [1] introduced the concept of double controlled metric type space by using two non-comparable functions while Sezen [23] gave the concept of controlled fuzzy metric space.

In this paper, we introduce the notion of fuzzy double controlled metric space which generalizes the spaces of fuzzy b-metric, extended fuzzy b-metric and controlled fuzzy metric. We examine some topological properties of fuzzy double controlled metric space and extend the Banach contraction principle to this space. We follow the George and Veeramani’s sense of fuzzy metric space. Also, some examples and an application to existence and uniqueness of solution for an integral equation are ensured to support our main results.

Definition 1.1. ([22]) A binary operation ∗ : [0, 1] × [0, 1] → [0, 1] is called a continuous triangular norm (in short, continuous t-norm), if it satisfies the following conditions:

∗ is commutative and associative;

Definition 1.2. ([17]) Let X be a nonempty set, b ≥ 1 a given real number and ∗ a continuous t-norm. A fuzzy set M on X × X × (0, ∞) is called fuzzy b-metric on X, if for all x, y, z ∈ X, the following conditions hold:

M (x, y, 0) =0 ;

Definition 1.3. ([15]) Let X be a nonempty set, α : X × X → [1, ∞) a given function and ∗ a continuous t-norm. A fuzzy set M _α on X × X × (0, ∞) is called extended fuzzy b-metric on X, if for all x, y, z ∈ X, the following conditions hold:

M _α  (x, y, 0) =0 ;

Definition 1.4. ([23]) Let X be a nonempty set, α : X × X → [1, ∞) a given function and ∗ a continuous t-norm. A fuzzy set M _α on X × X × (0, ∞) is called controlled fuzzy metric on X, if for all x, y, z ∈ X, the following conditions hold:

M _α  (x, y, 0) =0 ;

Definition 1.5. ([1]) Given non-comparable functions α, β : X × X → [1, ∞) . If q : X × X → [0, ∞) satisfies

q (x, y) =0 iff x = y,

2 Main results

Firstly, we introduce the notion of fuzzy double controlled metric space.

Definition 2.1. Let X be a nonempty set and α, β : X × X → [1, ∞) given non-comparable functions, and ∗ a continuous t-norm. A fuzzy set M _q on X × X × (0, ∞) is called fuzzy double controlled metric on X, if for all x, y, z ∈ X, the following conditions hold:

M _q  (x, y, t) >0 ;

Remark 2.1. (i) If we take α (x, y) = β (x, y), then a fuzzy double controlled metric space becomes a controlled fuzzy metric space.

(ii) If we take α (x, y) = β (y, z) = α (x, z), then a fuzzy double controlled metric space becomes an extended fuzzy b-metric space.

(iii) If we take α (x, y) = β (x, y) = b ≥ 1, then a fuzzy double controlled metric space becomes a fuzzy b-metric space.

Example 2.1. Let X = {1, 2, 3} and α, β : X × X → [1, ∞) be two non-comparable functions given by α (x, y) = x + y + 1 and β (x, y) = x² + y² - 1. Define M _q  : X × X × (0, ∞) → [0, 1] as M q ( x , y , t ) = min { x , y } + t max { x , y } + t . Then (X, M _q , ∗) is fuzzy double controlled metric space with product t-norm.

Now, α (1, 2) = α (2, 1) =4, α (1, 3) = α (3, 1) =5, α (2, 3) = α (3, 2) =6, α (1, 1) =3, α (2, 2) =5, α (3, 3) =7, and β (1, 2) = β (2, 1) =4, β (1, 3) = β (3, 1) =9, β (2, 3) = β (3, 2) =12, β (1, 1) =1, β (2, 2) =7, β (3, 3) =17 .

Axioms (M _q 1) to (M _q 3) and (M _q 5) are easy to verify, we only prove (M _q 4).

Let x = 1,  y = 2, and z = 3. Then M q ( 1 , 3 , t + s ) = min { 1 , 3 } + t + s max { 1 , 3 } + t + s = 1 + t + s 3 + t + s . Now, M q ( 1 , 2 , t α ( 1 , 2 ) ) = min { 1 , 2 } + t α ( 1 , 2 ) max { 1 , 2 } + t α ( 1 , 2 ) = 1 + t 4 2 + t 4 = 4 + t 8 + t , and M q ( 2 , 3 , s β ( 2 , 3 ) ) = min { 2 , 3 } + s β ( 2 , 3 ) max { 2 , 3 } + s β ( 2 , 3 ) = 2 + s 12 3 + s 12 = 24 + s 36 + s . Clearly, 1 + t + s 3 + t + s ≥ 4 + t 8 + t · 24 + s 36 + s , for all t , s > 0 . So, M q ( 1 , 3 , t + s ) ≥ M q ( 1 , 2 , t α ( 1 , 2 ) ) ∗ M q ( 2 , 3 , s β ( 2 , 3 ) ) . On the same steps, one can prove the remaining cases. Hence (X, M _q , ∗) is a fuzzy double controlled metric space.

Remark 2.2. If we take minimum t-norm instead of product t-norm in Example 2.1, then X, M_q, ∗) is not a fuzzy double controlled metric space. For instance, let x = 1, y = 2, z = 3, and t = 0.04, s = 0.05 with α (x, y) = x + y + 1,  β (x, y) = x² + y² - 1, then M q ( 1 , 3 , 0.04 + 0.05 ) = 1 + 0.09 3 + 0.09 = 0.3528 , and M q ( 1 , 2 , 0.04 α ( 1 , 2 ) ) = 1 + 0.04 4 2 + 0.04 4 = 1 + 0.01 2 + 0.01 = 0.5025 , and M q ( 2 , 3 , 0.05 β ( 2 , 3 ) ) = 2 + 0.05 12 3 + 0.05 12 = 2 + 0.0042 3 + 0.0042 = 0.6671 , Clearly, M q ( 1 , 3 , 0.04 + 0.05 ) ≱ M q ( 1 , 2 , 0.04 α ( 1 , 2 ) ) ∗ M q ( 2 , 3 , 0.05 β ( 2 , 3 ) ) . Hence (X, M _q , ∗) is not a fuzzy double controlled metric space with minimum t-norm.

Definition 2.2. Let (X, M _q , ∗) be a fuzzy double controlled metric space, then we define an open ball B (x, r, t) with centre x, radius r,  r ∈]0, 1 [, and t > 0 as follows: B ( x , r , t ) = { y ∈ X : M q ( x , y , t ) > 1 - r } .

We show in the next example that (X, M _q , ∗) is not Hausdorff.

Example 2.2. Let X = {1, 2, 3} and α, β : X × X → [1, ∞) be two non-comparable functions given by α (x, y) = x + y + 1 and β (x, y) = x² + y² - 1. Define M _q  : X × X × (0, ∞) → [0, 1] as M q ( x , y , t ) = min { x , y } + t max { x , y } + t . Then (X, M _q , ∗) is fuzzy double controlled metric space with product t-norm. Consider the open ball B (1, 0.4, 5) with centered at 1, radius r = 0.4 and t = 5. Then B ( 1 , 0.4 , 5 ) = { y ∈ X : M q ( 1 , y , 5 ) > 0.6 } . Now, M q ( 1 , 2 , 5 ) = 1 + 5 2 + 5 = 6 7 = 0.8571 , M q ( 1 , 3 , 5 ) = 1 + 5 3 + 5 = 6 8 = 0.6666 . Thus B (1, 0.4, 5) = {2, 3}. Now consider the open ball B (2, 0.6, 10) with centered at 2, radius r = 0.6 and t = 10. Then, B ( 2 , 0.6 , 10 ) = { y ∈ X : M q ( 2 , y , 10 ) > 0.4 } . Now, M q ( 2 , 1 , 10 ) = 1 + 10 2 + 10 = 11 12 = 0.9166 , M q ( 2 , 3 , 10 ) = 2 + 10 3 + 10 = 12 13 = 0.9230 . So, B (2, 0.6, 10) = {1, 3}. Now, B ( 1 , 0.4 , 5 ) ∩ B ( 2 , 0.6 , 10 ) = { 2 , 3 } ∩ { 1 , 3 } = { 3 } ≠ ∅ . Hence, a fuzzy double controlled metric space is not Hausdorff.

Using the idea of George and Veeramani [9], we now give definitions of a convergent sequence and a Cauchy sequence in a fuzzy double controlled metric space.

Definition 2.3. Let (X, M _q , ∗) be a fuzzy double controlled metric space and {x _n } be a sequence in X. Then {x _n } is said to be:

a convergent sequence, if there exists x ∈ X such that lim n → ∞ M q ( x n , x , t ) = 1 , for all t > 0 ,

If every Cauchy sequence converges in X, then (X, M _q , ∗) is called complete fuzzy double controlled metric space.

Following lemmas are needed in the proof of our main results.

Lemma 2.1. Let {x _n } be a Cauchy sequence in fuzzy double controlled metric space (X, M _q , ∗) such that x _m  ≠ x _n whenever m , n ∈ ℕ with m ≠ n . Then the sequence {x _n } can converge to at most one limit point.

Proof. Suppose on the contrary that x _n  → x and x _n  → y, for x ≠ y. Then lim n → ∞ M q ( x n , x , t ) = 1 and lim n → ∞ M q ( x n , y , t ) = 1 for all t > 0. Consider M q ( x , y , t ) ≥ M q ( x , x n , t 2 α ( x , x n ) ) ∗ M q ( x n , y , t 2 β ( x n , y ) ) → 1 ∗ 1 , as n → ∞ . So M _q  (x, y, t) ≥1 ∗ 1 =1. Hence x = y, that is the sequence {x_n} converges to at most one limit point.

Lemma 2.2. Let (X, M _q , ∗) be a fuzzy double controlled metric space. If for some k ∈ (0, 1) and for any x, y ∈ X, t > 0, M q ( x , y , t ) ≥ M q ( x , y , t k ) , then x = y.

Proof. The proof is similar in [20]. Hence, we omit it.

Now we prove Banach contraction principle in the setting of fuzzy double controlled metric space.

Theorem 2.1. Let α , β : X × X → [ 1 , 1 k ) (k ∈ (0, 1)) be two non-comparable functions and (X, M _q , ∗) be a complete fuzzy double controlled metric space such that lim t → ∞ M q ( x , y , t ) = 1 .(1) Let T : X → X be a mapping satisfying M q ( Tx , Ty , kt ) ≥ min { M q ( x , y , t ) , M q ( x , Tx , t ) , M q ( y , Ty , t ) } ,(2)for all x, y ∈ X . Then T has a unique fixed point.

Proof. Let a₀ ∈ X be an arbitrary point. If Ta₀ = a₀, then a₀ is the required fixed point. If Ta₀ ≠ a₀, then there exists a₁ ∈ X such that Ta₀ = a₁. Continuing in this way, we have a 2 = Ta 1 = T ( Ta 0 ) = T 2 a 0 ,

and a 3 = Ta 2 = T ( Ta 1 ) = T 2 a 1 = T 2 ( Ta 0 ) = T 3 a 0 , and, we have Ta n = T ( Ta n - 1 ) = ⋯ = T n + 1 a 0 = a n + 1 . Hence, we get the iterative sequence a _n  = Ta_n-1 = T ⁿ a₀. Now, by (2) M q ( a n , a n + 1 , t ) = M q ( Ta n - 1 , Ta n , t ) ≥ min { M q ( a n - 1 , a n , t k ) , M ( a n - 1 , Ta n - 1 , t k ) , M q ( a n , Ta n , t k ) } = min { M q ( a n , a n - 1 , t k ) , M q ( a n , a n + 1 , t k ) } . If M q ( a n , a n + 1 , t ) ≥ M q ( a n , a n + 1 , t k ) , then by Lemma 2.2 a _n  = a_n+1 for all n ∈ ℕ and a _n is a fixed point of T. So, we deduce M q ( a n , a n + 1 , t ) ≥ M q ( a n - 1 , a n , t k ) ≥ M q ( a n - 2 , a n - 1 , t k 2 ) ⋮ ≥ M q ( a 0 , a 1 , t k n ) .(3) Let n , m ∈ ℕ such that n < m, then M q ( a n , a m , t ) ≥ M q ( a n , a n + 1 , t 2 α ( a n , a n + 1 ) ) ∗ M q ( a n + 1 , a m , t 2 β ( a n + 1 , a m ) ) ≥ M q ( a n , a n + 1 , t 2 α ( a n , a n + 1 ) ) ∗ M q ( a n + 1 , a n + 2 , t 2 2 α ( a n + 1 , a n + 2 ) β ( a n + 1 , a m ) ) ∗ M q ( a n + 2 , a m , t 2 2 β ( a n + 2 , a m ) β ( a n + 1 , a m ) ) ≥ M q ( a n , a n + 1 , t 2 α ( a n , a n + 1 ) ) ∗ M q ( a n + 1 , a n + 2 , t 2 2 α ( a n + 1 , a n + 2 ) β ( a n + 1 , a m ) ) ∗ M q ( a n + 2 , a n + 3 , t 2 3 α ( a n + 2 , a n + 3 ) β ( a n + 2 , a m ) β ( a n + 1 , a m ) ) ∗ M q ( a n + 3 , a m , t 2 3 β ( a n + 3 , a m ) β ( a n + 2 , a m ) β ( a n + 1 , a m ) ) ≥ M q ( a n , a n + 1 , t 2 α ( a n , a n + 1 ) ) ∗ M q ( a n + 1 , a n + 2 , t 2 2 α ( a n + 1 , a n + 2 ) β ( a n + 1 , a m ) ) ∗ M q ( a n + 2 , a n + 3 , t 2 3 α ( a n + 2 , a n + 3 ) β ( a n + 2 , a m ) β ( a n + 1 , a m ) ) ∗ M q ( a n + 3 , a n + 4 , t 2 4 α ( a n + 3 , a n + 4 ) β ( a n + 3 , a m ) β ( a n + 2 , a m ) β ( a n + 1 , a m ) ) ⋮ ∗ M q ( a m - 2 , a m - 1 , t 2 m - 1 α ( a m - 2 , a m - 1 ) β ( a m - 2 , a m ) β ( a m - 3 , a m ) ⋯ β ( a n + 1 , a m ) ) ∗ M q ( a m - 1 , a m , t 2 m - 1 β ( a m - 1 , a m ) β ( a m - 2 , a m ) ⋯ β ( a n + 2 , a m ) β ( a n + 1 , a m ) ) . Now applying (3) on each term of right hand side of above inequality, we deduce M q ( a n , a m , t ) ≥ M q ( a 0 , a 1 , t 2 α ( a n , a n + 1 ) k n ) ∗ M q ( a 0 , a 1 , t 2 2 α ( a n + 1 , a n + 2 ) β ( a n + 1 , a m ) k n + 1 ) ∗ M q ( a 0 , a 1 , t 2 3 α ( a n + 2 , a n + 3 ) β ( a n + 2 , a m ) β ( a n + 1 , a m ) k n + 2 ) ∗ M q ( a 0 , a 1 , t 2 4 α ( a n + 3 , a n + 4 ) β ( a n + 3 , a m ) β ( a n + 2 , a m ) β ( a n + 1 , a m ) k n + 3 ) ⋮ ∗ M q ( a 0 , a 1 , t 2 m - 1 α ( a m - 2 , a m - 1 ) β ( a m - 2 , a m ) β ( a m - 3 , a m ) ⋯ β ( a n + 1 , a m ) k n + m - 2 ) ∗ M q ( a 0 , a 1 , t 2 m - 1 β ( a m - 1 , a m ) β ( a m - 2 , a m ) ⋯ β ( a n + 2 , a m ) β ( a n + 1 , a m ) k n + m - 1 ) . Since k ∈ (0, 1) , by taking limit as n→ ∞ on the above inequality and together with (1), we get lim n → ∞ M q ( a n , a m , t ) = 1 ∗ 1 ∗ ⋯ ∗ 1 = 1 , which shows that the sequence {a _n } is a Cauchy sequence in X. Since X is complete fuzzy double controlled metric space, so there exists some a ∈ X such that lim n → ∞ M q ( a n , a , t ) = 1 .(4) From (2), we have M q ( a n + 1 , Ta , t ) = M q ( Ta n , Ta , t ) ≥ min { M ( a n , a , t k ) , M q ( a n , Ta n , t k ) , M q ( a , Ta , t k ) } = min { M q ( a n , a , t k ) , M q ( a n , a n + 1 , t k ) , M q ( a , Ta , t k ) } . Taking limit as n→ ∞ and using (1)1, we get M q ( a , Ta , t ) ≥ M q ( a , Ta , t k ) , t > 0 , i.e., a is a fixed point of T. We now prove that a is unique. Suppose on contrary that b is also a fixed point of T. Then, M q ( a , b , t ) = M q ( Ta , Tb , t ) ≥ min { M q ( a , b , t k ) , M q ( a , Ta , t k ) , M q ( b , Tb , t k ) } ≥ min { M q ( a , b , t k ) , M q ( a , a , t k ) , M q ( b , b , t k ) } ≥ M q ( a , b , t k ) , and so a = b. This completes the proof.

Following is the Banach contraction principle in the setting of fuzzy double controlled metric space.

Corollary 2.1. Let (X, M _q , ∗) be a complete fuzzy double controlled metric space such that lim t → ∞ M q ( x , y , t ) = 1 and α , β : X × X → [ 1 , 1 k ) be given functions where k ∈ (0, 1). Let T : X → X be a self mapping satisfying M q ( Tx , Ty , kt ) ≥ M q ( x , y , t ) , t > 0 , for all x, y ∈ X . Then T has a unique fixed point.

Proof. If we take min {M _q  (x, y, t) , M _q  (x, Tx, t) , M _q  (y, Ty, t)} = M _q  (x, y, t) in (2), then the result follows from Theorem 2.1 on the same lines.

Now we give an example to support our main result.

Example 2.3. Let X = [0, 1] and α , β : X × X → [ 1 , 1 k ) be defined as α (x, y) =2 (x + y) and β (x, y) =2 (x² + y² + 1). Define M q ( x , y , t ) = e - ( x - y ) 2 t , for all x , y ∈ X , t > 0 . Then (X, M _q , ∗) is a complete fuzzy double controlled metric space with product t-norm. Define T : X → X by T ( x ) = 1 - 2 - x 3 . Then, M q ( Tx , Ty , kt ) = M q ( 1 - 2 - x 3 , 1 - 2 - y 3 , kt ) = e - ( 1 - 2 - x 3 - 1 - 2 - y 3 ) 2 kt = e - ( 2 - x - 2 - y ) 2 9 kt ≥ e - ( x - y ) 2 9 kt ≥ e - ( x - y ) 2 t = M q ( x , y , t ) ≥ min { M q ( x , y , t ) , M q ( x , Tx , t ) , M q ( y , Ty , t ) } , for all x , y ∈ X , where k ∈ [ 1 9 , 1 ) . Thus, all the conditions of Theorem 2.1 are satisfied. Hence, T has a unique fixed point which is x = 0.

Corollary 2.1 generalizes Theorem 2 of [23] as follows.

Corollary 2.2. Let (X, M _q , ∗) be a complete controlled fuzzy metric space such that lim t → ∞ M q ( x , y , t ) = 1 , and α : X × X → [ 1 , 1 k ) be a function where k ∈ (0, 1). Let T : X → X be a self mapping satisfying M q ( Tx , Ty , kt ) ≥ M q ( x , y , t ) , t > 0 , for all x, y ∈ X . Then T has a unique fixed point.

Corollary 2.1 generalizes Theorem 2.1 of [15] as follows.

Corollary 2.3. Let (X, M _q , ∗) be a complete extended fuzzy b-metric space such that lim t → ∞ M q ( x , y , t ) = 1 , and α : X × X → [ 1 , 1 k ) be a function where k ∈ (0, 1) . Let T : X → X be a self mapping satisfying M q ( Tx , Ty , kt ) ≥ M q ( x , y , t ) , t > 0 , for all x, y ∈ X . Then T has a unique fixed point.

Fixed point theory is considered as a powerful tool to study the existence and uniqueness of solution of an integral equation. In this section, we give an application of fuzzy double controlled metric spaces to integral equations.

Consider the integral equation x ( s ) = p ( s ) + ∫ 0 s G ( s , r , x ( r ) ) dr ,(5) for all s ∈ [0, I] where I > 0 .

Let X : = C ( [ 0 , I ] , ℝ ) be the space of all real valued continuous functions defined on [0, I] . Observe that X is a complete metric space with respect to sup-metric d ( x , y ) = sup s ∈ [ 0 , I ] | x ( s ) - y ( s ) | . Also, the space (X, M _q , ∗) with M q ( x , y , t ) = e - sup s ∈ [ 0 , I ] | x ( s ) - y ( s ) | t , for all x, y ∈ X and t > 0, and a ∗ b = ab for all a, b ∈ [0, 1] , is a complete fuzzy double controlled metric space.

Theorem 3.1. Let T : X → X be an integral operator defined by Tx ( s ) = p ( s ) + ∫ 0 s G ( s , r , x ( r ) ) dr , where p ∈ C ( [ 0 , I ] , ℝ ) , and G ∈ C ( [ 0 , I ] × [ 0 , I ] × ℝ , ℝ ) . If there exists g : [0, I] × [0, I] → [0, ∞) such that for all s, r ∈ [0, I] , g ( s , r ) ∈ L 1 ( [ 0 , I ] , ℝ ) , and for all x, y ∈ X, we get | G ( s , r , x ( r ) ) - G ( s , r , y ( r ) ) | ≤ g ( s , r ) | x ( r ) - y ( r ) | , where ∫ 0 s g ( s , r ) dr is bounded on [0, I] and 0 < sup s ∈ [ 0 , I ] ∫ 0 s g ( s , r ) dr ≤ k < 1 .

Then the integral equation (5) has a unique solution in X.

Proof. Let x, y ∈ X and consider M q ( Tx , Ty , kt ) = e - sup s ∈ [ 0 , I ] | Tx ( s ) - Ty ( s ) | kt ≥ e - sup s ∈ [ 0 , I ] ∫ 0 s | G ( s , r , x ( r ) ) - G ( s , r , y ( r ) ) | dr kt ≥ e - sup s ∈ [ 0 , I ] ∫ 0 s g ( s , r ) | x ( r ) - y ( r ) | dr kt ≥ e - | x ( r ) - y ( r ) | sup s ∈ [ 0 , I ] ∫ 0 s g ( s , r ) dr kt ≥ e - k | x ( r ) - y ( r ) | kt = e - | x ( r ) - y ( r ) | t ≥ e - sup r ∈ [ 0 , I ] | x ( r ) - y ( r ) | t = M q ( x , y , t ) ≥ min { M q ( x , y , t ) , M q ( x , Tx , t ) , M q ( y , Ty , t ) } . Since all the conditions of Theorem 2.1 are satisfied, then T has a unique fixed point and hence the integral equation (5) has a unique solution in X.

Example 3.1. Consider the following integral equation in X = C ( [ 0 , 1 ] , ℝ ) , x ( s ) = sin ( s ) + 2 3 cos ( s ) - 1 3 cos 2 ( s ) + ∫ 0 s x ( r ) 3 dr ,(6) here p ( s ) = sin ( s ) + 2 3 cos ( s ) - 1 3 cos 2 ( s ) and G ( s , r , x ( r ) ) = x ( r ) 3 which are continuous.

Note that, | G ( s , r , x ( r ) ) - G ( s , r , y ( r ) ) | = | x ( r ) 3 - y ( r ) 3 | = 1 3 | x ( r ) - y ( r ) | ≤ g ( s , r ) | x ( r ) - y ( r ) | where g ( s , r ) = 1 2 s so that sup s ∈ [ 0 , 1 ] ∫ 0 s g ( s , r ) dr = 1 2 < 1 .

Since all the conditions of Theorem 3.1 are satisfied, so the integral equation (6) has a unique solution.

In this present study, we have introduced the concept of a fuzzy double controlled metric space using two controlled functions which generalizes fuzzy b-metric space, extended fuzzy b-metric space and controlled fuzzy metric space. We have proved the Banach contraction principle in the context of fuzzy double controlled metric space and generalized the Banach fixed point theorem in above mentioned spaces. We have given the criteria when a Cauchy sequence in a fuzzy double controlled metric space can have at most one limit point. We also showed that a fuzzy double controlled metric space is not Hausdorff. In future, new theorems and results can be proved in fuzzy double controlled metric spaces.