Skip to main content

All Questions

Filter by
Sorted by
Tagged with
0 votes
0 answers
55 views

Any useful bases for the topology induced by the $t$-Wasserstein distance?

I am working on $\mathbb R ^d$ equipped with the usual Euclidean metric. I know of one nice base for $\mathcal W _t$, namely: $$\left\{ B_p (r) : r>0, p=\sum_{i=1} ^n \alpha_i \delta_{x_i},\text{ ...
J.R.'s user avatar
  • 291
2 votes
0 answers
48 views

The world of non-weak*-topologies on $\mathcal{P}(X)$

Let $X$ be a metrizable space and consider $\mathcal{P}(X)$, the set of all probability measures on $X$. Typically, the weak*-topology is considered on $\mathcal{P}(X)$, which is a very natural ...
alhal's user avatar
  • 429
1 vote
0 answers
52 views

A local base for space of probability measures with Prohorov metric

Let $S$ be a Polish space. Let $P(S)$ denote the space of probability measures on $(S,\mathcal{B})$, where $\mathcal B$ is the Borel-$\sigma$-algebra over $S$. Equip $P(S)$ with the Prohorov metric. I ...
Error 404's user avatar
  • 111
1 vote
1 answer
160 views

Comparing $(((A^\varepsilon)')^\varepsilon)'$ and $int(A)$, where $A' := X\setminus A$ and $A^\varepsilon := \{x \in X \mid d(x,A) \le \varepsilon\}$

Disclaimer. This is follow up to the question https://math.stackexchange.com/q/3486130/168758. Let $X=(X,d)$ be a Polish metric space equiped with the Borel $\sigma$-algebra and let $\mu$ be a ...
dohmatob's user avatar
  • 6,853
0 votes
1 answer
268 views

Topologies and Borel $\sigma$-fields on disjoint unions

Consider a set of functions $\mathcal{F}$ on $E$ where $E \subset\mathbb{R}^k$ - e.g. the class of $L_1$ functions on $[0,1]$ - and endow it with a suitable metric $d$ that makes it Polish. Consider ...
Jack London's user avatar
2 votes
1 answer
1k views

Proving that family of sets has non-empty intersection

Let's say I have an object which can be viewed as family of sets $\mathfrak{S} \subseteq 2^S$, and I want to prove that its intersection is non-empty. What is known already: $S$ is set of measurable ...
Doktor Diagoras's user avatar
6 votes
1 answer
248 views

Joint measurability of metric

I am trying to understand in which metric spaces the metric is jointly measurable. There exist a metric space $(X,d)$ for which the Borel $\sigma$-algebra, does not coincide with the product Borel $\...
Martin's user avatar
  • 193
3 votes
3 answers
895 views

Compactness of sigma-algebra for the $L^1$ metrics

Consider a probability space $(X,F,\mu)$, and the quotient $G$ of the sigma-algebra $F$ by its null sets. Endow $G$ with the metric $d(A,B) = \mu(A \triangle B)$. Is $(G,d)$ a compact metric space? ...
Did's user avatar
  • 5,721
6 votes
0 answers
969 views

What relates to measure spaces as topological spaces relate to metric spaces ?

Has there been study of a generalization of measure spaces along the following or similar lines ? Given a measure space $(X, \Sigma, \mu)$, define for $U\in\Sigma$ a $\mu$-ball of radius $r$ of $U$ ...
user19172's user avatar
  • 529
3 votes
0 answers
277 views

For METRIZABLE spaces, do the Banach classes and Baire classes coincide?

In this paper: 'Borel structures for Function spaces' by Robert Aumann, http://projecteuclid.org/euclid.ijm/1255631584 Aumann claims that when X and Y are metric spaces (among other things), the ...
Mario Carrasco's user avatar