Abstract

This paper presents novel concepts in fuzzy topologies, namely -rung orthopair picture fuzzy (-ROPF) topology and -rung orthopair picture fuzzy point (-ROPFP). These concepts extended the existing notions in fuzzy topologies. We introduced a more relaxed form of continuity, called -ROPF continuity, which allows for a flexible analysis of functions between -ROPF topological spaces by incorporating an error bound . We define the -neighborhood system for a -ROPF point in a -ROPF topological space and investigate the convergence of sequences of such points. Our results shed light on the behavior of functions and sequences in these spaces, as well as the conditions for uniqueness of limits within the realm of supports. This research has practical implications in control systems, providing valuable insights into the stability and robustness of the control strategies in the presence of small changes represented by the epsilon value.

1. Introduction

Topology is a branch of mathematics that studies the properties of objects that remain invariant under the continuous transformations. It deals with the study of shapes, spaces, and their properties. Topology has numerous applications in various fields such as physics, engineering, computer science, chemistry, and biology [15]. The category of topological spaces is characterized by isomorphisms known as homeomorphisms, which hold a vital role in the theory. Continuity is the topological interpretation of a homeomorphism, as defined by Bourbaki [2], and it provides insight into the concept of proximity within mathematical models. In fact, continuity is considered one of the most essential properties of a function between two topological spaces.

In a topological space, the convergence of a sequence is defined in terms of neighborhoods and open sets, rather than metrics. This generalization allows for a more abstract and flexible approach to the study of continuity and limit, which is a crucial aspect of topology. The ability to determine whether a sequence converges or not in a topological space enables the analysis of the properties of functions and the structures of spaces, leading to a deeper understanding of the mathematical concepts involved. Therefore, the importance of the convergence of sequences in a topological space cannot be overstated, as it is a fundamental tool for studying the continuity, limit, and the properties of topological spaces.

Fuzzy set theory is a branch of mathematics that allows for the representation of imprecise and uncertain information. Zadeh [6] proposed the concept of fuzzy set, which is a set in which elements can have degrees of membership between and , rather than being either a member or not. This revolutionary idea led to the development of numerous extensions and variations of the fuzzy set theory. One of these extensions is the notion of intuitionistic fuzzy set [7], which introduces a second degree of membership to represent nonmembership. Another extension is the notion of Pythagorean fuzzy set [8]. The notion of -rung orthopair fuzzy set [9], on the other hand, is generalization of Pythagorean fuzzy sets. Picture fuzzy sets [10], are another extension that uses a third function to represent the neutral membership degree of elements. Spherical fuzzy sets [11, 12], proposed in 2019, use the concept of spherical membership functions to represent the degrees of membership of elements. Finally, -rung orthopair picture fuzzy sets (-ROPFSs) [13] combine the ideas of -rung orthopair fuzzy sets and picture fuzzy sets. These various extensions and variations of fuzzy set theory have found numerous applications in the fields such as decision-making, image processing, and pattern recognition [1422].

Chang [23] introduced the concept of the fuzzy topological space, but Lowen’s [24] alternative definition changed a fundamental property of topology. Çoker [25] and Turanlı and Çoker [26] later expanded the concept by introducing the idea of the intuitionistic fuzzy topological space and exploring analog versions of classic topological concepts such as continuity and compactness. Olgun et al. [27] proposed the notion of Pythagorean fuzzy topology and defined the Pythagorean fuzzy continuity of functions between Pythagorean fuzzy topological spaces. Türkarslan et al. [28] introduced the topology of -rung orthopair fuzzy sets. Razaq et al. [29] investigated the picture fuzzy topologies and the continuity between these spaces. Furthermore, Öztürk et al. [30] conducted an investigation on neutrosophic soft compact spaces. These various studies replaced fixed boundaries with degree-theoretic structures of fuzziness within topology.

Pao-Ming and Ying-Ming [31] introduced the concept of fuzzy points and quasi-coincidence for fuzzy points, along with the -neighborhood system of a fuzzy point in a fuzzy topological space. This work also explored versions of some classic notions of topology. Additionally, convergence of nets in fuzzy topological spaces was studied by Pao-Ming and Ying-Ming [31]. Çoker and Demirci [32] introduced the notion of an intuitionistic fuzzy point. Lupiañez [33] explored quasi-coincidence for intuitionistic fuzzy points in this study. The convergence of nets of intuitionistic fuzzy points was introduced and studied by Lupiañez [34]. Olgun et al. [17] studied Pythagorean fuzzy points and their topological properties. Furthermore, Türkarslan et al. [35] explored the notion of -rung orthopair fuzzy point and their applications.

