Sea \(A, B, A_1, A_2, \ldots\) eventos en un espacio de probabilidad. Entonces:
Propiedad 1: Probabilidad del complemento
\[\mathbb{P}(\overline{A}) = 1 - \mathbb{P}(A)\]
Prueba: Note que \(A \cup \overline{A} = \Omega\) y \(A \cap \overline{A} = \emptyset\). Por el Axioma 3:
\[\mathbb{P}(\Omega) = \mathbb{P}(A) + \mathbb{P}(\overline{A}) = 1\]
Propiedad 2: Probabilidad del conjunto vacío
\[\mathbb{P}(\emptyset) = 0\]
Prueba: \(\emptyset = \overline{\Omega}\), así que \(\mathbb{P}(\emptyset) = 1 - \mathbb{P}(\Omega) = 1 - 1 = 0\).
Propiedad 3: Monotonía
Si \(A \subseteq B\), entonces \(\mathbb{P}(A) \leq \mathbb{P}(B)\)
Prueba: Si \(A \subseteq B\), entonces \(B = A \cup (B - A)\) donde \(A\) y \(B - A\) son disjuntos. Por el Axioma 3:
\[\mathbb{P}(B) = \mathbb{P}(A) + \mathbb{P}(B - A) \geq \mathbb{P}(A)\]
Propiedad 4: Acotamiento
\[0 \leq \mathbb{P}(A) \leq 1\]
Se sigue de los Axiomas 1 y 2.
Propiedad 5: Regla de la suma (Inclusión-Exclusión)
\[\mathbb{P}(A \cup B) = \mathbb{P}(A) + \mathbb{P}(B) - \mathbb{P}(A \cap B)\]
Prueba: Observe que \(A \cup B = A \cup (B - A)\) donde estos son disjuntos, y \(B = (A \cap B) \cup (B - A)\).
Propiedad 6: Aditividad para eventos disjuntos
Si \(A \cap B = \emptyset\), entonces:
\[\mathbb{P}(A \cup B) = \mathbb{P}(A) + \mathbb{P}(B)\]