Axiomtica de Peano1

Axioma 1. 0 es un nmero natural. Axioma 2. Si n , entonces n+ . Axioma 3. 0 no es sucesor de algn nmero natural. Axioma 4. Si n+ = k+, entonces n = k. Axioma 5. Sea A N i. ii. 0A Si n A, entonces n+ A

Luego, A = N. El axioma 5 es conocido como el Principio de Induccin (P.I.) Una de las primeras consecuencias que surgen de los axiomas, se relacionan con el Axioma 3, dado que este, aunque garantiza la existencia de un elemento que no es sucesor de otro, no garantiza la unicidad del mismo, es por ello que se plantea el siguiente teorema que nos garantiza que todo natural distinto de cero es sucesor de algn natural.

Teorema 1
Para todo a , a 0, existe m , tal que a = m+
Demostracin

Se define el conjunto A = {x N : Si x 0, entonces existe m N, tal que x = m+} i. 0 A, ya que al ser la primera proposicin falsa, se tiene que el operador condicional (entonces, ) es verdadero.

Luque, C., Mora, L., & Pez, J. (2002). Actividades Matemticas para el Desarrollo de Procesos Lgicos Contar e

Inducir. Bogot: Universidad Pedaggica Nacional. pp.227

ii. Dado que n A. Si n 0, entonces existe m N, tal que n = m+. Ahora, por el Axioma 2, se tiene que n+, m+ N, y nuevamente usando el axioma 2, (m +) + N, y adems se tiene que n + = ( m+ ) +, y por el axioma 3, n+ 0, por lo tanto n + N, luego n+ A. Luego, por el Axioma 5, se tiene que A=N, por tanto el Teorema 1 se cumple para todo natural.

Dado el conjunto de numrico, matemticamente surge la idea de definir un comportamiento para este, esto es, una operacin (o dos operaciones como se abordar ms adelante) que le d estructura a l, de esta manera se define la operacin de adicin, como sigue:

Definicin 1
Para todo a, b , se define la operacin de adicin, as i. a + 0 = a ii. a + b+ = (a + b)+ Las propiedades ms conocidas que cumple la operacin de adicin, en el conjunto de los nmeros naturales, son la asociativa, la conmutativa, existencia de elemento neutro y la cancelativa, en general una operacin que cumple estas cuatro propiedades se denomina un monoide conmutativo y cancelativo, es decir que esta es precisamente la estructura algebraica de la adicin en naturales (N + ), y aunque este hecho se puede demostrar a partir de los axiomas de Peano, no es nuestro inters desarrollarlo ya que nos dirigimos a estudiar la multiplicacin.

Teorema 2
Para todo a, b, c , (a + b) + c = a + (b + c).

Teorema 3
Para todo a , se cumple que: a + 0 = 0 + a = a.

Teorema 4
Para todo a, b, c , a + b = b + a.

Teorema 5
Para todo a, b, c . Si a + c = b + c, entonces a = b.
Demostracin

Se define el conjunto A = {c N : Si a + c = b + c, entonces a = b} i. 0 N, ya que Si a + 0 = b + 0, por el teorema 3, se tiene que a = b ii. Ahora sea c A, Por el axioma 2 c + N, Ahora, si a + c+ = b + c+, por el tem ii de la Definicin 1 de adicin, se tiene que (a + c)+ = (b + c)+, y por el Axioma 4 se tiene que a + c = b + c, y como c N, entonces a = b. Por tanto, c+ A. Luego, por el Axioma 5, se tiene que A = N y el Teorema 5 se cumple para todo los naturales.

La operacin de adicin en N, nos permite definir una relacin , con la intencin de estudiar qu es una relacin de orden en los naturales.

Definicin 2
Para todo a, b . a b si y slo si existe m , tal que a + m = b. Debemos probar que efectivamente esta relacin es de orden.

Teorema 6
La relacin , en el conjunto de los nmeros naturales es una relacin de orden.
Demostracin

Propiedad Reflexiva: (Para todo a , se tiene que a a). Por la Propiedad 2 se tiene que a + 0 = a, y como por el Axioma 1 se tiene que 0 , al utilizar la definicin 2, se tiene que a a, para todo a . Propiedad Transitiva: Para todo a, b, c . Si a b y b c, entonces a c. Dado que a b y b c, por la Definicin 2, existen k, h , tales que:

a+k=b

b+h=c

Al reemplazar b en la segunda ecuacin, se obtiene: (a + k) + h = c Luego, por el teorema 2, se tiene que: a + (k + h) = c y por la Definicin 2, a c. Propiedad Antisimtrica: Para todo a, b . Si a b y b a, entonces a = b. Dado que a b y b a, por la Definicin 2, existen c, d , tales que: a+c=b y b+d=a

