Abstract

In this paper, we studied the relations between new types of fuzzy retractions, fuzzy foldings, and fuzzy deformation retractions, on fuzzy fundamental groups of the fuzzy Minkowski space . These geometrical transformations are used to give a combinatorial characterization of the fundamental groups of fuzzy submanifolds on . Then, the fuzzy fundamental groups of the fuzzy geodesics and the limit fuzzy foldings of are presented and obtained. Finally, we proved a sequence of theorems concerning the isomorphism between the fuzzy fundamental group and the fuzzy identity group.

1. Introduction

Recently, fuzzy sets defined by Zadeh [1] have been widely combined to several mathematical fields, such as complex numbers (see Ramot et al. [2, 3]), topological foldings (see [4, 5]), algebra (see Rosenfeld, Dib, Youssef, and El-Ahmady [612]), and many more fields. In the last few decades, Rosenfeld [6] started the development of fuzzy group theory by introducing the concept of the fuzzy subgroup of a group. Then, numerous researchers have studied the theory of fuzzy algebra such as Mordeson and Malik [13] and Demirci [14, 15]; later on, Negoita and Ralescu [16] replaced the interval in Rosenfeld’s work by an applicable lattice structure. Anthony and Sherwood [17] presented the notion of triangular norm which is used to redefine the fuzzy subgroup.

Numerous researchers tracked the Rosenfeld–Anthony–Sherwood approach in exploring the fuzzy group theory such as Das [18], Anthony and Sherwood [19, 20], Sessa [21], and Akgiil [22]. Youssef and Dib [8, 9] announced an innovative approach to define the fuzzy groupoid and fuzzy subgroupoid.  This approach appeared in the theory of fuzzy algebra because of the absence of the concepts of the fuzzy universal set and the fuzzy binary operation which were presented by Youssef and Dib in [8, 9]. The main difference between the Rosenfeld’s approach [6] and that of Youssef and Dib [8, 9] is the replacement of the norm with a family of comembership functions . Therefore, Dib [9] presented the concept of fuzzy space. Zavadskas et al. [23] applied the idea of Minkowski space with ARAS, TOPSIS, and weighted product methods, and they presented a new model to be applied for numerous problems in which the expert’s knowledge is needed to make a proper decision. Abu-Saleem [24] introduced a new type of the fundamental group and studied some types of conditional foldings and unfoldings restricted to the elements of the fuzzy fundamental groups. Also, he presented some theorems and corollaries about the fuzzy fundamental groups of the limit of foldings and the variant and invariant of the fuzzy fundamental group under the folding of the fuzzy manifold into itself. Later, Haçat [25] studied fuzzy H-space and fuzzy H-group and shown that a fuzzy deformation retract of a fuzzy loop space is a fuzzy H-group.

The background of this paper is considered as a continuation of the above efforts in following the study of fuzzy groups by Rosenfild’s [6], and it starts from the definition of isometric folding map of Riemannian manifolds by Robertson [26], who defined this map between two Riemannian manifolds and stated some of its properties such as the continuity property and the property of conservativeness on the length of piecewise geodesic paths.

Depending on this definition of isometric folding maps, El-Ghoul [27] introduced the concept of folding fuzzy graphs and studied its relation with the fuzzy spheres, and then El-Ghoul and Shamara [28] studied the retraction relation between these kinds of folding fuzzy manifolds.

Another achieved progress had been made while studying the folding of fuzzy manifolds through introducing the definitions of isometric folding map into fuzzy retraction, fuzzy foldings, fuzzy deformation, the folding of fuzzy horocycle, and the folding in the fuzzy Lobachevskian space [29, 30].

The aim of this paper is to characterize the fuzzy fundamental groups of fuzzy Minkowski space and their isomorphisms, which is to the best of our knowledge not done yet by anyone else and to study new types of fuzzy retractions, fuzzy folding, and fuzzy deformation retract of fuzzy fundamental groups in .  This aim motivated us to do this paper and to prove a sequence of theorems focused on the isomorphisms on foldings on space.  This characterization is very useful because of its wide range of applications, such as the magneto-static atmospheres, the magnetic forces of some manifolds, and so on, which could be found in [5, 8, 12, 3133].

2. Materials and Methods

Our methodology in this paper depends on constructing an isometric folding map on the fuzzy Minkowski space starting from the fuzzy geodesic of the fuzzy Buchdahi space and then obtaining its cylindrical coordinates by computing the retractions of the fuzzy Minkowski space via some geometrical transformations from the view point of Remannian metric of fuzzy Buchdahi space . A fuzzy manifold is a manifold with some physical characters represented by the density function .

Definition 1 (see [2931]). A fuzzy subset of a fuzzy manifold is called a fuzzy retraction of if there exist a continuous map such that

Definition 2. (see [2931]). A fuzzy subset of a fuzzy manifold is called fuzzy deformation retract if there exists a fuzzy retraction and a fuzzy homotopy such as where is the retraction mentioned above.

Definition 3. (see [2931]). A map is said to be an isometric folding of fuzzy submanifolds in into itself iff for any piecewise fuzzy geodesic path is the induced path of a piecewise fuzzy geodesic and is of the same length as where .

3. Results and Discussion

In this section, we present and prove some theorems and results describing the relation between fuzzy fundamental groups and each of fuzzy folding , limit of fuzzy geodesic, minimal fuzzy retraction, and some other results.

