Research

# KKM and KY fan theorems in modular function spaces

Mohamed Amine Khamsi1*, Abdul Latif2 and Hamid Al-Sulami2

Author Affiliations

1 Department of Mathematical Sciences, The University of Texas at El Paso, El Paso, TX 79968, USA

2 Department of Mathematics, King Abdul Aziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia

For all author emails, please log on.

Fixed Point Theory and Applications 2011, 2011:57  doi:10.1186/1687-1812-2011-57

 Received: 16 March 2011 Accepted: 23 September 2011 Published: 23 September 2011

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

### Abstract

In modular function spaces, we introduce Knaster-Kuratowski-Mazurkiewicz mappings (in short KKM-mappings) and prove an analogue to Ky Fan s fixed point theorem.

2010 Mathematics Subject Classification: Primary 46B20, 47H09; Secondary 47H10.

##### Keywords:
fixed point; KKM mapping; Ky Fan's theorem; modular function space

### 1. Introduction

The purpose of this paper is to give outlines of the Knaster-Kuratowski-Mazurkiewicz theory for mappings defined on some subsets of modular function spaces which are natural generalization of both function and sequence variants of many important, from applications perspective, spaces like Lebesgue, Orlicz, Musielak-Orlicz, Lorentz, Orlicz-Lorentz, Calderon-Lozanovskii spaces and many others. This paper operates within the framework of convex function modulars.

The importance of applications of nonexpansive mappings in modular function spaces lies in the richness of structure of modular function spaces, that is, besides being Banach spaces (or F-spaces in a more general setting)--are equipped with modular equivalents of norm or metric notions, and also are equipped with almost everywhere convergence and convergence in submeasure. In many cases, particularly in applications to integral operators, approximation and fixed point results, modular type conditions are much more natural as modular type assumptions can be more easily verified than their metric or norm counterparts. There are also important results that can be proved only using the tools of modular function spaces. From this perspective, the fixed point theory in modular function spaces should be considered as complementary to the fixed point theory in normed spaces and in metric spaces.

The theory of contractions and nonexpansive mappings defined on convex subsets of Banach spaces is very well developed (see e.g. [1-5]) and generalized to other metric spaces (see e.g. [6-8]) and modular function spaces (see e.g. [9-11]). The corresponding fixed point results were then extended to larger classes of mappings like asymptotic mappings [12,13], pointwise contractions [14] and asymptotic pointwise contractions and nonexpansive mappings [15-18].

As noted in [18], questions are sometimes asked whether the theory of modular function spaces provides general methods for the consideration of fixed point properties; the situation here is the same as it is in the Banach setting.

In this paper, we introduce the concept of Knaster-Kuratowski-Mazurkiewicz mappings (in short KKM-mappings) in modular function spaces. Then, we prove an analogue to Ky Fans fixed point theorem which can be seen as an extension to Brouwer's and Schauders fixed point theorems. Most of the results proved here are similar to the extension obtained in hyperconvex metric spaces [19]. Reader may also consult [20,21].

### 2. Preliminaries

Let Ω be a nonempty set and Σ be a nontrivial σ-algebra of subsets of Ω. Let be a δ-ring of subsets of Ω, such that for any and A ∈ Σ. Let us assume that there exists an increasing sequence of sets such that Ω = ∪Kn. By , we denote the linear space of all simple functions with supports from . By , we will denote the space of all extended measurable functions, i.e. all functions f : Ω → [-∞, ∞] such that there exists a sequence , |gn| ≤ |f| and gn(ω) → f(ω) for all ω ∈ Ω. By 1A, we denote the characteristic function of the set A.

Definition 2.1. Let be a notrivial, convex and even function. We say that ρ is a regular convex function pseudomodular if:

(i) ρ(0) = 0;

(ii) ρ is monotone, i.e. |f(ω)| ≤ |g(ω)| for all ω ∈ Ω implies ρ(f) ≤ ρ(g), where ;

(iii) ρ is orthogonally subadditive, i.e. ρ(f1AB) ≤ ρ(f1A) + ρ(f1B) for any A, B ∈ Σ such that A B ≠ ∅, ;

