For question about integration, where the theory is based on measures. So it's almost always used together with the tag [measure-theory], and its aim is to specify questions about integral, not only properties of the measure.

learn more… | top users | synonyms

34
votes
2answers
10k views

$L^p$ and $L^q$ space inclusion

Let $(X, \mathcal B, m)$ be a measure space. For $1 \leq p < q \leq \infty$, under what condition is it true that $L^q(X, \mathcal B, m) \subset L^p(X, \mathcal B, m)$ and what is a counterexample ...
30
votes
9answers
7k views

Lebesgue integral basics

I'm having trouble finding a good explanation of the Lebesgue integral. As per the definition, it is the expectation of a random variable. Then how does it model the area under the curve? Let's take ...
30
votes
2answers
9k views

Limit of $L^p$ norm

Could someone help me prove that given a finite measure space $(X, \mathcal{M}, \sigma)$ and a measurable function $f:X\to\mathbb{R}$ in $L^\infty$ and some $L^q$, ...
20
votes
6answers
601 views

Is there a fundamental reason that $\int_b^a = -\int_a^b$

Is there a fundamental reason that switching the order of the limits in an integral results in the negative, i.e., $$\int_b^af(x)\,dx = -\int_a^bf(x)\,dx?$$ As far as I can tell, this is just chosen ...
20
votes
2answers
525 views

Category Theory and Lebesgue Integration.

I'm wondering if there's any Category Theory floating around in the theory of Lebesgue Integration. To avoid things becoming too broad, let's keep this focused on the basics. Here's how I see the ...
18
votes
3answers
583 views

If $\int_{\mathbb R^2} \frac{\vert f(x)-f(y)\vert}{\vert x-y\vert^2}dxdy<+\infty$ then $f$ is a.e. constant

Let $f \in L^1(\mathbb R)$. If $$ \int_\mathbb R \int_\mathbb R \frac{\vert f(x)-f(y)\vert}{\vert x-y\vert^2}dxdy<+\infty $$ then $f$ is a.e. constant. I do not know how to begin. I ...
14
votes
2answers
1k views

A snappy proof of Fatou's lemma

I'm studying basic real analysis and stumbled across three big results (Fatou's lemma, Lebesgue's Dominated Convergence theorem, and the Monotone Convergence theorem) in the theory of Lebesgue ...
12
votes
1answer
137 views

Does $f_n \to 0$ in $L^1(\mathbb R^2)$ imply that $f_{n_k}(x,\cdot)\to 0$ in $L^1(\mathbb R)$ for almost every $x \in \mathbb R$?

I would like to know what you think about this question. It is a "self-posed" question: I formulated it while I was doing an exercise. Suppose you have $(f_n)_{n\ \in \mathbb N}\subset ...
12
votes
1answer
218 views

If $f$ is Lebesgue integrable on $[0,2]$ and $\int_E fdx=0$ for all measurable set E such that $m(E)=\pi/2$. Prove or disprove that $f=0$ a.e.

Let $f$ be a Lebesgue integrable function on $[0,2]$. If $\int_E fdx=0$ for all measurable set $E$, such that $m(E)=\pi/2$. Is $f=0$ a.e. Prove or disprove I could not figure out anything. Can a ...
12
votes
2answers
410 views

Topology of convergence in measure

Currently I am doing some measure theory (on $X=[0,1]$ with the Borel-Sigma algebra and the Lebesgue measure), and I am looking at sets $A \subset L^p$, such that for all $q \in (0,p)$, the topologies ...
10
votes
3answers
2k views

Can a function that has uncountable many points of discontinuity be integrable?

First of all, I would like to show you how we defined Riemann-integrals and Lebesgue-integrals to make sure that we are talking about the same: Riemann-intregrability Let $f:\mathbb{R} \rightarrow ...
10
votes
2answers
3k views

Generalisation of Dominated Convergence Theorem

Wikipedia claims, if $\sigma$-finite the Dominated convergence theorem is still true when pointwise convergence is replaced by convergence in measure, does anyone know where to find a proof of this? ...
10
votes
1answer
160 views

$\int_X |f_n - f| \,dm \leq \frac{1}{n^2}$ for all $n \geq 1$ $\implies$ $f_n \rightarrow f$ a.e.

