11.07.2015 Views

Externalities, Nonconvexities, and Fixed Points

Externalities, Nonconvexities, and Fixed Points

Externalities, Nonconvexities, and Fixed Points

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Lemma 8 (The Space of Ky Fan Sets)Suppose assumptions [A-1] hold. The following statements are true.(1) S is a h w ∗ ×w ∗-closed subspace of P w ∗ ×w ∗ f(X × X).(2) For all z ∈ Z, K(z) is a Ky Fan set such that for all z ∈ Z,D(K(z)) = Φ(z) <strong>and</strong> R(K(z)) = Φ(z).For a proof of Lemma 8 see Appendix 2.4.4 Ky Fan CorrespondencesConsider the correspondence,E → N(E) :=∩ y∈D(E) {x ∈ R(E) :(y,x) ∈ E} , (39)defined on S taking values in P w ∗ f(X). We will call the correspondence N(·) from Sinto P w ∗ f(X) the Ky Fan Correspondence (i.e., the KFC).Lemma 9 (The KFC is an USCO)Under assumption [A-1], the KFC, N(·) is an USCO, that is,N(·) ∈ U(S,P w ∗ f(X)). (40)Proof. By Ky Fan (1961) N(E) is nonempty for all E ∈ S <strong>and</strong> it is easy to seethat N(E) is compact for all E ∈ S. To see that N(·) is upper semicontinuousconsider a sequence {(E n ,x n )} n ⊂ GrN(·) where {E n } n ⊂ S <strong>and</strong> WLOG assumethat E n E 0 ,<strong>and</strong>x n → x0 . By(39)wehaveforeachn, (y, x n ) ∈ E n forw ∗→hw ∗ ×w ∗any y ∈ D(E n ).Bytheh w ∗ ×w ∗-h w ∗-continuity of D(·), wehaveforanyy0 ∈ D(E 0 )a sequence {y n } n with y n ∈ D(E n ) for all n <strong>and</strong> y n →w ∗ y0 . This, together withE n→hw ∗ ×w ∗E 0 <strong>and</strong> x n →w ∗x0 ,implythat(y 0 ,x 0 ) ∈ E 0 for any y 0 ∈ D(E 0 ). Thus,(E 0 ,x 0 ) ∈ GrN(·). By compactness, the fact that GrN(·) is closed implies that N(·)is upper semicontinuous - with nonempty, w ∗ -compact values.4.5 D-Equivalence Classes of Ky Fan SetsGivenKyFansetE ∈ S, wedefine the D-equivalence class of Ky Fan sets, S E ,asfollows:S E := {E 0 ∈ S : D(E 0 )=D(E)} . (41)Because D(·) h w ∗ ×w ∗-h w ∗-continuous, it is easy to show that S E is a h w ∗ ×w ∗-closedsubset of S. Thus, if {E n } n is a sequence of Ky Fan sets in SE e for some E e ∈ S,then E n E 0 implies that E 0 ∈ S eE . Also, viewing S (·) as a mapping from S→hw ∗ ×w ∗into D-equivalence classes of Ky Fan sets, it is easy to show that S (·) has a h w ∗ ×w ∗-h w ∗ ×w∗-closed graph. In particular, ifh w ∗ ×w ∗(En ,E 0 )+h w ∗ ×w ∗(Cn ,C 0 ) → 0,23

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!