Asymptotically Coupled Coincidence Points and Asymptotically Coupled Fixed Points in Fuzzy Semi-Metric Spaces

: Asymptotically coupled coincidence points and asymptotically coupled ﬁxed points in fuzzy semi-metric spaces are studied in this paper. The fuzzy semi-metric space is taken into account, which lacks symmetric conditions. In this case, the desired results are separately investigated based on four different types of triangle inequalities. The uniqueness of asymptotically coupled coincidence points cannot be guaranteed, and it can only be addressed in a weak sense of uniqueness. However, the uniqueness of asymptotically coupled ﬁxed points can be guaranteed using different arguments.


Introduction
The so-called asymptotically coupled coincidence points and asymptotically coupled fixed points in fuzzy semi-metric space (U, F) are studied in this paper. Let {F n } ∞ n=1 be a sequence of functions with F n : U × U → U for all n and let f : U → U be another function. We say that an element (u, v) ∈ U × U is an asymptotically coupled coincidence point of functions {F n } ∞ n=1 and f when we have the following convergence On the other hand, we say that an element (u, v) ∈ U × U is an asymptotically coupled fixed point of functions {F n } ∞ n=1 and f when we have the following convergence The convergence F n (u, v) F −→ f (u) is based on the fuzzy semi-metric space (U, F), which will be defined in Section 2. In particular, suppose that all the functions F n are identical to F for all n.
• If (u, v) ∈ U × U is an asymptotically coupled coincidence point, then it is also a coupled coincidence point in the sense of F(u, v) = f (u) and F(v, u) = f (v).
• If (u, v) ∈ U × U is an asymptotically coupled fixed point, then it is also a common coupled fixed point in the sense of F(u, v) = f (u) = u and F(v, u) = f (v) = v.
More detailed arguments will be presented in the context of this paper.
The symmetric condition will not be assumed in fuzzy semi-metric space. In this case, we shall propose four different concepts of triangle inequalities. The asymptotically coupled coincidence points and asymptotically coupled fixed points will be separately studied using these four different triangle inequalities.
The idea of fuzzy metric space was inspired by the probabilistic metric space. For more details on the topic of probabilistic metric space, we may refer to Schweizer and Sklar [1][2][3], Hadžić and Pap [4] and Chang et al. [5]. A special kind of probabilistic metric space called the Menger space was adopted by Kramosil and Michalek [6] to define the so-called fuzzy metric space. In this paper, we are going to consider a weak sense of fuzzy metric space, which is called the fuzzy semi-metric space (ref. Wu [7,8]). The main purpose of this paper is to study the asymptotically coupled coincidence points and asymptotically coupled fixed points in fuzzy semi-metric space.
Shen and Chen [9], Singh and Chauhan [10], Vasuki [11] and Wang et al. [12] have proposed many different methodologies to study fixed points in fuzzy metric spaces. On the other hand, Wu [13][14][15] also studied many different kinds of fixed points in fuzzy semimetric spaces. In this paper, the purpose is to study the asymptotically coupled coincidence points and asymptotically coupled fixed points in fuzzy semi-metric spaces. Because of the lack of symmetric conditions in fuzzy semi-metric space, the desired results will be separately studied using the four different types of triangle inequalities. The uniqueness of asymptotically coupled coincidence points cannot be guaranteed, and it can only be addressed in a weak sense of uniqueness. However, we can prove the uniqueness of asymptotically coupled fixed points using different arguments in this paper.
In Section 2, the concept of fuzzy semi-metric space, which is endowed with four different triangle inequalities is introduced. In Section 3, the Cauchy sequences in fuzzy semi-metric space are provided, which will be used to study the asymptotically coupled coincidence points and asymptotically coupled fixed points. In Section 4, we establish the theorems for asymptotically coupled coincidence points in fuzzy semi-metric spaces using the four different triangle inequalities. In Section 5, we also establish the asymptotically coupled fixed points in fuzzy semi-metric spaces.
We can also treat the t-norm α * β as a function η(α, β) = α * β. The commutativity of t-norm indicates that η(α, β) = η(β, α). Given any fixed b, when η(·, b) is continuous on [0, 1], we say that the function η is continuous with respect to the first argument. Similarly, given any fixed α, when η(α, ·) is continuous on [0, 1], we also say that the function η is continuous with respect to the second argument. Since the function η is commutative, we have the following observations.

