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.
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.
|
Statement
Let \(T\) be a topological space, and let \(\{ f_t \}_{t \in T}\) be a centred (i.e. mean zero) Gaussian process on \(T\), with
- \[\| f \|_T := \sup_{t \in T} | f_t |\]
almost surely finite, and let
- \[\sigma_T^2 := \sup_{t \in T} \operatorname{E}| f_t |^2.\]
Then \(\operatorname{E}(\| f \|_T)\) and \(\sigma_T\) are both finite, and, for each \(u > 0\),
- \[\operatorname{P} \big( \| f \|_T > \operatorname{E}(\| f \|_T) + u \big) \leq \exp\left( \frac{- u^2}{2\sigma_T^2} \right). \]
