Economics 204 Fall 2011 Problem Set 1 Suggested Solutions

Similar documents
Some Basic Notations Of Set Theory

Thus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a

5 Set Operations, Functions, and Counting

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:

Economics 204 Summer/Fall 2017 Lecture 1 Monday July 17, 2017

Problem Set 2: Solutions Math 201A: Fall 2016

Exercises for Unit VI (Infinite constructions in set theory)

Course 212: Academic Year Section 1: Metric Spaces

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

MATH 13 SAMPLE FINAL EXAM SOLUTIONS

MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1

Maths 212: Homework Solutions

In N we can do addition, but in order to do subtraction we need to extend N to the integers

Well-Ordered Sets, Ordinals and Cardinals Ali Nesin 1 July 2001

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

DR.RUPNATHJI( DR.RUPAK NATH )

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

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

Chapter 2 Metric Spaces

Axioms for Set Theory

A Short Review of Cardinality

Math 426 Homework 4 Due 3 November 2017

Theorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers

In N we can do addition, but in order to do subtraction we need to extend N to the integers

Chapter 1. Sets and Numbers

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 1. I. Foundational material

Axioms of separation

Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations

Iowa State University. Instructor: Alex Roitershtein Summer Exam #1. Solutions. x u = 2 x v

Introductory Analysis I Fall 2014 Homework #5 Solutions

AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES

MATH FINAL EXAM REVIEW HINTS

Chapter 1. Sets and Mappings

Solutions to Tutorial 8 (Week 9)

REVIEW FOR THIRD 3200 MIDTERM

Math 3T03 - Topology

Mathematics for Economists

Austin Mohr Math 730 Homework. f(x) = y for some x λ Λ

Metric Space Topology (Spring 2016) Selected Homework Solutions. HW1 Q1.2. Suppose that d is a metric on a set X. Prove that the inequality d(x, y)

Discrete Mathematics 2007: Lecture 5 Infinite sets

DO FIVE OUT OF SIX ON EACH SET PROBLEM SET

Math 4603: Advanced Calculus I, Summer 2016 University of Minnesota Notes on Cardinality of Sets

Chapter 4. Measure Theory. 1. Measure Spaces

Extension of continuous functions in digital spaces with the Khalimsky topology

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

Studying Rudin s Principles of Mathematical Analysis Through Questions. August 4, 2008

Mid Term-1 : Practice problems

MH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then


HW 4 SOLUTIONS. , x + x x 1 ) 2

MORE ON CONTINUOUS FUNCTIONS AND SETS

Definition: Let S and T be sets. A binary relation on SxT is any subset of SxT. A binary relation on S is any subset of SxS.

Analysis III. Exam 1

Partial cubes: structures, characterizations, and constructions

Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics Lecture notes in progress (27 March 2010)

2.2 Some Consequences of the Completeness Axiom

Stat 451: Solutions to Assignment #1

Topological properties

NAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key

Math 105A HW 1 Solutions

Chapter 8. P-adic numbers. 8.1 Absolute values

MA651 Topology. Lecture 10. Metric Spaces.

Topology Exercise Sheet 2 Prof. Dr. Alessandro Sisto Due to March 7

Mathematics 220 Workshop Cardinality. Some harder problems on cardinality.

Economics 204 Fall 2012 Problem Set 3 Suggested Solutions

Analysis I. Classroom Notes. H.-D. Alber

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

1.1. MEASURES AND INTEGRALS

MATH 426, TOPOLOGY. p 1.

Solution. 1 Solutions of Homework 1. 2 Homework 2. Sangchul Lee. February 19, Problem 1.2

Principles of Real Analysis I Fall I. The Real Number System

Basic counting techniques. Periklis A. Papakonstantinou Rutgers Business School

REAL AND COMPLEX ANALYSIS

POL502: Foundations. Kosuke Imai Department of Politics, Princeton University. October 10, 2005

Introduction to Real Analysis

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is

INFINITY: CARDINAL NUMBERS

Set, functions and Euclidean space. Seungjin Han

Measures and Measure Spaces

Lebesgue Measure on R n

The Banach-Tarski paradox

Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University

Löwenheim-Skolem Theorems, Countable Approximations, and L ω. David W. Kueker (Lecture Notes, Fall 2007)

Sequences. Chapter 3. n + 1 3n + 2 sin n n. 3. lim (ln(n + 1) ln n) 1. lim. 2. lim. 4. lim (1 + n)1/n. Answers: 1. 1/3; 2. 0; 3. 0; 4. 1.

Chapter One. The Real Number System

The integers. Chapter 3

