1: \begin{definition}

2: Given an elementary process $\Phi$ and a cylindrical Wiener process $W$ on $\CH$, we define the 

3: $\CK$-valued \index{stochastic integral}stochastic integral

4: \begin{equ}

5: \int_0^\infty \Phi(t)\,dW(t) \eqdef \sum_{n=1}^N \Phi_n(W)\, \bigl(W(t_n) - W(s_n)\bigr)\;.

6: \end{equ}

7: Note that since $\Phi_n$  is $\F_{s_n}$-measurable, $\Phi_n(W)$ is independent of $W(t_n) - W(s_n)$, therefore each 

8: term on the right hand side can be interpreted in the sense of the construction of Theorems~\ref{theo:imageGaussian}

9: and \ref{theo:uniqueext}. 

10: \end{definition}

11: