P. 1
Teoría de números

Teoría de números

4.0

|Views: 21.334|Likes:

More info:

Published by: José Augusto Siles Ramírez on Oct 16, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

10/22/2015

pdf

text

original

1.1.1 De…nición. Decimos que a es mayor que b (simbolizado a > b), si la
ecuación b + x = a es soluble para algún número natural x.(para el caso
x = 0, se obtiene la igualdad b = a)

La relación a es mayor que b, puede expresarse equivalentemente así: b < a

La relación "mayor que" antes de…nida tiene las siguientes propiedades:

1. Tricotomía. Una y solamente una de las relaciones siguientes debe cumplirse:

a > b; a = b; a < b

Demostración.

Supongamos que se cumplen a > b y a = b: De la de…nición de mayor,
tenemos la existencia de algún x natural, tal que a = b + x, por hipótesis
y transitividad se sigue que b = b + x, lo cual es absurdo. Ahora supongamos
como cierto que a < b y a = b; análogamente, se tiene un x tal que b = a+x, por
hipótesis y transitividad de la igualdad pasa que a = a + x; lo que nuevamente
es absurdo. Así, puede concluirse que solo una de las relaciones puede cumplirse

2. Propiedad transitiva.

Si a > b y b > c;entonces a > c

Demostración. Si a > b y b > c, esto implica la existencia de naturales
x y y tales que a = b + x y b = c + y: Podemos entonces reemplazar b por
c + y en la primera ecuación así: a = (c + y) + x = c + (y + x); por propiedad
asociativa. Sin embargo (y + x) = z es un número natural por cerradura de la
adición. Esto prueba que a = c + z y por tanto a > c

9

3. Si a > b; entonces a + c > b + c

Demostración.

Para realizar esta demostración empezaremos por escribirla en la forma sim-

bólica:

Si a > b =) a + c > b + c

Tomando su contrarrecíproco

(a + c > b + c ) =) (a > b)

que equivalentemente es

a + c b + c =) a b

Aquí el símbolo lo utilizamos a …n de simpli…car la escritura de " < ó = "

i. a + c < b + c =) a + c + x = b + c def. mayor que

=) a + x = b

prop. cancelativa

=) a < b

def. mayor que

ii. Si a + c = b + c; entonces a = b por la propiedad cancelativa.

La demostración de la propiedad número 3 se realizó en la base de la ley
cancelativa, de la cual se dará una demostración más adelante.

Principio de Buen Orden (PBO): Cualquier conjunto de números nat-
urales que contenga al menos un elemento, contiene un elemento mínimo.

1.1.1 Teorema. No hay ningún natural entre 0 y 1.

Demostración.

Supongamos que existe un número a; con la siguiente propiedad, 0 < a < 1.
Entonces, existe un conjunto A no vacío de elementos menores que 1: Luego,
por PBO, A tiene elemento mínimo, llamémosle m; será tal que 0 < m < 1:
Mutiplicando toda la desigualdad por m, 0 < m2

< m: Entonces m2

es otro
natural del conjunto A, menor que el supuesto elemento mínimo de A. Esta
contradicción demuestra el teorema.

1.1.2 Teorema : Un conjunto H de enteros naturales que incluya al 1 y que
incluya al n+1 siempre que incluya al n; incluye también a cualquier
entero natural.

10

Demostración.

La prueba consiste en demostrar que el conjunto H0 de los naturales que
no están en H es vacío, esto es H0 = fx 2N: x =2 Hg = : Supongamos lo
contrario, esto es H0 contiene al menos un elemento; luego por PBO, H0 tiene
elemento mínimo m: Pero m 6= 1; por hipótesis 1 2 H; luego por el teorema
anterior m > 1; y m 1 > 1: Además 1 < m 1 < m; resulta que, como m
es elemento mínimo de H0; m 1 debe estar en H. Según la hipótesis puede
deducirse que (m 1) + 1 = m 2 H. Lo que contradice nuestro supuesto.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->