Construccin de los nmeros enteros

Comencemos por la construccin de los enteros. El conjunto de los enteros es

Adems sabemos que el orden usual en es , y sabemos sumar estos

nmeros: por ejemplo , , etctera. Pues bien, la meta que tenemos en mente es: utilizando la estructura de los naturales y teora de conjuntos, cmo construimos la estructura de los nmeros enteros? Esto ltimo consiste en: 1. Definir el conjunto 2. definir el orden para cualquier par 3. definir la suma , ,

, esto es, dar una condicin precisa de cundo ,y en los enteros.

Tratemos primero, a modo de calentamiento, construir a los enteros informal y rpidamente. Depus el lector comparar este intento con la construccin presentada ms adelante, donde ver la elegancia y naturalidad del uso de las relaciones de equivalencia (aunque parezca un proceso algo artificial al comienzo). 1. Definicin de : . En otras palabras, los enteros son los naturales, ms una copia de los nmeros positivos , ponindoles un palito antes para indicar que son negativos: as, por ejemplo, el es la copia negativa del . A estos nmeros con palito les .

llamaremos enteros negativos. Note que

2. Definicin del orden : El orden en los enteros se define as: 1. Entre nmeros naturales, el orden es el mismo que se tena en (en otras palabras, el orden de los enteros extiende al orden de los naturales).

2. Si es negativo y que todo positivo). 3. Si donde slo si

es un natural,

