Do the moments characterize a distribution with compact support?

Question

Given a random variable $X=(X_1,...,X_p)$ with $P(X \in M) = 1$ for compact $M$, do the values of $E[X_1]$, $E[X_2], ..., E[X_1^2], E[X_1 X_2],..., E[X_1^3],...,E[X_1 X_2 X_3]... $ determine the distribution $F(x)=P(X_1 \leq x_1 \wedge \dots\wedge X_p \leq x_p)$ uniquely?

Answer 1

The answer is "yes".

Every probability distribution $\mu$ on $M$ is characterized by integration against continuous functions, that is, if $\int_M f(x)\, \mu(dx)= \int_M f(x)\, \nu(dx)$ for all continuous $f$, then $\mu=\nu$.

Now the Stone-Weierstrass theorem says that any continuous $f$ on $M$ can be approximated uniformly by polynomials. Therefore if $\int_M p(x)\, \mu(dx)= \int_M p(x)\, \nu(dx)$ for all polynomials $p$, then $\mu=\nu$.