Economics 204. The Transversality Theorem is a particularly convenient formulation of Sard s Theorem for our purposes: with r 1+max{0,n m}

Similar documents
Rank (df x ) min{m, n} We say

Economics 204 Summer/Fall 2017 Lecture 12 Tuesday August 1, 2017

Economics 201B Second Half. Lecture 8, 4/8/10

Walker Ray Econ 204 Problem Set 3 Suggested Solutions August 6, 2015

Economics 204 Summer/Fall 2017 Lecture 7 Tuesday July 25, 2017

Economics 201B Second Half. Lecture 10, 4/15/10. F (ˆp, ω) =ẑ(ˆp) when the endowment is ω. : F (ˆp, ω) =0}

Assignment-10. (Due 11/21) Solution: Any continuous function on a compact set is uniformly continuous.

Constructive Proof of the Fan-Glicksberg Fixed Point Theorem for Sequentially Locally Non-constant Multi-functions in a Locally Convex Space

Continuity. Chapter 4

Econ Lecture 7. Outline. 1. Connected Sets 2. Correspondences 3. Continuity for Correspondences

converges as well if x < 1. 1 x n x n 1 1 = 2 a nx n

Review of Multi-Calculus (Study Guide for Spivak s CHAPTER ONE TO THREE)

Introduction to General Equilibrium

The Borsuk Ulam Theorem

MA651 Topology. Lecture 10. Metric Spaces.

Functions. Chapter Continuous Functions

Real Analysis. Joe Patten August 12, 2018

Exam 2 extra practice problems

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions

HOMEWORK ASSIGNMENT 5

1 Solutions to selected problems

PRACTICE PROBLEMS FOR MIDTERM I

15 Real Analysis II Sequences and Limits , Math for Economists Fall 2004 Lecture Notes, 10/21/2004

Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011

Game Theory and Algorithms Lecture 7: PPAD and Fixed-Point Theorems

MATH 409 Advanced Calculus I Lecture 10: Continuity. Properties of continuous functions.

SMSTC (2017/18) Geometry and Topology 2.

Maths 212: Homework Solutions

Fixed Point Theorems

g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

Bonus Homework. Math 766 Spring ) For E 1,E 2 R n, define E 1 + E 2 = {x + y : x E 1,y E 2 }.

Set, functions and Euclidean space. Seungjin Han

Convexity in R n. The following lemma will be needed in a while. Lemma 1 Let x E, u R n. If τ I(x, u), τ 0, define. f(x + τu) f(x). τ.

Lecture 8: Basic convex analysis

2) Let X be a compact space. Prove that the space C(X) of continuous real-valued functions is a complete metric space.

Midterm 1. Every element of the set of functions is continuous

Fixed Point Theorems 1

Lecture Notes MATHEMATICAL ECONOMICS

Economics 204 Summer/Fall 2011 Lecture 2 Tuesday July 26, 2011 N Now, on the main diagonal, change all the 0s to 1s and vice versa:

Chapter 5. Measurable Functions

BROUWER S FIXED POINT THEOREM: THE WALRASIAN AUCTIONEER

Introduction to Real Analysis Alternative Chapter 1

C 1 convex extensions of 1-jets from arbitrary subsets of R n, and applications

Section 3.7. Rolle s Theorem and the Mean Value Theorem

EC9A0: Pre-sessional Advanced Mathematics Course. Lecture Notes: Unconstrained Optimisation By Pablo F. Beker 1

Economics 204 Fall 2013 Problem Set 5 Suggested Solutions

Continuity. Chapter 4

Sequences. Limits of Sequences. Definition. A real-valued sequence s is any function s : N R.

Solutions Final Exam May. 14, 2014

Math 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 8 Solutions Please write neatly, and in complete sentences when possible.

Optimality Conditions for Nonsmooth Convex Optimization

Economics 205 Exercises

Summer Jump-Start Program for Analysis, 2012 Song-Ying Li

SOLUTIONS TO SOME PROBLEMS

We say that the function f obtains a maximum value provided that there. We say that the function f obtains a minimum value provided that there

Economics 205, Fall 2002: Final Examination, Possible Answers

