Weak convergence for Dirichlet processes