A number of procedures have been proposed for the canonical representations of general stochastic processes. Two views are listed below:
Random field is a measurable function on a product space, where one of the subdomains is a probability space, to the real line.
Symbolically, random field \( \alpha: D\times \Omega \to \mathbb{R} \) is a \( (\mathcal{S} \times \Sigma, \mathcal{B}) \)-measurable or \( ( (\mathcal{S} \times \Sigma)^* , \mathcal{L} ) \)-measurable funcion. Here \( (D, \mathcal{S}, \mu) \) is a deterministic measure space, and \( (\Omega, \Sigma, P) \) is a probability space. Their product space is \( ( D \times \Omega, \mathcal{S} \times \Sigma, \mu \times P) \), with completion \( ( D \times \Omega, (\mathcal{S} \times \Sigma)^{*}, \mu \times P) \). Either Borel measure or Lebesgue measure is applied to the real line.
Think of the deterministic field \(D\) as an indexing set. When \(D\) is finite, the RF can be seen as a random vector, i.e. a finite collection of random variables, or a random sample. When the number of samples approaches infinity, the RF can be seen as a random sequence. When \(D\) is a space with power of the continuum, e.g. the real line or an Euclidean space, the RF is often seen as a general random process.
(Chap. 14.2, 15.1)