In the answer to the following comment, it is shown why $\rho(x,x') = 0$ implies $x = x'$: https://math.stackexchange.com/questions/163678/a-proof-that-skorohod-metric-is-a-metric
Dominic van der Zypen
- 48.9k
- 8
- 47
- 162