**-1**

votes

**0**answers

24 views

### For a $\sigma$-finite measure is $u_*(E)=lim_iu_*(E_i)$? [on hold]

let $u$ be a $\sigma$-finite measure on a $\sigma$-ring $S$, let $u_*$ be the inner measure induced by $u$ and denote $H(S)$ as hereditary $\sigma$-ring generated by $S$.
{$E_i$} is an increasing ...

**0**

votes

**0**answers

63 views

### Hoeffding's lemma for unbounded r.v with bounded exponential map

Let $X$ be a real r.v with $E[e^{\lambda X}] < \infty $ for all $\lambda \in [-c,c]$.
Is it possible to get an Hoeffding's lemma like bound on $E[e^{\lambda(X-EX)}]$. That is, an upper bound: ...

**3**

votes

**0**answers

59 views

### Lower semi-continuity of the Hellinger-Fisher-Rao distance

I am currently working on unbalanced optimal transport, where the Hellinger (or sometimes Fisher-Rao) distance
$$
...

**0**

votes

**0**answers

91 views

### from finite to $\sigma$-finite measure space [migrated]

This might be rather elementary. I have put it at MSE for a while without getting any answers.
Here is the question:
In the proof of the following theorem, would anyone explain how the general case ...

**1**

vote

**1**answer

90 views

### Classification of Lebesgue-Rokhlin spaces

I am currently trying to grasp some ideas on Lebesgue-Rokhlin spaces from Bogachev, "Measure Theory", vol. 2.
Such spaces are also known as standard probability spaces but the definitions are not ...

**0**

votes

**0**answers

36 views

### Volume growth of balls II

Let $b:(0,\infty)\to (0,\infty)$ be monotonically increasing.
Call $b$ limit-tight, if
$$
\lim_{\varepsilon\to 0}\ \limsup_{T\to\infty}\frac{b(T-\varepsilon)}{b(T)} =\lim_{\varepsilon\to 0}\ ...

**0**

votes

**1**answer

93 views

### Change of variable for integration with respect to Haar measure

I know how to estimate the integral* (see the update)
\begin{gather}
\int f(Ub)d\mu(U), \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ [2]
\end{gather}
where ...

**0**

votes

**0**answers

58 views

### Why is $\mathcal{E}(X)=\mathcal{E}(X,X^*)$?

According to a course about $\sigma$-agebras in infinite dimensional space they said that it is easy to see that :
$$\mathcal{E}(X)=\mathcal{E}(X,X^*)$$
where:
$X$ is separable real Banach space.
...

**0**

votes

**0**answers

140 views

### On a certain set of probability measures on a shift

Denote by $\mathbb{Z}_2=\{0,1\}$ the integers modulo 2.
Let $S:\mathbb{Z}_{2}^{\mathbb{N}}\times\mathbb{Z}_{2}^{\mathbb{N}} \rightarrow \mathbb{Z}_{2}^{\mathbb{N}}$ be the sum $S(a,b) = a+b$, where ...

**1**

vote

**1**answer

189 views

### What is the cofinality of the positive measure sets of reals?

What is the minimal cardinality of a family of sets of real numbers, each of positive Lebesgue measure, such that every set of real numbers of positive Lebesgue measure contains some member of the ...

**4**

votes

**1**answer

112 views

### Invariant subspaces are reducing subspaces in $L^2(\mu)$; where $\mu$ is a singular measure w.r.t Lebesgue measure

I have already posted this question on math.stackexchange but didn't get any answer. I hope this is the right place to ask this question.
Recently I was reading a book "Operator Function and system" ...

**1**

vote

**1**answer

50 views

### Compactness of cadlag martingales w.r.t. to the point-wise topology

Given a sequence of cadlag (right-continuous with left limits) martingales $X^n=(X^n_t)_{0\le t\le 1}$, we may use the well known criteria to determine whether it is weakly convergent, i.e. subtract a ...

**2**

votes

**1**answer

71 views

### Lower bounds from Fourier dimension?

According to Mattila, Geometry of sets and measures in Euclidean spaces, p. 168, the Fourier dimension $\text{dim}_F(A)$ of $A\subseteq \mathbb R^n$ is the unique number in $[0,n]$ such that for any ...

**0**

votes

**1**answer

112 views

### Averaging measurable functions over amenable group actions

Let $G$ be an amenable group acting on a space $X$.
Amenability means there is a $G$-invariant mean on $L^\infty(G,{\mathbf R})$.
Given a bounded function $f\colon X\to {\mathbf R}$ one can use the ...

**5**

votes

**2**answers

239 views

### A result of Sierpiński on non-atomic measures

There is a classical result commonly attributed to W. Sierpiński that reads as follows:
Theorem 1. If $f: \Sigma \to \bf R$ is a non-atomic (*) measure on a set $S$, then for every $X \in \Sigma$ ...

**0**

votes

**1**answer

97 views

### entropy growth of invariant measures - General question

