International Journal of Applied Mathematics

& Statistical Sciences (IJAMSS)

ISSN(P): 2319-3972; ISSN(E): 2319-3980
Vol. 3, Issue 1, Jan 2014, 57-62
© IASET

COMMON FIXED POINT THEOREM OF AN INFINITE SEQUENCE OF MAPPINGS IN

HILBERT SPACE

ARVIND KUMAR SHARMA1, V. H. BADSHAH2 & V. K. GUPTA3

1
Department of Engineering Mathematics, M.I.T.M, Ujjain, Madhya Pradesh, India
2
School of Studies in Mathematics, Vikram University, Ujjain, Madhya Pradesh, India
3
Department of Mathematics, Government Madhav Science College, Ujjain, Madhya Pradesh, India

ABSTRACT

The aim of this present paper is to obtain a common fixed point for an infinite sequence of mappings on Hilbert
space. Our purpose here is to generalize the our previous result [7]

KEYWORDS: Common Fixed Point, Hilbert Space, Infinite Sequence of Mappings

2010 Mathematics Subject Classification: 47H10.

1. INTRODUCTION

Tn n1 of

In 2011, Sharma Badshah and Gupta [7] have proved common fixed point theorem for the sequence

mappings satisfying the condition

2 2
x  Ti x  y  T j y
Ti x  T j y    x y A
x  Ti x  y  T j y
for all x, y  S and x  y ;   0,   0 and 2    1.

Tn n1

In 2005, Badshah and Meena [1] have proved common fixed point theorem for the sequence of

mappings satisfying the condition

x  Ti x . y  T j y
Ti x  T j y    x y  B
x y
for all x, y  S with x  y also   0,   0 and     1.

Tn n1

In 1991, Koparde and Waghmode [3] have proved common fixed point theorem for the sequence of

mappings satisfying the condition

 a 
 C
2 2 2
Ti x  T j y  x  Ti x  y  T j y 
 
for all x, y  S and x  y ; 0  a  12

Tn n1

Later in 1998, Pandhare and Waghmode [5] have proved common fixed point theorem for the sequence

of mappings satisfying the condition

58 Arvind Kumar Sharma, V. H. Badshah & V. K. Gupta

 b  x  Ti x  y  T j y   D
2 2 2 2
Ti x  T j y  a x  Ti x
 
for all x, y  S and x  y ; 0  a, 0  b  1 and a  2b  1.

This result is generalizes by Veerapandi and Kumar [7] and the new condition is

 b  x  Ti x  y  T j y  c  x T x 2  y T y 
E
2 2 2 2 2
Ti x  T j y a x y   i j 
  2 
for all x, y  S and x  y where 0  a, b, c  1 and a  2b  2c  1.

Now we introduce a new condition for the generalization of following known results.

Tn n1 :S  S

Theorem 1: [7] Let S be a closed subset of a Hilbert space H and be an infinite sequence of

mappings satisfy (A). Then Tn n1 has a unique common fixed point.


Tn n1 :S  S

Theorem 2: [1] Let S be a closed subset of a Hilbert space H and be an infinite sequence of

mappings satisfy (B). Then Tn n1 has a unique common fixed point.


Theorem 3: [3] Let S be a closed subset of a Hilbert space H and Tn n1 :S  S be a sequence of mappings


satisfy (C). Then Tn n1 has a unique common fixed point.


Theorem 4: [5] Let S be a closed subset of a Hilbert space H and Tn n1 :S  S be a sequence of mappings


satisfy (D). Then Tn n1 has a unique common fixed point.


Theorem 5: [8] Let S be a closed subset of a Hilbert space H and Tn n1 :S  S be a sequence of mappings


satisfy (E). Then Tn n1 has a unique common fixed point.


Main Result

We proved fixed point theorem for the infinite sequence Tn n1 to generalize our previous results [7].


Tn n1 :S  S

Theorem: Let S be a closed subset of a Hilbert space H and be an infinite sequence of

mappings satisfying the following condition

 x  Ti x 
Ti x  T j y     
  y  T j y  F
 x y 
for all x, y  S and x  y ;   0,   0 and 2    1.

Then Tn n1 has a unique common fixed point.


Common Fixed Point Theorem of an Infinite Sequence of Mappings in Hilbert Space 59

Proof: Let S be a closed subset of a Hilbert space H and Tn n1 :S  S be an infinite sequence of mappings.


Let x0  S be any arbitrary point in S.

Define a sequence xn n1 in S by



xn1  Tn1xn , for n  0,1,2, ....

For any integer n ≥ 1

xn1  xn  Tn1xn  Tn xn1

 xn  Tn 1 xn 
     xn 1  Tn xn 1
 xn  xn 1
 

 xn  xn 1 
     xn 1  xn
 xn  xn 1
 

  xn 1  xn   xn  xn 1