•
If η is continuous with respect to the first argument, then it is also continuous with respect to the second argument. • If η is continuous with respect to the second argument, then it is also continuous with respect to the first argument.
Given a sequence {α n } ∞ n=1 in [0, 1], we write α n → a− as n → ∞ to mean that the sequence {α n } ∞ n=1 converges to α from the left.

Definition 1.
Let U be a universal set. We consider a function F : The ordered pair (U, F) is called a fuzzy semi-metric space when the following conditions are satisfied.
The symmetric condition is said to be satisfied when we have for any u, v ∈ U and t ≥ 0.
Since the symmetric condition is not necessarily satisfied in the fuzzy semi-metric space (U, F), four different kinds of triangle inequalities should be considered as follows.

Definition 2.
Let U be a universal set and let * be a t-norm. We consider a function F : The function F is said to satisfy -triangle inequality when F(u, v, t) * F(v, w, s) ≤ F(u, w, t + s) for all u, v, w ∈ U and s, t > 0.
• The function F is said to satisfy -triangle inequality when F(u, v, t) * F(w, v, s) ≤ F(u, w, t + s) for all u, v, w ∈ U and s, t > 0.
• The function F is said to satisfy -triangle inequality when F(v, u, t) * F(v, w, s) ≤ F(u, w, t + s) for all u, v, w ∈ U and s, t > 0.
• The function F is said to satisfy -triangle inequality when Definition 3. Let (U, F) be a fuzzy semi-metric space.
• The semi-metric F is said to be nondecreasing when, given any fixed u, v ∈ U, the following inequality is satisfied • The semi-metric F is said to be symmetrically nondecreasing when, given any fixed u, v ∈ U, the following inequality is satisfied Proposition 2 (Wu [7] (Proposition 4)). Let (U, F) be a fuzzy semi-metric space.
(i) Suppose that the -triangle inequality is satisfied. Then, the semi-metric F is nondecreasing.
(ii) Suppose that the -triangle inequality or the -triangle inequality is satisfied. Then, the semi-metric F is both nondecreasing and symmetrically nondecreasing.
(iii) Suppose that the -triangle inequality is satisfied. Then, semi-metric F is symmetrically nondecreasing.
Let {u n } ∞ n=1 be a sequence in a metric space (U, d). We write u n d −→ u as n → ∞ to mean lim n→∞ d(u n , u) = 0 in which u is also called a d-limit of the sequence {u n } ∞ n=1 .
Definition 4. Let {u n } ∞ n=1 be a sequence in a fuzzy semi-metric space (U, F).

•
We write u n F −→ u as n → ∞ to mean lim n→∞ F(u n , u, t) = 1 for all t > 0.
In this case, u is also called a F -limit of the sequence {u n } ∞ n=1 .

•
We write u n F −→ u as n → ∞ to mean lim n→∞ F(u, u n , t) = 1 for all t > 0.
In this case, u is also called a F -limit of the sequence {u n } ∞ n=1 .
In this case, u is also called a F-limit of the sequence {u n } ∞ n=1 .
The following interesting results will be used for the further study.

Proposition 3 (Wu [8] (Proposition 7)
). Let (U, F) be a fuzzy semi-metric space along with a t-norm * and let {(u n , v n , t n )} ∞ n=1 be a sequence in U × U × (0, ∞). Assume that the t-norm * is left-continuous with respect to the first or second component, and that the following inequality is satisfied sup n (α n * β n ) ≥ sup n α n * sup n β n for any two sequences {α n } ∞ n=1 and {β n } ∞ n=1 in [0, 1]. Suppose that -triangle inequality is satisfied and that the following limits exist. Then, we have the following properties.
Definition 5. Let {u n } ∞ n=1 be a sequence in a fuzzy semi-metric space (U, F).