Al reemplazar b en la segunda ecuacin, se obtiene: (a + c) + d = a y por el teorema 2 y el Teorema 4, se tiene: c+d=0 luego, c = d = 0, y al reemplazar en las ecuaciones iniciales se concluye que a = b. Por lo anterior, se concluye que la relacin es de orden. Ntese, que en la demostracin de la propiedad antisimtrica, se dio por cierto el siguiente lema:

Lema 1
Para todo a, b . Si a + b = 0, entonces a = 0 y b = 0
Demostracin

Razonaremos por contradiccin, Sea a + b = 0, y supongamos que uno de los dos por ejemplo b 0. Por el Teorema 1, existe m , tal que b = m+, luego a + m+ = 0, y por el tem ii de la Definicin 1, se tiene que (a + m)+ = 0, lo que significa que 0 es sucesor de a + m, pero esto contradice el Axioma 3, por tanto b = 0, de igual manera se tiene para a.

Ahora, se discute si la relacin es de orden total, es decir si siempre podemos comparar cualquier par de nmeros naturales por medio de esta relacin, para ello, completaremos algunas definiciones sobre el orden: a b si y solo si b a. a < b si y solo si a b y a b. a > b si y solo si b < a.

Teorema 7 (Propiedad de Tricotoma)

Para cada par a, b , se cumple slo una de las siguientes relaciones, i. a = b ii. a < b iii. b < a
Demostracin

Sea a fijo. Se definen los conjuntos A1 = {a}, A2 = {b N : b < a}, y A3 = {b N : a < b}. Ahora, se debe mostrar que los conjuntos son disyuntos dos a dos y que la unin de los tres conjuntos es igual al conjunto de los nmeros naturales N, para ello, se consideran los siguientes casos: Caso 1: Si a = 0 Como a = 0, entonces se tiene que A1 = {0} A2 = {} A3 = {b N : 0 < b} = {b N : b 0}.

{0} {} {b N : b 0} = N = A1 A2 A3 A1 A2 = {0} {} = A1 A3 = {0} {b N : b 0} = A2 A3 = {} {b N : b 0} = Caso 2: Si a 0

Como a > 0, entonces 0 A2. Sea A = A1 A2 A3 i. 0 A, ya que 0 A2 ii. Sea b A, luego b A1, o b A2, o b A3 Si b A1, entonces a = b, luego a = b < b+, as b+ A3, lo que implica que b+ A Si b A2, entonces b < a, luego existe h N, h 0, tal que b + h = a o Si h = 0+, luego b + 0+ = a y por el tem ii de la Definicin 2, (b + 0)+ = a, luego b+ A1, lo que implica que b+ A o Si h 0+, luego existe k N, tal que k + 0+ = h, as b + k + 0+ = b + h, reemplazando b + k + 0+ = a y por las Teoremas 4 y 2, (b + 0+) + k = a, y por el tem ii de la Definicin 2, (b + 0)+ + k = a, as por la Definicin 2, b+ < a, luego b+ A2, lo que implica que b+ A Si b A3, entonces a < b, adems b < b+, luego a < b+, as b+ A3, lo que implica que b+ A Luego, por el Axioma 5, se tiene que N = A. Ahora, se ha de mostrar que los conjuntos son disyuntos dos a dos, A1 A2 = {a} {b N : b < a} = A1 A3 = {a} {b N : a < b} = A2 A3 = {b N : b < a} {b N : a < b} = Con lo anterior, se demuestra que la Propiedad de Tricotoma se cumple.

Dado que (N, +, ) cumple las propiedades de reflexividad, transitividad, y antisimetra, y adems se tiene la tricotoma, entonces se dice que (N, +, ) es un conjunto totalmente ordenado.

Ahora, para continuar con la exploracin de las operaciones en el conjunto de los nmeros naturales y sus propiedades, se define la operacin multiplicacin, como sigue:

Definicin 3
Para todo a, b , se define la operacin de multiplicacin, tal que i. a 0 = 0 ii. a b+ = a b + a

Teorema 8
Para todo a, b, c , se cumple que a (b + c) = ab + ac.
Demostracin

Sean a, b , fijos y arbitrarios. Se define el conjunto A = {x N : a (b + x) = ab + ax} i. Si x = 0, se tiene que a (b + 0) = ab = ab + 0 = ab + a 0, luego 0 A ii. Supngase que n A, luego se quiere mostrar que n+ A. As, se tiene como hiptesis de induccin que a (b + n) = ab + an. Se ha de demostrar que a (b + n+) = ab + an+, luego a (b + n+) = a (b + n) + a (b + n+) = a (b + n) + a a (b + n+) = (ab + an) + a a (b + n+) = ab + (an + a) a (b + n+) = ab + an+ por el tem ii de la Definicin 1 por el tem ii de la Definicin 3 por Hiptesis de Induccin por el teorema 2 por el tem ii de la Definicin 3

