Théorie des ensembles
La théorie des ensembles étudie les collections d'objets et constitue le fondement standard des mathématiques modernes, dans lesquelles pratiquement tout objet mathématique peut être représenté comme un ensemble et tout théorème dérivé d'une courte liste d'axiomes.
Definition
La théorie des ensembles est l'étude mathématique des ensembles, des collections d'objets bien définies, ainsi que de la relation d'appartenance, développée axiomatiquement afin de fournir un fondement uniforme aux mathématiques et d'analyser les notions d'infini.
Scope
Ce domaine couvre le développement axiomatique des ensembles (principalement la théorie des ensembles de Zermelo-Fraenkel avec l'axiome du choix), la théorie des nombres ordinaux et cardinaux et leur arithmétique, l'univers constructible et les modèles internes, la méthode du forcing pour prouver les résultats d'indépendance, et la hiérarchie des axiomes de grands cardinaux qui étendent les axiomes standards. Il englobe à la fois le rôle fondamental de la théorie des ensembles et son développement en tant que discipline mathématique autonome.
Sub-topics
Core questions
- Quels axiomes suffisent à développer les mathématiques ordinaires, et quelles en sont les conséquences ?
- Comment les tailles des ensembles infinis sont-elles comparées et calculées ?
- Quelles affirmations sont indépendantes des axiomes standards, et comment l'indépendance est-elle établie ?
- Quels axiomes d'infini plus forts existent, et comment étendent-ils les conséquences prouvables de la théorie des ensembles ?
Key theories
- Théorie des ensembles de Zermelo-Fraenkel avec axiome du choix (ZFC)
- Un système d'axiomes du premier ordre dont les axiomes (extensionnalité, paire, réunion, ensemble des parties, infini, séparation, remplacement, fondation et choix) fournissent le fondement standard dans lequel les mathématiques sont formalisées.
- Indépendance de l'hypothèse du continu
- Goedel a montré que l'hypothèse du continu est cohérente avec ZFC via l'univers constructible et Cohen a montré que sa négation est également cohérente via le forcing, de sorte que l'hypothèse est indépendante des axiomes standards.
- Théorie des ordinaux et des cardinaux
- Les ordinaux généralisent le comptage au transfinie en tant qu'ensembles bien ordonnés canoniques, tandis que les cardinaux mesurent la taille ; ensemble, ils organisent la hiérarchie cumulative et la récursion transfinie.
Clinical relevance
La théorie des ensembles fournit le langage fondamental commun des mathématiques : ses axiomes sous-tendent la construction des systèmes de nombres, sa théorie de l'infini façonne l'analyse et la topologie, et ses résultats d'indépendance clarifient les limites de ce que les axiomes standards peuvent établir.
History
La théorie des ensembles a débuté avec la découverte de Cantor au XIXe siècle selon laquelle les ensembles infinis existent en différentes tailles. Des paradoxes tels que celui de Russell ont incité à l'élaboration des systèmes axiomatiques de Zermelo et Fraenkel au début du XXe siècle. L'univers constructible de Goedel (1938) et l'invention du forcing par Cohen (1963) ont résolu la cohérence et l'indépendance de l'hypothèse du continu et de l'axiome du choix, et l'étude ultérieure des grands cardinaux et de la déterminance a transformé la théorie des ensembles en un domaine autonome et profond.
Key figures
- Georg Cantor
- Ernst Zermelo
- Abraham Fraenkel
- Kurt Goedel
- Paul Cohen
Related topics
Seminal works
- jech2003
- kunen2011
- cohen1963
Frequently asked questions
- Pourquoi la théorie des ensembles est-elle considérée comme un fondement des mathématiques ?
- Presque tout objet mathématique tel que les nombres, les fonctions et les espaces peut être encodé comme un ensemble, et les théorèmes usuels peuvent être dérivés des axiomes de ZFC, de sorte que la théorie des ensembles fournit un système formel unique dans lequel les mathématiques peuvent être développées.
- Que signifie l'indépendance de l'hypothèse du continu ?
- Cela signifie que ni l'hypothèse du continu ni sa négation ne peuvent être prouvées à partir des axiomes de ZFC, de sorte que les axiomes laissent la taille du continu indéterminée ; cela a été établi en combinant les résultats de Goedel et de Cohen.