(iv) ρ has the Fatou property, i.e. |fn(ω)| ↑ |f(ω)| for all ω ∈ Ω implies ρ(fn) ↑ ρ(f), where ;

(v) ρ is order continuous in , i.e. and |gn(ω)| ↓ 0 implies ρ(gn) ↓ 0.

As in the case of measure spaces, we say that a set A ∈ Σ is ρ-null if ρ(g1A) = 0 for every . A property holds ρ-almost everywhere if the exceptional set is ρ-null. As usual we identify any pair of measurable sets whose symmetric difference is ρ-null as well as any pair of measurable functions differing only on a ρ-null set. With this in mind, we define

(2.1)

where each is actually an equivalence class of functions equal ρ-a.e. rather than an individual function. When no confusion arises, we will write instead of .

Definition 2.2. Let ρ be a regular function pseudomodular.

(1) We say that ρ is a regular convex function semimodular if ρ(α f) = 0 for every α > 0 implies f = 0 ρ - a.e.;

(2) We say that ρ is a regular convex function modular if ρ(f) = 0 implies f = 0 ρ - a.e.;

The class of all nonzero regular convex function modulars defined on Ω will be denoted by ℜ.

Let us denote ρ(f, E) = ρ(f1E) for , E ∈ Σ. It is easy to prove that ρ(f, E) is a function pseudomodular in the sense of Def. 2.1.1 in [22] (more precisely, it is a function pseudomodular with the Fatou property). Therefore, we can use all results of the standard theory of modular function spaces as per the framework defined by Kozlowski in [22-24]; see also Musielak [25] for the basics of the general modular theory.

Remark 2.1. We limit ourselves to convex function modulars in this paper. However, omitting convexity in Definition 2.1 or replacing it by s-convexity would lead to the definition of nonconvex or s-convex regular function pseudomodulars, semimodulars and modulars as in [22] .

Definition 2.3. [22-24]Let ρ be a convex function modular.

(a) A modular function space is the vector space Lρ(Ω, Σ), or briefly Lρ, defined by

(b) The following formula defines a norm in Lρ (frequently called Luxemburg norm):

In the following theorem, we recall some of the properties of modular spaces that will be used later on in this paper.

Theorem 2.1. [23,24,22]Let ρ ∈ ℜ.

(1) (Lρ, ||f||ρ) is complete and the norm || · ||ρ is monotone w.r.t. the natural order in .

(2) ||fn||ρ → 0 if and only if ρ(α fn) → 0 for every α > 0.

(3) If ρ(α fn) → 0 for an α > 0, then there exists a subsequence {gn} of {fn} such that gn → 0 ρ - a.e.

(4) If {fn} converges uniformly to f on a set , then ρ(α(fn - f), E) → 0 for every α > 0.

(5) Let fn f ρ - a.e. There exists a nondecreasing sequence of sets such that Hk ↑ Ω and {fn} converges uniformly to f on every Hk (Egoroff Theorem).

(6) ρ(f) ≤ lim inf ρ(fn) whenever fn f ρ - a.e. (Note: this property is equivalent to the Fatou Property).

(7) Defining and , we have:

(a) ,

(b) Eρ has the Lebesgue property, i.e. ρ(α f, Dk) → 0 for α > 0, f Eρ and Dk ↓ ∅.

(c) Eρ is the closure of (in the sense of || · ||ρ).

The following definition plays an important role in the theory of modular function spaces.

Definition 2.4. Let ρ ∈ ℜ. We say that ρ has the Δ2-property if as k → ∞ whenever and {Dk} ⊂ Σ which decreases to and as k → ∞.

Theorem 2.2. Let ρ ∈ ℜ. The following conditions are equivalent:

(a) ρ has Δ2-property,

(b) is a linear subspace of Lρ,

(c) ,

(d) if ρ(fn) → 0, then ρ(2fn) → 0,

(e) if ρ(α fn) → 0 for an α > 0, then ||fn||ρ → 0, i.e. the modular convergence is equivalent to the norm convergence.

The following definition is crucial throughout this paper.

Definition 2.5. Let ρ ∈ ℜ.

(a) We say that {fn} is ρ-convergent to f and write fn f (ρ) if and only if ρ(fn - f) → 0.