•
We say that {u n } ∞ n=1 is a -Cauchy sequence when, for any pair (r, t) satisfying t > 0 and 0 < r < 1, there exists an integer n r,t such that m > n ≥ n r,t implies F(u m , u n , t) > 1 − r for any pairs (m, n) of integers m and n.

•
We say that {u n } ∞ n=1 is a -Cauchy sequence when, for any pair (r, t) satisfying t > 0 and 0 < r < 1, there exists an integer n r,t such that m > n ≥ n r,t implies F(u n , u m , t) > 1 − r for any pairs (m, n) of integers m and n. • We say that {u n } ∞ n=1 is a Cauchy sequence when, for any pair (r, t) satisfying t > 0 and 0 < r < 1, there exists an integer n r,t such that m, n ≥ n r,t with m = n implies F(u m , u n , t) > 1 − r and F(u n , u m , t) > 1 − r for any pairs (m, n) of integers m and n.

Definition 6.
We consider the different completeness as follows.

•
The fuzzy semi-metric space (U, F) is said to be ( , )-complete when each -Cauchy se- The fuzzy semi-metric space (U, F) is said to be ( , )-complete when each -Cauchy se- The fuzzy semi-metric space (U, F) is said to be ( , )-complete when each -Cauchy se- The fuzzy semi-metric space (U, F) is said to be ( , )-complete when each -Cauchy sequence is convergent with u n F −→ u. • The function f is said to be ( , )-continuous with respect to F when • The function f is said to be ( , )-continuous with respect to F when • The function f is said to be ( , )-continuous with respect to F when • The function f is said to be ( , )-continuous with respect to F when Under the above settings, we can study the common coupled coincidence points and common coupled fixed points of nonlinear contractive functions. We shall first present the properties of Cauchy sequences below.

Cauchy Sequences
Let U be a universal set and let {F n } ∞ n=1 be a sequence of functions F n : U × U → U for all n. Consider a function f : U → U satisfying For any two initial elements u 0 , v 0 ∈ U, according to the inclusion (1), there exist Continuing this process, we can construct two sequences {u n } ∞ n=1 and {v n } ∞ n=1 in U satisfy- for all n.

Definition 8.
We say that the function λ : 1] in the left sense when, given any > 0, there exists δ > 0 such that Suppose that λ is left-continuous at α 0 in the left sense. Then, it is clear to see that We first provide a useful lemma. Lemma 1. Let (U, F) be a fuzzy semi-metric space. Suppose that the following conditions are satisfied: • the t-norm * is left-continuous at 1 with respect to the first or second component.
For any t > 0, we also have Proof. Since the function λ is left-continuous at 1 in the left sense, we have that Then, we obtain Since λ(1) ≤ 1, using the increasing property of t-norm, we also have which implies (7). Now, we have and = λ(ζ n−1 (t)) (using the commutativity of t-norm).
• Suppose that ζ n−1 (t) = 1. Using (15) and (10), we have The above two cases indicate ζ n (t) ≥ ζ n−1 (t). We can similarly obtain which indicate that {ζ n } ∞ n=1 and {ζ n } ∞ n=1 are two increasing sequences of functions. Therefore, their limits exist. For any fixed t > 0, we define Then, we see that 0 ≤ ζ(t) ≤ 1 for all t > 0. We are going to claim Applying (17) to Proposition 1, we have Therefore, we obtain which leads to a contradiction. This shows that ζ(t) = 1 for all t > 0. In other words, from (5), we obtain for any t > 0. We can similarly proveζ(t) = 1 for all t > 0 and the proof is complete.

Remark 2. Suppose that the t-norm satisfies
and that the function λ satisfies Then, it is clear to see that the strict inequality (3) is satisfied.

