S15 MA 274: Exam 3 Study Questions

Similar documents
Discussion Summary 10/16/2018

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

1 Partitions and Equivalence Relations

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

Cardinality and ordinal numbers

A Short Review of Cardinality

MATH 3300 Test 1. Name: Student Id:

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

Mathematics 220 Workshop Cardinality. Some harder problems on cardinality.

MATH FINAL EXAM REVIEW HINTS

SETS AND FUNCTIONS JOSHUA BALLEW

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

Chapter 1. Sets and Mappings

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

Selected problems from past exams

Chapter 1 : The language of mathematics.

Math 3450 Homework Solutions

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

Math 455 Some notes on Cardinality and Transfinite Induction

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

5 Set Operations, Functions, and Counting

6 CARDINALITY OF SETS

CITS2211 Discrete Structures (2017) Cardinality and Countability

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

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

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

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

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

Axioms for Set Theory

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

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

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

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

1.3. The Completeness Axiom.

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

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.

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

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

Exercises for Unit VI (Infinite constructions in set theory)

Notes on ordinals and cardinals

Chapter 1. Sets and Numbers

Finite and Infinite Sets

CSE 20 DISCRETE MATH WINTER

Stat 451: Solutions to Assignment #1

Math 300: Final Exam Practice Solutions

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

Chapter 5: Integer Compositions and Partitions and Set Partitions

Discrete Mathematics. W. Ethan Duckworth. Fall 2017, Loyola University Maryland

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


ON THE RELATIONSHIP BETWEEN SETS AND GROUPS

MAT115A-21 COMPLETE LECTURE NOTES

Footnotes to Linear Algebra (MA 540 fall 2013), T. Goodwillie, Bases

DO FIVE OUT OF SIX ON EACH SET PROBLEM SET

Abstract Measure Theory

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

REVIEW FOR THIRD 3200 MIDTERM

Problem Set 2: Solutions Math 201A: Fall 2016

CHAPTER 8: EXPLORING R

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

Math 109 September 1, 2016

Sets, Proofs and Functions. Anton Velinov

Section 7.5: Cardinality

Discrete Mathematics for CS Spring 2007 Luca Trevisan Lecture 27

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

MATH 13 SAMPLE FINAL EXAM SOLUTIONS

Part IA Numbers and Sets

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

On minimal models of the Region Connection Calculus

Introduction to Real Analysis

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

Chapter 5: Integer Compositions and Partitions and Set Partitions

Chapter 0. Introduction: Prerequisites and Preliminaries

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:

Algebraic Cryptography Exam 2 Review

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.

Discrete Mathematics 2007: Lecture 5 Infinite sets

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

CSE 311: Foundations of Computing I Autumn 2014 Practice Final: Section X. Closed book, closed notes, no cell phones, no calculators.

Logical Connectives and Quantifiers

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

Iowa State University. Instructor: Alex Roitershtein Summer Exam #1. Solutions. x u = 2 x v

The integers. Chapter 3

ABOUT THE CLASS AND NOTES ON SET THEORY

0 Sets and Induction. Sets

Axioms of separation

MATH 61-02: PRACTICE PROBLEMS FOR FINAL EXAM

Well-Ordered Sets, Ordinals and Cardinals Ali Nesin 1 July 2001

Problems - Section 17-2, 4, 6c, 9, 10, 13, 14; Section 18-1, 3, 4, 6, 8, 10; Section 19-1, 3, 5, 7, 8, 9;

Lecture Notes in Real Analysis Anant R. Shastri Department of Mathematics Indian Institute of Technology Bombay

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

Sets, Structures, Numbers

Introduction to Proofs

Diskrete Mathematik Solution 6

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

INTRODUCTION TO CARDINAL NUMBERS

CSE 311: Foundations of Computing. Lecture 26: Cardinality

CIS 375 Intro to Discrete Mathematics Exam 2 (Section M001: Yellow) 10 November Points Possible

Cardinality of sets. Cardinality of sets

Chapter 2 - Basics Structures

Transcription:

S15 MA 274: Exam 3 Study Questions You can find solutions to some of these problems on the next page. These questions only pertain to material covered since Exam 2. The final exam is cumulative, so you should also study earlier material. (1) Know the precise definitions of the terms requested for your journal. (2) Be able to prove that a sequence (s i ) in a set X either has a constant subsequence or has a subsequence of distinct terms. (3) Know how to prove that if a set contains a surjective sequence which has a subsequence of distinct terms, then the sequence has a subsequence which is both surjective and of distinct terms. Explain why this shows that if there is a surjection N X from N onto an infinite set, then card(n) = card(x). (4) Be able to prove that an infinite set contains a sequence of distinct terms. (5) Be able to prove that there is a bijection from an infinite set to a proper subset. (6) Be able to prove that N N and Q are countable. (7) Be able to prove that the countable union of countable sets is countable. (8) Be able to prove that R is uncountable and (even more!) that it has the same cardinality as P(X). (9) Be able to prove that the set of irrational numbers is uncountable. (10) Be able to prove that if X is a set then card(x) < card(p(x)). (11) Be able to prove that the set of binary sequences has the same cardinality as P(N). (12) Know how to prove that if X is a set, then the set of characteristic functions (functions X {0, 1}) on X has the same cardinality as P(X). (13) Be able to prove (using the axiom of choice) that if there is a surjection Y X then card(x) card(y ) 1

(14) Know how to prove that if X is a set with at least two distinct elements then the set of all sequences in X is uncountable. (15) Be able to prove that the set of algebraic numbers is countable. (16) (A new one!) Suppose that X is a countable set. Let C be the set of sequences in X which are eventually constant. That is, there exists a X such that for every (x n ) C, there exists N N such that for all n N, we have x n = a. Prove that C is countable. 2

