TheoremBase

Process Sampled at a Random Time and Stopped Process

Statement

Let Ω\Omega be a set, let T>0T>0 be a real number, let X=(Xt)t∈[0,T]X=(X_t)_{t\in[0,T]} be a family of real-valued functions on Ω\Omega, and let τ:Ω→[0,T]\tau:\Omega\to[0,T] be a function (a random time).

The process XX sampled at τ\tau is the real-valued function XτX_\tau on Ω\Omega defined by

Xτ(ω)=Xτ(ω)(ω)(ω∈Ω).X_\tau(\omega)=X_{\tau(\omega)}(\omega)\qquad(\omega\in\Omega).

The process XX stopped at τ\tau is the family Xτ=(Xtτ)t∈[0,T]X^\tau=(X^\tau_t)_{t\in[0,T]} of real-valued functions on Ω\Omega defined by

Xtτ(ω)=Xmin⁡(t,τ(ω))(ω)(t∈[0,T], ω∈Ω).X^\tau_t(\omega)=X_{\min(t,\tau(\omega))}(\omega)\qquad(t\in[0,T],\ \omega\in\Omega).

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…