Next Article in Journal
Surface Roughness Modeling Using Q-Sequence
Previous Article in Journal
A New Smoothing Nonlinear Penalty Function for Constrained Optimization
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Topology on Soft Continuous Function Spaces

1
Department of Mathematics; Faculty of Science and Letters, Kafkas University; TR-36100 Kars, Turkey
2
Department of Algebra and Geometry, Baku State University, Baku Az 1148, Azerbaijan
*
Authors to whom correspondence should be addressed.
These authors contributed equally to this work.
Math. Comput. Appl. 2017, 22(2), 32; https://doi.org/10.3390/mca22020032
Submission received: 28 December 2016 / Revised: 25 March 2017 / 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.

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ş and Çağman [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,15,16,17,18] concentrated on the theoretical studies of soft topological spaces. The concepts of soft points defined in References [14,15,16,17,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.

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 X 1 and X 2 , 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) 
Φ , X belongs to τ ;
(2) 
the union of any number of soft sets in τ belongs to τ ;
(3) 
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].
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].
Definition 12.
The complement of a soft set ( F , E ) is denoted by ( F , E ) and is defined by ( F , E ) = ( F , E ) , 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 ) 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 x e , E , if for the element e E , F ( e ) = { x } , and F ( e ) = for all e E - { e } (briefly denoted by x e ) [19].
Definition 16.
For two soft points x e and y e over a common universe X, we say that the points are different points if x y or e e . [19]
Definition 17.
The soft point x e is said to belong to the soft set ( F , E ) denoted by x e ( F , E ) if x e ( 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 x e ( F , E ) if there exists a soft open set ( G , E ) such that x e ( G , E ) ( F , E ) .
Definition 19.
Let X , τ , E and ( Y , τ , E ) be two soft topological spaces, and f : X , τ , E ( Y , τ , 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 x e such that f ( F , E ) ( H , E ) , then f is said to be soft continuous mapping at x e .
If f is soft continuous mapping for all x e , then f is called soft continuous mapping.
Definition 20. ( φ i , ψ i ) : ( X , τ , E ) Y i , τ i , E i i Δ is a family of soft mappings, and Y i , τ i , E i i Δ is a family of soft topological spaces [14]. Then, the topology τ generated from the subbase δ = ( φ i , ψ i ) i Δ - 1 ( F i , E i ) : ( F i , E i ) τ i , i Δ is called the soft topology (or initial soft topology) induced by the family of soft mappings ( φ i , ψ i ) i Δ .
Definition 21.
Let X i , τ i , E i i Δ be a family of soft topological spaces [14]. Then, the initial soft topology on X = i Δ X i generated by the family p i , q i i Δ is called product soft topology on X . (here, p i , q i is the soft projection mapping from ( X , E ) to ( X i , E ) i Δ ).
The product soft topology is denoted by i Δ τ i .

3. Topology on Soft Continuous Function Spaces

Let { ( X s , τ s , E ) } s S be a family of soft topological spaces over the same parameters set E . We define a family of soft sets s S X s , E as follows;
If F s : E P ( X s ) is a soft set over X s for each s S , then s S F s : E P ( s S X s ) is defined by s S F s ( e ) = s S F s ( e ) . Let us consider the topological product s S X s , s S τ s , s S E s of a family of soft topological spaces { ( X s , τ s , E ) } s S . We take the restriction to the diagonal Δ s S E s of each soft set s S F : s S E s P ( s S X s ) . Since there exists a bijection mapping between the diagonal Δ and the parameters set E , then the restrictions of soft sets are soft sets over E [21].
Let X , τ , E be a soft topological space, { ( Y s , τ s , E ) } s S be a family of soft topological spaces, and f s , 1 E : X , τ , E ( Y s , τ s , E ) s S be a family of soft mappings. For each soft point x e X , τ , E , we define the soft mapping f = s S f s : X , τ , E s S Y s , τ , E by f ( x e ) = f s ( x e ) s S = ( f s ( x ) ) e s S . If f : X , τ , E s S Y s , τ , E is any soft mapping, then f = s S f s is satisfied for the family of soft mappings f s = p s f : X , τ , E ( Y s , τ s , E ) s S [21].
Theorem 2.
f : X , τ , E s S Y s , τ , E is soft continuous if and only if f s = p s f : X , τ , E ( Y s , τ s , E ) is soft continuous for each s S .
Proof. 
⟹ Let f be a soft continuous mapping. Since the soft mappings p s are also continuous, the composite mapping will be continuous.
⟸ Let F s 1 × . . . × F s n × s s 1 . . . s n Y ˜ s , E be an any soft base of product topology.
f - 1 F s 1 × . . . × F s n × s s 1 . . . s n Y ˜ s , E = f - 1 p s 1 - 1 ( F s 1 ) . . . p s n - 1 ( F s n ) , E = f - 1 p s 1 - 1 ( F s 1 ) . . . f - 1 p s n - 1 ( F s n ) , E
Since the soft mappings p s 1 f , . . . , p s n f are soft continuous, the soft set
f - 1 p s 1 - 1 ( F s 1 ) . . . f - 1 p s n - 1 ( F s n ) , E
is soft open. Thus, f : X , τ , E s S Y s , τ , E is soft continuous. ☐
If f s : X s , τ s , E ( Y s , τ s , E ) s S is a family of soft continuous mappings, then the soft mapping s S f s : s S X s , τ , E s S Y s , τ , E is soft continuous.
Now, let the family of soft topological spaces { ( X s , τ s , E ) } s S be disjoint; i.e., X s 1 X s 2 = for each s 1 s 2 . For the soft set F : E s S X s over the set E, define the soft set F X s : E X s by
F X s ( e ) = F ( e ) X s , e E
and the soft topology τ define by
( F , E ) τ F X s , E τ s .
It is clear that τ is a soft topology.
Definition 22.
A soft topological space s S X s , τ , E is called the soft topological sum of the family of soft topological spaces { ( X s , τ s , E ) } s S and denoted by s S ( X s , τ s , E ) .
Let i s , 1 E : X s , τ s , E s S ( X s , τ s , E ) be an inclusion mapping for each s S . Since
i s , 1 E - 1 ( F , E ) = F X s , E τ s , for F , E τ ,
i s , 1 E is soft continuous.
Let { ( X s , τ s , E ) } s S be a family of soft topological spaces, ( Y , τ , E ) be a soft topological space, and f s : ( X s , τ s , E ) ( Y , τ , E ) s S be a family of soft mappings. We define the soft function f = s S f s : s S ( X s , τ s , E ) ( Y , τ , E ) by f ( x e ) = f s ( x e ) = f s ( x ) e , where each soft point x e s S ( X s , τ s , E ) can belong to a unique soft topological space ( X s 0 , τ s 0 , E ) . If f : s S ( X s , τ s , E ) ( Y , τ , E ) is any soft mapping, then s S f s = f is satisfied for the family of soft mappings f s = f i s : ( X s , τ s , E ) ( Y , τ , E ) s S .
Theorem 3.
The soft mapping f : s S ( X s , τ s , E ) ( Y , τ , E ) is soft continuous if and only if f s = f i s : ( X s , τ s , E ) ( Y , τ , E ) are soft continuous for each s S .
Proof. 
⟹ Let f be a soft continuous mapping. Since the soft mappings i s are also continuous, the composite mapping will be continuous.
⟸ 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 s , E belongs to τ s . Since
f - 1 ( F ) X s , E = i s - 1 f - 1 ( F ) , E = i s - 1 f - 1 ( F , E ) = f s - 1 ( F , E ) τ s ,
f is soft continuous. ☐
Let f s : ( X s , τ s , E ) ( Y s , τ s , E ) s S be a family of soft continuous mappings. We define the mapping f = s S f s : s S ( X s , τ s , E ) s S ( Y s , τ s , E ) by f ( x e ) = f s ( x e ) , where each soft point x e s S ( X s , τ s , E ) belongs to ( X s 0 , τ s 0 , E ) . It is clear that if each f s is soft continuous, then f is also soft continuous.
Theorem 4.
Let { ( X s , τ s , E ) } s S be a family of soft topological spaces. Then,
s S X s , ( τ s ) e = s S X s , ( τ s ) e a n d s S X s , ( τ s ) e = s S X s , ( τ s ) e
are satisfied for each e E .
Proof. 
We should show that τ e = s S τ s e . Let us take any set U from τ e . From the definition of the topology τ e , there exists a soft open set
F s 1 , E × . . . × F s n , E × s s 1 . . . s n X ˜ s
such that the set U = F s 1 ( e ) × . . . × F s n ( e ) × s s 1 . . . s n X s belongs to the topology s S τ s e .
Conversely, let U s 1 × . . . × U s n × s s 1 . . . s n X s s S τ s e . Then, from the definition of the topology τ s i e , there exist soft open sets ( F s 1 , E ) , . . . , ( F s n , E ) such that F s 1 ( e ) = U s 1 , . . . , F s n ( e ) = U s n . Then,
U s 1 × . . . × U s n × s s 1 . . . s n X s = F s 1 ( e ) × . . . × F s n ( e ) × s s 1 . . . s n X s τ e .
The topological sum can be proven in the same way. ☐
Let X , τ , E and Y , τ , E be two soft topological spaces. Y X denotes the all soft continuous mappings from the soft topological space X , τ , E to the soft topological space Y , τ , E ; i.e.,
Y X = ( f , 1 E ) : X , τ , E Y , τ , E ( f , 1 E ) - 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 ) = f , 1 E : X , τ , E Y , τ , E f F ( e ) G ( e ) for each e E .
Now, let x α X , τ , E be an any soft point. We define the soft mapping e x α : Y X , E Y , τ , E by e x α ( f ) = f ( x α ) = f ( x ) α . This mapping is called an evaluation map. For the soft set ( G , E ) over Y , e x α - 1 ( G , E ) = ( G x α , E ) is satisfied. The soft topology that is generated from the soft sets ( 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 P I S F S ).
Example 5.
Let X = { x 1 , x 2 } , Y = { y 1 , y 2 , y 3 } and E = { e 1 , e 2 } . If we give the soft sets F i : E P ( X ) for i I and G : E P ( Y ) defined by
F 1 ( e 1 ) = { x 1 } , F 1 ( e 2 ) = F 2 ( e 1 ) = , F 2 ( e 2 ) = { x 2 } F 3 ( e 1 ) = { x 1 } , F 3 ( e 2 ) = { x 2 } G ( e 1 ) = { y 1 , y 2 } , G ( e 2 ) = { y 3 } ,
then the families τ = { Φ , X ˜ , ( F 1 , E ) , ( F 2 , E ) , ( F 3 , E ) } and τ = { Φ , Y ˜ , ( G , E ) } are soft topologies.
Now, let us give the soft continuous mappings set Y X . f i , 1 E : ( X , τ , E ) ( Y , τ , E ) consist of the mappings
f 1 ( x 1 ) = y 1 , f 1 ( x 2 ) = y 1 f 2 ( x 1 ) = y 2 , f 2 ( x 2 ) = y 2 f 3 ( x 1 ) = y 3 , f 3 ( x 2 ) = y 3 f 4 ( x 1 ) = y 1 , f 4 ( x 2 ) = y 3 f 5 ( x 1 ) = y 2 , f 5 ( x 2 ) = y 3 .
Then, the soft subbase of soft pointwise topology consists of the following sets.
( G x e 1 1 , E ) = { f 1 , f 2 , f 4 , f 5 } , ( G x e 2 1 , E ) = { f 3 } ( G x e 1 2 , E ) = { f 1 , f 2 } , ( G x e 2 2 , E ) = { f 3 , f 4 , f 5 }
Remark 5.
The evaluation mapping e x α : 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 a soft continuous mapping if and only if the soft mapping e x α g : ( Z , η , E ) Y , τ , E is a soft continuous mapping for each x α X , τ , E .
Theorem 7.
If the soft topological space Y , τ , E is a soft T i - space for each i = 0 , 1 , 2 , then the soft space Y X , τ p , E is also a soft T i - space.
Proof. 
The soft points of the soft topological space Y X , τ p , E denoted by f α , E ; i. e., if β α then f α ( β ) = and if β = α then f α ( β ) = f . Now, let f α g β be two soft points. Then, it should be f g or α β . If f = g , then f ( x ) α g ( x ) β Y , τ , E for each x X . If f g , then f ( x 0 ) g ( x 0 ) such that x 0 X . Therefore, f ( x 0 ) α g ( x 0 ) β is satisfied. In both cases, f ( x 0 ) α g ( x 0 ) β Y , τ , E is satisfied for at least one x 0 X . Since Y , τ , E is a soft T i - space, there exists soft open sets ( F 1 , E ) , ( F 2 , E ) τ where the condition of the soft T i - space is satisfied. Then, the soft open sets F 1 x α 0 , E = e x α 0 - 1 ( F 1 , E ) and F 2 x β 0 , E = e x β 0 - 1 ( F 2 , E ) are neighbourhoods of soft points f α and g β , respectively, where the conditions of soft T i - space are satisfied for these neighbourhoods. ☐
Now, we construct relationships betwen some function spaces. Let { ( X s , τ s , E ) } s S be a family of pairwise disjoint soft topological spaces, Y , τ , E be a soft topological space, and s S Y X s , τ s p , E , s S ( X s , τ s , E ) be a product and sum of soft topological spaces, respectively. The soft mapping
: s S Y X s , τ s p , E Y s S X s , τ p , E
is defined by s S f s x α = f s 0 x α = f s 0 x α , where f s , 1 E s S Y X s , x α s S ( X s , τ s , E ) , x α belongs to unique ( X s 0 , τ s 0 , E ) . We define the inverse mapping of ∇
- 1 : Y s S X s , τ p , E s S Y X s , τ s p , E
by - 1 ( f ) = f i s = f X s : X s Y s S Y X s , τ s p , E for each f : s S X s Y .
Theorem 8.
The mapping
: s S Y X s , τ s p , E Y s S X s , τ p , E
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. For this, we need to show that the soft set - 1 e x α - 1 ( F , E ) is a soft open set, where each e x α - 1 ( F , E ) belongs to a soft subbase of the soft space Y s S X s , τ p , E .
e x α - 1 ( F , E ) = f : s S X s Y f x α ( F , E ) = f s 0 : X s 0 Y f s 0 x α ( F , E ) .
Since
- 1 e x α - 1 ( F , E ) = - 1 f s 0 : X s 0 Y f s 0 x α ( F , E ) = f s 0 : X s 0 Y f s 0 x α ( F , E ) × s s 0 Y X s , τ s p , E
is the last soft set, - 1 e x α - 1 ( F , E ) is a soft open set on the product space s S Y X s , τ s p , E .
Now, we prove that the mapping - 1 : Y s S X s , τ p , E s S Y X s , τ s p , E is soft continuous. Indeed, for each, the soft set e x α - 1 ( F , E ) s 0 ( F , E ) × s s 0 Y X s , τ s p , E belongs to the subbase of the product space s S Y X s , τ s p , E ,
e x α - 1 s 0 ( F , E ) × s s 0 Y X s , τ s p , E = f s s S Y X s f s 0 x α ( F , E )
is satisfied.
Since the set
- 1 - 1 e x α - 1 s 0 ( F , E ) × s s 0 Y X s , τ s p , E = e x α - 1 s 0 ( F , E ) × s s 0 Y X s , τ s p , E = s S f s : f s 0 x α ( F , E )
belongs to subbase of the soft topological space Y s S X s , τ p , E , the mapping - 1 is soft continuous. Thus, the mapping
: s S Y X s , τ s p , E Y s S X s , τ p , E
is a soft homeomorphism. ☐
Now, let { ( Y s , τ s , E ) } s S be the family of soft topological spaces, X , τ , E be a soft topological space. We define mapping
Δ : s S Y s X , τ s p , E s S Y s X , s S τ s p , E
by the rule f s : X Y s s S Y s X , τ s p , E , Δ f s = Δ s S f s .
Let the inverse mapping Δ - 1 = s S Y s X , s S τ s p , E s S Y s X , τ s p , E be
Δ - 1 ( f ) = p s f = f s : X s Y
for each f s S Y s X , s S τ s p , E .
Theorem 9.
The mapping
Δ : s S Y s X , τ s p , E s S Y s X , s S τ s p , E
is a soft homeomorphism in the pointwise soft topology.
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
e x α 1 - 1 s 1 ( F s 1 , E ) × . . . × e x α k - 1 s k ( F s k , E ) × s s 1 . . . s k Y s X
belongs to the base of the product space s S Y s X , τ s p , E . Since the soft set
Δ e x α 1 - 1 s 1 ( F s 1 , E ) × . . . × e x α k - 1 s k ( F s k , E ) × s s 1 . . . s k Y s X = f s f s 1 x α 1 1 F s 1 , E , . . . , f s k x α k k F s k , E = ( F s 1 x α 1 1 , E ) × . . . × ( F s k x α k k , E ) × s s 1 . . . s k Y s X
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 e x α - 1 ( F s 1 , E ) × . . . × ( F s k , E ) × s s 1 . . . s k Y s s S Y s X , s S τ s p , E ,
Δ - 1 e x α - 1 ( F s 1 , E ) × . . . × ( F s k , E ) × s s 1 . . . s k Y s = Δ - 1 f : X s S Y s f ( x α ) ( F s 1 , E ) × . . . × ( F s k , E ) × s s 1 . . . s k Y s = p s f f ( x α ) ( F s 1 , E ) × . . . × ( F s k , E ) × s s 1 . . . s k Y s = p s f p s 1 f ( x α ) ( F s 1 , E ) , . . . , p s k f ( x α ) ( F s k , E ) .
Hence this set is soft open and the theorem is proved. ☐
Now, let X , τ , E , Y , τ , E and Z , τ , E be soft topological spaces and f : Z , τ , E × X , τ , E Y , τ , E be a soft mapping. Then, the induced map f : X Y Z is defined by f ( x α ) z β = f x α , z β for soft points x α X , τ , E and z β Z , τ , E . We define exponential law
E : Y Z × X Y Z X
by using induced maps E ( f ) = f ; i.e., E ( f ) ( x α ) z β = f z β , x α = f ( x α ) z β . We define the following mapping
E - 1 : Y Z X Y Z × X
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 α .
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 , 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
1 Z × g : Z × Y Z × Y Z ,
we take
Z × X 1 Z × g Z × Y Z t Y Z × Z e Y .
Hence e t 1 Z × 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 1 Z × g . For each soft point x α X , τ , E and z β Z , τ , E ,
E e t 1 Z × g x α z β = e t 1 Z × g z β , x α = e t z β , g ( x α ) = e g ( x α ) , z β = g ( x α ) z β .
Since E e t 1 Z × g = g , E - 1 g = e t 1 Z × 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. Molodtsov, D. Soft Set Theory-First Results. Comput. Math. Appl. 1999, 37, 19–31. [Google Scholar] [CrossRef]
  2. Maji, P.K.; Bismas, R.; Roy, A.R. Soft Set Theory. Comput. Math. Appl. 2003, 45, 555–562. [Google Scholar] [CrossRef]
  3. Maji, P.K.; Roy, A.R. An Application of Soft Sets in a Decision Making Problem. Comput. Math. Appl. 2002, 44, 1077–1083. [Google Scholar] [CrossRef]
  4. Aktas, H.; Çağman, N. Soft Sets and Soft Group. Inf. Sci. 2007, 177, 2726–2735. [Google Scholar] [CrossRef]
  5. Acar, U.; Koyuncu, F.; Tanay, B. Soft Sets and Soft Rings. Comput. Math. Appl. 2010, 59, 3458–3463. [Google Scholar] [CrossRef]
  6. Feng, F.; Jun, Y.B.; Zhao, X. Soft Semirings. Comput. Math. Appl. 2008, 56, 2621–2628. [Google Scholar] [CrossRef]
  7. Shabir, M.; İrfan Ali, M. Soft ideals and generalized fuzzy ideals in semigroups. New Math. Nat. Comput. 2009, 5, 599–615. [Google Scholar] [CrossRef]
  8. Sun, Q.M.; Zhang, L.; Liu, J. Soft Sets and Soft Modules. Lect. Notes Comput. Sci. 2008, 5009, 403–409. [Google Scholar]
  9. Gunduz, Ç.; Bayramov, S. Fuzzy Soft modules. Int. Mat. Forum 2011, 6, 517–527. [Google Scholar]
  10. Gunduz, Ç.; Bayramov, S. Intuitionistic Fuzzy Soft Modules. Comput. Math. Appl. 2011, 62, 2480–2486. [Google Scholar] [CrossRef]
  11. Ozturk, T.Y.; Bayramov, S. Category of chain complexes of soft modules. Int. Math. Forum 2012, 7, 981–992. [Google Scholar]
  12. Ozturk, T.Y.; Gunduz, C.; Bayramov, S. Inverse and direct systems of soft modules. Ann. Fuzzy Math. Inf. 2013, 5, 73–85. [Google Scholar]
  13. Shabir, M.; Naz, M. On soft topological spaces. Comput. Math. Appl. 2011, 61, 1786–1799. [Google Scholar] [CrossRef]
  14. Aygunoğlu, A.; Agun, A. Some notes on soft topological spaces. Neural Comput. Appl. 2012, 21, 113–119. [Google Scholar] [CrossRef]
  15. Çağman, N.; Karataş, S.; Enginoğlu, S. Soft topology. Comput. Math. Appl. 2011, 351–358. [Google Scholar] [CrossRef]
  16. Min, W.K. A note on soft topological spaces. Comput. Math. Appl. 2011, 62, 3524–3528. [Google Scholar] [CrossRef]
  17. Shabir, H.; Bashir, A. Some properties of soft topological spaces. Comput. Math. Appl. 2011, 62, 4058–4067. [Google Scholar]
  18. Zorlutuna, İ.; Akdağ, M.; Min, W.K.; Atmaca, S. Remarks on soft topological spaces. Ann. Fuzzy Math. Inf. 2012, 3, 171–185. [Google Scholar]
  19. Bayramov, S.; Gunduz, C. Soft locally compact spaces and soft paracompact spaces. J. Math. Syst. Sci. 2013, 3, 122–130. [Google Scholar]
  20. Gunduz, A.C.; Sonmez, A.; Çakallı, H. On soft Mappings. arXiv, 2013; arXiv:1305.4545. [Google Scholar]
  21. Ozturk, T.Y.; Bayramov, S. Soft mappings space. Sci. World J. 2014, 2014. [Google Scholar] [CrossRef] [PubMed]

Share and Cite

MDPI and ACS Style

Öztürk, T.Y.; Bayramov, S. Topology on Soft Continuous Function Spaces. Math. Comput. Appl. 2017, 22, 32. https://doi.org/10.3390/mca22020032

AMA Style

Öztürk TY, Bayramov S. Topology on Soft Continuous Function Spaces. Mathematical and Computational Applications. 2017; 22(2):32. https://doi.org/10.3390/mca22020032

Chicago/Turabian Style

Öztürk, Taha Yasin, and Sadi Bayramov. 2017. "Topology on Soft Continuous Function Spaces" Mathematical and Computational Applications 22, no. 2: 32. https://doi.org/10.3390/mca22020032

Article Metrics

Back to TopTop