Theorem
Continuous Functions are Integrable
Let f: [a, b] → ℝ be a continuous function.
Then, f is integrable.
Proof
(Continuous Functions are Integrable)
Let f: [a, b] → ℝ be a continuous function.
Then, f is integrable.
4 points
Theorem
Bounded continuous functions are integrable
Let f: (a, b) → ℝ be a bounded continuous function.
Then, f is integrable.
Proof
(Bounded Continuous Functions are Integrable)
Let f: (a, b) → ℝ be a bounded continuous function.
Then, f is integrable.
4 points
Proof
Suppose that f: [a, b] → ℝ is continuous. Then there is some c ∈ [a, b] such that ∫ₐᵇ f = (b - a) f(c).
3 points
Proof
Suppose that f: [a, b] → ℝ is continuous, and that w: [a, b] → ℝ is a nonnegative integrable function. Then there is some c ∈ [a, b] such that ∫ₐᵇ f w = f(c) ∫ₐᵇ w.
3 points
Theorem
Monotone Functions are Integrable
Let f: [a, b] → ℝ be a monotone function.
Then, f is integrable.
Proof
(Monotone Functions are Integrable)
Let f: [a, b] → ℝ be a monotone function.
Then, f is integrable.
3 points
Theorem
First Fundamental Theorem of Calculus
Suppose that f is integrable on (a, b). Define a new function F: [a, b] → ℝ by F(x) := ∫ₐˣ f.
Then F is continuous. Moreover, if f is continuous at c ∈ (a, b) then F is differentiable at c and F’(c) = f(c).
Proof
(First Fundamental Theorem of Calculus)
Suppose that f is integrable on (a, b). Define a new function F: [a, b] → ℝ by F(x) := ∫ₐˣ f.
Then F is continuous. Moreover, if f is continuous at c ∈ (a, b) then F is differentiable at c and F’(c) = f(c).
3 points
Theorem
Second Fundamental Theorem of Calculus
Suppose that F: [a, b] → ℝ is continuous on [a, b] and differentiable on (a, b). Suppose furthermore that its derivative F’ is integrable on (a, b).
Then ∫ₐᵇ F’ = F(b) - F(a).
Proof
(Second Fundamental Theorem of Calculus)
Suppose that F: [a, b] → ℝ is continuous on [a, b] and differentiable on (a, b). Suppose furthermore that its derivative F’ is integrable on (a, b).
Then ∫ₐᵇ F’ = F(b) - F(a).
2 points
Proof
Suppose that fₙ: [a, b] → ℝ are integrable, and that fₙ → f uniformly on [a, b]. Then f is also integrable, and ∫ₐᵇ fₙ → ∫ₐᵇ f as n → ∞.
4 points