Resumidamente: é simétrico quando X e 2 a - X têm a mesma distribuição para algum número real a . XX2 a - Xuma Mas chegar a isso de uma maneira totalmente justificada requer alguma digressão e generalizações, porque levanta muitas questões implícitas: por que essa definição de "simétrica"? Pode haver outros tipos de simetrias? Qual é a relação entre uma distribuição e suas simetrias e, inversamente, qual é a relação entre uma "simetria" e as distribuições que podem ter essa simetria?
As simetrias em questão são reflexos da linha real. Todos são da forma
x → 2 a - x
por alguma constante .a
Então, suponha que tenha essa simetria por pelo menos um a . Então a simetria implicaXa
Pr[X≥a]=Pr[2a−X≥a]=Pr[X≤a]
mostrando que é uma mediana de X . Da mesma forma, se X tem uma expectativa, segue-se imediatamente que a = E [ X ] . Assim, geralmente podemos definir um facilmente. Mesmo se não, a (e, portanto, a própria simetria) ainda é determinada exclusivamente (se é que existe).aXXa=E[X]aa
Para ver isso, seja qualquer centro de simetria. Aplicando ambas as simetrias, vemos que X é invariável sob a translação x → x + 2 ( b - a ) . Se b - a ≠ 0 , a distribuição de X deve ter um período de b - a , o que é impossível porque a probabilidade total de uma distribuição periódica é 0 ou infinita. Assim b - a = 0 , mostrando que a é único.bX x→x+2(b−a)b−a≠0Xb−a0b−a=0a
De maneira mais geral, quando é um grupo que age fielmente na linha real (e por extensão em todos os subconjuntos de Borel), poderíamos dizer que uma distribuição X é "simétrica" (em relação a G ) quandoGXG
Pr[X∈E]=Pr[X∈Eg]
para todos os conjuntos mensuráveis e elementos g ∈ G , onde E g denota a imagem de E sob a ação de g .Eg∈GEgEg
Como exemplo, deixe ainda ser um grupo de ordem 2 , mas agora sua ação é tomar o recíproco de um número real (e fixar 0 ). A distribuição lognormal padrão é simétrica em relação a esse grupo. Este exemplo pode ser entendido como uma instância de uma simetria de reflexão em que ocorreu uma re-expressão não linear das coordenadas. Isso sugere focar nas transformações que respeitam a "estrutura" da linha real. A estrutura essencial para a probabilidade deve estar relacionada aos conjuntos de Borel e à medida de Lebesgue, os quais podem ser definidos em termos de distância (euclidiana) entre dois pontos.G20
Um mapa de preservação de distância é, por definição, uma isometria. É sabido (e fácil, embora um pouco envolvido, demonstrar) que todas as isometrias da linha real são geradas por reflexões. Por isso, quando se entende que "simétrico" significa simétrico em relação a algum grupo de isometrias , o grupo deve ser gerado por no máximo uma reflexão e vimos que a reflexão é determinada exclusivamente por qualquer distribuição simétrica em relação a ele. Nesse sentido, a análise anterior é exaustiva e justifica a terminologia usual das distribuições "simétricas".
Aliás, uma série de exemplos multivariados de distribuições invariantes sob grupos de isometrias é fornecida considerando-se distribuições "esféricas". Eles são invariantes em todas as rotações (em relação a algum centro fixo). Eles generalizam o caso unidimensional: as "rotações" da linha real são apenas os reflexos.
Por fim, vale ressaltar que uma construção padrão - média sobre o grupo - permite produzir cargas de distribuições simétricas. No caso da reta real, seja gerado pela reflexão sobre um ponto a , de modo que consista no elemento de identidade e e nessa reflexão, g . Deixe- X seja qualquer distribuição. Defina a distribuição Y definindoGaegXY
PrY[E]=1|G|∑g∈GPrX[Eg]=(PrX[E]+PrX[Eg])/2
para todos os conjuntos de Borel . Isso é manifestamente simétrico e é fácil verificar se continua sendo uma distribuição (todas as probabilidades permanecem não-negativas e a probabilidade total é 1 ).E1
Ilustrando o processo de média do grupo, o PDF de uma distribuição gama simétrica (centralizada em ) é mostrado em ouro. O Gamma original está em azul e seu reflexo está em vermelho.a=2