In 1854, Karl Weierstrauss gave an example of a continuous function which was nowhere di erentiable: cos(3 n x) 2 n. sin(3 n x), 2

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

Solutions to Homework Set 1

Basic Proof Examples

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

CSE 20 DISCRETE MATH WINTER

CSE 20 DISCRETE MATH SPRING

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

CSE 20 DISCRETE MATH. Winter

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.

Discrete Mathematics. Spring 2017

MATH 215 Final. M4. For all a, b in Z, a b = b a.

Sec$on Summary. Mathematical Proofs Forms of Theorems Trivial & Vacuous Proofs Direct Proofs Indirect Proofs

Proofs. Joe Patten August 10, 2018

Mathematics 220 Homework 4 - Solutions. Solution: We must prove the two statements: (1) if A = B, then A B = A B, and (2) if A B = A B, then A = B.

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

MATH 2400: PRACTICE PROBLEMS FOR EXAM 1

Chapter 1 : The language of mathematics.

Climbing an Infinite Ladder

Proofs of Mathema-cal Statements. A proof is a valid argument that establishes the truth of a statement.

Proofs. Chapter 2 P P Q Q

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

MTH 309 Supplemental Lecture Notes Based on Robert Messer, Linear Algebra Gateway to Mathematics

Propositional Logic, Predicates, and Equivalence

Climbing an Infinite Ladder

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

Mathematics Review for Business PhD Students

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

RED. Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

CSE 20 DISCRETE MATH WINTER

Math 210 Exam 2 - Practice Problems. 1. For each of the following, determine whether the statement is True or False.

(4) Using results you have studied, show that if x, y are real numbers,

CSC Discrete Math I, Spring Propositional Logic

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Structure of R. Chapter Algebraic and Order Properties of R

Chapter 3: Propositional Calculus: Deductive Systems. September 19, 2008

Review (11.1) 1. A sequence is an infinite list of numbers {a n } n=1 = a 1, a 2, a 3, The sequence is said to converge if lim

Midterm 2 Sample Introduction to Higher Math Fall 2018 Instructor: Linh Truong

Carmen s Core Concepts (Math 135)

1. Mathematical Proofs

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.

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

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 10850, fall 2017, University of Notre Dame

Proofs. Chapter 2 P P Q Q

Section 7.5: Cardinality

MATH10040: Numbers and Functions Homework 1: Solutions

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

MIDTERM REVIEW FOR MATH The limit

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

Discrete Mathematics. Spring 2017

Math Real Analysis

MATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X.

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS MATH 122: Logic and Foundations

MATH 271 Summer 2016 Practice problem solutions Week 1

Proof Terminology. Technique #1: Direct Proof. Learning objectives. Proof Techniques (Rosen, Sections ) Direct Proof:

447 HOMEWORK SET 1 IAN FRANCIS

9/5/17. Fermat s last theorem. CS 220: Discrete Structures and their Applications. Proofs sections in zybooks. Proofs.

COT 2104 Homework Assignment 1 (Answers)

1 Homework. Recommended Reading:

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

Math 3000 Section 003 Intro to Abstract Math Homework 6

2-4: The Use of Quantifiers

Continuity. Chapter 4

CSCE 222 Discrete Structures for Computing. Review for Exam 1. Dr. Hyunyoung Lee !!!

CSE 20. Final Review. CSE 20: Final Review

Problem 1: Suppose A, B, C and D are finite sets such that A B = C D and C = D. Prove or disprove: A = B.

Midterm Preparation Problems

MAT246H1S - Concepts In Abstract Mathematics. Solutions to Term Test 1 - February 1, 2018

A Semester Course in Basic Abstract Algebra

Math 104: Homework 1 solutions

Contribution of Problems

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

Theorem. For every positive integer n, the sum of the positive integers from 1 to n is n(n+1)

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.

1. Propositions: Contrapositives and Converses

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 2 Section 2.1: Proofs Proof Techniques. CS 130 Discrete Structures

Complete Induction and the Well- Ordering Principle

Mathematics Review for Business PhD Students Lecture Notes

MATH 13 SAMPLE FINAL EXAM SOLUTIONS

Logic, Sets, and Proofs

Carmen s Core Concepts (Math 135)

