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

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

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

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

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

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

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).

Cantor s Diagonal Argument for Different Levels of Infinity

Trees. 3. (Minimally Connected) G is connected and deleting any of its edges gives rise to a disconnected graph.

Slides for Faculty Oxford University Press All rights reserved.

It is important that you show your work. There are 134 points available on this test.

Material from Recitation 1

CHAPTER 8. Copyright Cengage Learning. All rights reserved.

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

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

Calculating Cardinalities

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

MITOCW watch?v=4dj1oguwtem

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

THREE LECTURES ON BASIC TOPOLOGY. 1. Basic notions.

Fall Recursion and induction. Stephen Brookes. Lecture 4

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

CHAPTER 4. COMPUTABILITY AND DECIDABILITY

4.3 Rational Thinking

Point-Set Topology 1. TOPOLOGICAL SPACES AND CONTINUOUS FUNCTIONS

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

Cardinality Lectures

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

Quadratic Equations over Matrices over the Quaternions. By Diana Oliff Mentor: Professor Robert Wilson

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

Lecture 1. 1 Notation

1KOd17RMoURxjn2 CSE 20 DISCRETE MATH Fall

Math 5801 General Topology and Knot Theory

Section 1.7 Sequences, Summations Cardinality of Infinite Sets

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.

Topology Homework 3. Section Section 3.3. Samuel Otten

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

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

Counting. Andreas Klappenecker

Section 2.4 Sequences and Summations

CSE 215: Foundations of Computer Science Recitation Exercises Set #4 Stony Brook University. Name: ID#: Section #: Score: / 4

MAT 243 Test 2 SOLUTIONS, FORM A

9.5 Equivalence Relations

MC 302 GRAPH THEORY 10/1/13 Solutions to HW #2 50 points + 6 XC points

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

SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION

Calculation of extended gcd by normalization

Introduction to Sets and Logic (MATH 1190)

Comparing sizes of sets

CS 341 Homework 1 Basic Techniques

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

Framework for Design of Dynamic Programming Algorithms

Recursion and Structural Induction

ECE G205 Fundamentals of Computer Engineering Fall Exercises in Preparation to the Midterm

Ramsey s Theorem on Graphs

CSE 20 DISCRETE MATH. Fall

CSE 20 DISCRETE MATH. Winter

EDAA40 At home exercises 1

CHAPTER 7. Copyright Cengage Learning. All rights reserved.

Modular Arithmetic. is just the set of remainders we can get when we divide integers by n

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

2 The Fractional Chromatic Gap

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

Propositional Logic Formal Syntax and Semantics. Computability and Logic

Limits at Infinity. as x, f (x)?

Discrete Mathematics 2 Exam File Spring 2012

DISCRETE MATHEMATICS

Separating Homeomorphisms

,!7IA3C1-cjfcei!:t;K;k;K;k ISBN Graphing Calculator Reference Card. Addison-Wesley s. Basics. Created in conjuction with

correlated to the Michigan High School Mathematics Content Expectations

Solution for Homework set 3

2 A topological interlude

We can create PDAs with multiple stacks. At each step we look at the current state, the current input symbol, and the top of each stack.

Math Circle Beginners Group October 18, 2015 Solutions

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

4 Generating functions in two variables

Answers to specimen paper questions. Most of the answers below go into rather more detail than is really needed. Please let me know of any mistakes.

ELEMENTARY NUMBER THEORY AND METHODS OF PROOF

1.1 calculator viewing window find roots in your calculator 1.2 functions find domain and range (from a graph) may need to review interval notation

43rd International Mathematical Olympiad

Outline. Language Hierarchy

Announcements. Problem Set 3 due Friday, October 21. Alternate Midterm Times. Drop by office hours! Ask questions at

MATH 1A MIDTERM 1 (8 AM VERSION) SOLUTION. (Last edited October 18, 2013 at 5:06pm.) lim

Lecture 6: Arithmetic and Threshold Circuits

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

2010 SMT Power Round

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

AXIOMS FOR THE INTEGERS

T. Background material: Topology

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

Treewidth and graph minors

Math 221 Final Exam Review

(a) (4 pts) Prove that if a and b are rational, then ab is rational. Since a and b are rational they can be written as the ratio of integers a 1

Foundations of Dataflow Analysis

Interval-Vector Polytopes

CS1800 Discrete Structures Fall 2017 October 25, CS1800 Discrete Structures Midterm Version B

CS103 Spring 2018 Mathematical Vocabulary

More Ways to Solve & Graph Quadratics The Square Root Property If x 2 = a and a R, then x = ± a

