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
12
votes
2 answers

Any Simple Example of Lebesgue Integration?

I saw several conceptual explanations regarding Lebesgue Integration, but can I see few practical examples that require Lebesgue Integration? What I need is just a toy case of Lebesgue Integration. For instance, how can I integrate $f(x)=x$ using…
12
votes
3 answers

Lebesgue Integral - graphical concept

I am having problems visualizing the "mechanics" of the Lebesgue integral, but after much editing of the question I think I get it (at least for nice functions where measure theory can be somewhat taken for granted). So I decided to posted the…
11
votes
1 answer

Problem about limit of Lebesgue integral over a measurable set

This is actually problem 4T of Bartle's book "The elements of integration and Lebesgue measure". Let $f_n$, $f$ be nonnegative measurable functions on $\mathbb{R}$ such that $f_n\to\ f$ for every real number (pointwise convergence). Suppose that…
salvador
  • 143
10
votes
2 answers

Lebesgue integral and sums

I'm not particularly well read on the Lebesgue integral, but I have heard that it permits a much wider class of functions, and in particular we can interchange integrals and limits more easily. However, I was wondering, are there any similar…
pshmath0
  • 10,565
10
votes
1 answer

Lebesgue measure and characterisation of function $\Phi$ [Rudin-Real&Complex]

Let $m$ be Lebesgue measure on $[0,1]$ and define $||f||_p$ with respect to $m$ as usual. What are all functions $\Phi$ on $[0, \infty)$ such that the relation $$ \Phi( \lim_{p\to\ 0}||f||_p)= \int_{0}^{1}(\Phi\circ f)dm$$ holds for every bounded,…
Epsilon
  • 641
9
votes
2 answers

Definition of Lebesgue Integral

In class we defined the Lebesgue integral for a nonnegative measurable function $f$ as $ \int_E fd\mu=sup\{\int_E\phi d\mu \mid0< \phi\
TheGeometer
  • 2,515
7
votes
1 answer

Is the Dirac delta function $L^1$ integrable?

The Riemann-Lebesgue lemma says that the Fourier transform of any $L^1$ integrable function on $\mathbb{R}^{d}$ satisfies: $$\hat{f}(z):=\int_{\mathbb{R}^{d}} f(x) e^{-iz \cdot x}\,dx \rightarrow 0\text{ as } |z|\rightarrow \infty$$ This does not…
OSE
  • 235
6
votes
4 answers

Can someone provide an example of Lebesgue integration on ordinary functions?

I'm trying to understand Lebesgue integral and integration but I'm completely mired by many author's motivation of this subject as only a tool for pathological functions such as the Dirichlet pathological function. I entirely appreciate the…
Fraïssé
  • 11,275
5
votes
0 answers

Prove that the lebesgue integrals $\lim_{n\to \infty} \int_{[0,1]^n} \frac{x_1^2+ \dots +x_n^2}{x_1+ \dots +x_n} \ d \mathrm{m}(\mathbf{x})=2/3$

I found this problem while studying for an analysis exam and have been puzzled ever since. If anybody has any hints on this, I would greatly appreciate it. Prove that the lebesgue integrals $\lim_{n\to \infty} \int_{[0,1]^n} \frac{x_1^2+ \dots…
george
  • 93
5
votes
1 answer

Lebesgue integration and countable partitions

The book "A Primer of Lebesgue Integration" by H.S. Bear defines Lebesgue integration through lower and upper sums $L(f,P) = \sum m_i\mu(E_i)$ and $U(f,P)=\sum M_i\mu(E_i)$ where infinite countable partitions are allowed. The typical definition of…
user782220
  • 3,195
5
votes
2 answers

Lebesgue integral example

please help me with the Lebesgue integration on the function $$ f(x)= \begin{cases} 0 & \text{if $x$ < 0}\\ 1/2 & \text{if $x$ = 0}\\ 1 & \text{if $x$ > 0} \end{cases} $$ $$ \\\int_a^b{f}d\mu ? $$ can we take $\mu([a,b))$? thank you!
pippo1020
  • 189
5
votes
2 answers

"Is not Lebesgue integrable"

When one talks about Lebesgue integrability or lack thereof, what does one mean, exactly? Does it mean we cannot possibly take a Lebesgue integral of that function, because it simply isn't well-defined ... or does it mean the integral is finite? So…
Fakebo
  • 81
5
votes
1 answer

Proof that for the Lebesgue indefinite integral, $\int_E fd\mu(x)=0$ implies $f=0$ almost everywhere

Can someone provide a hint for the proof of the fact that for the Lebesgue indefinite integral, $\int_E fd\mu(x)=0$ for all $E\in S$ where $S$ is a the $\sigma$ ring, implies $f=0$ almost everywhere? In this case $f$ is a function from $X$ into a…
user82004
5
votes
1 answer

Is $\frac{\sin{x}}{x}\in L^1[\pi,\infty]$?

I am trying to prove that $$ F(y)=\int_\pi^\infty\frac{e^{-xy}\sin x}{x}\,dx $$ is differentiable on $(0,\infty)$. My first though was to try and show that $F$ is Lipschitz which led me to the following inequality: $$ \lvert…
Laars Helenius
  • 7,965
  • 1
  • 23
  • 35
4
votes
2 answers

Notation involving the Lebesgue integral.

I have a measurable function $f : \mathbb{R}^d \to \mathbb{R}$. Let $E$ be a measurable subset of $\mathbb{R}^d$. Then then $$\int_{E} f(x) \, dx = \int f(x) \chi_E (x) \, dx.$$ If we are taking an integral over $\mathbb{R}^d$, shouldn't we have…
Yuugi
  • 2,143
1
2 3
19 20