Almost everywhere (for example on Wiki) the Wiener process is defined as a process $W(t)$ such that:
- $W(0)=0 $;
- It has independent increments;
- The increments in an interval $\Delta t$ are gaussian with expected value 0 and variance $D\Delta t$;
- The process is sample continuous;
Is this definition minimal? Or could the 4) be dropped?
My idea is trying to prove the fact that the following holds $\forall \epsilon>0$:
$$lim_{\Delta t \rightarrow0}P(|\Delta W|> \epsilon)=0$$
where $\Delta W$ is the increment of the process in $\Delta t$. This should be a sufficient condition for sample continuity (sometimes it is called Lindeberg condition) that is valid for Markov processes according to Feller "Handbook of stochastic methods". Of course the definition of the Wiener process entails that the process is Markov because it has independent increments.