Théorie axiomatique des ensembles (ZFC)
La théorie des ensembles de Zermelo-Fraenkel avec l'axiome du choix (ZFC) est le système axiomatique du premier ordre qui sert de fondement formel standard aux mathématiques modernes.
Definition
ZFC est une théorie en logique du premier ordre avec un unique symbole de relation binaire pour l'appartenance, dont les axiomes (extensionnalité, paire, réunion, ensemble des parties, infini, séparation, remplacement, fondation et choix) décrivent l'univers des ensembles et à partir desquels les mathématiques ordinaires peuvent être dérivées.
Scope
Ce sujet couvre les axiomes individuels de ZFC, la hiérarchie cumulative des ensembles qu'ils génèrent, le rôle des schémas d'axiomes de séparation et de remplacement, ainsi que le statut particulier de l'axiome du choix. Il explique comment les objets mathématiques familiers sont encodés comme des ensembles au sein de ce système.
Core questions
- Que stipule chaque axiome de ZFC et pourquoi est-il nécessaire ?
- Comment la hiérarchie cumulative organise-t-elle l'univers des ensembles ?
- Pourquoi l'axiome du choix est-il mis en évidence et qu'implique-t-il ?
- Comment les nombres, les fonctions et les relations sont-ils construits comme des ensembles au sein de ZFC ?
Key theories
- Axiome d'extensionnalité et de fondation
- L'extensionnalité stipule que les ensembles sont déterminés par leurs membres, et l'axiome de fondation exclut les chaînes d'appartenance descendantes infinies, structurant l'univers comme une hiérarchie cumulative bien fondée.
- Schémas de séparation et de remplacement
- La séparation permet de former des sous-ensembles définis par une propriété, et le remplacement permet que l'image d'un ensemble par une fonction de classe définissable soit un ensemble, fournissant ensemble la puissance nécessaire pour construire de grands ensembles sans réintroduire les paradoxes classiques.
- Axiome du choix
- L'axiome du choix affirme que toute collection d'ensembles non vides possède une fonction de choix ; il est équivalent au lemme de Zorn et au théorème de bon ordre, et est indispensable dans une grande partie des mathématiques tout en étant indépendant des autres axiomes.
Clinical relevance
ZFC constitue le cadre implicite dans lequel la plupart des mathématiciens en activité raisonnent : il fixe quels objets existent et quelles constructions sont légitimes. Comprendre ses axiomes permet ainsi de clarifier quels arguments sont fondamentalement solides et lesquels dépendent de l'axiome du choix ou d'autres principes contestés.
History
Zermelo a proposé la première axiomatisation en 1908 pour étayer sa preuve du théorème de bon ordre ; Fraenkel et Skolem ont ajouté le schéma de remplacement dans les années 1920, et von Neumann a clarifié la hiérarchie cumulative et l'axiome de fondation, produisant ainsi le système désormais appelé ZFC.
Key figures
- Ernst Zermelo
- Abraham Fraenkel
- Thoralf Skolem
- John von Neumann
Related topics
Seminal works
- kunen2011
- jech2003
- enderton1977
Frequently asked questions
- Pourquoi ne pas simplement utiliser la théorie naïve des ensembles ?
- La compréhension naïve, qui permet de former l'ensemble de tous les ensembles satisfaisant une propriété quelconque, conduit au paradoxe de Russell. ZFC remplace la compréhension illimitée par les schémas de séparation et de remplacement restreints, qui évitent les paradoxes tout en restant suffisamment puissants pour les mathématiques.
- L'axiome du choix est-il nécessaire ?
- Une grande partie des mathématiques courantes, y compris les bases des espaces vectoriels et de nombreux résultats en analyse et en algèbre, s'appuie sur cet axiome. Il est indépendant des autres axiomes, il peut donc être assumé ou nié de manière cohérente, mais il est conventionnellement adopté.