La théorie de la mesure est étroitement liée à la notion de tribu, qui permet de généraliser la notion élémentaire de mesure d'un segment, ou d'une aire. Une tribu ou Sigma-algèbre, ou encore algèbre de Borel, d'un ensemble E, est une famille de parties de E contenant E lui-même et stable par complémentation et réunion dénombrable.
- C'est à dire que l'ensemble vide est dans la tribu.
- que si A est un élément de la tribu, sont complémentaire doit aussi être dans cette même tribu.
- Si {An} est une famille au plus dénombrable d'éléments de cette tribu, la réunion des An doit être dans la tribu. Les tribus sont aussi très utilisées en topologie, en probabilités.
Exercices :
1) Soit X un ensemble, vérifier que la famille : (X Ø) est une tribu. Remarque cette tribu est appelée tribu trivial. C'est la plus petite tribu existant sur un ensemble X.
2) Soit X un ensemble et P(x) l'ensemble des parties de X. Vérifier que P(X) est une tribu sur X. Cette tribu est la plus grande tribu existant.