自然数集的结构.pdfVIP

Construction de N Dany-Jack Mercier IUFM de Guadeloupe, Morne Ferret, BP399, Pointe- -Pitre cedex 97159, France dany-jack.mercier@univ-ag.fr 28 mars 2002 Introduction Une pré sentation de l’ensemble des entiers naturels utilisant soit l’axiomatique ordinale, soit les axiomes de Peano. Suivant la pré sentation adopté e, le principe de ré currence peut être considé ré comme un axiome ou bien comme un ré sul- tat. Voici un petit exposé qui devrait …xer les idé es pour un candidat aux concours. 1 Axiomatique ordinale. D … nition 1 Un ensemble E est dit bien ordonn s ’il est muni d’une relation d’ordre telle que toute partie non vide de E possède un plus petit l ment. Si E est bien ordonné , toute paire fa; bg de E possède un plus petit é lé ment et la relation d’ordre est totale. On admet l’existence d’un ensemble N non vide qui vé ri…e les axiomes suivants : (A1) N est bien ordonné , (A2) N n’est pas majoré , (A3) Toute partie non vide majoré e de N possède un plus grand é lé ment. Le thé orème 4 montrera que ces trois axiomes dé …nissent un seul ensemble isomorphisme d’ensembles ordonné s près, ce qui permet d’en choisir un, de le noter N et de l’appeler l’ensemble des entiers naturels. On note 0 le plus petit é lé ment de N. Si n 2 N l’ensemble fk 2 N = n kg n’est pas vide (sinon N serait majoré ) donc possède un plus petit é lé ment que l’on notera n et que l’on appelera le successeur de n. On constate que n n et ]n;n [= ;. Si n 2 N = Nn f0g, l’ensemble fk 2 N = k ng n’est pas vide (car contient 0) et ma- joré par n, donc admet un plus grand é lé ment que l’on notera n et que l’on appelle l