ñòàòüèGNU Free Documentation License ìàòåðèàëû âçÿòû èç Âèêèïåäèè Ñòàòüÿ áûëà èçìåíåíà. Îðèãèíàë ñòàòüè.

Âåðîÿòíîñòíîå ïðîñòðàíñòâî

Ìàòåðèàë èç Ýíöèêëîïåäèè â ñâîáîäíîé ýíöèêëîïåäèè
Ïåðåéòè ê: íàâèãàöèÿ, ïîèñê

Âåðîÿ́òíîñòíîå ïðîñòðà́íñòâî â ïîíÿòèå, ââåä¸ííîå À. Í. Êîëìîãîðîâûì â 30-õ ãîäàõ XX âåêà äëÿ ôîðìàëèçàöèè ïîíÿòèÿ âåðîÿòíîñòè, êîòîðîå äàëî íà÷àëî áóðíîìó ðàçâèòèþ òåîðèè âåðîÿòíîñòåé êàê ñòðîãîé ìàòåìàòè÷åñêîé äèñöèïëèíû.

Ñîäåðæàíèå

[ïðàâèòü] Îïðåäåëåíèå

Âåðîÿòíîñòíîå ïðîñòðàíñòâî â ýòî òðîéêà (\Omega,\mathfrak{F},\mathsf{P}) (èíîãäà îáðàìëÿåìàÿ óãëîâûìè ñêîáêàìè: \langle,\rangle), ãäå

[ïðàâèòü] Çàìå÷àíèÿ

  • Ýëåìåíòàðíûå ñîáûòèÿ (ýëåìåíòû \Omega), ïî îïðåäåëåíèþ, â ýòî èñõîäû ñëó÷àéíîãî ýêñïåðèìåíòà, èç êîòîðûõ â ýêñïåðèìåíòå ïðîèñõîäèò ðîâíî îäèí.
  • Êàæäîå ñëó÷àéíîå ñîáûòèå (ýëåìåíò \mathfrak{F}) â ýòî ïîäìíîæåñòâî \Omega. Ãîâîðÿò, ÷òî â ðåçóëüòàòå ýêñïåðèìåíòà ïðîèçîøëî ñëó÷àéíîå ñîáûòèå A\subseteq\Omega, åñëè (ýëåìåíòàðíûé) èñõîä ýêñïåðèìåíòà ÿâëÿåòñÿ ýëåìåíòîì A.
    Òðåáîâàíèå, ÷òî \mathfrak{F} ÿâëÿåòñÿ ñèãìà-àëãåáðîé ïîäìíîæåñòâ \Omega, ïîçâîëÿåò, â ÷àñòíîñòè, ãîâîðèòü î âåðîÿòíîñòè ñëó÷àéíîãî ñîáûòèÿ, ÿâëÿþùåãîñÿ îáúåäèíåíèåì ñ÷åòíîãî ÷èñëà ñëó÷àéíûõ ñîáûòèé, à òàêæå î âåðîÿòíîñòè äîïîëíåíèÿ ëþáîãî ñîáûòèÿ.

[ïðàâèòü] Êîíå÷íûå âåðîÿòíîñòíûå ïðîñòðàíñòâà

Ïðîñòûì è ÷àñòî èñïîëüçóåìûì ïðèìåðîì âåðîÿòíîñòíîãî ïðîñòðàíñòâà ÿâëÿåòñÿ êîíå÷íîå ïðîñòðàíñòâî. Ïóñòü \Omega â êîíå÷íîå ìíîæåñòâî, ñîäåðæàùåå \vert\Omega\vert = n ýëåìåíòîâ.

 êà÷åñòâå ñèãìà-àëãåáðû óäîáíî âçÿòü ñåìåéñòâî ïîäìíîæåñòâ \Omega. Åãî ÷àñòî ñèìâîëè÷åñêè îáîçíà÷àþò 2^{\Omega}. Ëåãêî ïîêàçàòü, ÷òî îáùåå ÷èñëî ÷ëåíîâ ýòîãî ñåìåéñòâà, ò.å. ÷èñëî ðàçëè÷íûõ ñëó÷àéíûõ ñîáûòèé, êàê ðàç ðàâíî 2^{\vert \Omega \vert}, ÷òî îáúÿñíÿåò îáîçíà÷åíèå.

Âåðîÿòíîñòü, âîîáùå ãîâîðÿ, ìîæíî îïðåäåëÿòü ïðîèçâîëüíî. ×àñòî, îäíàêî, íåò ïðè÷èí ñ÷èòàòü, ÷òî îäèí ýëåìåíòàðíûé èñõîä ÷åì-ëèáî ïðåäïî÷òèòåëüíåå äðóãîãî. Òîãäà åñòåñòâåííûì ñïîñîáîì ââåñòè âåðîÿòíîñòü ÿâëÿåòñÿ:

\mathsf{P}(A) = \frac{n_A}{n},

ãäå A\subset\Omega, è \vert A \vert = n_A - ÷èñëî ýëåìåíòàðíûõ èñõîäîâ, ïðèíàäëåæàùèõ A.

 ÷àñòíîñòè, âåðîÿòíîñòü ëþáîãî ýëåìåíòàðíîãî ñîáûòèÿ:

 \mathsf{P}(\{\omega\}) = \frac{1}{n},\; \forall \omega \in \Omega.

[ïðàâèòü] Ïðèìåð

Ðàññìîòðèì ýêñïåðèìåíò ñ áðîñàíèåì óðàâíîâåøåííîé ìîíåòû. Åñòåñòâåííûì áóäåò âçÿòü äâà ñîáûòèÿ: âûïàäåíèå ãåðáà (\Gamma) è âûïàäåíèå ðåøêè (\mathrm{P}), òî åñòü \Omega=\{\Gamma,\mathrm{P}\}. Òîãäà \mathfrak{F} = \{\{\Gamma\},\{\mathrm{P}\},\{\Gamma,\mathrm{P}\},\varnothing\}, è âåðîÿòíîñòü ìîæíî ïîñ÷èòàòü ñëåäóþùèì îáðàçîì:

 \mathsf{P}(\{\Gamma\}) = \frac{1}{2},\; \mathsf{P}(\{\mathrm{P}\}) = \frac{1}{2},\; \mathsf{P}(\{\Gamma,\mathrm{P}\}) = 1,\; \mathsf{P}(\varnothing) = 0.

Òàêèì îáðàçîì îïðåäåëåíà òðîéêà (\Omega,\mathfrak{F},\mathsf{P}) â âåðîÿòíîñòíîå ïðîñòðàíñòâî, â ðàìêàõ êîòîðîãî ìîæíî ðàññìàòðèâàòü ðàçëè÷íûå çàäà÷è.

Ïðîñòðàíñòâà èì¸í

Âàðèàíòû
Äåéñòâèÿ