Lecture 7: General Equilibrium - Existence, Uniqueness, Stability

Midterm 1 Solutions Thursday, February 26

WHY SATURATED PROBABILITY SPACES ARE NECESSARY

Introduction to Game Theory

REVIEW OF ESSENTIAL MATH 346 TOPICS

Analytic Geometry and Calculus I Exam 1 Practice Problems Solutions 2/19/7

Lecture 12 Unconstrained Optimization (contd.) Constrained Optimization. October 15, 2008

THE INVERSE FUNCTION THEOREM

UNDERGROUND LECTURE NOTES 1: Optimality Conditions for Constrained Optimization Problems

4. Convex Sets and (Quasi-)Concave Functions

6.207/14.15: Networks Lecture 10: Introduction to Game Theory 2

The existence of equilibrium in a simple exchange model

M17 MAT25-21 HOMEWORK 6

Real Analysis Problems

CHAPTER 9. Embedding theorems

Lecture 6: April 25, 2006

McGill University Math 354: Honors Analysis 3

MATH 2053 Calculus I Review for the Final Exam

1 General Equilibrium

MAT 12 - SEC 021 PRECALCULUS SUMMER SESSION II 2014 LECTURE 3

4. We accept without proofs that the following functions are differentiable: (e x ) = e x, sin x = cos x, cos x = sin x, log (x) = 1 sin x

Mathematical Appendix

Mathematical Methods in Economics (Part I) Lecture Note

Analysis Qualifying Exam

6.896: Topics in Algorithmic Game Theory

KAKUTANI S FIXED POINT THEOREM AND THE MINIMAX THEOREM IN GAME THEORY

From now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1.

MSM120 1M1 First year mathematics for civil engineers Revision notes 4

Mathematical Preliminaries for Microeconomics: Exercises

Weak convergence and Brownian Motion. (telegram style notes) P.J.C. Spreij

L p Spaces and Convexity

Exercises from other sources REAL NUMBERS 2,...,

REAL VARIABLES: PROBLEM SET 1. = x limsup E k

Positive Theory of Equilibrium: Existence, Uniqueness, and Stability

MADHAVA MATHEMATICS COMPETITION, December 2015 Solutions and Scheme of Marking

Find the slope of the curve at the given point P and an equation of the tangent line at P. 1) y = x2 + 11x - 15, P(1, -3)

(a) For an accumulation point a of S, the number l is the limit of f(x) as x approaches a, or lim x a f(x) = l, iff

APPLICATIONS OF DIFFERENTIABILITY IN R n.

Perron method for the Dirichlet problem.

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

Economics 204 Summer/Fall 2011 Lecture 11 Monday August 8, f(x + h) (f(x) + ah) = a = 0 = 0. f(x + h) (f(x) + T x (h))

ON SPACE-FILLING CURVES AND THE HAHN-MAZURKIEWICZ THEOREM

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Transcription:

Economics 204 Lecture 13 Wednesday, August 12, 2009 Section 5.5 (Cont.) Transversality Theorem The Transversality Theorem is a particularly convenient formulation of Sard s Theorem for our purposes: Theorem 1 (2.5, Transversality Theorem) Let X Ω R n+p be open F : X Ω R m C r with r 1+max{0,n m} Suppose that F (x, ω) =0 DF (x, ω) has rank m Then there is a set Ω 0 Ω such that Ω \ Ω 0 has Lebesgue measure zero such that ω Ω 0, F(x, ω) =0 D x F (x, ω) has rank m If m = n and ω 0 Ω 0, there is a local implicit function x (ω) characterized by F (x (ω),ω)=0 where x is a C r function of ω. the correspondence ω {x : F (x, ω) =0} is lower hemicontinuous at ω 0. 1

