## convolutions of Lebesgue integrable functions

Hello,

Looking through Torchinksy's Real Variables text and I'm infinitely confused about convolutions.

For two integrable functions $$f, g \in \ L^1(R)$$ we define the convolution $$f*g=\int_R f(x-y)g(y) dy , \forall x\in R$$.

Then, apparently, $$f*g$$ is also integrable. But I'm not sure how to prove this. The text says, for now suppose f, g and the integrand are nonnegative. Then $$||f*g||_1=\int_R\int_R f(x-y)g(y) dydx$$.

But why is this true? Clearly $$||f*g||_1=\int_R\int_R f(x-y)g(y) dydm$$, where m is the Lebesgue measure. But what allows you to switch to dx? Maybe this speaks to my greater misunderstanding of integrals. Sigh...If anyone could explain this to me I'd be very grateful.

I thought in general you could only switch from Lebesgue integration to Riemann integration when you knew the thing was Riemann integrable.
 PhysOrg.com science news on PhysOrg.com >> Ants and carnivorous plants conspire for mutualistic feeding>> Forecast for Titan: Wild weather could be ahead>> Researchers stitch defects into the world's thinnest semiconductor
 He writes $\int_R f(x) dx$ to mean the Lebesgue integral.