Questions tagged [lebesgue-integral]

For questions about integration, where the theory is based on measures. It is almost always used together with the tag [measure-theory], and its aim is to specify questions about integrals, not only properties of the measure.

The idea of Lebesgue integral is the following: we give to a simple non-negative function $\sum_{j=1}^Na_j\chi_{S_j}$, where $a_j\geq 0$ and $S_j>0$ the value $\sum_{j=1}^Na_j\mu(S_j)$. Then we define the integral of a measurable non-negative function as $$\int_X f(x)d\mu(x):=\sup\left\lbrace \int_X g(x)\mathrm{d}\mu(x) \mid 0\leq g\leq f,\ g \text{ simple}\right\rbrace.$$ For a measurable function, write $f=\max(f,0)-\max(-f,0)$ to give a value to $\int_X f(x)\mathrm{d}\mu(x)$.

The major interest is that we can integrate functions which are defined in an arbitrary set, provided we have fixed a $\sigma$-algebra and a measure on it.

When dealing with a function $f\colon[a,b]\longrightarrow\mathbb R$, with $a,b\in\mathbb R$ and $a\lt b$, the Lebesgue integral is more general than the Riemann integral: if a function is Riemann-integrable, then it is Lebesgue-integrable (and the integrals are the same), but there are functions (such as characteristic function $\chi_{[a,b]\cap\mathbb Q}$) which are Lebesgue-integrable, but not Riemann-integrable.

7619 questions
0
votes
1 answer

Lebesgue integral over $\{(x,y,z)\in \mathbb R^3:(x-\chi_\mathbb Q(z))^2+(y-e^z)^2\leq 3\sin(\pi z), z\in[0,1]\}$

How can I calculate $\int_E 1d\lambda$ for $E:=\{(x,y,z)\in \mathbb R^3:(x-\chi_\mathbb Q(z))^2+(y-e^z)^2\leq 3\sin(\pi z), z\in[0,1]\}$
Moritz
  • 151
0
votes
1 answer

lebesgue integral of a function with irrational domain

