ENSEMBLES THÉORIE DES
L'algèbre des ensembles et l'étude abstraite des relations sont d'une importance croissante dans toutes les disciplines qui cherchent à s'exprimer dans un cadre rigoureux. En mathématiques, c'est l'interrogation sur les fondements de cette science, ainsi que les tentatives de formalisation des opérations logiques de la pensée qui ont conduit à l'élaboration de la théorie des ensembles ; aussi cette théorie apparaît-elle comme la base de l'édifice mathématique, dont elle constitue le langage. Dans les autres sciences, et les autres domaines du savoir, les applications de l'algèbre des ensembles et de l'algèbre des propositions sont nombreuses et ne cessent d'augmenter : en physique (étude des circuits électriques, par exemple), en sciences politiques (étude des votes en vue de prendre des décisions), en sciences sociales (par exemple, problèmes d'analyse hiérarchique), etc.
L'algèbre des ensembles n'est pas non plus étrangère aux progrès de la technique, ne serait-ce que parce qu'elle joue un grand rôle dans la conception et la construction des calculateurs électroniques ; elle intervient aussi pour une large part dans l'organisation de l'information, les techniques de gestion, les études de marché.
Parce qu'elle a une importance considérable, et aussi parce qu'elle met en évidence les opérations logiques élémentaires, la théorie des ensembles a un rôle essentiel à jouer dans la formation des esprits et intervient de plus en plus à tous les niveaux de l'enseignement. Dans l'enseignement primaire, elle est introduite à partir de manipulations de différents types de matériel conçus pour mettre en évidence les opérations qui correspondent aux mots « et » et « ou » (blocs logiques, cartes perforées. Dans le secondaire, son enseignement est devenu obligatoire, depuis 1969, à partir de la sixième. L'introduction de l'algèbre des ensembles dans l'enseignement s'accompagne généralement d'une mise à jour de la conception globale des mathématiques, ainsi que d'une évolution importante de la pédagogie, qu'on peut caractériser en deux mots, en disant qu'il ne s'agit pas d'enseigner à l'élève une science toute faite, mais de l'aider à élaborer lui-même les connaissances qu'il doit acquérir.
On ne donnera pas dans cet article une construction formelle et rigoureuse de la théorie des ensembles (cf. théorie axiomatique des ensembles), mais on essayera, à partir de quelques notions premières considérées comme intuitives, d'indiquer les résultats les plus élémentaires.
Calcul booléen
Les ensembles
Leibniz, philosophe et mathématicien (1646-1716), recherche un système qui lui permette de formaliser le langage et la pensée. Pour lui, un langage formalisé doit être une pure combinaison de signes, dont seul importe l'enchaînement, de sorte qu'une machine serait capable de fournir tous les théorèmes et que toutes les controverses se résoudraient par un simple calcul.
Leibniz, n'arrivant pas à exploiter toutes ses idées, dont certaines auraient pu le conduire à de meilleures conclusions, échoue dans sa tentative. Après lui, pendant tout le xviiie siècle et au début du xixe, d'autres auteurs ébauchent des tentatives semblables sans arriver à avancer plus que Leibniz. À cette époque, leurs travaux, de même que ceux de Leibniz, ne sont pas connus et n'ont qu'un très faible retentissement ; chacun ignore les travaux de ses prédécesseurs.
C'est dans les mêmes conditions que le mathématicien anglais George Boole (1815-1864) va travailler. Boole peut être considéré comme le véritable créateur de la logique contemporaine. Son ambition est de formaliser la logique en s'inspirant des méthodes de l'analyse et de l'algèbre : « Que l'on donne des formes[...]
La suite de cet article est accessible aux abonnés
- Des contenus variés, complets et fiables
- Accessible sur tous les écrans
- Pas de publicité
Déjà abonné ? Se connecter
Écrit par
- André ROUMANET : agrégé de l'Université
- Jean-Luc VERLEY : maître de conférences honoraire à l'université de Paris-VII
Classification
Pour citer cet article
André ROUMANET et Jean-Luc VERLEY. ENSEMBLES THÉORIE DES [en ligne]. In Encyclopædia Universalis. Disponible sur : (consulté le )
Médias
Diagrammes de Venn et de Carroll
Encyclopædia Universalis France
Arbre de choix d'un ensemble à trois éléments
Encyclopædia Universalis France
Adjonction d'un élément à une partie d'un ensemble
Encyclopædia Universalis France
Autres références
-
CANTOR : THÉORIE DES ENSEMBLES
- Écrit par Bernard PIRE
- 713 mots
Georg Cantor (1845-1918), professeur de mathématiques à l'université de Halle (Saxe, Allemagne), publie en 1874 dans le Journal de Crelle l'article fondateur de la théorie des ensembles.
Né à Saint-Pétersbourg (Russie) d'un père danois et d'une mère autrichienne, Cantor réside avec...
-
BADIOU ALAIN (1937- )
- Écrit par Elie DURING
- 2 613 mots
...». Ce caractère non totalisable, littéralement « inconsistant » du multiple pur, est le motif initial déployé par L'Être et l'événement. En témoignent à leur manière les apories suscitées par l'idée d'un ensemble de tous les ensembles (paradoxe de Russell), ou encore le fait que l'ensemble... -
BERNSTEIN FELIX (1878-1956)
- Écrit par Bernard PIRE
- 337 mots
Mathématicien allemand naturalisé américain, spécialiste de la théorie des ensembles puis des statistiques appliquées. Né le 24 février 1878 à Halle (Allemagne), Felix Bernstein est le fils d'un spécialiste de l'électrobiologie. Élève de Georg Cantor (1845-1918) à Halle, Bernstein...
-
BOREL ÉMILE (1871-1956)
- Écrit par Maurice FRÉCHET
- 2 290 mots
Théorie des ensembles et mesure des ensembles.Le premier, Borel définit les ensembles de nombres réels « de mesure nulle », comme pouvant être, quel que soit ε> 0, recouvert par une famille dénombrable de segments dont la somme des longueurs est inférieure à ε. Il construisit la classe d'ensembles,... -
BOURBAKI NICOLAS (XXe s.)
- Écrit par André MARTINEAU
- 1 740 mots
- 1 média
Dansl'esprit d'un large public s'est donc développée cette idée que la théorie des ensembles est synonyme de la mathématique contemporaine. Bourbaki, désigné par la renommée publique comme porte-drapeau de cette mathématique, a été tenu pour responsable des diverses expériences pédagogiques qui s'efforcent... - Afficher les 17 références
Voir aussi
- ORDRE RELATION D'
- CIRCUITS ÉLECTRIQUES
- DISTRIBUTIVITÉ
- ÉQUIVALENCE RELATION D'
- CLASSE D'ÉQUIVALENCE
- NOMBRES RATIONNELS
- LOGIQUE MATHÉMATIQUE
- BINAIRE RELATION, mathématiques
- ENSEMBLE VIDE
- RELATIONS, mathématiques
- RÉFLEXIVE RELATION
- SYMÉTRIQUE RELATION
- TRANSITIVE RELATION
- SURJECTION, mathématiques
- INJECTION, mathématiques
- SOUS-ENSEMBLE ou PARTIE D'UN ENSEMBLE, mathématiques
- PARTITION D'UN ENSEMBLE
- ENSEMBLE QUOTIENT
- VENN DIAGRAMME DE
- INTERSECTION, mathématique
- RÉUNION, mathématiques
- ENSEMBLES THÉORIE ÉLÉMENTAIRE DES
- ÉLÉMENT, mathématiques
- COUPLE, mathématiques
- ANTISYMÉTRIQUE RELATION
- APPLICATION, mathématiques
- ENSEMBLE COMPLÉMENTAIRE
- DIFFÉRENCE SYMÉTRIQUE
- FONCTION CARACTÉRISTIQUE D'UNE PARTIE
- BIJECTION, mathématiques
- ENSEMBLE PRODUIT
- ASSOCIATIVITÉ
- COMMUTATIVITÉ
- APPARTENANCE RELATION D'
- ENSEMBLE DES PARTIES, mathématiques
- RUSSELL PARADOXE DE
- GRAPHE D'UNE RELATION
- DIAGRAMME, mathématiques
- INCLUSION
