Informal Complete Metric Space and Fixed Point Theorems

: The concept of informal vector space is introduced in this paper. In informal vector space, the additive inverse element does not necessarily exist. The reason is that an element in informal vector space which subtracts itself cannot be a zero element. An informal vector space can also be endowed with a metric to deﬁne a so-called informal metric space. The completeness of informal metric space can be deﬁned according to the similar concept of a Cauchy sequence. A new concept of ﬁxed point and the related results are studied in informal complete metric space.


Introduction
The basic operations in (conventional) vector space are vector addition and scalar multiplication. Based on these two operations, the vector space should satisfy some required conditions (eight axioms in total) by referring to [1][2][3][4][5]. However, some spaces cannot comply with all of the axioms given in vector space. For example, the space consisting of all subsets of R cannot satisfy all of the axioms in vector space (Wu [6]). Also, the space consisting of all fuzzy numbers in R cannot satisfy all of the axioms in vector space, where the addition and scalar multiplication of fuzzy sets are considered (Wu [7]). The main reason is that the additive inverse element does not exist.
Let S and T be two subsets of R. The addition and scalar multiplication for the subsets of R are defined by S + T = {s + t : s ∈ S and t ∈ T} and kS = {ks : s ∈ S} for any k ∈ R. Let X denote the family of all subsets of R. Given any S ∈ X , the subtraction S − S by itself is given by S − S = {s 1 − s 2 : s 1 , s 2 ∈ S} , which cannot be the zero element in X . Therefore, in this paper, we propose the concept of null set for the purpose of playing the role of a zero element in the so-called informal vector space. Since the informal metric space is a completely new concept, there are no available, relevant references for this topic. The readers may instead refer to the monographs [1][2][3][4][5] on topological vector spaces and the monographs [8][9][10] on functional analysis. In this paper, we propose the concept of informal vector space that can include the space consisting of all bounded and closed intervals in R and the space consisting of all fuzzy numbers in R. We also introduce the concept of null set that can be regarded as a kind of "zero element" of informal vector space. When the null set is degenerated as a singleton set {θ}, an informal vector space will turn into a conventional vector space with the zero element θ. In other words, the results obtained in this paper can be reduced to the results in conventional vector space when the null set is taken to be a singleton set.
Based on the concept of null set, we can define the concept of almost identical elements in informal vector space. We can also endow a metric to the informal vector space defining the so-called informal metric space. This kind of metric is completely different from the conventional metric defined in vector space, since it involves the null set and almost identical concept. The most important triangle inequality is still included in an informal metric space. Based on this metric, the concepts of limit and class limit of a sequence in informal metric space are defined herein. Under this setting, we can similarly define the concept of a Cauchy sequence, which can be used to define the completeness of informal metric space. The main aim of this paper was to establish the so-called near-fixed point in informal, complete metric space, where the near fixed point is based on the almost identical concept. We shall also claim that if the null set is degenerated as a singleton set, then the concept of near a fixed point is identical to the concept of a (conventional) fixed point.
In Sections 2 and 3, the concept of informal vector space and informal metric space are proposed. The interesting properties are derived in order to study the new type of fixed point theorems. In Section 4, according to the informal metric, the concept of a Cauchy sequence is similarly defined. The completeness of informal metric space is also defined according to the concept of Cauchy sequences. In Section 5, we present many new types of fixed point theorems that are established using the almost identical concept in informal metric space.

Informal Vector Spaces
Let X be a universal set, and let F be a scalar field. We assume that X is endowed with the vector addition x ⊕ y and scalar multiplication αx for any x, y ∈ X and α ∈ F. In this case, we call X a universal set over F. In the conventional vector space over F, the additive inverse element of x is denoted by −x, and it can also be shown that −x = −1x. In this paper, we shall not consider the concept of inverse elements. However, for convenience, we still adopt −x = −1x.
For x, y ∈ X, the substraction x y is defined by x y = x ⊕ (−y), where −y means the scalar multiplication (−1)y. For any x ∈ X and α ∈ F, we have to mention that (−α)x = −αx and α(−x) = −αx in general, unless α(βx) = (αβ)x for any α, β ∈ F. In this paper, this law will not always be assumed to be true. Example 1. Let C be a subset of complex plane C defined by The usual addition and scalar multiplication in C are defined by (a + bi) + (c + di) = (a + c) + (b + d)i and k(a + bi) = ka + kbi for k ∈ R.
Given any z = a + bi ∈ C, its additive inverse in C denoted by −z is We see that −z ∈ C. Therefore, the subset C is not closed under the above scalar multiplication. In other words, the subset C cannot form a vector space. However, if the scalar multiplication in the subset C is defined by then the subset C is closed under the above addition and this new scalar multiplication. In this case, we shall consider the subset C as an informal vector space that will be defined below.

