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

Sequence of functions $f_{n} \in L_{1}(\mathbb{R}) \cap L_{2}(\mathbb{R})$ for $n=1,2,3,....$ s.t. $\frac{||f_n||_1}{||f_n||_2} \rightarrow 0$.

Give an example of a sequence of functions $f_{n} \in L_{1}(\mathbb{R}) \cap L_{2}(\mathbb{R})$ for $n=1,2,3,....$ such that $\frac{||f_n||_1}{||f_n||_2} \rightarrow 0$. Thoughts I can find functions such that $\frac{||f_n||_2}{||f_n||_1}…
Roger
  • 169
0
votes
1 answer

In general. convergence a.e. implies convergence in measure?

If $(X,\tau,\mu)$ measure space and $(f_n)_n$ measurable functions, and $f$ measurable function. If $f_n\to f$ a.e. then $f\to f$ in measure? or we need $\mu$ is finite?
eraldcoil
  • 3,508
0
votes
0 answers

lebeque-integral of staircase functions are well defined

I have the following problem: Let $(\Omega,F,\mu)$ be a measure space. We define $x_A(w):=\left\{\begin{array}{ll} 1 & w \in A \\ 0 & w\notin A \\ \end{array}\right.$. Is $f=y_1x_{A_1}+...+y_nx_{A_n}$ a staircase function with $y_i\geq0 \quad…
Tobi92sr
  • 1,661
0
votes
2 answers

convergence of integrals (almost unity for convolution)

Suppose that $\lambda^{d}$ is the Lebesgue-Borel measure on $\mathbb{R}^d$ and, if $r>0$, $H_r$ is the map on $\mathbb{R}^d$ defined by $H_r(\overline{x})=r\overline{x}$. Furthermore, $K$ is a non-negative real function over $\mathbb{R}^d$ such that…
0
votes
2 answers

Vanishing property of Lebesgue integration

Here is what I'm considering problem. Please give a more thougt Let $f$ be an integrable function on a measure spaxe $(X,M,\mu)$ such that $$ \int_{E}fd\mu=0$$ for all sets $E \in M$. Prove that $f=0$ $\mu$-a.e. I can solve this problem If we…
fivestar
  • 919
0
votes
4 answers

How can I prove that $\overline{\int_{\mathbb R}f}=\int_{\mathbb R}\bar f$?

My teacher often use the result How can I prove that $$\overline{\int_{E}f}=\int_{E}\bar f,$$ where $\bar z$ mean the conjugate. But how can I prove it ? Indeed it looks natural since the conjugate of a sum is the sum of the conjugate, and an…
user380364
  • 1,947
0
votes
0 answers

Can anyone help me in finding this integral? Without using differentiation under integral sign.

Solve the integral $I$ = $\int_0^{\infty} \frac{\sin x}{x} dx$
0
votes
1 answer

Sequence of function in $L^p$

I used following state when I solved some problems. But I can't prove that state. How can I prove that? Let $1
Kim
  • 31
0
votes
2 answers

Why $e^{-x^2}$ is Lebesgue integrable over $\mathbb R$?

Why $x\longmapsto e^{-x^2}$ is Lebesgue integrable over $\mathbb R$ ? How to justify it rigorously ? I know that on compact, if it's Riemann integrable, then it's also Lebesgue, but how does it work over $\mathbb R$ ? Because I know that Riemann…
user330587
  • 1,624
0
votes
1 answer

$\int_0^1[ \int_0^x$ $ f(x,y)\,dy]dx$ = $\int_0^1[ \int_y^1 f(x,y)\,dx]dy$?

Let $f$ be integrable on $[0, 1] × [0, 1]$. Show that $\int_0^1[ \int_0^x f(x,y)\,dy]dx =\int_0^1[ \int_y^1$ $ f(x,y)\,dx]dy$ This is my first problem on the double Lebesgue integral so if someone could explain a bit about what's going on that…
MathNoob
  • 325
0
votes
1 answer

Showing that $f(x) = n(-1)^{n+1}$ if $\frac{1}{n+1}\lt x \lt \frac{1}{n}$ and $f(x)= 0$ if $x=0$ is not Lebesgue integrable

I want that $f(x) = n(-1)^{n+1}$ if $\frac{1}{n+1}\lt x \lt \frac{1}{n}$ and $f(x)= 0$ if $x=0$ is not Lebesgue integrate-able but is improperly Riemann integrate-able. I think I need to show that $$\sum_{a_n}^{b_n}\int \mid f(x)\mid dx$$ doesn't…
MathNoob
  • 325
0
votes
1 answer

Help with this Lebesgue Integral Question

Let $f_n = χ_{[n,2n]}$. Show that $$\lim_{n \to \infty } f_n(x) = 0$$ for each $x ∈ R $ but $$\lim_{n \to \infty } \int_R f_n \;\mathrm{dμ} \neq 0 = \int_R 0 \;\mathrm{dμ}$$ Also could you tell me why does this does not conflict …
0
votes
0 answers

Let $f \in L$ and $0 \le f < 1$. Show that $\lim_{n\to\infty}\int f^n~dx = 0$

This is a problem I'm struggling with. Let $f \in L$ and $0 \le f < 1$. Show that $\lim_{n\to\infty}\int_{[a,b]} f^n~dx = 0$. My professor said I should take $f = f_1-f_2$, and set $f_{1k} = \min(f_1,k), f_{2k} = \min(f_2,k)$ for $k \in \mathbb N$.…
MathNoob
  • 325
0
votes
1 answer

Show that$\int |f(x)−\varphi(x)|\,dx < \epsilon$, where $f$ is in $L$

Here's a proof I'm struggling with: Let $f\in L$ and $\epsilon > 0$. Show that there exists a step function $\varphi$ on $[a,b]$ such that $$\int |f(x)−\varphi(x)|\,dx < \epsilon\ .$$ I figured I would need to use something about $L^+$ but I'm…
MathNoob
  • 325
0
votes
0 answers

Calculate $\lim_{n \rightarrow \infty} \int_{[0, \infty]} e^{-\sqrt x}$ $\cos$ ($x^2 \over n$) $d\lambda^1(x)$.

Calculate $\lim_{n \rightarrow \infty} \int_{[0, \infty]} e^{-\sqrt x}$ $\cos$ ($x^2 \over n$) $d\lambda^1(x)$. My attempt: First, we want to use the Dominated Convergence Theorem. We define $f_n(x) := e^{-\sqrt x}$ $\cos$($x^2 \over n$) and note…
Borol
  • 491