All Questions
87 questions
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
2
votes
1
answer
133
views
Optimal-score partitions
The question about throwing darts asked on the MathOverflow page Sacred Geometry of Chance was not well received, apparently because of "[t]oo much noise around the actual math", as stated in a well-...
- 128k
4
votes
2
answers
667
views
Convergence (topology) for $\sigma$-finite measures
I'm having much trouble finding literature that addresses the questions which I write below. I was wondering if someone could help me out to understand better, either by providing references or by ...
- 361
4
votes
1
answer
188
views
Absolute continuity of measures - reference sought
For two measures $\mu, \nu$ on the same space say that $\mu$ is absolutely continuous with respect to $\nu$ ($\mu \ll \nu$) whenever $\nu(A)=0$ implies that $\mu(A)=0$ too.
Let $(\Omega, \mathsf P$) ...
- 11.3k
6
votes
2
answers
700
views
Wiener Measure measure on functions?
I know that the Wiener measure for the Brownian motion $\{B_t\}_{t\ge 0}$ on the probability space $(\Omega, \mathscr{F},P)$ can be defined as $\mu=P\circ B^{-1}$ acting on the sigma-algebra generated ...
20
votes
1
answer
2k
views
Does every compact metric space have a canonical probability measure?
Edit: Shortly after this post it was rightly pointed out by @AntonPetrunin that the measure $\mu$ may not be unique. @R W then showed how one can construct a metric space where the limiting measure is ...
- 203
3
votes
3
answers
656
views
Free probability with unbounded random variables?
This is partially inspired by this question and this blog post.
When trying to express classical probability in the "free probability" setting one takes an algebra of random variables equipped with ...
- 677
3
votes
1
answer
732
views
What does $\pi$ in the term $\pi$-system stand for?
In measure theory, what does the $\pi$ in $\pi$-system stand for? Also, what about the $\lambda$ in $\lambda$-system? I want to know why Dynkin chosen these names, and why these names make sense.
- 276
14
votes
1
answer
2k
views
Prokhorov's theorem in non separable metric spaces
Recently, working in some calculations I needed to use the Prokhorov's theorem
about compactness for probability measures. However, a friend warned me that
I had not the hypotesis of separability ...
- 757
9
votes
2
answers
548
views
What mode of convergence is this?
I'm interested in a new (to me) mode of convergence which is stronger than convergence in measure/probability. I want to know if it has a name and if it is used much in the literature. I will write ...
- 6,287
3
votes
1
answer
940
views
What is the mathematical characterization of sufficient statistics of a given $\sigma$-dominated probability model?
Given a probability model $\mathcal{P}=\{P_{\theta},\theta \in \Theta \}$ dominated by a $\sigma$-finite measure $\lambda$ (e.g. Lebesgue measure) on a locally compact space $\cal{X}$ along with $\...
- 8,071
19
votes
3
answers
3k
views
Measure induced on [0, 1] by infinite tosses of biased coin
It is well-known that one can get the Lebesgue measure on [0, 1] by tossing a fair coin infinitely (countably) many times and mapping each sequence to a real number written out in binary.
I was ...
- 675
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
6
votes
1
answer
196
views
Simultaneous simulation of all probability measures on a compact metric space
A well known fact in probability is that a uniform random variable on $[0,1]$ can be used to simulate any other probability distribution on $\mathbb{R}$.
A standard way of doing this is to define, ...
- 4,304
5
votes
1
answer
386
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
$$
H^2(\rho,\mu)=\int_{\Omega}\left|\sqrt{\frac{d\rho}{d\lambda}}-\sqrt{\frac{d\mu}{d\...
- 5,380
3
votes
0
answers
237
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 ...
- 10.5k
6
votes
1
answer
1k
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 ...
- 8,071
8
votes
1
answer
726
views
continuity of the Boltzmann entropy in the Wasserstein metric
For Lebesgue-absolutely continuous probability measures $\rho\ll \mathcal{L}^d$ in the whole space $\mathbb{R}^d$ with finite second moments (i-e $\rho\in \mathcal{P}^2_{ac}(\mathbb{R}^d)$), let
$$
\...
- 5,380
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
18
votes
4
answers
1k
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 ...
- 5,407
7
votes
1
answer
453
views
Do the terms of an iid sequence whose law has infinite expected value necessarily exceed the partial sums of the sequence infinitely often?
Let $\mu$ be a probability measure on $(0,\infty)$, and let $(\mathbf X_n)_1^\infty$ be a sequence of independent $\mu$-distributed random variables. Fix $\kappa > 0$, and consider
A) $\int x \; d\...
4
votes
1
answer
1k
views
For what nonnegative measures $\mu$ does $\mu*e^{-|\cdot|}\in L^{\infty}$?
I am trying to characterize all measures on $\mathbb{R}$ such that
$$
\sup_{x\in\mathbb{R}} \: (\mu*f)(x)<+\infty,
$$
where $f(x)$ is some specific integrable functions, such as $f(x)=e^{-|x|}$, ...
- 1,649
11
votes
1
answer
950
views
Uniformization/measurable selection theorems
Let $X,Y$ be measurable spaces and $F\subseteq X\times Y$. We say that $f:X\to Y$ is a uniformization map for $F$ if $(x,f(x))\in F$ for each $x\in \pi_X(F)$ where $\pi_X$ is the left projection map. ...
- 1,655
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 ...
- 1,655
3
votes
1
answer
2k
views
From Lebesgue Integral to Stieltjes Integral, and integration by parts
Let $X$ be a real random variable with c.d.f function $F$.
Let $g$ be an increasing measurable real function and assume that $\mathbb{E}\left[g(X)\right]$ exists (and is finite).
What additional ...
- 591
12
votes
3
answers
870
views
Measure theory in nuclear spaces
Much of the literature on measure theory in linear spaces focuses on the case of normed linear spaces (e.g., the outstanding book by Vakhania, or its sequel). However, nuclear linear spaces "as far ...
- 8,512
6
votes
3
answers
938
views
Uniformly distributed sequence in $\mathbb{R}$
We say that a sequence $(x_n)_{n=1}^\infty \subseteq \mathbb{R}$ is "uniformly distributed in $[a,b]$", with $a < b$, if $(x_n)_{n=1}^\infty \cap [a,b] \neq \varnothing$ and
$$\lim_{N \to \infty} \...
- 61
5
votes
1
answer
492
views
Coupling of non-probability/sub-probability measures
A coupling of two probability measures $P,\tilde P$ on a Borel space $X$ is any probability measure on $X^2$ whose one-dimensional marginals are $P$ and $\tilde P$. In particular, for any such ...
- 1,655
29
votes
3
answers
3k
views
Is there a probability theory developed in intuitionistic logic?
Since Boole it is known that probability theory is closely related to logic.
According to the axioms of Kolmogorov, probability theory is formulated with a (normalized)
probability measure $\mbox{...
- 567
13
votes
1
answer
3k
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 ...
- 6,287
8
votes
1
answer
1k
views
Conditional law as a random measure and convergence of random measures
I'm looking for a reference book or article for the following two facts. In both statements, a Polish space $E$ and an ambient probability space $(\Omega, {\cal A}, \Pr)$ are given, and I consider ...
- 2,560
9
votes
4
answers
1k
views
Symmetries of probability distributions
When talking about a single random variable, knowing only its distribution, the construction of a probability space is quite easy. Namely, let $(X,\mathscr A)$ be a measurable space and let $\mathsf Q$...
- 1,655
8
votes
0
answers
729
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,034
25
votes
6
answers
6k
views
Proof of Krylov-Bogoliubov theorem
Where can I find a proof (in English) of the Krylov-Bogoliubov theorem, which states if $X$ is a compact metric space and $T\colon X \to X$ is continuous, then there is a $T$-invariant Borel ...
- 897
12
votes
2
answers
3k
views
Does there exist an event independent of a given sigma-algebra?
The following question came up in a discussion with my advisor:
Let $(\Omega, \mathcal F, \mathbb P)$ be a non-trivial probability space, and suppose that $\mathcal G$ is a proper sub-$\sigma$-...
- 8,512
10
votes
2
answers
1k
views
Continuity of the mutual information
The mutual information $I(\mathfrak A_1;\mathfrak A_2)$ of two complete $\sigma$-algebras $\mathfrak A_1$ and $\mathfrak A_2$ in a Lebesgue probability space $(X,m)$ is the integral of the logarithm ...
- 17k