Axiomas de Peano

Você também pode gostar

Você está na página 1de 4
Capitulo 3 Los nimeros naturales LOS POSTULADOS DE PEANO. Hasta ahora hemos supuesto las propiedades de los sistemas de niimeros que son necesarias para proporcionarnos ejemplos y ejercicios en los primeros capitulos. En este capitulo nos proponemos cons- truir el sistema de los niimeros naturales suponiendo solamente unas cuantas de sus propiedades mas simples. Estas propiedades mds simples, conocidas como postulados (axiomas) de Peano por el mate- maitico italiano que los enuncié en 1899, se pueden establecer como sigue Sea un conjunto N no va Postulado I: 1 €N. tal que Postulado II: Para cada €N existe un Gnico #* €N, llamado siguiente de n. Para cada n € NV se tiene n* + Si mn EN y mt = nt, entonces m =n Todo subconjunto K de WV que tenga las propiedades (a) 1 ek (b) k* eK siempre que ke K es el mismo N. Primero veremos que, efectivamente, éstas son propiedades bien conocidas de los nimeros na- turales. Los Postulados I y I no requieren mas explicacidn; el IIT establece que hay un primer numero natural, el 1; el IV dice que distintos nimeros naturales m y n tienen distintos siguientes m + 1 yn + 1: el V dice en esencia que cualquier niimero natural puede aleanzarse comenzando con 1 y contundo los siguientes consecutivos, Se observaré que en las definiciones de adicién y multiplicacién sobre N que siguen no se acude 4 nada que sobrepase estos postulados. ADICION SOBRE La adicién sobre N’ se define por (@ n+1=n* para todo n eN. (i) n+ m* = (n + m) siempre que n+ m esté definido. wuestra que la adicién esta regida por las leyes siguientes: ra cualesquiera m,n, p © N, A. Ley de clausura. ont m eN A. Ley conmutativa. on }m=mta A, Ley asociativa m+n p)=(mt+nytp A. Ley de cancelacion Sim + p= n+p, entonces m 30 1 cent cap 3] LOS NUMEROS NATURALES 31 MULTIPLICACION SOBRE N° La muliplcacion se define por nom +n siempre que n+m esté definido. Se demuestra que la multiplicacién se rige por las leyes siguientes: Para cualesquiera m,n, p ¢N My. Ley de clausura n-m eN M;. Ley conmutativa m-n=n-m My, Ley asociativa m= (n+p) = (m-my-p My. Ley de cancelacion Si m+p =p, entonces m = La adicién y la multiplicacién siguen las leyes distributivas: Para cualesquicra m,n,p © N, Di. me(nt+p) = ment mp Ds. (n+p)-m = nem+pom INDUCCION MATEMATICA Sea la proposicién Pom): m* + m, para todo m @N Demostraremos ahora cémo se puede establecer esta proposicién solamente mediante los Postt- lados 1-V. Definamos K = (k: k EN, Pik) es cierto} Como len (Postulado 1) y el (Postulado TH) Entonces P(l) es cierto y 1 eK Sea ahora k cualquier elemento de K; entonces (a) Pk): kt rk es cierto. Pero si (k*)* = k* sc sigue por cl Postulado IV que k* = ken contradiceién con (a). Por tanto, Pkt): (kt) 4 ke es verdadero y entonces k* € K. Asi, pues, K tiene las dos propiedades enunciadas en el Postulado V: de modo que K = N y la proposicién es vilida para todo m €N. Al establecer Ia validez de la proposicién anterior, hemos probado al mismo tiempo el siguiente Principio de induccién matematica Una propo: in Pim) es cierta para todo m €.N siempre que: P(1) sea cierto y que para todo k €N, Pik) cierto implique P(k*) cierto Las diferentes leyes A,-Ay, M,-My, Dy-D3 se pueden basar en la induccién matematica. Asi se establecen A, en el Ejemplo 1, A, en el Problema 1, A; en los Problemas 2 y 3 y D; en el Problema 5. etal |. 2 LOS NUMEROS NATURALES fcar. 3 Ejemplo 1: Demostrar Ja ley de clausura: + me N para cuslesquieta mm € N. ‘Tenemos que demostrar que 1 +m: esté definido (es un nimero natural) por (i) y Gi) para cualesquiera m, re N, Supdngase que n sea cierto nimero natural fijo y considérese la pro. posicign Pim: wt mEN, para todo me N Como Puy: we1eN es cierto puesto que n + 1 que pars algin ke N -n* (por ()}y 1 €N (por el Postulado 11). Supéngase on seguida @ PU); MERKEN excionto se deduce entonces que Pike): nt ken ces cierto puesto que m + k* = Wr + AYP (por Gi) y (2 + Kyte N siempre que n + ke N (por ‘al Postulado Il), Asi que, por induccidn, Pim) es cierto para todo me W y como m era cutl= ‘quier niimero natural, queda peobudi ia ley de clausura para la adicion, En vista de las leyes de clausura A, y My. la adicién y la multiplicacién son (véase Capitulo 2} ope~ rraciones binarias sobre NV. Las leyes A, y My sugieren como definiciones para suma y producto de tres elementos a,a;.4, =. o a+ aa Hay = (a +a, a + (a2 + a) y wy ayragras = (ay*43)* cy = a (aa as) Notese que para una suma 0 producto de tres mimeros naturales se pueden insertar paréntesis @ vo- luntad. La suima de cuatro niimeros naturales se examina en el Problema 4, El como gjercicio. En el Problema 6 demostramos el aso general se de Teorema I. Todo elemento n # 1 de N es el siguiente de algun otro elemento de N. RELACIONES DE ORDEN Para cualesquiera m,n €N definimos «<» por (vii) m » por i m>n si, y solamente si, < m De aqui se sigue La ley de tricotomia: Para cualesquiera m,1 € NV se verifica una, y solo una, de las siguientes relaciones: fa) m=n (bo) men, (e) man Para una demostracién, véase el Problema 10. Otras consecuencias de las relaciones de orden son los Teoremas Hy I Teorema II. Si m,n €N y m n, entonces para todo p €N (®) mtp >ntp (0) mep > ep ¥ Feciprocamente, si (a) y (5) son ciertas para algin p WN, entonces m > n. ‘Como el Teorema II’ no es mas que el Teorema IT con m y n cambiadas, es claro que la demostra- ‘cién de una parte del Teorema II (véase Problema 11) demuestra la parte correspondiente del Teorema II" Las relaciones «menor o igual que» (<=) y «mayor o igual que» (=) se definen como sigue: Para mn €N, mao si men os man men si man osi mon Sea 4 un subconjunto cualquiera de WV (esto es, 4 CN). Un elemento p de se dice elemento mi rnimo de A si p =a para todo a < A. Nétese que en el lenguaje de los conjuntos, p ¢s el primer clemen- to de A con respecto al orden =. En el Problema 12 se demuestra el ‘Teorema THI. El conjunto NV es bien ordenado. MULTIPLOS Y POTENCIAS Sea a © S, sobre el cual se han definido las operaciones binarias + y +, y hégase la=a y (e+ Ya siempre que ka y of estén definidos para k € N. ka +a att = aha Ejemplo 2: Como lu=a yal =e, setiene 2a = (41 = atte = eta yo at = att = leg = arg Sa = (24a = Mt le=atate y af = att! = alee = grave ete, Debe tenerse en cuenta aqui que en el Ejemplo 2 el + en 1 + Ly el + ena + a han de conside- arse por completo distintos, pues cl primero denota adicién en N y el segundo en $. (Podria ser itil denotar las operaciones $ por @ y ©.) En particular, ka =a + a+: + aes un miltiplo de a y se puede escribir como k+a solamente si k © S. Mediante el principio de induccidn, se pueden demostrar las siguientes propiedades para cuales- quiera a,b ©S y cualesquiera m,n ¢N: qe ane (ix) ma + na (x) me(na) = (maja ow @ (m4 na (ixy’ a y, Si + y+ son conmutativas sobre S, (xi) na + nb = (a4 b) iy’ arb" = (aby CONJUNTOS ISOMORFOS j Ya es evidente que el conjunto (1, 1*, (1*)*, ...} dotado de las operaciones y relaciones en él de- finidas, solo difiere por fos simbolos empleados del familiar sistema {1,2, 3,... } dotado de las opera- ciones y relaciones usuales, Si un romano hubiese escrito este capitulo es claro que habria legado a Ja misma conclusién con su sistema {I.I1, IM... }. Se dice simplemente que los tres son isomorfos.

Você também pode gostar