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:

Similar documents
Econ Lecture 2. Outline

Economics 204. Lecture 2, July 28, 2009

Lecture 2. Econ August 11

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

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

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

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

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

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

REVIEW OF ESSENTIAL MATH 346 TOPICS

MATH 3300 Test 1. Name: Student Id:

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

Sets, Structures, Numbers

Structure of R. Chapter Algebraic and Order Properties of R

Cardinality and ordinal numbers

Introduction to Real Analysis

Contribution of Problems

Mathematics 220 Workshop Cardinality. Some harder problems on cardinality.

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

Real Analysis - Notes and After Notes Fall 2008

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Part IA Numbers and Sets

1.3. The Completeness Axiom.

Problem Set 2 Solutions Math 311, Spring 2016

Notes on ordinals and cardinals

Chapter One. The Real Number System

Axioms of separation

2.2 Some Consequences of the Completeness Axiom

3.1 Basic properties of real numbers - continuation Inmum and supremum of a set of real numbers

MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets

Chapter 1. Sets and Mappings

MATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals

5 Set Operations, Functions, and Counting


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

(a) We need to prove that is reflexive, symmetric and transitive. 2b + a = 3a + 3b (2a + b) = 3a + 3b 3k = 3(a + b k)

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

Advanced Calculus: MATH 410 Real Numbers Professor David Levermore 5 December 2010

MATH202 Introduction to Analysis (2007 Fall and 2008 Spring) Tutorial Note #7

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

Outline. We will now investigate the structure of this important set.

CSE 20 DISCRETE MATH. Fall

Chapter 2. Real Numbers. 1. Rational Numbers

Discrete Mathematics for CS Spring 2007 Luca Trevisan Lecture 27

A Short Review of Cardinality

Contribution of Problems

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

Week 2: Sequences and Series

Finite and Infinite Sets

Discrete Structures for Computer Science

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

MATH FINAL EXAM REVIEW HINTS

Short notes on Axioms of set theory, Well orderings and Ordinal Numbers

Infinite constructions in set theory

Chapter 1 : The language of mathematics.

NOTES ON WELL ORDERING AND ORDINAL NUMBERS. 1. Logic and Notation Any formula in Mathematics can be stated using the symbols

Continuity. Chapter 4

Prof. Ila Varma HW 8 Solutions MATH 109. A B, h(i) := g(i n) if i > n. h : Z + f((i + 1)/2) if i is odd, g(i/2) if i is even.

MATH 3150 Analysis I, Fall 2016

11691 Review Guideline Real Analysis. Real Analysis. - According to Principles of Mathematical Analysis by Walter Rudin (Chapter 1-4)

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

Diskrete Mathematik Solution 6

4130 HOMEWORK 4. , a 2

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

Section 0. Sets and Relations

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

ECARES Université Libre de Bruxelles MATH CAMP Basic Topology

One-to-one functions and onto functions

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

Relations. Relations. Definition. Let A and B be sets.

Lecture Notes in Real Analysis Anant R. Shastri Department of Mathematics Indian Institute of Technology Bombay

A NEW SET THEORY FOR ANALYSIS

Chapter 1 The Real Numbers

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

Logical Connectives and Quantifiers

Economics 204 Fall 2011 Problem Set 1 Suggested Solutions

Continuity. Chapter 4

Section 7.5: Cardinality

Contents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

Some Background Material

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

Announcements. CS243: Discrete Structures. Sequences, Summations, and Cardinality of Infinite Sets. More on Midterm. Midterm.

0 Sets and Induction. Sets

Number Axioms. P. Danziger. A Group is a set S together with a binary operation (*) on S, denoted a b such that for all a, b. a b S.

General Notation. Exercises and Problems

Discrete Mathematics: Lectures 6 and 7 Sets, Relations, Functions and Counting Instructor: Arijit Bishnu Date: August 4 and 6, 2009

Set, functions and Euclidean space. Seungjin Han

Suppose R is an ordered ring with positive elements P.

Real Analysis. Joe Patten August 12, 2018

Essential Background for Real Analysis I (MATH 5210)

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

Problem Set 2: Solutions Math 201A: Fall 2016

Selected problems from past exams

6 CARDINALITY OF SETS

Supremum and Infimum

Copyright c 2007 Jason Underdown Some rights reserved. statement. sentential connectives. negation. conjunction. disjunction

