**21**

votes

**0**answers

520 views

### Relative null-ness

Here, "measure" always means Lebesgue measure on $\mathbb{R}$. This question is partly motivated by my answer ...

**17**

votes

**0**answers

437 views

### A question about small sets of reals

In ZFC, does there exist an uncountable set of reals $A$ such that for every closed measure zero set of reals $B$, $ A + B = \{a+b : a \in A, b \in B\} \neq \mathbb{R}$?
This question is motivated ...

**16**

votes

**0**answers

632 views

### Which complete Boolean algebras arise as the algebras of projections of commutative von Neumann algebras?

Projections in an arbitrary commutative von Neumann algebra form a complete Boolean algebra.
Moreover, a morphism of commutative von Neumann algebras induces
a continuous morphism of the corresponding ...

**14**

votes

**0**answers

771 views

### A Kakeya-like problem: must a union of annuli fill the plane?

Let $S$ be a subset of $\mathbb{R}^2$ with the following property. For all $x \in \mathbb{R}^2$ and $\varepsilon \gt 0$, there exists a nontrivial interval $[a,b] \subseteq [1-\varepsilon,1]$, such ...

**12**

votes

**0**answers

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

**11**

votes

**0**answers

511 views

### Is every $\sigma$-algebra of sets *abstractly* the Borel algebra of a topology on perhps some other set?

Is every sigma-algebra the Borel algebra of a topology?
inspires the present question which asks for less.
Question: Given a $\sigma$-algebra ${\cal A}$ on a set $X$, does there exist a topology ...

**10**

votes

**0**answers

361 views

### Ultrafilter theorem and translation invariant measures

The usual Vitali construction of a non-Lebesgue measurable set generalizes to a proof that there are no (non-trivial) translation invariant measures on $\mathcal P\mathbb R$.
On the other hand, there ...

**10**

votes

**0**answers

991 views

### Quotients of Measurable Spaces?

Let $(\Omega,\Sigma)$ be a measurable space and $\Pi$ be a partition of $\Omega$. There is a projection $\pi:\Omega\to\Pi$ that maps each $\omega\in\Omega$ to the unique partition cell in $\Pi$ ...

**9**

votes

**0**answers

570 views

### Errata for the Treatise of Analysis of Dieudonné

I was looking again at the beautiful and quite complete work of Dieudonné, his Treatise of Analysis, to refresh my memory about some aspects of classical analysis. I especially love this Treatise for ...

**9**

votes

**0**answers

424 views

### Example of a quasi-Bernoulli measure which is not Gibbs?

Let $X=\{0,1\}^{\mathbb{N}}$. For simplicity I consider measures on $X$ only.
A measure $\mu$ is quasi-Bernoulli if there is a constant $C\ge 1$ such that for any finite sequences $i,j$,
$$
C^{-1} ...

**8**

votes

**0**answers

150 views

### A meager subgroup of the real line, which cannot be covered by countably many closed subsets of measure zero?

Is there a ZFC-example of a subgroup $H$ of the real line $\mathbb R$ such $H$ is meager, has zero Lebesgue measure, but cannot be covered by countably many closed subsets of measure zero in $\mathbb ...

**8**

votes

**0**answers

251 views

### A Banach-Tarski game

This is partially inspired by the question http://math.stackexchange.com/questions/1383397/cutting-a-banach-tarski-cake, which I find intriguing if unclearly written.
A paradoxical family of subsets ...

**8**

votes

**0**answers

315 views

### Two questions about universally measurable sets

I have two questions about universally measurable sets:
(1) Is there a universally measurable set of reals which does not have the Baire property?
(2) Is there a universally measurable set of reals ...

**8**

votes

**0**answers

320 views

### Finitely additive measures on $\mathbb Z_2^\omega$ with invariance and independence constraints

Let $G = \mathbb Z_2^\omega$, with pointwise addition. Assume the Axiom of Choice. I am interested in finitely additive probability measures $\mu$ defined on all of $\mathcal PG$ that can be ...

**8**

votes

**0**answers

241 views

### Common extension of two sigma-additive measures

Let $\mathcal{A_1}$ and $\mathcal{A_2}$ be $\sigma$-algebras of subsets of some space X. Suppose $\mu_j$ is probabilistic measure on $\mathcal{A}_j$ for $j=1,2$. What are the necessary and sufficient ...

**8**

votes

**0**answers

541 views

### G-delta of measure 0 containig the rationals.

It is well known that $\mathbb{Q}$ is not a $G_\delta$. In fact no countable dense subset of $\mathbb{R}$ is a $G_\delta$. We order the rationals in a sequence: $\mathbb{Q}=\lbrace r_k\rbrace$, and ...

**7**

votes

**0**answers

245 views

### A question about finitely additive extensions of Lebesgue measure

Suppose $m:P([0, 1]) \to [0, 1]$ is a finitely additive measure extending the Lebesgue measure. Must there exist some $X \subseteq [0, 1]$ such that $m(X \cap I) = |I|/2$ for every sub interval $I ...

**7**

votes

**0**answers

