Sobre la Construccin de los o N meros Enteros y Racionales u

Dr. Rafael Labarca Briones Profesor de Matemticas. a Universidad de Santiago de Chile.

Charlas dictadas en la EMALCA de Salta-Argentina.

Introduccin o

Una de las cosas ms antiguas que sabe hacer el hombre es contar. En sus inicios a contar estaba asociado a contar objetos: UN PALOTE, DOS PALOTES, TRES PALOTES,......,DIEZ MILLONES DE PALOTES. Entretanto, contar no es slo enumerar objetos. Tanmbin es combinar. Por o e ejemplo: Cuntos resultados posibles tiene un dado equilibrado?. Todos sabemos a que son seis y no es que lo estemos tirando para contar. Otra manera menos evidente de contar. Si en un auditorio hay 100 personas, con seguridad all habr P personas con P [100/7] = 14 personas que nacieron el a mismo d de la semana y Q personas con Q [100/7] que nacieron otro. a Asi que contar es algo ms que enumerar objetos. Saber esto no es tan antiguo, a ni tan intuitivo. De todas formas, una cosa que hacemos es contar, de diversas formas, y para ello asociamos s mbolos a cantidades. Por ejemplo, todos sabemos que no es lo mismo ocho manzanas que ocho naranja o ocho sand as. Pero, en comn tienen u que son ocho objetos. Deducimos que hay una cosa abstracta que se llama ocho. Tambin hay otra cosa abstracta que se llama quinientos veinticinco mil billones, e novecientos treinta y seis millones veinte. Concluimos que contar objetos es intuitivo pero asociar s mbolos a esta enumeracin no lo es. o Los matemticos, a lo largo de los aos, han tenido varias formas de justicar a n estos s mbolos y de convencer que representan lo que dicen que representan. En estas conferencias daremos una explicacin (plausible de dar en dos charlas) o de la construccin de los nmeros naturales, enteros y racionales y de las operaciones o u elementales entre estos nmeros. Este enfoque se deduce de los trabajos de Cantor, u Frege, Peano y Russel, entre otros. En nuestra exposicin seguiremos, libremente, los textos Teor Intuitiva de o a los Conjuntos de Paul Halmos y Fundamentos de los Sistemas Numricos e de Ral Bravo Flores. u

2
2.1

La Construccin de los N meros Naturales o u

La Construccin axiomtica o a

Desde nes del siglo XIX, los matemticos han coincidido en establecer una forma a de hacer matemticas que se reconoce como Axiomtica. A saber: se parte de cona a ceptos primitivos, postulados o axiomas cuya validez se asume (no se demuestran), se dan deniciones y se empieza a establecer proposiciones que mezclan axiomas y deniciones. A estas proposiciones se les llama lemas, proposiciones, corolarios, escolios, etc. Cuando alguna de ellas resulta central en el desarrollo de la teor se a, le llama Teorema. En lo que sigue haremos esto.

2.2

Conceptos Primitivos y Axiomas Bsicos a

Tenemos que iniciar la teor con algo que sea fcil y evidente de aceptar. Qu tal a a e con: existen conjuntos y los conjuntos tienen elementos ? Conjunto denominar una coleccin bien denida de objetos. Los conjuntos a o tienen elementos. Aqu hay dos conceptos que llamaremos primitivos Conjuntos y elementos. Entre conjuntos y elementos hay una relacin: la de pertenencia. Los elemeno tos pertenecen a los conjuntos. Los conjuntos se denotan por letras maysculas u A, B, C, ... y los elementos por letras minsculas x, y, z, .... La relacin de pertenenu o cia se escribe x A para indicar que x es un elemento de A o que x pertenece a A. AXIOMA DE EXTENSION: Dos conjuntos son iguales si y solo si tienen los mismos elementos. Esto es: el conjunto A es igual al conjunto B si todo elemento de A es elemento de B y si todo elemento de B es elemento de A. En s mbolos: A = B A B B A. Por ejemplo A = { R de Amrica} y B = { R de Chile}. Es claro que os e os B A y que B = A.

En este caso, y como B A y B = A, se dice que B es una especicacin de o A y se escribe B = {x A; x es r de Chile} o Esto nos lleva a nuestro segundo axioma AXIOMA DE ESPECIFICACION: A todo conjunto A y a toda condicin S(x), corresponde un conjunto B cuyos elementos son precisao mente aquellos elementos de A que cumplen S(x). Este Axioma ayuda a construir subconjuntos de un conjunto dado. Con lo que hemos contruido ya tenemos los elementos para iniciar la construccin de los nmeros. o u Primero: Aceptamos que existe un conjunto A con elementos. Segundo: Sea B = {x A; x = x}. Como no hay elemento de A que no sea igual a si mismo, concluimos que B es un conjunto sin elementos que llamaremos el conjunto sin elementos o el conjunto vac y lo denotaremos por la letra griega Phi: . o El conjunto vac ser nuestro punto de partida para la construccin de los o a o nmeros naturales y lo consideraremos un nmero que llamaremos cero u u Conclusin: el cero existe. o Ahora, como el cero existe, construimos el conjunto {0} y le lamamos uno y lo denotamos 1. Como 1 existe, construimos el conjunto {0, 1}, le llamamos dos y lo denotamos 2; Como el 2 existe, construimos el conjunto {0, 1, 2}, le llamamos tres y lo denotamos 3, y asi sucesivamente. Esto no garantiza que existan todos los nmeros naturales: apenas garantiza u que existen todos aquellos nmeros que, con paciencia, seamos capaces de construir. u Como las etnias autctonas de Amrica Latina somos pacientes: suponemos o e que esa paciencia nos da para construir, de sta manera, hasta el nmero: e u 1.000.000.000.000.000.000.000.000.000.000.000.000.000.000.000.000.000.000.000.000.000

Este conjunto representa un nmero tan grande que resulta impronunciable u para nosotros( no tenemos una palabra en el idioma que lo indique).

En particular, y en esta construccin, el cero es el primer nmero natural. o u

2.3

Los otros n meros naturales u

Para obtener los otros nmeros naturales tenemos que dar otras deniciones y acepu tar otros axiomas. Axioma de la Unin: Para toda coleccin de conjuntos existe un o o conjunto que contiene a todos los elementos que pertenencen cuando menos a uno de los conjuntos de la coleccin dada. o Esto es, si C es una coleccin de conjuntos entonces existe un conjunto V tal o que A C y x A tenemos x V . Usamos especicacin para denir el conjunto o {x V ; x A para algn A C}. u Este conjunto se conoce como la unin de los elementos de C y se denota por o o AC A. Ahora podemos formar la unin de conjuntos. Dado un conjunto A denimos el sucesor de A, denotado A+ , por A+ = A {A}. O sea, A+ se obtiene considerando todos los elementos de A y adicionando al conjunto A como elemento. Damos ahora una denicin: Un conjunto S se dir de sucesores o un cono a junto sucesor si 0 S y toda vez que A S entonces A+ S. Establecemos ahora el siguiente: Axioma del Innito: Existe un conjunto de sucesores. Este axioma garantiza que la coleccin D = {S; S es un conjunto sucesor} es o no vac a. Sea ahora C una coleccin de conjuntos. Se dene la interseccin de los eo o lementos de C como el conjunto {x AC A; x A, A C}. Este conjunto se denota AC A. La denicin anterior, de la interseccin, se pudo hacer gracias a los axiomas o o de la unin y de especicacin. O sea, no fue necesario un nuevo axioma para o o construirla.

