Skip to main content
Fixed Point Theory and Algorithms for Sciences and Engineering
Download PDF
  • Research Article
  • Open access
  • Published:

Systems of Generalized Quasivariational Inclusion Problems with Applications in -Spaces

Fixed Point Theory and Applications volume 2011, Article number: 561573 (2011) Cite this article

Abstract

We first prove that the product of a family of -spaces is also an -space. Then, by using a Himmelberg type fixed point theorem in -spaces, we establish existence theorems of solutions for systems of generalized quasivariational inclusion problems, systems of variational equations, and systems of generalized quasiequilibrium problems in -spaces. Applications of the existence theorem of solutions for systems of generalized quasiequilibrium problems to optimization problems are given in -spaces.

1. Introduction

In 1979, Robinson [1] studied the following parametric variational inclusion problem: given , find such that

(1.1)

where is a single-valued function and is a multivalued map. It is known that (1.1) covers variational inequality problems and a vast of variational system important in applications. Since then, various types of variational inclusion problems have been extended and generalized by many authors (see, e.g., [2–7] and the references therein).

On the other hand, Tarafdar [8] generalized the classical Himmelberg fixed point theorem [9] to locally -convex uniform spaces (or -spaces). Park [10] generalized the result of Tarafdar [8] to locally -convex spaces (or -spaces). Recently, Park [11] introduced the concept of abstract convex spaces which include -spaces and -convex spaces as special cases. With this new concept, he can study the KKM theory and its applications in abstract convex spaces. More recently, Park [12] introduced the concept of -spaces which include -spaces and -spaces as special cases. He also established the Himmelberg type fixed point theorem in -spaces. To see some related works, we refer to [13–21] and the references therein. However, to the best of our knowledge, there is no paper dealing with systems of generalized quasivariational inclusion problems in -spaces.

Motivated and inspired by the works mentioned above, in this paper, we first prove that the product of a family of -spaces is also an -space. Then, by using the Himmelberg type fixed point theorem due to Park [12], we establish existence theorems of solutions for systems of generalized quasivariational inclusion problems, systems of variational equations, and systems of generalized quasiequilibrium problems in -spaces. Applications of the existence theorem of solutions for systems of generalized quasiequilibrium problems to optimization problems are given in -spaces.

2. Preliminaries

For a set , will denote the family of all nonempty finite subsets of . If is a subset of a topological space, we denote by int and the interior and closure of , respectively.

A multimap (or simply a map) is a function from a set into the power set of ; that is, a function with the values for all . Given a map , the map defined by for all , is called the (lower) inverse of . For any , . For any , . As usual, the set is called the graph of .

For topological spaces and , a map is called

(i)closed if its graph is a closed subset of ,

(ii)upper semicontinuous (in short, u.s.c.) if for any and any open set in with , there exists a neighborhood of such that for all ,

(iii)lower semicontinuous (in short, l.s.c.) if for any and any open set in with , there exists a neighborhood of such that for all ,

(iv)continuous if is both u.s.c. and l.s.c.,

(v)compact if is contained in a compact subset of .

Lemma 2.1 . (see [22]).

Let and be topological spaces, be a map. Then, is l.s.c. at if and only if for any and for any net in converging to , there exists a net in such that for each and converges to .

Lemma 2.2 . (see [23]).

Let and be Hausdorff topological spaces and be a map.

(i)If is an u.s.c. map with closed values, then is closed.

  1. (ii)

    If is a compact space and is closed, then is u.s.c.

  2. (iii)

    If is compact and is an u.s.c. map with compact values, then is compact.

In what follows, we introduce the concept of abstract convex spaces and map classes , and having certain KKM properties. For more details and discussions, we refer the reader to [11, 12, 24].

Definition 2.3 (see [11]).

An abstract convex space consists of a topological space , a nonempty set , and a map with nonempty values. We denote for .

In the case , let . It is obvious that any vector space is an abstract convex space with , where co denotes the convex hull in vector spaces. In particular, is an abstract convex space.

Let be an abstract convex space. For any , the -convex hull of is denoted and defined by

(2.1)

(co is reserved for the convex hull in vector spaces). A subset of is called a -convex subset of relative to if for any , we have ; that is, co. This means that itself is an abstract convex space called a subspace of . When , the space is denoted by . In such case, a subset of is said to be -convex if co; in other words, is -convex relative to . When , -convex subsets reduce to ordinary convex subsets.

Let be an abstract convex space and a set. For a map with nonempty values, if a map satisfies

(2.2)

