Timeline for Is the topology generated by this weaker notion of a metric necessarily metrisable?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 7, 2023 at 12:15 | history | edited | Saúl RM | CC BY-SA 4.0 |
added 126 characters in body
|
| Feb 7, 2023 at 10:26 | comment | added | Peter LeFanu Lumsdaine | @JulianNewman: Or instead of capping $d_1$, you can allow it to take the value $\infty$, which many treatments of metrics allow (and is easily seen equivalent to finite-valued metrics, by choosing some order-isomorphism $[0,1] \cong [0,\infty]$). | |
| Feb 7, 2023 at 5:31 | comment | added | Julian Newman | Excellent, thank you! (In how I formulated the question, I allowed $\rho(t)$ to be infinite for $t$ not too small, and so $d_1$ would need to be capped at a finite positive number; but the idea still clearly goes through.) | |
| Feb 7, 2023 at 5:29 | vote | accept | Julian Newman | ||
| Feb 7, 2023 at 2:36 | history | answered | Saúl RM | CC BY-SA 4.0 |