Mathematics 220 Workshop Cardinality. Some harder problems on cardinality.

Similar documents
MATH 3300 Test 1. Name: Student Id:

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

A Short Review of Cardinality

SETS AND FUNCTIONS JOSHUA BALLEW

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

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.

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

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

Section 7.5: Cardinality

Math 300: Final Exam Practice Solutions

CITS2211 Discrete Structures (2017) Cardinality and Countability

Discrete Mathematics for CS Spring 2007 Luca Trevisan Lecture 27

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

Notes on ordinals and cardinals

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

Discrete Mathematics 2007: Lecture 5 Infinite sets

A Readable Introduction to Real Mathematics

Problem Set 2: Solutions Math 201A: Fall 2016

Selected problems from past exams

1 Partitions and Equivalence Relations

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

S15 MA 274: Exam 3 Study Questions

INFINITY: CARDINAL NUMBERS

ON THE RELATIONSHIP BETWEEN SETS AND GROUPS

Math.3336: Discrete Mathematics. Cardinality of Sets

Finite and Infinite Sets

Axioms of separation

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

6 CARDINALITY OF SETS

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

One-to-one functions and onto functions

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

Homework #3: 1.4.1, a & b, 1.5.1, 1.5.3, 1.5.6, 1.5.7, 1.5.8, Prove that the set of all real numbers is uncountable.

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

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

5 Set Operations, Functions, and Counting

Introduction to Real Analysis

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

Cardinality and ordinal numbers


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:

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

Exercises for Unit VI (Infinite constructions in set theory)

Chapter 1 : The language of mathematics.

Math 455 Some notes on Cardinality and Transfinite Induction

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

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

1 Homework. Recommended Reading:

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

We are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero

The cardinal comparison of sets

There are seven questions, of varying point-value. Each question is worth the indicated number of points.

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 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 2 Solutions Please write neatly, and in complete sentences when possible.

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

Fundamentals of Pure Mathematics - Problem Sheet

Continuity. Chapter 4

Math 105A HW 1 Solutions

Econ Lecture 2. Outline

Infinite constructions in set theory

Chapter 1. Sets and Mappings

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

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

General Notation. Exercises and Problems

COM S 330 Homework 05 Solutions. Type your answers to the following questions and submit a PDF file to Blackboard. One page per problem.

Continuity. Chapter 4

Logical Connectives and Quantifiers

ABSTRACT INTEGRATION CHAPTER ONE

CSE 20 DISCRETE MATH. Fall

Solutions to Practice Final

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

MATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals

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

Algorithms: Lecture 2

X = { X f X i A i : (œx, y 0 X)[x /= y œi[ x i /= y i ]]}.

MATH FINAL EXAM REVIEW HINTS

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

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

Solutions to Tutorial 8 (Week 9)

Countability. 1 Motivation. 2 Counting

DO FIVE OUT OF SIX ON EACH SET PROBLEM SET

Real Analysis - Notes and After Notes Fall 2008

STA2112F99 ε δ Review

MATH 13 FINAL EXAM SOLUTIONS

Homework 5. Solutions

REVIEW OF ESSENTIAL MATH 346 TOPICS

20 Ordinals. Definition A set α is an ordinal iff: (i) α is transitive; and. (ii) α is linearly ordered by. Example 20.2.

LECTURE 22: COUNTABLE AND UNCOUNTABLE SETS

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define

1. A Little Set Theory

Axioms for Set Theory

Discussion Summary 10/16/2018

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

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

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

Week Some Warm-up Questions

Notes on counting. James Aspnes. December 13, 2010

MATH NEW HOMEWORK AND SOLUTIONS TO PREVIOUS HOMEWORKS AND EXAMS

Introduction to Proofs

Transcription:

