\(\newcommand{\footnotename}{footnote}\)
\(\def \LWRfootnote {1}\)
\(\newcommand {\footnote }[2][\LWRfootnote ]{{}^{\mathrm {#1}}}\)
\(\newcommand {\footnotemark }[1][\LWRfootnote ]{{}^{\mathrm {#1}}}\)
\(\newcommand \ensuremath [1]{#1}\)
\(\newcommand {\LWRframebox }[2][]{\fbox {#2}} \newcommand {\framebox }[1][]{\LWRframebox } \)
\(\newcommand {\setlength }[2]{}\)
\(\newcommand {\addtolength }[2]{}\)
\(\newcommand {\setcounter }[2]{}\)
\(\newcommand {\addtocounter }[2]{}\)
\(\newcommand {\cline }[1]{}\)
\(\newcommand {\directlua }[1]{\text {(directlua)}}\)
\(\newcommand {\luatexdirectlua }[1]{\text {(directlua)}}\)
\(\newcommand {\protect }{}\)
\(\def \LWRabsorbnumber #1 {}\)
\(\def \LWRabsorbquotenumber "#1 {}\)
\(\def \mathchar {\ifnextchar "\LWRabsorbquotenumber \LWRabsorbnumber }\)
\(\def \mathcode #1={\mathchar }\)
\(\let \delcode \mathcode \)
\(\let \delimiter \mathchar \)
\(\let \LWRref \ref \)
\(\renewcommand {\ref }{\ifstar \LWRref \LWRref }\)
\(\newcommand {\intertext }[1]{\text {#1}\notag \\}\)
\(\newcommand {\mathllap }[2][]{{#1#2}}\)
\(\newcommand {\mathrlap }[2][]{{#1#2}}\)
\(\newcommand {\mathclap }[2][]{{#1#2}}\)
\(\newcommand {\mathmbox }[1]{#1}\)
\(\newcommand {\clap }[1]{#1}\)
\(\newcommand {\LWRmathmakebox }[2][]{#2}\)
\(\newcommand {\mathmakebox }[1][]{\LWRmathmakebox }\)
\(\newcommand {\cramped }[2][]{{#1#2}}\)
\(\newcommand {\crampedllap }[2][]{{#1#2}}\)
\(\newcommand {\crampedrlap }[2][]{{#1#2}}\)
\(\newcommand {\crampedclap }[2][]{{#1#2}}\)
\(\newenvironment {crampedsubarray}[1]{}{}\)
\(\newcommand {\crampedsubstack }{}\)
\(\newcommand {\smashoperator }[2][]{#2\limits }\)
\(\newcommand {\adjustlimits }{}\)
\(\newcommand {\SwapAboveDisplaySkip }{}\)
\(\require {extpfeil}\)
\(\Newextarrow \xleftrightarrow {10,10}{0x2194}\)
\(\Newextarrow \xLeftarrow {10,10}{0x21d0}\)
\(\Newextarrow \xhookleftarrow {10,10}{0x21a9}\)
\(\Newextarrow \xmapsto {10,10}{0x21a6}\)
\(\Newextarrow \xRightarrow {10,10}{0x21d2}\)
\(\Newextarrow \xLeftrightarrow {10,10}{0x21d4}\)
\(\Newextarrow \xhookrightarrow {10,10}{0x21aa}\)
\(\Newextarrow \xrightharpoondown {10,10}{0x21c1}\)
\(\Newextarrow \xleftharpoondown {10,10}{0x21bd}\)
\(\Newextarrow \xrightleftharpoons {10,10}{0x21cc}\)
\(\Newextarrow \xrightharpoonup {10,10}{0x21c0}\)
\(\Newextarrow \xleftharpoonup {10,10}{0x21bc}\)
\(\Newextarrow \xleftrightharpoons {10,10}{0x21cb}\)
\(\newcommand {\LWRdounderbracket }[3]{\underset {#3}{\underline {#1}}}\)
\(\newcommand {\LWRunderbracket }[2][]{\LWRdounderbracket {#2}}\)
\(\newcommand {\underbracket }[1][]{\LWRunderbracket }\)
\(\newcommand {\LWRdooverbracket }[3]{\overset {#3}{\overline {#1}}}\)
\(\newcommand {\LWRoverbracket }[2][]{\LWRdooverbracket {#2}}\)
\(\newcommand {\overbracket }[1][]{\LWRoverbracket }\)
\(\newcommand {\LATEXunderbrace }[1]{\underbrace {#1}}\)
\(\newcommand {\LATEXoverbrace }[1]{\overbrace {#1}}\)
\(\newenvironment {matrix*}[1][]{\begin {matrix}}{\end {matrix}}\)
\(\newenvironment {pmatrix*}[1][]{\begin {pmatrix}}{\end {pmatrix}}\)
\(\newenvironment {bmatrix*}[1][]{\begin {bmatrix}}{\end {bmatrix}}\)
\(\newenvironment {Bmatrix*}[1][]{\begin {Bmatrix}}{\end {Bmatrix}}\)
\(\newenvironment {vmatrix*}[1][]{\begin {vmatrix}}{\end {vmatrix}}\)
\(\newenvironment {Vmatrix*}[1][]{\begin {Vmatrix}}{\end {Vmatrix}}\)
\(\newenvironment {smallmatrix*}[1][]{\begin {matrix}}{\end {matrix}}\)
\(\newenvironment {psmallmatrix*}[1][]{\begin {pmatrix}}{\end {pmatrix}}\)
\(\newenvironment {bsmallmatrix*}[1][]{\begin {bmatrix}}{\end {bmatrix}}\)
\(\newenvironment {Bsmallmatrix*}[1][]{\begin {Bmatrix}}{\end {Bmatrix}}\)
\(\newenvironment {vsmallmatrix*}[1][]{\begin {vmatrix}}{\end {vmatrix}}\)
\(\newenvironment {Vsmallmatrix*}[1][]{\begin {Vmatrix}}{\end {Vmatrix}}\)
\(\newenvironment {psmallmatrix}[1][]{\begin {pmatrix}}{\end {pmatrix}}\)
\(\newenvironment {bsmallmatrix}[1][]{\begin {bmatrix}}{\end {bmatrix}}\)
\(\newenvironment {Bsmallmatrix}[1][]{\begin {Bmatrix}}{\end {Bmatrix}}\)
\(\newenvironment {vsmallmatrix}[1][]{\begin {vmatrix}}{\end {vmatrix}}\)
\(\newenvironment {Vsmallmatrix}[1][]{\begin {Vmatrix}}{\end {Vmatrix}}\)
\(\newcommand {\LWRmultlined }[1][]{\begin {multline*}}\)
\(\newenvironment {multlined}[1][]{\LWRmultlined }{\end {multline*}}\)
\(\let \LWRorigshoveleft \shoveleft \)
\(\renewcommand {\shoveleft }[1][]{\LWRorigshoveleft }\)
\(\let \LWRorigshoveright \shoveright \)
\(\renewcommand {\shoveright }[1][]{\LWRorigshoveright }\)
\(\newenvironment {dcases}{\begin {cases}}{\end {cases}}\)
\(\newenvironment {dcases*}{\begin {cases}}{\end {cases}}\)
\(\newenvironment {rcases}{\begin {cases}}{\end {cases}}\)
\(\newenvironment {rcases*}{\begin {cases}}{\end {cases}}\)
\(\newenvironment {drcases}{\begin {cases}}{\end {cases}}\)
\(\newenvironment {drcases*}{\begin {cases}}{\end {cases}}\)
\(\newenvironment {cases*}{\begin {cases}}{\end {cases}}\)
\(\newcommand {\MoveEqLeft }[1][]{}\)
\(\def \LWRAboxed #1!|!{\fbox {\(#1\)}&\fbox {\(#2\)}} \newcommand {\Aboxed }[1]{\LWRAboxed #1&&!|!} \)
\( \newcommand {\LWRABLines }[1][\Updownarrow ]{#1 \notag \\}\newcommand {\ArrowBetweenLines }{\ifstar \LWRABLines \LWRABLines } \)
\(\newcommand {\shortintertext }[1]{\text {#1}\notag \\}\)
\(\newcommand {\vdotswithin }[1]{\hspace {.5em}\vdots }\)
\(\newcommand {\LWRshortvdotswithinstar }[1]{\vdots \hspace {.5em} & \\}\)
\(\newcommand {\LWRshortvdotswithinnostar }[1]{& \hspace {.5em}\vdots \\}\)
\(\newcommand {\shortvdotswithin }{\ifstar \LWRshortvdotswithinstar \LWRshortvdotswithinnostar }\)
\(\newcommand {\MTFlushSpaceAbove }{}\)
\(\newcommand {\MTFlushSpaceBelow }{\\}\)
\(\newcommand \lparen {(}\)
\(\newcommand \rparen {)}\)
\(\newcommand {\ordinarycolon }{:}\)
\(\newcommand {\vcentcolon }{\mathrel {\mathop \ordinarycolon }}\)
\(\newcommand \dblcolon {\vcentcolon \vcentcolon }\)
\(\newcommand \coloneqq {\vcentcolon =}\)
\(\newcommand \Coloneqq {\dblcolon =}\)
\(\newcommand \coloneq {\vcentcolon {-}}\)
\(\newcommand \Coloneq {\dblcolon {-}}\)
\(\newcommand \eqqcolon {=\vcentcolon }\)
\(\newcommand \Eqqcolon {=\dblcolon }\)
\(\newcommand \eqcolon {\mathrel {-}\vcentcolon }\)
\(\newcommand \Eqcolon {\mathrel {-}\dblcolon }\)
\(\newcommand \colonapprox {\vcentcolon \approx }\)
\(\newcommand \Colonapprox {\dblcolon \approx }\)
\(\newcommand \colonsim {\vcentcolon \sim }\)
\(\newcommand \Colonsim {\dblcolon \sim }\)
\(\newcommand {\nuparrow }{\mathrel {\cancel {\uparrow }}}\)
\(\newcommand {\ndownarrow }{\mathrel {\cancel {\downarrow }}}\)
\(\newcommand {\bigtimes }{\mathop {\Large \times }\limits }\)
\(\newcommand {\prescript }[3]{{}^{#1}_{#2}#3}\)
\(\newenvironment {lgathered}{\begin {gathered}}{\end {gathered}}\)
\(\newenvironment {rgathered}{\begin {gathered}}{\end {gathered}}\)
\(\newcommand {\splitfrac }[2]{{}^{#1}_{#2}}\)
\(\let \splitdfrac \splitfrac \)
\(\newcommand {\LWRoverlaysymbols }[2]{\mathord {\smash {\mathop {#2\strut }\limits ^{\smash {\lower 3ex{#1}}}}\strut }}\)
\(\newcommand{\alphaup}{\unicode{x03B1}}\)
\(\newcommand{\betaup}{\unicode{x03B2}}\)
\(\newcommand{\gammaup}{\unicode{x03B3}}\)
\(\newcommand{\digammaup}{\unicode{x03DD}}\)
\(\newcommand{\deltaup}{\unicode{x03B4}}\)
\(\newcommand{\epsilonup}{\unicode{x03F5}}\)
\(\newcommand{\varepsilonup}{\unicode{x03B5}}\)
\(\newcommand{\zetaup}{\unicode{x03B6}}\)
\(\newcommand{\etaup}{\unicode{x03B7}}\)
\(\newcommand{\thetaup}{\unicode{x03B8}}\)
\(\newcommand{\varthetaup}{\unicode{x03D1}}\)
\(\newcommand{\iotaup}{\unicode{x03B9}}\)
\(\newcommand{\kappaup}{\unicode{x03BA}}\)
\(\newcommand{\varkappaup}{\unicode{x03F0}}\)
\(\newcommand{\lambdaup}{\unicode{x03BB}}\)
\(\newcommand{\muup}{\unicode{x03BC}}\)
\(\newcommand{\nuup}{\unicode{x03BD}}\)
\(\newcommand{\xiup}{\unicode{x03BE}}\)
\(\newcommand{\omicronup}{\unicode{x03BF}}\)
\(\newcommand{\piup}{\unicode{x03C0}}\)
\(\newcommand{\varpiup}{\unicode{x03D6}}\)
\(\newcommand{\rhoup}{\unicode{x03C1}}\)
\(\newcommand{\varrhoup}{\unicode{x03F1}}\)
\(\newcommand{\sigmaup}{\unicode{x03C3}}\)
\(\newcommand{\varsigmaup}{\unicode{x03C2}}\)
\(\newcommand{\tauup}{\unicode{x03C4}}\)
\(\newcommand{\upsilonup}{\unicode{x03C5}}\)
\(\newcommand{\phiup}{\unicode{x03D5}}\)
\(\newcommand{\varphiup}{\unicode{x03C6}}\)
\(\newcommand{\chiup}{\unicode{x03C7}}\)
\(\newcommand{\psiup}{\unicode{x03C8}}\)
\(\newcommand{\omegaup}{\unicode{x03C9}}\)
\(\newcommand{\Alphaup}{\unicode{x0391}}\)
\(\newcommand{\Betaup}{\unicode{x0392}}\)
\(\newcommand{\Gammaup}{\unicode{x0393}}\)
\(\newcommand{\Digammaup}{\unicode{x03DC}}\)
\(\newcommand{\Deltaup}{\unicode{x0394}}\)
\(\newcommand{\Epsilonup}{\unicode{x0395}}\)
\(\newcommand{\Zetaup}{\unicode{x0396}}\)
\(\newcommand{\Etaup}{\unicode{x0397}}\)
\(\newcommand{\Thetaup}{\unicode{x0398}}\)
\(\newcommand{\Varthetaup}{\unicode{x03F4}}\)
\(\newcommand{\Iotaup}{\unicode{x0399}}\)
\(\newcommand{\Kappaup}{\unicode{x039A}}\)
\(\newcommand{\Lambdaup}{\unicode{x039B}}\)
\(\newcommand{\Muup}{\unicode{x039C}}\)
\(\newcommand{\Nuup}{\unicode{x039D}}\)
\(\newcommand{\Xiup}{\unicode{x039E}}\)
\(\newcommand{\Omicronup}{\unicode{x039F}}\)
\(\newcommand{\Piup}{\unicode{x03A0}}\)
\(\newcommand{\Varpiup}{\unicode{x03D6}}\)
\(\newcommand{\Rhoup}{\unicode{x03A1}}\)
\(\newcommand{\Sigmaup}{\unicode{x03A3}}\)
\(\newcommand{\Tauup}{\unicode{x03A4}}\)
\(\newcommand{\Upsilonup}{\unicode{x03A5}}\)
\(\newcommand{\Phiup}{\unicode{x03A6}}\)
\(\newcommand{\Chiup}{\unicode{x03A7}}\)
\(\newcommand{\Psiup}{\unicode{x03A8}}\)
\(\newcommand{\Omegaup}{\unicode{x03A9}}\)
\(\newcommand{\alphait}{\unicode{x1D6FC}}\)
\(\newcommand{\betait}{\unicode{x1D6FD}}\)
\(\newcommand{\gammait}{\unicode{x1D6FE}}\)
\(\newcommand{\digammait}{\mathit{\unicode{x03DD}}}\)
\(\newcommand{\deltait}{\unicode{x1D6FF}}\)
\(\newcommand{\epsilonit}{\unicode{x1D716}}\)
\(\newcommand{\varepsilonit}{\unicode{x1D700}}\)
\(\newcommand{\zetait}{\unicode{x1D701}}\)
\(\newcommand{\etait}{\unicode{x1D702}}\)
\(\newcommand{\thetait}{\unicode{x1D703}}\)
\(\newcommand{\varthetait}{\unicode{x1D717}}\)
\(\newcommand{\iotait}{\unicode{x1D704}}\)
\(\newcommand{\kappait}{\unicode{x1D705}}\)
\(\newcommand{\varkappait}{\unicode{x1D718}}\)
\(\newcommand{\lambdait}{\unicode{x1D706}}\)
\(\newcommand{\muit}{\unicode{x1D707}}\)
\(\newcommand{\nuit}{\unicode{x1D708}}\)
\(\newcommand{\xiit}{\unicode{x1D709}}\)
\(\newcommand{\omicronit}{\unicode{x1D70A}}\)
\(\newcommand{\piit}{\unicode{x1D70B}}\)
\(\newcommand{\varpiit}{\unicode{x1D71B}}\)
\(\newcommand{\rhoit}{\unicode{x1D70C}}\)
\(\newcommand{\varrhoit}{\unicode{x1D71A}}\)
\(\newcommand{\sigmait}{\unicode{x1D70E}}\)
\(\newcommand{\varsigmait}{\unicode{x1D70D}}\)
\(\newcommand{\tauit}{\unicode{x1D70F}}\)
\(\newcommand{\upsilonit}{\unicode{x1D710}}\)
\(\newcommand{\phiit}{\unicode{x1D719}}\)
\(\newcommand{\varphiit}{\unicode{x1D711}}\)
\(\newcommand{\chiit}{\unicode{x1D712}}\)
\(\newcommand{\psiit}{\unicode{x1D713}}\)
\(\newcommand{\omegait}{\unicode{x1D714}}\)
\(\newcommand{\Alphait}{\unicode{x1D6E2}}\)
\(\newcommand{\Betait}{\unicode{x1D6E3}}\)
\(\newcommand{\Gammait}{\unicode{x1D6E4}}\)
\(\newcommand{\Digammait}{\mathit{\unicode{x03DC}}}\)
\(\newcommand{\Deltait}{\unicode{x1D6E5}}\)
\(\newcommand{\Epsilonit}{\unicode{x1D6E6}}\)
\(\newcommand{\Zetait}{\unicode{x1D6E7}}\)
\(\newcommand{\Etait}{\unicode{x1D6E8}}\)
\(\newcommand{\Thetait}{\unicode{x1D6E9}}\)
\(\newcommand{\Varthetait}{\unicode{x1D6F3}}\)
\(\newcommand{\Iotait}{\unicode{x1D6EA}}\)
\(\newcommand{\Kappait}{\unicode{x1D6EB}}\)
\(\newcommand{\Lambdait}{\unicode{x1D6EC}}\)
\(\newcommand{\Muit}{\unicode{x1D6ED}}\)
\(\newcommand{\Nuit}{\unicode{x1D6EE}}\)
\(\newcommand{\Xiit}{\unicode{x1D6EF}}\)
\(\newcommand{\Omicronit}{\unicode{x1D6F0}}\)
\(\newcommand{\Piit}{\unicode{x1D6F1}}\)
\(\newcommand{\Rhoit}{\unicode{x1D6F2}}\)
\(\newcommand{\Sigmait}{\unicode{x1D6F4}}\)
\(\newcommand{\Tauit}{\unicode{x1D6F5}}\)
\(\newcommand{\Upsilonit}{\unicode{x1D6F6}}\)
\(\newcommand{\Phiit}{\unicode{x1D6F7}}\)
\(\newcommand{\Chiit}{\unicode{x1D6F8}}\)
\(\newcommand{\Psiit}{\unicode{x1D6F9}}\)
\(\newcommand{\Omegait}{\unicode{x1D6FA}}\)
\(\let \digammaup \Digammaup \)
\(\renewcommand {\digammait }{\mathit {\digammaup }}\)
\(\newcommand {\smallin }{\unicode {x220A}}\)
\(\newcommand {\smallowns }{\unicode {x220D}}\)
\(\newcommand {\notsmallin }{\LWRoverlaysymbols {/}{\unicode {x220A}}}\)
\(\newcommand {\notsmallowns }{\LWRoverlaysymbols {/}{\unicode {x220D}}}\)
\(\newcommand {\rightangle }{\unicode {x221F}}\)
\(\newcommand {\intclockwise }{\unicode {x2231}}\)
\(\newcommand {\ointclockwise }{\unicode {x2232}}\)
\(\newcommand {\ointctrclockwise }{\unicode {x2233}}\)
\(\newcommand {\oiint }{\unicode {x222F}}\)
\(\newcommand {\oiiint }{\unicode {x2230}}\)
\(\newcommand {\ddag }{\unicode {x2021}}\)
\(\newcommand {\P }{\unicode {x00B6}}\)
\(\newcommand {\copyright }{\unicode {x00A9}}\)
\(\newcommand {\dag }{\unicode {x2020}}\)
\(\newcommand {\pounds }{\unicode {x00A3}}\)
\(\newcommand {\iddots }{\unicode {x22F0}}\)
\(\newcommand {\utimes }{\overline {\times }}\)
\(\newcommand {\dtimes }{\underline {\times }}\)
\(\newcommand {\udtimes }{\overline {\underline {\times }}}\)
\(\newcommand {\leftwave }{\left \{}\)
\(\newcommand {\rightwave }{\right \}}\)
\(\newcommand {\toprule }[1][]{\hline }\)
\(\let \midrule \toprule \)
\(\let \bottomrule \toprule \)
\(\newcommand {\cmidrule }[2][]{}\)
\(\newcommand {\morecmidrules }{}\)
\(\newcommand {\specialrule }[3]{\hline }\)
\(\newcommand {\addlinespace }[1][]{}\)
\(\newcommand {\LWRsubmultirow }[2][]{#2}\)
\(\newcommand {\LWRmultirow }[2][]{\LWRsubmultirow }\)
\(\newcommand {\multirow }[2][]{\LWRmultirow }\)
\(\newcommand {\mrowcell }{}\)
\(\newcommand {\mcolrowcell }{}\)
\(\newcommand {\STneed }[1]{}\)
\( \newcommand {\multicolumn }[3]{#3}\)
\(\newcommand {\tothe }[1]{^{#1}}\)
\(\newcommand {\raiseto }[2]{{#2}^{#1}}\)
\(\newcommand {\ang }[2][]{(\mathrm {#2})\degree }\)
\(\newcommand {\num }[2][]{\mathrm {#2}}\)
\(\newcommand {\si }[2][]{\mathrm {#2}}\)
\(\newcommand {\LWRSI }[2][]{\mathrm {#1\LWRSInumber \,#2}}\)
\(\newcommand {\SI }[2][]{\def \LWRSInumber {#2}\LWRSI }\)
\(\newcommand {\numlist }[2][]{\mathrm {#2}}\)
\(\newcommand {\numrange }[3][]{\mathrm {#2\,\unicode {x2013}\,#3}}\)
\(\newcommand {\SIlist }[3][]{\mathrm {#2\,#3}}\)
\(\newcommand {\SIrange }[4][]{\mathrm {#2\,#4\,\unicode {x2013}\,#3\,#4}}\)
\(\newcommand {\tablenum }[2][]{\mathrm {#2}}\)
\(\newcommand {\ampere }{\mathrm {A}}\)
\(\newcommand {\candela }{\mathrm {cd}}\)
\(\newcommand {\kelvin }{\mathrm {K}}\)
\(\newcommand {\kilogram }{\mathrm {kg}}\)
\(\newcommand {\metre }{\mathrm {m}}\)
\(\newcommand {\mole }{\mathrm {mol}}\)
\(\newcommand {\second }{\mathrm {s}}\)
\(\newcommand {\becquerel }{\mathrm {Bq}}\)
\(\newcommand {\degreeCelsius }{\unicode {x2103}}\)
\(\newcommand {\coulomb }{\mathrm {C}}\)
\(\newcommand {\farad }{\mathrm {F}}\)
\(\newcommand {\gray }{\mathrm {Gy}}\)
\(\newcommand {\hertz }{\mathrm {Hz}}\)
\(\newcommand {\henry }{\mathrm {H}}\)
\(\newcommand {\joule }{\mathrm {J}}\)
\(\newcommand {\katal }{\mathrm {kat}}\)
\(\newcommand {\lumen }{\mathrm {lm}}\)
\(\newcommand {\lux }{\mathrm {lx}}\)
\(\newcommand {\newton }{\mathrm {N}}\)
\(\newcommand {\ohm }{\mathrm {\Omega }}\)
\(\newcommand {\pascal }{\mathrm {Pa}}\)
\(\newcommand {\radian }{\mathrm {rad}}\)
\(\newcommand {\siemens }{\mathrm {S}}\)
\(\newcommand {\sievert }{\mathrm {Sv}}\)
\(\newcommand {\steradian }{\mathrm {sr}}\)
\(\newcommand {\tesla }{\mathrm {T}}\)
\(\newcommand {\volt }{\mathrm {V}}\)
\(\newcommand {\watt }{\mathrm {W}}\)
\(\newcommand {\weber }{\mathrm {Wb}}\)
\(\newcommand {\day }{\mathrm {d}}\)
\(\newcommand {\degree }{\mathrm {^\circ }}\)
\(\newcommand {\hectare }{\mathrm {ha}}\)
\(\newcommand {\hour }{\mathrm {h}}\)
\(\newcommand {\litre }{\mathrm {l}}\)
\(\newcommand {\liter }{\mathrm {L}}\)
\(\newcommand {\arcminute }{^\prime }\)
\(\newcommand {\minute }{\mathrm {min}}\)
\(\newcommand {\arcsecond }{^{\prime \prime }}\)
\(\newcommand {\tonne }{\mathrm {t}}\)
\(\newcommand {\astronomicalunit }{au}\)
\(\newcommand {\atomicmassunit }{u}\)
\(\newcommand {\bohr }{\mathit {a}_0}\)
\(\newcommand {\clight }{\mathit {c}_0}\)
\(\newcommand {\dalton }{\mathrm {D}_\mathrm {a}}\)
\(\newcommand {\electronmass }{\mathit {m}_{\mathrm {e}}}\)
\(\newcommand {\electronvolt }{\mathrm {eV}}\)
\(\newcommand {\elementarycharge }{\mathit {e}}\)
\(\newcommand {\hartree }{\mathit {E}_{\mathrm {h}}}\)
\(\newcommand {\planckbar }{\mathit {\unicode {x210F}}}\)
\(\newcommand {\angstrom }{\mathrm {\unicode {x212B}}}\)
\(\let \LWRorigbar \bar \)
\(\newcommand {\bar }{\mathrm {bar}}\)
\(\newcommand {\barn }{\mathrm {b}}\)
\(\newcommand {\bel }{\mathrm {B}}\)
\(\newcommand {\decibel }{\mathrm {dB}}\)
\(\newcommand {\knot }{\mathrm {kn}}\)
\(\newcommand {\mmHg }{\mathrm {mmHg}}\)
\(\newcommand {\nauticalmile }{\mathrm {M}}\)
\(\newcommand {\neper }{\mathrm {Np}}\)
\(\newcommand {\yocto }{\mathrm {y}}\)
\(\newcommand {\zepto }{\mathrm {z}}\)
\(\newcommand {\atto }{\mathrm {a}}\)
\(\newcommand {\femto }{\mathrm {f}}\)
\(\newcommand {\pico }{\mathrm {p}}\)
\(\newcommand {\nano }{\mathrm {n}}\)
\(\newcommand {\micro }{\mathrm {\unicode {x00B5}}}\)
\(\newcommand {\milli }{\mathrm {m}}\)
\(\newcommand {\centi }{\mathrm {c}}\)
\(\newcommand {\deci }{\mathrm {d}}\)
\(\newcommand {\deca }{\mathrm {da}}\)
\(\newcommand {\hecto }{\mathrm {h}}\)
\(\newcommand {\kilo }{\mathrm {k}}\)
\(\newcommand {\mega }{\mathrm {M}}\)
\(\newcommand {\giga }{\mathrm {G}}\)
\(\newcommand {\tera }{\mathrm {T}}\)
\(\newcommand {\peta }{\mathrm {P}}\)
\(\newcommand {\exa }{\mathrm {E}}\)
\(\newcommand {\zetta }{\mathrm {Z}}\)
\(\newcommand {\yotta }{\mathrm {Y}}\)
\(\newcommand {\percent }{\mathrm {\%}}\)
\(\newcommand {\meter }{\mathrm {m}}\)
\(\newcommand {\metre }{\mathrm {m}}\)
\(\newcommand {\gram }{\mathrm {g}}\)
\(\newcommand {\kg }{\kilo \gram }\)
\(\newcommand {\of }[1]{_{\mathrm {#1}}}\)
\(\newcommand {\squared }{^2}\)
\(\newcommand {\square }[1]{\mathrm {#1}^2}\)
\(\newcommand {\cubed }{^3}\)
\(\newcommand {\cubic }[1]{\mathrm {#1}^3}\)
\(\newcommand {\per }{/}\)
\(\newcommand {\celsius }{\unicode {x2103}}\)
\(\newcommand {\fg }{\femto \gram }\)
\(\newcommand {\pg }{\pico \gram }\)
\(\newcommand {\ng }{\nano \gram }\)
\(\newcommand {\ug }{\micro \gram }\)
\(\newcommand {\mg }{\milli \gram }\)
\(\newcommand {\g }{\gram }\)
\(\newcommand {\kg }{\kilo \gram }\)
\(\newcommand {\amu }{\mathrm {u}}\)
\(\newcommand {\nm }{\nano \metre }\)
\(\newcommand {\um }{\micro \metre }\)
\(\newcommand {\mm }{\milli \metre }\)
\(\newcommand {\cm }{\centi \metre }\)
\(\newcommand {\dm }{\deci \metre }\)
\(\newcommand {\m }{\metre }\)
\(\newcommand {\km }{\kilo \metre }\)
\(\newcommand {\as }{\atto \second }\)
\(\newcommand {\fs }{\femto \second }\)
\(\newcommand {\ps }{\pico \second }\)
\(\newcommand {\ns }{\nano \second }\)
\(\newcommand {\us }{\micro \second }\)
\(\newcommand {\ms }{\milli \second }\)
\(\newcommand {\s }{\second }\)
\(\newcommand {\fmol }{\femto \mol }\)
\(\newcommand {\pmol }{\pico \mol }\)
\(\newcommand {\nmol }{\nano \mol }\)
\(\newcommand {\umol }{\micro \mol }\)
\(\newcommand {\mmol }{\milli \mol }\)
\(\newcommand {\mol }{\mol }\)
\(\newcommand {\kmol }{\kilo \mol }\)
\(\newcommand {\pA }{\pico \ampere }\)
\(\newcommand {\nA }{\nano \ampere }\)
\(\newcommand {\uA }{\micro \ampere }\)
\(\newcommand {\mA }{\milli \ampere }\)
\(\newcommand {\A }{\ampere }\)
\(\newcommand {\kA }{\kilo \ampere }\)
\(\newcommand {\ul }{\micro \litre }\)
\(\newcommand {\ml }{\milli \litre }\)
\(\newcommand {\l }{\litre }\)
\(\newcommand {\hl }{\hecto \litre }\)
\(\newcommand {\uL }{\micro \liter }\)
\(\newcommand {\mL }{\milli \liter }\)
\(\newcommand {\L }{\liter }\)
\(\newcommand {\hL }{\hecto \liter }\)
\(\newcommand {\mHz }{\milli \hertz }\)
\(\newcommand {\Hz }{\hertz }\)
\(\newcommand {\kHz }{\kilo \hertz }\)
\(\newcommand {\MHz }{\mega \hertz }\)
\(\newcommand {\GHz }{\giga \hertz }\)
\(\newcommand {\THz }{\tera \hertz }\)
\(\newcommand {\mN }{\milli \newton }\)
\(\newcommand {\N }{\newton }\)
\(\newcommand {\kN }{\kilo \newton }\)
\(\newcommand {\MN }{\mega \newton }\)
\(\newcommand {\Pa }{\pascal }\)
\(\newcommand {\kPa }{\kilo \pascal }\)
\(\newcommand {\MPa }{\mega \pascal }\)
\(\newcommand {\GPa }{\giga \pascal }\)
\(\newcommand {\mohm }{\milli \ohm }\)
\(\newcommand {\kohm }{\kilo \ohm }\)
\(\newcommand {\Mohm }{\mega \ohm }\)
\(\newcommand {\pV }{\pico \volt }\)
\(\newcommand {\nV }{\nano \volt }\)
\(\newcommand {\uV }{\micro \volt }\)
\(\newcommand {\mV }{\milli \volt }\)
\(\newcommand {\V }{\volt }\)
\(\newcommand {\kV }{\kilo \volt }\)
\(\newcommand {\W }{\watt }\)
\(\newcommand {\uW }{\micro \watt }\)
\(\newcommand {\mW }{\milli \watt }\)
\(\newcommand {\kW }{\kilo \watt }\)
\(\newcommand {\MW }{\mega \watt }\)
\(\newcommand {\GW }{\giga \watt }\)
\(\newcommand {\J }{\joule }\)
\(\newcommand {\uJ }{\micro \joule }\)
\(\newcommand {\mJ }{\milli \joule }\)
\(\newcommand {\kJ }{\kilo \joule }\)
\(\newcommand {\eV }{\electronvolt }\)
\(\newcommand {\meV }{\milli \electronvolt }\)
\(\newcommand {\keV }{\kilo \electronvolt }\)
\(\newcommand {\MeV }{\mega \electronvolt }\)
\(\newcommand {\GeV }{\giga \electronvolt }\)
\(\newcommand {\TeV }{\tera \electronvolt }\)
\(\newcommand {\kWh }{\kilo \watt \hour }\)
\(\newcommand {\F }{\farad }\)
\(\newcommand {\fF }{\femto \farad }\)
\(\newcommand {\pF }{\pico \farad }\)
\(\newcommand {\K }{\mathrm {K}}\)
\(\newcommand {\dB }{\mathrm {dB}}\)
\(\newcommand {\kibi }{\mathrm {Ki}}\)
\(\newcommand {\mebi }{\mathrm {Mi}}\)
\(\newcommand {\gibi }{\mathrm {Gi}}\)
\(\newcommand {\tebi }{\mathrm {Ti}}\)
\(\newcommand {\pebi }{\mathrm {Pi}}\)
\(\newcommand {\exbi }{\mathrm {Ei}}\)
\(\newcommand {\zebi }{\mathrm {Zi}}\)
\(\newcommand {\yobi }{\mathrm {Yi}}\)
\(\require {mhchem}\)
\(\require {cancel}\)
\(\newcommand {\fint }{âĺŊ}\)
\(\newcommand {\hdots }{\cdots }\)
\(\newcommand {\mathnormal }[1]{#1}\)
\(\newcommand {\vecs }[2]{\vec {#1}_{#2}}\)
\(\renewcommand {\A }{\mathcal {A}}\)
\(\newcommand {\B }{\mathcal {B}}\)
\(\renewcommand {\C }{\mathcal {C}}\)
\(\newcommand {\EE }{\mathbb {E}}\)
\(\renewcommand {\N }{\mathcal {N}}\)
\(\renewcommand {\P }{\mathcal {P}}\)
\(\newcommand {\PP }{\mathbb {P}}\)
\(\newcommand {\T }{\mathcal {T}}\)
\(\renewcommand {\U }{\mathcal {U}}\)
\(\newcommand {\X }{\mathcal {X}}\)
\(\newcommand {\Y }{\mathcal {Y}}\)
\(\newcommand {\Bin }{\operatorname {Bin}}\)
\(\newcommand {\Pois }{\operatorname {Pois}}\)
\(\newcommand {\Exp }{\operatorname {Exp}}\)
\(\newcommand {\BetaV }{\operatorname {Beta}}\)
\(\newcommand {\GammaV }{\operatorname {Gamma}}\)
\(\newcommand {\pot }{\mathfrak {P}}\)
\(\renewcommand {\1}{𝟙}\)
\(\newcommand {\id }{\mathrm {id}}\)
\(\renewcommand {\i }{\mathrm {i}}\)
\(\renewcommand {\theta }{\vartheta }\)
\(\newcommand {\Tu }{\underline {T}}\)
\(\newcommand {\To }{\overline {T}}\)
\(\newcommand {\Var }{\mathrm {Var}}\)
\(\newcommand {\Cov }{\mathrm {Cov}}\)
\(\newcommand {\name }[1]{\textsc {#1}}\)
\(\newcommand {\smallpmatrix }[1]{\left (\begin {smallmatrix}#1\end {smallmatrix}\right )}\)
\(\newcommand {\matlab }{{\fontfamily {bch}\scshape \selectfont {}Matlab}}\)
\(\newcommand {\innerproduct }[1]{\left \langle {#1}\right \rangle }\)
\(\newcommand {\norm }[1]{\left \Vert {#1}\right \Vert }\)
\(\renewcommand {\natural }{\mathbb {N}}\)
\(\newcommand {\integer }{\mathbb {Z}}\)
\(\newcommand {\rational }{\mathbb {Q}}\)
\(\newcommand {\real }{\mathbb {R}}\)
\(\newcommand {\complex }{\mathbb {C}}\)
\(\renewcommand {\d }{\mathop {}\!\mathrm {d}}\)
\(\newcommand {\dr }{\d {}r}\)
\(\newcommand {\ds }{\d {}s}\)
\(\newcommand {\dt }{\d {}t}\)
\(\newcommand {\du }{\d {}u}\)
\(\newcommand {\dv }{\d {}v}\)
\(\newcommand {\dw }{\d {}w}\)
\(\newcommand {\dx }{\d {}x}\)
\(\newcommand {\dy }{\d {}y}\)
\(\newcommand {\dz }{\d {}z}\)
\(\newcommand {\dsigma }{\d {}\sigma }\)
\(\newcommand {\dphi }{\d {}\phi }\)
\(\newcommand {\dvarphi }{\d {}\varphi }\)
\(\newcommand {\dtau }{\d {}\tau }\)
\(\newcommand {\dxi }{\d {}\xi }\)
\(\newcommand {\dtheta }{\d {}\theta }\)
\(\newcommand {\tp }{\mathrm {T}}\)
Wahrscheinlichkeitsräume
W-Raum: \((\Omega , \A , P)\) heißt Wahrscheinlichkeitsraum, falls \(\Omega \not = \emptyset \), \(\A \) eine \(\sigma \)-Algebra über
\(\Omega \) und \(P\) ein W-Maß auf \((\Omega , \A )\) ist.
bedingte W.keit: Seien \(A, B \in \A \) mit \(P(A) > 0\). Dann heißt \(P(B|A) := \frac {P(B \cap A)}{P(A)}\) bedingte Wahrscheinlichkeit von \(B\)
gegeben \(A\). Es gilt \(P(A|B) = P(B|A) \cdot \frac {P(A)}{P(B)}\), wenn \(P(B) > 0\) (Formel von Bayes). Außerdem gilt \(P(B) =
\sum _{i \in I} P(B|A_i) P(A_i)\), wenn die \(A_i \in \A \) (\(i \in I\)) mit \(I\) höchstens abzählbar eine Zerlegung von \(\Omega \) bilden und \(P(A_i) > 0\) gilt (Formel von der totalen Wahrscheinlichkeit).
stochastisch unabhängig für Ereignisse: Die Ereignisse \(A_i \in \A \) (\(i \in I\)) heißen
(stochastisch) unabhängig, falls \(P(\bigcap _{i \in K} A_i) = \prod _{i \in K} P(A_i)\) für alle \(K \subset I\) endlich.
Kombinatorik
Urnenmodell: Aus einer Urne mit \(n\) Kugeln werden \(k\) Kugeln gezogen.
Dann gibt es je nach Ziehungsverfahren unterschiedlich viele mögliche Stichproben:
geordnete Stichprobe ohne Zurücklegen: \(\frac {n!}{(n - k)!}\)
geordnete Stichprobe mit Zurücklegen: \(n^k\)
ungeordnete Stichprobe ohne Zurücklegen: \(\binom {n}{k}\)
ungeordnete Stichprobe mit Zurücklegen: \(\binom {n + k - 1}{k}\)
Diskrete Zufallsvariablen
diskreter W-Raum: Ein W-Raum \((\Omega , \A , P)\) heißt
diskret, falls \(\Omega \) höchstens abzählbar und \(\A = \pot (\Omega )\)
ist. In diesem Fall heißt \((p_\omega )_{\omega \in \Omega }\)
Zähldichte, wobei \(p_\omega := P(\{\omega \})\).
diskrete Zufallsvariable: Sei \(E\) eine Menge. Dann heißt eine Abbildung \(X\colon \Omega \rightarrow E\) Zufallsvariable. Das W-Maß \(P_X\colon \pot
(E) \rightarrow [0, 1]\) mit \(P_X(B) := P(X \in B)\) heißt Verteilung von \(X\). Die Funktion \(F_X\colon \real \rightarrow [0, 1]\) mit \(F_X(x) := P(X \le x)\)
heißt Verteilungsfunktion von \(X\) (falls \(E = \real \)). Sie ist monoton wachsend, r.s. stetig und hat den GW \(1\) bzw. \(0\) für \(x \to \pm \infty \).
stochastisch unabhängig für diskrete ZV: Die Zufallsvariablen \(X_i\colon \Omega \rightarrow E_i\) (\(i \in I\)) heißen (stochastisch)
unabhängig, falls für alle \(B_i \subset E_i\) (\(i \in I\)) \((\{X_i \in B_i\})_{i \in I}\) als Familie von Ereignissen unabhängig ist.
diskreter Erwartungswert: Die Zahl \(\EE (X) := \sum _{\omega \in \Omega } X(\omega ) p_\omega \) heißt Erwartungswert von \(X\) (falls \(X\) reell
und \(\sum _{\omega \in \Omega } |X(\omega )| p_\omega < \infty \)). In diesem Fall gilt \(\EE (X) = \sum _{x \in X(\Omega )} x P_X(\{x\})\) (Transformationssatz). Es gilt \(\EE (X + Y) = \EE (X) + \EE (Y)\), \(\EE (\alpha X) = \alpha \EE (X)\) (Linearität),
\(\EE (c) = c\), \(X \le Y \;\Rightarrow \; \EE (X) \le \EE (Y)\) und \(|\EE (X)| \le \EE (|X|)\).
Sind \(X_1, \dotsc , X_n\) unabhängig, so gilt \(\EE (X_1 \dotsm X_n) = \EE (X_1) \dotsm \EE (X_n)\).
diskrete Varianz: Die Zahl \(\Var (X) := \EE ((X - \EE (X))^2) = \EE (X^2) - \EE (X)^2\) heißt Varianz von \(X\) (falls \(\EE (X^2) < \infty \)).
Es gilt \(\Var (\alpha X) = \alpha ^2 \Var (X)\), \(\Var (X + c) = \Var (X)\) und
\(\Var (X_1 + \dotsb + X_n) = \Var (X_1) + \dotsb + \Var (X_n)\), wenn \(X_1, \dotsc , X_n\) unabhängig (Satz von Bienaymé).
Diskrete Verteilungen
Name
|
Parameter
|
Zähldichte
|
EW
|
Varianz
|
Gleichverteilung
|
\(x_1, \dotsc , x_n\)
|
\(p_{x_i} := \frac {1}{n}\)
|
\(\frac {1}{n} \sum _{i=1}^n x_i\)
|
\(\frac {n^2 - 1}{12}\)
|
Beispiel: W.keit für eine markierte Seite beim Wurf eines fairen Würfels mit \(n\) Seiten und Werten \(x_1, \dotsc , x_n\) |
|
Bernoulli-Verteilung \(\Bin (1, p)\)
|
\(p \in [0, 1]\)
|
\(p_0 := 1-p\), \(p_1 := p\)
|
\(p\)
|
\(p(1-p)\)
|
Beispiel: W.keit für Erfolg beim Wurf einer unfairen Münze (\(p\) Erfolgswahrscheinlichkeit) |
|
Binomialverteilung \(\Bin (n, p)\)
|
\(n \in \natural _0\), \(p \in [0, 1]\)
|
\(p_k := \binom {n}{k} p^k (1-p)^{n-k}\), \(k = 0, \dotsc , n\)
|
\(np\)
|
\(np(1-p)\)
|
Beispiel: W.keit für \(k\) Erfolge bei \(n\)-fachem Wurf einer unfairen Münze |
|
Poissonverteilung \(\Pois (\lambda )\)
|
\(\lambda \in \real ^+\)
|
\(p_k := \frac {\lambda ^k}{k!} e^{-\lambda }\), \(k \in \natural _0\)
|
\(\lambda \)
|
\(\lambda \)
|
Beispiel: W.keit für \(k\) Erfolge bei großer Anzahl an Durchführungen eines Bernoulli-Experiments mit sehr niedriger |
Erfolgswahrscheinlichkeit, \(\lim _{n \to \infty } \binom {n}{k} (\lambda /n)^k (1-(\lambda /n))^{n-k} = \frac {\lambda ^k}{k!} e^{-\lambda }\) |
geometrische Verteilung \(G(p)\)
|
\(p \in (0, 1]\)
|
\(p_k := p (1 - p)^{k-1}\), \(k \in \natural \)
|
\(\frac {1}{p}\)
|
\(\frac {1-p}{p^2}\)
|
Beispiel: W.keit, dass bei einem wiederholten Bernoulli-Experiment erst im \(k\)-ten Experiment ein Erfolg auftritt |
(z. B. \(p = 1/4\) für Würfe auf eine geviertelte Dartscheibe mit einem markierten Viertel) |
hypergeometrische Verteilung \(H(n, s, k)\)
|
\(n, k, s \in \natural _0\), \(s, k \le n\)
|
\(p_\ell := \binom {s}{\ell } \binom {n-s}{k-\ell } \left /\binom {n}{k}\right .\)
|
\(\frac {ks}{n}\)
|
\(\frac {ks(n-k)}{n(n-1)}(1-\frac {s}{n})\)
|
Beispiel: W.keit, dass bei einer ungeordneten Ziehung von \(k\) Kugeln ohne Zurücklegen aus einer Urne mit |
\(s\) schwarzen und \(n - s\) weißen Kugeln genau \(\ell \) schwarze Kugeln gezogen werden |
|
|
|
|
|
Maß- und Integrationstheorie
Dichte: Eine Dichte ist eine Funktion \(f\colon \real \rightarrow [0, \infty )\) mit \(\int _\real f(u)\du = 1\).
Ein W-Maß \(P\) auf \(\real \) besitzt die Dichte \(f\), falls \(P((-\infty , x]) = \int _{-\infty }^x f(u)\du \) für alle \(x \in \real \).
messbare Abbildung: Eine Abbildung \(f\colon (\Omega , \A ) \rightarrow (\Omega ’, \A ’)\) zwischen zwei Messräumen \((\Omega , \A )\) und \((\Omega ’, \A ’)\) heißt messbar, falls \(f^{-1}(A’) \in \A \) für alle \(A’ \in \A ’\).
Bildmaß: Ist \(f\colon (\Omega , \A ) \rightarrow (\Omega ’, \A ’)\) messbar und \(\mu \) ein Maß auf \((\Omega , \A )\), so ist \(\mu _f\colon \A ’ \rightarrow [0, \infty ]\) mit \(\mu
_f(A’) := \mu (f^{-1}(A’))\) das Bildmaß von \(\mu \) unter \(f\). Es ist ein W-Maß genau dann, wenn \(\mu \) ein W-Maß ist.
allgemeiner Transformationssatz: Seien \((\Omega , \A , \mu )\) ein Maßraum, \((\Omega ’, \A ’)\) ein Messraum, \(f\colon \Omega ’ \rightarrow \real \) messbar und \(T\colon \Omega
\rightarrow \Omega ’\) messbar. Dann ist \(f \in L^1(\mu _T) \iff f \circ T \in L^1(\mu )\).
In diesem Fall gilt \(\int _{\Omega ’} f d\mu _T = \int _\Omega (f \circ T)d\mu \).
Kontinuierliche Zufallsvariablen
Zufallsvariable: Seien \((\Omega , \A , P)\) ein W-Raum und \((E, \A ’)\) ein Messraum. Dann heißt eine messbare Abbildung \(X\colon \Omega \rightarrow E\) Zufallsvariable. Das W-Maß \(P_X\colon \A ’ \rightarrow [0, 1]\) mit \(P_X(A’) := P(X \in A’)\) heißt Verteilung von \(X\). \(P_X\) ist das Bildmaß von
\(P\) unter \(X\).
Die Funktion \(F_X\colon \real \rightarrow [0, 1]\) mit \(F_X(x) := P(X \le x)\) heißt Verteilungsfunktion von \(X\), falls \(X\) reell ist. Sie ist monoton wachsend,
rechtsseitig stetig und hat den Grenzwert \(1\) bzw. \(0\) für \(x \to \pm \infty \). Wenn \(F_X\) absolutstetig ist, dann ist \(f_X(x) = F_X’(x)\) die Dichte von \(X\).
\(X\) heißt stetig/kontinuierlich, falls \(P_X\) eine Dichte besitzt.
stochastisch unabhängig für ZV: Die Zufallsvariablen \(X_i\colon \Omega \rightarrow (E_i, \A _i’)\) (\(i \in I\)) heißen (stochastisch)
unabhängig, falls für alle \(B_i \in \A _i’\) (\(i \in I\)) \((\{X_i \in B_i\})_{i \in I}\) als Familie von Ereignissen unabhängig ist. Die Dichte von \(X = (X_1, \dotsc ,
X_n)\colon \Omega \rightarrow \real ^n\) ist \(f(x) = f_1(x) \dotsm f_n(x)\), wenn \(X_1, \dotsc , X_n\) unabhängig sind und \(f_i\) die Dichte von \(X_i\) ist.
Erwartungswert: Die Zahl \(\EE (X) := \int _\Omega X dP\) heißt Erwartungswert von \(X\) (falls \(X\) reell und \(X \in L^1(P)\)). In diesem Fall gilt \(\EE
(X) = \int _\real x dP_X = \int _\real xf(x)\dx \), wenn \(X\) die Dichte \(f\) besitzt (Transformationssatz). Es gilt \(\EE (X + Y) = \EE (X) + \EE (Y)\), \(\EE
(\alpha X) = \alpha \EE (X)\) (Linearität), \(\EE (c) = c\), \(X \le Y \;\Rightarrow \; \EE (X) \le \EE (Y)\) und \(|\EE (X)| \le \EE (|X|)\).
Sind \(X_1, \dotsc , X_n\) unabhängig, so gilt \(\EE (X_1 \dotsm X_n) = \EE (X_1) \dotsm \EE (X_n)\).
Ist \(g\colon \real \rightarrow \real \) messbar und besitzt \(X\) die Dichte \(f\), so gilt
\(\EE (g(X)) = \int _\real g(x) dP_X = \int _\real g(x)f(x)\dx \), falls \(g(X) \in L^1(P)\) (Transformationssatz).
\(k\)-tes Moment: Die Zahl \(\EE (X^k)\) heißt \(k\)-tes Moment von \(X\) (falls \(X \in L^k(P)\)). Es gilt \(\EE (X^k) = \int _\real x^k dP_X = \int
_\real x^k f(x)\dx \), wenn \(X\) die Dichte \(f\) besitzt (Transformationssatz).
Varianz: Die Zahl \(\Var (X) := \EE ((X - \EE (X))^2) = \EE (X^2) - \EE (X)^2\) heißt Varianz von \(X\) (falls \(X \in L^2(P)\)). Es gilt \(\Var
(\alpha X) = \alpha ^2 \Var (X)\), \(\Var (X + c) = \Var (X)\) und \(\Var (X_1 + \dotsb + X_n) = \Var (X_1) + \dotsb + \Var (X_n)\), wenn \(X_1, \dotsc , X_n\) unabhängig (Satz von Bienaymé).
Kovarianz: Für zwei reelle ZV \(X, Y\) heißt \(\Cov (X, Y) := \EE (XY) - \EE (X)\EE (Y)\) Kovarianz.
Für \(\Cov (X, Y) = 0\) heißen \(X, Y\) unkorreliert. Unabhängige ZV sind unkorreliert.
Transformationssatz: Seien \(X\) eine reelle, stetige ZV mit Dichte \(f\) und \(h\colon \real \rightarrow \real \) sei bijektiv auf einer offenen Menge \(B\) mit \(\PP (X \in B) = 1\) und diffb. mit
\(h’(x) \not = 0\) für alle \(x \in B\).
Dann ist \(Y := h(X)\) eine stetige ZV mit Dichte \(g(y) := \frac {f(h^{-1}(y))}{|h’(h^{-1}(y))|} \1_B(h^{-1}(y))\) für \(y \in \real \).
Kontinuierliche Verteilungen
Name
|
Parameter
|
Dichte
|
EW
|
Varianz
|
Gleichverteilung \(\U ([a, b])\)
|
\(a, b \in \real \), \(a < b\)
|
\(f(x) := \frac {1}{b-a} \cdot \1_{[a,b]}(x)\)
|
\(\frac {a+b}{2}\)
|
\(\frac {(b-a)^2}{12}\)
|
Beispiel: Bruch eines Stabes der Länge \(b - a\) an einer zufälligen Stelle |
|
Exponentialverteilung \(\Exp (\lambda )\)
|
\(\lambda > 0\)
|
\(f(x) := \lambda e^{-\lambda x} \cdot \1_{(0,\infty )}(x)\)
|
\(\frac {1}{\lambda }\)
|
\(\frac {1}{\lambda ^2}\)
|
Beispiel: Zeit zwischen zwei Anrufen, Lebensdauer von Atomen beim radioaktiven Zerfall |
|
Normalverteilung \(\N (\mu , \sigma ^2)\)
|
\(\mu \in \real \), \(\sigma ^2 > 0\)
|
\(f(x) := \frac {1}{\sqrt {2\pi \sigma ^2}} \exp (-\frac {(x-\mu )^2}{2\sigma ^2})\)
|
\(\mu \)
|
\(\sigma ^2\)
|
Beispiel: physikalische Messwerte mit Messfehler, Brownsche Molekularbewegung, zentraler Grenzwertsatz: |
\(X_1, X_2, \dotsc \) i.i.d. mit endlichem EW und endlicher Varianz, dann gilt \(Z_n \to Z\) in Verteilung mit \(Z_n := \frac {1}{\sqrt {n\sigma ^2}} \sum _{k=1}^n (X_k - \mu )\)
und \(Z \sim \N (0, 1)\) |
Beta-Verteilung \(\BetaV (a, b)\)
|
\(a, b > 0\)
|
\(f(x) := \frac {x^{a-1} (1-x)^{b-1}}{B(a, b)} \cdot \1_{[0,1]}(x)\)
|
\(\frac {a}{a+b}\)
|
\(\frac {ab}{(a+b+1)(a+b)^2}\)
|
Beispiel: konjugierte Familie von a-Priori-Verteilungen für Binomial- und Bernoulli-Verteilung (und geometrische Verteilung), |
\(B(a, b) := \int _0^1 t^{a-1} (1-t)^{b-1} \dt \) |
Gamma-Verteilung \(\GammaV (a, \lambda )\)
|
\(a, \lambda > 0\)
|
\(f(x) := \frac {\lambda ^a x^{a-1} e^{-\lambda x}}{\Gamma (a)} \cdot \1_{(0,\infty )}(x)\)
|
\(\frac {a}{\lambda }\)
|
\(\frac {a}{\lambda ^2}\)
|
Beispiel: Bedienzeiten und Reparaturzeiten, Modellierung von kleinen bis mittleren Schäden in der Versicherungsmathematik, |
\(\Gamma (a) := \int _0^\infty t^{a-1} e^{-t}\dt \) |
|
|
|
|
|
Schätzer für Erwartungswert und Varianz
arithmetischer Mittelwert:
Der (arithmetische) Mittelwert von \(X = (X_1, \dotsc , X_n)\) ist \(\overline {X} := \frac {1}{n} \sum _{i=1}^n X_i\).
korrigierte Stichprobenvarianz:
Die (korrigierte) Stichprobenvarianz von \(X = (X_1, \dotsc , X_n)\) ist \(S^2(X) := \frac {1}{n-1} \sum _{i=1}^n (X_i - \overline {X})^2\).
Es gilt \(S^2(X) = \frac {1}{n-1} \sum _{i=1}^n X_i^2 - \frac {n}{n-1} (\overline {X})^2\).
Sind \(X_1, \dotsc , X_n\) i.i.d. und \(\mu = \EE (X_1)\) bekannt, dann verwendet man normalerweise stattdessen \({S^\ast }^2(X) := \frac {1}{n} \sum _{i=1}^n (X_i - \mu )^2\).
Weitere kontinuierliche Verteilungen
Chi-Quadrat-Verteilung \(\chi _n^2\): Für \(X_1, \dotsc , X_n \sim \N (0, 1)\) i.i.d. heißt die
Verteilung von \(Y := \sum _{i=1}^n X_i^2\) Chi-Quadrat-Verteilung \(\chi _n^2\) mit \(n\) Freiheitsgraden.
Für \(X_1, \dotsc , X_n \sim \N (\mu , \sigma ^2)\) i.i.d. gilt \(\frac {(n-1)S^2}{\sigma ^2} \sim \chi _{n-1}^2\).
studentsche \(t\)-Verteilung \(t_n\): Für \(X \sim \N (0, 1)\) und \(Y \sim \chi _n^2\) unabhängig heißt die
Verteilung von \(Z := \frac {X}{\sqrt {Y/n}}\) studentsche \(t\)-Verteilung \(t_n\) mit \(n\) Freiheitsgraden.
\(F\)-Verteilung \(F_{(n,m)}\): Für \(X \sim \chi _n^2\) und \(Y \sim \chi _m^2\) unabhängig heißt die
Verteilung von \(Z := \frac {X/n}{Y/m}\) \(F\)-Verteilung \(F_{(n,m)}\) mit \((n, m)\) Freiheitsgraden.
Mehrdimensionale Zufallsvariablen
Zufallsvektor: Ein Zufallsvektor (mehrdimensionale Zufallsvariable) ist eine messbare Abbildung \(X\colon \Omega \rightarrow \real ^n\), d. h. ein
Vektor \(X = (X_1, \dotsc , X_n)\) von Zufallsvariablen \(X_i\colon \Omega \rightarrow \real \).
Die Verteilung \(P_X\) von \(X\) heißt mehrdimensionale Verteilung, die Verteilungen der \(X_i\) heißen Randverteilungen.
Die Funktion \(F_X\colon \real ^n \rightarrow [0, 1]\) mit \(F_X(x) := P(X \le x) = P(X_1 \le x_1, \dotsc , X_n \le x_n)\) heißt Verteilungsfunktion von \(X\).
diskreter Zufallsvektor: Ist das Bild \(X(\Omega )\) höchstens abzählbar, so heißt \(X\) diskret.
In diesem Fall ist \(p_x := P(X = x) = P(X_1 = x_1, \dotsc , X_n = x_n)\) die Zähldichte von \(P_X\) (gemeinsame Zähldichte der \(X_1, \dotsc , X_n\)) und die Zähldichten der
Randverteilungen berechnen sich durch \(P(X_i = x_i’) = \sum _{x \in X(\Omega )} P(X = (x_1, \dotsc , x_i’, \dotsc , x_n))\).
Die \(X_1, \dotsc , X_n\) sind unabhängig genau dann, wenn \(P(X = x) = P(X_1 = x_1) \dotsm P(X_n = x_n)\).
stetiger Zufallsvektor: Besitzt \(X\) eine Dichte (gemeinsame Dichte der \(X_1, \dotsc , X_n\)), d. h. eine Funktion \(f_X\colon \real ^n
\rightarrow \real \) mit
\(P((-\infty , x_1] \times \dotsb \times (-\infty , x_n]) = \int _{-\infty }^{x_1} \dotsb \int _{-\infty }^{x_n} f_X(u)\du \), so heißt \(X\) stetig/kontinuierlich.
In diesem Fall berechnen sich die Dichten der Randverteilungen (Randdichten) durch
\(f_{X_i}(x_i’) = \int _\real \dotsb \int _\real f(x_1, \dotsc , x_i’, \dotsc , x_n) \dx _1 \dotsb \dx _{i-1} \dx _{i+1} \dotsb \dx _n\).
Die \(X_1, \dotsc , X_n\) sind unabhängig genau dann, wenn \(f_X(x) = f_{X_1}(x_1) \dotsm f_{X_n}(x_n)\) für alle \(x \in \real ^n\)
(was gilt genau dann, wenn \(F_X(x) = F_{X_1}(x_1) \dotsm F_{X_n}(x_n)\) für alle \(x \in \real ^n\)).
Bedingte Verteilungen
bedingte Verteilung: Seien \(X\) und \(Y\) zwei Zufallsvariablen.
Dann ist die bedingte Verteilung \(X|Y\) von \(X\) gegeben \(Y\) wie folgt definiert:
Sind \(X\) und \(Y\) diskret mit gemeinsamer Zähldichte \(p(x, y)\), so hat die bedingte Verteilung
\(X|Y\) die Zähldichte \(p(x|Y=y) := \frac {p(x,y)}{p_Y(y)} = P(X=x|Y=y)\) mit der Randdichte
\(p_Y(y) := P(Y=y) = \sum _{x’ \in X(\Omega )} p(x’, y)\) von \(Y\) (falls \(p_Y(y) > 0\)).
Sind \(X\) und \(Y\) stetig mit gemeinsamer Dichte \(f_{X,Y}(x, y)\), so hat die bedingte Verteilung
\(X|Y\) die Dichte \(f_X(x|Y=y) := \frac {f_{X,Y}(x,y)}{f_Y(y)}\) mit der Randdichte
\(f_Y(y) := \int _{X(\Omega )} f_{X,Y}(x’, y) \dx ’\) von \(Y\) (falls \(f_Y(y) > 0\)).
Im stetigen Fall ist \(f_X(x) = \int _{Y(\Omega )} f_Y(y) f_X(x|Y=y)\dy \) (Gesetz der totalen Wahrscheinlichkeit).
bedingter Erwartungswert: Seien \(X\) und \(Y\) zwei Zufallsvariablen mit \(\EE (|X|) < \infty \).
Sind \(X\) und \(Y\) diskret mit gemeinsamer Zähldichte \(p(x,y)\), dann ist der bedingte Erwartungswert von \(X\) gegeben \(Y=y\) gleich \(\EE (X|Y=y) := \sum _{x
\in X(\omega )} x \cdot p(x|y) = \sum _{x \in X(\Omega )} x \cdot P(X=x|Y=y)\).
Sind \(X\) und \(Y\) stetig mit gemeinsamer Dichte \(f_{X,Y}(x,y)\), dann ist der bedingte Erwartungswert von \(X\) gegeben \(Y=y\) gleich \(\EE (X|Y=y) := \int _\real x
\cdot f_X(x|Y=y) \dx \).
Für \(X = (X_1, \dotsc , X_n)\) und \(Y = (Y_1, \dotsc , Y_m)\) ist der bedingte Erwartungswert von \(X\) gegeben \(Y=y\) gleich \(\EE (X|Y=y) := (\EE
(X_1|Y=y), \dotsc , \EE (X_n|Y=y))\).
Der bedingte Erwartungswert von \(X\) gegeben \(Y\) ist definiert als die Zufallsvariable
\(\EE (X|Y) := g(Y)\) mit \(g(y) := \EE (X|Y=y)\).
Es gilt \(\EE (\EE (X|Y)) = \EE (X)\) (Satz vom iterierten Erwartungswert).
Ungleichungen
Jensen-Ungleichung:
Sei \(g\colon \real \rightarrow \real \) konvex (d. h. \(g(\lambda x + (1-\lambda ) y) \le \lambda g(x) + (1-\lambda ) g(y)\) für alle \(\lambda \in (0, 1)\) und \(x, y \in \real \)) und
\(X\) eine reelle Zufallsvariable mit \(\EE (|X|) < \infty \). Dann gilt \(\EE (g(X)) \ge g(\EE (X))\).
Markov-Ungleichung:
Seien \(X\) eine reelle Zufallsvariable, \(h\colon \real ^+ \rightarrow \real ^+\) monoton wachsend und \(\varepsilon > 0\).
Dann gilt \(P(|X| \ge \varepsilon ) \le \frac {\EE (h(|X|))}{h(\varepsilon )}\).
Tschebyscheff-Ungleichung:
Seien \(X\) eine reelle Zufallsvariable mit \(\Var (X) < \infty \) und \(\varepsilon > 0\).
Dann gilt \(P(|X - \EE (X)| \ge \varepsilon ) \le \frac {\Var (X)}{\varepsilon ^2}\) oder alternativ \(P(|X - \EE (X)| < \varepsilon ) \ge 1 - \frac {\Var (X)}{\varepsilon ^2}\).
Grenzwertbegriffe
\(P\)-fast-sichere Konvergenz: Seien \((X_n)_{n \in \natural }\) und \(X\) Zufallsvariablen. Dann konvergiert
\((X_n)_{n \in \natural }\) \(P\)-fast-sicher gegen \(X\) (\(X_n \xrightarrow {P\text {-f.s.}} X\)), falls \(P(\lim _{n \to \infty } X_n = X) = 1\).
stochastische Konvergenz: \((X_n)_{n \in \natural }\) konvergiert stochastisch gegen \(X\) (\(X_n \xrightarrow {P} X\)), falls
für jedes \(\varepsilon > 0\) gilt, dass \(P(|X_n - X| \ge \varepsilon ) \xrightarrow {n \to \infty } 0\). Aus \(P\)-f.s. folgt stochastische Konvergenz.
Konvergenz in Verteilung: \((X_n)_{n \in \natural }\) konvergiert in Verteilung gegen \(X\) (\(X_n \xrightarrow {\text {(d)}} X\)), falls
für alle Punkte \(x\), an denen \(F_X\) stetig ist, gilt, dass \(F_{X_n}(x) \xrightarrow {n \to \infty } F_X(x)\).
Aus stochastischer Konvergenz folgt Konvergenz in Verteilung.
Grenzwertsätze
Null-Eins-Gesetz von Kolmogorov: Seien \((\A _n)_{n \in \natural }\) eine unabhängige Folge von \(\sigma \)-Algebren \(\A _n \subset \A \) und \(\T
_\infty \) die terminale \(\sigma \)-Algebra von \((\A _n)_{n \in \natural }\).
Dann gilt \(P(A) \in \{0, 1\}\) für alle \(A \in \T _\infty \).
Insbesondere gilt \(P(A) \in \{0, 1\}\) für folgende Ereignisse \(A \in \A \), wenn \((X_n)_{n \in \natural }\) eine Folge unabhängiger, reeller Zufallsvariablen ist:
\(\{\omega \in \Omega \;|\; (X_n(\omega ))_{n \in \natural } \text { konvergiert in } \real \}\)
\(\{\omega \in \Omega \;|\; \sum _{n=1}^\infty X_n(\omega ) \text { konvergiert in } \real \}\)
\(\{\omega \in \Omega \;|\; \limsup _{n \to \infty } X_n(\omega ) \le \alpha \}\) für \(\alpha \in \real \)
starkes Gesetz der großen Zahlen: Seien \(X_1, X_2, \dotsc \) i.i.d. mit \(\EE (|X_1|) < \infty \).
Dann gilt \(\frac {1}{n} \sum _{i=1}^n X_i \xrightarrow {P\text {-f.s.}} \EE (X_1)\).
schwaches Gesetz der großen Zahlen:
Seien \(X_1, X_2, \dotsc \) paarweise unkorreliert mit \(\exists _{M \in \real } \forall _{i \in \natural }\; \EE (X_i) = \EE (X_1),\, \Var (X_i) < M\).
Dann gilt \(\frac {1}{n} \sum _{i=1}^n X_i \xrightarrow {P} \EE (X_1)\).
zentraler Grenzwertsatz:
Seien \(X_1, X_2, \dotsc \) i.i.d. mit \(\sigma ^2 > 0\), wobei \(\mu := \EE (X_1)\) und \(\sigma ^2 := \Var (X_1) < \infty \).
Dann gilt \(Z_n := \frac {\overline {X}_n - \mu }{\sigma /\sqrt {n}} \xrightarrow {\text {(d)}} Z\) mit \(Z \sim \N (0, 1)\).
Satz von Slutsky: Für \(X_n \xrightarrow {\text {(d)}} X\) sowie \(A_n \xrightarrow {P} a\) und \(B_n \xrightarrow {P} b\) gilt \(A_n + B_n X_n
\xrightarrow {\text {(d)}} a + bX\).
Charakteristische Funktionen
charakteristische Funktion: Sei \(X\) eine reelle Zufallsvariable. Dann heißt die Funktion \(\varphi _X\colon \real \rightarrow \complex \) mit \(\varphi _X(t) := \int _\real e^{\i tx} dP_X =
\EE (e^{\i tX})\) charakteristische Funktion von \(X\).
Es gilt \(|\varphi (t)| \le 1\), \(\varphi (-t) = \overline {\varphi (t)}\) und \(\varphi \) ist gleichmäßig stetig.
Außerdem ist \(\varphi _{aX+b}(t) = e^{\i tb} \varphi _X(at)\) für \(a, b \in \real \) (lineare Transformation).
Gilt \(\varphi _X = \varphi _Y\) für zwei Zufallsvariablen \(X\) und \(Y\), so gilt \(P_X = P_Y\) (Eindeutigkeitssatz).
Die charakteristischen Funktionen bekannter Verteilungen lauten wie folgt:
Verteilung
|
char. Funktion
|
Verteilung
|
char. Funktion
|
diskr. Gleichv.
|
\(\varphi _X(t) = \frac {1}{n} \sum _{i=1}^n e^{\i tx_i}\)
|
\(X \sim \U ([a, b])\)
|
\(\varphi _X(t) = -\frac {\i }{t(b-a)} (e^{\i tb} - e^{\i ta})\) für \(t \not = 0\), \(\varphi _X(0) = 1\)
|
\(X \sim \Bin (1, p)\)
|
\(\varphi _X(t) = e^{\i t} p + 1 - p\)
|
\(X \sim \Exp (\lambda )\)
|
\(\varphi _X(t) = \frac {\lambda }{\lambda - \i t}\)
|
\(X \sim \Bin (n, p)\)
|
\(\varphi _X(t) = (e^{\i t} p + 1 - p)^n\)
|
\(X \sim \N (\mu , \sigma ^2)\)
|
\(\varphi _X(t) = e^{\i \mu t} \cdot \exp \!\left (-\frac {\sigma ^2 t^2}{2}\right )\)
|
\(X \sim \Pois (\lambda )\)
|
\(\varphi _X(t) = \exp (\lambda (e^{\i t} - 1))\)
|
\(X \sim \chi _n^2\)
|
\(\varphi _X(t) = \frac {1}{(1 - 2\i t)^{n/2}}\)
|
\(X \sim G(p)\)
|
\(\varphi _X(t) = \frac {p e^{\i t}}{1 - (1 - p)e^{\i t}}\)
|
\(X \sim \GammaV (a, \lambda )\)
|
\(\varphi _X(t) = \left (\frac {\lambda }{\lambda - \i t}\right )^a\)
|
|
|
|
|
Summe von Zufallsvariablen: Seien \(X_1, \dotsc , X_n\) unabhängig und \(Y := X_1 + \dotsb + X_n\).
Dann gilt \(\varphi _Y(t) = \varphi _{X_1}(t) \dotsm \varphi _{X_n}(t)\). Mit dem Eindeutigkeitssatz kann also die Verteilung von \(Y\) berechnet werden, wenn \(\varphi _{X_1}(t) \dotsm \varphi _{X_n}(t)\)
einer bekannten charakteristischen Funktion entspricht. Zum Beispiel gilt für \(X_i \sim \N (\mu _i, \sigma _i^2)\), dass \(Y \sim \N (\mu _1 + \dotsb + \mu _n, \sigma _1^2 + \dotsb + \sigma _n^2)\).