Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm trying to show that the space of $T$-invariant probability measures is compact in the weak* topology ($T$ is some measurable transformation from a compact metric space to itself). I'm trying to use a functional analysis method as that's what I'm most comfortable with. So suppose $m_n$ is a sequence of $T$-invariant measures converging to some measure $m$. Is it correct that:

$$\int f dm = \lim_{n \to \infty} \int f dm_n = \lim_{n \to \infty} \int f(T) dm_n = \int f(T) dm$$ with $f$ any continuous function from $X$ to reals.

from this we can infer that $m$ is $T$-invariant and hence the space of $T$-invariant measures is a closed subset in a compact space hence compact?

share|cite|improve this question

We just need to use the fact that sequentially closed imply closed. Here, it's the case because we have metrizability, thanks to Prokohrov metric. See for instance here or Dudley's book Real Analysis and Probability, chapter 11.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.