Fuzzy logic is a popular tool for modeling uncertainty in the control systems as it provides a flexible and intuitive framework for representing the imprecise or vague information and capturing the relationships between various elements of the system. In control systems, fuzzy sets are used to model the control objectives and constraints, the state space, and the control space [3638]. The use of fuzzy sets allows for a more comprehensive and robust representation of the system, making it possible to design control strategies that are insensitive to small variations in the system. Additionally, fuzzy sets provide a means to model the interactions between different parts of the system, making it possible to develop control strategies that take into account the complex relationships between the different component.

This paper presents the concepts of -rung orthopair picture fuzzy (-ROPF) topology and -rung orthopair picture fuzzy point (-ROPFP). The continuity of functions between these spaces is studied, with a focus on its applications in the control systems. We also define the -neighborhood system of a -ROPFP in a -ROPF topological space. Additionally, we investigate the convergence of sequences of -ROPFPs and the conditions for the uniqueness of the limit in the realm of supports.

Main contributions and the motivation of the present paper listed as follows:(i)This paper introduces the concepts of -ROPF topology and -ROPFP, which are novel and represent an extension of existing concepts in the fuzzy set theory.(ii)The continuity of functions in -ROPF topological spaces is studied with respect to a control parameter, which provides insights into the behavior of functions in these spaces and can be applied to the control systems.(iii)The motivation behind this research stems from the need for robust and reliable control strategies that can adapt to dynamic environments and uncertain conditions. By establishing the continuity and stability of mappings between the fuzzy topologies, we can enhance the performance of control systems, ensuring they maintain desired behaviors even in the presence of disturbances and uncertainties.(iv)This paper defines the -neighborhood system of a -ROPFP in a -ROPF topological space, which is a fundamental aspect of the topological properties of these spaces.(v)The convergence of sequences of -ROPFPs is investigated, which provides insights into the behavior of sequences in these spaces and the conditions for the uniqueness of the limit in the realm of supports.

The remainder of the paper is structured as follows: in Section 2, we outlined some basic concepts of fuzzy set theory and several set-theoretic operations for -ROPFSs. In Section 3, we introduced the idea of a -ROPF topology. We also define the image and pre-image of a function between two -ROPF topological spaces and the concept of function continuity. We demonstrated the utilization of functional continuity in the control systems. In Section 5, we introduced the concept of -ROPFP and examine its properties. After defining the -neighborhoods of a -ROPFP, we examined the convergence of a sequence of -ROPFPs and investigate the conditions for the unique limit within the realm of supports. Finally, in Section 6, the paper is concluded.

2. Preliminaries

In this section, we recall some basic definitions of fuzzy set theory and study some set-theoretic operations for -ROPFSs. Unless otherwise specified, across the entirety of this manuscript, we adopt the assumption that is a finite set represented as .

Definition 1 [9]. Let . A -rung orthopair fuzzy set in is given bywhere are membership and non-membership functions, respectively, satisfying

Definition 2 [10]. A picture fuzzy set on is given bywhere are positive, neutral and negative membership functions, respectively, satisfying

The concept of -ROPFS was derived from the definitions found in -rung orthopair fuzzy sets and picture fuzzy sets.

Definition 3 [13]. Let . A -ROPFS in is given bywhere are positive membership, neutral membership and negative membership functions, respectively, satisfying

To introduce the concept of -ROPF topology, we need some set-theoretic operations for -ROPFSs. A similar definition was presented by Cường [10] for the special case of , that is, for picture fuzzy sets.

Definition 4. Let and be two -ROPFSs. Then(i)the union of and is defined by(ii)the intersection of and is defined by(iii)the complement of is defined by(iv) if and only if and .

Remark 1. 1.It is straightforward to see that , , and are all -ROPFSs.2.Unlike picture fuzzy sets, the definition of subset for -ROPFs does not include a condition for the neutral membership function. This avoids potential issues that may arise from including such a condition. In fact, the neutral membership function is typically used to model uncertainty or ambiguity in the membership status of an element, which may not be directly related to its inclusion in a set.3.Instead of using minimum and maximum, the infimum and supremum operators are employed when forming the union or intersection of infinitely many -ROPFSs.4.It is evident that for any -ROPFSs and , and are subsets of and is a subset of and .5.The sets and are defined as follows:andThe complement of is equal to and vice versa. On the other hand, any -ROPFS is contained within the set and any -ROPFS contains .

