Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Algèbre des parties d'un ensemble
Résumé
En théorie des ensembles, l'ensemble des parties d'un ensemble, muni des opérations d'intersection, de réunion, et de passage au complémentaire, possède une structure d'algèbre de Boole. D'autres opérations s'en déduisent, comme la différence ensembliste et la différence symétrique.
L'algèbre des parties d'un ensemble étudie l'arithmétique de ces opérations (voir l'article « Opération ensembliste » pour des opérations qui ne laissent pas stable l'ensemble des parties d'un ensemble).
Dans tout l'article, les ensembles considérés sont tous supposés inclus dans un ensemble donné U. L'inclusion est une relation d'ordre (partielle) notée « ⊂ » ou « ⊆ », et définie sur l'ensemble des parties de U, noté P(U), par :
A ⊂ B si et seulement si ∀ x ∈ U (x ∈ A ⇒ x ∈ B).
L'égalité est définie par extensionnalité, deux ensembles sont égaux quand ils ont les mêmes éléments, c'est-à-dire que :
A = B si et seulement si ∀ x ∈ U (x ∈ A ⇔ x ∈ B).
ou encore
A = B si et seulement si A ⊂ B et B ⊂ A.
Les propriétés qui suivent correspondent donc, pour les égalités, à des équivalences en calcul propositionnel dont elles se déduisent. Elles peuvent être visualisées avec les diagrammes de Venn, une façon schématique de décrire toutes les cas possibles pour l'appartenance d'un élément à un nombre fini (et suffisamment réduit) d'ensembles, et qui peut donc permettre également de décrire des démonstrations d'égalité ou d'inclusion.
De façon similaire, les inclusions se ramènent à des implications.
vignette|La réunion de deux ensembles : A ∪ B.
L'ensemble réunion de A et de B, noté « A U B » (lire « A union B »), est l'ensemble des éléments appartenant à A ou à B :
c'est-à-dire que :
x ∈ A ∪ B si et seulement si x ∈ A ou x ∈ B.
L'ensemble U muni de la réunion a les propriétés suivantes (pour tous sous-ensembles A, B, C de U) :
vignette|A ∪ B ∪ C.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Proximité ontologique
Cours associés (31)
CS-101: Advanced information, computation, communication I
Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a
MATH-432: Probability theory
The course is based on Durrett's text book
Probability: Theory and Examples.
It takes the measure theory approach to probability theory, wherein expectations are simply abstract integrals.
It takes the measure theory approach to probability theory, wherein expectations are simply abstract integrals.
MATH-205: Analysis IV
Learn the basis of Lebesgue integration and Fourier analysis
MOOCs associés (10)
Analyse I
Le contenu de ce cours correspond à celui du cours d'Analyse I, comme il est enseigné pour les étudiantes et les étudiants de l'EPFL pendant leur premier semestre. Chaque chapitre du cours correspond
Analyse I (partie 1) : Prélude, notions de base, les nombres réels
Concepts de base de l'analyse réelle et introduction aux nombres réels.
Analyse I (partie 2) : Introduction aux nombres complexes
Introduction aux nombres complexes