Example 2.
Let I be the set of all closed intervals in R. The addition is given by and the scalar multiplication is given by We see that I cannot be a (conventional) vector space, since the inverse element cannot exist for any non-degenerated closed interval. On the other hand, the distributive law for scalar addition does not hold true in I; that is, the equality (α + β)x = αx ⊕ βx cannot hold true for any x ∈ I and α, β ∈ R. This shows another reason why I cannot be a (conventional) vector space. Definition 1. Let X be a universal set over the scalar field F. We define the null set of X as follows We say that the null set Ω satisfies the neutral condition if and only if ω ∈ Ω implies −ω ∈ Ω. Example 3. Continued from Example 1, for any z = a + bi ∈ C, we have Therefore, the null set Ω is given by Now we are in a position to define the concept of informal vector space. Definition 2. Let X be a universal set over F. We say that X is an informal vector space over F if and only if the following conditions are satisfied: • 1x = x for any x ∈ X; • x = y implies x ⊕ z = y ⊕ z and αx = αy for any x, y, z ∈ X and α ∈ F; • The commutative and associative laws for vector addition hold true in X; that is, x ⊕ y = y ⊕ x and (x ⊕ y) ⊕ z = x ⊕ (y ⊕ z) for any x, y, z ∈ X.
Definition 3. Let X be an informal vector space over F with the null set Ω. Given any x, y ∈ X, we say that x and y are almost identical if and only if any one of the following conditions is satisfied: In this case, we write x Ω = y.

Remark 1.
Suppose that the informal vector space X over F with the null set Ω contains the zero element θ; that is, x = x ⊕ θ = θ ⊕ x for any x ∈ X. Then, we can simply say that x Ω = y if and only if ω 1 , ω 2 ∈ Ω exists, such that x ⊕ ω 1 = y ⊕ ω 2 (i.e., only the third condition is satisfied), since the first and second conditions can be rewritten as the third condition by adding the zero element θ. We also remark that if we want to discuss some properties based on x Ω = y, it suffices to consider the third condition x ⊕ ω 1 = y ⊕ ω 2 , even though X does not contain the zero element θ. The reason is that the same arguments are still applicable for the first and second conditions.
According to the binary relation Ω =, for any x ∈ X, we define the class The family of all classes [x] for x ∈ X is denoted by [X].
for some ω i ∈ Ω for i = 1, · · · , 4. By the associative and commutative laws for vector addition, we have which shows x Ω = z, since Ω is closed under the vector addition. This completes the proof.
Let X be an informal vector space over F with the null set Ω such that Ω is closed under the vector addition. Proposition 1 says that the classes defined in (1) form the equivalence classes. It is . In other words, the family of all equivalence classes form a partition of the whole set X.
We also need to remark that the space [X] is still not a (conventional) vector space. The reason is that not all of the axioms taken in the vector space will be satisfied in [X], since the original space X does not satisfy all of the axioms in the vector space. For example, we consider the informal vector space I over R from Example 2. The quotient set [I] cannot be a real vector space, since for αβ < 0. The reason is that (α + β)x = αx + βx for x ∈ I and αβ < 0.

