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

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

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

Economics 204 Fall 2012 Problem Set 3 Suggested Solutions

Preliminary draft only: please check for final version

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

Continuity. Chapter 4

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

Lecture 7. Econ August 18

Continuity. Chapter 4

Berge s Maximum Theorem

1 The Local-to-Global Lemma

Connectedness. Proposition 2.2. The following are equivalent for a topological space (X, T ).

Econ Lecture 3. Outline. 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n

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

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:

Characterisation of Accumulation Points. Convergence in Metric Spaces. Characterisation of Closed Sets. Characterisation of Closed Sets

Introduction to Real Analysis Alternative Chapter 1

Homework for Section 1.4, Continuity and One sided Limits. Study 1.4, # 1 21, 27, 31, 37 41, 45 53, 61, 69, 87, 91, 93. Class Notes: Prof. G.

STRONGLY CONNECTED SPACES

Maths 212: Homework Solutions

TOPOLOGY HW 2. x x ± y

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

REVIEW OF ESSENTIAL MATH 346 TOPICS

LECTURE 6. CONTINUOUS FUNCTIONS AND BASIC TOPOLOGICAL NOTIONS

Introduction to Topology

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

Lemma 15.1 (Sign preservation Lemma). Suppose that f : E R is continuous at some a R.

Math 312 Spring08 Day 13

Topology, Math 581, Fall 2017 last updated: November 24, Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski

Lecture 5: The Bellman Equation

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

MAS3706 Topology. Revision Lectures, May I do not answer enquiries as to what material will be in the exam.

Introduction to Correspondences

Introduction to Proofs in Analysis. updated December 5, By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION

Exam 2 extra practice problems

Econ Lecture 2. Outline

Math 421, Homework #6 Solutions. (1) Let E R n Show that = (E c ) o, i.e. the complement of the closure is the interior of the complement.

CHAPTER 7. Connectedness

Lecture 2. Econ August 11

Mathematical Methods in Economics (Part I) Lecture Note

Mathematical Appendix

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

Iowa State University. Instructor: Alex Roitershtein Summer Homework #5. Solutions

Consequences of Continuity and Differentiability

THEOREMS, ETC., FOR MATH 515

Definitions & Theorems

3 COUNTABILITY AND CONNECTEDNESS AXIOMS

MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1

Mathematics II, course

Definition 6.1. A metric space (X, d) is complete if every Cauchy sequence tends to a limit in X.

