This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: Math 230 E Fall 2011 The Definition of a Limit Drew Armstrong In class we discussed the universal ( ∀ ) and the existential ( ∃ ) quantifier, as well as the following general principle: NOT ∀ x,P ( x ) = ∃ x, NOT P ( x ) . In words, this says that the opposite of the statement “for all x , the prop erty P ( x ) holds” is “there exists some x such that P ( x ) does not hold”. With this principle we can negate rather complicated expressions, such as ∀ x ∃ y P ( x )AND Q ( y ), by working from left to right: NOT( ∀ x, ∃ y, P ( x )AND Q ( y )) = ∃ x, NOT( ∃ y, P ( x )AND Q ( y )) = ∃ x, ∀ y, NOT( P ( x )AND Q ( y )) = ∃ x, ∀ y, (NOT P ( x ))OR(NOT Q ( y )) . Do such complicated expressions really occur “in nature”; that is to say, “in mathematics”? Yes! In fact, the whole subject of Calculus is based on the following (horrifying?) definition. Definition. Given a function f : R → R , we say that lim x → a f ( x ) = L if ∀ ε > , ∃ δ > , ∀...
View
Full
Document
This note was uploaded on 01/08/2012 for the course MATH 461 taught by Professor Armstrong during the Fall '11 term at University of Miami.
 Fall '11
 Armstrong
 Math, Limits

Click to edit the document details