**4**

votes

**0**answers

163 views

### decreasing rearrangements: why the asymmetry of measure-preserving maps?

Ryff proved in 1970 that the decreasing rearrangement $f^*$ of a, say, continuous function $f:[0,1]\to\mathbb{R}$ admits a measure preserving map $\phi$ such that $f=f^*\circ\phi$. In general it is ...

**1**

vote

**1**answer

86 views

### On the existence of a signed measure related to the Hausdorff moment problem

This M.O question reminded me of a problem I've seen a while ago and was not able to solve. Any reference about this kind of problem would be nice.
The problem is the following :
Does there exist a ...

**4**

votes

**1**answer

132 views

### On vanishing signed measure

It is quite easy to show that if $\mu$ is positive finite Borel measure on, say $[0,1]$, and for all $n \in \mathbb{N}$
$$\int_{[0,1]} e^{-nx}\mu(dx)=0$$
holds true, then $\mu=0$. Does this still ...

**0**

votes

**0**answers

55 views

### Limit of conditional probabilities

Let $\mu^n_1$ and $\mu^n_2$, $n = 0,1,2,\ldots$, be a probability measures on $(X \times A, \mathfrak{B}(X) \times \mathfrak{B}(A))$ and $(X, \mathfrak{B}(X))$, respectively such that $\mu^n_1(Z ...

**9**

votes

**0**answers

298 views

### Does this metric have an official name? Lévy metric? Ky Fan metric?

Let $X$ and $Y$ be random variables taking values in a separable metric space $(S,d)$. The metric I have in mind is
$$\rho(X,Y) = \mathbb{E}[\min\{d(X,Y),1\}]$$
if $X$ and $Y$ take values in the a ...

**1**

vote

**0**answers

142 views

### When does a proper Zariski closed set have measure zero with respect to a conditional measure?

Assume we have a probability measure $\mu$ over $\mathbb{R}^d$ that is absolutely continuous with respect to Lebesgue measure.
Given $m$ polynomials $p_1,\ldots,p_{m}\in \mathbb{R}[x_1,\ldots,x_d]$ ...

**4**

votes

**1**answer

124 views

### Is there a survey of recent work relating to the Hausdorff dimension of sets defined through some restriction of digits?

I am familiar with the work of Helmut Cajar, but his book is thirty years old and it's clear that there has been substantial progress since then. I have been spending a lot of time looking through ...

**3**

votes

**0**answers

71 views

### Possible Hausdorff dimension of intersection of Besicovitch-Eggleston like sets

Let $b \geq 2$ be an integer and suppose that $v=(p_0,\cdots,p_{b-1})$ be a probability vector. Let $S_{b,v}$ be the set of real numbers whose $b$-ary expansion has the digit $k$ with relative ...

**3**

votes

**1**answer

170 views

### Extending Tarski's Theorem on invariant measures

Tarski's Theorem says that if $G$ acts on $X$ and $E$ is a non-$G$-paradoxical subset of $X$, then there is a finitely additive $G$-invariant measure $\mu:2^X\to[0,\infty]$ with $\mu(E)=1$.
I am ...

**3**

votes

**1**answer

310 views

### A reference for this possibly well-known fact concerning the Kakeya conjecture?

I believe I have read or heard somewhere that the Kakeya conjecture would follow from appropriate lower bounds for the minimal size of a subset of $\{ 1 , \cdots , N\}$ which contains a translate of ...

**1**

vote

**2**answers

305 views

### Reference request: learn measure theory for PDEs

I am requesting some references to learn appropriate measure theory for PDEs. Specifically, I would like to learn all the measure theory necessary to understand well-posedness of PDEs with measure ...

**0**

votes

**0**answers

131 views

### Is there a translation invariant measure on an infinite dimensional space 'without points'?

This is just a reference request. I thought I'd come across a paper demonstrating that there is a translation invariant measure on an infinite-dimensional space without 'points' whilst browsing the ...

**0**

votes

**0**answers

44 views

### Density invariant of Quotient

Let $G$ be a locally compact group with left Haar measure $\mu$. Furthermore, $\Gamma_1, \Gamma_2 \subset G$ are such that $\mu$ induces finite Haar measures $\mu_1$ and $\mu_2$ on $G /\Gamma_1$ and ...

**0**

votes

**1**answer

118 views

### identically distributed random variables and measure-preserving transformations

Let $X$ and $Y$ be identically distributed bounded random variables defined on a probability space $(\Omega,\mathcal{F}, \mathbb{P})$. I want to know if there always exists an invertible ...

**4**

votes

**1**answer

202 views

### Winning sets of full measure (Schmidt's game)

A quick reminder of the definition of Schmidt's game:
Let ${X}$ be a metric space and ${S\subset X}$ be a subset. Let
${0<\alpha,\beta<1}$ be constants. Bob chooses any open ball
...

**1**

vote

**1**answer

177 views

### Density of certain functions in $C_c^\infty(0,T;V)$ in the space $W(0,T) \approx H^1(0,T;V)$?

EDIT: I need to think more about the question I want to ask given comments in the answer below. Please close the thread if required. I leave it undeleted because answer is useful.
Let $V \subset H ...

**10**

votes

**2**answers

618 views

### Why do we want maps to be measurable (in countably-additive setting)

When I have to explain things that I am doing to people who did not do (or even did not learn) measure-theoretical probability, I think of getting a question in the title, and I am not sure I have ...

**5**

votes

**0**answers

169 views

### Existence of an universally measurable pullback

Edited: previous version of the question was less general but also less readable.
Let $X,Y$ and $Z$ be standard Borel spaces, that is topological spaces homeomorphic to Borel subsets of complete ...

**4**

votes

**1**answer

354 views

### Are there uniformly discrete paradoxical sets in $R^3$?

I think there aren't any discrete paradoxical sets in $R^2$ (any isometry that mapped a discrete set into itself would have to either be a glide-reflection, a translation or a rotation by $2\pi/n$, ...

**6**

votes

**2**answers

232 views

### Borel kernel over an analytic set implies existence of a Borel map

Let $X$ and $Y$ be standard Borel spaces, and let $A\subseteq X\times Y$ be an analytic set with a full projection on $X$: that is $\pi_X(A) = X$. Suppose that there exists a Borel-measurable kernel ...

**3**

votes

**1**answer

123 views

### Maps that are a.e. equal have almost the same graphs

Let $X$ and $Y$ be two measurable spaces, and let $p$ be a probability measure on $X\times Y$. Denote by $p_X$ the marginal of $p$ on $X$, that is an image of $p$ under projection on $X$. Consider two ...

**2**

votes

**1**answer

131 views

### Universally measurable map coincides a.e. with a Borel map

Let $X$ be a standard Borel space: that is, a topological space equivalent to a Borel subset of $\Bbb R$. It is known that for any probability measure $p$ on $X$ and any universally measurable set ...

**5**

votes

**1**answer

440 views

### Do Measurable Cardinals Exist? (assuming ZFC)

In Appendix B of his Uniform Central Limit Theorems (1999), Dudley writes:
It is consistent with the usual axioms of set theory (including the axiom f choice) that there are no measurable ...

**3**

votes

**1**answer

214 views

### Conditional probabilities for all pairs of subsets in $\mathbb R^2$?

Parikh and Parnes showed that one can define a isometry-invariant finitely-additive conditional probability for all pairs of subsets of the interval. Can one extend this result to bounded subsets of ...

**4**

votes

**1**answer

214 views

### Norms for complex measures

I'm searching for a state of the art introduction to norms on the space of complex measures (on $\mathbb R^n $, for example, or some compact subset thereof). I'd be interested in inequalities of the ...

**4**

votes

**3**answers

505 views

### What is the easiest way to show that three lines in two dimensional space do not intersect?

I have two similar questions:
1) Let $X$ and $Y$ be two measure spaces. Suppose for every point
$x \in X $ there exists a set $ \mathcal{U}_x \subset Y $ of full
measure in $Y$. Suppose $V \subset ...

