0.0.1 ↑ Zufallsgrößen
Eine Abbildung X{:}\, \Omega \to \mathds{R} heißt Zufallsgröße (-variable).
"Wenn ich eine Wand sehe, muss ich nicht erst durch sie hindurch gehen, um zu sehen, dass es wirklich eine Wand ist."
0.0.1.1 ↑ Die Wahrscheinlichkeitsfunktion
Geg.: (\Omega, P), X auf \Omega, P_X auf (\Omega, P)
\tilde{P}_X{:}\, \mathds{R} \to \left[0, 1\right]; \quad x \mapsto \begin{cases} {} P_X(x) & \text{falls } x \in W_X; \\ {} 0 & \text{sonst}; \end{cases}
0.0.1.2 ↑ Die (kumulative) Verteilungsfunktion
Sei P_X eine Wahrscheinlichkeitsverteilung auf (\Omega, P) und dem Wertebereich von X W_X = \left\{ x_1, x_2, \ldots, x_n \right\}.
Die Funktion F_X{:}\, \mathds{R} \to \left[0,1\right]; \quad x \mapsto P(X \leq x) = P\!\left(\left\{ \omega \in \Omega \,\middle|\, X(\omega) \leq x \right\}\right); heißt (kumulative) Verteilungsfunktion von X auf (\Omega, P).
Folgerungen:
F_X(x) = \sum\limits_{x_i \leq x} \underbrace{P(X = x_i)}_{P_X(x_i)}, da \bigcup\limits_{i = 1,2,\ldots,n} \left\{ \omega \in \Omega \,\middle|\, X(\omega) = x_i \right\} = \Omega;
0.0.1.3 ↑ Gemeinsame Wahrscheinlichkeitsverteilung und Unabhängigkeit zweier Zufallsgrößen
P(X = x \cap Y = y) = P_{X,Y}(x,y);
(\Omega, P) sei ein Wahrscheinlichkeitsraum und X und Y seien Zufallsgrößen auf \Omega mit den Wertemengen W_X und W_Y.
- a)
Die Funktion P_{X,Y}{:}\, W_X \times W_Y \to \left[0, 1\right]; (x,y) \mapsto P(X = x \cap Y = y) = P\!\left(\left\{ \omega \in \Omega \,\middle|\, X(\omega) = x \wedge Y(\omega) = y \right\}\right) heißt gemeinsame Wahrscheinlichkeitsverteilung von X und Y.
- b)
[Gilt für alle x \in W_X und für alle y \in W_Y, dass die Ereignisse X = x und Y = y sind unabhängig sind, so sind X und Y unabhängig.]
Die Ereignisse X = x und Y = y sind unabhängig für alle x \in W_X und y \in W_Y. ⇔
P(X = x \cap Y = y) = P(X = x) P(Y = y) für alle x \in W_X und y \in W_Y. ⇔
P_{X,Y}(x,y) = P_X(x) P_Y(y) für alle x \in W_X, y \in W_Y. \stackrel{\text{D}}{\Leftrightarrow}
X und Y sind unabhängig.
0.0.1.4 ↑ Erwartungswert E(X) einer Zufallsgröße X über (\Omega,P) mit der Wertemenge W_X = \left\{ x_1, x_2, \ldots, x_n \right\}
E(X) := x_1 P(X = x_1) + x_2 P(X = x_2) + \cdots + x_n P(X = x_n) = \sum\limits_{i = 1}^n x_i P(X = x_i);
"Im Grund sitzt keiner gescheit, aber alle halbwegs gut"
E(X) = x_1 \sum\limits_{\omega_i \in \left(X = x_1\right)} P\!\left(\left\{ \omega_i \right\}\right) + x_2 \sum\limits_{\omega_i \in \left(X = x_2\right)} P\!\left(\left\{ \omega_i \right\}\right) + \cdots + x_n \sum\limits_{\omega_i \in \left(X = x_n\right)} P\!\left(\left\{ \omega_i \right\}\right)\! = \sum\limits_{\omega \in \Omega} X(\omega) P\!\left(\left\{ \omega \right\}\right)\!;
"weißt, einmal gehst 'rein [ins Haus] und einmal 'raus; was war jetzt richtig?"
0.0.1.4.1 ↑ Rechnen mit Erwartungswerten
X sei eine Zufallsgröße auf (\Omega, P) mit der Wertemenge W_X = \left\{ x_1, x_2, \ldots, x_n \right\}.
Y := a X + b; \quad a,b \in \mathds{R};
Y{:}\, \Omega \to W_Y = \left\{ ax + b \,\middle|\, x \in W_X \right\}; \quad \omega \mapsto a X(\omega) + b;
E(Y) = E(aX + b) = \sum\limits_{x \in W_X} \left(ax + b\right) P(X = x) = \sum\limits_{x \in W_X}\left[ ax P(X = x) + b P(X = x) \right] = a \sum\limits_{x \in W_X} x P(X = x) + b \sum\limits_{x \in W_X} P(X = x) = a E(X) + b;
X und Y seien Zufallsgrößen über (\Omega, P) mit den Wertemengen W_X = \left\{ x_1, x_2, \ldots, x_n \right\} und W_Y = \left\{ y_1, y_2, \ldots, y_k \right\}.
E(X + Y) = \sum\limits_{\omega \in \Omega}\left[ X(\omega) P\!\left(\left\{ \omega \right\}\right) + Y(\omega) P\!\left(\left\{ \omega \right\}\right) \right] = \sum\limits_{\omega \in \Omega} X(\omega) P\!\left(\left\{ \omega \right\}\right) + \sum\limits_{\omega \in \Omega} Y(\omega) P\!\left(\left\{ \omega \right\}\right) = E(X) + E(Y);
Seien X und Y unabhängige Zufallsgrößen über (\Omega,P) mit den Wertemengen W_X = \left\{ x_1, x_2, \ldots, x_n \right\} und W_Y = \left\{ y_1, y_2, \ldots, y_n \right\}.
Z{:}\, \Omega \to W_Z (Wertemenge) \quad \omega \mapsto X(\omega) Y(\omega);
\renewcommand{\arraystretch}{2.4}\begin{array}{rcl} {} E(X Y) &=& {} \sum\limits_{\substack{x \in W_X\\y \in W_Y\\x y \in W_Z}} {} x y P(X = x \cap Y = y) = \\ {} &=& {} \sum\limits_{\substack{x \in W_X\\y \in W_Y\\x y \in W_Z}} {} x y P(X = x \cap Y = y) + {} \underbrace{ {} \sum\limits_{\substack{x \in W_X\\y \in W_Y\\x y \not\in W_Z}} {} x y \underbrace{P(\underbrace{X = x \cap Y = y}_{\varnothing})}_0 {} }_0 = \\ {} &=& {} \sum\limits_{\substack{x \in W_X\\y \in W_Y}} {} x y P(X = x \cap Y = y) = {} \sum\limits_{\substack{x \in W_X\\y \in W_Y}} {} x P(X = x) \, y P(Y = y) = \\ {} &=& {} \sum\limits_{x \in W_X} x P(X = x) \cdot {} \sum\limits_{y \in W_Y} y P(Y = y) = \\ {} &=& E(X) E(Y); \end{array}