# Questions tagged [measure-theory]

Questions about abstract measure and Lebesgue integral theory. Also concerns such properties as measurability of maps and sets.

1,606 questions
139 views

### 3 questions around the Stone space of the free $\sigma$-algebra on $\omega_1$ free generators

During my studies, I came across several different Stone spaces, e.g.: (i) The Cantor cube $X=\{0,1\}^{\omega_1}$, which is the Stone space of the free Boolean algebra on $\omega_1$ free generators; ...
112 views

62 views

### How can we show that the total variation distance of $X_s$ and $Y_s$ is bounded by the distance of $(X_t)_{t\ge s}$ and $(Y_t)_{t\ge s}$?

Let $(X_t)_{t\ge0}$ and $(Y_t)_{t\ge0}$ be real-valued time-homogeneous Markov processes with a common transition semigroup $(\kappa_t)_{t\ge0}$. Let $\mathcal L(Z)$ denote the distribution of a ...
148 views

### How do we introduce a signed finite measure on the space of curves confined into the box $[0,1]^{n}$?

Given $\Omega_{n} = \{\alpha:[0,1]\rightarrow[0,1]^{n}\,|\,\alpha\,\,\text{is smooth}\}$, consider the equivalence relation: \begin{align*} & \alpha_{1} \sim \alpha_{2} \Leftrightarrow \int_{0}^{1}...
234 views

183 views

76 views

### Positive part of “outer sums” of measures

Here is a question about decomposition of measures in singular parts and in positive and negative parts. $\newcommand{\RR}{\mathbb{R}}$ Let $\Omega_{1/2}$ be compact subsets of $\RR^d$ equipped ...
45 views

### Matching Stochastic Flows

Let $\nu = (\nu_t)_{t \in [0,T]} \in C( [0,T], \mathcal{P}_2(\mathbb{R}) ) ,$ where $\mathcal{P}_2(\mathbb{R})$ denotes the space of probability measures with finite moment equipped with the ...
61 views

### Evolution of a density under the doubling angle map

Let $\mu$ be a probability measure on $I=[0,1]$, absolutely continuous with respect to Lebesgue measure. Denote by $T$ the "doubling angle map" on $I$, where $T(x)=2x \text{ mod }1$. Is it true, in ...
192 views

### Example of measure for some algebra over N

$\mathcal F$ is set of events. Can you give an example of some algebra $\mathcal A$ over $\mathbb N$ and a non-zero finitely additive measure $\mu$ on this algebra, which has a countably additive ...
44 views

Let $W$ be a set, and let $v$ be a finitely additive probability measure on $2^W$. Equip $2^W$ with the Borel sigma-algebra $\mathcal{B}$ generated by the sub-basic sets of the form $\{a: w \in a\}$ ...
90 views

116 views

### How to show that this function is continuous (Geometric Measure Theory)

I want to prove that the function $F: \mathbb{R}_+ \to \mathbb{R}$ defined by $$F(t)=\int_{\{d=t\}} g \, d\mathcal{H}^{n-1}$$ is continuous if $g:\Omega \subset \mathbb{R}^n\to \mathbb{R}$ is ...
97 views

94 views

106 views

392 views

### Is it known how the Sigma Algebra generated by Jordan measurable sets compares to universally measurable sets and analytic sets?

Unlike the collection $L$ of Lebesgue measurable sets, the collection $J$ of Jordan measurable sets do not form a Sigma algebra. (A set is Jordan measurable if and only if its characteristic function ...
127 views

### Gelfand spectrum as a measure space

Given a Lebesgue probability measure space $(X,m)$ (say, just the unit interval with the Lebesgue measure on it), let $A$ be a closed subalgebra of the real $L^\infty(X,m)$. Then one can realize the ...
141 views

### Support of a regular measure Reg

Let $K$ be compact, Hausdorff space but not necessarily metrizable. Let $\mathfrak{M}$ be the Borel $\sigma$ field over $K$ and $\mu$ be a positive Regular Borel measure on $K$. Let $S$ be a subset of ...
Let $X$ be a smooth manifold, and denote by $\Omega^*(X)$ the set of all smooth differential forms on $X$. Assume we have a family of differential forms $\omega_t \in \Omega^*(X)$, $t\in E$, ...
By Minkowski's work in the early 1900s, every polytope $P\subset\mathbb R^n$ is determined up to translation by its unit facet normals $u_1,\dots,u_k$ and facet volumes $\alpha_1,\dots,\alpha_k$. ...