# Some Properties of Fuzzy Soft Proximity Spaces

Authors: İzzettin Demir; Oya Bedre Özbakır
Journal: The Scientific World Journal
 (2015)

---

## Abstract

We study the fuzzy soft proximity spaces in Katsaras’s sense. First, we show how a fuzzy soft topology is derived from a fuzzy soft proximity. Also, we define the notion of fuzzy softδ-neighborhood in the fuzzy soft proximity space which offers an alternative approach to the study of fuzzy soft proximity spaces. Later, we obtain the initial fuzzy soft proximity  determined by a family of fuzzy soft proximities. Finally, we investigate relationship between fuzzy soft proximities and proximities.


---

## Body

## 1. Introduction

In 1999, Molodtsov [1] initiated the concept of soft set theory as a new approach for coping with uncertainties and also presented the basic results of the new theory. This new theory does not require the specification of a parameter. We can utilize any parametrization with the aid of words, sentences, real numbers, and so on. This implies that the problem of setting the membership function does not arise. Hence, soft set theory has compelling applications in several diverse fields; most of these applications were shown by Molodtsov [1]. Nowadays, there are a lot of works related to soft set theory and its applications [2–9].Fuzzy soft set which is a combination of fuzzy set and soft set was introduced by Maji et al. [10]. Roy and Maji [11] gave some results on an application of fuzzy soft sets in decision making problem. Then, Tanay and Kandemir [12] initiated the notion of fuzzy soft topology and gave some fundamental properties of it by following Chang [13]. Also, the fuzzy soft topology in Lowen’s sense [14] was given by Varol and Aygün [15]. Fuzzy soft sets and their applications have been investigated intensively in recent years [16–24].Proximity structure was introduced by Efremovic in 1951 [25, 26]. It can be considered either as axiomatizations of geometric notions or as suitable tools for an investigation of topology. Moreover, this structure has a very significant role in many problems of topological spaces such as compactification and extension problems. The most comprehensive work on the theory of proximity spaces was done by Naimpally and Warrack [27]. Then, many authors have obtained the concept of fuzzy proximity structure in different approaches. By using fuzzy sets, Katsaras [28] defined fuzzy proximity and studied the relation with fuzzy topology in Chang’s sense. Later, Artico and Moresco [29, 30] proposed a new definition of fuzzy proximity on a set X as a map δ
:
L
X
×
L
X
→
{
0,1
} satisfying certain conditions, where L is a completely distributive lattice with an order reversing involution. In connection with a fuzzy topology in [31], the different notion of a fuzzy proximity was introduced by Markin and Sostak [32]. In 2005, Ramadan et al. [33] presented fuzzifying proximity structures.Extensions of proximity structures to the soft sets and also fuzzy soft sets have been studied by some authors. More recently, Hazra et al. [34] defined soft proximity spaces and studied some of their properties. By using fuzzy soft sets, Çetkin et al. [35] introduced soft fuzzy proximity spaces on the base of the axioms suggested by Markin and Sostak [32] and Katsaras [28], respectively. All these works have generalized versions of many of the well-known results on proximity spaces.Motivated by their works, we continue investigating the properties of fuzzy soft proximity spaces in Katsaras’s sense. We show that each fuzzy soft proximityδ on X induces a fuzzy soft topology τ
(
δ
) on the same set. Also, we define the notion of fuzzy soft δ
-neighborhood in a fuzzy soft proximity space and obtain a few results analogous to the ones that hold for δ-neighborhood in proximity spaces. We prove the existences of initial fuzzy soft proximity structures. Based on this fact, we introduce products of fuzzy soft proximity spaces. The relation between a fuzzy soft proximity and a proximity is also investigated.


## 2. Preliminaries

In this section, we recall some basic notions regarding fuzzy soft sets which will be used in the sequel. Throughout this work, letX be an initial universe, I
X be the set of all fuzzy subsets of X and E be the set of all parameters for X.Definition 1 (see [10]).
A fuzzy soft setf on the universe X with the set E of parameters is defined by the set of ordered pairs
(1)
f
=
{
(
e
,
f
(
e
)
)
:
e
∈
E
,
f
(
e
)
∈
I
X
}
,
where f is a mapping given by f
:
E
→
I
X.
Throughout this paper, the family of all fuzzy soft sets overX is denoted by F
S
(
X
,
E
).Definition 2 (see [10, 15, 16]).
Letf
,
g
∈
F
S
(
X
,
E
). Then, we have the following.(i)
The fuzzy soft setf is called null fuzzy soft set, denoted by ∅
~, if f
(
e
)
=
0
X for every e
∈
E.
(ii)
Iff
(
e
)
=
1
X, for all e
∈
E, then f is called absolute fuzzy soft set, denoted by X
~.
(iii)
f is a fuzzy soft subset of g if f
(
e
)
≤
g
(
e
) for each e
∈
E. It is denoted by f
⊑
g.
(iv)
f and g are equal if f
⊑
g and g
⊑
f. It is denoted by f
=
g.
(v)
The complement off is denoted by f
c, where f
c
:
E
→
I
X is a mapping defined by f
c
(
e
)
=
1
X
-
f
(
e
) for all e
∈
E. Clearly, (
f
c
)
c
=
f.
(vi)
The union off and g is a fuzzy soft set h defined by h
(
e
)
=
f
(
e
)
∨
g
(
e
) for all e
∈
E. h is denoted by f
⊔
g.
(vii)
The intersection off and g is a fuzzy soft set h defined by h
(
e
)
=
f
(
e
)
∧
g
(
e
) for all e
∈
E. h is denoted by f
⊓
g.Definition 3 (see [16]).
LetJ be an arbitrary index set and let {
f
i
}
i
∈
J be a family of fuzzy soft sets over X. Then,(i)
the union of these fuzzy soft sets is the fuzzy soft seth defined by h
(
e
)
=
∨
i
∈
J
f
i
(
e
) for every e
∈
E and this fuzzy soft set is denoted by ⊔
i
∈
J
f
i;
(ii)
the intersection of these fuzzy soft sets is the fuzzy soft seth defined by h
(
e
)
=
∧
i
∈
J
f
i
(
e
) for every e
∈
E and this fuzzy soft set is denoted by ⊓
i
∈
J
f
i.Theorem 4 (see [15]).
LetJ be an index set and f, g, f
i, g
i
∈
F
S
(
X
,
E
), for all i
∈
J. Then, the following statements are satisfied:(1)
f
⊓
(
⊔
i
∈
J
⁡
g
i
)
=
⊔
i
∈
J
(
f
⊓
g
i
);
(2)
f
⊔
(
⊓
i
∈
J
g
i
)
=
⊓
i
∈
J
(
f
⊔
g
i
);
(3)
(
⊓
i
∈
J
f
i
)
c
=
⊔
i
∈
J
f
i
c;
(4)
(
⊔
i
∈
J
f
i
)
c
=
⊓
i
∈
J
f
i
c;
(5)
iff
⊑
g, then g
c
⊑
f
c.Definition 5 (see [18]).
A fuzzy soft setf over X is said to be a fuzzy soft point if there is an e
∈
E such that f
(
e
) is a fuzzy point in X (i.e., there exists an x
∈
X such that f
(
e
)
(
x
)
=
α
∈
(
0,1
] and f
(
e
)
(
x
′
)
=
0 for all x
′
∈
X
-
{
x
}) and f
(
e
′
)
=
0
X for every e
′
∈
E
∖
{
e
}. It will be denoted by e
x
α.
The fuzzy soft pointe
x
α is said to belong to a fuzzy soft set f, denoted by e
x
α
∈
~
f, if α
≤
f
(
e
)
(
x
).Definition 6 (see [20]).
LetF
S
(
X
,
E
) and F
S
(
Y
,
K
) be the families of all fuzzy soft sets over X and Y, respectively. Let φ
:
X
→
Y and ψ
:
E
→
K be two mappings. Then, the mapping φ
ψ is called a fuzzy soft mapping from X to Y, denoted by φ
ψ
:
F
S
(
X
,
E
)
→
F
S
(
Y
,
K
).(1)
Letf
∈
F
S
(
X
,
E
). Then φ
ψ
(
f
) is the fuzzy soft set over Y defined as follows:
(2)
φ
ψ
(
f
)
(
k
)
(
y
)
=

