SEPARATION AXIOMS IN BI-SOFT TOPOLOGICAL SPACES MUNAZZA NAZ, MUHAMMAD … · 2015-09-04 · 2...
Transcript of SEPARATION AXIOMS IN BI-SOFT TOPOLOGICAL SPACES MUNAZZA NAZ, MUHAMMAD … · 2015-09-04 · 2...
arX
iv:1
509.
0086
6v1
[m
ath.
GN
] 2
9 A
ug 2
015
SEPARATION AXIOMS IN BI-SOFT TOPOLOGICAL SPACES
MUNAZZA NAZ, MUHAMMAD SHABIR, AND MUHAMMAD IRFAN ALI
Abstract. Concept of bi-soft topological spaces is introduced. Several no-tions of a soft topological space are generalized to study bi-soft topologicalspaces. Separation axioms play a vital role in study of topological spaces.These concepts have been studied in context of bi-soft topological spaces.There is a very close relationship between topology and rough set theory. Anapplication of bi-soft topology is given in rough set theory.
1. Introduction
Soft set theory, initiated by Molodtsov[13], is a novel concept and a completelynew approach for modeling vagueness and uncertainty, which occur in real worldproblems. Applications of soft set theory in many disciplines and real-life problems,have established their role in scientific literature. Many researchers are working inthis very important area. Molodtsov suggests many directions for the applicationsof soft sets in his seminal paper [13], which include smoothness of functions, gametheory, Riemann integration, Perron integration and theory of measurement. Someimportant applications of soft sets are in information systems and decision makingproblems can be seen [10][19]. These concepts are of utmost importance in artificialintelligence and computer science. Algebraic structures of soft sets have been dis-cussed in [1], [2], [11]. Concept of Soft topological spaces is introduced in [22], wheresoft separation axioms have been studied as well. Further contributions to the sameconcepts have been added by many authors in [4], [3], [12].
Topology is an important branch of mathematics. Separation axioms in topologyare among the most beautiful and interesting concepts. Various generalizations ofseparation axioms have been studied for generalized topological spaces. It is inter-esting to see that when classical notions are replaced by new generalized concepts,several new results emerge. Kelly[5] introduced the concept of bitopological spacesand studied the separation properties for bitopological spaces. These separationaxioms are actually pair-wise separation axioms. In later years, many researchersstudied bitopological spaces[6], [8], [9], [14], [15], [18], [20], [21] due to the richness of theirstructure and potential for carrying out a wide scope for the generalization of topo-logical results in bitopological environment. Our present work is also a continuationof this trend.
In the present paper, concept of soft topological spaces have been generalizedto initiate the study of bi-soft topological spaces. In section 2, some preliminaryconcepts about bitopological spaces and soft topological spaces are given. Section3 is devoted for the study of bi-soft topological spaces. The basic structure of a
2000 Mathematics Subject Classification. Primary 05C38, 15A15; Secondary 05A15, 15A18.Key words and phrases. Bitopological Spaces, Soft Topology, Soft Sets, Soft Open Sets, Soft
Closed Sets, Separation Axioms.
1
2 MUNAZZA NAZ, MUHAMMAD SHABIR, AND MUHAMMAD IRFAN ALI
bi-soft topological space over an initial universal set X , with a fixed set of param-eters has been given. The concept of pair-wise soft separation axioms for bi-softtopological spaces is studied section 4. Properties of pair-wise soft T0, T1, andT2−spaces and their relations with the corresponding soft T0, T1, and T2−spaceshave been discussed here. Main goal of this paper is to study the implications ofthese generalized separation axioms in soft and crisp cases. Several results in thisregards have been presented. This study focuses on question: If a pair-wise softTi−space (i = 0, 1, 2), say (X, T1, T2, E), over a ground set X is given, what canbe said about the situations,
(1) both (X, T1, E) and (X, T2, E) are soft Ti−spaces,(2) (X, T1 ∨ T2, E) is a soft Ti−space,(3) the parameterized bitopological spaces (X, T1e, T2e) are Ti−spaces for all
e ∈ E,(4) bi-soft subspaces (Y, T1Y , T2Y , E) are Ti−spaces for ∅ 6= Y ⊂ X .
Furthermore characterizations theorem is proved for pair-wise soft Hausdorffspace. Finally in section 5 an application of bi-soft topological spaces is suggestedin rough set theory.
2. Preliminaries
In this section some basic concepts about bitopological spaces and soft topolog-ical spaces are presented.
Definition 1. [5]A bitopological space is the triplet (X,P ,Q) where X is a non-empty set, P and Q are two topologies on X.
Definition 2. [14]A bitopological space (X,P ,Q) is said to be pair-wise T0 if foreach pair of distinct points of X, there is a P-open set or a Q-open set containingone of the points, but not the other.
Definition 3. [20]A bitopological space (X,P ,Q) is said to be pair-wise T1, if foreach pair of distinct points x, y there exist U ∈ P, V ∈ Q such that x ∈ U , y /∈ Vand x /∈ U , y ∈ V .
Definition 4. [5]A bitopological space (X,P ,Q) is said to be pair-wise T2, if givendistinct points x, y ∈ X, there exist U ∈ P, V ∈ Q such that x ∈ U , y ∈ V ,U ∩ V = ∅.
In the following some concepts about soft sets and soft topological spaces aregiven.
Let X be an initial universe set and E be the non-empty set of parameters.
Definition 5. [13] Let U be an initial universe and E be a set of parameters. LetP(X) denotes the power set of X and A be a non-empty subset of E. A pair (F ,A)is called a soft set over X, where F is a mapping given by F : A → P(X).
In other words, a soft set over X is a parametrized family of subsets of theuniverse X . For ε ∈ A, F (ε) may be considered as the set of ε−approximateelements of the soft set (F ,A). Clearly, a soft set is not a set.
Definition 6. [1] For two soft sets (F ,A) and (G,B) over a common universe X,we say that (F ,A) is a soft subset of (G,B) if
(1) A ⊆ B and
SEPARATION AXIOMS IN BI-SOFT TOPOLOGICAL SPACES 3
(2) F (e) ⊆ G(e), for all e ∈ A.
We write (F ,A)⊂(G,B).(F ,A) is said to be a soft super set of (G,B), if (G,B) is a soft subset of (F ,A).
We denote it by (F ,A)⊃(G,B).
Definition 7. [1]A soft set (F ,A) over X is said to be a NULL soft set denoted byΦ if for all ε ∈ A, F (ε) = ∅ (null set).
Definition 8. [1] A soft set (F ,A) over X is said to be absolute soft set denoted by
A if for all e ∈ A, F (e) = X.
Definition 9. [1]The Union of two soft sets (F ,E) and (G,E) over the commonuniverse X is the soft set (H,E), where H(e) = F (e) ∪ G(e) for all e ∈ E. Wewrite (F,E) ∪ (G,E) = (H,E).
Definition 10. [1]The intersection of two soft sets (F,E) and (G,E) over a com-mon universe X, is a soft set (H,E) = (F,E) ∩ (G,E), defined by H(e) = F (e) ∩G(e) for all e ∈ E.
Definition 11. [22]The difference (H,E) of two soft sets (F ,E) and (G,E) overX, denoted by (F,E)− (G,E), is defined as H(e) = F (e)−G(e) for all e ∈ E,
Definition 12. [22]Let (F ,E) be a soft set over X and x ∈ X. We say thatx ∈ (F,E) read as x belongs to the soft set (F ,E) whenever x ∈ F (α) for all α ∈ E.
Note that for any x ∈ X , x /∈ (F ,E), if x /∈ F (α) for some α ∈ E.
Definition 13. [22]Let Y be a non-empty subset of X, then Y denotes the soft set(Y,E) over X for which Y (α) = Y , for all α ∈ E.
In particular, (X,E) will be denoted by X.
Definition 14. [22]Let x ∈ X. Then (x,E) denotes the soft set over X for whichx(α) = {x}, for all α ∈ E.
Definition 15. [22]Let (F ,E) be a soft set over X and Y be a non-empty subset ofX. Then the soft subset of (F ,E) over Y denoted by (Y F ,E), is defined as follows
Y F (α) = Y ∩ F (α), for all α ∈ E
In other words (Y F,E) = Y ∩ (F,E).
Definition 16. [22]The complement of a soft set (F,E) is denoted by (F,E)c andis defined by (F,E)c = (F c, E) where F c : E → P(X) is a mapping given by
F c(α) = X − F (α) for all α ∈ E.
Proposition 1. [22]Let (F,E) and (G,E) be the soft sets over X. Then
(1) ((F,E) ∪ (G,E))c = (F,E)c ∩ (G,E)c,(2) ((F,E) ∩ (G,E)c = (F,E)c ∪ (G,E)c.
Definition 17. [22]Let T be the collection of soft sets over X. Then T is said tobe a soft topology on X if
(1) Φ, X belong to T(2) the union of any number of soft sets in T belongs to T(3) the intersection of any two soft sets in T belongs to T .
4 MUNAZZA NAZ, MUHAMMAD SHABIR, AND MUHAMMAD IRFAN ALI
The triplet (X,T ,E) is called a soft topological space over X.
Example 1. [22]Let X = {h1,h2,h3}, E = {e1,e2} and
T = {Φ,X,(F1,E),(F2,E),(F3,E),(F4,E), (F5,E)} where (F1,E),(F2,E),(F3,E),(F4,E),and (F5,E) are soft sets over X, defined as follows:
F1(e1) = {h2}, F1(e2) = {h1},F2(e1) = {h2, h3}, F2(e2) = {h1, h2},F3(e1) = {h1, h2}, F3(e2) = X,F4(e1) = {h1, h2}, F4(e2) = {h1, h3},F5(e1) = {h2}, F4(e2) = {h1, h2}.
Then T defines a soft topology on X and hence (X,T ,E) is a soft topological spaceover X.
Definition 18. [22]Let (X,T ,E) be a soft topological space over X. Then the mem-bers of T are said to be soft open sets in X.
Definition 19. [22]Let (X,T ,E) be a soft topological space over X. A soft set(F,E) over X is said to be a soft closed set in X, if its relative complement (F,E)c
belongs to T .
Definition 20. [22]Let (X,T ,E) be a soft topological space over X and (F ,E) be a
soft set over X. Then the soft closure of (F ,E), denoted by (F,E) is the intersectionof all soft closed super sets of (F ,E).
Definition 21. [22]Let (X,T ,E) be a soft topological space over X and Y be anon-empty subset of X. Then
TY = { (Y F,E) | (F,E) ∈ T }
is said to be the soft relative topology on Y and (Y ,TY ,E) is called a soft subspaceof (X,T ,E).
Definition 22. [22]Let (X,T ,E) be a soft topological space over X and x,y ∈ X besuch that x 6= y. If there exist soft open sets (F ,E) and (G,E) such that
”x ∈ (F ,E) and y /∈ (F ,E)” or ”y ∈ (G,E) and x /∈ (G,E)”, then (X,T ,E) iscalled a soft T0−space.
Definition 23. [22]Let (X,T ,E) be a soft topological space over X and x,y ∈ X besuch that x 6= y. If there exist soft open sets (F ,E) and (G,E) such that
”x ∈ (F ,E) and y /∈ (F ,E)” and ”y ∈ (G,E) and x /∈ (G,E)”, then (X,T ,E) iscalled a soft T1−space.
Definition 24. [22]Let (X,T ,E) be a soft topological space over X and x,y ∈ X besuch that x 6= y. If there exist soft open sets (F ,E) and (G,E) such that
x ∈ (F ,E), y ∈ (G,E) and (F ,E) ∩ (G,E) = Φ, then (X,T ,E) is called a softT2−space.
3. Bi-Soft Topological Spaces
In this section study of bi-soft topological spaces is initiated.
Definition 25. Let T1 and T2 be two soft topologies on X. Then the quadruple(X, T1, T2, E) is said to be a bi-soft topological space over X.
SEPARATION AXIOMS IN BI-SOFT TOPOLOGICAL SPACES 5
Example 2. Let X = {h1, h2, h3}, E = {e1, e2}. Let
T1 = {Φ, X, (F1, E), (F2, E)}, and
T2 = {Φ, X, (G1, E), (G2, E), (G3, E), (G4, E)},
where (F1, E), (F2, E), (G1, E), (G2, E), (G3, E), (G4, E) are soft sets over X, de-fined as follows:
F1(e1) = {h1}, F1(e2) = {h1, h2},F2(e1) = {h1, h3}, F2(e2) = X,
andG1(e1) = {h1}, G1(e2) = {h2},G2(e1) = {h1, h2}, G2(e2) = {h2},G3(e1) = {h2}, G3(e2) = {h2},G4(e1) = {}, G4(e2) = {h2}.
Then T1 and T2 are soft topologies on X. Thus (X, T1, T2, E) is a bi-soft topologicalspace over X.
Proposition 2. Let (X, T1, T2, E) be a bi-soft topological space over X. We define
T1e = {F (e)|(F,E) ∈ T1}
T2e = {G(e)|(G,E) ∈ T2}
for each e ∈ E. Then (X, T1e, T2e) is a bitopological space.
Proof. Follows from the fact that T1e, and T2e are topologies on X for each e ∈E. �
Proposition 2 shows that corresponding to each parameter e ∈ E, we have abitopological space X . Thus a bi-soft topology on X gives a parameterized familyof bitopological spaces.
Example 3. Let X = {h1, h2, h3}, E = {e1, e2} and
T1 = {Φ, X, (F1, E), (F2, E), (F3, E), (F4, E), (F5, E)}, and
T2 = {Φ, X, (G1, E), (G2, E), (G3, E), (G4, E)},
where (F1, E), (F2, E), (F3, E), (F4, E), (F5, E), (G1, E), (G2, E), (G3, E), and (G4, E)are soft sets over X, defined as follows:
F1(e1) = {h2}, F1(e2) = {h1},F2(e1) = {h2, h3}, F2(e2) = {h1, h2},F3(e1) = {h1, h2}, F3(e2) = X,F4(e1) = {h1, h2}, F4(e2) = {h1, h3},F5(e1) = {h2}, F5(e2) = {h1, h2},
andG1(e1) = {h1}, G1(e2) = {h2},G2(e1) = {h1, h2}, G2(e2) = {h2},G3(e1) = {h2}, G3(e2) = {h2},G4(e1) = {}, G4(e2) = {h2}.
Then T1 and T2 are soft topologies on X. Therefore (X, T1, T2, E) is a bi-softtopological space over X. It can be easily seen that
T1e1 = {∅, X, {h2}, {h1, h2}, {h2, h3}},
T2e1 = {∅, X, {h1}, {h2}, {h1, h2}},
6 MUNAZZA NAZ, MUHAMMAD SHABIR, AND MUHAMMAD IRFAN ALI
and
T1e2 = {∅, X, {h1}, {h1, h3}, {h1, h2}},
T2e2 = {∅, X, {h2}},
are topologies on X. Thus (X, T1e1 , T2e1) and (X, T1e2 , T2e2) are bitopological spacescorresponding to parameters.
We have seen in [22] that the intersection of two soft topologies is again a softtopology on X but the union of two soft topologies need not be a soft topology andits examples can be found in [22]. Now we define the supremum soft topology:
Definition 26. Let (X, T1, E) and (X, T2, E) be two soft topological spaces over X.Let T1 ∨ T2 be the smallest soft topology on X that contains T1 ∪ T2.
Example 4. Let X = {h1, h2, h3}, E = {e1, e2}. Let
T1 = {Φ, X, (F1, E), (F2, E)}, and
T2 = {Φ, X, (G1, E), (G2, E), (G3, E), (G4, E)},
where (F1, E), (F2, E), (G1, E), (G2, E), (G3, E), (G4, E) are soft sets over X, de-fined as follows:
F1(e1) = {h1}, F1(e2) = {h1, h2},F2(e1) = {h1, h3}, F2(e2) = X,
andG1(e1) = {h1}, G1(e2) = {h2},G2(e1) = {h1, h2}, G2(e2) = {h2},G3(e1) = {h2}, G3(e2) = {h2},G4(e1) = {}, G4(e2) = {h2}.
Then T1 and T2 are soft topologies on X. Now
T1 ∨ T2 = {Φ, X, (F1, E), (F2, E), (G1, E), (G2, E), (G3, E), (G4, E), (H1, E)}
where
H1(e1) = {h1, h2}, H1(e2) = {h1, h2},
Thus (X, T1 ∨ T2, E) is the smallest soft topological space over X that containsT1 ∪ T2.
4. Bi-Soft Separation Axioms
In the last section concept of bi-soft topological spaces has been introduced. Inthis section separation axioms for bi-soft topological spaces are being studied.
Definition 27. A bi-soft topological space (X, T1, T2, E) over X is said to be pair-wise soft T0−space if for every pair of distinct points x,y ∈ X, there is a T1−softopen set (F,E) such that x ∈ (F,E) and y /∈ (F,E) or a T2−soft open set (G,E)such that x /∈ (G,E) and y ∈ (G,E).
Example 5. Let X be any non-empty set and E be a set of parameters. Consider
T1 = {Φ, X} Soft indiscrete topology over X
T2 = {(F,E)|(F,E) is a soft set over X} Soft discrete topology over X
Then (X, T1, T2, E) is a pair-wise soft T0−space.
SEPARATION AXIOMS IN BI-SOFT TOPOLOGICAL SPACES 7
Proposition 3. Let (X, T1, T2, E) be a bi-soft topological space over X. If (X, T1, E)or (X, T2, E) is a soft T0−space then (X, T1, T2, E) is a pair-wise soft T0−space.
Proof. Let x,y ∈ X be such that x 6= y. Suppose that (X, T2, E) is a soft T0−space.Then there exist some (F,E) ∈ T1 such that x ∈ (F,E) and y /∈ (F,E) or some(G,E) ∈ T2 such that y ∈ (G,E) and x /∈ (G,E). In either case we obtain therequirement and so (X, T1, T2, E) is a pair-wise soft T0−space. �
Remark 1. The converse of Proposition 3 is not true in general.
Example 6. Let X = {h1, h2, h3, h4}, E = {e1, e2} and
T1 = {Φ, X, (F,E)}, and
T2 = {Φ, X, (G1, E), (G2, E), (G3, E)},
where (F,E), (G1, E), (G2, E), and (G3, E) are soft sets over X, defined as follows:
F (e1) = {h1, h3}, F (e2) = {h3},
andG1(e1) = {h3, h4}, G1(e2) = {h1, h4},G2(e1) = {h2}, G2(e2) = {h2},G3(e1) = {h2, h3, h4}, G3(e2) = {h1, h2, h4}.
Then T1 and T2 are soft topologies on X. Therefore (X, T1, T2, E) is a bi-softtopological space over X.
Now h1, h2 ∈ X and (G2, E) ∈ T2 such that
h2 ∈ (G2, E), h1 /∈ (G2, E).
h1, h3 ∈ X and (F,E) ∈ T1 such that
h3 ∈ (F,E), h1 /∈ (F,E).
h1, h4 ∈ X and (G1, E) ∈ T2 such that
h4 ∈ (G1, E), h1 /∈ (G1, E).
h2, h3 ∈ X and (G2, E) ∈ T2 such that
h2 ∈ (G2, E), h3 /∈ (G2, E).
h2, h4 ∈ X and (G2, E) ∈ T2 such that
h2 ∈ (G2, E), h4 /∈ (G2, E).
Finally h3, h4 ∈ X and (G3, E) ∈ T2 such that
h4 ∈ (G3, E), h3 /∈ (G3, E).
Thus (X, T1, T2, E) is a pair-wise soft T0− space over X.We observe that h1, h2 ∈ X and there does not exist any (F,E) ∈ T1 such that
h1 ∈ (F,E), h2 /∈ (F,E) or h2 ∈ (F,E), h1 /∈ (F,E). Therefore (X, T1, E) isnot a soft T0− space over X. Similarly h1, h3 ∈ X and there does not exist any(G,E) ∈ T2 such that h1 ∈ (G,E), h3 /∈ (G,E) or h3 ∈ (G,E), h1 /∈ (G,E) so(X, T2, E) is not a soft T0− space also.
Proposition 4. Let (X, T1, T2, E) be a bi-soft topological space over X. If (X, T1, T2, E)is a pair-wise soft T0−space then (X, T1 ∨ T2, E) is a soft T0−space.
8 MUNAZZA NAZ, MUHAMMAD SHABIR, AND MUHAMMAD IRFAN ALI
Proof. Let x,y ∈ X be such that x 6= y. Then there exists some (F,E) ∈ T1 suchthat x ∈ (F,E) and y /∈ (F,E) or some (G,E) ∈ T2 such that y ∈ (G,E) andx /∈ (G,E). In either case (F,E), (G,E) ∈ T1 ∨ T2. Hence (X, T1 ∨ T2, E) is a softT0−space. �
Remark 2. The converse of Proposition 4, is not true. This is shown by thefollowing example:
Example 7. Let X = {h1, h2, h3, h4}, E = {e1, e2} and
T1 = {Φ, X, (F1, E), (F2, E)}, and
T2 = {Φ, X, (G,E)},
where (F1, E), (F2, E), and (G,E) are soft sets over X, defined as follows:
F1(e1) = {h1, h4}, F1(e2) = {h4},F2(e1) = {h4}, F2(e2) = {},
and
G(e1) = {h2, h4}, G(e2) = {h1, h2}.
Then T1 and T2 are soft topologies on X. Therefore (X, T1, T2, E) is a bi-softtopological space over X. Now
T1 ∨ T2 = {Φ, X, (F1, E), (F2, E), (G,E), (H,E)}
where
H(e1) = {h1, h2, h4}, H(e2) = {h1, h2, h4},
so (X, T1 ∨ T2, E) is a soft topological space over X that contains T1 ∪ T2.For h1, h3 ∈ X, we cannot find any soft sets (F,E) ∈ T1 or (G,E) ∈ T2 such
that
h1 ∈ (F,E), h3 /∈ (F,E) or
h3 ∈ (G,E), h1 /∈ (G,E).
Thus (X, T1, T2, E) is not pair-wise soft T0−space.Now h1, h2 ∈ X and (G,E) ∈ T2 such that
h2 ∈ (G,E), h1 /∈ (G,E).
h1, h3 ∈ X and (H,E) ∈ T1 ∨ T2 such that
h1 ∈ (H,E), h3 /∈ (H,E).
h1, h4 ∈ X and (F1, E) ∈ T1 such that
h4 ∈ (F1, E), h1 /∈ (F1, E).
h2, h3 ∈ X and (G,E) ∈ T2 such that
h2 ∈ (G,E), h3 /∈ (G,E).
h2, h4 ∈ X and (F1, E) ∈ T1 such that
h4 ∈ (F1, E), h2 /∈ (F1, E).
Finally h3, h4 ∈ X and (F1, E) ∈ T1 such that
h4 ∈ (F1, E), h3 /∈ (F1, E).
Thus (X, T1 ∨ T2, E) is a soft T0− space over X.
SEPARATION AXIOMS IN BI-SOFT TOPOLOGICAL SPACES 9
Example 8. Let X = {h1, h2, h3, h4}, E = {e1, e2} and
T1 = {Φ, X, (F,E)}, and
T2 = {Φ, X, (G1, E), (G2, E), (G3, E)},
where (F,E), (G1, E), (G2, E), and (G3, E) are soft sets over X, defined as follows:
F (e1) = {h1, h3}, F (e2) = {h3},
andG1(e1) = {h3, h4}, G1(e2) = {h1, h4},G2(e1) = {h2}, G2(e2) = {h2},G3(e1) = {h2, h3, h4}, G3(e2) = {h1, h2, h4}.
Then T1 and T2 are soft topologies on X. Therefore (X, T1, T2, E) is a bi-soft topo-logical space over X. Also observe that (X, T1, T2, E) is a pair-wise soft T0−space.Now
T1e1 = {∅, X, {h1, h3}},
T2e1 = {∅, X, {h3}},
and
T2e2 = {∅, X, {h2}, {h3, h4}, {h2, h3, h4}},
T2e2 = {∅, X, {h2}, {h1, h4}, {h1, h2, h4}},
are corresponding parametrized topologies on X. Considering the bitopological space(X, T1e1 , T2e1), one can easily see that h2, h4 ∈ X and there do not exist anyT1e1−open set X such that h2 ∈ X, h4 /∈ X or T2e1−open set V such that h4 ∈ V ,h2 /∈ V . Thus (X, T1e1 , T2e1) is not a pair-wise T0−space.
Example 8, shows that the parametrized bitopological spaces need not be pair-wise T0 even if the given bi-soft topological space is pair-wise soft T0−space. Follow-ing proposition will provide us an alternative condition that resolves this problemwhile looking for the corresponding parameterized families.
Proposition 5. Let (X, T1, T2, E) be a bi-soft topological space over X and x,y ∈ Xbe such that x 6= y. If there exists a T1−soft open set (F,E) such that x ∈ (F ,E)and y ∈ (F ,E)c or a T2−soft open set (G,E) such that y ∈ (G,E) and x ∈ (G,E)c,then (X, T1, T2, E) is a pair-wise soft T0−space over X and (X, T1e, T2e) is a pair-wise T0−space for each e ∈ E.
Proof. Let x,y ∈ X be such that x 6= y and (F,E) ∈ T1 such that x ∈ (F,E)and y ∈ (F,E)c Or (G,E) ∈ T2 such that y ∈ (G,E) and x ∈ (G,E)c. If y ∈ (F,E)c
then y ∈ (F (e))c for each e ∈ E. This implies that y /∈ F (e) for each e ∈ E.Therefore y /∈ (F,E). Similarly we can show that if x ∈ (G,E)c then x /∈ (G,E).Hence (X, T1, T2, E) is a pair-wise soft T0−space. Now for any e ∈ E, (X, T1e, T2e)is a bitopological space. By above discussion we have x ∈ F (e) ∈ T1e and y /∈ F (e)or y ∈ G(e) ∈ T2e and x /∈ G(e). Thus (X, T1e, T2e) is a pair-wise T0−space. �
Proposition 6. Let (X, T1, T2, E) be a bi-soft topological space over X and Ybe a non-empty subset of X. If (X, T1, T2, E) is a pair-wise soft T0−space then(Y, T1Y , T2Y , E) is also a pair-wise soft T0−space.
10 MUNAZZA NAZ, MUHAMMAD SHABIR, AND MUHAMMAD IRFAN ALI
Proof. Let x,y ∈ Y be such that x 6= y. Then there exists some soft set (F,E) ∈ T1or (G,E) ∈ T2 such that x ∈ (F,E) and y /∈ (F,E) or y ∈ (G,E) and x /∈(G,E). Suppose that there exists some soft set (F,E) ∈ T1 such that x ∈ (F,E)
and y /∈ (F,E). Now x ∈ Y implies that x ∈ Y . So x ∈ Y and x ∈ (F,E). Hence
x ∈ Y ∩ (F,E) = (Y F,E). Consider y /∈ (F,E), this means that y /∈ F (e) for some
e ∈ E. Then y /∈ Y ∩ F (e) = Y (e) ∩ F (e). Therefore y /∈ Y ∩ (F,E) = (Y F,E).Similarly it can be proved that if y ∈ (G,E) and x /∈ (G,E) then y ∈ (Y G,E) andx /∈ (Y G,E). Thus (Y, T1Y , T2Y , E) is also a pair-wise soft T0−space. �
Definition 28. A bi-soft topological space (X, T1, T2, E) over X is said to be pair-wise soft T1−space if for every pair of distinct points x,y ∈ X, there is a T1−softopen set (F,E) such that x ∈ (F,E) and y /∈ (F,E) and a T2−soft open set (G,E)such that x /∈ (G,E) and y ∈ (G,E).
Example 9. Let X = {h1, h2, h3}, E = {e1, e2} and
T1 = {Φ, X, (F1, E), (F2, E), (F3, E), (F4, E), (F5, E), (F6, E), (F7, E)}, and
T2 = {Φ, X, (G1, E), (G2, E), (G3, E), (G4, E), (G5, E), (G6, E)},
where (F1, E), (F2, E), (F3, E), (F4, E), (F5, E), (F6, E), (F7, E), (F8, E), (G1, E),(G2, E), (G3, E), (G4, E), (G5, E) and (G6, E) are soft sets over X, defined asfollows:
F1(e1) = {h1}, F1(e2) = {h1, h3},F2(e1) = {h3}, F2(e2) = {h3},F3(e1) = {h1, h3}, F3(e2) = {h1, h3},F4(e1) = {}, F4(e2) = {h3},F5(e1) = {h2, h3}, F5(e2) = {h2},F6(e1) = {h3}, F6(e2) = {},F7(e1) = {h2, h3}, F7(e2) = {h2, h3},
andG1(e1) = {h2}, G1(e2) = {h2},G2(e1) = {h3}, G2(e2) = {h3},G3(e1) = {h2, h3}, G3(e2) = {h2, h3},G4(e1) = {h1, h2}, G4(e2) = {h1, h2},G5(e1) = {h1, h3}, G5(e2) = {h1, h3},G6(e1) = {h1}, G6(e2) = {h1}.
Then T1 and T2 are soft topologies on X. Therefore (X, T1, T2, E) is a bi-softtopological space over X. One can easily see that (X, T1, T2, E) is a pair-wise softT1−space over X.
Proposition 7. Let (X, T1, T2, E) be a bi-soft topological space over X. Then(X, T1, T2, E) is a pair-wise soft T1−space if and only if (X, T1, E) and (X, T2, E)are soft T1−spaces.
Proof. Let x,y ∈ X be such that x 6= y. Suppose that (X, T1, E) and (X, T2, E)are soft T1−spaces. Then there exist some (F,E) ∈ T1 and (G,E) ∈ T2 such thatx ∈ (F,E) and y /∈ (F,E) and y ∈ (G,E) and x /∈ (G,E). In either case we obtainthe requirement and so (X, T1, T2, E) is a pair-wise soft T1−space. Conversely weassume that (X, T1, T2, E) is a pair-wise soft T1−space. Then there exist some(F1, E) ∈ T1 and (G1, E) ∈ T2 such that x ∈ (F1, E) and y /∈ (F1, E) and y ∈(G1, E) and x /∈ (G1, E). Also there exist soft sets (F2, E) ∈ T1 and (G2, E) ∈ T2
SEPARATION AXIOMS IN BI-SOFT TOPOLOGICAL SPACES 11
such that y ∈ (F2, E) and x /∈ (F2, E) and x ∈ (G2, E) and y /∈ (G2, E). Thus(X, T1, E) and (X, T2, E) are soft T1−spaces. �
Proposition 8. Let (X, T1, T2, E) be a bi-soft topological space over X. If (X, T1, T2, E)is a pair-wise soft T1−space then (X, T1 ∨ T2, E) is also a soft T1−space.
Proof. Let x,y ∈ X be such that x 6= y. There exists (F,E) ∈ T1 such thatx ∈ (F,E), y /∈ (F,E) and (G,E) ∈ T2 such that y ∈ (G,E) and x /∈ (G,E). So(F,E), (G,E) ∈ T1 ∨ T2 and thus (X, T1 ∨ T2, E) is a soft T1−space. �
Remark 3. The converse of Proposition 8, is not true. This is shown by thefollowing example:
Example 10. Let X = {h1, h2}, E = {e1, e2} and
T1 = {Φ, X, (F,E)}, and
T2 = {Φ, X, (G,E)},
where (F,E), and (G,E) are soft sets over X, defined as follows:
F (e1) = {h1}, F (e2) = X,G(e1) = X, G(e2) = {h2}.
Then T1 and T2 are soft topologies on X. Therefore (X, T1, T2, E) is a bi-softtopological space over X. Both of (X, T1, E) and (X, T2, E) are not soft T1−spacesover X and so (X, T1, T2, E) is not a pair-wise soft T1−space by Proposition 7. Now
T1 ∨ T2 = {Φ, X, (F,E), (G,E), (H,E)}
where
H(e1) = {h1}, H(e2) = {h2}.
So (X, T1∨T2, E) is a soft topological space over X containing T1∪T2. For h1, h2 ∈X, (F,E) ∈ T1, (G,E) ∈ T2 such that
h1 ∈ (F,E), h2 /∈ (F,E) and h2 ∈ (G,E), h1 /∈ (G,E).
Thus (X, T1 ∨ T2, E) is a soft T1−space over X.
Consider the following example:
Example 11. Let X = {h1, h2}, E = {e1, e2} and
T1 = {Φ, X, (F1, E), (F2, E), (F3, E)}, and
T2 = {Φ, X, (G1, E), (G2, E), (G3, E)},
where (F1, E), (F2, E), (F3, E), (G1, E), (G2, E), and (G3, E) are soft sets over X,defined as follows:
F1(e1) = {h2}, F1(e2) = X,F2(e1) = X, F2(e2) = {h1},F3(e1) = {h2}, F3(e2) = {h1},
andG1(e1) = {h1}, G1(e2) = X,G2(e1) = X, G2(e2) = {h2},G3(e1) = {h1}, G3(e2) = {h2}.
12 MUNAZZA NAZ, MUHAMMAD SHABIR, AND MUHAMMAD IRFAN ALI
Then T1 and T2 are soft topologies on X. Therefore (X, T1, T2, E) is a bi-softtopological space over X. Both of (X, T1, E) and (X, T2, E) are soft T1−spaces overX and so (X, T1, T2, E) is also a pair-wise soft T1−space by Proposition 7. Now
T1e1 = {∅, X, {h2}},
T2e1 = {∅, X, {h1}},
and
T2e2 = {∅, X, {h1}},
T2e2 = {∅, X, {h2}},
are corresponding parametrized topologies on X. Considering the bitopological space(X, T1e1 , T2e1), we see that h1, h2 ∈ X and there do not exist any T1e1−open set Usuch that h1 ∈ U , h2 /∈ U and T2e1−open set V such that h2 ∈ V , h1 /∈ V .Thus (X, T1e1 , T2e1 ) is not a pair-wise T1−space. Similarly (X, T1e2 , T2e2 ) is not apair-wise T1−space too.
The following proposition will provide us the condition that will address thisproblem when we go for the corresponding parameterized topologies.
Proposition 9. Let (X, T1, T2, E) be a bi-soft topological space over X and x,y ∈ Xbe such that x 6= y. If there exist a T1−soft open set (F,E) such that x ∈ (F ,E),y ∈ (F ,E)c and a T2−soft open set (G,E) such that y ∈ (G,E), x ∈ (G,E)c, then(X, T1, T2, E) is a pair-wise soft T1−space over X and (X, T1e, T2e) is a pair-wiseT1−space for each e ∈ E.
Proof. Straightforward. �
Proposition 10. Let (X, T1, T2, E) be a bi-soft topological space over X and Ybe a non-empty subset of X. If (X, T1, T2, E) is a pair-wise soft T1−space then(Y, T1Y , T2Y , E) is also a pair-wise soft T1−space.
Proof. Let x,y ∈ Y be such that x 6= y. Then there exist soft sets (F,E) ∈ T1 and(G,E) ∈ T2 such that x ∈ (F,E), y /∈ (F,E) and y ∈ (G,E), x /∈ (G,E). Now
x ∈ Y implies that x ∈ Y . Hence x ∈ Y ∩ (F,E) = (Y F,E) where (F,E) ∈ T1.Consider y /∈ (F,E), this means that y /∈ F (e) for some e ∈ E. Then y /∈ Y ∩F (e) =
Y (e) ∩ F (e). Therefore y /∈ Y ∩ (F,E) = (Y F,E). Similarly it can also be provedthat y ∈ (G,E) and x /∈ (G,E) implies that y ∈ (Y G,E) and x /∈ (Y G,E). Thus(Y, T1Y , T2Y , E) is also a pair-wise soft T1−space. �
Proposition 11. Every pair-wise soft T1−space is also a pair-wise soft T0−space.
Proof. Straightforward. �
Example 12. Example 5 is a pair-wise soft T0−space which is not a pair-wise softT1− space over X. Another example is given by taking X = {h1, h2}, E = {e1, e2}and
T1 = {Φ, X, (F,E)}, and
T2 = {Φ, X, (G,E)},
where (F,E), and (G,E) are soft sets over X, defined as follows:
F (e1) = X, F (e2) = {h2},G(e1) = {h1}, G(e2) = X.
SEPARATION AXIOMS IN BI-SOFT TOPOLOGICAL SPACES 13
Then T1 and T2 are soft topologies on X. Therefore (X, T1, T2, E) is a bi-softtopological space over X. Both of (X, T1, E) and (X, T2, E) are not soft T1−spacesover X and so (X, T1, T2, E) is not a pair-wise soft T1−space by Proposition 7, butit is evident that (X, T1, T2, E) is a pair-wise soft T0−space over X.
Definition 29. A bi-soft topological space (X, T1, T2, E) over X is said to be pair-wise soft T2−space or pair-wise Hausdorff space if for every pair of distinct pointsx,y ∈ X, there is a T1−soft open set (F,E) and a T2−soft open set (G,E) suchthat x ∈ (F,E) and y ∈ (G,E) and (F,E) ∩ (G,E) = Φ.
Proposition 12. Let (X, T1, T2, E) be a bi-soft topological space over X. If (X, T1, T2, E)is a pair-wise soft T2−space over X then (X, T1e, T2e) is a pair-wise T2−space foreach e ∈ E.
Proof. Suppose that (X, T1, T2, E) is a pair-wise soft T2−space over X . For anye ∈ E
T1e = {F (e) | (F,E) ∈ T1 }
T2e = {G(e) | (G,E) ∈ T2 }.
Let x,y ∈ X be such that x 6= y, then there exist (F,E) ∈ T1, (G,E) ∈ T2 suchthat
x ∈ (F,E), y ∈ (G,E) and (F,E) ∩ (G,E) = Φ
This implies that
x ∈ F (e) ∈ T1e, y ∈ G(e) ∈ T2e and F (e) ∩G(e) = ∅.
Thus (X, T1e, T2e) is a pair-wise T2−space for each e ∈ E. �
Remark 4. Let (X, T1, T2, E) be a pair-wise soft T2−space over X then (X, T1, E)and (X, T2, E) need not be soft T2−spaces over X.
Example 13. Let X be an infinite set and E be the set of parameters. We define
T1 = {(F,E)|(F,E) is a soft set over X} ’ Soft discrete topology over X’
T2 = {Φ} ∪ {(F,E)|(F,E) is a soft set over X and F c(e) is finite for all e ∈ E}.
Obviously T1 is a soft topology over X. We verify for T2 as:
(1) Φ ∈ T2 and Xc = Φ ⇒ X ∈ T2.(2) Let {(Fi, E)| i ∈ I } be a collection of soft sets in T2. For any e ∈ E, F c
i (e)is finite for all i ∈ I so that ∩
i∈IF ci (e) = ( ∪
i∈IFi)
c(e) is also finite. This
means that ∪i∈I
(Fi, E) ∈ T2.
(3) Let (F,E), (G,E) ∈ T2. Since F c(e), and Gc(e) are finite sets so as theirunion F c(e) ∪Gc(e). Thus (F ∩G)c(e) is finite for all e ∈ E which showsthat (F,E) ∩ (G,E) ∈ T2.
Then T1 and T2 are soft topologies on X. For any x, y ∈ X where x 6= y,(x,E) ∈ T1 and (x,E)c ∈ T2 such that
x ∈ (x,E), y ∈ (x,E)c and (x,E) ∩ (x,E)c = Φ.
Thus (X, T1, T2, E) is a pair-wise soft T2−space over X.Now, we suppose that there are soft sets (G1, E), (G2, E) ∈ T2 such that
x ∈ (G1, E), y ∈ (G2, E) and (G1, E) ∩ (G2, E) = Φ.
14 MUNAZZA NAZ, MUHAMMAD SHABIR, AND MUHAMMAD IRFAN ALI
But then, we must have (G1, E)⊂(G2, E)c ⇒ G1(e) ⊆ Gc2(e) for all e ∈ E, which
is not possible because G1(e) is infinite and Gc2(e) is finite. Therefore (X, T2, E) is
not a soft T2−space over X.
Remark 5. Let (X, T1, E) and (X, T2, E) be soft T2−spaces over X then (X, T1, T2, E)need not be a pair-wise soft T2−space over X.
Example 14. Let X be an infinite set and E be the set of parameters. Let x 6= y,where x, y ∈ X, we define
T (x)1 = {(F,E)|x ∈ (F,E)c is a soft set over X} ∪ {(F,E)|(F,E) is a
soft set over X and F c(e) is finite for all e ∈ E}}
T (y)2 = {(G,E)|y ∈ (G,E) is a soft set over X} ∪ {(G,E)|(G,E) is a
soft set over X and Gc(e) is finite for all e ∈ E}}.
We verify for T (x)1 as:
(1) x /∈ Φ ⇒ Φ ∈ T (x)1 and Xc = Φ ⇒ X ∈ T (x)1.(2) Let {(Fi, E)| i ∈ I } be a collection of soft sets in T (x)1. We have following
three cases:(i): If x ∈ (Fi, E)c for all i ∈ I then x ∈ ∩
i∈I(Fi, E)c so, in this case,
∪i∈I
(Fi, E) ∈ T (x)1.
(ii): If (Fi, E) is such that F ci (e) is finite for all e ∈ E so F c
i (e) is finitefor all i ∈ I implies that ∩
i∈IF ci (e) = ( ∪
i∈IFi)
c(e) is also finite. This
means that ∪i∈I
(Fi, E) ∈ T (x)1.
(iii): If there exist some j, k ∈ I such that x ∈ (Fj , E)c and F ck (e) is
finite for all e ∈ E. It means that ∩i∈I
F ci (e)(⊂ F c
k (e)) is also finite for
all e ∈ E and by definition ∪i∈I
(Fi, E) ∈ T (x)1.
(3) Let (F1, E), (F2, E) ∈ T (x)1. Again we have following three cases:(i): If x ∈ (F1, E)c and x ∈ (F2, E)c then x ∈ (F1, E)c ∪ (F2, E)c and
therefore (F1, E) ∩ (F2, E) ∈ T (x)1.(ii): If F c
1 (e) and F c2 (e) are finite for all e ∈ E then their union F c
1 (e)∪F c2 (e) is also finite. Thus (F1 ∩ F2)
c(e) is finite for all e ∈ E whichshows that (F1, E) ∩ (F2, E) ∈ T (x)1.
(iii): If x ∈ (F1, E)c and F c2 (e) is finite for all e ∈ E then x ∈ F c
1 (e) ∪F c2 (e) = (F1 ∩F2)
c(e) and so x ∈ ((F1, E)∩ (F2, E))c. Thus (F1, E)∩(F2, E) ∈ T (x)1.
Hence T (x)1 is a soft topology on X. For any p, q ∈ X where x 6= p, x ∈(p,E)c ⇒ (p,E) ∈ T (x)1 and (p,E)c ∈ T (x)1 such that
p ∈ (p,E), q ∈ (p,E)c and (p,E) ∩ (p,E)c = Φ.
Thus (X, T (x)1, E) is a soft T2−space over X. Similarly (X, T (y)2, E) is a softT2−space over X.
Now, (X, T (x)1, T (y)2, E) is a bi-soft topological space over X. For x, y ∈ X,we cannot find any soft sets (F,E) ∈ T (x)1 and (G,E) ∈ T (y)2 such that
x ∈ (F,E), y ∈ (G,E) and (F,E) ∩ (G,E) = Φ
because y ∈ (G,E) and (F,E)∩(G,E) = Φ implies that we must have (F,E)⊂(G,E)c
which means that Gc(e) is finite for all e ∈ E and F (e) ⊆ Gc(e) for all e ∈
SEPARATION AXIOMS IN BI-SOFT TOPOLOGICAL SPACES 15
E, and this is not possible for F (e) is infinite and Gc(e) is finite. Therefore(X, T (x)1, T (y)2, E) is not a pair-wise soft T2−space over X.
Remark 6. Let (X, T1 ∨ T2, E) be soft T2−space over X then (X, T1, T2, E) neednot be a pair-wise soft T2−space over X.
Proposition 13. Let (X, T1, T2, E) be a bi-soft topological space over X. If (X, T1, T2, E)is a pair-wise soft T2−space then (X, T1 ∨ T2, E) is also a soft T2−space.
Proof. Let x,y ∈ X be such that x 6= y. There exist (F,E) ∈ T1 and (G,E) ∈T2 such that x ∈ (F,E), y ∈ (G,E) and (F,E) ∩ (G,E) = Φ. In either case(F,E), (G,E) ∈ T1 ∨ T2. Hence (X, T1 ∨ T2, E) is a soft T2−space over X . �
Example 15. Let X = {h1, h2, h3}, E = {e1, e2} and
T1 = {Φ, X, (F1, E), (F2, E), (F3, E), (F4, E)}, and
T2 = {Φ, X, (G1, E), (G2, E), (G3, E)},
where (F1, E), (F2, E), (F3, E), (F4, E), (G1, E), (G2, E), and (G3, E) are soft setsover X, defined as follows:
F1(e1) = {h1}, F1(e2) = {h1},F2(e1) = {h2}, F2(e2) = {h1, h2},F3(e1) = {}, F3(e2) = {h1},F4(e1) = {h1, h2}, F4(e2) = {h1, h2},
andG1(e1) = {h3}, G1(e2) = {h3},G2(e1) = {h2}, G2(e2) = {h2},G3(e1) = {h2, h3}, G3(e2) = {h2, h3}.
Then T1 and T2 are soft topologies on X. Therefore (X, T1, T2, E) is a bi-softtopological space over X. One can easily see that (X, T1, T2, E) is not a pair-wise softT2−space over X because h1, h2 ∈ X, and we cannot find any soft sets (F,E) ∈ T1or (G,E) ∈ T2 such that
h2 ∈ (F,E), h1 ∈ (G,E) and (F,E) ∩ (G,E) = Φ.
Now, we have
T1 ∨ T2 = {Φ, X, (F1, E), (F2, E), (F3, E), (F4, E), (G1, E), (G2, E), (G3, E),
(H1, E), (H2, E), (H3, E)}
whereH1(e1) = {h1, h3}, H1(e2) = {h1, h3},H2(e1) = {h2, h3}, H2(e2) = X,H3(e1) = {h3}, H3(e2) = {h1, h3},
so (X, T1 ∨ T2, E) is a soft topological space over X.For h1, h2 ∈ X, (F1, E), (G2, E) ∈ T1 ∨ T2 such that
h1 ∈ (F1, E), h2 ∈ (G2, E) and (F1, E) ∩ (G2, E) = Φ.
For h1, h3 ∈ X, (F1, E), (G3, E) ∈ T1 ∨ T2 such that
h1 ∈ (F1, E), h3 ∈ (G3, E) and (F1, E) ∩ (G3, E) = Φ.
For h2, h3 ∈ X and (G2, E), (G1, E) ∈ T1 ∨ T2 such that
h2 ∈ (G2, E), h3 ∈ (G1, E) and (F1, E) ∩ (G1, E) = Φ.
16 MUNAZZA NAZ, MUHAMMAD SHABIR, AND MUHAMMAD IRFAN ALI
Thus (X, T1 ∨ T2, E) is a soft T2− space over X.
Proposition 14. Let (X, T1, T2, E) be a bi-soft topological space over X and Ybe a non-empty subset of X. If (X, T1, T2, E) is a pair-wise soft T2−space then(Y, T1Y , T2Y , E) is also a pair-wise soft T2−space.
Proof. Let x,y ∈ Y be such that x 6= y. Then there exist soft sets (F,E) ∈ T1 and(G,E) ∈ T2 such that
x ∈ (F,E), y ∈ (G,E) and (F,E) ∩ (G,E) = Φ.
For each e ∈ E, x ∈ F (e), y ∈ G (e) and F (e) ∩ G (e) = ∅. This implies thatx ∈ Y ∩ F (e), y ∈ Y ∩G(e) and
Y F (e) ∩Y G(e) = (Y ∩ F (e)) ∩ (Y ∩G(e))
= Y ∩ (F (e) ∩G (e))
= Y ∩ ∅ = ∅.
Hence x ∈ (Y F,E) ∈ T1Y , y ∈ (Y G,E) ∈ T2Y and (Y F,E) ∩ (Y G,E) = Φ where.Thus (Y, T1Y , T2Y , E) is a pair-wise soft T2−space. �
Proposition 15. Every pair-wise soft T2−space is also a pair-wise soft T1−space.
Proof. If (X, T1, T2, E) is a pair-wise soft T2−space and x,y ∈ X be such that x 6= ythen there exist soft sets (F,E) ∈ T1 and (G,E) ∈ T2 such that
x ∈ (F,E), y ∈ (G,E) and (F,E) ∩ (G,E) = Φ.
As (F,E) ∩ (G,E) = Φ, so x /∈ (G,E) and y /∈ (F,E). Hence (X, T1, T2, E) is apair-wise soft T1−space. �
Remark 7. The converse of Proposition 15 is not true i.e. a pair-wise softT1−space need not be a pair-wise soft T2−space.
Example 16. The bi-soft topological space (X, T1, T2, E) in Example 9 is a pair-wise soft T1−space over X which is not a pair-wise soft Hausdorff space over X.
Remark 8. For any soft set (F,E) over X, (F,E)T
will be used to denote the softclosureDefinition 20 of (F,E) with respect to the soft topological space (X, T , E) overX.
Theorem 1. Let (X, T1, T2, E) be a bi-soft topological space over X. Then thefollowing are equivalent:
(1) (X, T1, T2, E) be a pair-wise soft Hausdorff space over X.(2) Let x ∈ X, for each point y distinct from x, there is a soft set (F,E) ∈ T1
such that x ∈ (F,E) and y ∈ X − (F,E)T2
.
Proof. (1) ⇒ (2) :Suppose that (X, T1, T2, E) is a pair-wise soft Hausdorff space overX and x ∈ X .
For any y ∈ X such that y 6= x, pair-wise soft Hausdorffness implies that there existsoft sets F,E) ∈ T1 and (G,E) ∈ T2 such that
x ∈ (F,E), y ∈ (G,E) and (F,E) ∩ (G,E) = Φ.
So that (F,E)⊂(G,E)c. Since (F,E)T2
is the smallest soft closed set in T2 that
contains (F,E) and (G,E)c is a soft closed set in T2 so (F,E)T2
⊂(G,E)c ⇒
(G,E)⊂((F,E)T2
)c. Thus y ∈ (G,E)⊂((F,E)T2
)c or y ∈ X − (F,E)T2
.
SEPARATION AXIOMS IN BI-SOFT TOPOLOGICAL SPACES 17
(2) ⇒ (1) :Let x, y ∈ X be such that x 6= y. By (2) there is a soft set (F,E) ∈ T1 such
that x ∈ (F,E) and y ∈ X − (F,E)T2
. As (F,E)T2
is a soft closed set in T2 so
(G,E) = X − (F,E)T2
∈ T2. Now x ∈ (F,E), y ∈ (G,E) and
(F,E) ∩ (G,E) = (F,E) ∩ (X − (F,E)T2
)
⊂ (F,E) ∩ (X − (F,E)) ∵ (F,E)⊂(F,E)T2
= Φ.
Thus (F,E) ∩ (G,E) = Φ. �
Corollary 1. Let (X, T1, T2, E) be a pair-wise soft T2−space over X. Then, foreach x ∈ X,
(x,E) =⋂{
(F,E)T2
: x ∈ (F,E) ∈ T1}.
Proof. Let x ∈ X , the existence of a soft open set x ∈ (F,E) ∈ T1 is guaranteed bypair-wise soft Hausdorffness. If y ∈ X such that y 6= x then, by Theorem 1, there
exists a soft set (F,E) ∈ T1 such that x ∈ (F,E) and y ∈ X − (F,E)T2
⇒ y /∈
(F T2(e)) ⇒ y /∈⋂
x∈(F,E)∈T1
(F T2(e)) for all e ∈ E. Therefore
⋂{(F,E)
T2
: x ∈ (F,E) ∈ T1}⊂(x,E).
Converse inclusion is obvious as x ∈ (F,E)⊂(F,E)T2
. �
Corollary 2. Let (X, T1, T2, E) be a pair-wise soft T2−space over X. Then, foreach x ∈ X, (x,E)c ∈ Ti for i = 1, 2.
Proof. By Corollary 1
(x,E)c =⋃{
((F,E)T2
)c : x ∈ (F,E) ∈ T1}.
Since (F,E)T2
is a soft closed set in T2 so ((F,E)T2
)c ∈ T2 and by the axiom of a
soft topological space⋃{
((F,E)T2
)c : x ∈ (F,E) ∈ T1}∈ T2. Thus (x,E)c ∈ T2.
A similar argument holds to show (x,E)c ∈ T1. �
5. Application of bi-soft topological spaces to rough sets
Rough set theory introduced by Pawlak [16] is another mathematical tool to dealwith uncertainty. These concepts have been applied successfully in various fields[17]. In the present paper a new approach for rough approximations of a soft setis given and some properties of lower and upper approximations are studied. A bi-soft topological space is applied to granulate the universe of discourse and a generalmodel of bi-soft topological spaces based roughness of a soft set is established.
It is easy to see that for any soft set (F,A) over a set X , the set of parameters
A can be extended to E by defining the following map F : E → P (U)
F (e) =
{F (a) if a ∈ A∅ if a ∈ E −A
18 MUNAZZA NAZ, MUHAMMAD SHABIR, AND MUHAMMAD IRFAN ALI
In the following, a technique is developed to find approximations of a soft set (F,A)with respect to a bi-soft topological space (X, T1, T2, E). From here onward every
soft set (F,A) will represented by (F , E).
Definition 30. Let (X, T1, T2, E) be a bi-soft topological space over X. Then
(X, T1e, T2e) is a bi-topological space for each e ∈ E. Given a soft set (F , E) over
X, two soft sets (F T1,T2, E) and (F T1,T2
, E) are defined as:
F T1,T2(e) = T1eInt(F (e)) ∩ T2eInt(F (e))
F T1,T2(e) = F (e)
T1e
∪ F (e)T2e
for each e ∈ E, where TieInt(F (e)) and F (e)Tie
denote the interior and closure of
subset F (e) in the topological space (X, Tie) respectively. The soft sets (F T1,T2, E)
and (F T1,T2, E) for called respectively, the lower approximation and upper approxi-
mation of the soft set (F , E) with respect to bi-soft topological space (X, T1, T2, E)over X.
Definition 31. If (F T1,T2, E)=(F T1,T2
, E) (soft equal) then the soft set (F , E) issaid to be definable and otherwise it is called a bi-soft topological rough set denoted
by the pair (F T1,T2, F T1,T2
). Further,
posT1,T2
(F , E) = (F T1,T2, E);
negT1,T2
(F , E) = (F T1,T2, E)c;
bndT1,T2
(F , E) = (F T1,T2, E)− (F T1,T2
, E).
In order to explain this idea the following example is given:
Example 17. Let X = {x1, x2, x3, x4, x5} be the set of sample designs of laptopcovers and E = {Red, Green, Blue} be the set of available colors. Let us suppose thatthere are two groups of people. First group consists of 3 members aging 20, 25, 28and the second group has members aging 35, 42, 45. Both groups are asked to selectthe covers which they approve according to their likeness and choice. Following thechoices they have made, we obtain 6 soft sets, given by (F1, E), (F2, E), (F3, E) forthe members of first group and (G1, E), (G2, E), (G3, E) for the members of latterone. Let T1 and T2 be the soft topologies generated by (F1, E), (F2, E), (F3, E) and(G1, E), (G2, E), (G3, E),
T1 = {Φ, X, (F1, E), (F2, E), (F3, E), (F4, E), (F5, E), (F6, E), (F7, E), (F8, E)}, and
T2 = {Φ, X, (G1, E), (G2, E), (G3, E)},
SEPARATION AXIOMS IN BI-SOFT TOPOLOGICAL SPACES 19
where (F1, E), (F2, E), (F3, E), (F4, E), (F5, E), (F6, E), (F7, E), (F8, E), (G1, E),(G2, E), (G3, E) are soft sets over X, defined as follows:
F1(Red) = {x2, x4}, F1(Green) = {x1, x5}, F1(Blue) = {x1},F2(Red) = {x1, x2, x4}, F2(Green) = {x1, x2, x5}, F2(Blue) = {x1, x3},F3(Red) = {x2}, F3(Green) = {x2}, F3(Blue) = {x2},F4(Red) = {x2}, F4(Green) = {x2}, F4(Blue) = ∅,F5(Red) = {x2, x4}, F5(Green) = {x1, x2, x5}, F5(Blue) = {x1, x2},F6(Red) = {x2, x4}, F6(Green) = {x1, x2, x5}, F6(Blue) = {x1},F7(Red) = {x2}, F7(Green) = ∅, F7(Blue) = ∅,F8(Red) = {x1, x2, x4}, F8(Green) = {x1, x2, x5}, F8(Blue) = {x1, x2, x3}.
and
G1(Red) = {x1, x2, x4}, G1(Green) = {x2, x4, x5}, G1(Blue) = {x1, x2, x3},G2(Red) = {x2, x4}, G2(Green) = {x4}, G2(Blue) = {x2},G3(Red) = {x1}, G3(Green) = {x2, x5}, G3(Blue) = {x1, x3}.
Then T1 and T2 are soft topologies on X. Thus (X, T1, T2, E) is a bi-soft topologicalspace over X. We have
T1Red = {∅, X, {x2}, {x2, x4}, {x1, x2, x4}},(5.1)
T2Red = {∅, X, {x1}, {x2, x4}, {x1, x2, x4}},
T1Green = {∅, X, {x2}, {x1, x2}, {x1, x2, x5}},(5.2)
T2Green = {∅, X, {x4}, {x2, x5}, {x2, x4, x5}},
T2Blue = {∅, X, {x1}, {x2}, {x1, x3}, {x1, x2}, {x1, x2, x3}},(5.3)
T2Blue = {∅, X, {x2}, {x1, x3}, {x1, x2, x3}}.
Consider the soft set (F , E) over X that describes the choice of a random customerMr. X, whose age is in the range of 20− 45, where
F (Red) = {x2, x4, x5}, F (Green) = ∅, F (Blue) = {x1, x3, x4}.
The lower approximation (F T1,T2, E) and upper approximation (F T1,T2
, E) of the
soft set (F , E) with respect to bi-soft topological space (X, T1, T2, E) over X is com-puted as:
F T1,T2(Red) = {x2, x4}, F T1,T2
(Green) = ∅, F T1,T2(Blue) = {x1, x3},
F T1,T2(Red) = X, F T1,T2
(Green) = ∅, F T1,T2(Blue) = {x1, x3, x4, x5}.
20 MUNAZZA NAZ, MUHAMMAD SHABIR, AND MUHAMMAD IRFAN ALI
Thus
posT1,T2
(F , E) = (F T1,T2, E);
F T1,T2(Red) = {x2, x4},
F T1,T2(Green) = ∅,
F T1,T2(Blue) = {x1, x3},
negT1,T2
(F , E) = (F T1,T2, E)c;
Fc
T1,T2(Red) = ∅,
Fc
T1,T2(Green) = X,
Fc
T1,T2(Blue) = {x2},
bndT1,T2
(F , E) = (F T1,T2, E)− (F T1,T2
, E);
(F T1,T2− F T1,T2
)(Red) = {x1, x3, x5},
(F T1,T2− F T1,T2
)(Green) = ∅,
(F T1,T2− F T1,T2
)(Blue) = {x4, x5},
From these approximations, we may assert the following:
(1) For Mr. X, x2 or x4 will be best choices in red color, no design will beselected in green color and, x1 and x3 should be preferred if the color choiceis blue.
(2) No design in red color can be considered as a bad choice, no design can beselected in green color and, x2 should not be selected in blue color.
(3) x1, x3, x5 may be chosen in red color and, x4 and x5 are also considerablein case the color choice is blue.
Theorem 2. Let (X, T1, T2, E) be a bi-soft topological space and(F , E
),(F1, E
),
(F2, E
)be soft sets over X. Then:
1 (F T1,T2, E)⊂(F , E)⊂(F T1,T2
, E),
2 ΦT1,T2=Φ=ΦT1,T2
,
3 XT1,T2=X=XT1,T2
,
4 (F T1,T2, E) ∩ (F T1,T2
, E)T1,T2=(F T1,T2
, E)
5 (F1 ∩ F2T1,T2
, E)⊂(F1T1,T2, E) ∩ (F2T1,T2
, E),
6 (F T1,T2, E) ∪ (F T1,T2
, E)T1,T2⊂(F T1,T2
, E),
7 (F1 ∪ F2T1,T2
, E)=(F1T1,T2, E) ∪ (F2T1,T2
, E),
8 (F1, E)⊂(F2, E) ⇒ (FT1,T2
, E)⊂(FT1,T2
, E), (F1T1,T2, E)⊂(F2T1,T2
, E),
9 (F T1,T2, E)=((F
T1,T2
, E)c)c,
10 ((F T1,T2, E)c)c=(F
T1,T2
, E),
11 ((FT1,T2
)T1,T2
, E)=(FT1,T2
, E),
12 ((FT1,T2
)T1,T2
, E)=(F T1,T2, E).
Conclusion 1. The concept of soft topological spaces is generalized to bi-soft topo-logical spaces. Some basic notions and the inter-relations of classical and generalized
SEPARATION AXIOMS IN BI-SOFT TOPOLOGICAL SPACES 21
Figure 1. Summary of Results
concepts have been studied in detail. It is worth mentioning that the purpose of thispaper is just to initiate the concept, and there is a lot of scope for the researchers tomake their investigations in this field. This is a beginning of some new generalizedstructure and the concept of separation axioms may be studied further for regularand normal bi-soft topological spaces that is our next goal too. The topologies in-duced by the definitions of information systems through rough sets[16] give rise to anatural bitopological space on initial universal set and this fact increases the interestin bitopological environment. The connections of information systems and soft setscan be another key to search for the structure of bi-soft topological spaces in realworld phenomenon. Separation axioms have an application in digital topology[7] anda hybrid generalization of the axioms may also be of some use there.
Summary 1. The results on implications are summarized in Figure 1:
References
[1] M.I. Ali, F. Feng, X.Y. Liu, W.K. Min, M. Shabir, On some new operations in soft set theory,Comput. Math. Appl. 57 (2009) 1547–1553.
[2] M. I. Ali, M. Shabir, M. Naz, Algebraic structures of soft sets associated with new operations,Comput. Math. Appl. 61 (2011) 2647–2654.
[3] N. Cagman, S. Karatas and S. Enginoglu, Soft topology, Comput. Math. Appl. 62 (2011),351-358.
[4] S. Hussain and B. Ahmad, Some properties of soft topological spaces, Comput. Math. Appl.62 (2011) 4058-4067.
[5] J. C. Kelly, Bitopological spaces, Proc. London Math. Soc. 13 (1963), 71-89.[6] Y. W. Kim, Pairwise compactness, Publ. Math. 15 (1968), 87-90.
[7] T.Y. Kong, R. Kopperman, P.R. Meyer, A topological approach to digital topology, Amer.Math. Monthly, 98 (1991), 901-917.
[8] S. Lal, Pairwise concepts in bitopological spaces, J. Aust. Math. Soc. (Ser.A), 26 (1978),241-250.
22 MUNAZZA NAZ, MUHAMMAD SHABIR, AND MUHAMMAD IRFAN ALI
[9] E. P. Lane, Bitopological spaces and quasi-uniform spaces, Proc. London Math. Soc. 17(1967), 241-256.
[10] P.K. Maji, A. R. Roy, R. Biswas, An application of soft sets in a decision making problem,Comput. Math. Appl. 44 (2002) 1077 1083.
[11] P.K. Maji, R. Biswas, A.R. Roy, Soft set theory, Comput. Math. Appl. 45 (2003) 555-562.[12] W. K. Min, A note on soft topological spaces, Comput. Math. Appl. 62 (2011), 3524-3528.[13] D. Molodtsov, Soft set theory first results, Comput. Math. Appl. 37 (1999) 19-31.[14] M. G. Murdeshwar and S. A. Naimpally, Quasi-uniform Topological Spaces, Monograph No-
ordhoof Ltd (1966).[15] C. W. Patty, Bitopological spaces, Duke Math. J. 34 (1967), 387-392.[16] Z. Pawlak, Rough sets, Int. J. Comp. and Inf. Sci., 11(1982) 341-356.[17] Z. Pawlak, Rough Sets, Theoretical Aspects of Reasoning About Data, Kluwer Academic
Publishers, (1991).[18] W. J. Pervin, Connectedness in bitopological spaces, Indag. Math. 29 (1967), 369-372.[19] D. Pie, D. Miao, From soft sets to information systems, Granu. comput. IEEE Inter. Conf. 2
(2005), 617–621.[20] I. L. Reilly, On bitopological separation properties, Nanta Math. 5 (1972), 14-25.[21] M.K. Singal, Asha Rani Singal, Some more separation axioms in bitopological spaces, Ann.
Soc. Sci. Bruxelles, 84 (1970), 207-230
[22] M. Shabir, M. Naz, On soft topological spaces, Comput. Math. Appl. 61(2011) 1786–1799.
Department of Mathematics, Fatima Jinnah Women University, The Mall, RawalpindiE-mail address: [email protected]
Department of Mathematics, Quaid-i-Azam University, IslamabadE-mail address: [email protected]
Department of Mathematics, Islamabad Model College for Boys F-7/3, Islamabad,Pakistan.
E-mail address: [email protected]
This figure "Doc1.jpg" is available in "jpg" format from:
http://arxiv.org/ps/1509.00866v1