Let $D(0,T)$ be the space of right continuous functions with left limits defined on $[0,T]$. Consider the Skorokhod M1 topology on $D(0,T)$, see e.g. S. Ledger, Skorokhod’s M1 topology for distribution-valued processes (ProjectEuclid link DOI) for its definition. Denote by $\rho$ the corresponding metric. I have the questions as follows :
Is the space $\bigl(D(0,T),\rho\bigr)$ separable?
Let $(\mathbb P_n)_{n\ge 1}$ be a weakly convergent sequence of probability measures on $D(0,T)$ endowed with $\rho$. Denote by $\mathbb P$ its limit. Is there a dense subset $I\subset [0,T]$ s.t.
$$\mathbb P_n\circ \phi_t^{-1} \xrightarrow{n\to\infty} \mathbb P\circ \phi_t^{-1},\quad \quad \quad \text{for all } t\in I,$$
where $\mathbb P_n\circ \phi_t^{-1}$ denotes the image measure of $\mathbb P_n$ under $\phi_t$ and $\phi_t:D(0,T)\to\mathbb R$ is defined by $\phi_t(f):=f(t)$ for any $f\in D(0,T)$?
I am unable to find the related references. Any answers or references are highly appreciated.
PS: The Skorokhod M1 topology is not the Skorokhod J1 topology that is used mostly. This topology M1 is strictly weaker than J1, and is defined by the so called parametric representation of graphs.