De Morgan’s laws are fundamental laws of logic and set theory that play a crucial role in mathematical reasoning and analysis. It is crucial to note that the set operations defined in Definition 4 satisfy De Morgan’s laws, which is proven in the following.

Proposition 1. Letandbe two-ROPFSs. Then we have(i),(ii).

Proof. (i)From Definition 4 we have(ii)From Definition 4 we have

3. -Rung Orthopair Picture Fuzzy Topological Spaces

In this section, equipped with the framework of set-theoretic operations, we are ready to formulate the notion of the -ROPF topology and its associated ideas. This section holds significant importance, as it establishes the groundwork for the remaining content of the paper. By introducing essential concepts like the image and pre-image of a function, as well as the continuity of a function between two -ROPF topological spaces, this section sets the stage for the subsequent discussions.

Definition 5. The family of -ROPFSs in is referred to as a -ROPF topology on if it satisfies the following conditions:(T1) and are elements of ;(T2)The intersection of any two sets and in is also in ;(T3)The union of any collection of sets in is also in .In this case, the pair is referred to as a -ROPF topological space. Members of are referred to as open -ROPFSs, while the complement of an open set is a closed set. The collection is called the indiscreet -ROPF topological space, and the topology that contains all -ROPFSs is called the discrete -ROPF topological space. If , then the -ROPF topological space is said to be coarser than the -ROPF topological space , or equivalently, is finer than .

Example 1. Let be a set of three elements. Consider the following -ROPFSs in :andLet . It can be easily verified that satisfies conditions T1, T2, and T3, so is a -ROPF topology on .

Definition 6. Given two non-empty sets and , and a function , let and be -ROPFSs in and , respectively. The image of under , denoted as , has its positive membership function, neutral membership function, and negative membership function defined as follows:andrespectively. The positive membership function, the neutral membership function and negative membership function of pre-image of with respect to that is denoted by are defined byandrespectively.

Example 2. Letand, and letbe the surjectiondefined by. Consider the-ROPFSofgiven byThenSimilarly, we have, , , and. So, we haveNow consider the-ROPFSofgiven byThen we getSimilarly, we obtain, , , , , , , and . Hence, we have

The following proposition highlights the preservation of -ROPFS structure under the function mapping.

Proposition 2. Letandbe two non-empty sets, letbe a function and letandbe-ROPFSs inandrespectively. Thenis a-ROPFS inandis a-ROPFS in.

Proof. If , then from Definition 6 we haveOtherwise we haveHence is a -ROPFS. On the other hand since is a -ROPFS we obtain

4. Continuity and Applications in Control Systems

In this section, we explore the application of -ROPF topologies in the context of control systems. First, we examine the concept of -ROPF continuity, which is a measure of how smoothly a function maps elements from one -ROPF topology to another. This is important in the design of control strategies, as it ensures that small changes in the state space result in small changes in the control space. In the second subsection, we will apply the notion of -ROPF continuity to a specific example of a control system, demonstrating how -ROPF topologies can be used to model the state space and the control space, and to design a stable and robust control strategy.

4.1. -ROPF Continuity

In this subsection we define the -ROPF continuity of a function that is defined between two -ROPF topological spaces.

Definition 7. Let and be two -ROPF topological spaces and let be a function. If for any open -ROPFS of we have is an open -ROPFS of , then is said to be -ROPF continuous.

The condition that for any -ROPFS in the domain space, the preimage of any open set in the codomain space must also be an open set in the domain space can be restrictive in certain real-life applications, such as control systems, where small deviations in the input may cause larger changes in the output, and these changes may not be accurately captured by the classical definition of -ROPF continuity. To overcome this limitation, we define the concept of -ROPF continuity. This definition allows for small deviations in the preimage, measured by the positive parameter , and provides a more flexible and practical approach to modeling control systems and other real-life applications.

Definition 8. Let and be two -ROPF topological spaces and let be a function. Let be a metric on and let . If, for any open -ROPFS in , there exists an open -ROPFS in such that, for any , the point is within or on the sphere of center and radius , then is said to be -ROPF continuous with respect to . If is the Euclidean metric, then the function is referred to as Euclidean -ROPF continuous.

