2
votes
1answer
27 views

On convergence a.e and convergence measure

I have a question. First, I know that convergence in measure of a sequence of functions $f_n$ is different than convergence a.e., wich means there are sequences that converge in measure but not a.e. ...
0
votes
1answer
44 views

$\int_X f(x)\,d\mu\,\,$ exists iff $\,\,\int_X \lvert \,f(x)\rvert\,d\mu\,\,$ does

I know that, for a domain of finite measure $X$, provided that $f$ is measurable, each of the Lebesgue integrals$$\int_X f(x)d\mu\quad\text{ and }\quad\int_X |f(x)|d\mu$$exists if and only if the ...
1
vote
0answers
39 views

Measurability and a integral

I need to calculate $\lim_{n\rightarrow\infty}\int^{\infty}_{0}\frac{cos(\frac{x}{n})}{2^x}d\lambda(x)$ and show that the integral makes sense for every $n$. My approach so far: Let ...
1
vote
1answer
35 views

Lebesgue integral and anti-derivative

For which Lebesgue measures the Lebesgue integral of a differentiable function over a Euclidean space or an orientable manifold coincides with its anti-derivative? For example, can we find the class ...
1
vote
0answers
24 views

Linearity of the integral without $\sigma$-additive measures

I was wondering how you could prove the linearity of the integral without using that measures are $\sigma$-additive. I have no clue of where to start, but let me state my question more precisely. ...
1
vote
1answer
31 views

proof of DCT with weak condition(almost everywhere)

I have a question about a proof of the dominating convergence theorem, with weak requirements. Before I show the proof from the book, note that in my book you are allowed to integrate functions that ...
8
votes
1answer
98 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} ...
0
votes
1answer
46 views

Real Analysis - Lebesgue integrable functions

