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
1
vote
0 answers

Lebesgue integral problem

I've recently started learning Lebesgue integral and having come across this problem I'm not sure how one would prove this. Let $f(x):[a,b] \to \mathbb{R}$ be continuous and let $M=sup_{x\in[a,b]}|f(x)|$. suppose that $M>0$ and $p>0$. prove that…
1
vote
0 answers

Understanding the differential in the Lebesgue Integral

I have just read the Wikipedia article on the Lebesgue Integral, as well as this answer on Lebesgue integral basics. I'm not sure how to interpret the differential $d \mu(x) = d \mu$ in the case where $\mu$ is the Lebesgue measure on…
1
vote
0 answers

Logical relevance of lebesgue's integration

I have been trying to make sense of the existence of two integration theories, that of Riemann and Lebesgue. The latter integrates the Dirichlet function and assigns a value 1, while the former theory cannot integrate the function. What is…
Vanya
  • 499
1
vote
0 answers

Lebesgue integral and some kind of distribution function.

$1 \leq p < \infty, \mu$ is a Lebesgue measure on $\mathbb R^n.$ $f: \mathbb R^n \rightarrow \mathbb R$ is Lebesuge measurable, and $\int_{\mathbb R^n} |f(x)|^p d\mu < \infty.$ Define $\mu_f$ by $$\mu_f (\lambda) := \mu(\{x \in \mathbb R^n \mid…
sword
  • 115
1
vote
1 answer

Lebesgue integral, $f(x) = |x|^\alpha$ for $x \neq 0$ and $f(0)=0$

Looking at $f(x) = |x|^\alpha$ for $x \neq 0$ and $f(0)=0$. Which of these following statements is true? a. A $\alpha$ exists such that $f \in \mathcal {L}(\mathbb {R})$. b. A $\alpha$ exists such that $f \in \mathcal {L}([-1,1])$. c. A $\alpha$…
1
vote
1 answer

A limit of integrals

Let $f:[0,T]\to\mathbb{R}$ be a Lebesgue integrable function. For each $h>0$ we define the piecewise function $f_h$ by $$f_h(t)=f(h\left[\frac{t}{h}\right])\quad\mbox{for}\quad t\in[0,T].$$ Can we affirm that $$\lim_{h\to…
1
vote
1 answer

Does integral of L1 function vanishes on small intervals

I want to know if for $u \in L^1(\mathbb{R})$, we have $\int_0^\delta u \to 0 \text{ as } \delta \to 0$ ? I know how to prove the result in $L^p(\Omega)$, $\Omega \subseteq \mathbb{R}^n$ and $p > 1$. $ \left\vert \int_{B_q(\delta)} u \right\vert…
FredV
  • 163
1
vote
1 answer

A problem about uniformly integrable over E?

Definition:let $\mathcal F$ be a family of functions,if for each $ε>0$,there is a $δ>0$ such that for each $f∈\mathcal F$,if $A⊆E$ is measurable and $m(A)<δ$,then $\int_A |f|<ε$. We say $\mathcal F$ is uniformly integrable over $E$. problem:let…
1
vote
1 answer

another definition of Lebesgue functions

Assume $U(I)$ is all the functions $f:[a,b]\to \mathbb{R}$ such that there exists an increasing sequence $(\phi_n)_n$ of simple functions such that $ \lim\int_{a}^{b}\phi_n<\infty $ and $\phi_n\to f$ (almost everywhere). And assume $U_0(I)$ is…
Darman
  • 804
  • 5
  • 15
1
vote
1 answer

Finding lebesgue integral of piecewise function

Consider the function $f(x)=\begin{cases} x & x\in \mathbb{Q}\cap [0,1] \\ -x & x\in [0,1]-\mathbb{Q} \\ \end{cases}$ How do you go about computing the following Lebesgue integral? $$\int_0^{1}f(x)d\mu$$ I need to solve a similar…
1
vote
1 answer

Confusing application of DCT

I need to apply DCT to bring the limit inside the abslute value... $\displaystyle \lim_{\tau \rightarrow 0} \left\lbrace \sum_{z \in \mathcal{E}} \mid a_z \mid ^2 \left(\int_{B_{R}} \left|\frac{1}{\sigma(U(z,\tau))}\int_{U(z,\tau) } e^{ ix \cdot…
CeCe
  • 405
1
vote
1 answer

I did Lebesgue integration and $1/2$ appeared unexpectedly.

I am interested in Lebesgue integral over $[0;1]$ of the function $$f(x) = \sum_{n=1}^\infty n \cdot \chi_{[0;n^{-2}]}(x);$$ Here $\chi_{[0;n^{-2}]}(x)$ is $1$ if $x \in [0;n^{-2}]$ and $0$ otherwise. So intuitively this should be $\zeta(1)$…
Pranasas
  • 1,370
1
vote
2 answers

To show $\lim_{x\rightarrow 0} x\ln x$ by using DCT?

I know $\lim_{x\rightarrow 0} x\log x=0$ can be proved by using l'Hospital, but I heard that this statement can also be shown by using dominated convergence theorem. Hint says we use the function $f(t,x)=1[x,1](t)x/t$. Could you give me the process…
Pont
  • 5,909
1
vote
2 answers

How could I prove this function is Lebesgue integrable

I want to show that $f(x)=e^{-x}x^n$ on $[0, \infty]$ is Lebesgue integrable for some positive integer $n.$ For the start, I am aware that the function is bounded and I thought about dividing the interval up, but I couldn't think of any intervals…
1
vote
0 answers

Proof of $\lim_{n \to +\infty}\int_{-n}^{n} \frac{\sin(nx)}{x}dx = \pi$?

I have a feeling that this question is actually rather easy, and that I have all necessary "building blocks". However, I got tremendously confused while actually trying to make the proof, and I'd like some assistance in where to begin and what to…
Linde
  • 45