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

Step functions in $\Bbb R^n$

Let $\phi(x,y)$ be a real and continuous function in $\mathbb{R^2}$ such that $\phi(0,0)=0$ and let $\alpha$ and $\beta$ be two step functions in $\mathbb{R^n}$. How can I prove that $\phi(\alpha,\beta)$ is a step function in $\mathbb{R^n}$?
0
votes
1 answer

Lebesgue Integral of coordinate function is integral of individual functions

Lang writes in his book Real and Functional Analysis that it is "obvious" for $f:\Omega\rightarrow\mathbb R^n$ with $f(\omega) = (f_1(\omega), f_2(\omega), \dots, f_n(\omega))$ the integral of $f$ is given by $$\int_\Omega f(\omega)\,\mu(\mathrm…
lmaosome
  • 632
0
votes
0 answers

Lebesgue integral vs. Riemann integral

In Riemann integral, we define $$\int_a^b f:=\sup\left\{\int_a^b \varphi \mid \varphi \leq f \text{ where }\varphi \text{ step function}\right\}=\inf\left\{\int_a^b \varphi \mid f\leq \varphi \text{ where $\varphi $ step function}\right\},$$ whereas…
Bruce
  • 299
0
votes
0 answers

Find $f:(0,1] \to \mathbb{R}$ s.t. $f^s \in L^1$ for $s < 1$ and $f^s\notin L^1$ for $s \geq 1$

Find $f:(0,1] \to \mathbb{R}$ s.t. $f^s \in L^1$ for $s < 1$ and $f^s\notin L^1$ for $s \geq 1$ where $L^1$ stands for the lebesgue-integrable functions. Attempt: $f(x) = \frac{1}{x}$ Then $f^s$ is for $s \leq 0$ just a polynomial with positive…
user866761
0
votes
0 answers

$f: [0,1] \rightarrow \mathbb{R}$ non-decreasing. Show $f \in L^1.$

I read the proof of the following statement: $f: [0,1] \rightarrow \mathbb{R}$ non-decreasing. Then $f \in L^1.$ Where $L^1$ denotes the set of lebesgue-integrable functions. Proof: Let $N$ be the set of discontinuous points of $f$. At every point…
user866761
0
votes
1 answer

$\mathcal{L} \int_{[A,B)} fd\lambda = \lim_{b \to B} \mathcal{R} \int_A^b f(x)dx.$

Let $ -\infty < A < B \leq +\infty$, and let $f:[A,B)\to \mathbb{R}$ be almost continuous everywhere (sucht that $f_{[A,b]} \in \mathcal{R}(A,b)$ for all $A
0
votes
1 answer

Condition when improper Riemann integral is the same as the Lebesgue integral

Let $ -\infty < A < B \leq +\infty$, and let $f:[A,B)\to \mathbb{R}$ be almost continuous everywhere (sucht that $f_{[A,b]} \in \mathcal{R}(A,b)$ for all $A
0
votes
1 answer

Lebesgue integral iteration with the limit

For every n, let $f_{n}:[0;1]\rightarrow{\mathbb R}$ a measurable Lebesgue function: $\int_{[0;1]} {\left| f_{n}\right\| ^{2}}\mathrm{d}m\leq{5} $ Is true that $\lim\limits_{n\to\infty} \int_{[0;1]} {\left| f_{n}\right\| ^{2}}\mathrm{d}m=0$? Is…
0
votes
2 answers

Is $g(x) = sin(1/x) \forall x \in \mathbb{R} \setminus \{0\}$ and $g(0) = 0$ Lebesgue integrable?

Is $g(x) = sin(1/x) \forall x \in \mathbb{R} \setminus \{0\}$ and $g(0)=0$ Lebesgue integrable?
karnan
  • 175
0
votes
2 answers

$ \lim\limits_{p\to +0}\int_X |f|^p d\mu = \mu(\{ x\in X | f(x) \neq 0\} $

Measure space $(X,\mathcal{M},\mu)$, $f$ is integrable on $X$. Prove $ \lim\limits_{p\to +0}\int_X |f|^p d\mu = \mu(\{ x\in X | f(x) \neq 0\} $
0
votes
1 answer

Lebesgue measure space

Measure space $(X,\mathcal{B},\mu)$, $B_n\in \mathcal{B}$, $\mu(B_n) \le \infty, n=1,2,...,$. (1) If $\sum\limits_{n=1}^{\infty} \mu(B_n) \le \infty $, then $\mu(\lim\sup_{n \to \infty} B_n)=0$. (2) $A_n\in\mathcal{B}, A_n \supset A_{n+1},n=1,2,...,…
0
votes
2 answers

Show $\lim_{n\to\infty}n\int_0^1x^n f(x)dx = 0$, when $f\in L^1([0,1])$, and $\lim_{x\to1^-}f(x)=0$

I thought I had a proof that utilized the dominated convergence theorem, but I realized that I was mistaken in my use of the theorem, and my proof never really used that $f(x)\rightarrow0$ as $x\rightarrow1$. So all I've really been able to show is…
Bears
  • 684
0
votes
1 answer

Calculating an integral using Dominant convergence theorem

Let $f \in L^1(0,\infty)$ be non-negative. Calculate $\lim_{n \to \infty} \frac{1}{n} \int_{0}^n xf(x)dx$. $\lim_{n \to \infty} \frac{1}{n} \int_{0}^n xf(x)dx$ = $\lim_{n \to \infty} \int_{0}^\infty \frac{1}{n}xf(x)\chi_{[0,n]} dx$. If we…
0
votes
1 answer

What is the condition to split integral in Lebesgue theory?

Let $f:[0,1]^2\rightarrow \Bbb R$ be defined by $$f(x,y)=1/y^2 \text{ if }0\leq x
Dicordi
  • 516
0
votes
1 answer

Use the monotone convergence theorem to calculate $\int_{-\infty}^{+\infty}e^{-|x|}d\bar{\lambda} $

For a particular Lebesgue exercise, I am required to work out the integral $\int_{-\infty}^{+\infty}e^{-|x|}d\bar{\lambda} $ using the monotone convergence theorem. I am finding it difficult to start, mainly as the monotone convergence theorem…
Ann
  • 3