Some harder problems on cardinality. These are two series of problems with specific goals: the first goal is to prove that the cardinality of the set of irrational numbers is continuum, and the second is to prove that the cardinality of R R is continuum, without using Cantor-Bernstein-Schröeder Theorem. 1. Does there exist a continuous bijective function f : R R 1}? Explain. Hint: Recall the Intermediate Value Theorem. Solution: The answer is No. Suppose f : R R 1} is bijective. Then there exists a R, such that f(a) = 0, and there exists b R, such that f(b) = 2. Then, since f is continuous, by the Intermediate Value Theorem, there exists c (a,b), such that f(c) = 1. Thus, the range of such a continuous function has to contain 1. 2. Prove that (0,1) = [0,1). Hint. Do not try to write a formula for a bijective function. Instead, choose an infinite countable subset A of (0,1). Then make a bijection between A and A 0}. Then define your function on the rest of the interval. The resulting function will be very discontinuous, but that does not matter! Solution: Lemma. If f : A B and g : C D are bijections where A C = B D =, then h : A C B D defined by f(x) if x A h(x) = g(x) if x C. is a bijection. Proof of Lemma. Assume h(x) = h(x ) = y. Assume y B. Then x,x must be in A since h maps C into the disjoint set D. Therefore f(x) = f(x ) and so x = x as f is injective. A similar argument works if y D. Hence h is injective. Now let y B. Then there is an x A so that h(x) = f(x) = y. Therefore B ran(h). Similarly D ran(h). We are done. Proof of Question 5. Let a n = (n+1) 1 (0,1) for n N and A = a n : n N}. Define f : A A 0} by f(a 1 ) = 0 and f(a n ) = a n 1 if n 2. Assume f(a i ) = f(a j ) = y. If y = 0, then a i = a j = a 1. If y = a k A, then a i = a j = a k+1. Hence f is injective. For any a n, a n = f(a n+1 ) ran(f) and 0 = f(a 1 ), so f is onto. Hence f is bijective. Now define let g be the identity function on (0,1) A (clearly a bijection). Defining h : (0,1) [0,1) as in the Lemma above we see that h is a bijection (by the Lemma) and so (0,1) = [0,1). Page 1 of 5

3. Let A be any uncountable set, and let B A be a countable subset of A. Prove that A = A B. Hint. This is a generalization of the previous problem, and has a very similar solution. Solution: LetC = c 1,...c n,...}beanycountableinfinitesubset ofa B (itseems obvious that we can just pick an element c 1 from the infinite set A B, then pick any element c 2 from the set of remaining elements, and keep doing it; note, however, that technically, this is the axiom of choice, which we do not discuss in this course). Once we have the set C, we know that C and C B are both countably infinite, and therefore there exists a bijective function f : C B C. Now, define h : A A B by: x, x A (C B) h(x) = f(x) x C B. Then by the Homework 12 problem 4b) (see its solution), h is a bijective function from A to A B. 4. (a) Prove that if A is a countable subset of real numbers, then R A = R. Hint. Modify the previous hint as follows. Choose b n (n,n + 1) A for all n N. (Why does such a b n exist?) Hence B = b n : n N} is a countable set of reals disjoint from A. Now choose a bijection f : A B B. (Explain why this exists using an earlier question.) Finally extend f to a bijection from R to R A. (b) Prove that I = R, where I is the set of irrationals as usual. Solution: (a). As in the Hint, let us choose b n (n,n+1) A for all n N. Such b n exists for every n, since if it didn t exist for some value n = k, it would mean that A contains the interval (k,k +1); then A would be uncountable since the interval is uncountable a contradiction. Thus, we have B = b n : n N}, which is a countably infinite set of reals disjoint from A. Now choose a bijection f : A B B. (Given any two denumerable sets, there exists a bijection between them: suppose g 1 : N B is a bijection; suppose g 2 : N A B is a bijection; then g 1 g2 1 : A B B is a bijection). Now define g(x) : R R A by: x if x / A B g(x) := f(x) if x A B. By the Lemma from the solution of Problem 2, applied to the identity function from R A B to R A B and the function f from A B to B, the function g we defined is a bijection from R = (R (A B)) (A B) to R A = (R (A B)) B, and we are done. (b) Apply the statement of part (a) to A = Q. In particular, note that this statement says that in terms of cardinality, there are more irrational numbers than rational numbers : we have Q = N = ℵ 0, and we just proved that I = R = c, and we proved that ℵ 0 < c. Page 2 of 5

