0
votes
1answer
22 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
23 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
23 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
34 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 ...
1
vote
2answers
32 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
18 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
131 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
36 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
37 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
46 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
35 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
55 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
44 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 ...
-1
votes
1answer
23 views

What is the integral of $\int_{\mathbb{N}} s d\mu$ where $\mu$ is the counting measure on $\mathbb{P}(\mathbb{N})$?

What is the integral of $\int_{\mathbb{N}} s d\mu$ where $\mu$ is the counting measure on $\mathbb{P}(\mathbb{N})$? What does it mean for $s$ to be integrable? 1. This is last minute exam revision. ...
1
vote
1answer
55 views

Why define the Lebesgue-Integral just for measurable functions?

Usually, the Lebesgue integral, for example on Wikipedia, is defined for non-negative measureable functions as $$ \int_E f \, d\mu := \sup\left\{ \int_E s \, d\mu : 0 \le s \le f, s \text{ simple } ...
0
votes
1answer
32 views

Calculate Radon-Nikodym derivative in a point when it is continuous in that point

I can't solve the following exercise, even if I find it quite intuitive. Let $\nu, \mu$ be Radon measures on a metric space $(X,d)$. Suppose that: 1) $w\in L^1(X,\mu), w\geq 0$ $\mu$ a.e.; 2) $w$ is ...
0
votes
1answer
11 views

can representatives of an equivalence class of L_1(r^d)be nonmeasurable

Motivation: The composition of 2 Lebesgue measurable functions need not be measurable. This problem can be dealt with in a case by case basis( like with convolutions). Or as Big Rudin does, apply ...
1
vote
0answers
31 views

Prove something is a signed measure

Given a measure space $(X,\mathcal{M},\mu)$ and a measurable function $f:X\rightarrow \overline{\mathbb{R}}$ such that at least one of $f^+$ or $f^-$ is integrable, show that ...
1
vote
0answers
17 views

Non Borel Spaces: Gauge Integral

Is there a gauge integral over non Borel spaces? (My interest lies in finite measure spaces.) It seems as the definition of the gauge integral crucially depends on the existence of open sets for a ...
1
vote
0answers
87 views

Riemann implies Lebesgue integrablility on $\mathbb{R}^n$, prove $f(x)$ continuous at x where $g(x)=G(x)$

Let $f:[a_1,b_1]\times \cdots \times[a_n,b_n] \rightarrow \mathbb{R}$ be Riemann integrable. Prove that is $f$ Lebesgue integrable. Proof: $$Q:= [a_1,b_1]\times \cdots \times [a_n,b_n].$$ For simple ...
0
votes
1answer
36 views

A tricky integral with vanishing domain

I would love to have the following result, however I got no clue if it is even true! Let $B_n:=\{y:\varepsilon_n<|y|\leq\tilde{\varepsilon}_n\}$ for some sequences ...
3
votes
0answers
64 views

Why is the value assigned to a gauge integral well defined (unique)?

Why is the value assigned to a gauge integral well defined (unique)? If we would have given a net (so an underlying order that happens to be directed), then the limit would be unique given a ...
4
votes
2answers
128 views

The set $E= \{x\in [0,1]: \sum_{j=1}^\infty t^j|x−q_j|^{-r} <\infty\}$ does not contain all irrational numbers in $[0,1]$

Let $q_1,q_2,q_3,...$ be an enumeration of $\mathbb{Q}\cap[0,1]$ and let $r,t \in (0,1).$ Consider the set $$E= \{x\in [0,1]: \sum_{j=1}^\infty t^j|x−q_j|^{-r} <\infty\} $$ (a) Show that $E\neq ...
0
votes
0answers
57 views

Show that $\int_{\mathbb{R}^n}f_1f_2 …f_n dx_1 …dx_n ≤ (I_1 …I_n)^{1/(n−1)}.$

For $\quad k = 1,2,...n,\quad$ let $\quad\mathbb{R}^k = \mathbb{R},\quad f_k(x_1,...,x_{k−1},x_{k+1},\ldots,x_n)\quad$ be a nonnegative measurable function on $\quad\mathbb{R}_1\times\ldots\times ...
2
votes
0answers
25 views

Problem involving decomposition of measures

Let $\mu$ be a signed measure. We wish to prove that $$\left| \int{f} \> d\mu \right| \leq \int{|f|} \> d|\mu|.$$ (We are given the following defintion: $\int{f} \> d\mu = \int{f} \> ...
1
vote
3answers
79 views

Lebesgue integral of $\chi_{\mathbb{Q}}: \mathbb{R} \rightarrow \mathbb{R}$

Suppose $(X, \mathfrak{A}, \mu)$ is a measure space. Let $\phi$ be a simple function with canonical representation $\sum^{k}_{n=1} a_{n} \chi_{E_{n}}$. I know we define the Lebesgue integral of $\phi$ ...
1
vote
1answer
32 views

Finite Measure Space: Integral Closure = Bochner Integral

I can't sleep for so long time as the integral gives me headaches. I was looking for so many approaches. Now another one. Hope this works... Let $\Omega$ be a finite measure space and $E$ a Banach ...
0
votes
0answers
36 views

Prove that the function $g(·)$ is twice continuously differentiable and that $g′′(α) ≥ 0$ for all $α ∈ \mathbb{R}$, i.e.

Let $f$ be a real Lebesgue measurable function on the interval $[0, 1]$ such that $∥f∥∞ < ∞.$ For $α ∈ \mathbb{R}$ define a function $g(α)$ by $g(α) = \log \int_0^1\exp[αf(x)] dx .$ (a) Prove that ...
0
votes
1answer
49 views

Find $\lim_{n \rightarrow \infty}$$\int_0^n(1 + \frac{-x}{n})^n\cos(\frac{x}{\sqrt{n}})e^{x/2}dx$

Find $\lim_{n \rightarrow \infty}$$\int_0^n(1 + \frac{-x}{n})^n\cos(\frac{x}{\sqrt{n}})e^{x/2}dx$ I want to use dominated convergence theorem obviously. However, not sure how to dominate it. ...
1
vote
0answers
43 views

Prove that $f\ast g$ is defined a.e., integrable, and such that $∥f\ast g∥_1 ≤ ∥f∥_1 · ∥g∥_1$

Let $f,g : \mathbb{R} → \mathbb{R}$ be $L_1$-functions. Set $h(x) = \int_\mathbb{R}f (x − y)g(y) \, dm(y).$ Prove that $h(x)$ is defined a.e., $h ∈ L_1(\mathbb{R})$ and $∥h∥_1 ≤ ∥f∥_1 · ∥g∥_1.$ So I ...
3
votes
1answer
44 views

Let $(X,μ)$ be a measure space. Find a necessary and sufficient condition on $(X,μ)$ that $L_q(E) ⊂ L_p(E)$ for all $1 ≤ p < q ≤ ∞.$

Let $(X,μ)$ be a measure space. Find a necessary and sufficient condition on $(X,μ)$ that $L_q(E) ⊂ L_p(E)$ for all $1 ≤ p < q ≤ ∞.$ I want to say that the condition is that $E$ is finite. This ...
2
votes
0answers
37 views

Show that $\int_E f (x, y) dx$ is differentiable with respect to $y$ and $\frac{d}{dy}\int_E f(x,y)dx=\int_E \frac{d}{dy}f(x,y)dx.$

Assume that $f = f(x,y)$ is a function defined on $E × (a,b).$ For each fixed $y ∈ (a,b),$ $f$ is integrable with respect to $x$ on $E$, and for each fixed $x ∈ E$, $f$ is differentiable with respect ...
3
votes
2answers
37 views

For $1 \leq r < p < \infty$ prove the continuous injection of $L^p([0, 1])$ into $L^r([0, 1])$.

For $1 \leq r < p < \infty$ prove the continuous injection of $L^p([0, 1])$ into $L^r([0, 1])$. I am having a hard time starting. Any suggestions. I tried a straight forward approach. That ...
2
votes
1answer
48 views

Find a non-negative function on [0,1] such that $t\cdot m(\{x:f(x) \geq t\}) \to 0$ that is not Lebesgue Integrable

Problem: Find a non-negative function $f$ on $[0,1]$ such that $$\lim_{t\to\infty} t\cdot m(\{x : f(x) \geq t\}) = 0,$$ but $f$ is not integrable, where $m$ is Lebesgue measure. My Attempt: Let ...
5
votes
1answer
42 views

Let $f_n:\mathbb{R}\rightarrow [0, 1]$ be functions such that $\sup_{x \in \mathbb{R}}f_n(x) = 1/n$ and $||f||_1 = 1$.

Let $f_n:\mathbb{R}\rightarrow [0, 1]$ be functions such that $\sup_{x \in \mathbb{R}}f_n(x) = 1/n$ and $||f_n||_1 = 1$. Set $F(x) = \sup_{n \in \mathbb{N}}f_n(x)$. Prove that $\int_\mathbb{R}F(x)dx ...
1
vote
1answer
38 views

Approximation functions in $L^{1}$ by indicator functions of dyadic cubes

Let $\mu$ be a finite positive regular Borel measure on $\mathbb{R}^{d}$ and let $S$ be the family of finite unions of squares of the form $\{a_{1}2^{n} \leq x_{1} \leq (a_{1} + 1)2^{n}, \ldots, ...
1
vote
0answers
53 views

Why $\int f_0 \mbox{d}(F_0+F_1)=\int f_0 \mbox{d}F_0+\int f_0 \mbox{d} F_1=1$ should be true?

A measure $\mu$ dominates another measure $\nu$ whenever $\mu=0$ implies $\nu=0$. If I would like to take the integral of a measurable function $f_0$, say the density function of the probability ...
5
votes
1answer
65 views

$\int_0^1f(x)dx = 2, \int_0^1g(x)dx = 1, \text{and} \int_0^1[f(x)]^2 dx ≤ C$ for some constant $C > 4.$

Suppose $f$ and $g$ are nonnegative measurable functions on the interval $[0,1],$ with the properties $$\int_0^1 f(x)\,dx = 2, \int_0^1g(x)\,dx = 1, \text{ and }\int_0^1[f(x)]^2 dx \le C$$ for some ...
0
votes
2answers
27 views

Show that $\int_X gdν=\int_X gfdμ$ for all $g∈L_1(ν).$

Let $μ$ and $ν$ be finite (positive) measures on a measurable space $(X, M),$ and suppose that $ν(E)=\int_E fdμ$, for all $E∈M,$ $E$ where $f$ is some function in $L_1(μ).$ Show that $\int_X ...
2
votes
2answers
75 views

Proving Lebesgue integration result

I have a Lebesgue integration question and a proposed proof. Please advise. Let $\Omega \subset \mathbb{R}^{n}$(denote the boundary as $\partial \Omega$) and consider $$\int_{\partial \Omega} vf ...
1
vote
1answer
37 views

Uniform and integral limit

Let $f_n(x)=n(\sin x)^n \cos x$. Show that the sequence of functions $f_n$ converges to $0$ uniformly on any interval of the form $[0,a]$ where $a<\pi /2$. Show that, for any continuous function ...
7
votes
2answers
59 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 ...
4
votes
1answer
64 views

Functions with every point being a Lebesgue point

For a locally integrable function $f$ a point $x$ is a Lebesgue point if the integral averages of deviations from $f(x)$ over balls centered at $x$ converge to $0$ as the balls shrink to the point. ...
4
votes
7answers
328 views

Assume that $ f ∈ L([a, b])$ and $\int x^nf(x)dx=0$ for $n=0,1,2…$.

Assume that $ f ∈ L([a, b])$ and $\int x^nf(x)dx=0$ for $n=0,1,2...$. Prove $f=0$ a.e. Since there exist polynomials going to f almost everywhere all I would need to do is bring the limit in to ...
1
vote
2answers
41 views

The applicability of the Dominated Convergence theorem on the real line

Let $f_n(x)=\frac{1}{n}\chi_{[0,n]}(x)$, $x\in\mathbb{R}$, $n\in\mathbb{N}$ and $\chi$ is the characteristic/indicator function. Now it is clear that $f_n\rightarrow 0$, but in the text I am using it ...
1
vote
1answer
38 views

Proposed proof Lebesgue integration question

I just want to confirm the following proof: Consider a function $u: \Omega \rightarrow \mathbb{R}$ where $\Omega \subset \mathbb{R}^{n}$ and $u \in C^{2}(\bar{\Omega})$. Let $a_{jk}$ be smooth ...
2
votes
2answers
39 views

For a real valued function $f(x,y)$ on $\mathbb{R}^2$ which is in $L_2$, show that $f(x+ε,y+ε) → f(x,y)$ in $L_2$ when $ε → 0.$ [duplicate]

For a real valued function $f(x,y)$ on $\mathbb{R}^2$ which is in $L_2$, show that $f(x+ε,y+ε) → f(x,y)$ in $L_2$ when $ε → 0.$ Not sure how to go about this problem. I tried Fubini. But that ...
0
votes
0answers
15 views

For $k ∈ \mathbb{Z}$ and for $x ∈ [k/n, (k + 1)/n)$ set $g_n(x) = n\int_{k/n}^{\frac{k + 1}{n}}f(x)dx$.

Let $f ∈ L_1(\mathbb{R}).$ For $n ∈ \mathbb{N}$ define the function $g_n :\mathbb{R}→\mathbb{R}$ as follows. For $k ∈ \mathbb{Z}$ and for $x ∈ [k/n, (k + 1)/n)$ set $g_n(x) = n\int_{k/n}^{\frac{k + ...
3
votes
1answer
77 views

Show that $\lim_{x→0+ } x^{−1/2}f(x)$ exists and determine the value of this limit.

Let $f : [0,1] → \mathbb{R}$ be absolutely continuous, satisfy $f(0) = 0$ and $f′ ∈ L_2([0,1]).$ Show that $\lim_{x→0+ } x^{−1/2}f(x)$ exists and determine the value of this limit. From absolute ...
2
votes
0answers
48 views

Approximation of integration by simple functions.

Let $f: \Omega\longrightarrow \mathbb{R}$ be a Lebesgue integrable function. Does $$ s_n=\sum_{-\infty}^\infty\frac{k}{2^n}\lambda\left\{\frac{k}{2^n}<f\leq \frac{k+1}{2^n}\right\} $$ ...