Wikipedia has separate articles on "Brownian motion" and "Wiener process" (http://en.wikipedia.org/wiki/Brownian_motion and http://en.wikipedia.org/wiki/Wiener_process ). I am not an expert, but that strikes me as dubious. That is not the subject of my question, however, and that may be a better issue to discuss at Wikipedia than in MSE.
Both articles say that the Wiener process is "characterized by" (they do not use the words "defined" or "definition") four facts. One of them is essentially the fact that sample paths are almost surely continuous.
In a monograph I will cite below, the continuity of sample paths was not part of the definition. I think it would be better if they gave a mathematician's definition that did not include continuity of sample paths, and then cited the continuity of sample paths as a property that could be proven. Even though people other than mathematicians may be interested in the Wiener process, is is a mathematical idea (according to Wikipedia), and I think it should be defined in mathematical terms.
A good mathematical definition does not include redundant information. For example, when one defines a group, one never states that there is a unique identity element, because the uniqueness can be proven. I don't know if Brown or Wiener used continuity of sample paths as part of their definition, but if they did, I think a modern, leaner definition that omitted unnecessary hypotheses would be better.
I would like to complain about this on the articles' talk pages, but I am not confident enough to be sure this is a valid complaint. Can anyone back me up? Or can anyone justify Wikipedia's "characterization"?
EDIT: This is the definition of Brownian motion from
"An Introduction to Stochastic Differential Equations" by L. C. Evans:
(i) $W(0) = 0$ almost surely.
(ii) $W(t)-W(s) \sim N(0,t-s)$ for all $0 \leq s \leq t$
(iii) For all $0<t_1<t_2<\cdots<t_n$, the random variables $W(t_1),W(t_2)-W(t_1),\ldots,W(t_n)-W(t_{n-1})$ are independent.
He then proceeds to prove in a "Theorem" that states "for a.e. $\omega$, the sample path $t \mapsto W(t,\omega)$ is continuous". CORRECTION: He actually proves that the Levy construction of Brownian motion has continuous sample paths. He does not prove continuity follows from (i)-(iii).
Evans is a very good mathematician and a good writer.
If a continuity assumption is necessary, then someone has probably already proven that there exists a stochastic process that satisfies (i)-(iii) above but that is not the same as Brownian motion (as given by several constructions, such as Levy's construction, for example). Has anyone done this?
EDIT: Someone has in fact done this. See the MathOverflow link given in the comment immediately below this answer.
Best Answer
There are a number of ways to define Brownian Motion. As you say, many common approaches first construct a suitable collection of processes (often on a product space), then show that in each equivalence class there is a continuous version of the process (generally using Kolmogorov's continuity theorem) and then declare that we are only interested in that element of each equivalence class. That is very different from saying that any process satisfying the other assumptions is necessarily a continuous process. Somewhat paradoxically, in the usual construction on the product space, the event that the process is continuous is not even measurable. In that entirely natural setting, it doesn't even make sense to ask the question of whether or not paths are continuous without doing some kind of a restriction. There is a discussion of this construction and this issue in Durrett, if you are interested.
Since physically (and mathematically) we want to be able to specify that Brownian Motion is continuous pathwise, we have to add the restriction to the continuous element of the equivalence classes into the definition to use the construction on a product space and obtain the process we want.
I think it may be worth looking at the other common, relatively elementary construction as well. Another approach is to construct Brownian Motion directly on the space of continuous functions in the usual topology. But you see in this approach, which I would argue is nicer than the first approach, we implicitly assume that Brownian Motion must be continuous. As a comment, the previous link contains what I generally see referred to as the standard modern mathematical reference on Brownian Motion and the authors do have continuity in the definition.
For what it's worth, I just took a very quick look at Wiener's original paper and it looks (at a very quick glance) like he proves continuity as a theorem.