A B. bijection. injection. Section 2.4: Countability. a b c d e g

Similar documents
Cardinality of Sets. Washington University Math Circle 10/30/2016

Let A(x) be x is an element of A, and B(x) be x is an element of B.

Comparing sizes of sets

Section 1.7 Sequences, Summations Cardinality of Infinite Sets

Section 2.4 Sequences and Summations

Infinity and Uncountability. Countable Countably infinite. Enumeration

2. Functions, sets, countability and uncountability. Let A, B be sets (often, in this module, subsets of R).

Material from Recitation 1

Source of Slides: Introduction to Automata Theory, Languages, and Computation By John E. Hopcroft, Rajeev Motwani and Jeffrey D.

Cardinality of Sets MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Cardinality of Sets Fall / 15

HW 1 CMSC 452. Morally DUE Feb 7 NOTE- THIS HW IS THREE PAGES LONG!!! SOLUTIONS THROUGOUT THIS HW YOU CAN ASSUME:

Cantor s Diagonal Argument for Different Levels of Infinity

Limitations of Algorithmic Solvability In this Chapter we investigate the power of algorithms to solve problems Some can be solved algorithmically and

MATHEMATICS 191, FALL 2004 MATHEMATICAL PROBABILITY Outline #1 (Countability and Uncountability)

MITOCW watch?v=4dj1oguwtem

To illustrate what is intended the following are three write ups by students. Diagonalization

.Math 0450 Honors intro to analysis Spring, 2009 Notes #4 corrected (as of Monday evening, 1/12) some changes on page 6, as in .

MATH 139 W12 Review 1 Checklist 1. Exam Checklist. 1. Introduction to Predicates and Quantified Statements (chapters ).

Calculating Cardinalities

Cardinality Lectures

Hinged Sets And the Answer to the Continuum Hypothesis

The Size of the Cantor Set

CS3102 Theory of Computation Problem Set 2, Spring 2011 Department of Computer Science, University of Virginia

TOPOLOGY, DR. BLOCK, FALL 2015, NOTES, PART 3.

CSE 20 DISCRETE MATH. Winter

Diagonalization. The cardinality of a finite set is easy to grasp: {1,3,4} = 3. But what about infinite sets?

CSE 20 DISCRETE MATH. Fall

Phil 320 Chapter 1: Sets, Functions and Enumerability I. Sets Informally: a set is a collection of objects. The objects are called members or

1.7 The Heine-Borel Covering Theorem; open sets, compact sets

EDAA40 At home exercises 1

Proof Techniques Alphabets, Strings, and Languages. Foundations of Computer Science Theory

Lecture 17: Continuous Functions

Slides for Faculty Oxford University Press All rights reserved.

THREE LECTURES ON BASIC TOPOLOGY. 1. Basic notions.

2.8. Connectedness A topological space X is said to be disconnected if X is the disjoint union of two non-empty open subsets. The space X is said to

CS3102 Theory of Computation Solutions to Problem Set 1, Spring 2012 Department of Computer Science, University of Virginia

Regarding Python level necessary for the course

CS402 - Theory of Automata Glossary By

Computation, Computers, and Programs. Administrivia. Resources. Course texts: Kozen: Introduction to Computability Hickey: Introduction to OCaml

Point-Set Topology 1. TOPOLOGICAL SPACES AND CONTINUOUS FUNCTIONS

Topology problem set Integration workshop 2010

9/19/12. Why Study Discrete Math? What is discrete? Sets (Rosen, Chapter 2) can be described by discrete math TOPICS

CS3102 Theory of Computation Solutions to Selected Problems from Set 1 Department of Computer Science, University of Virginia

Lecture 1. 1 Notation

11,23,35,47 B) 1 is a multiple of 12

CS 341 Homework 1 Basic Techniques

Problems, Languages, Machines, Computability, Complexity

EXERCISE Which of the following is irrational? (C) 7 (D) 81 (A) (B)

Generell Topologi. Richard Williamson. May 6, 2013

1KOd17RMoURxjn2 CSE 20 DISCRETE MATH Fall

Using Cantor s Diagonal Method to Show ζ(2) is Irrational

M3P1/M4P1 (2005) Dr M Ruzhansky Metric and Topological Spaces Summary of the course: definitions, examples, statements.

Math 5801 General Topology and Knot Theory

CS6160 Theory of Computation Problem Set 2 Department of Computer Science, University of Virginia

Homework Set #2 Math 440 Topology Topology by J. Munkres

