Diagrammes de Venn Définition
Un diagramme SPAN> (également appelé schéma principal, diagramme de réglage ou diagramme logique) est un diagramme qui affiche toutes les relations logiques possibles entre une collection finie span> de différents ensembles. Ces diagrammes décrivent éléments span> comme points span> dans le plan span> et définissent comme régions à l'intérieur des courbes fermées. Un diagramme de Venn est constitué de multiples courbes bloquées courbes étendues>, généralement des cercles, chacun représentant un ensemble. Les points à l'intérieur d'une courbe marquée S représentent des éléments de l'ensemble S, tandis que des points situés à l'extérieur de la limite représentent des éléments non dans l'ensemble S. Ceci permet de lire facilement les visualisations; Par exemple, l'ensemble de tous les éléments membres des deux ensembles S et T, S ∩ T, est représenté visuellement par la zone de chevauchement des régions S et T. Dans les diagrammes de Venn, les courbes sont chevauchées de toutes les voies possibles, montrant toutes les relations possibles entre les ensembles. Ils sont donc un cas particulier de Diagrammes d'Euler Span>, qui ne montrent pas nécessairement toutes les relations.
Illustrations d'opérations définies comme illustrée dans l'image ci-dessous.
Aperçu
Les diagrammes de Venn ont été conçus vers 1880 par John Venn. Ils sont utilisés pour enseigner la théorie des groupes élémentaires et illustrer des relations simples définies dans probabilité span>, logique, statistiques, linguistique et informatique. Un diagramme de Venn dans lequel la zone de chaque forme est proportionnelle étendue> au nombre d'éléments qu'il contient est appelé diagramme de Venn proportionnel ou évolutif.