I want to show that $(f*g)(x)=\int_{\mathbb{R}^n}f(t)g(t-x)dt$ is well defined where $f\in L^1(\mathbb{R}^n)$, $g\in L^\infty(\mathbb{R}^n)$.
that is, I need to show that $f(t)g(t-x)$ is integrable in $t$ for a.e. $x$.
and here, I was seggested to use the Fubini's/ or Tonelli's theorem, but I don't know exactly how to do it.
by the wiki, Fubini's theorem is
if $X,Y$ are $\sigma$-finite measure spaces, and if $f$ is measurable and $\int_{X\times Y} |f(x,y)|d(x,y)<\infty$, then $\int_{X\times Y} f(x,y)d(x,y)=\int_X\int_Yf(x,y)dydx=\int_Y\int_Xf(x,y)dxdy$.
since $\mathbb{R}=\cup_{t=0}^\infty[(-1-t,-t]\cup[t,1+t)]$, and $\mathbb{R}^n=\mathbb{R}\times...\times \mathbb{R}$ ($n$ times), $\mathbb{R}^n$ is $\sigma$-finite(this condition is needed to make the product measure unique but I don't know how exactly).
now let $h(x,t)=f(t)g(t-x)$. and I don't even know how to show that $h$ is measurable in $X\times Y=\mathbb{R}^n\times \mathbb{R}^n$ and the integral of $|h|$ is finite.
so, instead of this, I tried to use the Fubini-Tonelli's theorem, which is
if $X,Y$ are $\sigma$-finite measure spaces, and if $f$ is measuarable such that at least one of $\int_{X\times Y} |f(x,y)|d(x,y)$, $\int_X\int_Y|f(x,y)|dydx$, $\int_Y\int_X|f(x,y)|dxdy$ is finite, then $\int_{X\times Y} f(x,y)d(x,y)=\int_X\int_Yf(x,y)dydx=\int_Y\int_Xf(x,y)dxdy$.
then, $\int_{\mathbb{R}^n}\int_{\mathbb{R}^n}|h(x,t)|dtdx=\int_{\mathbb{R}^n}\int_{\mathbb{R}^n}|f(t)g(t-x)|dtdx \leq||g||_\infty\int_{\mathbb{R}^n}\int_{\mathbb{R}^n}|f(t)|dtdx=||g||_\infty\int_{\mathbb{R}^n}||f||_1dx=||g||_\infty||f||_1\int_{\mathbb{R}^n}dx=+\infty$
and I got the same result with $dx,dt$ exchanged. so the only option that I have is to show that $h$ is measurable in $\mathbb{R}^n\times\mathbb{R}^n$ and $\int_{\mathbb{R}^n\times\mathbb{R}^n}|h(x,t)|d(x,t)<\infty$, the same assumption with the original Fubini.
anyway, let say the Fubini's theorem is applicable. then $h(x,t)$ is integrable in $t$ for a.e. $x$. is this the correct result? then how'm I supposed to satisfy the assumption of Fubini?
I recommend instead that you use Hölder's inequality:
$$\left\lvert \int_{\mathbb{R}^n} f(t)g(t-x)\,dt\right\rvert\leq \int_{\mathbb{R}^n} \lvert f(t)g(t-x)\rvert\,dt\leq \|g\|_{L^{\infty}(\mathbb{R}^n)}\int_{\mathbb{R}^n} \lvert f(t)\rvert\,dt < \infty$$
Therefore, $f(t)g(t-x)$ is integrable in $t$. Hölder's inequality follows from either Young's inequality or Jensen's inequality (you can see the linked page for a proof).