対称分布の定義は何ですか?


19

対称分布の定義は何ですか?誰かが、XXが同じ分布を持っている場合に限り、ランダム変数Xは対称分布から来たと私に言った。しかし、この定義は部分的に正しいと思います。私は反例提示することができますので、X N μ σ 2μ 0を。明らかに、対称的な分布を持っていますが、XXは異なる分布を持っています!私は正しいですか?この質問について考えたことはありますか?対称分布の正確な定義は何ですか?XXXN(μ,σ2)μ0XX


5
「分布は対称的」と言うとき、どの点が対称的かを指定する必要があります。提示する正規分布の場合、対称性は周りに与えられます。この場合にはX - μおよび- X - μは同一の分布を有します。密度の点では、これはのように表すことができる:fは約対称であるμもしF μ - X = F μ + X μXμ(Xμ)fμf(μx)=f(μ+x)。ところで、あなたがそれらの1つに満足しているとき、答えを受け入れるのは良いマナーです。

2
はい、私たちはこの質問について考えました。対称とは、通常、に対称を意味し、さらに反例を未然に防ぐために、分布が対称であるという主張は、累積確率分布関数について当てはまるものではありません。あなたの「反例」は、点0についてではなく、点μ 0について対称です。0μ00
ディリップサルワテ

2
@Dilip定義が何かを記述する1つの方法に依存しているが、その定義がその何かの固有のプロパティであることが示される場合、その定義を別の形式の記述に適用することは意味がありません。この場合、対称性は分布の特性ですが、その分布のすべての記述(PDFおよびCDFを含む)が同じ方法で「対称」でなければならないことを意味するものではありません。PDFの対称性をCDFに適用することにより、コメントは質問を明確にするのではなく混乱させます。
whuber

1
shijing、@ Procrastinatorは、あなたが何の答えも受け入れずに多くの質問をしたことを観察しました。それは、このサイトがどのように機能するかについてあなたが不慣れかもしれないことを示唆しています。誤解を解消するために、よくある質問の関連部分を最後 まで読んでください。数分で完了し、ガイダンスに従うことで、サイトの価値が高まります。
whuber

@whuber CDFは、単語の分布が実際に名前に現れる数少ない記述の1つであり、対称性の特性がCDFに当てはまらないことを明確にしようとしていました。
ディリップサルワテ

回答:


21

簡単に説明すると、XXXととが何らかの実数aに対して同じ分布を持つです。2aXa それは多くの暗黙の疑問を提起するので、しかし、完全に正当化方法でこれに到着すると、いくつかの脱線や一般化を必要とします。なぜ、この「対称」の定義は?他の種類の対称性はありますか?分布とその対称性との関係は何ですか?逆に、「対称性」とその対称性を持つ可能性のある分布との関係は何ですか?


問題の対称性は実際の線を反映しています。すべての形式です

x2ax

いくつかの定数a

したがって、が少なくとも1つのaに対してこの対称性を持っていると仮定します。次に、対称性は、Xa

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

Xの中央値であることを示します。同様に、Xに期待がある場合、a = E [ X ]の直後に続きます。したがって、私たちは通常、突き止めることができます簡単に。そうでなくても、a(したがって対称性自体)はまだ一意に決定されます(存在する場合)。aXXa=E[X]aa

これを確認するには、を対称の中心にします。次に、両方の対称性を適用すると、X変換x x + 2 b a )の下で不変であることがわかります。場合B - 0、の分布Xは、周期有していなければならないB - 周期的な分布の合計確率がどちらかであるため、不可能である0又は無限大です。したがって、b a = 0であり、aが一意であることを示してます。bX xx+2(ba)ba0Xba0ba=0a

より一般的にはGが実際の線に忠実に作用する(およびそのすべてのボレルサブセットに拡張する)グループ、分布は(Gに関して)「対称」であると言えます。XG

Pr[XE]=Pr[XEg]

全ての測定セットのおよび要素G GE 、GEgGEgの画像表すの作用下グラムEg

