Fixed point theorems due to Lal et al. (1996) and Jungck (1988) are used to derive two common fixed point theorems involving six mappings in complete and compact metric spaces, respectively. for all x, y ∈ X where p ≥ 0 and φ ∈ Ψ . Then A, S, I, and J have a unique common fixed point provided one of these four functions is continuous.Remark 2. Theorem 1 was originally proved for "weakly compatible mappings of type (A)" (cf.[11]) but for a more natural setting we have adopted it for commuting mappings.In this paper, as an application of Theorem 1, we derive a common fixed point theorem for six mappings which runs as follows. Proof. We begin by observing that continuity of AB (resp., ST ) does not demand the continuities of the component maps A or B or both (resp., S or T or both). Since the pairs (A, B), (A, I), (B, I) (S, T ), (S, J), and (T , J) are commuting which force the pairs (AB, I) and (ST , J) to be commuting. After observing this we note that all the conditions of Theorem 1 for four mappings AB, ST , I, and J are satisfied, hence (in view of Theorem 1) AB, ST , I, and J have a unique common fixed point z.
Theorem 3. Let A, B, S, T , I, and J be self-mappings of a complete metric space (X, d) such that the pairs (A, B), (A, I)(B, I), (S, T ), (S, J), and (T , J) are commuting and AB(X) ⊂ J(X), ST (X) ⊂ I(X) satisfying the inequalityHere one can note that z also remains the unique common fixed point of the pairs (AB, I) and (ST , J) separately. Now it remains to show that z is also a common fixed point of A, B, S, T , I, and J. For this let z be the unique common fixed point of the pair (AB, I), thenwhich shows that Az and Bz are other fixed points of the pair (AB, I) yielding therebyin view of the uniqueness of common fixed point of the pair (AB, I). Similarly, it can be shown that z is also the unique common fixed point of S, T , ST , and J. This completes the proof. Next we wish to indicate a similar result in compact metric spaces. For this purpose one can adopt a general fixed point theorem for commuting mappings in compact metric spaces due to Jungck [8], which was originally proved for compatible mappings (a notion due to Jungck [7]).
Theorem 5 (see [8]). Let A, S, I, and J be self-mappings of a compact metric space (X, d) with A(X) ⊂ J(X) and S(X) ⊂ I(X). If the pairs (A, I) and (S, J) are commuting andfor all x, y ∈ X where If the pairs (A, B), (A, I)(B, I), (S, T ), (S, J), and (T , J) are commuting andfor all x, y ∈ X where Proof. The proof is essentially the same as that of Theorem 3, hence we omit the proof.Remark 7. By choosing A, B, S, T , I, and J suitably one can derive a multitude of known theorems.Acknowledgement. The author is grateful to both the learned referees for their pertinent remarks which has significantly improved the contents of an earlier version of this paper.