Metric Spaces and Topology

Axioms for Set Theory

Discrete dynamics on the real line

Transcription:

Economics 04 Summer/Fall 011 Lecture Tuesday July 6, 011 Section 1.4. Cardinality (cont.) Theorem 1 (Cantor) N, the set of all subsets of N, is not countable. Proof: Suppose N is countable. Then there is a bijection f : N N. Let A m = f(m). We create an infinite matrix, whose (m, n) th entry is 1 if n A m, 0 otherwise: N 1 3 4 5 A 1 = 0 0 0 0 0 A = {1} 1 0 0 0 0 N A 3 = {1,, 3} 1 1 1 0 0 A 4 = N 1 1 1 1 1 A 5 = N 0 1 0 1 0......... Now, on the main diagonal, change all the 0s to 1s and vice versa: N 1 3 4 5 A 1 = 1 0 0 0 0 A = {1} 1 1 0 0 0 N A 3 = {1,, 3} 1 1 0 0 0 A 4 = N 1 1 1 0 1 A 5 = N 0 1 0 1 1......... The coding on the diagonal represents a subset of N which differs from each of the A m, contradiction. It is important that we go along the diagonal. We need to define a set A N which is different from f(1), f(),.... To define a set, we need to specify exactly what its 1

elements are, and we do this by taking one entry from each column and one entry from each row. The entry from column n tells us whether or not n is in the set, and the entry in row m is used to ensure that A A m. More formally, let t mn = { 1 if n Am 0 if n A m Let A = {m N : t mm = 0}. (This is the set described by changing all the codings on the diagonal.) m A t mm = 0 m A m 1 A 1 A 1 so A A 1 A A so A A. m A m A m so A A m Therefore, A f(m) for any m, so f is not onto, contradiction. Remark: Notice that N is not finite (why not?), so this result shows that N is uncountable. Thus there are fundamentally more subsets of N than elements of N. One can show that N is numerically equivalent to R, so there are fundamentally more real numbers than rational numbers. Remark: See the Appendix for some additional facts about cardinality. Section 1.5: Algebraic Structures Here we define abstract objects that have much of the algebraic structure of R, with notions of addition, subtraction, multiplication and division. Field Axioms Definition A field F = (F, +, ) is a 3-tuple consisting of a set F and two binary operations +, : F F F such that 1. Associativity of +: α, β, γ F, (α + β) + γ = α + (β + γ)

. Commutativity of +: α, β F, α + β = β + α 3. Existence of additive identity: 1!0 F s.t. α F, α + 0 = 0 + α = α 4. Existence of additive inverse: α F!( α) F s.t. α + ( α) = ( α) + α = 0 We define α β = α + ( β). 5. Associativity of : 6. Commutativity of : α, β, γ F, (α β) γ = α (β γ) α, β F, α β = β α 7. Existence of multiplicative identity: 3!1 F s.t. 1 0 and α F, α 1 = 1 α = α 8. Existence of multiplicative inverse: α F s.t. α 0!α 1 F s.t. α α 1 = α 1 α = 1 We define α = β αβ 1. 9. Distributivity of multiplication over addition: α, β, γ F, α (β + γ) = α β + α γ Examples: R C = {x + iy : x, y R}. i = 1, so (x + iy)(w + iz) = xw + ixz + iwy + i yz = (xw yz) + i(xz + wy) 1 This says that the element 0 behaves like the real number zero; it need not be the real number zero. Indeed, F need not be a subset of R. We write α + ( α) rather than α α because subtraction has not yet been defined. In fact, we define α β to be α + ( β). 3 This says that the element 1 behaves like the real number one; it need not be the real number one. Again, F need not even be a subset of R. 3

Q: Q R, Q R. Q is closed under +,, taking additive and multiplicative inverses; the field axioms are inherited from the field axioms on R, so Q is a field. N is not a field: no additive identity. Z is not a field; no multiplicative inverse for. Q( ), the smallest field containing Q { }. Take Q, add, and close up under +,, taking additive and multiplicative inverses. One can show For example, A finite field: F = ({0, 1}, +, ) where ( Arithmetic mod ) Q( ) = {q + r : q, r Q} ( ) 1 q q + r = q r r q r 0 + 0 = 0 0 0 = 0 0 + 1 = 1 + 0 = 1 0 1 = 1 0 = 0 1 + 1 = 0 1 1 = 1 Vector Space Axioms Here we define abstract objects that behave like R n. Definition 3 A vector space is a 4-tuple (V, F, +, ) where V is a set of elements, called vectors, F is a field, + is a binary operation on V called vector addition, and : F V V is called scalar multiplication, satisfying 1. Associativity of +:. Commutativity of +: x, y, z V, (x + y) + z = x + (y + z) x, y V, x + y = y + x 3. Existence of vector additive identity: 4!0 V s.t. x V, x + 0 = 0 + x = x 4. Existence of vector additive inverse: x V!( x) V s.t. x + ( x) = ( x) + x = 0 We define x y to be x + ( y). 4 Note that 0 V and 0 F are different. 4

5. Distributivity of scalar multiplication over vector addition: α F, x, y V, α (x + y) = α x + α y 6. Distributivity of scalar multiplication over scalar addition: α, β F, x V (α + β) x = α x + β x 7. Associativity of : α, β F, x V (α β) x = α (β x) 8. Multiplicative identity: x V 1 x = x (Note that 1 is the multiplicative identity in F; 1 V ) We often say V is a vector space over F. Examples: 1. R n over R.. R is a vector space over Q: (scalar multiplication) q r = qr (product in R) R is not finite-dimensional over Q, i.e. R is not Q n for any n N. 3. R is a vector space over R. 4. Q( ) is a vector space over Q. As a vector space, it is Q ; as a field, you need to take the funny field multiplication. 5. Q( 3 ), as a vector space over Q, is Q 3. 6. (F ) n is a finite vector space over F. 7. C([0, 1]), the space of all continuous real-valued functions on [0, 1], is a vector space over R. vector addition: (f + g)(t) = f(t) + g(t) Note we define the function f + g by specifying what value it takes for each t [0, 1]. scalar multiplication: (αf)(t) = α(f(t)) 5

vector additive identity: 0 is the function which is identically zero: 0(t) = 0 for all t [0, 1]. vector additive inverse: ( f)(t) = (f(t)) Section 1.6 Axioms for R One can show that R is characterized by the following axioms, that is, that there exists a field that satisfies these axioms, and this is what we define as the set of real numbers. 1. R is a field with the usual operations +,, additive identity 0, and multiplicative identity 1.. Order Axiom: There is a complete ordering, i.e. is reflexive, transitive, antisymmetric (α β, β α α = β) with the property that α, β R either α β or β α The order is compatible with + and, i.e. { α, β, γ R α β α β, 0 γ α + γ β + γ αγ βγ α β means β α. α < β means α β and α β. 3. Completeness Axiom: Suppose L, H R, L H satisfy l L, h H l h Then α R s.t. l L, h H l α h α L H ) ( The Completeness Axiom differentiates R from Q: Q satisfies all the axioms for R except the Completeness Axiom. The most useful consequence of the Completeness Axiom (and often used as an alternative axiom) is the Supremum Property. 6

Definition 4 Suppose X R. We say u is an upper bound for X if and l is a lower bound for X if x u x X l x x X X is bounded above if there is an upper bound for X, and bounded below if there is a lower bound for X. Definition 5 Suppose X is bounded above. The supremum of X, written sup X, is the least upper bound for X, i.e. supx satisfies sup X x x X (sup X is an upper bound) y < sup X x X s.t. x > y (there is no smaller upper bound) Analogously, suppose X is bounded below. The infimum of X, written inf X, is the greatest lower bound for X, i.e. inf X satisfies inf X x x X (inf X is a lower bound) y > inf X x X s.t. x < y (there is no greater lower bound) If X is not bounded above, write supx =. If X is not bounded below, write inf X =. By convention, sup =, inf = +. The Supremum Property: Every nonempty set of real numbers that is bounded above has a supremum, which is a real number. Every nonempty set of real numbers that is bounded below has an infimum, which is a real number. Note: sup X need not be an element of X. For example, sup(0, 1) = 1 (0, 1). Theorem 6 (Theorem 6.8, plus... ) The Supremum Property and the Completeness Axiom are equivalent. Proof: Assume the Completeness Axiom. Let X R be a nonempty set which is bounded above. Let U be the set of all upper bounds for X. Since X is bounded above, U. If x X and u U, x u since u is an upper bound for X. So By the Completeness Axiom, x u x X, u U α R s.t. x α u x X, u U 7

α is an upper bound for X, and it is less than or equal to every other upper bound for X, so it is the least upper bound for X, so sup X = α R. The case in which X is bounded below is similar. Thus, the Supremum Property holds. Conversely, assume the Supremum Property. Suppose L, H R, L H, and l h l L, h H Since L and L is bounded above (by any element of H), α = sup L exists and is real. By the definition of supremum, α is an upper bound for L, so l α l L Suppose h H. Then h is an upper bound for L, so by the definition of supremum, α h. Therefore, we have shown that so the Completeness Axiom holds. l α h l L, h H Theorem 7 (Archimedean Property, Theorem 6.10 +...) x, y R, y > 0 n N s.t. ny = (y + + y) > x n times Proof: Exercise. This is a nice exercise in proof by contradiction, using the Supremum Property. Theorem 8 (Intermediate Value Theorem) Suppose f : [a, b] R is continuous, and f(a) < d < f(b). Then there exists c (a, b) such that f(c) = d. Proof: Later, we will give a slick proof. Here, we give a bare-hands proof using the Supremum Property. Let B = {x [a, b] : f(x) < d} a B, so B ; B [a, b], so B is bounded above. By the Supremum Property, supb exists and is real so let c = sup B. Since a B, c a. B [a, b], so c b. Therefore, c [a, b]. (See Figure 1.) We claim that f(c) = d. If not, suppose f(c) < d. Then since f(b) > d, c b, so c < b. Let ε = d f(c) > 0. Since f is continuous at c, there exists δ > 0 such that x c < δ f(x) f(c) < ε f(x) < f(c) + ε = f(c) + d f(c) = f(c)+d < d+d = d 8

so (c, c + δ) B, so c sup B, contradiction. (See Figure.) Suppose f(c) > d. Then since f(a) < d, a c, so c > a. Let ε = f(c) d > 0. Since f is continuous at c, there exists δ > 0 such that x c < δ f(x) f(c) < ε f(x) > f(c) ε = f(c) f(c) d = f(c)+d > d+d = d so (c δ, c + δ) B =. So either there exists x B with x c + δ (in which case c is not an upper bound for B) or c δ is an upper bound for B (in which case c is not the least upper bound for B); in either case, c sup B, contradiction. (See Figure 3.) Since f(c) d, f(c) d, and the order is complete, f(c) = d. Since f(a) < d and f(b) > d, a c b, so c (a, b). Corollary 9 There exists x R such that x =. Proof: Let f(x) = x, for x [0, ]. f is continuous. f(0) = 0 < and f() = 4 >, so by the Intermediate Value Theorem, there exists c (0, ) such that f(c) =, i.e. c =. Read sections 1.6(c) (absolute values) and 1.7 (complex numbers) on your own. 9

Appendix: Some Facts About Cardinality Here I record some additional facts about the notion of cardinality. This material is optional, as formalizing and proving some of these points goes well beyond what we can do in this class. In particular, to formalize some of these statements requires precise notions of orders of infinity. Many of these properties can be shown as exercises given what we have done, however. Recall we let A denote the cardinality of a set A. if A is numerically equivalent to {1,..., n} for some n N, then A = n. A and B are numerically equivalent if and only if A = B if A = n and A is a proper subset of B (that is, A B and A B) then A < B if A is countable and B is uncountable, then if A B then A B if r : A B is 1-1, then A B n < A < B n N if B is countable and A B, then A is at most countable, that is, A is either empty, finite, or countable if r : A B is 1-1 and B is countable, then A is at most countable We will make use of some of these facts in Lecture 8 when we discuss the notion of dimension of a linear space. If you are interested in studying cardinality more formally, you might look at e.g. Willard General Topology. 10

Figure 1: Intermediate Value Theorem. Claim: d = f(c), where c = sup{x [a, b] : f(x) < d}. f(b) d f(c) d! f(a) a c b Figure : Intermediate Value Theorem. If d > f(c), find x > c with f(c) < f(x) < f(d) using continuity. 11

f(b) d f(c) d! d f(a) a c b Figure 3: Intermediate Value Theorem. If d < f(c), using continuity find δ > 0 with d < f(x) for any x (c δ, c + δ). 1