An Introduction to Fuzzy Topological Spaces
Abstract: Topology has enormous applications on fuzzy set. An attention can be brought to the mathematicians about these topological applications on fuzzy set by this article. In this research, first we have classified the fuzzy sets and topological spaces, and then we have made relation between elements of them. For expediency, with mathematical view few basic definitions about crisp set and fuzzy set have been recalled. Then we have discussed about topological spaces. Finally, in the last section, the fuzzy topological spaces which is our main object we have developed the relation between fuzzy sets and topological spaces. Moreover, this article has been concluded with the examination of some of its properties and certain relationships among the closure of these spaces.

1. Introduction

Primarily in the area of set theory, fuzzy mathematics differs from conventional mathematics. Fuzzy mathematics had been introduced just few years ago, it is full of topics. It is used widely in many sectors such as, vehicles, traffic system where logic circuit controls anti-skid brakes, transmissions, and other operations. We have discussed in this paper about a set, which is more specified than crisp set. It can take a decision between yes or no, i.e. 1 or 0. Thirty years ago, Black , a philosopher in America, predicted some ideas which are obtainable in this article. The author of  established a hypothesis whose main things fuzzy sets—the sets having borders which are not specific. An influential paper by Zadeh  provided a vital point regarding the development of the up to date ideas of ambiguity.

In this real physical world, it would be better if we are able to study the objects in a classified way. But most often than not, it cannot be done, because the objects do not exist a specifically definite criterion of association. Many illustrations may be written, the group of animals obviously consists of birds, cats, deer, etc. On the other hand, the things like bacteria, virus, starfish, jellyfish, etc., have an uncertain category regarding the animal’s class. The similar type of uncertainty arises for a numerical value like 10 regarding to the “class” of the set of all real values which become higher than 1. Obviously, “the group of the set of all real values which become higher than 1” otherwise “the class of beautiful women” otherwise “the class of tall men,” can not represent sets otherwise groups in the common mathematical logic of these languages. However, the truth continues that such inaccurately called “classes” take part in a vital position in human being thoughts, mainly for the area of prototype abstraction, informative communication and recognition. Research based on the fuzzy sets hypothesis is increasing gradually from the time at the beginning of the hypothesis in mid – 1960S. Now, the concepts and outcomes containing the hypothesis of fuzzy set are relatively remarkable. In addition, various applications based research has been conducted very vigorously and has found more extraordinary outcomes.

For conciseness, the concepts of the definition of topology on fuzzy sets that may be named as topological fuzzy spaces, Chang  confined his attention to the more basic definitions, theorems and proofs. Michálek  identified and analyzed another idea of topological fuzzy space in his paper which was quite different of the classic Chang’s  definition. Lowen  provided profound concepts for the construction of topological fuzzy spaces. He introduced two new functions and served the idea of fuzzy compression for the simplification of topological compression which allowed seeing obviously additional relation amid topological fuzzy spaces and topological spaces. Hutton  continued his study to find the real meaning of the common theorems of topology, and then took a broad view of their proofs. He also developed “pointless” descriptions for structures and properties that depend merely on the Lattice composition of fuzzy sets compilation, but not on its putrefaction. Cheng-Ming  discussed about the product-induced spaces, which is a special fuzzy topological spaces. He showed that each topological fuzzy space is isomorphic topologically by a definite space of topology and also introduced the basic idea of double points and set up a type of fuzzy points neighborhood formation for example the Q-neighborhood, which is very significant conception in topological fuzzy set. Finally he discussed the dilemma of metrization in fuzzy on topological fuzzy spaces in addition to obtain a metrization hypothesis in fuzzy. Zimmermann  in his book presented the detail of fuzzy set theory and their applications. Papageorgiou  introduced several fuzzy topological concepts, fuzzy multifunction and the conception of neighborhood point in fuzzy which is helpful in the learning of common optimization techniques and games in fuzzy. He remarked in his study that common topological point set may be considered as a particular form of topological fuzzy, wherever the entire functions of relationship are only functions of characteristic.

Klir and Yuan  provided the details of the theoretical advances in fuzzy logic and set theory in his book. The author  considered an extensive diversity of usages of both fuzzy logic and sets. Many topological properties for intuitionistic I-topological spaces have been discussed in Lee and Lee  and Yang and Wang . The authors  proved that the accompaniment of any closed set is an open set and the opposite of this statement is also true. They also demonstrated an illustration for computing the exterior, interior, and boundary of Mikania micrantha pedestaled on aerial snaps of Hong Kong landscape. Wenzhong and Kimfung  developed the concept of arithmetical topological fuzzy pedestaled on the closure and interior operators. Next, coherent topological fuzzy is named by these operators. Separation and regularity axioms in fuzzy topology on fuzzy set and their characterizations are defined and studied by Kandil et al. . Moreover, with some necessary examples they investigated some of their basic properties and certain relationship among them. Using a special kind of function Akray  introduced three different fuzzy topological spaces. In this study he discussed compactness, connectedness properties and also provides the necessary and sufficient conditions under which properties some of these spaces coincide. Aygunoglu et al.  investigated the usages of theory of Soft Set on actual life dilemmas and different disciplines. The authors  investigated some of its fundamental properties and concluded that soft fuzzy topology and soft fuzzy theory may be well-matched. Nowadays more advanced studies are happing on the application of fuzzy topological spaces. Chamuah and Chetia  provided a proper description of the arithmetical topological fuzzy pedestaled on the closure and interior operators. They presented in their study an illustration for computing exterior and interior boundaries of India’s flood influenced regions

To complete the study, first we discussed the concepts of fuzzy sets in Section 2, then we discussed topological space in Section 3, and in Section 4 we mainly classify fuzzy topological spaces, which is our main object. For this we have discussed some important definitions and related theorems. To complete the Section 2 we have used the following references  , and to complete the Section 3 we have used the following references   .

Finally, we deal with the topics of topological fuzzy spaces. In this research, the definition and concept of topological fuzzy spaces with examples, closure topological fuzzy spaces, consequent properties of closure operator with proof and theorem, interior of topological fuzzy spaces, fuzzy points, neighborhood of topological fuzzy spaces with example, and corresponding theorem, inverse function of a topological fuzzy spaces, continuous function of a topological fuzzy spaces, and corresponding theorem have been discussed. We also discussed about dense, base, subbase of topological fuzzy spaces with example and lastly Hausdroff fuzzy topological spaces and their theorem. We also have showed some related theorem of these topics.

2. FuzzySets

Fuzzy set is the more universal concept of classical set which is an impending tool for handling indistinctness and uncertainties. It is typically characterized in the form of membership function, whereas a membership function is characterized by the universal set $\stackrel{˜}{U}$ to the set ranging between 0 & 1.

More exclusively, let $I=\left[0,1\right]$ be the unit interval and X be a null set, where x be any particular element in X. Subsequently, a function $\mu :X\to I$, where $x\to \mu \left(x\right)$ is described as fuzzy set in X. Where, $\mu \left(x\right)$ is defined as the “Grade of membership of $x\in X$ in $\mu$

Example 1:

In the example three consequences fuzzy sets are explain that stand for the perception of very young, young and middle-age person in a country which also mentioned graphically in Figure 1. The membership functions $\alpha ,\beta$ and $\chi$ are stand for these concepts defined on the interval [0, 50] as follows:

$\alpha \left(x\right)=\left\{\begin{array}{l}1,\text{when}x\le 15\\ \left(25-x\right)/10,\text{when}15

$\beta \left(x\right)=\left\{\begin{array}{l}0,\text{when}x\le 15\text{\hspace{0.17em}}\text{or}\text{\hspace{0.17em}}x>40\\ \left(x-15\right)/10,\text{when}15 and

$\chi \left(x\right)=\left\{\begin{array}{l}0,\text{when}x\le 35\\ \left(x-35\right)/10,\text{when}35

2.1. Some Definitions

2.1.1. Crisp Set

Crisp set is a group of objects that define the precious and definite feature which employs bi-valued (yes/no) logic. That is whether each particular element can either within or not belong to a set S, $S\subseteq X$ It is mainly a classical set which is label by a special type of fuzzy sets. Crisp set can be denoted by

${\chi }_{S}:X\to \left\{0,1\right\}$

Example:

The set of teenagers is an example of crisp set.

Figure 1. Fuzzy sets.

2.1.2. Classical Set

A collection of individual object identified as the member or elements of the set that can be distinguished from one another and which follows some basic property is known as classical set. It is defined in such a way that, each element of the set is spitted either member or non-member groups. i.e. for a set A either $a\in A$ or $a\notin A$. There is no chance of existence of partial membership.

Example:

For instance, $2\in \left\{1,2,3,4,5,7,9\right\}$, and $5\notin \left\{1,2,3\right\}$.

2.1.3. Characteristic Function of Crisp Sets

Suppose the set of universal set is denoted by X and S is the subset of X, i.e. $\varphi$. Then for each $x\in X$ its characteristic function is denoted by ${\lambda }_{S}$ or ${1}_{S}$ is defined as,

${1}_{S}\left(x\right)={\lambda }_{S}\left(x\right)=\left\{\begin{array}{l}0;\text{if}\text{\hspace{0.17em}}x\notin S\\ 1;\text{if}\text{\hspace{0.17em}}x\in S\end{array}$

i.e. when ${\lambda }_{S}\left(x\right)=1⇒x\in S$, and ${\lambda }_{S}\left(x\right)=0⇒x\notin S$.

Figure 2 show the graphical representation of the above example.

2.1.4. Characteristic Function of the Complement

For a set S the complement of the characteristic function is denoted by ${1}_{\stackrel{¯}{S}}$ or ${\lambda }_{\stackrel{¯}{S}}$ and for each $x\in X$ defined as

${1}_{\stackrel{¯}{S}}\left(x\right)=1-{1}_{\stackrel{¯}{S}}\left(x\right)=\left\{\begin{array}{l}0,\text{if}\text{\hspace{0.17em}}x\in S\\ 1,\text{if}\text{\hspace{0.17em}}x\notin S\end{array}$

Example:

Let ${1}_{\stackrel{¯}{S}}\left(x\right)=\left\{\begin{array}{l}1,\text{if}\text{\hspace{0.17em}}3\le x\le 10\\ 0,\text{otherwise}\end{array}$

Therefore,

${1}_{\stackrel{¯}{S}}\left(x\right)=\left\{\begin{array}{l}0,\text{if}\text{\hspace{0.17em}}3\le x\le 10\\ 1,\text{if}\text{\hspace{0.17em}}0\le x<3\text{\hspace{0.17em}}\text{ }\text{or}\text{\hspace{0.17em}}\text{ }10

Figure 3 express the graphical representation of the above example

2.1.5. Characteristic Functions (Union and Intersection)

Let P and $X=\left\{1,2,3,4,5\right\}$ be two sets, the characteristic functions of the union and intersection are denoted by ${1}_{P\cup Q}$ and ${1}_{P\cap Q}$ can also be obtain by pertaining the formulas:

${1}_{P\cup Q}\left(x\right)=\mathrm{max}\left[{1}_{P}\left(x\right),{1}_{Q}\left(x\right)\right]$ & ${1}_{P\cap Q}\left(x\right)=\mathrm{min}\left[{1}_{P}\left(x\right),{1}_{Q}\left(x\right)\right]$, respectively.

Example:

Let, $P=\left\{x:5\le x\le 15\right\}$, $Q=\left\{x:10\le x\le 20\right\}$

$\therefore$ ${1}_{P}\left(x\right)=\left\{\begin{array}{l}1,\text{if}\text{\hspace{0.17em}}\text{5}\le x\le \text{15}\\ \text{0,otherwise}\end{array}$ & ${1}_{Q}\left(x\right)=\left\{\begin{array}{l}1,\text{if}\text{\hspace{0.17em}}\text{10}\le x\le \text{20}\\ \text{0,otherwise}\end{array}$

So, ${1}_{P\cup Q}\left(x\right)=\left\{\begin{array}{l}1,\text{when5}\le x\le \text{10}\\ \text{0,otherwise}\end{array}$ & ${1}_{P\cap Q}\left(x\right)=\left\{\begin{array}{l}1,\text{when10}\le x\le \text{15}\\ \text{0,otherwise}\end{array}$

Figure 4 displays the graphical representation of the above example

Figure 2. Where “0” and “1” denote excluded and included values respectively.

Figure 3. Characteristic function of the complement.

Figure 4. Characteristic function of ${1}_{A\cap B}$ and ${1}_{A\cup B}$ respectively.

2.2. Standard Fuzzy Operations

The most three operations that has a special significance in fuzzy set theory are t.

1) union 2) intersection and, 3) complement.

These can be generalized to fuzzy sets in many ways.

2.2.1. Standard Fuzzy Union and Intersection

Let A and B be two fuzzy set which is defined on X, where X defined the universal set.

Then, the standard fuzzy union of A and B, denoted by $A\vee B$ and can be described as

${\mu }_{A\cup B}=\mathrm{max}\left[{\mu }_{A}\left(x\right),{\mu }_{B}\left(x\right)\right]$, for all $x\in X$.

where, “max” indicates for maximum value.

and for the set A and B the standard fuzzy intersection is denoted by $A\wedge B$ is defined by via the formula,

${\mu }_{A\cap B}=\mathrm{min}\left[{\mu }_{A}\left(x\right),{\mu }_{B}\left(x\right)\right]$, for all $x\in X$.

where, “min” stands for minimum value.

2.2.2. Standard Fuzzy Complement

If A is any fuzzy set which is defined on a universal set X, then its complement denoted by $\stackrel{¯}{A}$ is another fuzzy set on X. So, the membership function of the complement of the fuzzy set A is symbolized by ${\mu }_{A}:X\to \left[0,1\right]$ and described as

${\mu }_{\stackrel{¯}{A}}=1-{\mu }_{A}\left(x\right),\text{ }\forall \text{\hspace{0.17em}}x\in X$

Example:

To demonstrate the significance of this definition, let us consider the fuzzy set B of experienced postgraduate students, whose membership function is given in Figure 5.

3. TopologicalSpace

Topology which is a basic mathematical discipline and whose name was not coined until 1930s has now its influence on many branches of pure mathematics especially geometry and analysis and some of the applied too. We have just used the word topology in its primary sense, as the name of a branch of mathematics. This word derives from two Greek words, and its literal meaning is “the science of position”. In recent times for both graduate and undergraduate students, general topology has become a crucial part in Mathematics. For some time now, topology has been firmly established as one of the basic disciplines of pure mathematics. It has also deeply stimulated the abstract algebra and fuzzy mathematics.

3.1. Basic Ideas and Definitions

Suppose X be a non empty set, a class $\tau$ which is a subset of X is defined a topology if it satisfies the following conditions:

(i) X and $\phi$ belong to $\tau$.

(ii) The union and intersection of any number of sets in $\tau$ belongs to $\tau$.

Figure 5. The set of experienced undergraduate students and its complement.

The pair $\left(X,\tau \right)$ is called a topological space and the number of $\tau$ are described as $\tau$ -open sets in X.

Example:

For any subsets of $X=\left\{1,2,3,4,5\right\}$.

$\begin{array}{l}{\tau }_{1}=\left\{X,\phi ,\left\{1\right\},\left\{3,4\right\},\left\{1,3,4\right\},\left\{2,3,4,5\right\}\right\}\\ {\tau }_{2}=\left\{X,\phi ,\left\{1\right\},\left\{3,4\right\},\left\{1,3,4\right\},\left\{2,3,4\right\}\right\}\\ {\tau }_{3}=\left\{X,\phi ,\left\{1\right\},\left\{3,4\right\},\left\{1,3,4\right\},\left\{1,2,4,5\right\}\right\}\end{array}$

We noticed that ${\tau }_{1}$ is a topology on X but ${\tau }_{2}$ and ${\tau }_{3}$ is not a topology on X. Since ${\tau }_{1}$ satisfies the necessary two conditions (i), and (ii) where as the union $\left\{1,3,4\right\}\left\{2,3,4\right\}=\left\{1,2,3,4\right\}$ does not belong to ${\tau }_{2}$ and the intersection $\left\{1,3,4\right\}\left\{1,2,4,5\right\}=\left\{1,4\right\}$ of two sets in ${\tau }_{3}$ does not belong to ${\tau }_{3}$ i.e. ${\tau }_{2}$ and ${\tau }_{3}$ does not satisfy the condition (ii).

Discrete topology

Assume X be a nonempty set. Then the group of all subsets including the empty set, of X, known as Power set $P\left(X\right)$ is a topology on X and is define as discrete topology.

Example:

If $X=\left\{p,q\right\}$, and $\tau =\left\{X,\left\{p\right\},\left\{q\right\}\right\}$.

Then $\tau$ is discrete topology on X.

Indiscrete topology

For any non empty set X the collection of set consisting $\varphi$ and X is a topology on X, is defined as indiscrete topology.

Example:

Let, $X=\left\{p,q,r\right\}$ then $\tau =\left\{X,\varphi \right\}$ is a topology on X and is known as indiscrete topology.

3.2. Interior, Exterior and Boundary Points

For a open set $x\in E\subseteq B$ a point $x\in B$ is an interior point iff $x\in E\subseteq B$ which is denoted by $x\in E\subseteq B$ int(B) where B is a subset of topological space. The interior of ${B}^{C}$ is known as the exterior of B and is denoted by ext. The point which is interior nor an exterior of B is known as boundary point of B.

i.e. bd(B) = Complement of (int(B) $\cup$ ext(B)).

3.3. Closure of a Set

The intersection of all closed super sets of B is denoted by $\stackrel{¯}{B}$ or ${B}^{-}$ is known as closure of B.

Where, $\left(X,\tau \right)$ is the topological space and B is the subset of it. If $\left\{{E}_{i}:i\in I\right\}$, denote the class of all closed subsets of X containing B, then $\stackrel{¯}{B}$ will be the closure of a set B, if

(i) $\stackrel{¯}{B}$ is closed and $B=\stackrel{¯}{B}$.

(ii) if E is a closed super set of B, then $B\subset \stackrel{¯}{B}\subset E$.

Properties of closure operator

For any topological space $\left(X,\tau \right)$ if P and Q be two arbitrary subsets of X, then the operation of forming closures hold the following four properties:

(i) $\stackrel{¯}{\phi }=\phi$ ;

(ii) $P\subseteq \stackrel{¯}{P}$ ;

(iii) $\stackrel{¯}{\stackrel{¯}{P}}=\stackrel{¯}{P}$ ;

(iv) $\stackrel{¯}{P\cup Q}=\stackrel{¯}{P}\cup \stackrel{¯}{Q}$.

3.4. Homomorphism Topological Spaces

A continuous one–to-one mapping of a topological space onto another is defined to be homomorphic if there exist a homeomorphism of X onto Y and their points can be set into one-to-one correspondence in such a manner that their open sets also correspond to one another.

4. Fuzzy Topological Spaces

The perception of Fuzzy set theory bring in  provides us a wider structure compared to classical set theory which generalize various concepts of topology. Fuzzy topology merges ordered structure to the topological structure. From the point of pure mathematics, this branch of mathematics was first proposed by enormous Mathematician Ehrenman who encompasses the two most active features of topology on lattice, which affect each other. Chang  had introduced first the notation of Fuzzy topology. Later on, numerous of researchers continued the study in this area. We observed that fuzzy topology is consider as special case of general point set topology, where membership functions are presently by characteristic functions.

4.1. Basic Definitions

In the past, the leading attempt to build up the fuzzy counterpart of basic topology was commenced by Chang  in 1968. From the point of Chang, on a set X a fuzzy topology is a family $F=\left\{\mu :\mu \text{isfuzzysetin}X\right\}$ of fuzzy subsets (i.e. $F\in {I}^{X}$ ) that satisfies the following three axioms:

(i) $0,1\in F$ ;

(ii) ${\mu }_{1},{\mu }_{2}\in F$, then ${\mu }_{\text{1}}\wedge {\mu }_{2}\in F$ ;

(iii) If $\left\{{\mu }_{i}:i\in j\right\}\subset F$, where j denotes an index set, then $\underset{J}{\vee }\text{ }{\mu }_{i}\in F$ ;

F is described as a fuzzy topology for X and the pair $\left(X,F\right)$ is named as a fuzzy topological space or in short f.t.s. The members of F are defined as F-open fuzzy set. If the complement of $\rho$, denoted by ${\rho }^{C}$, is F-open then an element $\rho \in {\left[0,1\right]}^{X}$ is said to be a closed fuzzy set.

Indiscrete Fuzzy topology

The same as in general fuzzy topology, the indiscrete fuzzy topology contains only fuzzy sets 0 and 1.

Example 1:

Indiscrete fuzzy topological $\left(X,F\right)$, $F=\left\{\rho \in {I}^{X}:\alpha \text{constantfuzzyset}\right\}$

i.e. for all, $\rho \in F$, if $\rho =\text{constant}$

Then, $\rho \left(x\right)=0\text{,}\text{\hspace{0.17em}}\forall x$

$\rho \left(x\right)=1,\text{\hspace{0.17em}}\forall x$

Wherever, ${I}^{X}$ is the fuzzy set on X.

Discrete fuzzy topology

Discrete fuzzy topology is the set that included all the fuzzy sets.

Example 2:

$\begin{array}{l}X=\left\{x,y,z\right\},\text{}\alpha =\left(0.8,0.9,0.7\right),\text{}\beta =\left(0.6,0.5,0.4\right),\\ \delta =\left(0.3,0.3,0.2\right)\text{\hspace{0.17em}}\text{ }\text{and}\text{\hspace{0.17em}}\text{ }F=\left\{0,\alpha ,\beta ,\delta ,1\right\}.\end{array}$

Now,

$\begin{array}{l}\alpha \wedge \beta =\left(0.8,0.9,0.7\right)\wedge \left(0.6,0.5,0.4\right)=\left(0.6,0.5,0.4\right)=\beta \in F\\ \alpha \wedge \delta =\left(0.8,0.9,0.7\right)\wedge \left(0.3,0.3,0.2\right)=\left(0.3,0.3,0.2\right)=\delta \in F\\ \beta \wedge \delta =\left(0.6,0.5,0.4\right)\wedge \left(0.3,0.3,0.2\right)=\left(0.3,0.3,0.2\right)=\delta \in F\end{array}$

And $\begin{array}{l}\alpha \vee \beta =\left(0.8,0.9,0.7\right)\vee \left(0.6,0.5,0.4\right)=\left(0.8,0.9,0.7\right)=\alpha \in F\\ \alpha \vee \delta =\left(0.8,0.9,0.7\right)\vee \left(0.3,0.3,0.2\right)=\left(0.8,0.9,0.7\right)=\alpha \in F\\ \beta \vee \delta =\left(0.6,0.5,0.4\right)\vee \left(0.3,0.3,0.2\right)=\left(0.6,0.5,0.4\right)=\beta \in F\end{array}$

Also

$\begin{array}{c}\alpha \vee \beta \vee \delta =\left(0.8,0.9,0.7\right)\vee \left(0.6,0.5,0.4\right)\vee \left(0.3,0.3,0.2\right)\\ =\left(0.8,0.9,0.7\right)\\ =\alpha \in F\end{array}$

It is obvious $0,1\in F$.

Therefore, $\left(X,F\right)$ is a fuzzy topological space.

Example 3:

Consider X be an abstract set equipped with the family ${F}_{1}$ of fuzzy sets, where ${F}_{\text{1}}=\left\{\upsilon :\upsilon \left(x\right)\ge \frac{1}{2},\forall x\in X\right\}\cup \left\{\alpha :\alpha \text{constant}<\frac{\text{1}}{\text{2}}\right\}$

Then from the properties of fuzzy topological space

(i) $0,1\in {F}_{1}$ ;

(ii) if ${\rho }_{1},{\rho }_{2}\in {F}_{1}$ ; then ${\rho }_{\text{1}}\left(x\right)\wedge {\rho }_{1}\left(x\right)$ $⇒\left({\rho }_{1}\wedge {\rho }_{2}\right)\left(x\right)\ge \frac{1}{2}$ $⇒\left({\rho }_{1}\wedge {\rho }_{2}\right)\in {F}_{1}$

i.e. finite intersection belongs to ${F}_{1}$.

(iii) ${\rho }_{i}\in F$, $\forall i\in j$, where j denotes an index set.

so, $\underset{i\in j}{\vee }\text{ }{\rho }_{i}\ge \frac{1}{2}\in {F}_{1}$

Hence, we conclude that the pair $\left(X,F\right)$ is a topological space.

4.2. Closure Fuzzy Topological Space

For any $\mu$ the closure of fuzzy topological space is denoted by $\stackrel{¯}{\mu }$ and is defined as the smallest closed fuzzy set that containing $\mu$.

Equivalent $\stackrel{¯}{\mu }$ is defined as following way:

$\stackrel{¯}{\mu }=\left\{\alpha :\alpha \text{is}F\text{-closedand}\alpha \ge \mu \right\}$

Obviously, then $\stackrel{¯}{\mu }$ is always F-close.

Now we have discussed and proved some properties of Fuzzy closure operators.

Properties of Closure Operator

A map $\mu \to \stackrel{¯}{\mu }$ from ${\left[0,1\right]}^{X}$ into ${\left[0,1\right]}^{X}$ is said to be a closure operation if for all $\mu ,\lambda \in {\left[0,1\right]}^{X}$ it satisfies the four list of properties:

(i) $\mu \le \stackrel{¯}{\mu }$ ;

(ii) $\stackrel{¯}{\stackrel{¯}{\mu }}\le \stackrel{¯}{\mu }$ (i.e. the closure operation is idempotent);

(iii) $\stackrel{¯}{\mu \vee \lambda }=\stackrel{¯}{\mu }\vee \stackrel{¯}{\lambda }$ ;

(iv) $\stackrel{¯}{0}=\text{0}$ ;

Proof (i):

From the definition of closure operator we know,

$\stackrel{¯}{\mu }=\wedge \left\{\upsilon \text{:}\upsilon \text{closed&}\upsilon \ge \mu \right\}$.

Thus, $\mu \le \stackrel{¯}{\mu }$.

Proof (ii):

Since $\stackrel{¯}{\stackrel{¯}{\mu }}$ is the smallest closed set containing $\stackrel{¯}{\mu }$ and $\stackrel{¯}{\mu }$ itself is closed,

Then, $\stackrel{¯}{\stackrel{¯}{\mu }}=\stackrel{¯}{\mu }$.

Proof (iii):

Clearly $\stackrel{¯}{\alpha }\vee \stackrel{¯}{\beta }$ is closed.

Again,

$\begin{array}{l}\stackrel{¯}{\alpha }\vee \stackrel{¯}{\beta }\ge \alpha \vee \beta \\ ⇒\stackrel{¯}{\stackrel{¯}{\alpha }\vee \stackrel{¯}{\beta }}\ge \stackrel{¯}{\alpha \vee \beta }\\ ⇒\stackrel{¯}{\alpha }\vee \stackrel{¯}{\beta }\ge \stackrel{¯}{\alpha \vee \beta }\end{array}$ (1)

[Since $\stackrel{¯}{\alpha }\vee \stackrel{¯}{\beta }$ is closed, so $\stackrel{¯}{\stackrel{¯}{\alpha }\vee \stackrel{¯}{\beta }}=\stackrel{¯}{\alpha }\vee \stackrel{¯}{\beta }$ ]

Again,

$\begin{array}{l}\alpha \vee \beta \ge \alpha \\ ⇒\stackrel{¯}{\alpha \vee \beta }\ge \stackrel{¯}{\alpha }\end{array}$ (a)

Similarly, $\stackrel{¯}{\alpha \vee \beta }\ge \stackrel{¯}{\beta }$ (b)

From (a) and (b) we have,

$\stackrel{¯}{\alpha \vee \beta }\ge \stackrel{¯}{\alpha }\vee \stackrel{¯}{\beta }$ (2)

So from (1) and (2), we have,

$\stackrel{¯}{\alpha }\vee \stackrel{¯}{\beta }=\stackrel{¯}{\alpha \vee \beta }$.

Proof (iv):

Since the whole space $1\in F$ is open, then its complement i.e. ${1}^{C}=0$, is closed

Also, $\stackrel{¯}{0}$ is closed.

So, we can write $\stackrel{¯}{0}=0$.

Definition. Fuzzy topology generated by closure operator is denoted by ${F}_{X}$ and is define by

${F}_{X}=\left\{\mu \in {\left[0,1\right]}^{X}:\stackrel{¯}{1-\mu }=1-\mu \right\}$,

Then $\left(X,{F}_{X}\right)$ is called closure of fuzzy topological space (f.t.s.) generated by closure operator.

Theorem 4.1

Suppose $\alpha ,\beta$ are fuzzy sets in X and $\left(X,F\right)$ is a fuzzy topological space. Then prove that $\stackrel{¯}{\alpha }\wedge \stackrel{¯}{\beta }=\stackrel{¯}{\alpha \wedge \beta }$.

Proof:

Clearly, $\stackrel{¯}{\alpha }\wedge \stackrel{¯}{\beta }$ is open. Again,

$\begin{array}{l}\stackrel{¯}{\alpha }\wedge \stackrel{¯}{\beta }\le \alpha \wedge \beta \\ ⇒\stackrel{¯}{\stackrel{¯}{\alpha }\wedge \stackrel{¯}{\beta }}\le \stackrel{¯}{\alpha \wedge \beta }\\ ⇒\stackrel{¯}{\alpha }\wedge \stackrel{¯}{\beta }\le \stackrel{¯}{\alpha \wedge \beta }\end{array}$ (3)

Again,

$\begin{array}{l}\alpha \wedge \beta \le \alpha \\ ⇒\stackrel{¯}{\alpha \wedge \beta }\le \stackrel{¯}{\alpha }\end{array}$ (4)

Similarly, $\stackrel{¯}{\alpha \wedge \beta }\le \stackrel{¯}{\beta }$ (5)

From (4) and (5) we have,

$\stackrel{¯}{\alpha \wedge \beta }\le \stackrel{¯}{\alpha }\wedge \stackrel{¯}{\beta }$ (6)

From (3) and (6), we have,

$\stackrel{¯}{\alpha }\wedge \stackrel{¯}{\beta }=\stackrel{¯}{\alpha \wedge \beta }$.

4.3. Interior of a Fuzzy Topological Space

The smallest superior bound of all interior fuzzy sets of $\mu$ is called the interior of $\mu$, and is denoted by ${\mu }^{\circ }$.evidently, ${\mu }^{\circ }\in {F}^{X}$. So, ${\mu }^{\circ }$ is F-open.

Suppose $\left(X,F\right)$ be a fuzzy topological space and $I=\left[0,1\right]$, and $\mu ,\lambda \in {\left[0,1\right]}^{X}$ where $\mu \ge \lambda$. Then $\lambda$ is defined as an interior fuzzy set of $\mu$ iff for $\rho \in {F}_{X}$ such that $\mu \ge \rho \ge \lambda$.

Theorem 4.2

Assume $\left(X,F\right)$ be a fuzzy topological space. Then

(i) ${0}^{\circ }=0,{\text{1}}^{\circ }=1$

(ii) ${\mu }^{\circ }\le \mu$

(iii) ${\mu }^{\circ \circ }={\mu }^{\circ }$

(iv) ${\left(\mu \wedge \upsilon \right)}^{\circ }={\mu }^{\circ }\wedge {\upsilon }^{\circ }$

Proof (i):

Since, the interior of any set joining of all open subset contained in this set.

Now, the empty set 0 and the whole space 1 of an f.t.s. is open.

Thus ${0}^{\circ }=0{\text{,1}}^{\circ }=1$.

Proof (ii):

From the definition of interior of a set $\mu$, the combination of all open subsets included in $\mu$, denoted by ${\mu }^{\circ }$, i.e.

${\mu }^{\circ }=\vee \left\{\upsilon \text{open&}\upsilon \le \mu \right\}$

Hence we conclude ${\mu }^{\circ }\le \mu$.

Proof (iii):

Since ${\mu }^{\circ }$ itself is open and ${\mu }^{\circ \circ }$ is the greatest open set contained in ${\mu }^{\circ }$.

So evidently, ${\mu }^{\circ \circ }={\mu }^{\circ }$ (Proved).

Proof (iv):

Since ${\left(\mu \wedge \lambda \right)}^{\circ }\le {\mu }^{\circ }$ and

${\left(\mu \wedge \lambda \right)}^{\circ }\le {\lambda }^{\circ }$

So,

${\left(\mu \wedge \lambda \right)}^{\circ }\le {\mu }^{\circ }\wedge {\lambda }^{\circ }$ (7)

On the other hand,

${\mu }^{\circ }\wedge {\lambda }^{\circ }\le \mu \wedge \lambda$, of which the open set ${\mu }^{\circ }\wedge {\lambda }^{\circ }$ hold in $\mu \wedge \lambda$ ;

Hence, ${\mu }^{\circ }\wedge {\lambda }^{\circ }$ must be contained in the largest open set ${\left(\mu \wedge \lambda \right)}^{\circ }$

i.e. ${\mu }^{\circ }\wedge {\lambda }^{\circ }\le {\left(\mu \wedge \lambda \right)}^{\circ }$ (8)

From (7) and (8) we conclude that

${\left(\mu \wedge \lambda \right)}^{\circ }={\mu }^{\circ }\wedge {\lambda }^{\circ }$ (Proved).

Theorem 4.3

Assume $\alpha$ and $\beta$ be two fuzzy sets in an f.t.s.. Then ${\alpha }^{\circ }\vee {\beta }^{\circ }={\left(\alpha \vee \beta \right)}^{\circ }$.

Proof:

${\alpha }^{\circ }$ is open and ${\beta }^{\circ }$ is open .

So ${\alpha }^{\circ }=\alpha$, and ${\beta }^{\circ }=\beta$.

Therefore ${\alpha }^{\circ }\vee {\beta }^{\circ }=\left(\alpha \vee \beta \right)$

Then, ${\left({\alpha }^{\circ }\vee {\beta }^{\circ }\right)}^{\circ }={\left(\alpha \vee \beta \right)}^{\circ }$ Again, ${\alpha }^{\circ }\vee {\beta }^{\circ }$ is open, so ${\left({\alpha }^{\circ }\vee {\beta }^{\circ }\right)}^{\circ }={\alpha }^{\circ }\vee {\beta }^{\circ }$

Therefore, ${\alpha }^{\circ }\vee {\beta }^{\circ }={\left(\alpha \vee \beta \right)}^{\circ }$

Hence, ${\alpha }^{\circ }\vee {\beta }^{\circ }={\left(\alpha \vee \beta \right)}^{\circ }$ (Proved).

4.4. Boundary of Fuzzy Topological Space

For $\mu \in {\left[0,1\right]}^{X}$, the fuzzy boundary is denoted by ${\mu }^{b}$ is define to be the minimum of all F-closed sets $\rho$ with the property $\rho \left(x\right)\ge \stackrel{¯}{\mu }\left(x\right)$, $\forall x\in X$ for which we have $\left[\stackrel{¯}{\mu }\wedge \left(1-\mu \right)\right]\left(x\right)>0$.

Obviously, ${\mu }^{b}$ is F-closed and ${\mu }^{b}\le \stackrel{¯}{\mu }$

Fuzzy point

For any fuzzy set, ${\mu }_{\beta }\in {\left[0,1\right]}^{X}$, fuzzy point is described as,

${\mu }_{\beta }\left(x\right)=\left\{\begin{array}{l}\beta \text{if}\text{\hspace{0.17em}}x\text{}={x}_{\circ }\\ 0\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{otherwise}\end{array}$

${x}_{\circ }$ is the support of the fuzzy point ${\mu }_{\beta }$.

4.5. Neighborhood of Fuzzy Topological Space

Suppose $\left(X,F\right)$ be a fuzzy topological space, if $\mu ,\lambda \in {\left[0,1\right]}^{X}$ and $\mu \ge \lambda$ then $\mu$ is said to be a fuzzy neighborhood (in short n.b.d) of $\lambda$ if there is a $\gamma \in {F}_{X}$ so that $\mu \ge \gamma \ge \lambda$. Example:

We know if $\left(X,F\right)$ is a fuzzy topological space, and $\alpha ,\beta \in F$, then $\beta$ is called fuzzy n.b.d. of $\alpha$ if and only if $\alpha \le \beta$.

Now, let

$\begin{array}{l}X=\left\{u,v,w\right\},\text{\hspace{0.17em}}F=\left\{0,1,\alpha ,\beta ,\gamma \right\},\text{\hspace{0.17em}}\alpha =\left(0.5,0.3,0.2\right),\\ \beta =\left(0.7,0.1,0\right),\text{\hspace{0.17em}}\gamma =\left(0.5,0.1,0\right).\end{array}$

$\begin{array}{l}{F}_{1\alpha }\equiv \left(0.5,0.1,0.1\right)\le \alpha \\ {F}_{2\alpha }\equiv \left(0.0,0.3,0.0\right)\le \alpha \\ {F}_{3\alpha }\equiv \left(0.0,0.0,0.2\right)\le \alpha \end{array}$

where ${F}_{1\alpha },{F}_{2\alpha }$ and ${F}_{3\alpha }$ denote fuzzy points.

Here, ${F}_{1\alpha }\vee {F}_{2\alpha }\vee {F}_{3\alpha }=\alpha$, but ${F}_{1\alpha }\vee {F}_{2\alpha }\vee {F}_{3\alpha }\ne \beta$.

Also since,

$\begin{array}{l}{F}_{1\alpha }\le \beta \\ {F}_{2\alpha }\le \beta \\ {F}_{3\alpha }\le \beta \end{array}$

So, we conclude that $\alpha \le \beta$.

Therefore $\beta$ is a fuzzy n.b.d. of $\alpha$.

4.6. Continuous Function of a Fuzzy Topological Space

Suppose $\left(X,{F}_{1}\right)$ and $\left(Y,{F}_{2}\right)$ be two fuzzy topological space and let $F:\left(X,{F}_{1}\right)\to \left(Y,{F}_{2}\right)$ be a function from X into F. Then F is said to be continuous at a point $x\in X$ if the inverse image ${F}^{-1}\left(\upsilon \right)$ of all ${F}_{2}$ open subset $\upsilon$ of Y is a F such that ${F}^{-1}\left(\upsilon \right)\in {F}_{1}$. Figure 6 displays the continuous open fuzzy set.

Theorem 4.5

Let $\left(X,{F}_{1}\right)$ and $\left(Y,{F}_{2}\right)$ be two fuzzy topological spaces. Then a function $F:\left(X,{F}_{1}\right)\to \left(Y,{F}_{2}\right)$

is continuous if

$F\left(\stackrel{¯}{\mu }\right)\le \stackrel{¯}{F\left(\mu \right)}$ for all $\mu \in {I}^{Y}$.

Figure 6. Continuous Open fuzzy set.

Proof:

Let ${\mu }_{1}\in {I}^{Y}$ be such that ${\mu }_{1}^{C}\in {F}_{2}$ and put $\mu ={F}^{-1}\left({\mu }_{1}\right)$, then

$F\left(\stackrel{¯}{\mu }\right)\le \stackrel{¯}{F\left(\mu \right)}=\stackrel{¯}{F\left({F}^{-1}\left({\mu }_{1}\right)\right)}\le \stackrel{¯}{{\mu }_{1}}={\mu }_{1}$ So, But $\stackrel{¯}{\mu }$ is such that $\mu \le \stackrel{¯}{\mu }$.

So, $\mu =\stackrel{¯}{\mu }$ and $\mu$ is closed,

I.e. ${F}^{-1}\left({\mu }_{1}\right)$ is closed,

I.e. F is continuous

Conversely, let f is fuzzy continuous. We must show that for any $\mu \in {I}^{X}$. $F\left(\stackrel{¯}{\mu }\right)\le \stackrel{¯}{F\left(\mu \right)}$

We know that

$F\left(\stackrel{¯}{\mu }\right)=\mathrm{inf}\left\{\upsilon \in {I}^{Y}:{F}^{-1}\left(\upsilon \right)\ge \stackrel{¯}{\mu }\right\}$

and $\stackrel{¯}{F\left(\mu \right)}=\mathrm{inf}\left\{\xi \in {I}^{Y}:{\xi }^{C}\in {F}_{2},\xi \ge F\left(\mu \right)\right\}$

It suffices to prove that for all $\xi \in {I}^{Y}$ such that ${\xi }^{C}\in {F}_{2}$ and $\xi \ge F\left(\mu \right)$, there exists $\upsilon \in {I}^{Y}$ such that ${F}^{-1}\left(\upsilon \right)\ge \stackrel{¯}{\mu }$ and $\xi \ge \upsilon$.

Let, $\xi \in {I}^{Y}$ be such that $\xi \ge \upsilon$ and $\xi \ge F\left(\mu \right)$.

Put $\upsilon =\xi$, then $\xi \ge \upsilon$ and ${f}^{-1}\left(\xi \right)\ge {F}^{-1}\left(f\left(\mu \right)\right)\ge \mu$ and since ${\xi }^{C}\in {F}_{2}$ and F is fuzzy continuous implies that ${F}^{-1}\left(\xi \right)\ge \stackrel{¯}{\mu }$.

Hence the theorem is proved.

4.7. Homomorphism of Fuzzy Topological Space

Let $F:\left(X,{F}_{1}\right)\to \left(Y,{F}_{2}\right)$ be a function. Then

i) F is called continuous if $\forall \upsilon \in {F}_{2}$, ${F}^{-1}\left(\upsilon \right)\in {F}_{1}$.

ii) F is called open if $\forall \mu \in {F}_{1}$, $F\left(\mu \right)\in {F}_{2}$.

iii) F is called closed if $\forall {F}_{1}$ -closed set $\mu$, $F\left(\mu \right)$ is F2-closed.

iv) F is called homomorphism if F is bijective (i.e. one-one onto) and biconditional. It means that, both f and ${F}^{-1}$ are continuous.

Dense of fuzzy topological spaces

Let $\left(X,F\right)$ be a fuzzy topological space. Some definitions on this space are given below:

Definition 1.

A fuzzy set $\mu$ is said to be fuzzy dense or everywhere dense if and only if $\stackrel{¯}{\mu }=1$.

Definition 2.

A fuzzy set $\mu$ is said to be fuzzy-nowhere dense if and only if ${\left(\stackrel{¯}{\mu }\right)}^{C}=1$.

Example:

$\mathrm{int}\left(\stackrel{¯}{\mu }\right)=0$, that is if the interior of closure of any fuzzy set $\mu$ is empty, then $\mu$ is called nowhere dense in X,

Definition 3.

Any fuzzy set $\mu$ is said to be fuzzy boundary (F-boundary) if and only if $\stackrel{¯}{1-\mu }=1$.

Some Results Obtained from Definitions

(i) If $\lambda \ge \mu$ and $\lambda$ is F-dense then $\mu$ is F-dense too.

Proof:

Since, $\lambda \ge \mu$

$\begin{array}{l}⇒\mu \le \stackrel{¯}{\lambda }\\ ⇒\stackrel{¯}{\mu }\le \stackrel{¯}{\stackrel{¯}{\lambda }}\\ ⇒\stackrel{¯}{\mu }\le \stackrel{¯}{\lambda }\text{}\left[\stackrel{¯}{\stackrel{¯}{\lambda }}=\stackrel{¯}{\lambda }\right]\end{array}$

Since, $\stackrel{¯}{\lambda }=1$, thus $\stackrel{¯}{\mu }=1$.

Thus $\mu$ is F-dense too.

(ii) If $\lambda \le \mu$ and $\mu$ is F-boundary, consequently then $\lambda$ is F-boundary too.

Proof:

Since $\lambda \le \mu$

$\begin{array}{l}⇒1-\lambda \ge 1-\mu \\ ⇒\stackrel{¯}{1-\lambda }\ge \stackrel{¯}{1-\mu }\end{array}$

So, $\stackrel{¯}{1-\mu }=1$, (Since $\mu$ is F-boundary).

Thus, $\stackrel{¯}{1-\lambda }=1$.

Thus, $\lambda$ is F-boundary too

(iii) If $\mu$ is F-nowhere dense and $\mu \ge \lambda$, then $\lambda$ is F-nowhere dense.

Proof:

Given, $\lambda \le \mu$

$\begin{array}{l}\lambda \le \stackrel{¯}{\mu }\\ ⇒1-\lambda \ge 1-\stackrel{¯}{\mu }\\ ⇒\stackrel{¯}{1-\lambda }\ge \stackrel{¯}{1-\stackrel{¯}{\mu }}\end{array}$

Since $\mu$ is F-nowhere dense, which implies $\stackrel{¯}{1-\lambda }=1$, from which we conclude that $\lambda$ is F-nowhere dense.

(iv) If $\mu$ is F-nowhere dense, then so is $\stackrel{¯}{\mu }$.

Proof:

Since $\mu \le \stackrel{¯}{\mu }$

$\begin{array}{l}⇒1-\mu \ge 1-\stackrel{¯}{\mu }\\ ⇒\stackrel{¯}{1-\mu }\ge \stackrel{¯}{1-\stackrel{¯}{\mu }}\\ ⇒\stackrel{¯}{{\mu }^{C}}\ge \stackrel{¯}{{\left(\stackrel{¯}{\mu }\right)}^{C}}\end{array}$ (9)

Since $\mu$ is nowhere dense, so $\stackrel{¯}{{\mu }^{C}}=1$.

Hence from (9) we conclude that $\stackrel{¯}{\mu }$ is F-nowhere dense.

(v) If $\mu \in {\left[0,1\right]}^{X}$ is F-dense and $\lambda \in F$, then $\lambda \le \stackrel{¯}{\mu \wedge \lambda }$.

Proof:

We know from the properties of closure operation

$\mu \wedge \lambda \le \stackrel{¯}{\mu \wedge \lambda }$

Also, $\stackrel{¯}{\mu \wedge \lambda }\le \stackrel{¯}{\mu }\wedge \stackrel{¯}{\lambda }$

Thus,

$\mu \wedge \lambda \le \stackrel{¯}{\mu \wedge \lambda }\le \stackrel{¯}{\mu }\wedge \stackrel{¯}{\lambda }$ (10)

Also,

$\stackrel{¯}{\mu }\wedge \stackrel{¯}{\lambda }\le \stackrel{¯}{\lambda }$ (11)

And we know,

$\stackrel{¯}{\lambda }\ge \lambda$ (12)

Hence, from (10), (11), and (12) we conclude that

$\stackrel{¯}{\mu \wedge \lambda }\ge \lambda$.

Proposition 4.1

If $\mu$ is F-dense then, ${\left(1-\mu \right)}^{\circ }=0$. That is

Proof:

We claim from the definition of interior fuzzy set,

${\left(1-\mu \right)}^{\circ }=1-\stackrel{¯}{\mu }$.

Now,

$\begin{array}{c}1-\stackrel{¯}{\mu }=1-\wedge \left\{\tau :\left(1-p\right)\in F,p\ge \mu \right\}\\ =\vee \left\{\left(1-p\right)\in F:\upsilon \ge \tau \right\}\\ =\vee \left\{\tau \in F:1-\tau \ge \mu \right\}\\ =\vee \left\{\tau \in F:1-\mu \ge \tau \right\}\\ ={\left(1-\mu \right)}^{\circ }\end{array}$

But since $\mu$ is F-dense, so, $\stackrel{¯}{\mu }\equiv 1$.

Hence, $1-\stackrel{¯}{\mu }=0$.

4.8. Base and Subbase of the Fuzzy Topological Spaces

Base

Let $\left(X,F\right)$ be a fuzzy topological space and P is a sub family of F, then P is called a base of F if and only if every member of F can be represent as supremum of member of P.

Example:

Let $X=\left\{x,y\right\}$, and $\alpha ,\beta ,\gamma \in {I}^{X}$, where $\alpha =\left(0.3,0.6\right)$, $\beta =\left(0.7,0.5\right)$, $\gamma =\left(0.7,0.6\right)$ and

$\left(X,F\right)$ be a fuzzy topological space, where $F=\left\{0,1,\alpha ,\beta ,\gamma ,\delta \right\}$ and $B=\left\{0,\alpha ,\beta ,\lambda ,1\right\}$.

Then, $0,\alpha ,\beta ,\gamma$ and 1 are in P.

Now, $\gamma =\left(0.7,0.6\right)=\alpha \vee \beta$

Hence P is a base for F.

Subbase

Suppose $\left(X,F\right)$ is a fuzzy topological space and B is a non empty subset of F, then B is called a subase of F, if and only if the finite intersection of members of B forms a base for F.

Example:

Assume $X=\left\{x,y\right\}$ and $\alpha ,\beta ,\gamma ,\delta \in {I}^{X}$ where, $\alpha =\left(0.2,0.6\right)$, $\beta =\left(0.3,0.5\right)$, $\gamma =\left(0.2,0.5\right)$ and $\delta =\left(0.3,0.6\right)$ and $\delta =\left(0.3,0.6\right)$.

Then $\left(X,F\right)$ is a fuzzy topological space, where $F=\left\{0,1,\alpha ,\beta ,\gamma ,\delta \right\}$ and $B=\left\{\alpha ,\beta \right\}$ is a subbase and $P=\left\{0,1,\alpha ,\beta ,\gamma \right\}$ is a base of F.

4.9. Hausdroff Fuzzy Topological Spaces

An fuzzy topological space $\left(X,F\right)$ is said to be Hausdroff iff $\forall x,y\in X$, $x\ne y$, there exist $\mu ,\lambda \in F$ so that $\mu \left(x\right)=\lambda \left(y\right)=1$ and $\mu \wedge \lambda =0$.

Theorem 4.7

Let $\left(X,F\right)$ is a Hausdroff fuzzy topological space, while $\left(Y,{F}_{1}\right)$ a fuzzy topological space and $F:X\to Y$ is an Fopen bijection, then $\left(Y,{F}_{1}\right)$ is also a Hausdroff fuzzy topological space.

Proof:

Let ${y}_{1},{y}_{2}\in Y$ and ${y}_{1}\ne {y}_{2}$.

Let, ${y}_{1}=f\left({x}_{1}\right)$ and ${y}_{2}=f\left({x}_{2}\right)$. Since by hypothesis $\left(X,F\right)$ is a Hausdroff topological space, then there exist $\mu ,\lambda \in F$ such that $\mu \left({x}_{1}\right)=\lambda \left({x}_{2}\right)=1$ and $\mu \wedge \lambda =0$.

Now, $f\left(\mu \right)$ and $f\left(\lambda \right)$ both belong to F1, since f is an F-open map.

Also $f\left(\mu \wedge \lambda \right)=f\left(\mu \right)\wedge f\left(\lambda \right)=F\left(0\right)=0$.

Finally,

$f\left(\mu \right)\left({y}_{2}\right)=\underset{x\in {f}^{-1}\left({y}_{1}\right)}{\mathrm{sup}}\mu \left(x\right)=1$ and $f\left(\lambda \right)\left({y}_{1}\right)=\underset{x\in {f}^{-1}\left({y}_{2}\right)}{\mathrm{sup}}\lambda \left(x\right)=1$

Which satisfy all the condition of Hausdroff fuzzy topological space.

Hence, indeed $\left(Y,{F}_{1}\right)$ is a Hausdroff fuzzy topological space.

5. Conclusion

Our main aim of this study is to make simple for the reader to understand the relation between the fuzzy set and topological spaces. For that purpose we have attempted to provide more fundamental definition of these two topics. In the fuzzy topological spaces section we have represented definition and provide proved of some theorem. The presented results in this analysis signify that large numbers of the fundamental ideas from general topology may be expanded enthusiastically to topological fuzzy spaces. Even though the fuzzy sets hypothesis belongs in a developing phase, now a days it is undertaken of having spacious precious applications.

Cite this paper: Zahan, I. and Nasrin, R. (2021) An Introduction to Fuzzy Topological Spaces. Advances in Pure Mathematics, 11, 483-501. doi: 10.4236/apm.2021.115034.
References

   Black, M. (1937) Vagueness: An Exercise in Logical Analysis. Philosophy of Science, 4, 427-455. (Reprinted in International Journal of General Systems, 17(2-3), 107-128, 1990)
https://doi.org/10.1086/286476

   Zadeh, L.A. (1965) Fuzzy Sets. Information and Control, 8, 338-353.
https://doi.org/10.1016/S0019-9958(65)90241-X

   Chang, C.L. (1968) Fuzzy Topological Spaces. Journal of Mathematical Analysis and Applications, 24, 182-190.
https://doi.org/10.1016/0022-247X(68)90057-7

   Michálek, J. (1975) Fuzzy Topologies. Kybernetika, 11, 345-354.

   Lowen, R. (1976) Fuzzy Topological Spaces and Fuzzy Compactness. Journal of Mathematical Analysis and Application, 56, 621-633.
https://doi.org/10.1016/0022-247X(76)90029-9

   Hutton, B. (1980) Products of Fuzzy Topological Spaces. Topology and Its Applications, 11, 59-67.
https://doi.org/10.1016/0166-8641(80)90017-6

   Chang, C.L. (1985) Fuzzy Topological Spaces. Journal of Mathematical Analysis and Applications, 110, 141-178.
https://doi.org/10.1016/0022-247X(85)90340-3

   Zimmermann, H.J. (1985) Fuzzy Set Theory and Its Applications. Kluwer, Boston, 11-17.
https://doi.org/10.1007/978-94-015-7153-1_2

   Papageorgiou, N.S. (1985) Fuzzy Topology and Fuzzy Multifunctions. Journal of Mathematical Analysis and Applications, 109, 397-425.
https://doi.org/10.1016/0022-247X(85)90159-3

   Klir, G.J. and Yuan, B. (1995) Fuzzy Sets and Fuzzy Logic: Theory and Applications. Prentice Hall, Hoboken, 1-49.

   Lee, S.J. and Lee, E.P. (2000) The Category of Intuitionistic Fuzzy Topological Spaces. Bulletin of the Korean Mathematical Society, 37, 63-76.

   Yan, C. and Wang, X. (2010) Intuitionistic I-Fuzzy Topological Spaces. Czechoslovak Mathematical Journal, 60, 233-252.
https://doi.org/10.1007/s10587-010-0013-7

   Shi, W.Z. and Liu, K. (2007) A Fuzzy Topology for Computing the Interior, Boundary, and Exterior of Spatial Objects Quantitatively in GIS. Computers & Geosciences, 33, 898-915.
https://doi.org/10.1016/j.cageo.2006.10.013

   Kandil, A., Saleh, S. and Yakout, M.M. (2012) Fuzzy Topology on Fuzzy Sets: Regularity and Separation Axioms. American Academic & Scholarly Research Journal, 4, 1-12.

   Akray, I. (2013) On Fuzzy Topological Spaces Induced by a Given Function. Asian Journal of Fuzzy and Applied Mathematics, 1, 44-50.

   Aygunoglu, A., Cetkin, V. and Aygun, H. (2014) An Introduction to Fuzzy Soft Topological Spaces. Hacettepe Journal of Mathematics and Statistics, 43, 197-208.

   Chamua, H.C. and Chetia, B.C. (2015) Application of Fuzzy Topological Relation in Flood Prediction. International Journal of Computer Applications, 122, 1-3.
https://doi.org/10.5120/21710-4830

   Berge, C. (2010) Topological Spaces. Oliver and Boyd, Edinburg and London, 54-56.

   Simmons, G.F. (1963) Introduction to Topology and Modern Analysis. McGraw-Hill Book Company, Inc., New York, 92-99.

   Lipschotz, S. (2011) General Topology, Schaum’s Outlines. McGraw-Hill Education, New York, 66-90.

Top