In general, given a sequence of shift-invariant measures $\eta_{n}$ on $\{0,1\}^{\mathbb{N}}$ what to do to guarantee this convergence of entropies: $$h(\eta_{n}) \rightarrow \log2?$$
Because I'm ...

**0**

votes

**0**answers

43 views

### skorokhod integral as Weak Integral

Is it possible to express the skorokhod integral on a Banach space $B$ as a special case of the weak (or Pettis) integral over an appropriate Banach space $E$?
For example if $E$ is the space of ...

**1**

vote

**1**answer

83 views

### entropy and d-bar: how do we estimate continuity?

Let $G = \{0,1\}^{\mathbb{N}} = \mathbb{Z}_{2}^{\mathbb{N}}$ be the Bernoulli space of two symbols, let $\sigma$ be the shift map and $M(G)$ the set of $\sigma$-invariant probabilities. Let $\bar{d}$ ...

**1**

vote

**1**answer

66 views

### Equivalent measures on algebra also equivalent on $\sigma$-algebra?

Suppose $\mu$ and $\nu$ are finite positive measures on a measurable space $(X,\mathcal A)$. Let $\mathcal G$ be an algebra of $\mathcal A$. If $\mu$ and $\nu$ are equivalent on $\mathcal G$ in the ...

**0**

votes

**0**answers

59 views

### Optimization over space of probability measures

Consider an optimization problem as follows:
$$
\min\mathbb E_w[f_0(w)] \mathrm{\,\,\,\,\,\ s.t.\,\,\,\,} E_w[f_i(w)]\leq 0 ,\,\,\, i=1,\dots, k
$$
where the maximum is taken over $\mathscr M$, ...

**4**

votes

**2**answers

141 views

### Density of Gaussian measures on Banach spaces

I am trying to get my head around this question and was reading (1) which states the same a little bit more general:
Let $X$ be a separable Banach space and $X^*$ the dual space. The mean
value ...

**3**

votes

**0**answers

244 views

### “Nicely” strong measure zero sets

This question is essentially an expanded version of the unanswered half of Two strengthenings of "strong measure zero".
A set $X$ of reals is strong measure zero if, for any $f: ...

**2**

votes

**0**answers

113 views

### Stopping time sigma-fields

Let $(F_n)$ be a discrete Filtration and $S_n,S$ (not necessarily finite) stopping times with $S_n\uparrow S$ (increasing convergence).
Is it true that the associated sigma-fields satisfy ...

**9**

votes

**1**answer

158 views

### Does a monotone subadditive $f: \mathcal{P}(\bf N)\to [0,1]$ admit a finite partition with values in $(0,1)$?

A function $f\colon \mathcal{P}(\mathbf{N})\to [0,1]$ is said to have the Darboux property whenever for all $X \subseteq \mathbf{N}$ and $y \in [0,f(X)]$, there exists $Y \subseteq X$ such that ...

**2**

votes

**1**answer

70 views

### Post composition of integral

Setup:
If $\langle \Omega, \mathfrak{F},\mu \rangle$ is a measure space, $f:\Omega \rightarrow E$ is a weakly-measurable function to a Banach space $E$, $g: E \rightarrow E'$ is a diffeomorphism and ...

**2**

votes

**0**answers

60 views

### Constructing an additive set function from on a non-additive one

repost from math.se.
I was trying to generalize some results from measure theory to functions that are "almost" measures but not additive. Then, I thought it could be interesting to do this in a ...

**7**

votes

**1**answer

213 views

### Can we recover a topological space from the collection of Borel probability measures living on it?

Let $(X, \tau)$ be a topological space, and $\mathcal{P}(X, \tau)$ be the Borel probability measures living on $X$. Can we recover $(X, \tau)$ from $\mathcal{P}(X, \tau)$?

**2**

votes

**1**answer

353 views

### Does Borel's proof for existence of normal numbers make an essential use of axiom of choice?

A normal number is a real number whose infinite sequence of digits in every base $b$ is distributed uniformly in the sense that each of the $b$ digit values has the same natural density $\frac{1}{b}$, ...

**6**

votes

**1**answer

121 views

### Existence of a measurable map between metric spaces

Let $X$ and $Y$ be separable complete metric spaces (if necessary, they may be assumed to be compact). Let $R\subset X\times Y$ be a closed subset such that the projection of $R$ to $X$ is onto.
Is ...

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

**5**

votes

**1**answer

154 views

### Does $ZF$+$LM$+$A_{\lt2^{\aleph_0}}$ imply $\lnot$$WCH$?

In what follows, I will use the following acronyms:
$AS$:= Freiling's Axiom of Symmetry
$LM$:="Every set of reals is Lebesgue measurable."
$WCH$:="every uncountable subset of $\mathbf R$ can be put ...

**4**

votes

**1**answer

201 views

### A question regarding a common critique of Freiling's Axiom of Symmetry