As, se concluye que la propiedad distributiva por izquierda se cumple.

Teorema 9
Para todo a, b, c , se cumple que (b + c) a = ba + ca.
Demostracin

Sean b, c , fijos y arbitrarios. Se define el conjunto A = {x N : (b + c) x = bx + ax} i. Si x = 0, se tiene que (b + c) 0 = 0 = 0 + 0= b 0 +c 0, luego 0 A ii. Supngase que n A, luego se quiere mostrar que n+ A. As, se tiene como hiptesis de induccin que (b + c) n = bn + cn. Se ha de demostrar que (b + c) n+ = bn+ + cn+, luego (b + c) n+ = (b + c) n + (b+c) (b + c) n+ = (bn + cn) + (b+c) (b + c) n+ = (bn + b) + (cn + c) (b + c) n+ = bn+ + cn+ por el tem ii de la Definicin 3 por hiptesis de induccin por los teoremas 2 y 4 por el tem ii de la Definicin 3

As, se concluye que la propiedad distributiva por derecha se cumple.

Es de notar, que en la demostracin anterior se asumi como cierto el siguiente teorema, por ende abordaremos su demostracin.

Teorema 10
Para todo a N, 0a = 0. Demostracin Tenemos por el teorema 3 que ba = (b + 0)a y por el teorema 9 ab + 0 = ab + 0a y por el teorema 5 0 = 0a.

A continuacin, demostraremos algunas propiedades que cumple la multiplicacin:

Teorema 11
Para todo nmero natural n, se cumple que n0+ = 0+ n = n
Demostracin

Se define el conjunto A = {x N : x0 + = 0+ x = x} i. Si x = 0, se tiene que 0+ 0 = 0 = 0 0 +, lo cual es cierto por el tem i de la Definicin 3 y el teorema 10, luego 0 A ii. Supngase que n A, luego se quiere mostrar que n+ A. As, se tiene como hiptesis de induccin que n0+ = 0+ n = n. Se ha de demostrar que 0+n+ = n+, luego 0+ n+ = 0+ n + 0+ 0+ n+ = n + 0+ 0+ n+ = (n+0) + 0+ n+ = n+ Por otro lado n+ 0+ = n+ 0 +n + n+ 0+ = 0 + n + n+ 0+ = n + Por el item ii de la Definicin 3. Por el item i de la Definicin 3. Por el teorema 3. por el tem ii de la Definicin 3 por hiptesis de induccin. por el tem ii de la Definicin 1 por el tem i de la Definicin 1

As, se concluye que la propiedad de elemento neutro para la multiplicacin se cumple, al idntico de la multiplicacin que es 0+ lo denotaremos por 1.

Teorema 12
Para todo a, b , se tiene que: ab = ba
Demostracin

Sean a , fijo y arbitrario. Se define el conjunto A = {x N : ax = xa}

i. Si x = 0, se tiene que a0 = 0 = 0a, por el teorema 10, luego 0 A ii. Supngase que n A, luego se quiere mostrar que n+ A. As, se tiene como hiptesis de induccin que an = na. Se ha de demostrar que an+ = n+ a, luego a n+ = a n + a a n+ = na + a a n+ = na + 1a a n+ = (n + 1) a a n+ = (n + 0+) a a n+ = (n + 0) + a a n+ = n+a por el tem ii de la Definicin 3 por hiptesis de induccin. por el teorema 11 por el Teorema 9 Por definicin de 1. por el tem ii de la Definicin 1 por el tem i de la Definicin 1

As, se concluye que la propiedad conmutativa se cumple.

Teorema 13
Para todo a, b, c , se tiene que: (a b) c = a (b c)
Demostracin

Sean b, c , fijos y arbitrarios. Se define el conjunto A = {x N : (x b) c = x (b c)} i. Si x = 0, se tiene que (0 b) c = 0 c = 0, y 0 (b c) = 0, por el teorema 10, luego (0 b) c = 0 (b c) as 0 A ii. Supngase que n A, luego se quiere mostrar que n+ A. As, se tiene como hiptesis de induccin que (n b) c = n (b c). Se ha de demostrar que (n+ b) c = n+ (b c), luego (n+ b) c = (b n+) c por el Teorema 12

(n+ b) c = (b n + b) c (n+ b) c = (b n) c + b c (n+ b) c = (n b) c + b c (n+ b) c = n (b c) + b c (n+ b) c = (b c) n + b c (n+ b) c = (b c) n+ (n+ b) c = n+ (b c)

por el tem ii de la Definicin 3 por el Teorema 9 por el Teorema 12 por Hiptesis de Induccin por el Teorema 12 por el tem ii de la Definicin 3 por el Teorema 12

As, se concluye que la propiedad asociativa se cumple.