Informal Metric Spaces
Now, we are in a position to introduce the concept of the so-called informal metric space. Definition 4. Let X be an informal vector space over F with the null set Ω. For the non-negative, real-valued function d defined on X × X, we consider the following conditions: Different kinds of metric spaces are defined below. (iv) We say that d satisfies the null super-inequality if and only if, for any ω 1 , ω 2 ∈ Ω and x, y, z ∈ X, we have (iv ) We say that d satisfies the null sub-inequality if and only if, for any ω 1 , ω 2 ∈ Ω and x, y ∈ X, we have (iv ) We say that d satisfies the null equality if and only if, for any ω 1 , ω 2 ∈ Ω and x, y ∈ X, we have

Example 4.
Continued from Example 2, we take X = I that consists of all bounded and closed intervals, which is not a vector space. For Suppose that We cannot obtain I 1 = I 2 . Therefore, condition (i ) in Definition 4 is not satisfied, which says that (I, d) cannot be a (standard) metric space. However, using the basic arithmetics, we can obtain I 1 Therefore (I, d) is indeed an informal metric space. Moreover, we are going to claim that d also satisfies the null equality. We first note that the null set Ω in I is given by For any k 1 , which shows that d indeed satisfies the null equality.

Cauchy Sequences
In this section, we are going to introduce the concepts of Cauchy sequences and completeness in the informal metric space. We first introduce the concept of limit in the informal metric space.
Definition 5. Let X be an informal vector space over F with the null set Ω, and let (X, d) be a pseudo-metric space. The sequence {x n } ∞ n=1 in X is said to be convergent if and only if The element x is called the limit of the sequence {x n } ∞ n=1 .
The sense of uniqueness of limit will be different for the metric space and informal metric space.
then, by the triangle inequality (iii) in Definition 4, we have which says that d(x, y) = 0.
• Suppose that (X, d) is a metric space. By condition (i ) in Definition 4, we see that x = y. This shows the uniqueness.
Recall that if Ω is closed under the vector addition, then we can consider the equivalence classes. In this case, we also see that y is in the equivalence class [x].
On the other hand, we further assume that d satisfies the null equality. If {x n } ∞ n=1 is a sequence in X such that d(x n , x) → 0 as n → ∞, then, for any y ∈ [x], i.e., x ⊕ ω 1 = y ⊕ ω 2 for some ω 1 , ω 2 ∈ Ω, we also have d(x n , y) → 0 as n → ∞, as shown below: Therefore, we propose the following definition.  • A sequence {x n } ∞ n=1 in X is called a Cauchy sequence if and only if, given any > 0, N ∈ N exists, such that d(x n , x m ) < for all n > N and m > N.
• A subset M of X is said to be complete if and only if every Cauchy sequence in M is convergent to some element in M.

Proposition 3.
Every convergent sequence in an informal metric space is a Cauchy sequence.

Example 5.
Continued from Example 4, we see that (I, d) is an informal metric space such that d satisfies the null equality. We are going to claim that (I, d) is complete. Given a sequence {I n } ∞ n=1 in the informal metric space (I, d) by I n = [a L n , a U n ] for n = 1, 2, · · · , suppose that {I n } ∞ n=1 is a Cauchy sequence. Then, given any > 0, for sufficiently large n and m, we have Let a n = a L n + a U n . Then, the expression (3) shows that {a n } ∞ n=1 is a Cauchy sequence in R. The completeness of R says that a ∈ R exists, satisfying |a n − a| < for sufficiently large n. Now we define a bounded closed interval [a L , a U ] satisfying a L + a U = a. Then d a L n , a U n , a L , a U = a L n + a U n − a L + a U = |a n − a| < for a sufficiently large n, which says that the sequence {I n } ∞ n=1 converges to [a L , a U ]. Therefore, we conclude that the space (I, d) is complete.

Near Fixed Point Theorems
Let X be a universal set, and let T : X → X be a function from X into itself. We say that x ∈ X is a fixed point if and only if T(x) = x. The well-known Banach contraction principle presents the fixed point of function T when X is taken to be a complete metric space. We shall study the Banach contraction principle when X is taken to be an informal complete metric space. . By definition, nonnegative numbers k 1 and k 2 exist such that one of the following equalities is satisfied: where [−k 1 , k 1 ] and [−k 2 , k 2 ] are in the null set Ω.

Remark 2.
We have the following observations.
• By definition, we see that T(x) • If the informal vector space X owns a zero element θ, then the (conventional) fixed point is also a near fixed point. for any x, y ∈ X.