Proposition 4.
(Satisfying the -Triangle Inequality). Let (U, F) be a fuzzy semi-metric space. Suppose that the following conditions are satisfied: • the -triangle inequality is satisfied; • the t-norm * is left-continuous on [0, 1] with respect to the first or second component; 1] in the left sense and satisfies the strict inequality • for any two functions F i and F j , the following inequality is satisfied where the functions λ ij : and all i, j ∈ N. Given any initial elements u 0 , v 0 ∈ U, two sequences {u n } ∞ n=1 and {v n } ∞ n=1 are constructed according to Formula (2).
are both -Cauchy and -Cauchy sequences.
is not a -Cauchy sequence. We want to lead to a contradiction. By definition, there exists a pair (r 0 , t 0 ) with t 0 > 0 and 0 < r 0 < 1 such that, for each integer k, there exists a pair (i k , j k ) of integers i k and j k (depend on k) satisfying Since the function F(u, v, ·) is nondecreasing by part (i) of Proposition 2, using (21), we also have Therefore, for t * < t 0 , we have Given any fixed t * < t 0 , let i * k be the smallest integer such that (23) holds true, where i * k depends on t * . Since we are going to take k → ∞, we may assume that i * k ≥ 3. Since i * k is the smallest integer, it means that the inequality (23) will be violated for i * k − 1 satisfying Since the function F(u, v, ·) is nondecreasing by part (i) of Proposition 2 and is leftcontinuous at t * by the assumption, we have Using (24), (25) and Proposition 1, we obtain Using (24), let Since the function F(u, v, ·) is left-continuous at each point t ∈ (0, ∞) by the assumption and the t-norm * is left-continuous at t * with respect to each component, using (27) and Then, we have (6), the commutativity and associativity of t-norm) (29) and increasing property of t-norm). (9). Sinceζ i * k −1 (δ) ≤ 1 for all k, we can also say that the sequence {ζ i * k −1 (δ)} k∈N converges to 1 from the left, i.e.,

using the -triangle inequality and increasing property of t-norm)
Similarly, we can obtain Equivalently, using (23), we have where we need to emphasize that, for each integer k, the integers i * k and j * k depend on t * . Since i * k > j * k ≥ k and considering k → ∞, we must have i * k → ∞ and j * k → ∞. It follows that (32) is equivalent to the following statement where i k > j k ≥ k, since we also have i k → ∞ and j k → ∞ as k → ∞. Now, given any fixed t < t 0 , by referring to (23), we have where i k is the smallest integer such that i k > j k ≥ k and (34) is satisfied. For some > 0 with t − 2 > 0, we can obtain (using the -triangle inequality and increasing property of t-norm) We write t − 2 =t < t < t 0 . Using (34) and (35), we have According to (33), since λ is left-continuous on [0, 1] in the left sense, it follows that Therefore, we obtain which leads to a contradiction. Therefore, we conclude that is not a -Cauchy sequence. Then, by definition, there exists a pair (r 0 , t 0 ) with t 0 > 0 and 0 < r 0 < 1 such that, for each integer k, there exists a pair (i k , j k ) of integers i k and j k (depend on k) satisfying i k > j k ≥ k and are -Cauchy sequences. This completes the proof.

Remark 3.
When F satisfies the -triangle inequality, or -triangle inequality or -triangle inequality, we can similarly obtain the desired results in Proposition 4. As a matter of fact, some trick modifications are needed and are left for the readers.

Asymptotically Coupled Coincidence Points
Let U be a universal set. We consider two functions F : The functions F and f are said to be commuted when Definition 9. Let U be a universal set. Given a function f : U → U and a sequence of functions {F n } ∞ n=1 with F n : U × U → U, we say that an element (u, v) ∈ U × U is an asymptotically coupled coincidence point of functions {F n } ∞ n=1 and f when In particular, suppose that all the functions F n are identical to F for all n. If (u, v) ∈ U × U is an asymptotically coupled coincidence point, then we have This indicates that (u, v) is a coupled coincidence point.
• the functions F n : U × U → U and f : U → U satisfy F n (U, U) ⊆ f (U) for all n ∈ N; • the functions f and F n commute all n ∈ N; • for any two functions F i and F j , the following inequality is satisfied where the functions λ ij : (ii) Given any two functions F i and F j , we further assume that the following inequality is satisfied Suppose that (ū,v) is another asymptotically coupled coincidence point of f and {F n } ∞ n=1 . Then, we have f (u * ) = f (ū) and f (v * ) = f (v).
(iii) Given any two functions F i and F j , we further assume that the following inequality is satisfied .
Moreover, the element (u * , v * ) ∈ U × U can be obtained as follows.
• When condition (a) is satisfied, the element (u * , v * ) ∈ U × U can be obtained from the following limits • When condition (b) is satisfied, the element (u * , v * ) ∈ U × U can be obtained from the following limits The sequences {u n } ∞ n=1 and {v n } ∞ n=1 are constructed from any given initial element (u 0 , v 0 ) ∈ U × U according to Formula (2).

