A Readable Introduction to Real Mathematics

Similar documents
University of Toronto Faculty of Arts and Science Solutions to Final Examination, April 2017 MAT246H1S - Concepts in Abstract Mathematics

MATH 3300 Test 1. Name: Student Id:

INFINITY: CARDINAL NUMBERS

Functions. Definition 1 Let A and B be sets. A relation between A and B is any subset of A B.

One-to-one functions and onto functions

Mathematics 220 Workshop Cardinality. Some harder problems on cardinality.

2.1 Sets. Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R.

Some Basic Notations Of Set Theory

Chapter 1 : The language of mathematics.

Math 300: Final Exam Practice Solutions


Section 2: Classes of Sets

Discrete Mathematics for CS Spring 2007 Luca Trevisan Lecture 27

Exercises for Unit VI (Infinite constructions in set theory)

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

Math 455 Some notes on Cardinality and Transfinite Induction

SETS AND FUNCTIONS JOSHUA BALLEW

Solutions to Tutorial 8 (Week 9)

Math 3361-Modern Algebra Lecture 08 9/26/ Cardinality

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

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.

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

ABOUT THE CLASS AND NOTES ON SET THEORY

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

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

REVIEW OF ESSENTIAL MATH 346 TOPICS

Applied Calculus GS1001

A Short Review of Cardinality

Some. AWESOME Great Theoretical Ideas in Computer Science about Generating Functions Probability

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

DO FIVE OUT OF SIX ON EACH SET PROBLEM SET

2.23 Theorem. Let A and B be sets in a metric space. If A B, then L(A) L(B).

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.

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

Limits at Infinity. Horizontal Asymptotes. Definition (Limits at Infinity) Horizontal Asymptotes

Chapter 1. Sets and Mappings

Finite and Infinite Sets

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

Axioms of separation

MATH 13 FINAL EXAM SOLUTIONS

ABSTRACT INTEGRATION CHAPTER ONE

Abstract Measure Theory

The cardinal comparison of sets

CSE 20 DISCRETE MATH. Fall

MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017

Date: October 24, 2008, Friday Time: 10:40-12:30. Math 123 Abstract Mathematics I Midterm Exam I Solutions TOTAL

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

Section 7.5: Cardinality

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

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

6 CARDINALITY OF SETS

Chapter 20. Countability The rationals and the reals. This chapter covers infinite sets and countability.

General Notation. Exercises and Problems

Functions. Remark 1.2 The objective of our course Calculus is to study functions.

Math /Foundations of Algebra/Fall 2017 Numbers at the Foundations: Real Numbers In calculus, the derivative of a function f(x) is defined

Ch 7 Summary - POLYNOMIAL FUNCTIONS

Solutions to Practice Final

Math 105A HW 1 Solutions

Analysis III. Exam 1

LECTURE 22: COUNTABLE AND UNCOUNTABLE SETS

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska

Essential Background for Real Analysis I (MATH 5210)

Notes on counting. James Aspnes. December 13, 2010

0 Sets and Induction. Sets

Discrete Mathematics. Benny George K. September 22, 2011

REAL AND COMPLEX ANALYSIS

Infinite constructions in set theory

Section 0. Sets and Relations

Solutions to Practice Final 3

Sets. We discuss an informal (naive) set theory as needed in Computer Science. It was introduced by G. Cantor in the second half of the nineteenth

1.4 Cardinality. Tom Lewis. Fall Term Tom Lewis () 1.4 Cardinality Fall Term / 9

n [ F (b j ) F (a j ) ], n j=1(a j, b j ] E (4.1)

Math 42, Discrete Mathematics

Chapter 2: Functions, Limits and Continuity

MATH NEW HOMEWORK AND SOLUTIONS TO PREVIOUS HOMEWORKS AND EXAMS

Parent Guide. Number System. Diocese of Cleveland

Some Background Material

Functions and cardinality (solutions) sections A and F TA: Clive Newstead 6 th May 2014

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

5 Set Operations, Functions, and Counting

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

CITS2211 Discrete Structures (2017) Cardinality and Countability

Discrete Mathematics 2007: Lecture 5 Infinite sets

Part IA. Numbers and Sets. Year

MATH FINAL EXAM REVIEW HINTS

