mat 3749 introduction to analysis section 0.1 part i methods of proof i
TRANSCRIPT
![Page 1: MAT 3749 Introduction to Analysis Section 0.1 Part I Methods of Proof I](https://reader030.vdocuments.mx/reader030/viewer/2022032723/56649d1a5503460f949efb47/html5/thumbnails/1.jpg)
MAT 3749Introduction to Analysis
Section 0.1 Part I
Methods of Proof I
http://myhome.spu.edu/lauw
![Page 2: MAT 3749 Introduction to Analysis Section 0.1 Part I Methods of Proof I](https://reader030.vdocuments.mx/reader030/viewer/2022032723/56649d1a5503460f949efb47/html5/thumbnails/2.jpg)
I cannot see some of the symbols in HW!
Download the trial version of MATH TYPE equation edition from design science
http://www.dessci.com/en/products/mathtype/trial.asp
![Page 3: MAT 3749 Introduction to Analysis Section 0.1 Part I Methods of Proof I](https://reader030.vdocuments.mx/reader030/viewer/2022032723/56649d1a5503460f949efb47/html5/thumbnails/3.jpg)
Announcement
Major applications and OMH 202
![Page 4: MAT 3749 Introduction to Analysis Section 0.1 Part I Methods of Proof I](https://reader030.vdocuments.mx/reader030/viewer/2022032723/56649d1a5503460f949efb47/html5/thumbnails/4.jpg)
Preview of Reviews
Set up common notations. Direct Proof Counterexamples Indirect Proofs - Contrapositive
![Page 5: MAT 3749 Introduction to Analysis Section 0.1 Part I Methods of Proof I](https://reader030.vdocuments.mx/reader030/viewer/2022032723/56649d1a5503460f949efb47/html5/thumbnails/5.jpg)
Background: Common Symbols and Set Notations
Integers This is an example of a Set: a collection
of distinct unordered objects. Members of a set are called elements. 2,3 are elements of , we use the
notations
{ , 3, 2, 1,0,1,2,3, }
2 , 3
2,3
![Page 6: MAT 3749 Introduction to Analysis Section 0.1 Part I Methods of Proof I](https://reader030.vdocuments.mx/reader030/viewer/2022032723/56649d1a5503460f949efb47/html5/thumbnails/6.jpg)
Background: Common Symbols
Implication Example
If 2 then 3 5
2 3 5
x x
x x
![Page 7: MAT 3749 Introduction to Analysis Section 0.1 Part I Methods of Proof I](https://reader030.vdocuments.mx/reader030/viewer/2022032723/56649d1a5503460f949efb47/html5/thumbnails/7.jpg)
Goals
We will look at how to prove or disprove Theorems of the following type:
Direct Proofs Indirect proofs
If ( ), then ( ).statements statements
![Page 8: MAT 3749 Introduction to Analysis Section 0.1 Part I Methods of Proof I](https://reader030.vdocuments.mx/reader030/viewer/2022032723/56649d1a5503460f949efb47/html5/thumbnails/8.jpg)
Theorems
Example:
2 If is odd, then is also odd.m m
![Page 9: MAT 3749 Introduction to Analysis Section 0.1 Part I Methods of Proof I](https://reader030.vdocuments.mx/reader030/viewer/2022032723/56649d1a5503460f949efb47/html5/thumbnails/9.jpg)
Theorems
Example:
Underlying assumption:
2 If is odd, then is also odd.m m
Hypothesis Conclusion
m
![Page 10: MAT 3749 Introduction to Analysis Section 0.1 Part I Methods of Proof I](https://reader030.vdocuments.mx/reader030/viewer/2022032723/56649d1a5503460f949efb47/html5/thumbnails/10.jpg)
Example 12 If is odd, then is also odd.m m
Analysis Proof
![Page 11: MAT 3749 Introduction to Analysis Section 0.1 Part I Methods of Proof I](https://reader030.vdocuments.mx/reader030/viewer/2022032723/56649d1a5503460f949efb47/html5/thumbnails/11.jpg)
Note
Keep your analysis for your HW Do not type or submit the analysis
![Page 12: MAT 3749 Introduction to Analysis Section 0.1 Part I Methods of Proof I](https://reader030.vdocuments.mx/reader030/viewer/2022032723/56649d1a5503460f949efb47/html5/thumbnails/12.jpg)
Direct Proof2 If is odd, then is also odd.m m
Direct Proof of If-then Theorem• Restate the hypothesis of the result. • Restate the conclusion of the result.• Unravel the definitions, working forward from the beginning of the proof and backward from the end of the proof.• Figure out what you know and what you need. Try to forge a link between the two halves of your argument.
![Page 13: MAT 3749 Introduction to Analysis Section 0.1 Part I Methods of Proof I](https://reader030.vdocuments.mx/reader030/viewer/2022032723/56649d1a5503460f949efb47/html5/thumbnails/13.jpg)
Example 2
If is odd and is even, then is odd.m n m n
Analysis proof
![Page 14: MAT 3749 Introduction to Analysis Section 0.1 Part I Methods of Proof I](https://reader030.vdocuments.mx/reader030/viewer/2022032723/56649d1a5503460f949efb47/html5/thumbnails/14.jpg)
Counterexamples
To disprove
we simply need to find one number x in the domain of discourse that makes false.
Such a value of x is called a counterexample
x P x
P x
![Page 15: MAT 3749 Introduction to Analysis Section 0.1 Part I Methods of Proof I](https://reader030.vdocuments.mx/reader030/viewer/2022032723/56649d1a5503460f949efb47/html5/thumbnails/15.jpg)
Example 3
, 2 1 is primenn N
Analysis The statement is false
![Page 16: MAT 3749 Introduction to Analysis Section 0.1 Part I Methods of Proof I](https://reader030.vdocuments.mx/reader030/viewer/2022032723/56649d1a5503460f949efb47/html5/thumbnails/16.jpg)
Example 4 If 3 2 is odd, then is also odd.n n
![Page 17: MAT 3749 Introduction to Analysis Section 0.1 Part I Methods of Proof I](https://reader030.vdocuments.mx/reader030/viewer/2022032723/56649d1a5503460f949efb47/html5/thumbnails/17.jpg)
Indirect Proof: Contrapositive
To prove
we can prove the equivalent statement in contrapositive form:
or
If 3 2 is odd, then is also odd.n n
If is odd, then 3 2 is not no d.t odn n
If is , theven en 3 2 is en.evn n
![Page 18: MAT 3749 Introduction to Analysis Section 0.1 Part I Methods of Proof I](https://reader030.vdocuments.mx/reader030/viewer/2022032723/56649d1a5503460f949efb47/html5/thumbnails/18.jpg)
Rationale
Why? If 3 2 is odd, then is also odd.n n
If is odd, then 3 2 is not no d.t odn n
![Page 19: MAT 3749 Introduction to Analysis Section 0.1 Part I Methods of Proof I](https://reader030.vdocuments.mx/reader030/viewer/2022032723/56649d1a5503460f949efb47/html5/thumbnails/19.jpg)
Background: Negation
Statement: n is odd
Negation of the statement: n is not odd
Or: n is even
![Page 20: MAT 3749 Introduction to Analysis Section 0.1 Part I Methods of Proof I](https://reader030.vdocuments.mx/reader030/viewer/2022032723/56649d1a5503460f949efb47/html5/thumbnails/20.jpg)
Background: Negation
Notations
Note:
P: is odd
~P: is not odd
n
n
Some text use P
![Page 21: MAT 3749 Introduction to Analysis Section 0.1 Part I Methods of Proof I](https://reader030.vdocuments.mx/reader030/viewer/2022032723/56649d1a5503460f949efb47/html5/thumbnails/21.jpg)
Contrapositive
The contrapositive form of
is
If then P Q
If ~ then ~Q P
![Page 22: MAT 3749 Introduction to Analysis Section 0.1 Part I Methods of Proof I](https://reader030.vdocuments.mx/reader030/viewer/2022032723/56649d1a5503460f949efb47/html5/thumbnails/22.jpg)
Example 4
Analysis Proof: We prove the contrapositive:
If 3 2 is odd, then is also odd.n n
If is even, then 3 2 is even.n n
![Page 23: MAT 3749 Introduction to Analysis Section 0.1 Part I Methods of Proof I](https://reader030.vdocuments.mx/reader030/viewer/2022032723/56649d1a5503460f949efb47/html5/thumbnails/23.jpg)
Contrapositive
Analysis Proof by Contrapositive of If-then Theorem• Restate the statement in its equivalent contrapositive form.• Use direct proof on the contrapositive form.•State the origin statement as the conclusion.
If 3 2 is odd, then is also odd.n n
![Page 24: MAT 3749 Introduction to Analysis Section 0.1 Part I Methods of Proof I](https://reader030.vdocuments.mx/reader030/viewer/2022032723/56649d1a5503460f949efb47/html5/thumbnails/24.jpg)
Classwork
Very fun to do. Keep your voices down…you do not
want to spoil the fun for the other groups.