Proof. Proposition 4 says that
are both -Cauchy and -Cauchy sequences. We consider the following cases Since f is ( , )-continuous and ( , )-continuous with respect to F, we have Since f is ( , )-continuous and ( , )-continuous with respect to F, we can similarly obtain (41).
From (41), using Proposition 1, we obtain From (41), we also obtain ANS: Fixed Since λ is left-continuous at 1 in the left sense, using (7), we obtain and Using (2) and the commutativity of F n and f , we obtain and We are going to prove and which imply (45)) = 1 (using (42)).
Therefore, we obtain Using the -triangle inequality, we have Applying Proposition 1 to (41) and (47), we obtain Using the -triangle inequality again, we also have Applying Proposition 1 to (41) and (47), we obtain This proves part (i). To prove part (ii), since (ū,v) is another asymptotically coupled coincidence point, we have lim and lim Using the -triangle inequality, we have We also have From (50) and (51), using the increasing property of t-norm, we obtain From (52), applying Proposition 1 to (48) and (49), we also obtain Using the -triangle inequality, we have We can similarly obtain From (53) and (54), using the increasing property of t-norm, we obtain Suppose that Using (38), we have which contradicts (55). Therefore, we must have According to Remark 1, we obtain which also indicates f (u * ) = f (ū) and f (v * ) = f (v). This proves part (ii). To prove part (iii), using the commutativity of F n and f , we have and By regarding F n (u * , v * ) asū and F n (v * , u * ) asv, the equalities (56) and (57) become Then, we have Therefore, using part (ii), we obtain which indicates that ( f (u * ), f (v * )) ∈ U × U is the common coupled fixed point of the functions {F n } ∞ n=1 . This completes the proof.

Remark 5.
We are going to claim that if the function λ ij is nondecreasing then the inequality (40) implies the inequality (39). Using part (i) of Proposition 2, we have Using the increasing property of t-norm, we also have Since λ ij is assumed to be nondecreasing, it follows that inequality (40) implies inequality (39).

Theorem 2.
(Satisfying the -Triangle Inequality). Let (U, F) be a fuzzy semi-metric space. Suppose that the -triangle inequality is satisfied, and that the following conditions are satisfied: • the first six conditions in Theorem 1 are satisfied; • any one of the following conditions is satisfied: (a) the function f is ( , )-continuous with respect to F, and the space (U, F) is ( , )complete or ( , )-complete; (b) the function f is ( , )-continuous with respect to F, and the space (U, F) is ( , )complete or ( , )-complete. Then, we have the following properties.
(ii) Given any two functions F i and F j , we further assume that the following inequality is satisfied Suppose that (ū,v) is another asymptotically coupled coincidence point of {F n } ∞ n=1 and f . Then, we have f (u * ) = f (ū) and f (v * ) = f (v).
(iii) Given any two functions F i and F j , we further assume that the following inequality is satisfied Moreover, the element (u * , v * ) ∈ U × U can be obtained as follows.
• Suppose that condition (a) is satisfied. Then, the element (u * , v * ) ∈ U × U can be obtained from the following limits • Suppose that condition (b) is satisfied. Then, the element (u * , v * ) ∈ U × U can be obtained from the following limits The sequences {u n } ∞ n=1 and {v n } ∞ n=1 are constructed from any given initial element (u 0 , v 0 ) ∈ U × U according to Formula (2).

Proof. Using Remark 3 and Proposition 4 by considering the -triangle inequality, we see that
are both -Cauchy and -Cauchy sequences. We consider the following cases • When condition (a) is satisfied, there exists u * ∈ U satisfying f (u n ) F −→ u * as n → ∞. Since f is ( , )-continuous with respect to F, it follows that (41) are satisfied.