{
⋁
x
∈
φ
-
1
(
y
)

(
⋁
e
∈
ψ
-
1
(
k
)
f
(
e
)

)
(
x
)
,
if
ψ
-
1
(
k
)
≠
∅
,
φ
-
1
(
y
)
≠
∅
;
0
,
otherwise
,
for allk
∈
K and all y
∈
Y.
φ
ψ
(
f
) is called an image of a fuzzy soft set f.
(2)
Letg
∈
F
S
(
Y
,
K
). Then φ
ψ
-
1
(
g
) is the soft set over X defined as follows:
(3)
φ
ψ
-
1
(
g
)
(
e
)
(
x
)
=
g
(
ψ
(
e
)
)
(
φ
(
x
)
)
for alle
∈
E and all x
∈
X.
φ
ψ
-
1
(
g
) is called a preimage of a fuzzy soft set g.The fuzzy soft mapping φ
ψ is called injective, if φ and ψ are injective. The fuzzy soft mapping φ
ψ is called surjective, if φ and ψ are surjective.Theorem 7 (see [20]).
Letf
i
∈
F
S
(
X
,
E
) and g
i
∈
F
S
(
Y
,
K
) for all i
∈
J, where J is an index set. Then, for a fuzzy soft mapping φ
ψ
:
F
S
(
X
,
E
)
→
F
S
(
Y
,
K
), the following conditions are satisfied:(1)
iff
1
⊑
f
2, then φ
ψ
(
f
1
)
⊑
φ
ψ
(
f
2
);
(2)
ifg
1
⊑
g
2, then φ
ψ
-
1
(
g
1
)
⊑
φ
ψ
-
1
(
g
2
);
(3)
φ
ψ
(
⊔
i
∈
J
f
i
)
=
⊔
i
∈
J
φ
ψ
(
f
i
);
(4)
φ
ψ
(
⊓
i
∈
J
f
i
)
⊑
⊓
i
∈
J
φ
ψ
(
f
i
);
(5)
φ
ψ
-
1
(
⊔
i
∈
J
g
i
)
=
⊔
i
∈
J
φ
ψ
-
1
(
g
i
);
(6)
φ
ψ
-
1
(
⊓
i
∈
J
g
i
)
=
⊓
i
∈
J
φ
ψ
-
1
(
g
i
);
(7)
φ
ψ
-
1
(
Y
~
)
=
X
~
,
φ
ψ
-
1
(
∅
~
)
=
∅
~;
(8)
φ
ψ
(
∅
~
)
=
∅
~.Theorem 8 (see [15, 18]).
Letf
,
f
i
∈
F
S
(
X
,
E
) for all i
∈
J, where J is an index set, and let g
∈
F
S
(
Y
,
K
). Then, for a fuzzy soft mapping φ
ψ
:
F
S
(
X
,
E
)
→
F
S
(
Y
,
K
), the following conditions are satisfied:(1)
f
⊑
φ
ψ
-
1
(
φ
ψ
(
f
)
), and the equality holds if φ
ψ is injective;
(2)
φ
ψ
(
φ
ψ
-
1
(
g
)
)
⊑
g, and the equality holds if φ
ψ is surjective;
(3)
φ
ψ
(
⊓
i
∈
J
f
i
)
=
⊓
i
∈
J
φ
ψ
(
f
i
) if φ
ψ is injective;
(4)
φ
ψ
(
X
~
)
=
Y
~ if φ
ψ is surjective.Definition 9 (see [15]).
Letf
∈
F
S
(
X
,
E
) and g
∈
F
S
(
Y
,
K
). The fuzzy soft product f
×
g is defined by the fuzzy soft set h where h
:
E
×
K
→
I
X
×
Y and h
(
e
,
k
)
=
f
(
e
)
×
g
(
k
) for all (
e
,
k
)
∈
E
×
K.Definition 10 (see [15]).
Letf
∈
F
S
(
X
,
E
) and g
∈
F
S
(
Y
,
K
) and let p
X
:
X
×
Y
→
X, q
E
:
E
×
K
→
E and p
Y
:
X
×
Y
→
Y, q
K
:
E
×
K
→
K be the projection mappings in classical meaning. The fuzzy soft mappings (
p
X
)
q
E and (
p
Y
)
q
K are called fuzzy soft projection mappings from X
×
Y to X and from X
×
Y to Y, respectively, where (
p
X
)
q
E
(
f
×
g
)
=
f and (
p
Y
)
q
K
(
f
×
g
)
=
g.Theorem 11.
Every parameterized collection of fuzzy subsets inX is a fuzzy soft set. Also, every fuzzy soft set is a parameterized collection of fuzzy subsets in some universe.Proof.
Consider any parameterized collection{
μ
α
:
α
∈
Δ
} of fuzzy subsets in X. Then, f
:
Δ
→
I
X defined by f
(
α
)
=
μ
α is a fuzzy soft set over X.Definition 12 (see [12]).
Letτ be the collection of fuzzy soft sets over X; then τ is said to be a fuzzy soft topology on X if(
f
s
t
1
)
∅
~
,
X
~ belong to τ,
(
f
s
t
2
)
the union of any number of fuzzy soft sets inτ belongs to τ,
(
f
s
t
3
)
the intersection of any two fuzzy soft sets inτ belongs to τ.(
X
,
τ
) is called a fuzzy soft topological space. The members of τ are called fuzzy soft open sets in X. A fuzzy soft set f over X is called a fuzzy soft closed in X if f
c
∈
τ.Example 13.
LetX
=
I and E
=
(
0,1
). Let us consider the following fuzzy soft sets on X with the set E of parameters:
(4)
f
(
e
)
(
x
)
=
{
0
,
if
0
≤
x
≤
e
;
x
-
e
,
if
e
≤
x
≤
1
WWWiWW
∀
e
∈
E
,
all
x
∈
X
,
g
(
e
)
(
x
)
=
{
e
-
x
,
if
0
≤
x
≤
e
;
0
,
if
e
≤
x
≤
1
WWWWiW
∀
e
∈
E
,
all
x
∈
X
.
Then, τ
=
{
∅
~
,
X
~
,
f
,
g
,
f
⊔
g
} is a fuzzy soft topology on X.Definition 14 (see [12]).
Let(
X
,
τ
) be a fuzzy soft topological space and f
∈
F
S
(
X
,
E
). The fuzzy soft interior of f is the fuzzy soft set f
o
=
⊔
{
g
:
g
is
a
fuzzy
soft
open
set
and
g
⊑
f
}.
By property(
f
s
t
2
) for fuzzy soft open sets, f
o is fuzzy soft open. It is the largest fuzzy soft open set contained in f.Definition 15 (see [15, 17]).
Let(
X
,
τ
) be a fuzzy soft topological space and f
∈
F
S
(
X
,
E
). The fuzzy soft closure of f is the fuzzy soft set f
¯
=
⊓
{
g
:
g
is
a
fuzzy
soft
closed
set
and
f
⊑
g
}.
Clearlyf
¯ is the smallest fuzzy soft closed set over X which contains f.Theorem 16 (see [15]).
Let us consider an operator associating with each fuzzy soft setf on X another fuzzy soft set f
¯ such that the following properties hold:(
f
o
1
)
f
⊑
f
¯,
(
f
o
2
)
f
¯
¯
=
f
¯,
(
f
o
3
)
f
∨
g
¯
=
f
¯
∨
g
¯,
(
f
o
4
)
∅
~
¯
=
∅
~.
Then, the family(5)
τ
=
{
f
∈
F
S
(
X
,
E
)
:
f
c
¯
=
f
c
}
defines a fuzzy soft topology on X and, for every f
∈
F
S
(
X
,
E
), the fuzzy soft set f
¯ is the fuzzy soft closure of f in the fuzzy soft topological space (
X
,
τ
).
This operator is called the fuzzy soft closure operator.Definition 17 (see [15, 18]).
Let(
X
,
τ
1
) and (
Y
,
τ
2
) be two fuzzy soft topological spaces. A fuzzy soft mapping φ
ψ
:
(
X
,
τ
1
)
→
(
Y
,
τ
2
) is called fuzzy soft continuous if φ
ψ
-
1
(
g
)
∈
τ
1 for every g
∈
τ
2.Theorem 18 (see [15]).
Let(
X
,
τ
) be a fuzzy soft topological space, where τ
=
{
f
α
:
α
∈
Δ
}. Then, the collection τ
e
=
{
f
α
(
e
)
∣
α
∈
Δ
} for every e
∈
E defines a fuzzy topology on X.Theorem 19.
Every parameterized collection of fuzzy topological spaces onX determines a fuzzy soft topological space over X.Proof.
Let{
(
X
,
τ
e
)
:
e
∈
E
} be a parameterized family of fuzzy topological spaces. Let us define a fuzzy soft topological space (
X
,
τ
) as the following: let τ be the collection of all the mappings f, where f
:
E
→
I
X such that f
(
e
)
∈
τ
e for each e
∈
E. Then, τ is a fuzzy soft topology on X. Indeed,(
f
s
t
1
)
∅
~
∈
τ, because ∅
~
:
E
→
I
X and ∅
~
(
e
)
=
0
X
∈
τ
e for each e
∈
E; similarly, X
~
∈
τ, because X
~
:
E
→
I
X and X
~
(
e
)
=
1
X
∈
τ
e for each e
∈
E;
(
f
s
t
2
)
let{
f
i
∣
i
∈
J
} be a collection of members in τ; then, for all i
∈
J, we have f
i
(
e
)
∈
τ
e for each e
∈
E; therefore, ⊔
i
∈
J
f
i is a mapping ⊔
i
∈
J
f
i
:
E
→
I
X such that (
⊔
i
∈
J
f
i
)
(
e
)
=
∨
i
∈
J
f
i
(
e
)
∈
τ
e for each e
∈
E; consequently, ⊔
i
∈
J
f
i
∈
τ;
(
f
s
t
3
)
letf
,
g
∈
τ; then, f
(
e
)
,
g
(
e
)
∈
τ
e for each e
∈
E and hence f
⊓
g is a mapping f
⊓
g
:
E
→
I
X such that (
f
⊓
g
)
(
e
)
=
f
(
e
)
∧
g
(
e
)
∈
τ
e for each e
∈
E; thus, f
⊓
g
∈
τ.Recall that a binary relationδ on the power set of a set X is called a proximity on X if the following axioms are satisfied (see, [27]):(
p
1
)
∅
δ
¯
A;
(
p
2
)
ifA
∩
B
≠
∅, then A
δ
B;
(
p
3
)
ifA
δ
B, then B
δ
A;
(
p
4
)
A
δ
(
B
∪
C
) if and only if A
δ
B or A
δ
C;
(
p
5
)
ifA
δ
¯
B, then there exists a subset C of X such that A
δ
¯
C and B
δ
¯
(
X
-
C
),whereδ
¯ means negation of δ.The pair(
X
,
δ
) is called a proximity space; two subsets A and B of the set X are close with respect to δ if A
δ
B; otherwise, they are remote with respect to δ.Definition 20 (see [28]).
A binary relationδ on I
X is called a fuzzy proximity if δ satisfies the following conditions:(
f
p
1
)
0
X
δ
¯
μ;
(
f
p
2
)
ifμ
∧
ρ
≠
0
X, then μ
δ
ρ;
(
f
p
3
)
ifμ
δ
ρ, then ρ
δ
μ;
(
f
p
4
)
μ
δ
(
ρ
∨
σ
) if and only if μ
δ
ρ or μ
δ
σ;
(
f
p
5
)
ifμ
δ
¯
ρ, then there exists a σ
∈
I
X such that μ
δ
¯
σ and ρ
δ
¯
(
1
X
-
σ
).
A fuzzy proximity space is a pair(
X
,
δ
) comprising a set X and a fuzzy proximity δ on the set X.


## 3. Fuzzy Soft Proximities

In this section, we study some elementary properties of fuzzy soft proximity structures in Katsaras’s sense. We induce a fuzzy soft topology from a given fuzzy soft proximity by using the fuzzy soft closure operator. Also, we present an alternative description of the concept of fuzzy soft proximity, which is called fuzzy softδ-neighborhood.Definition 21 (see [35]).
A mappingδ
:
K
→
2
F
S
(
X
,
E
)
×
F
S
(
X
,
E
) is called a Katsaras (
E
,
K
)-soft fuzzy proximity on a set X, where E and K are arbitrary nonempty sets viewed on the sets of parameters, if, for any f
,
g
,
h
∈
F
S
(
X
,
E
) and k
∈
K, the following conditions are satisfied:(
s
f
p
1
)
∅
~
δ
k
¯
f;
(
s
f
p
2
)
iff
δ
k
¯
g, then f
⊑
(
X
~
-
g
);
(
s
f
p
3
)
iff
δ
k
g, then g
δ
k
f;
(
s
f
p
4
)
f
δ
k
(
g
⊔
h
) if and only if f
δ
k
g or f
δ
k
h;
(
s
f
p
5
)
iff
δ
k
¯
g, then there exists an h
∈
F
S
(
X
,
E
) such that f
δ
k
¯
h and g
δ
k
¯
(
X
~
-
h
).
The pair(
X
,
δ
) is called a Katsaras (
E
,
K
)-soft fuzzy proximity space, where, for every k
∈
K, δ
k
⊂
F
S
(
X
,
E
)
×
F
S
(
X
,
E
) is a relation on F
S
(
X
,
E
).The following definition coincides with Definition21 when the parameter set K is a singleton set.Definition 22.
A binary relationδ
⊂
F
S
(
X
,
E
)
×
F
S
(
X
,
E
) is called a fuzzy soft proximity on X if δ satisfies the following conditions:(
f
s
p
1
)
∅
~
δ
¯
f;
(
f
s
p
2
)
iff
⊓
g
≠
∅
~, then f
δ
g;
(
f
s
p
3
)
iff
δ
g, then g
δ
f;
(
f
s
p
4
)
f
δ
(
g
⊔
h
) if and only if f
δ
g or f
δ
h;
(
f
s
p
5
)
iff
δ
¯
g, then there exists an h
∈
F
S
(
X
,
E
) such that f
δ
¯
h and g
δ
¯
(
X
~
-
h
).
The pair(
X
,
δ
) is called a fuzzy soft proximity space.Example 23.
On any setX, let us define f
δ
g if and only if f
≠
∅
~ and g
≠
∅
~. This defines a fuzzy soft proximity on X.We have easily the following Lemma.Lemma 24.
If(
X
,
δ
) is a fuzzy soft proximity space, then it satisfies the following properties:(i)
iff
δ
g and k
⊒
f, h
⊒
g, then k
δ
h;
(ii)
f
δ
f for each f
≠
∅
~;
(iii)
f
δ
X
~ if and only if f
≠
∅
~.Let(
X
,
δ
) be a fuzzy soft proximity space. For every f
∈
F
S
(
X
,
E
), we define
(6)
f
¯
=
X
~
-
⊔
{
g
∈
F
S
(
X
,
E
)
:
f
δ
¯
g
}
.
Then we get the following theorem.Theorem 25.
Let(
X
,
δ
) be a fuzzy soft proximity space. Then, the mapping f
→
f
¯ satisfies the conditions (
f
o
1
)
–
(
f
o
4
). Therefore, the collection
(7)
τ
(
δ
)
=
{
f
∈
F
S
(
X
,
E
)
:
f
c
¯
=
f
c
}
is a fuzzy soft topology on X.Proof.
We will show that the mappingf
→
f
¯ has the properties (
f
o
1
)
–
(
f
o
4
).
(
f
o
1
) Suppose that f
≠
∅
~. Let e
∈
E and x
∈
X. Take any g
∈
F
S
(
X
,
E
) such that g
δ
¯
f. Then, by (
f
s
p
2
), g
⊓
f
=
∅
~. Hence, either g
(
e
)
(
x
)
=
0 or f
(
e
)
(
x
)
=
0. In both cases, we obtain g
(
e
)
(
x
)
≤
1
-
f
(
e
)
(
x
). Therefore, ∨
g
δ
¯
f
g
(
e
)
(
x
)
≤
1
-
f
(
e
)
(
x
). Thus, we get
(8)
f
(
e
)
(
x
)
≤
1
-
⋁
g
δ
¯
f
g
(
e
)
(
x
)
=
f
¯
(
e
)
(
x
)
.
(
f
o
2
) It is enough to show that g
δ
f if and only if g
δ
f
¯. Necessity follows immediately from Lemma 24. For sufficiency, let g
δ
f
¯. Suppose that g
δ
¯
f. Then, by (
f
s
p
5
), there is an h
∈
F
S
(
X
,
E
) such that g
δ
¯
h and f
δ
¯
(
X
~
-
h
). Because g
δ
¯
h and g
δ
f
¯, there exist an e
∈
E and an x
∈
X such that h
(
e
)
(
x
)
<
f
¯
(
e
)
(
x
). Now, we will choose number a, where h
(
e
)
(
x
)
<
a
<
f
¯
(
e
)
(
x
) and let us define e
x
1
-
a
∈
F
S
(
X
,
E
). Since 1
-
a
≤
1
-
h
(
e
)
(
x
), we have e
x
1
-
a
⊑
X
~
-
h. Also, e
x
1
-
a
δ
f, since, otherwise, we would have f
¯
(
e
)
(
x
)
≤
1
-
(
1
-
a
)
=
a which is impossible. By e
x
1
-
a
δ
f and e
x
1
-
a
⊑
(
X
~
-
h
), (
X
~
-
h
)
δ
f. This is a contradiction to the fact that f
δ
¯
(
X
~
-
h
).
(
f
o
3
) It is easy to verify that f
⊔
g
¯
⊒
f
¯
⊔
g
¯. Conversely, suppose that there exist an e
∈
E and an x
∈
X such that f
⊔
g
¯
(
e
)
(
x
)
>
f
¯
(
e
)
(
x
)
∨
g
¯
(
e
)
(
x
). Take an ϵ
>
0 satisfying
(9)
a
=
f
⊔
g
¯
(
e
)
(
x
)
>
f
¯
(
e
)
(
x
)
∨
g
¯
(
e
)
(
x
)
+
ϵ
.
We may assume f
¯
(
e
)
(
x
)
≥
g
¯
(
e
)
(
x
) (the case g
¯
(
e
)
(
x
)
>
f
¯
(
e
)
(
x
) is analogous). Then, since f
¯
(
e
)
(
x
)
=
1
-
∨
{
h
(
e
)
(
x
)
:
h
δ
¯
f
}
<
a
-
ϵ, there exists an h
∈
F
S
(
X
,
E
) such that h
δ
¯
f and 1
-
h
(
e
)
(
x
)
<
a
-
ϵ. By the inequality 1
-
h
(
e
)
(
x
)
≥
f
¯
(
e
)
(
x
)
≥
g
¯
(
e
)
(
x
)
>
g
¯
(
e
)
(
x
)
-
ϵ
/
2, we have 1
-
h
(
e
)
(
x
)
+
ϵ
/
2
>
g
¯
(
e
)
(
x
). Because g
¯
(
e
)
(
x
)
=
1
-
∨
{
k
(
e
)
(
x
)
:
k
δ
¯
g
}, there exists a k
∈
F
S
(
X
,
E
) such that k
δ
¯
g and h
(
e
)
(
x
)
-
ϵ
/
2
<
k
(
e
)
(
x
). Now, since (
h
⊓
k
)
δ
¯
f and (
h
⊓
k
)
δ
¯
g, we obtain (
h
⊓
k
)
δ
¯
(
f
⊔
g
¯
). From (
f
s
p
2
), it follows that f
⊔
g
¯
(
e
)
(
x
)
≤
1
-
(
h
⊓
k
)
(
e
)
(
x
). Also, we get h
(
e
)
(
x
)
-
ϵ
/
2
<
(
k
⊓
h
)
(
e
)
(
x
). Thus,
(10)
a
=
f
⊔
g
¯
(
e
)
(
x
)
≤
1
-
(
h
⊓
k
)
(
e
)
(
x
)
≤
1
-
h
(
e
)
(
x
)
+
ϵ
2
<
a
-
ϵ
+
ϵ
2
=
a
-
ϵ
2
,
which yields a contradiction.
(
f
o
4
) Because of ∅
~
δ
¯
X
~, we get ∅
~
¯
=
∅
~Trivially, the fuzzy soft proximity space defined in Example23 induces the fuzzy soft topological space τ
=
{
∅
~
,
X
~
}.Definition 26.
Let(
X
,
δ
) be a fuzzy soft proximity space. For f
,
g
∈
I
X, the fuzzy soft set g is said to be a fuzzy soft δ-neighborhood of f if f
δ
¯
(
X
~
-
g
); we write this in symbols as f
⋐
g.Theorem 27.
Let(
X
,
δ
) be a fuzzy soft proximity space. Then the relation ⋐ satisfies the following properties:(
f
s
p
n
1
)
∅
~
⋐
f;
(
f
s
p
n
2
)
f
⋐
g implies (
X
~
-
g
)
⋐
(
X
~
-
f
);
(
f
s
p
n
3
)
f
⋐
g implies f
⊓
g
c
=
∅
~;
(
f
s
p
n
4
)
f
⋐
(
g
⊓
h
) if and only if f
⋐
g and f
⋐
h;
(
f
s
p
n
5
)
f
⊑
g
⋐
h
⊑
k implies f
⋐
k;
(
f
s
p
n
6
)
f
⋐
g implies there is an h
∈
F
S
(
X
,
E
) such that f
⋐
h
⋐
g.Proof.
(
f
s
p
n
1
) is obvious.
(
f
s
p
n
2
) If f
⋐
g, then f
δ
¯
(
X
~
-
g
). By (
f
s
p
3
), (
X
~
-
g
)
δ
¯
f; that is, X
~
-
g
⋐
X
~
-
f.
(
f
s
p
n
3
) Let f
⋐
g. Then, from (
f
s
p
2
), it follows that f
⊓
g
c
=
∅
~.
(
f
s
p
n
4
) Consider f
⋐
g
⊓
h
⇔
f
δ
¯
(
g
⊓
h
)
c
=
g
c
⊔
h
c
⇔
f
δ
¯
g
c and f
δ
¯
h
c
⇔
f
⋐
g and f
⋐
h.
(
f
s
p
n
5
) If f
⋐
¯
k, where ⋐
¯ means negation of ⋐, then f
δ
(
X
~
-
k
). Since f
⊑
g and X
~
-
k
⊑
X
~
-
h, we have g
δ
(
X
~
-
h
). Therefore, g
⋐
¯
h, which is a contradiction.
(
f
s
p
n
6
) Consider that f
⋐
g implies f
δ
¯
(
X
~
-
g
). Then, by (
f
s
p
5
), there exists an h
∈
F
S
(
X
,
E
) such that f
δ
¯
(
X
~
-
h
) and h
δ
¯
(
X
~
-
g
). Hence, f
⋐
h
⋐
g.Theorem 28.
Let(
X
,
δ
) be a fuzzy soft proximity space and f
,
g
∈
F
S
(
X
,
E
). Then, the following statements are satisfied:(i)
f
⋐
g if and only if f
¯
⋐
g;
(ii)
iff
⋐
g, then there is a k
∈
τ
(
δ
) such that f
⊑
k
⊑
g;
(iii)
iff
δ
¯
g, then there exist fuzzy soft sets h
,
k such that f
⋐
h, g
⋐
k, and h
δ
¯
k.Proof.
(i) It is clear by the fact thatg
δ
f if and only if g
δ
f
¯ (see the proof of Theorem 25).
(ii) Letf
⋐
g. Then, f
δ
¯
(
X
~
-
g
) and this implies that
(11)
X
~
-
g
¯
=
X
~
-
⊔
{
h
:
(
X
~
-
g
)
δ
¯
h
}
⊑
X
~
-
f
.
Set k
=
X
~
-
(
X
~
-
g
¯
). It is easy to verify that
(12)
X
~
-
k
¯
=
X
~
-
g
¯
¯
=
X
~
-
g
¯
=
X
~
-
k
.
Thus, we obtain k
∈
τ
(
δ
) and f
⊑
k
⊑
g.
(iii) Iff
δ
¯
g, then, from (
f
s
p
5
), there is a fuzzy soft set k such that f
δ
¯
k and g
δ
¯
(
X
~
-
k
). Because k
δ
¯
f, there is a fuzzy soft set h such that k
δ
¯
h and f
δ
¯
(
X
~
-
h
). Thus, there exist fuzzy soft sets h and k such that f
⋐
h, g
⋐
k, and h
δ
¯
k.Theorem 29.
Let⋐ be a relation on F
S
(
X
,
E
) satisfying (
f
s
p
n
1
)
-
(
f
s
p
n
6
). Then, δ is a fuzzy soft proximity on X defined as follows:
(13)
f
δ
¯
g
i
f
f
f
⋐
(
X
~
-
g
)
.
Also, according to this fuzzy soft proximity, g is a fuzzy soft δ-neighbourhood of f if and only if f
⋐
g.Proof.
We first need to verify axioms(
f
s
p
1
)
–
(
f
s
p
5
).(
f
s
p
1
)
Letf
∈
F
S
(
X
,
E
). By (
f
s
p
n
1
), we have ∅
~
⋐
(
X
~
-
f
) and thus ∅
~
δ
¯
f.
(
f
s
p
2
)
Letf
δ
¯
g. Then, f
⋐
g
c and from (
f
s
p
n
3
) it follows that
(14)
f
⊓
g
=
f
⊓
(
g
c
)
c
=
∅
~
.
(
f
s
p
3
)
Iff
δ
¯
g, then f
⋐
g
c. By (
f
s
p
n
2
), g
⋐
f
c and hence g
δ
¯
f.
(
f
s
p
4
)
Considerf
δ
¯
(
g
⊔
h
)
⇔
f
⋐
(
X
~
-
(
g
⊔
h
)
)
⇔
f
⋐
(
X
~
-
g
) and f
⋐
(
X
~
-
h
)
⇔
f
δ
¯
g and f
δ
¯
h.
(
f
s
p
5
)
Letf
δ
¯
g. Then f
⋐
(
X
~
-
g
). Therefore, by (
f
s
p
n
6
), there is a fuzzy soft set h such that f
⋐
h
⋐
(
X
~
-
g
). Thus, f
δ
¯
(
X
~
-
h
) and h
δ
¯
g.
Hence,δ is a fuzzy soft proximity on X. From the definitions of the terms involved, it follows easily that g is a fuzzy soft δ-neighbourhood of f if and only if f
⋐
g.Theorem 30.
If(
X
,
δ
) is a fuzzy soft proximity space and f
∈
F
S
(
X
,
E
), then
(15)
f
¯
=
⊓
{
g
:
f
⋐
g
}
.Proof.
Let us take a fuzzy soft setg such that f
⋐
g. Therefore, f
¯
⋐
g and by (
f
s
p
n
3
) we obtain f
¯
⊑
g. Hence,
(16)
f
¯
⊑
⊓
{
g
:
f
⋐
g
}
.
On the other hand, suppose that there are an e
∈
E and an x
∈
X such that ∧
{
g
(
e
)
(
x
)
:
f
⋐
g
}
>
f
¯
(
e
)
(
x
). Let ∧
{
g
(
e
)
(
x
)
:
f
⋐
g
}
=
a. Then there exists an ϵ
>
0 such that
(17)
f
¯
(
e
)
(
x
)
=
1
-
∨
{
h
(
e
)
(
x
)
:
f
δ
¯
h
}
<
a
-
ϵ
.
Therefore, there exists a fuzzy soft set k such that f
δ
¯
k and 1
-
k
(
e
)
(
x
)
<
a
-
ϵ. Because f
δ
¯
k, we have f
⋐
(
X
~
-
k
). Hence, ⊓
{
g
:
f
⋐
g
}
⊑
(
X
~
-
k
). Thus,
(18)
a
=
∧
{
g
(
e
)
(
x
)
:
f
⋐
g
}
≤
1
-
k
(
e
)
(
x
)
<
a
-
ϵ
,
which leads to a contradiction.Definition 31 (see [35]).
Let(
X
,
δ
1
) and (
Y
,
δ
2
) be two fuzzy soft proximity spaces. A fuzzy soft mapping φ
ψ
:
(
X
,
δ
1
)
→
(
Y
,
δ
2
) is a fuzzy soft proximity mapping if it satisfies
(19)
f
δ
1
g
⟹
φ
ψ
(
f
)
δ
2
φ
ψ
(
g
)
for every f
,
g
∈
F
S
(
X
,
E
).Using the above definition, we can easily prove the following propositions.Proposition 32.
Let(
X
,
δ
1
) and (
Y
,
δ
2
) be two fuzzy soft proximity spaces. A fuzzy soft mapping φ
ψ
:
(
X
,
δ
1
)
→
(
Y
,
δ
2
) is a fuzzy soft proximity mapping if and only if
(20)
h
δ
2
¯
k
⟹
φ
ψ
-
1
(
h
)
δ
1
¯
φ
ψ
-
1
(
k
)
,
or in another form
(21)
h
⋐
2
k
⟹
φ
ψ
-
1
(
h
)
⋐
1
φ
ψ
-
1
(
k
)
,
for every h
,
k
∈
F
S
(
Y
,
K
).Proposition 33.
The composition of two fuzzy soft proximity mappings is a fuzzy soft proximity mapping.Theorem 34.
A fuzzy soft proximity mappingφ
ψ
:
(
X
,
δ
1
)
→
(
Y
,
δ
2
) is fuzzy soft continuous with respect to τ
(
δ
1
) and τ
(
δ
2
).Proof.
Letf
∈
τ
(
δ
2
). Now let us take any h
∈
F
S
(
Y
,
K
) such that h
δ
2
¯
(
Y
~
-
f
). Since φ
ψ is a fuzzy soft proximity mapping, we obtain φ
ψ
-
1
(
h
)
δ
1
¯
(
X
~
-
φ
ψ
-
1
(
f
)
). From (
f
s
p
2
), it follows that X
~
-
φ
ψ
-
1
(
f
)
¯
⊑
X
~
-
φ
ψ
-
1
(
h
). Then, for every e
∈
E and every x
∈
X, we have
(22)
(
X
~
-
φ
ψ
-
1
(
f
)
)
¯
(
e
)
(
x
)
≤
(
X
~
-
φ
ψ
-
1
(
h
)
)
(
e
)
(
x
)
=
1
-
h
(
ψ
(
e
)
)
(
φ
(
x
)
)
=
(
Y
~
-
h
)
(
ψ
(
e
)
)
(
φ
(
x
)
)
.
Therefore,
(23)
(
X
~
-
φ
ψ
-
1
(
f
)
)
¯
(
e
)
(
x
)
WW
≤
(
⨅
h
δ
2
¯
(
Y
~
-
f
)
⁡
(
Y
~
-
h
)
)
(
ψ
(
e
)
)
(
φ
(
x
)
)
WW
=
(
Y
~
-
f
¯
)
(
ψ
(
e
)
)
(
φ
(
x
)
)
WW
=
(
Y
~
-
f
)
(
ψ
(
e
)
)
(
φ
(
x
)
)
WW
=
1
-
φ
ψ
-
1
(
f
)
(
e
)
(
x
)
WW
=
(
X
~
-
φ
ψ
-
1
(
f
)
)
(
e
)
(
x
)
.
Thus, since X
~
-
φ
ψ
-
1
(
f
)
¯
⊑
X
~
-
φ
ψ
-
1
(
f
), we obtain φ
ψ
-
1
(
f
)
∈
τ
(
δ
1
).Definition 35.
Ifδ
1 and δ
2 are two fuzzy soft proximities on X, we define
(24)
δ
1
<
δ
2
iff
f
δ
2
g
implies
f
δ
1
g
.
The above is expressed by saying that δ
2 is finer than δ
1, or δ
1 is coarser than δ
2.


## 4. Initial Fuzzy Soft Proximities

We prove the existences of initial fuzzy soft proximity structure. Based on this fact, we define the product of fuzzy soft proximity spaces.Definition 36.
LetX be a set and {
(
X
α
,
δ
α
)
:
α
∈
Δ
} a family of fuzzy soft proximity spaces, and, for each α
∈
Δ, let (
φ
ψ
)
α
:
F
S
(
X
,
E
)
→
(
X
α
,
δ
α
) be a fuzzy soft mapping. The initial structure δ is the coarsest fuzzy soft proximity on X for which all mappings (
φ
ψ
)
α
:
(
X
,
δ
)
→
(
X
α
,
δ
α
)  (
α
∈
Δ
) are fuzzy soft proximity mapping.Theorem 37 (existence of initial structures).
LetX be a set {
(
X
α
,
δ
α
)
:
α
∈
Δ
} a family of fuzzy soft proximity spaces, and, for each α
∈
Δ, let (
φ
ψ
)
α
:
F
S
(
X
,
E
)
→
(
X
α
,
δ
α
) be a fuzzy soft mapping. For any f
,
g
∈
F
S
(
X
,
E
), define f
δ
g if and only if, for every finite families {
f
i
:
i
=
1
,
…
,
n
} and {
g
j
:
j
=
1
,
…
,
m
}, where f
=
⊔
i
=
1
n
f
i and g
=
⊔
j
=
1
m
g
j, there exist an f
i and a g
j such that
(25)
(
φ
ψ
)
α
(
f
i
)
δ
α
(
φ
ψ
)
α
(
g
j
)
f
o
r
e
a
c
h
α
∈
Δ
.
Then δ is the coarsest fuzzy soft proximity on X for which all mappings (
φ
ψ
)
α
:
(
X
,
δ
)
→
(
X
α
,
δ
α
)  (
α
∈
Δ
) are fuzzy soft proximity mapping.Proof.
We first prove thatδ is a fuzzy soft proximity on X.(
f
s
p
1
)
is obvious.
(
f
s
p
2
)
We will show that iff
δ
¯
g, then f
⊓
g
=
∅
~. Let f
δ
¯
g. Then, there exist finite covers f
=
⊔
i
=
1
n
f
i and g
=
⊔
j
=
1
m
g
j of f and g, respectively, such that (
φ
ψ
)
α
(
f
i
)
δ
α
¯
(
φ
ψ
)
α
(
g
j
) for some α
=
s
i
j
∈
Δ, where i
=
1
,
…
,
n and j
=
1
,
…
,
m. Since each δ
α is a fuzzy soft proximity, (
φ
ψ
)
α
(
f
i
)
⊓
(
φ
ψ
)
α
(
g
j
)
=
∅
~. From this, it follows that
(26)
(
φ
ψ
)
α
(
⨆
i
=
1
n
f
i
)
⊓
(
φ
ψ
)
α
(
⨆
j
=
1
m
g
j
)
WW
=
(
φ
ψ
)
α
(
f
)
⊓
(
φ
ψ
)
α
(
g
)
=
∅
~
.
Thus, we havef
⊓
g
=
∅
~.
(
f
s
p
3
)
Since eachδ
α is a fuzzy soft proximity, it is clear that f
δ
g implies g
δ
f.
(
f
s
p
4
)
It is easy to verify that iff
δ
g, then f
δ
h for each h
⊒
g. Therefore, f
δ
g or f
δ
h implies f
δ
(
g
⊔
h
). Conversely, assume that f
δ
¯
g and f
δ
¯
h. Then, there exist finite covers f
=
⊔
i
=
1
n
f
i and g
=
⊔
j
=
1
m
g
j of f and g, respectively, such that (
φ
ψ
)
α
(
f
i
)
δ
α
¯
(
φ
ψ
)
α
(
g
j
) for some α
=
s
i
j
∈
Δ, where i
=
1
,
…
,
n and j
=
1
,
…
,
m. In the same way, there are finite covers f
=
⊔
p
=
1
q
k
p and h
=
⊔
j
=
m
+
1
m
+
l
g
j of f and h, respectively, such that (
φ
ψ
)
α
(
k
p
)
δ
α
¯
(
φ
ψ
)
α
(
g
j
) for some α
=
t
p
j
∈
Δ, where p
=
1
,
…
,
q and j
=
m
+
1
,
…
,
m
+
l. Now, f
=
⊔
{
f
i
⊓
k
p
:
i
=
1
,
…
,
n
;
p
=
1
,
…
,
q
} and g
⊔
h
=
⊔
{
g
j
:
j
=
1
,
…
,
m
+
l
} are finite covers of f and g
⊔
h, respectively. Hence, from the fact that (
φ
ψ
)
α
(
f
i
⊓
k
p
)
δ
α
¯
(
φ
ψ
)
α
(
g
j
) for α
=
s
i
j or α
=
t
p
j, it follows that f
δ
¯
(
g
⊔
h
).
(
f
s
p
5
)
Let us define the setΩ of all pairs (
f
,
g
) such that f
δ
¯
g and we have either f
δ
h or g
δ
(
X
~
-
h
) for each h
∈
F
S
(
X
,
E
). The validity of (
f
s
p
5
) will follow from the fact that Ω is empty. Suppose, on the contrary, that (
f
,
g
)
∈
Ω. Then, (
φ
ψ
)
α
(
f
)
δ
α
(
φ
ψ
)
α
(
g
) for each α
∈
Δ. Indeed, let h
∈
F
S
(
X
α
,
E
α
) and k
=
(
φ
ψ
)
α
-
1
(
h
). If f
δ
k, then (
φ
ψ
)
α
(
f
)
δ
α
(
φ
ψ
)
α
(
k
). Because (
φ
ψ
)
α
(
k
)
⊑
h, we have (
φ
ψ
)
α
(
f
)
δ
α
h. Similarly, if g
δ
(
X
~
-
k
), then (
φ
ψ
)
α
(
g
)
δ
α
(
X
~
α
-
h
). Hence, since δ
α is a fuzzy soft proximity on X
α, we obtain (
φ
ψ
)
α
(
f
)
δ
α
(
φ
ψ
)
α
(
g
). Also, we observe that for each (
f
,
g
)
∈
Ω there are positive integers n
,
m and covers f
=
⊔
i
=
1
n
f
i and g
=
⊔
j
=
1
m
g
j such that, for every pair (
i
,
j
)
∈
{
1
,
…
,
n
}
×
{
1
,
…
,
m
}, there exists an α
∈
Δ satisfying (
φ
ψ
)
α
(
f
i
)
δ
α
¯
(
φ
ψ
)
α
(
g
j
). Let l
=
n
+
m. It easy to see that l
>
2. Then, for each (
f
,
g
)
∈
Ω, let us choose such an integer l. But l is not uniquely determined by (
f
,
g
). Let κ be the set of all integers corresponding to members of Ω and let l be the smallest member of κ. Take a (
f
,
g
)
∈
Ω such that l is the integer corresponding to it. Then, there are covers f
=
⊔
i
=
1
n
f
i and g
=
⊔
j
=
1
m
g
j such that l
=
n
+
m and for every pair (
i
,
j
)
∈
{
1
,
…
,
n
}
×
{
1
,
…
,
m
} and there exists an α
∈
Δ satisfying (
φ
ψ
)
α
(
f
i
)
δ
α
¯
(
φ
ψ
)
α
(
g
j
). One of the n, m is greater than 1. Consider n
>
1 and let f
′
=
f
1
⊔
⋯
⊔
f
n
-
1. In this case, one of the following conditions should be true:
(i)
for everyh
∈
F
S
(
X
,
E
), either f
′
δ
h or g
δ
(
X
~
-
h
);
(ii)
for everyh
∈
F
S
(
X
,
E
), either f
n
δ
h or g
δ
(
X
~
-
h
).
In fact, suppose that neither (i) nor (ii) holds. Then, there areh
1
,
h
2
∈
F
S
(
X
,
E
) such that f
′
δ
¯
h
1
,
g
δ
¯
(
X
~
-
h
1
) and f
n
δ
¯
h
2
,
g
δ
¯
(
X
~
-
h
2
). Letting h
=
h
1
⊓
h
2, we obtain f
δ
¯
h and g
δ
¯
(
X
~
-
h
), contradicting the fact that (
f
,
g
)
∈
Ω.
Suppose that (i) holds. Becausef
′
⊑
f and f
δ
¯
g, this means that f
′
δ
¯
g. Hence, by (i), we have (
f
′
,
g
)
∈
Ω. But this is now a contradiction since (
n
-
1
)
+
m
=
l
-
1
∈
κ, contrary to the choice of l. If (ii) holds, we get a contradiction in a similar way. Therefore, the set Ω is empty. Thus, δ is a fuzzy soft proximity on X.
It is easy to see that all mappings(
φ
ψ
)
α
:
(
X
,
δ
)
→
(
X
α
,
δ
α
) are fuzzy soft proximity mapping. Let δ
* be another fuzzy soft proximity on X making each of the mappings (
φ
ψ
)
α
:
(
X
,
δ
*
)
→
(
X
α
,
δ
α
) fuzzy soft proximity mapping. We will show that δ
<
δ
*, which will complete the proof. Let f
δ
*
g and consider any covers f
=
⊔
i
=
1
n
f
i and g
=
⊔
j
=
1
m
g
j of f and g, respectively. Since f
=
(
f
1
⊔
⋯
⊔
f
n
)
δ
*
g, by (
f
s
p
4
), there is an i
∈
{
1
,
…
,
n
} such that f
i
δ
g. In the same way, since f
i
δ
*
g
=
(
g
1
⊔
⋯
⊔
g
m
), by (
f
s
p
4
), there is a j
∈
{
1
,
…
,
m
} such that f
i
δ
g
j. From the fact that all mappings (
φ
ψ
)
α
:
(
X
,
δ
*
)
→
(
X
α
,
δ
α
) are fuzzy soft proximity mapping, it follows that (
φ
ψ
)
α
(
f
i
)
δ
α
(
φ
ψ
)
α
(
g
j
) for each α
∈
Δ. Thus, we get f
δ
g.Theorem 38.
A fuzzy soft mappingφ
ψ
:
(
Y
,
δ
*
)
→
(
X
,
δ
) is a fuzzy soft proximity mapping if and only if (
φ
ψ
)
α
∘
φ
ψ
:
(
Y
,
δ
*
)
→
(
X
α
,
δ
α
) is a fuzzy soft proximity mapping for every α
∈
Δ.Proof.
The necessity is easy. We prove the sufficiency. Suppose that(
φ
ψ
)
α
∘
φ
ψ is a fuzzy soft proximity mapping for every α
∈
Δ. Let f
δ
*
g and let φ
ψ
(
f
)
=
⊔
i
=
1
n
f
i and φ
ψ
(
g
)
=
⊔
j
=
1
m
g
j. Then, we have
(27)
f
⊑
⨆
i
=
1
n
φ
ψ
-
1
(
f
i
)
,
g
⊑
⨆
j
=
1
m
(
φ
ψ
)
-
1
g
j
.
Since f
δ
*
g, by (
f
s
p
4
), there exist i
,
j such that φ
ψ
-
1
(
f
i
)
δ
*
φ
ψ
-
1
(
g
j
). Because
(28)
(
φ
ψ
)
α
∘
φ
ψ
∘
φ
ψ
-
1
(
f
i
)
⊑
φ
ψ
(
f
i
)
,
(
φ
ψ
)
α
∘
φ
ψ
∘
φ
ψ
-
1
(
g
j
)
⊑
φ
ψ
(
g
j
)
,
it follows from our hypothesis that (
φ
ψ
)
α
(
f
i
)
δ
α
(
φ
ψ
)
α
(
g
j
) for every α
∈
Δ. This shows that φ
ψ
(
f
)
δ
φ
ψ
(
g
).Definition 39.
Let{
(
X
α
,
δ
α
)
:
α
∈
Δ
} be a family of fuzzy soft proximity spaces and let X
=
∏
α
∈
Δ
‍
X
α and E
=
∏
α
∈
Δ
‍
E
α be product sets. An initial fuzzy soft proximity structure δ
=
∏
α
∈
Δ
‍
δ
α on X with respect to all the fuzzy soft projection mappings (
p
X
α
)
q
E
α, where p
X
α
:
X
→
X
α and q
E
α
:
E
→
E
α, is called the product fuzzy soft proximity structure.
(
X
,
δ
) is said to be a product fuzzy soft proximity space.From Theorems37 and 38, we obtain the following corollary.Corollary 40.
Consider{
(
X
α
,
δ
α
)
:
α
∈
Δ
} be a family of fuzzy soft proximity spaces. Let X
=
∏
α
∈
Δ
‍
X
α and E
=
∏
α
∈
Δ
‍
E
α be sets and for each α
∈
Δ let (
p
X
α
)
q
E
α be a fuzzy soft mapping. For any f
,
g
∈
F
S
(
X
,
E
), define f
δ
g if and only if, for every finite families {
f
i
:
i
=
1
,
…
,
n
} and {
g
j
:
j
=
1
,
…
,
m
}, where f
=
⊔
i
=
1
n
f
i and g
=
⊔
j
=
1
m
g
j, there exist an f
i and a g
j such that (
p
X
α
)
q
E
α
(
f
i
)
δ
α
(
p
X
α
)
q
E
α
(
g
j
) for each α
∈
Δ. Then,(i)
δ
=
∏
α
∈
Δ
‍
δ
α is the coarsest fuzzy soft proximity on X for which all mappings (
p
X
α
)
q
E
α  (
α
∈
Δ
) are fuzzy soft proximity mapping;
(ii)
a fuzzy soft mappingφ
ψ
:
(
Y
,
δ
*
)
→
(
X
,
δ
) is a fuzzy soft proximity mapping if and only if (
p
X
α
)
q
E
α
∘
φ
ψ
:
(
Y
,
δ
*
)
→
(
X
α
,
δ
α
) is a fuzzy soft proximity mapping for every α
∈
Δ.


## 5. Fuzzy Soft Proximities Induced by Proximities

Our task in this section is to study the connection between fuzzy soft proximity spaces and proximity spaces.Definition 41 (see [17]).
LetX be a set and let A be a subset of X. Then, a mapping χ
~
A
:
E
→
I
X is a fuzzy soft set on X defined as the following:
(29)
χ
~
A
(
e
)
=
χ
A
for
every
e
∈
E
,
where χ
A is a characteristic function of A.Example 42.
LetX
=
{
x
1
,
x
2
,
x
3
}, A
=
{
x
1
,
x
2
}, and E
=
{
e
1
,
e
2
}. Then,
(30)
χ
~
A
=
{
(
e
1
,
{
x
1
1
,
x
2
1
,
x
3
0
}
)
,
(
e
2
,
{
x
1
1
,
x
2
1
,
x
3
0
}
)
}
is a fuzzy soft set on X.Lemma 43.
For any subsetsA
,
B of X,(i)
χ
~
A
⊓
χ
~
B
=
χ
~
A
∩
B;
(ii)
χ
~
A
⊔
χ
~
B
=
χ
~
A
∪
B;
(iii)
(
χ
~
A
)
c
=
χ
~
A
c.Proof.
Straightforward.Theorem 44.
Let(
X
,
δ
) be a proximity space. By letting, for f
,
g
∈
F
S
(
X
,
E
),
f
δ
i
¯
g if and only if there exist subsets A
,
B of X such that f
⊑
χ
~
A, g
⊑
χ
~
B, and A
δ
¯
B, one defines a fuzzy soft proximity on X.Proof.
We will show thatδ
i satisfies axioms (
f
s
p
1
)
–
(
f
s
p
5
).(
f
s
p
1
)
From∅
~
⊑
χ
~
∅, f
⊑
χ
~
X, and ∅
δ
¯
X, it follows that ∅
~
δ
i
¯
f.
(
f
s
p
2
)
Letf
δ
i
¯
g. Then, there are subsets A and B of X such that f
⊑
χ
~
A, g
⊑
χ
~
B, and A
δ
¯
B. By A
δ
¯
B, we have A
∩
B
=
∅, so that χ
~
A
⊓
χ
~
B
=
∅
~. Thus, we get f
⊓
g
=
∅
~.
(
f
s
p
3
)
It is clear becauseA
δ
¯
B implies B
δ
¯
A.
(
f
s
p
4
)
It is easy to see that iff
δ
i
¯
(
g
⊔
h
), then f
δ
i
¯
g and f
δ
i
¯
h. Conversely, suppose that f
δ
i
¯
g and f
δ
i
¯
h. Then, there exist subsets A and B of X such that f
⊑
χ
~
A, g
⊑
χ
~
B, and A
δ
¯
B. Likewise, there exist subsets C and D of X such that f
⊑
χ
~
C, h
⊑
χ
~
D, and C
δ
¯
D. Since f
⊑
χ
~
A
⊓
χ
~
C
=
χ
~
A
∩
C,  g
⊔
h
⊑
χ
~
B
⊔
χ
~
D
=
χ
~
B
∪
D, and (
A
∩
C
)
δ
¯
(
B
∪
D
), we conclude that f
δ
i
¯
(
g
⊔
h
).
(
f
s
p
5
)
Iff
δ
i
¯
g, then there are subsets A and B of X such that f
⊑
χ
~
A, g
⊑
χ
~
B, and A
δ
¯
B. Since A
δ
¯
B, by (
p
5
), there is a C
⊆
X such that A
δ
¯
C and B
δ
¯
(
X
-
C
). Therefore, for a fuzzy soft set χ
~
C, we obtain f
δ
i
¯
χ
~
C and g
δ
i
¯
(
X
~
-
χ
~
C
), which completes the proof.Theorem 45.
Let(
X
,
δ
*
) be a fuzzy soft proximity space.(a)
There is a proximity relationδ on X such that δ
*
=
δ
i.
(b)
Iff
δ
*
¯
g, then there exist subsets A and B of X such that f
⊑
χ
~
A, g
⊑
χ
~
B, and χ
~
A
δ
*
¯
χ
~
B
(c)
The relationA
δ
B if and only if χ
~
A
δ
*
χ
~
B is a proximity on X.
Then,(
a
) and (
b
) are equivalent and they imply (
c
).Proof.
The implication(
a
)
⇒
(
b
) is obvious.
To prove that(
b
)
⇒
(
c
), since the other axioms are readily verified, it is enough to show that δ satisfies (
p
5
). Let A
δ
¯
B for any subsets A
,
B of X. Because χ
~
A
δ
*
¯
χ
~
B, there is an f
∈
F
S
(
X
,
E
) such that χ
~
A
δ
*
¯
f and χ
~
B
δ
*
¯
(
X
~
-
f
). By hypothesis, there exist subsets C
,
D
,
G
,
H of X such that χ
~
A
⊑
χ
~
C, f
⊑
X
~
D, χ
~
B
⊑
X
~
G, X
~
-
f
⊑
χ
~
H, χ
~
C
δ
*
¯
χ
~
D, and χ
~
G
δ
*
¯
χ
~
H. Because f
⊑
X
~
D and X
~
-
f
⊑
χ
~
H, we have χ
~
(
X
-
D
)
⊑
χ
~
H. Now, from χ
~
C
δ
*
¯
χ
~
D and χ
~
A
⊑
χ
~
C, it follows that χ
~
A
δ
*
¯
χ
~
D and so A
δ
¯
D. Likewise, since χ
~
G
δ
*
¯
χ
~
H, χ
~
B
⊑
χ
~
G, and χ
~
(
X
-
D
)
⊑
χ
~
H, we have χ
~
B
δ
*
¯
χ
~
(
X
-
D
) and this implies that B
δ
¯
(
X
-
D
). Thus, δ has the axiom (
p
5
).
In order to prove(
b
)
⇒
(
a
), let us define the binary relation δ on the power set of X as follows:
(31)
A
δ
B
iff
χ
~
A
δ
*
χ
~
B
.
We have shown that δ is a proximity on X. To complete the proof, it will suffice to prove that δ
*
=
δ
i, that is, that f
δ
i
g if and only if f
δ
*
g. Assume that f
δ
*
¯
g. Then, by hypothesis, there exist subsets A and B of X such that f
⊑
χ
~
A, g
⊑
χ
~
B, and χ
~
A
δ
*
¯
χ
~
B. Since χ
~
A
δ
*
¯
χ
~
B, by definition, we have A
δ
¯
B. Thus, f
δ
i
¯
g. On the other hand, suppose that f
δ
i
¯
g. Using the definition of δ
i, we obtain subsets A
,
B of X such that f
⊑
χ
~
A, g
⊑
χ
~
B, and A
δ
¯
B. Therefore, we get χ
~
A
δ
*
¯
χ
~
B. Thus, since f
⊑
χ
~
A, g
⊑
χ
~
B, and χ
~
A
δ
*
¯
χ
~
B, we obtain f
δ
*
¯
g and the proof is concluded.


## 6. Conclusion

Each proximity space determines in a natural way a topological space with beneficial properties. Also, this theory possesses deep results, rich machinery, and tools. With the development of topology, the theory of proximity makes a great progress. Hence, the concept of proximity has been studied by many authors in both the fuzzy setting and the soft setting. In the present work, we mainly establish some properties of fuzzy soft proximity spaces in Katsaras’s sense. We have shown that each fuzzy soft proximity determines a fuzzy soft topology by using fuzzy soft closure operator. Also, we present an alternative description of the concept of fuzzy soft proximity, which is called fuzzy softδ-neighborhood. We believe that these results will help the researchers to advance and promote the further study on fuzzy soft topology to carry out a general framework for their applications in practical life.



---

*Source: 752634-2015-01-27.xml*