# Some results on fixed points in M-fuzzy metric space.

INTRODUCTION

In [14] Song has mentioned that Grabiec [4] proved a fuzzy Banach contraction theorem and Vasuki [15] generalized the results of Grabiec for common fixed point theorem for a sequence of mappings in the fuzzy metric space. Song [14] has pointed out there are some errors in the papers of Vasuki [15] and Grabiec [4], because definition of Cauchy sequence given by Grabiec [4] is weaker than the one proposed by Song [14] and hence conditions of Vasuki's theorem and its corollary. We present more general conditions.

DEFINITION 1.1:

A mapping T: [0, 1] x [0, 1] [right arrow] [0, 1] is called a triangular norm (shortly t-norm) if it satisfies the following conditions.

(i) T(a, 1) = a for every a [member of] [0, 1]

(ii) T(a, b) = T(b, a) for every a, b [member of] [0, 1]

(iii) T(a, c) [greater than or equal to] T(b, d) for a [greater than or equal to] b; c [greater than or equal to] d

(iv) T(a, T(b, c,)) = T(T (a, b), c) for all a,b,c [member of] [0,1]

EXAMPLE 1.2:

The minimum t- norm, [T.sub.M], is defined by [T.sub.M](x, y) = min (x, y), the product t- norm [T.sub.P], is defined by [T.sub.P](x, y) = xy, the Lukasiewicz t- norm, [T.sub.L] is defined by [T.sub.L](x, y) = max {x +y-1, 0} and finally the weakest t- norm the drastic product [T.sub.D] is defined by

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

DEFINITION. 1.3:

The triple (X, M, [DELTA]) is a M-fuzzy metric space if X is an arbitrary set, [DELTA] is a continuous t--norm and M is a fuzzy set in [X.sup.3] x [0,[infinity]) satisfying the following conditions for each x, y, z, a [member of] X and t, s >0

(1) M(x, y, z, t) > 0, for all x, y, z [member of] X

(2) M (x, y, z, t) = 1 iff x = y = z, for all t > 0,

(3) M (x, y, z, t) = M (p{x, y, z}, t), where p is a permutation function,

(4) [DELTA](M (x, y, a, t), M (a, z, z, s)) [less than or equal to] M (x, y, z, t + s),

(5) M (x, y, z, .) : [0, [infinity]) [right arrow] [0,1] is continuous.

LEMMA. 1.1: [8]

Let (X, M, *) be a M-fuzzy metric space. Then M is continuous function on [X.sup.3] x [0,[infinity]).

LEMMA. 1.2:

M (x, y, z, .) is non decreasing for all x, y, z [member of] X.

Proof :

Let M (x, y, z, t + s) [greater than or equal to] [DELTA]{M (x, y, w, t), M (w, z, z, s)} Put w = z on both sides We get M (x, y, z, t + s) [greater than or equal to] [DELTA]{M (x, y, z, t), M (z, z, z, s)}. = M (x, y, z, t) for all t > 0

Hence M (x, y, z, t + s) [greater than or equal to] M (x, y, z, t) for all t > 0, and x, y, z [member of] X, for any s > 0. There fore M--monotonically increasing sequence.

In order to prove a M-fuzzy metric space is a Hausdorff topological space. We needed the following definitions and lemmas.

LEMMA. 1.3:

Let (X, M, *) be a M-fuzzy metric space. Then for every t >0 and for every x, y [member of] X we have M (x, x, y, t) = M (x, y, y, t).

Proof :

For each [member of] > 0 by triangular inequality We have

(i) M (x, x, y, [member of] + t) = M (x, x, x, [member of]) * M (x, y, y, t) = M (x, y, y, t)

(ii) M (y, y, x, [member of] + t) = M (y, y, y, [member of]) * M (y, x, x, t) = M (y, x, x, t).

By taking limits of (i) and (ii) when [member of] [right arrow] 0, we obtain M (x, x, y, t) = M (x, y, y, t).

DEFINITION. 1.4:

Let (X, M, *) be a M-fuzzy metric space, For t >0, the open ball [B.sub.M] (x, r, t) with center x [member of] X and radius o < r <1 is defined by [B.sub.M] (x, r, t) = {y [member of] X : M (x, y, y, t) > 1 - r}. The family {BM (x, r, t): x [member of] X, 0 < r < 1, t > 0} is a neighborhood's system for a Hausdorff topology on X, which is called the topology induced by the generalized fuzzy metric M which is denoted by [J.sub.M] topology.

THEOREM. 1.4:

Every M-fuzzy metric space is Hasusdorff.

Proof:

Let (X, M, [DELTA]) be the given M-fuzzy metric space. Let x, y be two distinct points of X.

Then 0 < M (x, y, y, t) < 1. Put M (x, y, y, t) = r for some r [member of] (0, 1). For each r with r < [r.sub.0] < 1, there exists [r.sub.1] such that [DELTA]([r.sub.1], [r.sub.1]) = [r.sub.0]. Now consider the open balls [B.sub.M] (x, 1 - [r.sbu.1], t/2) and [B.sub.M] (y, 1 - [rs.ub.1], t/2). Clearly, [B.sub.M] (x, 1 - [r.sub.1], t/2) [intersection] [B.sub.M] (y, 1 - [r.sub.1], t/2) = [empty set]. For if there exists z [member of] [B.sub.M] (x, 1 - [r.sub.1], t/2) [intersection] [B.sub.M] (y, 1 - [r.sub.1], t/2), then r = M (x, y, y, t) = M (x, x, y, t) [greater than or equal to] [DELTA](M (x, x, z, t/2), M (z, y, y, t/2)) = [DELTA](M (x, z, z, t/2), M (y, z, z, t/2)) = [DELTA]([r.sub.1], [r.sub.1]) = [r.sub.0] > r.

which is contradiction. Hence (X, M, [DELTA]) is Hausdorff.

THEOREM. 1.5:

Let (X, M, [DELTA]) be a generalized fuzzy metric space [J.sub.M] be the topology induced by fuzzy metric M. Then for a sequence {[x.sub.n]} in X, [x.sub.n] [??] x iff M ([x.sub.n], x, x, t) [right arrow] 1 as n [right arrow] for all t > 0.

DEFINITION. 1.5:

A sequence {[x.sub.n]} in a generalized fuzzy metric space (X, M, [DELTA]) is [J.sub.M]--Cauchy iff for each t [member of] (0, 1), t > 0 there exists [n.sub.0] [member of] N, such that M ([x.sub.n], [x.sub.n], [x.sub.m], t) > 1-[member of] for all n > [n.sub.0] and p, q > 0.