then is called a KKM map with respect to . A KKM map is a KKM map with respect to the identity map . A map is said to have the KKM property and called a -map if, for any KKM map with respect to , the family has the finite intersection property. We denote

(2.3)

Similarly, when is a topological space, a -map is defined for closed-valued maps , and a -map is defined for open-valued maps . In this case, we have

(2.4)

Note that if is discrete, then three classes , and are identical. Some authors use the notation instead of .

Definition 2.4 . (see [24]).

For an abstract convex space , the KKM principle is the statement .

A KKM space is an abstract convex space satisfying the KKM principle.

Definition 2.5.

Let be an abstract convex space, be a real t.v.s., and a map. Then,

is -quasiconvex-like if for any and any there exists such that ,

is -quasiconvex if for any and any there exists such that .

Remark 2.6.

If is a nonempty convex subset of a t.v.s. with , then Definition 2.5 (i) and (ii) reduce to Definition 2.4 (iii) and (vi) in Lin [5], respectively.

Definition 2.7 . (see [25]).

A uniformity for a set is a nonempty family of subsets of satisfying the following conditions:

each member of contains the diagonal ,

for each , ,

for each , there exists such that ,

if , , then ,

if and , then .

The pair is called a uniform space. Every member in is called an entourage. For any and any , we define . The uniformity is called separating if . The uniform space is Hausdorff if and only if is separating. For more details about uniform spaces, we refer the reader to Kelley [25].

Definition 2.8 . (see [12]).

An abstract convex uniform space is an abstract convex space with a basis of a uniformity of .

Definition 2.9 . (see [12]).

An abstract convex uniform space is called an -space if

is dense in , and

for each and each -convex subset , the set is -convex.

Lemma 2.10 . (see [12, Corollary ]).

Let be a Hausdorff KKM -space and a compact u.s.c. map with nonempty closed -convex values. Then, has a fixed point.

Lemma 2.11 . (see [24, Lemma ]).

Let be any family of abstract convex spaces. Let and . For each , let be the projection. For each , define . Then, is an abstract convex space.

Lemma 2.12.

Let be any index set. For each , let be an -space. If one defines , for each and , where . Then, is also an -space.

Proof.

By Lemma 2.11, is an abstract convex space. It is easy to check that is a subbase of the product uniformity of . Since is the basis generated by , we obtain that is a basis of the product uniformity, and the associated uniform topology on .

Now, we prove that for each and each -convex subset , the set is -convex. Firstly, we show that for each , is a -convex subset of . For any , we can find some with . Since is a -convex subset of , we have . It follows that . Thus, we have shown that is a -convex subset of . Secondly, we show that the set is -convex. Since each has the form for some and , we have that

(2.5)
(2.6)

By the definition of -spaces, we obtain that for each , the set is -convex. It follows from (2.6) that the set is a -convex subset of . Therefore is an -space. This completes the proof.

Remark 2.13.

Lemma 2.12 generalizes [26, Theorem ] from locally -uniform spaces to -spaces. The proof of Lemma 2.12 is different with the proof of [26, Theorem ].

3. Existence Theorems of Solutions for Systems of Generalized Quasivariational Inclusion Problems

Let be any index set. For each , let be a topological vector space, be an -space, and be an -space with . Let , and be the product -space as defined in Lemma 2.12. Furthermore, we assume that is a KKM space. Throughout this paper, we use these notations unless otherwise specified, and assume that all topological spaces are Hausdorff.

The following theorem is the main result of this paper.

Theorem 3.1.

For each , suppose that

(i) is a compact u.s.c. map with nonempty closed -convex values,

(ii) is a compact continuous map with nonempty closed -convex values,

(iii) is a closed map with nonempty values,

  1. (iv)

    for each , is -quasiconvex; for each , is -quasiconvex-like and .

Then, there exists with and such that for each , , and for all .

Proof.

For each , define by

(3.1)

Then, is nonempty for each . Indeed, fix any and , define by

(3.2)

First, we show that is a KKM map w.r.t. . Suppose to the contrary that there exists a finite subset such that . Hence, there exists satisfying for all . Since is -convex, we have . By for all , we know that for all . Since is -quasiconvex-like, there exists such that

(3.3)

This leads to a contradiction. Therefore, is a KKM map w.r.t. . Next, we show that is closed for each . Indeed, if , then there exists a net in such that . For each , we have and . By condition (ii), is closed, and hence . By condition (iii), is closed, and hence . It follows that . Therefore, is closed. Since and is -convex, we have that . Having that is compact, we can deduce that . That is is nonempty.

