Topology on Soft Continuous Function Spaces - MDPI

Mathematical and Computational Applications

Article

Topology on Soft Continuous Function Spaces Taha Yasin Öztürk 1, *,† and Sadi Bayramov 2, *,† 1 2

* †

Department of Mathematics; Faculty of Science and Letters, Kafkas University; TR-36100 Kars, Turkey Department of Algebra and Geometry, Baku State University, Baku Az 1148, Azerbaijan Correspondence: [email protected] (T.Y.O.), [email protected] (S.B.) These authors contributed equally to this work.

Academic Editor: Fazal M. Mahomed Received: 28 December 2016; Accepted: 3 April 2017; Published: 27 April 2017

Abstract: The concept of soft sets was initiated by Molodtsov. Then, some operations on soft sets were defined by Maji et al. Later on, the concept of soft topological space was introduced. In this paper, we introduce the concept of the pointwise topology of soft topological spaces. Finally, we investigate the properties of soft mapping spaces and the relationships between some soft mapping spaces. Keywords: soft set; soft point; soft topological space; soft continuous mapping; soft mapping spaces; soft pointwise topology

1. Introduction Because classical methods can inhere troubles, most practical problems in different scientific fields such as engineering, social science, economics, environment, and medical science have required solutions via technical methods rather than dealing with classical methods. Insufficiency of the theories of parameterization tools may result in these difficulties. The concept of soft set theory was initiated by Molodtsov [1] as a new mathematical tool in order to deal with uncertainties. In addition, the works of Maji et al. [2,3] focus on operations over soft set. It can be said that the algebraic structure of set theories bearing on uncertainties is an important problem. Hence, many researchers have been interested in the algebraic structure of soft set theory, and there are many works on this subject. For example, soft groups and their basic properties were introduced by Akta¸s and Çagman ˘ [4]. Later, initial concepts of soft rings were brought into attention by U. Acar et al. [5]. Then, establishing a connection between soft sets and semirings, F. Feng et al. [6] defined soft semirings and several related notions. Later on, M. Shabir et al. [7] worked on soft ideals over a semigroup. Qiu Mei Sun et al. [8] introduced soft modules and their basic properties. Continuing in this way from specific to more general, fuzzy soft modules and intuitionistic fuzzy soft modules were introduced by Gunduz and Bayramov [9,10], respectively, and they investigated some basic properties of these modules. Recently, chain complexes of soft modules and soft homology modules of them were defined by Ozturk and Bayramov [11], and then the concepts of inverse and direct systems in the category of soft modules were introduced by Ozturk et al. [12]. Recently, the study of soft topological spaces was initiated by Shabir and Naz [13]. The works [14–18] concentrated on the theoretical studies of soft topological spaces. The concepts of soft points defined in References [14–18] were different from those in [19]. In our work, we use the concept of soft point defined by Bayramov and Gunduz [19]. In the present study, the pointwise topology is defined in soft continuous mapping space, and the properties of soft mapping spaces are investigated. Subsequently, we give some relationships between some soft mappings spaces. Math. Comput. Appl. 2017, 22, 32; doi:10.3390/mca22020032

www.mdpi.com/journal/mca

Math. Comput. Appl. 2017, 22, 32

2 of 11

2. Preliminaries Here we give necessary definitions and theorems for soft sets that have already been given in the literature. Thus, first of all, we present the definition of the soft set given by Molodtsov [1]. Throughout the study, we will assume X to be an initial universe set and E to be a set of parameters. Then, P( X ) will denote the power set of X. Definition 1. A pair ( F, E) is called a soft set over X, where F is a mapping given by F : E → P( X ) [1]. In other words, the soft set is a parameterized family of subsets of the set X. For e ∈ E, F (e) may be considered as the set of e−elements of the soft set ( F, E), or as the set of e−approximate elements of the soft set. Definition 2. For two soft sets ( F, E) and ( G, E) over X, ( F, E) is called a soft subset of ( G, E) if ∀e ∈ E, F (e) ⊆ G (e) [2]. ∼

This relationship is denoted by ( F, E) ⊆ ( G, E). Similarly, ( F, E) is called a soft superset of ( G, E) if ( G, E) is ∼

a soft subset of ( F, E). This relationship is denoted by ( F, E) ⊇ ( G, E). Two soft sets ( F, E) and ( G, E) over X are called soft equal if ( F, E) is a soft subset of ( G, E), and ( G, E) is a soft subset of ( F, E). Definition 3. The intersection of two soft sets ( F, E) and ( G, E) over X is the soft set ( H, E), where ∀e ∈ E, ∼

