Skip to main content


Research | Open | Published:

KKM and KY fan theorems in modular function spaces


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.

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. [15]) and generalized to other metric spaces (see e.g. [68]) and modular function spaces (see e.g. [911]). 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 [1518].

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 P be a δ-ring of subsets of Ω, such that EAP for any EP and A Σ. Let us assume that there exists an increasing sequence of sets K n P such that Ω = K n . By E, we denote the linear space of all simple functions with supports from P. By M , we will denote the space of all extended measurable functions, i.e. all functions f : Ω → [-∞, ∞] such that there exists a sequence { g n } E, |g n | ≤ |f| and g n (ω) → f(ω) for all ω Ω. By 1 A , we denote the characteristic function of the set A.

Definition 2.1. Letρ: M [ 0 , ] 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), wheref,g M ;

(iii) ρ is orthogonally subadditive, i.e. ρ(f 1AB) ≤ ρ(f 1 A ) + ρ(f 1 B ) for any A, B Σ such that AB, fM;

(iv) ρ has the Fatou property, i.e. |f n (ω)| ↑ |f(ω)| for all ω Ω implies ρ(f n ) ↑ ρ(f), wheref M ;

(v) ρ is order continuous inE, i.e. g n Eand |g n (ω)| ↓ 0 implies ρ(g n ) ↓ 0.

As in the case of measure spaces, we say that a set A Σ is ρ-null if ρ(g 1 A ) = 0 for every gE. 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

M ( Ω , Σ , P , ρ ) = { f M ; | f ( ω ) | < ρ - a . e } ,

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

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) = ρ(f 1 E ) for fM, 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 [2224]; 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. [2224]Let ρ be a convex function modular.

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

L ρ = { f M ; ρ ( λ f ) 0 a s λ 0 } .

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

| | f | | ρ = inf { α > 0 ; ρ ( f α ) 1 } .

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 inM.

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

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

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

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

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

(7) Defining L ρ 0 = { f L ρ ; ρ ( f , ) i s o r d e r c o n t i n u o u s } and E ρ = { f L ρ ; λ f L ρ 0 f o r e v e r y λ > 0 } , we have:

(a) L ρ L ρ 0 E ρ ,

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

(c) E ρ is the closure ofE(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 sup n ρ ( 2 f n , D k ) 0 as k→ ∞ whenever { f n } M and{D k } Σ which decreases to and sup n ρ ( f n , D k ) 0 as k→ ∞.

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

(a) ρ has Δ2-property,

(b) L ρ 0 is a linear subspace of L ρ ,

(c) L ρ = L ρ 0 = E ρ ,

(d) if ρ(f n ) → 0, then ρ(2f n ) → 0,

(e) if ρ(α f n ) → 0 for an α > 0, then ||f n ||ρ → 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 {f n } is ρ-convergent to f and write f n f (ρ) if and only if ρ(f n - f) → 0.

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

(c) A set B L ρ is called ρ-closed if for any sequence of f n B, the convergence f n 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

d ρ ( f , C ) =inf { ρ ( f - g ) ; g C } .

Let us note that ρ-convergence does not necessarily imply ρ-Cauchy condition. Also, f n f does not imply in general λf n λ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, ..., f n L ρ , the set c o n v ¯ ρ ( { f 1 , , f n } ) A 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 {C n } 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 { A α ; A α 2 L ρ , α Γ } of ρ-closed subsets withK A α 1 A α n , for any α1, ..., α n Γ, we have

K α Γ A α .

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

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

ρ ( T ( f ) - T ( g ) ) ρ ( f - g ) f o r a n y f , g C .

The fixed point set of T is defined by

F i x ( T ) = { f C ; T ( f ) = f } .

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 2 C . The notation conv(A) describes the convex hull of A, while c o n v ¯ ρ ( A ) describes the smallest ρ-closed convex subset of L ρ which contains A. Recall that a family { A α ; A α 2 L ρ , α Γ } 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 G:C 2 L ρ is called a Knaster-Kuratowski-Mazurkiewicz mapping (in short KKM-mapping) if

c o n v ( { f 1 , , f n } ) 1 i n G ( f i )

for any f1, ..., f n C.

Now we are ready to prove the following result:

Theorem 3.1. Let ρ . Let C L ρ be nonempty andG:C 2 L ρ 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, ..., f n C such that 1 i n G ( f i ) =. Set L= c o n v ¯ ρ ( { f i } ) in L ρ . Our assumptions imply that LG(f i ) is ρ-closed for every i = 1, 2, ..., n. Using Theorem 2.1 (2) with α = 1, LG(f i ) 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 LG ( f i 0 ) since L 1 i n G ( f i ) =.


d f , L G ( f i 0 ) = inf { | | f - g | | ρ ; g L G ( f i 0 ) } > 0 ,

because LG ( f i 0 ) is closed. We use the function

α ( f ) = 1 i n d f , L G ( f i ) > 0

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

T ( f ) = 1 α ( f ) 1 i n d f , L G ( f i ) f i .

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

I = i ; d f 0 , L G ( f i ) 0 .


f 0 = 1 α ( f 0 ) i I d f 0 , L G ( f i ) f i .

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

c o n v { f i ; i I } i I G ( f i ) .

As an immediate consequence, we obtain the following result:

Theorem 3.2. Let ρ . Let C L ρ be nonempty andG:C 2 L ρ 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

f C G ( f ) .

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 andG:C 2 L ρ a KKM-mapping such that for any f C, G(f) is nonempty and finitely ρ-closed. Assume there is a multivalued map K:C 2 L ρ such that G(f) K(f) for every f C and

f C K ( f ) = f C G ( f ) .

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

f C G ( f ) .

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 : CL ρ be a map. T is called ρ-continuous if {T(f n )} ρ-converges to T (f ) whenever {f n } ρ-converges to f. Also T will be called strongly ρ-continuous if T is ρ-continuous and

liminf n ρ ( g - T ( f n ) ) = ρ ( g - T ( f ) ) ,

for any sequence {f n } 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 : KL ρ be strongly ρ-continuous. Then, there exists f0 K such that

ρ ( f 0 - T ( f 0 ) ) = inf f K ρ f - T ( f 0 ) .

Proof. Consider the map G:K 2 L ρ defined by

G ( g ) = f K ; ρ ( f - T ( f ) ) ρ ( g - T ( f ) ) .

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

ρ ( f - T ( f ) ) liminf n ρ ( f n - T ( f n ) ) liminf n ρ ( g - T ( f n ) ) = ρ ( g - T ( f ) ) ,

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, ..., g n } K and f conv({g i }) such that f 1 i n G ( g i ) . This clearly implies

