The space C[0, 1]
[5/0%]The support of a measure is the smallest closed set such that . Let be a Wiener measure on , i.e., the law of a Brownian motion on . Use Exercise 13.4 to prove that the support of is all of .
Let be a complete separable metric space and let be a subset of . Then is also a metric space. If converges weakly to with respect to the topology of and each and take values in , does converge weakly to with respect to the topology of ? Does the answer change if is a closed subset of ?
If and take values in and converges weakly to with respect to the topology of ( ), does converge weakly to with respect to the topology of ? What if is a closed subset of ?
Give a proof of Theorem 32.2 using (32.7) in place of Theorem 8.1.
Suppose is a weak solution to
where is a one-dimensional Brownian motion and and are bounded and continuous, but we do not assume that is bounded below by a positive constant. Suppose the solution to (32.8) is unique in law.
Suppose and are Lipschitz functions which are uniformly bounded and which converge uniformly to and , respectively. Let be the unique pathwise solution to
the probability measure here is . Prove that converges weakly to with respect to .
Let be a -dimensional Brownian motion and let be the solution to (24.22). If , prove that the support of is all of .