CHAPTER 5 SOME MINIMAX AND SADDLE POINT THEOREMS

Size: px
Start display at page:

Download "CHAPTER 5 SOME MINIMAX AND SADDLE POINT THEOREMS"

Transcription

1 CHAPTR 5 SOM MINIMA AND SADDL POINT THORMS 5. INTRODUCTION Fied poit theorems provide importat tools i game theory which are used to prove the equilibrium ad eistece theorems. For istace, the fied poit theorems by Brouwer, Kautai ad Fa have bee amog the most used tools i ecoomics ad game theory, see [4], [3], [6]. These theorems are further applied to prove the miima theorems ad the eistece of saddle poits. The first miima theorem was give by vo Neuma [57] i 98. He established the followig. Theorem 5.. [88]. Let A be a m matri ad ad y be the sets of oegative row ad colum vectors with uit sum. The mi ma y Y T T Ay = ma mi Ay. (5..) y Y After ie years of this result vo Neuma [86], showed that the biliear character of Theorem 5.. was ot eeded. He eteded his result by usig Brouwer s fied poit theorem as follows. 9

2 Theorem 5.. [86]. Let ad Y be oempty compact, cove subsets of uclidea spaces ad f : Y R be oitly cotiuous. Suppose that f is quasicocave o ad quasicove o Y. The mi ma f ( = ma mi f (. y Y y Y Thereafter, may papers appeared i the literature verifyig the Neuma iequality. It is oticed that maority of miima theorems are proved by applyig fied poit theorems uder differet coditios o the spaces or o the mappigs. Sio [59] geeralized vo Neuma s result o the basis of Kaster, Kuratowsi ad Mazuriewicz theorem [6], which was give i the year 99 o the -dimesioal simple i the followig way. Theorem 5..3 [6]. Let D be the set of vertices of a -simple ad a multivalued map G : D be a KKM map (that is, co( A) G( A) for each A D ) with closed [resp., ope] values. The I G( z) φ. z D This theorem is a equivalet formulatio of the famous Brouwer fied-poit theorem. At the begiig, the results of the KKM theory were established for cove subsets of topological vector spaces maily by Ky Fa [6]-[64]. A umber of itersectio theorems ad applicatios were followed i the cove subsets of topological vector spaces. I 96, Ky Fa geeralized KKM theorem to ifiite dimesioal topological vector space, which is ow as Fa Kaster-Kuratowsi-Mazuriewicz theorem (i.e. Fa KKM theorem or KKMF theorem). Fa established followig miima iequality from the KKMF theorem. Theorem 5..4 [6]. Let be a oempty compact cove set i a topological vector space. If a fuctio ϕ : (, satisfies the followig coditios (i) for each, (ii) for each, ( ϕ is lower semicotiuous fuctio of y o, y ( ϕ is quasicocave fuctio of o. The the miima iequality mi supϕ( supϕ( ) holds. 3

3 Lassode [84] eteded the KKM theory to cove spaces by provig several variats of KKM theorems for cove spaces ad proposed a systematic developmet of the method based o the KKM theorem. The KKM theorem was further eteded to pseudocove spaces, cotractible spaces ad spaces with certai cotractible subsets or H-spaces by Horvath [66]-[67]. I these papers, most of the Fa s results i the KKM theory are eteded to H-spaces by replacig the coveity coditio by cotractibility. With these termiology, Par [68] established ew versios of KKM theorems, miima iequalities, ad others o H-spaces. Par ad Kim [69]-[73], Par [74]-[78] ad others eteded these results to more geeral spaces such as G-cove abstract cove ad KKM spaces. The purpose of this chapter is to preset a geeralized versio of the KKM theorem by usig the cocept of Chag ad Zhag [8]. As a applicatio of it, a geeralized miima iequality is obtaied ad a eistece result for the saddle-poit problem uder geeral settigs is derived. Cosequetly, a saddle poit theorem for two perso zero sum parametric game is also proved. Several eistig well ow results are obtaied as special cases. 5. PRLIMINARIS First we give basic defiitios used i our results. We follow [6], [8], [8],[85], [93], [95], [34] ad [35] for otatios ad prelimiaries. Defiitio 5.. [34]. A two-perso, zero-sum game G is defied by G = A, A, f, ) where, for i =,, we have (i) Ai is a fiite set of player i s actios, (ii) f i : A R, where A = A A, is player i s payoff fuctio, the player s payoff fuctios satisfy f a) + f ( a), for all a A. ( = ( f If we cosider two perso zero sum game geerated by fuctio f : Y R. This meas that the first player selects a poit from ad the secod player selects a poit y from Y. Because of this choice, the secod player pays the first oe the amout f (. Defiitio 5.. [35]. A poit * * (, y ) Y is said to be saddle poit of f i Y if 3

4 f ( *, * * * f (, y ) f ( y ) for all (, Y. * * A poit (, y ) Y is said to be a solutio of the game if ad oly if it is a saddle poit of f i Y. Defiitio 5..3 [93]. A two-perso zero-sum parametric game ( GP ) is defied by the followig form (, Y, f, g,, F ), where,. is a subset of a topological space, which is called the strategy set of player,. Y is a subset of a topological space, which is called the strategy set of player, 3. f : Y R ad g Y R, where R = (,, : + 4. is a real umber, which is called a parameter of the game, 5. F = f g : Y R, that is, for all (, Y, F ( = f ( g(, is a loss fuctio of player ad ( is a loss fuctio of player. F I geeral, F = if sup F ( is called the miimal worst loss of player ad F y Y = sup if F ( is called the maimal worst gai of player. y Y + We illustrate the above cocept of two perso zero sum parametric game by followig eample. ample 5... Cosider the sets =,,, }, Y = y, y, y, } ad parameter = y4 A fuctio f : Y R defied by the followig payoff matri y y y 3 y

5 ad g : Y R + by y y y 3 y Whe =, the F : Y R becomes y y y 3 y ad (, y3) is the saddle poit of the fuctio (. F KKM mappig i Hausdorff topological vector space is defied as follows. Defiitio 5..4 [6]. Let be a Hausdorff topological vector space ad be a oempty subset of. A multivalued mappig G :, that is, mappig with the values G( ), for each i, is called a KKM mappig if co,,..., } U G( ) for each fiite subset,,..., }. i i=,,..., }, where co,,..., } deotes the cove hull of the set Defiitio 5..5 [8]. Let be a oempty subset of a topological vector space. A multivalued mappig G : is called a geeralized KKM mappig, if for ay fiite set 33

6 ,..., }, there eists a fiite subset y,..., y} such that for ay subset y,..., yi } y,..., y }, i co y,..., y } U G ( ). i i i =, we have We eted this defiitio for two maps i the followig maer. Defiitio Let be a oempty subset of a topological vector space ad F, G :. The G is said to be a geeralized F-KKM mappig if for ay fiite set,..., } ad each i,..., i},,..., }, we have co U F ( )} U G ( ). i = = i It is remared that defiitio 5..6 becomes defiitio 5..5 whe F : ad F ( i ) = yi for each i,,..., }. I the followig eample we have show that cocept of F-KKM mappig is geeral tha KKM mappig. ample 5... Let = (,, = [, ]. Let F, G : be defied as F( ) = +,+ 3 3 ad G ( ) = +, Sice U G ( ) = [ 9/5,9/5], G ( ), [, 9/5) U (9/5, ]. So co,..., } U G( ) ad G is ot a KKM map. But it is a F-KKM map, sice i= i 5 U F( ) =, 3 3 ad 5 co U F( i )}, G( ) G( ). i = 3 5 = I U = Defiitio 5..7 [8]. Let be a topological vector space ad be a oempty cove subset of. A fuctio φ : (, is said to be γ geeralized quasicove i y for some γ (, if, for ay fiite subset y, y,..., y}, there is a fiite subset 34

7 ,..., } such that, for ay subset,..., },..., } ad ay co i,..., }, i we have γ maφ(, ). yi i i i Defiitio Let be a topological vector space ad be a oempty cove subset of. Y Let γ (, ad F :, where, Y. The the fuctio φ : (, is said to be F γ geeralized quasicove i y if for ay fiite subset y, y,..., y}, each i,..., i},,..., }, ad ay co U F( i )} Y = ad ay y i F( i ), we have γ ma φ(, y ). i i Notice that the fuctio φ becomes γ geeralized quasi cove i y whe F : Y ad F ( i ) = y i for each i,,..., }. Defiitio 5..9 [95]. Let ad Y be two topological spaces. A multivalued mappig F Y : is said to be trasfer closed valued o if, I F( ) = I F( ). Defiitio 5.. [85]. Let ad Y be two topological spaces. A multivalued mappig F Y : is said to be itersectioally closed valued o Y if, I F( ) = I F( ). Defiitio 5.. [8]. Let, Y be two topological spaces. The a fuctio f : Y R = R ± } is said to be (i) quasicocave i if for each y Y ad λ R, the set : f ( λ} is cove (ii) quasicove i y if for each ad λ R, the set y Y : f ( λ} is cove 35

