- Research
- Open access
- Published:
Random fixed point theorems under mild continuity assumptions
Fixed Point Theory and Applications volume 2014, Article number: 89 (2014)
Abstract
In this paper, we study the existence of the random fixed points under mild continuity assumptions. The main theorems consider the almost lower semicontinuous operators defined on Banach spaces and also operators having properties weaker than lower semicontinuity. Our results either extend or improve corresponding ones present in literature.
MSC:47H10, 47H40.
1 Introduction
Fixed point theorems are a very powerful tool of the current mathematical applications. These have been extended and generalized to study a wide class of problems arising in mechanics, physics, economics and equilibrium theory, engineering sciences, etc. New results concerning the deterministic or random case were obtained, for instance, in [1–14].
The main aim of this work is to establish random fixed point theorems under mild continuity assumptions. Results in this direction have also been obtained, for example, in [1–3] or [15]. Our research enables us to improve some theorems obtained recently. We prove the existence of the random fixed points for the lower semicontinuous operators and for operators having properties weaker than lower semicontinuity. By using the approximation method which is due to Ionescu Tulcea (see [16]), we provide a new proof for the random version of Ky Fan’s fixed point theorem. Since the majority of our results are obtained for operators defined on Fréchet spaces, we refer the reader to the new literature concerning this topic. For instance, the authors worked also on Fréchet spaces in [17–22].
The rest of the paper is organized as follows. In the following section, some notational and terminological conventions are given. We also present, for the reader’s convenience, some results on continuity and measurability of the operators. The random fixed point theorems for operators with properties weaker than lower semicontinuity are stated in Section 3. Section 4 contains random fixed point results concerning the case of lower semicontinuous operators. Section 5 is dedicated to the provision of a new proof for the random version of Ky Fan’s fixed point theorem. Section 6 presents the conclusions of our research.
2 Notation and definition
Throughout this paper, we shall use the following notation:
denotes the set of all non-empty subsets of the set D. If , where Y is a topological space, clD denotes the closure of D. We also denote the family of all non-empty and closed subsets of Y. A paracompact space is a Hausdorff topological space in which every open cover admits an open locally finite refinement. Metrizable and compact topological spaces are paracompact.
For the reader’s convenience, we review a few basic definitions and results from continuity and measurability of correspondences.
Let X, Y be topological spaces and be a correspondence. The graph of is the set . T is said to be upper semicontinuous if, for each and each open set V in Y with , there exists an open neighborhood U of x in X such that for each . T is said to be lower semicontinuous if, for each and each open set V in Y with , there exists an open neighborhood U of x in X such that for each . has open lower sections if is open in X for each . A correspondence with open lower sections is lower semicontinuous.
Let be a metric space, C be a non-empty subset of X and be a correspondence.
We will use the following notations. We denote by . If is a subset of X, then we will denote , where .
We say that T is hemicompact if each sequence in C has a convergent subsequence, whenever as .
Let now be a complete, finite measure space, and Y be a topological space. The correspondence is said to have a measurable graph if , where denotes the Borel σ-algebra on Y and ⊗ denotes the product σ-algebra. The correspondence is said to be lower measurable if, for every open subset V of Y, the set is an element of ℱ. This notion of measurability is also called in the literature weak measurability or just measurability, in comparison with strong measurability: the correspondence is said to be strong measurable if, for every closed subset V of Y, the set is an element of ℱ. In the case when Y is separable, the strong measurability coincides with the lower measurability.
Recall (see Debreu [23], p.359) that if has a measurable graph, then T is lower measurable. Furthermore, if is closed valued and lower measurable, then has a measurable graph.
A mapping is called a random operator if, for each , the mapping is measurable. Similarly, a correspondence is also called a random operator if, for each , is measurable. A measurable mapping is called a measurable selection of the operator if for each . A measurable mapping is called a random fixed point of the random operator (or ) if for every , (or ).
We will need the following measurable selection theorem in order to prove our results.
Proposition 2.1 (Kuratowski-Ryll-Nardzewski selection theorem [24])
A weakly measurable correspondence with non-empty closed values from a measurable space into a Polish space admits a measurable selector.
3 Random fixed point theorems for operators with properties weaker than lower semicontinuity
This section is mainly dedicated to establishing the random fixed point theorems concerning the almost lower semicontinuous operators and other types of operators having properties weaker than lower semicontinuity. Our results are new in literature. They can be compared with the ones stated in [15].
Firstly we recall the following statement, which will be useful to prove the main result of this section.
Lemma 3.1 (Theorem 3.4 in [1])
Let C be a closed separable subset of a complete metric space X, and let be a continuous hemicompact random operator. If, for each , the set , then T has a random fixed point.
Now, we are presenting the almost lower semicontinuous correspondences.
Let X be a topological space and Y be a normed linear space. The correspondence is said to be almost lower semicontinuous (a.l.s.c.) at (see [25]), if, for any , there exists a neighborhood of x such that .
T is almost lower semicontinuous if it is a.l.s.c. at each .
If Ω is a non-empty set, we say that the operator is almost lower semicontinuous if, for each , is almost lower semicontinuous.
In 1983, Deutsch and Kenderov [25] presented a remarkable characterization of a.l.s.c. correspondences as follows.
Lemma 3.2 (see [25])
Let X be a paracompact topological space, Y be a normed vector space and be a correspondence having convex values. Then T is a.l.s.c. if and only if, for each , T admits a continuous ε-approximate selection f; that is, is a continuous single valued function such that for each .
The next theorem is the main result of this section. It states the existence of the random fixed points for the almost lower semicontinuous operators defined on Banach spaces.
Theorem 3.1 Let be a measurable space, C be a compact convex separable subset of a Banach space X and let be a random operator. Suppose that, for each , is almost lower semicontinuous with non-empty convex closed values and is closed valued.
Then T has a random fixed point.
Proof Firstly, let us define by for each . Since for each , is almost lower semicontinuous, according to Lemma 3.2, for each , there exists a continuous function such that for each . Brouwer-Schauder fixed point theorem assures that, for each , there exists such that and then .
C is compact, then is hemicompact for each . According to Lemma 3.1, for each , has a random fixed point and then has a random fixed point , that is is measurable and for .
Let be fixed. Then when and since C is compact, has a convergent subsequence . Let . It follows that is measurable and for each , when .
Let us assume that there exists such that . Since and X is a regular space, there exists such that . Consequently, for each , we have , which is equivalent with or . The closedness of each and the regularity of X imply the existence of a real number such that for each , which implies for each . Let . Hence, for each , and then there exists such that for each , which contradicts as . It follows that our assumption is false.
Hence, for each , , where is measurable. We conclude that T has a random fixed point. □
Related to the almost lower semicontinuous correspondences, there are the correspondences with the local intersection property and the sub-lower semicontinuous correspondences, which differ very slightly from the first ones. We will obtain some results related to Theorem 3.1 in these cases and will introduce the reader in the topic we brought into discussion by presenting firstly the definitions.
A new theorem can be proved for the operators which satisfy the local intersection property, which is defined below.
Let X, Y be topological spaces. The correspondence has the local intersection property (see [26]) if with implies the existence of an open neighborhood of x such that .
If Ω is a non-empty set, we say that the operator has local intersection property if, for each , has the local intersection property.
We establish Theorem 3.2, which concerns operators having the local intersection property. Its proof relies on the following lemma.
Lemma 3.3 (Wu and Shen [26])
Let X be a non-empty paracompact subset of a Hausdorff topological space E and Y be a non-empty subset of a Hausdorff topological vector space. Let be correspondences which verify:
-
(1)
for each , and ;
-
(2)
S has local intersection property.
Then T has a continuous selection.
The corresponding random fixed point theorem in case of local intersection property is stated below.
Theorem 3.2 Let be a measurable space, C be a compact convex separable subset of a Fréchet space X and let be a random operator. Suppose that, for each , has the local intersection property and is convex valued.
Then T has a random fixed point.
Proof Since for each , has the local intersection property, according to Lemma 3.3, there exists a continuous function such that for each , .
According to Tihonov’s fixed point theorem, there exists such that and then .
C is compact, then f is hemicompact. According to Lemma 3.1, f has a random fixed point and then T has a random fixed point ξ, that is is measurable and . □
The sub-lower semicontinuous correspondences were defined by Zheng in [27].
Let X be a topological space and Y be a topological vector space. A correspondence is called sub-lower semicontinuous [27] if, for each and for each neighborhood V of 0 in Y, there exist and a neighborhood of x in X such that, for each , .
If Ω is a non-empty set, we say that the operator is sub-lower semicontinuous if, for each , is sub-lower semicontinuous.
Zheng proved in [27] a continuous selection result for the sub-lower semicontinuous correspondences, which can be used in order to obtain Theorem 3.3. Here is his result.
Lemma 3.4 [27]
Let X be a paracompact topological space, Y be a locally convex topological vector space and let be a correspondence with convex values. Then T is sub-lower semicontinuous if and only if, for each neighborhood V of 0 in Y, there exists a continuous function such that, for each , .
The random fixed point existence for the sub-lower semicontinuous random operators is stated below.
Theorem 3.3 Let be a measurable space, C be a compact convex separable subset of a Fréchet space X, and let be a random operator. Suppose that, for each , is sub-lower semicontinuous with non-empty convex closed values and is closed valued.
Then T has a random fixed point.
The proof of Theorem 3.3 is similar to the one of Theorem 3.1, but it relies on Lemma 3.4.
In [28], Ansari and Yao proved a fixed point theorem for transfer open valued correspondences. Their proof is based on a continuous selection theorem which they construct. We present below their result.
Let X and Y be two topological spaces. The correspondence is said to be transfer open valued (see [28]) if, for any and , there exists an such that .
If Ω is a non-empty set, we say that the operator is transfer open valued if, for each , is transfer open valued.
The proof of the next lemma is included in the proof of Theorem 1 in [28], in the particular case when , and K is compact.
Lemma 3.5 Let K be a non-empty compact convex subset of a Hausdorff topological vector space E and let be a correspondence with non-empty convex values. If (or is transfer open valued), then T has a continuous selection.
We obtain Theorem 3.4, by using Lemma 3.5 and the same argument as in the proof of Theorem 3.2.
Theorem 3.4 Let be a measurable space, C be a compact convex separable subset of a Fréchet space X and let be a random operator with non-empty convex values. Suppose that or for each , is transfer open valued.
Then T has a random fixed point.
We also present the following result.
Theorem 3.5 Let be a measurable space, C be a compact convex separable subset of a Fréchet space X and let be a random operator with non-empty closed convex values, such that for each , is closed valued. Suppose that, for each open neighborhood V of the origin and for each , the correspondence is transfer open valued, where for each .
Then T has a random fixed point.
Proof By using Lemma 3.5, we prove that for each and for each , there exists a continuous function such that for each . The proof is similar to the proof of Theorem 3.1. □
4 Random fixed point theorems for lower semicontinuous operators
This section is designed to extending the results established in [1] by considering lower semicontinuous operators defined on Fréchet spaces. Condition (), essential in the proof of the existence of the random fixed points in the quoted paper, is reformulated and new assumptions which induce it are found.
Firstly, we recall that condition (), firstly introduced by Petryshyn [29] in order to prove the existence of fixed points for single valued operators, was extended to multivalued operators. We provide here the definition for the last case.
Let be a metric space, C be a non-empty closed subset of X and be a correspondence. T is said to satisfy condition () (see [1]) if, for every closed ball B of C with radius and any sequence in C for which and as , there exists such that . If Ω is any non-empty set, we say that the operator satisfies condition () if, for each , the correspondence satisfies condition ().
We also present the main result in [1], concerning operators which satisfy condition (). We will extend further this theorem.
Lemma 4.1 (Theorem 3.2 in [1])
Let C be a closed separable subset of a complete metric space and let be a lower semicontinuous random operator, which enjoys condition (). Suppose that, for each , the set .
Then T has a random fixed point.
The following lemmata are useful in order to prove Theorem 4.1.
Lemma 4.2 Let be a complete metric space, C be a non-empty closed separable subset of X and be a correspondence.
-
(a)
Suppose that T satisfies condition (). If , then there exists a real such that for each .
-
(b)
Suppose that C is locally compact and implies the existence of a real such that for each . Then T satisfies condition ().
Proof (a) Let us consider a correspondence T which verifies condition (). We will prove that T satisfies the conclusion stated at (a). For this purpose, let be a point such that . Let us assume, by contradiction, that for each , there exists such that . Therefore, for each natural number , there exists such that . Consequently, we found a sequence in C with the property that and when . Since T satisfies condition () for , it follows that , which contradicts . This means that our assumption is false, and then there exists a real such that for each .
(b) Let us consider a closed ball of C with radius and a sequence in C, for which and as . We use the sequentially compactness of the set G we will define further. Let us firstly denote, for each , . According to the hypotheses, the sequence is convergent and . Let us consider , and then there exists such that for each . Since X is locally compact, the small closed balls are compact and consequently, the set G, defined as , is compact. Therefore, the sequence has a convergent subsequence and, without loss of generality, we can assume that the sequence is convergent. It remains to show the following assertion:
If satisfies the assumption from (b), and if there exist a closed ball and a convergent sequence such that and as then and .
In order to prove this, we note that the closedness of implies . Let us assume, by contradiction, that . Then, according to the hypotheses, there exists such that for each . The convergence of to implies the existence of a natural number such that for each . Consequently, for each . Since for each , , it follows that if , , that is . This fact contradicts when , which is true by the hypotheses and because . This means that our assumption is false, and it remains that . We proved that T satisfies condition (). □
Lemma 4.3 Let be a metric space, C be a non-empty closed subset of X and be a correspondence such that T and have closed values. Therefore, if , there exists a real such that for each . If, in addition, C is locally compact, then T satisfies condition ().
Proof Let us consider such that . Since and X is a regular space, there exists such that , and then . Consequently, for each , we have , which is equivalent with or . The closedness of each and the regularity of X imply the existence of a real number such that for each , which implies for each . Let . Hence, for each , and thus the conclusion is fulfilled. In view of Lemma 4.2, the last assertion is true. □
The following theorem states the existence of the random fixed points for lower semicontinuous correspondences defined on locally compact complete metric spaces.
Theorem 4.1 Let be a measurable space, C be a closed separable subset of a locally compact complete metric space and let be a lower semicontinuous random operator with closed values. Suppose that, for each , is closed valued and the set .
Then T has a random fixed point.
Proof Since C is locally compact and for each , and have closed values, by applying Lemma 4.3, we find that T satisfies condition (). All the assumptions of Lemma 4.1 are fulfilled, then T has a random fixed point. □
The existence of the random fixed points remains valid if for each , is lower semicontinuous. In this case, we establish Theorem 4.2.
Theorem 4.2 Let be a measurable space, C be a closed separable subset of a locally compact complete metric space and let be an operator with closed values. Suppose that, for each , is lower semicontinuous and closed valued, for each , is measurable and the set .
Then T has a random fixed point.
Proof According to Theorem 4.1, there exists a measurable mapping such that for each , , that is, for each , . Therefore, we obtained a random fixed point for T. □
The next result, due to Michael, is very important in the theory of continuous selections.
Lemma 4.4 (Michael [30])
Let X be a , paracompact space. If Y is a Banach space, then each lower semicontinuous convex closed valued correspondence admits a continuous selection.
By using the above lemma, we obtain Theorem 4.3.
Theorem 4.3 Let be a measurable space, C be a compact convex separable subset of a Banach space and let be a lower semicontinuous random operator with closed convex values, such that for each , is closed valued.
Then T has a random fixed point.
Proof Since C is compact and for each , and have closed values, by applying Lemma 4.3, we find that T satisfies condition ().
According to Michael’s selection theorem, there exists a continuous function such that f is continuous and . According to Brouwer-Schauder fixed point theorem, there exist deterministic fixed points for f, then the set . All the assumptions of Theorem 4.1 are fulfilled, then T has a random fixed point. □
Remark 4.1 Theorem 4.3 can be compared with Theorem 3.9 in [3]. This last result also refers to the existence of random fixed points for lower semicontinuous operators and its proof is based on Michael’s selection theorem. A comparison of the assumptions of the two theorems makes the object of the research in [31].
Fierro et al. showed in [1] (the proof of Theorem 3.1) that if T is lower semicontinuous, then it satisfies the following condition, which we call (∗), condition necessary to prove the existence of random fixed points. We denote .
Definition 4.1 Let be a complete metric space, C be a non-empty closed separable subset of X and be a countable dense subset of C. We say that the correspondence satisfies condition (∗) if, for each closed ball in X with the property that , there exists a subsequence of such that and for each .
Our work will consider simpler assumptions which imply condition (∗). Now, we are introducing condition α.
Definition 4.2 Let X be a topological vector space and C be a non-empty subset of X.
-
(1)
We say that the correspondence satisfies condition α, if for each , T is sub-lower semicontinuous in .
-
(2)
If Ω is a non-empty set, we say that the operator satisfies condition α if, for each , the correspondence satisfies condition α.
Next lemma shows that condition α is stronger than condition (∗).
Lemma 4.5 Let be a complete metric space and C a non-empty closed separable subset of X. If the correspondence satisfies condition α, then T satisfies (∗).
Proof Let be a countable dense subset of C. Let be a closed ball in X such that . Then there exists with the property that and . According to condition α, for each , there exists an open neighborhood of such that for each . Then for each and thus the intersection is non-empty for each . Since and are open sets, . Therefore, for each , we can choose , . Consequently, for each , and , that is T satisfies (∗). □
We establish the following random fixed point theorem.
Theorem 4.4 Let be a measurable space, C be a closed separable subset of a complete metric space and let be a random operator which enjoys conditions () and (∗). Suppose that, for each , the set .
Then T has a random fixed point.
Proof Let be a countable dense subset of C. Let us define by . We will prove the measurability of F. In order to do this, we consider an arbitrary closed ball of C, and let us denote
Now, we are proving that .
Firstly, let us consider and hence there exists such that .
Since T satisfies condition (∗), for each , there exists such that . Therefore, and then .
The rest of the proof is similar to the corresponding one in Theorem 3.1 in [1]. Therefore, F is measurable with non-empty closed values, and according to the Kuratowski and Ryll-Nardzewski Proposition 2.1, F has a measurable selection such that for each . □
We state the following consequence of Theorem 4.4 and Lemma 4.5.
Corollary 4.1 Let be a measurable space, C be a closed separable subset of a complete metric space and let be a random operator which enjoys conditions () and α. Suppose that, for each , the set .
Then T has a random fixed point.
Based on Theorem 4.4 and Lemma 4.3, we obtain the next corollary.
Corollary 4.2 Let be a measurable space, C be a closed separable subset of a locally compact complete metric space and let be a random operator which enjoys condition α and has closed values, such that for each , is closed valued. Suppose that, for each , the set .
Then T has a random fixed point.
Proof Since for each , and are closed valued and C is locally compact, then T fulfills condition (). In order to complete the proof, we apply Theorem 4.4. □
We will use further the following notation.
Notation 4.1 Let X be a vector space, C be a non-empty subset of X and be a correspondence. We denote the correspondence defined by for each .
We notice that for each , and if only if and is convex. We also notice that for each .
Now, we define the notion of a local approximating pair of correspondences.
Definition 4.3 Let X be a topological space and Y be a topological vector space. Let be correspondences. We say that is a local approximating pair if for each and if , then, for each open neighborhood of the origin V, there exists , an open neighborhood of such that for each .
Lemma 4.6 gives a new condition which implies (∗).
Lemma 4.6 Let C be a non-empty closed separable subset of a Fréchet space X. Let be a correspondence such that is a local approximating pair. Then T satisfies (∗).
Proof Let be a countable dense subset of C. Let us consider such that , being included in a closed ball , and the neighborhoods of the origin of the following type: , . For each , there exists a neighborhood of such that and for each . For each , we can pick . Then, for each , and . □
The next result is a consequence of Theorem 4.4 and Lemma 4.6.
Corollary 4.3 Let be a measurable space, C be a closed separable subset of Fréchet space and let be a random operator such that is a local approximating pair. Assume that T enjoys condition () and for each , the set .
Then T has a random fixed point.
5 Random fixed point theorems for upper semicontinuous correspondences
The main aim of this section is to provide a new proof for the random version of Ky Fan’s fixed point theorem. Our result is distinguished by the fact that is only a measurable space, without having other additional properties. The proof is based on the upper approximation technique, which is due to Ionescu Tulcea [16]. The notions related to this topic are presented below.
Let X, Y be topological spaces and be a correspondence. The correspondence is defined by for each (the set is called the adherence of the graph of T). It is easy to see that for each .
Let X be a topological space and Y be a topological vector space. A correspondence is quasi-regular (see [16]) if: (1) it has open lower sections, that is, is open in X for each ; (2) is non-empty and convex for each and (3) for each . T is called regular (see [16]) if it is quasi-regular and it has an open graph.
In [16] Ionescu Tulcea defined the notion of upper approximating family for a correspondence.
Let X be a non-empty set, Y be a non-empty subset of topological vector space E and . A family of correspondences between X and Y, indexed by a non-empty filtering set J (denote by ≤ the order relation in J) is an upper approximating family for T [16] if:
-
(1)
for each and for each ;
-
(2)
for each there exists such that, for each and , for each ;
-
(3)
for each and , where ß is a base of neighborhood of 0 in E, there exists such that if and .
By (1)-(3) we deduce that
-
(4)
for each and , .
Conditions for the existence of an approximating family for an upper semicontinuous correspondence are given in the following lemma. We recall that a subset X of a locally convex topological vector space E has the property (see [16]) if, for every compact subset D of X, the set coD is relatively compact in E.
Lemma 5.1 (see [16])
Let X be a paracompact space and let Y be a non-empty closed convex subset in a Hausdorff locally convex topological vector space and with the property . Let be a compact and upper semicontinuous correspondence with non-empty convex compact values. Then there exists a filtering set J such that there exists a family of correspondences between X and Y with the following properties:
-
(1)
for each , is regular;
-
(2)
and are upper approximating family for T;
-
(3)
for each , is continuous if Y is compact.
Theorem 5.1 is a random version of the Ky Fan fixed point theorem. A new proof is provided. Our result is distinguished by the fact that must be only a measurable space, without any additional properties.
Theorem 5.1 Let be a measurable space, C be a compact convex separable subset of a Fréchet space X and let be a random operator. Suppose that, for each , is upper semicontinuous with non-empty convex compact values.
Then T has a random fixed point.
Proof Let be a countable dense subset of C. Let us define by . We will prove the measurability of F. In order to do this, we consider an arbitrary closed ball of C, and let us denote
Now, we are proving that .
Firstly, let us consider and hence there exists such that . Since satisfies the assumptions of Lemma 5.1, there exists a filtering set J such that there exists an upper approximating family of correspondences between C and X, every being regular. For , each is lower semicontinuous, then it fulfills condition (∗). We will prove that condition (∗) is also fulfilled by .
Since is an approximating family for , for each and , there exists such that if and . For and every , there exists such that if and .
If , then for each . For each , there exist and such that and for each . Since is lower semicontinuous, there exists such that for each , and . Consequently, for each . Let us construct the sequence such that for each , . Therefore, we found a subsequence of such that and . Hence, and the inclusion is proven.
Let , let be a closed ball of C and be a sequence in C such that and when . The set C is compact, then we can assume that is a convergent sequence. Let . Since when , for each , there exists such that when . This fact assures the convergence of the sequence and . Now, we are using the upper semicontinuity of T and we conclude that for each , there exists such that for each . It follows that for each , , which implies .
We showed that the operator T satisfies condition ().
We prove that is measurable and has closed values, by following the same line as in the proof of Theorem 3.1 in [1].
In addition, we mention that since C is compact and convex, and for each , is upper semicontinuous with non-empty convex compact values, then, according to the Ky Fan fixed point theorem, the set .
Consequently, F is measurable with non-empty closed values. According to the Kuratowski and Ryll-Nardzewski Proposition 2.1, F has a measurable selection such that for each . We proved the existence of a random fixed point for T. □
We also establish a new random fixed point result concerning the upper semicontinuous random operators.
Corollary 5.1 Let be a measurable space, C be a compact convex separable subset of a Fréchet space X, and let be an operator. Suppose that, for each , is upper semicontinuous with non-empty convex compact values and for each , is measurable .
Then T has a random fixed point.
Proof According to Theorem 5.1, there exists a measurable mapping such that for every , , that is, for every , . Therefore, we obtained a random fixed point for T. □
In the end of the paper we state the following theorem, which is a consequence of Theorem 5.1.
Theorem 5.2 Let be a measurable space, C be a compact convex separable subset of a Fréchet space X, and let . Suppose that is a random operator and for each , has non-empty convex values, where is defined by for each .
Then there exists a measurable mapping such that for each .
Proof For each , is upper semicontinuous with non-empty convex compact values, and we can apply Theorem 5.1. □
6 Concluding remarks
We have proven the existence of random fixed points for almost lower semicontinuous and lower semicontinuous operators defined on Fréchet spaces. Our research extends some results which exist in the literature. It is an interesting problem to find new types of operators which satisfy weak continuity properties and have random fixed points.
References
Fierro R, Martinez C, Morales CH: Fixed point theorems for random lower semi-continuous mappings. Fixed Point Theory Appl. 2009., 2009: Article ID 584178 10.1155/2009/584178
Fierro R, Martinez C, Morales CH: Random coincidence theorems and applications. J. Math. Anal. Appl. 2011, 378: 213–219. 10.1016/j.jmaa.2010.12.008
Fierro R, Martinez C, Orellana E: Weak conditions for existence of random fixed points. Fixed Point Theory 2011, 12(1):83–90.
Lazar TA, Petrusel A, Shahzad N: Fixed points for non-self operators and domain invariance theorems. Nonlinear Anal. 2009, 70: 117–125. 10.1016/j.na.2007.11.037
Patriche M: A new fixed-point theorem and its applications in the equilibrium theory. Fixed Point Theory 2009, 1: 159–171.
Patriche M: Fixed point theorems for nonconvex valued correspondences and applications in game theory. Fixed Point Theory 2013, 14: 435–446.
Patriche, M: Fixed point theorems and applications in theory of games. Fixed Point Theory (forthcoming)
Patriche M: Equilibrium in Games and Competitive Economies. The Publishing House of the Romanian Academy, Bucharest; 2011.
Petrusel A: Multivalued operators and fixed points. Pure Math. Appl. 2000, 11: 361–368.
Petrusel A, Rus IA: Fixed point theory of multivalued operators on a set with two metrics. Fixed Point Theory 2007, 8: 97–104.
Shahzad N: Random fixed points of set-valued maps. Nonlinear Anal., Theory Methods Appl. 2001, 45: 689–692. 10.1016/S0362-546X(99)00412-5
Shahzad N: Random fixed points of K -set- and pseudo-contractive random maps. Nonlinear Anal. 2004, 57: 173–181. 10.1016/j.na.2004.02.006
Shahzad N, Hussain N: Deterministic and random coincidence point results for f -nonexpansive maps. J. Math. Anal. Appl. 2006, 323: 1038–1046. 10.1016/j.jmaa.2005.10.057
Shahzad N: Some general random coincidence point theorems. N.Z. J. Math. 2004, 33: 95–103.
Shahzad N: Random fixed points of discontinuous random maps. Math. Comput. Model. 2005, 41: 1431–1436. 10.1016/j.mcm.2004.02.036
Ionescu Tulcea C: On the approximation of upper semicontinuous correspondences and the equilibria of generalized games. J. Math. Anal. Appl. 1968, 136: 267–289.
Agarwal RP, Dshalalow JH, O’Regan D: Fixed point theory for Mönch-type maps defined on closed subsets of Fréchet spaces: the projective limit approach. Int. J. Math. Math. Sci. 2005, 2005: 2775–2782. 10.1155/IJMMS.2005.2775
Agarwal RP, O’Regan D:Random fixed point theorems and Leray-Schauder alternatives for maps. Commun. Korean Math. Soc. 2005, 20: 299–310.
Agarwal RP, Frigon M, O’Regan D: A survey of recent fixed point theory in Fréchet spaces. 1. Nonlinear Analysis and Applications: To V. Lakshmikantham on His 80th Birthday 2003.
O’Regan D: An essential map approach for multimaps defined on closed subsets of Fréchet spaces. Appl. Anal. 2006, 85: 503–513. 10.1080/00036810500474861
O’Regan D, Agarwal RP: Fixed point theory for admissible multimaps defined on closed subsets of Fréchet spaces. J. Math. Anal. Appl. 2003, 277: 438–445. 10.1016/S0022-247X(02)00517-6
Shahzad N: Random fixed points of multivalued maps in Fréchet spaces. Arch. Math. 2002, 38: 95–100.
Debreu G: Integration of correspondences. 2. In Proc. Fifth Berkely Symp. Math. Statist. Prob.. University of California Press, Berkeley; 1966:351–372.
Kuratowski K, Ryll-Nardzewski C: A general theorem on selectors. Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 1965, 13: 397–403.
Deutsch F, Kenderov P: Continuous selections and approximate selection for set-valued mappings and applications to metric projections. SIAM J. Math. Anal. 1983, 14: 185–194. 10.1137/0514015
Wu X, Shen S: A further generalisation of Yannelis-Prabhakar’s continuous selection theorem and its applications. J. Math. Anal. Appl. 1996, 197: 61–74. 10.1006/jmaa.1996.0007
Zheng X: Approximate selection theorems and their applications. J. Math. Anal. Appl. 1997, 212: 88–97. 10.1006/jmaa.1997.5466
Ansari QH, Yao J-C: A fixed point theorem and its applications to a system of variational inequalities. Bull. Aust. Math. Soc. 1999, 59: 433–442. 10.1017/S0004972700033116
Petryshyn WV: Fixed point theorems for various classes of 1-set-contractive and 1-ball-contractive mappings in Banach spaces. Trans. Am. Math. Soc. 1973, 182: 323–352.
Michael E: Continuous selection. Ann. Math. 1956, 63: 361–382. 10.2307/1969615
Patriche, M: Random fixed point theorems for lower semicontinuous condensing random operators (submitted)
Acknowledgements
The author would like to thank a referee for helpful comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that they have no competing interests.
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.
About this article
Cite this article
Patriche, M. Random fixed point theorems under mild continuity assumptions. Fixed Point Theory Appl 2014, 89 (2014). https://doi.org/10.1186/1687-1812-2014-89
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1812-2014-89