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
4
votes
3 answers

If $\int_x^z f=0$ for every $z\in[x,y]$, then $f(a)=0$ a.e. on $[x,y]$.

I have to prove the following statement: Let $f$ be bounded measurable function on$[x,y]$. Suppose that $\int_x^z f=0$ for every $z\in[x,y]$, then $f(a)=0$ a.e. on $[x,y]$. I suppose that $f$ is not equal to $0$ a.e. on $[x,y]$, so we must have…
user117890
3
votes
2 answers

Unbounded Lebesgue integrable functions

Is $\displaystyle f(x)=\sqrt{-2\ln{x}}$, $x \in (0,1)$ (inverse of the Gaussian curve) Lesbegue integrable ? If not, is there any function that tends to $\infty$ at some point $x$ and is still integrable ? If yes, can you give me a sequence of…
3
votes
0 answers

Show: $\int f\, d\mu=\sum\limits_{y\in f(X)}y\cdot\mu(f^{-1}(y)))$

Let $f\colon X\to\overline{\mathbb{R}}_{\geq 0}$ be a measurable function which only takes a countable number of values. Show that $$ \int f\, d\mu=\sum\limits_{y\in f(X)}y\cdot\mu\left(f^{-1}(y)\right). $$ Here is my idea resp.…
user34632
3
votes
1 answer

Question about Lebesgue integration on $\mathbb{R}^N$

Let $\Omega\subseteq\mathbb{R}^N$ be an open set and $f:\Omega\to[0,+\infty[$ a measurable function, bounded over each compact $K\subset\Omega$. If there is a $C>0$ such that $$\int_{K}f\operatorname{dm}\leq C$$ and a sequence $\{…
user34870
  • 1,173
3
votes
1 answer

Convergence in $L^1$ norm

$(f_n), f$ are integrable. If $\int |f_n - f| \rightarrow 0$, then show that $\int_E f_n \rightarrow \int_E f$ for all measurable sets $E$ and that $\int f_n^+ \rightarrow \int f^+$. Attempt: $$\left| \int f_n - \int f \,\right| \leq\int |f_n - f|…
user62089
  • 1,356
3
votes
2 answers

Is it in $L^1$?

Let $\Omega$ be an open bounded subset of $\mathbb{R}^n$, and $d: \Omega \longrightarrow \mathbb{R}$ be a measureable function. Is it true that if $$ \int_\Omega df < \infty \ , $$ for every $f \in C_c(\Omega)$ -- compactly supported continuous…
3
votes
1 answer

Lebesgue integrable function vanishing at infinity

I have seen in many places that if a Lebesgue integrable function over $\mathbb R^+$ say, and if $f$ has a finite limit at infinity, then this limit must be zero! I just couldn't find any proof and hope this not too obvious. Thanks. Math
Math
  • 292
3
votes
2 answers
3
votes
1 answer

Show that a function is Lebesgue integrable

I have a function which is the Fourier transform of the characteristic function of the unit ball in $\mathbb{R}^3$ $$\hat{f}(\mathbf{k})=\int_B e^{-2\pi…
user438666
  • 2,040
  • 1
  • 9
  • 23
3
votes
1 answer

Upper bound and lower bound of an integral

I have this problem and I don't know where to start. Can you give me some hint, please? Suppose that $f:[a,b]\to [0,\infty]$ is a lebesgue integrable function. Let $B=\int_a^b fd\mu.$ Prove that $\sqrt{1+B^2}\leq \int_a^b\sqrt{1+f^2}d\mu\leq 1+B$.
3
votes
0 answers

If $\left|\psi\right> \in L_2$, does $\left|\psi\right> ^2 \in L_2$

If $\left|\psi\right> \in L_2$, is $\left|\psi\right> ^2 \in L_2$, where $\left|\cdot\right>$ is Dirac notation. Or for everyone to get what I am asking: $f(x) \in L_2$ if the following condition is met:…
blitzar
  • 31
3
votes
2 answers

Is there a integrable function non-vanishing a.e.

Is there a lebesgue integrable function that is non-vanishing a.e.? In general, given any $\sigma$-finite measure space, is there a way to define a integrable function that is non-vanishing a.e?
user136592
  • 1,744
  • 9
  • 22
3
votes
3 answers

Is an a.e finite function integrable?

It is known that an integrable function is a.e. finite. Is an a.e. finite function integrable? What if the measure is finite?
user136592
  • 1,744
  • 9
  • 22
2
votes
0 answers

Why the definition of the Lebesgue integrability is the finiteness of $\int\vert f\vert d\mu$?

I am studying the Lebesgue integration theory and I am encountered with the definition of the Lebesgue integrability. First, I will assume $f:X\to\mathbb{R}$ is a $\mathcal{A}$-measurable function for a measure space $(X,\mathcal{A}, \mu)$. My…
Analysis
  • 877
2
votes
2 answers

It seems obvious, but how to prove it formally?

Let $f$ be a not decreasing, Lebesgue integrable function with finite integral over $[0,+\infty)$. It seems obvious to me that $\lim_{b\rightarrow\infty}\int_b^{\infty}f(x)\,dx=0$ then. But how can one very formally show it? And assumption about…
luka5z
  • 6,359
1 2
3
19 20