H (e) = F (e) ∩ G (e). This is denoted by ( F, E) ∩ ( G, E) = ( H, E) [2]. Definition 4. The union of two soft sets ( F, E) and ( G, E) over X is the soft set, where ∀e ∈ E, H (e) = F (e) ∪ ∼

G (e). This relationship is denoted by ( F, E) ∪ ( G, E) = ( H, E) [2]. Definition 5. A soft set ( F, E) over X is said to be a NULL soft set denoted by Φ if for all e ∈ E, F (e) = ∅(null set) [2]. ∼

Definition 6. A soft set ( F, E) over X is said to be an absolute soft set denoted by X if for all e ∈ E, F (e) = X [2]. Definition 7. The difference ( H, E) of two soft sets ( F, E) and ( G, E) over X , denoted by ( F, E)\( G, E), is defined as H (e) = F (e)/G (e) for all e ∈ E [13]. Definition 8. Let ( F, E) be a soft set over X and Y be a non-empty subset of X. Then, the sub soft set of ( F, E) over Y denoted by Y F, E , is defined as follows Y F (e) = Y ∩ F (e), for all e ∈ E. In other words, ∼∼ Y F, E = Y ∩ ( F, E ) [13]. Definition 9. Let ( F, A) and ( G, B) be two soft sets over X1 and X2 , respectively, and A, B ⊆ E [4]. The cartesian product ( F, A) × ( G, B) is defined by ( F × G )( A× B) , where

( F × G )( A× B) (e, k) = F (e) × G (k), ∀(e, k) ∈ A × B. Definition 10. Let τ be the collection of soft sets over X [13]; then, τ is said to be a soft topology on X if ∼

(1) (2) (3)

Φ, X belongs to τ; the union of any number of soft sets in τ belongs to τ; the intersection of any two soft sets in τ belongs to τ. The triplet ( X, τ, E) is called a soft topological space over X.

Definition 11. Let ( X, τ, E) be a soft topological space over X, then members of τ are said to be soft open sets in X [13].


3 of 11

Proposition 1. Let ( X, τ, E) be a soft topological space over X. Then, the collection τe = { F (e) : ( F, E) ∈ τ } for each e ∈ E, defines a topology on X [13]. 0

0

0

Definition 12. The complement of a soft set ( F, E) is denoted by ( F, E) and is defined by ( F, E) = ( F , E), 0 0 where F : E → P( X ) is a mapping given by F (e) = X − F (e) for all e ∈ E [13]. Definition 13. Let ( X, τ, E) be a soft topological space over X. A soft set ( F, E) over X is said to be soft closed in X if its relative complement ( F, E)0 belongs to τ [13]. Definition 14. Let ( X, τ, E) be a soft topological space over X and ( F, E) be a soft set over X [13]. Then, the soft closure of ( F, E) denoted by ( F, E) is the intersection of all soft closed super sets of ( F, E). Clearly, ( F, E) is the smallest soft closed set over X which contains ( F, E). Definition 15. Let ( F, E) be a soft set over X. The soft set ( F, E) is called a soft point, denoted by ( xe , E) , if for the element e ∈ E, F (e) = { x }, and F (e0 ) = ∅ for all e0 ∈ E − {e} (briefly denoted by xe ) [19]. Definition 16. For two soft points xe and ye0 over a common universe X, we say that the points are different points if x 6= y or e 6= e0 . [19] ∼

Definition 17. The soft point xe is said to belong to the soft set ( F, E) denoted by xe ∈ ( F, E) if xe (e) ∈ F (e); i.e., x ⊆ F (e) [19]. ∼

Definition 18. Let ( X, τ, E) be a soft topological space over X [19]. A soft set ( F, E) ⊆ ( X, E) is called a soft ∼

∼

∼

neighborhood of the soft point xe ∈ ( F, E) if there exists a soft open set ( G, E) such that xe ∈ ( G, E) ⊆ ( F, E). Definition 19. Let ( X, τ, E) and (Y, τ 0 , E) be two soft topological spaces, and f : ( X, τ, E) → (Y, τ 0 , E) be a mapping [20]. For each soft neighbourhood ( H, E) of ( f ( x )e , E) , if there exists a soft neighbourhood ( F, E) of ∼

