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.

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

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 Ω = ∪K_n. 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 , |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 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. ρ(f1_A∪B) ≤ ρ(f1_A) + ρ(f1_B) for any A, B ∈ Σ such that A ∩ B ≠ ∅, ;

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

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

As in the case of measure spaces, we say that a set A ∈ Σ is ρ-null if ρ(g1_A) = 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

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) = ρ(f1_E) 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) ||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 set , then ρ(α(f_n - f), E) → 0 for every α > 0.

(5) Let f_n → f ρ - a.e. There exists a nondecreasing sequence of sets 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 and , we have:

(a) ,

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

(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 Δ₂-property if as k → ∞ whenever and {D_k} ⊂ Σ which decreases to ∅ and as k → ∞.

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

(a) ρ has Δ₂-property,

(b) is a linear subspace of L_ρ,

(c) ,

(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

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 f₁, f₂, ..., f_n ∈ 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 {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 of ρ-closed subsets with , for any α₁, ..., α_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

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 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 f₁, ..., f_n ∈ 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 f₁, ..., f_n ∈ C such that . Set in L_ρ. Our assumptions imply that L ∩ G(f_i) is ρ-closed for every i = 1, 2, ..., n. Using Theorem 2.1 (2) with α = 1, L∩G(f_i) is closed for the Luxemburg norm ||·||_ρ for any i ∈ {1, ..., n}. Thus for every f ∈ L, there exists i₀ such that f does not belong to since .

Hence

because is closed. We use the function

where f ∈ K = conv{f₁, ..., f_n} 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 f₀ ∈ K of T, i.e. T(f₀) = f₀. Set

Clearly,

Hence, and f₀ ∈ conv({f_i; 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 f₀ ∈ C such that G(f₀) is ρ-compact. Then, we have

Notice that the ρ-compactness of G(f₀) 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(f_n)} ρ-converges to T (f ) whenever {f_n} ρ-converges to f. Also T will be called strongly ρ-continuous if T is ρ-continuous and

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 Δ₂-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 f₀ ∈ K such that

Proof. Consider the map defined by

Since T is strongly ρ-continuous, for any sequence {f_n} ⊂ 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 {g₁, ..., g_n} ⊂ K and f ∈ conv({g_i}) such that . This clearly implies

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

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 . Hence, ρ(f₀ - T(f₀)) ≤ ρ(g - T(f₀)) 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 f₀ ∈ K such that

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

Let g ∈ K₀. Then, ρ(g - T(f₀)) ≤ (1 - α) ρ(f₀ - T(f₀)). This implies a contradiction to the property satisfied by f₀.

□

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.

The authors declare that they have no competing interests.

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

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.

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)