ebook img

Solutions Manual Foundations of Mathematical Economics PDF

262 PagesΒ·2009Β·1.33 MBΒ·English
by Β 
Save to my drive
Quick download
Download
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

Preview Solutions Manual Foundations of Mathematical Economics

Solutions Manual Foundations of Mathematical Economics Michael Carter November 15, 2002 ⃝c 2001 Michael Carter Solutions for Foundations of Mathematical Economics All rights reserved Chapter 1: Sets and Spaces 1.1 {1,3,5,7...} or {π‘›βˆˆπ‘ :𝑛 is odd} 1.2 Every π‘₯ ∈ 𝐴 also belongs to 𝐡. Every π‘₯ ∈ 𝐡 also belongs to 𝐴. Hence 𝐴,𝐡 have precisely the same elements. 1.3 Examples of finite sets are βˆ™ the letters of the alphabet {A, B, C, ... , Z} βˆ™ the set of consumers in an economy βˆ™ the set of goods in an economy βˆ™ the set of players in a game. Examples of infinite sets are βˆ™ the real numbers β„œ βˆ™ the natural numbers 𝔑 βˆ™ the set of all possible colors βˆ™ the set of possible prices of copper on the world market βˆ™ the set of possible temperatures of liquid water. 1.4 𝑆 ={1,2,3,4,5,6},𝐸 ={2,4,6}. 1.5 The player set is 𝑁 ={Jenny,Chris}. Their action spaces are 𝐴 ={Rock,Scissors,Paper} 𝑖=Jenny,Chris 𝑖 1.6 The setofplayersis 𝑁 ={1,2,...,𝑛}. The strategyspace ofeachplayeris the set of feasible outputs 𝐴 ={π‘ž βˆˆβ„œ :π‘ž ≀𝑄 } 𝑖 𝑖 + 𝑖 𝑖 where π‘ž is the output of dam 𝑖. 𝑖 1.7 The player set is 𝑁 ={1,2,3}. There are 23 =8 coalitions, namely 𝒫(𝑁)={βˆ…,{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}} There are 210 coalitions in a ten player game. 1.8 Assume that π‘₯ ∈ (𝑆 βˆͺ𝑇)𝑐. That is π‘₯ ∈/ 𝑆 βˆͺ𝑇. This implies π‘₯ ∈/ 𝑆 and π‘₯ ∈/ 𝑇, or π‘₯ ∈ 𝑆𝑐 and π‘₯ ∈ 𝑇𝑐. Consequently, π‘₯ ∈ 𝑆𝑐 βˆ©π‘‡π‘. Conversely, assume π‘₯ ∈ π‘†π‘βˆ©π‘‡π‘. This implies that π‘₯ ∈ 𝑆𝑐 and π‘₯ ∈ 𝑇𝑐. Consequently π‘₯ ∈/ 𝑆 and π‘₯ ∈/ 𝑇 and therefore π‘₯∈/ 𝑆βˆͺ𝑇. This implies that π‘₯∈(𝑆βˆͺ𝑇)𝑐. The other identity is proved similarly. 1.9 βˆͺ 𝑆 =𝑁 π‘†βˆˆπ’ž ∩ 𝑆 =βˆ… π‘†βˆˆπ’ž 1 ⃝c 2001 Michael Carter Solutions for Foundations of Mathematical Economics All rights reserved π‘₯ 2 1 π‘₯ 1 -1 0 1 -1 Figure 1.1: The relation {(π‘₯,𝑦):π‘₯2+𝑦2 =1} 1.10 The sample space of a single coin toss is {𝐻,𝑇}. The set of possible outcomes in three tosses is the product { {𝐻,𝑇}Γ—{𝐻,𝑇}Γ—{𝐻,𝑇}= (𝐻,𝐻,𝐻),(𝐻,𝐻,𝑇),(𝐻,𝑇,𝐻), } (𝐻,𝑇,𝑇),(𝑇,𝐻,𝐻),(𝑇,𝐻,𝑇),(𝑇,𝑇,𝐻),(𝑇,𝑇,𝑇) A typical outcome is the sequence (𝐻,𝐻,𝑇) of two heads followed by a tail. 1.11 π‘Œ βˆ©β„œπ‘› ={0} + where0=(0,0,...,0)istheproductionplanusingnoinputsandproducingnooutputs. To see this, first note that 0 is a feasible production plan. Therefore, 0 ∈ π‘Œ. Also, 0βˆˆβ„œπ‘› and therefore 0βˆˆπ‘Œ βˆ©β„œπ‘›. + + Toshowthatthereisnootherfeasibleproductionplaninβ„œπ‘›, weassumethecontrary. + That is, we assume there is some feasible production plan yβˆˆβ„œπ‘› βˆ–{0}. This implies + the existence of a plan producing a positive output with no inputs. This technological infeasible, so that 𝑦 ∈/ π‘Œ. 1.12 1. Let x ∈ 𝑉(𝑦). This implies that (𝑦,βˆ’x) βˆˆπ‘Œ. Let xβ€² β‰₯ x. Then (𝑦,βˆ’xβ€²)≀ (𝑦,βˆ’x) and free disposability implies that (𝑦,βˆ’xβ€²)βˆˆπ‘Œ. Therefore xβ€² βˆˆπ‘‰(𝑦). 2. Again assume x ∈ 𝑉(𝑦). This implies that (𝑦,βˆ’x) ∈ π‘Œ. By free disposal, (𝑦′,βˆ’x)βˆˆπ‘Œ for every 𝑦′ ≀𝑦, which implies that xβˆˆπ‘‰(𝑦′). 𝑉(𝑦′)βŠ‡π‘‰(𝑦). 1.13 The domain of β€œ<” is {1,2}=𝑋 and the range is {2,3}β«‹π‘Œ. 1.14 Figure 1.1. 1.15 Therelationβ€œisstrictlyhigherthan”istransitive,antisymmetricandasymmetric. It is not complete, reflexive or symmetric. 2 ⃝c 2001 Michael Carter Solutions for Foundations of Mathematical Economics All rights reserved 1.16 The following table lists their respective properties. < ≀ = √ √ reflexive Γ— √ √ √ transitive √ √ symmetric Γ— √ asymmetric Γ— Γ— √ √ √ anti-symmetric √ √ complete Γ— Note that the properties of symmetry and anti-symmetry are not mutually exclusive. 1.17 Let∼beanequivalencerelationofaset𝑋 βˆ•=βˆ…. Thatis,therelation∼isreflexive, symmetricandtransitive. We firstshowthateveryπ‘₯βˆˆπ‘‹ belongsto someequivalence class. Let π‘Ž be any element in 𝑋 and let ∼ (π‘Ž) be the class of elements equivalent to π‘Ž, that is ∼(π‘Ž)≑{π‘₯βˆˆπ‘‹ :π‘₯βˆΌπ‘Ž} Since ∼ is reflexive, π‘ŽβˆΌπ‘Ž and so π‘ŽβˆˆβˆΌ(π‘Ž). Every π‘Žβˆˆπ‘‹ belongs to some equivalence class and therefore βˆͺ 𝑋 = ∼(π‘Ž) π‘Žβˆˆπ‘‹ Next, we show that the equivalence classes are either disjoint or identical, that is ∼(π‘Ž)βˆ•=∼(𝑏) if and only if f∼(π‘Ž)∩∼(𝑏)=βˆ…. First, assume ∼(π‘Ž)∩∼(𝑏)=βˆ…. Then π‘ŽβˆˆβˆΌ(π‘Ž) but π‘Žβˆˆ/ ∼(𝑏). Therefore ∼(π‘Ž)βˆ•=∼(𝑏). Conversely, assume ∼(π‘Ž)∩∼(𝑏) βˆ•= βˆ… and let π‘₯ ∈ ∼(π‘Ž)∩∼(𝑏). Then π‘₯ ∼ π‘Ž and by symmetry π‘Ž ∼ π‘₯. Also π‘₯ ∼ 𝑏 and so by transitivity π‘Ž ∼ 𝑏. Let 𝑦 be any element in ∼(π‘Ž) so that 𝑦 ∼ π‘Ž. Again by transitivity 𝑦 ∼ 𝑏 and therefore 𝑦 ∈ ∼(𝑏). Hence ∼(π‘Ž)βŠ†βˆΌ(𝑏). Similar reasoning implies that ∼(𝑏)βŠ†βˆΌ(π‘Ž). Therefore ∼(π‘Ž)=∼(𝑏). We conclude that the equivalence classes partition 𝑋. 1.18 Thesetofpropercoalitionsisnotapartitionofthesetofplayers,sinceanyplayer can belong to more than one coalition. For example, player1 belongs to the coalitions {1}, {1,2} and so on. 1.19 π‘₯≻𝑦 =β‡’ π‘₯≿𝑦 and 𝑦 βˆ•β‰Ώπ‘₯ 𝑦 βˆΌπ‘§ =β‡’ 𝑦 ≿𝑧 and 𝑧 ≿𝑦 Transitivity of β‰Ώ implies π‘₯≿𝑧. We need to show that 𝑧 βˆ•β‰Ώπ‘₯. Assume otherwise, that is assume 𝑧 β‰Ώ π‘₯ This implies 𝑧 ∼ π‘₯ and by transitivity 𝑦 ∼ π‘₯. But this implies that 𝑦 β‰Ώπ‘₯ whichcontradicts the assumption that π‘₯≻𝑦. Thereforewe conclude that 𝑧 βˆ•β‰Ώπ‘₯ and therefore π‘₯≻𝑧. The other result is proved in similar fashion. 1.20 asymmetric Assume π‘₯≻𝑦. π‘₯≻𝑦 =β‡’ 𝑦 βˆ•β‰Ώπ‘₯ while 𝑦 ≻π‘₯ =β‡’ 𝑦 β‰Ώπ‘₯ Therefore π‘₯≻𝑦 =β‡’ 𝑦 βˆ•β‰»π‘₯ 3 ⃝c 2001 Michael Carter Solutions for Foundations of Mathematical Economics All rights reserved transitive Assume π‘₯≻𝑦 and 𝑦 ≻𝑧. π‘₯≻𝑦 =β‡’ π‘₯≿𝑦 and 𝑦 βˆ•β‰Ώπ‘₯ 𝑦 ≻𝑧 =β‡’ 𝑦 ≿𝑧 and 𝑧 βˆ•β‰Ώπ‘¦ Since β‰Ώ is transitive, we conclude that π‘₯≿𝑧. It remains to show that 𝑧 βˆ•β‰Ώ π‘₯. Assume otherwise, that is assume 𝑧 β‰Ώ π‘₯. We know that π‘₯≿𝑦 and transitivity implies that 𝑧 ≿𝑦, contrary to the assumption that 𝑦 ≻𝑧. We conclude that 𝑧 βˆ•β‰Ώπ‘₯ and π‘₯≿𝑧 and 𝑧 βˆ•β‰Ώπ‘₯ =β‡’ π‘₯≻𝑧 This shows that ≻ is transitive. 1.21 reflexive Since β‰Ώ is reflexive, π‘₯β‰Ώπ‘₯ which implies π‘₯∼π‘₯. transitive Assume π‘₯βˆΌπ‘¦ and 𝑦 βˆΌπ‘§. Now π‘₯βˆΌπ‘¦ ⇐⇒ π‘₯≿𝑦 and 𝑦 β‰Ώπ‘₯ 𝑦 βˆΌπ‘§ ⇐⇒ 𝑦 ≿𝑧 and 𝑧 ≿𝑦 Transitivity of β‰Ώ implies π‘₯≿𝑦 and 𝑦 ≿𝑧 =β‡’ π‘₯≿𝑧 𝑧 ≿𝑦 and 𝑦 β‰Ώπ‘₯ =β‡’ 𝑧 β‰Ώπ‘₯ Combining π‘₯≿𝑧 and 𝑧 β‰Ώπ‘₯ =β‡’ π‘₯βˆΌπ‘§ symmetric π‘₯βˆΌπ‘¦ ⇐⇒ π‘₯≿𝑦 and 𝑦 β‰Ώπ‘₯ ⇐⇒ 𝑦 β‰Ώπ‘₯ and π‘₯≿𝑦 ⇐⇒ 𝑦 ∼π‘₯ 1.22 reflexive Every integer is a multiple of itself, that is π‘š=1π‘š. transitive Assume π‘š=π‘˜π‘› and 𝑛=𝑙𝑝 where π‘˜,𝑙 βˆˆπ‘. Then π‘š=π‘˜π‘™π‘ so that π‘š is a multiple of 𝑝. not symmetric If π‘š = π‘˜π‘›, π‘˜ ∈ 𝑁, then 𝑛 = 1π‘š and π‘˜ ∈/ 𝑁. For example, 4 is a π‘˜ multiple of 2 but 2 is not a multiple of 4. 1.23 [π‘Ž,𝑏]={π‘Ž,𝑦,𝑏,𝑧} (π‘Ž,𝑏)={𝑦} 1.24 β‰Ώ(𝑦)={𝑏,𝑦,𝑧} ≻(𝑦)={𝑏,𝑧} β‰Ύ(𝑦)={π‘Ž,π‘₯,𝑦} β‰Ί(𝑦)={π‘Ž,π‘₯} 4 ⃝c 2001 Michael Carter Solutions for Foundations of Mathematical Economics All rights reserved 1.25 Let 𝑋 be ordered by β‰Ώ. π‘₯ ∈ 𝑋 is a minimal element there is no element which strictly precedes it, that is there is no element 𝑦 ∈ 𝑋 such that 𝑦 β‰Ί π‘₯. π‘₯ ∈ 𝑋 is the first element if it precedes every other element, that is π‘₯≾𝑦 for all 𝑦 βˆˆπ‘‹. 1.26 The maximal elements of 𝑋 are 𝑏 and 𝑧. The minimal element of 𝑋 is π‘₯. These are also best and worst elements respectively. 1.27 Assume that π‘₯ is a best element in 𝑋 orderedby β‰Ώ. That is, π‘₯≿𝑦 for all 𝑦 βˆˆπ‘‹. Thisimpliesthatthereisno𝑦 βˆˆπ‘‹ whichstrictlydominatesπ‘₯. Therefore,π‘₯ismaximal in 𝑋. In Example 1.23, the numbers 5,6,7,8,9 are all maximal elements, but none of them is a best element. 1.28 Assumethattheelementsaredenotedπ‘₯ ,π‘₯ ,...,π‘₯ . Wecanidentifythemaximal 1 2 𝑛 element by constructing another list using the following recursive algorithm π‘Ž =π‘₯ 1 1 { π‘₯ if π‘₯ β‰»π‘Ž π‘Ž = 𝑖 𝑖 π‘–βˆ’1 𝑖 π‘Ž otherwise π‘–βˆ’1 By construction, there is no π‘₯ which strictly succedes π‘Ž . π‘Ž is a maximal element. 𝑖 𝑛 𝑛 1.29 π‘₯βˆ— is maximal ⇐⇒ there does not exist π‘₯≻π‘₯βˆ— that is ≻(π‘₯βˆ—)={π‘₯:π‘₯≻π‘₯βˆ—}=βˆ… π‘₯βˆ— is best ⇐⇒ π‘₯βˆ— β‰Ώπ‘₯ for every π‘₯βˆˆπ‘‹ ⇐⇒ π‘₯β‰Ύπ‘₯βˆ— for every π‘₯βˆˆπ‘‹ That is, every π‘₯βˆˆπ‘‹ belongs to β‰Ύ(π‘₯βˆ—) or β‰Ύ(π‘₯βˆ—)=𝑋. 1.30 Let 𝐴 be a nonempty set of a set 𝑋 ordered by β‰Ώ. π‘₯ ∈ 𝑋 is a lower bound for 𝐴 if it precedes every element in 𝐴, that is π‘₯ β‰Ύ π‘Ž for all π‘Ž ∈ 𝐴. It is a greatest lower bound if it dominates every lower bound, that is π‘₯≿𝑦 for every lower bound 𝑦 of 𝐴. 1.31 Any multiple of 60 is an upper bound for 𝐴. Thus, the set of upper bounds of 𝐴 is {60,120,240,...}. The least upper bound of 𝐴 is 60. The only lower bound is 1, hence it is the greatest lower bound. 1.32 The least upper bounds of interval [π‘Ž,𝑏] are 𝑏 and 𝑧. The least upper bound of (π‘Ž,𝑏) is 𝑦. 1.33 π‘₯ is an upper bound of 𝐴 ⇐⇒ π‘₯β‰Ώπ‘Ž for every π‘Žβˆˆπ΄ ⇐⇒ π‘Žβ‰Ύπ‘₯ for every π‘Žβˆˆπ΄ ⇐⇒ π΄βŠ†β‰Ύ(π‘₯) Similarly π‘₯ is a lower bound of 𝐴 ⇐⇒ π‘₯β‰Ύπ‘Ž for every π‘Žβˆˆπ΄ ⇐⇒ π‘Žβ‰Ώπ‘₯ for every π‘Žβˆˆπ΄ ⇐⇒ π΄βŠ†β‰Ώ(π‘₯) 5 ⃝c 2001 Michael Carter Solutions for Foundations of Mathematical Economics All rights reserved 1.34 For every π‘₯βˆˆβ„œ2, π‘₯≻𝑦 if π‘₯ >𝑦 or π‘₯ =𝑦 and π‘₯ >𝑦 1 1 1 1 2 2 Since all elements π‘₯βˆˆβ„œ2 are comparable, ≻ is complete; it is a total order. 1.35 Assume β‰Ώ is complete for every 𝑖. Then for every π‘₯,𝑦 ∈ 𝑋 and for all 𝑖 = 𝑖 1,2,...,𝑛, either π‘₯ β‰Ώ 𝑦 or 𝑦 β‰Ώ π‘₯ or both. Either 𝑖 𝑖 𝑖 𝑖 𝑖 𝑖 π‘₯ ∼ 𝑦 for all 𝑖 Then define π‘₯βˆΌπ‘¦. 𝑖 𝑖 𝑖 π‘₯ βˆ•βˆΌ 𝑦 for some 𝑖 Let π‘˜ be the first individual with a strict preference, that is π‘˜ = 𝑖 𝑖 𝑖 min (π‘₯ βˆ•βˆΌπ‘¦ ). (Completeness of β‰Ώ ensures that π‘˜ is defined). Then define 𝑖 𝑖 𝑖 𝑖 π‘₯≻𝑦 if π‘₯ ≻ 𝑦 π‘˜ 𝑖 π‘˜ 𝑦 ≻π‘₯ otherwise 1.36 Let 𝑆, 𝑇 and π‘ˆ be subsets of a finite set 𝑋. Set inclusion βŠ† is reflexive since 𝑆 βŠ†π‘†. transitive since 𝑆 βŠ†π‘‡ and 𝑇 βŠ†π‘ˆ implies 𝑆 βŠ†π‘ˆ. anti-symmetric since 𝑆 βŠ†π‘‡ and 𝑇 βŠ†π‘† implies 𝑆 =𝑇 Therefore βŠ† is a partial order. 1.37 Assume π‘₯ and 𝑦 are both least upper bounds of 𝐴. That is π‘₯ β‰Ώ π‘Ž for all π‘Ž ∈ 𝐴 and 𝑦 β‰Ώ π‘Ž for all π‘Ž ∈ 𝐴. Further, if π‘₯ is a least upper bound, 𝑦 β‰Ώ π‘₯. If 𝑦 is a least upper bound, π‘₯≿𝑦. By anti-symmetry, π‘₯=𝑦. 1.38 π‘₯βˆΌπ‘¦ =β‡’ π‘₯≿𝑦 and 𝑦 β‰Ώπ‘₯ which implies that π‘₯=𝑦 by antisymmetry. Each equivalence class ∼(π‘₯)={𝑦 βˆˆπ‘‹ :𝑦 ∼π‘₯} comprises just a single element π‘₯. 1.39 max𝒫(𝑋)=𝑋 and min𝒫(𝑋)=βˆ…. 1.40 The subset {2,4,8} forms a chain. More generally, the set of integer powers of a given number {𝑛,𝑛2,𝑛3,...} forms a chain. 1.41 Assume π‘₯ and 𝑦 are maximal elements of the chain 𝐴. Then π‘₯ β‰Ώ π‘Ž for all π‘Ž ∈ 𝐴 and in particular π‘₯ β‰Ώ 𝑦. Similarly, 𝑦 β‰Ώ π‘Ž for all π‘Ž ∈ 𝐴 and in particular 𝑦 β‰Ώ π‘₯. Since β‰Ώ is anti-symmetric, π‘₯=𝑦. 1.42 1. By assumption, foreveryπ‘‘βˆˆπ‘‡βˆ–π‘Š,β‰Ί(𝑑)is anonempty finite chain. Hence, it has a unique maximal element, 𝑝(𝑑). 2. Let 𝑑 be any node. Either 𝑑 is an initial node or 𝑑 has a unique predecessor 𝑝(𝑑). Either 𝑝(𝑑) is an initial node, or it has a unique predecessor 𝑝(𝑝(𝑑)). Continuing in this way, we trace out a unique path from 𝑑 back to an initial node. We can be sure of eventually reaching an initial node since 𝑇 is finite. 1.43 (1,2)∨(3,1)=(3,2) and (1,2)∧(3,2)=(1,2) 6 ⃝c 2001 Michael Carter Solutions for Foundations of Mathematical Economics All rights reserved 1.44 1. π‘₯βˆ¨π‘¦ isanupperboundfor{π‘₯,𝑦},thatisx∨y β‰Ώπ‘₯andx∨y≿𝑦. Similarly, π‘₯βˆ¨π‘¦ is a lower bound for {π‘₯,𝑦}. 2. Assume π‘₯ β‰Ώ 𝑦. Then π‘₯ is an upper bound for {π‘₯,𝑦}, that is π‘₯ β‰Ώ π‘₯βˆ¨π‘¦. If 𝑏 is any upper bound for {π‘₯,𝑦}, then 𝑏 β‰Ώ π‘₯. Therefore, π‘₯ is the least upper bound for {π‘₯,𝑦}. Similarly, 𝑦 is a lower bound for {π‘₯,𝑦}, and is greater than any other lower bound. Conversely,assume π‘₯βˆ¨π‘¦ =π‘₯. Then π‘₯ is an upper bound for {π‘₯,𝑦}, that is π‘₯≿𝑦. 3. Using the preceding equivalence π‘₯β‰Ώπ‘₯βˆ§π‘¦ =β‡’ π‘₯∨(π‘₯βˆ§π‘¦)=π‘₯ π‘₯βˆ¨π‘¦ β‰Ώπ‘₯ =β‡’ (π‘₯βˆ¨π‘¦)∧π‘₯=π‘₯ 1.45 A chain 𝑋 is a complete partially ordered set. For every π‘₯,𝑦 ∈ 𝑋 with π‘₯ βˆ•= 𝑦, either π‘₯≻𝑦 or 𝑦 ≻π‘₯. Therefore, define the meet and join by { 𝑦 if π‘₯≻𝑦 π‘₯βˆ§π‘¦ = π‘₯ if 𝑦 ≻π‘₯ { π‘₯ if π‘₯≻𝑦 π‘₯βˆ¨π‘¦ = 𝑦 if 𝑦 ≻π‘₯ 𝑋 is a lattice with these operations. 1.46 Assume𝑋 and𝑋 arelattices, andlet𝑋 =𝑋 ×𝑋 . Consideranytwoelements 1 2 1 2 x = (π‘₯ ,π‘₯ ) and y = (𝑦 ,𝑦 ) in 𝑋. Since 𝑋 and 𝑋 are lattices, 𝑏 = π‘₯ βˆ¨π‘¦ ∈ 𝑋 1 2 1 2 1 2 1 1 1 1 and 𝑏 = π‘₯ βˆ¨π‘¦ ∈ 𝑋 , so that b = (𝑏 ,𝑏 ) = (π‘₯ βˆ¨π‘¦ ,π‘₯ βˆ¨π‘¦ ) ∈ 𝑋. Furthermore 2 2 2 2 1 2 1 1 2 2 b β‰Ώ x and b β‰Ώ y in the natural product order, so that b is an upper bound for the {x,y}. Every upper bound bΛ† = (ˆ𝑏 ,ˆ𝑏 ) of {x,y} must have 𝑏 β‰Ώ π‘₯ and 𝑏 β‰Ώ 𝑦 , 1 2 𝑖 𝑖 𝑖 𝑖 𝑖 𝑖 so that bΛ† β‰Ώ b. Therefore, b is the least upper bound of {x,y}, that is b = x∨y. Similarly, x∧y=(π‘₯ βˆ§π‘¦ ,π‘₯ βˆ§π‘¦ ). 1 1 2 2 1.47 Let 𝑆 be a subset of 𝑋 and let π‘†βˆ— ={π‘₯βˆˆπ‘‹ :π‘₯≿𝑠 for every π‘ βˆˆπ‘†} be the set of upper bounds of𝑆. Then π‘₯βˆ— βˆˆπ‘†βˆ— βˆ•=βˆ…. By assumption, π‘†βˆ— has a greatest lower bound 𝑏. Since every 𝑠 ∈ 𝑆 is a lower bound of π‘†βˆ—, 𝑏 β‰Ώ 𝑠 for every 𝑠 ∈ 𝑆. Therefore 𝑏 is an upper bound of 𝑆. Furthermore, 𝑏 is the least upper bound of 𝑆, since 𝑏≾π‘₯ for every π‘₯βˆˆπ‘†βˆ—. This establishes that every subset of 𝑋 also has a least upper bound. In particular, every pair of elements has a least upper and a greatest lower bound. Consequently 𝑋 is a complete lattice. 1.48 Without loss of generality, we will prove the closed interval case. Let [π‘Ž,𝑏] be an interval in a lattice 𝐿. Recall that π‘Ž = inf[π‘Ž,𝑏] and 𝑏 = sup[π‘Ž,𝑏]. Choose any π‘₯,𝑦 in [π‘Ž,𝑏]βŠ†πΏ. Since 𝐿 is a lattice, π‘₯βˆ¨π‘¦ ∈𝐿 and π‘₯βˆ¨π‘¦ =sup{π‘₯,𝑦}≾𝑏 Therefore π‘₯βˆ¨π‘¦ ∈ [π‘Ž,𝑏]. Similarly, π‘₯βˆ§π‘¦ ∈ [π‘Ž,𝑏]. [π‘Ž,𝑏] is a lattice. Similarly, for any subset𝑆 βŠ†[π‘Ž,𝑏]βŠ†πΏ,sup𝑆 ∈𝐿if𝐿iscomplete. Also,sup𝑆 ≾𝑏=sup[π‘Ž,𝑏]. Therefore sup𝑆 ∈[π‘Ž,𝑏]. Similarly inf𝑆 ∈[π‘Ž,𝑏] so that [π‘Ž,𝑏] is complete. 7 ⃝c 2001 Michael Carter Solutions for Foundations of Mathematical Economics All rights reserved 1.49 1. The strong set order β‰Ώ is 𝑆 antisymmetric Let 𝑆 ,𝑆 βŠ† 𝑋 with 𝑆 β‰Ώ 𝑆 and 𝑆 β‰Ώ 𝑆 . Choose π‘₯ ∈ 𝑆 1 2 1 𝑆 2 2 𝑆 1 1 1 and π‘₯ βˆˆπ‘† . Since 𝑆 β‰Ώ 𝑆 , π‘₯ ∨π‘₯ βˆˆπ‘† and π‘₯ ∧π‘₯ βˆˆπ‘† . On the other 2 2 1 𝑆 2 1 2 1 1 2 2 hand, since 𝑆 ≿𝑆 , π‘₯ =(π‘₯ ∨(π‘₯ ∧π‘₯ )βˆˆπ‘† andπ‘₯ =π‘₯ ∧(π‘₯ ∨π‘₯ )βˆˆπ‘† 2 1 1 1 1 2 2 2 2 1 2 1 (Exercise 1.44. Therefore 𝑆 =𝑆 and β‰Ώ is antisymmetric. 1 2 𝑆 transitive Let 𝑆 ,𝑆 ,𝑆 βŠ† 𝑋 with 𝑆 β‰Ώ 𝑆 and 𝑆 β‰Ώ 𝑆 . Choose π‘₯ ∈ 𝑆 , 1 2 3 1 𝑆 2 2 𝑆 3 1 1 π‘₯ ∈ 𝑆 and π‘₯ ∈ 𝑆 . Since 𝑆 β‰Ώ 𝑆 and 𝑆 β‰Ώ 𝑆 , π‘₯ ∨π‘₯ and π‘₯ ∧π‘₯ 2 2 3 3 1 𝑆 2 2 𝑆 3 1 2 2 3 are in 𝑆 . Therefore 𝑦 =π‘₯ ∨(π‘₯ ∧π‘₯ )βˆˆπ‘† which implies 2 2 1 2 3 2 ( ) π‘₯ ∨π‘₯ =π‘₯ ∨ (π‘₯ ∧π‘₯ )∨π‘₯ 1 3 1 2 3 3 ( ) = π‘₯ ∨(π‘₯ ∧π‘₯ ) ∨π‘₯ 1 2 3 3 =𝑦 ∨π‘₯ βˆˆπ‘† 2 3 3 since 𝑆 β‰Ώ 𝑆 . Similarly 𝑧 =(π‘₯ ∨π‘₯ )∧π‘₯ βˆˆπ‘† and 2 𝑆 3 2 1 2 3 2 ( ) π‘₯ ∧π‘₯ = π‘₯ ∧(π‘₯ ∨π‘₯ ) ∧π‘₯ 1 3 1 1 2 3 ( ) =π‘₯ ∧ (π‘₯ ∨π‘₯ )∧π‘₯ 1 1 2 3 =π‘₯ βˆ§π‘§ βˆˆπ‘† 1 2 1 Therefore, 𝑆 β‰Ώ 𝑆 . 1 𝑆 3 2. 𝑆 β‰Ώ 𝑆 if and only if, for every π‘₯ ,π‘₯ ∈ 𝑆, π‘₯ ∨π‘₯ ∈ 𝑆 and π‘₯ ∧π‘₯ ∈ 𝑆, which 𝑆 1 2 1 2 1 2 is the case if and only if 𝑆 is a sublattice. 3. Let 𝐿(𝑋) denote the set of all sublattices of 𝑋. We have shown that β‰Ώ is 𝑆 reflexive, transitive and antisymmetric on 𝐿(𝑋). Hence, it is a partial order on 𝐿(𝑋). 1.50 Assume 𝑆 β‰Ώ 𝑆 . For any π‘₯ βˆˆπ‘† and π‘₯ ∈ 𝑆 , π‘₯ ∨π‘₯ ∈ 𝑆 and π‘₯ ∧π‘₯ ∈ 𝑆 . 1 𝑆 2 1 1 2 2 1 2 1 1 2 2 Therefore sup𝑆 β‰Ώπ‘₯ ∨π‘₯ β‰Ώπ‘₯ for every π‘₯ βˆˆπ‘† 1 1 2 2 2 2 which implies that sup𝑆 β‰Ώsup𝑆 . Similarly 1 2 inf𝑆 β‰Ύπ‘₯ ∧π‘₯ β‰Ύπ‘₯ for every π‘₯ βˆˆπ‘† 2 1 2 1 1 1 which implies that inf𝑆 β‰Ύ inf𝑆 . Note that completeness ensures the existence of 2 1 sup𝑆 and inf𝑆 respectively. 1.51 An argument analogous to the preceding exercise establishes =β‡’ . (Complete- ness is not required, since for any interval π‘Ž=inf[π‘Ž,𝑏] and 𝑏=sup[π‘Ž,𝑏]). To establish the converse, assume that 𝑆 = [π‘Ž ,𝑏 ] and 𝑆 = [π‘Ž ,𝑏 ]. Consider any 1 1 1 2 2 2 π‘₯ βˆˆπ‘† and π‘₯ βˆˆπ‘† . There are two cases. 1 1 2 2 Case 1. π‘₯ β‰Ώπ‘₯ Since 𝑋 is a chain, π‘₯ ∨π‘₯ =π‘₯ βˆˆπ‘† . π‘₯ ∧π‘₯ =π‘₯ βˆˆπ‘† . 1 2 1 2 1 1 1 2 2 2 Case 2. π‘₯ β‰Ίπ‘₯ Since 𝑋 is a chain, π‘₯ ∨π‘₯ = π‘₯ . Now π‘Ž β‰Ύ π‘₯ β‰Ί π‘₯ β‰Ύ 𝑏 β‰Ύ 𝑏 . 1 2 1 2 2 1 1 2 2 2 Therefore, π‘₯ = π‘₯ ∨π‘₯ ∈ 𝑆 . Similarly π‘Ž β‰Ύ π‘Ž β‰Ύ π‘₯ β‰Ί π‘₯ β‰Ύ 𝑏 . Therefore 2 1 2 1 2 1 1 2 2 π‘₯ ∧π‘₯ =π‘₯ βˆˆπ‘† . 1 2 1 2 We have shown that 𝑆 β‰Ώ 𝑆 in both cases. 1 𝑆 2 1.52 Assume that β‰Ώ is a complete relation on 𝑋. This means that for every π‘₯,𝑦 βˆˆπ‘‹, either π‘₯≿𝑦 or 𝑦 β‰Ώπ‘₯. In particular, letting π‘₯=𝑦, π‘₯β‰Ώπ‘₯ for π‘₯βˆˆπ‘‹. β‰Ώ is reflexive. 8 ⃝c 2001 Michael Carter Solutions for Foundations of Mathematical Economics All rights reserved 1.53 Anti-symmetryimpliesthateachindifferenceclasscontainsasingleelement. Ifthe consumer’spreferencerelationwasanti-symmetric,therewouldbe nobasketsofgoods between which the consumer was indifferent. Each indifference curve which consist a single point. 1.54 We previously showed (Exercise 1.27) that every best element is maximal. To provethe converse,assumethatπ‘₯ismaximalinthe weaklyorderedset𝑋. Wehaveto show that π‘₯≿𝑦 for all 𝑦 βˆˆπ‘‹. Assume otherwise, that is assume there is some 𝑦 βˆˆπ‘‹ for which π‘₯ βˆ•β‰Ώ 𝑦. Since β‰Ώ is complete, this implies that 𝑦 ≻ π‘₯ which contradicts the assumption that π‘₯ is maximal. Hence we conclude that π‘₯ β‰Ώ 𝑦 for 𝑦 ∈ 𝑋 and π‘₯ is a best element. 1.55 False. Achainhasatmostonemaximalelement(Exercise1.41). Here,uniqueness is ensured by anti-symmetry. A weakly ordered set in which the order is not anti- symmetric may have multiple maximal and best elements. For example, π‘Ž and 𝑏 are both best elements in the weakly ordered set {π‘ŽβˆΌπ‘β‰»π‘}. 1.56 1. For every π‘₯βˆˆπ‘‹, either π‘₯β‰Ώ 𝑦 =β‡’ π‘₯βˆˆβ‰Ώ(𝑦) or 𝑦 β‰Ώπ‘₯ =β‡’ π‘₯βˆˆβ‰Ύ(𝑦) since β‰Ώ is complete. Consequently, β‰Ώ(𝑦)βˆͺβ‰Ί(𝑦) = 𝑋 If π‘₯ ∈ β‰Ώ(𝑦)βˆ©β‰Ύ(𝑦), then π‘₯ β‰Ώ 𝑦 and 𝑦 β‰Ώπ‘₯ so that π‘₯βˆΌπ‘¦ and π‘₯∈𝐼 . 𝑦 2. For every π‘₯βˆˆπ‘‹, either π‘₯≿𝑦 =β‡’ π‘₯βˆˆβ‰Ώ(𝑦) or 𝑦 ≻π‘₯ =β‡’ π‘₯βˆˆβ‰Ί(𝑦) since β‰Ώ is complete. Consequently, β‰Ώ(𝑦)βˆͺβ‰Ί(𝑦)=𝑋 and β‰Ώ(𝑦)βˆ©β‰Ί(𝑦)=βˆ…. 3. For every 𝑦 ∈ 𝑋, ≻(𝑦) and 𝐼 partition β‰Ώ(𝑦) and therefore ≻(𝑦), 𝐼 and β‰Ί(𝑦) 𝑦 𝑦 partition 𝑋. 1.57 Assume π‘₯≿𝑦 and𝑧 βˆˆβ‰Ώ(π‘₯). Then 𝑧 β‰Ώπ‘₯≿𝑦 by transitivity. Therefore𝑧 βˆˆβ‰Ώ(𝑦). This shows that β‰Ώ(π‘₯)βŠ†β‰Ώ(𝑦). Similarly, assume π‘₯ ≻ 𝑦 and 𝑧 ∈ ≻(π‘₯). Then 𝑧 ≻ π‘₯ ≻ 𝑦 by transitivity. Therefore 𝑧 ∈ ≻(𝑦). This shows that β‰Ώ(π‘₯) βŠ† β‰Ώ(𝑦). To show that β‰Ώ(π‘₯) βˆ•= β‰Ώ(𝑦), observe that π‘₯βˆˆβ‰»(𝑦) but that π‘₯∈/ ≻(π‘₯) 1.58 Every finite ordered set has a least one maximal element (Exercise 1.28). 1.59 Kreps(1990,p.323),Luenberger(1995,p.170)andMas-Colelletal. (1995,p.313) adopt the weak Pareto order, whereas Varian (1992, p.323) distinguishes the two or- ders. Osborneand Rubinstein (1994,p.7) also distinguish the two orders, utilizing the weak order in defining the core (Chapter 13) but the strong Pareto order in the Nash bargaining solution (Chapter 15). 1.60 Assumethatagroup𝑆 isdecisiveoverπ‘₯,𝑦 βˆˆπ‘‹. Letπ‘Ž,π‘βˆˆπ‘‹ betwootherstates. We have to show that 𝑆 is decisive over π‘Ž and 𝑏. Without loss of generality, assume for all individuals π‘Ž β‰Ώ π‘₯ and 𝑦 β‰Ώ 𝑏. Then, the Pareto order implies that π‘Ž ≻ π‘₯ and 𝑖 𝑖 𝑦 ≻𝑏. Assume that for every 𝑖 ∈ 𝑆, π‘₯ β‰Ώ 𝑦. Since 𝑆 is decisive over π‘₯ and 𝑦, the social 𝑖 order ranks π‘₯≿𝑦. By transitivity, π‘Žβ‰Ώπ‘. By IIA, this holds irrespective of individual preferences on other alternatives. Hence, 𝑆 is decisive over π‘Ž and 𝑏. 1.61 Assume that 𝑆 is decisive. Let π‘₯, 𝑦 and 𝑧 be any three alternatives and assume π‘₯≿𝑦 for every π‘–βˆˆπ‘†. Partition 𝑆 into two subgroups 𝑆 and 𝑆 so that 1 2 π‘₯β‰Ώ 𝑧 for every π‘–βˆˆπ‘† and 𝑧 β‰Ώ 𝑦 for every π‘–βˆˆπ‘† 𝑖 1 𝑖 2 Since 𝑆 is decisive, π‘₯≿𝑦. By completeness, either π‘₯≿𝑧inwhichcase𝑆 isdecisiveoverπ‘₯and𝑧. Bythefieldexpansionlemma(Exercise 1 1.60), 𝑆 is decisive. 1 9

See more

The list of books you might like

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.