Example 7.
Continued from Example 4, suppose that T is a contraction of I. Then, a real number 0 < α < 1 exists, such that for any [a L 1 , a U 1 ], [a L 2 , a U 2 ] ∈ I. In particular, we takeĪ to be a collection of all subintervals of [0, 1]. Now, we take T :Ī →Ī by where a L , a U ∈ [0, 1]. From Example 4, we have which says that T is a contraction ofĪ.
Given any initial element x 0 ∈ X, we define the iterative sequence {x n } ∞ n=1 using the function T as follows: Under some suitable conditions, we are going to show that the sequence {x n } ∞ n=1 can converge to a near fixed point. Theorem 1. Let (X, d) be an informal complete metric space with the null set Ω such that d satisfies the null equality. Suppose that Ω is closed under the vector addition, and that the function T : (X, d) → (X, d) is a contraction of X. Then T has a near fixed point x ∈ X satisfying T(x) Ω = x. More precisely, the near fixed point x can be obtained by the following limit where the sequence {x n } ∞ n=1 is generated by the iteration (4). Moreover, we have the following properties.
• There is a unique equivalence class [x] satisfying that ifx ∈ [x], thenx cannot be a near fixed point, which shows the sense of uniqueness. Proof. Proposition 1 says that the family of all classes [x] for x ∈ X forms the equivalence classes. Given any initial element x 0 ∈ X, we can generate the iterative sequence {x n } ∞ n=1 using (4). We want to claim that {x n } ∞ n=1 is a Cauchy sequence. Since T is a contraction of X, we have For n < m, using the triangle inequality, we obtain Since 0 < α < 1, we have 1 − α m−n < 1 in the numerator, which says that This shows that {x n } ∞ n=1 is indeed a Cauchy sequence. The completeness says that x ∈ X exists, satisfying d(x n , x) → 0, i.e., x n → [x] from Definition 6 and Proposition 2. Now, we want to claim that any pointx ∈ [x] is a near fixed point. We first havex ⊕ ω 1 = x ⊕ ω 2 for some ω 1 , ω 2 ∈ Ω. According to the triangle inequality and using the fact of contraction of X, we obtain d(x, T(x)) = d(x ⊕ ω 1 , T(x)) (since d satisfies the null equality) which implies d(x, T(x)) = 0 as m → ∞. We conclude that T(x) Ω =x for any pointx ∈ [x]. Now, we assume that there is another near fixed pointx of T satisfyingx ∈ [x], i.e.,x for some ω i ∈ Ω, i = 1, · · · , 4. Since T is a contraction of X and d satisfies the null equality, we obtain which implies d(x, x) = 0, since 0 < α < 1. Therefore, we obtainx . This says that anyx ∈ [x] cannot be a near fixed point. Equivalently, ifx is a near fixed point of T, then x ∈ [x]. This completes the proof. Example 8. Continued from Example 5, we see that (I, d) is a complete informal metric space, such that d satisfies the null equality. Suppose that T is a contraction of I. Then, there exists a real number 0 < α < 1 such that for any [a L 1 , a U 1 ], [a L 2 , a U 2 ] ∈ I. Given any initial element I 0 = [a L 0 , a U 0 ] ∈ I, we can generate the iterative sequence {I n } ∞ n=1 using the function T, where I n = [a L n , a U n ], as follows: We see that if T is a contraction of X, then it is also a weakly strict contraction of X. Theorem 2. Let (X, d) be an informal, complete metric space with the null set Ω, and let Ω be closed under the vector addition. Suppose that the function T : (X, d) → (X, d) is a weakly strict contraction of X. If {T n (x 0 )} ∞ n=1 forms a Cauchy sequence for some x 0 ∈ X, then T has a near fixed point x ∈ X satisfying T(x) Ω = x. More precisely, the near fixed point x can be obtained by the following limit d(T n (x 0 ), x) → 0 as n → ∞.
Assume further that d satisfies the null equality. Then, we also have the following properties.
• There is a unique equivalence class [x] satisfying that ifx ∈ [x] thenx cannot be a near fixed point, which shows the sense of uniqueness. Proof. The assumption says that {T n (x 0 )} ∞ n=1 is a Cauchy sequence. Since X is complete, it follows that x ∈ X exists, such that d(T n (x 0 ), x) → 0. From Definition 6 and Proposition 2, we see that T n (x 0 ) → [x]. Now, given any > 0, there exists an integer N, such that d(T n (x 0 ), x) < for n ≥ N. Two cases will be considered.
• Suppose that T n (x 0 ) Ω = x. Since T is a weakly strict contraction of X, we have Therefore, we conclude that d(T n+1 (x 0 ), T(x)) → 0. The triangle inequality says that Therefore, we obtain d(T(x), x) = 0, i.e., T(x) Ω = x. This shows that x is a near fixed point. Now, we assume further that d satisfies the null equality. We want to show that each pointx ∈ [x] is a near fixed point of T. Sincex Ω = x, we havex ⊕ ω 1 = x ⊕ ω 2 for some ω 1 , ω 2 ∈ Ω. The null equality says that Therefore, we can also obtain d(T n+1 (x 0 ), T(x)) → 0 as n → ∞ by using the above argument. On the other hand, the triangle inequality also says that , T(x)) (using the concept of null equality) < d(x,x) (since T is a weakly strict contraction and x Ω =x).
Therefore we led to a contradiction, which says thatx cannot be a near fixed point of T. In other words, ifx is a near fixed point of T, thenx ∈ [x]. This completes the proof.
Meir and Keeler [11] studied the fixed point theorem for the weakly-uniformly strict contraction. Therefore, under the informal metric space (X, d), we propose the following definition by considering the fact d(x, y) = 0 for x Ω = y.

