The answer is yes. The implications 1$\iff$3 follow because $[0,\infty]$ is homeomorphic to $[0,1]$, with the preservation of the order. The proof of the implications 2$\iff$3 is almost the same as in the case of $[0,\infty)$ or $(-\infty,\infty)$ in place of $[0,\infty]$, if $\infty+\epsilon:=\infty$ for real $\epsilon$.
Iosif Pinelis
- 127.7k
- 8
- 107
- 229