(b) A sequence {fn} where fn Lρ is called ρ-Cauchy if ρ(fn - fm) → 0 as n, m → ∞.

(c) A set B Lρ is called ρ-closed if for any sequence of fn B, the convergence fn f (ρ) implies that f belongs to B.

(d) A set B Lρ is called ρ-bounded if sup{ρ(f - g); f B, g B} < ∞.

(e) Let f Lρ and C Lρ. The ρ-distance between f and C is defined as

Let us note that ρ-convergence does not necessarily imply ρ-Cauchy condition. Also, fn f does not imply in general λfn λf, λ > 1. Using Theorem 2.1, it is not difficult to prove the following

Proposition 2.1. Let ρ ∈ ℜ.

(i) Lρ is ρ-complete,

(ii) ρ-balls Bρ(f, r) = {g Lρ; ρ(f - g) ≤ r} are ρ-closed.

In this work, we will need the following definition.

Definition 2.6. A subset A Lρ is called finitely ρ-closed if for every f1, f2, ..., fn Lρ, the set is ρ-closed.

Note that if A is ρ-closed, then obviously it is also finitely closed.

The following property plays in the theory of modular function spaces a role similar to the reflexivity in Banach spaces (see e.g. [10]).

Definition 2.7. We say that Lρ has property (R) if and only if every nonincreasing sequence {Cn} of nonempty, ρ-bounded, ρ-closed, convex subsets of Lρ has nonempty intersection.

A more general definition of ρ-compactness is given in the following definition.

Definition 2.8. A nonempty subset K of Lρ is said to be ρ-compact if for any family of ρ-closed subsets with , for any α1, ..., αn ∈ Γ, we have

Let us finish this section with the modular definition of nonexpansive mappings. The definition are straightforward generalizations of their norm and metric equivalents, [12,15-17].

Definition 2.9. Let ρ ∈ ℜ and let C Lρ be nonempty. A mapping T : C C is called a nonexpansive mapping if

The fixed point set of T is defined by

### 3. KKM-maps and Ky Fan theorem

Among the results equivalent to the Brouwer's fixed point theorem, the theorem of Knaster-Kuratowski-Mazurkiewicz [26] occupies a special place. Let ρ ∈ ℜ and let C Lρ be nonempty. The set of all subsets of C is denoted 2C. The notation conv(A) describes the convex hull of A, while describes the smallest ρ-closed convex subset of Lρ which contains A. Recall that a family is said to have the finite intersection property if the intersection of each finite subfamily is not empty.

Definition 3.1. Let ρ ∈ ℜ and let C Lρ be nonempty. A multivalued mapping is called a Knaster-Kuratowski-Mazurkiewicz mapping (in short KKM-mapping) if

for any f1, ..., fn C.

Now we are ready to prove the following result:

Theorem 3.1. Let ρ ∈ ℜ. Let C Lρ be nonempty and be a KKM-mapping such that for any f C, G(f) is nonempty and finitely ρ-closed. Then, the family {G(f); f C} has the finite intersection property.

Proof. Assume not, i.e. there exist f1, ..., fn C such that . Set in Lρ. Our assumptions imply that L G(fi) is ρ-closed for every i = 1, 2, ..., n. Using Theorem 2.1 (2) with α = 1, LG(fi) is closed for the Luxemburg norm ||·||ρ for any i ∈ {1, ..., n}. Thus for every f L, there exists i0 such that f does not belong to since .

Hence

because is closed. We use the function

where f K = conv{f1, ..., fn} to define the map T : K K by

Clearly, T is a continuous map. Since K is a compact convex subset of the Banach space (Lρ, ||f ||ρ), Brouwer's theorem implies the existence of a fixed point f0 K of T, i.e. T(f0) = f0. Set

Clearly,

Hence, and f0 conv({fi; i I}) as this contradicts the assumption

As an immediate consequence, we obtain the following result:

Theorem 3.2. Let ρ ∈ ℜ. Let C Lρ be nonempty and be a KKM-mapping such that for any f C, G(f) is nonempty and ρ-closed. Assume there exists f0 C such that G(f0) is ρ-compact. Then, we have