Introduction. Chapter 1. Contents. EECS 600 Function Space Methods in System Theory Lecture Notes J. Fessler 1.1

Calculus I. 1. Limits and Continuity

STA2112F99 ε δ Review

Lecture Notes on Discrete Mathematics. October 15, 2018 DRAFT

DRAFT - Math 101 Lecture Note - Dr. Said Algarni

INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS

Countability. 1 Motivation. 2 Counting

On Transfinite Cardinal Numbers

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

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

Math 319 Problem Set #2 Solution 14 February 2002

Topology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.

Solutions Manual for: Understanding Analysis, Second Edition. Stephen Abbott Middlebury College

Math Fall 2014 Final Exam Solutions

MATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X.

Transcription:

Solutions to selected problems in the book A Readable Introduction to Real Mathematics D. Rosenthal, D. Rosenthal, P. Rosenthal Chapter 10: Sizes of Infinite Sets 1. Show that the set of all polynomials with rational coefficients is countable. Answer: A polynomial with rational coefficents can be written in the form a n x n + a n 1 x n 1 + +a 1 x+a 0, where the a i are rational numbers and n is a natural number or 0. We use the Enumeration Principle (10.3.16). Let L = Q {x n : n N} {+}. Then L is a union of a finite number of countable sets and is therefore countable (Theorem 10.2.10). Each polynomial is uniquely labeled by a finite sequence of elements of L by simply writing it in the usual way. The Enumeration Principle then gives the result. 2. Suppose that the sets S, T and U satisfy S T U, and that S = U. Show that T has the same cardinality as S. Answer: Let f : S T be defined by f(s) = s for all s S. Then f is a one-to-one function from S into T, so S T. Similarly if g : T U is defined by g(t) = t, then g is a one-to-one function from T into U, so T U. Therefore, S T U. Since S = U this is equivalent to S T S. By the Cantor-Bernstein Theorem (10.3.5), this implies that S = T. 4. Assume that A 1 = B 1 and A 2 = B 2. Prove: (a) A 1 A 2 = B 1 B 2. Answer: (a) By the hypothesis, there exist functions f : A 1 B 1 and g : A 2 B 2 that are both one-to-one and onto. Let h : A 1 A 2 B 1 B 2 be defined by h((a 1, a 2 )) = (f(a 1 ), g(a 2 )). To show that h is one-to-one, suppose that h((a 1, a 2 )) = h((a 3, a 4 )). Then f(a 1 ) = f(a 3 ), so a 1 = a 3, since f is one-to-one. Similarly, g(a 2 ) = g(a 4 ), so

2 a 2 = a 4 since g is one-to-one. Thus, (a 1, a 2 ) = (a 3, a 4 ), and so h is one-to-one. To show that h is onto, let (b 1, b 2 ) be any element of B 1 B 2. Then there exist a 1 A 1 and a 2 A 2 such that f(a 1 ) = b 1 and g(a 2 ) = b 2, since f and g are both onto. Therefore h((a 1, a 2 )) = (b 1, b 2 ), which proves that h is onto. Thus, h is one-to-one and onto. 6. What is the cardinality of the set of all functions from N to {1, 2}? Answer: We show that the cardinality is c, by observing that this set is essentially the set of characteristic functions. As shown in Theorem 10.3.32, the set of characteristic functions with domain N has the same cardinality as P(N). The given set has the same cardinality as the set of characteristic functions on N since a one-to-one onto function is given by sending a characteristic function f to the function g defined by g(x) = 1 if f(x) = 0 and g(x) = 2 if f(x) = 1. The proof is completed by noting that P(N) = c (Theorem 10.3.28). 9. Suppose that S and T each have cardinality c. Show that S T also has cardinality c. Answer: We use T \ S to denote the set of all x in T such that x is not in S. Note that the set S T is equal to the set S (T \S). (We use T \S rather than T because T \S is always disjoint from S.) Since S has cardinality c, there is a one-to-one function f mapping S onto [0, 1] (Theorem 10.3.8). As T \ S is a subset of T, it has cardinality at most c. Thus, there is a one-to-one function g mapping T \ S into [2, 3]. Since [0, 1] [2, 3] R, [0, 1] [2, 3] c. A one-to-one function from S (T \ S) into [0, 1] [2, 3] is given by sending x to f(x) if x is in S and x to g(x) if x is in T \ S. (This is where we use the fact that S and T \ S are disjoint; otherwise, the new function would not be well-defined.) Thus, S (T \ S) c. Since S is a subset of S (T \ S), S (T \ S) c. Therefore, by the Cantor-Bernstein Theorem (10.3.5), S (T \ S) = c.

