Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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
5 votes
1 answer
168 views

Compactness of symmetric power of a compact space

Suppose I have a compact metric space $(X,d)$ and let $\mathcal{X}=X^K$ be the product space. Consider the equivalence relation $\sim$ on $\mathcal{X}$ given as: for $\alpha,\beta\in \mathcal{X}$, $\...
Sunrit's user avatar
  • 59
5 votes
0 answers
158 views

Does "achieving more GH-distances than some compact space" imply compactness?

Previously asked and bountied at MSE: For complete metric spaces $X,Y$, write $X\trianglelefteq Y$ iff for every complete metric space $Z$ such that the Gromov-Hausdorff distance between $X$ and $Z$ ...
Noah Schweber's user avatar
4 votes
1 answer
292 views

Is every 1-Lipschitz homeomorphism $f:X\to X$ from a compact metric space to itself an isometry?

I found a statement involving a homeomorphism $f:X\to X$ of a compact metric space $X$, with Lipshitz coefficient 1, i.e., a non-expansive map, and cannot think of an example where $f$ is not an ...
Saúl RM's user avatar
  • 10.6k
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
2 votes
2 answers
297 views

Density of subsequences in Bolzano-Weierstrass

Let $(M, d)$ be a metric space and $K$ compact. It is known that $K$ is sequentially compact, so we can "run" Bolzano-Weierstrass on it. I want to identify the set $\mathcal{F}$ of all ...
Daniel Goc's user avatar
2 votes
1 answer
261 views

Bounded ball measure on compact metric space

Fix $c>1$. Let $(X,d)$ be a separable compact metric space, does there necessarily exist a Borel probability measure $\nu$ on $(X,d)$ such that $\operatorname{sup}_{x \in X,r>0}\frac{\nu(\...
ABIM's user avatar
  • 5,405
2 votes
1 answer
165 views

Li-Yorke chaos: the non compact case

1) Is there any notion of Li-Yorke chaos for non compact (metric) spaces $X$ and non continuous transformation $f:X \rightarrow X$? Could you bring some references? 2) I mean, why are so important ...
Bruno Brogni Uggioni's user avatar
1 vote
3 answers
688 views

How to show the cardinality of nonisometric compact metric spaces is the continuum

It is asserted in A Course in Metric Geometry by Burago, Burago, Ivanov that there can be no more than continuum of mutually nonisometric compact spaces How is this proven? Its clear that there ...
Otis Chodosh's user avatar
  • 7,197
1 vote
2 answers
529 views

Extending homeomorphisms between compact metric subsets

Let $X$ be a compact metric, second countable space with finite covering dimension. Let $A,B$ be two closed subsets of $X$. Assume that $h:A\to B$ is a homeomorphism. Is it possible to extend $h$ to a ...
Betti's user avatar
  • 11
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
1 vote
0 answers
71 views

Continuous injection of metric ball into Euclidean ball

This is a follow-up to this post. Suppose that $(X,d_X)$ is a compact metric space with (finite) metric-capacity, defined by $$ \kappa_X(\epsilon)\triangleq\sup\left\{ k : \exists x_0,\dots,x_k \...
ABIM's user avatar
  • 5,405