(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

4 Limit and Continuity of Functions

Math 541 Fall 2008 Connectivity Transition from Math 453/503 to Math 541 Ross E. Staffeldt-August 2008

Immerse Metric Space Homework

1. Let A R be a nonempty set that is bounded from above, and let a be the least upper bound of A. Show that there exists a sequence {a n } n N

Solution. 1 Solution of Homework 7. Sangchul Lee. March 22, Problem 1.1

MT804 Analysis Homework II

Since the two-sided limits exist, so do all one-sided limits. In particular:

Math 421, Homework #9 Solutions

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets

Chapter 14. Duality for Normed Linear Spaces

Real Analysis. Joe Patten August 12, 2018

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

MA651 Topology. Lecture 9. Compactness 2.

Proof. We indicate by α, β (finite or not) the end-points of I and call

2.1 The Tangent and Velocity Problems

P-adic Functions - Part 1

O.K. But what if the chicken didn t have access to a teleporter.

3 Hausdorff and Connected Spaces

Part III. 10 Topological Space Basics. Topological Spaces

s P = f(ξ n )(x i x i 1 ). i=1

WEEK 8. CURVE SKETCHING. 1. Concavity

The theory of manifolds Lecture 2

MATH 409 Advanced Calculus I Lecture 16: Mean value theorem. Taylor s formula.

Analysis and Linear Algebra. Lectures 1-3 on the mathematical tools that will be used in C103

3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

Sample Problems for the Second Midterm Exam

Definition: For nonempty sets X and Y, a function, f, from X to Y is a relation that associates with each element of X exactly one element of Y.

Problem Set 2: Solutions Math 201A: Fall 2016

Topological properties

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

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

Metric Spaces Lecture 17

Fixed Point Theorems

Solutions to Tutorial 1 (Week 2)

Math 117: Continuity of Functions

Quick Tour of the Topology of R. Steven Hurder, Dave Marker, & John Wood 1

1 Solutions to selected problems

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

Consequences of Continuity

Integration on Measure Spaces

MA 1124 Solutions 14 th May 2012

MAT3500/ Mandatory assignment 2013 Solutions

Chapter 3 Continuous Functions

8 Further theory of function limits and continuity

1 Directional Derivatives and Differentiability

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.

1 Lecture 25: Extreme values

Transcription:

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

Connected Sets Definition 1. Two sets A, B in a metric space are separated if Ā B = A B = A set in a metric space is connected if it cannot be written as the union of two nonempty separated sets. 2

Connected Sets Example: [0,1) and [1,2] are disjoint but not separated: [0,1) [1,2] = [0,1] [1,2] = {1} = [0,1) and (1,2] are separated: [0,1) (1,2] = [0,1] (1,2] = [0,1) (1,2] = [0,1) [1,2] = Note that d([0,1),(1,2]) = 0 even though the sets are separated. 3

Connected Sets Note that separation does not require that Ā B =. For example, is not connected. [0,1) (1,2] A common equivalent definition: A set Y in a metric space X is connected if there do not exist open sets A and B such that A B =, Y A B and A Y and B Y. 4

Connected Sets Theorem 1 (Thm. 9.2). A set S E 1 is connected if and only if it is an interval, i.e. if x, y S and z (x, y), then z S. Proof. First, we show that if S is connected then S is an interval. We do this by proving the contrapositive: if S is not an interval, then it is not connected. If S is not an interval, find Let x, y S, x < z < y, z S A = S (, z), B = S (z, ) 5

Then Ā B (, z) (z, ) = (, z] (z, ) = A B (, z) (z, ) = (, z) [z, ) = A B = (S (, z)) (S (z, )) = S \ {z} = S x A, so A y B, so B So S is not connected. We have shown that if S is not an interval, then S is not connected; therefore, if S is connected, then S is an interval. Now, we need to show that if S is an interval, it is connected. This is much like the proof of the Intermediate Value Theorem. See de la Fuente for the details.

Continuity and Connectedness In a general metric space, continuity will preserve connectedness. Theorem 2 (Thm. 9.3). Let X be a metric space and f : X Y be continuous. If C is a connected subset of X, then f(c) is connected. Proof. We prove the contrapositive: if f(c) is not connected, then C is not connected. Suppose f(c) is not connected. Then there exist P, Q such that P = Q, f(c) = P Q, and Let P Q = P Q = A = f 1 (P) C and B = f 1 (Q) C 6

Then A B = ( f 1 (P) C ) ( f 1 (Q) C ) = ( f 1 (P) f 1 (Q) ) C = f 1 (P Q) C = f 1 (f(c)) C = C Also, A = f 1 (P) C and B = f 1 (Q) C. Then note A = f 1 (P) C f 1 (P) f 1 ) ( P Since f is continuous, f 1 ( P) is closed, so Ā f 1 ) ( P Similarly, B = f 1 (Q) C f 1 (Q) f 1 ) ( Q

and f 1 ( Q) is closed, so B f 1 ) ( Q Then Ā B f 1 ( P ) f 1 (Q) = f 1 ( P Q ) = f 1 ( ) = and similarly A B f 1 (P) f 1 ) ( Q = f 1 ( P Q ) = f 1 ( ) =

So C is not connected. We have shown that f(c) not connected implies C not connected; therefore, C connected implies f(c) connected. You can view this result as a generalization of the Intermediate Value Theorem.

Intermediate Value Theorem, Yet Again This lets us give a third, and slickest, proof of the Intermediate Value Theorem. Corollary 1 (Intermediate Value Theorem). If f : [a, b] R is continuous, and f(a) < d < f(b), then there exists c (a, b) such that f(c) = d. Proof. Since [a,b] is an interval, it is connected. So f([a, b]) is connected, hence f([a, b]) is an interval. f(a) f([a, b]), and f(b) f([a, b]), and d [f(a), f(b)]; since f([a, b]) is an interval, d f([a, b]), i.e. there exists c [a,b] such that f(c) = d. Since f(a) < d < f(b), c a, c b, so c (a,b). 7

Correspondences Definition 2. A correspondence Ψ : X 2 Y from X to Y is a function from X to 2 Y, that is, Ψ(x) Y for every x X. 8

Correspondences Examples: 1. Let u : R n + R be a continuous utility function, y > 0 and p R n ++, that is, p i > 0 for each i. Define Ψ : R n ++ R ++ 2 Rn + by Ψ(p, y) = argmax u(x) s.t. x 0 p x y Ψ is the demand correspondence associated with the utility function u; typically Ψ(p, y) is multi-valued. 9

2. Let f : X Y be a function. Define Ψ : X 2 Y by Ψ(x) = {f(x)} for each x X That is, we can consider a function to be the special case of a correspondence that is single-valued for each x.

Continuity for Correspondences We want to talk about continuity of correspondences analogous to continuity of functions. What should continuity mean? We will discuss three main notions of continuity for correspondences, each of which can be motivated by thinking about what continuity means for a function f : R n R. 10

Continuity for Correspondences One way a function f : R n R may be discontinuous at a point x 0 is that it jumps downward at the limit: x n x 0 s.t. f(x 0 ) < liminf f(x n ) It could also jump upward at the limit: x n x 0 s.t. f(x 0 ) > limsupf(x n ) In either case, it doesn t matter whether the sequence x n approaches x 0 from the left or the right (or both). 11

12

13

Continuity for Correspondences What should it mean for a set to jump down at the limit x 0? It should mean the set suddenly gets smaller it implodes in the limit that is, there is a sequence x n x 0 and points y n Ψ(x n ) that are far from every point of Ψ(x 0 ) as n. 14

# $ % & ' (! " 15

Continuity for Correspondences Similarly, what should it mean for a set to jump up at the limit? This should mean that that the set suddenly gets bigger it explodes in the limit that is, there is a point y in Ψ(x 0 ) and a sequence x n x 0 such that y is far from every point of Ψ(x n ) as n. 16

* -. / 0 1 2 +, ) 17

