**0**

votes

**0**answers

5 views

### Progressive measurability and functional composition

Suppose we have a progressively measurable process $X$ taking values in $\mathbb{R}^d$. What are sufficient conditions on a function $f( x, t, \omega ) \colon \mathbb{R}^d \times [0,\infty) \times ...

**-4**

votes

**0**answers

43 views

### reducible measure functions [on hold]

Let $f:\Bbb R^n \rightarrow \Bbb R^n$ be a nonexpansive map, that is $\|f(x) - f(y)\| \leq \|x-y\|.$
I want to know that if $f$ reduces measure, i.e. if $A,f(A) \subseteq \Bbb R^n $ are measurable, ...

**-3**

votes

**0**answers

64 views

### A Classification problem in measure theory [on hold]

Let $m$ be the Lebesgue measure on $\Bbb R$. I want to find some measurable functions $f:[0,1] \rightarrow [0,1]$ with the following property.
$$\forall A\subseteq [0,1]~ (\text{Lebesgue ...

**1**

vote

**1**answer

52 views

### Conversion between condtional expection conditioned on $\sigma$-algebra and on r.v

Let $(\Omega, \mathcal F, P)$ be a probability space, and let $\mathcal G \subseteq \mathcal F$ be a sub-$\sigma$-algebra of $\mathcal F$ and $X : \Omega \to \mathbb R$ a random variable. Then the ...

**4**

votes

**0**answers

90 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\}|$. ...

**0**

votes

**0**answers

69 views

### Discrete measures and discrete kernels

This is a cross-post from math.stack. Let $d\in\mathbb N$ and $\mu$ be the probability measure on $\mathbb R^d$ defined by $\mu=\sum_{k=1}^\infty 2^{-k}\delta_{x_k}$ for some sequence ...

**3**

votes

**0**answers

43 views

### Bounds on truncated empirical mean

Let $(X_1,X_2,\cdots)$ be a sequence of independent and identically distributed random variables, $|X_i|\leq1$ and $S_n=\frac{1}{n}[X_1+\cdots+X_n]$.
Is there an upper bound on the probability of ...

**9**

votes

**1**answer

199 views

### Krein Milman theorem without the axiom of choice

The Krein-Milman theorem asserts that in a locally convex topological vector space, a nonvoid compact convex subset is the closed convex envelope of its extreme points. But I would like to know when ...

**2**

votes

**0**answers

79 views

### Regularity of Dirac measure on Baire sets [closed]

Suppose $X$ is a locally compact Hausdorff space.
Define the Baire sets in $X$, denoted by $\mathcal Ba(X)$,
to be the smallest $\sigma$-algebra that contains all compact $G_\delta$ subsets of $X$.
...

**-3**

votes

**0**answers

41 views

### Divergence Theorem/Integration by Parts on Unbounded Domains [migrated]

Are there any formulations of the Divergence Theorem or integration by parts formulae that apply to unbounded domains?

**0**

votes

**1**answer

99 views

### Is the push forward of a sigma-finite measure equivalent to a sigma-finite measure?

Let $X$ and $Y$ be locally compact, second countable spaces, and let $\varphi \colon X \to Y$ be a Borel map. Let $\mu$ be a sigma-finite measure on $X$. In general, the push-forward $\varphi_*\mu$ is ...

**0**

votes

**0**answers

48 views

### Extension of functions on Cameron-Martin space

Edit: The following is more or less nonsense:
Let $\mu$ be the Standard Gaussian measure on $\mathbb{R}^\infty$ (i.e. the measure such that the projections $p_j$ are independent $\mathcal{N}(0, ...

**1**

vote

**0**answers

55 views

### Getting a measure from a premeasure through an adjoint

Let's take the category of measure spaces with objects $(X,\mathcal{F},\mu)$ and avoid the morphisms for now (I'm not sure what they should be), where $X$ is a set, $\mathcal{F}$ is a ...

**1**

vote

**0**answers

102 views

### Is it possible to improve the order of convergence of averages of random variables if they are not identically distributed?

Let $X_n$ be a sequence of independent random variables (but not necessarily identically distributed)
taking values in $[-1,1]$ that have the following property:
1) The average $A_n := \frac{(X_1+ ...

**5**

votes

**1**answer

249 views

### Itô's article “A measure-theoretic approach to Malliavin calculus”

Apart from citations all over the internet, the following paper appears to be off-the-grid.
K. Itô, A measure-theoretic approach to Malliavin calculus, in 'New Trends in Stochastic Analysis', Proc. ...

**4**

votes

**1**answer

71 views

### Calculate Hausdorff measure with Frostman measures

Fix a metrix space $(X,d)$ and consider the Hausdorff (outer) measures $\mathcal{H}^s$ on $X$.
A Frostman measure on $X$ is a finite Borel measure $\mu$ such that there exists $C,t,r_0>0$ with ...

**1**

vote

**1**answer

147 views

### A question regarding sets of Vitali's type in models of $ZF+GCH$ where $L$$\neq$$V$

Consider sets of Vitali's type in models of $ZF+GCH$ where $L$ $\neq$$V$. Are there sets of Vitali's type in both $L$ and $V-L$? If so, is there any way one can distinguish the constructible sets of ...

**4**

votes

**1**answer

207 views

### Characterizing residually amenable groups

Let $G$ be a finitely generated group. The amenability of $G$ is equivalent to the existence of a certain "weak measure" on $G$. Is there such a characterization for residually amenable groups as ...

**1**

vote

**0**answers

48 views

### Measure algebras and their subalgebras

Let $A,B$ be two Boolean algebra with measures $m,p$ thereon, respectively such that the measure algebra $(A,m)$ is isomorphic to the measure algebra $(B,p)$. Suppose that we have two isomorphic ...

**1**

vote

**0**answers

97 views

### Dual of pre-dual of BV

Was there any relevant work to determine the dual (or more likely the predual) of the space of bounded variation functions $BV(\mathbb{R}^n)$ (I recall the definition : a function in ...

**12**

votes

**4**answers

887 views

### Sierpinski's construction of a non-measurable set

In the early 20th century there was a lot of fuss over the axiom of choice implying that there are Lebesgue non-measurable sets of reals. In his book about The Axiom of Choice, Gregory Moore points to ...

**2**

votes

**2**answers

118 views

### Uniformly bounded operator family and pointwise convergence

Let $1 \leq p < \infty$ be fixed and let $\Omega \subseteq \mathbb{R}^n$ be open. Let $(Q_n)_{n \in \mathbb{N}}$ be a uniformly bounded family of operators on $L^p(\Omega)$, i.e. there exists ...

**0**

votes

**0**answers

55 views

### Question about the representation of Skorokhod

I have a question about Skorokhod's representation theroem. Let $\Omega=R^m$ and define the canonical process $X=(X_1, ..., X_m)$, i.e. $X(\omega):=\omega$ for any $\omega=(\omega_1,..., \omega_m)\in ...

**3**

votes

**0**answers

64 views

### Reasoning about dependent and independent quantities by “degrees of freedom”

In his classic textbook Foundations of the Theory of Probability Kolmogorov defines Independence a little bit differenent then it is usually done today. He denotes a probability space by $(E, \mathcal ...

**0**

votes

**1**answer

67 views

### Extend product sigma-algebra to cross-constant sets

We have two probability spaces $(\Omega_1,\mathcal{F_1},P_1)$ and $(\Omega_2,\mathcal{F_2},P_2)$. Is it possible to construct probability space $(\Omega=\Omega_1\times\Omega_2,\mathcal{F},P)$ such ...

**7**

votes

**0**answers

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

**0**

votes

**0**answers

77 views

### What is the sigma field of the derivative of a process?

When $t\to X_t$ is an absolutely continuous process ($X_t= X_0+ \int_0^t Y_s dt$ for some measurable process $Y_t$) we have for all $t$ $$\sigma(Y_t) \subset \cap_{\epsilon >0}\sigma(X_{s}, s\in ...

**0**

votes

**0**answers

81 views

### Defining density of a random function using Radon-Nikodym Theorem

Let $(\Omega,\mathbb{F},P)$ be a probability space and $E$ be an infinite dimensional Banach space and $\mathbb{B}$ be the $\sigma$-algebra of Borel subset of $E$.
Let $X$ be random function defined ...

**2**

votes

**0**answers

98 views

### Lebesgue point and regularity of functions

A known theorem says that for $f \in L_{loc}^1(\mathbb{R}^d)$, almost every point is a Lebesgue point.
I know too a theorem saying that for $f \in W_{loc}^{1,p}(\mathbb{R}^d)$ , every point is a ...

**0**

votes

**1**answer

93 views

### Are the natural numbers a disjoint union of infinite sets of zero asymptotic density? [closed]

Suppose $\mathbb{N}=\bigsqcup_{i\in\mathbb{N}}E_i$ with $\#E_i=\infty$ for each $i$.
Is it possible that $\limsup_{N\to\infty}\frac{1}{N}\#(E_i\cap\{1,\ldots,N\})=0$ for all $i$, which would mean ...

**9**

votes

**3**answers

303 views

### Reference for a strong intermediate value theorem for measures

Let $\mu$ be a finite nonatomic measure on a measurable space $(X,\Sigma)$, and for simplicity assume that $\mu(X) = 1$. There is a well-known "intermediate value theorem" of Sierpiński that states ...

**1**

vote

**0**answers

61 views

### Measurability of solution of diffusion equation in sub sigma algebra

I want to solve the following problem:
Get $\omega \in \Omega \subset \mathbb{R}$, $x \in D \subset \mathbb{R}^2$ and $0<a_i\leq a(.,.)\leq a_x<\infty$.
Let $a( x;. )$ and $f(x;.)$ be ...

**6**

votes

**1**answer

232 views

### Is an infinite-dimensional “Lebesgue measure” uniquely determined by a set of positive finite measure?

Let $\mu$ be a probability measure on a subset $C \subset \mathbb{R}^\infty$ of the space of sequences, and assume, for simplicity, that $C$ is closed and convex.
We say that $\mu$ admits shifts if ...

**1**

vote

**1**answer

134 views

### How does Azuma's Inequality result from Pinelis Inequality?

According to [1]
Let $(\mathcal{X},||\cdot||)$ be a separable Banach space and let
$S(\mathcal{X})$ denote the class of all sequences
$f=(f_j)=(f_0,f_1,...)$ of Bochner-integrable random ...

**1**

vote

**0**answers

44 views

### Finding a general form of the density function when we have a four dimensional random variable

Consider a subject having time of the specific event $T_i$, which is a single sample from a
distribution $F_i$ with density $f_i$ and support
$[t_{\min},t_{\max}]$, for $i= 1,\ldots,n$. Let these ...

**2**

votes

**0**answers

74 views

### McDiarmid's inequality on normed spaces

McDiarmid's inequality says if a function $f: \mathcal{X}^n\to\mathbb{R}$ has the property that
$$
\sup_{x_1,\dotsc,x_n,x'_i\in\mathcal{X}} ...

**0**

votes

**0**answers

57 views

### existence of locally translation-invariant Borel measure on Frechet manifolds

It is well known that the only locally finite, translation-invariant Borel measure on an
infinite-dimensional, separable Frechet space is the trivial measure. I am wondering about an analogous ...

**2**

votes

**0**answers

124 views

### Hausdorff densities

I've been stuck on this one for a while now.
Given an $\mathcal{H}^{s}$ measurable subset $E\subset \mathbb{R}^n$ with $0<\mathcal{H}^{s}(E)<\infty$, we let $\overline{D}^{s}(E,x)$ denote the ...

**7**

votes

**1**answer

126 views

### Space of Borel measurable maps

That's a question from MSE (here) that did not receive any answer for some days. I migrate it to MO.
Let $X$ and $Y$ be two standard Borel spaces and consider the set $M(X,Y)$ of measurable maps $f: ...

**3**

votes

**2**answers

115 views

### About a construction of Borel $\sigma$-algebra associated to a lattice

Let $(\mathcal{A}, \cup, \cap)$ a lattice (with minimum and maximum elements $\bot$ and $\top$).
Let $X\subset \mathcal{A}$ a generator set (a set of minimal cardinality that generate $\mathcal{A}$ ...

**0**

votes

**1**answer

165 views

### Aronszajn measure

In a geometric measure theory (GMT) course I'm following this year, the professor told us about the Aronszajn measure, and asked us to go check by ourselves what it reprensents (the course was about ...

**1**

vote

**1**answer

134 views

### Hoeffding's inequality for vector valued random variables

Is there a version of Hoeffding's inequality for vector valued random variables?
This seems to be hard to find and I wonder why. I suppose it is difficult to show Hoeffding's lemma, since the proof ...

**3**

votes

**1**answer

126 views

### About the Caratheodory class.

Let $X$ a set, and $\mathcal{P}(X)$ the class of its subset's.
Let $\mathcal{A}\subset \mathcal{P}(X)$, we call a map $L: \mathcal{P}(X)\to[0, \infty]$ $\mathcal{A}$-regular if for any $S\subset X$ ...

**0**

votes

**1**answer

90 views

### Is it possible to define the density of the logistic map for $x<0$?

Probability density functions (PDF's) have inherent connections to the field of
Dynamical Systems.
The motivation for this question can be found in: ...

**7**

votes

**0**answers

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

**4**

votes

**0**answers

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

**2**

votes

**0**answers

89 views

### Regularity of measures in the theorem of Riesz

There are two concurrent theories of measure/integration on a locally compact topological spaces: either as positive linear forms on the space of continuous functions with compact support, or as Borel ...

**3**

votes

**0**answers

67 views

### Measurability for disintegration of a kernel

Let $(x, A) \mapsto P(x, A)$ be a probability kernel whose "target" (wikipedia terminology) is a product space $Y \times Z$, and say both $Y$ and $Z$ are compact metric spaces. For every $x$ there is ...

**0**

votes

**1**answer

75 views

### Functional representation of adapted jointly measurable stochastic processes

It seems like the question stated here in MSE has no answer yet and seems therefore for me to be not of a basic question type. For this reason I move it to MO.
Let $X_t : \Omega \to E, \ t \geq 0$ be ...

**3**

votes

**0**answers

72 views

### How to define Product of Conditional Measures?

I have been wondering how to define the product of conditional measures as defined by Renyi-Popper. I spell the details below.
If $(X,\Sigma)$ is a measurable space, then the function $\mu : ...