See discussions, stats, and author profiles for this publication at: https://www.researchgate.

net/publication/321906042

Existence of Fixed Points of Fuzzy Functions in Complete Metric Spaces

Conference Paper · January 2014

CITATIONS READS

7 48

2 authors:

Rajendran Krishnakumar Dinesh .K

URUMU DHANALAKSHMI COLLEGE, INDIA, TIRUCHIRAPPALLI K. Ramakrishnan College of Engineering
70 PUBLICATIONS 278 CITATIONS 23 PUBLICATIONS 57 CITATIONS

SEE PROFILE SEE PROFILE

All content following this page was uploaded by Dinesh .K on 19 December 2017.

The user has requested enhancement of the downloaded file.

 Proceedings of the International Conference on Applied Mathematical Models ICAMM 2014
January 3-5 , 2014 PSG College of Technology, Coimbatore, India

Existence of Fixed Points of Fuzzy Functions in Complete

Metric Spaces
R.Krishnakumar
PG & Research Department of Mathematics
Urumu Dhanalakshmi College
Tiruchirappalli, Tamil Nadu, India
srksacet@yahoo.co.in

K.Dinesh
PG & Research Department of Mathematics
Urumu Dhanalakshmi College
Tiruchirappalli,Tamil Nadu, India
dinesh.skksv93@gmail.com

Abstract - In this paper the concept of fuzzy mappings collection of approximate quantities is denoted as W(X).
has been used in proving fixed point theorems. we The distance between two approximate quantities is defined
establish some new fixed point theorems in complete
metric spaces using fuzzy mappings. by the following scheme.

Keywords – Fuzzy mappings, Fixed point, membership

function, metric linear space Let A, B W(X), and [0,1];
(A,B) = d(x, y); and is a non decreasing
1. INTRODUCTION function of

Heilpern [8] introduced the concept of fuzzy (A,B) = dist( , );

mappings and proveda fixed point theorem for fuzzy H(A,B) = (A,B);

contraction mappings. Since then, many authors have Where in the dist is in the sense of Hausdorff distance. The
generalized Bose and Sahanis results in different directions. function is called a distance (induced by d), is
Also Bose and mukherjee (see [2], [3]) considered common called a a-distance (induced by dist), and H a distance
fixed points of a pair of multivalued mappings and a between A and B. Let A, B W(X). An approximate
sequence of single valued mappings. We present some quantity A is more accurate than B, denoted by A B iff
theorems which are generalized to ordered metric space A(x) B(x), for each x X. It is clear that ⊂ is a partial
setting and generalizations of the main theorem of several order relation determined on the family W(X).
authors
. Let Y be an arbitrary set and X any metric linear

2. PRELIMINARIES space. F is called fuzzy mapping iff F is a mapping from

the set Y into W(X), that is F(y) W(X) for each y Y

Let (X, d) be a metric linear space and F(X) , the and the function value F(y, x) stands for the grade of

collection of all fuzzy sets in X. Let A F(X) and α [0, 1]. membership of x in F(y).

The α-level set of A, denoted by and Let A F(Y), B F(X). Then the fuzzy set F(A) in

Aα = if (0,1], = F(X) is defined by

F(A)(x) = (F(y, x) ^ A(y) ), x X and
where stands for the (non fuzzy) closure of A.
A fuzzy subset A of X is an approximate quantity iff the fuzzy set (B) in F(Y) is defined by

its A(x) = 1. From the collection F(X), a sub (B)(y) = (F(y,x) ^ B(x)), y Y

240
 Proceedings of the International Conference on Applied Mathematical Models ICAMM 2014
January 3-5 , 2014 PSG College of Technology, Coimbatore, India

≤d( )+
Lemma 2.1. [8]. Let x X,A W(x) and a fuzzy [ ( T( ))+ ( ))]
set with membership function equal to a characteristic
function of . If ⊂ A, then (x,A) = 0 for each
[0, 1].
Making n → ∞ we get
Lemma 2.2. [8]: (x,A) + (y,A) for
each x, y X. (z, T(z)) ≤ M (z, T(z)) where M = - k and M < 1
Lemma2.3.[8]:If then ( ,B)
(A,B) for each B W(x). Which gives (z, T (z)) = 0. Hence z ⊂ T(z).