i.e. xn 1  xn   xn 1  xn   xn  xn 1

 (1   ) xn 1  xn   xn  xn 1


 xn1  xn  xn  xn 1
1 


If k  then k  1.
1- 

xn1  xn  k xn  xn1

 k xn  xn 1  k 2 xn 1  xn  2  k 3 xn  2  xn 3  ...  k n x1  x0

i.e. xn 1  xn  k n x1  x0 for all n  1 is integer.

Now for any positive integer m  n  1

xn  xm  xn  xn 1  xn 1  xn  2  ...  xm1  xm

 k n x1  x0  k n 1 x1  x0  ...  k m 1 x1  x0

 k n x1  x0 1 k  ...  k mn 1


 kn 
i.e. xn  xm   x x  0 as n   (k  1)
 1  k  1 0
 
60 Arvind Kumar Sharma, V. H. Badshah & V. K. Gupta

Therefore  xn 

is a Cauchy sequence.
n 1

Since S is a closed subset of a Hilbert space H, so  xn 


converges to a point u in S.
n 1

Now we will show that u is common fixed point of infinite sequence Tn 

of mappings from S into S.
n 1

Suppose that Tn u  u for all n.

Consider for any positive integer m (≠ n)

u  Tmu  u  xn  xn  Tm u

 xn  Tm u

 Tn xn 1  Tm u

 xn 1  Tn xn 1 
     u  Tm u
 xn 1  u
 

 xn 1  xn 
     u  Tm u
 xn 1  u
 

xn 1  xn
  u  Tm u   u  Tm u
xn 1  u

xn 1  xn
i.e. u  Tm u   u  Tmu   u  Tmu
xn 1  u

 xn 1  xn
 u  Tm u  u  Tmu  0 as n  
1 xn 1  u

u  Tmu  0.
So

Hence u  Tmu and so u  Tnu for all n.

Hence u is a common fixed point of infinite sequence Tn n1 of mappings.



Uniqueness

.Suppose that there is u  v such that Tnv  v for all n.

Consider u v  Tn u  Tn v

 u  Tn u 
     v  Tn v
 uv
 

i.e. u v  0
Common Fixed Point Theorem of an Infinite Sequence of Mappings in Hilbert Space 61

 u v  0

Thus u  v.

Hence fixed point is unique.

Example: Let X = [0, 1], with Euclidean metric d .Then {X, d} is a Hilbert space with the norm defined by

d ( x, y )  x  y


1
Let  xn n 1   n  be the sequence in X and let Tn n1 be the infinite sequence of mappings such that
 

 2 n 1

xn 1  Tn 1 xn , for n  0, 1, 2, 

1 1
Taking x  and y  ; x  y .Also i  n  1 and j  n.
2n 2n1

 xn n1 is a Cauchy sequence in X, which is converges in X also it has a common point in X.


Then from (F)

CONCLUSIONS

The theorem proved in this paper by using rational inequality is improved and stronger form of some earlier
inequality given by Badshah and Meena [1], Sharma Badshah and Gupta [7], Koparde and Waghmode [3], Pandhare and
Waghmode [5], Veerapandi and Kumar [8].

REFERENCES

1. Badshah, V.H. and Meena, G., (2005): Common fixed point theorems of an infinite sequence of mappings,
Chh. J. Sci. Tech. Vol. 2, 87-90.

2. Browder, Felix E. (1965): Fixed point theorem for non compact mappings in Hilbert space, Proc Natl Acad Sci
U S A. 1965 June; 53(6): 1272–1276.

3. Koparde, P.V. and Waghmode, B.B. (1991): On sequence of mappings in Hilbert space, The Mathematics
Education, XXV, 197.

4. Koparde, P.V. and Waghmode, B.B. (1991): Kannan type mappings in Hilbert spaces, Scientist Phyl. Sciences
Vol. 3, No. 1, 45-50.

5. Pandhare, D.M. and Waghmode, B.B. (1998): On sequence of mappings in Hilbert space, The Mathematics
Education, XXXII, 61.

6. Sangar, V.M. and Waghmode, B.B. (1991): Fixed point theorem for commuting mappings in Hilbert
space-I, Scientist Phyl. Sciences Vol. 3, No.1, 64-66.

7. Sharma, A.K., Badshah, V.H and Gupta, V.K. (2012): Common fixed point theorems of a sequence of mappings
in Hilbert space, Ultra Scientist Phyl. Sciences.

8. Veerapandhi, T. and Kumar, Anil S. (1999): Common fixed point theorems of a sequence of mappings in Hilbert
space, Bull. Cal. Math. Soc. 91 (4), 299-308.