This preview shows pages 1–3. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: Econ 204 Corrections to de la Fuente Note that Item 10 was added 7/22/09 1. On page 23, de la Fuente presents two definitions of correspondence. In the second definition, de la Fuente requires that for all x X , ( x ) 6 = . The first definition simply says that is a function from X to 2 Y , the collection of all subsets of Y , and appears to believe that this implies that ( x ) 6 = ; since 2 Y , this belief is not correct. In the first definition, he should have said a correspondence is a function from X to 2 Y such that for all x X , ( x ) 6 = . 2. Theorem 5.2, page 64, should read as follows: Theorem 1 (5.2) Let ( X, d ) and ( Y, ) be two metric spaces, A X , f : A Y , and x a limit point of A . Then f has limit y as x x if and only if for every sequence { x n } that converges to x in ( X, d ) with x n A for every n and x n 6 = x , the sequence { f ( x n ) } converges to y in ( Y, ) . Comment: As stated in de la Fuente, the metric space ( X, d ) is the ambient space, so every limit point of X must be an element of X ; there is nothing outside of X to which a sequence in X can converge. Thus, as stated in de la Fuente, we must have x X and thus, x must be in the domain of f . The revised statement just given allows x to lie outside the domain of f . 3. De la Fuente uses a weaker definition of homeomorphism (Definition 6.20, page 74) than most texts; usually, a homeomorphism is required to be a surjection. For example, the injection map I : [0 , 1] R defined by I ( x ) = x would not be called a homeomorphism in most texts because it is not onto, but it is a homeomorphism under de la Fuentes weaker definition. This creates trouble in Theorem 6.21(ii). [0 , 1] is an open set in the metric space [0 , 1], but its image I ([0 , 1]) = [0 , 1] is not an open set in R , so Theorem 6.21 is false as stated. Theorem 6.21 is true if we assume that f : ( X, d ) ( Y, ) is onetoone and onto , or if 1 we replace the phrase its image f ( A X ) is open in ( Y, ) in part (ii) with its image f ( A X ) is open in f ( X ) ,  f ( X ) . 4. The proof of Theorem 7.12 is a bit disorganized and hard to follow. In the second bullet on page 84, de la Fuente assumes that { f n } converges to f in the sup norm, but this is not proven until the third bullet. Since the third bullet does not use the continuity of the limit function f , we could simply switch the second and third bullets to get a correct (but awkward) proof. Here is a better alternative to the second and third bullets: Fix > 0. Since the sequence { f n } is Cauchy in the sup norm, there exists N such n, m > N k f n f m k s < / 3. Fix m > N ....
View Full
Document
 Summer '08
 ANDERSON

Click to edit the document details