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
2
votes
1 answer

What is $f(x)$ for which $\alpha (x)$ has been defined in this Lebesgue-Stieltjes integral?

In a book I have found this example, where: $$ \alpha (x) = \begin{cases} 0, & \mbox{if } x < 1, \\ x^2-2x+2, & \mbox{if } 1\le x < 2, \\ 3, & \mbox{if } x = 2, \\ x+2, & \mbox{if } x > 2 \end{cases} $$ Then after some…
user429311
2
votes
1 answer

The Lebesgue integral of a measurable nonnegative function.

I really need help to show that: Let {$f_n$} be a sequence of nonnegative measurable functions that converges to $f$ pointwise on E. Let $M>0$ be such that $\int_Ef_n\le M$ for all n. Show that $\int_E f\le M$. Any help I really appreciate. Thanks
Vui Tinh
  • 285
2
votes
2 answers

Derivative of step functions

I was reading up on the Lebesgue integral and how it is computed. And since it is a generalization of the Riemann integral in a more theoretic framework, the same fundamental principle holds, only for absolutely continuous functions eg. $\int f'(x)…
2
votes
0 answers

Show that $\int\left\lvert f_n\right\rvert\,d\lambda\to\int\left\lvert f\right\rvert\,d\lambda\implies\int\left\lvert f_n-f\right\rvert\,d\lambda\to0$

Let $\,f, f_n $ be Lebesgue integrable functions mapping reals to extended reals such that, almost everywhere, $\,f_n \to f $. Show that $$\int\left\lvert\,f_n\right\rvert\,d\lambda\to\int\left\lvert…
2
votes
1 answer

Necessity of measurable property

Consider the definition of the Lebesgue integral for a positive function $X\rightarrow [0,+\infty]$: $$ \int f(x) d\mu=\sup_{g\in S, \forall x : g(x)\leq f(x)} \left(\int g(x) d\mu \right)$$ where $X$ is a general measure space and $S$ the set of…
anonymous67
  • 3,458
2
votes
1 answer

Limit of the integral over $[0,n]$ of $(1-\frac{x}{n})^n e^{\frac{x}{2}}$

I need some help calculating the following integral in measure theory: $$\int_{0}^{n} (1-\frac{x}{n})^n e^{\frac{x}{2}}dx$$ So far what I tried was the following: $$\int_{0}^{n} (1-\frac{x}{n})^n e^{\frac{x}{2}}dx$$ $$= \int_{\mathbb{R}_+}…
K.A.
  • 619
2
votes
1 answer

Lebesgue integral in unit circle

I have this doubt that I cannot solve. $\int \limits_{D}\dfrac{|x−1|^a}{|x^2−y^2|^b} \, dx \, dy$ where $D=\{(x,y)\in \mathbb{R}^2: x^2+y^2<1\}$ If I use polar coordinates I cannot solve anything. Could you help me? Thank you
2
votes
1 answer

For every open subset of $\mathbb{R}^n$ there is a countable non-overlapping union of closed squares

I am struggling with a definition which should lead to the Lebesgue outer measure. Theorem: Every open subset of $\mathbb{R}^n$ is a countable disjoint (with the meaning non-overlapping or the interior of two different squares are disjoint) union…
monoid
  • 608
2
votes
0 answers

lebesgue integral of S

Let $S$ be a bounded measurable subset of $\mathbb R$. Let $f \colon S → (0,\infty)$ be Lebesgue integrable. Prove that $$\lim_{n\to\infty}\int_S\ f^{1/n} \;\mathrm{d}m = m(S)$$ Where $m(S)$ is the Lebesgue measure of $S$. There is a hint that…
Martin
  • 127
2
votes
2 answers

Integral with smaller sigma algebra

Here's an exercise: Let $(X,M,\mu)$ be a measure space with $\mu(X)<\infty$. Let $N\subseteq M$ be a $\sigma$-algebra. If $f\geq 0$ is $M$-measurable and $\mu$-integrable, then there exists some $N$-measurable and $\mu$-integrable function $g\geq…
user284331
  • 55,591
2
votes
1 answer

If $f\in C^{1}(0,1]\cap C[0,1]$ and $f'\not\in L^{1}(0,1)$, then $f$ oscillates at $0$?

Please think it easy because it is not an assignment. Question : Let $f\in C^{1}(0,1]\cap C[0,1]$ and $f'\not\in L^{1}(0,1)$. Then, does $f$ oscillate frequently and $f'$ is unbounded at $0$? When I asked the similar question before, Daniel…
user
  • 519
2
votes
0 answers

Lebesgue integrability of $x^a \sin(x)$ on $[0,\infty[$

Why is $x^a \sin(x)$ Lebesgue-integrable on $[0,\infty[$? It's obviously measurable, so why $\int |f|<\infty$... You can divide the integral by the period of sine, but I don't know how to cope with $x\to0$... EDIT: $-2
Greg P.
  • 631
2
votes
1 answer

Let $f \in L^1$ with $f$ differentiable at zero and $f(0)=0$. Show $\int_{-\infty}^{\infty} \frac{f(x)}{x} dx$ exists.

Is this proof good? Given the problem as stated. I first define, $$ g(x,b) = \frac{f(x)}{x}e^{ibx} $$ Which has the following property, $$ g_b(x,b) = if(x)e^{ibx} $$ And that, $$ |g_b(x,b)| = |if(x)e^{ibx}| = |i||f(x)||e^{ibx}| \leq |f(x)| $$ where…
IQ472
  • 173
  • 1
  • 8
2
votes
0 answers

Are these functions Lebesgue integrable?

let's consider the function $$f: [0,1] \to \mathbb{R}^+, \quad f(x) = \begin{cases} x^{-a} & x \in \mathbb{Q} \; \text{and} \; x>0\\ 0 & \text{otherwise}. \end{cases}$$ for some $a \geq 1$. Is it correct to conclude that this function is Lebesgue…
1
vote
1 answer

If the Lebesgue integral of a strictly positive function is zero...

If the Lebesgue integral (over a set A) of a strictly positive function is zero, it means that the Lebesgue measure of A is zero? Thank you!
Geo
  • 11