A contraction theorem in fuzzy metric spaces (Q2495076)

For a fuzzy metric space as defined by George and Veeramani, the author defines a map \(f: (X,M,*)\to(X,M,*)\) to be a fuzzy contractive mapping if \({1\over M(f(x), f(y),t)}- 1<({1\over M(x,y,t)}- 1)\) for each \(x\neq y\in X\) and \(t> 0\). The author proves the following theorem: Let \((X, M,*)\) be a fuzzy metric space, and \(A\) a fuzzy contractive mapping of \(X\) into itself such that there exists a point \(x\in X\) whose sequences of iterates \((A^n(x))\) contains a convergent subsequence \((A^{n_i}(x))\); then \(\xi=\lim_{i\to \infty} A^n(x)\in X\) is a unique fixed point. Subsequently, the author defines the concept of an eventually fixed point and \(\varepsilon\)-contractive mapping; finally, it is proved that for a compact fuzzy metric space \((X,M, *)\) and \(f\) a fuzzy \(\varepsilon\)-contractive self-mapping of \(X\), there exists at least one eventually fixed point.