Interpretation of Tranversality Theorem Ω: a set of parameters (agents endowments and preferences, or players payoff functions). X: a set of variables (price vectors, or strategies). R m is the range of F (excess demand, or best-response strategies). F (x, ω) = 0 is equilibrium condition, given parameter ω. Rank DF (x, ω) = m says that, by adjusting either the variables or parameters, it is possible to move F in any direction. When m = n, RankD x F (x, ω) =m says det D x F (x, ω) 0, which says the economy is regular and is the hypothesis of the Implicit Function Theorem; this tells us that the equilibrium correspondence is lower hemicontinuous. Economic correspondences like ω {x : F (x, ω) =0} are generally upper hemicontinuous, so regularity in fact tells us the correspondence is continuous. You will see in 201B that regularity, plus a property of demand functions, tell us that the equilibrium prices are given by a finite number of implicit functions of the parameters (endowments). Parameters of any given economy are fixed. However, we want to study the set of parameters for which the resulting economy is well-behaved. Theorem says the following: If, whenever F (x, ω) = 0, it is possible by perturbing the parameters and variables to move F in any direction, then for almost all parameter values, all equilibria 2

are regular, the equilibria are implicitly defined C r functions of the parameters, and the equilibrium correspondence is lower hemicontinuous. You will see in 201B that the regularity of the equilibria plus a property of demand functions implies that there are only finitely many equilibria. If n<m,rankd x F (x, ω) min{m, n} = n<m. Therefore, (F (x, ω) =0 DF (x, ω) hasrankm) for all ω except for a set of Lebesgue measure zero F (x, ω) = 0 has no solution Why is it true? Sard s Theorem says the set of critical values of F is a set of Lebesgue measure zero. As long as you have the freedom to move F away from zero in every direction, then you can make zero not be a critical value and hence make the economy regular. Section 5.3, Brouwer s and Kakutani s Fixed Point Theorems Theorem 2 (3.2, Brouwer s Fixed Point Theorem) Let X R n be nonempty, compact, convex and let f : X X be continuous. Then x Xf(x )=x i.e. f has a fixed point. Proof: (in very special case n =1): A is a closed interval [a, b]. Let 3

g(x) = f(x) x g(a) = f(a) a 0 g(b) = f(b) b 0 By the Intermediate Value Theorem, there exists x [a, b] such that g(x )=0. Then f(x )=g(x )+x = x General Case: Much harder, but a wonderful result due to Scarf gives an efficient algorithm to find approximate fixed points: ε >0 x ε f (x ε) x ε <ε Sketch of Idea of Scarf Algorithm: Suppose X is n 1 dimensional. Let X be the price simplex { n } X = p R n + : p l =1 l=1 Triangulate X, i.e. divide X into a set of simplices such that the intersection of any two simplices is either empty or a whole face of both. Label each vertex in the triangulation by L(x) =min{l : f(x) l <x l } Each simplex in the triangulation has n vertices. A simplex is completely labelled if its vertices carry each of the labels 1,...,n exactly once; it is almost completely labelled if its vertices carry the labels 1,...,n 1 with exactly one of these labels repeated. 4

A simplex which is almost completely labelled has two doors, the faces opposite the two vertices with repeated labels. Algorithm pivots from one simplex to another by going in one door and alway leaving by the other door. The new simplex must either be completely labelled, in which case the algorithm stops, or it is almost completely labelled and the algorithm continues. One can show that one can never visit the same simplex twice: if you did, there would be a first simplex visited a second time, but then you had to enter it through a door, and you previously used both doors, so some other simplex must be the first simplex visited a second time, contradiction. One can show that one cannot exit through a face of the the large simplex. Since there are only finitely many simplices, and you visit each one at most once, you must stop after a finite number of steps at a completely labelled simplex. Completely labelled simplices are approximate fixed points: Fix ε>0. Since X is compact and f is continuous, f is uniformly continuous, so we can find a triangulation fine enough so that for every simplex σ in the triangulation, x, y σ ( x y < ε ) ε, f(x) f(y) < 4n 4n Suppose σ is completely labelled. Let its vertices be v 1,...,v n, and assume WLOG L(v l )=l L(v 1 )=1 f(v 1 ) 1 < (v 1 ) 1 5

