Consider the -algebra of Borel of . the Borel of We say that a function is a transition kernel if:
For each is a probability measure on B.
For each is a function measurable B-B.
a) Prove that if is measurable, then the function defined for each is measurable.
Suppose further that for each :
b) Prove that defined on is a transition kernel.