Z Skrypty dla studentów Ekonofizyki UPGOW

Nie masz uprawnień do edytowania tej strony, z następującego powodu:

Tekst źródłowy strony można podejrzeć i skopiować.

[[Plik:kl.png|200px|left]][[Plik:Ue.png|200px|right]] ==ELEMENTY TEORII PRAWDOPODOBIEŃSTWA== Zdarzenia, procesy i zjawiska losowe (przypadkowe, stochastyczne) opisywane są przez teorię prawdopodobieństwa. W odróżnieniu od procesów deterministycznych, nie można jednoznacznie przewidywać wyników zdarzeń przypadkowych i ewolucji procesów losowych. Losowość opisujemy za pomocą prawdopodobieństwa zajścia określonych zdarzeń. Potocznie rozumiemy, co to znaczy, że istnieje duże prawdobodobieństo wystąpienia burzy albo małe prawdopodobieństwa spotkania znajomego, który wyjechał do ciepłych krajów. Teoria prawdopodobieństwa stwarza możliwości nadania tym zdaniom ilościowego miernika. Nie jest to łatwa teoria do zastosowania w praktyce. Obliczenie prawdopodobieństwa niektórych zdarzeń czy zjawisk jest czasami zadaniem niesłýchanie trudnym czy wręcz niewykonalnym. Często podwaliną dla takich obliczeń jest kombinatoryka. A każdy matematyk powie nam, że to jest naprawdę trudny dział matematyki. Dodatkowym kłopotem w teorii procesów losowych jest to, że jest on nieskończenie wymiarowym wektorem losowym. Jeżeli coś jest nieskończenie wymiarowe, to nasza intuicja nabyta dla skończenie wymiarowego przypadku może zawodzić. Dlatego zaczniemy od najprostszego przypadku, przypadku jednowymiarowego. Później zbadamy przypadek dwuwymiarowy. Uogólnienia dla przypadków wielowymiarowych nie powinny nastręczać wiekszych kłopotów. == Przestrzeń probabilistyczna== Teoria prawdopodobieństwa bazuje, jak każda teoria matematyczna, na odpowiedniej przestrzeni. Matematycy analizowali i nadal analizują dziesiątki przestrzeni, jak na przykład przestrzenie liczbowe, wektorowe, topologiczne, unormowane, unitarne, metryczne, Banacha, Frecheta, Hausdorffa, Sobolewa, itd, itp. Dla przykładu, dla teorii funkcji bardzo użyteczna jest '''przestrzeń metryczna'''. Przestrzeń metryczna jest takim zbiorem <math> X </math>, w którym można zdefiniować odległość '''<math> d(x, y)\, </math>''' między dwoma jej elementami <math> x \in X </math> i <math> y \in X </math>. Odleglość jest funkcją dwóch zmiennych <math> x </math> i <math> y </math> oraz posiada kilka charakterystycznych cech, np. odległość nie może byc ujemna. Jeżeli zdefiniujemy odległość w zbiorze <math> X </math>, wówczas możemy w tym zbiorze określić zbieżność ciągów i wprowadzić pojęcie ciągłości funkcji. Możemy też zdefiniować pojęcie pochodnej funkcji i całki oznaczonej. Możemy dokonywać wielu innych operacji na funkcjach. Widać z tego przykładu, że pojęcie metryki jest bardzo użyteczne i zdefiniowanie metryki w jakimś zbiorze niesłychanie wzbogaca ten zbiór. Matematycy lubią definiować przestrzeń metryczna jako parę '''<math> (X, d)\,</math>''', tzn. jest to zbiór X wraz z określoną w niej odległościa, czyli metryką <math> d=d(x, y) \,</math>. Podobnie jest w teorii prawdopodobieństwa. Taka użyteczną przestrzenią jest '''przestrzenią probabilistyczną'''. Jest to zbiór, w którym określone są dodatkowe elementy, analogiczne do metryki. Dokładniej mówiąc przestrzeń ta nie jest parą jak w przypadku przestrzeni metrycznej, ale trójką, tzn. składa się na nią trzy elementy <math> (\Omega, {\mathcal F}, P)\;</math> Rozszyfrujmy poszczególne elementy tej trójki. '''<math>\Omega</math>: przestrzeń zdarzeń elementarnych ''' Pierwszy element trójki <math>(\Omega, \mathcal F, P)</math>, tzn. zbiór <math>\Omega</math> może składać się ze skończonej lub nieskończonej ilości elementów i nazywa się zbiorem zdarzeń elementarnych. Element <math>\omega \in \Omega</math> nazywa się zdarzeniem elementarnym lub inaczej mówiąc możliwym wynikiem doświadczenia. '''Przykłady zbioru zdarzeń elementarnych <math>\Omega</math> ''' 1. Doświadczenie polega na jednokrotnym rzucie monetą. Są dwa możliwe wyniki: wypadnie orzeł lub reszka. Wynikowi "orzeł" możemy przyporządkować oznaczenie <math>\omega_1</math>, natomiast wynikowi "reszka" - <math>\omega_2</math>. Tak więc zbiór zdarzeń elementarnych składa się z 2 elementów: :<math>\Omega =\{\omega_1, \omega_2\}\;</math>. 2. Doświadczenie polega na dwukrotnym rzucie monetą. Teraz możliwe są cztery wyniki: <math>\omega_1 =</math>(orzeł, orzeł), <math>\omega_2 =</math>(orzeł, reszka), <math>\omega_3 =</math>(reszka, orzeł) i <math>\omega_1 =</math>(reszka, reszka). Np. <math>\omega_3 =</math> =(reszka, orzeł) oznacza, że w pierwszym rzucie wypadła reszka, natomiast w drugim rzucie - orzeł.Tak więc zbiór zdarzeń elementarnych składa się z 4 elementów: <math>\Omega =\{\omega_1,\omega_2,\omega_3, \omega_4\}</math>. 3. Doświadczenie polega na jednokrotnym rzucie kostką do gry w popularnego "chińczyka". Wynikiem może być jedno oczko, albo dwa oczka, albo trzy oczka, albo cztery oczka, albo pięć oczek, albo sześć oczek. Przyporządkowując liczbie oczek oznaczenie <math>\omega_n </math> dla <math> n=1, 2, 3, 4, 5, 6 </math> otrzymamy 6-elementowy zbiór zdarzeń elementarnych :<math>\Omega =\{\omega_1, \omega_2, \omega_3, \omega_4, \omega_5, \omega_6 \}\;</math>. 4. Doświadczenie znowu polega na jednokrotnym rzucie kostką do gry w "chińczyka". Tym razem interesuje mnie tylko to, czy wypadnie parzysta liczba (to znaczy 2 lub 4 lub 6) czy nieparzysta liczba (to znaczy 1 lub 3 lub 5). Przyporządkowując nieparzystej liczbie oczek oznaczenie <math>\omega_1 </math>, natomiast parzystej liczbie oczek oznaczenie <math>\omega_2 </math> otrzymamy 2-elementowy zbiór zdarzeń elementarnych :<math>\Omega =\{\omega_1, \omega_2 \}\;</math>. 5. Podzielę rok na doby. Będę analizował momenty czasu <math>t_1, t_2, t_3, ...</math>, gdy ktoś do mnie dzwoni w ciągu doby. Moment czasu <math>t_i</math> jest losowy oraz <math>t_i \in [0, 24]</math>. W tym przykładzie moment czasu <math>t_i=\omega_i</math> jest zdarzeniem elementarnym, a :<math>\Omega = [0, 24]\;</math> jest przestrzenią zdarzeń elementarnych. Przestrzeń ta jest umownym interwałem czasowym, w którym chcę badać statystykę rozmów telefonicznych. 6. Substancje radioaktywne emitują od czasu do czasu cząstki. Moment emisji cząstki jest losowy i może zajść w przedziale czasu <math>[t_0, \infty)</math>, gdzie <math>t_0</math> jest początkiem detekcji emitowanych cząstek. Dla wygody przyjmujemy <math>t_0=0</math>. Wówczas zbiór zdarzeń elementarnych to nieskończony przedział :<math>\Omega = [0, \infty)\;</math> 7. Cząstka (nazywana cząstką Browna) porusza się w wodzie i zderza się z cząsteczkami wody. Ruch takiej cząstki Browna wydaje się być losowy i bardzo nieregularny. Dla fizyka modelującego zachowanie się cząstki Browna, przestrzenią zdarzeń elementarnych może być zbiór wszystkich możliwych położeń czastki, czyli przestrzeń trójwymiarowa <math>\Omega = RxRxR=R^3</math>. Gdybyśmy ograniczyli się do możliwych ruchów tylko w jednym wymiarze (czyli na prostej rzeczywistej) to przestrzenią zdarzeń elementaranych byłby zbiór liczb rzeczywistych :<math>\Omega = R = (-\infty, \infty)\;</math> Trzy ostatnie przykłady sa odmienne od czterech pierwszych przykładów. Zbiór <math>\Omega = [0, 24]</math>, zbiór <math>\Omega = [0, \infty)</math> i zbiór <math>\Omega = (-\infty, \infty)</math> składają się z nieskończenie wielu elementów, tzn. z nieskończenie wielu liczb rzeczywistych z ograniczonego przedziału <math> [0, 24]</math>, nieograniczonego przedziału <math> [0, \infty)</math> lub nieograniczonego przedziału <math> (-\infty, \infty)</math>. Zbiory te nieskończenie wielu liczb są pod wieloma względami inne niż zbiór nieskończenie wielu liczb naturalnych czy całkowitych. Mówimy, że są one mocy continuum. Natomiast zbiór nieskończenie wielu liczb naturalnych jest przeliczalny. Gdyby przestrzeń zdarzeń elementarnych była równoliczna ze zbiorem liczb naturalnych, to też zawierałaby nieskończenie wiele elementów. Jednakże obie przestrzenie probabilistyczne są radykalnie różne. O tym będzie mowa w dalszej części wykładów. '''<math>{\mathcal F}</math>: rodzina podzbiorów zbioru <math>\Omega</math>''' Drugi element trójki <math>(\Omega, \mathcal F, P)</math>, tzn. zbiór <math>{\mathcal F}</math> jest tzw. <math>\sigma</math>-algebrą podzbiorów zbioru <math>\Omega</math>. Innymi słowy, elementami zbioru <math>{\mathcal F}</math> są podzbiory zbioru zdarzeń elementarnych <math>\Omega</math>, ale niekoniecznie wszystkie możliwe podzbiory. Rodzina tych podzbiorów powinna spełniać określone własności. A mianowicie: # zbiór pusty należy do rodziny <math>\mathcal{F}</math>, #dopełnienie <math>A'</math> zbioru <math>A</math> należącego do <math>\mathcal{F}</math> też należy do <math>\mathcal{F}</math>, #suma przeliczalnie wielu zbiorów z <math>\mathcal{F}</math> też należy do <math>\mathcal{F}</math>. Elementy zbioru <math>{\mathcal F}</math> nazywają się '''zdarzeniami'''. Często w literaturze <math>\sigma</math>-algebra zbiorów nazywa się też '''<math>\sigma</math>-ciałem zbiorów'''. Dlaczego żądamy, aby spełnione były powyższe (na pierwszy rzut oka nieco dziwaczne) własności? Otóż dlatego, że chcemy przeprowadzać różne operacje na elementach rodziny <math>{\mathcal F}</math>, czyli na zdarzeniach i chcemy w wyniku takich operacji otrzymywać także zdarzenia. Dlatego też w ogólnym przypadku nie koniecznie należy rozpatrywać wszystkie podzbiory zbioru <math>\Omega </math>, ale tylko takie podzbiory, które są zdarzeniami. Aby uzmysłowic sobie, o co mi chodzi, posłużę się bardziej elementarnym i odmiennym przykładem. Rozważmy zbiór liczb naturalnych i niech <math>N</math> i <math>M</math> będą dwiema liczbami naturalnymi. Suma <math>N+M</math> oraz iloczyn <math>N M</math> też są liczbami naturalnymi. Jeżeli chcemy dokonywac tylko te dwie operacje na liczbach naturalnych, to w wyniku operacji dodawania i iloczynu dostaniemy zawsze liczby naturalne. Jeżeli natomiast chcemy dokonywać operacji odejmowania dwóch liczb naturalnych, to nie zawsze otrzymamy liczbę naturalną, ponieważ np. 10-25=-15 nie jest liczbą naturalną. Jeżeli zamiast liczb naturalnych, rozważać będziemy zbiór liczb całkowitych, to w wyniku wszystkich trzech operacji otrzymamy zawsze liczbę całkowita. Z kolei gdybyśmy chcieli rozpatrywać jeszcze operację dzielenia dwóch liczb z pewnego zbioru i otrzymywać zawsze liczby z tego zbioru, to musimy rozważać zbiór liczb wymiernych. Widać z tego, że w zależności od tego, jakie operacje będą wykonywane na elementach pewnego zbioru, musimy też odpowiednio dobrać ten zbiór. Innymi słowy, ten zbiór powinien posiadać odpowiednią strukturę, odpowiednie własności. '''Przykłady <math>\sigma</math>-algebry <math>\mathcal F</math>''' Powyzej podaliśmy pięć przykładów zbioru zdarzeń elementarnych <math>\Omega</math>. Dla niektórych z tych przykładów podamy możliwe zbiory <math>\mathcal F</math>. 1. Dla pierwszego przykładu, przy jednokrotnym rzucie monetą zbiorem zdarzeń elementarnych jest zbiór :<math>\Omega =\{\omega_1, \omega_2\}\;</math> Ponieważ <math>\mathcal F</math> jest rodziną podzbiorów zbioru <math>\Omega</math>, więc otrzymamy następujące możliwe podzbiory zbioru <math>\Omega</math>: ::: zbiór pusty <math>\emptyset</math> (nie zawiera on żadnego elementu), ::: zbiory jednoelementowe <math>\{\omega_1\}</math> oraz <math>\{\omega_2\}</math>, ::: zbiór dwuelementowy <math>\{\omega_1, \omega_2\}</math> czyli zbiór <math>\Omega</math> Zauważmy, że <math>\mathcal F</math> zawiera 4 podzbiory, czyli <math>2^2</math>. To samo otrzymujemy dla przykładu 4. 2. Dla trzeciego przykładu, przy jednokrotnym rzucie kostką zbiorem zdarzeń elementarnych jest zbiór :<math>\Omega =\{\omega_1,\omega_2,\omega_3, \omega_4, \omega_5, \omega_6\}\;</math> Możliwymi podzbiorami tego zbioru są następujące podzbiory (a) zbiór pusty <math>\emptyset</math> (b) wszystkie możliwe zbiory jedno-elementowe ::: <math>\{\omega_1\}, \{\omega_2\}, \{\omega_3\}, \{\omega_4\}, \{\omega_5\}, \{\omega_6\}</math> (c) wszystkie możliwe zbiory dwu-elementowe ::: <math>\{\omega_1, \omega_2\}</math>, <math>\{\omega_1, \omega_3\}</math>, <math>\{\omega_1, \omega_4\}</math>, <math>\{\omega_1, \omega_5\}</math>, <math>\{\omega_1, \omega_6\}</math> ::: <math>\{\omega_2, \omega_3\}</math>, <math>\{\omega_2, \omega_4\}</math>, <math>\{\omega_2, \omega_5\}</math>, <math>\{\omega_2, \omega_6\}</math> ::: <math>....................................................</math> ::: <math>\{\omega_5, \omega_6\}</math> (d) wszystkie możliwe zbiory trój-elementowe ::: <math>\{\omega_1, \omega_2, \omega_3\}</math>, <math>\{\omega_1, \omega_2, \omega_4\}</math>, <math>\{\omega_1, \omega_2, \omega_5\}</math>, <math>\{\omega_1, \omega_2, \omega_6\}</math> ::: <math>\{\omega_1, \omega_3, \omega_4\}</math>, <math>\{\omega_1, \omega_3, \omega_5\}</math>, <math>\{\omega_1, \omega_3, \omega_6\}</math> ::: <math>....................................................</math> ::: <math>\{\omega_4, \omega_5, \omega_6\}</math> (e) wszystkie możliwe zbiory cztero-elementowe ::: <math>\{\omega_1, \omega_2, \omega_3, \omega_4\}</math>, <math>\{\omega_1, \omega_2, \omega_3, \omega_5\}</math>, <math>\{\omega_1, \omega_2, \omega_3, \omega_6\}</math>, ::: <math>....................................................</math> ::: <math>\{\omega_3, \omega_4, \omega_5, \omega_6\}</math> (f) wszystkie możliwe zbiory pięcio-elementowe ::: <math>\{\omega_1, \omega_2, \omega_3, \omega_4, \omega_5\}</math>, <math>\{\omega_1, \omega_2, \omega_3, \omega_4, \omega_6\}</math>, ::: <math>....................................................</math> ::: <math>\{\omega_2, \omega_3, \omega_4, \omega_5, \omega_6\}</math> (g) tylko jeden zbiór sześcio-elementowy ::: <math>\{\omega_1,\omega_2,\omega_3, \omega_4, \omega_5, \omega_6\}</math> czyli zbiór zdarzeń elementarnych <math>\Omega</math> Zbiór <math>\mathcal F= \mathcal F_1</math> zawiera <math>2^6=64</math> elementy. Jest to maksymalna liczba możliwych podzbiorów zbioru składającego się z 6 elementów. Jest to dobrze znany wynik. W ogolności dla zbioru <math>\Omega</math> składajacego się z <math>N</math> elementów, rodzina <math>\mathcal F</math> liczy <math>2^N</math> elementów. Liczba podzbiorów k-elementowych w zbiore N-elementowym to liczba kombinacji <math>N \choose k</math>. Stąd mamy <math>{6 \choose 0} =1</math> zbiorów jzero-elementowych, <math>{6 \choose 1} =6</math> zbiorów jedno-elementowych, <math>{6 \choose 2} =15</math> zbiorów dwuelementowych, <math>{6 \choose 3} =20</math> zbiorów trzy-elementowych, <math>{6 \choose 4} =15</math> zbiorów cztero-elementowych, <math>{6 \choose 5} =6</math> zbiorów pięci-elementowych, <math>{6 \choose 6} =1</math> zbiorów sześcio-elementowych. Suma tych liczb wynosi 64. Wynik ten można otrzymac z wyrażenia dla dwumianu Newtona <math>(a+b)^N = \sum_{k=0}^N {N\choose k} a^k b^{N-k}</math> Przyjmując w tym wzorze a=b=1 otrzymamy <math>2^N = \sum_{k=0}^N {N\choose k}</math> Ten przykład jest interesujacy jeszcze z jednego powodu. Pokazuje on, że w zależności od tego, jakie pytania stawiamy, rodzina <math>\mathcal F</math> może być inaczej skonstruowana. Łatwo sprawdzić, że podzbiory <math>\emptyset</math>, <math>\Omega\;</math>, <math>\{\omega_1, \omega_3, \omega_5\}\;</math>, <math>\{\omega_2, \omega_4, \omega_6\}\;</math> także spełniają własności <math>\sigma</math>-algebry. Więc jest to też możliwy zbiór <math>\mathcal F= \mathcal F_2</math>. Mamy obecnie dwie <math>\sigma</math>-algebry, oznaczone przez <math>\mathcal F_1</math> oraz <math>\mathcal F_2</math>. Pierwsza <math>\sigma</math>-algebra zawiera 64 podzbiory, druga- tylko 4. Pamiętajmy, że elementy <math>\sigma</math>-algebry nazywają się '''zdarzeniami'''. Cóż to jest za zdarzenie <math>A_1= \{\omega_5, \omega_6\}</math> Jest to zdarzenie, polegające na tym, że przy jednokrotnym rzucie kostką wypadnie albo 5 albo 6. Zdarzenie <math>A_2=\{\omega_1, \omega_3, \omega_5\}</math> oznacza, że wypadnie nieparzysta liczba oczek. Zdarzenie <math>A_0=\emptyset </math> nazywa sie '''zdarzeniem niemożliwym'''. Zdarzenie <math>A=\Omega= \{\omega_1,\omega_2,\omega_3, \omega_4, \omega_5, \omega_6\}</math> polega na tym, że przy jednokrotnym rzucie kostką wypadnie jedno z sześciu oczek. To jest pewne. Dlatego nazywa się ono '''zdarzeniem pewnym'''. Jest oczywiste, że gdy w jednokrotnym rzucie otrzymamy np. <math>\omega_3</math> czyli trójkę, to nie otrzymamy jedynki, czy piątki. To oznacza, że :<math>i\ne j \implies \omega_i\cap \omega_j = \emptyset</math> Zdarzenia takie nazywamy zdarzeniami wzajemnie wykluczającymi się. W ogólności, jeżeli zachodzi relacja :<math>i\ne j \implies A_i\cap A_j = \emptyset</math> to takie zdarzenia <math>\{A_i\}</math> nazywamy '''zdarzeniami wzajemnie wykluczającymi się'''. Zauważmy, że rodzina podzbiorów <math>\mathcal F_2</math> jest znacznie uboższa niż rodzina <math>\mathcal F_1</math>. Wybierając rodzinę podzbiorów <math>\mathcal F_2</math>, pytamy tylko o parzystą lub nieparzystą liczbę oczek. Możemy konstruować jeszcze inne rodziny <math>\mathcal F</math>. Z powyższych przykładów wynika, że jeżeli przestrzeń zdarzeń elementranych składa się z n-elementów, to rodzina <math>\mathcal F</math> może składać się ze wszystkich podzbiorów zbioru <math>\Omega</math>. A liczba wszystkich możliwych podzbiorów zbioru n-elementowego wynosi <math>2^n</math>. Jest to maksymalna <math>\sigma</math>-algebra. 3. Jeżeli przestrzeń zdarzeń elementrnych jest zbiorem liczb rzeczywistych, tzn. <math>\Omega = R</math> lub dowolym jego podzbiorem, to <math>\sigma</math>-algebra generowana jest przez wszystkie zbiory otwarte <math>(a, b)</math>, gdzie <math>a</math> i <math>b</math> są dowolnymi liczbami rzeczywistymi. Tak <math>\sigma</math>-algebra składa się ze zbiorów otwartych <math>(a, b)</math>, zbiorów domknietych <math>[a, b]</math>, zbiorów półotwartych <math>[a, b)</math> lub <math>(a, b]</math>, półprostych <math>(a, \infty)</math>, <math>(-\infty, b)</math>, <math>[a, \infty)</math>, <math>(-\infty, b]</math>, dowolnych przeliczalnych sum i iloczynów. Rodzina ta zawiera także różnice zbiorów i punkty. Wszystkie powyższe podzbiory tworzą najważniejszą <math>\sigma</math>-algebrę i nazywamy ją '''<math>\sigma</math>-algebrą zbiorów Borela'''. '''<math>P</math>: miara probabilistyczna ''' Ostatni element trójki <math>(\Omega, \mathcal F, P)</math>, tzn. P jest funkcją i nazywa się miarą probabilistyczną lub po prostu prawdopodobieństwem. Argumentem tej funkcji są zdarzenia <math>A\in \mathcal F</math>. Funkcja <math>P</math> musi spełniać określone warunki. Można je sformułować następująco: Niech <math>{\mathcal F}</math> będzie <math>\sigma</math>-algebrą podzbiorów zbioru <math>\Omega</math> oraz niech <math>P:{\mathcal F}\longrightarrow {\mathbb R^+}</math> będzie funkcją o następujących własnościach: #<math>P(A) \ge 0 </math> dla dowolnego zdarzenia <math>A \in {\mathcal F}</math> #<math> P(\Omega) < \infty </math> #<math>P</math> jest '''σ-addytywna''' (lub inaczej mówiąc '''przeliczalnie addytywna'''), tzn. : <math>P\left(\bigcup_{n = 0}^{\infty}~A_n\right) = \sum_{n = 0}^{\infty}~P(A_n)</math> dla wszystkich parami rozłącznych zbiorów <math>A_0,A_1,A_2,\ldots\in {\mathcal F}</math>. Ponieważ elementy <math>\sigma</math>-algebry <math>\mathcal F</math> są zdarzeniami, to kazdemu zdarzeniu <math>A \in \mathcal F</math> przyporządkowujemy nieujemną liczbę <math>P(A)</math>. To liczba ma interpretację prawdopodobieństwa zajścia zdarzenia <math>A</math>. Z własności 2, że <math>P(\Omega)</math> jest liczbą skończoną i z przyczyn historycznych oraz tradycji zakładamy, że <math>P(\Omega)=1</math>. Inaczej mówiąc, zawsze możemy unormować miarę probabilistyczną do jedności. Przypomina to przyjęcie określonych jednostek w fizyce. Np.masa jednego kilograma jest kwestią umowną. Unormowanie funkcji <math>P</math> do jedności oznacza, że :<math> 0 \le P(A)\le 1 </math> Addytywność oznacza, że : <math>P(A\cup B)=P(A)+ P(B)</math> dla wszystkich wzajemnie wykluczających się zdarzeń <math>A,B\in {\mathcal F}</math>, to znaczy takich, że ich część wspólna (iloczyn) jest zbiorem pustym: <math>A \cap B =\emptyset </math>. WAŻNE RELACJE <math>P(A)\in[0,1]</math>, <math>P(\emptyset) = 0</math>, <math>P(\Omega) = 1\,</math> <math>P(A \cup B) = P(A) + P(B) - P(A \cap B)</math> <math>P(A')=1-P(A)\,</math> PRAWDOPODOBIEŃSTWO WARUNKOWE <math>P(A \mid B) = \frac{P(A \cap B)}{P(B)} </math> Jest to prawdopodobieństwo zajścia zdarzenia A pod warunkiem że zachodzi zdarzenie B. Definicja ta ma sens pod warunkiem, że <math>P(B) \ne 0</math> '''Przykłady miar probabilistycznych''' 1. Przy jednokrotny rzucie idealną monetą prawdopodobieństwo otrzymania orła (reszki) wynosi <math>1/2</math>, czyli <math>P(\omega_1)=P(\omega_2) = \frac{1}{2}</math> Można też założyć ogólniejszy przypadek gdy <math>P(\omega_1) =p_1</math> oraz <math>P(\omega_2) = p_2</math>. Wówczas musi zachodzić równość <math>p_1+p_2=1</math>. 2. Przy jednokrotny rzucie idealną kostką prawdopodobieństwo otrzymania np. 2 oczek wynosi <math>1/6</math>, czyli <math>P(\omega_k) = \frac{1}{6} \;</math> dla <math> k=1, 2, 3, 4, 5, 6 \;</math>. Można też założyć ogólniejszy przypadek gdy <math>P(\omega_k) =p_k \in [0, 1]</math>. Wówczas musi zachodzić równość <math>p_1+p_2+p_3+p_4+p_5+p_6=1 \;</math>. 3. Niech przestrzeń zdarzeń elementarnych składa sie z nieskończonej ale przeliczalnej liczby elementów <math>\Omega=\{\omega_1, \omega_2, \omega_3, ...\}\;</math> Jeżeli <math>P(\omega_k)=p_k \in [0, 1]</math> oraz <math>\sum_{k=1}^{\infty}p_k = 1</math>, to otrzymamy dobrze określone prawdopodobieństwa zajścia dowolnych zdarzeń w tej przestrzeni probabilistycznej. 4. Jeżeli przestrzenią zdarzeń elementarnych jest zbiór liczb rzeczywistych lub jego podzbiór, wówczas zdarzeniami są przedziały. Niech, niezależnie od interpretacji, zdarzeniem jest przedział <math>A=(2, 8)</math>. Czy można określić prawdopodobieństwo zajścia zdarzenia <math>A</math>, czyli ile wynosi <math>P(A=(2, 8))\;</math> Tak abstrakcyjnie sformułowane pytanie ma nieskończenie wiele możliwych realizacji. Podamy jedną z przykładowych odpowiedzi. Niech <math>\Omega =R</math>. Niech <math>f(x)</math> będzie funkcja określoną na zbiorze <math>\Omega</math> o następujących własnościach (i) <math>f(x) \ge 0</math> dla wszystkich <math>x\in \Omega \;</math> (ii) <math>\int_{-\infty}^{\infty} f(x) dx =1\;</math> Wówczas <math>P(A \in (2, 8)) = \int_{2}^{8} f(x) dx\;</math> Zamiast zbioru <math>\Omega = R</math>, mozna rozważać półprostą lub odcinek. Wówczas we wzorze (ii) przedziałem całkowania jest półprosta lub odcinek. ===Zmienna losowa=== Przestrzeń probabilistyczna jest zbiorem, więc tak jak na każdym zbiorze tak i na przestrzeni probabilistycznej możemy definiować odwzorowania. Niech <math>f</math> będzie dowolną funkcją określoną na zbiorze <math>X</math> o wartościach w zbiorze <math>Y</math>. Pamiętamy, że element zbioru <math>X</math> nazywany jest argumentem funkcji (zmienną niezależną), natomiast zbiór <math>Y</math> jest zbiorem wartości funkcji. Zmienna losowa jest też funkcją, tyle że na przestrzeni probabilistycznej. Tutaj odpowiednikiem zbioru <math>X</math> jest zbiór zdarzeń elementarnych <math>\Omega</math>, a zmienną niezależną jest zdarzenie elementarne <math>\omega</math>. Jednak nie wszystkie funkcje na zbiorze <math>\Omega</math> nazywają się zmiennymi losowymi. Problem jest nieco podobny do tego, że nie wszystkie funkcje są funkcjami ciągłymi. Z "praktyki" studenci wiedzą, że funkcje ciągłe są "przyjemniejsze" (na przykład granica lewostronna jest równa granicy prawostronnej i jest to liczba skończona). Analogiem funkcji ciągłych są zmienne losowe. Precyzyjna definicja matematyczna jest następujaca: Niech <math>(\Omega, F, P)\;</math> będzie przestrzenia probabilistyczną oraz <math>(X, {\mathcal B})</math> -- przestrzenią fazową, tzn. zbiorem <math>X</math> wraz z <math>\sigma</math>-algebrą <math>{\mathcal B}</math> zbioru <math>X</math>. Zwykle <math>X=R</math> jest zbiorem liczb rzeczywistych, a <math>\sigma</math>-algebrą <math>{\mathcal B}</math> są zbiory Borela. '''Zmienną losową''' (rzeczywistą) na przestrzeni probabilistycznej <math>(\Omega, \mathcal F, P)</math> nazywamy dowolną rzeczywistą funkcję mierzalną <math>\xi \colon \Omega \to R</math>, tzn. funkcję <math>\xi \;</math> spełniającą warunek : <math>\xi^{-1}(B)\in \mathcal{F}</math> dla każdego zbioru borelowskiego <math>B\subset {\mathcal B}</math>. Innymi słowy, przeciwobraz zbioru Borela jest zdarzeniem w przestrzeni probabilistycznej <math>\Omega</math>. Definicja ta przypomina topologiczna definicję odwzorowania ciągłego: mówiąc w wielkim skrócie, odwzorowanie <math>G</math> nazywa się ciągłym gdy przeciwobraz każdego zbioru otwartego jest zbiorem otwartym. Jest to mniej znana definicja odwzorowania ciągłego, ale jest ona równoważna tradycyjnej definicji ciągowej. Zwykle zmienne losowe zapisuje się za pomocą liter greckich <math>\xi, \eta \;</math>, odmiennie niż zapisuje się funkcje. Oznaczenie <math>\xi(\omega)</math> odpowiada tradycyjnemu zapisowi dla funkcji <math>f(x)</math>. Dodatkowo narzucamy warunek <math>P(\{\omega: \xi(\omega)=\pm \infty\})=0</math> Innymi słowy, zbiór wszystkich zdarzeń elementarnych, dla których zmienna losowa przyjmuje nieskończone wartosci, jest miary zero. Np. gdy analzujemy ruch cząstki Browna, prawdopodobieństwo tego, że czastka ta jest w nieskończoosci wynosi zero. Jest to naturalne założenie dla wszystkich realnych zjawisk. Jeżeli jako zbiór Borela w przestrzeni fazowej <math>X</math> przyjmiemy <math>B=(-\infty, x]</math>, gdzie <math>x</math> jest dowolna liczbą rzeczywistą, to warunek mierzalności można napisać w bardziej przejrzystej formie: <math>\{\omega: \xi(\omega) \le x\} \in\mathcal F \;</math> czyli zbiór takich <math>\omega \; </math> jest elementem <math>\sigma</math>-algebry <math>\mathcal F</math>, to znaczy jest zdarzeniem w wyjściowej przestrzeni <math>\Omega</math>. Oczywiście zbiór <math>\{\omega: \xi(\omega) > x\} \in \mathcal F \;</math> też jest zdarzeniem dla dowolnych wartości <math>x</math>. Rozważa się również zmienne losowe o wartościach w abstrakcyjnych przestrzeniach topologicznych (żeby analogicznie mówić o przeciwobrazach zbiorów borelowskich danej przestrzeni topologicznej) - i tak, na przykład: zmienne losowe o wartościach zespolonych nazywa się zmiennymi losowymi zespolonymi. Odwzorowanie mierzalne określone na przestrzeni <math>\Omega</math> o wartościach w przestrzeni <math>R^n</math> nazywa się '''wektorem losowym'''. Wektor losowy ma postać <math> \xi(\omega) = \left[\xi_1(\omega), \xi_2(\omega), \dots, \xi_n(\omega)\right]</math> gdzie <math>\xi_i(\omega)\;</math> dla <math>i = 1, \dots, n</math> są zmiennymi losowymi rzeczywistymi. ===Rozkłady prawdopodobieństwa zmiennej losowej=== Jeżeli badamy zjawiska losowe, to zwykle przypisujemy im jakieś wektory zmiennych losowych. Te zmienne losowe przyjmują wartości z pewnych zbiorów. Tymi zbiorami są często zbiory Borela. W teorii probabilistycznej pytamy, jakie jest prawdopodobieństwo tego, że zmienna losowa przyjmuje wartości należące np. do przedziału <math>(2, 8)\;</math>, a ten przedział jest zbiorem Borela. Analizując ruch cząstki Browna, możemy zapytać, jakie jest prawdopodoieństwo tego, że chwili czasu <math>t=7 \;</math> cząstka znajduje się w przedziale położeń <math>(2, 8)</math>. Jeżeli śledzimy ruch cen akcji na giełdzie, pytamy jakie jest prawdopodoieństwo tego, że chwili czasu <math>t=16.03 \;</math> cena akcji firmy PATUREX jest większa niż 23 Euro. Jeżeli jesteśmy w stanie odpowiadac na tego typu pytania, to znaczy że znamy rozkłady prawdopodobieństa zmiennych losowych. Formalna definicja brzmi: Funkcją rozkładu (lub równoważnie rozkładem prawdopodobieństwa) <math>\mathcal P_{\xi}(B) \;</math> zmiennej losowej <math>\xi</math> nazywamy funkcję na przestrzeni fazowej zdefiniowanej w następujący sposób: <math>\mathcal P_{\xi}(B) = P(\{\omega: \xi(\omega) \in B\})</math> Funkcja <math>\mathcal P \;</math> ma wszystkie własności miary probabilistycznej: jest nieujemna, przeliczalnie addytywna i unormowana do jedności. To oznacza, że ma interpretację prawdopodobieństwa. Innymi slowy, <math>\mathcal P_{\xi}(B) \;</math> jest prawdopodobieństwem tego, że zmienna losowa <math>\xi</math> przyjmuje wartości należące do zbioru Borela <math>B</math>. Czasami stosuje się zapis <math>\mathcal P_{\xi}(B) = Pr(\xi \in B) </math> Czytamy: prawdopodobieństwo tego, że zmienna losowa <math>\xi</math> przyjmuje wartości należące do zbioru Borela <math>B</math>. Ponieważ narzucamy dodatkowy, ale naturalny warunek <math> P(\{\omega: \xi(\omega) = \pm \infty\}) = 0</math> to wynika stąd że <math>Pr (\xi = \pm \infty) = 0</math> Zwróćmy uwagę na różne oznaczenia prawdopodobieństw <math>P</math> i <math>\mathcal P</math>. Zapis <math>P(A)</math> oznacza prawdopodobieństwo zdarzenia <math>A</math> w przestrzeni probabilistycznej <math>\Omega</math>, natomiast zapis <math>\mathcal P_{\xi}(B)</math> oznacza prawdopodobieństwo zdarzenia w przestrzeni fazowej <math>X</math>. Powyższą równość definiującą prawdopodobieństwa w przestrzeni fazowej <math>X</math> matematycy określają jako transport miary z jednej przestrzeni (tutaj <math>\Omega</math>) w inną przestrzeń (tutaj <math>X</math>). Jest to równość, której różne wersje są bardzo często wykorzystywane. Studenci powinni zrozumieć jej istotę. Zauważmy, że znając <math>\mathcal P_{\xi}</math>, przestrzeń fazowa <math>X</math> staje się nowa przestrzenia probabilistyczną: <math>(X, \mathcal B, \mathcal P_{\xi})</math> Na tej przestrzeni probabilistycznej można zdefiniować nową zmienną losową jako odwzorowanie zbioru <math>X</math> w zbiór <math>Y</math> będący nową przestrzenią fazową. Oczywiście w zbiorze <math>Y</math> należy zdefiniować <math>\sigma</math>-algebrę, np. zbiorów Borela. Konstrukcję taką możemy powtarzać wielokrotnie, otrzymując nowe zmienne losowe. Można zauważyć, że gdy mamy określone wszystkie trzy elementy w trójce <math>(X, \mathcal B, \mathcal P_{\xi})</math>, to wcale nie potrzebna nam jest wyjściowa przestrzeń probabilistyczna <math>(\Omega, \mathcal F, P)</math>. Możemy o niej zapomnieć, ponieważ znajomość funkcji rozkładu <math>\mathcal P_{\xi} </math> zmiennej losowej <math>\xi</math> jest wystarczająca do zbadania wszystkich probabilistycznych własności samej zmiennej losowej <math>\xi</math>. Niektóre zbiory Borela są bardziej "uprzywilejowane" od innych (jak to zwykle bywa na tym świecie). Przykładem wyjątkowo "uprzywilejowanego" zbioru Borela jest półprosta ( raczej rodzina półprostych) <math>B=(-\infty, x]</math> gdzie <math>x\in R</math> jest dowolna liczbą rzeczywistą. Wówczas stosujemy specjalne oznaczenie dla rozkładu prowadopodobieństwa, a mianowicie :<math>F_{\xi}(x) = \mathcal P_{\xi}(B) = \mathcal P_{\xi}( (-\infty, x]) = Pr(\xi \in (-\infty, x]) </math> :<math> = Pr(\xi \le x) = P(\{\omega: \xi(\omega) \in (-\infty, x]\}) = P(\{\omega: \xi(\omega) \le x\})</math> Użyliśmy tu wszystkich możliwych form na zapis tej samej wielkości. Ponieważ wielkość ta zależy od wartości <math>x</math>, to oznacza po prostu że jest to funkcja zależna od <math>x</math>. Tak więc <math>x</math> traktujemy jako zmienną niezależną w funkcji <math>F_{\xi}(x)</math>. Rozkład powyższy nazywamy '''dystrybuantą zmiennej losowej''' <math>\xi</math>. Dystrybuanta <math>F_{\xi}(x)</math> jest funkcją parametru <math>x</math>, który wyznacza prawy koniec przedziału <math>(-\infty, x]</math>. Jeżeli wiemy o jaką zmienną losową chodzi (aby nie prowadziło to do niejednoznaczności) to stosujemy skrócony zapis <math>F(x) = F_{\xi}(x)\;</math> '''Przykłady zmiennej losowej i jej rozkłady prawdopodobieństwa''' Podamy przykładY zmiennej losowej i wyliczymy jej różne rozkłady prawdopodobieństwa. PrzykładY te pozwolĄ studentowi wyrobić intuicję o własnościach dystrybuanty. Wprowadzimy też specjalny zapis dystrubuanty tej zmiennej losowej za pomocą funkcji schodkowej Heaviside'a, użyteczny pod wieloma względami, np. ułatwiający zapis różnych procesów stochastycznych i pozwalający na ich łatwe uogólnienia. 1. Doświadczenie polega na jednokrotnym rzucie kostką do gry. Wiec przestrzenią zdarzeń elementarnych jest zbiór <math>\Omega = \{\omega_1, \omega_2, \omega_3, \omega_4, \omega_5, \omega_6 \}\,</math> Niech zmienna losowa <math>\xi</math> będzie zdefiniowana przez relację <math>\xi(\omega_k) = 2k+3\,</math> Przestrzeń fazowa składa się z wartości tej funkcji, a mianowicie <math>X=\{\xi(\omega_k)\} = \{5, 7, 9, 11, 13, 15 \}\,</math> (i) Zdarzenie <math>\{\xi(\omega) \le 9\} = \{\omega: \xi(\omega) \le 9 \} = \{\omega_1, \omega_2, \omega_3\} = \omega_1 \cup \omega_2 \cup \omega_3= A </math>. Więc <math>F(9) = F_{\xi}(9) = P(A) = P(\{\omega_1, \omega_2, \omega_3\}) = P(\omega_1) + P(\omega_2) + P(\omega_3) = \frac{1}{6} + \frac{1}{6} + \frac{1}{6} = \frac{1}{2} </math> Wykorzystaliśmy tu własność addytywności prawdopodobieństwa dla zdarzeń wzajemnie wykluczających się, <math>\omega_i \cap \omega_j = \empty</math> dla <math>i \ne j</math>. (ii) Zdarzenie <math>\{\xi(\omega) \le 6\} = \{\omega: \xi(\omega) \le 6 \} = \{\omega_1\} = B </math> ponieważ <math>\xi(\omega_1) =5\le 6 \,</math> Więc <math>F(6) = F_{\xi}(6) = P(B) = P(\omega_1) = \frac{1}{6} </math> (iii) Zdarzenie <math>\{\xi(\omega) \le 0\} \;</math> jest zdarzeniem niemożliwym, to znaczy nie ma takich zdarzeń elementarnych <math>\omega_k</math>, aby <math>\xi(\omega_k) \le 0 </math>. Najmniejszą wartością zmiennej losowej jest liczba <math>\xi(\omega_1) = 5</math>. [[Image:2kplus3.png|thumb|300px|Dystrybuanta zmiennej losowej dyskretnej <math>\xi(\omega_k) = 2k+3</math>]] Dlatego też <math>F(0) = Pr(\xi \le 0) =0</math> Podobnie <math>F(1) = Pr(\xi \le 1) =0 \; \; \;</math> <math> F(4) = Pr(\xi \le 4) =0 \; \; \;</math> <math> F(4.9) = Pr(\xi \le 4.9) =0</math> (iv) Natomiast zawsze na przykład <math>\xi(\omega_k) \le 20 </math>. To jest pewne. Dlatego też <math>F(20) = Pr(\xi \le 20) =1</math> Wszystkie powyżej przedstawione przypadki można elegancko przedstawić za pomocą następującej formuły matematycznej <math>F_{\xi}(x) = \frac{1}{6} \theta(x-5) + \frac{1}{6} \theta(x-7) + \frac{1}{6} \theta(x-9) + \frac{1}{6} \theta(x-11) + \frac{1}{6} \theta(x-13) +\frac{1}{6} \theta(x-15) </math> gdzie funkcja teta Heaviside'a <math>\theta(x)</math> jest zdefiniowana w Dodatku Matematycznym: Elementy teorii dystrybucji. Tutaj przypominamy, że <math>\theta(x)=1</math> gdy <math>x\ge 0</math> oraz <math>\theta(x)=0</math> gdy <math>x < 0</math>. 2. Oto przykład dziwnej zmiennej losowej. Definiujemy ją przez relację <math>\xi(\omega) = 3\;</math> Może ona być zdefiniowana dla dowolnej przestrzeni probabilistycznej. Jak ja interpretować? Niezależnie od wyniku <math>\omega </math> dowolnego doświadczenia przypisujemy jej wartość <math>3</math>. Jest to analog funkcji stałej <math>f(x)=3</math>: niezależnie od wartości zmiennej niezależnej <math>x</math>, wartość funkcji zawsze wynosi <math>3</math>. Użyliśmy określenia "dziwna zmienna losowa" ponieważ ta zmienna losowa tak naprawdę nie jest losowa: zawsze wynosi 3. Porównajcie ją z poprzednim przykładem: dla różnych <math>\omega</math> otrzymywaliśmy różne wartości <math>\xi</math>. Tym razem, obojętnie jaka liczba oczek wypadnie, zawsze temu przypisujemy liczbę <math>3</math>. Oczywiście zamiast liczby 3, może być wybrana każda inna liczba rzeczywista, np. <math>\xi =c , \; c\in R</math>. Jej dystrybuanta może być wyznaczona podobnie jak w poprzednim przykładzie. W wyniku otrzymamy <math>F_{\xi}(x) = \theta(x-3)\;</math> Graficznie, jest to funkcja schodkowa o jednym schodku, <math>F_{\xi}(x) = 0</math> gdy <math>x < 3</math> oraz <math>F_{\xi}(x) = 1</math> gdy <math>x \ge 3</math>. Jeżeli <math>\xi(\omega) = c</math> to <math>F_{\xi}(x) = \theta(x-c)</math>. Zapamiętajcie ten przykład, ponieważ będzie on wielokrotnie wykorzystywany w różnym kontekście: Jeżeli zmienna losowa nie jest "losowa", to znaczy jest "deterministyczna", wówczas jej dystrybuanta jest funkcją teta Heaviside'a. Dla przykładu, jeżeli znamy dokładnie położenie cząstki Browna w chwili czasu <math>t=0</math> i wynosi <math>\xi = 5</math>, to wówczas odpowiadająca temu dystrybuanta ma postać <math>F_{\xi}(x) = \theta(x-5)\;</math> 3. Bardzo ważny przykład. Rozważmy dowolą przestrzen probabilistyczną <math>\Omega</math>. Rozbijmy ją na dwa podzbiory <math>A</math> i jego dopełnienie <math>A'</math>, to znaczy <math>\Omega = A \cup A'\;</math>, <math> A \cap A' = \empty\;</math> Mamy dwa zdarzenia: zdarzenie <math>A</math> które nazwiemy umownie sukcesem i zdarzenie <math>A'</math> które nazwiemy umownie porażką. Mamy pojedyńcze doświadczenie E i w wyniku tego doświadczenie możemy otrzymać sukces <math>A</math> lub porażkę <math>A'</math>. Niech prawdopodobieństwo sukcesu wynosi <math>p=p_1</math> i porażki <math>q=p_2</math>, czyli <math>P(A) = p=p_1, \; P(A') = q=p_2, \; p+q=1\;</math> Zdefiniujmy zmienną losową <math>\xi</math> w następujący sposób: <math>\xi(A) = 1\;</math> <math>\xi(A') = 0\;</math> Zauważmy, że prawdopodobieństwo tego że <math>\xi=1</math> wynosi tyle samo co prawdopodobieństwo tego że otrzymamy <math>A</math>, czyli <math>Pr (\xi = 1) = P(A) = p_1 \;</math> Podobnie, prawdopodobieństwo tego że <math>\xi=0</math> wynosi tyle samo co prawdopodobieństwo tego że otrzymamy <math>A'</math>, czyli <math>Pr (\xi = 0) = P(A') = p_2, \;</math> Ponieważ zmienna losowa przyjmuje dwie wartości, więc jej dystrybuanta składa się z dwóch schodków: <math>F_{\xi}(x) = p \theta(x-1) + q\theta (x-0) = p_1 \theta(x-1) + p_2 \theta (x-0) \;</math> 4. Przykład podsumowujący. Niech przestrzeń probabilistyczna będzie sumą wzajemnie rozłącznych podzbiorów (zdarzeń wzajemnie wykluczających się) <math>A_k \; (k=1, 2, 3, ..., n)</math>, to znaczy <math>\Omega = A_1 \cup A_2 \cup A_3 \cup ... \cup A_n</math> <math>A_i \cap A_j = \empty</math> dla <math>i \ne j</math> i niech <math>P(A_k) = p_k, \; k=1, 2, 3, ... n</math> przy czym suma wszystkich prawdopodobieństw wynosi 1 (warunek unormowania), <math>\sum_{k=1}^{n} p_k = 1</math> Zdefiniujmy zmienną losową przez relację <math>\xi(A_k) = x_k, \; \; k=1, 2, 3, ... n\;</math> Zauważmy, że prawdopodobieństwo tego że <math>\xi=x_k</math> wynosi tyle samo co prawdopodobieństwo tego że otrzymamy <math>A_k</math>, czyli <math>Pr (\xi = x_k) = P(A_k) = p_k\;</math> Mając praktykę nabytą przy analizie poprzednich trzech przykładów możemy napisać wyrażenie na dystrybuantę tej zmiennej losowej: <math>F_{\xi} (x) = \sum_{k=1}^{n} p_k \theta(x-x_k)</math> W wyrażeniu tym <math>x_k</math> - to są możliwe wartości zmiennej losowej <math>\xi</math>, natomiast <math>p_k =Pr(\xi = x_k)</math> jest prawdopodobieństwem tego, że zmienna losowa <math>\xi</math> przyjmuje wartość <math>x_k</math>. '''Własności dystrybuanty''' Wprost z definicji wnioskujemy o 2 własnościach: (1) <math>F_{\xi}(\infty) = Pr(\xi \le \infty) =1</math> (2) <math>F_{\xi}(-\infty) = Pr(\xi \le -\infty) = 0</math> Pozostałe 3 własności to: (3) <math>F_{\xi}(x)</math> jest funkcją niemalejącą, to znaczy jeżeli <math>x_1 < x_2 \;</math> to <math>F_{\xi}(x_1) \le F_{\xi}(x_2)</math> (4) <math>F_{\xi}(x)\;</math> jest funkcją prawostronnie ciągłą, to znaczy <math>\lim_{\epsilon \to 0^+} F_{\xi}(x+\epsilon) = F_{\xi}(x) </math> Zapisujemy to w skróconej postaci jako <math>F_{\xi}(x^+) = F_{\xi}(x) \;</math> (5) <math>Pr(\xi = x) = \lim_{\epsilon \to 0^+}[F_{\xi}(x) - F_{\xi}(x-\epsilon)] = F_{\xi}(x) - F_{\xi}(x^-) </math> Wynika stąd, że jeżeli dystrybuanta jest funkcją ciągłą (prawostronnie i lewostronnie ciągłą) to <math>Pr(\xi = x) = 0 \;</math> Dystrybuanta, jak inne funkcje, niekoniecznie musi być różniczkowalna we wszystkich punktach (dla wszystkich wartości <math>x</math>). W zależności od własności funkcji <math>F_{\xi}(x)</math>, możemy dokonać klasyfikacji zmiennych losowych. I tak jeżeli <math>F_{\xi}(x)</math> jest funkcją ciągłą i różniczkowalną, z wyjątkiem co najwyżej przeliczalnej liczby punktów (to znaczy nie jest różniczkowalna w co najwyżej przeliczalnej liczbie punktów), wówczas <math>\xi </math> nazywamy '''zmienną losową ciągłą'''. Jeżeli dystrybuanta jest funkcją schodkową, to <math>\xi</math> nazywa się '''zmienną losową dyskretną'''. Pozostałe zmienne losowe będziemy nazywać mieszanymi. Z własności (5) wynika, że dla zmiennych losowych ciągłych <math>Pr(\xi = x) = 0 </math>. To jest bardzo ważną własność. Jeżeli rozpatrujemy losowy ruch cząstki Browna, to prawdopodobieństwo tego, że w pewnej chwili czasu jest ona w położeniu x wynosi zero! Podobnie jest dla losowych procesów urodzin: prawdopodobieństwo tego, że dziecko urodzi się w chwili dajmy na to <math>t=5</math> wynosi zero. Dla zmiennych losowych ciągłych pytania innego typu mają nietrywialną odpowiedź. Tym pytaniem jest na przykład: jakie jest prawdopodobieństwo tego, że w pewnej chwili czasu cząstka znajduje się w przedziale położeń <math>(x_1, x_2)</math> lub: jakie jest prawdopodobieństwo tego, że dziecko urodzi się w przedziale czasowym <math>(t_1, t_2)</math>. Odpowiedź na tego typu pytania daje znajomość dystrybuanty. Pokażemy obecnie, że dla <math>x_2 > x_1</math> zachodzi relacja <math>Pr(\xi \in (x_1, x_2]) = F_{\xi}(x_2) - F_{\xi}(x_1)</math> Zauważmy, że zbiór <math>\{\xi \le x_2\} = \{\xi \le x_1 \} \cup \{x_1 < \xi \le x_2\} </math> oraz dwa ostatnie zbiory są rozłączne, to znaczy <math> \{\xi \le x_1 \} \cap \{x_1 < \xi \le x_2\} = \empty</math> Odpowiadające im zdarzenia wzajemnie wykluczają się, więc korzystając z <math>\sigma</math>-addytywności prawdopodobieństwa otrzymamy <math>Pr(\xi \le x_2) = Pr( \{\xi \le x_1 \} \cup \{x_1 < \xi \le x_2\}) = Pr(\xi \le x_1) + Pr(x_1 < \xi \le x_2) </math> Korzystając z kolei z definicji dystrybuanty, wyrażenie to można przepisać w postaci <math> F_{\xi}(x_2) = F_{\xi}(x_1) + Pr(\xi \in (x_1, x_2]) </math> Stąd otrzymujemy powyższą relację. ====Gęstość rozkładu prawdopodobieństwa==== '''Gęstość rozkładu prawdopodobieństwa''' zmiennej losowej Dystrybuanta <math>F_{\xi}(x)</math> zmiennej losowej <math>\xi</math> jest funkcją <math>x</math>, to znaczy prawego końca przedziału <math>A=(-\infty, x]</math> będącego zdarzeniem. Zdarzenie to ma taką oto interpretację: zmienna losowa <math>\xi\in (-\infty, x]</math>. Pochodna <math>p_{\xi}(x) = \frac{dF_{\xi}(x)}{dx}</math> nazywa się gęstością rozkładu prawdopodobieństwa zmiennej losowej <math>\xi</math>. Można też spotkać takie nazwy jak: funkcja gęstości, gęstość prawdopodobieństwa lub funkcja gęstości prawdopodobieństwa. Powyższe wyrażenie scałkujemy obustronnie w odpowiednich granicach: <math>\int_{-\infty}^x \frac{dF_{\xi}(y)}{dy} dy = F_{\xi}(x) - F_{\xi} =(-\infty) = F_{\xi}(x) = \int_{-\infty}^x p_{\xi}(y)dy </math> Związek ten pozwala wyrazić dystrybuantę przez gęstość prawdopodobieństwa. Rozpatrzmy teraz wzór (****) na prawdopodobieństwo tego, że zmienna losowa przyjmuje wartości z pewnego przedziału oraz skorzystajmy z powyższego wzoru. Otrzymamy wówczas: <math>Pr(\xi \in (x_1, x_2]) = F_{\xi}(x_2) - F_{\xi}(x_1) = \int_{-\infty}^{x_2} p_{\xi}(y)dy -\int_{-\infty}^{x_1} p_{\xi}(y)dy </math> <math> = \int_{-\infty}^{x_2} p_{\xi}(y)dy +\int_{x_1}^{-\infty} p_{\xi}(y)dy</math> Korzystając z własności całek oznaczonych możemy przepisać ten wzór w postaci <math> Pr \{ \xi \in (x_1, x_2])\} = \int_{x_1}^{x_2} p_{\xi}(y)dy </math> Jest to jedna z najważniejszych relację, która wiąże gęstość prawdopodobieństwa z prawdopodobieństwem. Można również podać ogólniejszy wzór dla prawdopodobieństwa rozkładu, a mianowicie prawdopodobieństwo tego, że zmienna losowa <math>\xi</math> przyjmuje wartości z pewnego zbioru <math>B</math> wynosi <math> Pr \{ \xi \in B\} = \int_{B} p_{\xi}(y)dy </math> Innymi słowy, należy gęstość rozkładu prawdopodobieństwa scałować po obszarze <math>B</math>. Własności gęstość rozkładu prawdopodobieństwa: 1. Ponieważ dystrybuanta jest funkcją niemalejącą to jej pochodna (czyli gęstość) jest funkcją nieujemną. Stąd <math>p_{\xi}(x) \ge 0</math> 2. Ponieważ <math>F_{\xi}(\infty) = Pr(\xi \le \infty) =1</math> stąd <math>\int_{-\infty}^{\infty} p_{\xi}(y)dy =1</math> Relację tę nazywa się '''warunkiem unormowania'''. Można postawić sobie pytanie odwrotne, czy każdej funkcji <math>p(x)</math> o podanych powyżej dwóch własnościach odpowiada jakaś zmienna losowa? Odpowiedź jest pozytywna i matematycy formułują ją w postaci twierdzenia: tak, istnieje taka zmienna losowa dla której gęstość rozkładu prawdopodobieństwa ma postać <math>p(x)</math>. Ponieważ istnieje nieskończenie wiele funkcji nieujemnych i normowalnych w różnych przestrzeniach fazowych, wiec istnieje także nieskończenie wiele zmiennych losowych. Dla zmiennej losowej ciągłej, najczęściej przestrzenią fazową jest prosta (cała oś liczbowa), półprosta lub odcinek. Wówczas warunek unormowania odnosi się do prostej, półprostej lub odcinka. W dwóch ostatnich przypadkach warunek unormowania ma na przykład postać: <math>\int_{0}^{\infty} p_{\xi}(y)dy =1 </math> gdy przestrzenią fazową jest zbiór <math>X = [0, \infty)</math> lub <math>\int_{0}^{1} p_{\xi}(y)dy =1</math> gdy przestrzenią fazową jest odcinek <math>X = [0, 1] </math>. Zapis dla przypadków tego typu zawsze mozna sprowadzić do jednolitego zapisu z przedziałem całkowania <math>X = (-\infty, \infty)</math> poprzez przedefiniowanie funkcji gęstości rozkładu prawdopodobieństwa, wykorzystując funkcję schodkową Heaviside'a <math>\theta(x)</math>. I tak dla półprostej <math>p_{\xi}(x) -> {\tilde p}_{\xi}(x) = \theta(x) p_{\xi}(x)</math> Wówczas warunek unormowania można zapisać w postaci <math>\int_{-\infty}^{\infty} {\tilde p}_{\xi}(y)dy =1 </math> Podobnie, gdy <math>X = [0, 1]</math>, przedefiniowana gęstość ma postać <math>p_{\xi}(x) -> {\tilde p}_{\xi}(x) = \theta(x) \theta (1-x) p_{\xi}(x)</math> '''UWAGA''': Niektórzy studenci (ci o słabszym opanowaniu wiadomości z teorii funkcji i teorii całki) mają kłopoty ze zrozumieniem zapisu różnych wyrażeń matematycznych. Przykładem takim są równoważne wyrażenia <math>\int_{-\infty}^{\infty} p_{\xi}(y)dy = \int_{-\infty}^{\infty} p_{\xi}(x)dx = \int_{-\infty}^{\infty} p_{\xi}(u)du = \int_{-\infty}^{\infty} p_{\xi}(s)ds =1</math> Należy pamiętać, że zmienna całkowania jest "niemą" zmienną i można ją oznaczać dowolnymi literami, a nie tylko literą "x" czy "y". '''Przykłady gęstości prawdopodobieństwa dla zmiennych losowych ciągłych''' Każdy z czytelników może wymyślać swoje własne zmienne losowe wybierając jakieś nieujemne i normowalne funkcje. Ale taka zabawa nie byłaby zbytnio konstruktywna ponieważ trudno byłoby taką metodą podać realne zjawiska które mają takie rozkłady. My podamy 3 możliwe funkcji abstrahując na razie od analizy samych zmiennych losowych i żródła ich występowania. Zwróćmy uwagę na różne przestrzenie fazowe dla poszczególnych zmiennych losowych, to znaczy dopuszczalne wartości zmiennej <math>x</math>. 1. Zmienna losowa normalna (gaussowska, o rozkładzie Gaussa) opisywana jest gęstością prawdopodobieństwa w postaci <math>p(x) = N \exp(-ax^2)\;</math>, <math>x\in (-\infty, \infty)\;</math>, parametr <math>a>0</math>, stałą <math>N</math> wyznacza się z warunku unormowania 2. Zmienna losowa o rozkładzie gamma <math>p(x) = N x^b \exp(-ax)\;</math>, <math>x\in [0, \infty)</math>, <math>b > -1\;</math> <math>a</math> i <math>N</math> - podobnie jak w przykładzie 1. 3. Zmienna losowa o rozkładzie beta <math>p(x) = N x^b (1-x)^c \;</math>, <math>x\in [0, 1]</math>, <math>b, c > -1\;</math> <math>N</math> - podobnie jak w przykładzie 1. Wszystkie trzy przykłady opisują '''zmienne losowe ciągłe''' odpowiednio na przestrzeniach fazowych: <math>(-\infty, \infty)\;</math>, <math>[0, \infty)</math> oraz <math>[0, 1]\;</math>. '''Gęstość prawdopodobieństwa dla zmiennych losowych dyskretnych''' Możemy rozpatrzeć przykład 4 zmiennej losowej, ponieważ zawiera on pozostałe 3 przykłady jako przypadki szczególne. Poniweaż znamy dystrybuantę dla tej zmiennej losowej, to wyznaczenie gęstości prawdopodobieństwa polega na zróżniczkowaniu tej funkcji. Jedynym problemem jest obliczenie pochodnej funkcji tetea Heaviside'a. Ponieważ funkcja ta jest funkcją nieciągłą, wieć z pewnością standardowa pochodna nie istnieje w każdym punkcie. Natomiast z pewnością istnieje pochodna uogólniona, czyli innymi słowy pochodna w sensie teorii dystrybucji lub krócej: pochodna dystrybucyjna. Z teorii dystrybucji wiemy, że <math>\frac{d\theta(x)}{dx} = \delta(x)</math> gdzie <math>\delta(x)</math> jest dystrybucją Diraca nazywaną potocznie deltą Diraca lub funkcją delta Diraca (chociaż nie jest to funkcja w potocznym czy standardowym sensie). Korzystajac z powyższej formuły dla pochodnej funkcji schodkowej oraz ze wzoru na dystrybuantę zmiennej losowej losowej, możemy napisać wyrażenie na gęstość prawdopodobieństwa zmiennej losowej losowej dyskretnej w postaci: <math>p_{\xi} (x) = \sum_{k=1}^{n} p_k \delta(x-x_k)</math> W wyrażeniu tym <math>x_k</math> - to są możliwe wartości zmiennej losowej <math>\xi</math>, natomiast <math>p_k =Pr(\xi = x_k)</math> jest prawdopodobieństwem tego, że zmienna losowa <math>\xi</math> przyjmuje wartość <math>x_k</math>. ===Momenty statystyczne zmiennej losowej=== w praktycznych zastosowaniach często interesują nas niektóre charakterystyki probabilistyczne zmiennej losowej. Typową taką wielkością jest wartość średnia zmiennej losowej. W literaturze istnieją też inne nazwy na wartość średnią: wartość oczekiwana, wartość przeciętna, nadzieja matematyczna, pierwszy moment statystyczny, moment statystyczny pierwszego rzędu. Pojęcie to jest uogólnieniem prostego pojęcia średniej z dwóch liczb: Jeżeli mamy dwie liczby, na przykład 2 oraz 6 to wartość średnia wynosi <math>(2+6)/2=4</math>. Ogólniej, dla dwóch liczb a oraz b, wartość średnia wynosi <math>(a+b)/2</math>. Dla zbioru liczb <math>\{x_1, x_2, x_3, ..., x_n \;\}</math> wartość średnia wynosi <math>\frac{x_1+ x_2+ x_3+ ...+ x_n}{n}= \sum_{k=1}^{n} \frac{1}{n} x_k</math>. Jeżeli mamy określoną zmienną losową dyskretną <math>\xi=\{x_1, x_2, x_3, ..., x_n\}\;</math> przyjmującą wartości <math>x_k\;</math> z prawdopodobieństwem <math>p_k\;</math>, to wartość średnia <math> <\xi> \;</math> zmiennej losowej <math>\xi\;</math> jest naturalnym uogólnieniem powyższego wzoru i ma postać <math><\xi> = \sum_{k=1}^{n} p_k x_k</math> Zauważmy, że gdy <math>p_k=1/n\;</math> to wzór ten redukuje sie do poprzedniego wzoru. Niektórzy (zwłaszcza matematycy i kręgi zbliżone do nich) stosują inne oznaczenie na wartość średnią, a mianowicie <math><\xi> = m_1 = E \xi = E ( \xi )= \mathbb E\xi </math> Litera E pochodzi od angielskiego słowa "Expectation" oznaczającego "oczekiwanie, nadzieja". Fizycy wolą stosować swoje oznaczenie <math><\xi>\;</math>. Jeżeli zmienna losowa jest typu ciągłego o gęstości prawdopodobieństwa <math>p_{\xi}(x)</math> to jej wartość średnia wyraża się przez całkę <math><\xi> = \int_{-\infty}^{\infty} x p_{\xi}(x) dx</math> gdzie obszarem całkowania jest przestrzeń fazowa <math>X=(-\infty, \infty)</math>. W przypadku przestrzeni fazowych: <math>[0, \infty)</math> oraz <math>[0, 1]</math> wartość średnia ma odpowiednio postać <math><\xi> = \int_{0}^{\infty} x p_{\xi}(x) dx</math> <math><\xi> = \int_{0}^{1} x p_{\xi}(x) dx</math> Oczywiscie granice całkowania można rozciągnąć do całej osi liczb rzeczywistych <math>(-\infty, \infty)</math>, ale należy pamiętać o przedefiniowaniu gęstości rozkładu z użyciem funkcji schodkowej Heaviside'a <math>\theta(x)</math>, podobnie jak to podaliśmy w przykładach na temat unormowania funkcji rozkładu. '''W wyrażeniach dla zmiennej losowej dyskretnej i zmiennej losowej ciągłej zachodzą takie oto analogie: (1) sumy zastępowane są całkami, (2) prawdopodobieństwa <math>p_k\;</math> zastępowane są''' '''gęstościami prawdopodobieństw <math>p_{\xi}(x)\;</math>, (3) możliwe wartości <math>x_k\;</math> zmiennej losowej zastępowane są zmienną całkowania <math>x\;</math>. ''' Wartość średnia jest momentem statystycznym zmiennej losowej. Jest to pierwszy moment lub moment pierwszego rzędu. Moment k-tego rzędu <math>m_k</math> jest zdefiniowany przez wyrażenie <math>m_k = <\xi^k> = \int_{-\infty}^{\infty} x^k p_{\xi}(x) dx</math> Kilka pierwszych momentów znajduje klarowne zastosowanie do analizy zmiennych losowych. Drugi moment - przy badaniu odchylenia wartości zmiennej losowej od swej wartości średniej, a dokładniej <math>\sigma^2 = m_2-m_1^2 = <(\xi - m_1)^2> = <\xi^2> - <\xi>^2 </math> Wielkość ta nazywa się '''wariancją zmiennej losowej, momentem centralnym 2-go rzędu, średnim odchyleniem kwadratowym, średnio-kwadratowym odchyleniem'''. Pierwiastek kwadratowy <math>\sqrt (\sigma^2)</math> nazywa się odchyleniem standardowym lub dyspersją. Moment trzeciego rzędu pojawia się w "skośności" i jest miarą asymetrii gęstości prawdopodobieństa, natomiast moment czwartego rzędu pojawia się w ''kurtosis'', wielkości która jest miarą spłaszczenia (lub ostrości) gęstości prawdopodobieństwa wokół wartości średniej oraz służy też jako miara odstępstwa od rozkładu normalnego (gaussowskiego). ===Funkcja charakterystyczna zmiennej losowej=== Momenty statystyczne zmiennej losowej zostały zdefiniowane w poprzedniej części. Matematyk doszukał by się tam oszustwa matematycznego. Dlaczego? Jeżeli badamy moment statystyczny drugiego rzędu <math>m_2= <\xi^2>\;</math>, to zauważmy że tym wyrażeniu pojawia się wielkość <math>\xi^2</math>, którą de facto nie zdefiniowaliśmy. Wielkość <math>\eta=\xi^2\;</math> jest nową zmienna losową <math>\eta\;</math> określoną na przestrzeni probabilistycznej <math>X</math>. Poniewaz <math>\eta \;</math>jest zmienna losową, więc możemy zdefiniować jej rozkład prawdopodobieństwa <math>h_{\eta}(y)\;</math>. Mając rozkład prawdopodobieństwa <math>h_{\eta}(y)\;</math> można zdefiniować wartość średnią <math><\eta> = \int_{-\infty}^{\infty} y h_{\eta}(y) dy</math> Okazuje się że średnia tą można wyrazić przez wzór <math><\eta> = <\xi^2> = \int_{-\infty}^{\infty} x^2 p_{\xi}(x) dx</math> Z powyższych dwóch wzorów można znależć gęstość <math>h_{\eta}(y)\;</math> z gęstości <math>p_{\xi}(x)\;</math> stosując podstawienie <math>y=x^2\;</math> i dokonując zamiany zmiennej w drugiej całce. Istnieje także ogólniejsza relacja: dla dowolnej funkcji <math>g\;</math> zmiennej losowej <math>\xi\;</math>, to znaczy dla funkcji <math>g(\xi)\;</math>, jej wartość średnia wynosi <math> <g(\xi)> = \int_{-\infty}^{\infty} g(x) p_{\xi}(x) dx</math> Wybierzmy teraz jako funkcję <math>g\;</math> funkcję exponencjalną, to znaczy <math>g(x) = \exp(i\omega x)\;</math>, gdzie <math>\omega \in R\;</math> jest dowolną liczbą rzeczywistą. '''Uwaga: <math>\omega\;</math> nie ma nic wspolnego ze zdarzeniem elementarnym.''' Wówczas otrzymamy <math> <\exp(i \omega \xi> = \int_{-\infty}^{\infty} \exp(i\omega x) p_{\xi}(x) dx</math> Wielkość ta zależy od wartości liczby <math>\omega</math>. Nazywa się ona funkcją charakterystyczną zmiennej losowej <math>\xi</math> i oznacza w następujący sposób: <math>C_{\xi}(\omega) = <e^{i\omega \xi}> = \int_{-\infty}^{\infty} e^{i\omega x} p_{\xi}(x) dx</math> Łatwo zauważyć, że jest to transformata Fouriera gęstości prawdopodobieństa <math> p_{\xi}(x)</math>. Z teorii transformat Fouriera wynika, że relację powyższą można odwrócić i wyrazić gęstości prawdopodobieństwa <math> p_{\xi}(x)</math> przez funkcję charakterystyczną <math>C_{\xi}(\omega)</math>. Innymi słowy, trzeba wykorzystać wzór na transformację odwrotną <math>p_{\xi}(x) = \frac{1}{2\pi} \int_{-\infty}^{\infty} e^{-i\omega x} C_{\xi}(\omega) d\omega </math> Podsumowując, można powiedzieć, że zmienna losowa może być równoważnie scharakteryzowana albo przez dystrybuantę <math>F_{\xi}(x)</math>, albo przez gęstość prawdopodobieństwa <math>p_{\xi}(x)</math>, albo przez funkcję charakterystyczną <math>C_{\xi}(\omega)</math>. Znajomość funkcji charakterystycznej jest wyjątkowo przydatna: bardzo łatwo jest wyznaczyć momenty statystyczne zmiennej losowej. Jeżeli zróżniczkujemy ze względu na <math>\omega</math> relację dla funkcji charakterystycznej, to otrzymamy <math>\frac{dC_{\xi}(\omega)}{d\omega} = \int_{-\infty}^{\infty} e^{i\omega x} (i x) p_{\xi}(x) dx</math> Wyrażenie to dla <math>\omega = 0 </math> przyjmuje postać <math>\frac{dC_{\xi}(\omega)}{d\omega}|_{\omega =0} = i \int_{-\infty}^{\infty} x p_{\xi}(x) dx = i <\xi></math> Widać, że wartość pochodnej funkcji charakterystycznej dla <math>\omega=0</math> determinuje wartość średnią zmiennej losowej. Podobnie otrzymamy <math>\frac{d^k C_{\xi}(\omega)}{d\omega^k}|_{\omega =0} = i^k \int_{-\infty}^{\infty} x^k p_{\xi}(x) dx = i^k <\xi^k></math> Otrzymujemy w ten sposób momenty statystyczne zmiennej losowej. Zamiast uciążliwej procedury obliczania całek, które pojawiają sie w relacjach definiujących momenty statystyczne, wystarczy zróżniczkować funkcję charakterystyczną, co jest operacją technicznie znacznie łatwiejszą niż całkowanie. ===Momenty statystyczne zmiennej losowej dyskretnej=== Wszystkie wzory podane na momenty statystyczne i dla funkcji charakterystycznej sa słuszne zarówno dla zmiennych losowych typu ciągłego jak i typu dyskretnego. Czasami wygodniej jest uprościć powyższe formuły gdy analizujemy zmienne losowe dyskretne. W tym celu, w formułach tych należy wstawić odpowiednie wyrażenie dla gęstości rozkładu prawdopodobieństwa <math>p_{\xi} (x) = \sum_{k=1}^{n} p_k \delta(x-x_k)</math> pamiętając o całkowaniu gdy pod całką występuje delta Diraca (patrz Dodatek matematryczny) Podamy teraz listę odpowiednich formuł dla zmiennej losowej dykretnej <math>\xi = \{x_1, x_2, ..., x_n\}\;</math> gdy <math>Pr(\xi = x_k) = p_k\;</math>. Moment statystyczny l-tego rzędu <math><\xi^l> = \sum_{k=1}^n x_k^l \, p_k </math> Wartość średnia <math><g(\xi)> = \sum_{k=1}^n g(x_k) \, p_k </math> Funkcja charakterystyczna <math>C_{\xi}(\omega) = < e^{i \omega \xi}> = \sum_{k=1}^n e^{i\omega x_k} \, p_k </math> Jak już powyżej stwierdziliśmy, dla zmiennej losowej dyskretnej całki zastępowane są sumami, gęstości prawdopodobieństwa przez prawdopodobieństa, a zmienna całowania przez możliwe wartości zmiennej losowej dyskretnej. ===Dwie zmienne losowe=== Będziemy rozważali jedna przestrzen probabilistyczną, dwie przestrzenie fazowe <math>X</math> i <math>Y</math> oraz dwa odwzorowania: (1) odwzorowanie przestrzeni <math>(\Omega, F, P)</math> w przestrzeń fazową <math>(X, {\mathcal B}_1)</math> wraz z <math>\sigma</math>-algebrą <math>{\mathcal B}_1</math> zbioru <math>X</math>. Zwykle <math>X=R</math> jest zbiorem liczb rzeczywistych, a <math>\sigma</math>-algebrą <math>{\mathcal B}_1</math> są zbiory Borela. Odwzorowanie to oznaczymy przez <math>\xi</math>: <math>\xi : \Omega \to X</math> (2) odwzorowanie przestrzeni <math>(\Omega, F, P)</math> w przestrzeń fazową <math>(Y, {\mathcal B}_2)</math> wraz z <math>\sigma</math>-algebrą <math>{\mathcal B}_2</math> zbioru <math>Y</math>. Zwykle <math>Y=R</math> jest zbiorem liczb rzeczywistych, a <math>\sigma</math>-algebrą <math>{\mathcal B}_2</math> są zbiory Borela. Odwzorowanie to oznaczymy przez <math>\eta</math>: <math>\eta : \Omega \to Y</math> Narzucimy podobne warunki jak dla jednej zmiennej losowej: przeciwobrazy zbiorów Borela <math>B_1 \in {\mathcal B}_1)</math> oraz <math>B_1 \in {\mathcal B}_1)</math> są zdarzeniami w przestrzeni probabilistycznej <math>\Omega</math>. Otrzymujemy w ten sposów dwie zmienne losowe <math>\xi </math> i <math>\eta</math>. Interesują nas teraz łaczne rozkłady prawdopodobieństwa dwóch zmiennych losowych na tej samej przestrzeni <math>\Omega</math>. Dla przykładu zdarzenie <math>\{\xi \in B_1, \eta \in B_2\} = \{\xi \in B_1\} \cap \{\eta \in B_2\} = \{ \eta \in B_2\} \cap \{\xi \in B_1 \} =\{ \eta \in B_2, \xi \in B_1, \} </math> oznacza tyle że zmienna losowa <math>\xi</math> przyjmuje wartości ze zbioru Borela <math>B_1 \in {\mathcal B}_1</math> i jednocześnie zmienna losowa <math>\eta</math> przyjmuje wartości ze zbioru Borela <math>B_2 \in {\mathcal B}_2</math>. Pytamy, ile wynosi prawdopodobieństwo <math>P_{\xi \eta}(B_1, B_2) = Pr(\xi \in B_1, \eta \in B_2) = P(\{\omega: \xi(\omega) \in B_1, \eta(\omega) \in B_2\})</math> Wielkość tą nazywamy '''łącznym rozkładem prawdopodobieństwa dwóch zmiennych losowych''' <math>\xi </math> i <math>\eta</math>. Podobnie definiujemy łączną dystrybuantę dwóch zmiennych losowych <math>F_{\xi \eta}(x, y) = Pr(\xi \le x, \eta \le y) = P(\{\omega: \xi(\omega) \le x, \eta(\omega) \le y\})</math> Stosując konsekwentnie powyższy zapis, możemy podać ciąg równości: <math>F_{\xi \eta}(x, y) = Pr(\xi \le x, \eta \le y) = Pr( \eta \le y, \xi \le x) = F_{\eta \xi}(y, x)</math> Pamiętajmy, że sekwencja poszczególnych oznaczeń (liter) jest tu istotna dla poprawnego zrozumienia różnych zapisów. Łatwo zauważyć, że spełnione są relacje <math>F_{\xi \eta}(x, \infty) = Pr(\xi \le x, \eta \le \infty) = Pr(\xi \le x) = F_{\xi}(x)</math> <math>F_{\xi \eta}(\infty, y) = Pr(\xi \le \infty, \eta \le y) = Pr(\eta \le y) =F_{\eta}(y) </math> Skorzystaliśmy tu z tego, że prawdopodobieństwo tego iż zmienna losowa przyjmuje zawsze skończone wartości wynosi jeden. Innymi slowy, zawsze jest spelniona nierownosc <math>\xi \le \infty</math>. Dystrybuanty <math>F_{\xi}(x)</math> i <math>F_{\eta} (y)</math> nazywaja się '''rozkładami zredukowanymi'''. ====Gęstość rozkładu prawdopodobieństwa==== Dla jednej zmiennej losowej, gęstość rozkładu prawdopodobieństwa była zdefiniowana jako pochodna dystrybuanty <math>F_{\xi}(x)</math> ze względu na <math>x</math>. Dla dwóch zmiennych losowych, dystrybuanta <math>F_{\xi \eta}(x, y)</math> zależy od dwóch zmiennych <math>x</math> i <math>y</math>. Więc gęstość rozkładu prawdopodobieństwa definiujemy jako pochodną ze względu na <math>x</math> i <math>y</math>, czyli pochodną miweszaną drugiego rzędu: :<math>p_{\xi \eta}(x, y) = \frac{\partial^2 F_{\xi \eta}(x, y)}{\partial x \, \partial y} = \frac{\partial^2 F_{\xi \eta}(x, y)}{\partial y \, \partial x}</math> Powyższe wyrażenie scałkujemy obustronnie po <math>x</math> i <math>y</math> w odpowiednich granicach: :<math>\int_{-\infty}^x \int_{-\infty}^y \frac{\partial^2 F_{\xi \eta}(u, v)}{\partial u \, \partial v} du dv = F_{\xi \eta}(x, y) = \int_{-\infty}^x \int_{-\infty}^y p_{\xi \eta}(u, v) du dv </math> Związek ten pozwala wyrazić dystrybuantę przez gęstość prawdopodobieństwa. Przy operacji całkowania wykorzystaliśmy tu własności dystrybuanty: :<math>F_{\xi \eta}(x, -\infty) = Pr(\xi \le x, \eta \le -\infty) = 0 </math> :<math>F_{\xi \eta}(-\infty, y) = Pr(\xi \le -\infty, \eta \le y) = 0 </math> :<math>F_{\xi \eta}(-\infty, -\infty) = Pr(\xi \le -\infty, \eta \le -\infty) = 0 </math> Ponieważ :<math>F_{\xi \eta}(\infty, \infty) = Pr(\xi \le \infty, \eta \le \infty) = 1 </math> więc otrzymujemy warunek unormowania dla gęstości prawdopodobieństwa :<math> \int_{-\infty}^{\infty} \int_{-\infty}^{\infty} p_{\xi \eta}(u, v) du dv = F_{\xi \eta}(\infty, \infty) =1 </math> Prawdopodobieństwo tego, że zmienna losowa <math>\xi \in (x_1, x_2]</math> i zmienna losowa <math>\eta \in (y_1, y_2]</math> wynosi <math>Pr(\xi \in (x_1, x_2], \eta \in (y_1, y_2]) = Pr(x_1 < \xi \le x_2, y_1 < \eta \le y_2) = \int_{x_1}^{x_2} \int_{y_1}^{y_2} p_{\xi \eta}(u, v) du dv</math> Skorzystalismy tu z następującej relacji <math> Pr(x_1 < \xi \le x_2, y_1 < \eta \le y_2) </math> <math> = Pr(x_1 < \xi \le x_2, \eta \le y_2) -Pr(x_1 < \xi \le x_2, \eta \le y_1) </math> <math> = \left[Pr( \xi \le x_2, \eta \le y_2) - Pr( \xi \le x_1, \eta \le y_2) \right] </math> <math> - \left[ Pr( \xi \le x_2, \eta \le y_1) - Pr( \xi \le x_1, \eta \le y_1)\right] </math> <math> = [F(x_2, y_2) - F(x_1, y_2) ] - [ F(x_2, y_1)- F(x_1, y_1)] \, </math> <math> = F(x_2, y_2) - F(x_1, y_2) - F(x_2, y_1)+ F(x_1, y_1)\,</math> oraz z własności całek oznaczonych. Można również podać ogólniejszy wzór dla prawdopodobieństwa rozkładu, a mianowicie prawdopodobieństwo tego, że zmienne losowe <math>\xi</math> i <math>\eta</math> przyjmują wartości z pewnego zbioru <math>D</math> na płaszczyźnie <math> Pr \{ (\xi, \eta) \in D)\} = \int \int_{D} p_{\xi \eta}(x, y) dx dy </math> Innymi słowy, należy gęstość rozkładu prawdopodobieństwa scałować po obszarze <math>D</math>. ====Rozkłady zredukowane==== Jeżeli znamy łączny rozkład prawdopodobieństwa <math>p_{\xi \eta}(x, y)</math> dwóch zmiennych losowych, wówczas znamy też wszystkie charakterystyki jednej zmiennej losowej <math>\xi </math> czy też <math>\eta</math>, to znaczy znamy też rozkłady <math>p_{\xi}(x)</math> i <math>p_{\eta}(y)</math> dla tych zmiennych losowych. Te rozkłady nazywają się rozkładami zredukowanymi (marginalnymi). Jak otrzymać rozkład zredukowany <math>p_{\xi}(x)</math> z rozkładu łącznego <math>p_{\xi \eta}(x, y)</math>? Punktem wyjścia będzie związek całkowy między dystrybuantą <math>F_{\xi \eta}(x, y)</math>a gęstością <math>p_{\xi \eta}(x, y)</math> dany przez równanie, <math> F_{\xi \eta}(x, y) = \int_{-\infty}^x \int_{-\infty}^y p_{\xi \eta}(u, v) du dv </math> Z jednej strony <math> F_{\xi \eta}(x, \infty) = \int_{-\infty}^x \int_{-\infty}^{\infty} p_{\xi \eta}(u, v) du dv </math> Z drugiej strony <math> F_{\xi \eta}(x, \infty) = Pr(\xi \le x, \eta \le \infty) = \Pr(\xi \le x) = F_{\xi}(x) </math> Stąd otrzymujemy równość <math> F_{\xi}(x) = \int_{-\infty}^x \int_{-\infty}^{\infty} p_{\xi \eta}(u, v) du dv </math> Wyraziliśmy w ten sposób dystrybuantę zredukowaną przez łączną gęstość prawdopodobieństwa. Pamietamy, że pochodna dystrybuanty <math> F_{\xi}(x)</math> względem <math>x</math> jest gęstością <math>p_{\xi}(x)</math>, więc <math> \frac{d F_{\xi}(x)}{dx} = p_{\xi}(x) = \int_{-\infty}^{\infty} p_{\xi \eta}(x, v) dv </math> Skorzystaliśmy z podstawowego twierdzenia teorii całki dotyczącego różniczkowania całki względem górnej granicy całkowania (patrz Dodatek). Podobnie można pokazać, że <math> p_{\eta}(y) = \int_{-\infty}^{\infty} p_{\xi \eta}(u, y) du </math> Otrzymujemy następującą receptę na zredukowane rozkłady: Aby otrzymać gęstość rozkładu prawdopodobieństwa dla jednej zmiennej losowej, należy wycałkować łączną gęstość rozkładu prawdopodobieństwa dla dwóch zmiennych losowych po wszystkich możliwych wartościach drugiej zmiennej losowej. W przypadku zmienny losowych dyskretnych obowiązuje ta sama recepta. Ale w tym przypadku odpowiednie wzory można przedstawić w innej postaci. Sprecyzujmy to zagadnienie: Rozważamy dwie zmienne losowe dyskretne o możliwych wartościach <math>\xi = x_i</math> i <math>\eta =y_k</math>, to znaczy <math>\xi = \{x_1, x_2, x_3, ..., x_n\}\;</math> <math>\eta = \{y_1, y_2, y_3, ..., y_m\}\;</math> W ogólności <math>n \ne m</math>, ale możliwe są przypadki gdy <math>n=m</math>. Łączny rozkład prawdopodobieństwa jest określony gdy znamy wszystkie prawdopodobieństwa <math>p_{ik} = Pr\{\xi=x_i, \eta = y_k\} \ge 0</math> Warunek unormowania przyjmuje teraz postać <math>\sum_{i=1}^{n}\sum_{k=1}^{m} p_{ik} = 1</math> Zredukowane prawdopodobieństwa otrzymujemy ze związków <math>p_i= Pr\{ \xi =x_i\} = \sum_{k=1}^{m} p_{ik} </math> <math>q_k= Pr\{ \eta =y_k\} = \sum_{i=1}^{n} p_{ik} </math> Związki te można otrzymać z poprzednich relacji pamiętając, że gęstość rozkładu prawdopodobieństwa dla dwóch zmiennych losowych dyskretnych mozna przedstawić za pomocą wzoru <math>p_{\xi \eta}(x, y) = \sum_{i=1}^{n}\sum_{k=1}^{m} p_{ik} \delta(x-x_i) \delta(y-y_k) </math> Pamiętajmy, że dla jednej zmiennej losowej mamy przedstawienie za pomocą wzorów <math>p_{\xi}(x) = \sum_{i=1}^{n}p_{i} \delta(x-x_i)</math> <math>p_{\eta}(y) = \sum_{k=1}^{m} q_{k} \delta(y-y_k) </math> ===Wektor zmiennych losowych=== W teorii procesów stochastycznych, w teorii szeregów czasowych, w statystyce musimy rozważać wiele (czasami nieskończenie wiele) zmiennych losowych na tej samej przestrzeni probabilistycznej <math>(\Omega, \mathcal F, P)</math>. Mówimy wówczas o wektorze zmiennych losowych lub o wektorze losowym: <math>{\mathbf \xi} = [\xi_1, \xi_2, ..., \xi_n]</math> lub dokładniej <math>{\mathbf \xi}(\omega) = [\xi_1(\omega), \xi_2(\omega), ..., \xi_n(\omega)]</math> Jest to wektor losowy o <math>n</math>-składowych, gdzie <math>\xi_k : \Omega \to X_k \; k=1, 2, 3, \dots , n</math> jest mierzalnym odwzorowaniem w przestrzeń fazową <math>(X_k, {\mathcal B}_k)</math>. Zwykle <math>X_k=R</math> jest zbiorem liczb rzeczywistych, a <math>\sigma</math>-algebrą <math>{\mathcal B}_k</math> są zbiory Borela na zbiorze liczb rzeczywistych. Podobnie jak w przypadku dwóch zmiennych losowych, rozważamy łaczne rozkłady prawdopodobieństwa. <math>P_{{\mathbf \xi}}(B_1, B_2, ..., B_n) = Pr(\xi_1 \in B_1, \xi_2 \in B_2, \ ..., \xi_n \in B_n) </math> <math> = P(\{\omega: \xi_1(\omega) \in B_1, \xi_2(\omega) \in B_2, \ ..., \xi_n(\omega) \in B_n)</math> Wielkość tą nazywamy '''łącznym rozkładem prawdopodobieństwa <math>n</math>-zmiennych losowych''' lub n-wymiarowym rozkładem oprawdopodobieństwa. Podobnie definiujemy łączną dystrybuantę <math>n</math>-zmiennych losowych <math>F(x_1, x_2, ..., x_n) = Pr(\xi_1 \le x_1, \xi_2 \le x_2, ..., \xi_n \le x_n) </math> Nie będziemy używać dolnych wskaźników dla oznaczenia, o jakie zmienne losowe chodzi. Możemy powyzszą dystrybuante nazywać n-wymiarową dystrybuantą i aby to uwypuklić, czasami będziemy oznaczać to dolnym wskaźnikiem jako <math>F_n(x_1, x_2,..., x_n)</math>. Gęstość rozkładu prawdopodobieństwa n-zmiennych losowych definiujemy przez uogólnienie wzorów dla jednej i dwóch zmiennych losowych: <math> p(x_1, x_2, ..., x_n) = \frac{ \partial^n F(x_1, x_2, ..., x_n)}{\partial x_1 \partial x_2 ... \partial x_n} </math> Możemy ją nazwać n-wymiarową gęstością rozkładu prawdopodobieństwa. Warunek unormowania ma postać <math> \int_{-\infty}^{\infty} \int_{-\infty}^{\infty}... \int_{-\infty}^{\infty} p(x_1, x_2, ..., x_n) dx_1 dx_2...dx_n = 1 </math> Wartość średnia funkcji <math>g(\xi_1, \xi_2, ..., \xi_n) </math> wektora losowego '''<math>\xi</math>''' ma postać <math> <g(\xi_1, \xi_2..., \xi_n)> = \int_{-\infty}^{\infty} \int_{-\infty}^{\infty}... \int_{-\infty}^{\infty} g(x_1, x_2, ..., x_n) p(x_1, x_2, ..., x_n) dx_1 dx_2 ... dx_n </math> Funkcja charakterystyczna wektora losowego '''<math>\xi</math>''' jest zdefiniowana podobnie jak dla jednej zmiennej losowej. Wprowadzimy następujące oznaczenia <math>{\mathbf x}= [x_1, x_2, ... , x_n] </math> <math>{\mathbf \omega} = [\omega_1, \omega_2, ... , \omega_n ]</math> <math> d^n{\mathbf x}= dx_1 \, dx_2 \, ... \, dx_n </math> Wówczas funkcja charakterystyczna wektora losowego jest określona przez wzór <math> C_{\mathbf \xi}(\mathbf \omega) = C(\omega_1, \omega_2, \dots \omega_n) = \langle e^{i {\mathbf \omega} \cdot {\mathbf \xi(t)} } \rangle = \langle \exp \left[i \sum_{k=1}^n \omega_k \xi_k(t)\right] \rangle </math> <math> = \int_{-\infty}^{\infty} e^{i {\mathbf \omega} \cdot {\mathbf x} } p_{\mathbf \xi}({\mathbf x}) d^n{\mathbf x} = \int_{-\infty}^{\infty} \int_{-\infty}^{\infty}... \int_{-\infty}^{\infty} e^{i \sum_{k=1}^n \omega_k x_k} p(x_1, x_2, ..., x_n) \, dx_1 dx_2 \dots dx_n </math> Wyrażenie to jest n-wymiarową transformatą Fouriera gęstości rozkładu prawdopodobieństwa <math>p(x_1, x_2, ..., x_n)</math>. Odwrotna transformata Fouriera ma postać <math> p_{{\mathbf \xi}}({\mathbf x}) = p(x_1, x_2, ..., x_n) = \frac{1}{(2\pi)^n} \int_{-\infty}^{\infty} e^{-i {\mathbf \omega} \cdot {\mathbf x} } C_{\xi}({\mathbf \omega}) d^n{\mathbf \omega} </math> <math> = \frac{1}{(2\pi)^n} \int_{-\infty}^{\infty} \int_{-\infty}^{\infty}... \int_{-\infty}^{\infty} e^{-i \sum_{k=1}^n \omega_k x_k} C(\omega_1, \omega_2, \dots \omega_n) \, d\omega_1 d\omega_2 \dots d\omega_n </math> Można też otrzymać zredukowane rozkłady. Mogą to być rozkłady jedno-wymiarowem <math>p(x_k)\;</math>, dwu-wymiarowe <math>p(x_i, x_k)\;</math>, trój-wymiarowe <math>p(x_i, x_j, x_k)\;</math>, itd. Otrzymujemy je z n-wymiarowego rozkładu <math>p(x_1, x_2, ..., x_n)\;</math> poprzez wycałkowanie po odpowiednich zmiennych. Podamy kilka przykładów ilustrujących tę receptę: <math> p(x_1, x_2, x_4) = \int_{-\infty}^{\infty} p(x_1, x_2, x_3, x_4) dx_3 </math> <math> p(x_1, x_4) = \int_{-\infty}^{\infty} \int_{-\infty}^{\infty} p(x_1, x_2, x_3, x_4) dx_2 dx_3 </math> <math> p(x_4) = \int_{-\infty}^{\infty} \int_{-\infty}^{\infty} \int_{-\infty}^{\infty} p(x_1, x_2, x_3, x_4) dx_1 dx_2 dx_3 </math> <math> p(x_2) = \int_{-\infty}^{\infty} \int_{-\infty}^{\infty} \int_{-\infty}^{\infty} p(x_1, x_3, x_4) dx_1 dx_3 dx_4 </math> Powyższa recepta jest uniwersalna pamiętając, że dla zmiennych losowych dyskretnych, całki zastępowane są sumami. ===Rozkłady warunkowe=== '''Prawdopodobieństwo warunkowe''' Rozpatrujemy dwa zdarzenia <math>A</math> i <math>B</math>. Prawdopodobieństwo zajścia zdarzenia <math>A</math> pod warunkiem, że zachodzi zdarzenie <math>B</math> zdefiniowane jest przez wzór :<math>P(A \mid B) = \frac{P(A \cap B)}{P(B)} </math> Definicja ta ma sens pod warunkiem, że <math>P(B) \ne 0</math>. Bazując na tej relacji wprowadzimy różne '''warunkowe rozkłady prawdopodobieństwa''' dla zmiennych losowych. Zaczniemy od dwóch zmiennych losowych <math>\xi</math> i <math>\eta</math>. Uogólnienia będą oczywiste. 1. '''Dystrybuanty warunkowe''' Niech <math>M</math> będzie zdarzeniem i niech <math>P(M) > 0</math>. Wówczas :<math>F_{\xi}(x|M) = P\{ \xi\le x|M\} = \frac{ P\{ \xi\le x, M\}}{P(M)}</math> :<math>F_{\xi \eta}(x, y|M) = P\{ \xi\le x, \eta \le y |M\} = \frac{ P\{ \xi\le x, \eta\le y, M\}}{P(M)}</math> 2. '''Warunkowe gęstości rozkładów prawdopodobieństwa''' definiuje się podobnie jak (bezwarunkowe) gęstości rozkładów prawdopodobieństwa, a mianowicie są to pochodne warunkowych dystrybuant: :<math>p_{\xi}(x|M) = \frac{\partial F_{\xi}(x|M)}{\partial x} </math> :<math>p_{\xi \eta}(x, y|M) = \frac{\partial^2 F_{\xi \eta}(x, y|M) }{\partial x \,\partial y} </math> 3. Niech <math>M=\{\eta \le y\}\,</math>. Wówczas :<math>F_{\xi}(x|\eta \le y) = \frac{ P\{ \xi\le x, \eta \le y\}}{P\{\eta \le y\}} = \frac{F_{\xi \eta}(x, y)}{F_{\eta}(y)}</math> Relacja ta jest podobna do wzoru definiującego prawdopodobieństwo warunkowe: Jest to prawdopodobieństwo iloczynu dwóch zdarzeń <math>\{ \xi\le x\}</math> i <math>\{ \eta\le y\}</math> dzielone przez prawdopodobieństwo zadrzenia <math>\{ \eta\le y\}</math>. 4. Niech <math>M=\{y_1 < \eta \le y_2\}\,</math> oraz niech <math>P(M) = P\{y_1 < \eta \le y_2\} = F_{\eta}(y_2) - F_{\eta}(y_1) \ne 0\,</math>. Wówczas :<math>F_{\xi}(x|y_1 < \eta \le y_2) = \frac{ P\{ \xi\le x, y_1 < \eta \le y_2\}}{P\{y_1 < \eta \le y_2\}} = \frac{F_{\xi \eta}(x, y_2) - F_{\xi \eta}(x, y_1)}{F_{\eta}(y_2) - F_{\eta}(y_1)}</math> 5. '''Przykład najważniejszy''': Niech <math> M=\{\eta = y\}\, </math> oraz niech <math>p_{\eta}(y) \ne 0 \,</math>. Zdefiniujemy wielkość :<math>F_{\xi}(x|\eta = y) = \lim_{h \to 0} F_{\xi}(x|y< \eta \le y+h)</math> Jest to prawdopodobieństwo tego, że zmienna losowa <math>\xi \le x</math> pod warunkiem, że zmienna losowa <math>\eta\,</math> przyjmuje konkretna wartość <math>y</math> i zapisujemy to w postaci <math>\eta = y\,</math>. Korzystając z poprzedniego przykładu możemy napisać :<math>F_{\xi}(x|\eta =y) = \lim_{h\to 0} \frac{F_{\xi \eta}(x, y+h) - F_{\xi \eta}(x, y)}{F_{\eta}(y+h)-F_{\eta}(y)} = \frac{ \frac{\partial F_{\xi\eta}(x, y)}{\partial y}}{ \frac{dF_{\eta}(y)}{dy}}</math> Skorzystaliśmy z definicji pochodnej zwyczajnej funkcji jednej zmiennej i pochodnej cząstkowej funkcji wielu zmiennych. Przypomnimy relację z rozdziału "Dwie zmienne losowe, Rozkłady zredukowane" :<math> F_{\xi \eta}(x, y) = \int_{-\infty}^x \int_{-\infty}^y p_{\xi \eta}(u, v) du dv </math> Korzystamy teraz z podstawowego twierdzenia w teorii całek i zróżniczkujemy powyższą relację względem górnej granicy całkowania czyli zmiennej <math>y</math>, :<math> \frac{\partial F_{\xi\eta}(x, y)}{\partial y} = \int_{-\infty}^x p_{\xi \eta}(u, y) du </math> Pamietamy także, że <math>\frac{dF_{\eta}(y)}{dy}= p_{\eta}(y)</math> Wyznaczmy teraz warunkową gęstość rozkładu prawdopodobieństwa zmiennej losowej <math>\xi</math> pod warunkiem, że zmienna losowa <math>\eta =y</math>: :<math>p_{\xi}(x|\eta=y) = \frac{\partial F_{\xi \eta}(x, y)}{\partial x} = \frac{p_{\xi \eta}(x, y)}{p_{\eta}(y)} </math> Przepiszemy go w uproszczonej postaci, mając nadzieję, że czytelnik będzie pamiętać o jego prawidłowej interpretacji: <math>p(x|y) = \frac{p(x, y)}{p(y)} </math> Jeżeli mamy wektor zmiennych losowych, to możemy wyznaczać wielowymiarowe rozkłady warunkowe. Poniżej podamy kilka przykładów takich rozkładów: :<math>p(x|y, z) = \frac{p(x, y, z)}{p(y, z)} </math> :<math>p(x, y| z) = \frac{p(x, y, z)}{p(z)} </math> :<math>p(x_1, x_2, x_3|x_4, x_5, x_6, x_7) = \frac{p(x_1, x_2, x_3, x_4, x_5, x_6, x_7)}{p(x_4, x_5, x_6, x_7)} </math> Z powyższych relacji wynika prosta reguła wyznaczania rozkładów warunkowych: gęstość warunkowa to iloraz dwóch gęstości, gęstości łącznej podzielonej przez gęstość zmiennych losowych występujących w warunku. W ogólności <math>p(x_1, \dots, x_k|x_{k+1}, \dots, x_n) = \frac{p(x_1, \dots, x_k, x_{k+1}, \dots, x_n)}{p(x_{k+1}, \dots, x_n)} </math> lub w innym zapisie <math>p(x_n, \dots, x_{k+1}|x_{k}, \dots, x_1) = \frac{p(x_n, \dots, x_{k+1}, x_{k}, \dots, x_1)}{p(x_{k}, \dots, x_1)} </math> W szczególności zachodzi <math>p(x_n|x_{n-1}, \dots, x_1) = \frac{p(x_n, x_{n-1}, \dots, x_1)}{p(x_{n-1}, \dots, x_1)} </math> Stąd <math>p(x_n, x_{n-1}, \dots, x_1) = p(x_n| x_{n-1}, \dots, x_1)\, p(x_{n-1}, \dots, x_1) </math> Możemy teraz <math>p( x_{n-1}, \dots, x_1)</math> wyrazić przez podobny związek zmieniając <math>n \to n-1</math>. Po wstawieniu do powyższego wzoru otrzymy <math>p(x_n, x_{n-1}, \dots, x_1) = p(x_n| x_{n-1}, \dots, x_1)\, p(x_{n-1}|x_{n-2}, \dots, x_1) \,p(x_{n-2}, \dots, x_1) </math> Kontunuując tą procedurę otrzymamy <math>p(x_n, x_{n-1}, \dots, x_1) = p(x_n| x_{n-1}, \dots, x_1)\,</math> <math> \times p(x_{n-1}|x_{n-2}, \dots, x_1)\, \dots p(x_3|x_2, x_1)\,p(x_2|x_1)\, p(x_1) </math> Innymi słowy, gęstość wielowymiarową można otrzymać z warunkowych gęstości jednowymiarowych <math>p(x_i| x_{i-1}, \dots, x_1)\, </math> oraz z jednowymiarowej gęstości <math>p(x)</math>. Z powyższych relacji oraz wzorów redukcyjnych dla gęstości wielowymiarowych wynikają związki przydatne w teorii procesów stochastycznych. Przytoczymy tu najważniejszy z nich <math>p(x_2|x_0) = \int_{-\infty}^{\infty} p(x_2|x_1, x_0) p(x_1|x_0) dx_1 </math> Dowód tej relacji jest prosty. W pierwszym rzędzie po całką korzystamy z relacji dla gęstości warunkowych : :<math> \int_{-\infty}^{\infty} \frac{p(x_2, x_1, x_0)}{ p(x_1, x_0)} \; \; \frac{ p(x_1, x_0)}{p(x_0)} dx_1 = \int_{-\infty}^{\infty} \frac{p(x_2, x_1, x_0)}{p(x_0)} dx_1 </math> :<math> = \frac{1}{p(x_0) }\int_{-\infty}^{\infty} p(x_2, x_1, x_0) dx_1 = \frac{p(x_2, x_0)}{p(x_0) } = p(x_2|x_0) </math> Jeżeli dla gęstości warunkowej zachodzi relacja :<math> p(x_2|x_1, x_0) = p(x_2|x_1)\; </math> wówczas powyższy wzór ma postać <math>p(x_2|x_0) = \int_{-\infty}^{\infty} p(x_2|x_1) p(x_1|x_0) dx_1 </math> Odpowiednik tego równania w teorii procesów stochastycznych nazywa się '''równaniem Chapmana-Kołmogorowa''', które w dalszych rozdziałach wykorzystamy do analizy '''procesów stochastycznych Markowa'''. ===Zmienne losowe niezależne === Jeżeli rzucamy dwukrotnie monetą, to wynik w drugim rzucie nie zależy od wyniku w pierwszym rzucie (oczywiście zakładamy, że nie oszukujemy). Jeżeli wynik w pierwszym rzucie oznaczymy jako <math>\xi</math>, a w drugim rzucie jako <math>\eta</math> i nazwiemy je zmiennymi losowymi, to możemy powiedzieć że te dwie zmienne losowe są od siebie niezależne. To intuicyjne pojęcie niezależności można sprecyzować matematycznie dla dowolnych zmiennych losowych. Jeżeli mamy dwie dowolne zmienne losowe <math>\xi</math> i <math>\eta</math>, to powiemy, że są one niezależne gdy dla dowolnych zbiorów Borela <math>B_1 \in X</math> oraz <math>B_2 \in Y</math> w przestrzeni fazowej <math>X</math> zmiennej losowej <math>\xi</math> i przestrzeni fazowej <math>Y</math> zmiennej losowej <math>\eta</math> zachodzi relacja <math>P_{\xi \eta}(B_1, B_2) = Pr(\xi \in B_1, \eta \in B_2) = Pr(\xi \in B_1) Pr(\eta \in B_2) = P_{\xi}(B_1) P_{\eta}(B_2)</math> Inaczej mówiąc, zdarzenia <math>\{\xi \in B_1\}</math> i <math>\{\eta \in B_2\}</math> są niezależne i łączny rozkład prawdopodobieństwa jest iloczynem rozkładów dla poszczególnych zmiennych losowych. Jeszcze inaczej mówiąc, dwu-wymiarowy rozkład prawdopodobieństwa jest iloczynem rozkładów jedno-wymiarowych. Jeżeli jako zbiory <math>B_1</math> i <math>B_2</math> wybierzemy półproste <math>B_1= (-\infty, x]</math> i <math>B_2= (-\infty, y]</math> to dla niezależnych zmiennych losowych zachodzi <math>F_{\xi \eta}(x, y) = F_{\xi}(x) F_{\eta}(y)</math> Różniczkując to wyrażenie względem <math>x</math>, a następnie względem <math>y</math> (lub odwrotnie) stwierdzamy, że <math>p_{\xi \eta}(x, y) = p_{\xi}(x) p_{\eta}(y)</math> Tak więc dla zmiennych losowych niezależnych wszelkie dwu-wymiarowe (łączne) rozkłady są iloczynem rozkładów jedno-wymiarowych (zredukowanych). Dla wektora zmiennych losowych '''<math>\xi</math>''' <math>= [\xi_1, \xi_2, \xi_3, ..., \xi_n]</math> zmienne losowe są między sobą niezależne, gdy łaczny rozkład prawdopodobieństwa. <math>P_{\xi}(B_1, B_2, ..., B_n) = Pr(\xi_1 \in B_1, \xi_2 \in B_2, ..., \xi_n \in B_n) </math> <math> = Pr(\xi_1 \in B_1) Pr(\xi_2 \in B_2) ... Pr(\xi_n \in B_n) = P_{\xi_1}(x_1) P_{\xi_2}(x_2) ... P_{\xi_n}(x_n)</math> Podobnie łączna dystrybuanta jest iloczynem jedno-wymiarowych dystrybuant dla poszczególnych zmiennych losowych <math>F(x_1, x_2, ..., x_n) = F_{\xi_1}(x_1) F_{\xi_2}(x_2) ... F_{\xi_n}(x_n)</math> Różniczkując to wyrażenie po kolei względem <math>x_1, x_2, ... x_n</math> (mozna jednokrotnie różniczkować względem każdej ze zmiennych w dowolnej kolejności) stwierdzamy, że <math>p(x_1, x_2, ..., x_n) = p_{\xi_1}(x_1) p_{\xi_2}(x_2) ... p_{\xi_n}(x_n)</math> Uwaga: to nie oznacza, że teoria zmiennych losowych niezależnych upraszcza się do teorii jednej zmiennej losowej. Dla zmiennych losowych niezależnych, funkcja charakterystyczna wektora losowego ma postać <math>C_{\xi}(\omega) = C(\omega_1, \omega_2, \dots \omega_n) = \int_{-\infty}^{\infty} \int_{-\infty}^{\infty}... \int_{-\infty}^{\infty} e^{i \sum_{k=1}^n \omega_k x_k} p(x_1, x_2, ..., x_n) \, dx_1 dx_2 \dots dx_n </math> <math>= \int_{-\infty}^{\infty} \int_{-\infty}^{\infty}... \int_{-\infty}^{\infty} e^{i \omega_1 x_1}\,e^{i \omega_2 x_2} ... \,e^{i \omega_n x_n} \, p_{\xi_1}(x_1) \,p_{\xi_2}(x_2) ... \, p_{\xi_n}(x_n) \, dx_1 \,dx_2 \dots dx_n </math> <math> = \int_{-\infty}^{\infty} dx_1 e^{i \omega_1 x_1}\, p_{\xi_1}(x_1) \int_{-\infty}^{\infty} dx_2 \, e^{i \omega_2 x_2} \, p_{\xi_2}(x_2) \dots \int_{-\infty}^{\infty} dx_n e^{i \omega_n x_n}p_{\xi_n}(x_n) </math> <math> = C_{\xi_1}(\omega_1) C_{\xi_2}(\omega_2) \dots C_{\xi_n}(\omega_n) </math> czyli funkcja charakterystyczna wektora losowego <math>{\mathbf \xi}</math> jest iloczynem funkcji charakterystycznych składowych <math>\xi_i</math> wektora losowego <math>C(\omega_1, \omega_2, \dots \omega_n) = C_{\xi_1}(\omega_1) C_{\xi_2}(\omega_2) \dots C_{\xi_n}(\omega_n) </math> Często bywa tak, że różne zmienne losowe <math>\xi_i</math> mają ten sam rozkład prawdopodobieństwa <math>p(x) = p_{\xi_i}(x)</math>. Tak jest, jeżeli rzucamy n-razy monetą. Wówczas wynik i-tego rzutu nie zależy od wyniku k-tego rzutu. Mówimy wówczas o zmiennych losowych niezależnych i o identycznym rozkładzie (ang. independent and identically distributed: iid). Relacja powyższa jest często wykorzystywana i ma ogromne zastosowanie w różnych działach nauki i praktyki, w szczegolności jest podstawą szeregu konkluzji w statystyce.

Wróć do strony PIZL:Elementy teorii prawdopodobieństa.