Lema 1. Si A y B son conjuntos de sucesores entonces A B es un conjunto de sucesores. Demostracin 1. Como 0 A y 0 B entonces 0 A B. o Si ocurre que n A B entonces n A y n B. Como A y B son conjuntos sucesores n+ A y n+ B y luego n+ A B. Corolario 1.
AD

A es un conjunto de sucesores.
AD

Denicin 1. La interseccin o o naturales y se denotar . a

A, se llamar el conjunto de los n meros a u

2.4

Loa Axiomas de Peano

Observamos las siguientes propiedades de : 1. Si S es un conjunto de sucesores entonces S = . Esto se conoce como el principio de induccin matemtica y se escribe de la siguiente manera: o a si S satisface: i) 0 S y ii) Toda vez que n S se verica n+ S entonces S = . Esta propiedad garantiza que S es un conjunto sucesor y luego S. De aqu la igualdad. 2. Cada n satisface n+ = 0. Esto es claro ya que n n+ y luego n+ no es el conjunto vac o. 3. Sea n . Si x n entonces n no es subconjunto de x. Demostracin 2. Sea S = {n ; no hay x n con n x}. o Armacin 1. 0 S o En efecto: si no habra x 0 con 0 x. Como 0 = no hay tal elemento. 0 S. Suponemos ahora que n S vamos a probar que n+ S. Como n S entonces n no es suconjunto de ninguno de sus elementos. Como n n entonces debe ser n n. /

Como n n+ concluimos que n+ no es subconjunto de n( pues n n). / Sea entonces x tal que n+ x. Como n n+ concluimos que n x y luego debe ser x n. De esta forma para cada x n no puede ser n+ x ( si asi / fuera se tendra n x ). n+ no es sunconjunto de n ni de cualquier elemento de n. Tenemos entonces que n+ no es subconjunto de cualquier elemento de n+ . Esto es n+ S. Tenemos entonces que S = y lo armado es cierto. 4. Sean n y x n entonces x n.

Demostracin 3. Sea S = {n ; si x n entonces x n}. Tenemos que o 0 S. Si no, habra x 0 tal que x () 0 S. Suponemos que n S. Sea x n+ . Si ocurre que n = x entonces como n+ = n {n} entonces n n+ . Si ocurre que x n entonces x n n+ . En cualquier caso n+ S. De aqu S = y tenemos el resultado. 5. Si n y m son elementos de entonces si ocurre que n+ = m+ entonces n = m Demostracin 4. n+ = n {n} = m {m} = m+ . Como n n+ entonces o n m+ . Si ocurre que n = m el resultado es cierto. Si ocurre que n = m entonces debe ser n m y luego n m() Como m m+ entonces m n+ . No puede ser n = m asi que debe ser m = n y luego m n y asi m n(). De lo probado en (*) y (**) concluimos que n = m.

Para comparar la construccin axiomtica( de los nmeros naturales) con la o a u cosntruccin algebraica hagamos expl o citas las siguientes propiedades de :

I.- 0 . II.- Si n entonces n+ . III.- Si S satisface [(i)0 S y (ii)n+ S toda vez que n S] entonces debe ser S = . IV.- Para cada n vale n+ = 0. V.- Si n, m satisfacen n+ = m+ entonces necesariamente n = m.

Estas propiedades de se comocen como los Axiomas de Peano y se enuncian de la siguiente forma: Existe un conjunto, denotado y llamado conjunto de los nmeros naturales, que satisface (I.-)-(V.-) anterior. u La construccin algebraica de los nmeros naturales parte, adems, con el 1. o u a O sea, se reemplaza 1 con 0 en el enunciado de los Axiomas de Peano.

Las Operaciones Bsicas entre n meros natua u rales

Introduccin o

3.1

Ya hemos denido el conjunto de nmeros naturales y ahora vamos a denir las u dos operaciones bsicas que son la suma y el producto. Si denotamos por + y a estas dos operaciones, tendremos que denirlas de tal forma que, por ejemplo, {0, 1, 2} + {0, 1} = {0, 1, 2, 3, 4} y {0, 1} {0, 1, 2} = {0, 1, 2, 3, 4, 5}: Esto, escrito en las notaciones ya establecidas, quiere decir 3 + 2 = 5 y 2 3 = 6. Es claro que esta ultima representacin es ms amigable pero, en rigor, lo que o a representa es lo primero. Para denir estas operaciones debemos introducir el concepto de funcin. A o n de que nuestra presentacin sea autosuciente introduciremos lo necesario para o ello.

3.2

Funciones

Para denir funciones necesitamos sealar primero lo que entenderemos por producto n cartesiano. Lo primero, en esta direccin, es denir lo que entenderemos por parejas no o ordenadas. Dados dos conjuntos A y B podemos considerar el conjunto {A, B} que consiste de los elementos A y B. El unico defecto, de esta presentacin de una o pareja no ordenada, es que no hemos hecho ninguna especicacin para llegar a este o conjunto. A n de hacerlo, introducimos el: Axioma del Apareamiento: Dados dos conjuntos cualesquiera, existe

un conjunto que contiene a ambos como elementos. Ahora, sea C tal conjunto y sea D = {x C; x = A x = B} = {A, B}. Este conjunto se llama la pareja no ordenada formada por A y B. Observamos, como caso particular que dado un conjunto A, cualesquiera, podemos formar {A, A} = {A}, conocido como el singletn de A. o Con lo que ya tenemos podemos ahora formas diferencias de conjuntos y complementos. A saber: Dados conjuntos A y B se dene la diferencia (A \ B) como el conjunto {x A; x B}. / Cuando A E la diferencia (E \ A) se conoce como el complemento de A en E y se denota Ac . Proposicin 1. Para conjuntos A y B se cumplen los siguientes: o

1.- A B = (A \ B) (B \ A) (A B). 2.- (A B)c = Ac B c . 3.- (A B)c = Ac B c .

Las partes 2. y 3. de sta proposicin se conocen como las Leyes de De e o Morgan. Dado un conjunto E, podemos considerar todos sus subconjuntos y es natural asumir que hay un conjunto que contiene a todos ellos como elementos. Esto, naturalmente, nos lleva al siguiente: Axioma de la Potencia: Para cada conjunto existe una coleccin de o conjuntos que contiene, como elementos, a todos los subconjuntos del conjunto dado. Sea dado el conjunto E y sea E la coleccin dada por el axioma de la potencia. o Se dene la potencia de E, denotado P (E), como el conjunto {A E; A E}. Ahora, dados dos conjuntos, A y B queremos denir la pareja ordenada (A, B). Esta pareja deber cumplir las siguientes propiedades: (A, B) = (B, A) y (A, B) = a (C, D) si y solo si A = C y B = D. Denicin 2. La pareja ordenada con primer elemento A y segundo elemento o B, denotada (A, B), es el conjunto {{A}, {A, B}}.

Notamos que lo que hemos aceptado, hasta ahora, es suciente para garantizar que el conjunto (A, B) existe. Tenemos ahora el siguiente resultado: Lema 2. (i) (A, B) = (B, A) si A = B y

