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 [1], a philosopher in America, predicted some ideas which are obtainable in this article. The author of [1] established a hypothesis whose main things fuzzy sets—the sets having borders which are not specific. An influential paper by Zadeh [2] 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 [3] confined his attention to the more basic definitions, theorems and proofs. Michálek [4] identified and analyzed another idea of topological fuzzy space in his paper which was quite different of the classic Chang’s [3] definition. Lowen [5] 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 [6] 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 [7] 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 [8] in his book presented the detail of fuzzy set theory and their applications. Papageorgiou [9] 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 [10] provided the details of the theoretical advances in fuzzy logic and set theory in his book. The author [10] 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 [11] and Yang and Wang [12]. The authors [12] 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 [13] 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. [14]. Moreover, with some necessary examples they investigated some of their basic properties and certain relationship among them. Using a special kind of function Akray [15] 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. [16] investigated the usages of theory of Soft Set on actual life dilemmas and different disciplines. The authors [16] 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 [17] 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 [8] [9], and to complete the Section 3 we have used the following references [18] [19] [20].
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
to the set ranging between 0 & 1.
More exclusively, let
be the unit interval and X be a null set, where x be any particular element in X. Subsequently, a function
, where
is described as fuzzy set in X. Where,
is defined as the “Grade of membership of
in
”
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
and
are stand for these concepts defined on the interval [0, 50] as follows:
and
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,
It is mainly a classical set which is label by a special type of fuzzy sets. Crisp set can be denoted by
Example:
The set of teenagers is an example of crisp set.
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
or
. There is no chance of existence of partial membership.
Example:
For instance,
, and
.
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.
. Then for each
its characteristic function is denoted by
or
is defined as,
i.e. when
, and
.
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
or
and for each
defined as
Example:
Let
Therefore,
Figure 3 express the graphical representation of the above example
2.1.5. Characteristic Functions (Union and Intersection)
Let P and
be two sets, the characteristic functions of the union and intersection are denoted by
and
can also be obtain by pertaining the formulas:
&
, respectively.
Example:
Let,
,
&
So,
&
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
and
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
and can be described as
, for all
.
where, “max” indicates for maximum value.
and for the set A and B the standard fuzzy intersection is denoted by
is defined by via the formula,
, for all
.
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
is another fuzzy set on X. So, the membership function of the complement of the fuzzy set A is symbolized by
and described as
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
which is a subset of X is defined a topology if it satisfies the following conditions:
(i) X and
belong to
.
(ii) The union and intersection of any number of sets in
belongs to
.
![]()
Figure 5. The set of experienced undergraduate students and its complement.
The pair
is called a topological space and the number of
are described as
-open sets in X.
Example:
For any subsets of
.
We noticed that
is a topology on X but
and
is not a topology on X. Since
satisfies the necessary two conditions (i), and (ii) where as the union
does not belong to
and the intersection
of two sets in
does not belong to
i.e.
and
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
is a topology on X and is define as discrete topology.
Example:
If
, and
.
Then
is discrete topology on X.
Indiscrete topology
For any non empty set X the collection of set consisting
and X is a topology on X, is defined as indiscrete topology.
Example:
Let,
then
is a topology on X and is known as indiscrete topology.
3.2. Interior, Exterior and Boundary Points
For a open set
a point
is an interior point iff
which is denoted by
int(B) where B is a subset of topological space. The interior of
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)
ext(B)).
3.3. Closure of a Set
The intersection of all closed super sets of B is denoted by
or
is known as closure of B.
Where,
is the topological space and B is the subset of it. If
, denote the class of all closed subsets of X containing B, then
will be the closure of a set B, if
(i)
is closed and
.
(ii) if E is a closed super set of B, then
.
Properties of closure operator
For any topological space
if P and Q be two arbitrary subsets of X, then the operation of forming closures hold the following four properties:
(i)
;
(ii)
;
(iii)
;
(iv)
.
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 [2] 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 [3] 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 [7] in 1968. From the point of Chang, on a set X a fuzzy topology is a family
of fuzzy subsets (i.e.
) that satisfies the following three axioms:
(i)
;
(ii)
, then
;
(iii) If
, where j denotes an index set, then
;
F is described as a fuzzy topology for X and the pair
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
, denoted by
, is F-open then an element
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
,
i.e. for all,
, if
Then,
Wherever,
is the fuzzy set on X.
Discrete fuzzy topology
Discrete fuzzy topology is the set that included all the fuzzy sets.
Example 2:
Now,
And
Also
It is obvious
.
Therefore,
is a fuzzy topological space.
Example 3:
Consider X be an abstract set equipped with the family
of fuzzy sets, where
Then from the properties of fuzzy topological space
(i)
;
(ii) if
; then
i.e. finite intersection belongs to
.
(iii)
,
, where j denotes an index set.
so,
Hence, we conclude that the pair
is a topological space.
4.2. Closure Fuzzy Topological Space
For any
the closure of fuzzy topological space is denoted by
and is defined as the smallest closed fuzzy set that containing
.
Equivalent
is defined as following way:
Obviously, then
is always F-close.
Now we have discussed and proved some properties of Fuzzy closure operators.
Properties of Closure Operator
A map
from
into
is said to be a closure operation if for all
it satisfies the four list of properties:
(i)
;
(ii)
(i.e. the closure operation is idempotent);
(iii)
;
(iv)
;
Proof (i):
From the definition of closure operator we know,
.
Thus,
.
Proof (ii):
Since
is the smallest closed set containing
and
itself is closed,
Then,
.
Proof (iii):
Clearly
is closed.
Again,
(1)
[Since
is closed, so
]
Again,
(a)
Similarly,
(b)
From (a) and (b) we have,
(2)
So from (1) and (2), we have,
.
Proof (iv):
Since the whole space
is open, then its complement i.e.
, is closed
Also,
is closed.
So, we can write
.
Definition. Fuzzy topology generated by closure operator is denoted by
and is define by
,
Then
is called closure of fuzzy topological space (f.t.s.) generated by closure operator.
Theorem 4.1
Suppose
are fuzzy sets in X and
is a fuzzy topological space. Then prove that
.
Proof:
Clearly,
is open. Again,
(3)
Again,
(4)
Similarly,
(5)
From (4) and (5) we have,
(6)
From (3) and (6), we have,
.
4.3. Interior of a Fuzzy Topological Space
The smallest superior bound of all interior fuzzy sets of
is called the interior of
, and is denoted by
.evidently,
. So,
is F-open.
Suppose
be a fuzzy topological space and
, and
where
. Then
is defined as an interior fuzzy set of
iff for
such that
.
Theorem 4.2
Assume
be a fuzzy topological space. Then
(i)
(ii)
(iii)
(iv)
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
.
Proof (ii):
From the definition of interior of a set
, the combination of all open subsets included in
, denoted by
, i.e.
Hence we conclude
.
Proof (iii):
Since
itself is open and
is the greatest open set contained in
.
So evidently,
(Proved).
Proof (iv):
Since
and
So,
(7)
On the other hand,
, of which the open set
hold in
;
Hence,
must be contained in the largest open set
i.e.
(8)
From (7) and (8) we conclude that
(Proved).
Theorem 4.3
Assume
and
be two fuzzy sets in an f.t.s.. Then
.
Proof:
is open and
is open .
So
, and
.
Therefore
Then,

