Co to znaczy z algebrą

23

Często w trakcie (własnego) badania statystyk spotkałem się z terminologią „ -algebra generowana przez zmienną losową”. Nie rozumiem definicji z Wikipedii , ale co najważniejsze, nie rozumiem za tym intuicji. Dlaczego / kiedy potrzebujemy algebry generowane przez zmienne losowe? Jakie jest ich znaczenie? Znam następujące:σ -σσ

  • a -algebra na zbiorze to niepusty zbiór podzbiorów który zawiera , jest zamknięty pod dopełnieniem i pod policzalną sumą.Ω Ω ΩσΩΩΩ
  • wprowadzamy -algebras, aby budować przestrzenie prawdopodobieństwa na nieskończonych przestrzeniach próbek. W szczególności, jeśli jest niepoliczalnie nieskończony, wiemy, że mogą istnieć niezmierzone podzbiory (zestawy, dla których nie możemy zdefiniować prawdopodobieństwa). Dlatego nie możemy po prostu użyć zestawu mocy jako naszego zestawu zdarzeń . Potrzebujemy mniejszego zestawu, który jest wciąż wystarczająco duży, abyśmy mogli określić prawdopodobieństwo interesujących zdarzeń i porozmawiać o zbieżności sekwencji zmiennych losowych.Ω Ω P ( Ω ) F.σΩΩ P(Ω)F

Krótko mówiąc, myślę, że mam dość intuicyjne zrozumienie . Chciałbym mieć podobne zrozumienie dla algebry generowanych przez zmienne losowe: definicja, dlaczego ich potrzebujemy, intuicja, przykład ...σ -σσ

DeltaIV
źródło
6
Jedną skuteczną (i intuicyjnie znaczącą) charakterystyką jest to, że jest to najgrubsza sigma-algebra na Ω która umożliwia mierzenie zmiennej losowej.
whuber
@ Whuber Coarsest oznacza najmniejszy? Innymi słowy, mam swoją przestrzeń prawdopodobieństwa (Ω,F,P) , mam RV X:ΩR (który można zmierzyć z definicji zmiennej losowej), a σ jest najmniejszym podzbiorem F tak że X jest nadal wymierny. Ok, ale to nasuwa pytanie, co to intuicyjnie oznacza, że X jest mierzalny :-) czy miałoby sens stwierdzenie, że możemy zdefiniować prawdopodobieństwo wszystkich zdarzeń tego rodzaju a<X<b i związków / skrzyżowań?
DeltaIV
2
Patrzenie na pojedynczy na raz daje niewielką intuicję dotyczącą mierzalności. Ta koncepcja sprawdza się podczas badania zbiorów zmiennych losowych - procesów stochastycznych. Z kolei najprostsze procesy stochastyczne (takie jak skończone dyskretne losowe dwumianowe spacery) zapewniają interpretowalne ustawienie, w którym sigma-algebra generowana przez wszystkie zmienne X 0 , X 1 , , X t można traktować jako „dostępne informacje do (włącznie) czasu t . ” XX0,X1,,Xtt
whuber
@ whuber przepraszam, nie rozumiem :) Byłbym wdzięczny, gdybyś mógł wskazać mi inną odpowiedź, jeśli chodzi o bardziej szczegółowe informacje, lub jeśli chciałbyś ją rozwinąć jako odpowiedź. W przeciwnym razie nie martw się - może nie wiem wystarczająco dużo o procesach stochastycznych, aby uzyskać punkt. Chociaż… Muszę doskonalić umiejętności Dynamicznej Sieci Bayesian, więc jeśli ta intuicja pomaga w pracy nad szeregami czasowymi, byłbym bardzo zainteresowany.
DeltaIV

Odpowiedzi:

20

Rozważmy zmienną losową X . Wiemy, że X jest niczym innym jak mierzalną funkcją od (Ω,A) do (R,B(R)) , gdzie B(R) są zestawami Borela linii rzeczywistej. Z definicji mierzalności wiemy, że mamy

X1(B)A,BB(R)

Ale w praktyce obrazami zbiorów Borela mogą nie być wszystkie A ale zamiast tego mogą one stanowić znacznie grubszy jego podzbiór. Aby to zobaczyć, zdefiniujmy

Σ={SA:S=X1(B), BB(R)}

Korzystając z właściwości preimage'ów, nietrudno jest wykazać, że Σ jest sigma-algebrą. Z powyższego wynika również natychmiast, że ΣA , stąd Σ jest sub-sigma-algebrą. Ponadto, według definicji łatwo zauważyć, że mapowanie X:(Ω,Σ)(R,B(R)) jest mierzalne. Σ jest w rzeczywistości najmniejszą sigma-algebrą, która sprawia, że X jest zmienną losową, ponieważ wszystkie inne sigma-algebry zawierałyby co najmniej Σ. Z tego powodu, że mamy do czynienia z preimages zmiennej losowej X nazywamy Σ sigma-algebry indukowane przez zmiennej losowej X .

Oto skrajny przykład: rozważ stałą zmienną losową X , czyli X(ω)α . Następnie X1(B), BB(R) równy albo Ω lub w zależności od tego, czy αB . Wytworzone w ten sposób przestrzeń mierzalna jest trywialna i jako takie jest zdecydowanie włączone A .

Mam nadzieję że to pomoże.

JohnK
źródło
3
to zestaw wydarzeń, prawda? Ten, któryAF
oznaczyłem
3
Tak, urodziłem się z warunkiem znalezienia bardziej atrakcyjne niż F . AF
JohnK,
3
doskonały! Bardzo czyste. Powinieneś napisać książkę :)
DeltaIV