3 10. What is the cardinality of R 2 = { (x, y) : x, y R } (the Euclidean plane)? Answer: We have already seen that the cardinality of the unit square, [0, 1] [0, 1], is c (Theorem 10.3.30) and that R = [0, 1] (Theorem 10.3.8). It follows from Problem 4(a) that R 2 = R R = [0, 1] [0, 1] = c. 11. What is the cardinality of the set of all complex numbers? Answer: A one-to-one function mapping R 2 onto C is given by f(a, b) = a + bi. Thus, R 2 = C, and it follows from Problem 10 that C = c. 14. What is the cardinality of the unit cube, where the unit cube is { (x, y, z) : x, y, z [0, 1] }? Answer: We have seen that the cardinality of the unit square, [0, 1] [0, 1], is c (Theorem 10.3.30), which is also the cardinality of [0, 1] (Theorem 10.3.8). The unit cube can be regarded as ( [0, 1] [0, 1] ) [0, 1]. Therefore, it follows from Problem 4(a) that the cardinality of the unit cube is c. 15. What is the cardinality of R 3 = { (x, y, z) : x, y, z R }? Answer: The cardinality of R 3 is c. By Problem 10, the cardinality of R 2 is c. Since R 3 = R 2 R, it follows from Problem 4(a) that R 3 = R 2 R = R R = c. 19. Find the cardinality of the set { (x, y) : x R, y Q }. Answer: The cardinality is c. To see this, let S = {(x, y) : x R, y Q}. Since S R 2, S c. However, {(x, 0) : x R} is a subset of S and it has cardinality c (since the mapping f that sends (x, 0) to x is clearly a one-to-one mapping of this set onto R). Therefore, c S c and it follows by the Cantor-Bernstein Theorem (10.3.5) that S = c.

4 20. What is the cardinality of the set of all numbers in the interval [0, 1] that have decimal expansions that end with an infinite sequence of 7 s? Answer: There are two easy natural proofs of the fact that the cardinality of this set is ℵ 0. For the first proof, simply note that every element of the set is rational, so the set is a subset of the set of rational numbers, which finishes the proof. Alternately, the result is a very straightforward application of the Enumeration Principle (10.3.16), since each element x in the set can be labeled.a 1 a 2 a 3... a n, where a n is the last digit in the decimal expansion of x before the infinite sequence of 7 s, and each a i is in {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}. 22. Suppose that T is an infinite set and S is a countable set. Show that S T has the same cardinality as T. Answer: Since T is infinite, it has a countably infinite subset (Theorem 10.3.24). Denote one such by A = {a 1, a 2,... }. Since S is countable, it can be enumerated S = {b 1, b 2,... }. Assume first that S and T are disjoint. A one-to-one onto function f : T T S can then be defined by f(x) = x if x A, f(a i ) = a i if i is even, and 2 f(a i ) = b i+1 if i is odd. To show that f is onto, first note that if x is in T but is not 2 in A, then f(x) = x. If x is an element a i of A, then f(a 2i ) = x. If x is an element b i of S, then f(a 2i 1 ) = x. Thus f is onto. To see that f is also one-to-one, suppose f(x) = f(y). If f(x) and f(y) are both in T \A, then f(x) = x and f(y) = y, so x = y. If f(x) and f(y) are both in A, then f(x) = a i for some a i, in which case x = y = a 2i. If f(x) and f(y) are both in S, then f(x) = b i for some b i, and x = y = a 2i 1. This proves the result in the case that S and T are disjoint. If S and T are not disjoint, then S T = T (S \ T ), and the result follows from the disjoint case. (The set S \ T is disjoint from T, and it is countable since it is a subset of the countable set S.)