(ii) (a, b) = (c, d) si y solo si a = c y b = d. Probemos estos dos resultados: Demostracin 5. En el primer caso y como {A} (A, B) y {A} (B, A), tenemos o / el resultado.

Para probar lo armado en (ii): {a} (a, c) y (a, b) = (c, d) entonces {a} (c, d). Asi que {a} = {c} o {a} = {c, d}. Si ocurre que {a} = {c} entonces ha de ser que a = c. Como {a, b} (a, b) = (c, d) entonces {a, b} (c, d) y debe ser {a, b} = {c} o {a, b} = {c, d}. Si ocurre {a, b} = {c} entonces a = c = b y luego (a, b) = {{a}}. Como {c, d} (c, d) = (a, b) = {{a}} entonces {c, d} = {a} y, necesariamente, a = c = b = d. Si ocurre que {a, b} = {c, d} entonces como a = c se debe tener b {a, d}. Si b = a entonces de {a, b} = {a} = {c, d} = {a, d} debemos tener d = a y luego a = c = b = d. Si b = a entonces hemos de tener b = d y concluimos que a = c y b = d. Si ocurre que {a} = {c, d} entonces c, d {a} y ha de ser a = c = d. En este caso (c, d) = {a} = (a, b) y debe ser b = a. Luego tenemos a = c = d = b. Estas eran las propiedades principales que le pediamos a las parejas ordenadas y, por ello, la denicin exhibida cumple con lo requerido. o Hacemos ahora la siguiente pregunta: dados dos conjuntos no vac A y B os Existe un conjunto que contenga a todas las parejas ordenadas (a, b) con a A y b B?. Sabemos que (a, b) = {{a}, {a, b}}. Tambin que {a} A A B y {a, b} e A B. Luego {a} P (A B) y {a, b} P (A B). Asi que el conjunto (a, b) = {{a}, {a, b}} P (A B). Esto es (a, b) P (P (A B))

De esta forma tenemos que el conjunto P (P (A B)), contiene a todas las parejas ordenadas (a, b) con a A y b B. Esto nos lleva a denir el producto cartesiano. Denicin 3. El producto cartesiano de los conjuntos A y B, denotado A B, o es el conjunto A B = {x P (P (A B)); x = (a, b)con a A y b B}.

Esta denicin asegura que el producto cartesiano es un conjunto de parejas o ordenadas. Podemos considerar, ahora, un conjunto R de parejas ordenadas y tenemos el siguiente resultado: Lema 3. Dado un conjunto R de parejas ordenadas existen conjuntos A y B tales que R A B. Demostracin 6. En efecto, sean A = dom(R) = {a; existe b tal que (a, b) R} y o B = im(R) = {b; existe a tal que (a, b) R}. Es claro que R A B. Ahora que ya tenemos productos cartesianos tenemos Relaciones. Una relacin o es un conjunto de pares ordenados o, parafraseando el lema, una relacin es cualquier o subconjunto R A B, donde A y B son conjuntos. El dominio de la relacin R es el conjunto o dom(R) = {a A; existe b B tal que (a, b) R}.

El recorrido de la relacin R es el conjunto o rec(R) = {b B; existe a A tal que (a, b) R}. Denicin 4. Una funcin f de A en B es una relacin f A B que satisface: o o o 1. dom(f ) = A y 2. Para cada a A existe un unico b B talque (a, b) f . Una funcin de A en B se denota, ususalmente, como f : A B. o

Ya con estos elementos vamos a establecer el Teorema de Recurrencia, que es un resultado principal para la denicin de las operaciones de suma y multiplicacin o o en . Para ello, sean dados un conjunto no vac X, un elemento a X y una o funcin f : X X o Teorema 1. Existe una unica funcin u : X tal que: u(0) = a. y u(n+ ) = o f (u(n)), n . Demostracin 7. Una funcin u : X es un subconjunto u X. o o Sea C = {A X; (0, a) A y (n+ , f (x)) A toda vez que (n, x) A}. Como X satisface (0, a) X y (n+ , f (x)) X siempre, entonces X C y concluimos que C = . Sea u =
AC

A.

Armacin 2. u C. o En efecto: A C tenemos (0, a) A y luego (0, a)

AC

A = u.

Sea ahora (n, x) u. Tenemos (n, x) A, A C y luego (n+ , f (x)) A, A C. Esto es (n+ , f (x)) u. Vamos ahora a probar que u es una funcin. o Sean (n, x) u y (n, y) u queremos probar que x = y. Sea S = {n ; existe a lo ms un x X tal que (n, x) u}. a Armacin 3. 0 S. Si no, existe b = a tal que (0, b) u. o Sea = u \ {(0, b)}. Este conjunto satisface (0, a) . Supongamos que (n, x) . Se tiene que (n, x) u y (n, x) = (0, b). Luego (n+ , f (x)) u. Como n+ = 0 n entonces (n+ , f (x)) = (0, b) y tenemos (n+ , f (x)) . Asi que C. Por lo tanto u . Esto ultimo no es posible pues = u \ {(0, b)}.

De esta forma, suponer que existen dos elementos a y b con (0, a) u , (0, b) u y a = b nos lleva a una contradiccin. Luego, no existe tal b. Conclumos que o 0 S. Vamos ahora a suponer que n S y vamos a probar que n+ S. Si esto es asi, entonces S = y n existe un unico x X tal que (n, x) u. O sea, u es una funcin. o Si ocurre que n+ S entonces existe y = f (x) tal que (n+ , y) u. / Sea = u \ {(n+ , y)}. Como n se cumple que n+ = 0 entonces (0, a) = (n+ , y) y tenemos (0, a) . Supongamos que (m, t) entonces (m, t) = (n+ , y) y (m, t) u, luego (m+ , f (t)) u. Si ocurre que n = m entonces (n, t) u y (n, x) u. Como n S debe ser t = x y luego (m+ , f (t)) = (n+ , f (x)) u. Como f (x) = y entonces (m+ , f (t)) = (n+ , f (x)) = (n+ , y) y (m+ , f (t)) . Si ocurre que m = n entonces m+ = n+ y (m+ , f (t)) = (n+ , y), luego (m+ , f (t)) . Conclumos que C, lo que no puede ser pues = u \ {(n+ , y)}. Asi el hecho de suponer que n+ S nos lleva a una contradiccin. Conclu / o mos que n+ S y que S = . Esto concluye la demostracin del Teorema de Recurrencia. o Con este resultado tenemos lo necesario para denir la suma y multipicacin o de nmeros naturales. u

3.3

La suma de n meros naturales u

Consideremos la funcin sucesor s : , denida por s(n) = n+ y m . o El Teorema de Recurrencia dice que existe una unica funcin u : que o satisface: u(0) = m y u(n+ ) = s(u(n)).