154 views

### Cramer's theorem in Hilbert spaces

I am interested under what conditions Cramer's theorem applies in random variables taking values in Hilbert spaces. Following these lecture notes, but using a Hilbert space:
Let $X_1,X_2,\cdots$, be ...

**7**

votes

**0**answers

148 views

### Qualitative weakenings of probabilistic independence

In probability theory, independence of random variables is characterised by
$$(1)~~X~\text{independent}~Y \; \iff \; P_{(X,Y)} = P_X \otimes P_Y \enspace ,$$
where $P_{(X,Y)}$ is the joint probability ...

**7**

votes

**0**answers

275 views

### Uniform closure of subspaces of Baire class 1

Describe a uniformly closed linear subspace $A \subset C([0,1])$ such that the space $B_1(A)$ is not uniformly complete. Here $B_1(A)$ is the set of all bounded functions $f$ which are pointwise ...

**7**

votes

**0**answers

454 views

### Is the set of real-valued lower semi-continuous functions measurable in epigraph topology (= topology of Gamma convergence)?

Let LSC = LSC([0,1]) be the set of non-negative, lower semi-continuous functions on the unit interval which take values in $\mathbb{R}_+ \cup \{\infty\}$. We use epigraph topology on LSC, i.e. a ...

**7**

votes

**0**answers

321 views

### “Liftings” of L^\infty functions

This is motivated by this question: Is there an inclusion of $L_\infty(G)$ into $C_0(G)^{**}$? and Bill Johnson's comments there.
Let $X$ be a locally compact Hausdorff space and $\mu$ a Radon ...

**7**

votes

**0**answers

298 views

### Proof of Lomnicki and Ulam on Infinite Product Probability Spaces

Given an arbitrary, nonempty family $(\Omega_i,\Sigma_i,\mu_i)_{i\in I}$ of probability spaces, there exists a probability measure $\mu$ on $\otimes_i\Sigma_i$ such that for every finite set ...

**6**

votes

**0**answers

110 views

### Cutting a piece of cake that $n$ people value as exactly $w$

Stromquist and Woodall (1985) study the problem of Sets on which several measures agree. There are $n$ non-atomic value measures on the unit circle, and a parameter $w\in(0,1)$. The goal is to find a ...

**6**

votes

**0**answers

252 views

### Approximating a measurable function from a second-countable, locally compact Hausdorff group to a separable Banach space

Let $ G $ be a second-countable, locally compact Hausdorff group and $ B $ a separable Banach space.
We say that a function $ f: G \to B $ is Bochner-measurable if and only if it is the everywhere ...

**6**

votes

**0**answers

394 views

### Prokhorov's theorem for finite signed measures?

Prokhorov theorem provides a useful characterization of relatively compact sets w.r.t. narrow topology (topology induced by narrow convergence) in the space of probability measure.
Notation used ...

**6**

votes

**0**answers

259 views

### Why has Sacks' “Measure-theoretic uniformity” not been more influential?

In the 1969 paper "Measure-theoretic uniformity in recursion theory
and set theory," Trans. Amer. Math. Soc. 142 1969 381–420, Sacks gave
a measure-theoretic approach to several results previously ...

**6**

votes

**0**answers

196 views

### Generating stationary, ergodic random fields on a homogeneous space

Consider a homogeneous space $M$, which for the sake of concreteness, let's take to be $M = \mathbb R^d$. Fix some space $A$, and consider the space of functions $X = C(M,A)$, along with its Borel ...

**6**

votes

**0**answers

519 views

### Density of countably additive measure in the set of all finitely additive measures.

