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.

Help!