•
When condition (b) is satisfied, there exists u * ∈ U satisfying f (u n ) F −→ u * as n → ∞. Since f is ( , )-continuous with respect to F, it follows that (41) are satisfied. From (41), using Proposition 1, we obtain Since λ is left-continuous at 1 in the left sense, using (7), we obtain Now, we have which indicates, by using (58), Therefore, we obtain Using the -triangle inequality, we have Applying Proposition 1 to (41) and (59), we obtain lim n→∞ F( f (u * ), F n (u * , v * ), 2t) = 1 for all t > 0.
Using the -triangle inequality, we also have Applying Proposition 1 to (41) and (59), we obtain We can similarly obtain This proves part (i).
Using the -triangle inequality, we have We can similarly obtain The remaining proof follows from the similar proof of part (ii) of Theorem 1. Part (iii) can be obtained by the similar proof of part (iii) of Theorem 1, since the -triangle inequality was not used in that proof. This completes the proof. Theorem 3. (Satisfying the -Triangle Inequality). Let (U, F) be a fuzzy semi-metric space. Suppose that the -triangle inequality is satisfied and that the following conditions are satisfied: • the first six conditions in Theorem 1 are satisfied; • any one of the following conditions is satisfied: (a) the function f is ( , )-continuous with respect to F, and the space (U, F) is ( , )complete or ( , )-complete; (b) the function f is ( , )-continuous with respect to F, and the space (U, F) is ( , )complete or ( , )-complete.
Then, we have the following properties.
(i) The function f and the sequence of functions {F n } ∞ n=1 have an asymptotically coupled coincidence point (u * , v * ) in the sense of (ii) Given any two functions F i and F j , we further assume that the following inequality is satisfied Suppose that (ū,v) is another asymptotically coupled coincidence point of {F n } ∞ n=1 and f . Then, we have f (u * ) = f (ū) and f (v * ) = f (v).
(iii) Given any two functions F i and F j , we further assume that the following inequality is satisfied .
Moreover, the element (u * , v * ) ∈ U × U can be obtained as follows.
• Suppose that condition (a) is satisfied. Then, the element (u * , v * ) ∈ U × U can be obtained from the following limits • Suppose that condition (b) is satisfied. Then, the element (u * , v * ) ∈ U × U can be obtained from the following limits The sequences {u n } ∞ n=1 and {v n } ∞ n=1 are constructed from any given initial element (u 0 , v 0 ) ∈ U × U according to Formula (2).
Proof. Using Remark 3 and Proposition 4 by considering the -triangle inequality, we see that { f (u n )} ∞ n=1 and { f (v n )} ∞ n=1 are both -Cauchy and -Cauchy sequences. We consider the following cases • When condition (a) is satisfied, there exists u * ∈ U satisfying f (u n ) F −→ u * as n → ∞. Since f is ( , )-continuous with respect to F, it follows that (41) is satisfied.

•
When condition (b) is satisfied, there exists u * ∈ U satisfying f (u n ) F −→ u * as n → ∞. Since f is ( , )-continuous with respect to F, it follows that (41) is satisfied. The remaining proof follows from the similar proofs of Theorems 1 and 2. Then, we have the following properties.
(i) The function f and the sequence of functions {F n } ∞ n=1 have an asymptotically coupled coincidence point (u * , v * ) in the sense of (ii) Given any two functions F i and F j , we further assume that the following inequality is satisfied Suppose that (ū,v) is another asymptotically coupled coincidence point of {F n } ∞ n=1 and f . Then, we have f (u * ) = f (ū) and f (v * ) = f (v).
(iii) Given any two functions F i and F j , we further assume that the following inequality is satisfied .
Moreover, the element (u * , v * ) ∈ U × U can be obtained as follows.
• Suppose that condition (a) is satisfied. Then, the element (u * , v * ) ∈ U × U can be obtained from the following limits • Suppose that condition (b) is satisfied. Then, the element (u * , v * ) ∈ U × U can be obtained from the following limits where the sequences {u n } ∞ n=1 and {v n } ∞ n=1 are constructed from any given initial element (u 0 , v 0 ) ∈ U × U according to Formula (2).
Proof. Using Remark 3 and Proposition 4 by considering the -triangle inequality, we see that { f (u n )} ∞ n=1 and { f (v n )} ∞ n=1 are both -Cauchy and -Cauchy sequences. We consider the following cases • When condition (a) is satisfied, there exists u * ∈ U such that f (u n ) F −→ u * as n → ∞. Since f is ( , )-continuous and ( , )-continuous with respect to F, it follows that (41) is satisfied.

