1: $ is also compact under the weak convergence topology.

2: Further, for each $