Let $E$ be a measurable set. Suppose $f \geq 0$ and let $E_k=\{x \in E_k|f(x) \in (2^k, 2^{k+1}] \} $ for any integer $k$. If $f$ is finite almost everywhere, then $\bigcup E_k = \{x \in E |f(x)>0 ...
3
votes
0answers
41 views

Equivalence of Lebesgue integral definitions

I'm currently enrolled in a course in integration and functional analysis following Avner Friedman's Foundations of Modern Analysis. However, I noticed that his definition of the Lebesgue integral is ...
0
votes
1answer
12 views

Finding a bound for the maximum function

the following problem says: Show that if is f an integrable function in $\mathbb{R}^d$ and not identically null, then $$f^*(x)\geq\frac{c}{|x|^d}$$ where $c>0$, $|x|\geq 1$ and $f^*(x)=\sup_{x\in ...
0
votes
3answers
46 views

Complex Lebesgue integral, property

Lets say that you for real functions have proved that: $|\int_{\Omega}fd\mu|\le \int_{\Omega}|f|d\mu$. How do I then prove that it also holds for complex-valued functions? I guess this amounts to ...
2
votes
1answer
21 views

series of the integrals converges then the series converges almost surely

I know this was asked but I want a proof of this without using Fubini theorem. Anyway the first part of the problem can't be concluded using Fubini. I don't know how to do it :/ Let $f_k:\mathbb R ...
0
votes
0answers
26 views

Not sure if I understand the significance of support in these theorems.

I am just beginning to study the Lebesgue integral, and our building our way up to it. Right now we are defining the integral for bounded functions supported on a set of finite measure. In the ...
1
vote
1answer
30 views

$\sup_{n \geq 0} E[|X_n|\ln(|X_n|)] < \infty$ implies that random variables $X_n$ are uniformly integrable

$X_n$ are uniformly integrable if $\lim_{R \rightarrow \infty} \sup_n E[|X_n|,|X_n| \geq R] = 0$. Show that if $\sup_{n \geq 0} E[|X_n|\ln(|X_n|)] < \infty$, then $X_n$ are uniformly integrable. ...
0
votes
0answers
23 views

proof in Holders inequality,(equality) [duplicate]

I have this proof in my book: I would like to prove what I underlined in red. but I get stuck. I guess in order to get equality we only need the opposite inequality. However I still don't ...
0
votes
1answer
29 views

Show that $\int_{X}u\, \mathrm{d}\mu\leq 4$ and $\int_{X}u\, \mathrm{d}\mu=1$.

Let $(X,\mathcal{A},\mu)$ be a measureable space. Let $u\in \mathcal{M}_{\mathbb{R}}^{+}(\mathcal{A})$ and $\lbrace u_{j}\rbrace_{j\geq 1}$ be a sequence of functions in ...
0
votes
0answers
25 views

Determine integrals $\int_{\mathbb{R}}u\, \mathrm{d}\delta_{3}$ and $\int_{\mathbb{R}}u\, \mathrm{d}\delta_{\pi}$.

Consider the function $u:\mathbb{R}\to [0,\infty]$ given by $$ u(x)=\sum_{n=1}^{\infty}\frac{1}{n^{2}}1_{[n,n+1]}(x) $$ I have determined that $\int_{\mathbb{R}}u\, \mathbb{d}\lambda=\pi^{2}/6$ where ...
0
votes
1answer
34 views

Sequence of functions that converges a.e. but not in the $L^1$ norm [closed]

How can I construct a sequence of functions that converges a.e. but it does not in the $L^1$ norm?
0
votes
0answers
16 views

regarding the well definedness of lebesgue integration's definition.

we know that the lebesgue integral for a simple function is defined by $$\int s=\sum_{n=1}^m\alpha_n\mu(s^{-1}\{\alpha\})$$. And we know that the canonical representation for a simple fuction need ...
1
vote
1answer
24 views

Proof of Egorov's theorem

I was wondering, looking at the proof of Egorove in :http://en.wikipedia.org/wiki/Egorov%27s_theorem, how could we be so sure as to say that each set $E_{n,k}=\bigcup_{m\geq k}\left\{x\in ...
2
votes
1answer
54 views

If $\mu(X)<\infty$, $\int |f_n|<C$ for all n, and $f_n\rightarrow f$ a.e.Show that $f_n\rightarrow f$ in $L^1$.

If $\mu(X)<\infty$, $\int |f_n|<C$ for all n, and $f_n\rightarrow f$ a.e.Show that $f_n\rightarrow f$ in $L^1$. I tried to use uniform integrability but I could not figure out completely. ...
3
votes
1answer
49 views

Properties of Lebesgue Integration

I am completely stuck with the following problem on Lebesgue Integration: Let $f:\mathbb{R}^d \to [0, +\infty]$ be measurable. Show that if $\int_{\mathbb{R}^d} f(x)dx < \infty$, then $f$ is ...
1
vote
2answers
73 views

Elias Stein : Real Analysis

I cannot understand why this particular line in the text is true: " Moreover, there are $O(k^{d-1})$ cubes in $\cal{Q}\ '$ " For the text see ...
1
vote
1answer
25 views

Does this proof for the MCT hold for the extended real valued functions.

Here is a proof for the MCT, but it says that it is for the real numbers, not the extended real numbers. If we allow the function f to take the value infinity does the proof still hold? I can not see ...
2
votes
2answers
39 views

Can simple functions take the value infinity?

I don't think my book is clear about this. It is "a course in real analysis", by weiss. Now I am in the chapter about the general lebesge integral, and we are going to develop the non-negative ...
1
vote
1answer
34 views

Can this exercise be solved by DCT, I was only able to use MCT.

How would you solve this exercise? You don't need to give me the details, just the general idea. Let f be a Lebesgue integrable function. Show that $\int f(x+a) d\lambda=f(x) d\lambda$ and ...
0
votes
0answers
22 views

Measure of triangular area

Let $\lambda\in[0,1]$, $\Omega=[0,1]^2$, $\vec{m}$ and $\vec{n}$ be two linearly independent vectors, $i\in\mathbb{N}$ and $h(t)$ the periodic extension of $$\tilde{h}(t):=\begin{cases} (1-\lambda)t ...
1
vote
2answers
76 views

The limit of $\int_{0}^{1}\frac{\sqrt{n}}{1+n\ln(1+x^2)}dx$ as $n\to\infty$

The task is to calculate $$\lim_{n\to\infty}\int_{0}^{1}\frac{\sqrt{n}}{1+n\ln(1+x^2)}dx$$ I tried various estimates I know to find the dominating integrable function and nothing worked. Does anyone ...
0
votes
0answers
16 views

Integration of a continuous function under Lebesgue-Stieltjes measure space using simple functions

I am struggling to prove the following result using an approximating sequence of simple functions. Could anyone give me a clue? Under a Lebesgue-Stieltjes measure space ...
1
vote
0answers
37 views

functional analysis: show L^1 integral operator has norm 1

I just started my course in functional analysis and have already stumbled across some things I don't understand, which are quite basic :(. In my lecture notes it says: Let $\mu$ be a measure on a ...
1
vote
0answers
39 views

Proof monotone convergence theorem, why do they use this lim sup?

I have a question about the proof of the MCT. First they use a lemma, this is ok, but I'll show it for completeness: Now comes the proof. But I am wondering, why do they use a lim sup here?, why ...
3
votes
1answer
71 views

Prove that $\int_0^1f'(x)dx \leq f(1) - f(0)$.

Let $f(x)$ be a non-decreasing function on $[0, 1].$ You may assume that $f$ is differentiable almost everywhere. Prove that $\int_0^1f'(x)dx \leq f(1) - f(0)$. I am having a hard time with this ...
2
votes
1answer
41 views

Example with almost every convergence where the dominated convergence theorem fails

So I ran into this exercise, and I want someone to check the accuracy of my answer, because I feel pretty sure that I make some mistakes which I can't see. Let $f_n(x) : \mathbb{R} \to \mathbb{R}, ...
1
vote
1answer
26 views

(a) Prove that $f_n(x) → f(x)$ uniformly on $E$ as $n → ∞.$

Let $E ⊂ R$ be a compact (i.e., closed bounded) set of real numbers. Suppose $\{f_n\}$ is a sequence of real-valued continuous functions which converges pointwise on $E$ to a function $f$ that is also ...
3
votes
0answers
50 views

Prove that there exists a continuous increasing function $\sigma(x)$ on $I$ such that $\sigma'(x) = + \infty$ for every $x_0 \in E$.

Let $I = [a, b], E \subset I, m(E) = 0$ (but $E$ not empty). Prove that there exists a continuous increasing function $\sigma(x)$ on $I$ such that $\sigma'(x) = + \infty$ for every $x_0 \in E$. I am ...
6
votes
1answer
61 views

Consider the sequence $f_n(x) = (\sin(πnx))^n , n = 1, 2, …,$ on the interval $[0,1].$

Consider the sequence $f_n(x) = (\sin(πnx))^n , n = 1, 2, ...,$ on the interval $[0,1].$ Prove that for any $δ > 0$ there is a set $E ⊂ [0,1]$ with $m(E) > 1−δ,$ and a subsequence $f_{n_k} (x), ...
2
votes
1answer
37 views

Fubini's theorem for complete $\sigma$-algebras vs. non-complete $\sigma$-algebras

Suppose $(X, \Sigma, \mu)$ and $(Y, \tau, \nu)$ are both complete measure spaces. Consider the following two measure spaces: $(X \times Y, \overline{\Sigma \times \tau}, \mu \times \nu)$ and $(X ...
0
votes
1answer
30 views

Show that there exists an $\sum$-measurable simple function $\phi$ such that: $\int |f-\phi| d\mu <\epsilon$

Problem: Let $f \in L(X;\Sigma)$ where $L(X;\sum)$ is the set of integrable functions that can be written as $f=f^{+}-f^{-}$ where $\int f^{+} d\mu < \infty $ and $\int f^{-} d\mu < \infty $ ...
2
votes
1answer
26 views

$L^{1}$ norm of a horizontally shifted measurable function

Suppose we are in $(\mathbb{R}, \mathcal{B}(\mathbb{R}), m)$, where $m$ is Lebesgue measure and $\mathcal{B}(\mathbb{R})$ is the Borel $\sigma$-algebra on $\mathbb{R}$. Also, suppose $g: \mathbb{R} ...
0
votes
1answer
30 views

About a $\sigma$-finite measure

Consider a probability space $(\Omega,\mathcal H,P)$ and a real random variable $X$ such that $E(X)$ is well defined (also infinite values are allowed). Is it true that the measure ...
0
votes
0answers
36 views

Prove that $E + F = \{x + y : x \in E, y \in F \}$ contains an open interval [duplicate]

Suppose that $E$ and $F$ are Lebesgue measurable sets of $\mathbb{R}$, and their Lebesgue measures $m(E) > 0, m(F) > 0.$ Prove that $E + F = \{x + y : x \in E, y \in F \}$ contains a nonempty ...
3
votes
3answers
98 views

Show that for any $g \in L_{p'}(E)$, where $p'$ is the conjugate of $p$, $\lim_{k \rightarrow \infty}\int_Ef_k(x)g(x)dx = \int_Ef(x)g(x)dx$

Let $1 < p < \infty, f_k \in L_p(E), k = 1, 2, ..., $ and $\lim_{k \rightarrow \infty}f_k(x) = f(x)$ a.e., $\sup_{1 \leq k<\infty}||f_k||_p \leq M$. Show that for any $g \in L_{p'}(E)$, ...
1
vote
1answer
33 views

Measurability of product of Borel measurable functions with different domains?

Suppose we are in the measure space $(\mathbb{R}, \Sigma(m), m)$ ($m$ is Lebesgue measure). Also, suppose $f, g \in L^{1}(dm)$. We define the convolution of $f$, $g$, by $(f * g)(y) = \int ...
5
votes
1answer
153 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 = ...
2
votes
1answer
39 views

Suppose that the infinite series $\displaystyle \sum_{n=1}^\infty \mu\{x \in X : |f_n(x)| \geq \epsilon\}$ converges for each $\epsilon > 0.$

Let $\{f_n\}$ be a sequence of measurable functions on a measure space $(X, \mathcal{M}, \mu)$. Suppose that the infinite series $\displaystyle \sum_{n=1}^\infty \mu\{x \in X : |f_n(x)| \geq ...
2
votes
1answer
46 views

Prove that for any $1 < p < ∞$ there exists a function $f ∈ L_p(μ)$ such that $f \notin L_q(μ)$ for any $q > p.$

Let $(X, Ω, μ)$ be a finite measure space. Assume that for any $t > 0$ there exists $E ∈ Ω$ satisfying $0 < μ(E) < t.$ Prove that for any $1 < p < ∞$ there exists a function $f ∈ ...
1
vote
0answers
50 views

Lebesgue-integrable and existence of integral

I have given the following function $$ f(x,y) = \begin{cases} 1 &, \ x \in \mathbb{Q} \\ 2y & , \text{ otherwise} \end{cases} $$ This is a measurable function in sense of Lebesgue. Now, I ...
1
vote
1answer
39 views

Integral $ \lim_{k \rightarrow \infty} \int_{\mathbb{R}^n} \chi_{B_k} f \mathrm{d}\lambda_n(x) $ (Lebesgue)

I have to compute the following integral: $$ \lim_{k \rightarrow \infty} \int_{\mathbb{R}^n} \chi_{B_k} f \mathrm{d}\lambda_n(x) $$ $\chi_{B_k}(x) =\begin{cases} 1 &, \text{if } x \in B_k \\ 0 ...
2
votes
2answers
59 views

Is a $L^1$-function which is linear near the origin in $L^p$?

Suppose you have a function $f$ on $\mathbb{R}$, such that $$\int_{-\infty}^{\infty} | f(x) | \, \mathrm{d} x < \infty$$ and $$\int_{-u}^u |f(x)| \, \mathrm{d} x = \mathcal{O}(u)$$ for $u \to 0$. ...
1
vote
1answer
46 views

Series converges but term by term integration not valid?

Give an example of a series $\sum g_n$ of Lebesgue integrable functions on $\mathbb{R}$ that converges but for which term by term integration is not valid. This is last minute exam revision so I do ...