Коротко: симетричний, коли X і 2 a - X мають однакове розподіл для деякого дійсного числа a . XX2a−Xa Але досягнення цього в повній мірі вимагає певного відступу та узагальнення, оскільки це викликає багато неявних питань: чому це визначення "симетричного"? Чи можуть бути інші види симетрії? Який взаємозв'язок між розподілом та його симетріями, і, навпаки, який взаємозв'язок між "симетрією" та тими розподілами, які можуть мати цю симетрію?
Розглянуті симетрії - це відображення реальної лінії. Усі мають форму
x→2a−x
для деякої постійної .a
Отже, припустимо, має цю симетрію принаймні для одного a . Тоді випливає симетріяXa
Pr[X≥a]=Pr[2a−X≥a]=Pr[X≤a]
показуючи , що є медіанної з X . Аналогічно, якщо X має очікування, то відразу випливає, що a = E [ X ] . Таким чином , ми , як правило , можна придавити легко. Навіть якщо ні, а (а отже, сама симетрія) все одно однозначно визначається (якщо вона взагалі існує).aXХa = E[ X]аа
Щоб побачити це, нехай - будь-який центр симетрії. Тоді застосовуючи обидві симетрії, ми бачимо, що X є інваріантним під перекладом x → x + 2 ( b - a ) . Якщо b - a ≠ 0 , розподіл X повинен мати період b - a , що неможливо, оскільки загальна ймовірність періодичного розподілу дорівнює 0 або нескінченна. Таким чином, b - a = 0 , показуючи, що a є унікальним.бХ x → x + 2 ( b - a )b - a ≠ 0Хб - а0b - a = 0а
Більш загально, коли - це група, яка вірно діє на дійсну пряму (і за розширенням на всі її підмножини Бореля), можна сказати, що розподіл X "симетричний" (стосовно G ), колиГХГ
Пр [ Х∈ E] = Pr [ X∈ Eг]
для всіх вимірюваних множин та елементів g ∈ G , де E g позначає зображення E під дією g .Ег∈ GЕгЕг
Як приклад, нехай все ще є групою порядку 2 , але тепер нехай його дія полягає в тому, щоб прийняти зворотне дійсне число (і нехай воно фіксує 0 ). Стандартний лонормальний розподіл симетричний відносно цієї групи. Цей приклад можна зрозуміти як екземпляр відображувальної симетрії, коли відбулося нелінійне повторне вираження координат. Це говорить про зосередження уваги на перетвореннях, що поважають "структуру" реальної лінії. Структура, істотна для ймовірності, повинна бути пов'язана з множинами Бореля та мірою Лебега, обидва з яких можна визначити через (евклідову) відстань між двома точками.Г20
Карта, що зберігає відстань, за визначенням є ізометрією. Добре відомо (і легко, хоч і трохи залучено, продемонструвати), що всі ізометрії реальної лінії породжуються відбиттями. Отже, коли зрозуміємо, що "симетричний" означає симетричний щодо якоїсь групи ізометрій , група повинна бути породжена щонайменше одним відображенням, і ми побачили, що відображення однозначно визначається будь-яким симетричним розподілом стосовно неї. У цьому сенсі попередній аналіз є вичерпним і обґрунтовує звичну термінологію "симетричних" розподілів.
Між іншим, безліч багатоваріантних прикладів розподілів, інваріантних за групами ізометрій, надається шляхом розгляду «сферичних» розподілів. Вони є інваріантними при всіх обертаннях (відносно деякого нерухомого центру). Вони узагальнюють одновимірний випадок: "обертання" реальної лінії - це лише відображення.
Нарешті, варто зазначити, що стандартна конструкція - усереднення по групі - дає можливість отримувати навантаження симетричних розподілів. У випадку реальної прямої нехай породжується відображенням про точку a , так що вона складається з елемента тотожності e і цього відображення, g . Нехай X - будь-який розподіл. Визначте розподіл Y , встановившиГаегХY
ПрY[ Є] = 1| Г |∑г∈ GПрХ[ Єг] = ( ПрХ[ Є] + ПрХ[ Єг] ) / 2
для всіх борелевская . Це явно симетрично, і легко перевірити, чи залишається він розподілом (усі ймовірності залишаються негативними, а загальна ймовірність - 1 ).Е1
Ілюструючи процес усереднення групи, PDF симетризованого розподілу гамми (з центром у ) зображено золотом. Оригінальна гамма синього кольору, а її відображення - червоного кольору.a = 2