Denotaremos esta funcin por Sm . El valor Sm (n), se llama la suma de m o con n y se denota m + n. Esto es m + n = Sm (n). Veamos que esta denicin corresponde a la suma que conocemos: o 0 + 1 = S0 (1) = S0 (0+ ) = s(S0 (0)) = s(0) = 1. 1 + 0 = S1 (0) = 1. 1 + 1 = S1 (1) = S1 (0+ ) = s(S1 (0)) = s(1) = 2. 0 + 2 = S0 (2) = S0 (1+ ) = s(S0 (1)) = s(0 + 1) = s(1) = 2. 1 + 2 = S1 (2) = S1 (1+ ) = s(S1 (1)) = s(2) = 3. 2 + 1 = S2 (1) = S2 (0+ ) = s(S2 (0)) = s(2) = 3. 0 + 3 = S0 (3) = S0 (2+ ) = s(S0 (2)) = s(2) = 3. 1 + 3 = S1 (3) = S1 (2+ ) = s(S1 (2)) = s(3) = 4. 3 + 1 = S3 (1) = S3 (0+ ) = s(S3 (0)) = s(3) = 4. 2 + 2 = S2 (2) = S2 (1+ ) = s(S2 (1)) = s(3) = 4. n + 1 = Sn (1) = Sn (0+ ) = s(Sn (0) = s(n) = n+ Probemos, en general y por ejemplo , que 0 + m = m = m + 0. La parte m + 0 = m se deduce de Sm (0) = m. Probamos la otra igualdad Sea S = {m ; 0 + m = m}. Armacin 4. 0 S . En efecto 0 + 0 = 0. o Suponemos ahora que m S probemos que m+ S. Tenemos: 0 + m+ = S0 (m+ ) = s(S0 (m)) = s(0 + m) = s(m) = m+ ; luego m+ S. Conclu mos que S es un conjunto sucesor. Debe ser S = . Esto concluye la demostracin del resultado. o De manera similar se prueba que la suma es conmutativa y asociativa. Concluimos que la estructura (, +) tienen neutro, es conmutativa y asociativa.

3.4

La multiplicacin de n meros naturales o u

Vamos ahora a usar el Teorema de Recurrencia para denir el producto de nmeros u naturales. Para m consideremos la suma Sm : y sea a = 0 . El teorema de recurrencia dene Pm : . denida por Pm (0) = 0 y Pm (n+ ) = Sm (Pm (n)) = m + Pm (n) . El nmero natural Pm (n) se conoce como el producto de m por n y se denota u m n. Veamos algunos ejemplos: Por denicin m 0 = Pm (0) = 0. o m 1 = Pm (1) = Pm (0+ ) = Sm (Pm (0)) = Sm (0) = m. 1 2 = P1 (2) = P1 (1+ ) = S1 (P1 (1)) = S1 (1) = 1 + 1 = 2. 1 3 = P1 (3) = P1 (2+ ) = S1 (P1 (2)) = S1 (2) = 1 + 2 = 3. Probemos ahora que 1 m = m para cada m . Sea S = {m ; 1 m = m}. Ya vimos que 0, 1, 2 y 3 son elementos de S. Suponemos que n S y probemos que n+ S. Tenemos 1 n+ = P1 (n+ ) = S1 (P1 (n)) = S1 (1 n), como n S entonces 1 n = n. As 1 n+ = S1 (n) = 1 + n = n+ . Luego n+ S. : Con lo anterior hemos probado que 1 es el elemento neutro de la multiplicacin. o Veamos otros ejemplos: 2 2 = P2 (2) = P2 (1+ ) = S2 (P2 (1)) = S2 (2) = 2 + 2 = 4. 2 3 = P2 (3) = P2 (2+ ) = S2 (P2 (2)) = S2 (4) = 2 + 4 = 6, en particular 2 + 2 + 2 = 6.

 2 4 = P2 (4) = P2 (3+ ) = S2 (P2 (3)) = S2 (6) = 2 + 6 = 8. 2 5 = P2 (5) = P2 (4+ ) = S2 (P2 (4)) = S2 (8) = 2 + 8 = 10. Es posible probar que la multiplicacin es asociativa y conmutativa. o Probemos la propiedad de distribucin del producto sobre la suma. Esto es: o Lema 4. k (m + n) = k m + k n , para cada k, m y n en . Demostracin 8. Sea o A = {n ; k (m + n) = k m + k n}. Armacin 5. 0 A. o En efecto, k (m + 0) = k m y k 0 = 0, luego k (m + 0) = k m + k 0 , asi 0 A. Suponemos ahora que n A y probemos que n+ A. Tenemos: k (m + n+ ) = k (m + n)+ = Pk ((m + n)+ ) = Sk (Pk (m + n)) = k + Pk (m + n) = k + k (m + n). Como n A tenemos k (m + n) = k m + k n. Luego: k (m + n+ ) = k + k m + k n = k m + k n + k 1.() Probamos ahora que n+ k = k n+ = k n + k. Sea S = {k ; n+ k = k n + k}. Armamos que 0 S. En efecto: n+ 0 = Pn+ (0) = 0 = 0 n + 0. Suponemos que k S y probamos que k+ S. Tenemos: n+ k+ = Pn+ (k+ ) = Sn+ (Pn+ (k)) = n+ +n+ k = n+ +nk +k = n k + n+ + k = n k + (n + 1) + k = n k + n + (k + 1) = n k + n + k+ = (Pn (k) + n) + k+ = (n + Pn (k)) + k+ = Sn (Pn (k)) + k+ = Pn (k+ ) + k+ = n k+ + k+ . Esto es: n+ k+ = n k+ + k+ , lo que implica k+ S. Luego S = .

Seguimos ahora con (*) k (m + n+ ) = k m + k n + k 1 = k m + (k n + k 1) = k m + k n+ . Asi, n+ A y luego A = . Esto concluye la demostracin de que el producto distribuye sobre la suma en o los nmeros naturales. u

3.5

Potencias de n meros naturales u

Finalmente, y slo por completitud, introducimos las potencias de nmeros natuo u rales. Para ello, volvemos a aplicar el Teorema de Recurrencia. Consideramos 1 y Pm : el producto por m. El Teorema de Recurrencia garantiza la existencia de una funcin Em : , o que satisface: Em (0) = 1 y Em (n+ ) = Pm (Em (n)). El valor Em (n) se denota mn . Veamos algunos ejemplos:

E2 (1) = E2 (0+ ) = P2 (E2 (0)) = P2 (1) = 2 1 = 2. E2 (2) = E2 (1+ ) = P2 (E2 (1)) = P2 (2) = 2 2. E2 (3) = E2 (2+ ) = P2 (E2 (2) = P2 (2 2) = 2 (2 2). E2 (4) = E2 (3+ ) = P2 (E2 (3)) = P2 (222) = 2222, y asi sucesivamente.

Como ejercicio pruebe el siguiente: Lema 5. Em (n + k) = Em (n) Em (k).

3.6

Orden en N

A partir de esta seccin tomamos la notacin clsica para los nmeros naturales o o a u (=N) que es una representacin simple de la abreviacin N N = Nmeros Naturales. o o u

De acuerdo a nuestra construccin de los nmeros naturales, tenemos las siguo u ientes pertenencias e inclusiones: 0 1; 0 2, 1 2; 0 3, 1 3, 2 3; 0 4, 1 4, 2 4, 3 4; 0 5, 1 5, 2 5, 3 5, 4 5, y 0 1 2 3 4 . Observamos que se cumple lo siguiente: si n m entonces n m. Concluimos entonces que para dos nmeros naturales n, m ocurre una y slo u o una de las siguientes:

n m o n = m o m n. Esta es la propiedad de tricotom de os nmeros naturales. a u Denamos la siguiente relacin en N, n m (n m o n = m). o Proposicin 2. La relacin es reeja, antisimtrica y transitiva. o o e Demostracin 9. Es reeja. En efecto n N se cumple n = n. Luego n n. o Es antisimtrica( esto es n m y m n implican n = m). e En efecto, si n m entonces n m o n = m. Si ocurre la igualdad tenemos el resultado. Suponemos que ocurre n m. De acuerdo a una observacin anterior o esto implica que n m(). Como m n entonces m n o m = n. Si m = n tenemos el resultado. Caso contrario m n y esto implica m n(). De (*) y (**) concluimos que n = m. Es transitiva. Esto es si n m y m p entonces n p. En efecto, tenemos (n m o n = m) y (m p o m = p). Si n m. Si adems m p entonces como m p entonces n p. Si ocurre a m = p entonces n p. Luego n p. Si n = m. Si adems m p entonces n p. Si ocurre m = p entonces n = p. a Luego n p o n = p.

En cualquier caso n p o n = p. Luego n p. Una relacin que cumple las tres propiedades anteriores se conoce como una o relacin de orden. Asi, es una relacin de orden en N y se denota . Esto es o o n m n m o n = m. Observamos que dados dos nmeros naturales n, m entonces n m o m n u Podemos, tambin denir la relacin < en N de la siguiente forma n < m e o n m. Esta relacin es transitiva y tambin se expresa en funcin de de la o e o siguiente forma: n < m n m y n = m. Si n < m se dice que m es mayor que n o que n es menor que m. Proposicin 3. Si n < m entonces existe p N tal que m = n + p o Demostracin 10. En efecto, sean N = N \ {0}, A = {n + p; p N } y S = o {0, 1, 2, , n}A. Claro que S = . De aqu que m A ya que m {0, 1, 2, , n}. / Las relaciones y < cumplen las siguientes propiedades:

1.- es una relacin de orden total en N. A saber, dados n, m N entonces o n m o m n. Esto es, dos nmeros naturales son siempre comparables. u 2.- Si n m entonces n + p m + p, p N. 3.- Si n < m entonces n + p < m + p, p N. 4.- Si n m entonces n p m p, p N. 5.- Si n < m entonces n p < m p, p N . 6.- Si n m y p q entonces n + p m + q. 6.- Si n < m y p < q entonces n p m q. 7.- Si n < m entonces n + 1 m. 8.- Si n < (m + 1) entonces n m. 9.- N es bien ordenado. Esto es si A N es no vac entonces existe n A tal o que n m, m A.

De las proposiciones anteriores la ms interesante es [9.-] asi que la probaremos. a Sea B = {p N; p n, n A}. Claro que 0 B. Si n A entonces n < n + 1 y (n + 1) B(obvio pues si (n + 1) B entonces / (n + 1) n, lo que no es cierto.) Armamos que hay t B para el cual (t + 1) B. En efecto, si no entonces / para cada t B se cumple (t + 1) B y en consecuencia B = N y A = , cosa que no es cierta. Armamos que t A y t n, n A.En efecto,como t B entonces t n, n A. Si t A entonces debe ser t < n, n A y enconsecuencia (t + 1) / n, n A. esto es (t + 1) B, que contradice la eleccin de t. Luego t = min(A), o como armado.

4
4.1

Los N meros Enteros u

Relaciones de Equivalencia

Para denir los nmeros enteros necesitamos los conceptos de relacin de equivalenu o cia y de particin de un conjunto o Denicin 5. Una relacin de equivalencia en el conjunto X = es una o o relacin R X X que satisface: o 1.- R es reeja. Esto es a X tenemos (a, a) R. 2.- R es simtrica. Esto es si (a, b) R entonces (b, a) R. e 3.- R es transitiva. Esto es si (a, b) R y (b, c) R entonces (a, c) R. Una relacin de equivalencia en X = es la igualdad. A saber R = {(a, a); a o X}. El hecho de que (a, b) R se denota usualmente como aRb. Ejemplo Ahora daremos un ejemplo no trivial de una relacin de equivalencia. o

En X = N N denimos la relacin: o (a, b)R(c, d) a + d = b + c. Probemos que R, as denida, es una relacin de equivalencia o 1.- Reeja. En efecto: se cumple (a, b) X que (a, b)R(a, b) ya que a+b = b+a. 2.- Simtrica. En efecto si (a, b)R(c, d) entonces a + d = b + c o lo que es lo mismo e c + b = d + a, luego (c, d)R(a, b). 3.- Transitiva.En efecto: suponemos que (a, b)R(c, d) y que (c, d)R(e, f ). Tenemos a + d = b + c y c + f = d + e. A la igualdad a + d = b + c le sumamos f a ambos lados y tenemos (a + d) + f = b + c + f = b + (c + f ) = b + (d + e) = (b + e) + d. Concluimos que (a + d) + f = a + d + f = (a + f ) + d = (b + e) + d. Esto es a + f = b + e lo que implica que (a, b)R(e, f ), como quer amos probar. Denicin 6. Sea R una relacin de equivalencia en el conjunto X. La clase de o o equivalencia de un elemento a X, es el conjunto {b X; aRb}. La clase de equivalencia de un elemento a X se denota [a]R o a/ . El conjunto de clases de equivalencia se denota X/ o X/R. En el ejemplo anterior tenemos: [(0, 0)]R = {(c, d) N N; 0 + d = c + 0} = {; (c, d) N N; c = d} = {(c, c); c N} = {(0, 0), (1, 1), (2, 2), (3, 3), }. [(1, 0)] = {(c, d) N N; 1 + d = c + 0} = {; (c, d) N N; c = d + 1} = {(d + 1, d); d N} = {(1, 0), (2, 1), (3, 2), (4, 3), }. [(2, 0)] = {(c, d) N N; 2 + d = c + 0} = {; (c, d) N N; c = d + 2} = {(d + 2, d); d N} = {(2, 0), (3, 1), (4, 2), (5, 3), }. [(3, 0)] = {(c, d) N N; 3 + d = c + 0} = {; (c, d) N N; c = d + 3} = {(d + 3, d); d N} = {(3, 0), (4, 1), (5, 2), (6, 3), }. [(0, 1)] = {(c, d) N N; 0 + d = c + 1} = {; (c, d) N N; d = c + 1} = {(c, c + 1); c N} = {(0, 1), (1, 2), (2, 3), (3, 4), }. [(0, 2)] = {(c, d) N N; 0 + d = c + 2} = {; (c, d) N N; d = c + 2} = {(c, c + 2); c N} = {(0, 2), (1, 3), (2, 4), (3, 5), }.

[(0, 3)] = {(c, d) N N; 0 + d = c + 3} = {; (c, d) N N; d = c + 3} = {(c, c + 3); c N} = {(0, 3), (1, 4), (2, 5), (3, 6), } y as sucesivamente. Denicin 7. Una particin del conjunto X es una coleccin de subconjuntos de o o o X, C, tal que X = AC A Denicin 8. Una particin disjunta del conjunto X es una particin C de subo o o conjuntos de X tal que A B = para cualesquiera A, B C con A = B. Ejemplo Si R es una relacin de equivalencia en X entonces X/R = {[a]R ; a X} es o una particin disjunta de X. En efecto, es una particin pues cada a X satisface o o a [a]R . Esto implica X = aX [a]R . Si ocurre que [a]R [b]R = probemos que [a]R [b]R . En efecto: sea c [a]R [b]R y d [a]R . Como c [a]R entonces cRa.Como d [a]R entonces aRd. Por transitividad cRd. Como c [b]R entonces bRc. Por transitividad dRb y luego d [b]R . Asi, [a]R [b]R . De manera similar se prueba que [b]R [a]R . Asi que [a]R = [b]R . Luego para dos elementos [a]R , [b]R en X/R se cumple que [a]R = [b]R o [a]R [b]R = . Esto completa la demostracin de que X/R es una particin disjunta de o o X. Nota Ya vimos que una relacin de equivalencia en X genera una particin disjunta o o de X. El rec proco es cierto. Esto es: Si C es una particin disjunta de X entonces o podemos usar C para denir una relacin de equivalencia,R, en X tal que X/R = C. o En efecto: para a, b X se dene aRb si existe A C tal que {a, b} A. Dejamos como ejercicio probar que esta R es una relacin de equivalencia en X y que X/R = o C. Como lo necesitaremos ms adelante daremos la denicin de una funcin a o o biyectiva. Denicin 9. Una funcin f de A en B se dir: o o a a.- inyectiva, si toda vez que (a, c) f y (b, c) f implica a = b. Esto se escribe tambin: si ocurre que f (a) = f (b) entonces a = b. e b.- sobreyectiva, si c B existe a A talque (a, c) f . Esto se escribe tambin: si ocurre que c B existe a A tal que f (a) = c. e

c.- biyectiva, si es inyectiva y sobreyectiva. Un ejemplo de aplicacin inyectiva que no es sobreyectiva es f : N N, f (n) = o 2n. Una aplicacin biyectiva es Id : N N, Id(n) = n, conocida como la identidad o de los nmeros naturales. u

4.2

Los N meros Enteros u

En la seccin anterior avanzamos, sin declararlo, en la construccin del conjunto de o o nmeros enteros. u Ya vimos que la relacin, R, en X = N N denida por: (a, b)R(c, d) o a + d = b + c, es una relacin de equivalencia. o Denicin 10. El conjunto de clases de equivalencia X/R se llamar el conjunto o a de los n meros enteros y se denotar Z. Una clase de equivalencia se llamar u a a n mero entero u Lo que importa de los nmeros enteros son sus operaciones algebraicas. A u saber, la suma y la multiplicacin que pasamos a denir o Para dos clases de equivalencias[(a, b)], [(c, d)] en Z se denen: Denicin 11. La suma de nmeros enteros como: [(a, b)]+[(c, d)] = [(a+c, b+d)], o u y la multipllicacin de nmeros enteros como: [(a, b)][(c, d)] = [(ac+bd, ad+bc)]. o u Las operaciones en la parte derecha de las deniciones anteriores, son las operaciones de nmeros naturales. u Probemos ahora que estas operaciones estn bien denidas. Esto es: si [(a, b)] = a [(a , b )] y [(c, d)] = [(c , d )] entonces 1.- [(a, b)] + [(c, d)] = [(a , b )] + [(c , d )] y 2.- [(a, b)] [(c, d)] = [(a , b )] [(c , d )]. Vamos a probar [1.-]. Lo que debemos probar es que [(a, b)] + [(c, d)] = [(a + c, b + d)] = [(a + c , b + d )] = [(a , b )] + [(c , d )]. De acuerdo a la denicin de la o relacin de equivalencia esto signica tener (a + c) + (b + d ) = (b + d) + (a + c )(*). o

Como [(a, b)] = [(a , b )] y [(c, d)] = [(c , d )] entonces tenemos a + b = b + a y c+d = c +d. Sumando ambas igualdades tenemoa (a+b )+(c+d ) = (b+a )+(c +d). Reagrupando trminos:a + c + b + d = b + d + a + c , que es (*). e Concluimos que [(a, b)] + [(c, d)] = [(a , b )] + [(c , d )], como quer amos probar. Vamos ahora a probar [2.-]. En este caso lo que debemos probar es que [(a, b)] [(c, d)] = [(ac + bd, ad + bc)] = [(a c + b d , a d + b c )] = [(a , b )] [(c , d )]. Para probar esto veamos que se cumple lo siguiente: 1.- [(a, b)] [(c, d)] = [(a , b )] [(c, d)] y 2.- [(a , b )] [(c, d)] = [(a , b )] [(c , d )]. La transitividad dela relacin completar la demostracin. o a o Probemos [1.-]. Esto equivale a probar que (ac + bd) + (a d + b c) = (ad + bc) + (a c + b d). Ahora (ac + bd) + (a d + b c) = ac + bd + a d + b c = (a + b )c + (b + a )d.Como [(a, b)] = [(a , b )] entonces a+b = b+a . Asi, ac+bd+a d+b c = (a+b )c+(b+a )d = (b + a )c + (b + a )d = (b + a )(c + d)(1). Tambin: (ad + bc) + (a c + b d) = ad + bc + a c + b d = (a + b )d + (b + a )c = e (b + a )d + (b + a )c = (b + a )(d + c) = (b + a )(c + d)(2). De (1) y (2) concluimos que (ac + bd) + (a d + b c) = (b + a )(c + d) = (ad + bc) + (a c + b d), que es lo que quer amos probar. Probemos [2.-]. Esto equivale a probar que (a d + b c) + (a c + b d ) = (a c + b d) + (a d + b c ). Ahora (a d + b c) + (a c + b d ) = a d + b c + a c + b d = a (d + c ) + b (c + d ). Como [(c, d)] = [(c , d )] entonces c + d = d + c . Asi, a d + b c + a c + b d = a (d + c ) + b (c + d ) = a (d + c ) + b (d + c ) = (a + b )(d + c )(1). Tambin: (a c+b d)+(a d +b c ) = a c+b d+a d +b c = a (c+d )+b (d+c ) = e a (d + c ) + b (d + c ) = (a + b )(d + c )(2). De (1) y (2) concluimos que (a d + b c) + (a c + b d ) = (a + b )(d + c ) = (a c + b d) + (a d + b c ), que es lo que quer amos probar.

Esto concluye la demostracin de que ambas operaciones estn bien denidas o a en Z. Una vez denidas ambas operaciones se prueba lo siguiente: Teorema 2. La estructura algebraica (Z, +, ) satisface A.- (Z, +) es un grupo abeliano con neutro [(0, 0)]. B.- (Z, ) es asociativa, conmutativa y tiene neutro [(1, 0)]. C.- distribuye sobre +. Esto es: a, b, c Z se cumple a (b + c) = a b + a c. Dejaremos como ejercicio los itemes A y B y probaremos la distributividad. Demostracin 11. [(a, b)] ([(x1 , y1 )] + [x2 , y2 )]) = [(a, b)] [(x1 + x2 , y1 + y2 )] = o [(a(x1 +x2 )+b(y1 +y2 ), a(y1 +y2 )+b(x1 +x2 ))] = [(ax1 +ax2 +by1 +b y2 , ay1 +ay2 +bx1 +bx2 )] = [((ax1 +by1 )+(ax2 +by2 ), (ay1 +bx1 )+ (ay2 +bx2 ))] = [(ay1 +bx1 , ay1 +bx1 )]+[(ax2 +by2 , ay2 +bx2 )] = [(a, b)] [(x1 , y1 )] + [(a, b)] [(x2 .y2 )], como queriamos probar. Observamos que el inverso aditivo del elemento [(n, 0)] Z es el elemento [(0, n)] Z. En efecto: [(n, 0)] + [(0, n)] = [(n + 0, 0 + n)] = [(n, n)] = [(0, 0)]. La notacin usual de los nmeros enteros no es la de pares ordenados. Asi que o u haremos lo que se hace para tener la notacin usual. o Para ello consideramos la estructura (N, +, ) denida en los nmeros natuu rales y la estructura (Z, +, ) que acabamos de denir en Z. Denamos la aplicacin : N Z, (n) = [(n, 0)]. o Teorema 3. La aplicacin satisface: o a.- Es inyectiva. b.- (n + m) = (n) + (m), n, m N. c.- (n m) = (n) (m). Demostracin 12. Suponemos que (n) = (m). Esto es [(n, 0)] = [(m, 0)]. Esto o quiere decir que n + 0 = m + 0, o sea n = m.Luego es inyectiva. (n + m) = [(n + m, 0)] = [(n + m, 0 + 0)] = [(n, 0)] + [(m, 0)] = (n) + (m).

(n m) = [(n m, 0)] = [(n m + 0 0, n 0 + 0 m)] = [(n, 0)] [(m, 0)] = (n) (m). De acuerdo a este resultado la imgen (N) Z es una copia inyectiva de N a en Z que cumple que las estructuras (N, +, ) y ((N), +, ) son isomorfas. Esto es: hay una aplicacin biyectiva : N (N) que preserva las operaciones algebraicas. o Esto quiere decir que: (n+m) = (n)+(m) y (nm) = (n)(m), n, m N. Producto de la existencia de este isomorsmo denotamos los elementos de la forma [(n, 0)] Z como n Z. Como el inverso aditivo del elemento [(n, 0)] Z es el elemento [(0, n)] Z y como hemos identicado a [(n, 0)] con n entonces identicaremos [(0, n)] con n. Observamos que si n = 0 entonces n = n. En efecto, si fuera que n = n entonces n + n = n + (n) = n n = 0, cosa que sabemos que no cierta para cada n = 0, n N. Como adems Z = {[(n, 0)], [(0, n)]; n N}() concluimos que podemos esa cribir Z = {n, n; n N}, que es la notacin usual de los nmeros enteros. o u La armacin (*) es no trivial asi que la probaremos. Sea [(n, m)] Z. Si o ocurre que n = m entonces [(n, n)] = [(0, 0)]. Si n > m entonces existe p N, p 1 tal que n = m + p. En este caso [(n, m)] = [(m + p, m)] = [(p, 0)]. Si n < m entonces existe q N, q 1 tal que m = n + q y en consecuencia [(n, m)] = [(n, n + q)] = [(0, q)]. As para [n, m)] Z ocurre una y solo una de las siguientes [(n, m)] = [(0, 0)] , o [(n, m)] = [(p, 0)], algn p N, p 1 o [(n, m)] = [(0, q)], algn q N, q 1. u u Conclu mos entonces la demostracin de (*). o Notamos que si N = N \ {0}, y N = {n; n N } tenemos la siguiente propiedad: Z = N {0} N . Esta es una particin disjunta de Z y nos permite la siguiente denicin: o o Denicin 12. Sean n, m Z diremos que o

