All Questions

Filter by
Sorted by
Tagged with
1 vote
0 answers
81 views

Reference request: rates of weak convergence of Polish space-valued random variables

Let $(E,\mathscr{E})$ be a Polish space $E$ together with its Borel $\sigma$-algebra $\mathscr{E}$. Let $(\Omega, \mathscr{F},P)$ be a probability space and let $(X^{(n)})_{n \in \mathbb{N}}$ be a ...
Snoop's user avatar
  • 131
2 votes
3 answers
396 views

Looking for a reference: $f$-divergences are lower semicontinuous

I know that the weak lower semi-continuity of the KL divergence was proved in [1]. If I remember well, the same property is true for any $f$ divergence (with suitable assumptions on the probability ...
ECL's user avatar
  • 271
7 votes
1 answer
841 views

Reference request: norm topology vs. probabilist's weak topology on measures

Let $(X,d)$ be a metric space and $\mathcal{M}(X)$ be the space of regular (e.g. Radon) measures on $X$. There are two standard topologies on $\mathcal{M}(X)$: The (probabilist's) weak topology and ...
JohnA's user avatar
  • 680
3 votes
1 answer
269 views

Is it possible for a random nowhere dense closed set to have a positive probability of hitting any given point?

Given a compact metrisable topological space $X$, we write $\mathcal{N}(X)$ for the set of non-empty closed nowhere dense subsets of $X$, which is a Polish space under the topology induced by the ...
Julian Newman's user avatar
13 votes
1 answer
735 views

Idempotent measures on the free binary system?

Let $(S,*)$ be the free (non associative) binary system on one generator (so $S$ is just the set of terms in $*$ and $1$). There is an extension of $*$ to the space $P(S)$ of finitely additive ...
Justin Moore's user avatar
  • 3,607
16 votes
2 answers
3k views

Is the space of continuous functions from a compact metric space into a Polish space Polish?

Let $K$ be a compact metric space, and $(E,d_E)$ a complete separable metric space. Define $C:=C(K,E)$ to be the continuous functions from $K$ to $E$ equipped with the metric $d(f,g)=\sup_{k\in K}\ ...
user avatar