**0**

votes

**0**answers

186 views

### Measure induced by function

It is known that an n-increasing, left-continuous function $f$, on $[0,\infty)^n$ induces a unique positive measure $\mu$ on $[0,\infty)^n$. Say if $f$ was 3-increasing on $[0,\infty)^3$ but also ...

**5**

votes

**1**answer

461 views

### Possible mistake in De Giorgi's paper on Holder's regularity

$\mu_{n-1}$ is the $n-1$ dimensional measure and $\operatorname{meas}$ is the $n$-dimensional one.
$I(\varrho)$ is the ball of radius $\varrho$ around a fixed point $y$ in the domain $\Omega\subset ...

**3**

votes

**1**answer

185 views

### Prohorov's theorem for random elements of Hilbert space: weak convergence

Let $(\Omega,\mathcal{F},P)$ be a probability space and let $(E,\mathcal{E})$ be a separable Hilbert space ($E$) with Borel $\sigma$-algebra $\mathcal{E}$. For concreteness let us set $E=L^{2}[a,b]$ ...

**3**

votes

**1**answer

137 views

### Conditional law as a random measure and convergence of random measures

I'm looking for a reference book or article for the following two facts. In both statements, a Polish space $E$ and an ambient probability space $(\Omega, {\cal A}, \Pr)$ are given, and I consider ...