a.- n es mayor que m y escribiremos n > m si ocurre que (n m) N b.- n es mayor o igual que m y escribiremos n m si ocurre que (n m) N o n = m. Asociadas a > o a tenemos las relaciones nRm n > m y nSm n m y por eso se dice que > y son relaciones en Z. Ahora es fcil vericar que la estructura (Z, ) satisface: a 1.- Es reeja: n Z se cumple n n, 2.- Es antisimtrica. Esto es n m y m n implican n = m. e 3.- Es transitiva. Esto es si n m y m p entonces n p.

Una relacin que cumple las tres propiedades anteriores se conoce como una o relacin de orden. Asi, es una relacin de orden en Z. o o Dejamos ahora como ejercicios probar las siguientes propiedades de la estructura (Z, +, , ). Sean n, m, p, q Z enteros cualesquiera, tenemos: 1.- (n m) es el unico nmero entero que satisface m + (n m) = n. O dicho de u otra forma: es la unica solucin entera de la ecuacin m + x = n. o o 2.- n (m + p) = n m p. 3.- 0 n = 0. 4.- n (m p) = a m n p. 5.- n (m) = (n) m = n m. 6.- (n) (m) = n m. 7.- Si n m entonces n + p m + p. 8.- Si n m y p 0 entonces n p m p. 9.- Si n m y p q entonces n + p m + q. 10.- Si n m y 0 p entonces m p n p.