ρ ( g i - T ( f ) ) < ρ ( f - T ( f ) ) , f o r i = 1 , , n .

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

ρ ( g - T ( f ) ) ρ ( f - T ( f ) ) - ε .

As f conv({g i }), 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 f 0 g K G ( g ) . Hence, ρ(f0 - T(f0)) ≤ ρ(g - T(f0)) for any g K. In particular, we have

ρ ( f 0 - T ( f 0 ) ) = inf g K ρ g - T ( f 0 ) .

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 : KL ρ be strongly ρ-continuous. Assume that for any f K, with fT(f), there exists α (0, 1) such that

( * ) K B ρ f , α ρ ( f - T ( f ) ) B ρ T ( f ) , ( 1 - α ) ρ ( f - T ( f ) ) .

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

ρ ( f 0 - T ( f 0 ) ) = inf g K ρ g - T ( f 0 ) .

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

K 0 = K B ρ f 0 , α ρ ( f 0 - T ( f 0 ) ) B ρ T ( f 0 ) , ( 1 - α ) ρ ( f 0 - T ( f 0 ) ) .

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 : KK be strongly ρ-continuous. Then, T has a fixed point, i.e. T(g) = g for some g K.


  1. 1.

    Browder FE: Nonexpansive nonlinear operators in a Banach space. Proc Nat Acad Sci USA 1965, 54: 1041–1044. 10.1073/pnas.54.4.1041

  2. 2.

    Gohde D: Zum Prinzip der kontraktiven Abbildung. Math Nachr 1965, 30: 251–258. 10.1002/mana.19650300312

  3. 3.

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

  4. 4.

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

  5. 5.

    Dhompongsa S, Kirk WA, Sims B: Fixed points of uniformly lipschitzian mappings. Nonlinear Anal 2006, 65: 762–772. 10.1016/

  6. 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 1980, 4: 1011–1021. 10.1016/0362-546X(80)90012-7

  7. 7.

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

  8. 8.

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

  9. 9.

    Khamsi MA, Kozlowski WK, Reich S: Fixed point theory in modular function spaces. Nonlinear Anal 1990, 14: 935–953. 10.1016/0362-546X(90)90111-S

  10. 10.

    Khamsi MA, Kozlowski WM, Shutao C: Some geometrical properties and fixed point theorems in Orlicz spaces. J Math Anal Appl 1991, 155: 393–412. 10.1016/0022-247X(91)90009-O

  11. 11.

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

  12. 12.

    Kirk WA: Fixed points of asymptotic contractions. J Math Anal Appl 2003, 277: 645–650. 10.1016/S0022-247X(02)00612-1

  13. 13.

    Khamsi MA: On asymptotically nonexpansive mappings in hyperconvex metric spaces. Proc Amer Math Soc 2004, 132: 365–373. 10.1090/S0002-9939-03-07172-7

  14. 14.

    Kirk WA: Mappings of generalized contractive type. J Math Anal Appl 1970, 32: 567–572. 10.1016/0022-247X(70)90278-7

  15. 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. 16.

    Kirk WA, Xu HK: Asymptotic pointwise contractions. Nonlinear Anal 2008, 69: 4706–4712. 10.1016/

  17. 17.

    Hussain N, Khamsi MA: On asymptotic pointwise contractions in metric spaces. Nonlinear Anal 2009, 71: 4423–4429. 10.1016/

  18. 18.

    Khamsi MA, Kozlowski WK: On asymptotic pointwise contractions in modular function spaces. Nonlinear Anal 2010, 73: 2957–2967. 10.1016/

  19. 19.

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

  20. 20.

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

  21. 21.

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

  22. 22.

    Kozlowski WM: Modular Function Spaces, Series of Monographs and Textbooks in Pure and Applied Mathematics. Volume 122. Dekker, New York/Basel; 1988.

  23. 23.

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

  24. 24.

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

  25. 25.

    Musielak J: Orlicz spaces and modular spaces, Lecture Notes in Mathematics. Volume 1034. Springer, Berlin/Heidelberg/New York/Tokyo; 1983.

  26. 26.

    Dugunddji J, Granas A: Fixed Point Theory. Volume 1. PWN-Polish Scientific Publishers, Warszawa; 1982.

Download references


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.

Author information

Correspondence to Mohamed Amine Khamsi.

Additional information

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.

Rights and permissions

Reprints and Permissions

About this article


  • fixed point
  • KKM mapping
  • Ky Fan's theorem
  • modular function space