Test Bank and Solutions Manual Foundations of Mathematical Economics By Michael Carter |ALL CHAPTERS COVERED COMPLETE GUIDE

Solutions Manual
Foundations of Mathematical Economics
C
O
SD
IU




Michael Carter
EN
G




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 �
C
O
SD




∙ the set of all possible colors
IU




∙ the set of possible prices of copper on the world market
EN




∙ the set of possible temperatures of liquid water.
G




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 set of players is 𝑁 = {1, 2 , . . . , 𝑛 .} The strategy space of each player is 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}}
10
There are 2 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
C

{
O


{𝐻, 𝑇 } × {𝐻, 𝑇 } × {𝐻, 𝑇 } = (𝐻, 𝐻, 𝐻), (𝐻, 𝐻, 𝑇 ), (𝐻, 𝑇, 𝐻),
SD




}
(𝐻, 𝑇, 𝑇 ), (𝑇, 𝐻, 𝐻), (𝑇, 𝐻, 𝑇 ), (𝑇, 𝑇, 𝐻), (𝑇, 𝑇, 𝑇 )
IU
EN
G




A typical outcome is the sequence (𝐻, 𝐻, 𝑇 ) of two heads followed by a tail.
1.11

𝑌 ∩ ℜ+� = {0}

where 0 = (0, 0, .. . , 0) is the production plan using no inputs and producing no outputs.
To see this, first note that 0 is a feasible production plan. Therefore, 0 ∈ 𝑌 . Also,
0 ∈ ℜ�+ and therefore 0 ∈ 𝑌 ∩ ℜ�+.
To show that there is no other feasible production plan in ℜ�+, we assume the contrary.
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 The relation “is strictly higher than” is transitive, antisymmetric and asymmetric.
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 ~be an equivalence relation of a set 𝑋∕ =∅ . That is, the relation∼ is reflexive,
symmetric and transitive. We first show that every 𝑥 ∈𝑋 belongs to some equivalence
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
∪
𝑋= ∼(𝑎)
�∈�
C

Next, we show that the equivalence classes are either disjoint or identical, that is
O


∼(𝑎) ∕= ∼(𝑏) if and only if f∼(𝑎) ∩ ∼(𝑏) = ∅.
SD
IU




First, assume ∼(𝑎) ∩ ∼(𝑏) = ∅ . Then 𝑎 ∈ ∼(𝑎) but 𝑎 ∈
/ ∼(𝑏). Therefore ∼(𝑎) ∕= ∼(𝑏).
EN




Conversely, assume ∼(𝑎) ∩ ∼(𝑏) ∕= ∅ and let 𝑥 ∈ ∼(𝑎) ∩ ∼(𝑏). Then 𝑥 ∼ 𝑎 and by
G




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 The set of proper coalitions is not a partition of the set of players, since any player
can belong to more than one coalition. For example, player 1 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
𝑦 ≿ 𝑥 which contradicts the assumption that 𝑥 ≻ 𝑦 . Therefore we conclude that 𝑧 ∕≿ 𝑥
and therefore 𝑥 ≻ 𝑧 . The other result is proved in similar fashion.
1.20 asymmetric Assume 𝑥 ≻ 𝑦.

𝑥 ≻ 𝑦 =⇒ 𝑦 ∕≿ 𝑥
while

𝑦 ≻ 𝑥 =⇒ 𝑦 ≿ 𝑥
Therefore
𝑥 ≻ 𝑦 =⇒ 𝑦 ∕≻ 𝑥

3