Каково определение симметричного распределения?

19

Каково определение симметричного распределения? Кто-то сказал мне, что случайная величина пришла из симметричного распределения тогда и только тогда, когда и имеют одинаковое распределение. Но я думаю, что это определение отчасти верно. Потому что я могу представить контрпример и . Очевидно, что оно имеет симметричное распределение, но и имеют разное распределение! Я прав? Ребята, вы когда-нибудь задумывались над этим вопросом? Какое точное определение симметричного распределения?X - X X N ( μ , σ 2 ) μ 0 X - XXXXXN(μ,σ2)μ0XX

пекин си
источник
5
Когда вы говорите «распределение симметрично», вы должны указать, относительно какой точки симметрично. В случае нормального распределения, которое вы представляете, симметрия задается вокруг . В этом случае и имеют одинаковое распределение. В терминах плотности это можно выразить как: симметричен относительно \ mu, если f (\ mu-x) = f (\ mu + x) . Кстати, это хороший способ принимать ответы, когда вы удовлетворены одним из них. X - μ - ( X - μ ) f μ f ( μ - x ) = f ( μ + x )μXμ(Xμ)fμf(μx)=f(μ+x)
2
Да, мы, ребята, подумали об этом вопросе. Симметричный обычно означает симметричный относительно 0 , и, чтобы предотвратить дальнейшие контрпримеры, утверждение о симметричных распределениях не является чем-то верным в отношении кумулятивной функции распределения вероятностей . Ваш "контрпример" имеет симметрию относительно точки μ0 , а не относительно точки 0 .
Дилип Сарвэйт
2
@Dilip Когда определение зависит от одного способа описания чего-либо, но можно показать, что это определение является внутренним свойством этого чего-либо, тогда нет смысла применять определение к другой форме описания. В этом случае симметрия является свойством распределения , но это не означает, что все описания этого распределения (включая PDF и CDF) должны быть «симметричными» одинаковыми способами. Применяя симметрию PDF к CDF, ваш комментарий скорее сбивает с толку вопрос, чем разъясняет его.
whuber
1
shijing, @Procrastinator заметил, что вы задавали много вопросов, не принимая никаких ответов. Это говорит о том, что вы можете не знать, как работает этот сайт. Для того, чтобы устранить любые недоразумения, вы , пожалуйста , прочитайте соответствующую часть нашего FAQ всех путей через ? Это займет всего пару минут, и следование его указаниям повысит ценность нашего сайта для вас.
whuber
@whuber CDF - одно из немногих описаний, в которых распределение слов на самом деле происходит в имени, и я пытался уточнить, что свойство симметрии не имеет места для CDF.
Дилип Сарватэ,

Ответы:

21

Вкратце: симметричен, когда и имеют одинаковое распределение для некоторого действительного числа . X 2 a - X aXX2aXa Но достижение этого вполне оправданным образом требует некоторого отступления и обобщения, потому что возникает много неявных вопросов: почему это определение «симметрично»? Могут ли быть другие виды симметрии? Какова связь между распределением и его симметриями, и, наоборот, какова связь между «симметрией» и теми распределениями, которые могут иметь эту симметрию?


Рассматриваемые симметрии являются отражением реальной линии. Все имеют форму

x2ax

для некоторой константы .a

Итак, предположим, что обладает этой симметрией хотя бы для одного . Тогда симметрия подразумеваетaXa

Pr[Xa]=Pr[2aXa]=Pr[Xa]

показывая , что является медианной из . Аналогично, если имеет ожидание, то сразу следует, что . Таким образом , мы , как правило , можно придавить легко. Даже если нет, (и, следовательно, сама симметрия) все еще определяется однозначно (если она вообще существует).X X a = E [ X ] a aaXXa=E[X]aa

Чтобы увидеть это, пусть будет любым центром симметрии. Затем, применяя обе симметрии, мы видим, что инвариантно относительно перевода . Если , распределение должно иметь период , что невозможно, поскольку полная вероятность периодического распределения равна или бесконечна. Таким образом, , показывая, что уникально.X x x + 2 ( b - a ) b - a 0 X b - a 0 b - a = 0 abX xx+2(ba)ba0Xba0ba=0a

В более общем смысле, когда является группой, действующей точно на действительной прямой (и, следовательно, на всех ее борелевских подмножествах), мы можем сказать, что распределение является «симметричным» (относительно ), когдаGXG

Pr[XE]=Pr[XEg]

