Some Analogies of the Banach Contraction Principle in Fuzzy Modular Spaces

We established some theorems under the aim of deriving variants of the Banach contraction principle, using the classes of inner contractions and outer contractions, on the structure of fuzzy modular spaces.


Introduction and Preliminaries
The concept of a modular space was introduced by Nakano [1]. Soon after, Musielak and Orlicz [2] redefined and generalized the notation of modular space. After that, Kumam et al. [3][4][5][6][7] studied fixed points and some properties in modular spaces. In 2007, Nourouzi [8] proposed probabilistic modular spaces based on the theory of modular spaces and some researches on the Menger's probabilistic metric spaces. A pair ( , ) is called a probabilistic modular space if is a real vector space and is a mapping from into the set of all distribution functions (for ∈ , the distribution function ( ) is denoted by , and ( ) is the value at ∈ R) satisfying the following conditions: For every ∈ , > 0 and ∈ R \ {0}, if where ∈ (0, 1], then we say that ( , ) is -homogeneous.
Recently, further studies have been made on the probabilistic modular spaces. Nourouzi [8] extended the wellknown Baire's Theorem to probabilistic modular spaces by using a special condition. Nourouzi [8] investigated the continuity and boundedness of linear operators defined between probabilistic modular spaces in the probabilistic sense. After that, Shen and Chen [9] following the idea of probabilistic modular space and the definition of fuzzy metric space in the sense of George and Veeramani [10], applied fuzzy concept to the classical notions of modular and modular spaces, and in 2013, Shen and Chen [9] introduced the concept of a fuzzy modular space.

Definition 3 (Shen and Chen
Then, we write ( , , * ) to represent the space with the predefined properties. In particular, we call a fuzzy modular and the triple ( , , * ) a fuzzy modular space.
It is worth noting that every fuzzy modular is nondecreasing with respect to > 0.
Remark 5. Note that the above conclusion still holds even if the -norm is replaced by * = ⋅ and * = max{ + − 1, 0}, respectively. Shen and Chen [9] also studied the topological properties of a fuzzy modular space with a special property that for every ∈ and a non-zero real , the equality holds for some fixed ∈ (0, 1]. If the fuzzy modular has this property, we shall say that it is -homogeneous. The -ball in ( , , * ) is the set of the form where ∈ (0, 1) and > 0. Now, suppose that is -homogeneous for some ∈ (0, 1]. According to Shen and Chen [9], the family B of all -balls forms a base for a first-countable Hausdorff topology, written as T . With the notion of theballs, it is easy to see that a sequence ( ) in -converges (i.e., it converges in the topology T ) to its -limit ∈ if and only if ( − , ) → 1 as → ∞ for all > 0. Note here that the -limit is unique if it does exists after all. It is then natural to say that ( ) is -Cauchy if for any given ∈ (0, 1) and > 0, there exists ∈ N with ( − , ) > 1 − whenever , > .
At this point, let us turn to a typical example of a triangular norm which is defined by ( * ) = min{ , }. This triangular norm has a very special property that if * is an arbitrary triangular norm, then ( * ) ≤ ( * ) for all , ∈ [0, 1]. With this property, it is suitable to call this * a strongest triangular norm. As is claimed by Shen and Chen [9], if is a real vector space equipped with ahomogeneous fuzzy modular and a strongest triangular norm * , then a -convergent sequence is -Cauchy. The authors also mentioned that if * is not the strongest one, such implementation is not always true.
The space ( , , * ) is said to be -complete if -Cauchy sequences actually -converges. We note that it makes more sense if we require a complete fuzzy modular space to be equipped with the strongest triangular norm.
A mapping from into itself is said to be an inner contraction if there exists a positive constant < 1 such that for all , ∈ and > 0.
On the other hand, is said to be an outer contraction if there exists a positive constant < 1 such that for all , ∈ and > 0.
In this paper, we shall be working under the aim of deriving some variants of the Banach contraction principle, by using the classes of mappings defined above, on the structure of fuzzy modular spaces.

Main Results
We divide this section into two parts, discussing independently about the two main categories of our contractions predefined in the previous section. Notice that it is clear from the definition that every fuzzy metric space is in turn a fuzzy modular space. Hence, our results are also supplied with corollaries in fuzzy metric spaces. We shall, however, omit such consequences since they are obvious.

Fixed-Point Theorem for an Inner Contraction
Theorem 6. Let be a real vector space equipped with ahomogeneous fuzzy modular and the strongest triangular norm * such that ( , , * ) is -complete. Suppose that at each ∈ , ( , ) → 1 as → ∞. If : → is an inner contraction with constant ∈ (0, 1), then has a unique fixed point.
As → ∞, we have 0 − +1 0 → for every > 0. That is, for any given > 0 and ∈ (0, 1), there exists ∈ N such that The Scientific World Journal 3 We now claim to show by induction that ( 0 − + 0 , /2 +1 ) > 1 − for all ∈ N. Let us assume first that ( 0 − + 0 , ) > 1 − holds at some ∈ N. Observe that We have thus proved our claim. Next, we shall show that ( 0 ) is Cauchy. Let > 0 and ∈ (0, 1) be arbitrary, and we choose ∈ N according to the claim given above. For > > , we may write = + and = + + , for some , ∈ N. Now, consider that Thus, ( 0 ) is Cauchy, and so the -completeness yields that 0 → * for some * ∈ . It follows that This means * = * , since T is Hausdorff. To show that the fixed point of is unique, assume that * ∈ is a fixed point of as well. Finally, we obtain that Therefore, it must be the case that * = * , and so the conclusion is fulfilled.

Fixed-Point Theorem for an Outer Contraction.
For this part, we consider a weaker form of a -Cauchy sequence, namely, a -G-Cauchy sequence. This concept has been used all along together with the notion of fuzzy spaces. For a fuzzy modular space , ( ) is called a --Cauchy sequence if for each fixed ∈ N and > 0, we have lim → ∞ ( + , , ) = 1. If every --Cauchy sequence -converges, is said to be -G-complete. It is to be noted that the notion of -Gcompleteness is slightly stronger than the ordinary completeness. It is enough to see that every -Cauchy sequence is also a -G-Cauchy sequence. For our result, it is still a question whether or not the -G-completeness assumption can be weakened.

Theorem 7.
Let be a real vector space equipped with ahomogeneous fuzzy modular and the strongest triangular norm * such that ( , , * ) is --complete. If : → is an outer contraction with constant ∈ (0, 1), then has a unique fixed point.
Proof. Given a point 0 ∈ , we suppose that 0 ̸ = +1 0 for all ∈ N. By the definition of an outer contraction, we can rewrite this notion in the following: for all , ∈ and > 0.
Thus, the sequence ( 0 ) is Cauchy, and so the -completeness yields that 0 → * for some * ∈ . It follows that Taking → ∞, we have This means * = * , since T is Hausdorff. To show that the fixed point of is unique, assume that * ∈ is a fixed point of as well. Finally, we obtain that Hence, we have ( * − * , )(1− ) ≥ (1− ) which implies that ( * − * , ) = 1. Therefore, it must be the case that * = * , and so the conclusion is fulfilled.
Open Question 1. Is Theorem 7 true under the assumption that is -complete as in Theorem 6?