Integration Flashcards

1
Q

Definie addition by infinity

A

For all real x, x + ∞ = ∞ + x = ∞

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Define subtraction by infinity

A

For all real x, x − ∞ = −∞ + x = −∞,

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Define multiplication by infinity

A

For all real x, x.∞ = ∞.x = (−x).(−∞) and x.∞ = ∞ for x>0, x.∞ = -∞ for x<0 and x.∞ = 0 for x=0.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Define the limsup of a sequence

A

If a_n is a sequence, let b_m = sup(a_n), for all n≥m, then the limsup of a_n is the limit of b_m.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Define the outer measure

A

m*(A) = inf(The sum of |I_n|, where I_n are intervals whose union contains A).

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Define a null set

A

A set A is null if m*(A) = 0.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Define the Cantor set

A

Let C0 = [0,1], C1 = [0,1/3] ∪ [2/3,1], C2 = [0,1/9]∪ [2/9,1/3] ∪ [2/3, 7/9] ∪ [8/9, 1], etc. Then the Cantor set, C = the infinite intersection of Cn.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Define almost everywhere

A

A property hold almost everywhere if the set A not satisfying the property is null.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Define Lebesgue measurable

A

A subset E of R is Lebesgue measurable if m(A) = m(A∩E) + m*(A\E).

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Define a σ-algebra

A

Let Ω be any set and F ⊆ P(Ω). Then, F is a σ-algebra on Ω if:
1. ∅ ∈ F
2. If E ∈ F, then Ω\E ∈ F
3. If En ∈ F for n = 1, 2,…, then the infinite union of En ∈ F.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

Define a measure

A

A measure on (Ω, F) is a function µ: F → [0,∞] such that:
1. µ(∅) = 0
2. µ(infinite union of En) = Infinite sum of µ(En) whenever En are disjoint sets in F.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Define a measure space

A

A triple (Ω, F, µ) is a measure space.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

Define a finite measure

A

A measure µ is finite if µ(Ω) < ∞.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Define a probability measure

A

A measure µ is a probability measure if µ(Ω) = 1.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

Define the Borel measure

A

The smallest σ-algebra containing all the intervals.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

Define a measurable function

A

f is F-measurable if and only if f^(−1)G ∈ F for all G in the measure space.

17
Q

Define a simple function

A

A function which takes a finite number of values.

18
Q

Define the standard form of a simple function

A

Let φ be a simple function. If it is written as the sum of (α_i)(χ_Bi), where αi are distinct and non-zero and Bi are disjoint, then φ is in standard form.

19
Q

Define the integral of a non-negative simple function

A

For a non-negative simple function φ with standard form given by the sum of (α_i)(χ_Bi), the integral of φ is defined to be the sum of (α_i)m(Bi).

20
Q

Define the integral of a non-negative function

A

Given a non-negative function f,the integral of f over a measurable set E = sup{integral over R of φ simple, where 0 ≤ φ ≤ f on E and is 0 on R\E}.

21
Q

Define integrable

A

A function is integrable over a set if the integral over that set is finite.

22
Q

State the monotone convergence theorem

A

If (fn) is an increasing sequence of non-negative measurable functions and f = lim(n→∞)fn, then the integral of f = lim(n→∞) of the integral of fn.

23
Q

State the baby monotone convergence theorem

A

Let f be a non-negative measurable function, (En) be an increasing sequence of measurable sets, and E = infinite union of En. Then the integral of f over E = lim(n→∞) of the integral of f over En f.

24
Q

State the comparison test

A

If f is measurable and |f| ≤ g for some integrable function g, then f is integrable. If |f| ≥ g ≥ 0 for some measurable function g which is not integrable, then f is not integrable.

25
Q

State the fundamental theorem of calculus

A

Let g be a function with a continuous derivative on a closed bounded interval [a, b]. Then g’ is integrable over [a, b], and the integral from a to b of g’(x) = g(b) − g(a).

26
Q

State integration by parts

A

Let f and g be continuously differentiable functions on a closed bounded interval [a, b]. Then the integral from a to b of f(x)g’(x) = f(b)g(b) − f(a)g(a) – integral from a to b of f’(x)g(x).

27
Q

State integration by substitution

A

Let g: I → R be a monotonic function with a continuous derivative on an interval I, and let J be the interval g(I). A measurable function f: J → R is integrable over J if and only if (f◦g).g’ is integrable over I. Then the integral of f(x) over J = integral of f(g(y))|g’(y)| over I.

28
Q

State Fatou’s lemma

A

Let (fn) be a sequence of non-negative measurable functions. Then the integral of liminf(fn) ≤ liminf(the integral of fn).

29
Q

State the dominated convergence theorem

A

Let (fn) be a sequence of measurable functions such that fn(x) converges a.e. to a limit f(x) and there is an integrable function g such that, for each n, |fn(x)| ≤ g(x) a.e. Then f is integrable, and the integral of f = lim(n→∞) of the integral of fn.

30
Q

State the bounded convergence theorem

A

Let I be a bounded interval, (fn) be a sequence in L1(I) converging a.e. to f, and suppose that there is a constant c such that |fn(x)| ≤ c a.e., for all n. Then f ∈ L1 (I), and the integral over I of f = limn→∞ of the integral over I of fn.

31
Q

State Beppo-Levi’s theorem

A

Let (gn) be a sequence of integrable functions such that the sum over n to ∞ of the integral of |gn| < ∞. Then the sum over n to ∞ of gn converges a.e. to an integrable function, and the integral of the sum of gn = the sum of the integral of gn.

32
Q

State the continuous parameter DCT

A

Let I and J be intervals in R, and f: IxJ → R be a function such that:
1. For each y in J, x → f(x, y) is integrable over I.
2. For each y in J, lim(y’→y)f(x, y’) = f(x, y) a.e. in x
3. There exists an integrable function g on I such that for each y in J, |f(x, y)| ≤ g(x) a.e. in x.
Define F(y) = integral over I of f(x,y) dx for y ∈ J. Then F is continuous on J.

33
Q

State the theorem of Tonelli

A

Let f: R^2 → [0, ∞] be measurable. Then:
1. x → f(x, y) is measurable for almost all y.
2. y → integral of f(x, y) dx over R (defined a.e.) is measurable.
3. The integral over R^2 of f(x, y) d(x, y) = the integral of (the integral of f(x, y) dx over R) dy over R.

34
Q

State Fubini’s theorem

A

Let f: R^2 → R be integrable. Then, for almost all y, the function x → f(x, y) is integrable. Moreover, defining (for almost all y) by F(y) = the integral of f(x, y) dx, then F is integrable, and the integral over the integral of (the integral of f(x, y) dx) dy = R^2 of f(x, y)d(x, y) = the integral of (the integral of f(x, y) dy) dx.

35
Q

State Tonelli’s Theorem

A

Let f: R^2 → R be a measurable function, and suppose that either of the following repeated integrals is finite: the integral of (the integral of |f(x, y)| dx) dy, integral of (the integral of |f(x, y)| dy) dx. Then f is integrable. Hence, Fubini’s Theorem is applicable to both f and |f|.

36
Q

Give the Jacobian Theorem

A

Let E’ be an open subset of R^2, T: E’ → R^2 be a one-to-one differentiable function of E’ onto a subset E of R^2, and f: E → R be a function. Then f is integrable over E if and only if (f◦T)|det(J_T)| is integrable over E’. In that case, the integral over E of f = the integral over E’ of (f◦T)|det(J_T)|.