Week Some Warm-up Questions

Cardinality and ordinal numbers

Some Background Material

Real Analysis. Joe Patten August 12, 2018

Discrete Mathematics for CS Spring 2007 Luca Trevisan Lecture 27

1 Basic Combinatorics

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:

1 The Local-to-Global Lemma

MATH 202B - Problem Set 5

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),

Sets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions

Many of you got these steps reversed or otherwise out of order.

Topology Math Conrad Plaut

Math 455 Some notes on Cardinality and Transfinite Induction

Transcription:

Economics 204 Fall 2011 Problem Set 1 Suggested Solutions 1. Suppose k is a positive integer. Use induction to prove the following two statements. (a) For all n N 0, the inequality (k 2 + n)! k 2n holds. (b) For all natural n 2k 2, the inequality n! k n holds. (Recall that the factorial of a non-negative integer n is defined by n! = n m=1 m with the convention 0! = 1.) Solution: (a) Base step n = 0: The RHS is k 0 = 1, while the LHS equals (k 2 )!, which is clearly greater or equal to 1 since k is a positive integer. Induction step: Assume (k 2 + n)! k 2n holds for some n N. Now consider the corresponding inequality for n+1. Starting from the LHS, we have: (k 2 + n + 1)! = (k 2 + n)!(k 2 + n + 1) k 2n (k 2 + n + 1) = k 2n+2 + k 2n (n + 1) k 2(n+1), where the first inequality follows from the inductions assumption. So by mathematical induction, (k 2 + n)! k 2n for all n N 0. (b) Base step n = 2k 2 : The LHS can now be expressed as: (2k 2 )! = (k 2 + k 2 )!, while the RHS equals k 2k2. The inequality (2k 2 )! k 2k2 then follows from part (a) of this problem for n = k 2. 1

Induction step: Assume n! k n holds for some n 2k 2. Now for n + 1, we have: (n + 1)! = n!(n + 1) k n (n + 1) > k n (2k 2 ) > k n+1, where the first inequality follows from the induction assumption and the second one from the fact that n + 1 > n 2k 2. So by mathematical induction, n! k n for all n 2k 2. 2. Let n be a positive integer, and suppose that n chords are drawn in a circle, cutting the circle into a number of regions. Prove that the regions can be colored with two colors in such a way that adjacent regions (that is, regions that share an edge) are different colors. Solution: We will prove this using mathematical induction. The base step n=1 is trivial. Induction step: Assume that the hypothesis holds for all circles with n chords. Now consider a circle with n+1 chords. Number these chords from 1 to n + 1. Now we color the circle in the following manner: Take the first n chords (those numbered 1 to n) and assume that they divide the circle into K regions. Denote them A 1, A 2,..., A K and call their collection A: A = {A i : i N, i K} Color the regions in A so that they satisfy the desired property (this coloring is possible by the induction assumption). Now consider the regions defined by all n+1 chords, preserving the coloring from the previous step. Similarly to above, let the n + 1 chords divide the circle into K K regions. Call the collections of these regions B: B = {B i : i N, i K }. 2

Notice that for each B i B we have B i A j for some j. Unless the n + 1-st chord coincides with one of the other n chords, the coloring now does not satisfy the desired property since adjacent regions in B whose border lies on the n + 1-st chord are part of the same region in A and thus have the same color. On its own (i.e. without any of the other chords), the n+1-st chord partitions the circle into two parts. Similarly, it also partitions B into two parts: call them U and V. Flip all the colors for all regions in U: if the two colors are fuchsia and lime for example, change the color of all fuchsia regions to lime and vice versa. Keep the colors of all regions in V unchanged. We now need to show that this coloring satisfies the desired properties. To do that we just need to consider any pair of adjacent regions in B: without loss of generality, call them B 1 and B 2. There are two cases to consider. B 1 and B 2 s common edge is not the n + 1-st chord: in this case, there are A i, A j A such that B 1 = A i and B 2 = A j. Furthermore, either {B 1, B 2 } V or {B 1, B 2 } U. Since the initial coloring satisfied the desired property for the regions in A, the two regions (B 1 = A i and B 2 = A j ) must be colored differently (even if they are in U and had their colors reversed). B 1 and B 2 s common edge is the n + 1-st chord: in this case, there exists A i A such that B 1 and B 2 partition A i. This means that with the original coloring, B 1 and B 2 had the same color. Furthermore, we also know that exactly one from B 1 and B 2 is a member of U, while the other one is a member of V. Therefore, exactly one from B 1 and B 2 had its color changed. Thus the two regions are now colored differently. Please see Figure 1 for an illustration of the construction of the coloring in the induction step for the case n = 3. The first panel shows a coloring for the regions defined by three of the four chords. The second panel adds the fourth chord; in the third panel, the colors in the regions above that chord are reversed, creating a coloring that satisfies the requirements. 3

