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

Integral convergence

Please how can I show that the $\lim_{n \rightarrow \infty}\int_{\Re^+}f_n d\mu$ converges and determine its limit in the following cases of $f_n: \Re^+ \rightarrow \Re$ (a)$f_n(x) = sin(nx) \chi_{[0,n]}(x)$. (b) $f_n(x)=…
0
votes
1 answer

Show the $\min(f_n, f)$ has lebesgue integral converge to $\int_{A}f dm$

let $A$ be a subset of the reals, $f_n,f$ are positive lebesgue measurable functions that $f_n$ converge to f pointwise and $\int_{A}f_n dm$ converge to $\int_{A}f dm$ with $\int_{A}f dm<\infty$. prove $\int_{A} \min(f_n,f) dm$ converge to…
Rann
  • 719
0
votes
1 answer

prove that the lebesgue integral of 2 functions is finite

For the first function we have: if $\mu(X)\lt\infty$ and $f\in L^+$ then $\int fd\mu\lt\infty \iff \sum_{n=0}^\infty 2^n\mu(\{x\in X:f(x)\ge2^n\})\lt\infty$ For the second one: let $f\in L^+$ bounded, then $\int fd\mu\lt\infty \iff…
reneto
  • 277
0
votes
1 answer

lebesgue integral

let $f\ge 0$ be a measurable function s.t. $\int_R fdm=\infty$, show that for any M>0 there is a real measurable function g, and $0\le g \le f$ and the following hold: $\int_R g dm \ge M$ and g is bounded and m(x:g(x) $\ne$ 0)< $\infty$. I think g…
Rann
  • 719
0
votes
1 answer

g_n integrable on R

Let g_n (x) = 1 if x=0 sin x /x if -n<= x <= n 0 if x<-n or x>n show that for every n, g_n is integrable (Lebesgue integrable) on R.
Jawad
  • 37
0
votes
1 answer

Show that f is Lebesgue integrable on R?

Show that $f(x)=1/x^{1/2}, x \in (0,1]$ is Lebesgue integrable?
Jawad
  • 37
0
votes
1 answer

Show divergence in $L_1$

Denote $g_n$ by $$ g_n(x) := \sin(2 \pi x) \sin(2 \pi n x) \frac{1}{x^2} \ . $$ How can we show that $\|g_n\|_{L_1(\mathbb{R})} \rightarrow \infty$, as n tends to $\infty$
0
votes
1 answer

How do you call functions integrable over any compact subset of their domain?

I'm quite sure there is a name for such class of functions but can not remember or figure out what terms to search for. A simple and very practical example would be "periodic Lebesgue" functions: functions which are periodic—and thus, except for…
The Vee
  • 3,071
0
votes
3 answers

Does the Lebesgue version of Hardy-Littlewood really require a multiple of 3?

I'm reading Axler's proof of the following which he calls the Hardy-Littlewood maximal inequality. Before writing the proof I'll flag that my question is about the use of the Vitali Covering Lemma which produces a multiple of 3. Theorem: Suppose…
Addem
  • 5,656
0
votes
0 answers

$ g $ is amost everywhere unique.

Let be $ (\Omega, \mathcal{A},\mu) $ a measure space with $ \mu(\Omega)<\infty $, $ f\in L_2(\Omega, \mathcal{A},\mu) $ and $ \mathcal{G}\subseteq \mathcal{A} $ a $ \sigma $-Algebra. Further let $ g\in L_2(\Omega, \mathcal{G},\mu) $ with $$…
hallo007
  • 545
0
votes
0 answers

Lebesgue integral of exponential

Assume that $p>1$ and $e^f\in L^p[0,1]$ and assume that $f_n$ is a sequence of bounded function converging pointwise to $f$ and $\|f_n-f\|_{L^p[0,1]}\to 0$. Can we conclude that $\|e^{f_n}-e^f\|_{L^p[0,1]}\to 0$?
0
votes
0 answers

integrability of functions $h$ and $g$

For a finite measure subset $A$, and two functions $h(x)$, $g(x)$ on $A$, if $h(x)-g(y) \in L^1(A \times A)$, show that $h(x), g(x) \in L^1(A)$
ISO
  • 225
0
votes
0 answers

Convergence of integrals for subsequence

In an article I'm currently reading, a reasoning is used that I don't understand. We have an integral of a function over a domain with both depending on the same $\epsilon>0$. They show that $$\displaystyle\int_{D_\epsilon}f_\epsilon g_\epsilon dx…
0
votes
2 answers

Do they mean point-wise infimum here?

Probability Tutorials They must mean point-wise $\inf$ right? $g_n(w) := \inf_{k\geq n} f_k(w)$? Thanks.
0
votes
1 answer

Doubt on Lebesgue integration

How to prove that $\int_{\Omega}(a+b|u|^{(p-1)})^{q}\le C\int_{\Omega}(1+|u|^{(p-1)q})$ where $ u\in L^{p}(\Omega)$, and a,b are constants. q is a conjugate exponent of p
nanthini
  • 151