Homework 1 (revised) Solutions

Similar documents
Important Properties of R

MATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals

The Real Number System

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

HW 4 SOLUTIONS. , x + x x 1 ) 2

Due date: Monday, February 6, 2017.

Structure of R. Chapter Algebraic and Order Properties of R

Properties of the Integers

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.

2.2 Some Consequences of the Completeness Axiom

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

Homework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4

1. Supremum and Infimum Remark: In this sections, all the subsets of R are assumed to be nonempty.

M17 MAT25-21 HOMEWORK 6

Suppose R is an ordered ring with positive elements P.

A lower bound for X is an element z F such that

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

MATH FINAL EXAM REVIEW HINTS

4130 HOMEWORK 4. , a 2

Supremum and Infimum

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:

ALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers

Chapter 2. Mathematical Reasoning. 2.1 Mathematical Models

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

U e = E (U\E) e E e + U\E e. (1.6)

F (x) = P [X x[. DF1 F is nondecreasing. DF2 F is right-continuous

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

Sequences. Chapter 3. n + 1 3n + 2 sin n n. 3. lim (ln(n + 1) ln n) 1. lim. 2. lim. 4. lim (1 + n)1/n. Answers: 1. 1/3; 2. 0; 3. 0; 4. 1.

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

COM S 330 Homework 08 Solutions. Type your answers to the following questions and submit a PDF file to Blackboard. One page per problem.

Consequences of the Completeness Property

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

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

CHAPTER 8: EXPLORING R

Describing the Real Numbers

Homework 7 Solutions, Math 55

Chapter 1 The Real Numbers

Cardinality and ordinal numbers

DR.RUPNATHJI( DR.RUPAK NATH )

a. See the textbook for examples of proving logical equivalence using truth tables. b. There is a real number x for which f (x) < 0. (x 1) 2 > 0.

Maths 212: Homework Solutions

Mathematical Induction

Math 4606, Summer 2004: Inductive sets, N, the Peano Axioms, Recursive Sequences Page 1 of 10

Introduction to Real Analysis Alternative Chapter 1

Notes on ordinals and cardinals

1 The Well Ordering Principle, Induction, and Equivalence Relations

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

Sequences. Limits of Sequences. Definition. A real-valued sequence s is any function s : N R.

MATH 117 LECTURE NOTES

Analysis I. Classroom Notes. H.-D. Alber

Chapter 1. Sets and Numbers

Homework 4, 5, 6 Solutions. > 0, and so a n 0 = n + 1 n = ( n+1 n)( n+1+ n) 1 if n is odd 1/n if n is even diverges.

Section 2.5 : The Completeness Axiom in R

We are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero

Math 4317 : Real Analysis I Mid-Term Exam 1 25 September 2012

Real Analysis - Notes and After Notes Fall 2008

Show Your Work! Point values are in square brackets. There are 35 points possible. Some facts about sets are on the last page.

CS 173: Induction. Madhusudan Parthasarathy University of Illinois at Urbana-Champaign. February 7, 2016

HOMEWORK ASSIGNMENT 6

means is a subset of. So we say A B for sets A and B if x A we have x B holds. BY CONTRAST, a S means that a is a member of S.

Chapter 1. Sets and Mappings

Axioms for Set Theory

2. The Concept of Convergence: Ultrafilters and Nets

CHAPTER 7. Connectedness

Contribution of Problems

MORE ON CONTINUOUS FUNCTIONS AND SETS

Walker Ray Econ 204 Problem Set 3 Suggested Solutions August 6, 2015

Introductory Analysis I Fall 2014 Homework #5 Solutions

Sequences. We know that the functions can be defined on any subsets of R. As the set of positive integers

CSCI3390-Lecture 6: An Undecidable Problem

Advanced Calculus: MATH 410 Real Numbers Professor David Levermore 5 December 2010

Studying Rudin s Principles of Mathematical Analysis Through Questions. August 4, 2008

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory

A lower bound for X is an element z F such that

Climbing an Infinite Ladder

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

Standard forms for writing numbers

Number Theory and Graph Theory. Prime numbers and congruences.

Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products

We want to show P (n) is true for all integers

Continuity. Chapter 4

Solutions to Homework Set 1

Math 24 Spring 2012 Questions (mostly) from the Textbook

Assignment #2 COMP 3200 Spring 2012 Prof. Stucki

Theorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers

REAL AND COMPLEX ANALYSIS

Introduction to Real Analysis

3 The language of proof

ASSIGNMENT 1 SOLUTIONS

2. Prime and Maximal Ideals

One-to-one functions and onto functions

MA103 Introduction to Abstract Mathematics Second part, Analysis and Algebra

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

CHAPTER I THE RIESZ REPRESENTATION THEOREM

Chapter 5: The Integers

MATH202 Introduction to Analysis (2007 Fall and 2008 Spring) Tutorial Note #7

This exam contains 5 pages (including this cover page) and 4 questions. The total number of points is 100. Grade Table

Chapter 4. Measure Theory. 1. Measure Spaces

Equivalent Forms of the Axiom of Infinity

Transcription:

Homework 1 (revised) Solutions 1. Textbook, 1.1.1, # 1.1.2 (p. 24) Let S be an ordered set. Let A be a non-empty finite subset. Then A is bounded and sup A, inf A A Solution. The hint was: Use induction, so induction will be used. The first thing is to rephrase the exercise in such a way as to be able to apply induction; transform what has to be proved into a property that can be satisfied by an integer n. The way to rephrase it is as follows: Let A be a subset of n elements of the ordered set A, n N, n 1. Then A is bounded and inf A, sup A A. Since this is our first proof, I will be do a painfully detailed exposition. The proof is by induction on n, the number of elements of A. The case n = 1. In this case A = {a}, a singleton set. Claim a is an upper bound of A. In fact, let x A. Then x = a and a a. Thus a is an upper bound of A, hence A is bounded above. Similarly one sees that a is a lower bound of A, hence A is bounded below. Thus A is bounded. This may actually a good moment to interrupt the proceedings at hand and prove the result of Exercise 3 (1.1.5 in the textbook), namely that if an upper bound of a set is in the set, that upper bound is the supremum. In fact, it already has one property of the supremum, the property of being an upper bound. If now b is any upper bound, it is larger than the upper bound in the set, since the upper bound in the set is in the set! This is essentially the proof, but let us be really organized and state it as a lemma, and give a more detailed proof. Lemma Let A be a subset of an ordered set S. Assume b is an upper bound of A and b A. Then b = sup A. Proof. Since b is an upper bound of A, it already has one of the two properties of the supremum. To see it has the other one, i.e., that it is less than or equal all upper bounds of A, let c be an upper bound of A. Since b A we have b c. Done. We get back to the proof at hand. We were considering a singleton set A = {a} and saw that a is both an upper and lower bound of A. Thus, by the Lemma, a = sup A = inf A, proving everything in case n = 1. Assume now the result proved for all subsets of n elements of S, for some n 1. Let A be a subset of S of n + 1 elements; say A = {a 1,..., a n+1 }. Let A = {a 1,..., a n }, which is a set of n elements hence, by the induction hypothesis it is bounded and inf A, sup A A. Without loss of generality we may assume that inf A = a 1 and sup A = a n if n 2; if n = 1 then

2 inf A = sup A = a 1. In all cases a n = sup A. By trichotomy either a n < a n+1 or a n+1 < a n. (The case a n = a n=1 is excluded; otherwise A would have n, not n + 1 elements.) If a n < a n+1 then a i < a n+1 for i = 1,... n (since a n = sup A); moreover, a n+1 = a n+1 so a n+1 is an upper bound of A. Since a n+1 A, we conclude that a n+1 = sup A. On the other hand, if a n+1 < a n, then a i a n for all i = 1,..., n + 1; so a n is an upper bound of A, hence it is the sup of A, being in A. In either case sup A A (incidentally, the existence of a sup implies the set is bounded above). Similarly one proves that inf A A; with inf A being either a 1 or a n+1. This concludes the proof of the statement of the exercise. A different proof, probably better, not using induction, can be found below as part of Exercise 4. 2. Textbook, 1.1.1, # 1.1.4 (p. 25) Let S be an ordered set. Let B S be bounded (above and below). Let A B be a nonempty subset. Suppose all the infs and sups exist. Show that inf B inf A sup A sup B. Solution. Let us give a name to the objects. I ll use Greek letters. Let α = inf A, β = inf B, γ = sup A, δ = sup B. For the first inequality; which is β α, let x A. Then x B and since β is a lower bound of B we have β x. Since x was an arbitrary element of A, this shows that β is a lower bound of A, thus β α since α is the greatest lower bound of A. For the second inequality, α γ it is essential to assume A is not empty. Then we are authorized to say 1 : Let x A. Then α x since α is a lower bound of A and x γ, since γ is an upper bound of A. Thus, by transitivity, α γ. For the final inequality, namely, γ δ, we proceed similarly as we did for the first. Let x A (what happens if there is no x in A? Yes, we have the hypothesis A, but this is not necessary for this last inequality). Then x B, hence x δ = sup B. This shows δ is an upper bound of A, hence δ γ, γ being the least upper bound of A. 3. Textbook, 1.1.1, # 1.1.5 (p. 25) Let S be an ordered set. Let A S and suppose b is an upper bound for A. Suppose b A. Show that b = supa. Solution. This was proved as Lemma in the proof of Exercise 1. 1 Why was saying x A legal when we said it earlier in this solution?

3 4. Textbook, 1.1.1, # 1.1.6 (p. 25) Let S be an ordered set. Let A S be a nonempty subset that is bounded above. Suppose sup A exists and sup A / A. Show that A contains a countably infinite subset. In particular, A is infinite. Solution. This exercise is essentially the same as exercise 1; if one takes into consideration that every infinite set contains a countably infinite one. Proof by contradiction: Assume A is finite. By Exercise 1, sup A A, contradicting the hypothesis that sup A / A. However, a better approach to both exercises 1 and 4 is to do 4 first. Here is a direct proof of Exercise 4. The hypothesis is that sup A exists and sup A / A. Also A is assumed to be non-empty. Since it nonempty, there is a A. Now we will define a one-to-one function f : N A. We proceed by induction. The first step is to set f(1) = a. Assume now f defined for 1, 2..., n, for some n 1 in such a way that f(i) < f(j) if 1 i < j n. This has been done for n = 1. Since f(n) A and sup A / A, we must have f(n) < sup A. Thus f(n) is not an upper bound of A (being < than the least upper bound), hence there is an element in A that is larger than f(n), set f(n + 1) equal to such an element. In more detail, there is a A, f(n) < a ; set f(n + 1) = a. By induction, f is defined for all n N. It is clearly one-to-one; if n, m N and n < m, then the construction shows f(n) < f(m), thus f(n) f(m). It follows that the subset f(n) of A is equipotent to N, hence countably infinite. Having proved this, Exercise 1 is an immediate consequence; if A is finite we must have sup A A (otherwise A would be infinite). 5. Textbook, 1.1.1, # 1.1.7 (p. 25) Find a (nonstandard) ordering of the set of natural numbers N such that there exists a nonempty proper subset A N and such that sup A exists in N, but sup A / A. Hint: Define a new ordering of N by m n if either 1 < m < n or m > 1 and n = 1. That is, take 1 away from the beginning of N and place it at the very end. Solution. The simplest example is given by the hint. Define the order relation as in the hint. We have to verify: It is an order relation; i.e., transitivity and trichotomy. For transitivity let k, m, n N, assume k m, m n. We see that neither k nor m can be 1 since x 1 for all x N, x 1. If n = 1, then k 1 by definition. If n 1, then k m, m n becomes k < m, m < n, hence k < n, hence k n. For trichotomy, let m, n N. Assuming m n and m n, we have to prove n m. If m 1 n, then is the same as <, and the result follows from the usual trichotomy law.

4 We can t have n = 1; if n = 1 then either m = n = 1 or m n = 1. Thus n 1. If m = 1, then by definition n m. Trichotomy holds in all cases. We have to find a set A so sup A exists but is not in A. The perhaps simplest example is A = {2, 3, 4,...}. We claim sup A = 1. In fact, every integer is now less than or equal 1, so 1 is clearly an upper bound not only of A but to all subsets of N. Having proved it is an upper bound we must see it is the smallest such bound. If 1 is not the least upper bound of A, there is n N such that n is an upper bound of A, n 1 (so n 1). The definition of A shows it contains all integers from 2 onwards, hence with n it contains n + 1 and n n + 1, contradicting that n is an upper bound of A. We are done, since 1 / A.. 6. Textbook, 1.1.1, # 1.1.9 (p. 25) Let S be an ordered set and A is a nonempty subset such that sup A exists. Suppose there is a B A such that whenever x A there is a y B such that x < y. Show that sup B exists and sup B = sup A. Solution. two things. We have to show sup A is also sup B. This implies showing (a) sup A is an upper bound of B (b) If b is an upper bound of B then b sup A. Let s get to work! (a) Since B A any upper bound of A is an upper bound of B. In fact, if x b for all x A, assume x B. Then x A and x b. Thus, since sup A is an upper bound of A, it is also an upper bound of B. (b) To prove this, we assume b is an upper bound of B. We ll be done once we can write sup A b. If everything else fails, try contradiction, so to arrive at a contradiction let us assume the conclusion is false; that is, let us assume b < sup A. There is an immediate consequence of a number being less than the least upper bound: Then b is NOT an upper bound of A, hence there is x A, x > b. Now the hypothesis kicks in to say that there is y B such that y > x. But then y > b, contradicting that b is an upper bound of B. We are done. 7. Textbook, 1.1.1, # 1.1.10 (p. 25) Let D be the ordered set of all possible words (not just English words, all strings of letters of arbitrary length) using the Latin alphabet, using only lower case letters. The order is the lexicographic order as in a dictionary (e.g. aaa < dog < door). Let A be the subset of D containing the words whose first letter is a (e.g. a ϵa, abcd ϵa). Show that A has a supremum and find what it is.

5 Solution. Here are some considerations, preceding the proof. A is certainly bounded above; any word beginning with a letter other than a is an upper bound of A. One can also see, as we will in the actual proof, that any word beginning with a can be dominated by another word beginning with a. This suggests that the supremum of A must be the first word not beginning with a, namely b. The proof is quite immediate: In the first place, every word beginning with a precedes b. Thus b is an upper bound of A. On the other hand every word < b must begin with a. Since it only has a finite number of letters, we can always add another letter at the end (say z ) to form a word that is larger lexicographically than that word, so NO word preceding b can be an upper bound of A. It follows that sup A = b.