is closed for each . Indeed, if , then there exists a net in such that . One has and for all . By condition (ii), is closed, and hence . Let , since is l.s.c., there exists a net satisfying and . We have . Since is closed, we obtain . Thus, we have shown that . Hence, is closed.

is -convex for each and . Indeed, if , then we have that and for all and all . For any given , we have because is -convex. For each , since is -quasiconvex, there exists such that

(3.4)

Hence, for all . It follows that and is -convex.

Since and is compact. It follows from Lemma 2.2(ii) that is a compact u.s.c. map for each . Define by

(3.5)

It follows from the above discussions that for each , is a compact u.s.c. map with nonempty closed -convex values. Thus, is a compact u.s.c. map with nonempty closed -convex values. By Lemma 2.10, there exists such that . That is there exists with and such that for each , , and for all . This completes the proof.

For the special case of Theorem 3.1, we have the following corollary which is actually an existence theorem of solutions for variational equations.

Corollary 3.2.

For each , suppose that conditions (i) and (ii) in Theorem 3.1 hold. Moreover,

(iii)1 is a continuous mapping;

(iv)1 for each , is -quasiconvex; for each , is also -quasiconvex and .

Then, there exists with and such that for each , , and for all .

Theorem 3.3.

For each , suppose that conditions (i) and (ii) in Theorem 3.1 hold. Moreover,

(iii)2 is a closed map with nonempty values and is an u.s.c. map with nonempty compact values;

(iv)2 for each , is -quasiconvex; for each , is -quasiconvex-like and .

Then, there exists with and such that for each , , and for all .

Proof.

For each , define by

(3.6)

Obviously, has nonempty values. Now, we show that is closed. Indeed, if , then there exists a net in such that . Since

(3.7)

there exist and such that . Let

(3.8)

Then is a compact subset of , and are compact subsets of . By condition (iii)2 and Lemma 2.2(iii), is a compact subset of . Thus, we can assume that . By condition (iii)2, is closed, and hence . Since and is closed, we have . Letting , it follows that

(3.9)

and so is closed.

By the above discussions, we know that condition (iii) of Theorem 3.1 is satisfied. It is easy to check that condition (iv) of Theorem 3.1 is also satisfied. By Theorem 3.1, there exists with and such that for each , , and

(3.10)

for all . This completes the proof.

For the special case of Theorem 3.3, we have the following corollary which is actually an existence theorem of solutions for variational equations.

Corollary 3.4.

For each , suppose that conditions (i) and (ii) in Theorem 3.1 hold. Moreover,

(iii)3 is a continuous map and is a continuous map;

(iv)3 for each , is -quasiconvex; for each , is also -quasiconvex and .

Then, there exists with and such that for each , , and for all .

From Theorem 3.3, we establish the following corollary which is actually an existence theorem of solutions for systems of generalized vector quasiequilibrium problems.

Corollary 3.5.

For each , suppose that conditions (i) and (ii) in Theorem 3.1 hold. Moreover,

(iii)4 is a closed map with nonempty values and is an u.s.c. map with nonempty compact values;

(iv)4for each , is -quasiconvex; for each , is -quasiconvex-like and .

Then, there exists with and such that for each , , , and for all .

Proof.

Define by for all . Since is a closed map with nonempty values, we have that is a closed map with nonempty values. All the conditions of Theorem 3.3 are satisfied. The conclusion of Corollary 3.5 follows from Theorem 3.3. This completes the proof.

4. Applications to Optimization Problems

Let be a real topological vector space, a proper convex cone in . A point is called a vector minimal point of if for any , . The set of vector minimal point of is denoted by .

Lemma 4.1 . (see [27]).

Let be a Hausdorff t.v.s., be a closed convex cone in . If is a nonempty compact subset of , then .

Theorem 4.2.

For each , suppose that conditions (i), (ii) in Theorem 3.1 and conditions (iii), (iv) in Corollary 3.5 hold. Furthermore, let be an u.s.c. map with nonempty compact values, where is a real t.v.s. ordered by a proper closed convex cone in . Then, there exists a solution to:

(4.1)

where and such that for each , , , and for all .

Proof.

By Corollary 3.5, there exists with and such that for each , , and for all . For each , let

(4.2)

and . Then and . We show that is closed for each . Indeed, if , then there exists a net in such that . For each , implies that

(4.3)

By the closedness of and , we have that and . Now, we prove that for all . For any , since is l.s.c., there exists a net satisfying and . Let . Since is u.s.c. with nonempty compact values, we can assume that . By the closedness of and , we have that . Thus, . It follows that is closed. Hence, is closed. Note that . We know that is a nonempty compact subset of . It follows from Lemma 2.2(iii) that is a nonempty compact subset of . By Lemma 4.1, . That is there exists a solution of the problem: where . This completes the proof.