xe such that f (( F, E)) ⊆ ( H, E), then f is said to be soft continuous mapping at xe . If f is soft continuous mapping for all xe , then f is called soft continuous mapping. Definition 20. {( ϕi , ψi ) : ( X, τ, E) → (Yi , τi , Ei )}i∈∆ is a family of soft mappings, and {(Yi , τi , Ei )}i∈∆ is a n family of soft topological spaces [14]. o Then, the topology τ generated from the subbase

( ϕi , ψi )i−∈1∆ ( Fi , Ei ) : ( Fi , Ei ) ∈ τi , i ∈ ∆ is called the soft topology (or initial soft topology) induced by the family of soft mappings {( ϕi , ψi )}i∈∆ . δ =

Definition 21. Let {( Xi , τi , Ei )}i∈∆ be a family of soft topological spaces [14]. Then, the initial soft topology on X = ∏i∈∆ Xi generated by the family {( pi , qi )}i∈∆ is called product soft topology on X. (here, ( pi , qi ) is the soft projection mapping from ( X, E) to ( Xi , E) i ∈ ∆). The product soft topology is denoted by ∏i∈∆ τi . 3. Topology on Soft Continuous Function Spaces Let {( Xs , τs , E)}s∈S be a family of soft topological spaces over the same parameters set E. We define a family of soft sets

∏ Xs , E

as follows;

s∈S

If Fs : E → P( Xs ) is a soft set over Xs for each s ∈ S, then ∏ Fs : E → P( ∏ Xs ) is defined by s ∈S s∈S ∏ Fs (e) = ∏ Fs (e). Let us consider the topological product ∏ Xs , ∏ τs , ∏ Es of a family of

s∈S

s∈S

s∈S

s∈S

s∈S

soft topological spaces {( Xs , τs , E)}s∈S . We take the restriction to the diagonal ∆ ⊂ ∏ Es of each soft s∈S


4 of 11

set ∏ F : ∏ Es → P( ∏ Xs ). Since there exists a bijection mapping between the diagonal ∆ and the s∈S

s∈S

s∈S

parameters set E, then the restrictions of soft sets are soft sets over E [21]. Let ( X, τ, E) be a soft topological space, {(Ys , τs0 , E)}s∈S be a family of soft topological spaces, and For each soft point xe ∼∈ ( X, τ, E) , {( f s , 1E ) : ( X, τ, E) → (Ys , τs0 , E)}s∈S be a family of soft mappings.

we define the soft mapping f = 4 f s : ( X, τ, E) → ∏ Ys , τ 0 , E by f ( xe ) = { f s ( xe )}s∈S = s ∈S s ∈ S {( f s ( x ))e }s∈S . If f : ( X, τ, E) → ∏ Ys , τ 0 , E is any soft mapping, then f = 4 f s is satisfied for the s∈S

family of soft mappings { f s = ps ◦ f : ( X, τ, E) → (Ys , τs0 , E)}s∈S [21]. Theorem 2. f : (X, τ, E) → is soft continuous for each s ∈ S.

s∈S

∏ Ys , τ 0 , E is soft continuous if and only if f s = ps ◦ f : (X, τ, E) → (Ys , τs0 , E)

s∈S

Proof. =⇒ Let f be a soft continuous mapping. Since the soft mappings ps are also continuous, the composite mapping will be continuous. !

⇐= Let

Fs1 × ... × Fsn ×

f

−1

es , E ∏ Y

be an any soft base of product topology.

s6=s1 ...sn

!

∏

Fs1 × ... × Fsn ×

es , E Y

=

1 −1 f −1 p− s1 ( Fs1 ) ∩ ... ∩ psn ( Fsn ), E

=

s6=s1 ...sn

1 −1 −1 f −1 p− psn ( Fsn ), E s1 ( Fs1 ) ∩ ... ∩ f

Since the soft mappings ps1 ◦ f , ..., psn ◦ f are soft continuous, the soft set

1 −1 −1 f −1 p− psn ( Fsn ), E s1 ( Fs1 ) ∩ ... ∩ f is soft open. Thus, f : (X, τ, E) → ∏ Ys , τ 0 , E is soft continuous.

s∈S

n

o

0

f s : (Xs , τs , E) → (Ys , τs , E) is a family of soft continuous mappings, then the soft mapping s∈S 0 ∏ f s : ∏ Xs , τ, E → ∏ Ys , τ , E is soft continuous. If

s∈S

s∈S

s∈S

