This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
math105-s22:s:mchlxo:start [2022/05/06 08:23] mchlxo [Definition (Brownian Motion)] |
math105-s22:s:mchlxo:start [2026/02/21 14:41] (current) |
||
|---|---|---|---|
| Line 75: | Line 75: | ||
| For $t \neq s$, $\int p(t, x-y)p(s, | For $t \neq s$, $\int p(t, x-y)p(s, | ||
| **proof:** see Sternberg (2014) slides 10 and 11\\ | **proof:** see Sternberg (2014) slides 10 and 11\\ | ||
| - | Proposition 1 showed that if $F$ does not depend on a given set of $x_i$, we obtain the same functional $E(\phi)$. In addition, we have $E(1) = 1$, so by the Stone-Weierstrass Theorem, $C^{\#}$ is dense in $C(\mathcal{P})$. Furthermore, | + | Proposition 1 showed that if $F$ does not depend on a given set of $x_i$, we obtain the same functional $E(\phi)$. In addition, we have $E(1) = 1$, so by the Stone-Weierstrass Theorem, $C^{\#}$ is dense in $C(\mathcal{P})$ |
| ==== Theorem 2 (Wiener Measure) ==== | ==== Theorem 2 (Wiener Measure) ==== | ||
| There exists a unique Borel measure (called the Wiener Measure) $\mu$ on $\mathcal{P}$ such that | There exists a unique Borel measure (called the Wiener Measure) $\mu$ on $\mathcal{P}$ such that | ||
| $$ E(\phi) = \int_{\mathcal{P}} \phi(\omega) d \mu(\omega)$$ | $$ E(\phi) = \int_{\mathcal{P}} \phi(\omega) d \mu(\omega)$$ | ||
| for each $\phi(\omega)$ with a continuous $F$ on $\mathcal{P}$ | for each $\phi(\omega)$ with a continuous $F$ on $\mathcal{P}$ | ||
| + | |||
| + | ==== References ==== | ||
| + | Sternberg, Shlomo Z. 2014. “Wiener Measure.” Harvard Math 201a, November 11.\\ | ||
| + | \\ | ||
| + | Taylor, Michael E. 2006. Measure Theory and Integration. Graduate Studies in Mathematics, | ||
| + | \\ | ||
| + | Wright, David G. 1994. “Tychonoff’s Theorem.” Proceedings of the American Mathematical Society 120 (3): 985–87. https:// | ||
| + | |||
| + | |||
| ===== Resources ===== | ===== Resources ===== | ||
| A {{ : | A {{ : | ||