In case (1) 1 = 0. Then using and from Friday,

Similar documents
In case (1) 1 = 0. Then using and from the previous lecture,

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

Axioms for the Real Number System

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

µ (X) := inf l(i k ) where X k=1 I k, I k an open interval Notice that is a map from subsets of R to non-negative number together with infinity

CHAPTER 8: EXPLORING 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.

n n P} is a bounded subset Proof. Let A be a nonempty subset of Z, bounded above. Define the set

Math 242: Principles of Analysis Fall 2016 Homework 1 Part B solutions

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

Divisibility = 16, = 9, = 2, = 5. (Negative!)

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

Structure of R. Chapter Algebraic and Order Properties of R

Math 10850, fall 2017, University of Notre Dame

Lecture 6: Finite Fields

Well-Ordering Principle. Axiom: Every nonempty subset of Z + has a least element. That is, if S Z + and S, then S has a smallest element.

Complete Induction and the Well- Ordering Principle

WORKSHEET MATH 215, FALL 15, WHYTE. We begin our course with the natural numbers:

Induction 1 = 1(1+1) = 2(2+1) = 3(3+1) 2

Math 104: Homework 1 solutions

Lecture 4: Constructing the Integers, Rationals and Reals

Exercise 2. Prove that [ 1, 1] is the set of all the limit points of ( 1, 1] = {x R : 1 <

Solutions for Homework Assignment 2

Chapter 5: The Integers

Math 414, Fall 2016, Test I

MATH 2400: PRACTICE PROBLEMS FOR EXAM 1

Math 300 Introduction to Mathematical Reasoning Autumn 2017 Axioms for the Real Numbers

Seunghee Ye Ma 8: Week 2 Oct 6

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

Math 421, Homework #6 Solutions. (1) Let E R n Show that = (E c ) o, i.e. the complement of the closure is the interior of the complement.

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

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.

Scalar multiplication and addition of sequences 9

1 Take-home exam and final exam study guide

Math 410 Homework 6 Due Monday, October 26

Proof by Contradiction

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

MATH 301 INTRO TO ANALYSIS FALL 2016

California: Algebra 1

The Real Number System

0.Axioms for the Integers 1

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

Definition 2.1. A metric (or distance function) defined on a non-empty set X is a function d: X X R that satisfies: For all x, y, and z in X :

Groups. s t or s t or even st rather than f(s,t).

Supremum and Infimum

MAT115A-21 COMPLETE LECTURE NOTES

Lecture 3. Theorem 1: D 6

Introduction to Mathematical Programming IE406. Lecture 3. Dr. Ted Ralphs

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

Math 4310 Solutions to homework 1 Due 9/1/16

Basics of Proofs. 1 The Basics. 2 Proof Strategies. 2.1 Understand What s Going On

a = qb + r where 0 r < b. Proof. We first prove this result under the additional assumption that b > 0 is a natural number. Let

Contradiction MATH Contradiction. Benjamin V.C. Collins, James A. Swenson MATH 2730

Distance in the Plane

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

Math 421, Homework #7 Solutions. We can then us the triangle inequality to find for k N that (x k + y k ) (L + M) = (x k L) + (y k M) x k L + y k M

Lecture 8: A Crash Course in Linear Algebra

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof

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

MATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals

2. Introduction to commutative rings (continued)

Mathematics 96 (3581) CA 6: Property Identification Mt. San Jacinto College Menifee Valley Campus Spring 2013

Bob Brown, CCBC Essex Math 163 College Algebra, Chapter 1 Section 7 COMPLETED 1 Linear, Compound, and Absolute Value Inequalities

M17 MAT25-21 HOMEWORK 6

Mathematical Reasoning & Proofs

SOME TRANSFINITE INDUCTION DEDUCTIONS

MATH 131A: REAL ANALYSIS

Lecture 2. Econ August 11

Proofs. 29th January 2014

Math Lecture 3 Notes

Math From Scratch Lesson 24: The Rational Numbers

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

1.2 Functions What is a Function? 1.2. FUNCTIONS 11

Tutorial on Axiomatic Set Theory. Javier R. Movellan

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.

S15 MA 274: Exam 3 Study Questions

Cardinality and ordinal numbers

Math 328 Course Notes

Lecture 2: Change of Basis

Quiz 1, Mon CS 2050, Intro Discrete Math for Computer Science

PEANO AXIOMS FOR THE NATURAL NUMBERS AND PROOFS BY INDUCTION. The Peano axioms

Lecture 16 : Definitions, theorems, proofs. MTH299 Transition to Formal Mathematics Michigan State University 1 / 8

Math 118: Advanced Number Theory. Samit Dasgupta and Gary Kirby

CMSC 27130: Honors Discrete Mathematics

MIDTERM REVIEW FOR MATH The limit

Outline. We will now investigate the structure of this important set.

Peano Axioms. 1. IfS x S y then x y (we say that S is one to one).

Mathematical Induction

NOTES (1) FOR MATH 375, FALL 2012

Essential Background for Real Analysis I (MATH 5210)

Section 3.1: Definition and Examples (Vector Spaces), Completed

Exercises 1 - Solutions

Research Methods in Mathematics Homework 4 solutions

Basic Proof Examples

Math 31 Lesson Plan. Day 5: Intro to Groups. Elizabeth Gillaspy. September 28, 2011

Ron Paul Curriculum Mathematics 8 Lesson List

Climbing an Infinite Ladder

11.1 Vectors in the plane

n(n + 1). 2 . If n = 3, then 1+2+3=6= 3(3+1) . If n = 2, then = 3 = 2(2+1)

Transcription:

Math 316, Intro to Analysis The order of the real numbers. The field axioms are not enough to give R, as an extra credit problem will show. Definition 1. An ordered field F is a field together with a nonempty subset P F (called the set of positive elements) such that (1) P is Closed under addition: For all a, b P (2) P is Closed under multiplication: For all a, b P (3) The Trichotomy law: For all x F exactly one of the following holds: (a) (b) (c) Proposition 2 (1 is positive.). Let F be an ordered field and 1 be the multiplicative identity, then 1 P Proof. Suppose for the sake of contradiction that 1 / P. According to the trichotomy law then either (1) 1 = 0 or (2) 1 P. Since P, we let p P. In case (1) 1 = 0. Then using and from Friday, p = 1 p = =, contradicting the trichotomy law because. In case (2) 1 P. Then using from Friday, p = p, Since 1 P we see by closure under multiplication that contradicting the trichotomy law because. The additive and order properties of R can be summarized as: Axiom (2). R is an ordered field. This doesn t look like an ordering does it? involving the symbol <. You might have been expecting something Definition 3. Let F be an ordered field and P be its set of positive elements. If a, b F then we say that a < b if, a > b if a b if, and a b if 1

2 Let s begin by proving some properties which inequality should have. Theorem 4 (Properties of <). Let F be an ordered field and a, b, c F. Then (1) (Additivity) If a < b then a + c b + c. (Fill in the blank) (2) (Transitivity) If a < b and b < c then a c. (Fill in the blank) (3) (Multiplicativity) If a < b and 0 < c then a c b c. (Fill in the blank) (4) (Multiplicativity II) If a < b and c < 0 then a c b c. (Fill in the blank) (5) If a 0 then a 2 := a a 0 Together we will prove (1) and (5) Proof. Start by writing down the assumption (at the top) and the conclusion (at the bottom). Then do some magic to get from the start to the end. We ll start with the proof of the first claim: That for all a, b, c F if a < b then a + c b + c. Consider any a, b, c F. Assume that. This means that. Thus,. From this it follows that. This completes the proof of the first result. Now we will prove the fifth claim. Consider any a F. Assume a 0. According to the trichotomy law, since a 0, either (1) or (2). In case (1) by closure under multiplication, it follows that, and we are done. In case (2) by closure under multiplication, it follows that additive inverse it follows that. ( Which property? Name it which means that. By properties of ) Thus, in either case. This completes the proof.

Our next goal is a discussion of the action of raising real numbers (or any element of an ordered field) to a natural number. Definition 5. Let F be a field. For any x F and any natural number n N we define x n recursively by x 1 = x and x n = x x n 1 if n > 1. How should order behave under exponentiation? Theorem 6. Let F be an ordered field (1) Let x F and n be a natural number. If x > 1 then 1 x n (2) Let x F and n be natural number. If 0 < x < 1 then 1 x n (3) Let x = 1 and n be a natural number. Then 1 x n In order to prove this we will need to recall the proof technique called mathematical induction. Proof technique. Let P (n) be a statement which makes sense for every natural number n N. (For example P (n) might be n is even. ) If you can prove that (Base Case) P (1) is true and (Inductive step) For all n N P (n) implies P (n + 1) then you have proven that P (n) is true for all n. Let s prove claims (3) and (1) of Theorem 6: Proof of claim 3. Let F be a field and x = 1. Base Case We must show that x 1 1. 3 Inductive step Consider any n N. Assume that x n 1. We must show that x n+1 1. Thus, by the principle of mathematics induction, If x = 1 then x n+1 1 for all n N. That was the easy step, though. Now let s see how well the proof generalizes to the first claim Proof of claim 1. Let F be an ordered field and x > 1. Base Case We must show that x 1 1.

4 Inductive step Consider any n N. Assume that x n 1. We must show that x n+1 1. Thus, by the principle of mathematics induction, If x > 1 then x n+1 1 for all n N. Absolute value. Continuing from last time, let F be an ordered field. The following function should be familiar. Definition 7 (Absolute Value). The absolute value function on the ordered field F, is defined by if x 0 x = if x < 0 Let s begin by proving some basic (and hopefully familiar) properties of the absolute value. Theorem 8. Let F be an ordered field. let a, b F. Then (1) a 0 (2) a a (3) a a a (4) ab a b (5) If b 0 (b 1 ) ( b ) 1 (6) a b if and only if b a b. (7) The Triangle inequality. a + b a + b (8) a b a b The Triangle inequality is by far the most important (and hardest to prove) of these. We ll talk though the proof of (3) and (6) because we ll need them in the proof of the triangle inequality (7). Proof of claim 3. Let F be an ordered field. Let a F. There are two cases: (1) a 0 or (2) a < 0. In case (1) a =, so that the claimed inequality amounts to proving the inequalities and. One of these is a truism since a = a. To see the second notice that since a 0, a a a, completing the proof in case (1). In case (2) a = 0. By the transitivity law, then, so that the claimed inequality amounts to proving the inequalities and. One of these is a truism since

a = a. To see the second notice that since a 0, a a a, completing the proof in case (1). 0. By the transitivity law, then Proof of claim 6. Let F be an ordered field and consider any a, b F. ( ) Assume that a b. We must show that b < a and a < b. Since a 0 and b a we have that b 0. Again we will make a case-wise attack. Either (1) a 0 or (2) a < 0. In case 1, a = so that the assumption a b becomes, which proves one of the needed inequalities. By the trichotomy law, a 0. Since b 0, it follows that b 0 a and by transitivity completing the proof in this case. In case 1, a = so that the assumption a b becomes. 5 Multiplying both sides by 1 and using Theorem 4, claim (4) we see. This proves one of the desired inequlities. Since b 0, it follows that b 0 a and by transitivity completing the proof in this case. Thus, if a b then b a b. Suppose now that b a and a b. We must show that a < b. Again we make a case-by-case proof. Either (1) a 0 or (2) a < 0. In the first case a = and the inequality to be proven become which is precisely the (first or second?) of the assumed inequalities. In the second case a = and the inequality to be proven become which is precisely the (first or second?) of the assumed inequalities. Proof of the triangle inequality. Let F be an ordered field and a, b F. We wish to show that a + b a + b. According to claim (6) this is equivalent to proving that or by factoring out the negative sign that Now using claim (3) a a a and b b b. Adding these inequalities together and using the additivity property of Theorem 4 we see that, which we have already seen to be equivalent to the claimed inequality.