Proposition
Limit Points via Sequences
p ∈ ℝ is a limit point of E ⊆ ℝ iff
∃ sequence (pₙ) pₙ ∈ E\{p}: pₙ → p
Proof
(Limit Points via Sequences)
p ∈ ℝ is a limit point of E ⊆ ℝ iff
∃ sequence (pₙ) pₙ ∈ E\{p}: pₙ → p
2 points
Proposition
Limits via Sequences
If f: E → ℝ, p is a limit point of E, L ∈ ℝ then f(x) → L as x → p iff
For every sequence (pₙ) pₙ ∈ E\{p} pₙ → p
The sequence f(pₙ) → L as n → ∞.
Proof
(Limits via Sequences)
If f: E → ℝ, p is a limit point of E, L ∈ ℝ then f(x) → L as x → p iff
For every sequence (pₙ) pₙ ∈ E{p} pₙ → p
The sequence f(pₙ) → L as n → ∞.
3 points
Theorem
AOL for Functions
4 points
Let p ∈ ℝ be a limit point of E ⊆ ℝ
f: E → ℝ and g: E → ℝ are functions s.t. f(x) → a and g(x) → b as x → p
Then f(x) ± g(x) → a ± b
f(x)g(x) → ab
f(x)/g(x) → a/b if b ≠ 0
|f(x)| → |a|
as x → p
Proof
(AOL for Functions)
Let p ∈ ℝ be a limit point of E ⊆ ℝ
f: E → ℝ and g: E → ℝ are functions s.t. f(x) → a and g(x) → b as x → p
Then f(x) ± g(x) → a ± b
f(x)g(x) → ab
f(x)/g(x) → a/b if b ≠ 0
|f(x)| → |a|
as x → p
2 points
Theorem
Extended AOL
4 points
Let p ∈ ℝ be a limit point of E ⊆ ℝ
f: E → ℝ and g: E → ℝ are functions s.t. f(x) → a and g(x) → b as x → p
a and/or b = ±∞
Then f(x) ± g(x) → a ± b except for ∞ - ∞ or -∞ + ∞
f(x)g(x) → ab except for a = 0 or b = 0
f(x)/g(x) → a/b if b ≠ 0 except ∞/∞ or b = 0
|f(x)| → |a|
as x → p
Theorem
Limits Preserve Weak Inequalities
f(x) → a, g(x) → b as x → p
∀ x: f(x) ≤ g(x) ⇒ a ≤ b
Theorem
Sandwiching
f(x), g(x) → a as x → p
f(x) ≤ h(x) ≤ g(x) ⇒ h(x) → a as x → p
Theorem
Algebra of Continuous Functions
If f, g: E → ℝ, f, g continouous at p ∈ E
⇒ f(x) ± g(x), f(x)g(x), |f(x)| are continuous at p
f(x)/g(x) is continuous at x = p provided g(p) ≠ 0
Proof
(Algebra of Continuous Functions)
If f, g: E → ℝ, f, g continuous at p ∈ E
⇒ f(x) ± g(x), f(x)g(x), |f(x)| are continuous at p
f(x)/g(x) is continuous at x = p provided g(x) ≠ 0
2 points
Theorem
Continuous Functions Commute with Limits
If f: E → ℝ, g: E’ → ℝ, f(E) ⊆ E’
p ∈ ℝ is a limit point of E (or ±∞ E unbounded)
f(x) → L ∈ E’ as x → p, g continuous at L
Then lim[x→p] g(f(x)) = g(lim[x → p] f(x)) = g(L)
Proof
(Continuous Functions Commute with Limits)
If f: E → ℝ, g: E’ → ℝ, f(E) ⊆ E’
p ∈ ℝ is a limit point of E (or ±∞ E unbounded)
f(x) → l ∈ E’ as x → p, g continuous at l
Then lim[x→p] g(f(x)) = g(lim[x → p] f(x)) = g(l)
2 points
Theorem
Composition of Continuous Functions
f: E → ℝ, g: E’ → ℝ, f(E) ⊆ E’
If f(x) is continuous at p and g(x) is continuous at f(p)
Then g(f(x)) is continuous at p
Proof
(Composition of Continuous Functions)
f: E → ℝ, g: E’ → ℝ, f(E) ⊆ E’
If f(x) is continuous at p and g(x) is continuous at f(p)
Then g(f(x)) is continuous at p
2 points
Theorem
Boundedness Theorem
Suppose f: [a, b] → ℝ is continuous (a < b)
Then f is bounded on [a, b] and:
∃ x₁ ∈ [a, b]: f(x₁) = sup f
∃ x₂ ∈ [a, b]: f(x₂) = inf f
Proof
(Boundedness Theorem)
Suppose f: [a, b] → ℝ is continuous (a < b)
Then f is bounded on [a, b] and:
∃ x₁ ∈ [a, b]: f(x₁) = sup f
∃ x₂ ∈ [a, b]: f(x₂) = inf f
6 points
Theorem
Intermediate Value Theorem IVT
Assume f: [a, b] → ℝ is continuous and f(a) ≤ c ≤ f(b) [or f(a) ≥ c ≥ f(b)]
Then ∃ ξ ∈ [a, b]: f(ξ) = c
Proof
(Intermediate Value Theorem IVT)
Assume f: [a, b] → ℝ is continuous and f(a) ≤ c ≤ f(b) [or f(a) ≥ c ≥ f(b)]
Then ∃ ξ ∈ [a, b]: f(ξ) = c
2 points
Theorem
Continuous Inverse Function Theorem CIFT
If I is an interval, f: I → ℝ strictly monotonic, continuous
Then f(I) is an interval and f⁻¹: f(I) → I is also strictly monotonic and continuous
Proof
(Continuous Inverse Function Theorem CIFT)
If I is an interval, f: I → ℝ strictly monotonic, continuous
Then f(I) is an interval and f⁻¹: f(I) → I is also strictly monotonic and continuous
5 points
Proposition
Uniform Continuity via Sequences
f: E → ℝ is uniformly continuous
⇔ ∀ xₙ, yₙ ∈ E, |xₙ - yₙ| → 0: |f(xₙ) - f(yₙ)| → 0
Proof
(Uniform Continuity via Sequences)
f: E → ℝ is uniformly continuous
⇔ ∀ xₙ, yₙ ∈ E, |xₙ - yₙ| → 0: |f(xₙ) - f(yₙ)| → 0
4 points
Theorem
Continuity Implies Uniform Continuity on Closed Bounded Intervals
If f: [a, b] → ℝ is continuous then it is uniformly continuous