Skip to main content

Fungsi Himpunan Peluang

Sebelum memahami pengertian fungsi himpunan peluang, perlu disampaikan beberapa konsep teori himpunan berikut ini.

  • Ruang sampel \((\Omega)\) adalah himpunan dari semua hasil yang mungkin dari suatu percobaan acak. Ruang sampel kadang disebut juga dengan semesta.
  • Kejadian atau event \((E)\) adalah himpunan bagian dari himpunan ruang sampel \(\Omega.\)
  • \(\sigma\)-field atau \(\sigma\)-algebra \((\mathcal{F})\) adalah himpunan dari semua himpunan dari ruang sampel \(\Omega.\)

Fungsi himpunan peluang dinotasikan dengan \(P,\) dimana \(P\) dikatakan sebagai fungsi himpunan peluang dari suatu percobaan acak jika memenuhi tiga persyaratan berikut.

  1. \(P(E) \geq 0,\) untuk setiap \(E \in \mathcal{F}\) atau \(E \subset \Omega\)
  2. \(P(\Omega) = 1\)
  3. Jika \(E_1, E_2, E_3, \cdots \subset \Omega\) dimana himpunan \(E_i \cap E_j = \varnothing\) (masing-masing adalah himpunan kejadian yang saling lepas/masing-masing himpunan tidak ada yang memiliki titik sampel yang sama), maka \(P(E_1 \cup E_2 \cup \dots) =\) \(P(E_1) + P(E_2) + \cdots).\) Secara ringkas dapat ditulis menjadi
  4. \[P\left(\bigcup_{i=1}^\infty E_i\right) = \sum_{i=1}^\infty P(E_i).\]

Selanjutnya agar memudahkan penulisan maka fungsi himpunan peluang cukup dituliskan fungsi peluang atau peluang saja. Jika ditulis \(P(E),\) maka disebut peluang dari kejadian \(E.\)

Sifat-Sifat Fungsi Peluang

  1. Jika himpunan \(E^c\) adalah komplemen dari himpunan \(E,\) maka untuk setiap himpunan \(E \subset \Omega\) berlaku \[P(E) = 1 - P(E^c).\]
  2. Bukti:
    Karena himpunan \(E^c\) adalah komplemen dari himpunan \(E,\) maka \(E \cup E^c = \Omega\) dan \(E \cap E^c = \varnothing,\) maka dari persyaratan fungsi peluang nomor \((ii)\) dan \((iii)\) berlaku

    \[\begin{aligned} \Omega &= E \cup E^c \\ P(\Omega) &= P(E \cup E^c) \\ 1 &= P(E) + P(E^c) \end{aligned},\]

    sehingga terbukti bahwa \(P(E) = 1 - P(E^c).\)

    Diagram Venn Himpunan Komplemen

  3. Peluang dari himpunan kosong (kejadian yang tidak mungkin terjadi) adalah 0, \[P(\varnothing) = 0.\]
  4. Bukti:
    Pada sifat sebelumnya telah terbukti bahwa \(P(E) = 1 - P(E^c).\) Jika dimisalkan \(E = \varnothing\) maka \(E^c = \Omega,\) sehingga \[\begin{aligned} P(E) &= 1 - P(E^c) \\ P(\varnothing) &= 1 - P(\Omega) \\ P(\varnothing) &= 1 - 1\\ P(\varnothing) &= 0\end{aligned},\]

  5. Misalkan himpunan \(E_1\) dan \(E_2\) adalah himpunan bagian dari semesta \((E_1 \subset \Omega, E_2 \subset \Omega)\) dan himpunan \(E_1\) adalah himpunan bagian dari himpunan \(E_2\) \((E_1 \subset E_2),\) maka \[P(E_1) \leq P(E_2).\]
  6. Bukti:
    Karena \(E_1 \subset E_2,\) maka berlaku persamaan \[E_1 \cup (E_1^c \cap E_2) = E_2 \]\[E_1 \cap (E_1^c \cap E_2) = \varnothing.\] Sesuai dengan persyaratan fungsi peluang nomor \((iii),\) maka \[P(E_2) = P(E_1) + P(E_1^2 \cap E_2).\] Dengan memperhatikan persyaratan persyaratan fungsi peluang nomor \((i),\) maka \(P(E_1^c \cap E_2) \geq 0,\) sehinggga \(P(E_2) \geq P(E_1).\)

    Diagram Venn Himpunan Bagian

  7. Untuk setiap \(E \subset \Omega,\) berlaku \(0 \leq P(E) \leq 1.\)
  8. Bukti:
    Diketahui \(\varnothing \subset E \subset \Omega,\) sehingga \(P(\varnothing) \leq P(E) \leq P(\Omega).\) Berdasarkan sifat-sifat sebelumnya bahwa \(P(\varnothing) = 0\) dan \(P(\Omega) = 1,\) maka terbukti bahwa \[0 \leq P(E) \leq 1.\]

  9. Jika setiap himpunan \(E_1\) dan \(E_2\) adalah himpunan bagian dari himpunan semesta \((E_1 \subset \Omega, E_2 \subset \Omega)\) maka peluang gabungan himpunan \(E_1\) dan \(E_2\) adalah \[\begin{aligned} P(E_1 \cup E_2) =\,&P(E_1) + P(E_2) \\ &- P(E_1 \cap E_2). \end{aligned}\]
  10. Bukti:
    Himpunan \(E_1 \cup E_2\) dan himpunan \(E_2\) masing-masing dapat diganti oleh suatu himpunan gabungan tanpa ada irisan, yaitu \[\begin{aligned} E_1 \cup E_2 &= E_1 \cup (E_1^c \cap E_2) \\ P(E_1 \cup E_2) &= P(E_1) + P(E_1^c \cap E_2) \end{aligned}\] dan \[\begin{aligned} E_2 &= (E_1 \cap E_2) \cup (E_1^c \cap E_2) \\ P(E_2) &= P(E_1 \cap E_2) + P(E_1^c \cap E_2).\end{aligned}\]

    Diagram Venn Irisan Gabungan

    Dari persamaan kedua di atas diperoleh \(P(E_1^c \cap E_2) = P(E_2) - P(E_1 \cap E_2).\) Substitusi \(P(E_1^c \cap E_2)\) pada persamaan pertama dengan persamaan kedua di atas membuktikan bahwa \[\begin{aligned} P(E_1 \cup E_2) =\,&P(E_1) + P(E_2) \\ &- P(E_1 \cap E_2). \end{aligned}\]