ポーランド空間
Let "X" be a Polish space and let formula_3 be the transition probabilities for a time-homogeneous Markov semigroup on "X", i.e.