In mathematics, the law of a stochastic process is the measure that the process induces on the collection of functions from the index set into the state space. The law encodes a lot of information about the process; in the case of a random walk, for example, the law is the probability distribution of the possible trajectories of the walk.
Let (Ω, F, P) be a probability space, T some index set, and (S, Σ) a measurable space. Let X : T × Ω → S be a stochastic process (so the map
Xt:\Omega\toS:\omega\mapstoX(t,\omega)
is an (S, Σ)-measurable function for each t ∈ T). Let ST denote the collection of all functions from T into S. The process X (by way of currying) induces a function ΦX : Ω → ST, where
\left(\PhiX(\omega)\right)(t):=Xt(\omega).
The law of the process X is then defined to be the pushforward measure
l{L}X:=\left(\PhiX\right)*(P)=
-1 | |
P(\Phi | |
X |
[ ⋅ ])
on ST.