In the present paper, we introduce the notion of Pythagorean fuzzy topological space by motivating from the notion of fuzzy topological space. We define Pythagorean fuzzy continuity of a function defined between Pythagorean fuzzy topological spaces and we characterize this concept. Using the concept of continuity, we also give a method to construct a Pythagorean fuzzy topology on a given non-empty set.
Hinweise
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Introduction
Classical topology has been progressed by taking its motivation from classical analysis and it has many applications on several areas of research such as machine learning, data analysis, data mining, and quantum gravity [1‐7]. Besides, the notion of topology refers the connection between spatial objects and features and it can be used to describe some certain spatial functions and to conceive data sets that have better quality control and greater data integrity. Homeomorphisms that are the isomorphisms of the category of topological spaces play an important role in the theory. If there exists a homeomorphism among two topological spaces, then these spaces have exactly the same topological properties. The topological part of a homeomorphism is the notion of continuity [1]. Moreover, continuity explains the term of closeness in the mathematical models. In this context, continuity is one of the most important properties of a function defined between two topological spaces.
In 1968, Chang [8] defined the concept of fuzzy topological space and generalized some basic notions of topology such as open set, closed set, continuity and compactness to fuzzy topological spaces. Following this study, Lowen gave another definition of a fuzzy topological space by changing a basic property of topology [9, 10]. Besides, in 1995, Coker introduced the notion of intuitionistic fuzzy topological space and studied some analogue versions of some concepts of classical topology such as continuity and compactness [11]. Further results on intuitionistic fuzzy topological spaces can be found in [12‐14]. Some authors were also concerned with fuzzy metric spaces (see, e.g. [15]). Thus, degree-theoretic structure of fuzziness has been considered in the notion of topology instead of certain fixed boundaries. Furthermore, some authors studied the concept of fuzzy soft topological space and its applications in decision-making environment [16, 17].
Anzeige
The main purpose of this paper is to extend the notions of fuzzy topological space and intuitionistic fuzzy topological space by introducing the notion of Pythagorean fuzzy topological space. We define the concept of Pythagorean fuzzy topological space by following the idea of Chang [8]. After defining Pythagorean fuzzy topological spaces, we investigate the continuity of a function between two Pythagorean fuzzy topological spaces which we call Pythagorean fuzzy continuity. For this purpose, we define the notions of image and the pre-image of a Pythagorean fuzzy subset with respect to a function and we investigate some basic properties of these notions. We also construct the coarsest Pythagorean fuzzy topology on a non-empty set X which makes a given function \(f:X\rightarrow Y\) Pythagorean fuzzy continuous where Y is a Pythagorean fuzzy topological space. In this context, the results obtain in the present paper can be used to get more realistic results in the areas of research such as decision making, data analysis and machine learning. In the future works, categorical properties of Pythagorean fuzzy topological spaces, applications of Pythagorean fuzzy topological spaces on decision making theory and Pythagorean fuzzy soft topological spaces may be studied.
Basic concepts on Pythagorean fuzzy subsets
In 1965, Zadeh generalized the standard notion of set by defining the notion of fuzzy set [18] that has many applications on economy, business, decision making, data mining, etc. A fuzzy subset A of a given set X is defined with a function \(\mu _{A}:X\rightarrow [0,1]\) which is called the membership function of A [18, 19]. For a given \(x \in X\), the value \(\mu _{A}(x)\) is said to be the degree or grade of membership of x to A. Besides, the grade of non-membership of x to A is given with \(1-\mu _{A}(x)\). This idea obviously generalizes the idea of standard set theory. Indeed, in the standard set theory the membership function of a set A can be considered as the characteristic function of A which is equal to one if \(x\in A\) and zero otherwise. The notion of fuzzy subset has been generalized to some more general notions of non-standard fuzzy subset. For instance, an intuitionistic fuzzy subset A of X is the pair \((\mu _{A},\nu _{A})\) of a membership function \(\mu _{A}:X\rightarrow [0,1]\) and a non-membership function \(\nu _{A}:X\rightarrow [0,1]\) with \(\mu _{A}(x)+\nu _{A}(x)\le 1\) for any \(x\in X\) [20]. Another example of a non-standard fuzzy subset is the interval-valued fuzzy subsets which was studied in depth by Mendel [21, 22]. On the other hand, in 2014, Yager [23] introduced the notion of Pythagorean fuzzy subset which is a new class of non-standard fuzzy subsets and which has many effective applications in natural and social sciences (see, e.g. [24‐40]).
A Pythagorean fuzzy subset A of a non-empty set X is a pair \((\mu _{A},\nu _{A})\) of a membership function \(\mu _{A}:X\rightarrow [0,1]\) and a non-membership function \(\nu _{A}:X\rightarrow [0,1]\) with \(\mu _{A}^{2}(x)+\nu _{A}^{2}= r_{A}^{2}(x)\) for any \(x \in X\) where \(r_{A}:X\rightarrow [0,1]\) is a function which is called the strength of commitment at point x [23]. The notion of the Pythagorean fuzzy subset has a basic geometric mean: Let \((r_{A}(x),\theta _{A}(x))\) be the polar coordinates of \((\mu _{A} (x),\nu _{A}(x))\) for a point \(x\in X\). If we define \(d_{A}(x):=(1-\theta _{A}(x))\dfrac{\pi }{2}\), then the function \(d_{A}:X\rightarrow [0,1]\) can be considered the direction of commitment at point x [23]. It is obvious that the function \(d_{A}\) scales the first quadrant between zero and one, i.e. if \(\theta _{A}(x)=\dfrac{\pi }{2}\) then \(\mu _{A}(x)=0\) and \(\nu _{A}(x)=r_{A}(x)\) which means the direction \(d_{A}(x)=0\) and if \(\theta _{A}(x)=0\) then \(\mu _{A}(x)=r_{A}(x)\) and \(\nu _{A}(x)=0\) which means the direction \(d_{A}(x)=1\). Therefore, a Pythagorean fuzzy subset A can be expressed by either \((\mu _{A},\nu _{A})\) or \((r_{A},d_{A})\). Note here that Pythagorean fuzzy subsets can be still applicable whenever one cannot use intuitionistic fuzzy subsets. Therefore, Pythagorean fuzzy subsets are more effective than intuitionistic fuzzy subsets as well as fuzzy subsets (see Fig. 1).
×
Now let us recall the set operations over Pythagorean fuzzy subsets [23]:
Anzeige
Definition 1
Let \(A=(\mu _{A},\nu _{A})\) and \(B=(\mu _{B},\nu _{B})\) be two Pythagorean fuzzy subsets of a set X. Then,
(i)
the complement of A is defined by \(A^{c}:=(\nu _{A},\mu _{A})\),
(ii)
the intersection of A and B is defined by \(A\cap B:=(\min \left\{ \mu _{A},\mu _{B}\right\} ,\max \left\{ \nu _{A},\nu _{B}\right\} )\),
(iii)
the union of A and B is defined by \(A\cup B=(\max \left\{ \mu _{A},\mu _{B}\right\} ,\min \left\{ \nu _{A},\nu _{B}\right\} )\),
(iv)
we say A is a subset of B or B contains A and we write \(A\subset B\) or \(B\supset A\) if \(\mu _{A}\le \mu _{B}\) and \(\nu _{A}\ge \nu _{B}.\)
Note here that, if the union and the intersection are infinite, then we use supremum “\(\sup \)” and infimum “\(\inf \)” instead of maximum “\(\max \)” and minimum “\(\min \)”, respectively.
Throughout this paper, we use the notation \(1_{X}\) for the Pythagorean fuzzy subset (1, 0) and we use the notation \(0_{X}\) for the Pythagorean fuzzy subset (0, 1), i.e.
$$\begin{aligned} \mu _{1_{X}}=1\text { and }\nu _{1_{X}}=0 \end{aligned}$$
and
$$\begin{aligned} \mu _{0_{X}}=0\text { and }\nu _{0_{X}}=1\text {.} \end{aligned}$$
Topological spaces
In this section, we define the concept of Pythagorean fuzzy topological space. We also study the continuity of a function defined among Pythagorean fuzzy topological spaces.
Definition 2
Let \(X\not =\varnothing \) be a set and let \(\tau \) be a family of Pythagorean fuzzy subsets of X. If
(T1)
\(1_{X},\)\(0_{X} \in \tau \),
(T2)
for any \(A_{1},A_{2}\in \tau \), we have \(A_{1}\cap A_{2}\in \tau \),
(T3)
for any \(\left\{ A_{i}\right\} _{i\in I}\subset \tau \), we have \( {\displaystyle \bigcup \limits _{i\in I}} A_{i}\in \tau \) where I is an arbitrary index set then \(\tau \) is called a Pythagorean fuzzy topology on X.
In this case the pair \((X,\tau )\) is said to be a Pythagorean fuzzy topological space. Each member of \(\tau \) is called an open Pythagorean fuzzy subset. The complement of an open Pythagorean fuzzy subset is called a closed Pythagorean fuzzy subset. As classical topologies or fuzzy topological spaces, the family \(\left\{ 1_{X},0_{X}\right\} \) is called the indiscreet Pythagorean fuzzy topological space and the topology that contains all Pythagorean fuzzy subsets is called the discrete Pythagorean fuzzy topological space. Besides, a Pythagorean fuzzy topology \(\tau _{1}\) on a set is said to be coarser than a Pythagorean fuzzy topology \(\tau _{2}\) on the same set if \(\tau _{1}\subset \tau _{2}\).
Following is an example of a Pythagorean fuzzy topological space:
Example 1
Let \(X=\{1,2\}\). Consider the following family of Pythagorean fuzzy subsets \(\tau =\{1_{X},0_{X},A_{1},\ldots ,A_{5}\}\) where
and \(\mu _{i}\) and \(\nu _{i}\) are corresponding membership and non-membership functions of \(A_{i}\) for each \(i=1,\ldots ,5\), respectively. Observe that \((X,\tau )\) is a Pythagorean fuzzy topological space.
As any fuzzy subset or intuitionistic fuzzy subset of a set can be considered as a Pythagorean fuzzy subset, we observe that any fuzzy topological space or intuitionistic fuzzy topological space is a Pythagorean fuzzy topological space as well. On the other hand, it is obvious that a Pythagorean fuzzy topological space needs not to be a fuzzy topological space or intuitionistic fuzzy topological space. Even an open Pythagorean fuzzy subset may be neither a fuzzy subset nor an intuitionistic fuzzy subset (see Example 1). The categorical relationship between these spaces may be studied in future works.
The notion of the neighbourhood of a point has an important place in the classical topology as many concepts such as continuity, closure and convergence are defined or characterized with the help of this notion. Chang gave the definition of a neighbourhood of a fuzzy open subset instead of a neighbourhood of a point [8]. Following the idea of Chang, we give the following definition:
Definition 3
Let A, U be two Pythagorean fuzzy subsets in a Pythagorean fuzzy topological space. Then, U is said to be a neighbourhood of A if there exists an open Pythagorean fuzzy subset E such that \(A\subset E\subset U \).
The following fact is easy to prove:
Proposition 1
A Pythagorean fuzzy subset A is open in a Pythagorean fuzzy topological space if and only if it contains a neighbourhood of its each subset.
Now, we give some new definitions to generalize some well-known ordinary topological results:
Definition 4
Let X and Y be two non-empty sets, let \(f:X\rightarrow Y\) be a function and let A and B be Pythagorean fuzzy subsets of X and Y, respectively. Then, the membership and non-membership functions of image of A with respect to f that is denoted by f[A] are defined by
The following proposition gives some basic properties of image and pre-image:
Proposition 2
Let X and Y be two non-empty sets and let \(f:X\rightarrow Y\) be a function. Then, we have
(i)
\(f^{-1}[B^{c}]=f^{-1}[B]^{c}\) for any Pythagorean fuzzy subset B of Y.
(ii)
\(f[A]^{c}\subset f[A^{c}]\) for any Pythagorean fuzzy subset A of X.
(iii)
if \(B_{1}\subset B_{2}\) then \(f^{-1}\left[ B_{1}\right] \subset f^{-1}\left[ B_{2}\right] \) where \(B_{1}\) and \(B_{2}\) are Pythagorean fuzzy subsets of Y.
(iv)
if \(A_{1}\subset A_{2}\), then \(f\left[ A_{1}\right] \subset f\left[ A_{2}\right] \) where \(A_{1}\) and \(A_{2}\) are Pythagorean fuzzy subsets of X.
(v)
\(f\left[ f^{-1}\left[ B\right] \right] \subset B\) for any Pythagorean fuzzy subset B of Y.
(vi)
\(A\subset f^{-1}[f[A]]\) for any Pythagorean fuzzy subset A of X.
Proof
(i)
For any \(x\in X\) and for any Pythagorean fuzzy subset B of Y we get from the definition of the complement that
The proof is trivial for each \(y\in Y\) such that \(f(y)=\varnothing \). On the other hand, we have \(\nu _{f[A^{c}]}(y)\le \nu _{f[A]^{c}}(y)\) using the same idea. Hence, we obtain \(f[A]^{c}\subset f[A^{c}]\).
(iii)
Assume that \(B_{1}\subset B_{2}\). Then, we have for any \(x\in X\) that
Therefore, one can get \(\mu _{f^{-1}\left[ B_{1}\right] }\le \mu _{f^{-1}\left[ B_{2}\right] }\). Similarly, it is not difficult to show that \(\nu _{f^{-1}\left[ B_{1}\right] }\ge \nu _{f^{-1}\left[ B_{2}\right] } \).
(iv)
Assume that \(A_{1}\subset A_{2}\) and let \(y\in Y\). If \(f(y)=\varnothing \), then the proof is trivial. Assume that \(f(y)\not = \varnothing \). Then, we have
On the other hand if \(f(y)=\varnothing \), then we have \(\mu _{f\left[ f^{-1}\left[ B\right] \right] }(y)\)\(=0\le \mu _{B}\left( y\right) \). Similarly, we have \(\nu _{f\left[ f^{-1}\left[ B\right] \right] }\ge \nu _{B} .\)
Similarly, we have \(\nu _{f^{-1}\left[ f\left[ A\right] \right] }\le \nu _{A}\).
\(\square \)
The concept of continuity is one of the well-known and important concepts of classical topology as it reformulates the notion of closeness in terms of open sets. We now give the definition of Pythagorean fuzzy continuity of a function.
Definition 5
Let \((X,\tau _{1})\) and \((Y,\tau _{2})\) be two Pythagorean fuzzy topological spaces and let \(f:X\rightarrow Y\) be a function. Then, f is said to be Pythagorean fuzzy continuous if for any Pythagorean fuzzy subset A of X and for any neighbourhood V of f[A] there exists a neighbourhood U of A such that \(f[U]\subset V\).
The following theorem that characterizes the Pythagorean fuzzy continuity is a consequence of Proposition 2:
Theorem 1
Let \((X,\tau _{1})\) and \((Y,\tau _{2})\) be two Pythagorean fuzzy topological spaces and let \(f:X\rightarrow Y\) be a function. Then, the following statements are equivalent:
(i)
f is Pythagorean fuzzy continuous.
(ii)
For any Pythagorean fuzzy subset A of X and for any neighbourhood V of f[A], there exists a neighbourhood U of A such that for any \(B\subset U\) we have \(f[B]\subset V.\)
(iii)
For any Pythagorean fuzzy subset A of X and for any neighbourhood V of f[A], there exists a neighbourhood U of A such that \(U\subset f^{-1}[V]\).
(iv)
For any Pythagorean fuzzy subset A of X and for any neighbourhood V of f[A], \(f^{-1}[V]\) is a neighbourhood of A.
Proof
(i) \(\Rightarrow \) (ii) Assume that f is Pythagorean fuzzy continuous, let A be a Pythagorean fuzzy subset of X and let V be a neighbourhood of f[A]. Then, there exists a neighbourhood U of A such that \(f[U]\subset V\). Now, if \(B\subset U\), then we get \(f[B]\subset f[U]\subset V\).
(ii) \(\Rightarrow \) (iii) Assume that (ii) holds, let A be a Pythagorean fuzzy set of X and let V be a neighbourhood of f[A]. From (ii), there exists a neighbourhood U of A such that for any \(B\subset U\) we have \(f[B]\subset V\). Then, we can write \(B\subset f^{-}\left[ f[B]\right] \subset f^{-1}[V]\). As B is an arbitrary subset of U, we have \(U\subset f^{-1}[V]\).
(iii)\(\Rightarrow \) (iv) Assume that (iii) holds. Let A be a Pythagorean fuzzy subset of X and let V be a neighbourhood of f[A]. Then from (iii), there exists a neighbourhood U of A such that \(U\subset f^{-1}[V]\). Since U is a neighbourhood of A there exists an open Pythagorean fuzzy subset P of X such that \(A\subset P\subset U\). On the other hand as \(U\subset f^{-1}[V]\), one can get \(A\subset P\subset f^{-1}[V]\) which implies \(f^{-1}[V]\) is a neighbourhood of A.
(iv)\(\Rightarrow \) (i) Assume that (iv) holds, let A be a Pythagorean fuzzy subset of X and let V be a neighbourhood of f[A]. From the hypothesis, we have \(f^{-1}[V]\) is a neighbourhood of A. Therefore, there exists an open Pythagorean fuzzy subset P of X such that \(A\subset P\subset \)\(f^{-1}[V]\) which implies \(f[P]\subset f[f^{-}[V]]\subset V\). Moreover, as P is open it is a neighbourhood of A. Hence, f is Pythagorean fuzzy continuous. \(\square \)
Following is a characterization of Pythagorean fuzzy continuity. Note that similar result is one of the well-known results of classical topology.
Theorem 2
Let \((X,\tau _{1})\) and \((Y,\tau _{2})\) be two Pythagorean fuzzy topological spaces. A function \(f:X\rightarrow Y\) is Pythagorean fuzzy continuous if and only if for each open Pythagorean fuzzy subset B of Y we have \(f^{-1}[B] \) is an open Pythagorean fuzzy subset of X.
Proof
Assume that f is continuous. Let B be an open Pythagorean fuzzy subset of Y and let \(A\subset f^{-1}[B]\). Then, we get \(f[A]\subset B\). Since B is open now from Proposition 1 there exists a neighbourhood V of f[A] such that \(V\subset B\). Thus, Pythagorean fuzzy continuity of f and (iv) of Theorem 1 imply that \(f^{-1}[V]\) is a neighbourhood of A. On the other hand from (iii) of Proposition 2 we have \(f^{-1}[V]\subset f^{-1}[B]\). Therefore, \(f^{-1}[B]\) is a neighbourhood of A as well. As A is an arbitrary subset of \(f^{-1}[B]\), from Proposition 1 the Pythagorean fuzzy subset \(f^{-1}[B]\) is open.
Conversely, let A be a Pythagorean fuzzy subset of X and let V be a neighbourhood of f[A]. Then, there exists an open Pythagorean fuzzy subset P of X such that \(f[A]\subset P\subset V\). Now, from the hypothesis \(f^{-1}[P]\) is open. On the other hand, we can write \(A\subset f^{-1}[f[A]]\subset f^{-1}[P]\subset f^{-1}[V]\). Hence, \(f^{-1}[V]\) is a neighbourhood of A which proves the Pythagorean fuzzy continuity of f. \(\square \)
We can obtain a Pythagorean fuzzy topology on a set X when we are given a Pythagorean fuzzy topological space Y and a function from X to Y. We prove this fact with the following theorem:
Theorem 3
Let \(X\not =\varnothing \) be a set, let \((Y,\tau )\) be a Pythagorean fuzzy topological space and let \(f:X\rightarrow Y\) be a function. Then, there exists a coarsest Pythagorean fuzzy topology \(\tau ^{*}\) over X such that f is Pythagorean fuzzy continuous.
Proof
Let us define a class of Pythagorean fuzzy subsets \(\tau ^{*}\) of X by
Similarly, we immediately have \(\nu _{f^{-1}[0_{Y}]}(x)=\nu _{0_{X}}(x)\) for any \(x\in X\) which implies \(f^{-1}[0_{Y}]=0_{X}\). Now, as \(0_{Y}\in \tau \) we have \(0_{X}=f^{-1}[0_{Y}]\in \tau ^{*}\). In like manner, it is easy to see that \(1_{X}=f^{-1}[1_{Y}]\in \tau ^{*}\).
(T2)
Assume that \(V_{1} \),\(V_{2}\in \)\(\tau ^{*}\). Then, for \(i=1,2\) there exists \(B_{i}\in \tau \) such that \(f^{-1}[B_{i}]=V_{i}\) which implies \(\mu _{f^{-1}[B_{i}]}=\mu _{V_{i}}\) and \(\nu _{f^{-1}[B_{i}]}=\nu _{V_{i}}\). Thus, we obtain for any \(x\in X\) that
Similarly, it is not difficult to see that \(\nu _{V_{1}\cap V_{2}}=\nu _{f^{-1}\left[ B_{1}\cap B_{2}\right] }\). Hence, we get \(V_{1}\cap V_{2} \in \tau ^{*}\).
(T3)
Assume that \(\left\{ V_{i}\right\} _{i\in I}\) be an arbitrary sub-family of \(\tau ^{*}\). Then for any \(i\in I\) there exists \(B_{i}\in \tau \) such that \(f^{-1}[B_{i}]=V_{i}\) which implies \(\mu _{f^{-1}[B_{i}]}=\mu _{V_{i}}\) and \(\nu _{f^{-1}[B_{i}]}=\nu _{V_{i}}\). Therefore, one can get for any \(x\in X\) that
On the other hand, it is easy to see that \(\nu _{ {\textstyle \bigcup \limits _{i\in I}} V_{i}}=\nu _{f^{-1}\left[ {\textstyle \bigcup \limits _{i\in I}} B_{i}\right] }\). Thus, we have \( {\textstyle \bigcup \limits _{i\in I}} V_{i}\in \tau ^{*}\).
From Theorem 2, the continuity of f is trivial. Now, we prove that \(\tau ^{*}\) is the coarsest Pythagorean fuzzy topology over X such that f is Pythagorean fuzzy continuous. Let \(\tau ^{**}\subset \tau ^{*}\) be a Pythagorean fuzzy topology over X such that f is Pythagorean fuzzy continuous. If \(B\in \tau ^{*}\) then there exists \(V\in \tau \) such that \(f^{-1}[V]=B\). Since, f is Pythagorean fuzzy continuous with respect to \(\tau ^{**}\) we have \(B=f^{-1}[V]\in \tau ^{**}\). Hence, we have \(\tau ^{**}=\tau ^{*}\). \(\square \)
Conclusion
In this paper, first of all, we introduce the notion of Pythagorean fuzzy topological space which extends the notions of both fuzzy topological space and intuitionistic fuzzy topological space. Then, we define the image and pre-image of Pythagorean fuzzy subsets of a function’s domain and co-domain, respectively. We also obtain some properties of these notions. Using the notions of image and pre-image, we introduce the Pythagorean fuzzy continuity of a function defined between two Pythagorean fuzzy topological spaces and we characterize Pythagorean fuzzy continuity of functions. We also prove that one can obtain a Pythagorean fuzzy topological space on a non-empty set using the concept of Pythagorean fuzzy continuity.
Acknowledgements
We gratefully thank the referees for their valuable comments and suggestions which substantially helped improving the quality of the paper.
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.