3. MAIN RESULTS Theorem 3.2.Let X be a complete metric linear space and T

Theorem 3.1.Let X be a complete metric linear space and T are fuzzy mappings from X to W(x) satisfying

T fuzzy mappings from X to W(x) satisfying

H(T(x),T(y))+k[ (x,T(x))+ (y,T(y))] H (T(x), T(y)) ≤ a [ ( T( )) + (y, T(x)) ] + b d(x, y)

a (x,T(y))+b (y, T(x)) +cd(x, y). for all x, y ϵ X; where a, b ≥ 0 and 2a + b < 1 and a < 1.

for all x, y C; where a, b, c, k 0 and 2b + c < 1 + 2k, Then there exists a point z X such that ⊂ T(z).

a + b + c < 1 and 1 + k > b. Then there exists a point Proof. Take X. Let ⊂ T( ), choose such

z X such that ⊂ T(z). that ⊂ T( ), and d( ) (T( ))

Continuing this process we can construct a sequence

Proof. Take X. Let ⊂ T( ), choose such such that ⊂ T( ), ⊂ T( ), and

that and d( ) (T(

d(( ) (T( )) n = 0, 1, 2….
)). Continuing this process we construct a
sequence such that and
d( ) (T( ))
d( ) (T( )) n = 0, 1, 2….

H(T( ))
d( ) (T( ))
H(T( ))

[ ( T( ))
+
+ ( )]
+
for each n = 0, 1,2…..
- k[ ]
Where .

Hence is a Cauchy sequence in X.

for each n = 0,1,2….. It has a limit in X. Call it z. In the view of Lemmas (2.2) -

Where L = ( )<1 (2.3) we get

Hence is a Cauchy sequence in X. It has

(z, T(z)) ≤ d( ) + (T( ))
a limit in X. Call it z. In the view of Lemmas (2.2) - (2.3)
(z, T(z))≤ d( )+ (T( ))

241
 Proceedings of the International Conference on Applied Mathematical Models ICAMM 2014
January 3-5 , 2014 PSG College of Technology, Coimbatore, India

≤d( )+ metric fixed point theory, Sevilla 1995 , Universidad

deSevilla, Sevilla, pp.19-30.1996.
[5]. Shi Chuan, Common fuzzy hybrid fixed point
theorems for a sequence of fuzzy mappings,
International J. Math. Math Sciences, 20, No. 3 451-
Making n → ∞ we get (z, T(z)) ≤ a (z, T(z))
456(1997).

Which gives (z, T(z)) = 0. Hence z ⊂ T(z)

[6]. L. Ciric, M. Abbas, B. Damjanovic, R. Saadati,
Common fuzzy fixed point theorems in ordered
REFERENCES
metric spaces, Mathematical and Computer Modeling
[1]. G.Artico and R.Moresco," On fuzzy metrizability "
,vol.53, 1737-1741,(2011).
J.Math.Anal.Appl. vol.107, pp.144-147,(1985).

[7]. J.Hajrani, K. Sadarangani, Generalized contractions

[2]. R.K. Bose, D. Sahani, ―Fuzzy mappings and fixed
in partially ordered metric spaces and applications to
point theorems, Fuzzy Sets and systems‖, vol.21 53-
ordinary differential equations, Nonlinear
58.(1987).
Analysis,vol.72, 1188-1197(2010).

[3]. M.Frigon, A. Granas, Resultats du type de

[8]. S. Heilpern, Fuzzy mappings and fixed point
LeraySchauderpour des contractions multi-valued,
theorems, J. Math.Anal. Appl., 83 566-569(1981).
Topology.Meth.NonlinearAnal. Vol. 4 197 – 208
(1994).
[9]. M.C. Joshi, R.K. Bose, Some Topics in Nonlinear
Functional Analysis, John Wiley/ Wiley Eastern
[4]. M. Frigon, ―On continuation methods for contractive
Ltd.(1985). .
and non-expansive mappings, Recent advances in

242

View publication stats