Editing Wiener process (section)

=== Some properties of sample paths ===
The set of all functions ''w'' with these properties is of full Wiener measure. That is, a path (sample function) of the Wiener process has all these properties almost surely:

==== Qualitative properties ====
* For every ε > 0, the function ''w'' takes both (strictly) positive and (strictly) negative values on (0, ε).
* The function ''w'' is continuous everywhere but differentiable nowhere (like the [[Weierstrass function]]).
* For any <math>\epsilon > 0</math>, <math>w(t)</math> is almost surely not <math>(\tfrac 1 2 + \epsilon)</math>-[[Hölder continuous]], and almost surely <math>(\tfrac 1 2 - \epsilon)</math>-Hölder continuous.<ref>{{Cite book |last1=Mörters |first1=Peter |title=Brownian motion |last2=Peres |first2=Yuval |last3=Schramm |first3=Oded |last4=Werner |first4=Wendelin |date=2010 |publisher=Cambridge University Press |isbn=978-0-521-76018-8 |series=Cambridge series in statistical and probabilistic mathematics |location=Cambridge |pages=18}}</ref>
* Points of [[Maxima and minima|local maximum]] of the function ''w'' are a dense countable set; the maximum values are pairwise different; each local maximum is sharp in the following sense: if ''w'' has a local maximum at {{mvar|t}} then <math display="block">\lim_{s \to t} \frac{|w(s)-w(t)|}{|s-t|} \to \infty.</math> The same holds for local minima.
* The function ''w'' has no points of local increase, that is, no ''t'' > 0 satisfies the following for some ε in (0, ''t''): first, ''w''(''s'') ≤ ''w''(''t'') for all ''s'' in (''t'' − ε, ''t''), and second, ''w''(''s'') ≥ ''w''(''t'') for all ''s'' in (''t'', ''t'' + ε). (Local increase is a weaker condition than that ''w'' is increasing on (''t'' − ''ε'', ''t'' + ''ε'').) The same holds for local decrease.
* The function ''w'' is of [[bounded variation|unbounded variation]] on every interval.
* The [[quadratic variation]] of ''w'' over [0,''t''] is ''t''. 
* [[root of a function|Zeros]] of the function ''w'' are a [[nowhere dense set|nowhere dense]] [[perfect set]] of Lebesgue measure 0 and [[Hausdorff dimension]] 1/2 (therefore, uncountable).

==== Quantitative properties ====

===== [[Law of the iterated logarithm]] =====
<math display="block"> \limsup_{t\to+\infty} \frac{ |w(t)| }{ \sqrt{ 2t \log\log t } } = 1, \quad \text{almost surely}. </math>

===== [[Modulus of continuity]] =====
Local modulus of continuity:
<math display="block"> \limsup_{\varepsilon \to 0+} \frac{ |w(\varepsilon)| }{ \sqrt{ 2\varepsilon \log\log(1/\varepsilon) } } = 1, \qquad \text{almost surely}. </math>

[[Lévy's modulus of continuity theorem|Global modulus of continuity]] (Lévy):
<math display="block"> \limsup_{\varepsilon\to0+} \sup_{0\le s<t\le 1, t-s\le\varepsilon}\frac{|w(s)-w(t)|}{\sqrt{ 2\varepsilon \log(1/\varepsilon)}} = 1, \qquad \text{almost surely}. </math>

===== [[Dimension doubling theorem]] =====
The dimension doubling theorems say that the [[Hausdorff dimension]] of a set under a Brownian motion doubles almost surely.

==== Local time ====
The image of the [[Lebesgue measure]] on [0, ''t''] under the map ''w'' (the [[pushforward measure]]) has a density {{math|''L''<sub>''t''</sub>}}.  Thus,
<math display="block"> \int_0^t f(w(s)) \, \mathrm{d}s = \int_{-\infty}^{+\infty} f(x) L_t(x) \, \mathrm{d}x </math>
for a wide class of functions ''f'' (namely: all continuous functions; all locally integrable functions; all non-negative measurable functions). The density ''L<sub>t</sub>'' is (more exactly, can and will be chosen to be) continuous. The number ''L<sub>t</sub>''(''x'') is called the [[local time (mathematics)|local time]] at ''x'' of ''w'' on [0, ''t'']. It is strictly positive for all ''x'' of the interval (''a'', ''b'') where ''a'' and ''b'' are the least and the greatest value of ''w'' on [0, ''t''], respectively. (For ''x'' outside this interval the local time evidently vanishes.) Treated as a function of two variables ''x'' and ''t'', the local time is still continuous. Treated as a function of ''t'' (while ''x'' is fixed), the local time is a [[singular function]] corresponding to a [[atom (measure theory)|nonatomic]] measure on the set of zeros of ''w''.

These continuity properties are fairly non-trivial. Consider that the local time can also be defined (as the density of the pushforward measure) for a smooth function. Then, however,  the density is discontinuous, unless the given function is monotone. In other words, there is a conflict between good behavior of a function and good behavior of its local time. In this sense, the continuity of the local time of the Wiener process is another manifestation of non-smoothness of the trajectory.