[PS] Start notes & remarks update

semester4/ps/ps-jh/parts/01_random-variables/00_definition.tex

@@ -4,3 +4,8 @@
 $f = \{ \omega \in \Omega \divider \cX(\omega) \leq a \} \in \cF$ (notwendinge Bedingung für Wohldefiniertheit von $\P[f]$)
 
 \inlinenotation Ohne $\omega$: $\{ X \leq a \} = \{ \omega \in \Omega \divider X(\omega) \leq a \}$, etc
+
+\shortdefinition[Indikatorfunk.] $A \in \cF$, $\bm{1_A(\omega)} = \begin{cases}
+    0 & \text{ wenn } \omega \notin A \\
+    1 & \text{ wenn } \omega \in A
+\end{cases}$

semester4/ps/ps-jh/parts/01_random-variables/01_distribution-function.tex

@@ -1,9 +1,12 @@
 % P23
 \subsection{Verteilungsfunktion}
+{\scriptsize Die untenstehende Funktion ist die Cumulative Distribution Function (cdf)}
+
 \shortdefinition $F_\cX : \R \rightarrow [0, 1]$, def: $\forall a \in \R \quad F_\cX(a) = \P[\cX \leq a]$
 
 \shorttheorem $a < b \in \R$. Dann: $\P[a < X \leq b] = F(b) - F(a)$
 
+{\scriptsize Nachfolgendes wird gebraucht, um zu Überprüfen, ob eine Funktion eine cdf ist}\\
 \shorttheorem $\cX$ Z.V. auf $(\Omega, \cF, \P)$ und V.F. $F = F_\cX$. Eig.:
 \begin{enumerate}
     \item $F$ ist monoton wachsend

semester4/ps/ps-jh/parts/01_random-variables/02_independence.tex

@@ -12,5 +12,8 @@ $\{ \cX_1 \in I_1 \}, \ldots, \{ \cX_n \in I_n \}$ unabhängig
 $Y_1 = \phi_1(\cX_1, \ldots, \cX_{i_1}), \ldots, Y_k = \phi_k(X_{i_{k - 1} + 1}, \ldots, X_{i_k})$
 
 \subsubsection{Unabhängig identisch verteilte ZV}
+% FIXME: REMOVE into shorter writing
+{\scriptsize Abgekürzt u.i.v., oder i.i.d (independent \& identically distributed)}
+
 \shortdefinition Eine Folge von ZV ist \bi{(1)} unabh. falls $X_i$ unabh. sind und \bi{(2)} uiv, falls unabh. und die ZV dieselbe Verteilungsf. haben, also:
-$\forall i, j \quad F_{\cX_i} = F_{\cX_j}$
+$\forall i, j \ F_{\cX_i} = F_{\cX_j}$