Remark 3.
It is clear to see that if T is a weakly uniformly strict contraction of X, then it is also a weakly strict contraction of X. Lemma 1. Let (X, d) be an informal metric space with the null set Ω, and let Ω be closed under the vector addition. Let T : (X, d) → (X, d) be a weakly uniformly strict contraction of X. Then the sequence {d(T n (x), T n+1 (x))} ∞ n=1 is decreasing to zero for any x ∈ X.
Proof. For convenience, we write T n (x) = x n for all n. Let c n = d(x n , x n+1 ).
Therefore, we conclude that the sequence {c n } ∞ n=1 is decreasing. Now, we also consider the following two cases.
n=1 is decreasing, we can assume that c n ↓ > 0, i.e., c n ≥ > 0 for all n, which says that δ > 0 exists, such that ≤ c m < + δ for some m, i.e., ≤ d(x m , x m+1 ) < + δ. The second condition of Definition 11 says that This completes the proof. Assume further that d satisfies the null equality. Then we also have the following properties.
• There is a unique equivalence class [x] satisfying that ifx ∈ [x], thenx cannot be a near fixed point, which shows the sense of uniqueness. Proof. From Theorem 2 and Remark 3, we just need to show that if T is a weakly uniformly strict contraction, then {T n (x 0 )} ∞ n=1 = {x n } ∞ n=1 is a Cauchy sequence for x 0 ∈ X. Suppose that {x n } ∞ n=1 is not a Cauchy sequence. By definition, 2 > 0 exists, such that, given any N, m, n ≥ N exists, satisfying d(x m , x n ) > 2 . The assumption says that T is a weakly uniformly strict contraction on X. Therefore, δ > 0 exists, such that ≤ d(x, y) < + δ implies d(T(x), T(y)) < for any x Ω = y.
Let c n = d(x n , x n+1 ). Lemma 1 says that the sequence {c n } ∞ n=1 is decreasing to zero. Therefore, we can find N such that c N < δ /3. For n > m ≥ N, we have d(x m , x n ) > 2 ≥ + δ , (6) which implicitly says that x m Ω = x n . Since {c n } ∞ n=1 is decreasing, we obtain For j with m < j ≤ n, we also have We want to show that j with m < j ≤ n exists, such that x m Ω = x j and Let γ j = d(x m , x j ) for j = m + 1, · · · , n. Then (6) and (7) say that γ m+1 < and γ n > + δ .