**12**

votes

**3**answers

547 views

### How do we express measurable spaces using type theory?

A measurable space $(X,\mathcal X)$ consists of a set $X$ equipped with a $\sigma$-algebra of subsets $\mathcal X$. I would like to write computer programs involving measurable spaces, but to the best ...

**11**

votes

**3**answers

585 views

### What fraction of n-point sets in the unit ball have diameter smaller than 1?

This question is inspired by a recent talk by Matt Kahle on random geometric complexes.
Some simple notation: let $\mathcal{B} \subset \mathbb{R}^d$ be the unit ball in $d$-dimensional Euclidean ...

**1**

vote

**2**answers

180 views

### An almost orthogonality principle for L^p

I recently asked this question on Math StackExchange and someone suggested that it would probably be more suited for Math Overflow. Since it still has not been answered, here it goes:
If two ...

**2**

votes

**1**answer

114 views

### Cutting a subset in many pieces with controlled perimeter

Let me premise that I am in no way an expert in the subject of this question.
Let's say we have a measure space $X$ with measure $m$ and a reasonable notion of perimeter for (nice enough) subsets of ...

**2**

votes

**2**answers

525 views

### The image of a measurable set under a measurable function.

Let $f:X \rightarrow (Y, \mathcal{Y})$ be an abstract function, with $\mathcal{Y}$ a $\sigma$-algebra on $Y$. Endow $X$ with $f^{-1}(\mathcal{Y})$. Is then $f(X)$ a measurable set in $Y$? If not, are ...

**2**

votes

**1**answer

251 views

### Measurability of subspace of set of all functions

Set $X=\mathbb{R}^n$ and let $X^{I}$, the space of maps from the (bounded or unbounded) interval $I$ to $X$, be endowed with the locally convex topology of pointwise convergence.
Is it true that the ...

**2**

votes

**1**answer

274 views

### When is the support of a Radon measure separable?

Let $X$ be a topological space, equipped with its Borel $\sigma$-algebra $\mathcal B(X)$, and let $\mathbb P$ be a Radon probability measure on $(X, \mathcal B(X))$. Recall that the support of the ...

**6**

votes

**1**answer

237 views

### Arithmetic products of Cantor sets.

Let $A,B\subseteq \mathbb{R}$ be two Cantor sets. What is known about the arithmetic product
$AB=\lbrace ab|a\in A, b\in B\rbrace$? In particular, what is known in the case that the sets are ...

**3**

votes

**0**answers

58 views

### Importance sampling of finite path of stochastic difference equation

Before passing to question, let me briefly recap what's importance sampling of random variables is about. Suppose $\xi$ is a real-valued random variable with density $f$, and let $g:\Bbb R\to \Bbb R$ ...

**8**

votes

**2**answers

266 views

### Supremum of measure of sets of measure less or equal to 1/2.

Let $(X,d)$ be a metric space equipped with a probability measure $\mu$ (defined on the Borel $\sigma$-algebra on the topology induced by the metric $d$). I am interested in the different values that ...

**1**

vote

**1**answer

295 views

### Dirac measures dense in space of measures?

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 if
$$ \left|\int_I ...

**0**

votes

**0**answers

80 views

### Need an explanation of this paragraph “Lebesgue Homoeomorphism”

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 endowed with Lebesgue ...

**1**

vote

**1**answer

241 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 call such functions ...

**0**

votes

**0**answers

93 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 continuous
at $ (x, u) $ ...

**4**

votes

**4**answers

479 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 $\mathcal P$ a ...

**4**

votes

**1**answer

196 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 universally
...

**0**

votes

**1**answer

184 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 \ .$$
If I am not ...

**2**

votes

**2**answers

321 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 ...

**10**

votes

**1**answer

380 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 between A and B? In ...

**2**

votes

**1**answer

366 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 came out a bit long, ...