Es de notar, que despus de definir la operacin de adicin y mostrar algunas de sus propiedades se defini la relacin , la cual est definida en trminos de tal operacin. Es por ello, que despus de definir la operacin de multiplicacin y estudiar sus principales propiedades, ahora, de forma anloga, se define la relacin | y se discute el hecho de s es o no una relacin de orden.

Definicin 4
Sean a, b . a | b si y slo si existe c tal que ac = b

Teorema 14
La relacin |, en el conjunto de los nmeros naturales es una relacin de orden.
Demostracin

Propiedad Reflexiva: Para todo a , se tiene que a | a. Por el Teorema 11 se tiene que a 1 = a, y como por el Axioma 2 se tiene que 0+ = 1 , al utilizar la definicin 4, se tiene que a | a, para todo a . Propiedad Transitiva: Para todo a, b, c . Si a | b y b | c, entonces a | c. Dado que a | b y b | c, por la Definicin 4, existen k, h , tales que: ak=b y bh=c

Al reemplazar b en la segunda ecuacin, se obtiene: (a k) h = c Luego, por el Teorema 13, se tiene que: a (k h) = c, y por la Definicin 4, a | c. Propiedad Antisimtrica: Para todo a, b . Si a | b y b | a, entonces a = b. Dado que a | b y b | a, por la Definicin 4, existen c, d , tales que: ac=b Caso 1: Si a = 0 0 c = 0 , luego b= 0 y se tiene que a=b. Caso 2: Si a 0 Al reemplazar b en la segunda ecuacin, se obtiene: (a c) d = a y por el Teorema 13, se tiene: a (c d) = a Como (a c) d = a (c d) = a= a1, se tiene que, c d = 1. As, c = 1 y d = 1, y al reemplazar en las ecuaciones iniciales se concluye que a = b. Por lo anterior, se concluye que la relacin | es de orden. y bd=a

Ntese, que en la demostracin de la propiedad antisimtrica, se dieron por ciertos el siguiente teorema y el siguiente lema:

Teorema 15 (Propiedad Cancelativa de la multiplicacin)

Para todo a, b, c , c 0. Si ac = bc, entonces a = b.

Lema 3
Si ab = 1, entonces a = 1 y b = 1. Prueba: Ejercicio.

Teorema 15 (Propiedad Cancelativa)

Para todo a, b, c , c 0. Si ac = bc, entonces a = b.
Demostracin

Se ha de demostrar por contradiccin. Supngase que a b, y ac = bc, luego por Teorema 7 se han de considerar los siguientes casos: Caso 1: a < b Como a < b, entonces ac < bc, pero esto contradice la suposicin de que ac = bc. Caso 2: b < a Como b < a, entonces bc < ac, pero esto contradice la suposicin de que ac = bc. As, se concluye por contradiccin la veracidad del teorema.

Ntese, que en la demostracin de la propiedad cancelativa, se dio por cierto el siguiente teorema:

Teorema 16 (Monotona de la Multiplicacin)

Sean a, b, c . Si a < b, entonces ac < bc con c 0
Demostracin

Como a < b, entonces por la Definicin 2, existe un h N, h 0, tal que a + h = b, luego (a + h) c = bc As, por el Teorema 9, se tiene que: ac + hc = bc

Luego, por la Definicin 2, se llega a que ac < bc. Esto siempre y cuando hc 0

Lema 4
Sean a, b . ab = 0 si y slo si a = 0 o b = 0

Teorema 17 (Monotona de la Adicin)

Sean a, b, c . Si a < b, entonces a + c < b + c
Demostracin

Como a < b, entonces por la Definicin 2, existe un h N, h 0, tal que a + h = b, luego (a + h) + c = b + c, As, por la Definicin 2, se tiene que a + c < b + c.

Por el Teorema 16 y 17, se puede decir que la relacin es estable ante la adicin y la multiplicacin en el conjunto de los nmeros naturales.

Ahora, se demuestran los siguientes dos teoremas, para mostrar que la relacin de divisibilidad | es estable ante la multiplicacin.

Teorema 18
Sean a, b, c . Si a | b, entonces ac | bc
Demostracin

Como a | b, entonces por la Definicin 4, existe h N, tal que b = ah, luego bc = (ah) c, as, por los Teoremas 12 y 13, se tiene que: bc = (ac) h, y por la Definicin 4, se concluye que ac | bc.

Teorema 19
Sean a, b, c, d . Si a | b y c | d, entonces ac | bd
Demostracin

Como a | b y c | d, entonces por la Definicin 4, existen e, f N, tales que b = ae y d = cf,

luego bd = (ae) (cf), as por los Teoremas 12 y 13, se tiene que: bd = (ac) (ef), y por la Definicin 4, se concluye que ac | bd.

Ahora, se estudian el orden aditivo dado por y el multiplicativo que determina | a partir de una representacin de ellos desde el diagrama de Hasse 2.