MATH 54 - LECTURE 4 DAN CRYTSER

CHENNAI MATHEMATICAL INSTITUTE M.Sc. / Ph.D. Programme in Computer Science

Transcription:

HW 1 CMSC 452. Morally DUE Feb 7 NOTE- THIS HW IS THREE PAGES LONG!!! SOLUTIONS THROUGOUT THIS HW YOU CAN ASSUME: The union of a finite number of countable sets is countable. The union of a countable number of finite sets is countable (not quite true if they are all the same set, but avoid that case). The union of a countable number of COUNTABLE sets if countable. The cross product of a finite number of countable sets is countable. The following sets are countable: N, Z, Q. The following sets are uncountable: (0, 1), R. 1. (0 points) READ UP ON COUNTABILITY ON THE WEB. READ MY NOTES ON THE HARD HIERARCHY- WHICH WILL BE AVAIL- ABLE LATER. What is your name? Write it clearly. Staple your HW. When is the midterm? Where is the midterm? When is the Final? IMPORTANT- I WANT TO MAKE SURE I HAVE YOUR CORRECT EMAIL ADDRESSES. I HAVE EMAILED ALL OF YOU USING WHAT I CURRENTLY THINK IS YOUR EMAIL ADDRESS BUT IF YOU DIDN T GET IT THEN EMAIL ME ASAP TO GIVE ME YOUR REAL EMAIL ADDRESS. 1

2. (40 points) For each of the following sets say if its is Empty Finite but not empty Countable (this implies NOT finite) Uncountable And EXPLAIN your answer. NOTE: Throughout this HW N = {1, 2, 3,...} it does NOT include 0. (a) The set of all functions from N to {0, 1, 2} (b) The set of all functions from N to {0, 1} (c) The set of all functions from N to {0} (d) The set of all functions from N to (e) The set of a function from N to N that are INCREASING (so x < y implies f(x) f(y)). (f) The set of a function from N to N that are strictly INCREASING (so x < y implies f(x) < f(y)). (g) The set of a function from N to N that are DECREASING (so x < y implies f(x) f(y)). (h) The set of a function from N to N that are strictly DECREASING (so x < y implies f(x) > f(y)). SOLUTION TO PROBLEM 2 (a) The set of all functions from N to {0, 1, 2} ANSWER: UNCOUNTABLE. Assume Countable. Then there is a listing f 1, f 2,.... Let F (x) = f x (x) + 1 (mod 3) Clearly F maps N to {0, 1, 2}. By the usual arguments F is NOT on the list. 2

(b) The set of all functions from N to {0, 1} ANSWER: UNCOUNTABLE. Assume Countable. Then there is a listing f 1, f 2,.... Let F (x) = f x (x) + 1 (mod 2) Clearly F maps N to {0, 1}. By the usual arguments F is NOT on the list. (c) The set of all functions from N to {0} ANSWER: FINITE but NOT EMPTY. The ONLY such function is the constant function f(x) = 0. (d) The set of all functions from N to ANSWER: EMPTY. There are no such functions. map (say) 1 anywhere. You can t (e) The set of a function from N to N that are INCREASING (so x < y implies f(x) f(y)). ANSWER: UNCOUNTABLE Assume Countable. Then there is a listing f 1, f 2,.... Let F (1) = f 1 (1) + 1 ( n 2)[F (n) = F (n 1) + f n (n) + 1] Clearly F is increasing. In fact, its increasing so we can use the same argument in the next question. Note that F (n) f n (n), so by the usual arguments F is not no the list. (f) The set of a function from N to N that are strictly INCREASING (so x < y implies f(x) < f(y)). ANSWER: UNCOUNTABLE, Same proof as the last question. (g) The set of a function from N to N that are DECREASING (so x < y implies f(x) f(y)). ANSWER: COUNTABLE We first show that the set is infinite: For each i the function f(n) = i is in the set. We now show that the set is the countable union of countable sets. 3

Note that: f(1) f(2) f(3) We also know that all of the f(n) s are 1. Hence the f(i) are eventually constant. Formally ( n 0, i)( n n 0 )[f(n) = i] We show the set is countable by showing it is a countable union of countable sets. Fix n 0, i. Let F UN n0,i be the set of decreasing functions f such that ( n n 0 )[f(n) = i]. We show this set is countable. Map each f F UN n0,i to the ordered (i 1)-tuple (f(1), f(2),..., f(i 1)) This map is clearly a bijection. The co-domain is the set of all i-tuples of natural numbers that are decreasing and have all elements i. We leave it to the reader to show that this set is countable. (h) The set of a function from N to N that are strictly DECREASING (so x < y implies f(x) > f(y)). ANSWER: EMPTY. There are no such functions. Lets say f is in this set and f(1) = a. Then f(2) a 1 f(3) a 2. f(a) a (a 1) = 1 f(a + 1) 0 f(a + 2) 1 So f takes on negative values. But f is supposed to be from N to N. 4