Mathematical Reasoning (Part I) 1

Geometry - Chapter 2 Corrective 1

586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws

Definitions & Theorems

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

Mathematical Induction. Section 5.1

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics. Introductory Notes in Discrete Mathematics Solution Guide

Math 109 September 1, 2016

1 The Well Ordering Principle, Induction, and Equivalence Relations

Course 212: Academic Year Section 1: Metric Spaces

Numbers, sets, and functions

Math 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 7 Solutions Please write neatly, and in complete sentences when possible.

Basic properties of the Integers

Review 1. Andreas Klappenecker

STRATEGIES OF PROBLEM SOLVING

Transcription:

Why non-pictured analysis? CHAPTER 1 Preliminaries f is continuous at x if lim f(x + h) = f(x) h!0 and f(x + h) f(x) f is di erentiable at x if lim h!0 h Then but Di erentiability =) continuity, continuity 6=) di erentiability. exists. In 1854, Karl Weierstrauss gave an example of a continuous function which was nowhere di erentiable: F (x) = 1X n=0 cos(3 n x) 2 n. Then term by term di erentiation gives 1X 3 n sin(3 n x), 2 n=0 which diverges when x is not a multiple of. 1

2 1. PRELIMINARIES 1.1. Sets and Functions (Knowledge of this material is assumed.) Notation. N = {1, 2, 3,... }, the natural numbers. Z = {0, 1, 1, 2, 2,... }, the integers. Q = { m : m, n 2 Z, n 6= 0}, the rational numbers. n R, the real numbers. A\B the complement of B relative to A (other books may use A B or B 0 if A is understood) D(f) domain of f R(f) range of f Let f : A! B be a function with domain A and R(f) B: 1) If E A, f(e) = {f(x) : x 2 E} is the direct image of E under f. 2) If H B, f 1 (H) = {x 2 A : f(x) 2 H} is the preimage of H under f. For two sets A and B, A = B () A B and B A. Notation. p =) q means statement p implies statement q (if p, then q). p () q means p =) q and q =) p (p and q are equivalent statements).

1.2. MTHEMATICAL INDUCTION 3 1.2. Mthematical Induction Well-Ordering Property (WO) of N an axiom Every non-empty subset of N has a least element. () If S N and S 6= ;, {z} 9 m 2 S {z} 3 there exists such that Principle of Mathematical Induction (MI) - an axiom Let S N 3 (1) 1 2 S; (2) if k 2 S, then k + 1 2 S. Then S = N. Applied Version of MI Let n 0 2 N and P (n) be a statement 8n (1) P (n 0 ) is true; m apple k {z} 8 k 2 S. for every n 0, n 2 N. Suppose (2) 8k n 0, P (k) true (the induction hypothesis) =) P (k + 1) true. Then P (n) is true 8n n 0.

