Product Measures, Fubini's Theorem

[glacier302]

Homework Statement

Let f be Lebesgue integrable on [0,a], and define g(x) = ∫(1/t)f(t)dt , lower integrand limit = x, upper integrand limit = a. Prove that g is integrable on [0,a], and that ∫f(x)dx = ∫g(x)dx .

Homework Equations

In the previous problem, I showed that if if f and g are measurable functions on σ-finite measure spaces (X,A,μ), (Y,B,\nu), and h(x,y) = f(x)g(y), then h is measurable. Also, if f ε L¹(μ) and g ε L¹(\nu), then h ε L¹(μx\nu) and ∫hd(μx\nu) = ∫fdμ ∫gd\nu.
I think that I'm supposed to use these facts to solve this problem, but after multiple dead ends I'm really not sure how.

Oh, and I'm sure that Fubini's Theorem (∫hd(μx\nu) = ∫[∫hd\nu]dμ = ∫[∫hdμ]d\nu will be used as well.

The Attempt at a Solution

Any help would be much appreciated : )

 

[glacier302]

Never mind, I think I've got it. Since I want to solve the integral ∫g(x)dx from x=0 to x=a = ∫∫(1/t)f(t)dtdx, inner integral from t=x to t=a, outer integral from x=0 to x=a,
the function is bounded by the curves t=x, t=a, x=0, and x=a. Another way of writing this is that the function is bounded by the curves t=0, t=a, x=0, and x=t.

Thus, by Fubini's theorem, I can rewrite the integral as ∫∫(1/t)f(t)dtdx, inner integral from t=x to t=a, outer integral from x=0 to x=a as ∫∫(1/t)f(t)dxdt, inner integral from x=0 to x=t, outer integral from t=0 to t=a. Then it becomes ∫(1/t)f(t)*tdt from t=0 to t=a
= ∫f(t)dt from t=0 to t=a = ∫f(x)dx from x=0 to x=a.

So ∫g(x)dx from x=0 to x=a = ∫f(x)dx from x=0 to x=a.