We introduce vague soft topological spaces which are defined over an initial universe with a fixed set of parameters. The notions of vague soft open sets, vague soft closed sets, vague soft interior, vague soft closure, and vague soft boundary are introduced and their basic properties and relations are investigated. Furthermore, with the help of examples they established that some properties of topological spaces and soft topological spaces do not hold in vague soft topological spaces. Vague soft connectedness and vague soft compactness are also studied.
1. Introduction
Researchers in economics, environmental science, social science, medical science, business, and many other fields deal daily with the complexities of modeling uncertain data. Classical methods are not always successful because the uncertainties appearing in these domains may be of various types. Fuzzy set theory [1], intuitionistic fuzzy set theory [2], vague set theory [3], interval mathematics [4], and other mathematical tools are well-known and often useful approaches to describing uncertainty. However, all of these theories have their own difficulties which have been pointed out in [5]. Molodtsov suggested that one reason for these difficulties may be due to the inadequacy of the parameterization tools of these theories. To overcome these difficulties, Molodtsov [5] introduced the concept of soft sets as a new mathematical tool for dealing with uncertainties that is free from the difficulties that have troubled the usual theoretical approaches. Since then, many researches have investigated soft sets and have established some significant conclusions. For example, Jun and Park [6] proposed the notion of soft ideals and idealistic soft BCK/BCI-algebras and constructed several examples. Majumdar and Samanta [7] further generalized the concept of fuzzy soft sets and some of their properties were studied, and relations on generalized fuzzy soft sets were also discussed by them. Maji et al. [8] introduced the concept of fuzzy soft sets by combining fuzzy sets and soft sets. By combining the vague set and the soft set, Xu et al. [9] introduced the notion of vague soft sets, derived its basic properties, and illustrated its potential applications. Wang and Qu [10] introduced the definitions of entropy, similarity measure, and distance measure of vague soft sets, and the relations between these measures are discussed in detail. About soft topology, Shabir and Naz [11] defined several basic notions on soft topology and studied many properties. Hussain and Ahmad [12] continued investigating the properties of soft topological spaces and strengthened the foundations of the theory of soft topological spaces. Tanay and Kandemir [13] introduced the concept of fuzzy soft topology and some of its structural properties are studied.
By definition, a soft set is a parameterized family of subsets of the universal set. In other words, a soft set is a mapping from a set of parameters to the power set of an initial universe set. In the real world, the difficulty is that the objects in the universal set may not precisely satisfy the problem’s parameters, which usually represent some attributes, characteristics, or properties of the objects in the universal set. The concept of fuzzy soft sets proposed in [8] partially resolves this difficulty but falls short in dealing with additional complexity; that is, the mapping may be too vague. It is, therefore, desirable to extend soft set theory and fuzzy soft set theory using the concept of vague set theory. Vague set theory is actually an extension of fuzzy set theory and vague sets are regarded as a special case of context-dependent fuzzy sets. The basic concepts of vague set theory and its extensions, as well as some interesting applications, can be found in [14–16]. Vague soft set theory makes descriptions of the object world more realistic, practical, and accurate, at least in some cases, making it a very promising tool. Since vague sets are equivalent to intuitionistic fuzzy sets [17], so vague soft sets are equivalent to intuitionistic fuzzy soft sets. Some scholars have studied intuitionistic fuzzy soft sets from different aspects. For example, Gunduz and Bayramov [18] introduced the concept of an intuitionistic fuzzy soft module and some operations on intuitionistic fuzzy soft sets were given; they also studied some of its basic properties. Jiang et al. [19] proposed the notion of the interval-valued intuitionistic fuzzy soft set, the complement, and/or union, intersection, and necessity, and possibility operations were defined on interval-valued intuitionistic fuzzy soft sets, and the basic properties of interval-valued intuitionistic fuzzy soft sets were discussed. They [20] also presented an adjustable approach to intuitionistic fuzzy soft sets based decision making by using level soft sets of intuitionistic fuzzy soft sets and gave some illustrative examples; the weighted intuitionistic fuzzy soft sets were introduced and its application to decision making was investigated. Zhang [21] proposed a novel approach to intuitionistic fuzzy soft set based decision making problems using rough set theory. However, there has been rather little work completed for topological structure in the context of intuitionistic fuzzy soft sets. The purpose of this paper is to further extend the concept of vague soft set theory proposed by Xu et al. in [9]. In this paper, the concept of vague soft topology is introduced and some of its structural properties are studied. Some results about vague soft connectedness and vague soft compactness are also investigated.
The rest of this paper is organized as follows. Section 2 recalls some basic concepts of vague sets, soft sets, and vague soft sets. In Section 3, we introduce the definitions of vague soft topology and some of its structural properties such as vague soft open sets, vague soft closed sets, vague soft interior, vague soft closure, and vague soft boundary are studied. The vague soft connectedness and vague soft compactness are also investigated. In the final section, some concluding comments are presented.
2. Preliminaries
In this section, we will recall several definitions and results which are necessary for our paper. They are stated as follows.
Definition 1 (see [3]).
A vague set A in the universe U={x1,x2,…,xn} can be expressed by the following notion: A={(xi,[tA(xi),1-fA(xi)])∣xi∈U}; that is, A(xi)=[tA(xi),1-fA(xi)], and the condition 0≤tA(xi)≤1-fA(xi) should hold for any xi∈U, where tA(xi) is called the membership degree (true membership) of element xi to the vague set A, while fA(xi) is the degree of nonmembership (false membership) of the element xi to the vague set A.
Definition 2 (see [3]).
Let A, B be two vague sets in the universe U={x1,x2,…,xn}; then the union, intersection, and complement of vague sets are defined as follows:
(1)A∪B={(xi,[(1-fA(xi))tA(xi)∨tB(xi),vvvvvv(1-fA(xi))∨(1-fB(xi))])∣xi∈U},A∩B={(xi,[(1-fA(xi))tA(xi)∧tB(xi),vvvvvv(1-fA(xi))∧(1-fB(xi))])∣xi∈U},Ac={(xi,[fA(xi),1-tA(xi)])∣xi∈U}.
Definition 3 (see [3]).
Let A, B be two vague sets in the universe U={x1,x2,…,xn}. If ∀xi∈U,tA(xi)≤tB(xi),1-fA(xi)≤1-fB(xi), then A is called a vague subset of B, denoted by A⊆B, where 1≤i≤n.
Definition 4 (see [5]).
Let U be an initial universe set, P(U) the power set of U, E a set of parameters, and A⊆E. A pair (F,A) is called a soft set over U, where F is a mapping given by F:A→P(U).
Definition 5 (see [9]).
Let U be an initial universe set, V(U) the set of all vague sets on U, E a set of parameters, and A⊆E. A pair (F,A) is called a vague soft set over U, where F is a mapping given by F:A→V(U).
Definition 6 (see [9]).
Let (F,A) and (G,B) be two vague soft sets over a universe U. If A⊆B and for all e∈A,F(e) is a vague subset of G(e), then (F,A) is called a vague soft subset of (G,B). This relation is denoted by (F,A)⊆(G,B).
Definition 7 (see [9]).
Two vague soft sets (F,A) and (G,B) over a universe U are said to be vague soft equal if (F,A) is a vague soft subset of (G,B) and (G,B) is a vague soft subset of (F,A). This relation is denoted by (F,A)=(G,B).
Definition 8 (see [9]).
Let E={e1,e2,…,en} be a parameter set. The not set of E denoted by ¬E is defined by ¬E={¬e1,¬e2,…,¬en}, where ¬ei=notei.
Definition 9 (see [9]).
The complement of vague soft set (F,A) is denoted by (F,A)c and is defined by (F,A)c=(Fc,¬A), where Fc:¬A→V(U) is a mapping given by tFc(¬α)(x)=fF(α)(x),1-fFc(¬α)(x)=1-tF(α)(x),∀¬α∈¬A,x∈U.
Clearly (Fc)c is the same as F and ((F,A)c)c=(F,A).
Definition 10 (see [9]).
A vague soft set (F,A) over U is said to be a null vague soft set denoted by ∅^, if ∀e∈A,tF(e)(x)=0,1-fF(e)(x)=0,x∈U.
Definition 11 (see [9]).
A vague soft set (F,A) over U is said to be an absolute vague soft set denoted by U^, if ∀e∈E,tF(e)(x)=1,1-fF(e)(x)=1,x∈U.
Definition 12 (see [9]).
The union of two vague soft sets (F,A) and (G,B) over a universe U is a vague soft set (H,C), where C=A∪B and ∀e∈C,
(2)tH(e)(x)={tF(e)(x)e∈A-B,x∈U,tG(e)(x)e∈B-A,x∈U,tF(e)(x)∨tG(e)(x)e∈A∩B,x∈U,1-fH(e)(x)={1-fF(e)(x)e∈A-B,x∈U,1-fG(e)(x)e∈B-A,x∈U,(1-fF(e)(x))∨(1-fG(e)(x))e∈A∩B,x∈U.
We denote it by (F,A)∪(G,B)=(H,C).
Definition 13 (see [9]).
The intersection of two vague soft sets (F,A) and (G,B) over a universe U is a vague soft set (H,C), where C=A∪B and ∀e∈C,
(3)tH(e)(x)={tF(e)(x)e∈A-B,x∈U,tG(e)(x)e∈B-A,x∈U,tF(e)(x)∧tG(e)(x)e∈A∩B,x∈U,1-fH(e)(x)={1-fF(e)(x)e∈A-B,x∈U,1-fG(e)(x)e∈B-A,x∈U,(1-fF(e)(x))∧(1-fG(e)(x))e∈A∩B,x∈U.
We denote it by (F,A)∩(G,B)=(H,C).
Proposition 14 (see [9]).
If (F,A) and (G,B) are two vague soft sets over a universe U, then
((F,A)∪(G,B))c=(F,A)c∩(G,B)c,
((F,A)∩(G,B))c=(F,A)c∪(G,B)c.
3. Vague Soft Topological Spaces
Let X be an initial universe set, and let E be the nonempty set of parameters.
Definition 15.
Let τ be the collection of vague soft sets over X; then τ is said to be a vague soft topology on X if
∅^,X^ belong to τ,
the union of any number of vague soft sets in τ belongs to τ,
the intersection of any two vague soft sets in τ belongs to τ.
The triplet (X,τ,E) is called a vague soft topological space over X.
Definition 16.
Let (X,τ,E) be a vague soft topological space over X; then the members of τ are said to be vague soft open sets in X.
Definition 17.
Let (X,τ,E) be a vague soft topological space over X. A vague soft set (F,E) over X is said to be a vague soft closed set in X, if its complement (F,E)c belongs to τ.
Proposition 18.
Let {τk∣k∈K} be a family of vague soft topologies on X; then ⋂k∈Kτk is a vague soft topology on X.
Proof.
(1) ∅^ and X^ belong to ⋂k∈Kτk.
(2) Let {(Fi,E)∣i∈I}⊆⋂k∈Kτk. Then for all i∈I, (Fi,E)∈τk, so ⋃i∈I(Fi,E)∈τk. Thus ⋃i∈I(Fi,E)∈⋂k∈Kτk.
(3) Let (F,E),(G,E)∈⋂k∈Kτk. Then for all k∈K, (F,E),(G,E)∈τk. Since ((F,E)∩(G,E))∈τk, so ((F,E)∩(G,E))∈⋂k∈Kτk.
Definition 19.
Let (X,τ1,E) and (X,τ2,E) be two vague soft topological spaces over the same universe X. If each vague soft set (F,E)∈τ1 is in τ2, then τ2 is called vague soft finer than τ1, or τ1 is vague soft coarser than τ2.
Proposition 20.
Let {τk∣k∈K} be a family of all vague soft topologies on X; then ⋂k∈Kτk is the coarsest vague soft topology on X.
Proof.
⋂k∈Kτk is a vague soft topology on X by Proposition 18. If each vague soft set (F,E)∈⋂k∈Kτk, then (F,E)∈τk for all k∈K. Hence ⋂k∈Kτk is the coarsest vague soft topology on X.
Remark 21.
Let (X,τ1,E) and (X,τ2,E) be two vague soft topological spaces over the same universe X; then (X,τ1∪τ2,E) may not be a vague soft topological space over X.
Example 22.
Let X={a,b,c}, E={e1,e2} and τ1={∅^,X^,(F,E)}, τ2={∅^,X^,(G,E)} be two vague soft topologies defined on X where (F,E), (G,E) are vague soft sets over X, defined as follows:
(4)F(e1)={[0.1,0.8]a,[0.3,0.9]b,[0.7,0.8]c},F(e2)={[0.2,0.5]a,[0.5,0.6]b,[0.8,1]c},G(e1)={[0,0.9]a,[0.4,1]b,[0,0]c},G(e2)={[0.3,0.6]a,[0.4,0.7]b,[0.6,0.8]c}.
Now, τ1∪τ2={∅^,X^,(F,E),(G,E)}.
If we take (F,E)∪(G,E)=(H,E), (F,E)∩(G,E)=(P,E), then
(5)H(e1)={[0.1,0.9]a,[0.4,1]b,[0.7,0.8]c},H(e2)={[0.3,0.6]a,[0.5,0.7]b,[0.8,1]c},P(e1)={[0,0.8]a,[0.3,0.9]b,[0,0]c},P(e2)={[0.2,0.5]a,[0.4,0.6]b,[0.6,0.8]c}.(H,E)∉τ1∪τ2, (P,E)∉τ1∪τ2, so (X,τ1∪τ2,E) is not a vague soft topological space on X.
Definition 23.
Let (X,τ,E) be a vague soft topological space, and let (F,E) be a vague soft set over X. Then vague soft interior of (F,E), denoted by (F,E)∘, is defined as the union of all vague soft open sets contained in (F,E).
Clearly, (F,E)∘ is the largest vague soft open set contained in (F,E).
Theorem 24.
Let (X,τ,E) be a vague soft topological space over X, and let (F,E) and (G,E) be two vague soft sets over X. Then the following properties hold:
∅^∘=∅^ and X^∘=X^;
(F,E)∘⊆(F,E);
(F,E) is a vague soft open set if and only if (F,E)∘=(F,E);
((F,E)∘)∘=(F,E)∘;
(F,E)⊆(G,E) implies (F,E)∘⊆(G,E)∘;
(F,E)∘∩(G,E)∘=((F,E)∩(G,E))∘.
Proof.
(1) and (2) are obvious.
(3) ⇒ If (F,E) is a vague soft open set, then (F,E)⊆(F,E)∘. Since (F,E)∘⊆(F,E) by part (2), so (F,E)=(F,E)∘.
⇐ Suppose that (F,E)=(F,E)∘. Since (F,E)∘ is a vague soft open set, so (F,E) is a vague soft open set.
(4) Since (F,E)∘ is a vague soft open set, we have ((F,E)∘)∘=(F,E)∘ by part (3).
(5) If (F,E)⊆(G,E), then (F,E)∘⊆(F,E)⊆(G,E). (F,E)∘ is a vague soft open set contained in (G,E), so (F,E)∘⊆(G,E)∘ by Definition 23.
(6) Since ((F,E)∩(G,E))⊆(F,E), ((F,E)∩(G,E))⊆(G,E), so ((F,E)∩(G,E))∘⊆(F,E)∘, ((F,E)∩(G,E))∘⊆(G,E)∘ by part (5). Thus ((F,E)∩(G,E))∘⊆(F,E)∘∩(G,E)∘. Since ((F,E)∘∩(G,E)∘)⊆((F,E)∩(G,E)), so ((F,E)∘∩(G,E)∘)∘⊆((F,E)∩(G,E))∘ by part (5). (F,E)∘∩(G,E)∘ is a vague soft open set; then ((F,E)∘∩(G,E)∘)∘=(F,E)∘∩(G,E)∘. Hence (F,E)∘∩(G,E)∘=((F,E)∩(G,E))∘.
Definition 25.
Let (X,τ,E) be a vague soft topological space, and let (F,E) be a vague soft set over X. Then vague soft closure of (F,E), denoted by (F,E)¯, is defined as the intersection of all vague soft closed sets containing (F,E).
Clearly, (F,E)¯ is the smallest vague soft closed set containing (F,E).
Theorem 26.
Let (X,τ,E) be a vague soft topological space over X, and let (F,E) and (G,E) be two vague soft sets over X. Then the following properties hold:
∅^¯=∅^ and X^¯=X^;
(F,E)⊆(F,E)¯;
(F,E) is a vague soft closed set if and only if (F,E)¯=(F,E);
(F,E)¯¯=(F,E)¯;
(F,E)⊆(G,E) implies (F,E)¯⊆(G,E)¯;
(F,E)¯∪(G,E)¯=(F,E)∪(G,E)¯.
Proof.
The proof is similar to the proof of Theorem 24.
Theorem 27.
Let (X,τ,E) be a vague soft topological space over X, and let (F,E) be a vague soft set over X. Then the following properties hold:
((F,E)∘)c=(F,E)c¯;
((F,E)¯)c=((F,E)c)∘.
Proof.
(1) Suppose that {(Fi,E)∣i∈I} is the family of all vague soft open sets contained in (F,E); that is, (F,E)∘=⋃i∈I(Fi,E). Then {(Fi,E)c∣i∈I} is the family of all vague soft closed sets containing (F,E)c; that is, (F,E)c¯=⋂i∈I(Fi,E)c. Since ((F,E)∘)c=(⋃i∈I(Fi,E))c=⋂i∈I(Fi,E)c by Proposition 14 (1), so ((F,E)∘)c=(F,E)c¯.
(2) Suppose that {(Fi,E)∣i∈I} is the family of all vague soft closed sets containing (F,E); that is, (F,E)¯=⋂i∈I(Fi,E). Then {(Fi,E)c∣i∈I} is the family of all vague soft open sets contained in (F,E)c; that is, ((F,E)c)∘=⋃i∈I(Fi,E)c. Since ((F,E)¯)c=(⋂i∈I(Fi,E))c=⋃i∈I(Fi,E)c by Proposition 14 (2), so ((F,E)¯)c=((F,E)c)∘.
Definition 28.
Let (X,τ,E) be a vague soft topological space, and let (F,E) be a vague soft set over X. Then vague soft boundary of (F,E), denoted by (F,E)_, is defined as (F,E)_=(F,E)¯∩(F,E)c¯.
Clearly, the vague soft sets (F,E) and (F,E)c have same vague soft boundary; that is, (F,E)_=(F,E)c_.
Theorem 29.
Let (X,τ,E) be a vague soft topological space over X, and let (F,E) be a vague soft set over X. Then the following properties hold:
∅^_=X^_=∅^;
(F,E)∘_⊆(F,E)_;
((F,E)_)c=(F,E)∘∪((F,E)c)∘.
Proof.
(1) is obvious.
(2) is as follows:
(6)(F,E)∘_=(F,E)∘¯∩((F,E)∘)c¯=(F,E)∘¯∩(F,E)c¯¯(byTheorem27)⊆(F,E)¯∩(F,E)c¯=(F,E)_.
(3) is as follows:
(7)(F,E)∘∪((F,E)c)∘=(((F,E)∘)c)c∪((((F,E)c)∘)c)c=[((F,E)∘)c∩(((F,E)c)∘)c]c(byProposition14)=[(F,E)c¯∩(F,E)¯]c(byTheorem27)=((F,E)_)c.
Remark 30.
Let (X,τ,E) be a vague soft topological space over X, and let (F,E) be a vague soft set over X. Then the following properties may not hold:
(F,E)¯=(F,E)∘∪(F,E)_;
(F,E)∘∩(F,E)_=∅^.
Example 31.
Let X={a,b}, E={e1,e2}, and τ={∅^,X^,(F1,E),(F2,E)} where (F1,E),(F2,E) are vague soft sets over X, defined as follows:
(8)F1(e1)={[0.5,0.6]a,[0.6,0.7]b},F1(e2)={[0.5,0.7]a,[0.7,0.8]b},F2(e1)={[0.6,0.6]a,[0.6,0.7]b},F2(e2)={[0.6,0.8]a,[0.7,0.8]b}.
Then τ defines a vague soft topology on X and (X,τ,E) is a vague soft topological space over X.
Let us take vague soft set (F,E), defined as follows:
(9)F(e1)={[0.8,0.9]a,[0.8,0.8]b},F(e2)={[0.6,0.8]a,[0.7,0.8]b}.
Then (F,E)¯=X^,
(10)(F,E)_={e1={[0.4,0.4]a,[0.3,0.4]b},e2={[0.2,0.4]a,[0.2,0.3]b}},(F,E)∘={e1={[0.6,0.6]a,[0.6,0.7]b},e2={[0.6,0.8]a,[0.7,0.8]b}},(F,E)∘∪(F,E)_={e1={[0.6,0.6]a,[0.6,0.7]b},e2={[0.6,0.8]a,[0.7,0.8]b}},(F,E)∘∩(F,E)_={e1={[0.4,0.4]a,[0.3,0.4]b},e2={[0.2,0.4]a,[0.2,0.3]b}}.
Hence (F,E)∘∪(F,E)_≠(F,E)¯, (F,E)∘∩(F,E)_≠∅^.
Theorem 32.
Let (X,τ,E) be a vague soft topological space over X, and let (F,E) be a vague soft set over X.
If (F,E)∩(F,E)_=∅^, then (F,E) is a vague soft open set over X.
If (F,E) is a vague soft closed set over X, then (F,E)_⊆(F,E).
Proof.
(1) Let (F,E)∩(F,E)_=∅^. Then (F,E)∩(F,E)¯∩(F,E)c¯=∅^, or (F,E)∩(F,E)c¯=∅^, or (F,E)c¯⊆(F,E)c, which implies (F,E)c is a vague soft closed set. Hence (F,E) is a vague soft open set.
(2) If (F,E) is a vague soft closed set over X, then (F,E)¯=(F,E), since (F,E)_=(F,E)¯∩(F,E)c¯⊆(F,E)¯=(F,E); that is, (F,E)_⊆(F,E).
Remark 33.
Let (X,τ,E) be a vague soft topological space over X, and let (F,E) be a vague soft set over X.
If (F,E) is a vague soft open set over X, then (F,E)∩(F,E)_=∅^ may not hold.
If (F,E)_⊆(F,E), then (F,E) may not be a vague soft closed set over X.
Example 34.
Let us consider the vague soft topological space (X,τ,E) over X in Example 31. We take (F,E)=(F1,E) is a vague soft open set over X. Then
(11)(F,E)¯=X^,(F,E)c¯={e1={[0.4,0.5]a,[0.3,0.4]b},e2={[0.3,0.5]a,[0.2,0.3]b}},(F,E)_=(F,E)¯∩(F,E)c¯={e1={[0.4,0.5]a,[0.3,0.4]b},e2={[0.3,0.5]a,[0.2,0.3]b}}.
Hence (F,E)∩(F,E)_≠∅^. We have (F,E)_⊆(F,E), but (F,E) is not a vague soft closed set over X.
Theorem 35.
Let (X,τ,E) be a vague soft topological space over X, and let (F,E) be a vague soft set over X. If (F,E)_=∅^, then (F,E) is a vague soft open set and vague soft closed set over X.
Proof.
First we prove that (F,E) is a vague soft open set over X. Consider (F,E)_=∅^⇒(F,E)¯∩(F,E)c¯=∅^⇒(F,E)¯∩((F,E)∘)c=∅^⇒(F,E)¯⊆(((F,E)∘)c)c=(F,E)∘⇒(F,E)⊆(F,E)∘⇒(F,E)=(F,E)∘. This implies that (F,E) is a vague soft open set.
We now prove that (F,E) is a vague soft closed set over X. Consider (F,E)_=∅^⇒(F,E)¯∩(F,E)c¯=∅^⇒(F,E)¯⊆((F,E)c¯)c=(F,E)∘⇒(F,E)¯⊆(F,E)⇒(F,E)=(F,E)¯. This implies that (F,E) is a vague soft closed set.
Remark 36.
If (F,E) is a vague soft open set and vague soft closed set over X, then (F,E)_ may not be ∅^.
Example 37.
Let X={a,b}, E={e1,e2}, and τ={∅^,X^,(F,E),(G,E)} where (F,E), (G,E) are vague soft sets over X, defined as follows:
(12)F(e1)={[0.2,0.8]a,[0.4,0.6]b},F(e2)={[0.3,0.7]a,[0.5,0.5]b},G(e1)={[0.3,0.9]a,[0.5,0.7]b},G(e2)={[0.4,0.8]a,[0.6,0.7]b}.
Then τ defines a vague soft topology on X and (X,τ,E) is a vague soft topological space over X. We have (F,E) is a vague soft open set and vague soft closed set over X, but (F,E)_=(F,E)≠∅^.
Definition 38.
A vague soft topological space (X,τ,E) is called strongly disconnected, if there exist vague soft open sets (F,E)≠∅^ and (G,E)≠∅^ such that (F,E)∪(G,E)=X^ and (F,E)∩(G,E)=∅^.
Definition 39.
A vague soft topological space (X,τ,E) is called strongly connected, if it is not vague soft strongly disconnected.
Definition 40.
A vague soft topological space (X,τ,E) is called weakly disconnected, if there exists vague soft set (F,E) which is both vague soft open set and vague soft closed set such that ∅^≠(F,E)≠X^.
Definition 41.
A vague soft topological space (X,τ,E) is called weakly connected, if it is not vague soft weakly disconnected.
Theorem 42.
Let (X,τ,E) be a vague soft topological space over X. If (X,τ,E) is strongly disconnected, then it is also weakly disconnected.
Proof.
If (X,τ,E) is strongly disconnected, then there exist vague soft open sets (F,E)≠∅^ and (G,E)≠∅^ such that (F,E)∪(G,E)=X^ and (F,E)∩(G,E)=∅^. For any e∈E, we have tF(e)(x)∨tG(e)(x)=1, (1-fF(e)(x))∨(1-fG(e)(x))=1 and tF(e)(x)∧tG(e)(x)=0, (1-fF(e)(x))∧(1-fG(e)(x))=0,x∈X. When tF(e)(x)=1, then 1-fF(e)(x)=1 and tG(e)(x)=0, 1-fG(e)(x)=0. When tG(e)(x)=1, then 1-fG(e)(x)=1 and tF(e)(x)=0,1-fF(e)(x)=0. Hence (F,E)=(G,E)c; that is, (F,E) is a vague soft set which is both vague soft open set and vague soft closed set such that ∅^≠(F,E)≠X^. Hence (X,τ,E) is weakly disconnected.
Remark 43.
If (X,τ,E) is weakly disconnected, then it may not be strongly disconnected.
Example 44.
Let X={a,b}, E={e1,e2}, and τ={∅^,X^,(F1,E),(F2,E)} where (F1,E) and (F2,E) are two vague soft sets over X, defined as follows:
(13)F1(e1)={[0.1,0.9]a,[0.3,0.7]b},F1(e2)={[0.4,0.6]a,[0.2,0.8]b},F2(e1)={[0.1,0.8]a,[0.2,0.6]b},F2(e2)={[0.3,0.6]a,[0.2,0.7]b}.
Then τ defines a vague soft topology on X and (X,τ,E) is a vague soft topological space over X. Because (F1,E) is a vague soft set which is both vague soft open set and vague soft closed set such that ∅^≠(F,E)≠X^, (X,τ,E) is weakly disconnected, but it is not strongly disconnected.
Theorem 45.
(X,τ,E) is strongly disconnected if and only if there exist vague soft closed sets (F,E)≠∅^ and (G,E)≠∅^ such that (F,E)∪(G,E)=X^ and (F,E)∩(G,E)=∅^.
Proof.
⇒ If (X,τ,E) is strongly disconnected, then there exist vague soft open sets (F,E)≠∅^ and (G,E)≠∅^ such that (F,E)∪(G,E)=X^ and (F,E)∩(G,E)=∅^. Then (F,E)c and (G,E)c are vague soft closed sets such that (F,E)c∪(G,E)c=X^ and (F,E)c∩(G,E)c=∅^.
⇐ The proof is similar to the above.
Theorem 46.
(X,τ,E) is weakly disconnected if and only if there exist vague soft open sets (F,E)≠∅^ and (G,E)≠∅^ such that (F,E)=(G,E)c.
Proof.
⇒ If (X,τ,E) is weakly disconnected, then there exists vague soft set (G,E) which is both vague soft open set and vague soft closed set such that ∅^≠(G,E)≠X^. Take (F,E)=(G,E)c; thus (F,E) is a vague soft open set and (F,E)≠∅^.
⇐ If there exist vague soft open sets (F,E)≠∅^ and (G,E)≠∅^ such that (F,E)=(G,E)c, then (F,E) is both vague soft open set and vague soft closed set. Since (F,E)≠∅^, (F,E)=(G,E)c≠X^, so (X,τ,E) is weakly disconnected.
Theorem 47.
(X,τ,E) is weakly disconnected if and only if there exist vague soft sets (F,E)≠∅^ and (G,E)≠∅^ such that (F,E)=(G,E)c, (G,E)=((F,E)∘)c, (F,E)=((G,E)∘)c.
Proof.
⇒ If (X,τ,E) is weakly disconnected, then there exists vague soft set (F,E) which is both vague soft open set and vague soft closed set such that ∅^≠(F,E)≠X^. Take (G,E)=(F,E)c; thus (G,E) is both vague soft open set and vague soft closed set. Since (F,E), (G,E) are vague soft open sets, (G,E)=(G,E)∘, (F,E)=(F,E)∘. Hence (G,E)=((F,E)∘)c, (F,E)=((G,E)∘)c.
⇐ Suppose there exist vague soft set (F,E)≠∅^ and (G,E)≠∅^ such that (F,E)=(G,E)c and (G,E)=((F,E)∘)c and (F,E)=((G,E)∘)c. Since ((F,E)∘)c and ((G,E)∘)c are vague soft closed sets, (G,E)=((F,E)∘)c and (F,E)=((G,E)∘)c are vague soft closed sets. Since (G,E)=(F,E)c, so (G,E) is a vague soft open set. Thus, vague soft set (G,E) is both vague soft open set and vague soft closed set such that ∅^≠(G,E)≠X^. Hence, (X,τ,E) is weakly disconnected.
Theorem 48.
(X,τ,E) is weakly disconnected if and only if there exist vague soft sets (F,E)≠∅^ and (G,E)≠∅^ such that (F,E)=(G,E)c,(G,E)=((F,E)¯)c,(F,E)=((G,E)¯)c.
Proof.
The proof is similar to the proof of Theorem 47.
Definition 49.
Let (X,τ,E) is a vague soft topological space over X. If a family {(Fi,E)∣i∈I} of vague soft open sets satisfies the condition ⋃i∈I(Fi,E)=X^, then it is called a vague soft open cover of X. If a finite subfamily of a vague soft open cover is also a vague soft open cover of X, then it is called a finite subcover of {(Fi,E)∣i∈I}.
Definition 50.
A vague soft topological space (X,τ,E) is called vague soft compact if every vague soft open cover of X has a finite subcover.
Example 51.
Let X={a,b}, E={e1,e2}, and τ={∅^,X^,(Fn,E)} where (Fn,E) is vague soft sets over X, defined as follows:
(14)Fn(e1)={[1-1/n,1-1/(n+1)]a,[1-1/n,1-1/(n+1)]b},Fn(e2)={[1,1]a,[1-1/n,1-1/(n+1)]b}.
Then τ defines a vague soft topology on X and (X,τ,E) is a vague soft topological space over X.
(X,τ,E) is not vague soft compact, because the vague soft open cover {(Fn,E)∣n∈N} has no finite subcover.
Definition 52.
Let (X,τ,E) be a vague soft topological space, and let {(Fi,E)∣i∈I} be a family of vague soft sets over X. {(Fi,E)∣i∈I} is said to satisfy the finite intersection property, if every finite subfamily {(Fi,E)∣i=1,2,…,n} satisfies the condition ⋂i=1n(Fi,E)≠∅^.
Theorem 53.
A vague soft topological space (X,τ,E) is vague soft compact if and only if every family {(Fi,E)∣i∈I} of vague soft closed sets which satisfies the finite intersection property has a nonempty intersection.
Proof.
⇒ Let {(Fi,E)∣i∈I} be a family of vague soft closed sets which satisfies the finite intersection property. Suppose that ⋂i∈I(Fi,E)=∅^; then ⋃i∈I(Fi,E)c=(⋂i∈I(Fi,E))c=X^, so {(Fi,E)c∣i∈I} is a vague soft open cover of X. Since (X,τ,E) is vague soft compact, {(Fi,E)c∣i∈I} has a finite subcover, denoted by {(Fi,E)c∣i=1,2,…,n}. Thus, ⋂i=1n(Fi,E)=(⋃i=1n(Fi,E)c)c=∅^, which is a contradiction. Hence, {(Fi,E)∣i∈I} has a nonempty intersection.
⇐ Let {(Gi,E)∣i∈I} is a vague soft open cover of X. Then {(Gi,E)c∣i∈I} is a family of vague soft closed sets and ⋂i∈I(Gi,E)c=(⋃i∈I(Gi,E))c=∅^. Since every family of vague soft closed sets which satisfies the finite intersection property has a nonempty intersection, so {(Gi,E)c∣i∈I} does not have the finite intersection property; that is, a subfamily {(Gi,E)∣i=1,2,…,n} of {(Gi,E)∣i∈I} satisfies ⋂i=1n(Gi,E)c=∅^. Thus, ⋃i=1n(Gi,E)=(⋂i=1n(Gi,E)c)c=X^; that is, {(Gi,E)∣i=1,2,…,n} is a finite subcover of {(Gi,E)∣i∈I}. Hence, (X,τ,E) is vague soft compact.
Definition 54.
Let (X,τ,E) be a vague soft topological space, and let (F,E) be a vague soft set over X. If a family {(Gi,E)∣i∈I} of vague soft open sets satisfies the condition (F,E)⊆⋃i∈I(Gi,E), then it is called a vague soft open cover of (F,E). If a finite subfamily of a vague soft open cover is also a vague soft open cover of (F,E), then it is called a finite subcover of {(Gi,E)∣i∈I}.
Definition 55.
A vague soft set (F,E) is called vague soft compact if every vague soft open cover of (F,E) has a finite subcover.
Theorem 56.
A vague soft set (F,E) is vague soft compact if and only if every family {(Gi,E)∣i∈I} of vague soft open sets with properties that, for any e∈E, tF(e)(x)≤⋁i∈ItGi(e)(x) and 1-fF(e)(x)≤⋁i∈I(1-fGi(e)(x)),x∈X, has a finite subfamily {(Gi,E)∣i=1,2,…,n} such that tF(e)(x)≤⋁i=1ntGi(e)(x) and 1-fF(e)(x)≤⋁i=1n(1-fGi(e)(x)),x∈X.
Proof.
It follows from Definitions 54 and 55.
4. Conclusion
Topology is an important and major area of mathematics. In this paper, we have introduced vague soft topological spaces which are defined over an initial universe with a fixed set of parameters. The notions and properties of vague soft open set, vague soft closed set, vague soft interior, vague soft closure, vague soft boundary, vague soft connectedness, and vague soft compactness are introduced and investigated. The findings in this paper will enhance and promote the further study on vague soft topological space to establish a general framework for practical application.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgments
The authors would like to thank the anonymous referees for their constructive comments as well as helpful suggestions which helped in improving this paper significantly. The works described in this paper are supported by the National Natural Science Foundation of China under Grant nos. 11171271, 11326048; the Postdoctoral Science Foundation of China under Grant no. 2013M532079; and the Science Research Foundation of Northwest University under Grant no. 12NW04.
ZadehL. A.Fuzzy sets196583338353MR02194272-s2.0-34248666540AtanassovK. T.Intuitionistic fuzzy sets1986201879610.1016/S0165-0114(86)80034-3MR8528712-s2.0-0002740725GauW. L.BuehrerD. J.Vague sets199323261061410.1109/21.2294762-s2.0-0027555609AtanassovK. T.Operators over interval valued intuitionistic fuzzy sets199464215917410.1016/0165-0114(94)90331-XMR12870282-s2.0-38149146861MolodtsovD.Soft set theory—first results1999374-5193110.1016/S0898-1221(99)00056-5MR16771782-s2.0-0033075287JunY. B.ParkC. H.Applications of soft sets in ideal theory of BCK/BCI-algebras2008178112466247510.1016/j.ins.2008.01.017MR24169922-s2.0-40849146970MajumdarP.SamantaS. K.Generalised fuzzy soft sets20105941425143210.1016/j.camwa.2009.12.006MR25919322-s2.0-75349110385MajiP. K.BiswasR.RoyA. R.Fuzzy soft sets200193589602MR1859540XuW.MaJ.WangS.HaoG.Vague soft sets and their properties201059278779410.1016/j.camwa.2009.10.015MR25755672-s2.0-72949099676WangC.QuA.Entropy, similarity measure and distance measure of vague soft sets and their relations20132449210610.1016/j.ins.2013.05.013MR30683632-s2.0-84878930910ShabirM.NazM.On soft topological spaces20116171786179910.1016/j.camwa.2011.02.006MR27822152-s2.0-79952984445HussainS.AhmadB.Some properties of soft topological spaces201162114058406710.1016/j.camwa.2011.09.051MR28599622-s2.0-80755136552TanayB.KandemirM. B.Topological structure of fuzzy soft sets201161102952295710.1016/j.camwa.2011.03.056MR27998202-s2.0-79955836967ChenS. M.Similarity measures between vague sets and between elements199727115315810.1109/3477.5521982-s2.0-0031077407HongD. H.ChoiC. H.Multicriteria fuzzy decision-making problems based on vague set theory2000114110311310.1016/S0165-0114(98)00271-12-s2.0-0346054710YeJ.Using an improved measure function of vague sets for multicriteria fuzzy decision-making20103764706470910.1016/j.eswa.2009.11.0842-s2.0-77249134033BustinceH.BurilloP.Vague sets are intuitionistic fuzzy sets199679340340510.1016/0165-0114(95)00154-9MR13884132-s2.0-0000196513GunduzC.BayramovS.Intuitionistic fuzzy soft modules20116262480248610.1016/j.camwa.2011.07.036MR28317302-s2.0-80052395683JiangY.TangY.ChenQ.LiuH.TangJ.-C.Interval-valued intuitionistic fuzzy soft sets and their properties201060390691810.1016/j.camwa.2010.05.036MR26655632-s2.0-77955412418JiangY.TangY.ChenQ.An adjustable approach to intuitionistic fuzzy soft sets based decision making201135282483610.1016/j.apm.2010.07.038MR27184742-s2.0-77956190646ZhangZ.A rough set approach to intuitionistic fuzzy soft set based decision making201236104605463310.1016/j.apm.2011.11.071MR29303592-s2.0-84861893984