5 23. Let S be the set of real numbers t such that cos t is algebraic. Prove that S is countably infinite. Answer: Since cosine is one-to-one on [0, π], the set of all t [0, π] such that cos t is algebraic is in one-to-one correspondence with a subset of the set of all algebraic numbers, and is therefore countable (Theorem 10.3.20). Similarly, for each integer m, the set of all t [ (m 1)π, mπ ] such that cos t is algebraic is countable. Therefore, S is a countable union of countable sets, and thus S is countable (Theorem 10.2.10). Moreover, S is not finite since for any integer k, cos 2πk = cos 0 = 1, and so there are infinitely many t with cos t algebraic. 26. Prove that there does not exist a set with a countably infinite power set. Answer: Let S be any set. If S is finite, then P(S) = 2 S (Theorem 10.3.26), which is finite. If S is infinite, then S ℵ 0 (Theorem 10.3.24). Thus, P(S) P(N). Since P(N) = c (Theorem 10.3.28), it follows that P(S) is not countable. Therefore it is not possible for a set to have a power set with cardinality ℵ 0. 27. Find a one-to-one function mapping the interval ( π 2, π 2 ) onto R. Answer: The trigonometric function tan is a one-to-one mapping of ( π 2, π 2 ) onto R. 28. (a) Prove directly that the cardinality of the closed interval [0, 1] is equal to the cardinality of the open interval (0, 1) by constructing a function f : [0, 1] (0, 1) that is one-to-one and onto. Answer: A suitable function f can be defined as follows. Let f(x) = x for all x which are not equal to 0 or 1 n for any natural number n, and for each natural number n, let f( 1 n ) = 1 n+2. Then, f(1) = 1 3, and there is not yet any element which is sent to 1 2. We can therefore define f(0) = 1 2. It is clear that f is a one-to-one function mapping [0, 1] onto (0, 1).

6 29. Prove that a set is infinite if and only if it has the same cardinality as a proper subset of itself. Answer: If S is a finite set, then its cardinality is n for some natural number n. Every proper subset of S has cardinality strictly less than n, so S does not have the same cardinality as any proper subset of itself. Now assume that S is infinite; we must prove that S has the same cardinality as a proper subset of itself. By Theorem 10.3.24, S has a countably infinite subset. Call such a subset A = {a 1, a 2,... }. We show that S has the same cardinality as its proper subset S \ {a 1 }. A one-to-one onto function f from S to S \ {a 1 } can be defined by letting f(x) = x if x A and f(a i ) = a i+1 for every a i in A. 32. What is the cardinality of the set of all countable sets of real numbers? Answer: We show that the cardinality is c. We begin by proving that the set of all countable subsets of [0, 1] has cardinality c. For this, we show that each countable subset can be specified by one real number. For each countable subset S of [0, 1], there is a one-to-one function f S from N onto S. Thus, S can be written {f S (1), f S (2),... }. Writing each f S (n) as an infinite decimal, we can list the elements of S, as follows: f S (1) =.a 11 a 12 a 13 f S (2) =.a 21 a 22 a 23 f S (3) =.a 31 a 32 a 33. Let F be the function which sends each such set S to.a 11 a 12 a 21 a 31 a 22 a 13 a 14.... That is, each S is assigned to an infinite decimal created by zigzagging through the array given by f S, where the decimal is extended by an infinite number of 0 s if the set S is finite. (This is similar to the proof that Q is countable (Theorem 10.1.14).) Now F is a one-to-one mapping of the collection of all countable subsets of [0, 1] into [0, 1]. Therefore, the set of all countable subsets of [0, 1] has cardinality less than or equal

