Escolar Documentos
Profissional Documentos
Cultura Documentos
5, October 2015
ABSTRACT
In this article, first we generalize a few notions like ( ) - soft compatible maps, ()- soft ompatible maps,
soft compatible of type ( I ) and soft compatible of type ( II ) maps in oft metric spaces and then we give an
accounts for comparison of these soft compatible aps. Finally, we demonstrate the utility of these new
concepts by proving common fixed point theorem for fore soft continuous self maps on a complete soft
metric space.
KEYWORDS:
soft metric space, soft mapping, soft compatible maps, ( ) - soft compatible maps, ( ) - soft compatible
maps, soft compatible of type ( I ), soft compatible of type ( II ), common fixed point.
1. INTRODUCTION
The soft set theory, initiated by Molodtsov [3] in 1999, is one of the branch of mathematics,
which targets to explain phenomena and concepts like ambiguous, undefined, vague and
imprecise meaning. Soft set theory provides a very general frame work with the involvement of
parameters. Since soft set theory has a rich potential, applications of soft set theory in other
disciplines and real life problems are progressing rapidly.
In recent time, researchers have contributed a lot towards soft theory . Maji. et al. [5, 6]
introduced several operations on soft sets and applied it to decision making problems. A new
definition of soft set parameterization reduction and a comparison of it with attribute reduction in
rough set theory was given by Chen [2].
Then the idea of soft topological space was first given by M.Shabir and M.Naz [4] and mappings
between soft sets were described by P.Majumdar and S.K.Samanta [7]. Later, many researches
about soft topological spaces were studied in [12, 13, 14]. In these studies, the concept of soft
DOI: 10.5121/ijci.2015.4501
International Journal on Cybernetics & Informatics (IJCI) Vol. 4, No. 5, October 2015
point is expressed by different approaches. Then S. Das and S. K. Samanta [8] introduce the
notion of soft metric space and investigated some basic properties of this space. Later on different
kinds of fixed point theorem have been established in soft metric spaces.
In this article, a generalization of ( ) - soft compatible maps, ( )- soft compatible maps, soft
compatible of type ( I ) and soft compatible of type ( II ) maps are introduced in soft metric
spaces and then we give an accounts for comparison of these soft compatible maps. Finally, we
have proved a common fixed point theorem for fore soft continuous self maps on a complete soft
metric space. In order to add validity and weight to the argument that our concept is viable and
meaningful in the context of fixed point theory in soft metric spaces, we have presented a series
of Propositions and Examples in support of pertinent results.
2. PRELIMINARIES
3.the intersection of any finite number of soft sets in belongs to . The
triplet X , , E is called a soft topological space over X . Definition 2.1. [3] Let X
initial universe set and E be a set of parameters. A pair
F, E
be an
and only if F is a mapping from E into the set of all subsets of the set X , i.e.,
F : E P X , where P X is the power set of X .
Definition 2.2. [8] A soft set P, E over X is said to be a soft point if there is exactly one
e'
P e P e'
'
Definition 2.4. [9] Let R be the set of real numbers, R be the collection of all
nonempty bounded subsets of R and A be a set of parameters. Then a mapping
F : A R is called a soft real set. It is denoted by F , A . If in particular F , A is a
singleton soft set, then identifying F , A with the corresponding soft element, it will be
called a soft real number.
Definition 2.5. [9] Let F , A be a soft real set and 0 be the soft real set such that
0 0 , A. Then F , A is said to be a
International Journal on Cybernetics & Informatics (IJCI) Vol. 4, No. 5, October 2015
f : X , , E Y , ' , E
f x e , E ,
X , , E
and
Y , ' , E
H, E
of
xe , E such that
f F , E H , E , then f is said to be soft continuous mapping at xe , E .
If f is soft continuous mapping for all xe , E , then f is called soft continuous mapping.
Let X be the absolute soft set i.e., F e X , e E, where F , E X and SP X be
if there exists a soft neighborhood
F, E
of
E ,
M1
d x e , ye
0
1
2
M2
d x e , ye
1
2
M3
M4
x e , ye X ;
1
2
0 if and onlyif x e ye ;
d x e , ye d ye , xe x e , ye X ;
For all x e , ye , z e X , d x e , z e d x e , ye d ye , z e
1
International Journal on Cybernetics & Informatics (IJCI) Vol. 4, No. 5, October 2015
The soft set X with a soft metric d on X is called a soft metric space and
denoted by
X , d, E .
X , d, E
F, E
is interior points of
F, E .
: E E
This
means
for
every
0, chosen arbitrarily
natural
N N such that
0 d x , n , y , whenever n N .
Definition 2.13. [8] (Cauchy Sequence). A sequence
x , n n
of soft points in
X , d , E is
d x , i , x , j
such that
, i, j m, i.e. d x , i , x , j 0 as i, j .
International Journal on Cybernetics & Informatics (IJCI) Vol. 4, No. 5, October 2015
Definition 2.14. [8] (Complete Metric Space). A soft metric space X , d , E is called complete
if every Cauchy Sequence in X converges to some point of X . The soft metric space
A, , B, : X , d , E X , d , E be soft mappings. A,
n
lim d A, B, x , B,
n
n
A, x n n
n
whenever x
is a sequence in X such that
n
n
n
lim A, x lim B, x z for some z in X .
n
n
n
n
A, , B, : X , d , E X , d , E
and B, are said to be soft compatible of type if
Definition 3.2. Let
n
lim d A, B, x , B,
n
n
be soft mappings.
B, x n n
A, x n n , A, A, x n n
A,
and
lim d B,
n
n
x
n
whenever
lim
A, x n n
Definition 3.3.
lim
Let
is
B, x n n
A, , B, :
sequence
in
X such
that
z for some z in X .
X , d, E
X , d, E
n
lim d A, A, x , B,
n
n
B, x n n
be soft mappings.
if
n
whenever x
is a sequence in X such that
n
5
International Journal on Cybernetics & Informatics (IJCI) Vol. 4, No. 5, October 2015
lim
A, x n n
lim
B, x n n z
for some z in X .
A, , B, : X , d , E X , d , E
A, and B, are said to be - soft compatible mappings if
Definition 3.4.
Let
n
lim d A, B, x , B,
n
n
be soft mappings.
B, x n n 0
n
whenever x
is a sequence in X such that
n
n
n
lim A, x lim B, x z for some z in X .
n
n
n
n
A, , B, : X , d , E X , d , E
A, and B, are said to be - soft compatible mappings if
Definition 3.5.
Let
lim d B,
n
be soft mappings.
A, x n n , A, A, x n n 0
n
whenever x
is a sequence in X such that
n
n
n
lim A, x lim B, x z for some z in X .
n
n
n
n
A, , B, : X , d , E X , d , E
and B, are said to be soft compatible of type I if
Definition 3.6. Let
n
lim d A, B, x , z d
n
n
be soft mappings.
A,
B, z , z
n
whenever x
is a sequence in X such that
lim
A, x n n
lim
B, x n n
z for some z in X .
A, , B, : X , d , E X , d , E
and B, are said to be soft compatible of type II if
Definition 3.7. Let
d B,
n
lim
A, x n n ,
z d
be soft mappings.
A,
A, z , z
6
International Journal on Cybernetics & Informatics (IJCI) Vol. 4, No. 5, October 2015
n
whenever x
is a sequence in X such that
n
n
n
lim A, x lim B, x z for some z in X .
n
n
n
n
A,
and
B,
n
are soft compatible and let x
be a soft
n
lim
A, x n n
lim
B, x n n
n
d A, B, x , B,
n
B, x n n
n
d A, B, x , B,
n
n
d B, A, x , B,
n
A, x n n
B, x n n
it follows that
n
d A, B, x , B,
n
n
lim
B, x n n 0
Therefore, A,
Conversely,
n
d A, B, x , B,
n
A, x n n
n
n
d A, B, x , B, B, x
n
n
n
n
d B, B, x , B, A, x
n
n
International Journal on Cybernetics & Informatics (IJCI) Vol. 4, No. 5, October 2015
n
lim d A, B, x , B,
n
n
Therefore,
A, x n n
A,
and
B,
are
lim
n
x be a
n
lim
d A,
A, x n n
B, x n n
B, x n n , B, B, x n n
0 d A,
B, x n n , B, z
and
n
B, z , z nlim
d A, B, x n , z
d A,
lim d A,
n
B, x n n ,
B, x n n , B, z
lim d A,
n
B, x n n ,
z d
B, z , z
8
International Journal on Cybernetics & Informatics (IJCI) Vol. 4, No. 5, October 2015
n
This inequality holds for every choice of the sequence x
in X with the corresponding
n
z in X and so the
proof.
A, , B, : X , d , E X , d , E
B, resp., A, be soft continuous maps. If A,
that
and
compatible of type
lim
A, x n n
lim
A, B, x n n
n
n
then it is
lim
B, x n n
B,
are soft
n
x in X such that
n
z resp., lim B, A, x n z ,
n
n
n
x be
n
lim
Since B,
A, x n n
lim
B, x n n
z for some z in X ,
n
B, z , z nlim
d A, B, x n , z
and
d B,
B, x n n , z
lim
d B, z , z
d B,
B, x n n , B, z
B, z , z
and so
lim d B,
n
B, x n n , z
lim d A,
n
B, x n n ,
Now we have
International Journal on Cybernetics & Informatics (IJCI) Vol. 4, No. 5, October 2015
d A,
B, x nn , B, B, x nn
Hence, letting n
lim d A,
n
B, x nn , B, B, x nn
lim d A,
n
lim d A,
n
Thus, lim d
n
Hence the
n
d A, B, x n , z
n
d B, B, x , z
n
B, x nn ,
B, x nn ,
z lim d B,
n
z lim d
n
B, x nn ,
A, B, x nn ,
A, B, x nn , B, B, x nn
A, , B, : X , d , E
B, resp., A, be soft continuous maps.
0.
X , d, E
n
x in X such that
n
lim
A, x n n
lim
B, x n n z
z resp., lim B, A, x n z ,
n
n
B, x n n
A, and B,
it is - soft compatible resp.,
Then
for some z in X ,
soft compatible .
A, , B,
Suppose
that
the
A, and
type I resp.,of type II A, z
Proposition 3.13. Let
X , d, E X , d, E
B,
B, z
are
soft
be soft mappings.
compatible
of
International Journal on Cybernetics & Informatics (IJCI) Vol. 4, No. 5, October 2015
d ( A, ) z , ( B, ) ( B, ) z
d ( A, ) z , ( A, ) ( B, ) z
resp., d ( B, ) z , ( A, ) ( A, ) z d ( B, ) z , ( B, ) ( A, ) z
n
n
x be a sequence in X defined by x z for n 1, 2,
n
n
Proof. Let
and
lim ( A, ) x lim ( B, ) x z .
n
n
n
n
Suppose
n
d ( A, ) z , ( B, ) ( B, ) z d ( A, ) z , ( A, ) ( B, ) x
n
d ( A, ) z , ( A, ) ( B, ) z
Example 3.14. Let
1
d1( , ) d ( x, y )
2
and E 0,1 Let
function
A, B : [ 0, ) [ 0, ) and
d x , y
X 0,
, : [ 0,1] [ 0,1] are defined as follows
where
if 0 x 1
1
Ax
1 x if 0 x
1
0 if 0 y 2
y
1
y
if
y 1
2
1
Let x n y n
n
1 x if 0 x 1
Bx
if 1 x
1
1
y if 0 y 2
y
1
0
if
y 1
( A, ) x y ( B, ) x y ( 1 )( 0 )
n
n
Then
n
( A, )( B, ) x y ( A, )( 1 x n ) y ( 1 ) ( 0 )
n
( B, ) ( A, ) x y ( B, )( 1 x n )( y ) ( 2 )( 0 )
n
n
11
International Journal on Cybernetics & Informatics (IJCI) Vol. 4, No. 5, October 2015
( A, )( A, ) x y ( A, )( 1 x n ) ( y ) ( 2 ) ( 0 )
n
n
n
( B, ) ( B, ) x y ( B, ) ( 1 x n ) y ( 2 ) (0)
n
Consequently,
n
n
lim d ( A, ) ( B, ) x , ( B, ) ( B, ) x ) 0
n
n
n
n
n
lim d ( A, )( B, ) x , ( B, ) ( A, ) x 0
n
n
n
that is
1
d1 ( , ) d ( x, y )
2
X 0, and E 0,1 Let
where
function
A, B : [ 0, ) [ 0, ) and
, :[ 0,1] [ 0,1] are defined as follows
d x , y
A x 1 x X
We
suppose
y3
2
that
1 x 1
Bx
2 x1
y 0
y 0
n
xy
n
is
y2
1
y 0
y 0
sequence
in
X , E such
that
n
n
lim ( A, ) x y lim ( B, ) x y z . By definition of
n
n
n
n
( A, ) and ( B, ) z ( 1 ) ( 0 )
Since A and B agree on X
x y ( 1 ) ( 0 ) . Now,
n
A B( x n ) 1, B A( x n ) 2, AA ( x n ) 1, BB ( x n ) 2, A ( 1) 1,
B ( 1 ) 2, ( y ) n 6 , ( y ) n 6 , ( y ) n 9 ,
( y ) n 4 , ( 0 ) 2, ( 0 ) 1
12
International Journal on Cybernetics & Informatics (IJCI) Vol. 4, No. 5, October 2015
Consequently,
n
n
lim d ( A, ) ( B, ) x , ( B, )( B, ) x 0
n
n
n
n
n
lim d ( A, )( B, ) x , ( B, )( A, ) x 0
n
n
n
n
n
lim d ( A, ) ( A , ) x , ( B, )( A, ) x 0
n
n
n
n
n
lim d ( A, ) ( A, ) x , ( B, ) ( B, ) x 0
n
n
n
lim d ( B, ) 1 0 , 1 0
n
lim d ( A, ) ( B, ) x , 1 0
n
2 n
I .
4.1.
Let
X , d , E be
complete
soft
metric
space
and
let
( A, ), ( B, ), ( S , ) and ( T , )
be soft mappings from X in to itself such that the following conditions are satisfied :
( a ) ( A, )( X , E ) ( S , )( X , E ), ( B, )( X , E ) ( T , )( X , E )
there exists a constant q ( 0, 1 ) such that
(b)
d ( ( A, ) x , ( B, ) y ) q max d ( ( S , ) x ,( T , ) y ),
d ( ( A, ) x , ( S , ) x ), d ( ( B, ) y ,( T , ) y ),
d ( ( A, ) x , ( T , ) y ), d ( ( B, ) y , ( S , ) x )
(d )
( e)
II .
II .
International Journal on Cybernetics & Informatics (IJCI) Vol. 4, No. 5, October 2015
I .
(f)
I .
n
y in SP X
n
such that
2n 1
2n
2n
2n 1
y
2n 1
( T , )x
( A, ) x y
2n 1
2n
2n
and
2n 2
( S , ) x
2n 2
( B, ) x
2n 1
2n 1
we have
2n
2n 1
2n
2n 1
d ( A, ) x , ( B, ) x
q max d ( S , ) x , ( T , ) x
,
2n
2n 1
2n
2 n 1
2n
2n
2n 1
2n 1
d ( A, ) x , ( S , ) x , d ( B, ) x
, ( T , ) x
,
2n
2n
2n 1
2n 1
2n
2n 1
2n 1
2n
d ( A, ) x , ( T , ) x
, d ( B, ) x
, ( S , ) x
2n
2n 1
2n 1
2n
and so
2n 1
2n
2n
2n 1
2n 1
2n
2n 1
2n
d y , y
q max d y
, y , d y , y
, d y
, y ,
2n 1
2n
2n 1
2n
2n
2n
2n 1
2n 1
2n
2n 1
2n
2n 1
d y , y , d y
, y
2n
2n 1
2n
2n 1
2n 1
2n
2n
2n 1
q max d y
, y , d y , y
2n
2n 1
2n
2n 1
For m, n N , we have suppose n m . Then we have
n
n
n 1
m
n 1
n2
d y , y d y , y
d y
, y
n
m
n 1
n 1
n2
m 1
m
d y
, y
m 1
m
0
1
q m q m 1 q n 1 d y , y
0
1
14
International Journal on Cybernetics & Informatics (IJCI) Vol. 4, No. 5, October 2015
qm
1 q ( n m ) 0
1
d y , y 0( m )
0
1
1 q
n
and hence y
is a soft Cauchy sequence in X .
n
Since X , d, E
d ( T , ) z , z
2n 1
d ( B, ) ( T , ) x
, z
nlim
2n 1
2n 1
( T , )( T , ) x
2n
Let x x
(1)
2n
2n
and y ( T , ) x
2n 1
2n 1
in
( T , ) z
b , we obtain
2n
2n 1
d ( A, ) x , ( B, )( T , ) x
2n
2n 1
2n
2n 1
2n
2n
q max d ( S , ) x , ( T , )( T , ) x
, d ( A, ) x , ( S , ) x ,
2n
2n 1
2n
2n
2n 1
2n 1
d ( B, )( T , ) x
, ( T , )( T , ) x
,
2n 1
2n 1
2n
2n 1
2n 1
2n
d ( A, ) x , ( T , )( T , ) x
, d ( B, )( T , ) x
, ( S, )x
2n
2n 1
2n 1
2n
2n 1
lim d z , ( B, ) ( T , ) x
q max d ( z , ( T , ) z ),
2n 1
n
2n 1
2n 1
lim d ( T , ) z , ( B, )( T , ) x
, lim d z , ( B, )( T , ) x
2n 1 n
2n 1
n
2n 1
q max d ( z , ( T , ) z ), d ( z , ( T , ) z ) lim d z , ( B, )( T , ) x
,
2n 1
n
15
International Journal on Cybernetics & Informatics (IJCI) Vol. 4, No. 5, October 2015
2n 1
lim d z , ( B, )( T , ) x
2n 1
n
2n 1
2n 1
q max lim d z , ( B, )( T , ) x
, d z , ( B, )( T , ) x
2n 1
2n 1
2n 1
2n 1
lim d z , ( B, )( T , ) x
, lim d z , ( B, )( T , ) x
2n 1 n
2n 1
n
2n 1
2n 1
lim d z , ( B, )( T , ) x
q lim d z , ( B, )( T , ) x
2n 1
2n 1
n
n
2n 1
2n 1
lim d z , ( B, )( T , ) x
lim d z , ( B, )( T , ) x
2n 1
2n 1
n
n
which is contradiction. Hence
2n 1
lim ( B, ) ( T , ) x
z
2n 1
n
Now using the soft compatibility of type
I ,
we have
2n 1
d ( ( T , ) z , z ) lim d z , ( B, ) (T , ) x
0
2n 1
n
and so it follows that ( T , ) z z .
2n
Again, replacing x by x
and y by z in ( b ) we have
2n
2n
2n
d ( ( A, ) x , ( B , ) z ) q max d ( ( S , ) x , ( T , ) z ),
2n
2n
2n
2n
d ( ( A, ) x , ( S , ) x ), d ( ( B, ) z , ( T , ) z ),
2n
2n
and
so,
2n
2n
d ( A, ) x , ( T , ) z , d ( B, ) z , ( S , ) x
2n
2n
we
have
letting n
d ( ( B, ) z , z ) q d ( ( B, ) z , z ) d ( ( B, ) z , z )
which is contradiction. Hence, ( B, ) z z . Since,
( B, ) ( X , E ) ( T , ) ( X , E )
there exists a soft point u X such that
( B, ) z ( S , ) u z By b , we have
16
International Journal on Cybernetics & Informatics (IJCI) Vol. 4, No. 5, October 2015
d ( ( A, ) u , z ) q max d ( ( S , ) u , z ), d ( ( A, ) u , ( S , ) u ),
d ( z , z ), d ( ( A, ) u , z ), d ( z , ( S , ) u )
and so
d ( ( A, ) u , z ) q d ( ( A, ) u , z ) d ( ( A, ) u , z )
which is contradiction. Hence, ( A, ) u z .
Since the pair ( ( A, ) ( S , ) ) is soft compatible of type I and
( A, ) u ( S , ) u z
By Proposition, we have
d ( ( A, ) u , ( S , )( S , ) z ) q d ( ( A, ) u , ( A, )( S , ) z )
and so
d ( z , ( S , ) z ) q d ( z , ( A, ) z )
Again, by
b , we have
d ( ( A, ) z , z ) q max d ( ( S , ) z , z ), d ( ( A, ) z , ( S , ) z ), d ( z , z ),
d ( ( A, ) z , z ), d ( z , ( S , ) z )
q d ( ( A, ) z , z ) d ( ( A, ) z , z )
which is contradiction. Hence, ( A, ) z z .
Therefore,
( A, ) z ( B, ) z ( S , ) z ( T , ) z z
and z is a common fixed point of ( A, ), ( B, ) , ( S , )and ( T , ).
The uniqueness of a common fixed point can be easily verified by using
The other cases
b .
CONCLUSION
In this paper, under different sufficient conditions several types of compatible maps are being
compared in soft metric spaces and also fixed point theorem for four soft continuous self maps is
established here. One can further try to generalize these concepts in fuzzy soft metric spaces,
because, fuzzy soft metric space is a generalization of both fuzzy metric space and soft metric
space. We hope that the findings in this paper will help researchers to enhance and promote the
further study on soft metric spaces to carry out a general framework for their applications in real
life.
ACKNOWLEDGMENT
Authors are thankful to the reviewer for his/her valuable comments.
17
International Journal on Cybernetics & Informatics (IJCI) Vol. 4, No. 5, October 2015
REFERENCES
[1]
[2]
[3]
[4]
[5]
[6]
[7]
[8]
[9]
[10]
[11]
[12]
[13]
[14]
18