Es gibt viele Ideen aus der Mengenlehre, die der Wahrscheinlichkeit zugrunde liegen. Eine solche Idee ist die eines Sigma-Feldes. Ein Sigma-Feld bezieht sich auf die Sammlung von Teilmengen von a Probenraum das sollten wir verwenden, um eine mathematisch formale Definition der Wahrscheinlichkeit zu etablieren. Die Mengen im Sigma-Feld bilden die Ereignisse aus unserem Probenraum.
Die Definition impliziert, dass zwei bestimmte Mengen Teil jedes Sigma-Feldes sind. Da beides EIN und EINC. sind im Sigma-Feld, so ist der Schnittpunkt. Dieser Schnittpunkt ist das leere Set. Daher ist die leere Menge Teil jedes Sigma-Feldes.
Es gibt mehrere Gründe, warum diese spezielle Sammlung von Sets nützlich ist. Zunächst werden wir uns überlegen, warum sowohl die Menge als auch ihr Komplement Elemente der Sigma-Algebra sein sollten. Das Komplement in der Mengenlehre entspricht der Negation. Die Elemente in der Ergänzung von EIN sind die Elemente in der universellen Menge, die keine Elemente von sind EIN. Auf diese Weise stellen wir sicher, dass, wenn ein Ereignis Teil des Probenraums ist, dieses nicht auftretende Ereignis auch als Ereignis im Probenraum betrachtet wird.
Wir möchten auch, dass die Vereinigung und der Schnittpunkt einer Sammlung von Mengen in der Sigma-Algebra liegt, da Vereinigungen nützlich sind, um das Wort „oder“ zu modellieren. Das Veranstaltung Das EIN oder B. auftritt wird durch die Vereinigung von dargestellt EIN und B.. In ähnlicher Weise verwenden wir den Schnittpunkt, um das Wort "und" darzustellen. Der Fall, dass EIN und B. tritt durch den Schnittpunkt der Mengen dargestellt EIN und B..
Es ist unmöglich, eine unendliche Anzahl von Mengen physikalisch zu schneiden. Wir können uns dies jedoch als eine Grenze endlicher Prozesse vorstellen. Aus diesem Grund schließen wir auch den Schnittpunkt und die Vereinigung von zählbar vielen Teilmengen ein. Für viele unendliche Probenräume müssten wir unendliche Vereinigungen und Schnittpunkte bilden.
Ein Konzept, das sich auf ein Sigma-Feld bezieht, wird als Teilmengenfeld bezeichnet. Ein Feld von Teilmengen erfordert nicht, dass zählbar unendliche Gewerkschaften und Schnittpunkte Teil davon sind. Stattdessen müssen wir nur endliche Vereinigungen und Schnittpunkte in einem Feld von Teilmengen enthalten.