Theorem 4.3.

For each , suppose that is compact and condition (ii) in Theorem 3.1 holds. Moreover,

(iii)5 is a continuous function;

(iv)5 for each , is -quasiconvex; for each , is also -quasiconvex and .

Furthermore, let is a l.s.c. function. Then there exists a solution to:

(4.4)

where and such that for each , and for all .

Proof.

For each , define and by

(4.5)

respectively. It is easy to check that all the conditions of Corollary 3.5 are satisfied. For each , define

(4.6)

and . Then, by Corollary 3.5, there exists and hence . Arguing as Theorem 4.2, we can prove that is a nonempty compact subset of . Hence there exists a solution to the problem where . This completes the proof.

Remark 4.4.

Theorem 4.3 generalizes [28, Corollary 3.5] from locally convex topological vector spaces to -spaces.

Theorem 4.5.

For each , suppose that is compact and condition (ii) in Theorem 3.1 holds. Moreover,

(iii)6 is a continuous function;

(iv)6 for each , is -quasiconvex.

Furthermore, let be a l.s.c. function. Then, there exists a solution to the problem:

(4.7)

where and such that for each , is the solution of the problem .

Proof.

For each , define by

(4.8)

It is easy to check that all the conditions of Theorem 4.3 are satisfied. Theorem 4.5 follows immediately from Theorem 4.3. This completes the proof.

