0
votes
1answer
72 views
A question about “nice” functions
Let $f:\mathbb R \rightarrow \mathbb R$ be a function such that $\lambda(I)=\lambda(f(I))$ for each interval $I \subseteq \mathbb R$. ($\lambda$ is Lebesgue measure here.) Let us c …
4
votes
4answers
280 views
Existence of dominating measure for weak*-compact set of measures
I have posted the following question also here a longer time ago, but due to no answers I thought it might fit better to MO.
Let $(\Omega,\mathcal F)$ be a measurable space and $\ …
0
votes
0answers
57 views
Measurable multifunction
Let $f:[a,b]\times \mathbb{R}^{n} \times \mathbb{R}^{m}
\rightarrow \mathbb{R}^{n}$. Suppose $ f (.,x, u) $ is Lebesgue
measurable for each $(x,u)$. Suppose also that $ f $ is cont …
0
votes
1answer
128 views
Variation on Fatou’s lemma for Sobolev norms
Recall that Fatou's Lemma says that for every sequence $f_n$ of non-negative measurable functions
$$\int \liminf_{n\to \infty} f_n \ d\mu\leq \liminf_{n\to \infty} \int f_n\ d\mu …
4
votes
0answers
112 views
From universal measurability to measurability
Let $(\Omega,\Sigma)$ be a measurable space and $K$ be a compact
metrizable space endowed with its Borel $\sigma$-algebra
$\mathcal{B}(K)$. Let $A\subseteq\Omega\times K$ be …
2
votes
2answers
159 views
How do these two Haar measures on SL(2,R) compare?
By using the Iwasawa decomposition, one obtains a (bi-invariant) Haar measure on $G:=\mathrm{SL}(2,\mathbb{R})$ which can be symbolically written as $\mathrm{d}x=\mathrm{d}a\,\math …
6
votes
0answers
106 views
Restrictions of null/meager ideal
Let I denote the null (resp. meager) ideal on reals. Is it consistent that for any pair of non null (resp. meager) sets A and B, there is a null (resp. meager) preserving bijection …
1
vote
1answer
189 views
When does a $W^*$-algebra have a standard Borel spectrum?
EDIT: André Henriques has commented below that the correct separability condition is not weak-* separability as I have written below, but separability of the predual.
This post c …
3
votes
2answers
218 views
Cohen algebra (generalization)
Let Bor($X$) = class of all borel subsets of $X$. Cohen algebra is defined as Bor(X) modulo the ideal of meager sets.
The Cohen algebra has a combinatorial : it is the uniqu …
1
vote
0answers
135 views
On dyadic cubes
I will copy the following definitions of Exercise 1.1.14 of the book "An introduction to measure theory" by Terence Tao.
Define a dyadic cube to be a half-open box of the form
\be …
0
votes
2answers
128 views
Preimage of zero measure sets
Denote by $|A|$ the measure of $A$ (Can be Lebesgue measure) under what conditions on a function $f:\mathbb{R}^m \to \mathbb{R}$ the preimage of a null set is zero. i.e.
$|A|=0 \R …
1
vote
1answer
146 views
On the proof of Modified Vitali Lemma.
I see the following theorem in Lihe Wang's A geometric approach to the Calderon--Zygmund estimates
(Modified Vitali) Let $0<\varepsilon<1$ and let $C\subset D\subset B_1 …
1
vote
2answers
177 views
Existence of limit measure
Let $X$ be a separable metric space, $\mu_{n}$ a sequence of Borel probability measures
and $\mathcal{C}$ be a family of sets that is closed under finite unions and
interections, a …
0
votes
0answers
70 views
Intution behind conditional expectation when sigma algebra isn’t generated by a partition
I'm struggling with the concept of conditional expectation, when the sigma algebra on which it is conditioned isn't generated by a partition.
If $(\Omega,\mathcal{F},P)$ is a prob …
4
votes
2answers
124 views
Obtaining conditional probabilities as pushforwards of [0,1]
It is standard that every Borel probability measure on a polish space $X$ can be obtained as pushforward of the uniform measure $\lambda$ on $[0,1]$ along an almost-everywhere-defi …

