Lecture 9: Cardinality. a n. 2 n 1 2 n. n=1. 0 x< 2 n : x = :a 1 a 2 a 3 a 4 :::: s n = s n n+1 x. 0; if 0 x<

Similar documents
6 CARDINALITY OF SETS

Finite and Infinite Sets

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

SETS AND FUNCTIONS JOSHUA BALLEW

One-to-one functions and onto functions

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

MATH 3300 Test 1. Name: Student Id:

Mathematics 220 Workshop Cardinality. Some harder problems on cardinality.

Section 7.5: Cardinality

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

Math 317 Week 05: Cardinal Arithmetics

CSE 20 DISCRETE MATH. Fall

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

Section 2: Classes of Sets

Econ Lecture 2. Outline

Countable and uncountable sets. Matrices.

1 More concise proof of part (a) of the monotone convergence theorem.

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.

16 Chapter 3. Separation Properties, Principal Pivot Transforms, Classes... for all j 2 J is said to be a subcomplementary vector of variables for (3.

5 Set Operations, Functions, and Counting

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:

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

1 Selected Homework Solutions

Discrete Mathematics 2007: Lecture 5 Infinite sets

CITS2211 Discrete Structures (2017) Cardinality and Countability

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

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

2 Exercises 1. The following represent graphs of functions from the real numbers R to R. Decide which are one-to-one, which are onto, which are neithe

Chapter 2 - Basics Structures


Countable and uncountable sets. Matrices.

Baire measures on uncountable product spaces 1. Abstract. We show that assuming the continuum hypothesis there exists a

Axioms for Set Theory

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

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

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

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

4) Have you met any functions during our previous lectures in this course?

Exercises for Unit VI (Infinite constructions in set theory)

Chapter 2 - Basics Structures MATH 213. Chapter 2: Basic Structures. Dr. Eric Bancroft. Fall Dr. Eric Bancroft MATH 213 Fall / 60

1 Linear Algebra Problems

INVERSE LIMITS WITH SET VALUED FUNCTIONS. 1. Introduction

Computability-Theoretic Properties of Injection Structures

Discrete Mathematics for CS Spring 2007 Luca Trevisan Lecture 27

Proposition 5. Group composition in G 1 (N) induces the structure of an abelian group on K 1 (X):

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

14 Uncountable Sets(Denial of Self Recursion)

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

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 3 9/10/2008 CONDITIONING AND INDEPENDENCE

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

Week Some Warm-up Questions

1 Partitions and Equivalence Relations

ON A CLASS OF APERIODIC SUM-FREE SETS NEIL J. CALKIN PAUL ERD OS. that is that there are innitely many n not in S which are not a sum of two elements

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

Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination I (Spring 2008)

1 I A Q E B A I E Q 1 A ; E Q A I A (2) A : (3) A : (4)

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

FRACTAL GEOMETRY, DYNAMICAL SYSTEMS AND CHAOS

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

Math 105A HW 1 Solutions

Chapter 1 : The language of mathematics.

Chapter 1. Sets and Mappings

Properties of the Integers

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.

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.

Exercises from other sources REAL NUMBERS 2,...,

Assignment 8. Section 3: 20, 24, 25, 30, Show that the sum and product of two simple functions are simple. Show that A\B = A B

Harvard CS 121 and CSCI E-207 Lecture 6: Regular Languages and Countability

Sets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant).

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

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

Basic set-theoretic techniques in logic Part III, Transfinite recursion and induction

