Теорема Ферника — это результат о гауссовских мерах на банаховых пространствах . Она расширяет конечномерный результат о том, что гауссовская случайная величина имеет экспоненциальные хвосты. Результат был доказан в 1970 году Ксавье Ферником .
Пусть ( X , || ||) — сепарабельное банахово пространство. Пусть μ — центрированная гауссовская мера на X , т.е. вероятностная мера, определенная на борелевских множествах X , такая, что для каждого ограниченного линейного функционала ℓ : X → R , мера прямого продвижения ℓ ∗ μ, определенная на борелевских множествах R как
является гауссовской мерой ( нормальным распределением ) с нулевым средним . Тогда существует α > 0 такое, что
Тем более , μ (эквивалентно, любаяслучайная величина G со значением X , закон которойравен μ ) имеет моменты всех порядков: для всех k ≥ 0,