A generalized fuzzy metric space in which every [J.sub.M]--Cauchy sequence is [J.sbu.M]--convergent and it is called a [J.sbu.M]--complete fuzzy metric space.

DEFINITION. 1.6:

A mapping F: R [right arrow] [R.sup.+] is called a distribution function if it is nondecreasing and left continuous and it has the following properties.

i) [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

ii) [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

Let [D.sup.+] be the set of all distribution function F such that F(0) = 0 (F is a nondecreasing, left continuous mapping from R into [0, 1] such that F(x) = 1.

DEFINITION. 1.7:

A generalized probabilistic metric space (briefly GPM--space) is an ordered pair (S, F) where S is a non empty set and F: S x S x S [right arrow] [D.sup.+] F(p, q, r) is denoted by [F.sub.p,q,r] for every (p, q, r) [member of] S x S x S) satisfies the following conditions.

i) [F.sub.u,v,w] (x) = 1 for all x > 0 iff u = v = w

ii) [F.sub.u,v,w](x) = [F.sub.v,w,u] (x) = [F.sub.w,u,v] (x) for all u, v, w [member of] S and x[member of]R

iii) If [F.sub.u,v,a](x) = 1 and [F.sub.a,w,w](y) = 1 then [F.sub.u,v,w](x + y) = 1 for u, v, w [member of]S and x, y, z [member of][R.sup.+]

DEFINITION. 1.8:

A generalized probabilistic metric space is a triple (S, F, [DELTA]) where (S, F) is a GPM--space, [DELTA] is a t-norm and the following inequality holds:

[F.sub.u,v,w](x + y) [greater than or equal to] [DELTA] ([F.sub.u,v,a] (x), [F.sub.a,w,w] (y)) for u, v, w, a [member of]S and every x > 0 and y > 0.

then (S, F, [DELTA]) is a Hausdroff topological space in the topology [tau] induced by the family of ([member of], [lambda])--neighborhoods {Up ([member of], [lambda]) : p [member of] S, [member of] > 0, [lambda] >0}, where Up ([member of], [lambda])= {u [member of] S : [F.sub.u,u,p] ([member of]) > 1-[lambda]}.

DEFINITION. 1.9 :

