Questions related to measures, sigma-algebras, measure spaces, Lebesgue integration and the like.

learn more… | top users | synonyms (1)

1
vote
2answers
37 views

Prove that if $B = \{x-y : x,y \in A\}$, where $A$ is a Borel measurable subset of $R$ with positive measure

Suppose that $m$ is Lebesgue measure, and $A$ is a Borel measurable subset of $R$ with $m(A) > 0$. Prove that if $B = \{x - y : x,y \in A\}$, then $B$ contains a non-empty open interval centered at ...
1
vote
1answer
21 views

Motivic measure

Somebody can give me some good references for start to read Motivic-measure, Now I`m studing the Grothendieck Ring, and is necesary undertand something of motivic theory for my case, so I need a good ...
2
votes
2answers
28 views

Are there two different notions of “conditional probability”?

This question comes from reading the discussion here. (1) If one is given a "probability measure" $P : F \rightarrow [0,1]$ mapping a Borel $\sigma$-algebra $F$ to $[0,1]$ then for two ``random ...
0
votes
1answer
23 views

Control of $L^{\infty}$ Norm of 3d Heat Equation Solution for $L^{3}$ Initial Data

Let $w_{t}$ denote the 3-dimensional heat kernel $$w_{t}(x)=(4\pi t)^{-3/2}e^{-\left|y\right|^{2}/(4t)},\qquad y\in\mathbb{R}^{3}, \ t > 0$$ Suppose $f\in L^{3}(\mathbb{R}^{3})$, and let ...
2
votes
2answers
40 views

I am having trouble solving this problem from the book “ Measure Theory” by Donald L.Cohn.

Let $(X,\mathcal A ,\mu)$ be a measure space and let $f$ and $f_1 ,f_2 ,....$ be non-negative functions that belong to $\mathcal L^1(X,\mathcal A,\mu,\mathbb R)$ and satisfy- (i) $\{f_n\}$ converges ...
0
votes
1answer
18 views

Is the class of negligible sets a monotone class?

Let $(X,\Sigma,\mu)$ be a measure space we say that the subset $F$ of a set $X$ is negligible set if there exist $G \in\Sigma$ , $F$ is a subset of $G$ And $\mu(G)=0$ My question is: Is the class of ...
3
votes
1answer
43 views

When does the diagonal have zero measure?

Let $\mu$ be a Radon measure on a space $X$ and consider the product measure $\mu \otimes \mu$ on $X \times X$. Is there some necessary and/or sufficient condition on $\mu$ to guarantee that the ...
1
vote
1answer
46 views

Proof that random variable is almost surely constant

If a random variable $X : \Omega \to \mathbb R$ is $\{ \emptyset, \Omega \}$-measurable, then it is constant. I want to generalise this result: Now if $\mathcal G$ is a $\sigma$-algebra such that ...
0
votes
1answer
44 views

Problem about integration

Let $\mathcal R$ be a $\sigma$-algebra in a nonempty set $X$, let $\mu$ be a positive measure on $\mathcal R$, let $f:X\to \mathbb C$ be measurable relative to $\mathcal R$,and $f\in L^1(\mu)$. Let ...
0
votes
0answers
18 views

Does this density limit exist?

Suppose that $T:\mathbb{R}^k\rightarrow\mathbb{R}^k$ is a transformation which is differentiable at a point $x\in\mathbb{R}^k$. Let $\lambda$ be the Lebesgue measure on $\mathbb{R}^k$. Denote by ...
0
votes
0answers
43 views

Why cantor function is not measurable?

Basic theorem says that every continuous function is (lebesgue) measurable. Why cantor function is not measurable then? Edit: my bad, Cantor function is defined on not measurable set, but it is ...
1
vote
0answers
21 views

If $\partial E$ has Jordan outer measure zero, then $E$ is measurable.

I am going through Tao's measure theory book, and have to prove If $\partial E$ has Jordan outer measure zero, then $E$ is measurable. where $\partial E$ denotes the boundary of the set $E$. I ...
0
votes
0answers
37 views

Does this limit of measures exist?

Suppose that $T:\mathbb{R}^k\rightarrow\mathbb{R}^k$ is a differentiable transformation. Let $\lambda$ be the Lebesgue measure on $\mathbb{R}^k$. Denote by $B(x,r)$ the open ball centred at $x$ with ...
1
vote
2answers
28 views

Expectation of Nonnegative Random Variable - Measurability

Recall the result that for a nonnegative random variable $X$ on $(\Omega, \mathcal{F}, P)$, $$ E[X] = \int_0^\infty (1 - F(x)) dx, $$ where $F$ is the cdf of $X$. In many of the proofs I've seen for ...
0
votes
1answer
16 views

Are these two statements involving null sets and $L^2$ Bochner functions equivalent?

Suppose I have two functions $f, g \in L^2(0,T;L^2(\Omega))$ where we have some bounded domain $\Omega$. Suppose that $$\text{for almost all $t$,}\quad f(t) \leq g(t) \quad\text{almost everywhere in ...
2
votes
0answers
53 views

If the right side of $\int f\ d\lambda = \int f\ d\mu − \int f\ d\nu$ exists, does the left one exist as well?

Let $\mu$ and $\nu$ be two positive measures, at least one of which is finite, on a measurable space $(X, \mathfrak{A})$. Let $\lambda$ be a signed measure on $(X, \mathfrak{A})$ defined by setting ...
1
vote
2answers
29 views

Prove that $X,Y$ are independent iff the characteristic function of $(X,Y)$ equals the product of the characteristic functions of $X$ and $Y$

Let $(\Omega,\mathcal A,\operatorname P)$ be a probability space $X$ and $Y$ be random variables on $(\Omega,\mathcal A,\operatorname P)$ with values in $\mathbb{R}^m$ and $\mathbb{R}^n$, ...
2
votes
1answer
58 views

Is there measurable function defined on unmeasurable set?

In my textbook, Lebesgue measurable function is defined as for every finite $a$, the set $\{x\in E:f(x)>a\}$ is a measurable set of $R^n$. And it further states $E=\{x\in ...
1
vote
1answer
10 views

Characterization of the space of integrable functions stable under multiplication

Let $Ω = (Ω,Σ_Ω,μ)$ be a measure space and let $L(Ω)$ be the space of integrable functions on $Ω$. For $f ∈ L(Ω)$, set $L_f(Ω) = \{φ ∈ L(Ω);~f·φ ∈ L(Ω)\}$. Has the space of all integrable functions ...
1
vote
2answers
24 views

If $B$ is a BM and $\mathcal F_t=\sigma(B_s,s\le t)$, then $(B_{s+t}-B_t)_{s\ge 0}$ is independent of $\mathcal F_t^+:=\bigcap_{s>t}\mathcal F_s$

Let $B=(B_t)_{t\ge 0}$ be a Brownian motion on a probability space $(\Omega,\mathcal A,\operatorname{P})$, i.e. $B$ is a real-valued stochastic process with $B_0=0$ almost surely $B$ has independent ...
0
votes
1answer
32 views

$\sigma(f_i, i \in I)$ ($f_i:\Omega \to \mathbb{R}$) where $I$ is uncountable

$\sigma(f_i, i \in I)$ ($f_i:\Omega \to \mathbb{R}$) where $I$ is uncountable contains only sets that can be written as $\{(f_{i_1},f_{i_2},...) \in B\}$ where $B \in ...
0
votes
1answer
25 views

Show that the Lebesgue Stieltjes measure corresponding to $\alpha(x) = \mu((0,x])$ is $\mu$.

This is exercise 4.1 from Bass: Let $\mu$ be a measure on the Borel $\sigma$-algebra fo $R$ such that $\mu(K) < \infty$ whenever $K$ is compact, define $\alpha(x) = \mu((0,x])$ if $x \ge 0$ and ...
-3
votes
1answer
28 views

How can I prove that $f$ and $g$ are measurable functions [on hold]

Let we have the following functions : $f(x)=(\sin x)^4$ and $g(x)=(\cos x)^4$ How can I prove that $f$ and $g$ are measurable functions
1
vote
2answers
19 views

Sigma algebra on a Cartesian product

$\Omega_1$ and $\Omega_2$ are countable sets. With $\mathcal P(\cdot)$ we denote a power set of a set. We need to proof that: $$\mathcal P(\Omega_1)\otimes \mathcal P(\Omega_2)=\mathcal P(\Omega_1 ...
1
vote
0answers
42 views

measurable sets and open intervals

Let $A$ be a Lebesgue measurable set in $\mathbb {R} $ with a positive measure. Then, show that for any positive real number $r $, there is an open interval $I$ such that $\operatorname{m} (A\cap ...
3
votes
1answer
36 views

Density of measurable sets in $\mathbb{R} $

Let $A$ be a Lebesgue measurable set in $\mathbb {R} $. We can classify the points in $\mathbb{R}$ as 3 disjoint subsets: density 0 points $A_1$, density 1 points $A_2$, otherwise $A_3$. By the ...
2
votes
2answers
57 views

Borel set of $\mathbb R^n$ with $n > 1$

According to various sources, the Borel set over $\mathbb{R}^n$ can be defined in several equivalent ways: For instance, it can be defined as the smallest sigma-algebra containing every open set of ...
5
votes
2answers
64 views

If one side of $\int f\ d\lambda = \int f\ d\mu - \int f\ d\nu$ exists, does the other one exist as well?

Let $\mu$ and $\nu$ be two positive measures, at least one of which is finite, on a measurable space $(X, \mathfrak{A})$. Let $\lambda$ be a signed measure on $(X, \mathfrak{A})$ defined by setting ...
2
votes
1answer
27 views

Radon measure and a non-L1 function

This is a part of the exercise 7.17 in Folland's Real Analysis: Suppose $\mu$ is a positive Radon measure on a locally compact Hausdorff space $X $ with $\mu (X)=\infty. $ Show that there exists ...
0
votes
1answer
44 views

Let $(X,Σ,μ)$ be a measure space and $f$ and $g$ are positive integrable functions and $h=f-g$

Please please please please please I want some help ,Is there and body here who can help me in this question : Let $(X,Σ,μ)$ be a measure space and $f$ and $g$ are positive integrable functions and ...
0
votes
0answers
26 views

Efficient methods of covering a surface [on hold]

I am a fabricator. I run a machine that cuts material with a drill bit that run over a surface. I would like to know how to mathematically find the time it will take to cross a surface. An example ...
2
votes
2answers
45 views

Does there exist a subsequence whose intersection has measure greater than $1/2$?

I ran across the following problem on this review guide. It is problem 1.25, though I've changed the wording slightly. The measure is implicitly Lebesgue measure. Let $E_n$ be a sequence of ...
1
vote
0answers
57 views

Fractional part of $n\alpha$ is equidistributed

Let $\alpha$ be an irrational number. Then the sequence $\{\{n\alpha\}\}$ is equidistributed. I am using the following definition of equidistribution. A sequence $\{a_i\}$ is equidistributed if ...
1
vote
0answers
26 views

Support of Radon measures

I am reading Folland's Real Analysis. The following is the exercise 7.2.b. Let $X$ be a locally compact Hausdorff space with a Radon measure $\mu$. Show $x\in\text{supp}(\mu)$ iff $\int f \text ...
1
vote
1answer
16 views

Difference in $\mathscr{L}^1(\mu)$ and $\mathscr{L}^1(\mu^\nu)$

Can someone give me an example that indicates the difference between $\mathscr{L}^1(\mu)$ and $\mathscr{L}^1(\mu^\nu)$, with $\mu^\nu$ indicating the measure's completion. We have seen that ...
1
vote
1answer
21 views

Question about proof extending measure to complete measure

I am looking through a proof in Folland, for Theorem 1.9, which states: Suppose that $(X, M, \mu)$ is a measure space. Let $N = \{N' \in M : \mu(N') = 0\}$ and $M' = \{E \cup F : E \in M' \text{ and ...
0
votes
0answers
15 views

Weak continuity of K-L divergence function

If $P_n$ and $Q_n$ are two pmf's of a discrete set (say $A$) with common support and $P_n \to P$ and $Q_n \to Q$ where the convergence is pointwise here (even weak would be fine here I guess), then $$ ...
5
votes
1answer
52 views

Proving inner measure equal to outer measure if a set is measurable

I'm doing the problem 19 in Real Analysis of Folland like below: Let $\mu^*$ be an outer measure on $X$ induced from a finite premeasure $\mu_0$. If $E \subset X$, define the inner measure of ...
1
vote
1answer
22 views

Prove that $\sigma$-algebras $A_1,\ldots,A_n$ are independent if and only if $A_i$ is independent of each $A_1,\ldots,A_{i-1}$, for all $i=2,\ldots,n$

Let $(\Omega,\mathcal{A},\operatorname{P})$ be a probability space and $\mathcal{A}_1,\ldots,\mathcal{A}_n\subseteq 2^\Omega$ be $\sigma$-algebras. How can we show, that ...
4
votes
2answers
46 views

If a measure $\mu$ is less than a measure $\nu$ on a generating $\pi$-system, can we conclude that $\mu \leq \nu$?

Let $\mu$, $\nu$ be finite measures on the non-degenerate compact interval $[a, b] \subseteq \mathbb{R}$ provided with the Borel $\sigma$-algebra. It is well-known that if $\mu(B) = \nu(B)$ for every ...
1
vote
1answer
41 views

Measure theory : Lebesgue outer measure. [on hold]

Let $E$ be a subset of $\mathbb{R}$ and $m^{*}(E)=0$. Prove that $m^{*}(E^{2})=0$, where $E^{2} = \{ x^{2} : x \in Ε \}$. Can you give me some ideas or hints? Thank you!
1
vote
1answer
46 views
+150

Optional stopping/sampling for right-continuous supermartingales

Let $\mathbb{F}$ be a filtration $(X_t)_{t\ge 0}$ be a right-continuous $\mathbb{F}$-supermartingale $\sigma,\tau$ be bounded $\mathbb{F}$-stopping times with $\sigma\le \tau$ and ...
0
votes
0answers
9 views

Convolution of measures on a measurable group is associative

I've come across a statement in Kallenberg's Foundations of Modern Probability which claims this and only tells me to use Fubini's theorem. I am not very familiar with this topic and the text doesn't ...
3
votes
1answer
36 views

Variation processes and strong solutions of stochastic differential equations

Let $(\Omega,\mathcal{A},\operatorname{P})$ be a probability space $\mathbb{F}$ be a filtration on $(\Omega,\mathcal{A})$ $\tau$ be a $\mathbb{F}$-stopping time An $\mathbb{F}$-adapted, ...
0
votes
1answer
29 views

Outer Regularity of the Lebesgue measure on the Hilbert brick

Is the product measure on the Hilbert brick $I=[0,1]^\mathbb{N}$ outer regular (that is measure of every set is the inf of measures of open sets, containing it)?
1
vote
1answer
36 views

If $(X_t,t\in I)$ is a process with values in $(E,\mathcal{E})$, are $\sigma(X_t,t\in I)$ and $\sigma(X)=X^{-1}(\mathcal{E}^{\otimes I})$ equal?

Let $(\Omega,\mathcal{A},\operatorname{P})$ be a probability space $E$ be a Polish space and $\mathcal{E}$ be the Borel $\sigma$-algebra on $E$ $I$ be an index set $X_t$ be a random variable on ...
0
votes
0answers
31 views

Does $L^p(L^1([0,1]))$ make sense?

I'm examining several function spaces like $L^p(X,\mu)$ where $X$ is a Banach space. Is it possible to take $X = L^1([0,1])$ and then look at $L^p(X)$? The problem I have is that I don't know ...
0
votes
0answers
32 views

How to separate self-defining values from sigma?

$$\sum_{k=1}^{m} \sum_{j=1}^{n} a_kx_j^{b_k+b_i} = \sum_{j=1}^{n} y_jx_j^{b_i}$$ What I need to do is solve $a$ for every $i$ given ($i$ is between 1 and $m$), so their result won't be composed of ...
0
votes
1answer
20 views

Prove that a complete field defines a partition of a set

Let $\Omega$ be arbitrary set. Let $Q$ be a partition of $\Omega$. I already proved that the collection of all unions of the cells in $Q$ is a complete field $\mathcal{F}$ (complete field is ...
3
votes
1answer
123 views

Total variation measure vs. total variation function

Let $a, b \in \mathbb{R}$ with $a < b$ and define the compact interval $I := [a, b]$. Let $g, h : \mathbb{R} \rightarrow \mathbb{R}$ be non-decreasing and right-continuous on $I$ and constant on ...