Again,
is open, so
Therefore,
Hence,
(Proved).
4.4. Boundary of Fuzzy Topological Space
For
, the fuzzy boundary is denoted by
is define to be the minimum of all F-closed sets
with the property
,
for which we have
.
Obviously,
is F-closed and
Fuzzy point
For any fuzzy set,
, fuzzy point is described as,
is the support of the fuzzy point
.
4.5. Neighborhood of Fuzzy Topological Space
Suppose
be a fuzzy topological space, if
and
then
is said to be a fuzzy neighborhood (in short n.b.d) of
if there is a
so that
. Example:
We know if
is a fuzzy topological space, and
, then
is called fuzzy n.b.d. of
if and only if
.
Now, let
where
and
denote fuzzy points.
Here,
, but
.
Also since,
So, we conclude that
.
Therefore
is a fuzzy n.b.d. of
.
4.6. Continuous Function of a Fuzzy Topological Space
Suppose
and
be two fuzzy topological space and let
be a function from X into F. Then F is said to be continuous at a point
if the inverse image
of all
open subset
of Y is a F such that
. Figure 6 displays the continuous open fuzzy set.
Theorem 4.5
Let
and
be two fuzzy topological spaces. Then a function
is continuous if
for all
.
Proof:
Let
be such that
and put
, then
So, But
is such that
.
So,
and
is closed,
I.e.
is closed,
I.e. F is continuous
Conversely, let f is fuzzy continuous. We must show that for any
.
We know that
and
It suffices to prove that for all
such that
and
, there exists
such that
and
.
Let,
be such that
and
.
Put
, then
and
and since
and F is fuzzy continuous implies that
.
Hence the theorem is proved.
4.7. Homomorphism of Fuzzy Topological Space
Let
be a function. Then
i) F is called continuous if
,
.
ii) F is called open if
,
.
iii) F is called closed if
-closed set
,
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
are continuous.
Dense of fuzzy topological spaces
Let
be a fuzzy topological space. Some definitions on this space are given below:
Definition 1.
A fuzzy set
is said to be fuzzy dense or everywhere dense if and only if
.
Definition 2.
A fuzzy set
is said to be fuzzy-nowhere dense if and only if
.
Example:
, that is if the interior of closure of any fuzzy set
is empty, then
is called nowhere dense in X,
Definition 3.
Any fuzzy set
is said to be fuzzy boundary (F-boundary) if and only if
.
Some Results Obtained from Definitions
(i) If
and
is F-dense then
is F-dense too.
Proof:
Since,
Since,
, thus
.
Thus
is F-dense too.
(ii) If
and
is F-boundary, consequently then
is F-boundary too.
Proof:
Since
So,
, (Since
is F-boundary).
Thus,
.
Thus,
is F-boundary too
(iii) If
is F-nowhere dense and
, then
is F-nowhere dense.
Proof:
Given,
Since
is F-nowhere dense, which implies
, from which we conclude that
is F-nowhere dense.
(iv) If
is F-nowhere dense, then so is
.
Proof:
Since
(9)
Since
is nowhere dense, so
.
Hence from (9) we conclude that
is F-nowhere dense.
(v) If
is F-dense and
, then
.
Proof:
We know from the properties of closure operation
Also,
Thus,
(10)
Also,
(11)
And we know,
(12)
Hence, from (10), (11), and (12) we conclude that
.
Proposition 4.1
If
is F-dense then,
. That is
Proof:
We claim from the definition of interior fuzzy set,
.
Now,
But since
is F-dense, so,
.
Hence,
.
4.8. Base and Subbase of the Fuzzy Topological Spaces
Base
Let
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
, and
, where
,
,
and
be a fuzzy topological space, where
and
.
Then,
and 1 are in P.
Now,
Hence P is a base for F.
Subbase
Suppose
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
and
where,
,
,
and
and
.
Then
is a fuzzy topological space, where
and
is a subbase and
is a base of F.
4.9. Hausdroff Fuzzy Topological Spaces
An fuzzy topological space
is said to be Hausdroff iff
,
, there exist
so that
and
.
Theorem 4.7
Let
is a Hausdroff fuzzy topological space, while
a fuzzy topological space and
is an Fopen bijection, then
is also a Hausdroff fuzzy topological space.
Proof:
Let
and
.
Let,
and
. Since by hypothesis
is a Hausdroff topological space, then there exist
such that
and
.
Now,
and
both belong to F1, since f is an F-open map.
Also
.
Finally,
and
Which satisfy all the condition of Hausdroff fuzzy topological space.
Hence, indeed
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.