5. Let A = 0,1} N be the set of all possible sequences of 0 s and 1 s. Prove that A is uncountable. Solution: Suppose P was countable. This means, we would have been able to list all the elements of P as P = p 1,p 2,...}. By definition of P, each element p i is a sequence of 0s and 1s. Let us make a new sequence a = a 1 a 2 a 3..., defined by a k = 0 if the sequence p k has a 1 in the kth place, and a k = 1 if the sequence p k has a 0 in the kth place. This new sequence is also an element of P, and it cannot coincide with any of the sequences p k, because its kth term is different. We have arrived at the contradiction. Note that this is very similar to the proof of uncountability of the set of real numbers that we discussed in class. This is Cantor s diagonal argument. 6. Let A = 0,1} N be the set of all possible sequences of 0 s and 1 s, as in the previous problem. Prove that A A = A. Solution: Define f : 0,1} N 0,1} N 0,1} N by x (m+1)/2 if m is odd f(x n },y n }) m = if m is even. y m/2 We claim f is bijective. Let z n } 0,1} N. Define x n = z 2n 1 and y n = z 2n. Then the above definitions easily imply that z n } = f(x n },y n }). Therefore f is onto. Assume f(x n },y n } = f(x n },y n }). Equating the even coefficients of these two sequences we find that x n } = x n} and equating the odd coefficients we get y n } = y n }. Therefore (x n},y n }) = (x n },y n }), and so f is one-to-one. 7. (a) Prove that the cardinality of the set from the previous problem is, in fact, continuum. Hint: use binary representation of real numbers. Solution: We discussed this in the last class: it is essentially the binary representation of real numbers. Recall how it works. We want to represent every point in the interval (0,1) by a sequence of zeroes and 1s (instead of the decimal representation that uses ten digits). We do it as follows: let x (0, 1). Divide the interval in half. If x is in the left half, put 0 in the first place after the decimal point. If x is in the right half, put 1. Then take the sub-interval that contains x and divide it in half. If x is to the left of the middle, put 0 in the second decimal place, if x is to the right, put 1, and so on. There will again be a problem, similar to the issue of 0.999... = 1 in the decimal representation: namely, the rational numbers of the form a 2 k where a,k N will have two representations: one finite (or with a tail of all zeroes ), and one with a tail of ones. For example, 1 = 0.1 = 0.01111... 2 Page 3 of 5

in the binary representation. Let B = x (0,1) : x = a 2 k for some a,k N} - the set of bad points, and let C be the set of sequences of 0s and 1s that are either all zero starting from some place, or all 1 starting from some place (the set of bad sequences that correspond to the bad points ). Then our procedure establishes a bijective correspondence between the sets (0, 1) B and A C. Now note that both B and C are countable (make sure you can prove this!). Then by Problem 3 above, (0,1) = A. (b) Prove that R R = R. Solution: By part (a), there exists a bijective function f : R A, where A is the set of sequences of 0s and 1s as above. Then the function g : R R A A defined by g(x,y) = (f(x),f(y)) is also bijective. (Make sure you can prove this!) By Problem 6 above, we know that A A = A. Then we have: and we are done! R R = A A = A = R, (c) What is wrong with the following sketch of a proof that R R = R : let R = a 1,...,a n,...}. Then R R is the set of pairs (a i,b j ) where i,j N, and now we can arrange these pairs in a table, and use the algorithm for traversing the table to put them into one long list c 1,...c n,...}. (Note that this proof works fine for N N and Q Q). Solution: R is uncountable, so you cannot list its elements! Definition. Let A be an arbitrary set and let B be a subset of A. Define the function χ B : A 0,1} by the formula 0 if x / B, χ B (x) := 1 if x B. This function is called the characteristic function of B. 8. Let A = 0,1} N be the set of all possible sequences of 0 s and 1 s. Find a very natural bijective function between A and P(N). (Hint: construct a function from P(N) to P, whose definition uses the notion of the characteristic function). Solution: Consider the function f : P(N) P defined by f(a) = χ A, where A is a subset of N (that is, an element of P(N), and χ A is its characteristic function (which can be thought if as a sequence of 0s and 1s). It is easy to check that f is both injective and surjective (we discussed this in the review session). Page 4 of 5

9. (a) If P fin (N) denotes the set of finite subsets of N, show that P fin (N) is countable. (b) If P inf (N) denotes the set of infinite subsets of N, show that P inf (N) is uncountable. Hint: Use the previous problem. Solution: (a) Let A n denote the set of subsets of N that are contained in 1,...,n}. Then A n = 2 n (we proved this by induction in an earlier homework). Now, note that any finite subset of N is contained in 1,...,n} for a large enough number n. ThereforeP fin (N) = n=1a n isacountableunionoffinitesetsandisclearlyaninfinite set. By Problem 12 from Homework 12, this set is countable. (b) Assume to the contrary that B 1 = P inf (N) is countable. By (a) B 2 = P fin (N) is countable. If B n = for all n 3 then P(N) = n=1b n is a countable union of countable sets and so by Problem 12 from Homework is also countable. This contradicts the fact that P(N) is uncountable (see the two previous problems). Therefore the set of infinite subsets of N must be uncountable. Page 5 of 5