Figure 1: Coloring Construction in the Induction Step 3. Define the relation on the space of all sets in the following manner: A B iff there exists a bijection f : A B. Show that is an equivalence relation. (Notice that this is just the definition of numerical equivalence. The problem is asking you to prove that numerical equivalence is indeed an equivalence relation, as the name suggests.) Solution: We need to show that the relation is reflexive, symmetric, and transitive. Let X, Y, and Z in the following denote sets. Reflexive: Consider the identity function f : X X defined by f(x) = x. It is obviously both 1-1 and onto. Hence X X. Symmetric: Let X Y. Then there exists an 1-1 and onto function f : X Y. Now consider its inverse f 1 : Y 2 X, defined as usual by f 1 (y) = {x : f(x) = y}. This is a well-defined function from Y to X since f is 1-1 (so f 1 (y) is at most a singleton set for all y Y ) and onto (so f 1 is non-empty for all y Y ). Furthermore, it is 1-1 and onto. If it weren t 1-1, we would have y y, such that f 1 (y) = f 1 (y ), which implies two different values for some f(x), which is impossible. The inverse function is onto since f s domain is all of X. Since f 1 is a bijection from Y to X, the two sets are numerically equivalent and Y X. Transitive: Let X Y and Y Z with the corresponding bijections f : X Y and g : Y Z. Consider the composition of f and g, g f : X Z, defined by (g f)(x) = g(f(x)). Since f and g are both 1-1, we have: x x f(x) f(x ) g(f(x)) g(f(x )). 4

Therefore, g f is 1-1. Further, since f and g are both onto (and hence f(x) = Y and f(y ) = Z), we have: (g f)(x) = g(f(x)) = g(y ) = Z. So g f is also onto. Hence g f is a bijection and X Z. 4. Prove that the countable union of countable sets is countable. Solution: Since we have countably many sets, we can enumerate them using the space of integers Z as an index. In other words, let the countable collection of sets be: {A i } i Z. Similarly, we can enumerate the elements in each of the sets A i : A i = {a i j} j Z\{0} (notice that now we are using the integers without zero as the index set for the elements of A i, which is permissible since Z\{0} is also countable). Using this notation, the union is: U = {A i } i Z = {a i j} i,j Z,j 0. But U then clearly has the same cardinality as the set Q = { i j : i, j Z, j 0}, which is the set of all rationals and is countable. You cannot use induction to prove this statement since the principle of induction can be used to prove only statements of the form all natural numbers larger than or equal to n 0 have the property P. It is relatively easy to come up with examples of properties that hold for any collection of finitely many sets but fail for countably many sets: for example, think about the intersection of open sets and whether it is open. Aside: This proof used the fact that Q is countable. A direct (but more ungainly) proof could enumerate the sets A i and the elements a i j in each set using N (i.e. U = {a i j} i,j N ) and then we can define f : N U by f(n) = {a i j : i + j = m n + 2; i = n (mn+1)mn }, where 2 m n = max{m N 0 : (m+1)m < n}. Then one can verify that f(n) is 2 always a singleton and hence f is a function, and that f is a bijection. 5

This function simply adapts and formalizes the picture argument presented for the countability of Q. Bigger aside: This problem originally also asked you to prove that the uncountable union of countable sets is uncountable, which is incorrect without an additional assumption. To see that, we can just take uncountably many copies of N; naturally, their union (N) is countable. Apologies for the confusion! An additional sufficient condition is that the sets are pairwise disjoint. Then, similarly to the previous proof, we can let: U = {a i j} i I;j N, where I is some uncountable set. Importantly, due to the additional assumption, we have: a i j a i j whenever (i, j) (i, j ). Let also: V = {a i 1} i I. It is clear that V and I have the same cardinality (i.e. V has uncountably many distinct elements) but also V U. Thus U is a superset of an uncountable set and is therefore itself uncountable. Notice that the sets being pairwise unequal does not suffice to guarantee that the union will be uncountable. To see that, let P (N) be the collection of all infinite subsets of N. It is clear that all elements of P (N) are countable sets and pairwise unequal. However, we can show that P (N) itself is uncountable 1, while the union of the elements of P (N) equals N. 5. Suppose A R +, b R +, and for every list a 1, a 2,..., a n of finitely many distinct elements of A, a 1 + a 2 + + a n b. Prove that A is at most countable (i.e. either finite or countable). (Hint: Consider the sets A n = {x A x 1/n}. Feel free to use problem 4.) Solution: If A is finite, we are done. Assume instead that A is an infinite set. Let A n = {x A x 1/n} for all n N. 1 Showing this is somewhat challenging. If you want to try, you can think about a mapping from P (N) into [0, 1]; in particular, think about the binary expansion of the elements in [0, 1]. Equivalently, you can prove that there are countably many finite subsets of N (i.e. P(N)\P (N) is countable): show that the collection of subsets of N with k elements is countable for all k N (try mapping it into N k ) and then use this problem. 6

