Skip to main content

All Questions

Filter by
Sorted by
Tagged with
1 vote
1 answer
215 views

Compactness with respect to topology induced by total-variation distance

I've been working on a problem and at some point in the proof I need to show that the following set $$\left\{\mu \in \mathcal{P}_{ac}(\mathbb R^d): \int \varphi(x)\mu(\mathrm{d}x)\leq C\right\}$$ is ...
Andrew Luo's user avatar
1 vote
1 answer
141 views

Does the compactness of parameter of distribution function imply the compactness of the distribution (or probability measure) in Wasserstein space?

For a family of probability measures sharing the same form of distribution function $F(x; p)$ with different parameters (i.e., $p$'s), if the parameter falls in a compact subset of real line, can we ...
Rex Lee's user avatar
  • 13
0 votes
1 answer
268 views

Tightness on a set $A$ implies tightness on a set $B$ where $A\subset B$?

From the book Billingsley - Convergence of probability measures, 1999, we have the following definitions of tightness and relative compactness and the Prohorov's theorem: Tightness: Let $\Pi$ be a ...
Mark's user avatar
  • 657
6 votes
2 answers
1k views

Is the separability of the space needed in the proof of the Prohorov's theorem?

The Section 5 of the book: Billingsley, P., Convergence of Probability Measures, 1999, studies Prohorov's theorem. A short reminder is given below. Let $\Pi$ be a family of probability measures on ...
Mark's user avatar
  • 657
0 votes
1 answer
393 views

Can I get away without using Arzela-Ascoli?

I am currently thinking of function-valued random variables. In order to prove a result, I need to approximate by (function-valued) step functions. This naturally leads to the idea of chopping up the ...
Daron's user avatar
  • 1,955
3 votes
0 answers
240 views

Using compactness method to prove the existence of a pathwise solution to an SPDE

For given initial data $u_0\in H^k$ for some $k$, I want to prove the existence of solution to some PDE with multiplicative white noise. I modify the SPDE by regularizing it and then use the ...
YT_learning_math's user avatar