Liveness properties as convergence in metric spaces