Continuity for Correspondences Definition 3. Let X E n, Y E m, and Ψ : X 2 Y. Ψ is upper hemicontinuous (uhc) at x 0 X if, for every open set V Ψ(x 0 ), there is an open set U with x 0 U such that Ψ(x) V for every x U X Ψ is lower hemicontinuous (lhc) at x 0 X if, for every open set V such that Ψ(x 0 ) V, there is an open set U with x 0 U such that Ψ(x) V for every x U X 18

Ψ is continuous at x 0 X if it is both uhc and lhc at x 0. Ψ is upper hemicontinuous (respectively lower hemicontinuous, continuous) if it is uhc (respectively lhc, continuous) at every x X.

Continuity for Correspondences Upper hemicontinuity reflects the requirement that Ψ doesn t implode in the limit at x 0 ; lower hemicontinuity reflects the requirement that Ψ doesn t explode in the limit at x 0. Notice that upper and lower hemicontinuity are not nested: a correspondence can be upper hemicontinuous but not lower hemicontinuous, or lower hemicontinuous but not upper hemicontinuous. 19

4 3 9 : ; < = 5 5 6 4 7 8 5 6 4 > 8 4 7 4 > 20

Continuity for Correspondences An alternative notion of continuity looks instead at properties of the graph of the correspondence. The graph of a correspondence Ψ : X 2 Y is the set graph Ψ = {(x, y) X Y : y Ψ(x)} 21

Continuity for Correspondences Recall that a function f : R n R is continuous if and only if whenever x n x, f(x n ) f(x). We can translate this into a statement about its graph. Suppose {(x n, y n )} graph f and (x n, y n ) (x, y). Since f is a function, (x n, y n ) graph f y n = f(x n ). So f is continuous y = lim y n = lim f(x n ) = f(x) (x, y) graph f So if f is continuous then each convergent sequence {(x n, y n )} in graph f converges to a point (x, y) in graph f, that is, graph f is closed. 22

Closed Graph Definition 4. Let X E n, Y E m. A correspondence Ψ : X 2 Y has closed graph if its graph is a closed subset of X Y, that is, if for any sequences {x n } X and {y n } Y such that x n x X, y n y Y and y n Ψ(x n ) for each n, then y Ψ(x). 23