Theorem 1 (see [4, 11, 34, 35]). The fuzzy fundamental group of types of fuzzy deformation retracts of is either isomorphic to or its a fuzzy identity group.

Proof. We will show that and are the fuzzy deformation retracts of open fuzzy Minkowski space . Consider the fuzzy Buchdahi space . By using fuzzy cylindrical coordinates , and with fuzzy metric,since ; if , we have , and if , then , so equation (1) becomeswhich is the fuzzy metric of . The fuzzy cylindrical coordinates of are given bywhere are the constants of integration. Solving the Lagrangian equations, we obtain fuzzy geodesics and retractions in given as the follows:The fuzzy deformation retract of is given by where is the open fuzzy Minkowski space , while the fuzzy retraction of is given by and the fuzzy deformation retract of onto a fuzzy retraction is given byand the fuzzy deformation retract of onto a fuzzy retraction is given byand the fuzzy deformation retract of onto a fuzzy retraction is given bySo, , is isomorphic to the fuzzy identity group, , and is isomorphic to the fuzzy identity group.

Corollary 1. The fuzzy fundamental group of the fuzzy deformation retracts of induces two chains of fuzzy fundamental groups up and down .

Theorem 2. The fuzzy fundamental group of the fuzzy folding of is either isomorphic to or isomorphic to the fuzzy identity group.

Proof. If the fuzzy folding is given by , then the isomorphism between into itself will be defined by
this type of fuzzy folding and any fuzzy folding isomorphic to it will not induce singularity of , so .
While if the fuzzy folding is given by then the isomorphism between into itself will be defined by and then this type of fuzzy folding and any fuzzy folding isomorphic to it will induce singularity of , so is isomorphic to the fuzzy identity group which are two chains of the fuzzy pointing up and down the density function .

Corollary 2. The fuzzy fundamental group of the fuzzy folding of induces two chains of fuzzy fundamental groups up and down .

Theorem 3. The fuzzy fundamental group of the limit of the fuzzy foldings of in is isomorphic to .

Proof. Consider the fuzzy great sphere of two dimension: which is geodesic in ; let be a fuzzy folding; if we define the series of fuzzy folding maps by the following:then is a fuzzy circle of dimension one, so .

Theorem 4. Let be given by the fuzzy folding and the fuzzy fundamental group of the limit of the fuzzy folding of the fuzzy geodesic is isomorphic to .

Proof. Defining the isometric chain fuzzy folding of the fuzzy geodesic of two dimension into itself by the following:then , so is the fuzzy great circle with so , and the fuzzy fundamental group of types of the limit of fuzzy foldings and any fuzzy manifold homeomorphic to the fuzzy great circle is isomorphic to .

Theorem 5. If the fuzzy folding is given by then the fuzzy fundamental group of the limit of the fuzzy folding of is isomorphic to the fuzzy identity group.

Proof. Defining the isometric chain of fuzzy foldings of into itself by the following:then , so is the fuzzy hypersurface with so is isomorphic to the fuzzy identity group and any fuzzy manifold homeomorphic to .

Theorem 6. If the fuzzy folding is given by , then the fuzzy fundamental group of the limit of the fuzzy folding of is the fuzzy identity group.

Proof. Defining the isometric chain of fuzzy foldings of into itself by the following:then , so is the fuzzy point and the fuzzy fundamental group of a fuzzy point is the fuzzy identity group.

Theorem 7. The fuzzy fundamental group of the end limits of fuzzy foldings of the n-dimensional fuzzy manifold homeomorphic to into itself is the fuzzy identity group.

Proof. Let be a fuzzy folding of into itself, we have the following chains:The end of the limits of fuzzy foldings is the zero-dimensional fuzzy manifold which is a fuzzy point, and the fuzzy fundamental group of a fuzzy point is the fuzzy identity group.

Theorem 8. The fuzzy fundamental group of the minimal fuzzy retraction of the n-dimensional fuzzy manifold homeomorphic to is the fuzzy identity group.

Proof. Let be the fuzzy retraction map, we have the following chains:So, the minimal fuzzy retraction of the n-dimensional fuzzy manifold coincides with the limit of the fuzzy retractions which is the zero-dimensional fuzzy point space , and the fundamental group of a fuzzy point is the fuzzy identity group.

Theorem 9. Let be the fuzzy deformation retract of and be the regular fuzzy folding. Then, and .

Proof. Define the fuzzy deformation retract of as follows: Therefore,If we consider the fuzzy folding as , thenTherefore, and .

4. Conclusion

We characterized the fuzzy fundamental groups of fuzzy Minkowski space and their isomorphisms by defining an isometric folding map on the fuzzy Minkowski space derived from the fuzzy geodesic of the fuzzy Buchdahi space ; then, we obtained the relation between the concepts: fuzzy folding, fuzzy retraction, fuzzy deformation retraction, and fuzzy fundamental groups of the manifold . Also, we were able to determine a connection between the limits of the fuzzy foldings and the fuzzy fundamental groups; and finally, we stated and proved the results of this article as a sequence of theorems concerned on the isomorphism between the fuzzy fundamental group and the fuzzy identity group. Our hope in the future is to write the applications of these proved theorems as well as to construct more useful results together with their applications.

Data Availability

The data used to support the findings of this study have not been made available because the study is theoretical and does not depend on any collected data.

Conflicts of Interest

The authors declare that there are no conflicts of interest.

Acknowledgments

This work was kindly supported by Al-Hussein Bin Talal University, Ma’an/Jordan.