3. (30 points) Let the BILL i numbers be defined as follows: BILL 0 = Q (the rationals) BILL i+1 is the union of the following three sets: BILL i {x + y : x, y BILL i } {x y : x, y BILL i }. Let BILL = i=0 BILL i. (a) Is BILL countable or uncountable? Proof your result. (b) Let BILL[x] be the set of polynomials with coefficients in BILL. Let BILLBILL be the set of all roots of equations in BILL[x]. Is BILLBILL countable or uncountable? Proof your result. SOLUTION TO PROBLEM 3 3a) Countable. We show (formarlly by induction) that each BILL i is countable. Base Case: BILL 0 = Q so that is countable. Induction Hypothesis (IH): BILL i is countable. BILL i+1 is the union of three sets. We show that each one is countable. This is countable by the IH. A 1 = BILL i : A 2 = {x + y : x, y BILL i } Since BILL i is countable, BILL i BILL i is countable. List out this set of ordered pairs (x 1, y 1 ), (x 2, y 2 ),... Then list out, though eliminate repeats: 5

and you have a listing of A 1. x 1 + y 1, x 2 + y 2,... Similar to A 2. A 3 = {x y : x, y BILL i } 3b) Countable. View a poly of degree d in BILL[x] as an element of BILL d+1. For example: is viewed as ( 7, 3, 7). ( 7)x 2 3x + 7 Since BILL d are all countable, the set d=2 BILLd is countable, BILL[x] is countable. List out all polys in BILL[x]: WE ARE NOT DONE!! p 1, p 2, p 3,... List out, for each p i, all of its roots, and eliminate duplicates. This gives you a listing of all roots of polys in BILL[x]. 4. (30 points) Show that 7 1/3 does not satisfy any quadratic equation over the integers using the method shown in class. SOLUTION TO PROBLEM 4 Assume, by way of contradiction, that there exists a 2, a 1, a 0 Z such that a 2 7 7/3 + a 1 7 1/3 + a 0 1 = 0 such that We can assume that the gcd of a 2, a 1, a 0 is 1 since otherwise we could divide it out. In particular 7 does not divide all three of a 2, a 1, a 0. Multiply the equation by 1, 7 1/3, 7 7/3 to get a 2 7 7/3 + a 1 7 1/3 + a 0 1 = 0 6

a 1 7 7/3 + a 0 7 1/3 + 7a 2 1 = 0 a 0 7 7/3 + 7a 2 7 1/3 + 7a 1 1 = 0 We rewrite this as a matrix times a vector equals the 0 vector: a 2 a 1 a 0 7 7/3 0 A = a 1 a 0 7a 2 7 1/3 = 0 a 0 7a 2 7a 1 1 0 Since A times a non-zero vector gives 0, A must have det 0. Hence A (mod 7) must have det 0: a 2 a 1 a 0 A (mod 7) = a 1 a 0 0 a 0 0 0 If we expand this matrix on the last row we get that the det is a 3 0. Hence a 3 0 0 (mod 7), so a 0 0 (mod 7). Let a 0 = 7. Now a 2 a 1 7 A = a 1 7 7a 2 7 7a 2 7a 1 Since A has det 0, so does A with the last col divided by 7. Hence the following matrix, B, had det 0: a 2 a 1 B = a 1 7 a 2 7 7a 2 a 1 Since B has det 0, so does B (mod 7). a 2 a 1 B (mod 7) = a 1 0 a 2 0 0 a 1 Expanding on the last row we get that the det of B (mod 7) is a 3 1. If a 3 1 0 (mod 7) then a 1 0 (mod 7). Let a 1 = 7b 1. Hence 7

a 2 7b 1 B = 7b 1 7 a 2 7 7a 2 7b 1 Since B has det 0, so does C which we obtain by dividing every elt of the middle col by 7: a 2 b 1 C = 7b 1 a 2 7 a 2 7b 1 Since C has det 0, so does C (mod 7) which is: a 2 b 1 C (mod 7) = 0 a 2 0 a 2 0 The det of this by expandion on bottom row is a 3 2. Since a 3 2 0 (mod 7), a 2 0 (mod 7). So we have a 0, a 1, a 2 are all divisible by 7. This contradicts a 0, a 1, a 2 being in lowest terms. 8