Notice that an arbitrary set A n cannot have more than nb elements. Otherwise, for the sum of nb + 1 elements that all belong to A n, we would have: a 1 + + a nb+1 (nb + 1)(1/n) = b + 1/n > b, which is impossible by the assumptions on A. Therefore A n is finite for all n. By the Archimedean property, however, we have: A A n, n=0 where A 0 = {0}. Notice that the set inclusion follows from the fact that for all a A: either a = 0 A 0, or a > 0 and n N : 1/ n < a so a A n. So A is a subset of a countable union of finite sets, which implies that A is at most countable by Problem 4. 6. Consider the space R of all sequences x = {x 1, x 2,...} of real numbers. Define the function d : R R R by: d(x, y) = n=1 1 x n y n 2 n 1 + x n y n. (a) Show that d is well-defined (i.e. d(x, y) < for all x, y R ). (b) Show that d is a metric on R. (c) A metric d is said to be induced by a norm φ if d(x, y) = φ(x y), where x y = (x 1 y 1, x 2 y 2,...). Show that d is not induced by any norm on R. Solution: 7

(a) For any x, y R, we have: d(x, y) = < n=1 n=1 = 1, 1 x n y n 2 n 1 + x n y n 1 2 n where the inequality follows from the fact that for any α 0 : α 1+α < 1. (b) Since 1 2 n x n y n 1+ x n y n 0 for any x n, y n R, d(x, y) 0 as the (infinite) sum of non-negative reals. The expression holds with an equality iff x n = y n. Therefore d(x, y) = 0 iff x n = y n for all n N. Since a b = b a, it is easy to see that d(x, y) = d(y, x). Notice that to show that d(x, z) d(x, y) + d(y, z), it suffices to show: x n z n 1 + x n z n x n y n 1 + x n y n + y n z n 1 + y n z n for all n. Now for notational simplicity, fix n and let: x n z n = α x n y n = β y n z n = γ, where by the triangle inequality we have: α β + γ. Modifying the expression that we need to show: α 1 + α β 1 + β + γ 1 + γ α(1 + β)(1 + γ) β(1 + α)(1 + γ) + γ(1 + α)(1 + β) α + αβ + αγ + αβγ β + βα + βγ + αβγ + γ + γα + γβ + αβγ α β + γ + 2βγ + αβγ Since α, β, γ 0, the last inequality is implied by the triangle inequality α β + γ. 8

(c) Assume toward contradiction that d is induced by some norm φ. Then for some x y, we have: d(x, y) = φ(x y) > 0. Let φ(x y) = c > 0. Then, since φ is a norm, we have: 2 = 2 c c = 2 φ(x y) c = φ( 2 (x y)) c = φ( 2 c x 2 c y) = d( 2 c x, 2 c y), but in part (a) we showed that d(, ) < 1. This is a contradiction and, therefore, d is not induced by a norm on R. A norm s property that φ(ax) = α φ(x) suggests that the range of a norm φ : X R + must be unbounded. Therefore, this proof can be adapted to show that any metric that is bounded (i.e. ρ(x, y) < M for all x, y X and some M > 0) is not induced by a norm. 7. Suppose that {a n } is a sequence of real numbers and {b n } is a sequence obtained by some rearrangement of the terms of {a n } (in other words, {a n } and {b n } have exactly the same terms, and repeated terms appear the same number of times in {b n } as in {a n }). Prove that {a n } x iff {b n } x. Solution: Assume {a n } x. Now we need to show {b n } x. We will show this directly using the definition of convergent sequences. Fix ε > 0. We know: N N : m N, a m B ε (x). Thus, there are finitely many (at most N 1) elements of {a n } (and hence of {b n }) that are not in B ε (x). Let the highest index of those elements in {b n } be M. Then m > M : b m B ε (x). But since ε was arbitrary, this implies {b n } x. The proof that {b n } x implies {a n } x is identical. 9