Classical Wiener space

Classical Wiener space

In mathematics, classical Wiener space is the collection of all continuous functions on a given domain (usually a sub-interval of the real line), taking values in a metric space (usually n-dimensional Euclidean space). Classical Wiener space is useful in the study of stochastic processes whose sample paths are continuous functions. It is named after the American mathematician Norbert Wiener.

Norbert Wiener

Contents

Definition

Given E \subseteq \mathbb{R} and a metric space (M,d), the classical Wiener space C(E;M) is the space of all continuous functions f : E \to M: i.e., for every (fixed) t \in E,

d(f(s), f(t)) \to 0 as | s - t | \to 0.

In almost all applications, one takes E = [0, T] \, or [0, + \infty) and M = \mathbb{R}^{n} for some n \in \mathbb{N}. For brevity, write C for C ([0, T]; \mathbb{R}^{n}); this is a vector space. Write C0 for the linear subspace consisting only of those paths that start at the origin. (Many authors refer to C0 as "classical Wiener space".)

The more general case is treated in, for example, Billingsley.

Properties of classical Wiener space

Uniform topology

The vector space C can be equipped with the uniform norm

\| f \| := \sup_{t \in [0, T]} | f(t) |

turning it into a normed vector space (and indeed into a Banach space as we will see below.) This norm induces a metric on C in the usual way: d (f, g) := \| f - g \|. The topology generated by the open sets in this metric is the topology of uniform convergence on [0,T], or the uniform topology.

Thinking of the domain [0,T] as "time" and the range \mathbb{R}^{n} as "space", an intuitive view of the uniform topology is that two functions are "close" if we can "wiggle space a bit" and get the graph of f to lie on top of the graph of g, while leaving time fixed. Contrast this with the Skorokhod topology, which allows us to "wiggle" both space and time.

Separability and completeness

With respect to the uniform metric, C is both a separable and a complete space:

  • separability is a consequence of the Stone-Weierstrass theorem;
  • completeness is a consequence of the fact that the uniform limit of a sequence of continuous functions is itself continuous.

Since it is both separable and complete, C is a Polish space.

Tightness in classical Wiener space

Recall that the modulus of continuity for a function f : [0, T] \to \mathbb{R}^{n} is defined by

\omega_{f} (\delta) := \sup \left\{ | f(s) - f(t) | \left| s, t \in [0, T], | s - t | \leq \delta \right. \right\}.

This definition makes sense even if f is not continuous, and it can be shown that f is continuous if and only if its modulus of continuity tends to zero as \delta \to 0:

f \in C \iff \omega_{f} (\delta) \to 0 as \delta \to 0.

By an application of the Arzelà-Ascoli theorem, one can show that a sequence (\mu_{n})_{n = 1}^{\infty} of probability measures on classical Wiener space C is tight if and only if both the following conditions are met:

\lim_{a \to \infty} \limsup_{n \to \infty} \mu_{n} \{ f \in C | | f(0) | \geq a \} = 0, and
\lim_{\delta \to 0} \limsup_{n \to \infty} \mu_{n} \{ f \in C | \omega_{f} (\delta) \geq \varepsilon \} = 0 for all ε > 0.

Classical Wiener measure

There is a "standard" measure on C0, known as classical Wiener measure (or simply Wiener measure). Wiener measure has (at least!) two equivalent characterizations:

If one defines Brownian motion to be a Markov stochastic process B : [0, T] \times \Omega \to \mathbb{R}^{n}, starting at the origin, with almost surely continuous paths and independent increments

B_{t} - B_{s} \sim \mathrm{Normal} \left( 0, | t - s | \right),

then classical Wiener measure γ is the law of the process B.

Alternatively, one may use the abstract Wiener space construction, in which classical Wiener measure γ is the radonification of the canonical Gaussian cylinder set measure on the Cameron-Martin Hilbert space corresponding to C0.

Classical Wiener measure is a Gaussian measure: in particular, it is a strictly positive probability measure.

Given classical Wiener measure γ on C0, the product measure \gamma^{n} \times \gamma is a probability measure on C, where γn denotes the standard Gaussian measure on \mathbb{R}^{n}.

See also

References

  • Billingsley, Patrick (1995). Probability and Measure. John Wiley & Sons, Inc., New York. ISBN 0-471-00710-2. 

Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Integral representation theorem for classical Wiener space — In mathematics, the integral representation theorem for classical Wiener space is a result in the fields of measure theory and stochastic analysis. Essentially, it shows how to decompose a function on classical Wiener space into the sum of its… …   Wikipedia

  • Abstract Wiener space — An abstract Wiener space is a mathematical object in measure theory, used to construct a decent (strictly positive and locally finite) measure on an infinite dimensional vector space. It is named after the American mathematician Norbert Wiener.… …   Wikipedia

  • Wiener process — In mathematics, the Wiener process is a continuous time stochastic process named in honor of Norbert Wiener. It is often called Brownian motion, after Robert Brown. It is one of the best known Lévy processes (càdlàg stochastic processes with… …   Wikipedia

  • Norbert Wiener — Born November 26, 1894(1894 11 26) Columbia, Missouri, U.S …   Wikipedia

  • Paley-Wiener integral — In mathematics, the Paley Wiener integral is a simple stochastic integral. When applied to classical Wiener space, it is less general than the Itō integral, but the two agree when they are both defined.The integral is named after its discoverers …   Wikipedia

  • Metric space — In mathematics, a metric space is a set where a notion of distance (called a metric) between elements of the set is defined. The metric space which most closely corresponds to our intuitive understanding of space is the 3 dimensional Euclidean… …   Wikipedia

  • Path space — In mathematics, the term path space refers to any topological space of paths from one specified set into another. In particular, it may refer to * the classical Wiener space of continuous paths; * the Skorokhod space of càdlàg paths …   Wikipedia

  • Hilbert space — For the Hilbert space filling curve, see Hilbert curve. Hilbert spaces can be used to study the harmonics of vibrating strings. The mathematical concept of a Hilbert space, named after David Hilbert, generalizes the notion of Euclidean space. It… …   Wikipedia

  • Standard probability space — In probability theory, a standard probability space (called also Lebesgue Rokhlin probability space) is a probability space satisfying certain assumptions introduced by Vladimir Rokhlin in 1940 [1] . He showed that the unit interval endowed with… …   Wikipedia

  • Michael A. Wiener — (c. 1938 – August 2, 2009) was an American business executive who was one of the two founders of the Infinity Broadcasting Corporation in 1972, ran the company as president and chairman, and became a philanthropist after selling the business and… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”