一例として、ましょうG、まだオーダーの基であっても、今その作用は、実数の逆数を取ることましょう(と、それは修正しましょう0)。標準対数正規分布は、このグループに関して対称です。この例は、座標の非線形再表現が行われた反射対称のインスタンスとして理解できます。これは、実際の線の「構造」を尊重する変換に焦点を当てることを示唆しています。確率に不可欠な構造は、ボレル集合とルベーグ測度に関連している必要があります。どちらも2点間の(ユークリッド)距離で定義できます。20

距離保存マップは、定義により、アイソメ図です。 実線のすべてのアイソメトリが反射によって生成されることはよく知られています(そして、少し説明することは簡単ですが)。それは「対称」を意味することを理解されたときにそこには、等長のいくつかのグループに対して対称、基は多くても1つの反射によって生成されなければならない、我々は反射を一意で決定されることを見てきた任意のそれに対して対称分布。この意味で、前述の分析は網羅的であり、「対称」分布の通常の用語を正当化します。

ちなみに、「球形」分布を考慮することにより、アイソメトリのグループの下で不変の分布の多変量の例が多数提供されます。これらはすべての回転下で不変です(固定された中心に対して)。これらは1次元の場合を一般化します。実際の線の「回転」は単なる反射です。

最後に、グループを平均化する標準的な構造が対称分布の負荷を生成する方法を与えることを指摘する価値があります。実際の線の場合、点aについての反射によってを生成し、アイデンティティ要素eとこの反射gで構成されるようにします。ましょXが可能GaegX任意のディストリビューション。設定して分布定義するY

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

すべてのボレル集合のための。これは明らかに対称的であり、分布のままであることを確認するのは簡単です(すべての確率は非負のままであり、合計確率は1です)。E1

ガンマ

グループ平均化プロセスを説明するため、対称化されたガンマ分布(を中心とする)のPDFは金色で示されています。元のガンマは青で、反射は赤です。a=2


1
(+1)多変量設定では、対称性の定義は一意ではないことを付け加えます。このには、対称多変量分布の8つの可能な定義があります。

2
@Procrastinator「ユニークではない」とはどういう意味か興味があります。私の知る限り、「対称性」という名前を正当化するものはすべて、最終的にはスペースに対するグループアクションを指します。統計学者が有用であると判断したさまざまな種類のアクションを見るのは興味深いでしょう。その本は絶版であり、Webで入手できないため、その本で考慮される2つの本当に異なる種類の対称性の簡単な例を挙げていただけますか?
whuber

あなたの直感は、これは統計的特徴に関連して、正しいです:中央対称 球対称X - μ D = OX - μ に対するすべての直交行列OXμ=d(Xμ) Xμ=dO(Xμ)O。残りは思い出せませんが、最近はこの本を借りようと思います。このリンクでは、それらのいくつかを見つけることができます。

3
@Procrastinatorありがとう。提供する2つの例は、どちらも私が提供した一般的な定義の特別な場合です。中心対称性は2要素のアイソメトリグループを生成し、球面対称性もすべてのアイソメトリのサブグループです。リンクの「楕円対称」は、アフィン変換後の球面対称であり、対数正規の例で指摘した現象を例示しています。「角対称性」は、再び等角性のグループを形成します。「半空間対称性」[sic]は対称性ではありませんが、そこからの個別の逸脱を可能にします。それは新しいものです。
whuber

1

答えは、対称性の意味によって異なります。物理学では、対称性の概念は基本的であり、非常に一般的になっています。対称性とは、システムを変更しないままにする操作です。確率分布の場合、これは同じ確率Pを返す任意の演算変換できます。XXP(X)=P(X)

最初の例の単純なケースでは、最大値に関する反射対称性を参照しています。分布が正弦波の場合、条件があります。ここで、λは波長または周期です。次に、P X = P X + λ で、対称性のより一般的な定義に適合します。XX+λλP(X)=P(X+λ)

弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.