Let $f:(0,\infty)\rightarrow [0,\infty)$, $f(x)=\left\{\begin{array}{ll} |\sin(x)| & \text{ if $x\in \mathbb Q$}\\ 4x & \text{ if $x\in[0,1]\backslash \mathbb Q$}\\ 0 & \text{ if $x\in (1,\infty)\backslash \mathbb Q$} \end{array}\right.$ I want to…
Robert
  • 414
0
votes
0 answers

$\int_E \lim \limits_{n\to\infty} f_n d\mu=\lim\limits_{n\to\infty}\int_E f_nd\mu$ , if $f_1\in \mathscr L^1(\mu,E)?$

Let $(X,\mathcal S,\mu)$ be a measure space and $E\in \mathcal S$. For every $n\in \mathbb N$, $f_n:X\rightarrow \overline{\mathbb R}$ is measurable with $f_1\leq f_2\leq \dots$. Then $\int_E \lim \limits_{n\to\infty} f_n…
marc
  • 312
0
votes
1 answer

Why is $g(x)=\int_{(-\infty,x]}fd\mu$ is uniformly continuous in $\mathbb R$ when $f\in L^{1}(\mathbb R,\mu)$ and $\mu$ is de Lebesgue measure?

Let $f\in L^{1}(\mathbb R,\mu)$ where $\mu$ is de Lebesgue Measure, how can I prove that $g(x)=\int_{(-\infty,x]}fd\mu$ is uniformly continuous in $\mathbb R$?
0
votes
2 answers

Is there a continuous function $f:[0,\infty)\longrightarrow\mathbb R$ such that $\lim_{t\to\infty}\int_{[0,t]}fd\mu$ exists but...?

When I need to prove that $\int_{[0,\infty)}fd\mu<+\infty$ I usually think that if $\lim_{t\to\infty}\int_{[0,t]}fd\mu<\infty$ then $\int_{[0,\infty)}fd\mu$ must converge, but someone told me that argument was not correct (Cosider $\mu$ the Lebesgue…
0
votes
1 answer

Integrability of powers of functions imply the integrability of their product

I am stuck on this. Let $(X, \mathcal{F}, \mu)$ be a measure space satisfying $\mu(X)<\infty$ and let $f, g, h: X \rightarrow \mathbb{R}$ be measurable functions such that $f^{4}, g^{4}$ and $h^{3}$ are Lebesgue integrable. Must $f g h$ be Lebesgue…
ReDK121
  • 31
  • 5
0
votes
0 answers

Is it true that $\frac{d}{dx} \int_0^x f(t) dt = f(x)$ a.e. for $f \in L^2[0,1]$?

My question concerns the generalization of the Fundamental Theorem of Calculus. On the Wiki page it is stated that the equality holds at some point $x_0$ under the condition of $f(x)$ is continuous at $x_0$. I'm also aware that Lusin's theorem…
Y N
  • 753
0
votes
1 answer

If $F$ is right continuous and monotonically increasing, then $\int^{a}_b F'(x)dx\leq F(b)-F(a)$

How do I show that if $F$ is right continuous monotonically increasing, then $\int^{a}_b F'(x)dx\leq F(b)-F(a)$? First, I note that $F$ is differentiable almost everywhere so the integral makes sense. The above claim is heuristically obvious…
jk001
  • 781
0
votes
1 answer

Monotone convergence theorem: why is my proof wrong?

While there is a proof given in the book by Richard Bass and I am able to understand it, because I am not able to see why the following is wrong means I am still lacking in understanding: Given: $\{f_n\}_n$ is an increasing sequence and $lim_{n \to…
Kevin
  • 103
0
votes
1 answer

Prove that $\int_{\mathbb{R}}\left|f_{r}-f\right| d m \rightarrow 0 \text { as } r \rightarrow 0^{+} $

Let $f \in L^{1}(\mathbb{R})$. For $r>0$ define $$ f_{r}(x):=\frac{1}{2 r} \int_{x-r}^{x+r} f d m \text { for } x \in \mathbb{R} . $$ Prove that $\int_{\mathbb{R}}\left|f_{r}-f\right| d m \rightarrow 0 \text { as } r \rightarrow 0^{+} .$ Here, I…
0
votes
1 answer

Change the order of indefinite integral and differential

I want to know the sufficient condition to change the order of integral and differential. following is the problem: $$f \in C([0,T];L^2(R^N))$$ $$\frac{d}{dt}f=g(t,x)$$ Then we multiply $f$ on both sides and take $L^2$-innerproduct, so we get…
yunjoo
  • 21
0
votes
1 answer

Equivalence between the two definitions of the Lebesgue Integral

Royden defines the Lebesgue integral as : $$\int_E f = \sup \{\int_E\phi_n:\phi_n \text{ simple}, \phi_n \le f\} \cdots (A)$$ On a later occasion, he defines the Lebesgue Integral as : $\int_E f = \sup \{\int_Eh:h \text{ is bounded, measurable,…
MathMan
  • 8,974
  • 7
  • 70
  • 135
0
votes
0 answers

Understanding the $1$-norm of $L^1(\mathbb{R}^d)$

I have a quick question about a proof I was reading. The proof is basically asking about the continuity of the translation operator in the $L^1$-norm. Here is a snippet of the proof I am not sure how their integral over $\mathbb{R}^d$ turned into…
0
votes
2 answers

How to calculate a Lebesgue Integral of a function whose domain is irrational number?

Let f be a Lebesgue measurable function on [0,1] and $$ f(x)=\left\{\begin{array}{ll} x^{4} & \text { if } x \in[0,1] \backslash \mathbb{Q} \\ 0 & \text { if } x \in[0,1] \cap \mathbb{Q} \end{array}\right.$$ How to calculate $\int_{[0,1]} f d m$?
alryosha
  • 563
0
votes
1 answer

If a function is the limit in $L^1$ of simple functions, then that function is integrable

I'm trying to prove that the completion of the integrable simple functions on $ (X,\Sigma,\mu) $ is $L^1(X,\Sigma,\mu)$. Suppose we have: $lim_{n\to \infty}||f-s_n||_1=0$ for some sequence $(s_n)_n$ of simple integrable functions. How can I prove…