Diagrama de Hasse del Orden Aditivo (<)

M | 3 | 2 | 1

Luque, C., Jimnez, H., & ngel, J. (2009). Actividades Matemticas para el Desarrollo de Procesos Lgicos:

Representar Estructuras Algebraicas Finitas y Enumerables. Bogot: Universidad Pedaggica Nacional. pp. 109

Diagrama de Hasse del Orden Multiplicativo (|)

16 8 4 2 24 12 6 3 36 30 9 5 1 10 14 7 15 11 13 60 210

Algunas Observaciones

Escaln 0 1 2 3 4 n

Nmeros 1 2, 3, 5, 7, 11, 13, 4, 6, 9, 10, 14, 15, 8, 12, 30, 16, 24, 36, 60, 210,
Tabla 1.-

Forma de los nmeros

p con p primo p2, pq con p, q primos p3, p2q, pqr con p, q, r primos p4, p3q, p2qr, p2q2, pqrt con p, q, r, t primos

la suma de las potencias es n

Observaciones del Diagrama de Hasse del Orden Multiplicativo (|)

Atendiendo a las observaciones planteadas a partir del diagrama de Hasse para la relacin (N, |), se hace necesario plantear las siguientes dos definiciones que corresponden a nmero primo y la operacin de potenciacin, respectivamente.

Definicin 5
Sea p N, p > 1.Se dice que p es un nmero primo si y slo si sus nicos divisores son 1 y p. Si
p no es primo, entonces p es un nmero compuesto.

Definicin 6
Sean a, n N. Se define la n-sima potencia de a, as
i. a0 = 1, si a 0 ii. a n = a n a
+

Al hacer un anlisis respecto al escaln 1 del Diagrama de Hasse del Orden Multiplicativo, surgen los siguientes interrogantes, cuntos nmeros primos hay?, cmo se construyen los nmeros primos?, y cmo se sabe si un nmero natural es primo o no? Para dar respuesta al primer interrogante se plantea el siguiente teorema,

Teorema 20
Existen infinitos nmeros primos.

Demostracin

Se ha de demostrar por contradiccin. Supngase que hay finitos nmeros primos:

p1 < p2 < < pn.

Ahora, sean P = p1 p2 pn + 1, y Q = p1 p2 pn. Como P y Q son mayores que pn, entonces por el supuesto de que pn es el mayor nmero primo, se tiene que P y Q son nmeros compuestos, luego existe pi nmero primo, tal que pi | P y pi | Q, esto implica que pi | 1, luego pi = 1. Pero, como pi es un nmero primo, por contradiccin se concluye que hay infinitos nmeros primos.

Ntese, que en la demostracin del Teorema 21, se dieron por ciertos los siguientes dos lemas:

Lema 5
Todo nmero compuesto tiene algn divisor primo.

Lema 6
Sean a, b, c . Si a | (b + c) y a | b, entonces a | c.

Algunas Observaciones Sea m N, m > 1. 1 | m porque existe m N tal que m = 1m m | m porque existe 1 N tal que m = m1 Por lo anterior el conjunto de divisores de un k N, denotado por Dk es diferente de vaco. Si k es un nmero primo, entonces Dk = {1, k} Si k es un nmero compuesto, entonces existe algn divisor h diferente a 1 y a k. Con base en las observaciones hechas previamente, se demuestra el siguiente teorema:

Teorema 21
Sean a, b . Si a | b, b 0, entonces 1 a b.
Demostracin

Dado que a | b, entonces por la Definicin 4, existe c N, tal que b = ac, y como b 0, entonces a 0 y c 0. Como c 0, entonces 1 c, luego por el Teorema 17, se tiene que a ac, as a b Como a 0, entonces 1 a

Se inicia discutiendo la demostracin del Lema 5, el cual quedo pendiente en la sesin 3, para ello, se ve la necesidad de demostrar previamente el Principio del Buen Orden.

Teorema 22 (Principio del Buen Orden - PBO)

Todo subconjunto no vaco de N tiene un elemento mnimo

Idea intuitiva

Sea S N con S . Por reduccin al absurdo, S no tiene mnimo. 1) 0 S, porque 0 n, para todo n N, en particular 0 s, para todo s S 2) Supngase que n S, luego se puede asegurar que si k n, k S Se quiere mostrar que n+ S Si n+ S, entonces existe s0 S tal que s0 < n+, as n s0 < n+, luego n = s0 S. Por contradiccin n+ S.
Demostracin

A = {x N : x S} i. 0 A, por la idea 1 ii. Supngase que n A, luego por la idea 2, n+ S, entonces n+ A As, aplicando Principio de Induccin, se tiene que A = N

Ntese, que en la demostracin del Principio del Buen Orden denotado por (P.B.O), se deduce fcilmente el siguiente lema:

Lema 7
Para todo n N, no existe un u N tal que n < u < n+

Ahora, se ha de demostrar el Lema 5, el cual es necesario para validar la demostracin de la existencia de infinitos nmeros primos (Teorema 20).

Lema 5
Todo nmero compuesto tiene algn divisor primo.

Demostracin

Sea m N, m compuesto, luego, existe n Dm, tal que 1 < n < m. Se define el conjunto, A = {x N : x | m y x es compuesto} A , ya que m A, luego por P.B.O, existe k N, tal que k = mn A, es decir k A y k y, para todo y A Como k A, k | m y k es compuesto, luego existe q N tal que 1 < q < k, tal que q|k, entonces q|m, por transitividad. Ahora, si q es compuesto, entonces q A, pero como q < k, hay contradiccin ya que k = mn A, luego q es primo.

Lema 8
Sean a, b N, tales que a + b = 1, entonces a = 0 b = 0.
Demostracin

Dado que a, b N, y a + b = 1. Supngase que a 0, luego existe u N tal que a = u+. As, 1=a+b 0+ = u+ + b 0+ = b + u+ 0+ = (b + u)+ 0+ = (u + b)+ por Teorema 4 por tem ii de la Definicin 1 por Teorema 4

Ahora, por el Axioma 4, se tiene que 0 = u + b, y por el Lema 1, b = 0.

Ahora, se ha de demostrar el Lema 7, el cual es necesario para validar la demostracin del Principio del Buen Orden (Teorema 18).

Lema 7
Para todo n N, no existe un u N tal que n < u < n+
Demostracin

Sea n N, por reduccin al absurdo se ha de suponer que existe u N tal que n < u < n+. As, por la Definicin 2, se tiene que: Como n < u, entonces existe p N, p 0, tal que u = n + p Como u < n+, entonces existe q N, q 0, tal que n+ = u + q De lo anterior se tiene que:

n+ = u + q n + 1 = (n + p) + q n + 1 = n + (p + q) 1=p+q por Teorema 2 por Teorema 18

Ahora, dado que 1 = p + q, por el Lema 8, se tiene que p = 0 q = 0, lo cual contradice la hiptesis de que p 0 y q 0.

Por otra parte, se recuerda que estas ltimas demostraciones se hicieron con la intencin de validar la existencia de infinitos nmeros primos, para lo cual, falta demostrar el Lema 6, que quedo pendiente en la Sesin 3.

Lema 6
Sean a, b, c N, tales que a | b y a | (b + c), entonces a | c
Demostracin

Si a 0, y como a | b y a | (b + c), entonces por la Definicin 4, existen p, q N, tales que b = ap Ntese que, bb+c ap aq Luego, p q. Por otra parte, se tiene que b + c = aq ap + c = a (p + u) ap + c = ap + au por Teorema 18 y b + c = aq

c = au Luego, por la Definicin 4, se concluye que a | c.

por Teorema 18

Con el Lema anterior, se puede concluir la discusin respecto a la pregunta, cuntos nmeros primos hay? Ahora, se pretende dar respuesta a la pregunta cmo se sabe si un nmero natural es primo o no? Al trabajar con nmeros relativamente pequeos no hay dificultades para responder tal pregunta, sin embargo cuando trabajamos con nmeros cuyos factores primos no sean muy evidentes, surge la necesidad de hallar un mtodo para solucionar este problema. En este sentido, se discute un primer camino, la Criba de Eratstenes3. Para entender el mtodo se pregunta, como caso particular, El nmero 61 es primo o compuesto?, Para ello, se inicia listando los nmeros naturales desde 2 hasta 61, despus se marcan todos los mltiplos de 2, los cuales no son primos, luego, se sigue con 3 que es primo, y se marcan sus mltiplos, as se continua con 5 y con 7, al analizar 11, se nota que no queda algn nmero compuesto sin marcar, por lo cual, dado que 61 no est marcado se concluye que es primo.

Stewart, J., Redlin, L., & Saleem, W. (2001). Preclculo (Tercera Edicin). Mxico: Thompson Editores. pp. 525

Dado que desde el nmero primo 11, no era necesario seguir marcando, debido a que ya no quedaban ms nmeros compuestos, surge el interrogante, hasta cul nmero primo se debe buscar el marcar sus mltiplos, para determinar si un nmero n es primo o no. De esto, surge la siguiente conjetura:

Conjetura 1
El proceso termina cuando se han eliminado todos los p primos, tales que, para todo p2 n.

Por otra parte, al observar que todos los nmeros primos mayores a 3, estn en las columnas 1 y 5, surge la siguiente conjetura:

Conjetura 2
Todo nmero primo mayor que 3, es de la forma 6 k + 1 y 6 k + 5

Teorema 22
Sea n N, n > 1, y A = {p N : p es primo y p2 n}. Si para todo p A, p / | n , entonces n es primo.
Demostracin