Now, let the family of soft topological spaces {(Xs , τs , E)}s∈S be disjoint; i.e., Xs1 ∩ Xs2 = ∅ for each s1 6= s2 . For the soft set F : E → ∪ Xs over the set E, define the soft set F|Xs : E → Xs by s∈S

F|Xs (e) = F(e) ∩ Xs , ∀e ∈ E and the soft topology τ define by ( F, E) ∈ τ ⇐⇒ F|Xs , E ∈ τs . It is clear that τ is a soft topology. Definition 22. A soft topological space

∪ Xs , τ, E is called the soft topological sum of the family of soft

s∈S

topological spaces {(Xs , τs , E)}s∈S and denoted by ⊕ (Xs , τs , E). s∈S

Let (is , 1E ) : (Xs , τs , E) → ⊕ (Xs , τs , E) be an inclusion mapping for each s ∈ S. Since s∈S

is , 1E

−1

( F, E) =

F|Xs , E ∈ τs , for F, E ∈ τ,


n

5 of 11

(is , 1E ) is soft continuous. 0 Let {(Xs , τs , E)}s∈S be aofamily of soft topological spaces, (Y, τ , E) be a soft topological space, and 0

f s : (Xs , τs , E) → (Y, τ , E)

s∈S

be a family of soft mappings. We define the soft function f = ∇ f s : s∈S

∼

0

⊕ (Xs , τs , E) → (Y, τ , E) by f (xe ) = f s (xe ) = ( f s (x))e , where each soft point xe ∈ ⊕ (Xs , τs , E) can

s∈S

s∈S

0

belong to a unique soft topological space (Xs0 , τs0 , E). If f : ⊕ (Xs , τs , E) → (Y, τ , E) is any soft mapping, s∈ nS o 0 then ∇ f s = f is satisfied for the family of soft mappings f s = f ◦ is : (Xs , τs , E) → (Y, τ , E) . s∈S

s∈S

0

Theorem 3. The soft mapping f : ⊕ (Xs , τs , E) → (Y, τ , E) is soft continuous if and only if f s = f ◦ is : s∈S

0

(Xs , τs , E) → (Y, τ , E) are soft continuous for each s ∈ S. Proof. =⇒ Let f be a soft continuous mapping. Since the soft mappings is are also continuous, the composite mapping will be continuous. 0 ⇐= Let ( F, E) ∈ τ be a soft open set. The soft set f −1 ( F, E) belongs to the soft topology ⊕ τs s∈S if and only if the soft set f −1 ( F) X , E belongs to τs . Since s f −1 ( F) , E = is−1 f −1 ( F), E = is−1 ◦ f −1 ( F, E) = f s−1 ( F, E) ∈ τs , Xs

f is soft continuous. n o 0 Let f s : (Xs , τs , E) → (Ys , τs , E)

s∈S

be a family of soft continuous mappings. We define the 0

mapping f = ⊕ f s : ⊕ (Xs , τs , E) → ⊕ (Ys , τs , E) by f (xe ) = f s (xe ), where each soft point ∼

xe ∈

s∈S

s∈S

s∈S

⊕ (Xs , τs , E) belongs to (Xs0 , τs0 , E). It is clear that if each f s is soft continuous, then f is

s∈S

also soft continuous. Theorem 4. Let {(Xs , τs , E)}s∈S be a family of soft topological spaces. Then, ! ∏ Xs , (τs )e = ∏ (Xs , (τs )e ) and ⊕ Xs , (τs )e = ⊕ Xs , (τs )e s∈S

s∈S

s∈S

s∈S

are satisfied for each e ∈ E. Proof. We should show that τe = ∏ (τs )e . Let us take any set U from τe . From the definition of the s∈S

topology τe , there exists a soft open set

Fs1 , E × ... × Fsn , E ×

∏

! es X

s6=s1 ...sn

! such that the set U = Conversely, let

Fs1 (e) × ... × Fsn (e) × Us1 × ... × Usn ×

∏ Xs !

s6=s1 ...sn

∏ Xs

s6=s1 ...sn

belongs to the topology ∏ (τs )e . s∈S

∈ ∏ (τs )e . Then, from the definition of the topology s∈S

(τsi )e , there exist soft open sets ( Fs1 , E), ..., ( Fsn , E) such that Fs1 (e) = Us1 , ..., Fsn (e) = Usn . Then, Us1 × ... × Usn ×

∏

Xs = Fs1 (e) × ... × Fsn (e) ×

s6=s1 ...sn

The topological sum can be proven in the same way.

∏

s6=s1 ...sn