Let $(X, M, m)$ be an arbitrary measure space. Let $f_n, f \in L^1_m(X)$. Assume that $$\int_X |f_n - f| \, dm \leq \frac{1}{n^2} \text{ for all }n \geq 1. $$ Then I want to show that $f_n ...
10
votes
1answer
702 views

Difference of differentiation under integral sign between Lebesgue and Riemann

Here is a consequence of Lebesgue dominated convergence theorem on differentiation under integral sign. Function $f(x, t)$ is differentiable at $x_0$ for almost all $t \in A$, and $t \to f(x, t)$ ...
9
votes
5answers
617 views

Evaluating Integrals using Lebesgue Integration

Suppose we are to evaluate: $$I = \int_{0}^{1} f(x) dx$$ Where $$f(x)=\begin{cases}1 \space \text{if} \space x\space \text{is rational}, & \newline 0 \space \text{if} \space x \space \text{is ...
9
votes
2answers
318 views

Lebesgue integration of simple functions

Define $f : [0,1] \to \Bbb R$ by $f(x) := 0$ if $x$ is rational, and $f(x) := d^2$ if $x$ is irrational, where $d$ is the first nonzero digit in the decimal expansion of $x$. Show that ...
9
votes
1answer
359 views

Definitions of Lebesgue integral

I know the definition, from A.N. Kolmogorov and S.V. Fomin's Элементы теории функций и функционального анализа, of Lebesgue integral of measurable function $f:X\to \mathbb{C}$ on $X,\mu(X)<\infty$ ...
9
votes
1answer
159 views

Lebesgue space and weak Lebesgue space

Let $1\le p<\infty$. We define the weak Lebesgue space $wL^p(\mathbb{R}^d)$ as the set of all measurable functions $f$ on $\mathbb{R}^d$ such that \begin{equation} \|f\|_{wL^p}=\sup_{\gamma>0} ...
9
votes
1answer
125 views

A dominated convergence theorem applied to $e$ number definition

I want to show that: $$\lim_{n\to\infty}\left(1+\frac{1}{n}\right)^n=\sum_{k=0}^\infty \frac{1}{k!}.$$ By the binomial theorem $$\lim_{n\to\infty}\left(1+\frac{1}{n}\right)^n = ...
9
votes
1answer
124 views

Evaluating $\sum_{n=0}^{\infty}\ \int_{\pi/4}^{\pi/3}\sin^{n}x (1-\sin x)^2 dx$ using a convergence theorem

$$\sum_{n=0}^{\infty}\ \int_{\pi/4}^{\pi/3}\sin^{n}x (1-\sin x)^2 dx$$ Let $g_n = \sin^{n}x (1-\sin x)^2$ $g_n$ is a sequence of measurable functions and $g_n \ge 0$ so applying the Beppo Levi ...
9
votes
2answers
2k views

Is there a solution manual for Royden fourth edition?

I bought the fourth edition of Royden Real Analysis, this book is awesome and is quite different of third edition that has less excersices. I have the solution manual for the third edition. Is there ...
8
votes
6answers
236 views

give an example of a function that is integrable in $\mathbb R $ and $\lim_{ x\to \infty}f(x)\neq0$

i did a search for such function but didn't found anything useful/complete ! , like this : Integrable function $f$ on $\mathbb R$ does not imply that limit $f(x)$ is zero is there any function that ...
8
votes
3answers
555 views

How do I prove $f=0$ almost everywhere?

During one of the problems in Rudin I was asked to show $f=0$ a.e. Here $f$ satisfies this condition: $$f(x)=\frac{1}{x}\int^{x}_{0}f(t)dt$$ almost everywhere and is in $L^{p}(0,\infty)$. So constant ...
8
votes
2answers
120 views

How can using a different definition for the integral be useful?

It's often said that the Lebesgue integral is superior to the Riemann integral because it satisfies nicer properties, for instance things like $$\lim_{n\to\infty} \int f_n = \int \lim_{n\to\infty} ...
8
votes
1answer
593 views

The integral of a characteristic function with respect to a product measure.

Problem: Let $ (X,\mathcal{A},\mu) $ and $ (Y,\mathcal{B},\nu) $ be measure spaces, where $ X = Y $ is the interval $ [0,1] $, $ \mathcal{A} = \mathcal{B} $ is the collection of Borel ...
8
votes
1answer
307 views

Holder's inequality for infinite products

In analysis, Holder's inequality says that if we have a sequence $p_1, p_2, \ldots, p_n$ of real numbers in $[1,\infty]$ such that $\sum_{i=1}^n \frac{1}{p_i} = \frac{1}{r}$, and a sequence of ...
8
votes
2answers
1k views

I want to understand uniform integrability in terms of Lebesgue integration

According to my Real Analysis textbook, a family $\scr{F}$ of measurable functions on $E$ is said to be uniformly integrable over $E$ provided for each $\epsilon$ $>$ $0$, there is a $\delta$ ...
8
votes
1answer
309 views

$L^{p}$ functions from Rudin Exercises 3.5

I am attempting a question from Rudin's "Real and Complex Analysis" Chapter 3 question 5. I shall summarise the question as below: Suppose that $f$ is a complex measurable function on $X$, $\mu$ a ...
8
votes
1answer
315 views

Limit of measurable functions in finite measure space

Let $(X,\mathcal{M},\mu)$ be a measure space with $\mu(X)<\infty$. Let $f_n$ be a sequence of measurable real-valued functions such that $f_n$ converges pointwise a.e. to a real-valued function ...
8
votes
1answer
873 views

How to find a measurable but not integrable function or a positive integrable function?

For an arbitrary interval $I$, how can we find a positive on $I$ integrable function? And how does one construct a measurable but not integrable function. If not all measurable functions are ...
8
votes
2answers
560 views

Reinventing The Wheel - Part 1: The Riemann Integral [closed]

Preface The core of any notion of integral is some sort of weighted sum: $$\sum b\mu(A)$$ Depending on wether the domain or range is decomposed these split into Riemann and Lebesgue type ones: ...
8
votes
0answers
134 views

Theorem $2.14$ page $40, 41$ in Rudin - Real and Complex Analysis

Can anyone tell me the signification of Theorem $2.14$ (The Riesz Representation Theorem in locally compact Hausdorff spaces), page $40, 41$ in Rudin - Real and Complex Analysis? And some applications ...
8
votes
2answers
444 views

constructing a sequence of simple functions with Lebesgue measure approaching the riemann integral

Let $\lambda$ denote the Lebesgue measure on the Borel sets of [0,1]. Let $f: [0,1] \rightarrow \mathbb{R}$ be continuous. I know that the Riemann integral $I:=\int_{0}^{1} f(x)dx$ exists. I also know ...
7
votes
3answers
656 views

Prove that $\,f=0$ almost everywhere.

Let $f$ be a Lebesgue integrable function on $[0,1]$ such that, for any $0 \leq a < b \leq 1$, $$\biggl|\int^b_a f(x)\,dx\,\biggr| \leq (b-a)^2\,.$$ Prove that $f=0$ almost everywhere. I would ...
7
votes
2answers
106 views

Integral limit of $\sin(x/n)f(x)$

For any $f\in L^1[0,\pi]$, evaluate $n\to \infty \int^\pi_0 n$sin$(x/n)f(x)dx$ My idea is, $n$sin$(x/n)f(x)\to xf(x)$ and it seems that it is increasing sequence. I am not able to show it is ...
7
votes
2answers
217 views

Measure theory questions

i. If $1 < p < \infty$ and $E = \{f_a, a \in A\}$ set of measurable functions of $\mathbb{R}$ and $\sup_{a \in A} ||f_a||_p < \infty$, I want to show that for $ 0 < q < p$, $\lim ...
7
votes
1answer
194 views

Dense subspace of $L^{2}[0,1]$

I know that $C[0,1]$ is dense in $L^{2}[0,1]$ but is $\{f\in C^{2}[0,1]:f(0)=f(1)=0\}$ dense in $L^{2}[0,1]$?
7
votes
2answers
63 views

Lebesgue integrable function over $(0,1)$ vs $[0,1]$

Up till now, I thought saying $u \in L^2([0,1])$ is the same as saying $u \in L^2((0,1))$, because I see people emphasizing "$u$ is Lebesgue integrable over $[0,1)$". I thought the whole point of the ...
7
votes
3answers
241 views

Convergence of functions in $L^p$

Let $\{f_k\} \subset L^2(\Omega)$, where $\Omega \subset \mathbb{R}^n$ is a bounded domain and suppose that $f_k \to f$ in $L^2(\Omega)$. Now if $a \geq 1$ is some constant, is it possible to say ...
7
votes
0answers
313 views

Why is Lebesgue-Stieltjes a generalization of Riemann-Stieltjes? Moreover, is there an example where Lebesgue-Stieltjes is useful

I certainly have a question, but i don't know what the best title should be. Please edit the title if there is a better one :) And I believe, to get a better answer, it would be good to explain ...
7
votes
0answers
332 views

Egorov's theorem for this Lebesgue integral

I want to prove Egorov's theorem using this Lebesgue integral defined by the upper integral $$\int^*f:=\left\{\int h ; h \ge f \text{ and h upper-continuous }\right\}$$ $$\int_*f:=\left\{\int h ; h ...
7
votes
1answer
795 views

Riemann-Stieltjes integrability criterion

I am currently reading through chapter 11 of Rudin's Principles of Mathematical Analysis, and I'm trying to solve problem 7: Find a necessary and sufficient condition that $f \in \mathfrak R(\alpha)$ ...
6
votes
2answers
419 views

Integrating over the naturals. What does it mean?

Let $F$ be the power set of $\Bbb{N}$ and consider the measurable space $(\Bbb{N}, F)$. Then what does it mean to take the integral with respect to the measure $\mu(A) = \sum_{a \in A} \frac{1}{a}$. ...
6
votes
3answers
127 views

Finding the integral of $\frac{x}{e^x + 1}$ [duplicate]

I've having some difficulty with finding this integral: $$ \int_0 ^{\infty} \frac{x}{e^x + 1}$$ Now usually I would use the monotone convergence theorem to write (using geometric series): $$f_n (x) ...
6
votes
4answers
2k views

Proof of Riemann-Lebesgue lemma

I read a book, and this mention to the following lemma of Rieman-Lebesgue type. Lemma. Let $-\infty<a<b<\infty$ and $f(x,y):[a,b]^2\to\mathbb R$ be an integrable and nonnegative function. ...
6
votes
3answers
467 views

General condition that Riemann and Lebesgue integrals are the same

I'd like to know that when Riemann integral and Lebesgue integral are the same in general. I know that a bounded Riemann integrable function on a closed interval is Lebesgue integrable and two ...
6
votes
2answers
3k views

Is Dirichlet function Riemann integrable?

"Dirichlet function" is meant to be the characteristic function of rational numbers on $[a,b]\subset\mathbb{R}$. On one hand, a function on $[a,b]$ is Riemann integrable if and only if it is bounded ...
6
votes
1answer
195 views

Prove that $\displaystyle \lim_{n \rightarrow \infty} \frac{1}{n}\int^n_0xf(x)dx = 0$

Let $f(x) \geq 0$ be continuous on the interval $[0, \infty)$, and suppose that $\int_0^\infty f(x)dx < \infty$. Prove that $\displaystyle \lim_{n \rightarrow \infty} \frac{1}{n}\int^n_0xf(x)dx = ...
6
votes
2answers
99 views

If $\int f=0$ and $f(x) \ge 0$ for all $x \in \mathbb{R}^d$, then $f=0$ a.e.

If $\int f=0$ and $f(x) \ge 0$ for all $x \in \mathbb{R}^d$, then $f=0$ a.e. I let $E \subset \mathbb{R}^d$ be a finite measurable set. I try to break this into two cases: Case 1: If $f(x)=0$ ...
6
votes
2answers
149 views

Partial integration for lebesgue integrable functions

I want to show the following: Let be two Lebesgue integrable functions given: $f,g:[a,b] \rightarrow \mathbb R$. We define the functions: $$F,G: [a,b] \rightarrow \mathbb R : F(x)=\int_{[a,x]}^ \! ...