11.- n n = n2 > 0 si n = 0. 12.- Si n m = 0 entonces n = 0 o m = 0. 13.- La relacin es de orden total en Z. Esto es para n, m Z se cumple que o n m o que m n.

Para simplicar, denotaremos n m si m n. Podemos ahora introducir el valor absoluto de un nmero entero. u Denicin 13. Se dene el valor absoluto de un entero n Z, denotado |n|, de o la siguiente forma: |n| = n si n 0 y |n| = n si 0 n. El valor absoluto es una funcin || : Z N que satisface las siguientes o propiedades: 1.- |n| = 0 n = 0. 2.- |n| n |n|, n Z. 3.- Sea m 0. Se tiene |n| m m n m. 4.- |n + m| |n| + |m|, n, m Z(desigualdad triangular).

5
5.1

Los N meros Racionales u

Denicin de Q o

Sea Z el conjunto Z = (Z \ {0}). En el producto cartesiano Z Z denimos la siguiente relacin. o

(a, b) (a1 , b1 ) a b1 = a1 b. Proposicin 4. La relacin asi denida es una relacin de equivalencia en ZZ . o o o Demostracin 13. La relacin es reeja. En efecto (a, b) Z Z tenemos o o (a, b) (a, b) pues a b = a b.

La relacin es simtrica. En efecto, si (a, b) (a1 , b1 ) entonces a b1 = a1 b. o e Como la igualdad es simtrica tenemos a1 b = a b1 que implica (a1 , b1 ) (a, b). e La relacin es transitiva. Suponemos que (a, b) (a1 , b1 ) y que (a1 , b1 ) o (a2 , b2 ). Tenemos entonces a b1 = a1 b y a1 b2 = a2 b1 . Tenemos entonces que (ab2 )b1 = ab1 b2 = (ab1 )b2 = (a1 b)b2 = a1 bb2 = a1 b2 b = (a1 b2 )b = (a2 b1 )b = a2 b1 b = (a2 b)b1 . Luego (a b2 b1 a2 b b1 ) = 0. Factorizando por b1 tenemos (a b2 a2 b) b1 = 0. Como b1 = 0 entonces ab2 a2 b = 0 y ab2 = a2 b que implica (a, b) (a2 , b2 ), como queramos probar. Denicin 14. El conjunto de clases de equivalencias (Z Z )/ se reconoce o como el conjunto de los n meros racionales y se denota Q. Cada clase de u equivalencia se llama n mero racional. u

