All Questions
Tagged with measure-theory integration
2,732
questions
0
votes
1
answer
21
views
Measurability of a family of parametric integrals assuming measurability of the integrand w.r.t. the parameter
Let $D$ and $E$ be measurable subsets of $\mathbb{R}^n$ and $\mathbb{R}^m$ respectively, and $v : (x,t) \in D \times E \mapsto v(x,t) \in \mathbb{C}$.
Assume that the maps $v(\cdot, t)$, $t \in E$ ...
0
votes
0
answers
28
views
Strict inequality of functions only allows to deduce a non-strict inequality of the expected value of said function
In a proof of Jensen's Inequality that I am reading, the following is used:
If for a real valued random variable $X$, we have $X(\omega)<\beta$, then $\mathbb{E}[X]\leq \beta$.
Why can we deduce ...
1
vote
0
answers
68
views
What's the definition of a line integral on a possibly disconnected curve?
I'm trying to understand this paper, and I see this integral (page 2):
$$
\int_{B\ \cap\ \mathcal{C}} (1 - y)dy,
$$
where $\mathcal{C}$ is the curve given by $x = ye^{1-y}$ and $B$ can be any ...
1
vote
1
answer
35
views
Prove: If $f_1$ and $f_2$ are integrable, then $f_1\vee f_2$ is integrable over each $A\in\mathscr{A}$.
I need to prove the following result:
Let $(X,\mathscr{A},\mu)$ be a measure space. If $f_1$ and $f_2$ are integrable, then $f_1\vee f_2$ is integrable over each $A\in\mathscr{A}$.
Here is my ...
0
votes
0
answers
32
views
Is there a simple proof that the Laplace transform of a signed measure $\mu$ on $\mathbb R$ uniquely determines $\mu$? [duplicate]
A Laplace transform of a signed measure $\mu$ on $(\mathbb R, \mathcal B(\mathbb R))$ is defined by
$$ f_\mu(s) = \int_{\mathbb R} e^{-\lambda t} d \mu(t), \qquad \forall s \in \mathbb R. $$
I know ...
1
vote
0
answers
58
views
Prove: $F:M(X,\mathscr{A},\mathbb{R})\to\mathbb{R}$ defined by $F(\mu)=\int fd\mu$ is a linear functional. [closed]
I need to prove the following result:
Remark 4.30$\quad$ Let $M(X,\mathscr{A},\mathbb{R})$ be the collection of all finite signed measures on $(X,\mathscr{A})$. Let $B(X,\mathscr{A},\mathbb{R})$ be ...
0
votes
1
answer
39
views
Integration with spherically symmetric measure in $\mathbb R^d$
Let $\mu$ be a finite spherically symmetric measure over $\mathbb R^d$, so that $\mu(TB) = \mu(B)$ for all orthogonal transformations $T: \mathbb R^d \rightarrow \mathbb R^d$ and Borel set $B$. Let $g:...
0
votes
0
answers
64
views
Find the limit $\lim_{k \rightarrow \infty } \int_0^k x^{-k} e^{x^2/k^2}\sin(x/k)~\mathrm dx$
Compute the limit$$\lim_{k \rightarrow \infty } \int_0^k x^{-k} e^{x^2/k^2}\sin(x/k)~\mathrm dx.$$
Completely stuck with this one. Some convergence theorem is obviously needed, but can't figure out ...
0
votes
1
answer
59
views
Estimating integrals and measures over Hilbert space using finite dimensional projections
Let $H$ be a separable Hilbert space with orthonormal basis $\{e_k\}_{k \in \mathbb{N}}$. Let $P_n$ be the projection onto the $n$-dimensional subspace of $H$:
$$P_n x = \sum_{i=1}^n \langle x, e_i\...
0
votes
0
answers
39
views
Integral over a sphere in $R^n$
Let $\sigma$ be the Lebesgue measure on the unit sphere $\mathbb S^{n-1}$ of $\mathbb R^n$.
Let $\Sigma$ be a semi-definite positive symmetric matrix in dimension $n$.
Is it possible to get a closed-...
0
votes
0
answers
62
views
Proof that the volume function is $\sigma$-additive
A $\textbf{box}$ $Q\subset \mathbb{R}^n$ is defined as $Q:= (a_1,b_1) \times \ldots \times (a_n,b_n)$ and the same with closed or half opened intervals where $a_i < b_i \in \mathbb{R}$ and in case ...
1
vote
0
answers
91
views
Differentiability of an integral depending on a parameter
Let $f$ be a function in $L^1 ([0,1])$, and for $y \in [0,1]$ consider $$F(y) = \int_{[0,1]} (1+ |f|)^y dx$$
Is $F$ differentiable in $(0,1)$? If it is, what is its derivative?
I know that that, given ...
0
votes
0
answers
96
views
Example of Hilbertian norm on the space of radon measures
Assume we are given compact subset $X \subset \mathbb{R}^n$. Consider the space of radon measures $M(X,\mathbb{R})$. I'm trying to find some Hilbert norm on this space either globally or locally. I ...
1
vote
0
answers
50
views
Parameter dependent functions integral
I got this question on a measure theory exam today, and after hours of discussing with my colleagues, im still quite confused. I have been able to prove the first point, but I am having trouble with ...
2
votes
1
answer
41
views
specific confusion on average integral
any idea why this is true? I am not able to figure out.
Given $f \in W^{1,p}(B(x, R))$, we want to prove that
$$
\left| \frac{1}{|B_{2^{-l}}(x)|} \int_{B_{2^{-l}}(x)} f - \frac{1}{|B_{2^{-l-1}}(x)|} \...
4
votes
1
answer
55
views
If $g_1, g_2\in\mathscr{L}^{\infty}(X,\mathscr{A},\mu)$ are equal locally $\mu$-almost everywhere, then $T_{g_1}=T_{g_2}$.
Background
Suppose that $(X,\mathscr{A},\mu)$ is an arbitrary measure space, that $p$ satisfies $1\leq p<+\infty$, and that $q$ is defined by $\frac{1}{p}+\frac{1}{q}=1$. Let $g$ belong to $\...
0
votes
1
answer
46
views
If $A$ is Borel measurable, is $\int_0^21_{A}(x)\int_{x-4}^x\mathrm{d}u\mathrm{d}x=0$?
Consider the simple double integral $I(A)=\int_0^21_A(x)\int_{x-4}^x\mathrm{d}u\mathrm{d}x$ where $A$ is a set in the Borel $\sigma$-algebra over $\mathbb{R}$. I want to check the very simply question ...
0
votes
1
answer
40
views
Defining a measure on a finite dimensional Hilbert space
I am reading An Introduction to Infinite-Dimensional Analysis by Da Prato. Let $H$ be a $d$ dimensional Hilbert space where $d < \infty$ and $L^+(H)$ the set of symmetric, positive, and linear ...
0
votes
0
answers
13
views
Weak and strong integrability of a mapping $f : X \to E$ on a general measure space $X$ and locally convex $E$
Let $(X, \Sigma, \mu)$ be a measure space and $E$ be a locally convex toplogical vector space.
Let us consider a mapping $f : X \to E$. Then, we have two notions of integrability. That is, weak ...
4
votes
1
answer
544
views
Why are Lebesgue integrals defined as a supremum and not as a limit?
We may approximate a bounded nonnegative function $f$ by simple functions $\phi$. Then the standard way of defining the Lebesgue integral of $f$ is
$$ \int f d\mu := \sup \Bigg\{ \int \phi : \phi \...
3
votes
1
answer
67
views
Prove that $\int _Xf_ngd\mu \overset{n\to\infty}{\to}\int _Xfgd\mu$ ,$\forall g\in \mathcal{L}^\infty (\mu )$ if it's true $\forall g\in C_b(X)$
Let $X$ be a Polish space and $\mu :\mathfrak{B}_X\to\overline{\mathbb{R}}$ a finite measure on the Borel subsets of $X$. Suppose $(f_n)_{n\in\mathbb{N}}$ is a sequence of $\mathcal{L}^1(\mu )$ and $f\...
0
votes
3
answers
88
views
Proving that $\iint f(x) g(x+y) dx dy \leq \int g^2(x) dx$
Let $D \subset \mathbb{R}^n$ be bounded, and $f,g: \mathbb{R}^n \rightarrow \mathbb{R}$. Furthermore let $f$ be nonnegative and such that $\int_D f dx= 1$.
I would like to prove that
$$\int_D \int_D f(...
14
votes
4
answers
3k
views
Why Learn Measure Theory and Lebesgue Integration?
As someone who has taken two semesters of real analysis, having been exposed to the rigorous definition of the Riemann-Stieltjes integral - why should I learn Lebesgue integration? The Riemann ...
1
vote
1
answer
61
views
$e^{-\lVert x \rVert ^2}$ is integrable over $\mathbb{R}^n$ and $\int_{\mathbb{R}^n} e^{-\lVert x \rVert ^2} = \pi^{n/2}$
$e^{-\lVert x \rVert ^2}$ is lebesgue integrable over $\mathbb{R}^n$ and $\int_{\mathbb{R}^n} e^{-\lVert x \rVert ^2} = \pi^{n/2}$. I'm a bit lost on this, I've tried to use a particular result about ...
0
votes
0
answers
62
views
Showing the following function is nonnegative
Let $D \subset \mathbb{R}$ and $f: D \rightarrow \mathbb{R}$ $g: \mathbb{R} \times D \rightarrow \mathbb{R}$ be nonnegative functions. Let $\mu$ be a measure on $D$ such that $\mu(D) < \infty$. I ...
0
votes
2
answers
59
views
Need help understanding the switching of integral limits with Fubini's theorem: $\int_0^cm(\{x:|f(x)|>t\})dt=\int_{\{x:c\geq |f(x)|\geq 0\}}|f(x)|dx$
Let $f\in L^1(\mathbb{R}, m)$ with $m$ being the Lebesgue measure and $c > 0$. I have to admit that I am quite bad with using Fubini's theorem outside of calculus type problems of abstract proofs. ...
3
votes
1
answer
51
views
$\mathscr{L}^{p_1}(\mathbb{N},\mathscr{A},\mu)\subseteq\mathscr{L}^{p_2}(\mathbb{N},\mathscr{A},\mu)$: $1\leq p_1<p_2<+\infty$, $\mu$ counting measure
I need to prove the following:
Suppose that $1\leq p_1<p_2<+\infty$. Let $\mu$ is the counting measure on the $\sigma$-algebra $\mathscr{A}$ of all subsets of $\mathbb{N}$. Then $\mathscr{L}^{...
1
vote
0
answers
50
views
Integration with respect to finite Radon measure
Let $ u \in BV( \mathbb{R}^N). $ We know that
$$
\DeclareMathOperator{\Div}{div}
\DeclareMathOperator{\dm}{d\!}
\int_{\mathbb{R}^N} \left|Du\right| = \sup\left\{ \int_{\mathbb{R}^N} u\Div \varphi\dm ...
1
vote
0
answers
38
views
Layer cake representation and function with compact support
My question is related to the posts here and here, but my setup is slightly different.
For a real-valued random variable $X$, and a function $\varphi: \mathbb{R} \to \mathbb{R}$ that has support in ...
0
votes
1
answer
55
views
"Leibniz's rule" for $t\in\mathbb{R}^n$
I am looking for a reference giving a measure-theoretic proof of a claim from the German Wikipedia. I have searched the references given on that site, as well as the English speaking Wikipedia and all ...
3
votes
1
answer
67
views
Radon Nikodym derivative and distribution function
Let $\mathfrak{B}$ be the Borel $\sigma$-algebra over $\mathbb{R}$ and $\beta$ the Borel-Lebesgue measure over $\mathfrak{B}$. Let $\mu$ be a Borel measure over $\mathbb{R}$ s.t. the distribution ...
4
votes
1
answer
61
views
Finding a function which is $L^1$ not $L^2$ and the integral is bounded by the square root.
So I have been trying to solve the following this past exam problem:
Find $f\in L^1(\mathbb{R})$, not $L^2(\mathbb{R})$ with the property:
$$
\int_{A}|f(x)|dm\leq \sqrt{m(A)}\quad\text{ for all } A\...
2
votes
1
answer
54
views
$f_n \xrightarrow{d} f$ if and only if $f_n \xrightarrow{m} f$ in $(L^0([0,1]), d)$ where $d(f,g) = \int_0^1 \frac{|f(x)-g(x)|}{1 + |f(x)-g(x)|}dx$
Let $L^0([0,1])$ be the vector space of Lebesgue-measurable functions on $[0,1]$. Let $d$ be the metric on $L^0([0,1])$ given by $$d(f,g) = \int_0^1 \frac{|f(x)-g(x)|}{1 + |f(x)-g(x)|}\, dx.$$
Prove ...
1
vote
1
answer
45
views
Weak convergence in $L^2$ equivalence
Problem statement: Denoting by $B_r$ the open ball of $\mathbb{R}^N$ centered at the origin with radius $r$, consider a sequence $f_n \in L^2(B_1)$ which is bounded in the $L^2$ norm. Prove that $f_n$ ...
3
votes
1
answer
109
views
Stokes theorem for currents on manifolds with corners
Let $M\subset\mathbb R^N$ be a compact oriented $n$-(sub)manifold with corners and $\omega$ be an $(n-1)$-form on it. The usual statement of Stokes theorem
$$\int_M d\omega=\int_{\partial M}\omega$$
...
1
vote
0
answers
29
views
About the behaviour of an integral for $|x| > 1$ and $|x| < 1$
Let $f = \chi_{B(0,1)}$. Can anyone help me with the behavior of the following convolution $$f * |\cdot|^{-\alpha}(x) = \int_{B(0,1)}\frac{1}{|x-y|^{\alpha}}dy,$$for the cases $|x| > 1$ and $|x| &...
0
votes
1
answer
64
views
$S = \{z^2 = x^2 + y^2 + 1, z > 0 \}$. Calculate $\int \int_S \frac{d \lambda_2}{z^4}$
$S = \{ z^2 = x^2 + y^2 + 1, z > 0 \}$. Calculate $\int \int_S \frac{d \lambda_2}{z^4}$.
So, first, I would change that into cylindrical coordinates, to get:
$x = rcos(\alpha)$
$y = rsin(\alpha)$
...
0
votes
1
answer
77
views
Show integral identity
Given a measure space $(\Omega,A,\mu)$ and a non-negative measurable function $f:\Omega \to \mathbb{R}$, show that
$\int\ f d\mu = \int_{[0,\infty)} \mu(\{f>x\}) d\lambda(x)$.
So I think you show ...
3
votes
2
answers
89
views
Question on Complex Integral with Polar Form
Let $f$ be a complex-valued integrable function. Write the complex number $\int fd\mu$ in its polar form, letting $w$ be a complex number of absolute value 1 such that
\begin{align}
\int fd\mu = w\...
4
votes
1
answer
96
views
Question about Proof of the Integrability of $f$ and $f_1,f_2,\dots,$ in Lebesgue's Dominated Convergence Theorem
I am self-studying measure theory and got stuck on part of the proof of the Lebesgue's Dominated Convergence Theorem:
Theorem$\quad$ 2.4.5$\quad$ (Lebesgue's Dominated Convergence Theorem) Let $(X,\...
3
votes
0
answers
50
views
Proof of Beppo Levi's Theorem [closed]
I am self-studying measure theory using Measure Theory by Donald Cohn. The text presented the following result but lack of detailed proof. I tried to write up the proof, and I would really appreciate ...
1
vote
1
answer
66
views
A problem about zero-measure set in manifold.
Let $M$ be an $n$-dimensional differentiable manifold. A subset $N \subset M$ is said to have zero measure if the sets $\varphi_\alpha^{-1}(N) \subset U_\alpha$ have zero measure for every ...
0
votes
1
answer
34
views
Tailsum Formula and Indicator Functions
In my probability theory class we proved that $$\mathbb{E}[x]=\int_0^\infty \mathbb{P}(X>t) dt,$$ where $X\geq0$ is a non-negative random variable and $\mathbb{E}[X]:= \int_\Omega X(\omega) d\...
0
votes
1
answer
45
views
If $f^{-1}(I)$ is a Borel set for every interval $I$, why is $f^{-1}(B)$ a Borel set for every Borel set $B$?
My book defines a Borel subset of an interval $X$ of $\mathbb R$ to be any set which is in every $\sigma$-field containing all finite unions of intervals in $X$. Then they define a function $f:X\to [0,...
3
votes
2
answers
53
views
If $\int_Afd\mu\geq0$ for all $A\in\mathscr{A}$, then $\int f\chi_Ad\mu=0$ for $A=\{x\in X:f(x)<0\}$
I am self-studying measure theory using Measure Theory by Donald Cohn. I am confused by his proof of the following result:
Corollary 2.3.13$\quad$ Let $(X,\mathscr{A},\mu)$ be a measure space, and ...
3
votes
1
answer
58
views
Question About Function Integrability - Proposition 2.3.10 from Measury Theory by Donald Cohn
I am self-studying measure theory using Measure Theory by Donald Cohn. The book makes the following definition:
Definition$\quad$ Suppose that $f:X\to[-\infty,+\infty]$ is $\mathscr{A}$-measurable ...
5
votes
0
answers
136
views
Property of vector-valued measure
Let $B$ be a Banach space, let $(X,\mathcal{A})$ be a measurable space, and let $\mu:\mathcal{A}\to B$ be a vector-valued measure of bounded variation.
In general, if $B$ doesn't have the Radon-...
0
votes
0
answers
67
views
Some questions about integration and operator theory.
As we all know there are multiple integral operators which all basically do the same thing in various contexts. I am talking about operators like the Lebegues integral, Riemann integral and more ...
0
votes
0
answers
20
views
Integration over measure which counts jump discontinuities of specific length.
$f:[0,1] \to [0,1]$ is a monotonically increasing function with $f(0)=0$ and $f(1)=1$. Let $p>1$.
Define, for $0\leq a < b \leq 1$, $\mu((a,b])$ as the number of points $x \in [0,1]$ such that
$\...
2
votes
0
answers
65
views
Question on the Construction of the Integral in Measure Theory
I am self-studying measure theory, and I got some trouble understanding the construction of the integral. Here is the first two stages of the construction:
Stage 1$\quad$ We begin with the simple ...