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

learn more… | top users | synonyms (1)

1
vote
2answers
16 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
33 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
33 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
50 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 ...
4
votes
2answers
28 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
35 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
25 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
43 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
53 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
24 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
20 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
14 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
47 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 ...
0
votes
1answer
19 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
45 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
37 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!
0
votes
0answers
21 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
35 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
35 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
29 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
31 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
108 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 ...
1
vote
2answers
39 views

Exchanging expectation and limits

Exchanging expectation and limits I have a stochastic process, ${b_t} \, (t=0, 1, 2, \ldots)$, which follows a random walk. Specifically, ${b_0} = 0$ and for $t$ greater than zero, $\displaystyle ...
1
vote
2answers
37 views

Does the signed measure based on a Jordan decomposition of a function with bounded variation depend on the decomposition?

Let $g_1, g_2, h_1, h_2 : \mathbb{R} \rightarrow \mathbb{R}$ be non-decreasing and right-continuous. Define $$ \begin{align} f_1 & := g_1 - h_1 \\ f_2 & := g_2 - h_2 \end{align} $$ and suppose ...
0
votes
0answers
15 views

Connection regularity in measure theory and approximation in premeasure

In the measure theory lecture, we defined a measure-theoretic content as follows: $ \mu: \mathscr{C} \rightarrow [0,\infty]$ with the property being additive on disjoint sets and that the empty set ...
2
votes
1answer
36 views

What is a linear functional on continuous functions on the real line not given by a measure?

What is a positive linear functional on continuous functions on the real line not given by integration against a measure? I know that the dual of $C_c(\mathbb R)$ is the set of Radon measures, ...
1
vote
2answers
70 views

Are continuous functions with compact support bounded?

While studying measure theory I came across the following fact: $\mathcal{K}(X) \subset C_b(X)$ (meaning the continuous functions with compact support are a subset of the bounded continuous ...
1
vote
1answer
19 views

Measure on Product Set

Consider a finite sequence of $\sigma$-finite measure spaces $(\Omega_i, \mathcal{F}_i, \mu_i)$. Constructing the product measurable space $$ (\Omega_1 \times \cdots \times \Omega_n, \mathcal{F}_1 ...
0
votes
0answers
44 views

Dimension of a measure in terms of linear form on continuous functions

So this might be a bit of a weird question, but here goes. It is well-known (Riesz representation theorem) that the dual space of continuous functions on a compact $K$ identifies with the space of ...
0
votes
1answer
22 views

basic notions of measure theory: differences?

Could you help me differentiating the following notions of measure theory: law, probability, probability density, probability measure, probability distribution, distribution, distribution function. ...
2
votes
1answer
44 views

Prove that $\prod_1^{\infty}(1-a_i) > 0$ iff $\sum_1^{\infty}{a_i} < \infty$

Suppose $\{a_i\}_1^{\infty} \subset (0,1)$ a) $\prod_1^{\infty}(1-a_i) > 0$ iff $\sum_1^{\infty}{a_i} < \infty$ b) Given $\beta \in (0,1)$, exhibit a sequence $\{a_i\}$ such that ...
3
votes
1answer
34 views

Joint Distribution Implies Independence…?

Consider the measurable space $(\mathbb{R}, \mathcal{B})$ and a probability space $(\Omega, \mathcal{F}, P)$. Define a finite sequence of random variables $X_1,\ldots,X_n: \Omega \to \mathbb{R}$. ...
0
votes
1answer
13 views

Equivalence of definitions of Gaussian Measure

Wikipedia's article on Gaussian measures notes this as the definition of Gaussian measures: $\gamma_{\mu, \sigma^{2}}^{n} (A) := \frac{1}{\sqrt{2 \pi \sigma^{2}}^{n}} \int_{A} \exp \left( - \frac{1}{2 ...
7
votes
1answer
75 views

Limit of measurable functions is measurable?

Suppose $(\Omega, \cal F)$ is a measurable space and $(X, \mathcal B_X)$ is a topological space with its Borel sigma algebra. If $f_n: \Omega \to X$ is a sequence of $(\cal F , B$$_X)$-measurable ...
0
votes
0answers
12 views

Sunrise Lemma, left and right maximal functions

Would anyone be able to provide a proof of the following lemma: Where $| \cdot |$ is the Lebesque measure and $M_L$ and $M_R$ are the left and right maximal functions defined on $\mathbb{R}$ ...
2
votes
0answers
21 views

Local Martingales in a Finite Time Horizon setting

I apologise if this question has been answered somewhere else. Consider the following definition. Let $T \in [0, \infty), d \in \mathbb{N}$, let $(\Omega, \mathcal{F}, P, (\mathbb{F}_t)_{t \in [0, ...
1
vote
1answer
29 views

Lebesgue integral of a ratio of Lebesgue densities

I need a hint to solve the following problem: $P$ is a probability mass on $\mathcal B(\mathbb R)$ with a Lebesgue density $h$, $f$ is another Lebesgue density. I need to show that $\int ...
2
votes
1answer
22 views

How does the Lebesgue measure measure non-cartesian product sets?

Consider the measure space $(\mathbb{R} \times \mathbb{R}, \mathcal{B} \otimes \mathcal{B}, \lambda \otimes \lambda)$ where $\lambda$ is the Lebesgue measure on $(\mathbb{R}, \mathcal{B})$. Since ...
-1
votes
1answer
29 views

$E(f(|X_n|))$ property implies uniform integrability? [on hold]

This is exercise 6.10 in Resnick's book "A Probability Path". We're given a sequence of random variables $(X_n)$ and an increasing function $f: [0, \infty) \rightarrow [0, \infty)$ such that $$ ...
-1
votes
2answers
66 views

Is a limit of measure of a sequence of sets equal to measure of limit of the sequence of sets?

I'm sitting at the same question desk as this: Limit of the measure of the converging sequence of sets. Actually, I can't prove it neither. PA6OTA gave a hint to show there is subsequence $A_{n_k}$ ...
1
vote
1answer
22 views

Normally Distributed = Absolute Continuity?

Let $(\Omega, \mathcal{F}, P)$ be a probability space. A random variable $X: \Omega \to \mathbb{R}$ is said to have the standard normal distribution if it has the density $f:\mathbb{R} \to ...
0
votes
0answers
35 views

Product Topology and Borel-$\sigma$-algebra

Let $S=\left\{1,2,...,n\right\}$ be equipped with discrete topology and let $X=S^{\mathbb{Z}}$. Then the so-called cylinder sets $$ [s_0,s_1,...,s_m]_n:=\left\{x\in X: \forall 0\leqslant i\leqslant ...
1
vote
1answer
43 views

Union of a null set and a non-measurable set

Suppose $S$ is a non-measurable set (wrt the Lebesgue measure) and $N$ has measure 0. What can be said about $S\cup N$? Is it also non-measurable?
2
votes
2answers
67 views

What is the difference(s) between $(a,\infty)$ and $(a,\infty]$?

I am studying H. L. Royden's Real Analysis which includes some introduction to Measure Theory; and I encountered $(a,\infty]$ instead of $(a,\infty)$ for the first time! What is the difference(s) ...
1
vote
1answer
41 views

A problem on measure restriction

Definition of measurable space: An ordered pair $(\Omega, \mathcal{F})$ is a measurable space if $\mathcal{F}$ is a $\sigma$-algebra on $\Omega$. Definition of measure: Let $(\Omega, F)$ be a ...