L(v 2 )=2 1 f(v 2 ) 1 (v 2 ) 1 y1 σ f(y 1 ) 1 =(y 1 ) 1 L(v 2 )=2 f(v 2 ) 2 < (v 2 ) 2 L(v 3 )=3 2 f(v 3 ) 2 (v 3 ) 2 y2 σ f(y 2 ) 2 =(y 2 ) 2. L(v n 1 )=n 1 f(v n 1 ) n 1 < (v n 1 ) n 1 L(v n )=n n 1 f(v n ) n 1 (v n ) n 1 yn 1 σ f(y n 1 ) n 1 =(y n 1 ) n 1 Given any x σ and any l {1,...,n 1}, f(x) l x l f(x) l f(y l ) l + f(y l ) l (y l ) l + (y l ) l x l ε 4n +0+ ε 4n = ε 2n f(x) n x n ( ) ( n 1 = 1 f(x) l 1 l=1 n 1 = (x l f(x) l ) < ε 2 l=1 n 1 l=1 f(x) l x l (n 1) ε 2n n 1 ) x l l=1 6

f(x) x f(x) x 1 (L 1) ε 2n + ε 2 < ε 2 + ε 2 = ε Theorem 3 (3.4, Kakutani s Fixed Point Theorem) Suppose X R m is compact, convex, nonempty, and Ψ:X X is a convex-valued, closed-valued, nonempty-valued and and upper hemicontinuous correspondence. Then x Xx Ψ(x ) i.e. Ψ has a fixed point. Outline of Proof: If we could find a continuous selection g from Ψ, i.e. g : X X continuous, a X g(a) Ψ(a) we could apply Brouwer: there exists a X such that g(a )=a,soa Ψ(a ) and we would be done. Unfortunately, we cannot in general find such a selection. For each n N, find a continuous function g n whose graph is within 1 n of the graph of Ψ. By Brouwer s Theorem, we can find a fixed point a n of g n,so(a n,a n ) is in the graph of g n. Therefore, there exists (x n,y n ) in the graph of Ψ such that a n x n < 1 n, a n y n < 1 n Since X is compact, {a n} has a convergent subsequence a n k a 7

for some a X. lim x n k = a, lim y nk = a k k Since Ψ is closed-valued and upper hemicontinuous, it has closed graph, so (x nk,y nk ) (a,a ) (a,a ) is in the graph of Ψ, so a Ψ(a ). Section 6.1(d): Separating Hyperplane Theorem The Separating Hyperplane Theorem (also known as Minkowski s Theorem) is used to find establish the existence of prices with specified properties. Theorem 4 (1.26, Separating Hyperplane Theorem) Suppose X, Y R n, X Y, X, Y convex, X Y =. Then p R n,p 0 sup p X = sup{p x : x X} inf{p y : y Y } = infp Y Proof: We sketch the proof in the special case that X = {x}, Y compact, x Y.Wewillseethatweget a stronger conclusion: p R n,p 0 p x<inf p Y Choose y 0 Y such that y 0 x =inf{ y x : y Y }; such a point exists because Y is compact, so the distance function g(y) = y x assumes its minimum on Y.Sincex Y, x y 0,soy 0 x 0. Let p = y 0 x. Theset H = {z R n : p z = p y 0 } is the hyperplane perpendicular to p through y 0. 8

p y 0 = (y 0 x) y 0 = (y 0 x) (y 0 x + x) = (y 0 x) (y 0 x)+(y 0 x) x = y 0 x 2 + p x > p x We claim that y Y p y p y 0 If not, suppose y Y, p y<p y 0 Given α (0, 1), let w α = αy +(1 α)y 0 Since Y is convex, w α Y. We claim that for α sufficiently close to zero, w α x < y 0 x so y 0 is not the closest point in Y to x, contradiction. Geometric argument: The hyperplane H is perpendicular to p and goes through y 0 ; the tangent to the sphere S = {z : z x = y 0 x } at y 0 is also perpendicular to p, sincep is the radius of the sphere. Therefore, H is the tangent to the sphere at y 0. This implies that for α sufficiently close to 0, x w α < y 0 x. 9

Algebraic argument: If 0 <α< 2p (y 0 y) y 0 y 2 then x w α 2 = x αy (1 α)y 0 2 = x y 0 + α(y 0 y) 2 = p + α(y 0 y) 2 = p 2 2αp (y 0 y)+α 2 y 0 y 2 = p 2 + α ( 2p (y 0 y)+α y 0 y 2) < p 2 = y 0 x 2 10