5.2

La estructura (Q, +, )

Al igual que antes lo importante de Q es su estructura algebraica asi que vamos a denir la suma y el producto de nmeros racionales. Para simplicar, denotaremos u la clase de equivalencia [(a, b)]/ por a . b La suma de los n meros racionales u
a b

c d

es el nmero racional u

a c ad+bc + = . b d bd El producto de los n meros racionales u

a b

c d

es el nmero racional u

c ac a ( )( )= b d bd . Proposicin 5. La suma y el producto estn bien denidos. Esto es si o a c1 c = d1 entonces d a c a1 c 1 + = + ,y b d b1 d 1 a c a1 c1 ( ) ( ) = ( ) ( ). b d b1 d1

a b a1 b1

Dejamos esta proposicin y la siguiente como ejercicio. o Proposicin 6. La estructura Q, +, ) satisace las siguientes propiedades o
0 A.- (Q, +) es un grupo abeliano con neutro 1 ,

B.- Sea Q = Q \ { 0 } entonces (Q , ) es un grupo abeliano con neutro 1 C.- distribuye sobre + esto es: a c e a c a e ( + )= + . b d f b d b f

1 1

Esta estructura contiene una subestructura isomorfa a los nmeros enteros. u En efecto, consideramos la aplicacin : Z Q denida por (z) = z . Tenemos la o 1 siguiente proposicin: o Proposicin 7. es un isomorsmo de la estructura algebraica (Z, +, ) en la o subestructura algebraica ((Z), +, ) de (Q, +, ). Demostracin 14. es inyectiva. En efecto (z) = (y) implica que o es z 1 = 1 y. O sea z = y. (z + w) = (z) + (w). En efecto, (z + w) = (z w) = (z)(w). En efecto (z w) = Notamos que si
a b z+w 1 z 1

