International Journal on Cybernetics & Informatics (IJCI) Vol. 4, No.

5, October 2015

A COMPARISON OF VARIOUS TYPE

OF SOFT COMPATIBLE MAPS AND
COMMON FIXED POINT THEOREM II
Sumit Mohinta and T. K. Samanta
Department of Mathematics, Sudhir Memorial Institute, Kolkata, West Bengal, India700132.
Department of Mathematics, Uluberial College, Uluberia, Howrah, West Bengal, India711315.

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.

2010 Mathematics Subject Classification: 03E72, 08A72, 47H10, 54H25

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

is called a soft set over X if

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 E , such that P e x for some x X and P e' , e' E e . It will be denoted

by x e .

Definition 2.3. [8, 10] Two soft point x e, y

e'

are said to be equal if e e' and

i.e., x y . Thus x e y e x y or e 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

( i ) positive soft real set if 0 s F , A ,

( ii ) negative soft real set if, F , A 0 .
s

( ii ) non-negative soft real set if F

is a subset of the set of non-negative real

numbers for each A.

( iv ) non-positive soft real set if F is a subset of the set of non-positive
real numbers for each A.
Definition 2.6. [11] Let be the collection of soft sets over X , then is said to be a
soft topology on X if
1. , X .
2. the union of any number of soft sets in belongs to .
Definition 2.7. [1] Let

f : X , , E Y , ' , E

f x e , E ,

X , , E

and

Y , ' , E

be two soft topological spaces,

be a mapping. For each soft neighborhood

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 denote the set of all non-negative soft real

the collection of all soft points of X and

numbers.

Definition 2.8. [8] A mapping d : SP X SP X

E ,

is said to be a soft metric on

the soft set X if d satisfies the following conditions:

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 .

be a soft metric space and be a non-negative soft real

number. B x e , ye X : d x e , y ' SP X is called the soft open ball
e
with center at x e and radius and B x e , ye X : d x e , y ' SP X
e
Definition 2.9. [8] Let

X , d, E

is called the soft closed ball with center at x e and radius .

X , d , E be a soft metric space and F , E be a non-null soft

X in X , d , E . Then F , E is said to be soft open in X with respect to d if and

Definition 2.10. [8] Let

subset of

only if all soft points of

Definition 2.11. [7] Let

F, E

is interior points of

F, E .

X , d , E and Y , , E ' be two soft metric spaces. The mapping

f , : X , d , E Y , , E ' is a soft mapping, where f : X Y ,

: E E

are two mappings.

x , n n be a sequence of soft points in a soft metric space

X , d , E . The sequence x , n n is said to be convergent X , d , E if there is a soft
point y X such that d x , n , y 0 as n .
Definition 2.12. [8] Let

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

considered as a Cauchy sequence in X if corresponding to every 0, m

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

X , d , E is called incomplete if it is not complete.

3. SOFT COMPATIBLE MAPS:

Definition 3.1. Let
and

A, , B, : X , d , E X , d , E be soft mappings. A,

B, are said to be soft compatible if

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

A, and B, are said to be soft compatible of type

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, , B, : X , d , E X , d , E be soft mappings with

B, be soft continuous. Then A, and B, are soft compatible if and only if they
are - soft compatible.
Proposition 3.8. Let

Proof. Suppose that

A,

and

B,

n
are soft compatible and let x
be a soft
n

sequence in X such that

lim

A, x n n

lim

B, x n n

for some z in X . By the triangle inequality, we have

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,

and B, are - soft compatible.

suppose that A, and B, are -

n
d A, B, x , B,
n

soft compatible. We then have

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

which implies that

7

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 soft compatible. This completes the proof.

A, , B, : X , d , E X , d , E be soft mappings with

A, be soft continuous. Then A, and B, are soft compatible if and only if they
are - soft compatible.
Proposition 3.9. Let

Proof. The proof is obvious.

A, , B, : X , d , E X , d , E be soft mappings such

that B, resp., A, be soft continuous maps. If A, and B, are soft compatible resp., then they are soft compatible of type I resp., II .
Proposition 3.10. Let

Proof. Suppose that

A,

and

B,

are

- soft compatible and let

lim

n
x be a
n

sequence in X such that

lim

for some z in X . Since

d A,

A, x n n

B, x n n

B, is soft continuous, we have

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

Hence it follows that

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

A, and B, are soft compatible of type I . This completes the

z in X and so the
proof.

A, , B, : X , d , E X , d , E
B, resp., A, be soft continuous maps. If A,

Proposition 3.11. Let

be soft mappings such

that

and

compatible of type

I and for every sequence

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 for some z in X , it follows that

z resp., lim B, A, x n z ,
n
n

- soft compatible resp., soft compatible .

Proof. Suppose that

A, and B, are soft compatible of type I and let

n
x be
n

a sequence in X such that

lim

Since B,

A, x n n

lim

B, x n n

z for some z in X ,

is soft continuous, we have

d

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, and B, are - soft compatible. This completes the proof.

A, , B, : X , d , E
B, resp., A, be soft continuous maps.

Proposition 3.12. Let

that

0.

X , d, E

