All Questions
Tagged with pr.probability measure-theory
219 questions with no upvoted or accepted answers
1
vote
1
answer
717
views
Transport of measure
Let's disintegrate $\mu$ and $\nu$, two probabilities on $\mathbb{R}^{d}$ , according to
$$
\pi_{k} (x_{1},...,x_{d}) = (x_{k},...,x_{d})
$$
We get a family of measures and each measure $\mu_{k,d}^{+...
- 179
1
vote
0
answers
63
views
Approximation of measured-valued function by continuous functions
For each $x\in R^d$, let $\nu(x,dz)$ be a L\'evy measure, i.e.,
$$
\int_{R^d}(|z|^2\wedge1)\nu(x,dz)<\infty.
$$
Let $\mu$ be a probability measure on $R^d$ such that
$$
\int_{R^d}\int_{R^d}(|z|^2\...
- 411
1
vote
0
answers
91
views
Probability space with countable subset such that every subset of positive measure meets the subset
Let $(X, \mathcal F, P)$ be a probability space.
Question
What kind of condition is this: there exists a sequence $(a_n)_n \subseteq X$ such that
$\forall$ measurable $A \subseteq X$, $P(A) >...
- 6,853
1
vote
0
answers
162
views
Does the law of a Feller process depend continuously on the initial condition?
Let $E$ be a locally compact and separable metric space, and suppose $X$ is a Feller process with transition function $P_t$. To be precise, let $C_0$ denote the space of continuous functions vanishing ...
- 11
1
vote
0
answers
81
views
If $\text P\left[X_2\in B_2\mid X_1\right]=\kappa(X_1,B_2)$ a.s. for all $B_2$, can we select a common null-set over all $B_2$?
Let
$(\Omega,\mathcal A,\operatorname P)$ be a probability space
$(E_i,\mathcal E_i)$ be a measurable space
$X_1:\Omega\to E_1$
$X_2:\Omega\to E_2$ be $(\mathcal A,\mathcal E_2)$-measurable
$\kappa$ ...
- 167
1
vote
0
answers
58
views
Extension of a result about measurable, additive functionals
Let $W$ be a set, and let $v$ be a finitely additive probability measure on $2^W$.
Equip $2^W$ with the Borel sigma-algebra $\mathcal{B}$ generated by the sub-basic sets of the form $\{a: w \in a\}$ ...
- 869
1
vote
0
answers
120
views
Existence of Time-Reversed Markov Kernels
Suppose I have a probability measure $\pi$ and a Markov kernel $q$ which leaves $\pi$ invariant, in the sense that
\begin{align}
\int_x \pi(dx) q(x \to dy) = \pi(dy)
\end{align}
Then, a (the) time-...
- 801
1
vote
0
answers
115
views
Existence of moment-constrained maximum entropy distribution with support $[0,1]^n$
Given a finite set of moment values $\{\mu_1,\ldots,\mu_N\}$, for which the multi-dimensional finite Hausdorff moment problem is determined. That is, we know that at least one distribution $\mathcal{D}...
- 11
1
vote
0
answers
1k
views
Sigma algebra of stochastic process
A stochastic process is a collection $(X_t)_{t\in T}$ of random variables from a prob. space $(\Omega,\mathcal{F},P)$ to some measurable space $(E,\mathcal{E})$. Now, in order to understand the whole ...
- 11
1
vote
0
answers
67
views
Showing that $b$ is a inner point of $\mathcal{G}$ where $\mathcal{G}$ is a subset of $\mathbb{R}^{N+3}$ determined by $\mathcal{M}^{+}$
Let $(\Xi,\mathscr{E})$ be a measurable space, $(\mathbb{R_{+}},\mathfrak{B})$ other measurable space where $\mathfrak{B}$ a $\sigma$-algebra. We consider the measurable space $(\Xi\times\Xi\times\...
- 19
1
vote
0
answers
94
views
Measure of the boundary of the support of a certain function defined by an expectation
Suppose:
$\mathcal{S} = \{ S \in \mathbb{R}^d \ | \ S_i > 0, \forall i = 1,...,d \} $
$R$ is a random vector (on some probability space, $\Omega$) such that, $R: \Omega \to \mathcal{S}$.
$h : ...
- 111
1
vote
0
answers
96
views
Random projection increases the distance?
Consider two absolutely continuous random variables $X: \Omega \mapsto \mathbb{R}^d$ and $Y: \Omega \mapsto \mathbb{R}^d$ for probability spaces $(\Omega, \mathcal{F},p_X)$ and $(\Omega, \mathcal{F},...
- 482
1
vote
0
answers
96
views
Infimum of equivalent measures
Suppose I have a functional of the form
$$
F(\mathbb{P})\triangleq \int_{\mathbb{R}^d} \int_{\Omega}f(x,\omega)\mathbb{P}(d\omega)m(dx),
$$
where $m$ is the Lebesgue measure and $\mathbb{P}$ is a ...
- 173
1
vote
0
answers
192
views
References about distances between singular probability measures
I would be interested in references on the topic of distances between probability measures that are singular with one another and not reduced to trivial ones. For example from here we know that total ...
- 1,334
1
vote
0
answers
364
views
Bounds on Wasserstein (Kantorovich) distance
Let $X$ be a Polish space endowed with a bounded metric $\rho_X$. Let $\mu, \mu'$ be two probability measures, and $\kappa, \kappa'$ be two stochastic kernels on $X$. Assume that $\kappa, \kappa'$ are ...
- 1,655
1
vote
0
answers
139
views
weak-* versus entropy growth
General question. Let $\eta_{n}$ be a sequence of invariant measures on $\{0,1,2,...,p-1\}^{\mathbb{N}}$ and $B$ the Bernoulli uniform measure. Knowing that $\eta_{n} \rightarrow B$ in the weak-* ...
1
vote
0
answers
146
views
Measurable selections of a finite familiy of measures
EDIT. I'm adding a missing hypothesis and a really TL;DR version of the core problem. Warning: This short statement is the strongest form of what I want, hence not as plausible as the original form.
...
- 1,124
1
vote
0
answers
260
views
Generating the sigma algebras on the set of probability measures
I was wondering if somebody could help me see/provide a reference to the following fact: Let $X$ be a metrizable set, $\mathcal{F}$ the corresponding Borel sigma-algebra on $X$, and $\triangle\left(X,\...
- 11
1
vote
0
answers
417
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 ...
- 213
1
vote
0
answers
90
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 $\...
- 111
1
vote
0
answers
112
views
Make this marginalization statement rigorous
Intuition tells me that
$$ p(x\,|\,y) = \int p(x,\theta\,|\,y) \; d\theta$$
by the "law of marginalization", pretty much for any object $\theta$.
I would like to make this statement rigorous,...
- 111
1
vote
0
answers
146
views
approximation of probability distribution
I have a question: Let $\mu$ be a probability distribution defined on $(\mathbb{R}, \mathcal{B}(\mathbb{R}))$ satisfying
$$\int_{\mathbb{R}}|x|d\mu<+\infty$$
Set
$$A_n=\Big\{\frac{i}{n}:~ i\in\...
- 1,835
1
vote
0
answers
227
views
Uniform Law Of Iterated Logarithm for VC classes
Kenneth Alexander proved a uniform Law Of Iterated logarithm for Vapnik-Chervonenkis classes in the article Probability Inequalities for Empirical Processes and a Law of the Iterated Logarithm (Ann. ...
- 31
1
vote
0
answers
416
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]$ ...
- 61
1
vote
1
answer
142
views
Nonrandomized probability kernels
I've asked this question also on mathematics stackexchange, but despite nearly two dozen views, there isn't a single comment, nevermind an answer. Any help would be appreciated.
Update: See update 1 ...
0
votes
0
answers
81
views
Measurable Extension
Let $(\Omega, \mathcal{F})$ be a measurable space and $X$ some metric space (probably Polish) with the Borel $\sigma$-algebra and a function $f: \Omega \times X \to \mathbb{R}$. Usually, functions ...
- 136
0
votes
0
answers
38
views
Reference on multifractal complex measures?
This is a cross-post of this physicsSE post; I am also posting it here since this question lies at the boundary of both physics and math.
I am learning about multifractal formalism recently. It seems ...
- 715
0
votes
0
answers
73
views
Criteria giving sufficient conditions for a Borel measure to have compact support
I am interested in criteria that guarantee that a Borel probability measure has compact support.
I outline two below and I am hoping to gather more as answers (if they exist).
The first sufficient ...
- 860
0
votes
0
answers
54
views
Reference request: "doubly empirical" measure associated to a random measure
I am considering the following type of situation. Suppose we have a random probability measure, by which I mean a probability measure on a space of probability measures atop some Polish space $X$. In ...
- 660
0
votes
0
answers
22
views
Directions of differentiability of log-concave measures with infinite-dimensional support
I recently came across the very nice review "Differentiable Measures and the Malliavin Calculus" by Bogachev (1997) which begins by discussing measures $\mu$ on locally convex spaces $X$ ...
- 651
0
votes
0
answers
114
views
Some stability and estimate of the optimal transport map (Brenier map)
Let $\mu$ and $\nu$ be two probability measures with finite moments (in $\mathcal{P}_2(\mathbb{R})$) equipped with 2-Wasserstein distance. Let $F_\mu$, $F_\nu$ be their cumulative distribution ...
- 54
0
votes
0
answers
49
views
Weak convergence of Gibbs measures with converging energy functions
Let $H$ be a continuous energy function defined on a compact subset $A\subset \mathbf{R}^n$
and let $Q$ be a fixed probability measure on $A$.
For each $\theta>0$, define the probability ...
- 503
0
votes
0
answers
73
views
Computationally efficient solution for the measure of central tendency minimizing Lp loss for p > 1
We know that the measure of central tendency that minimizes the Lp loss is $\min_c \sum_{i=1}^n |x_i - c|^p$
For $p=1$ (L1 loss), this is the median. For $p=2$ (L2 loss), this is the mean. Both of ...
- 109
0
votes
0
answers
107
views
How to show that the map $ R $ here is measure-preserving
Assume that $ (X,\mathcal{B},m,T) $ is a measure-preserving dynamical system, where $ (X,\mathcal{B},m) $ is a probability space, $ \mathcal{B} $ denotes all the measurable sets in $ X $, $ m $ is the ...
- 1,219
0
votes
0
answers
161
views
Markov process with time varying transition kernels
I cross post this question from StackExchange as it may be more appropriate.
I am interested in studying the evolution of a variable $\alpha_t\in [0,1]$ governed by the following stochastic dynamical ...
0
votes
0
answers
95
views
Prove that $\forall x,y \in \mathbb{R}^d , P_x\{y\in B\mathopen]0,1]\}=0$
I'm folowing the proof of corollary 1.8 page 5 of Mörters - Sample path properties of Brownian motion.
I want to show that $$\forall x,y \in \mathbb{R}^d , P_x\{y\in B\mathopen]0,1]\}=0$$ where $B$ is ...
- 11
0
votes
0
answers
78
views
Different measurability of Hilbert-space valued random variable
My question is motivated by this link.
Let $(\Omega,\mathcal{F})$ and $(Y,\mathcal{B})$ be measurable spaces, a measurable map $T:\Omega\to Y$ is called a $Y$-valued random variable.
Now let $H$ be a ...
- 503
0
votes
0
answers
118
views
A measure on the group of homeomorphisms of $\mathbb T^2$
Let us consider the group of measure-preserving homeomorphisms of $\mathbb T^2$ (with transformations identified if they agree almost
everywhere) called $G[\mathbb T^2, \mathcal L^2]$. We shall ...
- 101
0
votes
0
answers
72
views
If $\kappa$ is a Markov kernel with density $p$, does it generally hold $p(x,z)=\int p(x,y)p(y,z)\:{\rm d}y$?
Let $(E,\mathcal E)$ be a measurable space and $\kappa$ be a Markov kernel on $(E,\mathcal E)$. Assume that $$\kappa(x,B)=\int_Bp(x,y)\:\lambda({\rm d}y)\;\;\;\text{for all }(x,B)\in E\times\mathcal E$...
- 167
0
votes
0
answers
42
views
If $X$ is a right-continuous process, is $t\mapsto\operatorname E\left[X_\tau\mid\tau=t\right]$ right-continuous as well?
Let
$(\Omega,\mathcal A,\operatorname P)$ be a probability space;
$(X_t)_{t\in[0,\:\infty]}$ be a real-valued process on $(\Omega,\mathcal A,\operatorname P)$;
$\tau$ be an $[0,\infty]$-valued random ...
- 167
0
votes
0
answers
148
views
Classifying non atomic singular measures up to topological conjugacy
Write $\mathcal S$ for the set of probability measures on $[0, 1]$ that are non atomic and singular with respect to Lebesgue measure.
Two measures $\mu$ and $\nu$ in $\mathcal S$ are said to be ...
- 6,215
0
votes
0
answers
86
views
A non trivial example of a Gaussian semi-Markov process?
Let $(\Omega, \mathcal A, \mathbb P)$ be a probability space and $X=(X_t)$ a real Gaussian stochastic process.
Let $\mathcal F=(\mathcal F_t)$ be the filtration generated by $(X_t)$.
$X$ is Markov ...
- 143
0
votes
0
answers
87
views
How does one define weak convergence of probability measures in $L^{\infty}(\Omega)$?
I am reading the following article and on page 9/17 (above Eqn (4.9)) the authors state that if $\gamma_{\epsilon_k}|\_G_{\delta}\times \Omega\to \gamma|\_G_{\delta}\times \Omega$ as $\epsilon_k\to 0$ ...
- 537
0
votes
0
answers
59
views
Examples of strongly continuous measure-valued functions
Let $X$ be a compact geodesic metric space and let $P_p(X)$ be the set of all finite Borel measure on X with finite $p^{th}$ moment. We equip $P_p(X)$ with the total variation topology metric. What ...
- 5,405
0
votes
0
answers
71
views
Conditions for existence of a semi-martingale representing a system of probability measures
Let $(\nu_t)_{t \in [0,1]}$ be Borel probability measures on a stochastic basis $(\Omega,\mathcal{F},(\mathcal{F}_{t \in [0,1]})_t,\mathbb{P})$.
Does there exist a semi-martingale $(X_t)_{t\in[0,1]}$ ...
- 5,405
0
votes
0
answers
151
views
Definition of conditional expectation for singleton
Let $(\Omega, \mathcal{F}, \mathbb{P})$ be a probability space and let $\mathcal{G} \subset \mathcal{F}$ be a sub-$\sigma$-algebra. Furthermore, let $X, Y$ be two random variables from our probability ...
- 33
0
votes
0
answers
139
views
How many moments determine a normal distribution?
I know that a Gaussian distribuion is determined by its moments. I was wondering if there is a result of the form:
if we know that the first thousand moments of a random variable are Gaussian, then is ...
- 3,062
0
votes
0
answers
302
views
Convergence of characteristic functions vs. weak convergence of measures and the Ito-Nisio theorem
In section 2.6 of Linde's Probability in Banach Spaces: Stable and Infinitely Divisible Distributions the author is pointing out that in infinite-dimensional Banach spaces the convergence of ...
- 167
0
votes
0
answers
97
views
Wigner semicircle law and random measures
tl;dr: the proof of the Wigner semicircle law seems to confuse measures with random measures. I do not understand why. Scroll down until 'QUESTION' if you are fine with the theoretical stuff.
T. Tao ...
- 91
0
votes
0
answers
150
views
Define the convolution root of probability measures on a measurable group
Let $(G,\mathcal G)$ be a measurable group and $\nu^{\ast k}$ denote the $k$th convolution power of a probability measure $\nu$ on $(G,\mathcal G)$ for $k\in\mathbb N$.
Remember that a probability ...
- 167