•
When condition (b) is satisfied, there exists u * ∈ U such that f (u n ) F −→ u * as n → ∞. Since f is ( , )-continuous and ( , )-continuous with respect to F, it follows that (41) is satisfied.
The remaining proof follows from the similar proofs of Theorems 1 and 2.

Asymptotically Coupled Fixed Points
Let U be a universal set. We say that an element (u, v) ∈ U × U is a common coupled fixed point of functions f : U → U and F : U × U → U when

Definition 10.
Let U be a universal set. Given a function f : U → U and a sequence of functions {F n } ∞ n=1 with F n : U × U → U, we say that an element (u, v) ∈ U × U is an asymptotically coupled fixed point of functions f and {F n } ∞ n=1 when Theorem 5. (Satisfying the -Triangle Inequality). Let (U, F) be a fuzzy semi-metric space. Suppose that the -triangle inequality is satisfied and that the following conditions are satisfied: • the following inequality is satisfied • the functions F n : U × U → U and f : U → U satisfy F n (U, U) ⊆ f (U) for all n ∈ N; • the functions f and F n commute all n ∈ N; • given any two functions F i and F j , the following inequalities are satisfied and where the functions λ ij : [0, 1] → [0, 1] satisfy λ ij (α) ≥ λ(α) for all α ∈ [0, 1] and all i, j ∈ N; • given any fixed v * ∈ U and t • > 0, if u n F −→ u * as n → ∞ for a given sequence {u n } ∞ n=1 , then • any one of the following conditions is satisfied: where the sequences {u n } ∞ n=1 and {v n } ∞ n=1 are constructed from any given initial element (u 0 , v 0 ) ∈ U × U according to Formula (2).

Proof. Proposition 4 says that
are both -Cauchy and -Cauchy sequences. Using the similar argument in the proof of part (i) of Theorem 1, we can obtain In other words, we have and lim We consider the following cases.
which also indicate are -Cauchy sequences, we can similarly obtain (67). Applying (67) to Proposition 3 by taking the constant sequence t n = t for all n ∈ N, we have Since for all n by assumption (65), we see and Using the left-continuity of t-norm and Proposition 1, we obtain Since the function λ is left-continuous on [0, 1] in the left sense, it follows that Using the -triangle inequality, we have We also have From (69) and (70), using the increasing property of t-norm, we obtain We also obtain , 2t)) * 1 (using (66), (68), (71) and Proposition 1) We can similarly obtain By applying the increasing property of t-norm to the inequalities (72) and (73), it follows that Using (62), we obtain which contradicts (74). Therefore we must have According to Remark 1, it follows that which indicates that u * = f (u * ) and v * = f (v * ). This shows that (u * , v * ) is an asymptotically coupled fixed point of {F n } ∞ n=1 and f . To prove the uniqueness, since (ū,v) is another asymptotically coupled fixed point, Applying (67) to Proposition 3 by taking the constant sequence t n = t for all n ∈ N, we have lim n→∞ F( f (u n ),ū, t) = F(u * ,ū, t) and lim Since for all n by the assumption (65), we see and Using the left-continuity of t-norm and Proposition 1, we obtain Since the function λ is left-continuous on [0, 1] in the left sense, it follows that Using the -triangle inequality, we have We also have From (77) and (78), using the increasing property of t-norm, we obtain Using (67), (76), (75), (79) and Proposition 3, we also obtain F(u * ,ū, 2t) ≥ λ(F(u * ,ū, 2t) * F(v * ,v, 2t)).
According to Remark 1, it follows that which indicates u * =ū and v * =v. This completes the proof.