для всех измеримых множеств и элементов , где обозначает образ под действием .g G E g EEgGEgEg

В качестве примера, пусть прежнему является группой порядка , но теперь пусть ее действие состоит в том, чтобы взять обратную величину действительного числа (и позволить ей исправить ). Стандартное логнормальное распределение симметрично относительно этой группы. Этот пример можно понимать как пример симметрии отражения, где имеет место нелинейное повторное выражение координат. Это предлагает сосредоточиться на преобразованиях, которые уважают «структуру» реальной линии. Структура, существенная для вероятности, должна быть связана с борелевскими множествами и мерой Лебега, которые могут быть определены в терминах (евклидова) расстояния между двумя точками.2 0G20

Карта, сохраняющая расстояние, по определению является изометрией. Хорошо известно (и легко, хотя и немного сложно, чтобы продемонстрировать), что все изометрии реальной линии генерируются отражениями. Следовательно, когда понимается, что «симметричный» означает симметричный относительно некоторой группы изометрий , группа должна генерироваться не более чем одним отражением, и мы видели, что отражение однозначно определяется любым симметричным распределением по отношению к нему. В этом смысле предыдущий анализ является исчерпывающим и оправдывает обычную терминологию «симметричных» распределений.

Между прочим, множество многовариантных примеров распределений, инвариантных относительно групп изометрий, дается при рассмотрении «сферических» распределений. Они инвариантны относительно всех вращений (относительно некоторого неподвижного центра). Они обобщают одномерный случай: «вращения» реальной линии - это просто отражения.

Наконец, стоит отметить, что стандартная конструкция - усреднение по группе - дает способ производить множество симметричных распределений. В случае действительной прямой пусть порождается отражением вокруг точки , так что оно состоит из единичного элемента и этого отражения . Пусть - любое распределение. Определите распределение , установивa e g XGaegXY

PrY[E]=1|G|gGPrX[Eg]=(PrX[E]+PrX[Eg])/2

для всех борелевских . Это явно симметрично, и легко проверить, что оно остается распределением (все вероятности остаются неотрицательными, а полная вероятность равна ).1E1

Гамма

Иллюстрируя процесс усреднения групп, PDF симметризованного гамма-распределения (с центром при ) показан золотом. Оригинальная гамма синего цвета, а ее отражение - красного.a=2

Whuber
источник
1
(+1) Я хотел бы добавить, что в многомерном параметре определение симметрии не является уникальным. В этой книге есть 8 возможных определений симметричных многомерных распределений.
2
@Procrastinator Мне интересно, что вы можете сказать "не уникальным". AFAIK, все, что оправдывает название «симметрия», в конечном счете относится к групповому действию в пространстве. Было бы интересно посмотреть, какие статистические действия были полезны. Поскольку эта книга не печатается и не доступна в Интернете, не могли бы вы привести краткий пример двух действительно разных типов симметрии, рассматриваемых в этой книге?
uuber
Ваша интуиция верна, это связано со статистическими особенностями: Центральная симметрия ; Сферическая симметрия для всей ортогональной матрицы . Остальное я не могу вспомнить, но постараюсь позаимствовать книгу в эти дни. В этой ссылке вы можете найти некоторые из них. X - μ d = O ( X - μ ) OXμ=d(Xμ) Xμ=dO(Xμ)O
3
@Procrastinator Спасибо. Обратите внимание, что два примера, которые вы предлагаете, являются частными случаями общего определения, которое я предоставил: центральная симметрия генерирует двухэлементную группу изометрий, а сферические симметрии также являются подгруппой всех изометрий. «Эллиптическая симметрия» в звене представляет собой сферическую симметрию после аффинного преобразования и, таким образом, иллюстрирует явление, на которое я указывал в логнормальном примере. «Угловые симметрии» снова образуют группу изометрий. «Симметрия полупространства» [sic] не является симметрией, но допускает дискретные отклонения от нее: это ново.
whuber
1

Ответ будет зависеть от того, что вы подразумеваете под симметрией. В физике понятие симметрии является фундаментальным и стало очень общим. Симметрия - это любая операция, которая оставляет систему без изменений. В случае распределения вероятностей это может быть преобразовано в любую операцию которая возвращает такую ​​же вероятность . P ( X ) = P ( X )XXP(X)=P(X)

В простом случае первого примера вы имеете в виду симметрию отражения относительно максимума. Если бы распределение было синусоидальным, то вы могли бы иметь условиеXX+λλP(X)=P(X+λ)

Майкл Хоффман
источник