Closed Graph Example: Consider the correspondence { { } 1x if x (0,1] Ψ(x) = {0} if x = 0 Let V = ( 0.1,0.1). Then Ψ(0) = {0} V, but no matter how close x is to 0, { } 1 Ψ(x) = V x so Ψ is not uhc at 0. However, note that Ψ has closed graph. 24

F A? @ A B C D E A 25

Continuity for Correspondences Example: Consider the correspondence Ψ(x) = { { 1x } if x (0,1] R + if x = 0 Ψ(0) = [0, ), and Ψ(x) Ψ(0) for every x [0,1]. So if V Ψ(0) then V Ψ(x) for all x. Thus, Ψ is uhc, and has closed graph. 26

N I G H I J K L M I 27

Upper Hemicontinuity and Closed Graph For a function, upper hemi-continuity and continuity coincide. Theorem 3. Let X E n, Y E m and f : X Y. Let Ψ : X 2 Y be the correspondence given by Ψ(x) = {f(x)} for all x X. Then Ψ is uhc if and only if f is continuous. Proof. Suppose Ψ is uhc. We consider the metric spaces (X, d) and (Y, d), where d is the Euclidean metric. Fix V open in Y. Then f 1 (V ) = {x X : f(x) V } = {x X : Ψ(x) V } 28

Thus, f is continuous if and only if f 1 (V ) is open in X for each open V in Y, if and only if {x X : Ψ(x) V } is open in X for each open V in Y, if and only if Ψ is uhc (as an exercise, think through why this last equivalence holds).

Continuity for Correspondences For a general correspondence, these notions are not nested: A closed graph correspondence need not be uhc, as the first example above illustrates. Conversely an uhc correspondence need not have closed graph, or even have closed values. 29

Continuity for Correspondences Definition 5. A correspondence Ψ : X 2 Y is called closedvalued if Ψ(x) is a closed subset of Y for all x; Ψ is called compact-valued if Ψ(x) is compact for all x. For closed-valued correspondences these concepts can be more tightly connected. A closed-valued and upper hemicontinuous correspondence must have closed graph. For a closed-valued correspondence with a compact range, upper hemicontinuity is equivalent to closed graph. 30

Upper Hemicontinuity and Closed Graph Theorem 4 (Not in de la Fuente). Suppose X E n and Y E m, and Ψ : X 2 Y. (i) If Ψ is closed-valued and uhc, then Ψ has closed graph. (ii) If Ψ has closed graph and there is an open set W with x 0 W and a compact set Z such that x W X Ψ(x) Z, then Ψ is uhc at x 0. (iii) If Y is compact, then Ψ has closed graph Ψ is closedvalued and uhc. 31

Proof. (i) Suppose Ψ is closed-valued and uhc. If Ψ does not have closed graph, we can find a sequence (x n, y n ) (x 0, y 0 ), where (x n, y n ) lies in the graph of Ψ (so y n Ψ(x n )) but (x 0, y 0 ) does not lie in the graph of Ψ (so y 0 Ψ(x 0 )). Since Ψ is closed-valued, Ψ(x 0 ) is closed. Since y 0 Ψ(x 0 ), there is some ε > 0 such that so Ψ(x 0 ) B 2ε (y 0 ) = Ψ(x 0 ) E m \ B ε [y 0 ] Let V = E m \ B ε [y 0 ]. Then V is open, and Ψ(x 0 ) V. Since Ψ is uhc, there is an open set U with x 0 U such that x U X Ψ(x) V

Since (x n, y n ) (x 0, y 0 ), x n U for n sufficiently large, so y n Ψ(x n ) V Thus for n sufficiently large, y n y 0 ε, which implies that y n y 0, and (x n, y n ) (x 0, y 0 ), a contradiction. Thus Ψ is closed-graph. (ii) Now, suppose Ψ has closed graph and there is an open set W with x 0 W and a compact set Z such that x W X Ψ(x) Z Since Ψ has closed graph, it is closed-valued. Let V be any open set such that V Ψ(x 0 ). We need to show there exists an open set U with x 0 U such that x U X Ψ(x) V

If not, we can find a sequence x n x 0 and y n Ψ(x n ) such that y n V. Since x n x 0, x n W X for all n sufficiently large, and thus Ψ(x n ) Z for n sufficiently large. Since Z is compact, we can find a convergent subsequence y nk y. Then (x nk, y nk ) (x 0, y ) Since Ψ has closed graph, y Ψ(x 0 ), so y V. Since V is open, y nk V for all k sufficiently large, a contradiction. Thus, Ψ is uhc at x 0. (iii) Follows from (i) and (ii).

Sequential Characterizations Upper and lower hemicontinuity can be given sequential characterizations that are useful in applications. Theorem 5 (Thm. 11.2). Suppose X E n and Y E m. A compact-valued correspondence Ψ : X 2 Y is uhc at x 0 X if and only if, for every sequence {x n } X with x n x 0, and every sequence {y n } such that y n Ψ(x n ) for every n, there is a convergent subsequence {y nk } such that lim y nk Ψ(x 0 ). Proof. See de la Fuente. Note that this characterization of upper hemicontinuity requires the correspondence to have compact values. 32

Sequential Characterizations Theorem 6 (Thm. 11.3). A correspondence Ψ : X Y is lhc at x 0 X if and only if, for every sequence {x n } X with x n x 0, and every y 0 Ψ(x 0 ), there exists a companion sequence {y n } with y n Ψ(x n ) for every n such that y n y 0. Proof. See de la Fuente. 33

Q Q Q P O U V W X Y R P S T R P Z T P S P Z 34