A couple solutions: Theorem. Suppose that (s i ) is a surjective sequence in a set X and that (s i ) has a subsequence of distinct terms. Then (s i ) has a subsequence of distinct terms which is surjective. Proof. We define the desired subsequence (s in ) recursively. Let i 1 = 1, so that s i1 = s 1. Assume now that we have defined i 1,..., i n so that the following hold: (P(n) i 1 < i 2 < < i n (Q(n) s i1, s i2,, s in are all distinct (R(n)) If j i n, then there exists k n such that s j = s ik Condition P(n) guarantees that we are building a subsequence of (s i ). Condition Q(n) will guarantee that we have a subsequence of distinct terms. Condition R(n) will guarantee that our subsequence is surjective, as won t have skipped any terms of (s i ), which is a surjective sequence. We now show how to define i n+1 so that properties P(n + 1), Q(n + 1), and R(n + 1) still hold. Let S n = min(j : j > i n and s j is distinct from each of s i1,..., s in ). The set S n is non-empty since (s i ) contains a subsequence of distinct terms. Thus, by the well-ordering principle, i n+1 = min S n exists. Since i n+1 i n, property P(n + 1) holds. Since s in+1 is distinct from each of s i1,..., s in, property Q(n + 1) holds. We now show that R(n + 1) holds. Suppose that j i n+1. If j i n, then by R(n), there exists k n < n + 1 so that s j = s ik, as desired. Suppose, therefore, that i n < j i n+1. If j S n, then by the definition of S n, there exists one of k n < n + 1 such that s j = s ik, as desired. If j S n, then i n+1 j, since i n+1 is the minimal element of S n. Thus, i n+1 = j and so s in+1 = s j, as desired. Consequently, R(n + 1) holds. By induction we have a sequence (s in ) such that for each n, P(n), Q(n), and R(n) hold. In particular, i 1 < i 2 < which means that (s in ) is, in fact, a subsequence of (s i ). If s in = s im then either n m or m n. If n m, then by Q(m), we must have i n = i m. Likewise, if m n, then by Q(n), we must have i m = i n. Consequently (s in ) is a subsequence of distinct terms. Suppose that x X. Since the original sequence is surjective, there exists j N such that s j = x. Choose n large enough so that j i n. Then by 3

R(n), there exists k such that s ik = s j = x. Hence, (s in ) is a surjective subsequence of distinct terms in X. Since sequences are functions with domain N, this theorem implies that if there is a surjective function N X and if X is infinite then (by Theorem 7.2.5) there is a bijection (since subsequences of distinct terms are injective functions and surjective subsequences are surjective functions) from N to X. Theorem. Suppose that Λ is a non-empty countable set and that for all α Λ, the set A α is countable and non-empty. We prove that α Λ A α is countable. Proof. Since Λ is countable, there exists a surjection f : N Λ. Since, for each α Λ, the set A α is countable, there exists a surjection g α : N A α. Define h : N N α Λ A α by h(i, j) = g f(i) (j). We claim that h is a surjection. Suppose that a α Λ A α. Then there exists α Λ such that a A α. Since f is surjective, there exists i N such that f(i) = α. Since g f(i) = g α is surjective, there exists j N such that g f(i) (j) = a. Consequently, h(i, j) = a and so h is surjective. Since N N is countable, there exists a surjection k : N N N. Then the function h k : N α Λ A α is a surjection since the composition of surjections is surjective. Since there is a surjection from N to α Λ A α, the set α Λ A α is countable. Theorem. If there is a surjection Y X then card(x) card(y ). Proof. Suppose that f : Y X is a surjection. We will produce an injection g : X Y. The existence of such an injection guarantees that card(x) card(y ). For each x X, let U x = f 1 (x). Since f is a surjection, each U x is nonempty. By the axiom of choice, we can choose a unique element y x in each set U x. Define g(x) = y x. Since y x was chosen uniquely, the relation g is a function. Suppose that g(x 1 ) = g(x 2 ). Then y x1 = y x2. Hence y x2 U x1 and y x1 U x2. But we chose a unique y x in each U x, so U x1 = U x2. Since U x1 = f 1 (x 1 ) and U x2 = f 1 (x 2 ), and since f is a function we must have x 1 = x 2. Theorem. Suppose that X is a set with at least two distinct elements. Then the set of all sequences in X is uncountable. Proof. Let S be the set of all sequences in X. We will show that there exists a surjection f from S to the set of binary sequences. Since the set of binary 4

sequences has the same cardinality as P(N), by the previous theorem, we will have card(p(x)) card(s). Given that, suppose that S is countable. Then card(p(n)) card(s) card(n). In which case card(p(n)) card(n), a contradiction. Thus, we will be done if we can prove the existence of f. Let x 1 X. Define g : X {0, 1} by { 1 x = x1 g(x) = 0 x x 1. Let B be the set of binary sequences. Recall that if s S, then s is a function with domain N and codomain X. Define f : S B by f(s) = g s. That is, f(s) is the sequence that takes the value 1 whenever s hits x 1 and takes the value 0 whenever s doesn t hit x 1. We now show that f is a surjection. Let b : N {0, 1} be a binary sequence. Since X has at least two elements, there exists x 0 X\{x 1 }. Define a sequence s b : N X as follows { x0 b(n) = 0 s b (n) = x 1 b(n) = 1 Notice that f(s b ) = b, so f is surjective. 5