All Questions
Tagged with pr.probability measure-theory
823 questions
2
votes
1
answer
148
views
Bound the conditional expectation of a random matrix under weak dependence
Let $X$ be an $d\times d$ random matrix satisfying $\mathbb{E}[X]=0$ and $\|X\|_2\leq 1$ almost everywhere. Let $\mathcal{F}$ be the $\sigma$-field generated by $X$. Now suppose we have another $\...
CommunityBot
- 1
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
-1
votes
1
answer
304
views
The category Prob of finite measure spaces does not admit all products [closed]
I am currently working in a category called Prob which has objects which are finite measure spaces and morphisms which are measure preserving maps between the spaces. A map $f:X\to Y$ is measure ...
- 128k
1
vote
0
answers
87
views
Symmetry of the isoperimetric profile
Given a probability measure $\mu$ on a metric space $(X, \mathsf{d})$, the $(\mu-)$Minkowski content of a set $A$ is defined as
$$\mu^+ (A) := {\lim\inf}_{r \to 0^+} \frac{\mu ( A_r \setminus A)}{r},$$...
- 801
0
votes
1
answer
329
views
Measurable functions lifted onto a space of point measures are measurable
I've been reading [1] and attempting to prove statements given without proof. In the paper the authors construct a measurable space of measures over a base space, and as an aside show an elegant way ...
- 2,821
4
votes
2
answers
205
views
Is this generating family of a measurable space of point measures a pi-system?
I'm learning some probability and measure theory and working my way through the first few paragraphs of [1]. My question is perhaps too basic for Math Overflow, but I hope it is welcome here.
Point ...
- 2,821
3
votes
2
answers
102
views
Reference for Wiener type measure on $C(T)$ when $T$ is open
I'm considering Gaussian process on open domain $T$ in $\mathbb{R}^n$ and I tried to follow the abstract Wiener space construction of Gross. Since my sample paths are meant to be continuous, I thought ...
- 29.8k
3
votes
2
answers
1k
views
A general inequality for KL divergence of functions of variables
The question concerns a very general setting and a very general inequality about KL divergence. I'm writing this thread to verify whether my intuition is correct.
Let $E_1, E_2$ be two measurable ...
- 128k
4
votes
1
answer
360
views
Measurability of Markov kernel wrt the Borel $\sigma$-algebra generated by the weak topology
Consider two Polish metric probability spaces $(\mathcal{A}, \Sigma_\mathcal{A})$ and $(\mathcal{B}, \Sigma_\mathcal{B})$, endowed with their Borel $\sigma$-algebras. Denote as $\mathcal{P}_\mathcal{B}...
CommunityBot
- 1
1
vote
1
answer
241
views
What is convergence in distribution of random variables taking values in a non-metrizable product space?
Let $F = (F(x) : x \in \mathbf{R}^n)$ be a family of $\mathbf{R}^k$-valued random variables indexed by $\mathbf{R}^n$ (to be clear there is a single probability space $(\Omega,\Sigma,\mathbf{P})$ such ...
- 1,179
2
votes
0
answers
127
views
Measure algebra for a family of probability measures
Let $(X,B,P)$ be a probability space, $I_P$ the $\sigma$-ideal of $P$-null sets and
\begin{align}
B_P = B \ltimes I_P &= \{ A \mathbin{\triangle} N \mid A \in B, N \in I_P \}
\end{align}
the ...
CommunityBot
- 1
2
votes
0
answers
49
views
$\sigma$-compactness of probability measures under a refined topology
Denote Polish spaces $(X, \tau_x)$ and $(Y, \tau_y)$, where $X$ and $Y$ are closed subsets of $\mathbb{R}$. Consider a Borel measurable function $f: (X \times Y, \tau_x \times \tau_y) \rightarrow \...
- 195
4
votes
0
answers
119
views
Is the range of a probability-valued random variable with the variation topology (almost) separable?
Let $X$ and $Y$ be uncountable Polish spaces, $\Delta(Y)$ be the space of Borel probability measures on $Y$ endowed with the Borel $\sigma$-algebra induced by the variation distance, and let $g:X\to \...
2
votes
0
answers
155
views
Can a diffusion process admit an invariant measure with a non-differentiable density?
The precise domain of the generator $A$ of an Itō diffusion on a Hilbert space $H$ (assume $H=\mathbb R^d$, if that's easier for you to work with) can usually not be determined explicitly$^1$. Usually,...
- 167
-1
votes
1
answer
129
views
(Rate of) Convergence in distribution and Laplace transform of random variables/stochastic processes
Let $X_t^n$ and $X_t$ be stochastic processes (with finite moments), and assume that for every $t>0$, $\lambda>0$ and bounded continuous function $\varphi$,
\begin{equation}
\int_0^te^{-\lambda ...
- 1,989
1
vote
1
answer
83
views
Integral of $M^\text{*} - M$ with respect to $M^\text{*}$ is zero for $M^\text{*}$ the running maximum of $M$ a continuous local martingale
Given $M$ a continuous local martingale, and $M^\text{*} = \sup_{0 \leq s \leq t} M_s$ its running maximum, we consider the finite variation integral
$$
I_T:= \int_0^T (M^\text{*}_s - M_s) \, \text{d}...
- 3,808
5
votes
1
answer
300
views
Intuitive meaning of Giry monad's $\sigma$-algebra
The Giry monad $G : \textbf{Meas} \to \textbf{Meas}$ maps a measurable space $(X, \mathcal{F})$ to its set of probability measures. The $\sigma$-algebra of $G(X, \mathcal{F})$ is the smallest algebra ...
- 21.3k
1
vote
0
answers
83
views
Existence of a stronger notion of perfect measures
Let $\mathcal{X}$ be a measurable space with its $\sigma$-algebra $\mathcal{B}_\mathcal{X}$ and let $\mathbb{R}$ be the real numbers endowed with its Borel $\sigma$-algebra $\mathcal{B}_\mathbb{R}$.
...
- 285
1
vote
0
answers
115
views
Concatenation of Markov processes and independence
In chapter 14 of Sharpe's General Theory of Markov Processes the concatenation of Markov processes $X^1$ and $X^2$ is described. I've posed the relevant part at the bottom of this post.
It is rather ...
- 167
3
votes
0
answers
145
views
Eigenvalues of random matrices are measurable functions
I have read that if a random matrix is hermitian then its eigenvalues are continuous, hence also measurable.
If the random matrix is not hermitian, the eigenvalues are not continuous in some cases. ...
- 31
1
vote
1
answer
96
views
Asymptotic behavior of a Markov process on the set of $\{0,1\}$-polynomials
This question is cross-posted from https://math.stackexchange.com/questions/4711799/asymptotic-behavior-of-a-markov-process-on-the-set-of-0-1-polynomials
I am trying to study the asymptotic behavior ...
- 3,937
0
votes
1
answer
68
views
Difference between $P(f(x,w)>0)→1$ at any $x$ and $P(\inf(f(x,w))>0)\to1$ when dimension grows
Let $T:=[-1,1]^{n-1}\times (0,1]$. Let
$$f_n(x_1,\cdots,x_n,w_1,\cdots,w_n):=g(x_1,w_1)+\cdots+g(x_n,w_n)=\sum_{i=1}^ng(x_i,w_i),$$
where
(i) $w_1,\cdots,w_n$ are i.i.d. Gaussian random variables
(ii) ...
- 128k
-1
votes
2
answers
407
views
Conditional expectation: commuting integration and supremum
Let $X$ and $A$ be compact Polish spaces endowed with Borel $\sigma$-algebras. Let $\mathcal{A} = X\times \mathcal{B}(A)$ be the $\sigma$-algebra consisting of cylinders whose projections on $A$ are ...
- 3,808
2
votes
1
answer
375
views
Radon-Nikodym derivative in a compact Hausdorff space
Let $X$ be a compact Hausdorff space where $X$ have infinitely many points and the topology is non-discrete, $m$ be a regular probability measure defined on the Borel $\sigma$-algebra of $X$, and $g$ ...
- 307
1
vote
1
answer
319
views
Total variation distance
Let $\mathcal{X}$ be the input or feature space, let $\mathcal{B}$ be Borel $\sigma$-algebra on $\mathcal{X}$ and $P(\mathcal{X})$ denotes the set of all probability measures on $(\mathcal{X},\mathcal{...
- 128k
2
votes
0
answers
57
views
Regularity on $\mathbb{T}^3$ of the "functional average" of a map $S : C^\infty(\mathbb{T}^3, \mathbb{R}) \to L^2(\mathbb{T}^3, \mathbb{R})$
For simplicity, let $C^\infty(\mathbb{T}^3, \mathbb{R})$ be the real Frechet space of periodic smooth functions on $\mathbb{R}^3$. Here, $\mathbb{T}^3$ is the $3$-dimensional torus.
For a fixed ...
- 3,477
3
votes
1
answer
128
views
Singular distribution F such that convolution F and F is an absolutely continuous distribution?
F is a singular distribution function concentrated on the positive half-line. Is it possible that 2-fold convolution F*F is an absolutely continuous distribution function? Please, give me an example.
- 128k
7
votes
3
answers
2k
views
Convex hulls of families of probability measures
Let $X$ be a standard Borel space, so that the space of Borel probability measures on $X$ is also a standard Borel space. We denote it by $\mathcal P(X)$.
In this paper for any family of probability ...
- 2,821
0
votes
1
answer
327
views
Deduce that a function is zero on interval $[0,M]$
I have been thinking about this for the last few days but I was not able to produce a definitive answer.
Take an integrable function $g$ that maps in $\mathbb{R}$ and with domain contained in $[0,M]$ (...
- 141
3
votes
1
answer
836
views
Proving that Brownian motion has no points of increase
I am reading Burdzy's paper on the points of increase of Brownian motion:
Burdzy's Paper
He is proving that, almost surely, a Brownian motion, has no points of increase. What he actually proves is ...
- 2,821
-1
votes
1
answer
990
views
Random variable as an integral of an indicator function
This answer says that if $X$ is a random variable and $X_+ = \mathrm{max}(0, X)$, then $X_+ = \int_0^\infty I_{\{X > x\}}\mathrm{d}x$. I'd like to know how to derive this starting with $A \in \...
- 115
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
2
votes
1
answer
141
views
Injectivity of two sided Laplace transform
Let $\mu,\nu$ be finite Borel measures on $\mathbb R$.
Assume that there is an open interval $(a,b)$ on which the Laplace transforms exist and coincide:
$$
\int_{-\infty}^\infty e^{-tx}\,d\mu(x) = \...
- 91.8k
1
vote
1
answer
156
views
How to show that $\int x \,d\nu = 0$ using a pseudo-weak convergence of measures?
I have a sequence of $p$-dimensional infinitely divisible random vectors $S_n'$, such that $S_n' \Longrightarrow X$, as $n \to \infty$.
Suppose the following assumptions
The characteristic functions ...
1
vote
0
answers
79
views
Does weak convergence of filtrations preserve progressive measurability?
Suppose on some probability space $(\Omega, \mathcal{F}, \mathbb{P})$ I have a sequence of filtrations $\mathbb{F}^n =(\mathcal{F}^n_t)_{t \geq 0}$ generated by Brownian motions $W^n$ for each $n$, ...
- 35.5k
4
votes
1
answer
2k
views
Examples of convergence in distribution not implying convergence in moments
It is well know that the convergence in distributions does not necessarily imply convergence in expectation, but implies convergence in expectation of bounded continuous functions.
Let $\{X_n\}$ be a ...
- 869
2
votes
0
answers
78
views
$\sigma$-fields as closure systems
Let $(\Omega,\mathcal A, P)$ be a probability space and let $\Sigma(\mathcal A) \subset 2^{\mathcal A}$ be the collection of all sub-$\sigma$-fields of $\mathcal A$. Then, $\Sigma(\mathcal A)$ is ...
- 665
3
votes
2
answers
429
views
A limit definition of regular conditional probability
I am working with a proof that would greatly benefit from a definition of conditional probability along the lines of the obscure unreferenced alternative definition found in Wikipedia. A Wikipedia ...
- 17k
2
votes
1
answer
77
views
Measurability of random function with values in $C(K,E)$
Let $K \subset \mathbb{R}$ be compact, and let $E$ be a separable Banach space. Further, let $(\Omega, \mathcal{F},\mathbb{P})$ a probability space. I would like to show that a certain a random ...
4
votes
3
answers
1k
views
Explicit example of second Borel–Cantelli lemma
Consider the probability model $(\Omega, \mathcal{F}, P)$ where $\Omega = [0,1]$, $\mathcal{F}$ is the Borel $\sigma$-algebra on $[0,1]$ and $P$ is the uniform measure on $[0,1]$.
Let $E_1, E_2, \...
- 18.7k
3
votes
1
answer
100
views
Vague Topologies induced by $C_c$ and $C_0$ are the same on a closed ball of finite Radon measures?
Let $X$ be a locally compact Hausdorff space. Denote $C_c(X)$ and $C_0(X)$ the space of continuous functions with compact support and vanishing at infinity respectively. By Riesz representation ...
- 6,367
1
vote
1
answer
101
views
Equivalence of unions in probability theory
I am working with Ash's Probability and Measure Theory, Second Edition, specifically on theorem 6.2.1 (some convergence criteria for a random variable sequence).
We are given a sequence $(X_i)_{i \ge ...
- 3,808
1
vote
0
answers
175
views
Interpretation of the Lévy measure of an infinitely divisible random vector
We know that a random vector $X$ is infinitely divisible (ID) if for all $n \in \mathbb N$, there exist $X_1^n,..., X_{n}^n$ i.i.d. random vectors such that:
\begin{equation}
X = X_1^n + ...+ X_n^...
- 13
45
votes
5
answers
6k
views
Nonstandard analysis in probability theory
I am quite new at nonstandard analysis, and recently I became aware of its use in probability theory mainly through the following two books:
Nelson (1987). Radically Elementary Probability Theory
...
7
votes
0
answers
169
views
Relationship between measure theory and quantification
I was advised that this question might be better suited for mathoverflow, so I am reposting it here (original post).
In a 1978 paper published by David P. Ellerman and Gian-Carlo Rota, the duo discuss ...
- 201
3
votes
0
answers
179
views
Probability terminology
This is strictly a low-level terminology question. If I have a probability space $\Omega$ and a measurable space $S$, then a random variable $X:\Omega\rightarrow S$ gives rise via pushforward to a ...
- 63.9k
1
vote
0
answers
44
views
Measurability in a product space of a set defined only along its fibers
Consider the probability space $([0,1],\mathcal{B}([0,1]),\lambda)$, where $\mathcal{B}([0,1])$ denotes the Borel $\sigma$-algebra in $[0,1]$ and $\lambda$ is the Lebesgue measure in $[0,1]$. Then, ...
5
votes
1
answer
945
views
Has a discrete/quantum theory of probability based on the Cournot-Borel principle or something been developed?
In 1930, Émile Borel, the father of measure theory together with his student Lebesgue and a world-class expert in probability theory, published a short note Sur les probabilités universellement ...
- 91.8k
0
votes
1
answer
230
views
Can we further restrict the space of test functions to $C_c^\infty (X)$ in weak convergence?
Let
$X := \mathbb R^n$,
$C_b(X)$ the space of all real-valued bounded continuous,
$C_c(X)$ the space of all real-valued continuous functions with compact supports, and
$C_c^\infty(X)$ the space of ...
- 128k
25
votes
6
answers
10k
views
Metrization of weak convergence of signed measures
Edit: Changed from "Hausdorff" to "metric" spaces.
Let $\mathcal{M}(\Omega)$ denote the space of signed regular Borel measures on a compact metric space $\Omega$. By Riesz-Markov, ...
- 4,713