Qu'est-ce qu'un champ Sigma ?

Un diagramme de deux cercles qui se chevauchent, étiquetés A et B, colorés en bleu là où ils sont séparés et en blanc là où ils se croisent

Une représentation graphique des concepts derrière l'algèbre sigma. C.K.Taylor





Il existe de nombreuses idées de la théorie des ensembles qui sous-tendent la probabilité. Une de ces idées est celle d'un champ sigma. Un champ sigma fait référence à la collection de sous-ensembles d'un espace d'échantillon que nous devrions utiliser pour établir une définition mathématiquement formelle de la probabilité. Les ensembles du champ sigma constituent les événements de notre espace échantillon.

Définition

La définition d'un champ sigma nécessite que nous disposions d'un espace d'échantillonnage S avec une collection de sous-ensembles de S . Cette collection de sous-ensembles est un champ sigma si les conditions suivantes sont remplies :



  • Si le sous-ensemble UN est dans le champ sigma, alors son complément l'est aussi UN C.
  • Si UNn sont dénombrables une infinité de sous-ensembles du champ sigma, alors l'intersection et l'union de tous ces ensembles se trouvent également dans le champ sigma.

Conséquences

La définition implique que deux ensembles particuliers font partie de chaque champ sigma. Puisque les deux UN et UN Csont dans le champ sigma, l'intersection aussi. Ce carrefour est l'ensemble vide . Par conséquent, l'ensemble vide fait partie de chaque champ sigma.

L'espace échantillon S doit également faire partie du champ sigma. La raison en est que l'union de UN et UN Cdoit être dans le champ sigma. Cette union est l'espace d'échantillonnage S .



Raisonnement

Il y a plusieurs raisons pour lesquelles cette collection particulière d'ensembles est utile. Premièrement, nous examinerons pourquoi l'ensemble et son complément devraient être des éléments de la sigma-algèbre. Le complément en théorie des ensembles équivaut à la négation. Les éléments du complément de UN sont les éléments de l'ensemble universel qui ne sont pas des éléments de UN . De cette manière, nous nous assurons que si un événement fait partie de l'espace d'échantillonnage, cet événement qui ne se produit pas est également considéré comme un événement dans l'espace d'échantillonnage.

Nous voulons également que l'union et l'intersection d'une collection d'ensembles soient dans la sigma-algèbre parce que les unions sont utiles pour modéliser le mot or. La un événement ce UN ou B se produit est représenté par l'union de UN et B . De même, nous utilisons l'intersection pour représenter le mot et. L'événement qui UN et B se produit est représenté par l'intersection des ensembles UN et B .

Il est impossible d'intersecter physiquement un nombre infini d'ensembles. Cependant, nous pouvons considérer cela comme une limite de processus finis. C'est pourquoi nous incluons également l'intersection et l'union d'innombrables sous-ensembles. Pour de nombreux espaces d'échantillons infinis, nous aurions besoin de former des unions et des intersections infinies.

Idées connexes

Un concept lié à un champ sigma est appelé un champ de sous-ensembles. Un champ de sous-ensembles ne nécessite pas que des unions et une intersection dénombrables infinies en fassent partie. Au lieu de cela, nous avons seulement besoin de contenir des unions et des intersections finies dans un champ de sous-ensembles.