be soft mappings such

Suppose that, for every sequence

n
x in X such that
n
lim

A, x n n

it follows that, lim A,

n

lim

B, x n n z

z resp., lim B, A, x n z ,
n
n

is soft compatible of type I resp.,of type II , if and only if

B, x n n

A, and B,
it is - soft compatible resp.,
Then

for some z in X ,

soft compatible .

Proof. The proof is obvious.

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

for some z in X then,

10

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

( A, ) z ( B, ) z for some z X . Then we have

Proof. Let

and

lim ( A, ) x lim ( B, ) x z .
n
n
n
n
Suppose

A, and B, are soft compatible of type I . Then,

n
d ( A, ) z , ( B, ) ( B, ) z d ( A, ) z , ( A, ) ( B, ) x
n

d ( A, ) z , ( A, ) ( B, ) z
Example 3.14. Let

X , d , E be a soft metric space with the following metrics

d ( x, y ) x y , d1( x, y ) min x y , 1 , and

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

A, and B, are neither soft compatible nor - soft compatible.

Example 3.15. Let

X , d , E be a soft metric space with the following metrics

d ( x, y ) x y , d1( x, y ) min x y , 1 , and

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

1. We need only consider

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

A, and B, are not soft compatible, soft compatible of type , soft

compatible of type , - soft compatible, - soft compatible.
Therefore,

lim d ( B, ) 1 0 , 1 0

n
lim d ( A, ) ( B, ) x , 1 0
n
2 n

Therefore, the pair ( ( A, )( B, ) ) is not soft compatible of type

I .

4 FIXED POINT THEOREM:

Theorem

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 )

for all x , y X . Let ( A, ), ( B, ), ( S , ) and ( T , ) are satisfying conditions any one

of the following :
(c )
( A, ) is soft continuous and the pair ( ( A, ), ( S , ) ) and ( ( B, ), ( T , ) )
are soft compatible of type

(d )

( B, ) is soft continuous and the pair ( ( A, ), ( S , ) ) and ( ( B, ), ( T , ) )

are soft compatible of type

( e)

II .
II .

( S , ) is soft continuous and the pair ( ( A, ), ( S , ) ) and ( ( B, ), ( T , ) )

13

International Journal on Cybernetics & Informatics (IJCI) Vol. 4, No. 5, October 2015

I .

are soft compatible of type

(f)

( T , ) is soft continuous and the pair ( ( A, ), ( S , ) ) and ( ( B, ), ( T , ) )

are soft compatible of type

I .

Then ( A, ), ( B, ), ( S , ) and ( T , ) have a unique common fixed point in X .

0
Proof. Let x SP ( X ). From
0

a we can construct sequence

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

is complete, y n n converges to some soft point z X .

Also its subsequences converges to the same soft point i.e, z X .

Now, suppose that the condition
compatible of type

holds. Then, since the pair ( ( B, )( T , ) ) is soft

and ( T , ) is soft continuous, we have

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

Thus, by letting the limit inferior on both sides of ( 1 ) we have

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 .

c , d and e can be disposed from a similar argument as above.

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]

C. Gunduz (Aras), A. Sonmez, H. akall, On Soft Mappings , arXiv:1305.4545v1 [math.GM] 16 May

2013.
D.Chen, The parameterization reduction of soft sets and its applications, Comput. Math. Appl. 49
(2005) 757 763.
D. Molodtsov, Soft set-theory-first results ,Comput. Math. Appl. 37 (1999)19 31
M. Shabir and M. Naz, On soft topological spaces ,Comput. Math. Appl.61 (2011) 1786 1799.
P. K. Maji, A.R.Roy, R. Biswas, An application of soft sets in a decision making problem , Comput.
Math. Appl. 44 (2002) 1077 1083
P.K.Maji, R.Biswas, A.R.Roy, Soft set theory, Comput. Math. Appl. 45 (2003) 555 562
P. Majumdar, S.K. Samanta, On soft mappings, Comput. Math. Appl. 60 (2010) 2666 2672.
S. Das and S.K.Samanta, Soft metric, Annals of Fuzzy Mathematics and Informatics 6(1) (2013) 77
94
S. Das and S.K.Samanta, Soft Real Sets, Soft Real Numbers and Their Properties, The journal of
Fuzzy Mathematics 20(3) (2012) 551 576
S. Bayramov, C. Gunduz(Aras), Soft locally compact and soft paracompact spaces, Journal of
Mathematics and System Science (accepted)
S. Hussain and B. Ahmad, Some properties of soft topological spaces, Computers and Math with
Applications 62 (2011) 4058 4067 .
Sanjay Roy, T.K.Samanta, A note on Soft Topological Space, Punjab University Journal of
mathematics, 46(1) (2014) 19 24
Sanjay Roy, T.K.Samanta, An introduction to open and closed sets on fuzzy soft topological spaces,
Annals of Fuzzy mathematics and Informatics, 6(2) (2013) 425 431
Sanjay Roy, T.K.Samanta, A note on fuzzy soft topological spaces, Annals of Fuzzy mathematics and
Informatics, 3(2) (2012) 305 311

18