2/18/14. Uses for Discrete Math in Computer Science. What is discrete? Why Study Discrete Math? Sets and Functions (Rosen, Sections 2.1,2.2, 2.

Section 13. Basis for a Topology

Introduction to Algebraic and Geometric Topology Week 5

Automata Theory CS S-FR Final Review

Elementary Topology. Note: This problem list was written primarily by Phil Bowers and John Bryant. It has been edited by a few others along the way.

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

2 Review of Set Theory

Final Test in MAT 410: Introduction to Topology Answers to the Test Questions

Functions 2/1/2017. Exercises. Exercises. Exercises. and the following mathematical appetizer is about. Functions. Functions

Computability, Cantor s diagonalization, Russell s Paradox, Gödel s s Incompleteness, Turing Halting Problem.

Functions. Def. Let A and B be sets. A function f from A to B is an assignment of exactly one element of B to each element of A.

Combinatorial properties and n-ary topology on product of power sets

Using Cantor s Diagonal Method to Show ζ(2) is Irrational

CSC Discrete Math I, Spring Sets

Unit 7 Number System and Bases. 7.1 Number System. 7.2 Binary Numbers. 7.3 Adding and Subtracting Binary Numbers. 7.4 Multiplying Binary Numbers

A Tour of General Topology Chris Rogers June 29, 2010

Power Set of a set and Relations

A Random Walk through CS70

THEORY OF COMPUTATION

A Little Point Set Topology

Discrete Structures. Fall Homework3

r=1 The Binomial Theorem. 4 MA095/98G Revision

Counting. Andreas Klappenecker

chapter 14 Monoids and Automata 14.1 Monoids GOALS Example

Separating Homeomorphisms

Classwork. Exercises Use long division to determine the decimal expansion of. NYS COMMON CORE MATHEMATICS CURRICULUM Lesson 6 8 7

Computability Theory: Key Concepts. The general problem we want to confront is this: given a set or relation, when is there an

Theory of Computation - Module 1

Topology and Topological Spaces

Topology 550A Homework 3, Week 3 (Corrections: February 22, 2012)

Formal Language Theory

4 Basis, Subbasis, Subspace

Announcements. CS243: Discrete Structures. Strong Induction and Recursively Defined Structures. Review. Example (review) Example (review), cont.

Functions. How is this definition written in symbolic logic notation?

Point-Set Topology II

COMPUTABILITY THEORY AND RECURSIVELY ENUMERABLE SETS

Complexity Theory. Compiled By : Hari Prasad Pokhrel Page 1 of 20. ioenotes.edu.np

Taibah University College of Computer Science & Engineering Course Title: Discrete Mathematics Code: CS 103. Chapter 2. Sets

T. Background material: Topology

A Proof of Pythagorian s Theorem

3. Determine whether f is a function from the set of all bit strings to the set of integers if

About the Tutorial. Audience. Prerequisites. Copyright & Disclaimer. Discrete Mathematics

About the Tutorial. Audience. Prerequisites. Copyright & Disclaimer. Discrete Mathematics

Computer Sciences Department

CHAPTER 4. COMPUTABILITY AND DECIDABILITY

Transcription:

Section 2.4: Countability We can compare the cardinality of two sets. A = B means there is a bijection between A and B. A B means there is an injection from A to B. A < B means A B and A B Example: Let A={ 3x+4 x N and 0 3x+4 1000 } What is A? Solution: 0 3x+4 1000 iff -4/3 x 996/3 iff -4/3 x 332 So we can rewrite the definition of A as A={3x+4 x N and 0 x 332} We can define a function f:{0,1,,332} A f(x) = 3x+4 Notice f is a bijection. So A = 333. CS340-Discrete Structures Section 2.4 A a b c d e g a b c d injection bijection 1 2 3 4 5 6 1 2 3 4 5 6 B A B

Countable Finite sets: The set S is countable if S = N n for some n. {0,1,2,,n} Countably Infinite Sets: The set S is countable if S = N Uncountably Infinite Sets: If a set is not countable, it is uncountable. Z is countable: Z = N To prove this we need to find a bijection between Z and N. Let f:n Z be defined by f(2k)=k and f(2k+1)=-(k+1). x 0 1 2 3 4 5 6 7 f(x) 0-1 1-2 2-3 3-4 Page 2

Some Countability Results S N implies S is countable. S is countable iff S N. Subsets and images of countable sets are countable. If each of the sets S 0, S 1, S n, is countable, then so is their union: S 0 S 1 S n N x N is countable. Page 3

Some Countability Results S N implies S is countable. S is countable iff S N. Subsets and images of countable sets are countable. If each of the sets S 0, S 1, S n, is countable, then so is their union: S 0 S 1 S n N x N is countable. Proof: Step 1: List all pairs of natural numbers like this: 0,0 0,1 1,0 0,2 1,1 2,0 0,3 1,2 2,1 3,0 Page 4

Some Countability Results S N implies S is countable. S is countable iff S N. Subsets and images of countable sets are countable. If each of the sets S 0, S 1, S n, is countable, then so is their union: S 0 S 1 S n N x N is countable. Proof: Step 1: List all pairs of natural numbers like this: 0: 0,0 1: 0,1 2: 1,0 Step 2: Assign a number from N to each pair. 3: 0,2 4: 1,1 5: 2,0 6: 0,3 7: 1,2 8: 2,1 9: 3,0 This is Cantor s Bijection: n = ((x+y) 2 + 3x + y)/2 Page 5

Example: Is N x N x N countable? Let S n = { (x,y,z) N 3 x+y+z = n } Each of the sets S 0, S 1, S n, is countable (actually, each is finite). Their union S 0 S 1 S n is the set N 3. Since their union is countable, N 3 is countable. Page 6

Facts: Countably Infinite Sets The set of rational numbers Q is countably infinite. The set A * of all finite strings over a finite alphabet is countably infinite. Uncountably Infinite Sets The set of real numbers is not countable! N < R Let [0,1] be the closed interval of real numbers 0 x 1. The closed interval [0,1] is uncountably infinite! The powerset of a countably infinite set is uncountable! N < power(n) Page 7

Diagonalization Example: Alphabet = {a,b,c} Consider the set of all (possibly infinite) strings over A. Assume it is countable. {S 0,S 1, S 2, } = {abcabc, bbbbb, cacacac, } Then we can list all the elements in some order. Section 2.4 Page 8

Diagonalization Example: Alphabet = {a,b,c} Consider the set of all (possibly infinite) strings over A. Assume it is countable. {S 0,S 1, S 2, } = {abcabc, bbbbb, cacacac, } List each string as a row in a matrix, in order. 0 1 2 3 n S 0 a b c a b S 1 b b b b b S 2 c a c a c S 3 c b a c b S 4 c c c c c S 5 a a a a a Page 9

Diagonalization Example: Alphabet = {a,b,c} Consider the set of all (possibly infinite) strings over A. Assume it is countable. {S 0,S 1, S 2, } = {abcabc, bbbbb, cacacac, } List each string as a row in a matrix, in order. 0 1 2 3 n S 0 a b c a b S 1 b b b b b S 2 c a c a c S 3 c b a c b S 4 c c c c c S 5 a a a a a Consider the diagonal: abcc a Change every character. a b b a c a to create a new string. Now we have the string baaa b This string differs from every string in the table. This string cannot be in the table. Contradiction! Page 10

Diagonalization (Cantor s Technique to show that R is uncountable) Let A be an finite alphabet of symbols with at least 2 elements {a,b, } Look at all strings over A, including infinitely long strings. Assume that this set of strings is countable. Then let S 0,S 1,,S n, be a listing of all these strings. List all strings in rows in an infinite 2-D matrix. Each string S n fills one row of the matrix. S n = (a n0, a n1, a nn, ) Now construct the following string (this is the diagonal): S = (a 00, a 11, a nn, ) Now modify S to give S. S = (f(a 00 ), f(a 11 ), f(a nn ), ) where f(x) is a function that changes the symbol to a different symbol. Example: if x=a then f(x) is b; if x a then f(x) is a. S cannot be anywhere in the matrix, since it will differ from every string by at least one symbol. But we have listed all elements in the matrix. Contradiction! The set must be uncountably infinite! Page 11

Application to Real Numbers Just consider the interval [0.0, 1.0]. All numbers have a decimal representation. 0.025 0.31415926536 = Pi/10 0.99999999999 = 1.0 Irrational numbers have an infinitely long decimal expansion. Apply Cantor s Diagonalization Method: Alphabet={0,1,2,3,4,5,6,7,8,9} Assume the set is countable. List these numbers in a table in any order. Look at the digits on the diagonal. Construct a new number that differs from each number. This new number can t be in the table. Proof by contradiction: Therefore the set must be uncountable! Page 12

Application to Powersets Consider a countably infinite set, S. S = { a 0, a 1, } power(s) = the set of all subsets of S. Is power(s) countable? Represent a subset of S as a bit string. {a 0, a 1, a 2,, a 4,, a 6,, a 8 } 1 1 1 0 1 0 1 0 1 0 0 0 0 1 if the element is in the subset; 0 if it is not. Each subset corresponds to an infinitely long bit string. Is power(s) = set of bitstrings countable? Apply Cantor s Diagonalization Method: Alphabet={0,1} Assume the set is countable. List these numbers in a table in any order. Look at the bits on the diagonal. Construct a new bitstring that differs from all others. This new sitstring can t be in the table. Proof by contradiction: Therefore power(s) must be uncountable! Page 13

Cantor s Result: A < power(a) for any set A N < power(n) < power(power(n)) < Countable Uncountable Beyond Uncountable!!! Example: Show that [0,1] = power(n) We can represent each number in [0,1] as a binary string. 0.8125 = 0.11010000 We can also look at that string as a representation of a subset of N: 11010000 = {0,1,3} There is a bijection between [0,1] and power(n). So [0,1] = power(n) Page 14

The Continuum Hypothesis Is there a set whose cardinality is between that of N and the reals R? That is: does there exist a set S such that N < S < R No one knows! The hypothesis is no. Page 15