4.2. Application of -ROPF Continuity in Control Systems

In our research work, we propose a novel application method that utilizes the concept of -ROPF continuity in the context of fuzzy control systems. It is important to note that our contribution lies in applying this method specifically to the current environment of fuzzy control systems. By using the -ROPF fuzzy topologies, we can model the state space and the control space of the system, and analyze the continuity of the mapping between them. This information then be used to design a control strategy that ensures the stability of the system.(i)Consider a set and define the -ROPFSsThe family forms a -ROPF topology on . We call this topology .(ii)Consider a set and define the -ROPFSsThe family defines a -ROPF topology on . We call this topology .(iii)Representing control systems using -ROPF topologies allow us to model the relationship between the state space and the control space in a more abstract and mathematical way. By defining a -ROPF topology on the state space and the control space, we can capture important information about the behavior of the system, such as the continuity and stability of the mapping from the state space to the control space. This information is critical for designing effective control strategies that ensure that small changes in the state space result in small changes in the control space.(iv)Consider a scenario where we want to control a dynamic system, a robotic arm. The current state of the arm, including its position, velocity, and acceleration, can be represented by a set of three elements, modeled using the -ROPF topology . Based on the desired position, velocity, and acceleration values that the arm should track, another -ROPF topology, , is established to represent the desired behavior of the system. The elements of the sets correspond to different points in the workspace of the arm, and the open sets correspond to the regions in which the arm can move. By mapping the positions of the arm in to those in using a continuous function, we can model the behavior of the robotic arm as it moves and adjusts its position in response to different inputs or conditions. This can help us better understand and control the behavior of the arm in real-world situations.(v)The function maps the current state of the robotic arm to the desired state by assigning each state element to a corresponding control value, as given by . This function serves as a link between the state space and the control space of the system. Its design is based on the specific control objectives and constraints of the robotic arm and aims to track a desired trajectory.(vi) is Euclidean -ROPF continuous with respect to the -ROPF topologies and . It is easy to see that for any open -ROPFS in , there exists an open -ROPFS such that, for any , the point is within or on the sphere of center and radius . For example, we haveandOn the other hand it is clear thatHence, the point is within the sphere of center and radius for each It means that for any small change in the state space represented by , there is a corresponding change in the control space represented by controlled by . This implies that the mapping from the state space to the control space is smooth and well-behaved, satisfying the continuity requirements of the system. To provide a clearer understanding of the stability and continuity of the mapping, consider the following: if the robotic arm moves slightly in the state space, the corresponding behavior in the control space should reflect this change consistently. For example, if the arm’s position in the state space shifts from to , the mapping function should ensure a corresponding shift in the control space from to . Similarly, if the arm’s position moves from to or to , the mapping function should consistently reflect those changes in the control space.(vii)It is concluded that the control system is stable and robust. The function maps the state space represented by to the control space represented by in a continuous manner, satisfying the continuity requirements of the system. This implies that the mapping between the state space and the control space is smooth and well-behaved. The continuity property of the function ensures that small changes in the state space result in corresponding changes in the control space, making the control strategy stable and reliable.

5. -ROPFPs and Convergence

In this section, we introduce the novel concept of a -ROPFP, which extends the classical concept of a fuzzy point. We explore the properties of -ROPFPs, defining a new type of convergence in -ROPF topological spaces. Specifically, we define the -neighborhood system of a -ROPFP and examine the convergence of sequences of -ROPFPs, aiming to identify the conditions for the uniqueness of the limit in the realm of supports.

Definition 9. Let be a set, let and let , and be real numbers such that . Then the -ROPFSis called a -ROPFP in whereIt is clear thatWe simply use the notationwhen there is no confusion. The ordinary point is called the support of . We say that a -ROPFP is included in a -ROPFS if and we write .

The following theorem provides a key insight into the structure of -ROPFSs, showing that they are composed of the union of all the -ROPFPs that are contained by them.

Theorem 1. A-ROPFSis the union of all the-ROPFPs that are contained by, i.e., .

Proof. Let us say . If , then we have for any that which yields thatSimilarly, we have for any that and . So, . On the other hand, for any we get . Therefore we haveSimilarly, we have for any that and . So, .

The following theroem asserts that the -ROPFP structure is maintained when functions are applied.

Theorem 2. Letbe a function and letbe a-ROPFP in. Then the image ofis the-ROPFPinwith the support.