8 (iii) (iv) upper semicotiuous (resp. geerally upper semicotiuous) i if for each y Y ad λ R, the set : f ( λ} is closed (resp. itersectioally closed), lower semicotiuous (resp. geerally lower semicotiuous) i y if for each ad λ R, the set y Y : f ( λ} is closed (resp. itersectioally closed). Defiitio 5.. [8]. Let, Y be two topological spaces. The a fuctio f : Y R = R ± } is said to be (i) trasfer upper semicotiuous i if for each λ R, ad all, y Y with f ( < λ there eists a eighbourhood V() of ad a poit y Y such that f ( z, y ) < λ for all z V (). (ii) trasfer lower semicotiuous i y if for each λ R, ad all, y Y with f ( > λ there eists a eighbourhood V( of y ad a poit such that f (, u) > λ for all u V (. Defiitio 5..3 [35]. Let ad Y be two topological spaces. A fuctio φ : Y (, is said to be (i) (ii) γ trasfer lower semicotiuous fuctio i for some γ (, if, for all ad y Y with φ (, > γ, there eists some y Y ad some eighborhood N() of such that φ ( z, y ) > γ for all z N(). γ trasfer upper semicotiuous fuctio i y for some γ (, if, for all ad y Y with φ (, < γ, there eists some Y ad some eighborhood N( of y such that φ (, u) < γ for all u N(. Defiitio Let, Y be two oempty sets. The mappig = = surective if F( ) U F( ) Y. F Y : is said to be 36

9 5.3 GNRALIZD KKM THORMS AND THIR APPLICATIONS First we prove the mai result of this sectio which will be used i the sequel. Theorem Let be a oempty cove subset of a Hausdorff topological vector space. Let G : be a multivalued mappig such that for each, G() is fiitely closed. The the family of sets G( ) : } has a fiite itersectio property if ad oly if the mappig G is a geeralized F-KKM mappig for some mappig F :. Proof. Let G( )} has fiite itersectio property. The for ay fiite subset,,..., }, I G( ). Taig I G( ), ad defie i = i φ * i = i F : by F ) = } for each. The for each i,..., i},,..., }, we have ( * co U F( i ) = co * } = * } G( U i = = ). This implies that G : is a geeralized F-KKM mappig. Now cosider G : to be a geeralized F-KKM mappig, F : ad suppose the family G( ) : } does ot have the fiite itersectio property, i.e., there eists some fiite subset,,..., } such that I G( ) =. Sice G is a geeralized F-KKM i = i φ mappig, the for each i,..., i },,..., }, we have co U F( i ) G( ). U i = particular, co ( )} G( ) F for each i,,..., }. i i = I Let S = co y, y,..., y}, L = spa y, y,..., y}. The S L. Sice G is fiitely closed, G( i ) I L is a closed set. Let d be the uclidea metric o L. It is easy to see that d L I G( )) > L I G( ) (5.3.) ( i i Now we defie a fuctio f : S [, as f ( c) = d( c, L I G( i )) y i i= It follows from (5.3.) ad I G( = φ that for each c S, f ( c) >. Let i = i ) 37

10 R( c) = d( c, L I G( i )) y i. (5.3.) i= f ( c) Thus R is a cotiuous fuctio from S ito S. By the Brouwer fied poit theorem, there eists a elemet Deote c * S such that c* = F( c* ) = d( c*, L I G( i )) y i (5.3.3) f ( c) i= I = i,,..., }: d( c*, G( i ) I L > ). (5.3.4) The for each i I, c G( i ) I. Sice c, c G( ), i I, so we have * i i I * L * L * i c U G( ) (5.3.5) From (5.3.3) ad (5.3.4), we have c = d( c, LI G( i)) yi co( yi : i I}. * * i I f( c* ) However, sice G is a geeralized F-KKM mappig from ito, which follows that co U F( i ) U G( ). i Therefore we have = = c co( y : i I} U G( ). (5.3.6) * i i i I This cotradicts (5.3.5). Hece G( ) : } has the fiite itersectio property. This completes the proof. It is remared that if F : is defied as a sigle valued map with F ( i ) = yi for each i,,..., }, the above result implies the followig results of Chag ad Zhag [8, Theorem 3.]. Corollary 5.3. [8]. Let be a oempty cove subset of a Hausdorff topological vector space. Let G : be a multivalued mappig such that for each, G() is fiitely closed. The the family of sets G( ) : } has the fiite itersectio property if ad oly if the mappig G is a geeralized KKM mappig. Followig is a geeralized versio of the KKM mappig theorem. 38