= y . Esto 1

z 1

w 1

= (z) + (w).

zw 1

zw 11

= z w = (z)(w). 1 1

b Q entonces su inverso multiplicativo ( a )1 = a . En efecto b

a b ab = . b a ba Como
ab ba

1 1

concluimos que a b ab 1 = = . b a ba 1

La demostracin de los siguientes resultados no es complicada y la dejamos al o lector. Proposicin 8. 1.- Sean , nmeros racionales con = 0. Se cumple que o u 1 es el unico racional que satisface ( 1 ) = . Dicho de otra forma: la ecuacin x = tiene como unica solucin x = 1 . o o

2.- Para un racional = 0 se tiene que ( 1 )1 = . 3.- Para dos racionales , no nulos se cumple que ( )1 = 1 1 . 4.- Para racionales , , con , no nulos se cumple que ( )1 = ( 1 ) 1 . Denamos ahora el concepto de que el racional Denicin 15. Diremos que el nmero racional o u a > 0, si ocurre que a b > 0 en Z b Por ejemplo el racional
11 25 a b a b

es mayor que 0.

es mayor que cero, denotado

no es mayor que cero.

a b c es mayor que el racional d . c , d

Ahora denimos el concepto de que el racional

Denicin 16. Diremos que el racional a es mayor que el racional o b a c c > d , si ocurre que ( a d ) es mayor que cero. b b
c Esta denicin requiere que a d = o b adbc bd

denotado

> 0, esto es (adbc)(bd) > 0.

26 . 22

Por ejemplo, el racional

25 14

es mayor que el racional

Podemos ahora denir la siguiente relacin o Denicin 17. Diremos que el racional a es mayor o igual que el racional o b c c c denotado a d , si ocurre que a > d o si a = d . b b b Ahora se puede probar lo siguiente: Proposicin 9. La relacin o o
a b c d , denida en Q es una relacin de orden. o c , d

Denotaremos por Q+ el conjunto de los racionales positivos. Esto es Q+ = {z Q; z > 0}. El conjunto Q+ es cerrado para la suma y multiplicacin de nmeros racionales. o u Esto es: 1.- Si x, y Q+ entonces (x + y) Q+ y

2.- Si x, y Q+ entonces (x y) Q+ . Adems se cumple lo siguiente: z Q se cumple una y slo una de las a o siguientes z Q+ o z = 0 o z Q . Como en los casos anteriores, el cumplimiento de esta propiedad se reconoce como la tricotom de los nmeros racionales . a u Podemos, ahora, escribir la relacin de orden de la siguiente forma: z y o + (z y) Q o z = y. Denotaremos, indistintamente, x y y x. Sealamos ahora un conjunto de propiedades para el orden parcial: n 1.- Si x y entonces z Q se cumple x + z y + z. 2.- Si x y y 0 z entonces x z y z. 3.- Si x y y y < z entonces x < z. 4.- Si x y y u v entonces x + u y + v. 5.- Se tiene x > 0 x1 > 0. 6.- x Q vale x2 0. 7.- Si x y = 0 entonces x = 0 o y = 0. 8.- La ecuacin x2 = o
4 9

tiene dos soluciones en Q.

9.- La ecuacin x2 = 5 no tiene solucin en Q. o o 10.- Si z < 0( o sea z > 0) entonces x < y yz < xz. Como en el caso de los nmeros enteros tenemos la funcin valor absoluto u o || : Q (Q+ {0}) denida como:

|z| = z, si z 0 y |z| = z, si z < 0. Esta funcin satisface: o

1.- x Q valen |x| 0 y |x| = | x|. 2.- |x| = 0 x = 0. 3.- x Q vale |x| x |x|. 4.- Sea x 0. Se cumple |z| x x z x. 5.- x, y Q vale |x + y| |x| + |y| (desigualdad triangular). 6.- x, y Q vale (|x| |y|) ||x| |y|| |x y|. 7.- x, yQ vale |x y| = |x| |y|. 9.- si y = 0 vale | x | = y
|x| . |y|

En los nmeros enteros ocurre lo siguiente: si n, m Z son tales que n < m u entonces no neceariamente hay p Z tal que n < p < m.Por ejemplo n < (n + 1) y no hay un numero entero entre ellos. Esto no sucede con los nmeros racionales. u A saber: Teorema 4. 1.- Si a < b en Q entonces hay c Q que satisface a < c < b.

2.- Si 0 < a es un racional positivo y b Q entonces hay n N tal que n a b. Demostracin 15. La primera parte se verica con c = o
a+b . 2

La segunda parte es ms elaborada. Si ocurre que b 0 o que 0 < b a basta a considerar n = 1. Vamos pus a suponer que a < b y que el numerador y denominador que e denen a y b son nmeros positivos. u Escribamos a = x y b = u . Como m Q vale m = mp , p Z tenemos y v n n np entonces que a = x = xv y b = u = uy . O sea, de partida podemos suponer que y yv v vy x u a = w y que b = w . Esto es a y b tienen denominador comn. u
x Consideremos n = wu. Tenemos na = (wu) w = ux u b = como queramos probar. u w

= b,

Al cumplir la propiedad 2 decimos que Q tiene la propiedad arquimediana o que Q es un cuerpo arquimediano.

Referencias
I.- Paul Halmos. Teor Intuitiva de Conjuntos. a

II.- Ral Bravo. Fundamentos de los Sistemas Numricos. Editorial Interameriu e cana.