Proof. From Definition 6 we obtainand

The following definitions introduces the concept of quasi-coincidence between a -ROPFP and a -ROPFS.

Definition 10. A -ROPFP is said to be quasi-coincident with a -ROPFS if , and . In this case, we write or in brief .

In topology, a fundamental concept is the notion of a neighborhood of a point, which is a set containing the point and some points around it. In a -ROPF topological space, we can define a similar concept of a -neighborhood of a -ROPFP, where the neighborhood is a fuzzy set that is quasi-coincident with the given -ROPFP. This leads to the definition of the -neighborhood system of a -ROPFP, which is a family of -neighborhoods that captures the local behavior of the -ROPFP in the -ROPF topological space.

Definition 11. A fuzzy set in a -ROPF topological space is called a -neighbourhood of a -ROPFP if there exists an open -ROPFS such that . The family of -neighbourhoods of is called the -neighbourhood system of and denoted by .

A key property of topological spaces is their separation axioms, which provide information on how distinct points can be separated from each other by open sets. One such separation axiom is the Hausdorff property, which has an analog in -ROPF topological spaces. The following definition introduces the -ROPF Hausdorff property.

Definition 12. A -ROPF topological space is said to be Hausdorff if any -ROPFPs and satisfying there exist -neighbourhoods and of and , respectively, such that .

In the context of -ROPF topological spaces, convergence of a sequence of -ROPFPs to a particular -ROPFP can be defined using -neighbourhoods. This notion is important because it provides a framework for studying the convergence of sequences in -ROPF topological spaces, which has important implications in many areas of mathematics. Furthermore, the definition of convergence involving -neighbourhoods allows us to capture the local behavior of sequences.

Definition 13. A sequence of -ROPFPs of is said to be convergent to a -ROPFP if for any -neighbourhood of there exists a positive integer such that whenever . In this case, we write

When working with -ROPF topological spaces, it is important to understand how sequences of -ROPFPs behave in terms of convergence. The following theorem provides a useful result in this regard.

Theorem 3. In a-ROPF topological spaceif a sequenceof-ROPFPs is convergent to, then it is convergent towhenever, and.

Proof. Let . Then for any -neighbourhood of there exists a positive integer such that whenever . Assume that be a -neighbourhood of . Since , and we have is also a -neighbourhood of . Hence whenever . .

Theorem 3 demonstrates that a sequence of -ROPFPs can converge to distinct -ROPFSs that share the same support. In contrast, the following theorem asserts that a sequence of -ROPFPs cannot converge to -ROPFSs with different supports in a Hausdorff -ROPF topological space.

Theorem 4. Letbe a-rung orthopair picture topological space. Ifis a Hausdorff space, then any sequence of-ROPFPs ofdoes not converge to two-ROPFPsandsuch that.

Proof. Let be a sequence of -ROPFPs such that and where . Then for arbitrary -neighbourhoods and of and , respectively, there exists a positive integer such that and whenever . Therefore we haveandwhenever . So we have which contradicts with the fact that is Hausdorff.

6. Conclusion

In this paper, we have introduced the concept of -ROPF topological space and studied some of their basic properties. We have defined various notions such as -neighbourhoods, quasi-coincidence, convergence, and Hausdorffness. We have also introduced the concept of -ROPF continuity, which is a weaker form of continuity in which the continuity condition holds only up to a certain error bound. We have applied the concept of this continuity to a control system problem, in which we have shown how to design a controller that ensures that the output of a system remains within a certain error bound of the desired trajectory. Finally, we have also investigated the convergence of sequences of -ROPFPs in Hausdorff -rung orthopair picture topological spaces, and have proven that such sequences cannot converge to two distinct -ROPFPs with different supports. This study paves the way for various future research possibilities. One intriguing avenue would involve examining the properties of continuous fuzzy mappings and their interplay with different types of continuity. Furthermore, exploring the relationships between continuity and other mathematical domains, such as fuzzy topology and fuzzy analysis, would be of great interest. Last, applying our findings to the other control system challenges and assessing the efficacy of continuous fuzzy controllers in real-world scenarios would provide valuable insights. As a part of our future work, we will investigate the relationship between -ROPF continuity and -neighborhoods in the realm of -ROPFPs.

Data Availability

No underlying data supporting the results of this study were generated or analyzed, and no publicly archived datasets were generated during the study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.