Supngase que n no es primo, luego por la Definicin 5, n es un nmero compuesto, as, n = pi k, y por la Definicin 4, k | n Ahora, se consideran los casos: Caso 1: Si pi k Como pi k , por el Teorema 18 y la Definicin 6, se tiene que pi 2 k pi, as pi 2 n Caso 2: Si k < pi Como k < pi, por la Definicin 2, existe h N, tal que pi = k + h, adems se tiene que n = pi k Si k = 1, entonces pi = n, luego hay contradiccin ya que n es nmero compuesto Si k es un nmero primo, entonces n (k + h) k n k2 + hk k2 n Luego k A, as k / | n , luego hay contradiccin, ya que k | n Si k es compuesto, entonces k = pj m, luego pj < k < pi As, pj2 < k pj < pi pj Por lo cual, y pj pi < k pi < pi2 por Teorema 19 y Definicin 6

pj2 < k pj < pi pj < n < pi2 Es decir que pj2 < n, lo cual genera una contradiccin.

Ahora, se inicia con la discusin de la conjetura 2 que quedo planteada en la sesin anterior, para ello se reformula de la siguiente manera:

Teorema 23 (Algoritmo de la Divisin)

Sea a, b N, con b 0, existen nicos q, r N tales que a = bq + r con r<b

Teorema 23 (Algoritmo de la Divisin)

Sea a, b N, con b 0, existen nicos q, r N tales que a = bq + r
Demostracin

con

r<b

Primero se ha de demostrar la existencia Sea S = {n N : a = bx + n para algn x N}, se ha de mostrar que S no es vaco. Si x = 0, entonces a = b 0 + n, luego a = n, por ende S . As, por el Teorema 18, S tiene un elemento mnimo, sea este r, y sea x = q. Por tanto, se tiene que a = bq + r Ahora, para demostrar que r < b, se va a realizar la demostracin por contradiccin. En este sentido, supngase que r b. Luego, por la Definicin 2, existe u N, tal que r = b + u, ntese que u < r, y como a = bq + r, se tiene que a = bq + (b + u) y por la Teorema 2 y el Teorema 18, se tiene que a = b (q + 1) + u y por la definicin del conjunto S, se obtiene que u S, pero como r es el elemento mnimo de S y u < r, por contradiccin se demuestra que r < b. Ahora, se ha de demostrar la unicidad de q y r. Supngase elementos q y r que tambin cumplen la condicin de q y r. Luego, a = bq + r con Por ende, bq + r = bq + r Como q q, por el Teorema 17, se tienen los siguientes casos: r < b

Caso 1: Si q< q As, por la Definicin 2, se tiene que, existe k N, k 0, tal que: q = q + k, luego bq + r = b (q + k) + r bq + r = bq + bk + r r = bk + r por Teorema 18 por Teorema 18

Lo anterior implica que r > bk. Por otra parte, b < bk y r< b, luego r< bk. As, por contradiccin q q. Caso 2: Si. q < q As, por la Definicin 2, se tiene que, existe k N, k 0, tal que: q = q + k, luego b (q + k) + r = bq + r bq + bk + r = bq + r bk + r = r por Teorema 18 por Teorema 18

Lo anterior implica que r > bk. Por otra parte, b < bk y r < b, luego r < bk. As, por contradiccin q q. Por lo anterior, se concluye que q = q. Ahora, se muestra que r = r. bq + r = bq + r r= r Con lo cual, queda demostrado el Teorema 20. por Teorema 18

Solo que ahora, la discusin se ha de centrar en el por qu se puede garantizar la existencia y unicidad de la representacin dada para cada nmero natural mayor que 1, lo cual permite estudiar el Teorema Fundamental de la Aritmtica, que se enuncia y demuestra a continuacin.

Teorema 24 (Teorema Fundamental de la Aritmtica)

Todo nmero natural n mayor que 1, se puede representar como

n = p1 p2 p3 ... pk

donde p1 , p2 ,..., pk son nmeros primos, sta representacin es nica salvo el orden de los factores.
Demostracin

Primero se demostrar la existencia de tal representacin. Opcin 1 Si n es primo entonces el enunciado es cierto, ya que n = p1. Pero, si n es compuesto, entonces por el Lema 5, existe p1 nmero primo tal que p1 | n, y por el Teorema 17, p1 < n. As, n = p1 r1 donde r1 > 1

Ahora, si r1 es primo, entonces n = p1 p2, donde p2 = r1, lo que demuestra el teorema. Pero, si r1 es compuesto, entonces por el Lema 5, existe p2 nmero primo tal que p2 | r1. Luego, r1 = p2 r2 donde r1 > r2 > 1