(todo negativo es menor

son ambos negativos, y (con ), entonces si y

(en negativos, el orden ``se invierte'').

Esta definicin se resume as: . 3. Definicin de la operacin suma: 1. Para enteros naturales, la suma es la misma de los naturales (esto es, la suma de enteros extiende a la suma de naturales). 2. Si donde entonces ltimo son ambos negativos, y (con ), (donde este

se define como el nmero denota la suma de naturales). [Por

ejemplo, ]. Esta definicin garantiza que la suma de negativos es negativo. 3. Le dejamos al lector la tarea de definir la suma de un positivo con un negativo, y comparar con la de otros, buscando la ms simple posible. Consideremos el conjunto con , que consta de todas las parejas ,

. Para motivar las cosas, imaginemos que cada

pareja codifica el movimiento vertical de un objeto que se encontraba originalmente en un lugar fijo, en donde representa el nmero de unidades que se movi hacia arriba, y el nmero de unidades que se movi hacia abajo. Por ejemplo, la pareja despus codifica un movimiento de unidades hacia arriba, y representa un movimiento

hacia abajo. Es claro que la pareja

distinto al representado por ; sin embargo, para efectos de la posicin final del objeto, ambos movimientos son equivalentes: la localizacin final de un objeto, ya bien siga el movimiento origen, esto es, de o , ser de una unidad bajo el

. As, cada pareja representar un nmero

entero: representar al , representar al , etctera. Pero dado que muchas parejas de naturales representan al mismo entero, debemos meter a ellas en un mismo barril, y el barril ser por definicin el nmero entero representado por sus elementos. A continuacin formalizamos la discusin anterior: Definicin 131 Definimos la relacin sobre de la siguiente .

manera: si y slo si Lema 132 es una relacin de equivalencia. Demostracin. [Prueba]Es dejada al lector. Definicin 133 Definimos al conjunto de los enteros por .

Antes de continuar es necesario introducir el concepto de buena definicin de operaciones o relaciones, el cual es fundamental cuando se quieren definir nuevas relaciones u operaciones sobre conjuntos cociente, esto es, conjuntos de la forma , donde es una relacin de equivalencia sobre . la , cuyo

Supongamos, por ejemplo, que se nos dice lo siguiente: sea funcin dada por dominio es . Ahora, a partir de la funcin

, sera natural definir una funcin .

, de la

siguiente manera: El problema con la anterior definicin de es una funcin: pues por ejemplo sea

es que es ambiga, es decir, . Segn

no

esto, que que valor de es,

. Sin embargo, dado que , y por esto tambin tenemos . depende del representante

, tenemos

no est bien definida, esto es, el de la clase que se tome (esto

) no es una funcin. de modo que coincida con la suma que con el

Quisiramos definir la suma en

conocemos en los enteros. Por ejemplo, quisiramos que al sumar resultado fuera clase de la pareja . Segn nuestras definiciones, el entero , esto es, y . Similarmente,

es, por ejemplo, la . Note

que si sumamos las parejas obtenemos la pareja precisamente, !

``componente a componente'', . Pero la clase de es,

Si en vez de utilizar los representantes y de y respectivamente utilizamos otros representantes y los sumamos componente a componente, llegamos tambin a un representante de ? Tomemos, por ejemplo, y . La clase de . Si sumamos es .

estas parejas, obtenemos Note que antes habamos llegado a la pareja pareja distinta , pero

, y ahora llegamos a una . Esto es, en esencia llegamos a la .

misma clase de equivalencia, a saber,

Lo anterior nos motiva a definir la suma en los enteros de la siguiente manera:

Note que el primer smobolo en la ecuacin anterior denota la suma en enteros (que estamos definiendo), y los smbolos de suma a la derecha de la igualdad denotan la suma en naturales, que aceptamos como ya definida. Si definimos la funcin definimos como por ,y

Entonces la definicin recin dada de la suma de enteros es precisamente es, . Est verificar que es as, debemos demostrar lo siguiente: Si entonces es, ]. y , [esto

, esto

bien definida? Para

El ejemplo anterior es un caso particular de este hecho general, que hemos de probar, en donde: 1. 2. 3. 4. , , , . , ,

Lema 134

est bien definida, esto es,

Demostracin. [Prueba]Es dejada al lector.

Por ejemplo, para sumar los enteros tomamos cualquier representante

, y cualquier representante

, sumamos estas parejas componente a componente (esto es, calculamos definicin ; es . ) y la clase del resultado es, por . Hagamos esto: tomamos . Entonces , , y esta ltima clase

El lector crtico se habr dado cuenta que a lo largo de esta discusin hemos utilizado la expresin , con natural, para referirnos a algunos enteros. Sin . A continuacin lo

embargo, no hemos definido con precisin qu significa hacemos: Definicin 135 Si Sumersin de en es un nmero natural, definimos

Consideremos un natural cualquiera, digamos, el el es la clase de, por ejemplo, , ,o

. Como nmero entero, , entre muchas otras

parejas. Sin embargo, estrictamente hablando, . Por decirlo as, el como natural es simplemente , pero como entero es (o quisiramos que fuera) . Estrictamente no est contenido en ,

pero si identificamos o asociamos a cada natural el entero , entonces la estructura de los naturales vivir, gracias a una copia, en . Para formalizar lo anterior, necesitamos una funcin que sea inyectiva y que respete la estructura de la suma en . A tal funcin la llamaremos una sumersin: Sea 1. la funcin es inyectiva, y . Entonces:

2. Para todo par de enteros Para demostrar la inyectividad de es, mismo, suma bajo , as que

, , suponemos que , o lo que es lo

. , esto

, luego . Para demostrar que la ``imagen de la es la suma de las imgenes bajo '', basta observar que

La segunda igualdad vale gracias a la definicin de suma de enteros. Por conveniencia, de ahora en adelante utilizaremos el smbolo para denotar al conjunto

Gracias a esto, ahora podemos afirmar que , como nos habamos propuesto. Adems, abusando un poco el lenguaje, no haremos distincin entre natural y ; esto nos permitir, por ejemplo, hablar del .

fcilmente, sin tener que escribir

Qu tan distintos son los nuevos naturales de los viejos naturales (llamemos prenaturales a estos ltimos)? Como conjunto, son totalmente distintos. Sin embargo, como estructuras, son isomorfas: los naturales preservan exactamente la misma estructura interna de los prenaturales, en cuanto a suma y multiplicacin. Definamos el producto en los naturales de la manera natural, valga la redundancia, esto es, producto de prenaturales y ejemplo, la operacin (aqu denota el , que consideramos ya definido). As, por en los prenaturales, se traduce en la , en

operacin , que es esencialmente la misma. Si la identidad de la multiplicacin en los prenaturales es el nmero

los naturales ser , Definicin 136 Dado Lema 137

(ya que para todo natural ). , definimos . .

est bien definido, esto es, no depende del representante , . . Debemos demostrar y , esto es, pertenecen a la misma clase, . Esto implica , lo

Ms precisamente: dados Demostracin. [Prueba]Sean que . Como

entonces son equivalentes bajo

trivialmente, gracias a la conmutatividad de la suma que que implica, por definicin, que .

Es usual llamar a resultado:

la operacin unaria de inverso aditivo, gracias al siguiente

Lema 138 Para todo Demostracin. [Prueba]Sea luego que implica que Al entero .

(recuerde que . Entonces . Pero claramente ,

).

, lo

lo llamaremos el inverso aditivo de

. La diferencia fundamental tiene un (nico) inverso . Esto no ocurre en general

de la suma en los enteros es que todo elemento aditivo, esto es, un elemento tal que

en los naturales: para cualquier natural . Intuitivamente, una vez ``estamos'' en , no podemos invertir la direccin y devolvernos al cero,

utilizando naturales. Para ello es necesario extender los naturales a los enteros, en donde hay bidireccionalidad. Para antes de seguir leyendo: 1. Demuestre lo siguiente: para todo que en o ]. existe un existe un natural . [Ayuda: utilizar induccin tal

2. Utilizando la anterior propiedad demuestre que para todo nico natural convencin), tal que