Theorem 6.
(Satisfying the -Triangle Inequality). Let (U, F) be a fuzzy semi-metric space. Suppose that the -triangle inequality is satisfied and that the following conditions are satisfied: where the sequences {u n } ∞ n=1 and {v n } ∞ n=1 are constructed from any given initial element (u 0 , v 0 ) ∈ U × U according to Formula (2).
Proof. Using Remark 3 and Proposition 4 by considering the -triangle inequality, we see that { f (u n )} ∞ n=1 and { f (v n )} ∞ n=1 are both -Cauchy and -Cauchy sequences. Using a proof similar to that of Theorem 5, we can obtain the desired results.

Theorem 7.
(Satisfying the -Triangle Inequality). Let (U, F) be a fuzzy semi-metric space. Suppose that the -triangle inequality is satisfied and that the following conditions are satisfied: • the first eight conditions in Theorem 5 are satisfied; • the function f is ( , )-continuous or ( , )-continuous with respect to F; • any one of the following conditions is satisfied: (a) the space (U, F) is ( , )-complete and ( , )-complete; (b) the space (U, F) is ( , )-complete and ( , )-complete. Then, the function f and the sequence {F n } ∞ n=1 of the functions have a unique asymptotically coupled fixed point (u * , v * ), which is obtained by taking the following limits where the sequences {u n } ∞ n=1 and {v n } ∞ n=1 are constructed from any given initial element (u 0 , v 0 ) ∈ U × U according to Formula (2).
Proof. Using Remark 3 and Proposition 4 by considering the -triangle inequality, we see that { f (u n )} ∞ n=1 and { f (v n )} ∞ n=1 are both -Cauchy and -Cauchy sequences. Using a proof similar to that of Theorem 5, we can obtain the desired results. Theorem 8. (Satisfying the -Triangle Inequality). Let (U, F) be a fuzzy semi-metric space. Suppose that the -triangle inequality is satisfied and that the following conditions are satisfied: • the first eight conditions in Theorem 5 are satisfied; • Suppose that any one of the following conditions is satisfied: the function f is ( , )-continuous and ( , )-continuous with respect to F; -the function f is ( , )-continuous and ( , )-continuous with respect to F; • any one of the following conditions is satisfied: (a) the space (U, F) is ( , )-complete and ( , )-complete; (b) the space (U, F) is ( , )-complete and ( , )-complete. Then, the function f and the sequence {F n } ∞ n=1 of functions have a unique asymptotically coupled fixed point (u * , v * ), which is obtained by taking the following limits where the sequences {u n } ∞ n=1 and {v n } ∞ n=1 are constructed from any given initial element (u 0 , v 0 ) ∈ U × U according to Formula (2).
Proof. Using Remark 3 and Proposition 4 by considering the -triangle inequality, we see that { f (u n )} ∞ n=1 and { f (v n )} ∞ n=1 are both -Cauchy and -Cauchy sequences. Using a proof similar to that of Theorem 5, we can obtain the desired results.

Conclusions
The fuzzy semi-metric space considered in this paper does not assume the symmetric condition. In this case, the triangle inequality should be carefully treated. Therefore, four different triangle inequalities called -triangle inequality, -triangle inequality, -triangle inequality and -triangle inequality are considered. Under these settings, the different concepts of Cauchy sequence and completeness are also introduced without considering the symmetric condition.
Under the fuzzy semi-metric space, the asymptotically coupled coincidence points and asymptotically coupled fixed points are studied. Given a sequence of functions {F n } ∞ n=1 with F n : U × U → U and a function f : U → U, an element (u, v) ∈ U × U is called an asymptotically coupled coincidence point of functions {F n } ∞ n=1 and f when  Theorems 5-8 present the desired results based on the different conditions in which the four different types of triangle inequalities are separately considered. The assumptions are different when the triangle inequalities are different. Although the uniqueness of asymptotically coupled coincidence points cannot be guaranteed, the uniqueness of asymptotically coupled fixed points can be guaranteed using different arguments.
The fuzzy semi-metric space is a general space. Since there are a lot of interesting fixed-point-related theorems that have been established in fuzzy metric space, in the future research, we can extend our work to study the fixed-point-related theorems in fuzzy semi-metric space.