Kolmogorov extension theorem: Difference between revisions

Content deleted Content added
General form of the theorem: Necessary that subset J be finite.
The word "obvious" is unnecessary in the explanation.
Line 23:
The two conditions required by the theorem are trivially satisfied by any stochastic process. For example, consider a real-valued discrete-time stochastic process <math>X</math>. Then the probability <math>\mathbb{P}(X_1 >0, X_2<0)</math> can be computed either as <math>\nu_{1,2}( \mathbb{R}_+ \times \mathbb{R}_-)</math> or as <math>\nu_{2,1}( \mathbb{R}_- \times \mathbb{R}_+)</math>. Hence, for the finite-dimensional distributions to be consistent, it must hold that
<math>\nu_{1,2}( \mathbb{R}_+ \times \mathbb{R}_-) = \nu_{2,1}( \mathbb{R}_- \times \mathbb{R}_+)</math>.
The first condition generalisesgeneralizes this obvious statement to hold for any number of time points <math>t_i</math>, and any control sets <math>F_i</math>.
 
Continuing the example, the second condition implies that <math>\mathbb{P}(X_1>0) = \mathbb{P}(X_1>0, X_2 \in \mathbb{R})</math>. Also this is a trivial condition that will be satisfied by any consistent family of finite-dimensional distributions.