Xs ∈ τe .


6 of 11

0 Let (X, τ, E) and Y, τ , E be two soft topological spaces. Y X denotes the all soft continuous 0 mappings from the soft topological space (X, τ, E) to the soft topological space Y, τ , E ; i.e., n o 0 Y X = ( f , 1E ) : (X, τ, E) → Y, τ , E | ( f , 1E ) − a soft continuous map . If ( F, E) and (G, E) are two soft sets over X and Y, respectively, then we define the soft set G F , E over Y X as follows: G F (e) =

0 f , 1E : X, τ, E → Y, τ , E | f F(e) ⊂ G(e) for each e ∈ E.

∼ 0 Now, let xα ∈ (X, τ, E) be an any soft point. We define the soft mapping exα : Y X , E → Y, τ , E by exα ( f ) = f ( xα ) = ( f ( x))α . This mapping is called an evaluation map. For the soft set (G, E) 1 over Y, e− (G xα , E) is satisfied. The soft topology that is generated from the soft sets xα ( G, E) = o n 0 (G xα , E) | (G, E) ∈ τ as a subbase is called a pointwise soft topology and denoted by τp . Definition 23. Y X , τp , E is called a pointwise soft function space (briefly PISFS). Example 5. Let X = { x1 , x2 }, Y = {y1 , y2 , y3 } and E = {e1 , e2 }. If we give the soft sets Fi : E → P(X ) for i ∈ I and G : E → P(Y ) defined by F1 (e1 )

= { x1 }, F1 (e2 ) =

F2 (e1 )

= , F2 (e2 ) = { x2 }

F3 (e1 )

= { x1 }, F3 (e2 ) = { x2 }

G(e1 )

= {y1 , y2 }, G(e2 ) = {y3 }, 0