(In what follows, Freiling's Axiom of Symmetry is simply the following:
($A_{\aleph_0}$) :( $\forall$$f$: $\mathbf R$ $\rightarrow$$\mathbf ...

**21**

votes

**2**answers

699 views

### Antirandom reals

This is a crossposting of http://math.stackexchange.com/questions/1446602/anti-random-reals, which has not gotten any answers; after thinking about the problem, I've become more convinced that it ...

**16**

votes

**1**answer

428 views

### Two strengthenings of “strong measure zero”

A set $X\subseteq\mathbb{R}$ is strong measure zero if, for every sequence $(\epsilon_i)_{i\in\mathbb{N}}$ of positive reals, there is a sequence $(I_i)_{i\in\mathbb{N}}$ of open intervals covering ...

**3**

votes

**0**answers

109 views

### Reference request: Darboux properties of real-valued set functions (measures, densities, etc.)

Fix a set $S$ and let $f: \mathcal P(S) \rightharpoonup \mathbf R$ be a real-valued partial function on the power set of $S$; denote by $\mathcal D$ the domain of $f$. We say that $f$ has:
(i) the ...

**3**

votes

**1**answer

91 views

### Riemannian Measures, Densities and Radon–Nikodym Theorem

If $M$ is a smooth manifold and $\mu$ is a $1$-density thereon then we may define a Borel measure (on Borel sets $A$) on $M$ as:
\begin{equation}
\nu(A) = \int_M I_A \mu.
\end{equation}
My question ...

**2**

votes

**1**answer

62 views

### interpret of Picone inequality for non-regular functions

Assume $\Omega \subset \mathbb{R}^N$, $ N>4 $ is open set.
There is a well-known picone identity that says
Let $u,v \in C^2(\Omega)$ satisfy $v>0$ and $-\Delta v \geq 0$ in $\Omega$. The ...

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

**4**

votes

**1**answer

159 views

### Sets not containing the vertices of unit triangles (Question posed by Erdős)

Following this post, I have been thinking about the problem posed by Erdős,
Does there exist a constant $c > 0$ such that every subset $A$ of the plane of area more than $c$ contains the ...

**1**

vote

**1**answer

29 views

### Multiplicity of a subcovering in spaces of given Hausdorff dimension

Let $X$ be a locally compact metric space of integer Hausdorff dimension $n$. Let $K\subset X$ be a compact subset. Let $\{B_i\}_i$ be a finite family of balls covering $K$. One may assume that all ...

**0**

votes

**0**answers

70 views

### Example of an adapted measurable process which is not Progressively Measurable

In this question
Progressively measurable vs adapted, one finds a discussion on the subject of adapted processes versus progressively measurable processes.
Counter-examples can be readily given. We ...

**4**

votes

**1**answer

109 views

### Can the integral of a “generic” bounded measurable function be determined by its values on the rationals?

[This question is an extension of my question Does a positive-measure subset of the unit interval almost surely intersect a random translation of some countable subgroup of $\mathbb{R}$?. I'm asking ...

**3**

votes

**1**answer

308 views

### “Lebesgue-measurable” cardinals and real-closed fields

I understand the motivation behind measurable cardinals is to ask the question: "is there any set large enough to admit a non-trivial measure on all of its subsets?"
Hence, it's also worthwhile to ...

**1**

vote

**1**answer

96 views

### Spherical decreasing rearrangement on the sphere

On $\mathbb{R}^n$, we have the concept of spherically decreasing rearragement of a function, which means, given a function $f$, one can design a radial and decreasing function $f^*$ such that $\Vert ...

**0**

votes

**1**answer

183 views

### About the generating structure of Borel field

This is a graduate-level measure theory problem. I have thought throught it and asked on math.SE but received no satisfying answer.
On P.32 of [P.Billingsley] Probability and Measure, 3ed, 1993, the ...

**1**

vote

**2**answers

116 views

### The Levy measure of the compound Poisson distribution

The compound Poisson distribution is defined as(see Levy processes and infinitely divisible distributions page: 18):
Let $c>0$ and $\sigma$ be a measure on $\mathbb{R}$ with $\sigma(\{0\})=0$, a ...

**3**

votes

**1**answer

256 views

### Proof of Pinelis (1992) - Banach space inequalities

I am reading Pinelis "An approach to inequalities for the distributions of infinite -dimensional martingales" and cannot follow his proof of Theorem 3:
Let $(f_n)$ be a martingale in a separable ...

**0**

votes

**2**answers

291 views

### A question regarding the relation between Freiling's Axiom of Symmetry and real-valued measurable cardnals

A major argument against Freiling's Axiom of Symmetry is the following (this from the wikipedia article of the same name):
"The naive probabalistic notion used by Freiling tacitly assumes that there ...

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

**4**

votes

**1**answer

59 views

### Bound for the generalised Rényi dimension of a measure

If $\mu$ is a measure on $\mathbb{R}^d$, and for each $r>0$ we let $\mathcal{M}_r$ denote the set of all ``cubes'' of the form $[j_1r,(j_1+1)r) \times \cdots \times [j_dr,(j_d+1)r)$ for ...