[PS] Almost caught up

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

@@ -1 +1,8 @@
 \subsection{Abstrakte Definition}
+\shortdefinition[Zufallsvariable] kurz Z.V, ist $\cX : \Omega \rightarrow \R$, sodass $\forall a \in \R$ gilt:
+$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
+
+\subsection{Verteilungsfunktion}
+\shortdefinition $F_\cX : \R \rightarrow [0, 1]$, def: $\forall a \in \R \quad F_\cX(a) = \P[\cX \leq a]$