MATH 3300 Test 1. Name: Student Id:

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

CSE 20 DISCRETE MATH. Fall

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

Mathematics 220 Workshop Cardinality. Some harder problems on cardinality.

1 Partitions and Equivalence Relations

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

SETS AND FUNCTIONS JOSHUA BALLEW

5 Set Operations, Functions, and Counting

INFINITY: CARDINAL NUMBERS

CITS2211 Discrete Structures (2017) Cardinality and Countability

A Readable Introduction to Real Mathematics

Exercises for Unit VI (Infinite constructions in set theory)

Chapter 1 : The language of mathematics.

Cardinality and ordinal numbers

Great Theoretical Ideas in Computer Science. Lecture 5: Cantor s Legacy

MATH FINAL EXAM REVIEW HINTS

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

Math 455 Some notes on Cardinality and Transfinite Induction

A Short Review of Cardinality

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

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 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017

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

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

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

6 CARDINALITY OF SETS

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.

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

Let us first solve the midterm problem 4 before we bring up the related issues.

Axioms of separation

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

Math 105A HW 1 Solutions

Discrete Mathematics 2007: Lecture 5 Infinite sets

DO FIVE OUT OF SIX ON EACH SET PROBLEM SET

S15 MA 274: Exam 3 Study Questions

Introduction to Proofs

Discrete Mathematics for CS Spring 2007 Luca Trevisan Lecture 27

MATH 201 Solutions: TEST 3-A (in class)

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

ABOUT THE CLASS AND NOTES ON SET THEORY

MATH 13 FINAL EXAM SOLUTIONS

Section 7.5: Cardinality


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

RELATIONS AND FUNCTIONS

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

Part II. Logic and Set Theory. Year

Math Fall 2014 Final Exam Solutions

A Logician s Toolbox

Notes on ordinals and cardinals

Foundations Revision Notes

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:

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

Undecidability. Andreas Klappenecker. [based on slides by Prof. Welch]

Math 300: Final Exam Practice Solutions

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

Essential Background for Real Analysis I (MATH 5210)

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

MATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.

NOTES FOR 197, SPRING 2018

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

Axioms for Set Theory

The cardinal comparison of sets

INTRODUCTION TO CARDINAL NUMBERS

Math 127 Homework. Mary Radcliffe. Due 29 March Complete the following problems. Fully justify each response.

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

Selected problems from past exams

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

Outside ZF - Set Cardinality, the Axiom of Choice, and the Continuum Hypothesis

Econ Lecture 2. Outline

Infinite constructions in set theory

ON THE RELATIONSHIP BETWEEN SETS AND GROUPS

Countability. 1 Motivation. 2 Counting

Peter Kahn. Spring 2007

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

1.3. The Completeness Axiom.

3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall

Math.3336: Discrete Mathematics. Cardinality of Sets

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

Initial Ordinals. Proposition 57 For every ordinal α there is an initial ordinal κ such that κ α and α κ.

Chapter 1. Sets and Mappings

General Notation. Exercises and Problems

Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination II (Fall 2007)

CSE 311: Foundations of Computing. Lecture 26: Cardinality

Part II Logic and Set Theory

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

Basic set-theoretic techniques in logic Part II, Counting beyond infinity: Ordinal numbers

One-to-one functions and onto functions

NOTE: You have 2 hours, please plan your time. Problems are not ordered by difficulty.

Lecture Notes on Discrete Mathematics. October 15, 2018 DRAFT

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

Order Relations and Functions

Exploring the infinite : an introduction to proof and analysis / Jennifer Brooks. Boca Raton [etc.], cop Spis treści

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

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

Handout 2 (Correction of Handout 1 plus continued discussion/hw) Comments and Homework in Chapter 1

The Different Sizes of Infinity

Name (print): Question 4. exercise 1.24 (compute the union, then the intersection of two sets)

Finite and Infinite Sets

Section 0. Sets and Relations

Transcription:

Name: Student Id: There are nine problems (check that you have 9 pages). Solutions are expected to be short. In the case of proofs, one or two short paragraphs should be the average length. Write your answers and proofs in the space provided. Good luck! Some notation: N, Q and R denote the set of natural numbers, rational numbers and real numbers respectively. For a pair of sets A and B, B A denotes the set of all functions from A to B. 1