4. (10 pts) Prove or nd a counterexample: For any subsets A 1 ;A ;::: of R n, the Hausdor dimension dim ([ 1 i=1 A i) = sup dim A i : i Proof : Let s

Algorithms: Lecture 2

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

Essential Background for Real Analysis I (MATH 5210)

Problem Set 2: Solutions Math 201A: Fall 2016

Lecture 5 - Hausdorff and Gromov-Hausdorff Distance

Section 21. The Metric Topology (Continued)

Vector Space Basics. 1 Abstract Vector Spaces. 1. (commutativity of vector addition) u + v = v + u. 2. (associativity of vector addition)

A Readable Introduction to Real Mathematics

Rings, Integral Domains, and Fields

Cardinality and ordinal numbers

Sets are one of the basic building blocks for the types of objects considered in discrete mathematics.

ABOUT THE CLASS AND NOTES ON SET THEORY

Some Basic Notations Of Set Theory

0 Sets and Induction. Sets

Introduction to Real Analysis

Abian raised the question of what are the possible cardinalities of maximal orthogonal families. Theorem 3 In the Cohen real model there is a maximal

Measure and Integration: Concepts, Examples and Exercises. INDER K. RANA Indian Institute of Technology Bombay India

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

2 2 + x =

Section Summary. Sequences. Recurrence Relations. Summations. Examples: Geometric Progression, Arithmetic Progression. Example: Fibonacci Sequence

Primal vector is primal infeasible till end. So when primal feasibility attained, the pair becomes opt. & method terminates. 3. Two main steps carried

MARKOV CHAINS: STATIONARY DISTRIBUTIONS AND FUNCTIONS ON STATE SPACES. Contents


4.6 Montel's Theorem. Robert Oeckl CA NOTES 7 17/11/2009 1

Mathematical Structures Combinations and Permutations

Complete Induction and the Well- Ordering Principle

Extremal Cases of the Ahlswede-Cai Inequality. A. J. Radclie and Zs. Szaniszlo. University of Nebraska-Lincoln. Department of Mathematics

Transcription:

Lecture 9: Cardinality 9. Binary representations Suppose fa n g n= is a sequence such that, for each n =; 2; 3;:::, either a n =0ora n = and, for any integer N, there exists an integer n>n such that a n = 0. Then for n =; 2; 3;:::, so the innite series 0 a n 2 n 2 n X n= converges to some real number x by the comparison test. Moreover, 0 x< a n 2 n X n= 2 n =: We call the sequence fa n g n= the binary representation for x, and write x = :a a 2 a 3 a 4 :::: Exercise 9.. Suppose fa n g n= and fb n g n= are both binary representations for x. Show that a n = b n for n =; 2; 3;:::. Now suppose x 2 R with 0 x <. Construct a sequence fa n g n= as follows: If 0 x< 2, let a = 0; otherwise, let a =. For n =; 2; 3;:::, let and set a n+ =if and a n+ = 0 otherwise. s n = nx i= a i 2 n s n + 2 n+ x Lemma With the notation as above, s n x<s n + for 2 n n =; 2; 3;:::. Proof Since 0; if 0 x< s = 2, 2 ; if 2 x<; it is clear that s x < s +. So suppose 2 n > and s n, x < s n, +. If 2 n, s n, + x, then 2 n a n = and s n = s n, + 2 n x<s n, + 2 n, = s n, + 2 n + 2 n = s n + 2 n : 9-

Lecture 9: Cardinality 9-2 If x<s n, + 2 n, then a n = 0 and s n = s n, x<s n, + 2 n = s n + 2 n : P a Proposition With the notation as above, x = n n= 2 n : Proof Given >0, choose an integer N such that 2 N <. Then, for any n>n,it follows from the lemma that Hence js n, xj < 2 n < 2 N <: x = lim n! s n = Lemma With the notation as above, given any integer N there exists an integer n>n such that a n =0. Proof If a n = for n =; 2; 3;:::, then x = X n= X n= 2 n =; contradicting the assumption that 0 x <. Now suppose there exists an integer N such that a N = 0 but a n = for every n>n. Then x = s N + X n=n + 2 n = s N, + X n=n + a n 2 n : 2 = n s N, + 2 N ; implying that a N =, and thus contradicting the assumption that a N =0. Combining the previous lemma with the previous proposition yields the following result. Proposition With the notation as above, x = :a a 2 a 3 a 4 :::: Thus we have shown that for every real number 0 x< there exists a unique binary representation. 9.2 Cardinality Denition A function ' : A! B is said to be a one-to-one correspondence if ' is both one-to-one and onto. Denition We say sets A and B have the same cardinality if there exists a one-to-one correspondence ' : A! B. We denote the fact that A and B have the same cardinality by writing jaj = jbj.

Lecture 9: Cardinality 9-3 Exercise 9.2. Dene a relation on sets by setting A B if and only if jaj = jbj. Show that this relation is an equivalence relation. Denition Let A be a set. If A has the cardinality of the set f; 2; 3;:::;ng, n 2 Z +, we say A is nite and write jaj = n. If A has the cardinality ofz +,wesay A is countable and write jaj = @ 0. Example If we dene ' : Z +! Zby '(n) = n, 2, n 2 ; if n is odd, ; if n is even, then ' is a one-to-one correspondence. Thus jzj = @ 0. Exercise 9.2.2 Let A be the set of even integers. Show that jaj = @ 0. Exercise 9.2.3 (a) Let A be a nonempty subset of Z +. Show that A is either nite or countable. (b) Let A be a nonempty subset of a countable set B. Show that A is either nite or countable. Proposition Suppose A and B are countable sets. Then the set C = A[B is countable. Proof Suppose A and B are disjoint, that is, A\B = ;. Let ' : Z +! A and : Z +! B be one-to-one correspondences. Dene : Z +! C by, ' n+, 2 ; if n is odd, n 2 (n) = ; if n is even. Then is a one-to-one correspondence, showing that C is countable. If A and B are not disjoint, then is onto but not one-to-one. However, in that case C has the cardinality of an innite subset of Z +, and so is countable. Denition A nonempty set which is not nite is said to be innite. An innite set which is not countable is said to be uncountable. Exercise 9.2.4 Suppose A is uncountable and B A is countable. Show that A n B is uncountable. Proposition Suppose A and B are countable. Then C = A B is countable. Proof Let ' : Z +! A and : Z +! B be one-to-one correspondences. Let a i = '(i) and b i = (i). Dene : Z +! C by letting () = (a ;b ); (2) = (a ;b 2 ); (3) = (a 2 ;b );

Lecture 9: Cardinality 9-4 (4) = (a ;b 3 ); (5) = (a 2 ;b 2 ); (6) = (a 3 ;b ); (7) = (a ;b 4 );. That is, form the innite matrix with (a i ;b j ) in the ith row and jth column, and then count the entries by reading down the diagonals from right to left. Then is a one-to-one correspondence and C is countable. Proposition Q is countable. Proof By the previous proposition, Z Zis countable. Let A = f(p; q) :p; q 2 Z;q >0;p and q relatively primeg: Then A is innite and A Z Z, so A is countable. But clearly jqj = jaj, soq is countable. Proposition Suppose for each i 2 Z +, A i is countable. Then B = S i= A i is countable. Proof Suppose the sets A i, i 2 Z +, are pairwise disjoint, that is, A i \ A j = ; for all i; j 2 Z +. For each i 2 Z +, let ' i : Z +! A i be a one-to-one correspondence. Then : Z + Z +! B dened by (i; j) =' i (j) is a one-to-one correspondence, and so jbj = jz + Z + j = @ 0. If the sets A i, i 2 Z +, are not disjoint, then is onto but not one-to-one. But then there exists a subset P of Z + Z + such that : P! B is a one-to-one correspondence. Since P is an innite subset of a countable set, P is countable and so jbj = @ 0. If in the previous S proposition we allow that, for each i 2 Z +, A i is either nite or countable, then B = i= A i will be either nite or countable. Denition Given a set A, the set of all subsets of A is called the power set of A, which we denote P(A). Example If A = f; 2; 3g, then P(A) =f;; fg; f2g; f3g; f; 2g; f; 3g; f2; 3g; f; 2; 3g: Proposition If A is nite with jaj = n, then jp(a)j =2 n. Proof Let B = f(b ;b 2 ;:::;b n ):b i =0orb i =;i=; 2;:::;ng

Lecture 9: Cardinality 9-5 and let a ;a 2 ;:::;a n be the elements of A. Dene ' : B!P(A) by letting '(b ;b 2 ;:::;b n )=fa i : b i =;i=; 2;:::;ng: Then ' is a one-to-one correspondence. The result now follows from the next exercise. Exercise 9.2.5 With B as in the previous proposition, show that jbj =2 n. A. In analogy with the case when A is nite, we let 2 jaj = jp(a)j for any nonempty set Denition Suppose A and B are sets for which there exists a one-to-one function ' : A! B but there does not exist a one-to-one correspondence : A! B. Then we write jaj < jbj. Theorem If A is a nonempty set, then jaj < jp(a)j. Proof Dene ' : A!P(A) by '(a) = fag. Then ' is one-to-one. Now suppose : A!P(A) is any one-to-one function. Let C = fa : a 2 A; a =2 (a)g: Suppose there exists a 2 A such that (a) = C. Then a 2 C if and only if a =2 C, an obvious contradiction. Thus C is not in the range of, and so is not a one-to-one correspondence. Lemma Let A be the set of all sequences fa i g i= with a i = 0 or a i = for each i =; 2; 3;:::. Then jaj = jp(z + )j. Proof Dene ' : A!P(Z + )by Then ' is a one-to-one correspondence. ' ((fa i g i= )=fi : i 2 Z+ ;a i =g: Now let B be the set of all sequences fa i g i= in A such that for every integer N there exists an integer n>n such that a n = 0. Let C = A n B, D 0 = ffa i g i= : a i =;i=; 2; 3;:::g; and D j = ffa i g i= : a j =0;a k = for k>jg for j =; 2; 3;:::. Then jd 0 j = and jd j j =2 j, for j =; 2; 3;:::. Moreover, C = [ j=0 D j ;

Lecture 9: Cardinality 9-6 so C is countable. Since A = B [C, and A is uncountable, it follows that B is uncountable. Now ifwe let I = fx : x 2 R; 0 x<g; we have seen that the function ' : B! I dened by ' (fa i g i=) =:a a 2 a 3 a 4 ::: is a one-to-one correspondence. It follows that I is uncountable. As a consequence, we have the following result. Proposition R is uncountable. Exercise 9.2.6 Let I = fx : x 2 R; 0 x<g. Show that (a) jij = jfx : x 2 R; 0 x gj (b) jij = jfx : x 2 R; 0 <x<gj (c) jij = jfx : x 2 R; 0 <x<2gj (d) jij = jfx : x 2 R;, <x<gj Exercise 9.2.7 Let I = fx : x 2 R; 0 x<g and suppose a and b are real numbers with a<b. Show that jij = jfx : x 2 R;a x<bgj: Exercise 9.2.8 Does there exist a set A R for which @ 0 < jaj < 2 @ 0? (Before working too long on this probem, you may wish to read about Cantor's continuum hypothesis.)