Timeline for Bi-invariant metrics on compact Polish group
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 7, 2019 at 17:48 | comment | added | YCor | Side remark: it's used implicitly that on a compact Hausdorff topological space $X$, a distance induces the topology iff it's continuous. Indeed $\Rightarrow$ is clear, and conversely, $d$ continuous implies that the identity map $X\to (X,d)$ is continuous bijective; since $X$ is compact Hausdorff this implies that it is a homeomorphism. | |
| Feb 7, 2019 at 17:38 | history | edited | YCor | CC BY-SA 4.0 |
fixed typo
|
| Feb 7, 2019 at 17:23 | history | answered | YCor | CC BY-SA 4.0 |