De lo cual se tiene que n = p1 p2 r2. Ahora, si r2 es primo, entonces n = p1 p2 p3, donde p3 = r2, lo que demuestra el teorema. Pero, si r2 es compuesto, entonces por el Lema 5, existe p3 nmero primo tal que p3 | r2. Luego, r2 = p3 r3 donde r1 > r2 > r3 > 1

Ahora, si se continua de esta manera se obtiene la secuencia decreciente n > r1 > r2 > > 1. Como los trminos de la secuencia son nmeros naturales se define el conjunto A = { x N : x r1 } Como A , y A es un subconjunto de los nmeros naturales, existe un elemento mnimo m = 1, y como el orden aditivo (<), es un orden total, se tiene que n = p1 p2 pk rk+1 donde rk+1 = 1. Luego la existencia de tal representacin para todo nmero natural mayor que 1 se tiene.

Opcin 2

Se utilizar el Principio de Induccin sobre n. Si n = 2 entonces el enunciado es cierto ya que 2 es primo. Supngase como hiptesis de induccin que el enunciado es cierto para un k tal que 2 k < n. Ahora, si n es primo queda demostrado. Pero, si n es compuesto, entonces n = ab con a, b N

As, 2 a < n y 2 b < n. Luego, por la hiptesis de induccin se dice que

a = q1q2 ...qr

q2 ...qs y b = q1

Donde qi y q j son nmeros primos con i = 1, , r y j = 1, , s. Ergo

q2 ...qs . n = q1q2 ...qr q1

Segundo, se demostrar la unicidad de tal representacin. Supngase el conjunto A , donde A = {x N : x tiene dos representaciones distintas}, as por el Principio del Buen Orden, existe n A, tal que n es el menor nmero natural que tiene dos representaciones distintas, es decir, n = p1 p2 ... pk y n = q1q2 ...qh

donde p1 , p2 ,..., pk , q1 , q2 ,..., qh son nmeros primos, con p1 p2 ... pk y q1 q2 ... qh . Ntese, que k 2 y h 2, ya que si no fuese as, se tendra que: Si k = 1 y h = 1, entonces n = p1 = q1 , y esto contradice el hecho de que n A Si k 2 y h = 1, entonces n = p1 p2 ... pk = q1 , y esto contradice el hecho de que q1 es un nmero primo. Si h 2 y k = 1, entonces n = q1q2 ...qk = p1 , y esto contradice el hecho de que p1 es un nmero primo Adems, se ha de afirmar que pi q j , para todo i = 1, 2, , k y todo j = 1, 2, , h, ya que si no fuese as, por ejemplo, supngase que pk = qh = t , luego n = n t, con n < n, es decir

n= p1 p2 ... pk 1 = q1q2 ...qh1

As n A, pero como n < n, entonces se contradice el hecho de que n es el elemento mnimo del conjunto A.

Ahora, sin prdida de generalidad se ha de suponer que p1 q1 , luego por el Algoritmo de la

Divisin, se tiene que

q1 = p1c1 + r1 q2 = p1c2 + r2 M qh = p1ch + rh

donde 1 ri < p1 , con i = 1, 2, , h. Observe que, ri 0 , ya que si ri = 0 , entonces qi = p1ci , y esto contradice que qi es un nmero primo. Ahora, como n = q1q2 ...qh , al reemplazar se tiene que:

n = ( p1c1 + r1 )( p1c2 + r2 ) ... ( p1ch + rh ) Por ende, n = p1m + r1r2 ...rh para algn m N. Sea n = r1r2 ...rh . Luego n = p1m + n , y por el Lema 6, se tiene que p1 | n , ya que: p1 | mp1 Como n = p1 p2 ... pk , entonces p1 | n , es decir que p1 | p1m + n y por la Definicin 4, existe s tal que n= p1s .

Ahora, dado que s , entonces s tiene alguna representacin en factores primos, as s = s1s2 ...si por ende n= p1s1s2 ...si .

Por otra parte, como n = r1r2 ...rh , con r1 , r2 ,..., rh N , entonces cada ri con i = 1, 2, , h, tiene alguna representacin en factores primos, as n = t1t2 ...t j , y como se tiene que ri < p1 , entonces ts < p1 con s = 1, 2, , j. Por lo anterior n= p1s1s2 ...si = t1t2 ...t j , lo que implica que n A, pero
como n < n, entonces se contradice el hecho de que n es el elemento mnimo del conjunto A. Con lo que se concluye que A = . As, queda demostrado el Teorema 25.

Ahora, se muestra un resultado que fue discutido en pro de hallar la demostracin de la factorizacin nica, aunque no se utiliz en la demostracin anterior, es de observar que su demostracin es directa del Teorema Fundamental de la Aritmtica, por lo cual recibe el nombre de Corolario.

Corolario
Sean a, b, p . Si p es un nmero primo y p | ab, entonces p | a o p | b. Demostracin:Ejercicio.