(esta ltima igualdad vale por (esta ltima igualdad vale por

definicin). Concluya que . Esto es, todo entero es un natural, o un negativo, esto es, un nmero de la forma con un natural distinto de cero. 3. Demuestre que la suma de enteros es conmutativa. 4. Demuestre que todo esta propiedad. es la identidad bajo la suma, esto es, que para , y que adems es el nico entero con :

5. Demuestre las siguientes propiedades, dados 1. 2. 3. . . .

4. Las definiciones 135 y 136 utilizan el mismo smbolo, distintas. Es esto un problema? Por qu? Definicin del orden en Definimos el orden en as: si y slo

, pero son

si (donde el ltimo aceptamos como definido).

denota el orden en los naturales, que

Quien acaba de leer el anterior prrafo, tal como est escrito, debe hacer una pausa y reflexionar qu significa este, cul es su contenido verdaderamente. Es conveniente que el lector matemtico deserrolle una actitud crtica sobre lo que lee en mnimo dos sentidos: a) motivacin, y b) rigor. En el caso del prrafo anterior, un lector con actitud crtica se har, de manera natural, las siguientes preguntas (posiblemente muchas otras): 1. Por qu se est definiendo el orden en los enteros de esta manera? Es fcil encontrar un ejemplo que sugiera que esta definicin va en la direccin correcta? Coincide este orden en el caso de enteros naturales? 2. Es esta una definicin libre de ambigedad? Depende o no de los representantes que elijamos? Antes de que continuar leyendo, le recomendamos responder a estas preguntas. La motivacin para definir el orden como arriba es la siguiente: si y , entonces representa la posicin final despus de moverse unidades hacia arriba y hacia abajo, y algo similar sucede con . Para decidir si representa una posicin ms baja que observamos que entre ms grande sean y , ms arriba quedar respecto a , y entre ms grande sean y , ms arriba quedar respecto a . As, es razonable afirmar que quedar ms abajo que si y slo si la cantidad es menor

que la cantidad . El lector podr dar varios ejemplos que ilustren el razonamiento anterior. Este ltimo tambin puede expresarse mediante ecuaciones, as: sea , y: , , entonces

Note que la anterior lnea no es una demostracin, sino una motivacin no rigurosa pero poderosa para darle sentido a la definicin que hemos dado. Pasemos ahora a la cuestin del rigor. Debemos demostrar que la definicin del orden es buena, esto es, que verificar si no depende de los representantes que escojamos en cada clase. Ms precisamente, debemos verificar lo siguiente:

Dados entonces tambin

y .

, si

Si verificamos lo anterior, la cuestin de si para toda eleccin de representantes en y que

se resolver afirmativamente (y en este caso diremos

), o se resolver negativamente paratoda eleccin de representantes

en y (y en este caso diremos que ), pero no ocurrira que se resuelva afirmativamente para algunos representantes y negativamente para otros. Demostremos, entonces, la buena definicin de Lema 139 La definicin del orden Demostracin. [Prueba] Sean , y sean en .

es una buena definicin.

y . Sumando a cada

Supongamos que

lado preservamos la igualdad (esta es una propiedad del naturales), y nos queda, reorganizando un poco, lo siguiente:

en los

Ahora, como entonces

pertenecen a la misma clase, , es decir, . Similarmente . Gracias a estas igualdades, la

podemos concluir que anterior desigualdad se transforma en

Como en ambos lados de la ecuacin aparece propiedades del en los naturales,

, concluimos, por

Esto completa la demostracin.

Recuerde que un entero negativo es, por definicin, un entero de la forma , con . El contenido del siguiente teorema es bien conocido: . Si y es negativo, entonces .

Teorema 140 Sean Demostracin. [Prueba] Sea implica que . ,

. Como

es negativo, entonces

. Esto

, lo que a su vez implica, por definicin, que

Para antes de seguir leyendo: 1. Demuestre que para todo 2. Demuestre que para , existe tal que . .

si y slo si

No es nuestro objetivo demostrar las principales propiedades del orden en . Sin embargo es bueno preguntarse cmo se compara el orden en los naturales con el orden en los enteros: qu propiedades se preservan en los enteros, y donde hay una ruptura estructural. A continuacin listamos las principales semejanzas y diferencias. Para ello llamamos los enteros. al orden en los naturales y al orden en

1. Ambos rdenes carecen de un elemento mximo. 2. Ambos rdenes son discretos, esto es, todo elemento tiene un sucesor inmediato (esto no ocurre en los racionales). 3. es un buen orden, mientras que no lo es (es por ello que no podemos hacer induccin sobre los enteros).

4.

es rgido. Esto es, el nico isomorfismo contrario, isomorfismos es la funcin identidad. Por el no es una estructura rgida, esto es, existen distintos de la identidad.

Para antes de seguir leyendo: 1. Encuentre un isomorfismo biyeccin todo par de enteros tal que , y adems , esto es, una si y slo si , para

no sea la funcin identidad, esto

es, para al menos algn . 2. Cmo definira la multiplicacin entre enteros? Verifique que su definicin no es ambiga, y mediante ejmplos, verifique que su definicin coincide con la multiplicacin conocida entre enteros.

3. Construccin de los nmeros racionales

4. En esta seccin se construirn los nmeros racionales a partir de los nmeros enteros. En este sentido la idea de la construccin es la misma que en la seccin anterior. 5. Sea . Definimos en la relacin . as:

6. si y slo si 7. Lema 141 es una relacin de equivalencia sobre 8. Demostracin. [Prueba]Es dejada al lector 9. 10. Definimos al conjunto de los nmeros racionales as: Dados con , definimos .