Take two spaces $X_1$ $X_2$ and consider $\mu\in\mathcal{P}(X_1\times X_2)$ i.e the space of Borel probability measures. Let $\mu_1,\mu_2$ be Borel probability measures on $X_1,X_2$, with $\mu_1$ a dirac mass.
Is it true that if $\mu$ has marginals $\mu_1,\mu_2$ then $\mu=\mu_1\times \mu_2$ i.e the product measure? If so how do I prove this result?
Since $\mu_i$ is a Dirac mass for each $i = 1, 2$, we can find $x_i \in X_i$ such that $\mu_i = \delta_{x_i}$. Now if we write
$$ E_1 = (X_1\setminus\{x_1\})\times X_2, \qquad E_2 = X_1 \times (X_2\setminus\{x_2\}), $$
then we have
$$\mu(E_1) = \mu_1(X_1\setminus\{x_1\}) = 0 \qquad\text{and}\qquad \mu(E_2) = \mu_2(X_2\setminus\{x_2\}) = 0. $$
So it follows that
$$ \mu((X_1\times X_2)\setminus\{(x_1,x_2)\}) = \mu(E_1 \cup E_2) = 0. $$
This tells that
$$ \mu = \delta_{(x_1,x_2)} = \delta_{x_1} \otimes \delta_{x_2}. $$