Borel-TIS inequality
Please fix formatting and $\LaTeX$ errors and inconsistencies.
It may also need to be brought up to our standard house style.
If you have done this or know it has been done, please remove {{Tidy}} from the code.
In particular: throughout, including category, source of name, and all definitions.
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links.
To discuss this in more detail, feel free to use the talk page.
Once you have done so, you can remove this instance of {{MissingLinks}} from the code.
 It has been suggested that this article or section be renamed.
|
Theorem
Let $T$ be a topological space.
Let $\sequence {f_t}_{t \mathop \in T}$ be a centred (i.e. mean zero) Gaussian process on $T$, such that:
- $\norm f_T := \sup_{t \mathop \in T} \size {f_t}$
is almost surely finite.
Let:
- $\sigma_T^2 := \sup_{t \mathop \in T} \operatorname{E} \size {f_t}^2$
Then $\map {\operatorname {E} } {\norm f_T}$ and $\sigma_T$ are both finite, and, for each $u > 0$:
- $\map {\operatorname {P} } {\norm f_T > \map {\operatorname {E} } {\norm f_T} + u} \le \map \exp {\dfrac {- u^2} {2 \sigma_T^2} }$
