Let $I$ be a compact interval and $\mathcal{M}(I)$ the space of (signed) Borel measures. We equip it with the weak topology, i.e. a sequence $\mu_n$ converges to zero if and only i …

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 …

I will just quote a part of one proof in "On uniformly regular topological measure spaces by Babiker: page 781" vol43 No4 Duke Math. J. 1976. Let $I$ be the unit interval endow …

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 $\ …

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 …

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 …

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 …

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 …

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 …

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 …

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 …

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 …

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 …

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 …

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 …