1. Provide examples. Explanations are not necessary. Describe a bijection between the open interval (0, 1) and R. Describe a bijection between the closed interval (0, 1) and the half-open interval (0, 1]. Describe a bijection between 2 N and P(N); here 2 = {0, 1}. Provide an example of a subset S P(N) such that S and P(N)\S are uncountable. [Bonus: Justify your answer.] 2

Proposition 1 Let f : X Y and g : Y X be functions. Suppose that g f = I X. Then (a) f is injective, and (b) g is surjective. 2. For the Proposition above: Prove conclusion (a). Provide example of a pair of functions f and g illustrating the Proposition for which f is not a bijection. (No explanations required.) 3

Definition 2 (Countable Sets) A set A is countable if either A is finite or there is a bijection N A. If a set is not countable, the it is called uncountable. Theorem 3 Let A be a set. The following statements are equivalent. A is countable. There is an injective function A N. There is a surjective function N A. 3. Let A and B sets. Prove the following statements. If A is countable and f : A B is a surjective function, then B is countable. If A is uncountable and f : A B is an injective function, then B is uncountable. 4

Theorem 4 (Cantor s First Diagonal Argument.) If A 0, A 1, A 2,... is a sequence of countable sets, then n=0 A n = A 1 A 2 A 3... is a countable set. 4. Prove that if A and B are countable sets, then A B = {(a, b): a A, b B} is a countable set. 5. Prove that the set of polynomials p(x) = a 0 + a 1 x + + a n x n with integer coefficients is a countable set. 5

Theorem 5 (Cantor s Second Diagonal Argument.) The set of infinite binary sequences is an uncoutable set. 6. Describe the proof of the above result, i.e., prove that the set 2 N is uncountable. 6

7. A counting problem. State Schröder-Bernstein Theorem. A binary relation on a set A is a subset R A A. The relation R is symmetric if for all a, b A, (a, b) R implies that (b, a) R. Prove that the set all symmetric binary relations on N has the same cardinality as 2 N. 7

8. A function f : N N is strictly increasing iff m, n N (m < n f(m) < f(n)). Prove that the set of strictly increasing functions f : N N is uncountable. 8

[Blank page] 9

MATH 3300 Test 2 Solutions are expected to be short. In the case of proofs, one or two short paragraphs should be the average length. Good luck! 1. (15 points) Provide precise statements for (a), (b), (c), (d). Provide examples for (e), (f), (g), no proofs are required. (a) Schröder-Bernstein Theorem. (b) Axiom of Choice. (c) Well ordering principle. (d) The Continuum Hypothesis. (e) Well ordered set (W, ) with infinitely many elements with no immediate predecessor. (f) A set of cardinality (ℵ 3 0 + 1)(2 3ℵ 0 + ℵ ℵ 0 1 ). (g) A bijection f : N N Z (a graphical description is ok); What is f(7) for your function? 2. (15 points; Axiom of Choice) Recall that X Y if and only if there is a one-to-one function X Y. Prove the following statements; point out any use of the Axiom of choice. (a) If f : A B is onto, then there is h: B A such that f h is the identity function on B. (b) If f : A B is surjective, then B A. (c) Without using the axiom of choice, prove that if f : N B is surjective, then B N. 3. (15 points; Cardinal Arithmetic) (a) Prove that n ℵ 0 = ℵ 0 for every n N with n 1. (b) Let x, y, z be cardinals. Prove that (x y ) z = x yz. (c) Prove that 2 ℵ 0 = n ℵ 0 for every n N with n > 1. 4. (5 points; First Uncountable Ordinal.) Prove that if A is a countable subset of S Ω, then A has an upper bound in S Ω. 5. (5 points; Well Ordering Principle.) Prove that the well-ordering principle implies the axiom of choice. 6. (15 points; Exponentiation of Well Orders.) Let (A, A ) and (B, B ) be well ordered sets. For f, g B A define f g if and only if there exists a A such that f(a) < B g(a) and f(x) = g(x) for every x S a. Prove the following statements. (a) is a transitive relation on B A. (b) is an irreflexive relation on B A. (c) For every pair f, g B A either f = g, f g, or g f. (d) ** (Not part of the test) Every non-empty subset of (B A, ) has a smallest element. 1