Let $S$ be a countable discrete set, the following two results are quite easy to prove:
Every countably additive probability measure $\mu$ on $S$ commutes (in Fubini's sense) with every finitely ...

**6**

votes

**0**answers

437 views

### The log kernel and Bochner Theorem

I was wondering if it possible to find a measure $\eta$ on $\mathbb{R}$ such that
$$
L(x):=\log\frac{1}{|x|}=\int e^{itx}\;d\eta(t)
$$
for every $x\in [0,1/2]$.
On a structural ground, this ...

**5**

votes

**0**answers

56 views

### Measure-minimizing simplex with fixed inradius

Let $\Delta^n$ be an $n$-simplex in $\mathbb{R}^n$. Let $V$ be the volume and $r$ the inradius (radius of the inscribed sphere) of $\Delta^n$. There is a well-known result that
$$
V \geq ...

**5**

votes

**0**answers

160 views

### Sierpinski sets and extensions of Lebesgue measure

I am duplicating an old problem from stackexchange:
Suppose that every countably generated sigma algebra extending the Borel sigma algebra on $[0, 1]$ admits a measure extending the Lebesgue measure ...

**5**

votes

**0**answers

102 views

### Support of a Measure with Characteristic Functional Continuous in $L_p$, $1\leq p <2$?

Let $\mathcal{S}(\mathbb{R})$ be the space of smooth and rapidly decaying functions and $\mathcal{S}'(\mathbb{R})$ its dual, the space of tempered distributions. Let $\mu$ be a probability measure ...

**5**

votes

**0**answers

150 views

### Characterizations of an exotic measure on the open sets in the circle $S^{1}$

Suppose that $U\subseteq S^{1}$ is open where $S^{1}=\{z\in\mathbb{Z}:|z|=1\}$. Then define $\mu_{n}(U)=\max_{t\in S^{1}}\frac{1}{n}\cdot|\{k\in\{1,...,n\}|t\cdot e^{\frac{2\pi ik}{n}}\in U\}|$. ...

**5**

votes

**0**answers

328 views

### Skorohod theorem (weak convergence) on a discrete setting

I have a question about the application of Skorohod representation theorem. The questions arises in this paper about robust hedging in mathematical finance. It is about the very last equation on page ...

**5**

votes

**0**answers

223 views

### Existence of an universally measurable pullback

Let $X,Y$ and $Z$ be standard Borel spaces:
topological spaces homeomorphic to Borel subsets of complete separable metric spaces.
Let $K\subseteq X\times Y$ be analytic. Assume that $K_x$ is not ...

**5**

votes

**0**answers

134 views

### Simultaneous Strong Law of Large Number classes?

Say that $C$ is a SSLLN class of subsets of some topological space $V$ provided that for every sequence of i.i.d.r.v.s $X_1,X_2,...$ with values in $V$, we almost surely have: For every $A$ in $C$, ...

**5**

votes

**0**answers

152 views

### On the multidimensional Mellin transform of measures

Consider an integral transform of Borel measures supported on $\mathbb{R}^n_+$ given by
$$
f(z) =\int\limits_{\mathbb{R}^n_+} x^{z}\frac{\mu(dx)}{x}
$$
where $z = (z_1,...,z_n) \in \mathbb{C}^n$, ...

**5**

votes

**0**answers

185 views

### Diffusion processes in wide generality

It is common knowledge among schoolchildren that one may define jump diffusion processes in wide generality.
Hard question: What are the most general structures on which one may define something ...

**5**

votes

**0**answers

320 views

### Independent Events Inducing Probability Measures

Let $\mathcal{F}$ be a sigma algebra over $\Omega$ and $M$ the set of all probability measures on $\mathcal{F}$. Let $\mathcal{C}$ be some collection of pairs $(A,B)$ with $ \ A,B\in\mathcal{F}$. Now ...

**4**

votes

**0**answers

204 views

### Area defined with $\pm$ closedness

Denote $B_n\subset\Bbb R^n$ to be unit ball at origin.
Denote $S\subset B_n$ to region of type $\mathsf I$ if it satisfies
$$s\in S\iff\forall t\in S, s+t\in S\mbox{ or }s-t\in S$$
I am convinced ...

**4**

votes

**0**answers

130 views

### Equidistribution of spheres in $\mathbb{R^2}/\mathbb{Z^2}$

Let $\mathbb{H^2}$ be the hyperbolic upper half place, and let $\Gamma$ be a lattice in $SL(2,\mathbb{R})$ acting on $\mathbb{H^2}$. A proof of the equidistribution of spheres on $\mathbb{H^2/\Gamma}$ ...

**4**

votes

**0**answers

101 views

### Large Deviations: Exponential decay in normed spaces

Let $(X_1,X_2,\cdots)$ be a sequence of independent and identically distributed random variables taking values in some general normed space $(V,||\cdot||)$. Denote $\mu=E[X_1]$ and ...

**4**

votes

**0**answers

306 views

### Total variation and Hellinger distance inequality between truncated Gaussians

We know that the total variation distance, $d_{TV}(P,Q) = \frac{1}{2}\left|\left|P-Q\right|\right|_1$, between any two distributions $P$ and $Q$ is lower bounded by their squared Hellinger distance, ...

**4**

votes

**0**answers

227 views

### Do all $L^{\infty}(\mu)$ spaces have the Grothendieck property?

Consider $L_{\infty}(\Omega,\Sigma,\mu)$, where $(\Omega,\Sigma,\mu)$ is any measure space. Does it it have the Grothendieck property? If the measure space is localizable, then it is true. The ...

**4**

votes

**0**answers

208 views

### Conditional expectation with respect to random closed sets

Short question
If $X$ is a random closed set, and $Y$ is an integrable random variable, I would like a definition of the "conditional expectation" $$\mathbf{E}[Y \mid X\ni x].$$ Has this been worked ...

**4**

votes

**0**answers

297 views

### Cameron Martin space

I have seen two definitions of Cameron Martin space of a Gaussian measure $\nu$ on a Banach space (say $W$) and am unable to establish their equivalence. Any help would be appreciated.
1) It is the ...

**4**

votes

**0**answers

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

**4**

votes

**0**answers

72 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$ ...

**4**

votes

**0**answers

142 views

### Beck-Chevalley for measures?

A measurable set is a pair $(X,\Sigma)$ where $X$ is a set and $\Sigma$ is a $\sigma$-algebra on $X$. The elements $U\in\Sigma$ will be considered as subsets $U\subseteq X$. A morphism of measurable ...