e (G, E)} are soft topologies. e ( F1 , E), ( F2 , E), ( F3 , E)} and τ = {Φ, Y, then the families τ = {Φ, X, 0 X Now, let us give the soft continuous mappings set Y . ( f i , 1E ) : (X, τ, E) → (Y, τ , E) consist of the mappings f 1 ( x1 )

= y1 , f 1 ( x 2 ) = y1

f 2 ( x1 )

= y2 , f 2 ( x 2 ) = y2

f 3 ( x1 )

= y3 , f 3 ( x 2 ) = y3

f 4 ( x1 )

= y1 , f 4 ( x 2 ) = y3

f 5 ( x1 )

= y2 , f 5 ( x 2 ) = y3 .

Then, the soft subbase of soft pointwise topology consists of the following sets. 1

1

(G xe1 , E) = { f1 , f2 , f4 , f5 }, (G xe2 , E) = { f3 } 2

2

(G xe1 , E) = { f1 , f2 }, (G xe2 , E) = { f3 , f4 , f5 } 0 Remark 5. The evaluation mapping exα : Y X , τp , E → Y, τ , E is a soft continuous mapping for each soft ∼

point xα ∈ (X, τ, E). Proposition 6. A soft mapping g : (Z, η, E) → Y X , τp , E —where (Z, η, E)is a soft topological space—is 0

a soft continuous mapping if and only if the soft mapping exα ◦ g : (Z, η, E) → Y, τ , E is a soft continuous ∼

mapping for each xα ∈ (X, τ, E) .


7 of 11

0 Theorem 7. If the soft topological space Y, τ , E is a soft Ti −space for each i = 0, 1, 2, then the soft space Y X , τp , E is also a soft Ti −space. Proof. The soft points of the soft topological space Y X , τp , E denoted by ( f α , E); i. e., if β 6= α then f α ( β) = ∅ and if β = α then f α ( β) = f . Now, let f α 6= gβ be two soft points. Then, it should ∼ 0 be f 6= g or α 6= β. If f = g, then ( f ( x))α 6= ( g( x)) β ∈ Y, τ , E for each x ∈ X. If f 6= g, then f ( x0 ) 6= g( x0 ) such that x0 ∈ X. Therefore, f ( x0 ) α 6= g( x0 ) β is satisfied. In both cases, ∼ 0 0 f ( x0 ) α 6= g( x0 ) β ∈ Y, τ , E is satisfied for at least one x0 ∈ X. Since Y, τ , E is a soft Ti −space, 0

there exists soft open sets ( F1 , E), ( F2 , E) ∈ τ where the condition of the soft Ti −space is satisfied. Then, 0 0 x x 1 1 the soft open sets F1 α , E = e− ( F2 , E) are neighbourhoods of soft points f α ( F1 , E) and F2 β , E = e− x0 x0 α

β

and gβ , respectively, where the conditions of soft Ti −space are satisfied for these neighbourhoods. Now, we construct relationships betwen of a family some function spaces. Let {(Xs , τs , E)}s∈S be 0 X s pairwise disjoint soft topological spaces, Y, τ , E be a soft topological space, and ∏ Y , τs p , E , s∈S

⊕ (Xs , τs , E) be a product and sum of soft topological spaces, respectively. The soft mapping s∈S ⊕ Xs 0 Xs s ∈ S ∇ : ∏ Y , τs p , E → Y , τ ,E p

s∈S

∼

is defined by ∇ ({ f s }) ( xα ) = f s0 ( xα ) = ( f s0 ( x))α , where ∀ {( f s , 1E )} ∈ ∏ Y Xs , ∀ xα ∈ ⊕ (Xs , τs , E), s∈S

s∈S

s∈S

xα belongs to unique (Xs0 , τs0 , E). We define the inverse mapping of ∇ ⊕ Xs 0 ∇ −1 : Y s ∈ S , τ , E → ∏ Y Xs , τs p , E p

by ∇−1 ( f ) =

n

f ◦ i s = f | Xs

s∈S

o

: Xs → Y ∈ ∏ Y Xs , τs p , E for each f : ⊕ Xs → Y. s∈S

s∈S

Theorem 8. The mapping ⊕ Xs 0 ∇ : ∏ Y Xs , τs p , E → Ys∈S , τ ,E p

s∈S

is a soft homeomorphism in the pointwise soft topology. Proof. To prove the theorem, it is sufficient to show that the mappings ∇ and ∇−1 are soft continuous. 1 −1 For this, we need to show that the soft set ∇−1 e− xα ( F, E) is a soft open set, where each exα ( F, E) ⊕ Xs 0 belongs to a soft subbase of the soft space Y s∈S , τ ,E . p

1 e− xα ( F, E)

=

∼

f : ⊕ Xs → Y | f ( xα ) ∈ ( F, E) s∈S

=

∼

f s0 : Xs0 → Y | f s0 ( xα ) ∈ ( F, E) .

Since

∇

−1

1 e− xα ( F, E)

= ∇

=

−1

∼

!

f s0 : Xs0 → Y | f s0 ( xα ) ∈ ( F, E)

∼ f s0 : Xs0 → Y | f s0 ( xα ) ∈ ( F, E) ×

∏

s 6 = s0

Y Xs , τs p , E


8 of 11

1 Xs is the last soft set, ∇−1 e− xα ( F, E) is a soft open set on the product space ∏ Y , τs p , E . s∈S ⊕ Xs 0 − 1 X s ∈ S Now, we prove that the mapping ∇ : Y , τ , E → ∏ Y s , τs p , E is soft continuous. s∈ p S Xs , τ , E belongs to the subbase of the 1 ( F, E) Indeed, for each, the soft set e− E ) × Y ( F, ∏ sp xα s0 s 6 = s0 product space ∏ Y Xs , τs p , E , s∈S ( ) n o ∼ −1 Xs Xs e xα ( F, E) × ∏ Y , τs p , E = f s ∈ ∏Y | f s0 ( xα ) ∈ ( F, E) s0

s∈S

s 6 = s0

is satisfied. Since the set

∇

= ∇

−1

−1

1 e− xα

s0

1 e− xα

s0

( F, E) ×

( F, E) ×

∏

Y Xs , τs p , E

!

s 6 = s0

Y Xs , τs p , E

∏

!

s 6 = s0

∼

∇ f s : f s0 (xα ) ∈ ( F, E)

=

s∈S

belongs to subbase of the soft topological space

⊕ Xs 0 Y s∈S , τ , E , the mapping ∇−1 is soft p

continuous. Thus, the mapping ⊕ Xs 0 Xs s ∈ S ∇ : ∏ Y , τs p , E → Y , τ ,E p

s∈S

is a soft homeomorphism. 0

Now, let {(Ys , τs , E)}s∈S be the family of soft topological spaces, (X, τ, E) be a soft topological space. We define mapping  0 ∆ : ∏ YsX , τs p , E →  s∈S

∏Ys

!X ,

s∈S

0

∏τs



!

, E

s∈S

p

0 by the rule ∀ { f s : X → Ys } ∈ ∏ YsX , τs p , E , ∆ { f s } = ∆ f s . s∈S s∈S ! X 0 0 − 1 Let the inverse mapping ∆ = , ∏ τs , E → ∏ YsX , τs p , E be ∏ Ys s∈S

∆ −1 ( f ) = for each f ∈

s∈S

n

s∈S

p

p s ◦ f = f s : Xs → Y

o

! X 0 , ∏ τs , E . ∏ Ys

s∈S

s∈S

p

Theorem 9. The mapping  0 ∆ : ∏ YsX , τs p , E →  s∈S

is a soft homeomorphism in the pointwise soft topology.

∏Ys

s∈S

!X ,

0

∏τs

s∈S



!

, E p


9 of 11

Proof. Since ∆ is bijective mapping, to prove the theorem it is sufficient to show that the mappings ∆ and ∆−1 are soft open. First, we show that the mapping ∆ is soft open. Let us take an arbitrary soft set

1 e− x α1

s1

( Fs1 , E) × ... ×

1 e− xαk

sk

∏

( Fsk , E) ×

!X Ys

s6=s1 ...sk

0 belongs to the base of the product space ∏ YsX , τs p , E . Since the soft set s∈S



1 ∆  e− xα

1

(

=

s1

1 ( Fs1 , E) × ... × e− xα k

∏

!X   Ys

∏

( Fsk , E) ×

sk

s6=s1 ...sk

n o ∼ ∼ f s | f s1 xα11 ∈ Fs1 , E , ..., f sk xαk k ∈ Fsk , E

xαk xα1 ( Fs1 1 , E) × ... × ( Fsk k , E) ×

=

)

!X Ys

s6=s1 ...sk

is soft open, ∆ is a soft open mapping. Similarly, it can be proven that!∆−1 is soft open mapping. !Indeed, for each soft open set X 0 1 ( F , E) × ... × ( F , E) × e− Y ∈ Y , τ ,E , ∏ ∏ ∏ s1 sk s s xα s s∈S

s6=s1 ...sk

∆

−1

1 e− xα

= ∆

∏

( Fs1 , E) × ... × ( Fsk , E) ×

p

!! Ys

s6=s1 ...sk

( −1

s∈S

f :X→

∏Ys |

∼

f ( xα ) ∈ ( Fs1 , E) × ... × ( Fsk , E) ×

s∈S

(

=

n

Ys

s6=s1 ...sk

∼

ps ◦ f | f ( xα ) ∈ ( Fs1 , E) × ... × ( Fsk , E) ×

=

∏

)!

∼

ps ◦ f | ps1 ◦ f ( xα ) ∈ ( Fs1 , E), ..., psk ◦

∏

)

Ys s6=s1 ...sk o ∼ f ( xα ) ∈ ( Fsk , E) .

Hence this set is soft open and the theorem is proved. 0 00 00 Now, let (X, τ, E), Y, τ , E and Z, τ , E be soft topological spaces and f : Z, τ , E × ∧ 0 (X, τ, E) → Y, τ , E be a soft mapping. Then, the induced map f : X → Y Z is defined by ∧ ∼ ∼ 00 f ( xα ) z β = f xα , z β for soft points xα ∈ (X, τ, E) and z β ∈ Z, τ , E . We define exponential law X E : Y Z×X → Y Z ∧ ∧ by using induced maps E( f ) = f ; i.e., E( f )( xα ) z β = f z β , xα = f ( xα ) z β . We define the following mapping

X → Y Z×X E −1 : Y Z which is an inverse mapping E as follows E

−1

∧

(f) = f, E

−1

∧

( f ) z β , xα = E

−1

∧ f ( xα ) z β = f z β , xα .


10 of 11

Generally, in the pointwise topology for each soft continuous map g, the mapping E−1 ( g) need not be soft continuous. Let us give the solution of this problem under some conditions. Theorem 10. Let (X, τ, E),

0 00 Y, τ , E and Z, τ , E be soft topological spaces and the mapping e :

Y Z × X → Z, e( f , z) = f (z) be soft continuous. If there is a pointwise soft topology in the function ∧

space Y X and the soft mapping g : X → Y Z is soft continuous, then the soft mapping ∧ E −1 g : Z × X → Y is also soft continuous. Proof. By using the mapping ∧

1Z × g : Z × Y → Z × Y Z , we take

∧

1Z × g

t

e

Z × X −→ Z × Y Z −→ Y Z × Z −→ Y. ∧ Hence e ◦ t ◦ 1Z × g ∈ Y Z×X , where t denotes switching mapping which is the mapping ∧ changing the places of the arguments. Let us apply exponential law E to e ◦ t ◦ 1Z × g . For each soft ∼ ∼ 00 point xα ∈ (X, τ, E) and z β ∈ Z, τ , E , nh i o ∧ E e ◦ t ◦ 1Z × g ( xα ) z β

= = = =

∧ e ◦ t ◦ 1Z × g z β , xα ∧ e ◦ t z β , g( xα ) ∧ e g ( x α ), z β ∧ g( xα ) z β .

∧ ∧ ∧ ∧ Since E e ◦ t ◦ 1Z × g = g, E−1 g = e ◦ t ◦ 1Z × g . Hence evaluation maps e and t are ∧ soft continuous, E−1 g is soft continuous. 4. Conclusions In this paper, we introduce the concept of the pointwise topology of soft topological spaces. Finally, we investigate the properties of soft mapping spaces and the relationships between some soft mapping spaces. We hope that the results of this study may help in the investigation of soft normed spaces and in many studies. Author Contributions: Taha Yasin Öztürk and Sadi Bayramov both equally contributed to this work. Conflicts of Interest: The authors declare no conflict of interest.

References 1. 2. 3. 4. 5.

Molodtsov, D. Soft Set Theory-First Results. Comput. Math. Appl. 1999, 37, 19–31. Maji, P.K.; Bismas, R.; Roy, A.R. Soft Set Theory. Comput. Math. Appl. 2003, 45, 555–562. Maji, P.K.; Roy, A.R. An Application of Soft Sets in a Decision Making Problem. Comput. Math. Appl. 2002, 44, 1077–1083. Aktas, H.; Çagman ˘ N. Soft Sets and Soft Group. Inf. Sci. 2007, 177, 2726–2735. Acar, U.; Koyuncu, F.; Tanay, B. Soft Sets and Soft Rings. Comput. Math. Appl. 2010, 59, 3458–3463.


6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21.

11 of 11

Feng, F.; Jun, Y.B.; Zhao, X. Soft Semirings. Comput. Math. Appl. 2008, 56, 2621–2628. ˙ Shabir, M.; Irfan Ali, M. Soft ideals and generalized fuzzy ideals in semigroups. New Math. Nat. Comput. 2009, 5, 599–615. Sun, Q.M.; Zhang, L.; Liu, J. Soft Sets and Soft Modules. Lect. Notes Comput. Sci. 2008, 5009, 403–409. Gunduz, Ç.; Bayramov, S. Fuzzy Soft modules. Int. Mat. Forum 2011, 6, 517–527. Gunduz, Ç.; Bayramov, S. Intuitionistic Fuzzy Soft Modules. Comput. Math. Appl. 2011, 62, 2480–2486. Ozturk, T.Y.; Bayramov, S. Category of chain complexes of soft modules. Int. Math. Forum 2012, 7, 981–992. Ozturk, T.Y.; Gunduz, C.; Bayramov, S. Inverse and direct systems of soft modules. Ann. Fuzzy Math. Inf. 2013, 5, 73–85. Shabir, M.; Naz, M. On soft topological spaces. Comput. Math. Appl. 2011, 61, 1786–1799. Aygunoglu, ˘ A.; Agun, A. Some notes on soft topological spaces. Neural Comput. Appl. 2012, 21, 113–119. Çagman, ˘ N.; Karata¸s, S.; Enginoglu, ˘ S. Soft topology. Comput. Math. Appl. 2011, 351–358. Min, W.K. A note on soft topological spaces. Comput. Math. Appl. 2011, 62, 3524–3528. Shabir, H.; Bashir, A. Some properties of soft topological spaces. Comput. Math. Appl. 2011, 62, 4058–4067. ˙ Akdag, Zorlutuna, I.; ˘ M.; Min, W.K.; Atmaca, S. Remarks on soft topological spaces. Ann. Fuzzy Math. Inf. 2012, 3, 171–185. Bayramov, S.; Gunduz, C. Soft locally compact spaces and soft paracompact spaces. J. Math. Syst. Sci. 2013, 3, 122–130. Gunduz, A.C.; Sonmez, A.; Çakallı H. On soft Mappings. arXiv 2013, arXiv:1305.4545. Ozturk, T.Y.; Bayramov, S. Soft mappings space. Sci. World J. 2014, 2014, doi:10.1155/2014/307292. c 2017 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access

article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).