References

  1. Robinson SM: Generalized equations and their solutions. I. Basic theory. Mathematical Programming Study 1979, 10: 128–141. 10.1007/BFb0120850

    Article  MATH  MathSciNet  Google Scholar 

  2. Chang SS: Set-valued variational inclusions in Banach spaces. Journal of Mathematical Analysis and Applications 2000,248(2):438–454. 10.1006/jmaa.2000.6919

    Article  MATH  MathSciNet  Google Scholar 

  3. Ding XP: Perturbed proximal point algorithms for generalized quasivariational inclusions. Journal of Mathematical Analysis and Applications 1997,210(1):88–101. 10.1006/jmaa.1997.5370

    Article  MATH  MathSciNet  Google Scholar 

  4. Huang N-J: A new class of generalized set-valued implicit variational inclusions in Banach spaces with an application. Computers & Mathematics with Applications 2001,41(7–8):937–943. 10.1016/S0898-1221(00)00331-X

    Article  MATH  MathSciNet  Google Scholar 

  5. Lin L-J: Systems of generalized quasivariational inclusions problems with applications to variational analysis and optimization problems. Journal of Global Optimization 2007,38(1):21–39. 10.1007/s10898-006-9081-5

    Article  MATH  MathSciNet  Google Scholar 

  6. Lin L-J: Variational inclusions problems with applications to Ekeland's variational principle, fixed point and optimization problems. Journal of Global Optimization 2007,39(4):509–527. 10.1007/s10898-007-9153-1

    Article  MATH  MathSciNet  Google Scholar 

  7. Lin L-J: Systems of variational inclusion problems and differential inclusion problems with applications. Journal of Global Optimization 2009,44(4):579–591. 10.1007/s10898-008-9359-x

    Article  MATH  MathSciNet  Google Scholar 

  8. Tarafdar E: Fixed point theorems in locally -convex uniform spaces. Nonlinear Analysis 1997,29(9):971–978. 10.1016/S0362-546X(96)00174-5

    Article  MATH  MathSciNet  Google Scholar 

  9. Himmelberg CJ: Fixed points of compact multifunctions. Journal of Mathematical Analysis and Applications 1972, 38: 205–207. 10.1016/0022-247X(72)90128-X

    Article  MathSciNet  MATH  Google Scholar 

  10. Park S: Fixed point theorems in locally -convex spaces. Nonlinear Analysis 2002,48(6):869–879. 10.1016/S0362-546X(00)00220-0

    Article  MATH  MathSciNet  Google Scholar 

  11. Park S: On generalizations of the KKM principle on abstract convex spaces. Nonlinear Analysis Forum 2006,11(1):67–77.

    MATH  MathSciNet  Google Scholar 

  12. Park S: Fixed point theory of multimaps in abstract convex uniform spaces. Nonlinear Analysis 2009,71(7–8):2468–2480. 10.1016/j.na.2009.01.081

    Article  MATH  MathSciNet  Google Scholar 

  13. Deng L, Yang MG: Coincidence theorems with applications to minimax inequalities, section theorem, best approximation and multiobjective games in topological spaces. Acta Mathematica Sinica (English Series) 2006,22(6):1809–1818. 10.1007/s10114-005-0743-x

    Article  MATH  MathSciNet  Google Scholar 

  14. Deng L, Yang MG: Weakly R-KKM mappings-intersection theorems and minimax inequalities in topological spaces. Applied Mathematics and Mechanics 2007,28(1):103–109. 10.1007/s10483-007-0112-1

    Article  MATH  MathSciNet  Google Scholar 

  15. Park S: Several episodes in recent studies on the KKM theory. Nonlinear Analysis Forum 2010, 15: 13–26.

    MATH  MathSciNet  Google Scholar 

  16. Park S: Generalized convex spaces, -spaces, and -spaces. Journal of Global Optimization 2009,45(2):203–210. 10.1007/s10898-008-9363-1

    Article  MATH  MathSciNet  Google Scholar 

  17. Park S: Remarks on fixed points, maximal elements, and equilibria of economies in abstract convex spaces. Taiwanese Journal of Mathematics 2008,12(6):1365–1383.

    MATH  MathSciNet  Google Scholar 

  18. Park S: Remarks on the partial KKM principle. Nonlinear Analysis Forum 20009, 14: 51–62.

    MathSciNet  MATH  Google Scholar 

  19. Park S: Comments on recent studies on abstract convex spaces. Nonlinear Analysis Forum 2008, 13: 1–17.

    MATH  MathSciNet  Google Scholar 

  20. Park S: The rise and decline of generalized convex spaces. Nonlinear Analysis Forum 2010, 15: 1–12.

    MATH  MathSciNet  Google Scholar 

  21. Yang M-G, Xu J-P, Huang N-J, Yu S-J: Minimax theorems for vector-valued mappings in abstract convex spaces. Taiwanese Journal of Mathematics 2010,14(2):719–732.

    MATH  MathSciNet  Google Scholar 

  22. Tan NX: Quasi-variational inequalities in topological linear locally convex Hausdorff spaces. Mathematische Nachrichten 1985, 122: 231–224. 10.1002/mana.19851220123

    Article  MathSciNet  Google Scholar 

  23. Aubin JP, Cellina A: Differential Inclusion. Springer, Berlin, Germany; 1994.

    Google Scholar 

  24. Park S: Equilibrium existence theorems in KKM spaces. Nonlinear Analysis 2008,69(12):4352–5364. 10.1016/j.na.2007.10.058

    Article  MATH  MathSciNet  Google Scholar 

  25. Kelley JL: General Topology. Volume 2. Springer, New York, NY, USA; 1975:xiv+298.

    MATH  Google Scholar 

  26. Ding XP: The generalized game and the system of generalized vector quasi-equilibrium problems in locally -uniform spaces. Nonlinear Analysis 2008,68(4):1028–1036. 10.1016/j.na.2006.12.003

    Article  MATH  MathSciNet  Google Scholar 

  27. Luc DC: Theory of Vector Optimization, Lecture Notes in Economics and Mathematical Systems. Volume 319. Springer, Berlin, Germany; 1989:viii+173.

    Google Scholar 

  28. Lin L-J: Mathematical programming with system of equilibrium constraints. Journal of Global Optimization 2007,37(2):275–286. 10.1007/s10898-006-9049-5

    Article  MATH  MathSciNet  Google Scholar 

Download references

Acknowledgments

This work was supported by the Key Program of NSFC (Grant no. 70831005) and the Open Fund (PLN0904) of State Key Laboratory of Oil and Gas Reservoir Geology and Exploitation (Southwest Petroleum University).

Author information

Authors and Affiliations

  1. Department of Mathematics, Sichuan University, Chengdu, Sichuan, 610064, China

    Ming-ge Yang & Nan-jing Huang

  2. College of Business and Management, Sichuan University, Chengdu, Sichuan, 610064, China

    Jiu-ping Xu & Nan-jing Huang

  3. Department of Mathematics, Luoyang Normal University, Luoyang, Henan, 471022, China

    Ming-ge Yang

Authors
  1. Ming-ge Yang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jiu-ping Xu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Nan-jing Huang
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Nan-jing Huang.

Rights and permissions

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

Reprints and permissions

About this article

Cite this article

Yang, Mg., Xu, Jp. & Huang, Nj. Systems of Generalized Quasivariational Inclusion Problems with Applications in -Spaces. Fixed Point Theory Appl 2011, 561573 (2011). https://doi.org/10.1155/2011/561573

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1155/2011/561573

Keywords