to [0, 1] = c. Conversely, the set of all countable subsets of [0, 1] contains the set of all singleton sets. Thus, the set of all countable subsets of [0, 1] has a subset with cardinality c. Therefore, the cardinality of the set of all countable subsets of [0, 1] is at least c. By the Cantor-Bernstein Theorem (10.3.5), the cardinality is equal to c. 7 We must extend the above to countable subsets of R. Let g be any one-to-one mapping of R onto [0, 1]. Then g induces a mapping of subsets of R to subsets of [0, 1], sending each subset S of R to {g(s) : s S}. That induced mapping sends countable subsets to countable subsets. Therefore, it is a one-to-one mapping that sends the collection of countable subsets of R onto the collection of countable subsets of [0, 1]. 33. Find the cardinality of the set of all lines in the plane. Answer: The cardinality is c. First note that the set S of vertical lines (that is, the lines parallel to the y-axis) has cardinality c, since there is an obvious one-to-one correspondence between those lines and the x-axis, where each line corresponds to its point of intersection with the x-axis. We now consider the set of all lines in the plane that are not vertical. Each such line has some real number, say m, as its slope. Moreover, each such line meets the y-axis in some point (0, b). Thus if T denotes the set of all non-vertical lines in the plane, then T is in one-to-one correspondence with {(b, m) : b, m R}. Therefore, T has the same cardinality as R 2, and this cardinality is c (by Problem 10). It now follows that the set of all lines in the plane, equal to S T, has cardinality c, by Problem 9. 34. Show that the set of all functions mapping R R into Q has cardinality 2 c. Answer: Let F denote the set of functions mapping R R into Q. Since R R = c (by Problem 10), the set of characteristic functions of R R has cardinality 2 c (by Theorem 10.3.32 it is the same as the cardinality of the set of subsets of R R, and a one-to-one function mapping R R onto R induces a one-to-one function mapping P(R R) onto P(R)). Since the set of characteristic functions is a subset of F, F 2 c.

8 To show that F 2 c, note that each function f from R R to Q defines a subset H f of R 3 by H f = {(a, b, c) : a, b R and f(a, b) = c}. The mapping from f to H f is one-to-one since if H f1 = H f2, then f 1 (a, b) = f 2 (a, b) for every (a, b) R R, and so f 1 = f 2. Thus, there is a one-to-one function mapping F into the power set of R 3, from which it follows that F P(R 3. Since R 3 = c (by Problem 15), P(R 3 ) = 2 c. Therefore, F 2 c, and so, by the Cantor-Bernstein Theorem (10.3.5), F = 2 c. 35. Prove the following: If n is the smallest natural number such that a polynomial of degree n with integer coefficients has x 0 as a root, and if p and q are polynomials of degree n with integer coefficients that have the same leading coefficients (i.e., coefficients of x n ) and each have x 0 as a root, then p = q. Answer: Let p(x) = a n x n + a n 1 x n 1 + + a 0 and q(x) = a n x n + b n 1 x n 1 + + b 0. Since p(x 0 ) = 0 = q(x 0 ): 0 = p(x 0 ) q(x 0 ) = (a n x n 0 + a n 1 x n 1 0 + + a 0 ) (a n x n 0 + b n 1 x n 1 0 + + b 0 ) = (a n 1 b n 1 )x n 1 0 + + (a 0 b 0 ) Therefore, x 0 is a root of the polynomial (a n 1 b n 1 )x n 1 + + (a 0 b 0 ). This latter polynomial has integer coefficients and has degree smaller than n. Moreover, it has x 0 as a root. Since n is the smallest natural number such that a polynomial of degree n with integer coefficients has x 0 as a root, it follows that all of the coefficients of this latter polynomial are 0. Thus, a i = b i for all i, and so p = q. 40. Prove that the union of c sets that each have cardinality c has cardinality c. Answer: The union clearly has a subset of cardinality c (any one of the original c sets), so the union has cardinality greater than or equal to c. We will show that the union also has cardinality less than or equal to c. The idea is to show that there is a one-to-one mapping of the union into R 2. Let U be the union, and let C be the collection of sets (so the elements of C are the original

c sets). Since the cardinality of C is c, there is a one-to-one onto mapping F : C R. This gives a labeling of each element of C by an element of R, by labeling each set S in C by F (S). Thus, C = {S r : r R} (where r = F (S)). Each set S r has cardinality c, so for each r there is a one-to-one mapping f r taking S r onto R. Each x U is in some S r, and we would like to send each such x to (r, f r (x)). This would send U onto R 2. However, since the sets S r may not be disjoint, this mapping may not be well-defined. To deal with this issue, let C be the collection of all sets of the form {(r, s) : s S r }. That is, C is the collection of all {r} S r for S r in C. Let U be the union of all the sets in C. A one-to-one onto (and well-defined) mapping from U to R 2 is given by sending each (r, x) to (r, f r (x)). Since R 2 has cardinality c (by Problem 10), U has cardinality c. Next we show that U U. For each x U, let h(x) be some r such that x S r, and let H : U U be defined by H(x) = (h(x), x). Since H is one-to-one, U U = c. Since we also have U c, the Cantor-Bernstein Theorem (10.3.5) implies that U = c. 9