Let (X, F, [DELTA]) be a Probabilistic Metric (PM-) space with [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

(i) A sequence {[u.sub.n]} in X is said to be [tau]-convergent to u [member of] X (we write un [right arrow] u) if for any given [member of] > 0, [lambda] > 0, there exists a positive integer N = N ([member of], [lambda]) such that [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] whenever n [greater than or equal to] N.

(ii) A sequence {[u.sub.n]} in X is called [tau]-Cauchy sequence if for any [member of] > 0 and [lambda] > 0, there exists a positive integer N = N([member of], [lambda]) such that [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] ([member of]) > 1-[lambda] whenever n, m [greater than or equal to] N.

(iii) A PM-space (S, F, [DELTA]) is said to be [tau]--complete if each [tau]--Cauchy sequence in S is [tau]-convergent to some point in S.

2. A COMMON FIXED POINT THEOREM

In this section, we present a sufficient condition which a sequence to be a Cauchy sequence in the M-fuzzy metric space (X, M, [DELTA]). In addition, we prove a common fixed point theorem. We need definition and the two next lemma.

DEFINITION. 2.1:

[DELTA] is said to be an h-type t-norm, if the family [{[[DELTA].sup.m] (t)}.sub.[infinity].sub.m=1] is equicontinuous at t =1, where [[DELTA].sup.1](t) = [DELTA](t, t,), [[DELTA].sup.2](t) = [DELTA]([[DELTA].sup.1](t), t) and [[DELTA].sup.m](t) = [DELTA]([[DELTA].sup.m-1](t), t) m = 2,3 ...

Obviously, [DELTA] is an h-type t-norm iff for any [lambda] [member of] (0, 1), there exists [delta] ([lambda]) [member of] (0, 1) such that [[DELTA].sup.m](t) > 1-[lambda] for all m[member of] N, when t > [delta] ([lambda]).

EXAMPLE. 2.2 :

t-norm minimum is a h-type t-norm.

LEMMA. 2.1:

Let the function [phi](t) satisfy the following conditions: ([phi])[phi](t): [0,[infinity]) [right arrow] [0, [infinity]) is nondecreasing and [[infinity].summation over (n=1)] [[phi].sup.n](t) < [infinity] for all t > 0, when [[phi].sup.n](t) denotes the nth iterative functions of [phi](t), then [phi](t) < t for all t > 0.

LEMMA. 2.2:

Let (S, F, [DELTA]) be a PM-space with an h-type t-norm [DELTA]. Suppose {[x.sub.n]} [subset] X such that [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] for all t > 0, where the function [phi](t) satisfies the condition ([phi]). Then {[x.sub.n]} is a [tau]--Cauchy.

REMARK. 2.3:

If (X, M, [DELTA]) be a M-fuzzy metric space, with a continuous t-norm [DELTA] such that [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] for all x, y, z [member of] X (2.3.1)

Then [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] and therefore [tau]-topology for [F.sub.x,y,z] (t) = M(x, y, z, t) is exactly topology induced by M when [F.sub.x,y,z] (t) = M (x, y, z, t) for all x, y, z [member of] X and t [greater than or equal to] 0. Thus, if(X, M, [DELTA]) is a

M-fuzzy metric space with continuous t-norm [DELTA] which satisfies (2.3.1) then {[x.sub.n]} is a [J.sub.M] -Cauchy if {[x.sub.n]} be a [tau]-Cauchy when ([F.sub.x,y,z], (t) = M (x, y, z (t)) for all x, y, z [member of] X and t [greater than or equal to] 0.

COROLLORY. 2.3:

Let(X, M, [DELTA]) be generalized fuzzy metric space satisfying (2.3.1) with a continuous h-type t-norm [DELTA]. Suppose {[x.sub.n]} [subset] X such that, M ([x.sub.n], [x.sub.n], [x.sub.n+1], [[phi].sup.n](t)) [greater than or equal to] M ([x.sub.0], [x.sub.0], [x.sub.1], t) for all t >0, where the function [phi](t) satisfies the condition [phi]. Then {[x.sub.n]} is a Cauchy ([J.sbu.M]-Cauchy) sequence.

PROOF:

Let [F.sub.x,y,z] (t) = M (x, y, z, t) for all x, y, z [member of] X and t [greater than or equal to] 0. Then (X, F, [DELTA]) is a PM-space with [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. Now, by applying lemma (2.2) and remark (2.3), the result follows immediately.

THEOREM. 2.4. Let (X, M, [DELTA]) be a complete fuzzy M-metric space. where [DELTA] is a continuous h- type t-norm and T be a selfmap of X such that M (Tx, Ty, Tz, [phi](t)) [greater than or equal to] M (x, y, z, t) for all x, y, z [member of] X and t > 0, where the function [phi](t) satisfies the condition ([phi]). Then T has a fixed point.

PROOF: Let [x.sub.0] [member of]X and [x.sub.n] = [T.sup.n] [x.sub.0], (n [member of] N). Now we have for t > 0 M ([x.sub.n+1], [x.sub.n], [x.sub.n], [[phi].sup.n](t)) = M ([T.sup.n+1] [x.sub.0], [T.sup.n] [x.sub.0], [T.sup.n] [x.sub.0], [[phi].sub.n](t)) [greater than or equal to] M ([T.sup.n] [x.sub.0], [T.sup.n-1] [x.sub.0], [T.sup.n-1] [x.sub.0], [[phi].sup.n-1](t)) [greater than or equal to] M ([T.sup.n-1] [x.sub.0], [T.sup.n-2] [x.sub.0], [T.sup.n-2] [x.sub.0], [[phi].sup.n-2](t)) [greater than or equal to] ... [greater than or equal to] M (T [x.sub.0], [x.sub.0], [x.sub.0], t) = M ([x.sub.1], [x.sub.0], [x.sub.0], t) for all n[member of]N.

Thus corollary (2.3) implies that {[x.sub.n]}is a Cauchy ([J.sub.M]-Cauchy) sequence, hence {[x.sub.n]} is converging to point [x.sub.0] in X.

Since M is continuous and [phi](t) < t we have M (x, x, Tx, t) [greater than or equal to] [DELTA] (M (x, x, [x.sub.n+1], t - [phi](t)), M ([T.sub.x], [x.sub.n+1], [x.sub.n+1] [phi](t))) [greater than or equal to] [DELTA] (M (x, x, [x.sub.n+1], t - [phi](t)), M (x, [x.sub.n], [x.sub.n], t)) [greater than or equal to] [DELTA] (M (x, x, [x.sub.n+1], t - [phi](t)), M (x, x, [x.sub.n], t)) [right arrow] (1,1) = 1 as n [right arrow] [infinity]

There fore [T.sub.x] = x.

THEOREM. 2.5:

(M-Fuzzy Banach Contraction theorem) Let (X, M, [DELTA]) be a [J.sub.M]--complete fuzzy metric space. Where [DELTA] is a continuous h- type t- norm. Suppose T is a self map of X such that M (Tx, Tx, Ty, kt) [greater than or equal to] M (x, y, z, t) for all x, y, z [member of] X and t > 0, where 0 [less than or equal to] k <1, Then T has a unique fixed point.

PROOF:

Let [phi](t) = kt, 0 = k < 1. Theorem (2.4) implies that T has a fixed point, Now we prove that fixed point is unique. Let y be another fixed point of T. Then Ty = y. M (x, y, y, [phi](t)) = M (Tx, Ty, Ty, [phi](t)) [greater than or equal to] M (x, y, y, t) put [phi](t) = kt, 0 [less than or equal to] k < 1. M (x, y, y, kt) [greater than or equal to] M (x, y, y, t) [greater than or equal to] M (x, y, y, t/[k.sup.n]) [right arrow] 1 as n [right arrow] [infinity] M (x, y, y, [phi](t)) = 1. There fore x = y.

THEOREM: 2.6:

Let {[T.sub.n]} be a sequence of mapping of a [Js.ub.M]--complete fuzzy metric space (X, M, [DELTA]) into itself, where [DELTA] is a continuous h--type t-norm such that [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] for all x, y, z [member of] X and for any three mappings [T.sub.i], [T.sub.j] and [T.sub.k] and any x, y, z [member of] X. we have M ([T.sub.i]x, [T.sub.j]y, [T.sub.k]z, [[phi].sub.i,j,k](t)) [greater than or equal to] M (x, y, z, t) for all t > 0 where [[phi].sub.i, j, k]: [0, [infinity]) [right arrow] [0, [infinity]) is a function such that [[phi].sub.i, j, k](t) < [phi](t) for all t >0, i, j, k = 1,2....the function [phi](t) :[0, [infinity]) [0, [infinity]) is strictly increasing and satisfies condition ([phi]). Also [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], for all t > 0. Then the sequence {[T.sub.n]} has a unique common fixed point.

PROOF:

Suppose [x.sub.0] be an arbitrary point in X.

Define [x.sub.1] = [T.sub.1][x.sub.0] [x.sub.2] = [T.sub.2][x.sub.1] [x.sub.3] = [T.sub.3][x.sub.2]

[x.sub.n] = [T.sub.n][x.sub.n-1]

Then for all t > 0,

M ([x.sub.2], [x.sub.1], [x.sub.1], [phi](t)) [greater than or equal to] M ([x.sub.2], [x.sub.1], [x.sub.1], [[phi].sub.2,1,1](t)) = M ([T.sub.2] [x.sub.1], [T.sub.1] [x.sub.0], [T.sub.1] [x.sub.0], [[phi].sub.2,1,1](t)) [greater than or equal to] M ([x.sub.1], [x.sub.0], [x.sub.1], t)

next we consider

M ([x.sub.3], [x.sub.2], [x.sub.2], [[phi].sup.2](t)) [greater than or equal to] M ([x.sub.3], [x.sub.2], [x.sub.2], [[phi].sub.3,2,2][phi](t)) = M ([T.sub.3] [x.sub.2], [T.sub.2] [x.sub.1], [T.sub.2] [x.sub.1], [[phi].sub.3,2,2][phi](t)) [greater than or equal to] M ([x.sub.2], [x.sub.1], [x.sub.1], [phi] (t)) [greater than or equal to] M ([x.sub.1], [x.sub.0], [x.sub.0], t)

Hence By induction, we obtain

M ([x.sub.n+1], [x.sub.n], [x.sub.n], [[phi].sup.n](t)) [greater than or equal to] M ([x.sub.1], [x.sub.0], [x.sub.0], t) for all n. Thus the sequence {[x.sub.n]} is a [J.sub.M]--Cauchy sequence and hence it convergence to point x [member of]X,

Now we prove that x is a unique common fixed point of [T.sub.i]. For t > 0, we have M (x, x, [T.sub.i]x, t) = [DELTA](M (x, x, [x.sub.n+1], t - [phi](t)), M ([T.sub.i] x, [x.sub.n+1], [x.sub.n+1] [phi](t))) [greater than or equal to] [DELTA] (M (x, x, [x.sub.n+1], t - [phi](t)), M ([T.sub.i] x, [T.sub.n+1][x.sub.n], [T.sub.n+1][x.sub.n], [[phi].sub.i,n+1, n+1](t)) [greater than or equal to] [DELTA] (M (x, x, [x.sub.n+1], t - [[phi](t)), M (x, [x.sub.n], [x.sub.n], t)) [right arrow] [DELTA] (1,1) = 1 as n [right arrow] [infinity]

There fore [T.sub.i]x = x. Similarly we can prove that [T.sub.j]x = x and [T.sub.k]x = x.

UNIQUENESS:

Suppose x [not equal to] y such that [T.sub.i]y = [T.sub.j] y = [T.sub.k] y = y. Then M (x, y, y, t) [greater than or equal to] M ([T.sub.i]x, [T.sub.j]y, [T.sub.k]y, t) [greater than or equal to] M (x, y, z, [[phi].sup.-1](t)) [greater than or equal to] M (x, y, z, [[phi].sup.-2](t)) .... [greater than or equal to] M (x, y, z, [[phi].sup.-n](t)) [right arrow] 1 as n [right arrow] [infinity]

Where we have applied [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. It means that M (x, y, y, t) = 1 for all t, Thus x = y. Thus x is a unique common fixed point of the sequence {[T.sub.n]}. There fore [T.sub.i]x is also a common fixed point of the sequence {[T.sub.i]}, so [T.sub.i]x = x. Then x is a unique common fixed point of the sequence {[T.sub.n]}.

COROLLARY. 2.7:

Let {[T.sub.n]} be a sequence of mapping of a [J.sub.M]--complete generalized fuzzy metric space (X, M, [DELTA]) into itself, where [DELTA] is a continuous h-type t-norm such that for any three mapping [T.sub.i], [T.sub.j] and [T.sub.k] we have M ([T.sub.i]x, [T.sub.j]y, [T.sub.k]z, [[alpha].sub.i, j, k], t) [greater than or equal to] M (x, y, z, t) for some m, 0 < [[alpha].sub.i, j, k] < [alpha] < 1, i, j, k = 1,2, ....... x, y, z [member of] X. Then the sequence {[T.sub.n]} has a unique common fixed point.

PROOF :

Taking [phi](t) = [alpha]t and [[phi].sub.i, j, k] (t) = [[alpha].sub.i, j, k] (t) when 0< [[alpha].sub.i, j, k]<[alpha] < 1 and i, j, k = 1,2..... The result followed theorem (2.6) immediately.

REMARK. 2.4:

One can obtain theorem (2.4) from theorem (2.6) by taking [[phi].sub.i, j, k] (t) = [phi](t) for all i,j,k = 1,2, ....., t >0 and without condition (I) [phi] is bijection and (II) [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] for all t > 0.

REFERENCES

[1.] Abdolrahman Razani, 2006. Maryam Shirdaryazdi, some result on fixed points in fuzzy metric space. J. Appl. Math. & Computing 20 : 401-408.

[2.] Fang, J.X. 1992. A note on fixed point theorem of Hadzic. Fuzzy sets and systems 48 : 391-395.

[3.] George, A. and Veeramani, P. 1994. On some results in fuzzy metric spaces. Fuzzy sets and Systems 64 (1994): 395-399.

[4.] Grabiec, M.1988. Fixed points in fizzy metric spaces. Fuzzy Sets and Systems 27 :385-389.

[5.] Hadzic, O. 1995. Fixed point theory in probabilistic metric spaces, University of Novi Sad, Institute of Mathematics, Novi Sad, 1995.

[6.] Hadzic, O. and Pap, E. 2001. Fixed point theory in the probabilistic metric space, Mathematics and its applications, 536 Kluwer Academic Publishers, Dordrecht 2001.

[7.] Kramosil, O. and Michalek, J. 1975. Fuzzy metric and statistical metric spaces. Kybernetica 11 (1975):326-334.

[8.] Sedghi, S. and Shobe, N. 2006. Fixed point theorem in M--fuzzy metric spaces with property(E). Advances in Fuzzy Mathematics. Vol. 1(No.1):55-65.

[9.] Sedghi, S. and Shobe, N. 2007. A Common Fixed point theorem in two M--fuzzy metric spaces. Commun. Korean Math. Soc. 22(No.4):513-526.

[10.] Schweizer, B. and Sklar, A. 1960. Statistical metic spaces. Pacfic J. Math. 10 : 314-334.

[11.] Schweizer, B., Sklar, A. and Thorp, E. 1960. The metrization of statistical metric spaces. Pacific J. Math. 10: 673-675.

[12.] Sehgal, V.M. and Bharucha-Reid, A.T. 1972. Fixed point of contraction mapping on probabilistic metric space. Math. system Theory. 6:97-100.

[13.] Shyamal, A.K. and Pal, M.2004. Two new operators on fuzzy matrixes, J. Appl. Math.& Computing. 15 : 91-107.

[14.] Song, G. 2003. Comments on 'A common fixed point theorem in a fuzzy metric space'. Fuzzy sets and systems. 135 : 409-413.

[15.] Vasuki, R. 1998. A common fixed point theorem in a fuzzy metric space. Fuzzy sets and systems. 97 :395-397.

[16.] Vasuki, R. and Veeramani, P. 2003. Fixed point theorem and Cauchy sequence in fuzzy metric space. Fuzzy sets and systems. 135 : 415-417.

[17.] Xia, Z.Q. and Guo, F.F. 2004. Fuzzy metric space. J. Appl. Math & Computing 16 :371- 381.

[18.] Zadeh, L.A. 1965. Fuzzy Set. Information and control. 8 : 338-353.

T. Veera Pandi, M. Jeyaraman * and J. Paul Raj Josph **

Reader in Mathematics, P.M.T. College, Melaneelithanallur--627 953, India.

AMS Mathematics subject classification: 47H10, 54H25.

* Department of Mathematics, Mohamed Sathak Engg. College, Kilakarai--623 806, India. India. E.Mail : vrpnd@yahoo.co.in, E.Mail: snegha20012002@yahoo.co.in

** Department of Mathematics, Manomaniam Sundaranar University, Tirunelveli, India.

In [14] Song has mentioned that Grabiec [4] proved a fuzzy Banach contraction theorem and Vasuki [15] generalized the results of Grabiec for common fixed point theorem for a sequence of mappings in the fuzzy metric space. Song [14] has pointed out there are some errors in the papers of Vasuki [15] and Grabiec [4], because definition of Cauchy sequence given by Grabiec [4] is weaker than the one proposed by Song [14] and hence conditions of Vasuki's theorem and its corollary. We present more general conditions.

DEFINITION 1.1:

A mapping T: [0, 1] x [0, 1] [right arrow] [0, 1] is called a triangular norm (shortly t-norm) if it satisfies the following conditions.

(i) T(a, 1) = a for every a [member of] [0, 1]

(ii) T(a, b) = T(b, a) for every a, b [member of] [0, 1]

(iii) T(a, c) [greater than or equal to] T(b, d) for a [greater than or equal to] b; c [greater than or equal to] d

(iv) T(a, T(b, c,)) = T(T (a, b), c) for all a,b,c [member of] [0,1]

EXAMPLE 1.2:

The minimum t- norm, [T.sub.M], is defined by [T.sub.M](x, y) = min (x, y), the product t- norm [T.sub.P], is defined by [T.sub.P](x, y) = xy, the Lukasiewicz t- norm, [T.sub.L] is defined by [T.sub.L](x, y) = max {x +y-1, 0} and finally the weakest t- norm the drastic product [T.sub.D] is defined by

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

DEFINITION. 1.3:

The triple (X, M, [DELTA]) is a M-fuzzy metric space if X is an arbitrary set, [DELTA] is a continuous t--norm and M is a fuzzy set in [X.sup.3] x [0,[infinity]) satisfying the following conditions for each x, y, z, a [member of] X and t, s >0

(1) M(x, y, z, t) > 0, for all x, y, z [member of] X

(2) M (x, y, z, t) = 1 iff x = y = z, for all t > 0,

(3) M (x, y, z, t) = M (p{x, y, z}, t), where p is a permutation function,

(4) [DELTA](M (x, y, a, t), M (a, z, z, s)) [less than or equal to] M (x, y, z, t + s),

(5) M (x, y, z, .) : [0, [infinity]) [right arrow] [0,1] is continuous.

LEMMA. 1.1: [8]

Let (X, M, *) be a M-fuzzy metric space. Then M is continuous function on [X.sup.3] x [0,[infinity]).

LEMMA. 1.2:

M (x, y, z, .) is non decreasing for all x, y, z [member of] X.

Proof :

Let M (x, y, z, t + s) [greater than or equal to] [DELTA]{M (x, y, w, t), M (w, z, z, s)} Put w = z on both sides We get M (x, y, z, t + s) [greater than or equal to] [DELTA]{M (x, y, z, t), M (z, z, z, s)}. = M (x, y, z, t) for all t > 0

Hence M (x, y, z, t + s) [greater than or equal to] M (x, y, z, t) for all t > 0, and x, y, z [member of] X, for any s > 0. There fore M--monotonically increasing sequence.

In order to prove a M-fuzzy metric space is a Hausdorff topological space. We needed the following definitions and lemmas.

LEMMA. 1.3:

Let (X, M, *) be a M-fuzzy metric space. Then for every t >0 and for every x, y [member of] X we have M (x, x, y, t) = M (x, y, y, t).

Proof :

For each [member of] > 0 by triangular inequality We have

(i) M (x, x, y, [member of] + t) = M (x, x, x, [member of]) * M (x, y, y, t) = M (x, y, y, t)

(ii) M (y, y, x, [member of] + t) = M (y, y, y, [member of]) * M (y, x, x, t) = M (y, x, x, t).

By taking limits of (i) and (ii) when [member of] [right arrow] 0, we obtain M (x, x, y, t) = M (x, y, y, t).

DEFINITION. 1.4:

Let (X, M, *) be a M-fuzzy metric space, For t >0, the open ball [B.sub.M] (x, r, t) with center x [member of] X and radius o < r <1 is defined by [B.sub.M] (x, r, t) = {y [member of] X : M (x, y, y, t) > 1 - r}. The family {BM (x, r, t): x [member of] X, 0 < r < 1, t > 0} is a neighborhood's system for a Hausdorff topology on X, which is called the topology induced by the generalized fuzzy metric M which is denoted by [J.sub.M] topology.

THEOREM. 1.4:

Every M-fuzzy metric space is Hasusdorff.

Proof:

Let (X, M, [DELTA]) be the given M-fuzzy metric space. Let x, y be two distinct points of X.

Then 0 < M (x, y, y, t) < 1. Put M (x, y, y, t) = r for some r [member of] (0, 1). For each r with r < [r.sub.0] < 1, there exists [r.sub.1] such that [DELTA]([r.sub.1], [r.sub.1]) = [r.sub.0]. Now consider the open balls [B.sub.M] (x, 1 - [r.sbu.1], t/2) and [B.sub.M] (y, 1 - [rs.ub.1], t/2). Clearly, [B.sub.M] (x, 1 - [r.sub.1], t/2) [intersection] [B.sub.M] (y, 1 - [r.sub.1], t/2) = [empty set]. For if there exists z [member of] [B.sub.M] (x, 1 - [r.sub.1], t/2) [intersection] [B.sub.M] (y, 1 - [r.sub.1], t/2), then r = M (x, y, y, t) = M (x, x, y, t) [greater than or equal to] [DELTA](M (x, x, z, t/2), M (z, y, y, t/2)) = [DELTA](M (x, z, z, t/2), M (y, z, z, t/2)) = [DELTA]([r.sub.1], [r.sub.1]) = [r.sub.0] > r.

which is contradiction. Hence (X, M, [DELTA]) is Hausdorff.

THEOREM. 1.5:

Let (X, M, [DELTA]) be a generalized fuzzy metric space [J.sub.M] be the topology induced by fuzzy metric M. Then for a sequence {[x.sub.n]} in X, [x.sub.n] [??] x iff M ([x.sub.n], x, x, t) [right arrow] 1 as n [right arrow] for all t > 0.

DEFINITION. 1.5:

A sequence {[x.sub.n]} in a generalized fuzzy metric space (X, M, [DELTA]) is [J.sub.M]--Cauchy iff for each t [member of] (0, 1), t > 0 there exists [n.sub.0] [member of] N, such that M ([x.sub.n], [x.sub.n], [x.sub.m], t) > 1-[member of] for all n > [n.sub.0] and p, q > 0.

A generalized fuzzy metric space in which every [J.sub.M]--Cauchy sequence is [J.sbu.M]--convergent and it is called a [J.sbu.M]--complete fuzzy metric space.

DEFINITION. 1.6:

A mapping F: R [right arrow] [R.sup.+] is called a distribution function if it is nondecreasing and left continuous and it has the following properties.

i) [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

ii) [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

Let [D.sup.+] be the set of all distribution function F such that F(0) = 0 (F is a nondecreasing, left continuous mapping from R into [0, 1] such that F(x) = 1.

DEFINITION. 1.7:

A generalized probabilistic metric space (briefly GPM--space) is an ordered pair (S, F) where S is a non empty set and F: S x S x S [right arrow] [D.sup.+] F(p, q, r) is denoted by [F.sub.p,q,r] for every (p, q, r) [member of] S x S x S) satisfies the following conditions.

i) [F.sub.u,v,w] (x) = 1 for all x > 0 iff u = v = w

ii) [F.sub.u,v,w](x) = [F.sub.v,w,u] (x) = [F.sub.w,u,v] (x) for all u, v, w [member of] S and x[member of]R

iii) If [F.sub.u,v,a](x) = 1 and [F.sub.a,w,w](y) = 1 then [F.sub.u,v,w](x + y) = 1 for u, v, w [member of]S and x, y, z [member of][R.sup.+]

DEFINITION. 1.8:

A generalized probabilistic metric space is a triple (S, F, [DELTA]) where (S, F) is a GPM--space, [DELTA] is a t-norm and the following inequality holds:

[F.sub.u,v,w](x + y) [greater than or equal to] [DELTA] ([F.sub.u,v,a] (x), [F.sub.a,w,w] (y)) for u, v, w, a [member of]S and every x > 0 and y > 0.

then (S, F, [DELTA]) is a Hausdroff topological space in the topology [tau] induced by the family of ([member of], [lambda])--neighborhoods {Up ([member of], [lambda]) : p [member of] S, [member of] > 0, [lambda] >0}, where Up ([member of], [lambda])= {u [member of] S : [F.sub.u,u,p] ([member of]) > 1-[lambda]}.

DEFINITION. 1.9 :

Let (X, F, [DELTA]) be a Probabilistic Metric (PM-) space with [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

(i) A sequence {[u.sub.n]} in X is said to be [tau]-convergent to u [member of] X (we write un [right arrow] u) if for any given [member of] > 0, [lambda] > 0, there exists a positive integer N = N ([member of], [lambda]) such that [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] whenever n [greater than or equal to] N.

(ii) A sequence {[u.sub.n]} in X is called [tau]-Cauchy sequence if for any [member of] > 0 and [lambda] > 0, there exists a positive integer N = N([member of], [lambda]) such that [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] ([member of]) > 1-[lambda] whenever n, m [greater than or equal to] N.

(iii) A PM-space (S, F, [DELTA]) is said to be [tau]--complete if each [tau]--Cauchy sequence in S is [tau]-convergent to some point in S.

2. A COMMON FIXED POINT THEOREM

In this section, we present a sufficient condition which a sequence to be a Cauchy sequence in the M-fuzzy metric space (X, M, [DELTA]). In addition, we prove a common fixed point theorem. We need definition and the two next lemma.

DEFINITION. 2.1:

[DELTA] is said to be an h-type t-norm, if the family [{[[DELTA].sup.m] (t)}.sub.[infinity].sub.m=1] is equicontinuous at t =1, where [[DELTA].sup.1](t) = [DELTA](t, t,), [[DELTA].sup.2](t) = [DELTA]([[DELTA].sup.1](t), t) and [[DELTA].sup.m](t) = [DELTA]([[DELTA].sup.m-1](t), t) m = 2,3 ...

Obviously, [DELTA] is an h-type t-norm iff for any [lambda] [member of] (0, 1), there exists [delta] ([lambda]) [member of] (0, 1) such that [[DELTA].sup.m](t) > 1-[lambda] for all m[member of] N, when t > [delta] ([lambda]).

EXAMPLE. 2.2 :

t-norm minimum is a h-type t-norm.

LEMMA. 2.1:

Let the function [phi](t) satisfy the following conditions: ([phi])[phi](t): [0,[infinity]) [right arrow] [0, [infinity]) is nondecreasing and [[infinity].summation over (n=1)] [[phi].sup.n](t) < [infinity] for all t > 0, when [[phi].sup.n](t) denotes the nth iterative functions of [phi](t), then [phi](t) < t for all t > 0.

LEMMA. 2.2:

Let (S, F, [DELTA]) be a PM-space with an h-type t-norm [DELTA]. Suppose {[x.sub.n]} [subset] X such that [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] for all t > 0, where the function [phi](t) satisfies the condition ([phi]). Then {[x.sub.n]} is a [tau]--Cauchy.

REMARK. 2.3:

If (X, M, [DELTA]) be a M-fuzzy metric space, with a continuous t-norm [DELTA] such that [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] for all x, y, z [member of] X (2.3.1)

Then [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] and therefore [tau]-topology for [F.sub.x,y,z] (t) = M(x, y, z, t) is exactly topology induced by M when [F.sub.x,y,z] (t) = M (x, y, z, t) for all x, y, z [member of] X and t [greater than or equal to] 0. Thus, if(X, M, [DELTA]) is a

M-fuzzy metric space with continuous t-norm [DELTA] which satisfies (2.3.1) then {[x.sub.n]} is a [J.sub.M] -Cauchy if {[x.sub.n]} be a [tau]-Cauchy when ([F.sub.x,y,z], (t) = M (x, y, z (t)) for all x, y, z [member of] X and t [greater than or equal to] 0.

COROLLORY. 2.3:

Let(X, M, [DELTA]) be generalized fuzzy metric space satisfying (2.3.1) with a continuous h-type t-norm [DELTA]. Suppose {[x.sub.n]} [subset] X such that, M ([x.sub.n], [x.sub.n], [x.sub.n+1], [[phi].sup.n](t)) [greater than or equal to] M ([x.sub.0], [x.sub.0], [x.sub.1], t) for all t >0, where the function [phi](t) satisfies the condition [phi]. Then {[x.sub.n]} is a Cauchy ([J.sbu.M]-Cauchy) sequence.

PROOF:

Let [F.sub.x,y,z] (t) = M (x, y, z, t) for all x, y, z [member of] X and t [greater than or equal to] 0. Then (X, F, [DELTA]) is a PM-space with [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. Now, by applying lemma (2.2) and remark (2.3), the result follows immediately.

THEOREM. 2.4. Let (X, M, [DELTA]) be a complete fuzzy M-metric space. where [DELTA] is a continuous h- type t-norm and T be a selfmap of X such that M (Tx, Ty, Tz, [phi](t)) [greater than or equal to] M (x, y, z, t) for all x, y, z [member of] X and t > 0, where the function [phi](t) satisfies the condition ([phi]). Then T has a fixed point.

PROOF: Let [x.sub.0] [member of]X and [x.sub.n] = [T.sup.n] [x.sub.0], (n [member of] N). Now we have for t > 0 M ([x.sub.n+1], [x.sub.n], [x.sub.n], [[phi].sup.n](t)) = M ([T.sup.n+1] [x.sub.0], [T.sup.n] [x.sub.0], [T.sup.n] [x.sub.0], [[phi].sub.n](t)) [greater than or equal to] M ([T.sup.n] [x.sub.0], [T.sup.n-1] [x.sub.0], [T.sup.n-1] [x.sub.0], [[phi].sup.n-1](t)) [greater than or equal to] M ([T.sup.n-1] [x.sub.0], [T.sup.n-2] [x.sub.0], [T.sup.n-2] [x.sub.0], [[phi].sup.n-2](t)) [greater than or equal to] ... [greater than or equal to] M (T [x.sub.0], [x.sub.0], [x.sub.0], t) = M ([x.sub.1], [x.sub.0], [x.sub.0], t) for all n[member of]N.

Thus corollary (2.3) implies that {[x.sub.n]}is a Cauchy ([J.sub.M]-Cauchy) sequence, hence {[x.sub.n]} is converging to point [x.sub.0] in X.

Since M is continuous and [phi](t) < t we have M (x, x, Tx, t) [greater than or equal to] [DELTA] (M (x, x, [x.sub.n+1], t - [phi](t)), M ([T.sub.x], [x.sub.n+1], [x.sub.n+1] [phi](t))) [greater than or equal to] [DELTA] (M (x, x, [x.sub.n+1], t - [phi](t)), M (x, [x.sub.n], [x.sub.n], t)) [greater than or equal to] [DELTA] (M (x, x, [x.sub.n+1], t - [phi](t)), M (x, x, [x.sub.n], t)) [right arrow] (1,1) = 1 as n [right arrow] [infinity]

There fore [T.sub.x] = x.

THEOREM. 2.5:

(M-Fuzzy Banach Contraction theorem) Let (X, M, [DELTA]) be a [J.sub.M]--complete fuzzy metric space. Where [DELTA] is a continuous h- type t- norm. Suppose T is a self map of X such that M (Tx, Tx, Ty, kt) [greater than or equal to] M (x, y, z, t) for all x, y, z [member of] X and t > 0, where 0 [less than or equal to] k <1, Then T has a unique fixed point.

PROOF:

Let [phi](t) = kt, 0 = k < 1. Theorem (2.4) implies that T has a fixed point, Now we prove that fixed point is unique. Let y be another fixed point of T. Then Ty = y. M (x, y, y, [phi](t)) = M (Tx, Ty, Ty, [phi](t)) [greater than or equal to] M (x, y, y, t) put [phi](t) = kt, 0 [less than or equal to] k < 1. M (x, y, y, kt) [greater than or equal to] M (x, y, y, t) [greater than or equal to] M (x, y, y, t/[k.sup.n]) [right arrow] 1 as n [right arrow] [infinity] M (x, y, y, [phi](t)) = 1. There fore x = y.

THEOREM: 2.6:

Let {[T.sub.n]} be a sequence of mapping of a [Js.ub.M]--complete fuzzy metric space (X, M, [DELTA]) into itself, where [DELTA] is a continuous h--type t-norm such that [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] for all x, y, z [member of] X and for any three mappings [T.sub.i], [T.sub.j] and [T.sub.k] and any x, y, z [member of] X. we have M ([T.sub.i]x, [T.sub.j]y, [T.sub.k]z, [[phi].sub.i,j,k](t)) [greater than or equal to] M (x, y, z, t) for all t > 0 where [[phi].sub.i, j, k]: [0, [infinity]) [right arrow] [0, [infinity]) is a function such that [[phi].sub.i, j, k](t) < [phi](t) for all t >0, i, j, k = 1,2....the function [phi](t) :[0, [infinity]) [0, [infinity]) is strictly increasing and satisfies condition ([phi]). Also [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], for all t > 0. Then the sequence {[T.sub.n]} has a unique common fixed point.

PROOF:

Suppose [x.sub.0] be an arbitrary point in X.

Define [x.sub.1] = [T.sub.1][x.sub.0] [x.sub.2] = [T.sub.2][x.sub.1] [x.sub.3] = [T.sub.3][x.sub.2]

[x.sub.n] = [T.sub.n][x.sub.n-1]

Then for all t > 0,

M ([x.sub.2], [x.sub.1], [x.sub.1], [phi](t)) [greater than or equal to] M ([x.sub.2], [x.sub.1], [x.sub.1], [[phi].sub.2,1,1](t)) = M ([T.sub.2] [x.sub.1], [T.sub.1] [x.sub.0], [T.sub.1] [x.sub.0], [[phi].sub.2,1,1](t)) [greater than or equal to] M ([x.sub.1], [x.sub.0], [x.sub.1], t)

next we consider

M ([x.sub.3], [x.sub.2], [x.sub.2], [[phi].sup.2](t)) [greater than or equal to] M ([x.sub.3], [x.sub.2], [x.sub.2], [[phi].sub.3,2,2][phi](t)) = M ([T.sub.3] [x.sub.2], [T.sub.2] [x.sub.1], [T.sub.2] [x.sub.1], [[phi].sub.3,2,2][phi](t)) [greater than or equal to] M ([x.sub.2], [x.sub.1], [x.sub.1], [phi] (t)) [greater than or equal to] M ([x.sub.1], [x.sub.0], [x.sub.0], t)

Hence By induction, we obtain

M ([x.sub.n+1], [x.sub.n], [x.sub.n], [[phi].sup.n](t)) [greater than or equal to] M ([x.sub.1], [x.sub.0], [x.sub.0], t) for all n. Thus the sequence {[x.sub.n]} is a [J.sub.M]--Cauchy sequence and hence it convergence to point x [member of]X,

Now we prove that x is a unique common fixed point of [T.sub.i]. For t > 0, we have M (x, x, [T.sub.i]x, t) = [DELTA](M (x, x, [x.sub.n+1], t - [phi](t)), M ([T.sub.i] x, [x.sub.n+1], [x.sub.n+1] [phi](t))) [greater than or equal to] [DELTA] (M (x, x, [x.sub.n+1], t - [phi](t)), M ([T.sub.i] x, [T.sub.n+1][x.sub.n], [T.sub.n+1][x.sub.n], [[phi].sub.i,n+1, n+1](t)) [greater than or equal to] [DELTA] (M (x, x, [x.sub.n+1], t - [[phi](t)), M (x, [x.sub.n], [x.sub.n], t)) [right arrow] [DELTA] (1,1) = 1 as n [right arrow] [infinity]

There fore [T.sub.i]x = x. Similarly we can prove that [T.sub.j]x = x and [T.sub.k]x = x.

UNIQUENESS:

Suppose x [not equal to] y such that [T.sub.i]y = [T.sub.j] y = [T.sub.k] y = y. Then M (x, y, y, t) [greater than or equal to] M ([T.sub.i]x, [T.sub.j]y, [T.sub.k]y, t) [greater than or equal to] M (x, y, z, [[phi].sup.-1](t)) [greater than or equal to] M (x, y, z, [[phi].sup.-2](t)) .... [greater than or equal to] M (x, y, z, [[phi].sup.-n](t)) [right arrow] 1 as n [right arrow] [infinity]

Where we have applied [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. It means that M (x, y, y, t) = 1 for all t, Thus x = y. Thus x is a unique common fixed point of the sequence {[T.sub.n]}. There fore [T.sub.i]x is also a common fixed point of the sequence {[T.sub.i]}, so [T.sub.i]x = x. Then x is a unique common fixed point of the sequence {[T.sub.n]}.

COROLLARY. 2.7:

Let {[T.sub.n]} be a sequence of mapping of a [J.sub.M]--complete generalized fuzzy metric space (X, M, [DELTA]) into itself, where [DELTA] is a continuous h-type t-norm such that for any three mapping [T.sub.i], [T.sub.j] and [T.sub.k] we have M ([T.sub.i]x, [T.sub.j]y, [T.sub.k]z, [[alpha].sub.i, j, k], t) [greater than or equal to] M (x, y, z, t) for some m, 0 < [[alpha].sub.i, j, k] < [alpha] < 1, i, j, k = 1,2, ....... x, y, z [member of] X. Then the sequence {[T.sub.n]} has a unique common fixed point.

PROOF :

Taking [phi](t) = [alpha]t and [[phi].sub.i, j, k] (t) = [[alpha].sub.i, j, k] (t) when 0< [[alpha].sub.i, j, k]<[alpha] < 1 and i, j, k = 1,2..... The result followed theorem (2.6) immediately.

REMARK. 2.4:

One can obtain theorem (2.4) from theorem (2.6) by taking [[phi].sub.i, j, k] (t) = [phi](t) for all i,j,k = 1,2, ....., t >0 and without condition (I) [phi] is bijection and (II) [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] for all t > 0.

REFERENCES

[1.] Abdolrahman Razani, 2006. Maryam Shirdaryazdi, some result on fixed points in fuzzy metric space. J. Appl. Math. & Computing 20 : 401-408.

[2.] Fang, J.X. 1992. A note on fixed point theorem of Hadzic. Fuzzy sets and systems 48 : 391-395.

[3.] George, A. and Veeramani, P. 1994. On some results in fuzzy metric spaces. Fuzzy sets and Systems 64 (1994): 395-399.

[4.] Grabiec, M.1988. Fixed points in fizzy metric spaces. Fuzzy Sets and Systems 27 :385-389.

[5.] Hadzic, O. 1995. Fixed point theory in probabilistic metric spaces, University of Novi Sad, Institute of Mathematics, Novi Sad, 1995.

[6.] Hadzic, O. and Pap, E. 2001. Fixed point theory in the probabilistic metric space, Mathematics and its applications, 536 Kluwer Academic Publishers, Dordrecht 2001.

[7.] Kramosil, O. and Michalek, J. 1975. Fuzzy metric and statistical metric spaces. Kybernetica 11 (1975):326-334.

[8.] Sedghi, S. and Shobe, N. 2006. Fixed point theorem in M--fuzzy metric spaces with property(E). Advances in Fuzzy Mathematics. Vol. 1(No.1):55-65.

[9.] Sedghi, S. and Shobe, N. 2007. A Common Fixed point theorem in two M--fuzzy metric spaces. Commun. Korean Math. Soc. 22(No.4):513-526.

[10.] Schweizer, B. and Sklar, A. 1960. Statistical metic spaces. Pacfic J. Math. 10 : 314-334.

[11.] Schweizer, B., Sklar, A. and Thorp, E. 1960. The metrization of statistical metric spaces. Pacific J. Math. 10: 673-675.

[12.] Sehgal, V.M. and Bharucha-Reid, A.T. 1972. Fixed point of contraction mapping on probabilistic metric space. Math. system Theory. 6:97-100.

[13.] Shyamal, A.K. and Pal, M.2004. Two new operators on fuzzy matrixes, J. Appl. Math.& Computing. 15 : 91-107.

[14.] Song, G. 2003. Comments on 'A common fixed point theorem in a fuzzy metric space'. Fuzzy sets and systems. 135 : 409-413.

[15.] Vasuki, R. 1998. A common fixed point theorem in a fuzzy metric space. Fuzzy sets and systems. 97 :395-397.

[16.] Vasuki, R. and Veeramani, P. 2003. Fixed point theorem and Cauchy sequence in fuzzy metric space. Fuzzy sets and systems. 135 : 415-417.

[17.] Xia, Z.Q. and Guo, F.F. 2004. Fuzzy metric space. J. Appl. Math & Computing 16 :371- 381.

[18.] Zadeh, L.A. 1965. Fuzzy Set. Information and control. 8 : 338-353.

T. Veera Pandi, M. Jeyaraman * and J. Paul Raj Josph **

Reader in Mathematics, P.M.T. College, Melaneelithanallur--627 953, India.

AMS Mathematics subject classification: 47H10, 54H25.

* Department of Mathematics, Mohamed Sathak Engg. College, Kilakarai--623 806, India. India. E.Mail : vrpnd@yahoo.co.in, E.Mail: snegha20012002@yahoo.co.in

** Department of Mathematics, Manomaniam Sundaranar University, Tirunelveli, India.

Printer friendly Cite/link Email Feedback | |

Author: | Pandi, T. Veera; Jeyaraman, M.; Josph, J. Paul Raj |
---|---|

Publication: | Bulletin of Pure & Applied Sciences-Mathematics |

Article Type: | Report |

Geographic Code: | 9INDI |

Date: | Jan 1, 2008 |

Words: | 4226 |

Previous Article: | Alternatives to Pearson's and Spearman's correlation coefficients. |

Next Article: | N job 2 machine flow shop scheduling problem with break down of machines, transportation time and equivalent job block. |

Topics: |

## Reader Opinion