11 Theorem Let Y be a oempty cove subset of a Hausdorff topological vector space, φ Y ad maps F, G : with G a itersectioally closed valued map of Y. Furthermore, assume that there eists a oempty subset, cotaied i some precompact cove subset Y of Y, such that G( ) is compact subset of Y for at least oe ad let : be a geeralized F-KKM mappig. The I G( ) φ. G Proof. For ay fiite subset,,..., } of, let = U,,..., }. Sice Y is a precompact cove subset of Y, the cove hull of Y U,,..., } is also a compact cove subset of Y, ad deote it by K. For each y, let T ( = G( I K. Sice G( is itersectioally closed valued map of Y ad K is a compact subset of Y, each T( is also compact. Further, sice : is defied by ( ) G( ) G G = for each ad G is a geeralized F-KKM mappig with closed values. So, we ca easily show that T is also a F- KKM map. Therefore, by Theorem 5.3., we have I T ( φ. Hece we have φ I T ( ) = = I G( ) I K I I G( G( ) I G( ) I... I G( ) I G( ) I... I G( Let C deotes the compact set I G ). The we have I G( ) I C φ for every fiite ( subset,,..., }. Sice each G() is a itersectioally closed valued map of Y ad ) ). i= i C is a compact subset of Y, each G( ) I C is also a compact subset of Y. Sice the family G( ) I C } has the fiite itersectio property, we have I G( ) I C = I G( ) φ. This completes the proof. Followig Corollary is the special case of Theorem Corollary Let be a oempty cove subset of a Hausdorff topological vector space ad maps F, G : with G a itersectioally closed valued map such that 39

12 G ) = K ( is compact for at least oe ad let mappig. The I G( ) φ. Proof. Sice : is defied by ( ) G( ) G G : be a geeralized F-KKM G = for each, we have that G is a geeralized F-KKM mappig with closed values. By Theorem 5.3. the family of sets G( ) : } has the fiite itersectio property. Sice G ) is compact, we have I G( ) φ. Sice G is itersectioally closed valued mappig I G( ) = I G( ) φ. ( Notice that if F : be a sigle valued map ad F ( i ) = yi for each i,,..., }, the Corollary 5.3. cotais the result of Asari et al [79, Th..]. Corollary [79]. Let be a oempty cove subset of a Hausdorff topological vector space ad map : with G a trasfer closed valued map such that G ) = K G ( is compact for at least oe I G( ) φ. ad let G : be a geeralized KKM mappig. The The relatio betwee geeralized F-KKM mappigs ad (quasi-cocavit is the followig. S γ geeralized quasi-coveity Theorem Let be a oempty cove subset of a topological vector space. Let φ : (,, γ (, ad F :. The the followig are equivalet (i) The mappig G : defied by G( = : φ( z) γ,for all z F( )} [ resp. G( = : φ( z) γ,for all z F( )} for each y is a geeralized F-KKM mappig. (ii) φ( is S γ geeralized quasi-cocave, [resp. S γ quasicove] i y. geeralized 4

13 Proof. For the sae of simplicity, we prove the coclusio oly for the first case i (i) ad (ii). The other case ca be proved similarly. ( i) ( ii). Sice G : is a geeralized F-KKM mappig, for ay fiite set,,..., }, ad each i,..., i},,..., }, we have co U F( i ) G( U = = i ) ad hece for ay y co U F( i ), y G( i ). U So there = eists some m,,..., }, such that G( ), z F ). Therefore, we have im ( i m y i m mi(, zi ) γ for all z F ). im = y so we have ϕ( y, ) γ ( i m z im for all i.e. ϕ is F-γ geeralized quasi-cocave i y. ( ii) ( i). Sice ϕ is F- γ geeralized quasi-cocave i y, for ay fiite set,,..., }, each i,..., i},,..., }, ad ay y co U F( i ), = miϕ ( y, zi ) γ for all z F ). im Hece there eists some m : m, such that ϕ y, ) γ for all z F ). This shows that y G( ) ad hece y UG( ). i m i = ( i m ( z i m im ( im By the arbitrariess of y co U F( ) i, we have = co U F( i ) G( U = = i ). This implies that G : is a geeralized F-KKM mappig. Let = be a topological vector space, G : defied by G ( = : φ( γ} ( resp. G( = : φ( γ}) for each y be a geeralized KKM mappig, ψ ( is a γ geeralized quasicocave (resp., cove) fuctio i y ad F : be a sigle valued map, F ( i ) = yi for each i,,..., }, the Theorem 5.3. implies Propositio 3. of Asari et al [79]. 4

14 Corollary [79]. Let be a oempty cove subset of a topological vector space. Let φ : (, ad γ (,. The the followig are equivalet. (ii) The mappig G : defied by G ( = : φ( γ} [ resp. G( = : φ( γ}] is a geeralized KKM mappig. (iii) φ( is γ geeralized quasi-cocave, [resp. γ geeralized quasicove] i y. Some Applicatios As applicatios of the above results we preset miima ad saddle poit results. First we state ad prove the followig geeral miima iequality. Theorem Let be a oempty closed cove subset of a Hausdorff topological vector space ad F :. Let γ (, be give umber ad maps φ, ψ : (, satisfy the followig coditios. (i) For ay fied, y φ( is a γ geerally lower semicotiuous fuctio i. (ii) For ay fied, ψ ( is a F-γ geeralized quasicocave fuctio i y. (iii) φ( ψ ( for all (,. (iv) The set : φ( y ) γ} is precompact for at least oe y. The there eists such that if sup φ( z) γ. z F ( ) Proof. Defie maps T, G : by T ( = : ψ ( z) γ for all z F( )} ad G( = : φ ( z) γ for all z F( )}. Coditio (i) implies that G is a itersectioally closed-valued mappig o. Ideed, if G(, the φ (, z) > γ. Sice φ( is γ geerally lower semicotiuous fuctio i there eists a y ad a eighborhood N() of such that φ ( r, y ) > γ, for all r N(). The G( y ) \ N( ). Hece G( y ). Thus G is itersectioally closed-valued. From coditio (ii) ad Theorem 5.3., T is a geeralized F-KKM mappig. From coditio (iii), we 4

15 have T ( G(, ad hece G is also geeralized F-KKM mappig. So G is also geeralized F-KKM mappig. By coditio (iv) G y ) is precompact. Hece, G y ) ( ( is compact. Now by Theorem 5.3.., it follows that I G( ) φ. Therefore, there eists such that φ( z) γ, for all z F( ). I particular, we have if sup φ( z) γ. This completes the proof. z F ( ) It is remared that If F :, F ( i ) = yi for each i,,..., } ad ψ ( is a γ geeralized quasicocave fuctio i y. The Theorem implies Theorem 3. of Asari et al [79]. Corollary [79]. Let be a oempty closed cove subset of a Hausdorff topological vector space. Let γ (, be give umber, ad maps φ, ψ : (, satisfy the followig coditios. (v) For ay fied y, φ( is a γ trasfer lower semicotiuous fuctio i. (vi) For ay fied, ψ ( is a γ geeralized quasicocave fuctio i y. (vii) φ( ψ (, for all (,. (viii) The set : φ( y ) γ} is precompact for at least oe y. The there eists such that if sup φ( γ, z F ( ) for all y. We ow preset the followig saddle poit results. First, we preset a saddle poit theorem for γ geerally lower semicotiuous (upper) fuctio i ad F- γ geeralized quasicocave (cove) fuctio i a Hausdorff topological vector space usig Theorem Theorem Let be a oempty closed cove subset of a Hausdorff topological vector space ad F :. Let γ (, be give umber, F ad let φ : (, satisfy the followig coditios. : a surective mappig 43

16 (i) φ( is a γ geerally lower semicotiuous fuctio i ad F- γ geeralized quasicocave fuctio i y. (ii) φ( is a γ geerally upper semicotiuous fuctio i y ad F- γ geeralized quasicove fuctio i. (iii) There eists, y such that the sets : φ( y) γ} ad y : φ(, γ} are precompact. The, there eists a saddle poit of φ ( ; that is, there eists (, such that φ( φ( φ(, for all y. Moreover, we also have if supφ ( = sup if φ( = γ. Proof. By Theorem with φ = ψ, there eists such that Sice F is surective, the φ(, z) γ, for all z F(. sup if φ( z) = sup if φ( ad hece Z F ( φ(, γ, for all y. (5.3.7) Let f : (, be defied as f ( y, ) = φ (. By assumptio (ii) f ( is γ geerally lower semicotiuous fuctio i ad F γ geeralized quasicocave fuctio i y. Therefore, agai by Theorem 5.3.4, there eists y such that sup if φ ( z, z F ( ) = if z F ( ) sup f ( y, z) Note that F is surective. The if supφ( z, = if supφ( ( ) z F ad hece φ(, γ, for all. (5.3.8) Combiig (5.3.7) ad (5.3.8) we have φ ( = γ ad φ( φ( φ(, for all y. (5.3.9) Fially, agai by (5.3.7) ad (5.3.8), we get supif φ( if supφ( 44

17 supφ( φ( if φ( by (5.3.9) supif φ(. Cosequetly, if supφ ( = sup if φ( = γ. This completes the proof. Let φ ( be a quasicocave fuctio i y ad γ geeralized quasicove fuctio i F :, F ( i ) = yi for each i,,..., }. The Theorem implies Theorem 3. of Asari et al [79]. Corollary [79]. Let be a oempty closed cove subset of a Hausdorff topological vector space. Let γ (, be give umber. Suppose that φ : (, satisfy the followig coditios. (i) φ( is a γ trasfer lower semicotiuous fuctio i ad γ geeralized quasicocave fuctio i y. (ii) φ( is a γ trasfer upper semicotiuous fuctio i y ad γ geeralized quasicove fuctio i. (iii) There eists, y such that the sets : φ( y) γ} ad y : φ(, γ} are precompact. The, there eists a saddle poit of φ ( ; that is, there eists (, such that φ( φ( φ(, for all y. Moreover, we also have if supφ ( = sup if φ( = γ. Now we preset the saddle poit theorem for parametric games i topological vector spaces. Theorem Let ad F be two Hausdorff topological vector space ad let ad Y F be two oempty closed cove subsets. Let γ (, be give umber, F be a surective mappig ad let G = f g : Y Rsatisfy the followig coditios. 45

18 (i) f ( is a γ geerally lower semicotiuous fuctio i ad F- γ geeralized quasicove fuctio i y. (ii) f ( is a γ geerally upper semicotiuous fuctio i y ad F- γ geeralized quasicocave fuctio i. (iii) g ( is a γ geerally lower semicotiuous fuctio i y ad F- γ geeralized quasicove fuctio i. (iv) g( is a γ geerally upper semicotiuous fuctio i ad F- γ geeralized quasicocave fuctio i y. (v) There eists, y such that the sets : G ( y) γ} ad y : G (, γ} are precompact. The, there eists a saddle poit of G ( ; that is, there eists (, such that G ( G ( G (, for all y. Moreover, we also have if supg ( = sup if G ( = Proof. Sice, from (ii) ad (iii) i the theorem, it follows that the fuctio G ( is γ geerally upper semicotiuous fuctio i y ad F- γ geeralized quasicocave fuctio i. Similarly G ( is γ geeralized lower semicotiuous fuctio i ad F- γ geeralized quasicove fuctio i y. The from Theorem 5.4.5, ( has a saddle poit (, Y. γ. G The followig result is derived from Theorem Corollary Let ad F be two Hausdorff topological vector spaces ad let ad Y F be two oempty closed cove subsets. Let γ (, be give umber ad let G = f g : Y Rsatisfy the followig coditios. (i) f ( is a γ trasfer lower semicotiuous fuctio i ad γ quasicove fuctio i y. (ii) f ( is a γ trasfer upper semicotiuous fuctio i y ad γ quasicocave fuctio i. (iii) g ( is a γ trasfer lower semicotiuous fuctio i y ad γ quasicove fuctio i. geeralized geeralized geeralized 46

19 (iv) g( is a γ trasfer upper semicotiuous fuctio i ad γ geeralized quasicocave fuctio i y. (v) There eists, y such that the sets : G ( y) γ} ad y : G (, γ} are precompact. The, there eists a saddle poit of G ( ; that is, there eists (, such that G ( G ( G (, for all y. Moreover, we also have if supg ( = sup if G ( = γ. As a illustratio we give the followig eample. ample Cosider the followig payoff matri 3 F = 4 Let the strategies p ad q of the players ad be give respectively by p = ( ) ad q = ( y,, where, y [, ]. The we have 3 y F( p, q) = ( ) 4 y = 3y + ( + ( ) y + 4( )( = 4y 3 y + 4 = f (. Now we have fuctio f ( = 4y 3 y + 4, y [, ], whose graph is give lie this:

20 This fuctio is cotiuous so both upper ad lower semicotiuous ad cove so both quasicove ad quasicocave. Now the slope of this fuctio is f (, f ( = (4y 3, 4 ), which is for y = / ad y = 3/ 4. Now f ( / + ε, 3/ 4 + δ ) = 5/ + 4εδ yields that the poit ( /, 3/ 4) is a saddle poit ad the value of the game is F ( p, q) = 5/. 48

Lecture Notes for Analysis Class

Lecture Notes for Analysis Class Lecture Notes for Aalysis Class Topological Spaces A topology for a set X is a collectio T of subsets of X such that: (a) X ad the empty set are i T (b) Uios of elemets of T are i T (c) Fiite itersectios

More information

If a subset E of R contains no open interval, is it of zero measure? For instance, is the set of irrationals in [0, 1] is of measure zero?

If a subset E of R contains no open interval, is it of zero measure? For instance, is the set of irrationals in [0, 1] is of measure zero? 2 Lebesgue Measure I Chapter 1 we defied the cocept of a set of measure zero, ad we have observed that every coutable set is of measure zero. Here are some atural questios: If a subset E of R cotais a

More information

Product measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014.

Product measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014. Product measures, Toelli s ad Fubii s theorems For use i MAT3400/4400, autum 2014 Nadia S. Larse Versio of 13 October 2014. 1. Costructio of the product measure The purpose of these otes is to preset the

More information

Math Solutions to homework 6

Math Solutions to homework 6 Math 175 - Solutios to homework 6 Cédric De Groote November 16, 2017 Problem 1 (8.11 i the book): Let K be a compact Hermitia operator o a Hilbert space H ad let the kerel of K be {0}. Show that there

More information

62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 +

62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + 62. Power series Defiitio 16. (Power series) Give a sequece {c }, the series c x = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + is called a power series i the variable x. The umbers c are called the coefficiets of

More information

Week 5-6: The Binomial Coefficients

Week 5-6: The Binomial Coefficients Wee 5-6: The Biomial Coefficiets March 6, 2018 1 Pascal Formula Theorem 11 (Pascal s Formula For itegers ad such that 1, ( ( ( 1 1 + 1 The umbers ( 2 ( 1 2 ( 2 are triagle umbers, that is, The petago umbers

More information

Convergence of random variables. (telegram style notes) P.J.C. Spreij

Convergence of random variables. (telegram style notes) P.J.C. Spreij Covergece of radom variables (telegram style otes).j.c. Spreij this versio: September 6, 2005 Itroductio As we kow, radom variables are by defiitio measurable fuctios o some uderlyig measurable space

More information

Measure and Measurable Functions

Measure and Measurable Functions 3 Measure ad Measurable Fuctios 3.1 Measure o a Arbitrary σ-algebra Recall from Chapter 2 that the set M of all Lebesgue measurable sets has the followig properties: R M, E M implies E c M, E M for N implies

More information

Boundaries and the James theorem

Boundaries and the James theorem Boudaries ad the James theorem L. Vesely 1. Itroductio The followig theorem is importat ad well kow. All spaces cosidered here are real ormed or Baach spaces. Give a ormed space X, we deote by B X ad S

More information

Infinite Sequences and Series

Infinite Sequences and Series Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet

More information

Definition 4.2. (a) A sequence {x n } in a Banach space X is a basis for X if. unique scalars a n (x) such that x = n. a n (x) x n. (4.

Definition 4.2. (a) A sequence {x n } in a Banach space X is a basis for X if. unique scalars a n (x) such that x = n. a n (x) x n. (4. 4. BASES I BAACH SPACES 39 4. BASES I BAACH SPACES Sice a Baach space X is a vector space, it must possess a Hamel, or vector space, basis, i.e., a subset {x γ } γ Γ whose fiite liear spa is all of X ad

More information

Brief Review of Functions of Several Variables

Brief Review of Functions of Several Variables Brief Review of Fuctios of Several Variables Differetiatio Differetiatio Recall, a fuctio f : R R is differetiable at x R if ( ) ( ) lim f x f x 0 exists df ( x) Whe this limit exists we call it or f(

More information

FIXED POINTS OF n-valued MULTIMAPS OF THE CIRCLE

FIXED POINTS OF n-valued MULTIMAPS OF THE CIRCLE FIXED POINTS OF -VALUED MULTIMAPS OF THE CIRCLE Robert F. Brow Departmet of Mathematics Uiversity of Califoria Los Ageles, CA 90095-1555 e-mail: rfb@math.ucla.edu November 15, 2005 Abstract A multifuctio

More information

Axioms of Measure Theory

Axioms of Measure Theory MATH 532 Axioms of Measure Theory Dr. Neal, WKU I. The Space Throughout the course, we shall let X deote a geeric o-empty set. I geeral, we shall ot assume that ay algebraic structure exists o X so that

More information

Different kinds of Mathematical Induction

Different kinds of Mathematical Induction Differet ids of Mathematical Iductio () Mathematical Iductio Give A N, [ A (a A a A)] A N () (First) Priciple of Mathematical Iductio Let P() be a propositio (ope setece), if we put A { : N p() is true}

More information

Math 61CM - Solutions to homework 3

Math 61CM - Solutions to homework 3 Math 6CM - Solutios to homework 3 Cédric De Groote October 2 th, 208 Problem : Let F be a field, m 0 a fixed oegative iteger ad let V = {a 0 + a x + + a m x m a 0,, a m F} be the vector space cosistig

More information

The Boolean Ring of Intervals

The Boolean Ring of Intervals MATH 532 Lebesgue Measure Dr. Neal, WKU We ow shall apply the results obtaied about outer measure to the legth measure o the real lie. Throughout, our space X will be the set of real umbers R. Whe ecessary,

More information

Theorem 3. A subset S of a topological space X is compact if and only if every open cover of S by open sets in X has a finite subcover.

Theorem 3. A subset S of a topological space X is compact if and only if every open cover of S by open sets in X has a finite subcover. Compactess Defiitio 1. A cover or a coverig of a topological space X is a family C of subsets of X whose uio is X. A subcover of a cover C is a subfamily of C which is a cover of X. A ope cover of X is

More information

Chapter 0. Review of set theory. 0.1 Sets

Chapter 0. Review of set theory. 0.1 Sets Chapter 0 Review of set theory Set theory plays a cetral role i the theory of probability. Thus, we will ope this course with a quick review of those otios of set theory which will be used repeatedly.

More information

A NOTE ON INVARIANT SETS OF ITERATED FUNCTION SYSTEMS

A NOTE ON INVARIANT SETS OF ITERATED FUNCTION SYSTEMS Acta Math. Hugar., 2007 DOI: 10.1007/s10474-007-7013-6 A NOTE ON INVARIANT SETS OF ITERATED FUNCTION SYSTEMS L. L. STACHÓ ad L. I. SZABÓ Bolyai Istitute, Uiversity of Szeged, Aradi vértaúk tere 1, H-6720

More information

Chapter 2. Periodic points of toral. automorphisms. 2.1 General introduction

Chapter 2. Periodic points of toral. automorphisms. 2.1 General introduction Chapter 2 Periodic poits of toral automorphisms 2.1 Geeral itroductio The automorphisms of the two-dimesioal torus are rich mathematical objects possessig iterestig geometric, algebraic, topological ad

More information

Sequences and Series of Functions

Sequences and Series of Functions Chapter 6 Sequeces ad Series of Fuctios 6.1. Covergece of a Sequece of Fuctios Poitwise Covergece. Defiitio 6.1. Let, for each N, fuctio f : A R be defied. If, for each x A, the sequece (f (x)) coverges

More information

Singular Continuous Measures by Michael Pejic 5/14/10

Singular Continuous Measures by Michael Pejic 5/14/10 Sigular Cotiuous Measures by Michael Peic 5/4/0 Prelimiaries Give a set X, a σ-algebra o X is a collectio of subsets of X that cotais X ad ad is closed uder complemetatio ad coutable uios hece, coutable

More information

The Choquet Integral with Respect to Fuzzy-Valued Set Functions

The Choquet Integral with Respect to Fuzzy-Valued Set Functions The Choquet Itegral with Respect to Fuzzy-Valued Set Fuctios Weiwei Zhag Abstract The Choquet itegral with respect to real-valued oadditive set fuctios, such as siged efficiecy measures, has bee used i

More information

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 19 11/17/2008 LAWS OF LARGE NUMBERS II THE STRONG LAW OF LARGE NUMBERS

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 19 11/17/2008 LAWS OF LARGE NUMBERS II THE STRONG LAW OF LARGE NUMBERS MASSACHUSTTS INSTITUT OF TCHNOLOGY 6.436J/5.085J Fall 2008 Lecture 9 /7/2008 LAWS OF LARG NUMBRS II Cotets. The strog law of large umbers 2. The Cheroff boud TH STRONG LAW OF LARG NUMBRS While the weak

More information

PRACTICE FINAL/STUDY GUIDE SOLUTIONS

PRACTICE FINAL/STUDY GUIDE SOLUTIONS Last edited December 9, 03 at 4:33pm) Feel free to sed me ay feedback, icludig commets, typos, ad mathematical errors Problem Give the precise meaig of the followig statemets i) a f) L ii) a + f) L iii)

More information

Integrable Functions. { f n } is called a determining sequence for f. If f is integrable with respect to, then f d does exist as a finite real number

Integrable Functions. { f n } is called a determining sequence for f. If f is integrable with respect to, then f d does exist as a finite real number MATH 532 Itegrable Fuctios Dr. Neal, WKU We ow shall defie what it meas for a measurable fuctio to be itegrable, show that all itegral properties of simple fuctios still hold, ad the give some coditios

More information

A NOTE ON SPECTRAL CONTINUITY. In Ho Jeon and In Hyoun Kim

A NOTE ON SPECTRAL CONTINUITY. In Ho Jeon and In Hyoun Kim Korea J. Math. 23 (2015), No. 4, pp. 601 605 http://dx.doi.org/10.11568/kjm.2015.23.4.601 A NOTE ON SPECTRAL CONTINUITY I Ho Jeo ad I Hyou Kim Abstract. I the preset ote, provided T L (H ) is biquasitriagular

More information

Vector Spaces and Vector Subspaces. Remarks. Euclidean Space

Vector Spaces and Vector Subspaces. Remarks. Euclidean Space Vector Spaces ad Vector Subspaces Remarks Let be a iteger. A -dimesioal vector is a colum of umbers eclosed i brackets. The umbers are called the compoets of the vector. u u u u Euclidea Space I Euclidea

More information

f n (x) f m (x) < ɛ/3 for all x A. By continuity of f n and f m we can find δ > 0 such that d(x, x 0 ) < δ implies that

f n (x) f m (x) < ɛ/3 for all x A. By continuity of f n and f m we can find δ > 0 such that d(x, x 0 ) < δ implies that Lecture 15 We have see that a sequece of cotiuous fuctios which is uiformly coverget produces a limit fuctio which is also cotiuous. We shall stregthe this result ow. Theorem 1 Let f : X R or (C) be a

More information

b i u x i U a i j u x i u x j

b i u x i U a i j u x i u x j M ath 5 2 7 Fall 2 0 0 9 L ecture 1 9 N ov. 1 6, 2 0 0 9 ) S ecod- Order Elliptic Equatios: Weak S olutios 1. Defiitios. I this ad the followig two lectures we will study the boudary value problem Here

More information

Math Homotopy Theory Spring 2013 Homework 6 Solutions

Math Homotopy Theory Spring 2013 Homework 6 Solutions Math 527 - Homotopy Theory Sprig 2013 Homework 6 Solutios Problem 1. (The Hopf fibratio) Let S 3 C 2 = R 4 be the uit sphere. Stereographic projectio provides a homeomorphism S 2 = CP 1, where the North

More information

Supplemental Material: Proofs

Supplemental Material: Proofs Proof to Theorem Supplemetal Material: Proofs Proof. Let be the miimal umber of traiig items to esure a uique solutio θ. First cosider the case. It happes if ad oly if θ ad Rak(A) d, which is a special

More information

(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3

(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3 MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special

More information

Lecture 4: Grassmannians, Finite and Affine Morphisms

Lecture 4: Grassmannians, Finite and Affine Morphisms 18.725 Algebraic Geometry I Lecture 4 Lecture 4: Grassmaias, Fiite ad Affie Morphisms Remarks o last time 1. Last time, we proved the Noether ormalizatio lemma: If A is a fiitely geerated k-algebra, the,

More information

1.3 Convergence Theorems of Fourier Series. k k k k. N N k 1. With this in mind, we state (without proof) the convergence of Fourier series.

1.3 Convergence Theorems of Fourier Series. k k k k. N N k 1. With this in mind, we state (without proof) the convergence of Fourier series. .3 Covergece Theorems of Fourier Series I this sectio, we preset the covergece of Fourier series. A ifiite sum is, by defiitio, a limit of partial sums, that is, a cos( kx) b si( kx) lim a cos( kx) b si(

More information

6.3 Testing Series With Positive Terms

6.3 Testing Series With Positive Terms 6.3. TESTING SERIES WITH POSITIVE TERMS 307 6.3 Testig Series With Positive Terms 6.3. Review of what is kow up to ow I theory, testig a series a i for covergece amouts to fidig the i= sequece of partial

More information

Lecture 2. The Lovász Local Lemma

Lecture 2. The Lovász Local Lemma Staford Uiversity Sprig 208 Math 233A: No-costructive methods i combiatorics Istructor: Ja Vodrák Lecture date: Jauary 0, 208 Origial scribe: Apoorva Khare Lecture 2. The Lovász Local Lemma 2. Itroductio

More information

2.4 Sequences, Sequences of Sets

2.4 Sequences, Sequences of Sets 72 CHAPTER 2. IMPORTANT PROPERTIES OF R 2.4 Sequeces, Sequeces of Sets 2.4.1 Sequeces Defiitio 2.4.1 (sequece Let S R. 1. A sequece i S is a fuctio f : K S where K = { N : 0 for some 0 N}. 2. For each

More information

1. By using truth tables prove that, for all statements P and Q, the statement

1. By using truth tables prove that, for all statements P and Q, the statement Author: Satiago Salazar Problems I: Mathematical Statemets ad Proofs. By usig truth tables prove that, for all statemets P ad Q, the statemet P Q ad its cotrapositive ot Q (ot P) are equivalet. I example.2.3

More information

Assignment 5: Solutions

Assignment 5: Solutions McGill Uiversity Departmet of Mathematics ad Statistics MATH 54 Aalysis, Fall 05 Assigmet 5: Solutios. Let y be a ubouded sequece of positive umbers satisfyig y + > y for all N. Let x be aother sequece

More information

ABOUT CHAOS AND SENSITIVITY IN TOPOLOGICAL DYNAMICS

ABOUT CHAOS AND SENSITIVITY IN TOPOLOGICAL DYNAMICS ABOUT CHAOS AND SENSITIVITY IN TOPOLOGICAL DYNAMICS EDUARD KONTOROVICH Abstract. I this work we uify ad geeralize some results about chaos ad sesitivity. Date: March 1, 005. 1 1. Symbolic Dyamics Defiitio

More information

Chapter 3. Strong convergence. 3.1 Definition of almost sure convergence

Chapter 3. Strong convergence. 3.1 Definition of almost sure convergence Chapter 3 Strog covergece As poited out i the Chapter 2, there are multiple ways to defie the otio of covergece of a sequece of radom variables. That chapter defied covergece i probability, covergece i

More information

2.1. The Algebraic and Order Properties of R Definition. A binary operation on a set F is a function B : F F! F.

2.1. The Algebraic and Order Properties of R Definition. A binary operation on a set F is a function B : F F! F. CHAPTER 2 The Real Numbers 2.. The Algebraic ad Order Properties of R Defiitio. A biary operatio o a set F is a fuctio B : F F! F. For the biary operatios of + ad, we replace B(a, b) by a + b ad a b, respectively.

More information

Chapter 7 Isoperimetric problem

Chapter 7 Isoperimetric problem Chapter 7 Isoperimetric problem Recall that the isoperimetric problem (see the itroductio its coectio with ido s proble) is oe of the most classical problem of a shape optimizatio. It ca be formulated

More information

Solution. 1 Solutions of Homework 1. Sangchul Lee. October 27, Problem 1.1

Solution. 1 Solutions of Homework 1. Sangchul Lee. October 27, Problem 1.1 Solutio Sagchul Lee October 7, 017 1 Solutios of Homework 1 Problem 1.1 Let Ω,F,P) be a probability space. Show that if {A : N} F such that A := lim A exists, the PA) = lim PA ). Proof. Usig the cotiuity

More information

Disjoint Systems. Abstract

Disjoint Systems. Abstract Disjoit Systems Noga Alo ad Bey Sudaov Departmet of Mathematics Raymod ad Beverly Sacler Faculty of Exact Scieces Tel Aviv Uiversity, Tel Aviv, Israel Abstract A disjoit system of type (,,, ) is a collectio

More information

An Introduction to Randomized Algorithms

An Introduction to Randomized Algorithms A Itroductio to Radomized Algorithms The focus of this lecture is to study a radomized algorithm for quick sort, aalyze it usig probabilistic recurrece relatios, ad also provide more geeral tools for aalysis

More information

Math 4707 Spring 2018 (Darij Grinberg): homework set 4 page 1

Math 4707 Spring 2018 (Darij Grinberg): homework set 4 page 1 Math 4707 Sprig 2018 Darij Griberg): homewor set 4 page 1 Math 4707 Sprig 2018 Darij Griberg): homewor set 4 due date: Wedesday 11 April 2018 at the begiig of class, or before that by email or moodle Please

More information

FUNDAMENTALS OF REAL ANALYSIS by. V.1. Product measures

FUNDAMENTALS OF REAL ANALYSIS by. V.1. Product measures FUNDAMENTALS OF REAL ANALSIS by Doğa Çömez V. PRODUCT MEASURE SPACES V.1. Product measures Let (, A, µ) ad (, B, ν) be two measure spaces. I this sectio we will costruct a product measure µ ν o that coicides

More information

M A T H F A L L CORRECTION. Algebra I 1 4 / 1 0 / U N I V E R S I T Y O F T O R O N T O

M A T H F A L L CORRECTION. Algebra I 1 4 / 1 0 / U N I V E R S I T Y O F T O R O N T O M A T H 2 4 0 F A L L 2 0 1 4 HOMEWORK ASSIGNMENT #4 CORRECTION Algebra I 1 4 / 1 0 / 2 0 1 4 U N I V E R S I T Y O F T O R O N T O P r o f e s s o r : D r o r B a r - N a t a Correctio Homework Assigmet

More information

Sequences A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence

Sequences A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence Sequeces A sequece of umbers is a fuctio whose domai is the positive itegers. We ca see that the sequece 1, 1, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet

More information

1 Introduction. 1.1 Notation and Terminology

1 Introduction. 1.1 Notation and Terminology 1 Itroductio You have already leared some cocepts of calculus such as limit of a sequece, limit, cotiuity, derivative, ad itegral of a fuctio etc. Real Aalysis studies them more rigorously usig a laguage

More information

BETWEEN QUASICONVEX AND CONVEX SET-VALUED MAPPINGS. 1. Introduction. Throughout the paper we denote by X a linear space and by Y a topological linear

BETWEEN QUASICONVEX AND CONVEX SET-VALUED MAPPINGS. 1. Introduction. Throughout the paper we denote by X a linear space and by Y a topological linear BETWEEN QUASICONVEX AND CONVEX SET-VALUED MAPPINGS Abstract. The aim of this paper is to give sufficiet coditios for a quasicovex setvalued mappig to be covex. I particular, we recover several kow characterizatios

More information

8. Applications To Linear Differential Equations

8. Applications To Linear Differential Equations 8. Applicatios To Liear Differetial Equatios 8.. Itroductio 8.. Review Of Results Cocerig Liear Differetial Equatios Of First Ad Secod Orders 8.3. Eercises 8.4. Liear Differetial Equatios Of Order N 8.5.

More information

CHAPTER 5. Theory and Solution Using Matrix Techniques

CHAPTER 5. Theory and Solution Using Matrix Techniques A SERIES OF CLASS NOTES FOR 2005-2006 TO INTRODUCE LINEAR AND NONLINEAR PROBLEMS TO ENGINEERS, SCIENTISTS, AND APPLIED MATHEMATICIANS DE CLASS NOTES 3 A COLLECTION OF HANDOUTS ON SYSTEMS OF ORDINARY DIFFERENTIAL

More information

Application to Random Graphs

Application to Random Graphs A Applicatio to Radom Graphs Brachig processes have a umber of iterestig ad importat applicatios. We shall cosider oe of the most famous of them, the Erdős-Réyi radom graph theory. 1 Defiitio A.1. Let

More information

The log-behavior of n p(n) and n p(n)/n

The log-behavior of n p(n) and n p(n)/n Ramauja J. 44 017, 81-99 The log-behavior of p ad p/ William Y.C. Che 1 ad Ke Y. Zheg 1 Ceter for Applied Mathematics Tiaji Uiversity Tiaji 0007, P. R. Chia Ceter for Combiatorics, LPMC Nakai Uivercity

More information

Lecture 3 : Random variables and their distributions

Lecture 3 : Random variables and their distributions Lecture 3 : Radom variables ad their distributios 3.1 Radom variables Let (Ω, F) ad (S, S) be two measurable spaces. A map X : Ω S is measurable or a radom variable (deoted r.v.) if X 1 (A) {ω : X(ω) A}

More information

Mathematical Induction

Mathematical Induction Mathematical Iductio Itroductio Mathematical iductio, or just iductio, is a proof techique. Suppose that for every atural umber, P() is a statemet. We wish to show that all statemets P() are true. I a

More information

A constructive analysis of convex-valued demand correspondence for weakly uniformly rotund and monotonic preference

A constructive analysis of convex-valued demand correspondence for weakly uniformly rotund and monotonic preference MPRA Muich Persoal RePEc Archive A costructive aalysis of covex-valued demad correspodece for weakly uiformly rotud ad mootoic preferece Yasuhito Taaka ad Atsuhiro Satoh. May 04 Olie at http://mpra.ub.ui-mueche.de/55889/

More information

Ma 530 Introduction to Power Series

Ma 530 Introduction to Power Series Ma 530 Itroductio to Power Series Please ote that there is material o power series at Visual Calculus. Some of this material was used as part of the presetatio of the topics that follow. What is a Power

More information

Riemann Sums y = f (x)

Riemann Sums y = f (x) Riema Sums Recall that we have previously discussed the area problem I its simplest form we ca state it this way: The Area Problem Let f be a cotiuous, o-egative fuctio o the closed iterval [a, b] Fid

More information

Filippov Implicit Function Theorem for Quasi-Caratheodory Functions

Filippov Implicit Function Theorem for Quasi-Caratheodory Functions JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS 214, 475481 1997 ARTICLE NO. AY975584 Filippov Implicit Fuctio Theorem for Quasi-Caratheodory Fuctios M. Didos ˇ ad V. Toma Faculty of Mathematics ad Physics,

More information

The Borel hierarchy classifies subsets of the reals by their topological complexity. Another approach is to classify them by size.

The Borel hierarchy classifies subsets of the reals by their topological complexity. Another approach is to classify them by size. Lecture 7: Measure ad Category The Borel hierarchy classifies subsets of the reals by their topological complexity. Aother approach is to classify them by size. Filters ad Ideals The most commo measure

More information

Machine Learning Theory Tübingen University, WS 2016/2017 Lecture 12

Machine Learning Theory Tübingen University, WS 2016/2017 Lecture 12 Machie Learig Theory Tübige Uiversity, WS 06/07 Lecture Tolstikhi Ilya Abstract I this lecture we derive risk bouds for kerel methods. We will start by showig that Soft Margi kerel SVM correspods to miimizig

More information

Fundamental Theorem of Algebra. Yvonne Lai March 2010

Fundamental Theorem of Algebra. Yvonne Lai March 2010 Fudametal Theorem of Algebra Yvoe Lai March 010 We prove the Fudametal Theorem of Algebra: Fudametal Theorem of Algebra. Let f be a o-costat polyomial with real coefficiets. The f has at least oe complex

More information

REAL ANALYSIS II: PROBLEM SET 1 - SOLUTIONS

REAL ANALYSIS II: PROBLEM SET 1 - SOLUTIONS REAL ANALYSIS II: PROBLEM SET 1 - SOLUTIONS 18th Feb, 016 Defiitio (Lipschitz fuctio). A fuctio f : R R is said to be Lipschitz if there exists a positive real umber c such that for ay x, y i the domai

More information

Chimica Inorganica 3

Chimica Inorganica 3 himica Iorgaica Irreducible Represetatios ad haracter Tables Rather tha usig geometrical operatios, it is ofte much more coveiet to employ a ew set of group elemets which are matrices ad to make the rule

More information

ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS

ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS NORBERT KAIBLINGER Abstract. Results of Lid o Lehmer s problem iclude the value of the Lehmer costat of the fiite cyclic group Z/Z, for 5 ad all odd. By complemetary

More information

John Riley 30 August 2016

John Riley 30 August 2016 Joh Riley 3 August 6 Basic mathematics of ecoomic models Fuctios ad derivatives Limit of a fuctio Cotiuity 3 Level ad superlevel sets 3 4 Cost fuctio ad margial cost 4 5 Derivative of a fuctio 5 6 Higher

More information

Properties of Fuzzy Length on Fuzzy Set

Properties of Fuzzy Length on Fuzzy Set Ope Access Library Joural 206, Volume 3, e3068 ISSN Olie: 2333-972 ISSN Prit: 2333-9705 Properties of Fuzzy Legth o Fuzzy Set Jehad R Kider, Jaafar Imra Mousa Departmet of Mathematics ad Computer Applicatios,

More information

A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence

A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence Sequeces A sequece of umbers is a fuctio whose domai is the positive itegers. We ca see that the sequece,, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet as

More information

Lesson 10: Limits and Continuity

Lesson 10: Limits and Continuity www.scimsacademy.com Lesso 10: Limits ad Cotiuity SCIMS Academy 1 Limit of a fuctio The cocept of limit of a fuctio is cetral to all other cocepts i calculus (like cotiuity, derivative, defiite itegrals

More information

The picture in figure 1.1 helps us to see that the area represents the distance traveled. Figure 1: Area represents distance travelled

The picture in figure 1.1 helps us to see that the area represents the distance traveled. Figure 1: Area represents distance travelled 1 Lecture : Area Area ad distace traveled Approximatig area by rectagles Summatio The area uder a parabola 1.1 Area ad distace Suppose we have the followig iformatio about the velocity of a particle, how

More information

Recurrence Relations

Recurrence Relations Recurrece Relatios Aalysis of recursive algorithms, such as: it factorial (it ) { if (==0) retur ; else retur ( * factorial(-)); } Let t be the umber of multiplicatios eeded to calculate factorial(). The

More information

lim za n n = z lim a n n.

lim za n n = z lim a n n. Lecture 6 Sequeces ad Series Defiitio 1 By a sequece i a set A, we mea a mappig f : N A. It is customary to deote a sequece f by {s } where, s := f(). A sequece {z } of (complex) umbers is said to be coverget

More information

ii. O = {x x = 2k + 1 for some integer k} (This set could have been listed O = { -3, -1, 1, 3, 5 }.)

ii. O = {x x = 2k + 1 for some integer k} (This set could have been listed O = { -3, -1, 1, 3, 5 }.) Sets 1 Math 3312 Set Theory Sprig 2008 Itroductio Set theory is a brach of mathematics that deals with the properties of welldefied collectios of objects, which may or may ot be of a mathematical ature,

More information

SOME GENERALIZATIONS OF OLIVIER S THEOREM

SOME GENERALIZATIONS OF OLIVIER S THEOREM SOME GENERALIZATIONS OF OLIVIER S THEOREM Alai Faisat, Sait-Étiee, Georges Grekos, Sait-Étiee, Ladislav Mišík Ostrava (Received Jauary 27, 2006) Abstract. Let a be a coverget series of positive real umbers.

More information

Continuous Functions

Continuous Functions Cotiuous Fuctios Q What does it mea for a fuctio to be cotiuous at a poit? Aswer- I mathematics, we have a defiitio that cosists of three cocepts that are liked i a special way Cosider the followig defiitio

More information

n p (Ω). This means that the

n p (Ω). This means that the Sobolev s Iequality, Poicaré Iequality ad Compactess I. Sobolev iequality ad Sobolev Embeddig Theorems Theorem (Sobolev s embeddig theorem). Give the bouded, ope set R with 3 ad p

More information

On Topologically Finite Spaces

On Topologically Finite Spaces saqartvelos mecierebata erovuli aademiis moambe, t 9, #, 05 BULLETIN OF THE GEORGIAN NATIONAL ACADEMY OF SCIENCES, vol 9, o, 05 Mathematics O Topologically Fiite Spaces Giorgi Vardosaidze St Adrew the

More information

Fundamental Concepts: Surfaces and Curves

Fundamental Concepts: Surfaces and Curves UNDAMENTAL CONCEPTS: SURACES AND CURVES CHAPTER udametal Cocepts: Surfaces ad Curves. INTRODUCTION This chapter describes two geometrical objects, vi., surfaces ad curves because the pla a ver importat

More information

DANIELL AND RIEMANN INTEGRABILITY

DANIELL AND RIEMANN INTEGRABILITY DANIELL AND RIEMANN INTEGRABILITY ILEANA BUCUR We itroduce the otio of Riema itegrable fuctio with respect to a Daiell itegral ad prove the approximatio theorem of such fuctios by a mootoe sequece of Jorda

More information

Mathematical Foundations -1- Sets and Sequences. Sets and Sequences

Mathematical Foundations -1- Sets and Sequences. Sets and Sequences Mathematical Foudatios -1- Sets ad Sequeces Sets ad Sequeces Methods of proof 2 Sets ad vectors 13 Plaes ad hyperplaes 18 Liearly idepedet vectors, vector spaces 2 Covex combiatios of vectors 21 eighborhoods,

More information

1 Convergence in Probability and the Weak Law of Large Numbers

1 Convergence in Probability and the Weak Law of Large Numbers 36-752 Advaced Probability Overview Sprig 2018 8. Covergece Cocepts: i Probability, i L p ad Almost Surely Istructor: Alessadro Rialdo Associated readig: Sec 2.4, 2.5, ad 4.11 of Ash ad Doléas-Dade; Sec

More information

THE SOLUTION OF NONLINEAR EQUATIONS f( x ) = 0.

THE SOLUTION OF NONLINEAR EQUATIONS f( x ) = 0. THE SOLUTION OF NONLINEAR EQUATIONS f( ) = 0. Noliear Equatio Solvers Bracketig. Graphical. Aalytical Ope Methods Bisectio False Positio (Regula-Falsi) Fied poit iteratio Newto Raphso Secat The root of

More information

PDE II Homework 2 Solutions

PDE II Homework 2 Solutions PDE II Homewor 2 Solutios Exercise 1: Order ad wea topologies Let u ad v be two sequeces of L p fuctios, covergig to u ad v i wea-l p. ssume that for ay, u v. Prove that u v. Solutio: Note that if u ad

More information

How to Maximize a Function without Really Trying

How to Maximize a Function without Really Trying How to Maximize a Fuctio without Really Tryig MARK FLANAGAN School of Electrical, Electroic ad Commuicatios Egieerig Uiversity College Dubli We will prove a famous elemetary iequality called The Rearragemet

More information

Metric Space Properties

Metric Space Properties Metric Space Properties Math 40 Fial Project Preseted by: Michael Brow, Alex Cordova, ad Alyssa Sachez We have already poited out ad will recogize throughout this book the importace of compact sets. All

More information

(for homogeneous primes P ) defining global complex algebraic geometry. Definition: (a) A subset V CP n is algebraic if there is a homogeneous

(for homogeneous primes P ) defining global complex algebraic geometry. Definition: (a) A subset V CP n is algebraic if there is a homogeneous Math 6130 Notes. Fall 2002. 4. Projective Varieties ad their Sheaves of Regular Fuctios. These are the geometric objects associated to the graded domais: C[x 0,x 1,..., x ]/P (for homogeeous primes P )

More information

CANTOR SETS WHICH ARE MINIMAL FOR QUASISYMMETRIC MAPS

CANTOR SETS WHICH ARE MINIMAL FOR QUASISYMMETRIC MAPS CANTOR SETS WHICH ARE MINIMAL FOR QUASISYMMETRIC MAPS HRANT A. HAKOBYAN Abstract. We show that middle iterval Cator sets of Hausdorff dimesio are miimal for quasisymmetric maps of a lie. Combiig this with

More information

(b) What is the probability that a particle reaches the upper boundary n before the lower boundary m?

(b) What is the probability that a particle reaches the upper boundary n before the lower boundary m? MATH 529 The Boudary Problem The drukard s walk (or boudary problem) is oe of the most famous problems i the theory of radom walks. Oe versio of the problem is described as follows: Suppose a particle

More information

MTG 6316 HOMEWORK Spring 2017

MTG 6316 HOMEWORK Spring 2017 MTG 636 HOMEWORK Sprig 207 53. Let {U k } k= be a fiite ope cover of X ad f k : U k! Y be cotiuous for each k =,...,. Show that if f k (x) = f j (x) for all x 2 U k \ U j, the the fuctio F : X! Y defied

More information

Chapter 3 Inner Product Spaces. Hilbert Spaces

Chapter 3 Inner Product Spaces. Hilbert Spaces Chapter 3 Ier Product Spaces. Hilbert Spaces 3. Ier Product Spaces. Hilbert Spaces 3.- Defiitio. A ier product space is a vector space X with a ier product defied o X. A Hilbert space is a complete ier

More information

EXAMPLES OF HEREDITARILY STRONGLY INFINITE-DIMENSIONAL COMPACTA

EXAMPLES OF HEREDITARILY STRONGLY INFINITE-DIMENSIONAL COMPACTA Volume 3, 1978 Pages 495 506 http://topology.aubur.edu/tp/ EXAMPLES OF HEREDITARILY STRONGLY INFINITE-DIMENSIONAL COMPACTA by R. M. Schori ad Joh J. Walsh Topology Proceedigs Web: http://topology.aubur.edu/tp/

More information

Math F215: Induction April 7, 2013

Math F215: Induction April 7, 2013 Math F25: Iductio April 7, 203 Iductio is used to prove that a collectio of statemets P(k) depedig o k N are all true. A statemet is simply a mathematical phrase that must be either true or false. Here

More information

The Random Walk For Dummies

The Random Walk For Dummies The Radom Walk For Dummies Richard A Mote Abstract We look at the priciples goverig the oe-dimesioal discrete radom walk First we review five basic cocepts of probability theory The we cosider the Beroulli

More information

Random Models. Tusheng Zhang. February 14, 2013

Random Models. Tusheng Zhang. February 14, 2013 Radom Models Tusheg Zhag February 14, 013 1 Radom Walks Let me describe the model. Radom walks are used to describe the motio of a movig particle (object). Suppose that a particle (object) moves alog the

More information

Chapter IV Integration Theory

Chapter IV Integration Theory Chapter IV Itegratio Theory Lectures 32-33 1. Costructio of the itegral I this sectio we costruct the abstract itegral. As a matter of termiology, we defie a measure space as beig a triple (, A, µ), where

More information