Notice that the ρ-compactness of G(f0) may be weakened, i.e. we can still reach the conclusion if one involves an auxiliary multivalued map and a suitable topology on Lρ.

Theorem 3.3. Let ρ ∈ ℜ. Let C Lρ be nonempty and a KKM-mapping such that for any f C, G(f) is nonempty and finitely ρ-closed. Assume there is a multivalued map such that G(f) ⊂ K(f) for every f C and

If there is some topology τ on Lρ such that each K(f) is τ-compact, then

Proof. The proof is obvious. □

Before we state an analogue to Ky Fan fixed point result [26], we need the following definition

Definition 3.2. Let ρ ∈ ℜ. Let C Lρ be a nonempty ρ-closed subset. Let T : C Lρ be a map. T is called ρ-continuous if {T(fn)} ρ-converges to T (f ) whenever {fn} ρ-converges to f. Also T will be called strongly ρ-continuous if T is ρ-continuous and

for any sequence {fn} ⊂ C which ρ-converges to f and for any g C.

It is not clear for what type of modular ρ, ρ-continuity implies strong ρ-continuity. The Δ2-property is enough to provide this implication. The following technical lemma is needed to prove the analogue of Ky Fan fixed point result.

Lemma 3.1. Let ρ ∈ ℜ. Let K Lρ be nonempty convex and ρ-compact. Let T : K Lρ be strongly ρ-continuous. Then, there exists f0 K such that

Proof. Consider the map defined by

Since T is strongly ρ-continuous, for any sequence {fn} ⊂ G(g) which ρ-converges to f, we have

on the basis of the Fatou property and the continuity of T. Clearly, this implies that G(g) is ρ-closed for any g K. Next, we show that G is a KKM-mapping. Assume not. Then, there exists {g1, ..., gn} ⊂ K and f conv({gi}) such that . This clearly implies

Let ε > 0 be such that ρ(gi - T(f)) ≤ ρ(f - T(f)) - ε, for i = 1, 2, ..., n. Since ρ is convex, for any g conv({gi}), we have

As f conv({gi}), so we get ρ(f - T(f)) ≤ ρ(f - T(f)) - ε. Contradiction. Therefore, G is a KKM-mapping. By the ρ-compactness of K, we deduce that G(g) is compact for any g K. Theorem 3.2 implies the existence of . Hence, ρ(f0 - T(f0)) ≤ ρ(g - T(f0)) for any g K. In particular, we have

We are now ready to state Ky Fan fixed point theorem [26] in modular function spaces.

Theorem 3.4. Let ρ ∈ ℜ. Let K Lρ be nonempty convex and ρ-compact. Let T : K Lρ be strongly ρ-continuous. Assume that for any f K, with f T(f), there exists α ∈ (0, 1) such that

Then, T has a fixed point, i.e. T(g) = g for some g K.

Proof. From the previous lemma, there exists f0 K such that

We claim that f0 is a fixed point of T. Assume not, i.e. f0 T(f0). Then, our assumption on K implies the existence of α ∈ (0, 1) such that

Let g K0. Then, ρ(g - T(f0)) ≤ (1 - α) ρ(f0 - T(f0)). This implies a contradiction to the property satisfied by f0.

Note that the condition (*) is satisfied if T(K) ⊂ K which implies the following result:

Theorem 3.5. Let ρ ∈ ℜ. Let K Lρ be nonempty convex and ρ-compact. Let T : K K be strongly ρ-continuous. Then, T has a fixed point, i.e. T(g) = g for some g K.

### Competing interests

The authors declare that they have no competing interests.

### Authors' contributions

All authors participated in the design of this work and performed equally. All authors read and approved the final manuscript.

### Acknowledgements

The authors gratefully acknowledge the financial support from the Deanship of Scientific Research (DSR) at King Abdulaziz University (KAU) represented by the Unit of Research Groups through the grant number (11/31/Gr) for the group entitled Nonlinear Analysis and Applied Mathematics. The authors thank the referees for pointing out some oversights and calling attention to some related literature.

### References

1. Browder, FE: Nonexpansive nonlinear operators in a Banach space. Proc Nat Acad Sci USA. 54, 1041–1044 (1965). PubMed Abstract | Publisher Full Text | PubMed Central Full Text