4 1. PRELIMINARIES Problem (Page 15 #8). Prove that 5 n 4n 1 is {z divisible by 16 } P (n) 8n 2 N. Proof. Let S N 3 5 n 4n 1 is divisible by 16. 1 2 S since 5 4 1 = 0 is divisible by 16. Suppose k 2 S, i.e. 5 k 4k 1 is divisible by 16 (induction Hypothesis). Then 5 k+1 4(k + 1) 1 = 5 k+1 4k 5 = (5 k+1 20k 5) + 16k = is divisible by 16, so k + 1 2 S. Thus, by math induction, S = N. 5 (5 k 4k 1) +16k {z } divisible by 16

1.2. MTHEMATICAL INDUCTION 5 Problem (Page 15 #10). Find and prove a formula for P (n) = 1 1 3 + 1 3 5 + + 1 (2n 1)(2n + 1). Solution. P (1) = 1 3, P (2) = 1 3 + 1 15 = 6 15 = 2 5, P (3) = 1 3 + 1 15 + 1 35 = 35 + 7 + 3 105 Conjecture: P (n) = n 2n + 1. Proof. Let S N 3 P (n) = = 45 105 = 3 7 n 2n + 1. 1 2 S since P (1) = 1 1 3 = 1 3 = 1 2 1 + 1. Suppose k 2 S, i.e., Then P (k) = 1 1 3 + 1 3 5 + + 1 (2k 1)(2k + 1) = k 2k + 1. P (k + 1) = 1 1 3 + 1 3 5 + + 1 = (2(k + 1) 1 (2(k + 1) + 1 1 1 3 + 1 3 5 + + 1 (2k 1)(2k + 1) + 1 (2k + 1)(2k + 3) = so k + 1 2 S. k 2k + 1 + 1 (2k + 1)(2k + 3) = 2k2 + 3k + 1 (2k + 1)(2k + 3) = (2k + 1)(k + 1) (2k + 1)(2k + 3) Thus, by math induction, S = N. = (k + 1) 2(k + 1) + 1,

6 1. PRELIMINARIES Problem (Page 15 #4). Prove 2 n < n! 8n 4, n 2 N. Proof. Let P (n) be (2 n < n!). P (4) is true since 2 4 = 16 < 24 = 4!. Suppose P (k) is true, i.e., 2 k < k!, k 4. Then 2 k+1 = 2 k 2 < k! 2 < k!(k + 1) = (k + 1)!, so P (k + 1) is true. Thus P (n) is true 8n 4, n 2 N. Homework Pages 15-16#3, 6, 13. Principal of Strong Induction (SI) - an axiom. Let S N 3 (1 ) 1 2 S, (2 ) if {1, 2,..., k} S, then k + 1 2 S. Then S = N.

1.2. MTHEMATICAL INDUCTION 7 A Bit of Logic (Appendix A) The implication or conditional: (P =) Q) (if P, then Q) (P implies Q) The implication is logically equivalent to its contrapositive: The converse of P =) Q is Q =) P. (not Q) =) (not P ) The double implication or biconditional: (P () Q) (P if and only if Q) (P i Q) P () Q is true when P and Q are either both true or both false. Proof by Contradiction: If C is a contradiction (a statement that is always false, e.g., 1=0), then are logically equivalent. P =) Q and P and (not Q) =) C

8 1. PRELIMINARIES Theorem (1). W O () MI () SI. Proof. (W O =) MI). Suppose S N 3 1 2 S and (k 2 S =) k + 1 2 S) [so we need to prove S = N], but S 6= N. Then N\S 6= ;, so by W O N\S contains a least element, say m. Since 1 2 S, m 6= 1, so m > 1 and m 1 2 N. Where is m 1? Since m m 1 2 S. 1 < m and m is the least element of N\S, Then (m 1)+1 = m 2 S, contradicting that m 2 N\S. Since our assumption that S 6= N led to this contradiction, S = N, proving MI.

(MI =) W O) Suppose ; 6= S N 1.2. MTHEMATICAL INDUCTION 9 [we need to prove S has a least element] and S does not have a least element. Let T be the set of natural numbers that every element of S is greater than or equal to. [We use induction to show T = N] 1 2 T, since if x 2 S, x 2 N, and so x 1. Suppose k 2 T (induction hypothesis). Then 8x 2 S, x k [so where is k + 1?], so k 62 S (since it would be a least element if it were in S). Thus, 8x 2 S, x > k =) x k + 1 =) k + 1 2 T. Then, by MI, T = N Since S 6= ;, 9n 2 S =) n 2 N =) n + 1 2 N = T. But then, since n 2 S and n + 1 2 T, n > n + 1, a contradiction. Since assuming S does not have a least lement led to this contradiction, S does have a least element and W O is proved.

10 1. PRELIMINARIES (MI =) SI) We are given that MI is true. Let S N 3 1 2 S and ({1, 2,..., k} S =) k + 1 2 S). [To show S = N by using MI.] Suppose k 2 S. Now 1 2 S =) {1} S =) 2 2 S =) {1, 2} S =) 3 2 S =) {1, 2, 3} S. Continuing, within a finite number of steps, we get {1, 2,..., k} S =) k 2 S =) k + 1 2 S (by MI). Thus, by MI, S = N as SI is proved. (SI =) MI) We are given that SI is true. Let S N 3 1 2 S and (k 2 S =) k + 1 2 S). [Tos show S = N by using SI.] Suppose {1, 2,..., k} 2 S. Then k 2 S =) k + 1 2 S. Thus S = N by SI, so MI is proved. As a result of this equivalence, once one of the three is taken as an axiom, the two others follow as Corollaries.