В математике моменты функции — это определенные количественные меры, связанные с формой графика функции . Если функция представляет плотность массы, то нулевой момент — это полная масса, первый момент (нормализованный по полной массе) — это центр масс , а второй момент — это момент инерции . Если функция — это распределение вероятностей , то первый момент — это ожидаемое значение , второй центральный момент — это дисперсия , третий стандартизированный момент — это асимметрия , а четвертый стандартизированный момент — это эксцесс .
Для распределения массы или вероятности на ограниченном интервале совокупность всех моментов (всех порядков от 0 до ∞ ) однозначно определяет распределение ( проблема моментов Хаусдорфа ). То же самое не верно для неограниченных интервалов ( проблема моментов Гамбургера ).
В середине девятнадцатого века Пафнутий Чебышев стал первым человеком, который мыслил систематически в терминах моментов случайных величин . [1]
n - й сырой момент (т.е. момент относительно нуля) случайной величины с функцией плотности определяется как [2] n - й момент действительной непрерывной случайной величины с функцией плотности относительно значения есть интеграл
Можно определить моменты для случайных величин более общим образом, чем моменты для вещественных функций — см. моменты в метрических пространствах. Момент функции, без дополнительных пояснений, обычно относится к приведенному выше выражению с . Для вторых и более высоких моментов обычно используется центральный момент (моменты относительно среднего, где c — среднее), а не моменты относительно нуля, поскольку они дают более ясную информацию о форме распределения.
Другие моменты также могут быть определены. Например, n- й обратный момент относительно нуля равен , а n -й логарифмический момент относительно нуля равен
N - й момент относительно нуля функции плотности вероятности является ожидаемым значением и называется грубым моментом или грубым моментом . [3] Моменты относительно ее среднего значения называются центральными моментами ; они описывают форму функции независимо от трансляции .
Если — функция плотности вероятности , то значение интеграла выше называется n -м моментом распределения вероятности . В более общем смысле, если F — кумулятивная функция распределения вероятности любого распределения вероятности, которое может не иметь функции плотности, то n -й момент распределения вероятности задается интегралом Римана–Стилтьеса , где X — случайная величина , которая имеет это кумулятивное распределение F , а E — оператор ожидания или среднее значение. Когда говорят, что момент не существует. Если n -й момент относительно какой-либо точки существует, то также существует ( n − 1) -й момент (и, таким образом, все моменты низшего порядка) относительно каждой точки. Нулевой момент любой функции плотности вероятности равен 1, поскольку площадь под любой функцией плотности вероятности должна быть равна единице.
Нормализованный n -й центральный момент или стандартизированный момент равен n -му центральному моменту , делённому на σ n ; нормализованный n -й центральный момент случайной величины X равен
Эти нормализованные центральные моменты являются безразмерными величинами , которые представляют распределение независимо от любого линейного изменения масштаба.
Первый необработанный момент — это среднее значение , обычно обозначаемое
Вторым центральным моментом является дисперсия . Положительный квадратный корень дисперсии — это стандартное отклонение.
Третий центральный момент является мерой однобокости распределения; любое симметричное распределение будет иметь третий центральный момент, если он определен, равный нулю. Нормализованный третий центральный момент называется асимметрией , часто γ . Распределение, которое асимметрично влево (хвост распределения длиннее слева), будет иметь отрицательную асимметрию. Распределение, которое асимметрично вправо (хвост распределения длиннее справа), будет иметь положительную асимметрию.
Для распределений, которые не слишком отличаются от нормального , медиана будет где-то около μ − γσ /6 ; мода около μ − γσ /2 .
Четвертый центральный момент является мерой тяжести хвоста распределения. Поскольку это ожидание четвертой степени, четвертый центральный момент, где он определен, всегда неотрицателен; и за исключением точечного распределения , он всегда строго положителен. Четвертый центральный момент нормального распределения равен 3 σ 4 .
Эксцесс κ определяется как стандартизированный четвертый центральный момент. (Эквивалентно, как и в следующем разделе, избыточный эксцесс — это четвертый кумулянт, деленный на квадрат второго кумулянта .) [4] [5] Если распределение имеет тяжелые хвосты, эксцесс будет высоким (иногда называемым лептокуртиковым); наоборот, распределения с легкими хвостами (например, ограниченные распределения, такие как равномерное) имеют низкий эксцесс (иногда называемый платикуртиковым).
Эксцесс может быть положительным без ограничений, но κ должно быть больше или равно γ 2 + 1 ; равенство справедливо только для бинарных распределений . Для неограниченных асимметричных распределений, не слишком далеких от нормального, κ имеет тенденцию находиться где-то в области γ 2 и 2 γ 2 .
Неравенство можно доказать, рассмотрев, где T = ( X − μ )/ σ . Это ожидание квадрата, поэтому оно неотрицательно для всех a ; однако это также квадратичный многочлен относительно a . Его дискриминант должен быть неположителен, что дает требуемое соотношение.
Моменты высшего порядка — это моменты, превосходящие моменты четвертого порядка.
Как и в случае с дисперсией, асимметрией и эксцессом, это статистики более высокого порядка , включающие нелинейные комбинации данных, и могут использоваться для описания или оценки дополнительных параметров формы . Чем выше момент, тем сложнее его оценить, в том смысле, что для получения оценок аналогичного качества требуются более крупные выборки. Это связано с избыточными степенями свободы, потребляемыми более высокими порядками. Кроме того, их можно тонко интерпретировать, часто их легче всего понять в терминах моментов более низкого порядка — сравните производные более высокого порядка от рывка и толчка в физике . Например, так же, как момент 4-го порядка (эксцесс) можно интерпретировать как «относительную важность хвостов по сравнению с плечами во вкладе в дисперсию» (для заданной величины дисперсии более высокий эксцесс соответствует более толстым хвостам, тогда как более низкий эксцесс соответствует более широким плечам), момент 5-го порядка можно интерпретировать как измерение «относительной важности хвостов по сравнению с центром ( моды и плечами) во вкладе в асимметрию» (для заданной величины асимметрии более высокий 5-й момент соответствует более высокой асимметрии в хвостовых частях и небольшой асимметрии моды, тогда как более низкий 5-й момент соответствует большей асимметрии в плечах).
Смешанные моменты — это моменты, включающие несколько переменных.
Значение называется моментом порядка (моменты определяются также для нецелых ). Аналогично определяются моменты совместного распределения случайных величин . Для любых целых чисел математическое ожидание называется смешанным моментом порядка (где ), а называется центральным смешанным моментом порядка . Смешанный момент называется ковариацией и является одной из основных характеристик зависимости между случайными величинами.
Некоторые примеры — ковариация , кососимметрия и коэксцесс . Хотя существует уникальная ковариация, существуют множественные кососимметрии и коэксцессы.
Поскольку где — биномиальный коэффициент , то моменты относительно b можно вычислить из моментов относительно a по формуле:
Сырой момент свертки читается как где обозначает -й момент функции, указанной в скобках. Это тождество следует из теоремы о свертке для функции, производящей момент, и применения цепного правила для дифференцирования произведения.
Первый необработанный момент, а также второй и третий ненормализованные центральные моменты являются аддитивными в том смысле, что если X и Y — независимые случайные величины, то
(Это также может иметь место для переменных, которые удовлетворяют более слабым условиям, чем независимость. Первое всегда выполняется; если выполняется второе, переменные называются некоррелированными ).
Фактически, это первые три кумулянта, и все кумулянты обладают этим свойством аддитивности.
Для всех k k -й необработанный момент популяции можно оценить, используя k -й необработанный момент выборки, примененный к выборке X 1 , ..., X n , взятой из популяции.
Можно показать, что ожидаемое значение сырого момента выборки равно k -му сырому моменту совокупности, если такой момент существует, для любого размера выборки n . Таким образом, это несмещенная оценка. Это контрастирует с ситуацией для центральных моментов, вычисление которых использует степень свободы, используя выборочное среднее. Так, например, несмещенная оценка дисперсии совокупности (второй центральный момент) дается выражением , в котором предыдущий знаменатель n был заменен степенями свободы n − 1 , и в котором относится к выборочному среднему. Эта оценка момента совокупности больше, чем нескорректированный наблюдаемый момент выборки в раз, и ее называют «скорректированной выборочной дисперсией» или иногда просто «выборочной дисперсией».
Задачи определения распределения вероятностей по последовательности его моментов называются задачей моментов . Такие задачи впервые были рассмотрены П. Л. Чебышевым (1874) [6] в связи с исследованиями предельных теорем. Для того чтобы распределение вероятностей случайной величины однозначно определялось ее моментами, достаточно, например, чтобы выполнялось условие Карлемана: Подобный результат справедлив даже для моментов случайных векторов. Задача моментов ищет характеристики последовательностей , являющихся последовательностями моментов некоторой функции f, все моменты которой конечны, и для каждого целого числа пусть , где конечно. Тогда существует последовательность , которая слабо сходится к функции распределения, имеющей своими моментами. Если моменты определяются однозначно, то последовательность слабо сходится к .
Частичные моменты иногда называют «односторонними моментами». Нижние и верхние частные моменты n -го порядка относительно опорной точки r могут быть выражены как
Если интегральная функция не сходится, то частичный момент не существует.
Парциальные моменты нормализуются путем возведения в степень 1/ n . Коэффициент потенциала вверх может быть выражен как отношение верхнего парциального момента первого порядка к нормализованному нижнему парциальному моменту второго порядка.
Пусть ( M , d ) — метрическое пространство , а B( M ) — борелевская σ -алгебра на M , σ -алгебра, порожденная d - открытыми подмножествами M. (По техническим причинам также удобно предположить, что M — сепарабельное пространство относительно метрики d .) Пусть 1 ≤ p ≤ ∞ .
P - й центральный момент меры μ на измеримом пространстве ( M , B( M )) относительно заданной точки x 0 ∈ M определяется как
Говорят, что μ имеет конечный p -й центральный момент , если p -й центральный момент μ относительно x 0 конечен для некоторого x 0 ∈ M.
Эта терминология для мер переносится на случайные величины обычным образом: если (Ω, Σ, P ) — вероятностное пространство , а X : Ω → M — случайная величина, то p -й центральный момент X относительно x 0 ∈ M определяется как и X имеет конечный p -й центральный момент, если p - й центральный момент X относительно x 0 конечен для некоторого x 0 ∈ M .