2. Gohde, D: Zum Prinzip der kontraktiven Abbildung. Math Nachr. 30, 251–258 (1965). Publisher Full Text

3. Kirk, WA: Fixed point theory for nonexpansive mappings, I and II. Lecture Notes in Math. 886, 485–505 (1981)

4. Goebel, K, Reich, S: Uniform Convexity, Hyperbolic Geometry, and Nonexpansive Mappings, Series of Monographs and Textbooks in Pure and Applied Mathematics. Dekker, New York (1984)

5. Dhompongsa, S, Kirk, WA, Sims, B: Fixed points of uniformly lipschitzian mappings. Nonlinear Anal. 65, 762–772 (2006). Publisher Full Text

6. Goebel, K, Sekowski, T, Stachura, A: Uniform convexity of the hyperbolic metric and fixed points of holomorphic mappings in the Hilbert ball. Nonlinear Anal. 4, 1011–1021 (1980). Publisher Full Text

7. Baillon, JB: Nonexpansive mappings and hyperconvex spaces. Contemp Math. 72, 11–19 (1988)

8. Khamsi, MA, Kirk, WA: An Introduction to Metric Spaces and Fixed Point Theory. Wiley, New York (2001)

9. Khamsi, MA, Kozlowski, WK, Reich, S: Fixed point theory in modular function spaces. Nonlinear Anal. 14, 935–953 (1990). Publisher Full Text

10. Khamsi, MA, Kozlowski, WM, Shutao, C: Some geometrical properties and fixed point theorems in Orlicz spaces. J Math Anal Appl. 155, 393–412 (1991). Publisher Full Text

11. Khamsi, MA: A convexity property in modular function spaces. Math Japonica. 44.2, 269–279 (1996)

12. Kirk, WA: Fixed points of asymptotic contractions. J Math Anal Appl. 277, 645–650 (2003). Publisher Full Text

13. Khamsi, MA: On asymptotically nonexpansive mappings in hyperconvex metric spaces. Proc Amer Math Soc. 132, 365–373 (2004). Publisher Full Text

14. Kirk, WA: Mappings of generalized contractive type. J Math Anal Appl. 32, 567–572 (1970). Publisher Full Text

15. Kirk, WA: Asymptotic pointwise contractions. Plenary Lecture, the 8th International Conference on Fixed Point Theory and Its Applications, Chiang Mai University, Thailand (2007)

16. Kirk, WA, Xu, HK: Asymptotic pointwise contractions. Nonlinear Anal. 69, 4706–4712 (2008). Publisher Full Text

17. Hussain, N, Khamsi, MA: On asymptotic pointwise contractions in metric spaces. Nonlinear Anal. 71, 4423–4429 (2009). Publisher Full Text

18. Khamsi, MA, Kozlowski, WK: On asymptotic pointwise contractions in modular function spaces. Nonlinear Anal. 73, 2957–2967 (2010). Publisher Full Text

19. Khamsi, MA: KKM and Ky Fan theorems in hyperconvex metric spaces. J Math Anal Appl. 204, 298–306 (196)

20. Bardaro, C, Ceppitelli, R: Some generalizations in H-modular spaces of Fan's best approximation theorem. J Aust Math Soc(ser A). 56, 291–302 (1994). Publisher Full Text

21. Hussain, N, Khan, AR, Ravi, P: Krasnosel'skii and Ky Fan type fixed point theorems in ordered Banach spaces. J Nonlinear Convex Anal. 11(3), 475–489 (2010)

22. Kozlowski, WM: Modular Function Spaces, Series of Monographs and Textbooks in Pure and Applied Mathematics. Dekker, New York/Basel (1988)

23. Kozlowski, WM: Notes on modular function spaces I. Comment Math. 28, 91–104 (1988)

24. Kozlowski, WM: Notes on modular function spaces II. Comment Math. 28, 105–120 (1988)

25. Musielak, J: Orlicz spaces and modular spaces, Lecture Notes in Mathematics. Springer, Berlin/Heidelberg/New York/Tokyo (1983)

26. Dugunddji, J, Granas, A: Fixed Point Theory. PWN-Polish Scientific Publishers, Warszawa (1982)