Curso Algebra Superior 2

T opicos de Algebra y Aritm etica
En este trabajo presentamos dos temas del Algebra y uno de la Aritm etica que son base en diferentes areas de la Matem atica. Primero hacemos un repaso de la Teor a de Conjuntos, indicando los Axiomas que utilizaremos a lo largo de este trabajo. En el segundo cap tulo mostramos la construcci on formal del conjunto N de los n umeros naturales. Desde la ense nanza fundamental hemos trabajado con dicho conjunto y con sus elementos. Aprendimos las tablas de sumar y de multiplicar y, posteriormente, utilizamos a los n umeros naturales para contar. En la medida en que fuimos madurando nos presentaron al n umero cero y a los enteros negativos. M as adelante trabajamos con los quebrados y quiz a hasta que llegamos a la Preparatoria nos dijeron que dichos n umeros se llaman racionales y que, m as a un (o peon a un), existen los n umeros irracionales. Muy poco de lo que estudiamos sobre el conjunto N y, m as adelante, sobre los conjuntos Z y Q de los enteros y los racionales, respectivamente, se nos present o con sus debidas demostraciones. Una de las razones es que dichas pruebas suelen darse cuando el alumno ha adquirido un cierto nivel de formaci on y/o madurez matem atica. La Preparatoria deber a ser un lugar en donde se motive al estudiante a demostrar cosas, no solo en las clases de Geometr a, sino tambi en en las que involucren Algebra y Aritm etica. El profesor debe de motivar al alumno a que las matem aticas no son un conjunto de recetas o dogmas que el estudiante tiene que memorizar y creerse, porque as lo manda el supremo Dios de las Matem aticas. Tampoco se debe de caer en el otro extremo e imponer la demostraci on de cada armaci on que se haga i
ii
TOPICOS DE ALGEBRA Y ARITMETICA
en clase. El profesor debe mediar entre la intuici on y la formalidad. Por supuesto, antes que el maestro ense ne a demostrar, debe aprender a demostrar. El propio maestro debe de aprender las nociones que ense na, no como producto de la memorizaci on o de la continua impartici on de sus cursos. Consideramos que, en la medida en que el maestro aprenda las nociones y resultados, por medio del razonamiento y el proceso formal de la demostraci on, ser a capaz de transmitir sus conocimientos de una mejor manera y, por supuesto, de mediar entre ense nar ciertos temas procediendo de forma intuitiva o bien formalmente, apoy andose en las t ecnicas de demostraci on. Tambi en podr a, como ya indicamos, mediar entre la intuici on y la formalidad. En cuanto a t ecnicas de demostraci on, en el presente trabajo se muestran cuatro de ellas. En el segundo cap tulo se dene formalmente lo que se entiende por un n umero natural y se construye el conjunto N. De su construcci on se deriva una de las t ecnicas de demostraci on m as socorridas, cuando uno quiere probar que una armaci on es v alida para todos los elementos de N. Nos referimos al Principio de Inducci on Matem atica. La mayor a de las demostraciones que se presentan en dicho cap tulo utilizan este principio. Cuando en una prueba lo usamos, decimos que estamos efectuando una demostraci on por inducci on . A lo largo del presente trabajo utilizamos tambi en la t ecnica de demos traci on directa. Esta se aplica cuando probamos algo siguiendo una cadena de razonamientos l ogicos que, a partir de la hip otesis, nos llevan de manera directa a lo que se quiere probar. Otra t ecnica de demostraci on que utilizamos es la llamada demostraci on por reducci on al absurdo. Supongamos que queremos demostrar que de la armaci on P se sigue la armaci on Q. Entonces suponemos que P es cierta pero que Q no lo es. Despu es, siguiendo una cadena de razonamientos l ogicos, debemos ser capaces de llegar a una contradicci on l ogica. Por ejemplo, llegar a que los n umeros cero y uno son iguales, o bien, llegar a que una igualdad o suposici on que inicialmente era cierta ahora no lo es. La demostraci on del Teorema 2.3, por ejemplo, se realiza en forma directa, mientras que la de la armaci on e) del Teorema 2.8 se hace por reducci on al absurdo. Una u ltima t ecnica de demostraci on que utilizamos es la demostraci on
iii por casos. Esta se aplica, por ejemplo, en la prueba de la armaci on 5) del Teorema 2.17, cuando queremos probar la ley de tricotom a en los n umeros naturales. Conviene entender la demostraci on de dicho teorema para comprender c omo se aplica una demostraci on por casos. Ahora bien, en general, una prueba que se inici o siguiendo cierta t ecnica de demostraci on, se suele dividir en peque nas demostraciones que siguen otras t ecnicas de demostraci on. Esto ser a claro en la medida en que avancemos en la lectura. Tambi en, en la medida en que avancemos, veremos que ciertas cosas que d abamos por obvias requieren demostraci on. Por ejemplo, en el Teorema 2.8, demostraremos los axiomas de Peano. Esto puede resultar desconcertante pues, como ya sabemos, los axiomas no se demuestran. Como veremos, inicialmente Peano deni o las propiedades que se indican en el Teorema 2.8 como axiomas y as se utilizaron durante un buen tiempo. Una vez que el conocimiento matem atico madur o y que los matem aticos se empezaron a preocupar por formalizar las cosas que trabajaban a nivel intuitivo, los Axiomas de Peano resultaron ser armaciones que se pueden demostrar y ahora, por fuerza de la costumbre, los seguimos llamando as . Tambi en la noci on intuitiva de polinomio se puede formalizar. El Cap tulo 5 se encarga de esto. En el Cap tulo 4 construimos de manera formal el conjunto C de los n umeros complejos. El presente curso se puede extender tanto como uno lo requiera. Una vez que se formaliza la construcci on del conjunto N, puede resultar interesante ver c omo ser formaliza la construcci on del conjunto Z de los enteros (cosa que hacemos en el Cap tulo 3). Una vez construido dicho conjunto, uno puede detenerse a estudiarlo. Por ejemplo, se pueden dar las deniciones formales de suma y producto en Z y, posteriormente, estudiar los criterios de divisibilidad, esos que aprendimos como si fueran parte de algunas tablas de la ley del Dios de las Matem aticas. Tambi en se pueden estudiar los n umeros primos. Probar, por ejemplo, que existe un n umero innito de ellos y que todo n umero entero se puede factorizar como un producto de n umeros primos. Despu es de todo esto, puede resultar interesante ver c omo se formaliza la construcci on del conjunto Q de los n umeros racionales, as como las deniciones formales de suma y producto en Q. Naturalmente, luego de estudiar el conjunto Q debemos indicar que existen los n umeros irracionales. Ver, por ejemplo, c omo umero se prueba que 2 es irracional, lo mismo que p, donde p es un n primo.
iv
TOPICOS DE ALGEBRA Y ARITMETICA
Despu es de que se nos presentan los n umeros irracionales, uno puede estudiar la construcci on del conjunto R, de los n umeros reales. El lector interesado en esto, puede consultar los primeros siete cap tulos del libro [1]. Tambi en puede consultar el libro [4]. Una vez que se llega a la construcci on del conjunto R, el siguiente paso es construir el conjunto de los n umeros complejos. En el Cap tulo 4 vemos c omo hacer esto. Es importante mencionar que los temas que particularmente se han escogido para el presente texto, no deben ser forzosamente introducidos a los estudiantes como aqu se indica. Hemos seguido en pr acticamente todo el trabajo un proceso riguroso, con la intenci on de que el maestro sea capaz de entenderlos, siguiendo dicho proceso. Ciertas partes que se mencionan en el Cap tulo 5, donde se presenta la construcci on formal de los polinomios, pueden ser discutidos en clase, incluso incluyendo algunas demostraciones. Tambi en algunas partes del segundo cap tulo pueden ser discutidas en clase. Por ejemplo, al nal de dicho cap tulo se prueba que el conjunto de los n umeros naturales est a bien ordenado, es decir, no importa qu e subconjunto de n umeros naturales tengamos, siempre es posible decir qui en es el elemento m as peque no de este. En los n umeros racionales ya no podemos hacer esto. No es posible, por ejemplo, decir qui en es el n umero racional m as peque no que es mayor que cero y menor que uno. Agradecemos la invitaci on de la Universidad Aut onoma Benito Ju arez Oaxaca, para la impartici on, del 1 al 12 de julio de 2005, de un curso dirigido profesores de Bachillerato. El presente texto fue originalmente escrito para dicho curso y, con el paso del tiempo, se ha agregado alguna secci on, corregido alguna demostraci on o error de dedo. Los temas aqu tratados por un lado no se presentan como se suelen ver en los programas de estudio pero, por otro, consideramos que son importantes para fomentar el razonamiento entre los que imparten esta bella area de la ciencia que son las matem aticas. Gerardo Acosta Garc a. Enero de 2013.
Indice general
T opicos de Algebra y Aritm etica 1. Un 1.1. 1.2. 1.3. 2. Los 2.1. 2.2. 2.3.
I
Repaso de Teor a de Conjuntos 1 Axiomas y Operaciones Fundamentales . . . . . . . . . . . . . 1 Parejas Ordenadas . . . . . . . . . . . . . . . . . . . . . . . . 9 Producto Cartesiano y Relaciones . . . . . . . . . . . . . . . . 12 17 17 21 26 26 29 33 45 45 48 52 60 60 61 65 70 72 79
N umeros Naturales Construcci on de N . . . . . . Los Axiomas de Peano . . . . Adici on y Multiplicaci on en N 2.3.1. Adici on en N . . . . . 2.3.2. Multiplicaci on en N . . 2.4. El Orden en N . . . . . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
3. Los 3.1. 3.2. 3.3. 3.4.
N umeros Enteros Motivaci on . . . . . . . . . . . . . . . . . . . . . Construcci on de Z . . . . . . . . . . . . . . . . Adici on y Multiplicaci on en Z . . . . . . . . . . Los Enteros Positivos, Los Negativos y El Cero 3.4.1. Introducci on . . . . . . . . . . . . . . . . 3.4.2. Una Copia de N en Z . . . . . . . . . . . 3.4.3. Elementos Neutros en Z . . . . . . . . . 3.5. Otras Propiedades . . . . . . . . . . . . . . . . 3.6. El Orden en Z . . . . . . . . . . . . . . . . . . . 3.7. Otras Operaciones en Z . . . . . . . . . . . . . v
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
vi
INDICE GENERAL 83 83 85 87 91 95 95 97
4. El Campo de los N umeros Complejos 4.1. Noci on de Campo . . . . . . . . . . . . . . . . . . 4.2. Motivaci on . . . . . . . . . . . . . . . . . . . . . . 4.3. El Conjunto C . . . . . . . . . . . . . . . . . . . . 4.4. Ra ces de Ecuaciones Cuadr aticas . . . . . . . . . 4.5. Propiedades de los N umeros Complejos . . . . . . 4.5.1. Representaci on Polar y Producto Complejo 4.5.2. Ra ces n- esimas . . . . . . . . . . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
5. El Anillo de los Polinomios 101 5.1. Introducci on . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101 5.2. Denici on y Propiedades Fundamentales . . . . . . . . . . . . 104
Cap tulo 1 Un Repaso de Teor a de Conjuntos

1.1. Axiomas y Operaciones Fundamentales
En el presente trabajo veremos la construcci on del conjunto N de los n umeros naturales. Como hemos aprendido desde la ense nanza elemental, los n umeros naturales son aquellos que se utilizan para contar. Lo que no nos dijeron es qu e es en realidad un n umero natural. Recordemos que en matem aticas, salvo muy pocas excepciones, las cosas con las que se trabaja se deben justicar o denir. Con respecto a las cosas que se utilizan sin denici on, llamadas nociones primitivas, en la Teor a Axiom atica de Conjuntos los t erminos conjunto y pertenencia son los u nicos que no se denen. En Geometr a tampoco se denen los t erminos punto y recta. En lugar de ello se describe en cada caso qu e es lo que uno puede hacer con esos objetos y, salvo ellos, todos los dem as t erminos deben ser denidos. Los n umeros naturales no son la excepci on. Si A es un conjunto, entonces la notaci on x A indica que A tiene a x como elemento, o bien que x pertenece al conjunto A. En ocasiones a x le llamamos objeto. El s mbolo x / A indica que A no tiene a x como elemento, o bien que x no pertenece al conjunto A. Ahora bien, aunque no se dene lo que es un conjunto, es importante notar que si A es un conjunto, entonces A debe de ser tal que si x es cualquier 1
CAP ITULO 1. UN REPASO DE TEOR IA DE CONJUNTOS
objeto, tenemos forma de saber si x pertenece a A o si x no pertenece a A. No debemos confundir el signo de pertenencia, con el s mbolo de inclusi on (tambi en llamado de contenci on ). Para empezar, mientras que el s mbolo no se dene, el s mbolo se dene como sigue: si A y B son conjuntos, entonces A B signica que cada elemento de A tambi en es un elemento de B. Si A B, entonces decimos que A es un subconjunto de B o bien que B es un superconjunto de A. Tambi en, cuando A B, se suele decir que B contiene a A. En ocasiones el s mbolo es escribe como . El s mbolo A B signica que A no es un subconjunto de B. Por tanto si A B, entonces existe un elemento de A que no es un elemento de B. Por otra parte, el s mbolo A B, signica que A es un subconjunto propio de B. Esto signica que A es un subconjunto de B y que existe un elemento de B que no es elemento de A. Notemos que A A, para cada conjunto A. Por tanto la inclusi on es reexiva. Adem as si A, B y C son conjuntos tales que A B y B C, entonces sucede que A C. Esto signica que la inclusi on es transitiva. M as adelante, en la presente secci on, veremos una propiedad que posee pero no . En la Teor a Axiom atica de Conjuntos tambi en existen una serie de armaciones que se aceptan sin demostraci on. Estos se llaman axiomas y, como en el caso de las nociones primitivas, cualquier armaci on que hagamos y no se encuentre en nuestra lista de axiomas, debe ser demostrada, ya sea utilizando directamente dicha lista de axiomas, o bien armaciones que fueron previamente probadas usando la lista de axiomas. Trabajaremos con diez axiomas. De momento presentamos ocho. Sus nombres los hemos tomado como se indican en el libro [2]. Una familia de conjuntos es un conjunto cuyos elementos son conjuntos. 1) Axioma De Existencia: Existe alg un conjunto. 2) Axioma De Extensi on: Dos conjuntos son iguales si y s olo si tienen los mismos elementos.
1.1. AXIOMAS Y OPERACIONES FUNDAMENTALES
3) Axioma De Especicaci on: Si X es un conjunto y P es una propiedad, entonces los elementos de X que tienen la propiedad P forman un conjunto, al cual denotamos por {x X : x satisface P }. 4) Axioma De La Uni on: Si F es una familia de conjuntos, entonces: {x : x A para alg un A F} es un conjunto, el cual se denota por F y se llama la uni on de la familia F . 5) Axioma De La Pareja: Si A y B son conjuntos, entonces {A, B } es un conjunto. Es decir, podemos hablar del conjunto que tiene como elementos a los conjuntos A y B. 6) Axioma De Reemplazo: Si I es un conjunto y, para cada i I, tenemos un conjunto Xi , entonces existe un conjunto, denotado por {Xi : i I } o bien por {Xi }iI , cuyos elementos son precisamente los conjuntos Xi . 7) Axioma De Las Partes: Si X es un conjunto, entonces los subconjuntos de X son los elementos de un conjunto que se denota P (X ) y se llama el conjunto potencia de X. En otras palabras, los subconjuntos de X determinan el conjunto: P (X ) = {A : A X }. 8) Axioma De Regularidad: No existe una lista innita A1 , A2 , A3 , . . . , de conjuntos, tal que A3 A2 A1 . A continuaci on veremos unas consecuencias de los axiomas anteriores. Para empezar el Axioma De Existencia garantiza la existencia de por lo menos un conjunto. Entonces, podemos libremente decir armaciones como supongamos que A, B y C son conjuntos o bien si A y B son conjuntos, entonces. Utilizamos dichas armaciones en la presente secci on, para con ellas denir los s mbolos , y . El Axioma De Extensi on, permite denir el s mbolo = de igualdad entre conjuntos. Si A y B son conjuntos, entonces decimos que A = B si los
conjuntos A y B son iguales, es decir, si dichos conjuntos poseen los mismos elementos. En dicha situaci on cada elemento de A es un elemento de B y, tambi en, cada elemento de B es un elemento de A. Por tanto A = B si y s olo si A B y B A. Si, en cambio, alg un elemento de A no es elemento de B o bien alg un elemento de B no es elemento de A, decimos que A es diferente de B y escribimos A = B. Podemos utilizar lo que denimos en el p arrafo anterior, para redenir el s mbolo de contenci on propia. Si A y B son conjuntos, entonces el s mbolo A B signica que A B y, adem as, que A = B. Por tanto, si A B, sucede que cada elemento de A es un elemento de B y, adem as, alg un elemento de B no es elemento de A. El Axioma de Especicaci on nos da una forma de construir conjuntos, a partir de un conjunto y una propiedad dadas. Por ejemplo, si A es un conjunto (el cual existe por el Axioma de Existencia) y P es la propiedad ser distinto de s mismo entonces, por el Axioma de Especicaci on, podemos considerar el conjunto {x A : x = x}. Dicho conjunto no posee elementos y adem as es independiente de la elecci on de A. Esto es, si B es otro conjunto, entonces: {x A : x = x} = {x B : x = x} pues el conjunto {x B : x = x} no posee elementos y, de acuerdo con el Axioma de Extensi on, dos conjuntos son iguales si y s olo si tienen los mismos elementos. De esto se sigue que el conjunto {x A : x = x} es u nico. As pues, como consecuencia de los tres primeros axiomas de la lista anterior, podemos considerar la siguiente denici on. Denici on 1.1. El conjunto vac o, denotado con el s mbolo , se dene como el conjunto {x A : x = x}, donde A es cualquier conjunto. Notemos que A, para cada conjunto A. Adem as A signica que A es un conjunto tal que uno de sus elementos es el conjunto vac o. Entonces A y A son armaciones distintas. Mientras que la segunda de ellas siempre se cumple, la primera no siempre se satisface. Por ejemplo en el conjunto A = {1, 2}, tenemos que / A, mientras que para el conjunto B = {, 1, 2}, tenemos que B.
Como hemos visto, gracias al Axioma de Especicaci on, podemos formar nuevos conjuntos, a partir de un conjunto y una propiedad dados. Tambi en podemos construir el conjunto . Otra aplicaci on de este axioma, es el que podemos denir las operaciones m as elementales entre conjuntos. Para ver esto, supongamos que A y B son dos conjuntos. Si P la propiedad es un elemento de B entonces, por el Axioma de Especicaci on, aplicado al conjunto A y con la propiedad que acabamos de indicar, podemos considerar el conjunto {x A : x B }. Dicho conjunto, denotado por A B, se llama la intersecci on de A y B. Si ahora P es la propiedad no es un elemento de B entonces, por el Axioma de Especicaci on, aplicado al conjunto A y con esta nueva propiedad, podemos considerar el conjunto {x A : x / B }. Dicho conjunto, denotado por A B, se llama la diferencia de A y B. En ocasiones la diferencia de A y B se denota por A \ B. En el presente texto utilizaremos la notaci on A B como inicialmente indicamos. Por el Axioma de la Pareja, podemos considerar el conjunto {A, B }. Notemos que {A, B } es un conjunto cuyos elementos son conjuntos, es decir, { A, B } es una familia de conjuntos. Luego, por el Axioma de la Uni on, {A, B } es un conjunto. Dicho conjunto se denota por A B y se dene como la uni on de A y B. Una vez denidos los conceptos de uni on e intersecci on de conjuntos, podemos estudiar sus propiedades. Los correspondientes a la uni on y a la intersecci on son los que se enuncian sin demostraci on en el siguiente teorema. Teorema 1.2. Supongamos que A, B, C y D son conjuntos. Entonces: 1) A B A A B ; 2) si A C y B D, entonces A B C D y A B C D; 3) A A = A y A A = A; 4) A (B C ) = (A B ) C y A (B C ) = (A B ) C ; 5) A B = B A y A B = B A;
CAP ITULO 1. UN REPASO DE TEOR IA DE CONJUNTOS 6) A (B C ) = (A B ) (A C ) y A (B C ) = (A B ) (A C ); 7) A = y A = A 8) A = A B si y s olo si A B ; 9) A = A B si y s olo si B A.
Ahora enunciamos sin demostraci on algunas propiedades que involucran a la diferencia de conjuntos. Teorema 1.3. Supongamos que A, B y C son conjuntos. Entonces: 1) A A = y A = A; 2) A B = si y s olo si A B ; 3) A B = A si y s olo si A B = ; 4) A B = B A si y s olo si A = B ; 5) A (B C ) = (A B ) C si y s olo si A C = ; 6) A (B C ) = (A B ) (A C ); 7) A B A y (A B ) B = ; 8) (A B ) (A B ) = ; 9) A (B C ) = (A B ) (A C ); 10) A (B C ) = (A B ) (A C ); 11) A = (A B ) (A B ). El Axioma del Reemplazo puede utilizarse para extender la noci on de intersecci on de conjuntos. Supongamos que I es un conjunto y que, para cada i I, tenemos un conjunto Xi . Entonces el Axioma del Reemplazo garantiza que F = {Xi : i I } es un conjunto. Notemos que F es, de hecho, una familia de conjuntos. Se suele decir que F es una familia indexada de conjuntos y que I es el conjunto de ndices de F . Ahora bien para denir la intersecci on de F , denotada por
F , tomamos primero un elemento j I y denimos la intersecci on como el conjunto {x Xj : x Xi para cada i I }. Utilizando el Axioma de Especicaci on en el conjunto Xj con la propiedad ser un elemento de cada Xi se prueba que F es un conjunto. As pues, para denir la intersecci on de varios conjuntos, necesitamos asegurar que existe una familia de conjuntos que tiene como elementos a los conjuntos que queremos intersectar. Lo mismo sucede con la uni on, debe de existir una familia que tiene como elementos a los conjuntos que queremos unir. Si F = {Xi : i I } es una familia indexada de conjuntos, entonces su uni on y su intersecci on tambi en se denotan por iI Xi y por iI Xi , respectivamente. A continuaci on enunciamos, sin demostraci on, una serie de propiedades de la uni on y de la intersecci on de una familia indexada de conjuntos. Teorema 1.4. Supongamos que Y es un conjunto y que F = {Xi : i I } es una familia indexada de conjuntos. Entonces: ( ) 1) Y X = iI (Y Xi ); i iI ( ) 2) Y iI Xi = iI (Y Xi ); ( ) 3) Y iI Xi = iI (Y Xi ); ( ) 4) Y iI Xi = iI (Y Xi ). Otra consecuencia del Axioma de Especicaci on, se muestra en el siguiente resultado. / Teorema 1.5. Para cualquier conjunto A, existe un conjunto B tal que B A. Demostraci on. Supongamos que A es un conjunto. Consideremos la propiedad no ser un elemento de s mismo. Entonces, por el Axioma de Especicaci on, podemos formar el conjunto B = {x A : x / x}. Vamos a probar ahora que B / A. Si por el contrario, tenemos que B A entonces, en vista de que B es un conjunto, sucede que B B o bien B / B.
Si B B entonces, como B A, de acuerdo a la denici on de B, tenemos que B / B. Luego B B y, a la vez, B / B. Como esto es una contradicci on, no puede suceder que B B. Por consiguiente B / B. Esto implica que B es un elemento de A tal que B / B. Luego, por la denici on de B, tenemos que B B. De nueva cuenta hemos obtenido que B B y, a la vez, B / B. Como esto es una contradicci on, resulta que B / A. Corolario 1.6. No existe un conjunto que contenga a todos los conjuntos. Demostraci on. Supongamos que A es un conjunto que tiene, como elemento, a cada conjunto. Por el teorema anterior existe un conjunto B tal que B / A. Pero, por la denici on de A, sucede que B A. Entonces B A y, a la vez, B / A. Esto es una contradicci on, as que no podemos hablar de un conjunto que tenga como elemento a cualquier otro conjunto. Como consecuencia del Axioma de Regularidad, tenemos el siguiente teorema. Teorema 1.7. Supongamos que A y B son conjuntos. Entonces A / A. Adem as si A B, entonces B / A. Demostraci on. Si A A, entonces podemos escribir una lista innita A A A, lo cual contradice el Axioma de Regularidad. Por tanto A / A. Supongamos ahora que A B. Si resulta que B A, entonces podemos escribir una lista innita A B A B A, contradiciendo el Axioma de Regularidad. Por tanto B / A. Supongamos ahora que A es un conjunto. De acuerdo al teorema anterior, A / A. Por tanto no es cierto que A A. Por otro lado, es cierto que A A. Con esto mostramos una propiedad que la inclusi on cumple, pero no la pertenencia. Por tanto, los s mbolos y son distintos. Terminamos la presente secci on con el siguiente resultado. Teorema 1.8. Supongamos que A y B son conjuntos. Entonces A B si y s olo si {A} B.
1.2. PAREJAS ORDENADAS
Demostraci on. Como A es un conjunto, por el Axioma de la Pareja, podemos formar el conjunto {A, A}, el cual coincide con {A}. Esto muestra que {A} es un conjunto. Supongamos que A B. Para ver que {A} B, tomemos un elemento C de {A}. Como el u nico elemento de {A} es A, sucede que C = A. Adem as A B. Luego C B. Con esto hemos probado que cada elemento de {A} es un elemento de B. De aqu , {A} B. Supongamos ahora que {A} B. Entonces cada elemento de {A} es un elemento de B. Por tanto, como A es un elemento de {A}, sucede que A es tambi en un elemento de B. Luego A B. Esto termina la demostraci on.
1.2.
Parejas Ordenadas
Si A y B son dos conjuntos, por el Axioma de la Pareja, podemos considerar el conjunto {A, B }, el cual se llama el par no ordenado de los conjuntos A y B. Notemos que {A, B } = {B, A}. Consideremos ahora la siguiente denici on. Denici on 1.9. Si A y B son conjuntos, entonces el conjunto {{A}, {A, B }} se llama el par ordenado de los conjuntos A y B, y se denota por (A, B ). Si A y B son conjuntos entonces, por el Axioma de la Pareja, podemos formar los conjuntos {A, A} y {A, B }. Es claro que {A, A} = {A}. Ahora bien, una vez que ya tenemos los conjuntos {A} y {A, B } de nuevo, por el Axioma de la Pareja, podemos formar el conjunto {{A}, {A, B }}. Esto muestra que el par ordenado (A, B ), formado a partir de los conjuntos A y B, es un conjunto. Ahora vamos a mostrar que podemos hablar de pares ordenados de objetos. Para esto emplearemos los axiomas que hemos considerado antes. En particular, recordemos que P (X ) es el conjunto que tiene por elementos a los subconjuntos de X. Teorema 1.10. Supongamos que A y B son dos conjuntos. Entonces, para cada a A y toda b B, tenemos que {a}, {a, b} y {{a}, {a, b}} son conjuntos. Adem as {{a}, {a, b}} P (P (A B )).
10
Demostraci on. Tomemos a A y b B. Consideremos la propiedad ser igual a a. Entonces, por el Axioma de Especicaci on, aplicado a A y a la propiedad que acabamos de indicar, sucede que {x A : x es igual a a} es un conjunto. Es claro que dicho conjunto coincide con {a}. Esto prueba que {a} es un conjunto. Por lo indicado en el p arrafo anterior, tambi en {b} es un conjunto. Entonces, por el Axioma de la Pareja, {{a}, {b}} es un conjunto. De hecho es una familia de conjuntos de donde, por el Axioma de la Uni on, {{a}, {b}} = {a} {b} = {a, b} es un conjunto. Esto prueba que {a, b} es un conjunto y, como tambi en {a} es un conjunto, por el Axioma de la Pareja, {{a}, {a, b}} es un conjunto. Como ya indicamos, del hecho de que A y B son conjuntos, se sigue que A B es un conjunto. Es claro que {a} A A B y {a, b} A B. En otras palabras {a} P (A B ) y {a, b} P (A B ), por lo que {{a}, {a, b}} P (A B ). Esto muestra que {{a}, {a, b}} P (P (A B )). El teorema anterior motiva la siguiente denici on. Denici on 1.11. Supongamos que A y B son dos conjuntos. Si a A y b B, entonces el conjunto {{a}, {a, b}} se llama el par ordenado de los objetos a y b, y se denota por (a, b). As pues, por denici on, (a, b) = {{a}, {a, b}}. La propiedad m as importante del par ordenado, es la que se presenta en el siguiente teorema. Teorema 1.12. Sean A y B dos conjuntos. Consideremos que a, c A y que b, d B. Entonces (a, b) = (c, d) si y s olo si a = c y b = d. Demostraci on. Si a = c y que b = d, entonces es claro que (a, b) = (c, d). Supongamos ahora que (a, b) = (c, d). Por tanto {{a}, {a, b}} = {{c}, {c, d}}.
1.2. PAREJAS ORDENADAS
11
Como {a} {{a}, {a, b}} = {{c}, {c, d}}, deducimos que {a} {{c}, {c, d}}. Luego {a} = {c} o bien {a} = {c, d}. Supongamos que {a} = {c}. Como {a, b} {{a}, {a, b}} = {{c}, {c, d}}, deducimos que {a, b} = {c} o bien {a, b} = {c, d}. Si {a, b} = {c}, entonces {a} = {c} = {a, b}, por lo que en el conjunto {{a}, {a, b}} sus dos elementos son iguales. Puesto que {{a}, {a, b}} = {{c}, {c, d}}, resulta que en el conjunto {{c}, {c, d}} sus dos elementos han de ser iguales. Luego {c} = {c, d}. Por tanto {a} = {c} = {a, b} = {c, d}. De {a} = {c}, se deduce que a = c. De {a} = {a, b} se sigue que a = b y, de {c} = {c, d}, se tiene que c = d. Por tanto a = c y b = d. Supongamos ahora que {a} = {c} y que {a, b} = {c, d}. Como {a} = {c}, tenemos que a = c. Luego {c, b} = {a, b} = {c, d}. Puesto que b {c, b} y {c, b} = {c, d}, resulta que b {c, d}. Por tanto b = c o bien b = d. Si b = c entonces, en el conjunto {c, b} sus dos elementos son iguales. Como {c, b} = {c, d}, tambi en en el conjunto {c, d} sus dos elementos han de ser iguales. Esto signica que b = c = d. De aqu deducimos que a = c y b = d. Si sucede que b = d entonces tambi en tenemos que a = c y b = d. Esto completa la demostraci on del teorema, en el caso en que {a} = {c}. Ahora supongamos que {a} = {c, d}. Entonces en el conjunto {c, d} sus dos elementos deber ser iguales y, m as a un, iguales con a. Es decir a = c = d. Como c = d, sucede que {{c}, {c, d}} = {{c}, {c}} = {{c}}. Esto implica que los elementos del conjunto {{c}, {c, d}} son el mismo. Luego los elementos del conjunto {{a}, {a, b}} han de ser el mismo, es decir, {a} = {a, b}. Luego a = b, de donde a = b = c = d. En particular a = c y b = d. Esto termina la demostraci on del teorema. Del teorema anterior se sigue que (a, b) = (b, a) si y s olo si a = b. Por tanto, si a = b, no es lo mismo escribir (a, b) que (b, a). Como consecuencia de esto, el orden en el que aparecen a y b cuando escribimos (a, b) es importante. Esto motiva la siguiente denici on. Denici on 1.13. Si (a, b) es el par ordenado de los objetos a y b, entonces a es el primer elemento de (a, b) y b es el segundo elemento de (a, b).
12
Los resultados presentados permanecen v alidos si en lugar de pares ordenados de objetos, consideramos pares ordenados de conjuntos.
1.3.
Producto Cartesiano y Relaciones
En la presente secci on mencionaremos las nociones de producto cartesiano, las relaciones de orden y de equivalencia. Comenzamos con la siguiente denici on. Denici on 1.14. Supongamos que A y B son dos conjuntos. El producto cartesiano de A y B se dene como el conjunto A B = {(a, b) : a A y b B }, donde (a, b) = {{a}, {a, b}} es el par ordenado de los objetos a y b. Teorema 1.15. Si A y B son dos conjuntos, entonces A B es un conjunto. Demostraci on. Como A y B son conjuntos, sabemos que A B es un conjunto. Adem as, para cada a A y cada b B, por el Teorema 1.10, (a, b) = {{a}, {a, b}} P (P (A B )). Esto signica que algunos elementos del conjunto P (P (A B )) son pares ordenados (con primer elemento en A y segundo elemento en B ). Consideremos la propiedad ser un par ordenado con primer elemento en A y segundo elemento en B . Por el Axioma de Especicaci on, aplicado al conjunto P (P (A B )) y a la propiedad que acabamos de indicar, resulta que {x P (P (A B )) : x es un par ordenado con primer elemento en A y segundo elemento en B } es un conjunto, el cual coincide con {(a, b) : a A y b B }. Esto prueba que A B es un conjunto. Vamos a utilizar el producto cartesiano para denir relaciones en un conjunto. Denici on 1.16. Sea A un conjunto. Una relaci on en A es un subconjunto R de A A. Si R es una relaci on en A y (a, b) R, entonces decimos que a est a relacionado con b seg un R e, incluso, escribimos aRb en lugar de (a, b) R. Una relaci on R en A es:
1.3. PRODUCTO CARTESIANO Y RELACIONES 1) reexiva si aRa, para cada a A;
13
2) sim etrica si cada vez que tengamos a y b en A de modo que aRb, sucede que bRa; 3) antisim etrica si cada vez que tengamos a y b en A de modo que aRb y bRa, sucede que a = b; 4) transitiva si cada vez que tengamos a, b y c en A de modo que aRb y bRc, sucede que aRc; 5) de orden si R es reexiva, antisim etrica y transitiva; 7) de orden total de R es de orden y, para cada a, b A sucede que aRb o bien bRa; 8) de equivalencia si R es reexiva, sim etica y transitiva. En los cap tulos posteriores veremos relaciones que son de orden, as como relaciones que son de equivalencia. Conviene considerar ahora la siguiente denici on. Denici on 1.17. Si R es una relaci on de equivalencia en un conjunto no vac o A entonces, para cada a A, [a] = {b A : bRa} es un conjunto que se llama la clase de equivalencia de a seg un R. Al conjunto A/R = {[a] : a A} se le llama el conjunto cociente de A seg un R. Vamos a vericar que, en efecto, para cada a A, [a] es un conjunto. Consideremos a A y la propiedad estar relacionado con a seg un R. Por el Axioma de Especicaci on, aplicado al conjunto A y a la propiedad que acabamos de indicar, tenemos que {b A : b est a relacionado con a seg un R} es un conjunto, el cual coincide con {b A : bRa}. Esto prueba que [a] es un conjunto. Naturalmente [a] A, por lo que [a] P (A). Esto implica que
14
algunos elementos de P (A) son clases de equivalencia seg un la relaci on R. Entonces podemos considerar la propiedad ser una clase de equivalencia de un elemento de A, seg un R. Por el Axioma de Especicaci on, aplicado al conjunto P (A) y a la propiedad que acabamos de indicar, tenemos que un R} {x P (A) : x es una clase de equivalencia de un elemento de A seg es un conjunto, el cual coincide con {[a] : a A}. Esto prueba que A/R es un conjunto. En el siguiente teorema, mencionamos sin demostraci on, las propiedades m as importantes de las clases de equivalencia. Teorema 1.18. Supongamos que R es una relaci on de equivalencia en un conjunto no vac o A. Entonces R satisface las siguientes propiedades: 1) a [a], para cada a A; 2) A = {[a] : a A}; 3) si a, b A y b [a], entonces [a] = [b]; 4) si a, b A, entonces b [a] si y s olo si [a] = [b]; 5) si [a] [b] = , entonces [a] = [b]. Sea R un relaci on de equivalencia en un conjunto no vac o A. De las partes 1) y 4) del teorema anterior, se sigue que dos clases de equivalencia [a] y [b] son ajenas o bien son iguales. Por tanto, las clases de equivalencia distintas forman una familia de subconjuntos no vac os de A, ajenos dos a dos, cuya uni on es A. Las propiedades anteriores son los ingredientes de la siguiente denici on. Denici on 1.19. Supongamos que A es un conjunto no vac o. Entonces una partici on de A es una familia no vac a de subconjuntos no vac os de A, que son ajenos dos a dos, y cuya uni on es A. En vista de la denici on anterior, si R es una relaci on de equivalencia en un conjunto no vac o A, entonces las clases de equivalencia distintas forman una partici on de A. Tambi en podemos proceder a la inversa, si {Ai : i I } es una partici on de un conjunto no vac o A, entonces podemos denir una
1.3. PRODUCTO CARTESIANO Y RELACIONES
15
relaci on de equivalencia R como sigue: si a, b A decimos que aRb si y s olo si existe i I tal que a, b Ai . Si a Ai , sucede que [a] = Ai . Si A es un conjunto no vac o y R es la relaci on de igualdad, entonces R es una relaci on de equivalencia. En efecto, aRa, para cada a A pues siempre sucede que a = a. Si aRb, entonces a = b o, lo que es lo mismo, b = a. Luego bRa. Finalmente si aRb y bRc, entonces a = b y b = c, por lo que a = c. Luego aRc. Esto muestra que R es una relaci on de equivalencia. Ahora bien, como la igualdad = es una relaci on de equivalencia, el resto de las relaciones de equivalencia se suelen denotar por s mbolos que se parezcan al de la igualdad, como por ejemplo , o bien , en lugar de letras como la R que hemos venido utilizando. Si, por ejemplo es una relaci on de equivalencia en un conjunto no vac o A y a, b A, entonces a b, signica que a est a relacionado con b. Por otra parte, a b signica que a no est a relacionado con b. Tambi en, por su semejanza con el s mbolo de igualdad, si es una relaci on de equivalencia en A y a, b A son tales que a b, entonces solemos pensar que a y b son iguales a los ojos de la relaci on . En otras palabras, aunque a y b pueden no ser iguales en el sentido escrito, desde el punto de vista de , a y b se pueden considerar como iguales. La idea expresada al nal del p arrafo anterior es muy importante. Supongamos que A es un conjunto no vac o y que tenemos dos elementos distintos a y b de A. Si por alguna raz on necesitamos considerar que a y b son el mismo objeto, aunque formalmente no lo son, entonces deniendo una relaci on de equivalencia en A de modo que a b, podemos conseguir que a y b, aunque no son estr ctamente iguales, se puedan considerar como si lo fueran.
16
Cap tulo 2 Los N umeros Naturales

2.1. Construcci on de N
N = N {0} = {0, 1, 2, 3, . . .}, en donde N = {1, 2, 3, 4, . . .}. Como veremos, el n umero cero ser a importante para garantizar la existencia de N y, una vez que hagamos esto, podremos denir al conjunto N simplemente como la diferencia N {0}. Ahora bien, los elementos de N son n umeros naturales, as que primero debemos denir lo que entendemos por esto. En vista de que los conjuntos son la base de muchos conceptos de la matem atica y de que, en ocasiones, el conjunto vac o comparte propiedades que tiene el n umero cero, parece que deber amos denir a los n umeros naturales como conjuntos y al cero como el conjunto vac o. Tambi en sabemos, o por lo menos eso es lo que nos ense naron, que el n umero uno es un n umero natural y es justo el que sigue del cero, luego nos dijeron que el dos es el n umero natural que sigue del uno y as sucesivamente. Entonces, pensando que los n umeros se denir an como conjuntos, debemos tener una noci on de conjunto sucesor. Esto es precisamente lo que hacemos en la siguiente denici on. Denici on 2.1. Dado un conjunto A, el sucesor de A se dene como el conjunto A = A {A}. El n umero cero, denotado por 0, se dene como el conjunto vac o. 17
En la presente cap tulo vamos a garantizar la existencia del conjunto
18
CAP ITULO 2. LOS NUMEROS NATURALES
Notemos que si A es un conjunto entonces, por el Axioma de la Pareja, podemos formar el conjunto {A, A}, el cual coincide con el conjunto {A}. Ahora bien, ya teniendo los conjuntos A y {A}, por el Axioma de la Pareja, podemos formar el conjunto {A, {A}}, es decir el conjunto que tiene como elementos a A y a {A}. Esto prueba que {A, {A}} es un conjunto. En vista de que {A, {A}} es una familia de conjuntos, por el Axioma de la Uni on, A {A} es un conjunto. Esto muestra que A = A {A} es un conjunto. Supongamos de nuevo que A es un conjunto. Por el Teorema 1.7, A / A. Esto implica que el u nico elemento del conjunto {A}, no es un objeto del conjunto A. Por tanto A es un conjunto no vac o cuyos elementos son A y los elementos de A. Luego A A es un conjunto con un solo elemento. Notemos que A A y A A . De acuerdo con la Denici on 2.1, el n umero uno se puede denir como el sucesor del n umero cero, el n umero dos como el sucesor del n umero uno y el n umero tres como el sucesor del n umero dos. Entonces 1 = 0 = 0 {0} = {0} = {0}, 2 = 1 = 1 {1} = {0} {1} = {0, 1}, y 3 = 2 = 2 {2} = {0, 1} {2} = {0, 1, 2}.
Estamos ahora tentados a decir que N es el conjunto de todos los sucesores de los n umeros que se van construyendo siguiendo el proceso anterior. Sin embargo, debemos ser m as cautelosos y proceder como sigue: consideramos primero la siguiente denici on. Denici on 2.2. Un conjunto A es un conjunto inductivo si 0 A y x A, para cada x A. Entendemos en la denici on anterior que x = x {x}. De acuerdo a la Denici on 2.2, un conjunto inductivo es aquel que tiene al cero as como al sucesor de cada uno de sus elementos. Notemos que nada nos dice que los conjuntos inductivos existen. Eso es algo que debemos axiomatizar. Por tanto, a la lista de ocho axiomas que presentamos en la Secci on 1.1, a nadimos el siguiente: 9) Axioma De Innito: Existe un conjunto inductivo.
DE N 2.1. CONSTRUCCION
19
Ahora bien, el que supongamos que existe un conjunto inductivo no garantiza autom aticamente que N existe, ni que dicho conjunto inductivo que suponemos existe es precisamente N . Lo que vamos a hacer en lo que resta de la presente secci on es garantizar la existencia de N , a partir del supuesto de que existe alg un conjunto inductivo. Empezamos con el siguiente resultado. Teorema 2.3. La intersecci on de cualquier familia no vac a de conjuntos inductivos, es un conjunto inductivo. Demostraci on. Sean a de conjuntos F = {A : I } una familia no vac inductivos y N = iI A . Entonces N es un conjunto. Como 0 A , para cada I, resulta que 0 N. Supongamos ahora que x N. Entonces, dada I, sucede que x A . Como A es un conjunto inductivo, resulta que x A . Puesto que lo anterior es cierto para cada I, tenemos que x N. Esto prueba que N es un conjunto inductivo. Notemos que todo conjunto inductivo tiene como elementos a los n umeros 0, 1, 2 y 3 que hemos denido. Entonces, informalmente hablando, podr amos pensar que N es el conjunto inductivo m as peque no que existe y, en vista del Teorema 2.3, podr amos estar tentados a considerar que N = {B : B es un conjunto inductivo}. El problema de esto es que, antes de considerar la intersecci on, necesitamos garantizar que {B : B es un conjunto inductivo} es un conjunto, tarea que no parece sencilla. Debemos entonces proceder de otra forma. Comenzaremos con un conjunto inductivo A (el cual existe por el Axioma de Innito) y, a partir de dicho conjunto A, construiremos a N , de modo que no dependa de la elecci on de A. Supongamos, por tanto, que A es un conjunto inductivo y denamos N = {B A : B es un conjunto inductivo}. Como A es un conjunto, por el Axioma de las Partes, los subconjuntos de A determinan el conjunto P (A). Consideremos ahora la propiedad ser un conjunto inductivo. Por el el Axioma de Especicaci on, aplicado a P (A) con la propiedad que acabamos de indicar, tenemos que F = {B P (A) : B es un conjunto inductivo}
20
es un conjunto. Esto implica que F = {B A : B es un conjunto inductivo} es una familia de conjuntos y entonces tenemos permitido tomar su intersecci on. Adem as, dicha intersecci on es un conjunto. Esto prueba que N es un conjunto. Por otro lado N es la intersecci on de una colecci on no vac a de conjuntos inductivos. Entonces, por el Teorema 2.3, N es un conjunto inductivo. Naturalmente N A. El siguiente teorema menciona la propiedad m as importante de N . Teorema 2.4. N es un subconjunto de cualquier conjunto inductivo. Demostraci on. Sea C un conjunto inductivo. Como A C es una intersecci on de conjuntos inductivos, por el Teorema 2.3, A C es un conjunto inductivo. Adem as A C A. Esto signica que A C es un elemento de la colecci on F de todos los conjuntos inductivos que est an contenidos en A. En vista de que N es, por denici on, la intersecci on de la colecci on F , de ducimos que N A C. Ahora bien, A C C y la inclusi on es transitiva. Luego, N C. Corolario 2.5. Solo existe un conjunto inductivo que es subconjunto de cualquier conjunto inductivo. Demostraci on. Supongamos que D es un conjunto inductivo que es subconjunto de cualquier conjunto inductivo. Entonces D N , pues N es un conjunto inductivo. Como N es tambi en un subconjunto de cualquier con junto inductivo, resulta que N D. Entonces N = D. Corolario 2.6. El conjunto N es u nico. De acuerdo con el corolario anterior, a partir de la existencia de alg un conjunto inductivo, es posible probar que existe el conjunto inductivo m as peque no. Dicho conjunto es N . Ahora bien, justicada la existencia de N , denimos ahora el conjunto N = N {0}. Denici on 2.7. Un n umero natural se dene como cualquier elemento de N. Lo anterior le da formalidad al conjunto de los n umeros naturales. Notemos que es bastante extra no pensar que 0 1, 1 2 y 2 3. Tambi en es cierto que 0 1, 1 2 y 2 3. Lo anterior puede desconcertar, pero no por
2.2. LOS AXIOMAS DE PEANO
21
eso es matem aticamente incorrecto. Ahora bien, de acuerdo con la denici on de n umero natural, de d onde se deduce que dichos n umeros son los que se utilizan para contar? Para contestar la pregunta anterior, debemos de notar que una cosa es la justicaci on matem atica del conjunto N, y otra es lo que se puede hacer con dicho conjunto o con sus elementos. Terminamos la presente secci on indicando que, en la siguiente secci on, probaremos que existen conjuntos inductivos que contienen propiamente a N .
2.2.
Los Axiomas de Peano
La manera de justicar el conjunto N, a partir del conjunto N , hace posible probar el siguiente teorema. Recordemos que n = n {n} es el sucesor del n umero natural n. Teorema 2.8. El conjunto N satisface las siguientes propiedades: a) 0 N ; b) si n N , entonces n N ; c) si S N satisface las siguientes propiedades: 1) 0 S, 2) si n S, entonces n S, resulta que S = N ; d) n = 0, para cada n N ; e) si n, m N y n = m , entonces n = m. Demostraci on. Las propiedades a) y b) se siguen del hecho de que N es un conjunto inductivo. Para probar c) supongamos que S es un subconjunto de N con las propiedades 1) y 2). Entonces S es un conjunto inductivo y, como N es un subconjunto de cualquier conjunto inductivo (Teorema 2.4), resulta que N S. Tenemos entonces que S N y, a la vez, N S. Luego N = S. Por tanto, c) se cumple. Para probar d) tomemos un elemento
22
n N . Entonces n = n {n}, por lo que n n . Esto implica que n = = 0 y muestra d). Para probar e) haremos ver primero la siguiente armaci on: f) todo elemento de un n umero natural es un subconjunto de este. Para probar f) utilizaremos c). Consideremos el conjunto S = {n N : si x n, entonces x n}. Como el conjunto vac o no tiene elementos, sucede que 0 S. Supongamos ahora que n S. Mostraremos que n S. Para eso tomemos un elemento x n . Debemos probar que x n . Como x n = n {n}, necesariamente x n o bien x = n. Supongamos que x n. Como n S resulta que x n. Puesto que n n sucede, por la transitividad de la uni on, que x n . Supongamos ahora que x = n. Entonces x = n n . Esto prueba que n S. Tenemos entonces que S es un subconjunto de N que satisface las propiedades 1) y 2) de c). Luego, por c) mismo, resulta que S = N . Esto prueba f). Supongamos ahora que n, m N son tales que n = m . Supongamos adem as que n = m. Como n n = m = m {m}, sucede que n m o bien n = m. El segundo caso no se pude dar, pues estamos suponiendo que n = m. Luego n m. Ahora bien, tambi en es cierto que m m = n = n {n}, por lo que m n o bien m = n. El segundo caso no se cumple, as que m n. Tenemos entonces que n m y m n. Aplicando f) resulta que n m y m n. Esto implica que los conjuntos n y m se contienen mutuamente. Luego n = m. Como esto contradice la suposici on de que n y m son diferentes, e) se cumple. Notemos que, una vez que obtenemos que n m y m n, podemos apelar al Teorema 1.7 (basado en el Axioma de la Regularidad), para obtener una contradicci on y concluir que n = m. Esto nos da una demostraci on alternativa de e), sin utilizar f). Las propiedades a)-e) del teorema anterior se conocen como los Axiomas de Peano. Originalmente dichas propiedades fueron enunciadas como un axioma en 1899, por el italiano Giuseppe Peano. En otras palabras, para Peano fue un axioma la existencia de un conjunto N con las propiedades a)-e) del teorema anterior. Hoy en d a sabemos que, con solo agregar un axioma m as
23
a la lista de la Secci on 1.1 (el Axioma de Innito) es posible justicar la existencia de N y, de paso, demostrar lo que Peano en 1899 consider o como verdades que no requer an demostraci on. As pues, los axiomas de Peano son en realidad armaciones que se pueden demostrar. Como ya indicamos, las propiedades a) y b) del teorema anterior, dicen que N es un conjunto inductivo. La propiedad c) dice que el n umero cero no es el sucesor de ning un elemento de N . La propiedad e) dice que si dos elementos de N tienen los mismos sucesores, entonces son iguales. Equivalentemente, dicha propiedad dice que distintos elementos de N poseen diferentes sucesores. Esto implica que el sucesor de un elemento de N es u nico. La propiedad c) del Teorema 2.8 es de particular importancia. Se conoce como el Principio de Inducci on Matem atica en N . Como hemos visto en la prueba de f), tal principio es u til cuando queremos probar que una armaci on es v alida para todos los elementos de N . Es com un aplicar el Principio de Inducci on Matem atica en N. En dicha situaci on el principio toma la forma enunciada en el siguiente teorema. Teorema 2.9. Si S N satisface las siguientes propiedades: 1) 1 S, 2) si n S, entonces n S, resulta que S = N. Demostraci on. Supongamos que S N satisface 1) y 2). Denamos T = S {0}. Entonces T es un subconjunto de N que satisface las propiedades 1) y 2) del Teorema 2.8. Luego, por la propiedad c) de dicho teorema, resulta que T = N . Por tanto, S = T {0} = N {0} = N. A continuaci on, y como consecuencia del Principio de Inducci on Matem atica en N, vamos a probar otras propiedades de los elementos de N. Teorema 2.10. El conjunto N satisface las siguientes propiedades: 1) 1 N y n = 1, para cada n N; 2) si n N, entonces n N; 3) todo elemento n N {1} es el sucesor de alg un otro elemento de N;
24
CAP ITULO 2. LOS NUMEROS NATURALES 4) para cada n N es cierto que n = n.
Demostraci on. Sabemos que 1 es el sucesor de 0, el cual no es un elemento de N sino de N . Tambi en sabemos, por la propiedad d) del Teorema 2.8, que n = 0, para cada n N . Para probar 1) notemos primero que, por la parte a) del Teorema 2.8, 0 N . Luego, por las partes b) y d) del Teorema 2.8, 1 = 0 N {0} = N. Supongamos ahora que existe un elemento n N tal que n = 1. Como 1 = 0 resulta que n y 0 son dos elementos de N tales que n = 0 . Luego, por la propiedad e) del Teorema 2.8, n = 0. Esto no puede ser, pues n N y 0 / N. Con esto probamos 1). Para probar 2) sea n N. Como N N , tenemos que n N . Luego, por las propiedades b) y d) del Teorema 2.8, n N {0} = N. Esto prueba 2). De 1) se sigue que 1 no es el sucesor de ning un elemento de N. Consideremos ahora el conjunto: S = {k N : k = 1 o bien k = m , para alg un m N}. Notemos que en S se encuentran el n umero natural 1, as como todos aquellos n umeros naturales que son sucesores de alg un otro n umero natural. De acuerdo con la denici on de S, sucede que 1 S. Supongamos ahora que k S. Entonces k = 1, o bien existe m N tal que k = m . Si k = 1, entonces k es el sucesor del n umero natural 1, por lo que k S. Si k = m entonces, haciendo s = m , tenemos que k = (m ) = s . Luego k es el sucesor del n umero natural s, de donde k S. Por el Teorema 2.9, S = N. Esto implica que para todo n umero natural n sucede una de las siguientes dos cosas: n = 1 o bien n es el sucesor de alg un otro n umero natural. Por consiguiente, todo n umero natural diferente de 1 es el sucesor de alg un otro n umero natural. Esto prueba 3). Para probar 4), consideremos el conjunto: S = {n N : n = n}.
25
Por 1), 1 = 1. Luego 1 S. Supongamos ahora que k S. Entonces k = k. Debemos probar ahora que k es un elemento de S. Si k no es un elemento de S, entonces (k ) = k . Por la parte e) del Teorema 2.8, deducimos que k = k. Tenemos, con esto, que por un lado k es igual a k y, por otro, k es distinto de k. Como esto es una contradicci on, que proviene de haber supuesto que k no es un elemento de S, deducimos que k S. Esto implica, por el Teorema 2.9, que S = N. Supongamos que B es un conjunto no vac o. Denimos B0 = B y, para cada n N, consideremos el conjunto Bn = (((B ) ) ) , en donde estamos tomando el sucesor n veces. Por ejemplo B1 = B , B2 = (B ) , B3 = ((B ) ) , etc. Es f acil probar, usando el Principio de Inducci on Matem atica en N , que para cada n N , Bn = Bn . Entonces a cada n N le hemos asociado el conjunto Bn . Esto implica, por el Axioma de Reemplazo, que podemos considerar el conjunto AB = {Bn : n N }. Podemos pensar que AB es la familia de todos los sucesores de B (incluyendo a B ). Notemos ahora que AB N es un conjunto, por ser la uni on de dos conjuntos. Adem as AB N es inductivo. En general, si B1 , B2 , . . . , Bm son conjuntos y, para cada i {1, 2, . . . , m}, consideramos la familia ABi de todos los sucesores de Bi , entonces AB1 AB2 ABm N es un conjunto inductivo. Esto nos permite construir conjuntos inductivos que, en general, van a contener propiamente a N . Teorema 2.11. Existe un conjunto inductivo C tal que N C.
Demostraci on. Como N es un conjunto, por el Teorema 1.5, existe un conjunto B tal que B / N . Sea AB la familia de los sucesores de B (incluyendo a B ). Como B AB , tenemos que AB N es un conjunto inductivo que contiene propiamente a N . En la siguiente secci on veremos que el Principio de Inducci on Matem atica se puede utilizar para denir la manera en como se suman y se multiplican los elementos de N. En pr acticamente todos los casos, construiremos un subconjunto S de N con las propiedades 1) y 2) del Teorema 2.9 y mostraremos, sin hacer menci on al Teorema 2.9, que S es igual a N.
26
2.3.
2.3.1.
Adici on y Multiplicaci on en N
Adici on en N
Desde la ense nanza elemental aprendimos que al sumar 2 con 3, por ejemplo, el resultado es 5. Incluso la suma de naturales nos la ense naron como una serie de f ormulas m agicas que hab a simplemente que memorizar. Se puede formalizar la manera de sumar en N y, para ello, requerimos del Principio de Inducci on Matem atica. En efecto, supongamos que deseamos denir la suma n + m para cualesquiera dos n umeros naturales n y m. Una manera de hacer esto es jando uno de dichos naturales, digamos n, y denir la suma n + m, para cada natural m. Tenemos entonces un problema que involucra a todos los n umeros naturales. De acuerdo con el Principio de Inducci on Matem atica, para denir n + m, bastar a denir primero n + 1 y, suponiendo que ya hemos denido a n + k, denir a n + k . Una manera de convencerse de que lo anterior dene a n + m, para cada natural m es la siguiente: por hip otesis sabemos que siempre que n + k ya est e denido, n + k estar a denido. Dado que n + 1 est a denido, sucede que n + 1 = n + 2 est a denido y esto implica que n + 2 = n + 3 tambi en est a denido. A su vez, la armaci on anterior lleva a que n + 3 = n + 4 est a denido, etc. De esta manera, la suma n + m est a denida para cada n umero natural m y, como lo anterior se realiz o jando cualquier n umero natural n, la suma n + m est a en realidad denida para cualesquiera dos n umeros naturales n y m. La siguiente denici on indica, jando un n umero natural n, la manera de denir la suma n + m, para cualquier n umero natural m. on en N se dene como sigue: Denici on 2.12. La adici a) n + 1 = n , b) n + m = (n + m) , siempre que n + m est e denido. En el siguiente teorema mencionamos las propiedades b asicas de la adici on. Teorema 2.13. Las siguientes propiedades se cumplen: 1) la adici on es cerrada, es decir, n + m N, para cualesquiera n, m N;
Y MULTIPLICACION EN N 2.3. ADICION
27
2) la adici on es conmutativa, es decir, n + m = m + n, para cualesquiera n, m N; 3) la adici on es asociativa, es decir, m + (n + p) = (m + n) + p, para cualesquiera n, m, p N; 4) la adici on admite la ley de cancelaci on, es decir, si n, m y p son n umeros naturales tales que m + p = n + p, entonces m = n. Demostraci on. Para probar 1) jemos n N y consideremos el conjunto S = {m N : n + m N}. Como n N, por la parte 2) del Teorema 2.10, n N. Ahora bien, por denici on, n = n + 1. Entonces n + 1 es un n umero natural. Esto muestra que 1 S. Supongamos ahora que k S. Entonces n + k es un n umero natural. Utilizando de nuevo la parte 2) del Teorema 2.10, deducimos (n + k ) tambi en es un n umero natural. Por otro lado, como n + k est a denido, por denici on n + k = (n + k ) . Entonces n + k es un n umero natural y, por tanto k S. Hemos probado con esto que 1 S y que k S siempre que k S. Entonces, por el Teorema 2.9, S = N. De aqu se deduce que n + m N, para cualquier m N. En vista de que lo anterior es v alido para cualquier n que jemos, hemos en realidad probado que n + m N, para cualesquiera n, m N. Esto prueba 1). Antes de continuar conviene comentar que, en vista de que la suma de dos n umeros naturales es un n umero natural, cada vez que tengamos una expresi on del tipo n+m ya podemos simplemente decir que es igual a (n+m) , pues n + m, por la parte 1), ya est a denido. Conviene ahora probar 3). Para esto jemos m y n y denamos el conjunto: S = {p N : m + (n + p) = (m + n) + p}. Debemos probar que 1 S y que k S, siempre que k S. Para mostrar la primera armaci on, utilizaremos las propiedades a) y b) de la adici on dadas en la Denici on 2.12, as como el hecho de que n + m est a denido. En efecto m + (n + 1) = m + n = (m + n) = (m + n) + 1.
28
Por tanto, 1 S. Supongamos ahora que k S. Entonces m + (n + k ) = (m + n) + k. Ahora bien, por un lado m + (n + k ) = m + (n + k ) = [m + (n + k )] y, por otro, (m + n) + k = [(m + n) + k ] = [m + (n + k )] . De dichas igualdades se deduce que m + (n + k ) = (m + n) + k . Luego k S. Por tanto, por el Teorema 2.9, S = N. Esto prueba que m + (n + p) = (m + n) + p, para cualquier n umero natural p. Ahora bien, en vista de que lo anterior es cierto para cualesquier valor que jemos de n y de m, en realidad hemos probado que m + (n + p) = (m + n) + p, para cualesquiera n, m, p N. Esto muestra 3). Para probar 2) jemos de nueva cuenta n N. El conjunto S que nos sirve ahora es el siguiente: S = {m N : n + m = m + n}. Debemos mostrar que 1 S y que k S siempre que k S. Con esto tendremos, de acuerdo al Teorema 2.9, que S = N. De esto se desprender a, en forma an aloga a la prueba de 1), que la adici on es conmutativa. Ahora bien, ver que 1 S no es inmediato. Se requiere aplicar inducci on matem atica. Armamos que: (*) p + 1 = 1 + p, para cualquier p N. Para probar (*) consideremos el conjunto T = {s N : s + 1 = 1 + s}. Notemos que 1 T, pues 1 + 1 = 1 + 1. Supongamos ahora que k T. Entonces k +1 = 1+ k. Debemos probar que k T, esto es, que k +1 = 1+ k . Utilizando el hecho de que la adici on es asociativa, tenemos que: 1 + k = 1 + (k + 1) = (1 + k ) + 1 = (k + 1) + 1 = k + 1. Por tanto, k T. Esto muestra que T = N y, con ello, la armaci on (*) es cierta.
29
Como la armaci on (*) se cumple para cualquier entero p, en particular es cierta para el entero n que hemos jado. Luego, n + 1 = 1 + n. En otras palabras, 1 S. Ahora supongamos que k S y probemos que k S. Como k S sabemos que n + k = k + n. Luego, utilizando la asociatividad de la adici on, y el hecho de que n + 1 = 1 + n, tenemos que: n+k = (n+k ) = (k +n) = k +n = k +(n+1) = k +(1+n) = (k +1)+n = k +n. Esto prueba que k S y termina la demostraci on de 2). Para probar 4) supongamos que n, m N y que S = {p N : si m + p = n + p, entonces m = n}. Si m + 1 = n + 1, entonces m = n y, por la parte e) del Teorema 2.8, m = n. Esto prueba que 1 S. Supongamos ahora que k S. Para probar que k es un elemento de S, consideremos que m + k = n + k . Entonces (m + k ) = (n + k ) y, utilizando de nuevo la parte e) del Teorema 2.8, tenemos que m + k = n + k. Esto implica, pues k S, que m = n. Por tanto k S. De aqu se sigue que S = N y, con esto, la prueba de 4) est a completa. Como la suma es asociativa, podemos denir sin ambig uedad la suma n + m + p de tres n umeros naturales. Dicha suma seguir a siendo asociativa, as que podremos denir con esto, la suma para cuatro n umeros naturales y luego para cinco y as sucesivamente. Entonces, por el Principio de Inducci on Matem atica, podemos denir sin ambig uedad la suma a1 + a2 + + an de cualquier cantidad nita de n umeros naturales a1 , a2 , . . . , an .
2.3.2.
Multiplicaci on en N
La multiplicaci on n m de los n umeros naturales n y m se realiza jando el natural n y deniendo n m, para cualquier natural m. Como en el caso de la adici on, basta con denir n 1 y, posteriormente denir n m , suponiendo que ya tenemos denida la multiplicaci on n m. Justo esto es lo que realizamos en la siguiente denici on. on en N se dene como sigue: Denici on 2.14. La multiplicaci
30 a) n 1 = n,
b) n m = n m + n, siempre que n m est e denido. En el siguiente teorema indicamos las propiedades b asicas de la multiplicaci on. Teorema 2.15. Las siguientes propiedades se cumplen: 1) la multiplicaci on es cerrada, es decir, n m N, para cualesquiera n, m N; on es conmutativa, es decir, n m = m n, para cuales2) la multiplicaci quiera n, m N; 3) la multiplicaci on es asociativa, es decir, m (n p) = (m n) p, para cualesquiera m, n, p N; 4) la multiplicaci on admite la ley de cancelaci on, es decir, si n, m y p son n umeros naturales tales que n p = m p, entonces n = m; 5) la adici on y la multiplicaci on satisfacen las dos leyes distributivas, es decir, para cualesquiera m, n, p N se cumple que: m ( n + p) = m n + m p y (n + p) m = n m + p m.
Demostraci on. Para probar 1) jamos n N y consideramos el conjunto S = {m N : n m N}. Como n 1 se dene como n y, adem as, estamos suponiendo que n es un n umero natural, resulta que n 1 N. Esto muestra que 1 S. Ahora supongamos que k S. Entonces n k es un n umero natural y podemos calcular n k utilizando la parte b) de la Denici on 2.15. Obtenemos as que n k = n k + n. Como n k es un n umero natural, y tambi en n es un n umero natural, por la parte 1) del Teorema 2.13, n k + n es un n umero natural. Por tanto n k N. Entonces k S. Hemos mostrado que 1 S y que k S, siempre que k S. Luego, por el Teorema 2.9, S = N. Esto prueba 1). De la parte 1) se desprende que el producto de dos n umero naturales es un n umero natural. Como tambi en la suma de dos n umeros naturales es un
31
n umero natural, cada vez que tengamos una expresi on del tipo n m , ya podemos simplemente decir que es igual a n m + n. Procederemos de esta manera durante el resto de la demostraci on. Conviene ahora probar las leyes distributivas. Ambas se demuestran por inducci on. A continuaci on daremos la prueba de s olo una de ellas y dejaremos al lector la prueba de la otra. Fijemos n y p y consideremos el conjunto S = {m N : (n + p) m = n m + p m}. Notemos que (n + p) 1 = n + p y n 1 + p 1 = n + p.
Por tanto (n + p) 1 = n 1 + p 1. Esto muestra que 1 S. Ahora supongamos que k S. Entonces (n + p) k = n k + p k. Notemos que (n + p) k = (n + p) k + (n + p) = n k + p k + n + p = n k + (p k + n) + p = n k + (n + p k ) + p = (n k + n) + (p k + p) = n k + p k . Por tanto k S. Esto prueba que S = N. De aqu se deriva que (n + p) m = n m + p m, para cualesquiera n, m, p N. Como hemos dejado al lector probar que m (n + p) = m n + m p, para cualesquiera n, m, p N, la prueba de 5) est a completa. Tambi en dejaremos al lector la prueba de 4). Quedan entonces 2) y 3) por demostrar. Para mostrar 3) jemos n y m y denamos el conjunto: S = {p N : m (n p) = (m n) p}. Notemos que m (n 1) = m n y (m n) 1 = m n. Entonces m (n 1) = (m n) 1, de donde 1 S. Supongamos ahora que k S. Entonces m (n k ) = (m n) k. Utilizando las leyes distributivas resulta que: m (n k ) = m [n (k + 1)] = m (n k + n 1) = m (n k ) + m (n 1) = (m n) k + (m n) 1 = (m n) (k + 1) = (m n) k .
32
Por tanto k S. Como sabemos, de aqu se sigue que S = N y luego 3) es cierto. Falta probar 2). En la prueba del teorema anterior, mostramos que 1 + p = p + 1, para cualquier n umero natural p. Esta armaci on nos ayud o a probar la propiedad conmutativa de la adici on. Ahora, para mostrar la propiedad conmutativa de la multiplicaci on, debemos probar primero lo siguiente: (**) 1 p = p 1, para cualquier p N. La prueba se realiza por inducci on. Sea T = {s N : 1 s = s 1}. Como 1 1 = 1 1, resulta que 1 T. Supongamos ahora que k T. Entonces 1 k = k 1. Aplicando las leyes distributivas, tenemos que 1 k = 1 k + 1 = k 1 + 1 = k 1 + 1 1 = (k + 1) 1 = k 1. Luego k T. Esto implica que T = N y, por consiguiente, (**) es cierto. Estamos en condiciones de probar 2). Para esto jamos n y consideramos el conjunto: S = {m N : n m = m n}. De (**) se sigue que n 1 = 1 n, as que 1 S. Supongamos ahora que k S. Entonces n k = k n. Aplicando de nuevo la distributividad resulta que n k = n k + n = k n + n = k n + 1 n = (k + 1) n = k n. Esto prueba que k S. Luego S = N y, como sabemos, de aqu se sigue 2). La propiedad asociativa de la multiplicaci on permite denirla sin ambig uedad para cualquier cantidad nita de t erminos. En otras palabras, si {a1 , a2 , . . . , an } es un conjunto nito de n umeros naturales, entonces es posible denir sin ambig uedad el producto a1 a2 an . Terminamos la presente secci on indicando que en matem aticas hay una diferencia entre los t erminos suma y adici on, as como entre los t erminos producto y multiplicaci on. Una suma en un conjunto A es una funci on de A A en A que debe satisfacer ciertas propiedades. Entre ellas, debe ser
2.4. EL ORDEN EN N
33
asociativa, aunque no necesariamente conmutativa. Si : A A A es una suma en A y a, b A, entonces la imagen (a, b) se suele denotar por a b y se dice que a b es la adici on de a y b. De manera similar, un producto en un conjunto A es una funci on especial de A A en A. Si : A A A es un producto en A y a, b A, entonces la imagen (a, b) se denota por a b y se dice que es la multiplicaci on de a y b. As pues, mientras que los t erminos suma y producto, se reservan para referirse a una funci on, los t erminos adici on y multiplicaci on, se reservan para referirse a las respectivas im agenes de las funciones. En el conjunto N se pueden denir muchas sumas as como muchos productos. Todas ellas generan, respectivamente, muchas adiciones y muchas multiplicaciones en N. Las que hemos dado en las deniciones 2.12 y 2.14 son las naturales u ordinarias.
2.4.
El Orden en N
Una vez que hemos justicado la existencia del conjunto N de los n umeros naturales y que hemos denido las operaciones de adici on y multiplicaci on ordinarias en N, toca comparar sus elementos. Sabemos, por ejemplo que 2 es menor que 5. La idea geom etrica que tenemos de esto es la de que, en la recta num erica, el n umero 2 se encuentra a la izquierda del 5. Tambi en en alguna ocasi on escuchamos que podemos situar una rana en el n umero 2 y que necesita de una serie de saltos a la derecha para alcanzar al n umero 5. Esta u ltima idea es la que se puede formalizar como la denici on de la operaci on de orden en N. Denici on 2.16. Si m, n N, decimos que m es menor que n si existe p N tal que m + p = n. En tal situaci on escribimos m < n. Decimos, adem as, que m es mayor que n y escribimos m > n si sucede que n < m. Notemos que 2 < 5 pues, para el n umero natural 3, sucede que 2 + 3 = 5. Esto u ltimo es cierto pues 2 + 3 = 2 + 2 = (2 + 2) = (2 + 1 ) = [(2 + 1) ] = [(2 ) ] = (3 ) = 4 = 5. Podemos pensar que < es una relaci on en N si decimos que m est a relacionado con n si y s olo si m < n. A continuaci on mostramos las propiedades b asicas de la relaci on menor que.
34
Teorema 2.17. Las siguientes propiedades se cumplen: on < es transitiva, es decir, si m < n y n < p, entonces m < p; 1) la relaci 2) para ninguna m N es cierto que m < m; 3) 1 < n para cada n N con n = 1; 4) n < n , para cada n N; 5) se cumple la ley de la tricotom a, es decir, para cualesquiera m, n N se verica una y s olo una de las siguientes condiciones: m = n, m < n, m > n.
Demostraci on. Para probar 1), tomemos tres n umeros naturales m, n y p tales que m < n y n < p. Entonces existen r, s N tales que m + r = n y n + s = p. Como r + s es un n umero natural tal que m + (r + s) = (m + r) + s = n + s = p, tenemos que m < p. Esto prueba 1). Para ver 2) supongamos que existe m N tal que m < m. Entonces existe p N tal que m + p = m. No podemos concluir de aqu que p = m m = 0, pues no hemos denido una operaci on de resta en los n umeros naturales. Tampoco podemos cancelar m de ambos miembros de la igualdad m + p = m y concluir que p = 0 para intentar llegar as a una contradicci on, pues no hemos denido la suma m + 0. Debemos por tanto proceder de otra manera. Consideremos el conjunto: S = {n N : n + p = n}. Notemos que 1 S pues 1 + p = p y, por la parte 1) del Teorema 2.10, p = 1. Supongamos ahora que k S. Entonces k + p = k. Mostraremos que k tambi en se encuentra en S. Veamos, si (k + p) = k entonces, por la propiedad e) del Teorema 2.8, k + p = k. Como esto contradice el hecho de que k + p = k, tenemos que (k + p) = k . Ahora bien, por denici on, (k + p) = (p + k ) = p + k = k + p,
2.4. EL ORDEN EN N
35
as que k + p = k . Esto prueba que k S. Como sabemos, de aqu se concluye que S = N. Por tanto, n + p = n, para toda n N. En particular m + p = m. Esto contradice el hecho de que m + p = m y, por consiguiente, termina la prueba de 2). Para probar 3) supongamos que n N es tal que n = 1. Entonces, por la parte 3) del Teorema 2.10, n es el sucesor de alg un elemento p en N. Es decir, n = p . Ahora bien, como p es un n umero natural tal que 1 + p = p = n, resulta que 1 < n. Esto prueba 3). Para ver 4) supongamos que n N. Por la parte 4) del Teorema 2.10 n = n. Como 1 es un n umero natural tal que n + 1 = n , sucede que n < n . Esto prueba 4). As pues, mientras que n es diferente de n, la relaci on correcta entre n y n es la desigualdad n < n.
Para probar la ley de la tricotom a, dada m N, consideremos los conjuntos: N1 (m) = {m}, N2 (m) = {x N : x < m}, N3 (m) = {x N : x > m}.
Armamos que, para cada m N, los conjuntos N1 (m), N2 (m) y N3 (m) son ajenos dos a dos y que N1 (m) N2 (m) N3 (m) = N. Para probar que los conjuntos N1 (m), N2 (m) y N3 (m) son ajenos dos a dos, procederemos por reducci on al absurdo. Supongamos que existe un elemento x N1 (m) N2 (m). Como x N1 (m), sucede que x = m y, como x N2 (m), tenemos que x < m. Entonces m < m, contradiciendo 2). Esto prueba que N1 (m) N2 (m) = . De manera similar se prueba que N1 (m) N3 (m) = . Supongamos ahora que existe un elemento x N2 (m) N3 (m). Entonces x < m y x > m o, equivalentemente, m < x. Tenemos, por tanto, que m < x y x < m. Luego, por transitividad, m < m. Como esto contradice 2), concluimos que N2 (m) N3 (m) = . Esto prueba que los conjuntos N1 (m), N2 (m) y N3 (m) son ajenos dos a dos. Para probar que N1 (m) N2 (m) N3 (m) = N hagamos S = N1 (m) N2 (m) N3 (m). Si m = 1, entonces 1 N1 (m) = N1 (1) = {1}. Si m = 1 entonces, por 3), 1 < m. Luego 1 N2 (m). Como N1 (m) y N2 (m) son subconjuntos de S,
36
deducimos que 1 S. Ahora supongamos que k S. Entonces tenemos tres casos, a saber, k N1 (m), k N2 (m) y k N3 (m). Supongamos primero que k N1 (m). Luego k = m. Por 4), m = k < k = m , por lo que k N3 (m). En particular k S.
Ahora supongamos que k N2 (m). Entonces k < m por lo que existe p N tal que k + p = m. Si p = 1, sucede que k = k + 1 = m, de donde k N1 (m). Si p = 1, por la parte 3) del Teorema 2.10, existe q N tal que p = q . Luego m = k + p = k + q = k + (q + 1) = k + (1 + q ) = (k + 1) + q = k + q. Esto implica que k < m, por lo que k N2 (m). Deducimos, con esto, que si k N2 (m), entonces k N1 (m) N2 (m). En cualquier situaci on, sucede que k S. Supongamos, por u ltimo, que k N3 (m). Entonces m < k. Usando 4), tenemos que k < k y, como la relaci on < es transitiva, de m < k y k < k , sucede que m < k . Luego k N3 (m). En particular k S. Esto termina el an alisis de los tres casos. En cada uno de ellos obtuvimos que k N1 (m) N2 (m) N3 (m). Por tanto, N1 (m) N2 (m) N3 (m) es un subconjunto de N que tiene a 1 y al sucesor de cada uno de sus elementos. Luego, N1 (m) N2 (m) N3 (m) = N. Hasta el momento hemos probado que, para cada n umero natural m, los conjuntos N1 (m), N2 (m) y N3 (m) son ajenos dos a dos y su uni on es N. Estamos entonces en condiciones de probar la ley de tricotom a. En efecto, sean n, m N. Consideremos los conjuntos N1 (m), N2 (m), N2 (m). Como N1 (m)N2 (m)N3 (m) = N y n N, sucede que n N1 (m)N2 (m)N3 (m). Luego n N1 (m), n N2 (m) o bien n N3 (m). Esto implica que n = m, n < m o bien n > m. Adem as, en vista de que los conjuntos N1 (m), N2 (m) y N3 (m) son ajenos dos a dos, s olo una de las tres armaciones anteriores puede ser cierta. Esto termina la prueba del teorema. De la propiedad 2) del teorema anterior se sigue que la relaci on < no es reexiva ni sim etrica. Lo primero signicar a que, para cada natural n es cierto que n < n. En vista de 2), la desigualdad anterior no es cierta para ninguna n. Ahora bien, decir que < es sim etrica signica que de la
2.4. EL ORDEN EN N
37
desigualdad n < m se sigue que m < n. De cumplirse dicha implicaci on entonces, por transitividad, suceder a que n < n, lo cual contradice 2). Esto muestra que la relaci on < no es reexiva ni sim etrica. A partir de la relaci on < podemos denir una nueva relaci on que s resulta ser reexiva (adem as de mantener la transitividad). En la siguiente denici on indicamos c omo hacer esto. Denici on 2.18. Si m, n N decimos que m es menor o igual que n y escribimos m n, si m < n o bien m = n. Tambi en decimos que m es mayor o igual que n y escribimos m n si m > n o bien m = n. Notemos que las relaciones y se pueden denir gracias a la ley de tricotom a. Decir que m n es equivalente a decir que entre las tres u nicas posibilidades que se pueden dar entre m y n, a saber m = n, m < n o bien m > n, la tercera queda excluida. De manera similar, decir que m n es equivalente a decir que entre dichas tres posibilidades, la segunda queda excluida. Notemos que la relaci on es reexiva pues ahora n n es cierta para toda n N. La relaci on no es sim etrica, pero s antisim etrica. Esto signica que de las desigualdades n m y m n se sigue que n = m. Para probar esto, supongamos que n m y m n. La primera desigualdad implica que n = m o bien n < m. Supongamos que n < m. Entonces, por la ley de triconom a, no puede ser cierto que n = m ni que n > m. Entonces no puede suceder que m n. Con esto llegamos a una contradicci on, pues estamos suponiendo que la desigualdad m n es cierta. Esto signica que de entre las dos posibilidades: n = m y n < m, la segunda no se puede dar. Por tanto n = m y con esto probamos que < es antisim etrica. Para terminar la discusi on que iniciamos en el p arrafo anterior, faltar a probar que la relaci on sigue siendo transitiva. Supongamos, por tanto, que n m y m p. De la primera desigualdad se tiene que n = m o bien n < m y, de la segunda, que m = p o bien m < p. Si sucede que n < m y m < p entonces, por la transitividad de <, deducimos que n < p lo cual implica que n p. Debemos de considerar ahora las siguientes situaciones: a) n = m y m < p; b) n = m y m = p; c) n < m y m = p.
38
En el caso a) sucede que n < p, en b) que n = p y en el c) que n < p. Entonces, en cualquier situaci on tenemos que n p. Esto muestra que la relaci on es transitiva. Por consiguiente, y de acuerdo con la Denici on 1.16, es una relaci on de orden en N. Usando esto y la ley de la tricotom a, se tiene que es una relaci on de orden total en N (ver Denici on 1.16). Una manera alternativa de denir la relaci on se obtiene extendiendo primero la suma en N a N . Decimos que n + 0 = n, para cada n N y que n + m se dene como en N si tanto n como m son diferentes de cero. Luego podemos decir que, para n, m N , sucede que n m si y s olo si existe p N tal que n + p = m. Entonces la relaci on es reexiva pues n + 0 se deni o como n. Para ver que es justo igual a la relaci on que denimos antes, supongamos que n, m N son tales que n m en el sentido que hemos indicado en este p arrafo. Entonces existe p N tal que n + p = m. Notemos que p = 0 o bien p N. Si p = 0, entonces n = n + 0 = m. En el segundo caso tenemos que p es un n umero natural tal que n + p = m. Luego n < m. Por tanto, de n m se sigue que n = m o bien n < m. Ahora supongamos que n m en el sentido de la Denici on 2.18. Entonces n = m o bien n < m. Luego n + 0 = n = m, o bien existe p N tal que n + p = m. En cualquier caso deducimos que existe s N tal que n + s = m. A saber s = 0 si sucede que n = m y s = p en el otro caso. Por tanto, n m en el nuevo sentido que hemos establecido. Esto prueba que la relaci on se puede ver como se dijo en la Denici on 2.18 o bien como hemos indicado en el presente p arrafo. Como ya indicamos, la relaci on extendida a N es reexiva. No es dif cil probar que tambi en es antisim etrica, transitiva y que, para cada n, m N tenemos que n m o bien m m. Por lo tanto, de acuerdo con la Denici on 1.16, es una relaci on de orden total en N . Una vez que la suma ha sido extendida de N a N , se puede probar que esta extensi on satisface las propiedades 1)-4) del Teorema 2.13. En particular satisface la ley de la cancelaci on. Con esto podemos probar que para ninguna m N sucede que m < m. En efecto, si la desigualdad m < m se cumple, entonces existe p N tal que m + p = m. Como m = m + 0, tenemos que p + m = m + p = m = 0 + m. Cancelando m sucede que p = 0, lo cual es una contradicci on. Ahora bien, la prueba que presentamos de la parte 2) del Teorema 2.17, no depende de la extensi on de la suma ni de la extensi on de la desigualdad de N a N .
2.4. EL ORDEN EN N
39
Recordemos que una relaci on de equivalencia en un conjunto A, se suele denotar por un s mbolo similar al de la igualdad pues, en cierto modo, las relaciones de equivalencia emulan la igualdad. Como la relaci on menor o igual que es de orden, en general las relaciones de orden se suelen denotar por s mbolos similares a , como por ejemplo , o bien pues, en cierto modo, emulan la desigualdad. Si es una relaci on de orden en un conjunto A y a y b son elementos de A tales que a b, entonces podemos pensar que, a los ojos de la relaci on , a es menor o igual que b. En la prueba de la parte 5) del Teorema 2.17, hicimos ver que si k < m, entonces k m. En el siguiente teorema, cuya prueba dejamos al lector, indicamos otras dos propiedades de la relaci on < . Teorema 2.19. Si m, n N son tales que m < n, entonces para todo p N las siguientes armaciones son ciertas: m+p<n+p y m p < n p.
Rec procamente, si alguna de las armaciones anteriores es cierta para un n umero natural p, entonces m < n. Podemos extender el teorema anterior al conjunto N , extendiendo primero la multiplicaci on en N a N . Para esto decimos que n 0 = 0, para cada n N y que n m se dene como en N si tanto n como m son diferentes de cero. Entonces tenemos el siguiente teorema, cuya prueba dejamos al lector. Teorema 2.20. Si m, n N son tales que m n, entonces para todo p N las siguientes armaciones son ciertas: m+pn+p y m p n p.
Rec procamente, si para alg un p N sucede que m + p n + p, entonces m p. Adem as, si p N y m p n p, entonces m n. Si para alg un p N sucede que m p n p, entonces no necesariamente es cierto que m n. Para esto basta tomar m > n y p = 0. Por tanto, mientras que en la desigualdad m + p n + p podemos cancelar el t ermino p, para obtener que m n (respetando el sentido de la desigualdad), de la desigualdad m p n p, podemos cancelar el t ermino p para obtener la desigualdad m n siempre y cuando p sea diferente de cero.
40
No podemos terminar la presente secci on sin antes indicar que el conjunto de los n umeros naturales est a bien ordenado. En la siguiente denici on indicamos lo que esto signica. Denici on 2.21. Supongamos que X es un conjunto con una relaci on de orden total . Si A es un subconjunto no vac o de X, decimos que p A es el primer elemento de A si p a, para todo a A. Decimos que X est a bien ordenado si cada subconjunto no vac o de X tiene un primer elemento. Supongamos que X es un conjunto con una relaci on de orden total . Notemos que si un subconjunto no vac o A de X tiene un primer elemento, entonces dicho elemento es u nico. Para probar esto, supongamos que A tiene dos primeros elementos p y q. Entonces p a y q a, para cada a A. En particular p q y q p pues p y q son elementos de A. Luego, por el hecho de que la relaci on es antisim etrica, sucede que p = q. Por esta raz on en la denici on anterior denimos el primer elemento de A y no un primer elemento de A. En la pr actica, sin embargo, solemos escribir o decir que debemos probar que un subconjunto posee un primer elemento, indicando con esto, que una vez que existe dicho elemento entonces es u nico. Teorema 2.22. El conjunto N est a bien ordenado, con la relaci on de orden total . Demostraci on. Supongamos que S es un subconjunto no vac o de N. Debemos probar que S tiene un primer elemento. Naturalmente, si 1 S, entonces 1 es el primer elemento de S. Supongamos, por tanto, que 1 / S. Entonces 1 < s para cada s S. Consideremos el conjunto K = {k N : k s para cada s S }. Notemos que 1 K, as que K = . Armamos que K = N. Para ver esto tomemos un elemento p S. Entonces p / K. En efecto, si p K, entonces sucede que p s para cada s S. En particular p p. Ahora bien, sabemos que p < p y como p p tenemos, por transitividad, que p < p. Esto es una contradicci on. Luego p / K y, como consecuencia de esto, K = N. Armamos ahora que / K. 1) existe r K tal que r
2.4. EL ORDEN EN N
41
Para ver 1) supongamos lo contrario. Entonces, para cada k K, sucede que k K. Como 1 K, por el Teorema 2.9, sucede entonces que K = N. Esto, como acabamos de probar, no es cierto. Por tanto, 1) se cumple. Armamos ahora que el elemento r garantizado en 1) se encuentra tambi en en S. Para probar esto, supongamos que r / S. Como r K y r / S, resulta que r < s para cada s S. Luego r s, para cada s S. Por tanto r K. Esto contradice el hecho de que r / K. Por tanto r S. Ahora bien, como r K tenemos que r s, para cada s S. Esto signica que r es el primer elemento de S. Podemos utilizar el resultado anterior para probar el siguiente teorema. Teorema 2.23. No existe un n umero natural entre 0 y 1. Demostraci on. Supongamos, por el contrario que existe k N tal que 0 < k < 1. Consideremos el conjunto: V = {n N : 0 < n < 1}. Notemos que V es un subconjunto no vac o de N as que, por el teorema anterior, V posee un primer elemento, que denotaremos por r. Entonces r es un n umero natural tal que 0 < r < 1. Multiplicando las desigualdades por r tenemos que 0 r < r r < 1 r o, lo que es lo mismo, que 0 < r r < r. Como r < 1 y r r es un n umero natural, sucede que r r es un n umero natural entre 0 y 1 menor que el que supuestamente es el primer elemento de V. Esta contradicci on prueba el teorema. Estamos tentados a decir que de manera similar a la prueba del teorema anterior, se puede mostrar que no existe un n umero natural entre un natural dado y su sucesor. Sin embargo, debemos ser m as cuidadosos. Conviene denir primero una diferencia en N . Si n, m N son tales que n m, entonces existe un u nico p N tal que n + p = m. Para probar que p es u nico, supongamos que existen p, q N tales que n + p = m y n + q = m. Entonces n + p = n + q y, de acuerdo a la ley de cancelaci on para la suma en N , resulta que p = q. Esto prueba que p es u nico. Denimos entonces la diferencia m n como el n umero p. Es decir, m n = p. Notemos que la diferencia m n est a denida solo cuando n es menor o igual a m. Adem as, la diferencia m n es un n umero natural o bien cero. Si n = m, entonces m n = 0. Estamos ahora en condiciones de probar lo que indicamos al principio del presente p arrafo.
42
Teorema 2.24. No existe un n umero natural entre un n umero natural dado y su sucesor. Demostraci on. Supongamos que n N y, adem as, que existe k N tal que n < k < n . Como n = n y n < n , podemos considerar las diferencias n n y n n. A saber n n = 0 y n n = 1. Tambi en, como n < k, podemos considerar la diferencia k n. Si probamos que k n es un n umero natural entre 0 y 1, tendremos una contradicci on con el teorema anterior y, como consecuencia de esto, habremos terminado la prueba. Ahora bien, para ver que k n es un n umero natural notemos que, como n < k, existe p N tal que n + p = k. Por denici on k n = p, as que k n es un n umero natural. Ahora veremos que 0 < k n < 1. La primera desigualdad es obvia, as que solo falta probar que k n < 1, es decir, que p es menor que 1. Como k < n , existe s N tal que k + s = n . Luego n + 1 = n = k + s = (n + p) + s = n + (p + s). De la igualdad n + (p + s) = n + 1, podemos cancelar el t ermino n y obtener que p + s = 1. Esto muestra que p < 1. Si m, n N y m < n, entonces no podemos denir la diferencia m n como un elemento de N . La raz on es simple. Apelando a las nociones intuitivas, la diferencia m n deber a ser un n umero negativo, y estos no han sido denidos. Debemos primero extender el conjunto N al conjunto Z de los n umero enteros, denir las operaciones de adici on y multiplicaci on en Z de modo que sean compatibles con las dadas en N. Posteriormente debemos denir una relaci on en Z, tambi en compatible con la relaci on en N. Luego de que todo esto se haga hecho y justicado, podemos denir una diferencia en Z compatible con la diferencia que hemos denido en N. Un procedimiento similar hay que realizar para pasar del conjunto Z, de los enteros, al conjunto Q de los n umeros racionales. Por supuesto, debemos primero justicar la existencia del conjunto Z y, posteriormente, la del conjunto Q antes de denir las operaciones de adici on y multiplicaci on en dichos conjuntos. Terminamos el presente cap tulo indicando el d ecimo axioma de la teor a de conjuntos que consideraremos. on: Si F = {Fs : s S } es una familia no vac a 10) Axioma de Elecci de conjuntos no vac os entonces, para cada s S, podemos elegir un
2.4. EL ORDEN EN N
43
punto xs Fs de manera que dichos puntos elegidos son los elementos de un conjunto, denotado por {xs : s S }. Existen muchas armaciones que son equivalentes al Axioma de Elecci on. Una de ellas dice que para todo conjunto no vac o X, existe un orden total en X, que hace de X un conjunto bien ordenado. Dicha armaci on, llamada el Principio del Buen Orden, solo garantiza la existencia de un orden total, pero no indica la forma de construirlo. En el conjunto N, hemos indicado un orden total expl cito que hace de N un conjunto bien ordenado.
44
Cap tulo 3 Los N umeros Enteros

3.1. Motivaci on
Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .} de los n umeros enteros. Para esto haremos uso del conjunto N cuya existencia ya qued o garantizada en el Cap tulo 2. Notemos que Z es el conjunto N al cual se le agregan los que estamos acostumbrados a llamar negativos de los n umeros naturales. Una manera intuitiva, aunque larga, de presentar lo que posteriormente se convertir a en la forma rigurosa de construir a Z es la siguiente: primero recordemos que un polinomio de grado uno, posee una u nica soluci on. Ahora bien, en N, donde ya hemos denido una manera de sumar, una manera de multiplicar y una manera de decidir si un elemento de N es menor que otro, no todos los polinomios de la forma m+x=s se pueden resolver, pensando que m y n son n umeros naturales. En otras palabras, si m, n N, entonces no siempre existe un n umero natural x tal que m + x = n. Si, por ejemplo, m = 1 y s = 3, entonces x = 2 es un n umero natural tal que m + x = s. Sin embargo, si intercambiamos los papeles de m y s, esto es si hacemos m = 3 y s = 1, entonces no existe un n umero natural x tal que m + x = s. Una forma de probar esto es la siguiente: si existe tal 45
En el presente cap tulo vamos a garantizar la existencia del conjunto
46
CAP ITULO 3. LOS NUMEROS ENTEROS
n umero natural x entonces, por la Denici on 2.16, m < s. Luego 3 < 1. Por otro lado, aplicando la parte 4) del Teorema 2.17, tenemos que 1 < 1 = 2 < 2 = 3, as que 1 < 3. Luego 1 < 3 y 3 < 1 y, por transitividad, sucede que 1 < 1. Esto contradice la parte 2) del Teorema 2.17, de donde, para m = 3 y s = 1, no existe x N tal que m + x = s. En general podemos probar el siguiente resultado. Teorema 3.1. Si m, s N son tales que s < m, entonces no existe x N tal que m + x = s. Demostraci on. Supongamos que m, s N son tales que s < m. Si, por el contrario, existe x N tal que m + x = s entonces, por la Denici on 2.16, m < s. Por tanto m y s satisfacen dos de las propiedades m = s, m < s y m > s, contradiciendo la ley de tricotom a (propiedad 5) del Teorema 2.17). Esto prueba que no existe x N tal que m + x = s. Buscamos ahora extender el conjunto N a un conjunto Z en donde, para cada m y s en N, sea posible encontrar x Z tal que m + x = s. Notemos que, en principio, para que lo anterior tenga sentido, estamos pensando que N Z y que la adici on m + x se considera en Z. As pues, cuando decimos que Z es una extensi on de N, suponemos que en Z tendremos denida una manera de sumar, una manera de multiplicar, y una manera de decidir si un elemento de Z es menor que otro. M as adelante vamos a formalizar esto. De momento notemos que buscamos un conjunto que englobe a m y s, en el orden en que aparecen en la ecuaci on m + x = s. Por el ejemplo que vimos anteriormente, el orden de m y s es importante: la ecuaci on 1 + x = 3 se puede resolver, pero no la ecuaci on 3 + x = 1. Adem as, en general, resolver la ecuaci on m + x = s no es lo mismo que resolver la ecuaci on s + x = m. La idea expresada en el p arrafo anterior, es el primer paso para la construcci on de Z. Como m y s son n umeros naturales, un conjunto que los englobe y en el que el orden importe, es el producto cartesiano N N. Entonces, para construir a Z, debemos comenzar con el conjunto: L = N N = {(s, m) : s, m N}.
3.1. MOTIVACION
47
Entenderemos que si (s, m) L, entonces (s, m) har a el papel de la x que aparece en la ecuaci on m + x = s. En otras palabras, pensaremos que (s, m) es la soluci on de m + x = s. Ahora bien, como sabemos, si x es soluci on de m + x = s, entonces al sumar 1 de ambos lados, resulta que m + x + 1 = s + 1. Como m + x + 1 = (m + 1) + x = m + x y s + 1 = s ,
sucede que m + x = s . Esto signica que x tambi en es soluci on de la ecuaci on m + x = s . Por otra parte, como hemos convenido, (s , m ) es la soluci on de la ecuaci on m + x = s . Tenemos entonces que la ecuaci on de grado uno m + x = s tiene como soluciones tanto a (s, m) como a (s , m ). Entonces (s, m) y (s , m ) deber an ser iguales en alg un sentido. Notemos que, en el sentido estricto, si (s, m) = (s , m ), entonces s = s y m = m . Ambas igualdades son falsas, debido a la parte 4) del Teorema 2.10. Entonces (s, m) = (s , m ). Sin embargo, e insistimos, puesto que (s, m) y (s , m ) son soluci on de una misma ecuaci on de grado uno, dichos pares ordenados deben ser iguales desde alg un punto de vista. Como no pueden ser iguales en el sentido escrito, deben serlo en el sentido de que ambos se encuentren relacionados bajo una relaci on de equivalencia en L. Para determinar una buena relaci on de equivalencia en L, en donde (s, m) y (s , m ) est en relacionados, para cada s, m N, podemos continuar movi endonos en la informalidad. Si s, t, m, n N entonces, como hemos convenido (s, m) representa la soluci on de la ecuaci on m + x = s, mientras que (t, n) es la soluci on de la ecuaci on n + y = t. Como aprendimos, y desde un principio lo hemos postergado, las soluciones de m + x = s y de n + y = t son x = s m y y = t n. Si ambas ecuaciones han de tener la misma soluci on, entonces x = y o, lo que es lo mismo, s m = t n ecuaci on que, en t erminos de la suma de n umeros naturales, puede escribirse como s + n = t + n. Podemos entonces decir que (s, m) est a relacionado con (t, n) si y s olo si s + n = m + t. Notemos que (s, m) est a relacionado con (s , m ), pues s + m = s + (m + 1) = s + (1 + m) = (s + 1) + m = s + m = m + s .
48
Tenemos ya los ingredientes necesarios para formalizar la construcci on de Z: considerar en el conjunto L la relaci on indicada en el p arrafo anterior, ver que tal relaci on es de equivalencia y pasar al conjunto cociente. Posteriormente, debemos ver de qu e forma, al hacer esto, N se vuelve un subconjunto de Z. M as a un, en Z queremos denir operaciones de adici on y multiplicaci on que, restringidas a N coincidan con las que ya posee dicho conjunto. Lo mismo nos gustar a denir una relaci on de orden parcial en Z que, restringida a N, sea la relaci on de orden total que ya denimos en dicho conjunto. Todo esto se formalizar a en su momento.
3.2.
Construcci on de Z
A partir de este momento, la letra L representa al producto cartesiano N N. Denimos en L la relaci on de la siguiente manera: si m, n, s, t N entonces: (s, m) (t, n) si y s olo si s + n = m + t. (3.2.1) on denida en (3.2.1) es de equivalencia en L. Teorema 3.2. La relaci Demostraci on. Supongamos que (s, m) L. Como s + m = m + s, sucede que (s, m) (s, m). Esto prueba que es reexiva. Supongamos ahora que (s, m) (t, n). Entonces s + n = m + t o, lo que es lo mismo, t + m = n + s. Luego (t, n) (s, m) y as es sim etrica. Supongamos, por u ltimo, que (s, m) (t, n) y (t, n) (u, p). Entonces s + n = m + t y t + p = n + u. Por tanto s + n + t + p = (s + n) + (t + p) = (m + t) + (n + u) = m + t + n + u. Como en N es v alida la ley de la cancelaci on, de la igualdad s + n + t + p = m + t + n + u, podemos cancelar los t erminos n y t, resultando que s + p = m + u. Luego (s, m) (u, p) y as es transitiva. Esto prueba que es una relaci on de equivalencia en L. A continuaci on mostramos otras propiedades de la relaci on . Teorema 3.3. Supongamos que r, s, m, p N. Entonces
DE Z 3.2. CONSTRUCCION 1) (r, r) (s, s); 2) (r , r) (s , s); 3) (r , s ) (r, s); 4) (r + p, p) (r , 1); 5) (s + r, m + r) (s, m);
49
Demostraci on. Sean r, s, m, p N. Como r + s = r + s, sucede que (r, r) (s, s). Esto prueba 1). Como r + s = (r + 1) + s = r + (1 + s) = r + (s + 1) = r + s = s + r, sucede que (r , r) (s , s) y que (r , s ) (r, s). Esto prueba 2) y 3). Notemos ahora que (r + p) + 1 = r + (p + 1) = r + (1 + p) = (r + 1) + p = r + p = p + r , as que (r + p, p) (r , 1). Esto prueba 4). Como (s + r) + m = s + (r + m) = s + (m + r) = (m + r) + s, tenemos que (s + r, m + r) (s, m). Esto prueba 5). Del Teorema 3.2 y la parte 3) del Teorema 3.3, deducimos que es una relaci on de equivalencia en L tal que (s, m) (s , m ), para cada s, m N, justo como quer amos que sucediera, de acuerdo a la discusi on presentada al nal de la secci on anterior. Como es una relaci on de equivalencia en L, podemos considerar el conjunto cociente L/ = {[s, m] : (s, m) L}, donde, para (s, m) L, [s, m] = {(a, b) L : (a, b) (s, m)} es la clase de equivalencia de (s, m) seg un . Hemos preferido la notaci on [s, m] en lugar de [(s, m)] , para denotar dicha clase de equivalencia. Del Teorema 1.18 se deducen entonces las siguientes propiedades:
50
CAP ITULO 3. LOS NUMEROS ENTEROS a) (s, m) [s, m], para cada (s, m) L; b) L = N N = {[s, m] : (s, m) L}; c) si (s, m), (a, b) L, entonces (a, b) [s, m] si y s olo si [a, b] = [s, m]; d) si [a, b] [s, m] = , entonces [a, b] = [s, m]. De la propiedad c) se decuce que (a, b) (s, m) si y s olo si [a, b] = [s, m].
Denici on 3.4. Denimos a Z como el conjunto L/ . Un n umero entero se dene como cualquier elemento de Z. As pues, un n umero entero es una clase de equivalencia y, por tanto, un conjunto que, como indicamos en el siguiente teorema, es innito. umero entero es un conjunto innito. Teorema 3.5. Cada n Demostraci on. Por denici on, un n umero entero es un elemento de Z. Supongamos [s, m] Z. Por la propiedad 5) del Teorema 3.3, (s + r, m + r) [s, m], para cada r N. Si r1 , r2 N son tales que r1 = r2 , entonces los pares ordenados (s + r1 , m + r1 ) y (s + r2 , m + r2 ) son distintos. En efecto, si (s + r1 , m + r1 ) = (s + r2 , m + r2 ) entonces s + r1 = s + r2 y m + r1 = m + r2 . Por la ley de cancelaci on para la adici on en N, esto implica que r1 = r2 , lo cual es una contradicci on. Esto prueba lo que antes indicamos y, como consecuencia de esto y de que el conjunto N es innito, se sigue que la clase de equivalencia [s, m] tiene un n umero innito de elementos. Recordemos ahora que si p, q N entonces, por la Ley de Tricotom a (Propiedad 5) del Teorema 2.17), se satisface una y s olo una de las siguientes condiciones: p = q, p < q y p > q. Utilizaremos este hecho de manera regular a lo largo de la secci on. En particular lo usaremos en la prueba del siguiente resultado. Teorema 3.6. Sean (s, m), (p, q ) N N tales que (p, q ) [s, m]. Entonces:
DE Z 3.2. CONSTRUCCION 1) s = m si y s olo si p = q ; olo si p > q ; 2) s > m si y s 3) s < m si y s olo si p < q.
51
Demostraci on. Como (p, q ) [s, m], tenemos que (p, q ) (s, m). Luego p + m = q + s. Utilizaremos esta igualdad en cada implicaci on de las correspondientes pruebas de 1), 2) y 3). Supongamos primero que s = m. Entonces p + m = q + s = q + m y, por la ley de cancelaci on para la adici on, tenemos que p = q. Esto prueba que si s = m, entonces p = q. Ahora supongamos que p = q. Entonces p + m = q + s = p + s y, cancelando p, sucede que m = s. Esto prueba que si p = q, entonces s = m y termina la demostraci on de 1). Ahora supongamos que s > m. Entonces m < s y, por tanto, existe u N tal que m + u = s. Luego p + m = q + s = q + (m + u) = (q + u) + m. Cancelando m obtenemos que q + u = p, de donde q < p. Esto prueba que si s > m, entonces p > q. Supongamos ahora que p > q. Entonces q q, entonces s > m y concluye la demostraci on de 2). Para probar 3) supongamos primero que s < m. Si p = q entonces, por 1), s = m. De esta manera s = m y, a la vez, s < m. Esto contradice la ley de tricotom a. Si p > q entonces, por 2), s > m. Tenemos entonces que s < m y, a la vez, s > m, contradiciendo de nuevo la ley de tricotom a. Entonces, de entre las tres posibilidades p = q, p > q y p < q, las primeras dos no se pueden dar y, como por la ley de tricotom a se tiene que dar una de ellas, necesariamente p < q. Esto prueba que si s < m, entonces p < q. De manera similar se tiene que si p < q, entonces s < m, con lo que la prueba de 3) queda terminada.
52
Del teorema anterior se sigue que si [s, m] Z, entonces de entre las propiedades s = m, s > m y s < m, la que satisfagan s y m la satisfacen tambi en cualesquiera dos naturales p y q tales que (p, q ) [s, m]. Como consecuencia de esto, una expresi on como la siguiente: tomemos [s, m] Z tal que s = m no depende del par ordenado (p, q ) N N que tomemos en la clase de equivalencia [s, m]. En las siguientes secciones haremos armaciones de este estilo.
3.3.
Adici on y Multiplicaci on en Z
Una vez que Z ha quedado establecido, vamos ahora a considerar las operaciones usuales de adici on y multiplicaci on en Z. No tenemos que utilizar el Principio de Inducci on Matem atica para denir de manera expl cita dichas operaciones pues, como veremos, se dar an en t erminos de la adici on y la multiplicaci on en N, que ya denimos. Denici on 3.7. La adici on en Z y la multiplicaci on en Z se denen como sigue: si [s, m] y [t, n] son elementos de Z, entonces: [s, m] + [t, n] = [s + t, m + n] y [s, m] [t, n] = [s t + m n, s n + m t]. Recordemos que, informalmente hablando, (s, m) representa la soluci on de la ecuaci on m + x = s. Entonces, informalmente, (s, m) hace el papel de s m. De manera similar (t, n) hace el papel de t n. Por tanto la suma (s, m) + (t, n), hace el papel de (s m) + (t n), el cual equivale a (s + t) (m + n) que, a su vez, se convierte en (s + t, m + n). Esta es la raz on intuitiva de la manera en como se deni o la adici on [s, m] + [t, n]. El producto (s, m) (t, n) hace el papel de (s m) (t n), el cual equivale a escribir: s t s n m t + m n = (s t + m n) (s n + m t). Ahora bien, (s t + m n) (s n + m t) se convierte en (s t + m n, s n + m t). Esta es la raz on intuitiva de la manera en como se deni o la multiplicaci on [s, m] [t, n].
Y MULTIPLICACION EN Z 3.3. ADICION
53
Recordemos que si R es una relaci on de equivalencia en un conjunto no vac o A y a A, entonces podemos considerar que a es un representante de la clase de equivalencia [a] = {c A : cRa}. Si b [a], entonces tambi en podemos considerar a b como un representante de la clase de equivalencia [a]. En general, decimos que un representante de una clase de equivalencia, es cualquier elemento que se encuentre en dicha clase de equivalencia. La gracia de este concepto es que los representantes determinan las clases de equivalencia y, por tanto, determinan tambi en al conjunto cociente. Si, por ejemplo, conocemos un representante de cada clase de equivalencia, entonces conocemos a la clase de equivalencia y podemos considerar que el conjunto cociente es igual al conjunto de los representantes. En este sentido, si efectuamos operaciones entre clase de equivalencia, entonces efectuamos operaciones entre representantes de dichas clases de equivalencia, y viceversa. Por tanto, cuando denimos una operaci on entre clases de equivalencia, debemos siempre vericar que est a bien denida, es decir, que dicha operaci on no depende de los representantes que se eligan en las clases de equivalencia. A continuaci on veremos que este es el caso, para las operaciones de adici on y multiplicaci on en Z. Teorema 3.8. Las operaciones de adici on y multiplicaci on en Z est an bien denidas, en el sentido de que no dependen de los representantes elegidos en las clases de equivalencia a sumar o a multiplicar. Demostraci on. Consideremos que [s, m] y [t, n] son elementos de Z. Tomemos (a, b) [s, m] y (c, d) [t, n]. Vamos a demostrar que [s, m] + [t, n] = [a, b] + [c, d] y [s, m] [t, n] = [a, b] [c, d]. De esta manera, si tomamos como representante de [s, m] a (s, m) y como representante de [t, n] a (t, n), entonces la suma [s, m] + [t, n] y el producto [s, m] [t, n], dan como resultado lo mismo que de haber tomado a (a, b) como representante de [s, m], y a (c, d) como representante de [t, n]. Para probar que [s, m] + [t, n] = [a, b] + [c, d] procedemos como sigue: como (a, b) [s, m] y (c, d) [t, n], tenemos que (a, b) (s, m) y (c, d) (t, n). Luego a+m=b+s y c + n = d + t. (3.3.1)
54 Por otra parte, por denici on,
[s, m] + [t, n] = [s + t, m + n]
[a, b] + [c, d] = [a + c, b + d].
Debemos entonces probar que [s + t, m + n] = [a + c, b + d]. Esto se lograr a si hacemos ver que (s + t, m + n) (a + c, b + d), es decir, si vericamos que (s + t) + (b + d) = (m + n) + (a + c). Para probar esta u ltima igualdad notemos que, por (3.3.1), (a + m) + (c + n) = (b + s) + (d + t). Como (a + m) + (c + n) = (m + n) + (a + c) y (b + s) + (d + t) = (s + t) + (b + d),
tenemos que (s + t) + (b + d) = (m + n) + (a + c), como quer amos. Por tanto la suma est a bien denida. Ahora queremos probar que [s, m] [t, n] = [a, b] [c, d]. Por denici on [s, m] [t, n] = [s t + m n, s n + m t] y [a, b] [c, d] = [a c + b d, a d + b c] Debemos entonces probar que [s t + m n, s n + m t] = [a c + b d, a d + b c] lo cual se lograr a si hacemos ver que (s t + m n, s n + m t) (a c + b d, a d + b c). Para que la relaci on anterior se cumpla, debemos vericar que (s t + m n) + (a d + b c) = (s n + m t) + (a c + b d). (3.3.2)
Para probar que la igualdad (3.3.2) es cierta notemos que, por las igualdades mostradas en (3.3.1), sucede que (a + m) (c + t) + (s + b) (d + n) + (c + n) (a + s) + (d + t) (b + m) = (s + b) (c + t) + (a + m) (d + n) + (d + t) (a + s) + (c + n) (b + m).
Y MULTIPLICACION EN Z 3.3. ADICION
55
Al desarrollar el lado izquierdo de la igualdad anterior y, posteriormente, factorizar t erminos comunes, obtenemos que 2(a c + b d + s n + m t) + (a t + m c + s d + b n) + (s c + n a + b t + m d). Realizando lo mismo con el lado derecho, resulta 2(a d + b c + s t + m n) + (a t + m c + s d + b n) + (s c + n a + b t + m d). Cancelando el t ermino com un para la adici on (a t + m c + s d + b n) + (s c + n a + b t + m d) obtenemos que 2(a c + b d + s n + m t) = 2(a d + b c + s t + m n). Cancelando ahora el 2, que aparece como t ermino com un para la multiplicaci on, obtenemos que: a c + b d + s n + m t = a d + b c + s t + m n. La igualdad anterior es justo la igualdad (3.3.2). Por consiguiente la multiplicaci on est a bien denida. A continuaci on mostramos otras propiedades de la adici on y la multiplicaci on en Z. Teorema 3.9. Las siguientes propiedades se cumplen: 1) la adici on y la multiplicaci on son cerradas en Z, es decir, [s, m]+[t, n] Z y [s, m] [t, n] Z, para cualesquiera s, t, m, n N; on y la multiplicaci on son conmutativas, es decir, 2) la adici [s, m] + [t, n] = [t, n] + [s, m] para cualesquiera s, t, m, n N; y [s, m] [t, n] = [t, n] [s, m],
56
CAP ITULO 3. LOS NUMEROS ENTEROS 3) la multiplicaci on es asociativa, es decir, ([s, m] + [t, n]) + [u, p] = [s, m] + ([t, n] + [u, p]) y ([s, m] [t, n]) [u, p] = [s, m] ([t, n] [u, p]), para cualesquiera s, t, m, n, u, p N; on y la multiplicaci on satisfacen las dos leyes distributivas, es 4) la adici decir, para cualesquiera s, t, m, n, u, p N se cumple que: [s, m] ([t, n] + [u, p]) = [s, m] [t, n] + [s, m] [u, p] y ([s, m] + [t, n]) [u, p] = [s, m] [u, p] + [t, n] [u, p]; 5) la adici on admite la ley de la cancelaci on, es decir, para cualesquiera s, t, m, n, u, p Z si [s, m]+[t, n] = [s, m]+[u, p], entonces [t, n] = [u, p]; 6) la multiplicaci on admite la ley de la cancelaci on, es decir, para cualesquiera s, t, m, n, u, p Z si s = m y [s, m] [t, n] = [s, m] [u, p], entonces [t, n] = [u, p].
Demostraci on. Para probar 1), supongamos que (s, m) y (t, n) son elementos de L. Entonces s, m, t, n N. Como la adici on y la multiplicaci on son cerradas en N, sucede que s + t N, m + n N, s t + m n N y s n + m t N. Luego (s + t, m + n) L y (s t + m n, s n + m t) L.
Como consecuencia de esto, las clases de equivalencia [s + t, m + n] y [s t + m n, s n + m t]
se encuentran en Z. Esto muestra que la adici on y la multiplicaci on son cerradas en Z. Para probar 2) sean s, m, t, n N. Como la adici on es conmutativa en N, tenemos que s + t = t + s y m + n = n + m. Luego [s, m] + [t, n] = [s + t, m + n] = [t + s, n + m] = [t, n] + [s, m].
Y MULTIPLICACION EN Z 3.3. ADICION Esto muestra que la adici on en Z es conmutativa. Notemos ahora que [s, m] [t, n] = [s t + m n, s n + m t] y [t, n] [s, m] = [t s + n m, t m + n s].
57
Como la adici on y la multiplicaci on en N son conmutativos, tenemos que: st+mn=ts+nm y s n + m t = t m + n s.
Esto implica que [s, m][t, n] = [t, n][s, m], probando as que la multiplicaci on en Z es conmutativa. La prueba de 2) est a completa. Para probar 3) tomemos s, t, m, n, u, p N. Como la adici on en N es asociativa, sucede que: ([s, m] + [t, n]) + [u, p] = [s + t, m + n] + [u, p] = [(s + t) + u, (m + n) + p] = [s + (t + u), m + (n + p)] = [s, m] + [t + u, n + p] = [s, m] + ([t, n] + [u, p]) Esto muestra que la adici on en Z es asociativa. Para simplicar, escribiremos la multiplicaci on en N sin el s mbolo . Por tanto s t se escribir a simplemente como st. Utilizando la distributividad en N, tenemos que: ([s, m] [t, n]) [u, p] = [st + mn, sn + mt] [u, p] = [(st + mn)u + (sn + mt)p, (st + mn)p + (sn + mt)u] = [stu + mnu + snp + mtp, stp + mnp + snu + mtu]. Por otra parte, utilizando la distributividad en N, as como la asociatividad en N, sucede que: [s, m] ([t, n] [u, p]) = [s, m] [tu + np, tp + nu] = [s(tu + np) + m(tp + nu), s(tp + nu) + m(tu + np)] = [stu + snp + mtp + mnu, stp + snu + mtu + mnp] = [stu + mnu + snp + mtp, stp + mnp + snu + mtu] = ([s, m] [t, n]) [u, p]. Por tanto ([s, m] [t, n]) [u, p] = [s, m] ([t, n] [u, p]).
58
Esto muestra que la multiplicaci on en Z es asociativa. La prueba de 3) est a completa. Para probar 4) tomemos s, t, m, n, u, p N. Entonces, utilizando la distributividad en N, resulta que: ([s, m] + [t, n]) [u, p] = [s + t, m + n] [u, p] = [(s+t)u+(m+n)p, (s+t)p+(m+n)u] = [su+tu+mp+np, sp+tp+mu+nu]. Por otro lado, utilizando la distributividad y la asociatividad en N tenemos que: [s, m] [u, p] + [t, n] [u, p] = [su + mp, sp + mu] + [tu + np, tp + nu] = [su + mp + tu + np, sp + mu + tp + nu] = [su + tu + mp + np, sp + tp + mu + nu] = ([s, m] + [t, n]) [u, p]. Esto prueba que ([s, m] + [t, n]) [u, p] = [s, m] [u, p] + [t, n] [u, p]. La prueba de la igualdad [s, m] ([t, n] + [u, p]) = [s, m] [t, n] + [s, m] [u, p] se realiza de forma similar, y se deja al lector. Esto termina la prueba de 4). Para probar 5) y 6) tomemos s, t, m, n, u, p N. Supongamos primero que [s, m] + [t, n] = [s, m] + [u, p]. Entonces [s + t, m + n] = [s + u, m + p], por lo que (s + t, m + n) (s + u, m + p), de donde s + t + m + p = m + n + s + u. Cancelando los t erminos s y m, obtenemos que t + p = n + u, por lo que (t, n) (u, p) y, as [t, n] = [u, p]. Esto prueba que la adici on en Z admite la ley de la cancelaci on. Ahora supongamos que s = m y que [s, m] [t, n] = [s, m] [u, p]. Entonces [st + mn, sn + mt] = [su + mp, sp + mu],
Y MULTIPLICACION EN Z 3.3. ADICION por lo que (st + mn, sn + mt) (su + mp, sp + mu). Luego st + mn + sp + mu = sn + mt + su + mp o, equivalentemente, s(t + p) + m(n + u) = m(t + p) + s(n + u).
59
(3.3.3)
Ahora bien, como s = m, por la ley de tricotom a, s < m o bien m < s. Supongamos que s < m. Entonces existe r N tal que s + r = m. Sustituyendo este valor de m en la ecuaci on (3.3.3), resulta que s(t + p) + (s + r)(n + u) = (s + r)(t + p) + s(n + u) o bien st + sp + sn + su + r(n + u) = st + sp + r(t + p) + sn + su. Cancelando el t ermino com un st + sp + sn + su en la adici on, resulta que r(n + u) = r(t + p). Cancelando ahora el t ermino r en la multiplicaci on, deducimos que n + u = t + p. Por tanto (t, n) (u, p) y, as , [t, n] = [u, p]. Ahora supongamos que m < s. Entonces existe a N tal que m + a = s. Sustituyendo este valor de s en la ecuaci on (3.3.3), resulta que (m + a)(t + p) + m(n + u) = m(t + p) + (m + a)(n + u) o bien mt + mp + a(t + p) + mn + mu = mt + mp + mn + mu + a(n + u). Cancelando el t ermino com un mt + mp + mn + mu en la adici on, resulta que a(t + p) = a(n + u). Cancelando ahora el t ermino a en la multiplicaci on, deducimos que t + p = n + u. Por tanto (t, n) (u, p) y, as , [t, n] = [u, p]. Esto prueba la multiplicaci on en Z admite la ley de la cancelaci on. M as adelante, en el presente cap tulo, mostraremos otras propiedades de la adici on y de la multiplicaci on en Z. Recordemos que en la primera secci on indicamos que Z de alguna manera debe de contener al conjunto N. En la siguiente secci on veremos el sentido formal de la armaci on anterior.
60
3.4.
3.4.1.
Los Enteros Positivos, Los Negativos y El Cero

Introducci on
En la presente secci on vamos a mostrar que Z se puede identicar con el conjunto conocido {. . . , 3, 2, 1, 0, 1, 2, 3, . . .}. Como ya indicamos, del Teorema 3.6 se sigue que si [s, m] Z, entonces de entre las propiedades s = m, s > m y s < m, la que satisfagan s y m la satisfacen tambi en cualesquiera dos naturales p y q tales que (p, q ) [s, m]. Esto implica que los tres conjuntos que se describen a continuaci on, est an bien denidos. Z0 = {[s, m] Z : s = m}, y Z+ = {[s, m] Z : s > m}. Por el Teorema 3.6, si [s, m] Z y el representante de la clase [s, m] est a en 0 0 Z , entonces cualquier otro elemento de [s, m] tambi en est a en Z . Lo mismo + se concluye si el representante de [s, m] est a en Z o bien en Z . El siguiente resultado contiene las propiedades m as importantes de los conjuntos Z , Z0 y Z+ . Teorema 3.10. Z , Z0 y Z+ son subconjuntos no vac os de Z, ajenos dos a dos, y cuya uni on es Z. M as a un Z0 posee un solo elemento y, si denimos N = {[1, n ] Z : n N} entonces Z = N y Z+ = N+ . Demostraci on. Notemos que [1, 2] Z ya que 1 < 2, [1, 1] Z0 pues 1 = 1 + y [2, 1] Z ya que 2 > 1. Esto prueba que Z , Z0 y Z+ son subconjuntos no vac os de Z. Supongamos ahora que [p, q ] Z. Si p = q, entonces [p, q ] Z0 . Si p < q, entonces [p, q ] Z y, si p > q, resulta que [p, q ] Z+ . Esto muestra que Z = Z Z0 Z+ . y N+ = {[n , 1] Z : n N}, Z = {[s, m] Z : s < m}
3.4. LOS ENTEROS POSITIVOS, LOS NEGATIVOS Y EL CERO
61
M as a un, como de entre las posibilidades p = q, p < q y p > q solamente una se puede dar, los conjuntos Z , Z0 y Z+ son ajenos dos a dos. Esto termina la primera parte del teorema. Para probar la segunda parte del teorema, tomemos [s, m], [p, q ] Z0 . Entonces s = m y p = q, por lo que s + q = m + p. Luego (s, m) (p, q ) y, por tanto [s, m] = [p, q ]. Esto muestra que Z0 posee solamente un elemento. Para probar la tercera parte del teorema, consideremos los conjuntos N = {[1, n ] Z : n N} y N+ = {[n , 1] Z : n N}.
Supongamos que n N. De las propiedades 1), 3) y 4) del Teorema 2.17, se sigue que 1 < n . Entonces [1, n ] Z y [n , 1] Z+ . Esto prueba que N Z y N+ Z+ . Ahora supongamos que [s, m] Z+ . Entonces s > m o, lo que es lo mismo, m < s. Entonces existe n N tal que m + n = s. Luego s = m + n, por lo que s = (m + n) = m + n , es decir s + 1 = m + n . Esto implica que (s, m) (n , 1), de donde [s, m] = [n , 1]. Como [n , 1] N+ y, a su vez, [s, m] = [n , 1], tenemos que [s, m] N+ . Por lo tanto Z+ N+ . Como tambi en N+ Z+ , hemos demostrado que Z+ = N+ . Para concluir, supongamos que [s, m] Z . Entonces s < m, por lo que existe n N tal que s + n = m. Luego m = (s + n) = s + n , de donde s + n = m +1. Esto implica que (s, m) (1, n ), as que [s, m] = [1, n ]. Como [1, n ] N y, a su vez, [s, m] = [1, n ], tenemos que [s, m] N . Por lo tanto Z N . Como tambi en N Z , hemos demostrado que Z = N . Denici on 3.11. Decimos que Z+ es el conjunto de los enteros positivos, mientras que Z es el conjunto de los enteros negativos. Al u nico elemento del conjunto Z0 le llamaremos el entero cero o, simplemente, el cero.
3.4.2.
Una Copia de N en Z
Como Z+ = N+ , podemos pensar que los enteros positivos tienen la forma que dene al conjunto N+ . De manera similar, podemos pensar que los enteros
62
negativos tienen la forma que dene al conjunto N . En el siguiente resultado mostramos, entre otras cosas, que N+ es el conjunto N, pero disfrazado dentro de Z. Teorema 3.12. Las funciones f : N+ N y g : N N denidas, para [n , 1] N+ y [1, n ] N , como f ([n , 1]) = n y g ([1, n ]) = n
son biyectivas. Adem as, para cada n, m N, se cumple que: 1) [n , 1] + [m , 1] N+ y f ([n , 1] + [m , 1]) = f ([n , 1]) + f ([m , 1]) = n + m; 2) [n , 1] [m , 1] N+ y f ([n , 1] [m , 1]) = f ([n , 1]) f ([m , 1]) = n m; 3) [1, n ] + [1, m ] N y g ([1, n ] + [1, m ]) = g ([1, n ]) + g ([1, m ]) = n + m; 4) [1, n ] [1, m ] N+ , as que no podemos considerar g ([1, n ] [1, m ]). Demostraci on. Si f ([n , 1]) = f ([m , 1]), entonces n = m. Luego n = m , de donde n + 1 = 1 + m . Por tanto (n , 1) (m , 1) y, por ende, [n , 1] = [m , 1]. Esto muestra que f es inyectiva. Naturalmente, si n N, entonces [n , 1] es un elemento de N+ tal que f ([n , 1]) = n. Por tanto f es suprayectiva. Por consiguiente, f es biyectiva. Si g ([1, n ]) = g ([1, m ]), entonces n = m. Luego n = m , de donde 1+ m = n +1. Por tanto (1, n ) (1, m ) y, por consiguiente, [1, n ] = [1, m ]. Esto muestra que g es inyectiva. Naturalmente, si n N, entonces [1, n ] es un elemento de N tal que g ([1, n ]) = n. Por tanto g es suprayectiva. Por consiguiente, g es biyectiva. Supongamos ahora que n, m N. Entonces [n , 1] + [m , 1] = [n + m , 1 + 1].
3.4. LOS ENTEROS POSITIVOS, LOS NEGATIVOS Y EL CERO Notemos ahora que (n + m , 1 + 1) ((n + m) , 1), pues
63
(n + m ) + 1 = n + 1 + m + 1 + 1 = (1 + 1) + (n + m + 1) = (1 + 1) + (n + m) . Entonces [n + m , 1 + 1] = [(n + m) , 1]. Esto prueba que [n , 1] + [m , 1] N+ . Podemos entonces aplicar f a [n , 1] + [m , 1] N+ y as obtener que f ([n + m , 1 + 1]) = f ([(n + m) , 1]) = n + m = f ([n , 1]) + f ([m , 1]). Esto prueba 1). Para probar 2) notemos primero que: [n , 1] [m , 1] = [n m + 1 1, n 1 + 1 m ] = [n m + 1, n + m ]. Notemos ahora que (n m + 1, n + m ) ((n m) , 1), pues m + 1) + 1 + 1 = n m + n 1 + 1 m + 1 1 + 1 + 1 = (n m + 1) + 1 = (n + 1)( (n + 1) + (m + 1) + (n m + 1) = (n + m ) + (n m) . Entonces [n m +1, n + m ] = [(n m) , 1]. Esto prueba que [n , 1] [m , 1] N+ . Podemos entonces aplicar f a [n , 1] [m , 1] N+ y as obtener que f ([n m + 1, n + m ]) = f ([(n m) , 1]) = n m = f ([n , 1]) f ([m , 1]). Esto prueba 2). Para probar 3) notemos que: [1, n ] + [1, m ] = [1 + 1, n + m ]. Notemos que (1 + 1, n + m ) (1, (n + m) ), pues (1 + 1) + (n + m) = 1 + 1 + n + m + 1 = (n + 1) + (m + 1) + 1 = n + m + 1. Entonces [1 + 1, n + m ] = [1, (n + m) ]. Esto prueba que [1, n ] + [1, m ] N . Podemos entonces aplicar g a [1, n ] + [1, m ] N para obtener que g ([1 + 1, n + m ]) = g ([1, (n + m) ]) = n + m = g ([1, n ]) + g ([1, m ]). Esto prueba 3). Para probar 4) notemos que: [1, n ][1, m ] = [11+n m , 1m +n 1] = [1+n m , m +n ] = [n m +1, n +m ]. Como vimos en la prueba de 2), (n m + 1, n + m ) ((n m) , 1). Por tanto [1, n ] [1, m ] = [n m + 1, n + m ] = [(n m) , 1] N+ .
64
Del Teorema 3.12 se desprenden varias observaciones. Para empezar, como existe una funci on biyectiva entre N+ y N, a saber f, resulta que N+ y N tienen el mismo n umero de elementos. Como tambi en existe una funci on biyectiva entre N y N, a saber g, N y N tienen el mismo n umero de elementos. En la prueba de la parte 1), mostramos que [n , 1] + [m , 1] = [(n + m) , 1], para cada n, m N.
Por tanto la suma de dos enteros positivos da como resultado un entero positivo. En la prueba de la parte 2), mostramos que [n , 1] [m , 1] = [(n m) , 1], para cada n, m N.
Luego la multiplicaci on de dos enteros positivos, da como resultado un entero positivo. En la prueba de la parte 3), mostramos que [1, n ] + [1, m ] = [1, (n + m) ], para cada n, m N.
Entonces la suma de dos enteros negativos, da como resultado un entero negativo. En la parte 4), mostramos que [1, n ] [1, m ] = [(n m) , 1], para cada n, m N.
Por lo tanto, la multiplicaci on de dos enteros negativos, da como resultado un entero positivo. Como N+ = Z+ y N = Z+ , concluimos que la suma y la multiplicaci on son cerradas en Z+ , la suma es cerrada en Z , pero la multiplicaci on no es cerrada en Z pues, de hecho, la multiplicaci on de dos elementos en Z da como resultado un elemento en Z+ . La existencia de la funci on biyectiva f de N+ a N con las propiedades 1) y 2) del Teorema 3.12 indica que, algebraicamente hablando, los conjuntos N+ y N pueden considerarse como el mismo. En efecto, por ser f biyectiva, resulta que N+ y N tienen la misma cantidad de elementos. Adem as la propiedad + 1) indica que la manera de sumar en N se traslada, bajo f, a la manera de sumar en N. La propiedad 2) indica que la manera de multiplicar en N+ es trasladada, bajo f, a la manera de multiplicar en N. Por consiguiente, podemos sustituir N por N+ donde m as convenga. Ahora bien, como N+ = Z+ , tambi en podemos sustituir N por Z+ . Como Z+ Z y Z+ puede sustituirse por N, podemos pensar que, para efectos pr acticos, N est a contenido en Z.
65
En el p arrafo anterior queda expresado lo que, desde la primera secci on del presente cap tulo, indic abamos diciendo que Z deb a contener a N de alguna manera. Estrictamente hablando, N no est a contenido en Z, pero s sucede que Z contiene una copia algebraica de N, es decir, contiene un subconjunto (a saber N+ ) que se comporta algebraicamente como el conjunto N.
3.4.3.
Elementos Neutros en Z
Ahora indicamos c omo se comporta la adici on y la multiplicaci on, cuando involucramos a Z0 . Recordemos que el entero cero es el u nico elemento del conjunto Z0 . Como ya indicamos, [1, 1] Z0 y, como Z0 posee solamente un elemento, podemos suponer que Z0 = {[1, 1]}. Tambi en, si r N, podemos considerar que Z0 = {[r, r]}. En general, cualquier elemento de Z de la forma [s + m, s + m] con s, m N sirve como el entero cero. Utilizaremos esto en la prueba del siguiente resultado. Teorema 3.13. Para cada s, m, r N, sucede que: 1) [s, m] + [r, r] = [s, m]; 2) [s, m] + [m, s] = [r, r]; 3) [s, m] [r, r] = [r, r]; 4) [s, m] [r , r] = [s, m]. Demostraci on. Si s, m, r N, entonces: [s, m] + [r, r] = [s + r, m + r]. Adem as (s + r, m + r) (s, m), pues (s + r) + m = s + (r + m) = (r + m) + s = (m + r) + s. Entonces [s + r, m + r] = [s, m]. Esto prueba 1). Notemos ahora que: [s, m] + [m, s] = [s + m, m + s] = [s + m, s + m].
66
Como las dos coordenadas que determinan la clase [s + m, s + m] son iguales, sucede que [s + m, s + m] = [r, r]. Esto prueba 2). Notemos ahora que: [s, m] [r, r] = [s r + m r, s r + m r]. Como las dos coordenadas que determinan la clase [s r + m r, s r + m r], son iguales, sucede que [s r + m r, s r + m r] = [r, r]. Esto prueba 3). Notemos ahora que: [s, m] [r , r] = [s r + m r, s r + m r ]. Adem as s r + m r + m = s (r + 1) + m r + m = s r + s + m r + m = = s r + m (r + 1) + s = s r + m r + s, por lo que (s r + m r, s r + m r ) (s, m). Luego [s r + m r, s r + m r ] = [s, m]. Esto prueba 4). Consideremos ahora la siguiente denici on. Denici on 3.14. Un neutro aditivo en Z es un elemento [t, n] Z tal que [s, m] + [t, n] = [s, m], para cada [s, m] Z. Un neutro multiplicativo en Z es un elemento [x, y ] Z tal que [s, m] [x, y ] = [s, m], para cada [s, m] Z. Si [t, n] es un neutro aditivo en Z y [s, m] Z, entonces un inverso aditivo de [s, m] es un elemento [u, p] Z tal que [s, m] + [u, p] = [t, n]. La propiedad [s, m] + [r, r] = [s, m], para cada [s, m] Z, del Teorema 3.13, indica que el entero cero, [r, r], es un neutro aditivo de Z. Por otra parte, la propiedad [s, m] [r , r] = [s, m], para cada [s, m] Z,
67
del Teorema 3.13, indica que [r , r] es un neutro multiplicativo en Z. La propiedad [s, m] [r, r] = [r, r], para cada [s, m] Z, del Teorema 3.13, indica que multiplicar un entero por cero da como resultado cero. Finalmente, la propiedad [s, m] + [m, s] = [r, r], para cada [s, m] Z, del Teorema 3.13, indica que [m, s] es un inverso aditivo de [s, m]. As pues, en Z existen los elementos indicados en la Denici on 3.14. Ahora vamos a probar que dichos elementos son u nicos (y que bueno que lo sean pues, si por ejemplo hay varios inversos aditivos en Z, entonces el concepto de inverso aditivo se vuelve un caos). Teorema 3.15. En Z hay un u nico neutro aditivo, el cual es [r, r]. Tambi en hay un u nico neutro multiplicativo, el cual es [r , r]. Adem as cada elemento de Z posee un u nico inverso aditivo. Demostraci on. Para ver que en Z hay un u nico neutro aditivo, supongamos que [t, n] y [v, w] son dos neutros aditivos en Z. Por ser [t, n] un neutro aditivo y [v, w] un elemento de Z, [v, w] + [t, n] = [v, w]. Como tambi en [v, w] es un neutro aditivo y [t, n] un elemento de Z, tenemos que [t, n] + [v, w] = [t, n]. Luego, usando el hecho de que la adici on es conmutativa, [v, w] = [v, w] + [t, n] = [t, n] + [v, w] = [t, n]. Esto prueba que hay un u nico neutro aditivo en Z. Dicho elemento es, por tanto, [r, r]. Para probar que en Z hay un u nico neutro multiplicativo, supongamos que [x, y ] y [w, z ] son dos neutros multiplicativos en Z. Por ser [x, y ] un neutro multiplicativo y [w, z ] un elemento de Z, [w, z ] [x, y ] = [w, z ]. Como tambi en [w, z ] es un neutro multiplicativo y [x, y ] un elemento de Z, sucede que [x, y ] [w, z ] = [x, y ]. Luego, usando el hecho de que la multiplicaci on es conmutativa, [w, z ] = [w, z ] [x, y ] = [x, y ] [w, z ] = [x, y ]. Esto prueba que hay un u nico neutro multiplicativo en Z. Adem as, por lo que ya indicamos, es [r , r].
68
Para probar que en Z cada elemento posee un u nico inverso aditivo supongamos que, por el contrario, un elemento [s, m] de Z posee dos inversos aditivos, a saber [t, n] y [u, p]. Entonces [s, m] + [t, n] = [r, r] y [s, m] + [u, p] = [r, r].
Luego [s, m] + [t, n] = [s, m] + [u, p]. Aplicando la ley de cancelaci on para la adici on en Z (propiedad 4) del Teorema 3.9), resulta que [t, n] = [u, p]. Esto prueba que cada elemento de Z posee un u nico inverso aditivo. La unicidad de los elementos que aparecen en la Denici on 3.14, permite establecer una notaci on especial para ellos. Para empezar a) el inverso aditivo del elemento [s, m] de Z, lo denotaremos por [s, m]. As pues [s, m] = [m, s]. Supongamos que [s, m] Z+ . Por el Teorema 3.10, Z+ = N+ , as que existe n N tal que [s, m] = [n , 1]. Aplicando la funci on biyectiva f : N+ N que denimos en el Teorema 3.12, y abusando de la notaci on, tenemos que f ([s, m]) = f ([n , 1]) = n. Como ya indicamos, la funci on f nos permite considerar como iguales los + + conjuntos N y N = Z . Entonces podemos pensar como iguales a [s, m] Z+ y a n N. Ahora bien, como ya indicamos, [r , r] es el neutro multiplicativo en Z. Es claro que [r , r] = [1 , 1] y que f ([1 , 1]) = 1. Entonces [1 , 1] es tambi en el neutro multiplicativo en Z y se puede pensar igual a 1. Por consiguiente b) el neutro multiplicativo en Z lo denotaremos por el s mbolo 1. Recordemos que, como un n umero natural 1 = 0 = {0}. Por tanto el n umero natural 1 tiene un u nico elemento. Por otro lado, el n umero entero 1 es la clase de equivalencia [1 , 1] la cual tiene un n umero innito de elementos, a saber, todos los pares ordenados (r , r), con r N. Para nes pr acticos no debemos preocuparnos de si el mismo s mbolo representa dos cosas diferentes dependiendo, en este caso, de si se interpreta como un n umero natural o como un n umero entero. Lo que es importante del s mbolo en cuesti on, es que cumple la propiedad que se le impone, en este caso, la de ser un neutro multiplicativo en Z.
69
Supongamos de nuevo que [s, m] = [n , 1] Z+ . Como ya indicamos, el inverso aditivo de [s, m] es [m, s]. Debido a que [s, m] Z+ , sucede que s > m. Luego [s, m] = [m, s] Z . Como [s, m] = [n , 1], resulta que [s, m] = [n , 1] = [1, n ] N . Debido a que el s mbolo n se est a tomando como igual que [s, m], tiene sentido decir que el s mbolo n se toma como el igual que [m, s] = [s, m]. Como Z = Z Z0 Z+ y los conjuntos Z , Z0 y Z+ son ajenos dos a dos, con la identicaci on que hemos establecido, sucede que Z = Z0 {n : n N}. Por conveniencia c) el neutro aditivo en Z lo denotaremos por el s mbolo 0. Entonces obtenemos la usual forma de representar a Z, a saber como el conjunto {. . . , 3, 2, 1, 0, 1, 2, 3, . . .}. Recordemos que el s mbolo 0, como elemento de N , es el conjunto vac o. El s mbolo 0, como como elemento de Z es no vac o pues coincide con la clase de equivalencia [r, r] la cual es no vac a. Incluso es innita pues contiene a todos los pares ordenados (s, s) con s N. A partir de este momento, podemos utilizar una notaci on m as exible para representar a los elementos de Z. Si decimos que a Z, entendemos que existen dos n umeros naturales s y m tales que a = [s, m]. Dependiendo de si s = m, de si s < n o de si s > m, resultar a que a es el entero cero, un entero negativo o bien un entero positivo, respectivamente. Con las convenciones establecidas en esta secci on, tanto para la notaci on de los elementos neutros, del inverso aditivo y de los elementos de Z, los resultados presentados en los teoremas 3.9, 3.12 y 3.13, quedan expresados como sigue: 1) a + b = b + a y a b = b a, para cada a, b Z; 2) (a + b) + c = a + (b + c) y a (b c) = (a b) c, para cada a, b, c Z; 3) a (b + c) = a b + a c y (a + b) c = a c + b c, para cada a, b, c Z;
70
CAP ITULO 3. LOS NUMEROS ENTEROS 4) si a, b, c Z son tales que a + b = a + c, entonces b = c; 5) si a, b, c Z son tales que a = 0 y a b = a c, entonces b = c; 6) si a, b Z+ , entonces a + b Z+ y a b Z+ ; 7) si a, b Z , entonces a + b Z y a b Z+ ; 8) a + 0 = a y a 0 = 0, para cada a Z; 9) a + (a) = 0, para cada a Z;
10) a 1 = a, para cada a Z.
3.5.
Otras Propiedades
En la presente secci on vamos a enlistar otras propiedades de la suma y la multiplicaci on en Z. Recordemos que los elementos de Z los podemos denotar con letras min usculas como a, b, c, etc. Si, por ejemplo a Z, entonces el s mbolo a representa el inverso aditivo de a en Z. Recordemos tambi en que el entero cero se denota por 0. Con esta terminolog a, la ley de cancelaci on para la adici on se puede escribir como sigue: si a, b, c Z y a + b = a + c, entonces b = c. Para la multiplicaci on, la ley de cancelaci on dice que si a b = a c y a = 0, entonces b = c. Teorema 3.16. Si a, b, x Z, entonces 1) a + (a) = 0; 2) si a + x = b, entonces x = b + (a) es su u nica soluci on; 3) (a) + (b) = (a + b); 4) (a) b = a (b) = (a b); 5) (a) (b) = a b; 6) si a b = 0, entonces a = 0 o bien b = 0.
3.5. OTRAS PROPIEDADES
71
Demostraci on. La prueba de 1) ya est a incluida en la parte 2) del Teorema 3.13. Sin embargo, podemos proceder como sigue: pensemos que a = [s, m] con s, m N. Entonces a = [m, s] y a + (a) = [s, m] + [m, s] = [s + m, m + s] = [s + m, s + m] = [r, r] = 0. Esto prueba 1). Para probar 2) supongamos primero que x = b + (a). Entonces a + x = x + a = (b + (a)) + a = b + [(a) + a] = b + 0 = b. Esto prueba que x = b + (a) es una soluci on de la ecuaci on a + x = b. Si y es otra soluci on de dicha ecuaci on, entonces a + x = b = a + y y, por la ley de cancelaci on para la adici on, tenemos que x = y. Esto muestra que la ecuaci on a + x = b posee una u nica soluci on, a saber, x = b + (1), probando as 2). Para probar 3), pensemos que a = [s, m] y b = [t, n]. Entonces a = [m, s] y b = [n, t]. Luego (a + b) = ([s, m] + [t, n]) = [s + t, m + n] = [m + n, s + t] por lo que (a) + (b) = [m, s] + [n, t] = [m + n, s + t] = (a + b). Esto prueba 3). Las pruebas de las armaciones 4) y 5) las dejamos como ejercicio al lector. Para probar 6), supongamos que a b = 0. Si a = 0, la prueba termina. Por otro lado, si a = 0 entonces, del hecho de que a b = 0 = a 0, aplicando la ley de cancelaci on para el producto, resulta que b = 0. Corolario 3.17. Si m, s N, entonces [s, m] es la soluci on de la ecuaci on m + x = s. Demostraci on. Tomemos m, s N entonces, en t erminos de los elementos de Z, m = [m , 1] y s = [s , 1]. Por la parte 2) del teorema anterior, la ecuaci on [m , 1] + x = [s , 1] tiene una u nica soluci on y es x = [s , 1] + ([m , 1]) = [s , 1] + [1, m ] = [s + 1, 1 + m ]. Utilizando la propiedad 3) del Teorema 3.3, [s + 1, 1 + m ] = [(s ) , (m ) ] = [s , m ] = [s, m]. Por tanto x = [s, m].
72
El corolario anterior es la prueba formal del convenio informal que consideramos en la primera secci on del presente cap tulo. Ahora bien, como informalmente sabemos, la soluci on de s + x = m es x = m s. No hemos denido una operaci on de resta entre cualesquiera dos elementos de N. Con ayuda del inverso aditivo para los elementos de Z, podemos hacer esto ahora. Denici on 3.18. Si a, b Z, denimos la sustracci on de a y b, denotada por a b, como a + (b). Dejamos al lector probar el siguiente teorema. Teorema 3.19. Si a, b, c, d Z, entonces 1) (1) a = a; 2) 0 = 0; 3) (a) = a; 4) (a) + b = (a + (b)); 5) a (b c) = a b a c; 6) a b = c d si y s olo si a + d = b + c.
3.6.
El Orden en Z
En las secciones anteriores hemos construido el conjunto Z que contiene una copia algebraica de N. Adem as hemos denido una suma, una resta y una multiplicaci on en Z. Tambi en hemos probado que, para cada s, m N, existe x Z tal que m + x = s. En otras palabras, pr acticamente todo lo que indicamos en la primera secci on del presente cap tulo, ha sido justicado. Falta ahora denir una relaci on de orden parcial en Z que, en cierto sentido, extienda la relaci on de orden total que ya denimos en N. Tomemos a, b Z. Pensemos que a = [s, m] y b = [t, n], donde s, t, m, n N. Entonces a = b si y s olo si [s, m] = [t, n]. Esto u ltimo se cumple si y s olo si (s, m) (t, n), lo cual equivale a decir que s + n = m + t. Por tanto olo si s + n = m + t. () a = b si y s
3.6. EL ORDEN EN Z Consideremos ahora la siguiente denici on.
73
Denici on 3.20. Supongamos que a = [s, m] y b = [t, n] son elementos de Z. Decimos que a es menor que b si s + n < m + t. En tal situaci on escribimos a < b. Decimos adem as que a es mayor que b, y escribimos a > b, si b < a. De acuerdo a la denici on anterior si a = [s, m] y b = [t, n] son elementos de Z, entonces olo si s + n < m + t; 1) a b si y s olo si s + n > m + t. Entendemos que, en 1), s + n < m + t es la desigualdad entre n umeros naturales que denimos en el cap tulo anterior. Lo mismo sucede con la desigualdad s + n > m + t. Recordemos que si s, m N entonces s < n si y s olo si existe r N tal que s + r = n. Supongamos que a, b Z. Notemos que la denici on de a < b est a dada en t erminos de representantes de las respectivas clases de equivalencia que determinan a y b. Debemos, por tanto, probar que la denici on no depende de dichos representantes. Teorema 3.21. La desigualdad < en Z est a bien denida, en el sentido de que no depende de los representantes elegidos en las clases de equivalencia a comparar. Demostraci on. Tomemos [s, m] y [t, n] en Z, as como (u, p) [s, m] y (v, q ) [t, n]. Entonces (u, p) (s, m) y (v, q ) (t, n), por lo que u+m=p+s Debemos probar que [s, m] < [t, n] si y s olo si [u, p] < [v, q ]. y v + n = q + t. (3.6.1)
Supongamos primero que [s, m] < [t, n]. Entonces s + n < m + t, y existe r N tal que s + n + r = m + t. De (3.6.1), tenemos que (u + m) + (q + t) = (p + s) + (v + n)
74 Ahora bien
(u + m) + (q + t) = (u + q ) + (m + t) = (u + q ) + (s + n + r). Luego (u + q ) + (s + n + r) = (p + s) + (v + n) = (p + v ) + (s + n). Cancelando el t ermino s + n, deducimos que (u + q ) + r = p + v. Luego u + q < p + v. Por tanto [u, p] < [v, q ]. Ahora supongamos que [u, p] < [v, q ]. Entonces u + q < p + v, por lo que existe z N tal que u + q + z = p + v. De (3.6.1), tenemos que (p + s) + (v + n) = (u + m) + (q + t). Ahora bien (p + s) + (v + n) = (s + n) + (p + v ) = (s + n) + (u + q + z ) Luego (s + n) + (u + q + z ) = (u + m) + (q + t) = (m + t) + (u + q ). Cancelando el t ermino u + q, deducimos que (s + n) + z = m + t. Luego s + n < m + t. Por tanto [s, m] < [t, n]. Esto termina la demostraci on del teorema. En principio, la denici on del s mbolo < en Z no parece estar dado en los mismos t erminos en que denimos el s mbolo < para N. El siguiente resultado dice que, en realidad, esto no es as . Teorema 3.22. Supongamos que a, b Z. Entonces a < b si y s olo si existe + p Z tal que a + p = b. Demostraci on. Supongamos que a = [s, m] y b = [t, n]. Si a < b, entonces s + n < m + t. Por tanto existe r N tal que s + n + r = m + t. Hagamos p = [r , 1]. Notemos que p N+ = Z+ . Adem as s + r + n = (s + n + r) + 1 = (m + t) + 1 = m + t,
3.6. EL ORDEN EN Z por lo que (s + r , m + 1) (t, n). Esto implica que a + p = [s, m] + [r , 1] = [s + r , m + 1] = [t, n] = b.
75
Esto prueba la primera parte del teorema. Ahora supongamos que a, b Z son tales que a + p = b, para alg un p Z+ . Hagamos p = [x, y ] con x, y N tales que x > y. Tomemos r N tal que y + r = x. De [t, n] = b = a + p = [s, m] + [x, y ] = [s + x, m + y ], se sigue que (s + x, m + y ) (t, n). Por tanto s + x + n = m + y + t. Sustituyendo x = y + r en la igualdad anterior, tenemos que s + y + r + n = m + y + t. Cancelando el t ermino com un y, sucede que (s + n) + r = m + t. Luego s + n < m + t, por lo que a < b. Esto termina la prueba del teorema. Como consecuencia del teorema anterior, tenemos el siguiente resultado. Teorema 3.23. Los conjuntos Z+ y Z se pueden escribir como sigue: Z = {a Z : a < 0} Demostraci on. Hagamos A = {a Z : a < 0} y B = {a Z : a > 0}. y Z+ = {a Z : a > 0}.
Tomemos un elemento a Z . Entonces a = [s, m] con s < m. Como m > s, tenemos que a = [m, s] Z+ . Adem as a + (a) = 0. Esto implica, por el Teorema 3.22, que a < 0. Luego a A. Por tanto Z A. Ahora supongamos que a A. Entonces a < 0 y existe b Z+ tal que a + b = 0. Como a + (a) = 0 y el inverso aditivo es u nico, b = a. Tomemos ahora s, m N tales que a = [s, m]. Como [m, s] = a = b Z+ , sucede que m > s. Entonces s < m por lo que a Z . Por tanto A Z . De lo anterior se tiene que Z = A. La prueba de que Z+ = B es similar. El teorema anterior justica el nombre que le dimos a Z y a Z+ , a saber el primero es el conjunto de los enteros negativos y, el segundo, el de los enteros positivos. Ahora mostraremos otras propiedades de la relaci on < .
76
Teorema 3.24. Las siguientes propiedades se cumplen: 1) la relaci on < es transitiva, es decir, si a < b y b < c, entonces a < c; 2) para ninguna a Z es cierto que a < a; 3) si a, b Z, entonces a b.
Demostraci on. Para ver 1) supongamos que a < b y b < c. Entonces existen + p, q Z tales que a+p = b y b+q = c. Como la suma de dos enteros positivos es un entero positivo (ver parte 1) del Teorema 3.12), tenemos que p + q Z+ . Adem as a + (p + q ) = (a + p) + q = b + q = c, por lo que a < c. Esto prueba 1). Para probar 2) supongamos que existe a Z tal que a < a. Sea p N+ tal que a + p = a = a + 0. Aplicando la ley de cancelaci on para la adici on en + + Z, se sigue que p = 0. Luego 0 N = Z . Esto es una contradicci on pues 0 0 + 0 Z y Z Z = . Como consecuencia de esto a no es menor que a. Esto prueba 2). Para probar 3) supongamos primero que a, b Z son tales que a < b. Sea p Z+ tal que a + p = b. Entonces (b) + (a + p) = (b) + b = 0, por lo que [a + (b)] + p = 0. Esto implica que (a b) + p = 0, por lo que a b < 0. Ahora supongamos que a, b Z son tales que a b < 0. Entonces existe p Z+ tal que (a b) + p = 0. Luego b + [(a b) + p] = b + 0 = b. Por otro lado b + [(a b) + p] = b + a + (b) + p = a + p + [b + (b)] = a + p + 0 = a + p, de donde a + p = b y, as , a < b. Esto prueba 3). Para probar 4) tomemos a = [s, m] y b = [t, n] en Z. Entonces s, t, m, n N por lo que s + n, t + m N. Aplicando la ley de tricotom a a los n umeros
3.6. EL ORDEN EN Z
77
naturales s + n y t + m, deducimos que se verica una y s olo una de las siguientes condiciones: s + n = t + m, s + n < t + m, s + n > t + m.
Si s + n = t + m, entonces (s, m) (t, n), por lo que a = [s, m] = [t, n] = b. Si se cumple que s + n < t + m, entonces a < b. Por u ltimo, si s + n > t + m, entonces a > b. Esto prueba que se verica una y s olo una de las siguientes condiciones: a = b, a < b, a > b.
Dejamos al lector la prueba del siguiente teorema. Teorema 3.25. Si a, b, c, d Z 1) si a < b, entonces a > b; 2) si a b + c si y s olo si a > b; 5) si c > 0, entonces a c 0, entonces a c > b c si y s olo si a > b; 7) si c < 0, entonces a c b; 8) si c < 0, entonces a c > b c si y s olo si a < b; Los comentarios que hicimos en la Secci on 2.4, luego del Teorema 2.17, tambi en se aplican a la relaci on < que hemos denido en Z. A saber < no es reexiva ni sim etrica. Adem as, a partir de la relaci on < podemos denir una relaci on que s resulta ser reexiva, adem as de mantener la transitividad. Denici on 3.26. Si a, b Z, decimos que a es menor o igual que b, y escribimos a b, si a b o bien a = b.
78
Como hicimos ver en la Secci on 2.4 con la relaci on de desigualdad en N, la relaci on en Z es reexiva, antisim etrica y transitiva. Por tanto es una relaci on de orden parcial en Z. Adem as, por la Ley de Tricotom a, para cada a, b Z sucede que a b o bien b a. Por tanto () es una relaci on de orden total en Z. En el siguiente teorema presentamos otra propiedad de la funci on biyectiva f que denimos en el Teorema 3.12. Teorema 3.27. La funci on f : N+ N denida, para [n , 1] N+ , como f ([n , 1]) = n satisface las siguientes propiedades: si [n , 1], [m , 1] N+ , entonces [n , 1] < [m , 1] y si y s olo si f ([n , 1]) < f ([m , 1])
[n , 1] [m , 1] si y s olo si f ([n , 1]) f ([m , 1])
Demostraci on. Supongamos primero que [n , 1] < [m , 1]. Entonces n +1 < 1 + m . Entonces n + 1 < m + 1 y, por la segunda parte del Teorema 2.19, n < m . Esto implica que n + 1 < m + 1 y, aplicando de nuevo la segunda parte del Teorema 2.19, n < m. En particular f ([n , 1]) < f ([m , 1]). Ahora supongamos que f ([n , 1]) < f ([m , 1]). Entonces n < m y, por la primera parte del Teorema 2.19, n + 1 < m + 1. Luego n < m y, aplicando de nuevo la primera parte del Teorema 2.19, n +1 < m +1. Esto implica que [n , 1] < [m , 1]. Con esto probamos la primera parte del teorema. La segunda parte es una consecuencia inmediata de la primera parte y de la denici on de f. As pues, no s olo N+ = Z+ es una copia algebraica de N, debido a que la manera de sumar y de multiplicar en Z+ , son trasladadas bajo f, en la manera de sumar y de multiplicar en N. Ahora la desigualdad en Z+ es trasladada, bajo f, en la misma desigualdad en N. En otras palabras, si a, b Z+ entonces, pensando que a y b son n umeros naturales, resulta que la relaci on a < b, pensada en N, es la misma que la relaci on a < b, pensada en Z. Tambi en la relaci on a b, considerada en N es la misma que la relaci on a b, considerada en Z. En vista de que la relaci on hace de N un conjunto bien ordenado (Teorema 2.22), tenemos que:
3.7. OTRAS OPERACIONES EN Z
79
() el conjunto Z+ est a bien ordenado, con la relaci on de orden total . Notemos que Z es un subconjunto no vac o de Z que no tiene un primer elemento. Por tanto, el orden total no hace de Z un conjunto bien ordenado. En el Teorema 2.23, utilizamos que N est a bien ordenado, para probar que no existe un n umero natural entre 0 y 1. En el siguiente resultado, vamos a probar el equivalente del enunciado anterior en Z. Teorema 3.28. No existe un n umero entero entre 0 y 1. Demostraci on. Supongamos que existe a Z tal que 0 < a < 1. Como a > 0, por el Teorema 3.23, a Z+ . Esto prueba que el conjunto A = {b Z+ : 0 < b < 1} es no vac o y, como Z+ est a bien ordenado, podemos considerar el primer elemento de A. Supongamos que m Z es dicho primer elemento. De la desigualdad 0 < m < 1 y la parte 5) del Teorema 3.25, se deduce que 0 = 0 m < m m < 1 m = m. Entonces 0 < m m < m < 1. Como m m es el producto de dos enteros positivos, resulta que mm Z+ . Usando esto y el hecho de que 0 < mm < 1, se tiene que m m A. Tenemos entonces que m m es un elemento de A menor que m, el cual es el primero elemento de A. Esto es una contradicci on que proviene de haber supuesto que existe un n umero entero entre 0 y 1. Con esto queda probado el teorema.
3.7.
Otras Operaciones en Z
Terminamos el presente cap tulo, indicando otras operaciones en Z. Las que aparecen en la siguiente denici on se pueden denir, gracias al Principio de Inducci on Matem atica en N. Denici on 3.29. Si a Z, denimos 1a = a y k a = ka + a, siempre que ka ya est e denido. A los elementos na con n N, les llamaremos los m ultiplos de a. Tambi en denimos a1 = 1 y ak = ak a, siempre que ak ya est e denido.
A los elementos an con n N, les llamaremos las potencias de a.
80
Supongamos que a Z. Dejamos al lector probar que, para cada n N, tenemos que na Z y an Z. Es f acil ver que 2a = a + a, 3a = a + a + a, 2 etc. Asimismo, tenemos que a = a a, a3 = a a a, etc. Dejamos al lector la prueba del siguiente resultado. Teorema 3.30. Si a, b Z y m, n N, entonces se cumplen las siguientes propiedades: 1) ma + na = (m + n)a y am an = am+n ; 2) m(na) = (m n)a y (an )m = amn ; 3) na + nb = n(a + b) y an bn = (a b)n . Otra operaci on que se puede considerar en Z es la que se indica en la siguiente denici on. Denici on 3.31. Si a Z, denimos el valor absoluto de a, denotado por |a|, como sigue: { a, si a 0; |a| = a, si a < 0. Notemos que, para cada a Z {0}, sucede que |a| Z+ . Por tanto, en tal situaci on, |a| > 0. Dejamos al lector probar las propiedades que se enuncian en el siguiente teorema. Teorema 3.32. Si 1) |a| a |a|; 2) |a b| = |a| |b|; 3) |a| |b| |a + b| |a| + |b|; 4) |a| |b| |a b| |a| + |b|; Utilizamos el resultado anterior en la prueba del siguiente resultado. Teorema 3.33. Si a, b Z son tales que a b = 1, entonces a y b son ambos 1 o bien ambos 1.
3.7. OTRAS OPERACIONES EN Z
81
Demostraci on. Notemos primero que 1 = 1 pues 1 Z+ , 1 Z y Z+ Z = . Notemos ahora que 0 = 1 pues 0 Z0 , 1 Z+ y Z0 Z+ = . De esto se desprende que si a b = 1, entonces a = 0 y b = 0. En efecto, si por ejemplo a = 0, entonces 0 = 0 b = a b = 1, es decir 0 = 1. De manera similar, si b = 0, obtenemos que 0 = 1. Como acabamos de demostrar esto es una contradicci on. Por tanto a, b Z {0}. + Luego |a|, |b| Z {0}. En particular 0 < |a| y 0 < |b|. Si |a| < 1, tenemos que |a| es un entero tal que 0 < |a| < 1, contradiciendo el Teorema 3.28. Esto implica que no es cierto que |a| es menor que 1. Luego, por la Ley de Tricotom a en Z, sucede que |a| 1. De manera similar tenemos que |b| 1. Supongamos que |a| > 1. Como |b| 1 > 0, sucede que |a| |b| > 1 |b| = |b| 1. Luego |a| |b| > 1. Ahora bien, como a b = 1, tenemos que 1 = |1| = |a b| = |a| |b|. Es decir, |a| |b| = 1. Tenemos entonces que, por un lado, |a| |b| es igual a 1 y, por otro, es mayor que 1. Como esto es una contradicci on, deducimos que |a| = 1 (pues |a| 1 y |a| > 1 genera una contradicci on). Si suponemos ahora que |b| > 1 entonces, procediendo como en el caso en que |a| > 1, llegamos a una contradicci on. Por tanto |b| = 1. Hemos probado, hasta el momento, que |a| = |b| = 1. Entonces, por la denici on de valor absoluto, a, b {1, 1}. Si sucede que, por ejemplo, a = 1 y b = 1, entonces 1 = a b = 1 (1) = 1. Esto es una contradicci on. A la misma contradicci on llegamos si suponemos que a = 1 y b = 1. Por tanto las posibilidades para a y b son a = b = 1 o bien a = b = 1. El segundo caso es posible pues, en general (x) (y ) = x y as que a b = (1) (1) = 1 1 = 1. Esto termina la demostraci on del teorema.
82
Una vez que se ha formalizado la construcci on del conjunto Z y se ha indicado la forma de sumar, restar, multiplicar y comparar elementos de Z, podemos continuar en dos direcciones. En vista de que lo que no podemos realizar en Z, es la division de dos de sus elementos y esperar que el resultado se quede en Z, podemos considerar la situaci on en que dicha divisi on sea cerrada. Esto introduce la Teor a de Divisibilidad, el cual es considerado el principio de la Teor a de los N umeros. De este concepto se deriva posteriormente el de congruencias num ericas. En tal el objetivo es clasicar a los enteros de acuerdo al residuo que se obtiene cuando se dividen por un n umero natural m mayor que 1. Tanto el tema de la divisibilidad como el de las congruencias, est an fuera de los prop ositos del presente trabajo. La otra direcci on en la que nos podemos mover, producto del hecho de que la divisi on en Z en general no es cerrada, es construir un conjunto que, de alguna manera contenga a Z y en el que se arregle dicho defecto. Es decir, extender Z a un conjunto en el que, adem as de sumar, restar, multiplicar y comparar sus elementos, se pueda dividir. Naturalmente, el conjunto que se ha de construir ha de contener una copia algebraica de Z, del mismo modo que que, como ya hicimos ver, Z contiene una copia algebraica de N. Ahora bien, realizar esto es posible y lo que se obtiene es el conjunto de los n umeros racionales.
Cap tulo 4 El Campo de los N umeros Complejos

4.1. Noci on de Campo
En el presente cap tulo deniremos el conjunto de los n umeros complejos. Adem as, probaremos que es un campo en el que se pueden resolver las ecuaciones de segundo grado. M as adelante, en el siguiente cap tulo, diremos lo que se entiende formalmente por un polinomio. Recordemos que un campo es un conjunto F con dos operaciones binarias + : F F F y : F F F llamadas suma y producto, respectivamente, tales que: 1) la suma es conmutativa, es decir, x + y = y + x para cualesquiera x, y F ; 2) la suma es asociativa, es decir, x +(y + z ) = (x + y )+ z para cualesquiera x, y, z F ; 3) existe un elemento 0 en F , llamado neutro aditivo, tal que x + 0 = x para cada x F ; 4) a cada elemento x F le corresponde un elemento x F , llamado el inverso aditivo de x, tal que x + (x) = 0; 5) el producto es conmutativo, es decir, xy = yx para cualesquiera x, y F; 83
84
CAP ITULO 4. EL CAMPO DE LOS NUMEROS COMPLEJOS 6) el producto es asociativo, es decir, x(yz ) = (xy )z para cualesquiera x, y, z F ; 7) existe un elemento 1 en F , llamado neutro multiplicativo, tal que x1 = x, para cada x F ; 8) a cada elemento x F {0} le corresponde un elemento x1 F , llamado el inverso multiplicativo de x, tal que xx1 = 1; 9) el producto es distributivo con respecto a la suma, es decir x(y + z ) = xy + xz, para cualesquiera x, y, z F .
En un campo el neutro aditivo, neutro multiplicativo, inverso aditivo e inverso multiplicativo son u nicos. El hecho de denotar al neutro aditivo con el s mbolo 0, no signica que dicho elemento sea en realidad el n umero cero que denimos en el cap tulo anterior. Lo hacemos as porque el neutro aditivo en un campo, comparte propiedades que tiene el n umero cero. Lo mismo se puede decir entre el n umero natural 1 y la forma de denotar al neutro multiplicativo de un campo. Se puede probar que si un campo posee m as de un elemento, entonces el neutro multiplicativo y el neutro aditivo son diferentes. A los campos se les suele tambi en llamar cuerpos. Informalmente, un campo es un conjunto junto con algunas operaciones sobre los elementos de este, que se comportan como la adici on, sustracci on, multiplicaci on y divisi on corrientes de los n umeros reales, en el sentido de que obedecen las nueve reglas del algebra dadas anteriormente. El conjunto R de los n umeros reales es un campo, con las operaciones ordinarias de suma y producto. Tambi en lo es el conjunto Q de los n umeros racionales (con las operaciones ordinarias), lo mismo que el conjunto F = {a + b 2 : a, b Q}. En un campo se valen las leyes de cancelaci on para la suma y la multiplicaci on, salvo que en este u ltimo caso, se cancelan u nicamente elementos no nulos. Esto es, si F es un campo y a, b, c son elementos de F tales que
4.2. MOTIVACION
85
a + b = c + b, entonces a = c. Si resulta que ab = cb y b = 0, entonces a = c. La sustracci on y divisi on en F se denen en t erminos de la adici on y multiplicaci on, respectivamente: a b = a + (b) y a = ab1 . b
No es nuestra intenci on presentar un curso completo sobre campos. El lector interesado puede consultar, por ejemplo, [1]. En lo sucesivo, utilizaremos pr acticamente solo lo que hemos indicado hasta este momento. Otra cosa que utilizaremos es la noci on de funci on inyectiva. Si X y Y son conjuntos, entonces una funci on f : X Y es inyectiva si dados a, b X, del hecho de que f (a) sea igual a f (b) se deduce que a y b son iguales. Equivalentemente, f es inyectiva si elementos distintos de X tienen im agenes distintas en Y.
4.2.
Motivaci on
Consideremos la ecuaci on cuadr atica ax2 + bx + c = 0, en donde a, b, c R. En nuestros cursos de Bachillerato se nos ense no que las ra ces de la ecuaci on anterior son: b b2 4ac . x= 2a Tambi en se nos dijo que no todas las ecuaciones anteriores se pueden resolver en los n umeros reales, en vista de que no es posible considerar la ra z cuadrada de un n umero negativo. Por ejemplo, para resolver la ecuaci o n x2 + 1 = 0 deber amos ser capaces de darle un sentido a 1. Ahora bien, como algunas ecuaciones cuadr aticas s admiten soluciones reales, lo que nos interesa es encontrar un conjunto especial F con las siguientes dos propiedades: 1) R F , 2) si e es una ra z de alguna ecuaci on cuadr atica ax2 + bx + c = 0, entonces e F. El conjunto F resultar a, por tanto, un lugar en donde viven todas las ra ces de todas las ecuaciones cuadr aticas. Ahora bien qu e entendemos cuando decimos que F es un conjunto especial? Qu e propiedades algebraicas esperamos que posea F ? De acuerdo a lo comentado en la secci on anterior, un campo es un lugar en donde se puede hablar de la suma, multiplicaci on,
86
CAP ITULO 4. EL CAMPO DE LOS NUMEROS COMPLEJOS
sustracci on y divisi on de sus elementos, as como se habla de dichas operaciones en los n umeros reales. O sea, un campo es un conjunto en donde sus elementos, aunque no sean n umeros reales, se operan y manipulan como tales. Por tanto, es natural pedir que F sea un campo. En la siguiente secci on mostraremos que en R2 se pueden denir una suma y un producto, de manera que el conjunto resultante bajo dichas operaciones, que denotaremos por C (en lugar de R2 ), es un campo que satisface la propiedad 2). Ahora bien, formalmente hablando, R no es un subconjunto de R2 . Sin embargo R2 contiene muchas copias de R. Por copia del conjunto R entendemos un conjunto que se comporta como R, en el sentido de que respecta sus propiedades de suma y producto. Por ejemplo, podemos identicar, y de hecho lo haremos, cada real x con el par ordenado (x, 0) que se encuentra en el eje de las abscisas. La funci on f : R R2 denida como f (x) = (x, 0), para cada x R, es inyectiva y adem as respeta las operaciones de suma y producto, es decir: f (x + y ) = f (x) + f (y ) y f (xy ) = f (x)f (y ). (4.2.1)
En efecto, efectuando la adici on y multiplicaci on de pares ordenados, coordenada a coordenada, tenemos que f (x) + f (y ) = (x, 0) + (y, 0) = (x + y, 0) = f (x + y ) y f (x)f (y ) = (x, 0)(y, 0) = (xy, 0) = f (xy ). Cuando tenemos denida una funci on inyectiva g : F G entre dos campos F y G, que respeta las operaciones de suma y producto, es decir que g cumple con las ecuaciones mostradas en (4.2.1) cambiando f por g , entonces los conjuntos F y g (F ) son iguales, algebraicamente hablando (pues la manera de sumar y multiplicar dos elementos de F es equivalente a la manera de sumar y multiplicar las respectivas im agenes de dichos elementos en g (F )). De esta manera podemos pensar que el elemento e F es igual al elemento g (e). Como la funci on f : R R2 que hemos denido es inyectiva y respeta las operaciones de suma y producto, los conjuntos R y f (R) se consideran como iguales, aunque en realidad no lo sean. Ahora bien, el conjunto f (R)
4.3. EL CONJUNTO C
87
est a contenido en R2 y a R2 lo denotaremos por C, una vez que hayamos denido una suma y un producto. Por tanto, podemos considerar que R est a contenido en C. Entonces C cumplir a con la propiedad 1). No olvidemos que, gracias a la funci on f, podemos pensar como iguales al n umero real x y al par ordenado (x, 0). Se pude probar que si F es un campo que cumple con las propiedades 1) y 2), entonces C F . Por tanto C es el campo m as peque no que contiene a R y en el cual se pueden resolver todas las ecuaciones cuadr aticas. En este sentido C es u nico. La prueba de la armaci on hecha al principio del p arrafo, requiere de un conocimiento m as profundo del algebra. En particular requiere de una noci on llamada extensiones de campos que suele estudiarse en los cursos de Algebra Moderna. Naturalmente, queda fuera de nuestro alcance probar lo anterior.
4.3.
El Conjunto C
En la presente secci on deniremos una suma y un producto en R2 que convertir aa este conjunto en el de los n umeros complejos. La siguiente denici on indica c omo denir dichas operaciones. Denici on 4.1. El conjunto de los n umeros complejos, denotado por C, es el conjunto R2 junto con las operaciones usuales de adici on y multipli2 caci on por escalares. Esto es, si (x1 , y1 ), (x2 , y2 ) R y a R denimos: (x1 , y1 ) + (x2 , y2 ) = (x1 + x2 , y1 + y2 ) y a(x, y ) = (ax, ay ).
Adem as, si (x1 , y1 ), (x2 , y2 ) R2 la multiplicaci on compleja est a denida como (x1 , y1 )(x2 , y2 ) = (x1 x2 y1 y2 , x1 y2 + y1 x2 ). (4.3.1) Cuando al conjunto R2 lo estamos pensando como el de los n umeros complejos, el eje de las x o de las abscisas se llama ahora el eje real, mientras que el eje de las y o de las ordenadas se llama ahora el eje imaginario. Notemos que la suma en C es la usual: los elementos se suman coordenada a coordenada. Sin embargo, el producto en C no es el usual. Esto signica que las componentes de los pares ordenados no se multiplican coordenada a
88
coordenada. Sin embargo, el producto en C s es el usual en el eje real. En efecto, aplicando la f ormula (4.3.1) obtenemos que (x1 , 0)(x2 , 0) = (x1 x2 0 0, x1 0 + 0 x2 ) = (x1 x2 , 0). Esto signica que la funci on f : R C denida como f (x) = (x, 0), para cada x R, es inyectiva y sigue respetando las operaciones de suma y multiplicaci on en C. Por lo tanto, podemos seguir aplicando el juego que iniciamos en la secci on anterior: considerar que el n umero real x y el par ordenado (x, 0) representan al mismo elemento de C. Para ver que C es un campo debemos vericar las nueve propiedades que escribimos en la Secci on 2.1. Naturalmente la suma es conmutativa y asociativa. El neutro aditivo en C es 0, el cual est a identicado con el par ordenado (0, 0). El inverso aditivo de (x, y ) C es (x, y ). Mostraremos ahora que el producto es conmutativo. En efecto, seg un la f ormula (4.3.1), (x2 , y2 )(x1 , y1 ) = (x2 x1 y2 y1 , x2 y1 + y2 x1 ) = (x1 x2 y1 y2 , x1 y2 + y1 x2 ) = (x1 , y1 )(x2 , y2 ). Notemos adem as que (x, y )(1, 0) = (x 1 y 0, x 0 + y 1) = (x, y ), para cada (x, y ) C. Por tanto 1, el cual est a identicado con el par ordenado (1, 0), es el neutro multiplicativo en C. Antes de mostrar las tres propiedades que faltan, conviene hacer ver que los elementos de C se pueden escribir de una forma m as conveniente, bajo la cual las operaciones (especialmente la de multiplicaci on) se pueden manipular como se manipulan los n umeros reales. Hagamos i = (0, 1) y tomemos un elemento z = (x, y ) C. Por la conmutatividad del producto, tenemos que yi = iy y como x es lo mismo que (x, 0) sucede que z = (x, y ) = (x, 0) + (0, y ) = x + y (0, 1) = x + yi = x + iy. Es decir z = x + iy . La expresi on anterior es la usual para denotar a los n umeros complejos. En dicha forma, a x se le conoce como la parte real de z y se denota por Re(z ). A y se le conoce como la parte imaginaria de z y se denota por Im(z ). Notemos que dos n umeros complejos z y w son iguales
4.3. EL CONJUNTO C
89
si y s olo si Re(z ) = Re(w) y Im(z ) = Im(w). Lo anterior se tiene en vista de que los elementos de C son, a nal de cuentas, elementos de R2 y por ende pares ordenados. Adem as dos pares ordenados son iguales si y s olo si sus respectivas coordenadas coinciden. Notemos ahora que i2 = i i = (0, 1)(0, 1) = (0 0 1 1, 0 1 + 1 0) = (1, 0) = 1 pues 1 y (1, 0) son lo mismo. Supongamos ahora que queremos multiplicar los n umeros complejos a + ib y c + id. Realicemos la multiplicaci on como si todas las variables involucradas fueran n umeros reales, pero atendiendo al hecho de que i2 = 1. Tenemos entonces que: (a + ib)(c + id) = ac + iad + ibc + i2 bd = (ac bd) + i(ad + bc). Aplicando la f ormula (4.3.1) tenemos que (a, b)(c, d) = (ac bd, ad + bc). Como (a, b) y (c, d) se corresponden con a + ib y c + id, respectivamente, su producto, que es (ac bd, ad + bc), se corresponde con (ac bd)+ i(ad + bc), el cual es lo que obtuvimos anteriormente, manipulando las variables a, b, c, d, i como si fueran n umeros reales pero atendiendo al hecho de que i2 = 1. Esto signica que no tenemos que recordar la f ormula (4.3.1), basta con que 2 nos acordemos que i = 1 y entonces la multiplicaci on de dos n umeros complejos se realiza siguiendo las reglas para multiplicaci on de reales. Utilizando lo anterior, podemos probar que el producto es asociativo. Para esto hagamos z = a + ib, w = c + id y s = e + if (la letra f representa ahora un n umero real y no la funci on que denimos anteriormente). Entonces zw = (ac bd) + i(bc + ad) y, luego de realizar los c alculos pertinentes (zw)s = e(ac bd) f (bc + ad) + i[e(bc + ad) + f (ac bd)]. Similarmente z (ws) = (a + ib)[(ce df ) + i(cf + de)] = a(ce df ) b(cf + de) + i[a(cf + de) + b(ce df )].
90
Si comparamos las expresiones anteriores y aceptamos las propiedades usuales de los n umeros reales, concluimos que (zw)s = z (ws). Esto prueba que el producto es asociativo. Notemos ahora que z (w + s) = = = = (a + ib)[(c + e) + i(d + f )] a(c + e) b(d + f ) + i[a(d + f ) + b(c + e)] [(ac bd) + i(bc + ad)] + [(ae bf ) + i(af + be)] zw + zs.
Por tanto, el producto es distributivo con respecto a la suma. Falta probar que los elementos de C diferentes de 0 tienen un inverso multiplicativo. Sea z = a + ib un elemento de C diferente de cero. Entonces alguno de a y b es diferente de cero. Luego a2 + b2 = 0. Debemos encontrar un elemento z = x + iy en C tal que zz = 1. Notemos que 1 = zz = (a + ib)(x + iy ) = (ax by ) + i(ay + bx). El criterio para la igualdad de n umeros complejos indica que, en la igualdad anterior, necesariamente ax by = 1 y bx + ay = 0. Usando la Regla de Cramer tenemos que 1 b 0 a a b b a a = 2 a + b2 a 1 b 0 a b b a b . a2 + b2
x=
y=
Por tanto
a ib (4.3.2) a2 + b2 a2 + b2 es el inverso multiplicativo de z = a+ib. Dicho elemento suele denotarse como z 1 . Ahora bien, aunque la f ormula anterior puede ser f acil de memorizar, no hay necesidad de ello. A continuaci on veremos que la divisi on compleja se puede manipular como en el caso de los n umeros reales. z = z 1 = 1 a ib a ib a ib = = 2 = 2 2 . 2 2 a + ib (a + ib)(a ib) a +b a +b a + b2
Lo que hicimos fue multiplicar primero el numerador y denominador de la primera expresi on por el complejo z = a ib, que se llama el conjugado complejo de z , y luego manipulamos las s mbolos como si fueran n umeros 2 reales, pero atendiendo el hecho de que i = 1.
4.4. RA ICES DE ECUACIONES CUADRATICAS
91
En vista de que la divisi on de los complejos z y w, donde w = 0, se dene como z = zw1 w el truco anterior de multiplicar el numerador y denominador por el conjugado complejo de w puede tambi en ser utilizado para dividir dos n umeros complejos. Por ejemplo 2 + 3i (2 + 3i)(4 i) 8 2i + 12i 3i2 11 + 10i 11 10 = = = = + i. 2 4+i (4 + i)(4 i) 16 i 17 17 17 Hasta el momento hemos probado que C es un campo y que la multiplicaci on y divisi on se pueden manipular como con los n umeros reales, atendiendo la igualdad i2 = 1. El hecho de que el producto sea asociativo, nos permite denir z n como el producto de z multiplicado por s mismo n veces.
4.4.
Ra ces de Ecuaciones Cuadr aticas
En la secci on anterior mostramos que C es un campo que contiene a los n umeros reales. Ahora mostraremos que toda soluci on de una ecuaci on cuadr atica se encuentra en C. Con esto habremos concluido lo que en un principio nos propusimos. Mostremos primero el siguiente resultado. Teorema 4.2. Sea z C. Entonces existe w C tal que w2 = z . Demostraci on. Supongamos que z = a + ib. Queremos encontrar un elemento w = x + iy en C tal que a + ib = z = w2 = ww = (x + iy )(x + iy ) = (x2 y 2 ) + (2xy )i. De acuerdo con el criterio para la igualdad de n umeros complejos, lo anterior 2 2 sucede si y s olo si x y = a y 2xy = b. Para encontrar los valores de x y de y , notemos primero que (x2 + y 2 )2 = (x2 y 2 )2 + 4x2 y 2 = a2 + b2 . Por tanto x2 + y 2 = a2 + b2 . Sumando la ecuaci on anterior con x2 y 2 = a obtenemos que a + a2 + b2 2 . x = 2
92
Sustituyendo este valor en la ecuaci on x2 y 2 = a, obtenemos que a + a2 + b2 . y2 = 2 Mostraremos ahora que los n umeros a + a2 + b2 a + a2 + b2 y 2 2
(4.4.1)
2 2 2 son positivos. Como b2 al tomar la que a + b a por lo que, 0, tenemos 2 2 2 ra z cuadrada positiva, a + b a = | a | . Si a 0, entonces a2 + b2 a, por lo que a + a2 + b2 0 y tambi en a + a2 + b2 0. Por tanto, los n umeros mostrados en (4.4.1) entonces |a| = son positivos. Si a < 0, 2 2 a. Luego, de la desigualdad a + b |a|, resulta que a2 + b2 a o, equivalentemente, a + a2 + b2 0. Como a es positivo, sucede que 2 2 a + a + b 0. Entonces los n umeros mostramos en (4.4.1) son positivos y tiene sentido tomar su ra z cuadrada positiva, es decir, podemos considerar los n umeros 2 2 a+ a +b a + a 2 + b 2 = y = . (4.4.2) 2 2
Como 2xy = b, el signo del producto xy coincide con el signo de b. Por tanto, si b es positivo, entonces x y y son ambos positivos o bien ambos negativos y, si b es negativo, entonces x y y tienen signos opuestos. Esto signica que si b 0, entones x = y y = o bien x = y y = y, si b < 0, entonces x = y y = o bien x = y y = . Por tanto, la ecuaci on w2 = z tiene soluciones ( + i), donde = 1 si b 0 y = 1 si b < 0. Naturalmente, el signo debe ser considerado pues, si w es tal que w2 = z , entonces w tambi en satisface lo anterior. Del teorema anterior tenemos que, si z = a + ib y b 0, entonces las ra ces de z son + i y i. Si b < 0, entonces las ra ces de z son i y + i. De la ecuaci on w2 = z podemos escribir w = z y decir que w es una ra z cuadrada de z . El s mbolo z se entiende como un n umero complejo cuyo cuadrado es z .
4.4. RA ICES DE ECUACIONES CUADRATICAS
93
Un n umero complejo z es real si Im(z ) = 0. Como consecuencia del teorema anterior tenemos el siguiente resultado. Corolario 4.3. Las ra ces cuadradas de un n umero complejo son reales si y s olo si el n umero complejo es real y positivo. Demostraci on. Supongamos primero que el n umero complejo z es real y positivo. Entonces z = un n umero real y positivo a. Las ra ces a, para alg cuadradas de a son a. Por tanto, las ra ces cuadradas de z son reales. Supongamos ahora que las ra ces cuadradas del n umero complejo z = a + ib son reales. Usando la notaci on de la demostraci on del teorema anterior, tenemos que las ra ces cuadradas de z son de la forma ( + i), donde = 1 si b 0 y = 1 si b < 0. Como dichas ra ces son reales, tenemos que = 0. Ahora bien, = 0, por lo que = 0. De acuerdo con la ecuaci on de , resulta que = 0 si y s olo si el numerador que se encuentra en el cociente que dene a es cero. Es decir, si olo si a + a2 + b2 = 0. La y s ecuaci on anterior equivale a decir que a = a2 + b2 , de donde a2 = a2 + b2 . Luego b2 = 0 y entonces b = 0. Esto implica que z = a, por lo que z es real. Tenemos que probar ahora que a 0. Supongamos, por el contrario, que a < 0. Como = 0 y b = 0, usando (4.4.2) y el hecho de que a2 = |a|, la expresi on para es a + |a| = . 2 Como a < 0, tenemos que a + |a| = a a = 0. Luego = 0 y por lo tanto 0 es una ra z cuadrada de z . Entonces 0 = 02 = z = a, lo cual es una contradicci on. Esto prueba que a 0. Un n umero complejo z se llama puramente imaginario si Re(z ) = 0. Como consecuencia del teorema anterior, tenemos el siguiente corolario. Corolario 4.4. Las ra ces cuadradas de un n umero complejo son puramente imaginarias si y s olo si el n umero complejo es real y negativo. Demostraci on. Supongamos primero que el n umero complejo z es real y negativo. Entonces z = a, para alg un n umero real a tal que a 0. De acuerdo con las f ormulas para obtener las ra ces de z , resulta que dichas ra ces son ( + i), donde a + |a| aa a + |a| a a = =0 y = = = a. = 2 2 2 2
94
Entonces las ra ces de z = a son i a. Dichas ra ces son puramente imaginarias. Supongamos ahora que las ra ces del n umero complejo z = a + ib son puramente imaginarias. Usando, de nueva cuenta, la notaci on de la demostraci on del teorema anterior, tenemos que las ra ces cuadradas de z son de la forma ( + i), donde = 1 si b 0 y = 1 si b < 0. Dichas ra ces son puramente imaginarias si y s olo si = 0. De acuerdo con la ecuaci on de 2 + b2 = 0. Dicha ecuaci , tenemos que = 0 si y s o lo si a + a o n equivale a escribir a2 + b2 = a, de donde a2 + b2 = a2 y entonces b = 0. Luego z = a, por lo que z es real. Supongamos que a > 0. Como = 0 y b = 0, usando (4.4.2) y el hecho de que a2 = |a|, la expresi on para es = a + |a| . 2
Como a > 0, tenemos que a + |a| = a + a = 0. Luego = 0 y por lo tanto 0 es una ra z cuadrada de z . Entonces 0 = 02 = z = a, lo cual es una contradicci on. Esto muestra que a 0. Corolario 4.5. Las dos ra ces cuadradas de un n umero complejo coinciden si y s olo si el n umero complejo es cero. Demostraci on. Si z = 0 entonces, usando las expresiones dadas en (4.4.2) para y , sucede que = = 0. Entonces las ra ces de z , que son ( + i). Es claro que dichas ra ces coinciden. Supongamos ahora que las ra ces de z = a + ib coinciden. Cuando b 0 las dos ra ces son + i y i. Por el criterio de la igualdad de n umeros complejos, dichos n umeros son iguales cuando = y = , es decir, cuando = = 0. Entonces 0 es la ra z de z , por lo que 0 = 02 = z . Si b < 0, entonces las ra ces de z son i y + i. Como dichos n umeros coinciden, tenemos que = y = . Luego = = 0 y, de nueva cuenta, z = 0. Consideremos ahora la ecuaci on cuadr atica az 2 + bz + c = 0, en donde a, b y c son n umeros complejos. Hagamos z= b b2 4ac . 2a (4.4.3)
4.5. PROPIEDADES DE LOS NUMEROS COMPLEJOS Entonces
95
)2 ( ) b b2 4ac b2 4ac az + bz + c = a +b +c 2a 2a a(b2 2b b2 4ac + b2 4ac) b2 b b2 4ac = + +c 4a2 2a 2b2 4ac 2b b2 4ac 2b2 2b b2 4ac = + c = 0. 4a (
2
Por tanto la f ormula (4.4.3), que es la que resuelve las ecuaciones cuadr aticas 2 reales, nos da las ra ces complejas de la ecuaci on cuadr atica az +bz +c = 0, en donde los coecientes son n umeros complejos. En particular (4.4.3) tambi en nos da las ra ces de todas las ecuaciones cuadr aticas con coecientes reales. Como consecuencia de todo esto, en el conjunto de los n umeros complejos viven todas las ra ces de todas las ecuaciones cuadr aticas complejas. El teorema del binomio es v alido en el conjunto de los n umeros complejos, es decir: ( ) ( ) ( ) n n n 2 2 n n1 n n wn z w + + z w+ (z + w ) = z + n 2 1 donde ( ) n! n = . r r!(n r)!
Una prueba de lo anterior se puede efectuar por inducci on sobre n.
4.5.
4.5.1.
Propiedades de los N umeros Complejos

Representaci on Polar y Producto Complejo
En vista de que los puntos de R2 son vectores, un n umero complejo puede pensarse geom etricamente como un vector y puede dibujarse como una echa del origen al punto en R2 dado por el n umero complejo. De esta manera, la adici on de n umeros complejos puede visualizarse como la adici on de vectores, usando la regla del paralelogramo. Ser a interesante poder visualizar la multiplicaci on de n umeros complejos. Para realizar esto, conviene utilizar coordenadas polares para escribir los n umeros complejos. Si z = a + ib, el
96
cual est a identicado con el punto (a, b) de R2 , entonces la longitud de z se dene como r = a2 + b2 . Notemos que r es la longitud de (a, b) como vector. Supongamos que dicho vector forma un angulo con respecto a la direcci on positiva del eje real, b donde 0 < 2 . Entonces tan = a y, adem as, a = r cos y b = r sen . Luego z = a + ib = r cos + (r sen )i = r(cos + i sen ). Esta manera de escribir un n umero complejo se llama representaci on en coordenadas polares. A la longitud de z , que denotamos por |z |, tambi en se le llama norma, m odulo o valor absoluto de z . Al angulo se le llama el argumento de z y suele denotarse por arg(z ). Al restringir el argumento al intervalo [0, 2 ) resulta que cada n umero complejo distinto de cero tiene un argumento denido sin ambig uedad. Sin embargo, podemos agregar m ultiplos enteros de 2 a y obtener el mismo n umero complejo. Como alternativa, pudimos haber restringido el argumento al intervalo (, ], cosa que suele hacerse en algunos textos. Una vez que se determina el intervalo para el argumento, resulta que cada n umero complejo z diferente de cero, tiene determinado un u nico valor en dicho intervalo. Cualquier R puede llevarse al intervalo [0, 2 ) o (, ] mediante la suma de alg un m ultiplo entero (positivo o negativo) de 2 . Por esta raz on, algunas veces lo mejor es pensar al argumento de z como el conjunto de los posibles valores del algulo. Si es un posible valor, entonces tambi en lo es + 2n, para cualquier entero n, as que podemos pensar que arg(z ) = { + 2n : n Z}. Si z1 = r1 (cos 1 + i sen 1 ) y z2 = r2 (cos 2 + i sen 2 ), entonces z1 z2 = r1 r2 [(cos 1 cos 2 sen 1 sen 2 ) + i(cos 1 sen 2 + cos 2 sen 1 )]. Aplicando la identidad trigonom etrica para el seno y el coseno de una suma, obtenemos que z1 z2 = r1 r2 [cos(1 + 2 ) + i sen(1 + 2 )]. Tenemos entonces el siguiente resultado. Teorema 4.6. Si z1 , z2 C, entonces |z1 z2 | = |z1 | |z2 | y arg(z1 z2 ) = arg(z1 ) + arg(z2 )(mod 2 ).
4.5. PROPIEDADES DE LOS NUMEROS COMPLEJOS
97
Lo anterior signica que el producto de dos n umeros complejos es el n umero complejo que tiene una longitud igual al producto de las longitudes de los n umeros complejos, y un argumento igual a la suma de los argumentos de esos n umeros (m odulo 2 , es decir sum andole o rest andole a dicha suma un m ultiplo de 2 para que el resultado se encuentre en el intervalo [0, 2 )). Esta es la representaci on b asica de la multiplicaci on. Supongamos que z1 = 1 y z2 = i. Si elegimos el intervalo [0, 2 ) para los valores del argumento, entonces arg(z1 ) = y arg(z2 ) = 32 . Luego 3 5 = = + 2 = (mod 2 ). 2 2 2 2 En efecto z1 z2 = (1)(i) = i y arg(z1 z2 ) = 2 . arg(z1 z2 ) = arg(z1 ) + arg(z2 ) = +
4.5.2.
Ra ces n- esimas
La f ormula dada en el teorema anterior, para la multiplicaci on de dos n umeros complejos, nos sirve tambi en para determinar las ra ces n- esimas de cualquier n umero complejo. Para ver esto, primero probaremos el siguiente resultado, el cual nos da una f ormula (llamada la f ormula de De Moivre ) para calcular las potencias de un n umero complejo dado. Teorema 4.7. Si z = r(cos + i sen ) y n N, entonces z n = rn (cos n + i sen n). Demostraci on. Por el teorema anterior z 2 = r2 [cos( + ) + i sen( + )] = r2 (cos 2 + i sen 2). Al multiplicar nuevamente por z obtenemos z 3 = z z 2 = r r2 [cos(2 + ) + i sen(2 + )] = r3 (cos 3 + i sen 3). Este procedimiento puede continuarse inductivamente para obtener el resultado deseado para cualquier n umero natural n. Corolario 4.8. Sean w un n umero complejo diferente de 0, con representaci on polar w = r(cos + i sen ) y n N {1}. Entonces las ra ces n- esimas de w est an dadas por los n n umeros complejos [ ( ) ( )] 2k 2k n + + zk = r cos + i sen , donde k = 0, 1, . . . , n 1. n n n n
98
Demostraci on. Las ra ces n- esimas de w son los n umeros complejos z tales n que z = w. Hagamos z = (cos + i sen ). Entonces, por la f ormula de De Moivre, z n = n (cos n + i sen n ) = w = r(cos + i sen ). Seg un el criterio para la igualdad de dos n umeros complejos, tenemos que n n cos n = r cos y sen n = r sen . Luego r2 = r2 (cos2 + sen2 ) = 2n cos2 n + 2n sen2 n = (n )2 , de donde |w| = r = n . Por tanto, las igualdades n cos n = r cos y n sen n = r sen se transforman en r cos n = r cos y r sen n = r sen las cuales, a su vez, equivalen a decir que cos n = cos y sen n = sen . Luego n = + 2k , donde k es un entero. Esto signica que [ ( ) ( )] k k n z = (cos + i sen ) = r cos + 2 + i sen + 2 . n n n n Cada uno de los valores de k = 0, 1, . . . , n 1 produce un valor diferente de z . Cualquier otro valor de k meramente representa uno de los valores de z correspondientes a k = 0, 1, . . . , n 1. Por ende, hay exactamente n ra ces n- esimas del n umero complejo z . Si w = 1 = 1(cos 0 + i sen 0) y n = 3, entonces las ra ces c ubicas de w son los complejos z de la forma ( ) ( ) 2k 2k z = cos + i sen 3 3 para k = 0, 1, 2. Dichas ra ces son 1, 1 + i 23 y 1 i 2 3 . En general, las 2 2 ra ces n- esimas de la unidad (es decir, de w = 1) son 1 y los otros n 1 puntos se encuentran igualmente espaciados alrededor del c rculo unitario. En todo lo anterior es importante el paso de la forma ordinaria de un n umero complejo z a su forma polar. Si z = a + ib es la forma ordinaria de z , 2 entonces la forma polar de z es z = r(cos + i sen ), donde r = a + b2 y b . Si conocemos la forma polar z = r(cos + i sin ) de z , entonces = arctan a la forma ordinaria z = a + ib de z se obtiene haciendo a = r cos y b = r sen . Supongamos que w = a + ib. Entonces la forma polar de w es w = r(cos + i sen ), en donde a = r cos y b = r sen . Las ra ces cuadradas de

4.5. PROPIEDADES DE LOS NUMEROS COMPLEJOS w son los n umeros complejos [ ( ) ( )] z1 = r cos + i sen 2 2 y
99
) ( )] [ ( 2 2 + i sen = z2 = r cos + + 2 2 2 2 [ ( ) ( )] [ ( ) ( )] = r cos + + i sen + = r cos + i sen . 2 2 2 2 () () Notemos que z2 = z1 . Hagamos x = r cos 2 y y = r sen 2 . Entonces z1 = x + iy y, adem as, usando las identidades trigonom etricas cos(2 ) = cos2 sen2 y sen(2 ) = 2 sen cos con = 2 , tenemos que ( )) ( ( ) 2 2 2 2 sen = r cos = a x y = r cos 2 2 y 2xy = 2 r cos ( ) ( ) ( ( ) ( )) r sen = r 2 sen cos = r sen = b. 2 2 2 2
Por tanto x2 y 2 = a y 2xy = b. Estas son las mismas condiciones que resultaron en la prueba del Teorema 4.2 para determinar las ra ces cuadradas de w. Por consiguiente, el trabajo realizado en el Teorema 4.2 es equivalente al que acabamos de realizar en coordenadas polares, para n = 2. Naturalmente, el trabajo en coordenadas polares es m as simple. Terminamos el presente cap tulo indicando que el estudio de los n umeros complejos es el inicio de una de las ramas de la matem atica m as importantes: la Variable Compleja. El lector interesado en un curso de Variable Compleja puede consultar el texto [5].
100
Cap tulo 5 El Anillo de los Polinomios

5.1. Introducci on
En la presente secci on nos proponemos denir lo que formalmente es un polinomio. Para esto debemos recordar que, lo primero que nos dijeron es que un polinomio es una expresi on de la forma a0 + a1 x + a2 x2 + + an xn (5.1.1)
en donde los elementos a0 , a1 , . . . , an , que se llaman coecientes del polinomio, son n umeros reales. Posteriormente, luego de que se nos present o el conjunto de los n umeros complejos, nos dijeron que los polinomios de la forma (5.1.1) en donde cada coeciente es un n umero real, se llaman polinomios reales, y que un polinomio complejo es uno de la forma (5.1.1) en donde cada coeciente es un n umero complejo. En ambos casos nos dijeron que los elementos a0 , a1 x, . . . , an xn son los t erminos del polinomio y que x es una inc ognita o indeterminada. Luego de que se nos present o la denici on anterior, quiz a aprendimos que dos polinomios son iguales si y s olo si los respectivos coecientes son iguales y posteriormente resolvimos polinomios. Por ejemplo, resolver el polinomio 3x5 = 0 signicaba encontrar el valor de la inc ognita. Seg un las reglas . que nos ense naron, el polinomio anterior tiene s olo una soluci on y es x = 5 3 2 Luego quiz a resolvimos polinomios m as complicados, como x 5x + 6 = 0, el cual tiene dos soluciones. Y hasta nos ense naron una f ormula que, si la seguimos al pie de la letra, nos sirve para resolver toda ecuaci on de la forma 101
102
CAP ITULO 5. EL ANILLO DE LOS POLINOMIOS
ax2 + bx + c = 0. Y quiz a el cuento acab o ah , pues resolver una ecuaci on de 3 2 la forma ax + bx + cx + d = 0 es m as complicado. Ahora bien, si lo pensamos un momento, hay un problema con la denici on que nos dieron de polinomio. Est a claro que los coecientes de un polinomio son elementos de un conjunto conocido: los enteros, los reales o bien los n umeros complejos. Pero qu e es en realidad la x? Nos dijeron que es una inc ognita, algo que no se conoce. Y c omo es que algo que no conocemos lo podemos elevar al cuadrado, o al cubo, o a la potencia que deseemos? Y no solo eso que no conocemos lo podemos elevar a una potencia, sino que lo que resulte, sea lo que sea, lo podemos multiplicar por un n umero que s conocemos y, peor a un, sumar una cantidad nita de todas esas cosas que construimos. En otras palabras, empezamos con una x que es algo que no conocemos. Qu e es x2 ? Podr amos responder con un no se, pero eso se puede multiplicar por 4 para obtener 4x2 , y tambi en puedo formar x3 que no se que sea pero se puede multiplicar por 5 para formar 5x3 y, si sumamos lo que obtuvimos, nos da 4x2 5x3 y esto es un polinomio. Por supuesto que no podemos proceder en matem aticas de esta forma. Una manera de ver un polinomio real, un poco m as convincente pero a un imprecisa, es la siguiente: un polinomio real es una forma especial de representar, con una sola letra, una cantidad nita de n umeros reales que no conocemos, a partir de una cantidad nita de n umeros reales que s conocemos. A los n umeros reales que no conocemos los denotaremos por la letra com un x y, a los que s conocemos por a0 , a1 , . . . , an . Decimos que la forma especial que los relaciona es (5.1.1). Al ser x un n umero real, desconocido pero real a n de cuentas, las expresiones de la forma ai xi tienen sentido y, por tanto, tambi en la suma de una cantidad nita de dichas expresiones. Lo inc omodo de la representaci on anterior es que seguimos trabajando informalmente. Mezclamos cosas conocidas con cosas desconocidas, y luego nos tenemos que creer que dichas cosas desconocidas se vuelven conocidas cuando igualamos a cero la expresi on (5.1.1). Una manera alternativa de denir un polinomio real es decir que es una funci on f : R R que depende de una cantidad nita de reales a0 , a1 , . . . , an . La funci on f est a denida, 2 n para x R, como f (x) = a0 + a1 x + a2 x + + an x . Por ejemplo, si f (x) = 3 7x + 2x2 + 5x3 9x4
5.1. INTRODUCCION
103
para determinar sus valores necesitamos asignarle un valor real a x. Por ejemplo f (1) = 3 7(1) + 2(1)2 + 5(1)3 9(1)4 = 6. Si vemos a los polinomios de esta forma, entonces c omo sabemos cu ando dos polinomios son iguales? Si f : R R y g : R R son los polinomios f (x) = a0 + a1 x + a2 x2 + + an xn y g (x) = b0 + b1 x + b2 x2 + + bm xm , entonces f = g si y s olo si f (x) = g (x), para cada x R. C omo deducimos, a partir de esto, que los coecientes deben ser iguales y que n y m tambi en deben ser iguales? Podemos empezar diciendo que si f (x) = g (x) para cada x, entonces cuando x = 0 resulta que a0 = b0 . Luego, para cada x R, x(a1 + a2 x + + an xn1 ) = x(b1 + b2 x + + bm xm1 ). En particular si x = 0 tenemos que a1 + a2 x + + an xn1 = b1 + b2 x + + bm xm1 . C omo concluimos ahora que a1 = b1 si ya no podemos asignarle a x el valor cero? Una manera alternativa de denir un polinomio, es la que a continuaci on describimos. Si K es el conjunto R o bien C, entonces un polinomio f (x) con coecientes en K es una suma innita formal de la forma
i=0
ai xi = a0 + a1 x + + an xn +
(5.1.2)
donde cada ai K y ai = 0, para toda i salvo un n umero nito de ellas. Dada i, el t ermino ai se llama un coeciente de f (x). En el caso nito una suma formal es una expresi on del tipo (5.1.2), pero con una cantidad nita de t erminos, en donde importa el n umero de elementos que se toman. Por ejemplo, como sumas formales, no es lo mismo decir 0 + 3x que 0 + 3x + 0x2 pues la primera suma tiene dos t erminos, formalmente hablando, y la otra tiene tres. Por eso es que los polinomios no se denen como sumas formales nitas, sino como sumas formales innitas en donde casi todos los coecientes son cero. Al t ermino x que aparece en la suma formal (5.1.2) se le llama una indeterminada. Algunos textos indican que x es un elemento que no pertenece a
104
K . Podemos tomar, por ejemplo, el producto cartesiano K [0, 1], identicar a K con K {0} sin perder la estructura algebraica de R y decir que, por ejemplo, x = (r, 1), para alguna r K . Aunque esto todav a deja algo que desear, ya nos da una idea de c omo denir formalmente un polinomio y c omo decir, por n, qu e es la x. Podemos, para empezar, considerar a los elementos a0 , a1 , a2 , . . . que determinan al polinomio. Olvidarnos por el momento de la x y considerar que los elementos a0 , a1 , a2 , . . . est an ordenados como se indica. Tomar elementos ordenados es lo que constituye una sucesi on en un conjunto. Debemos entonces considerar sucesiones en K. Qu e hacer con ellas? En la siguiente secci on responderemos dicha pregunta y deniremos formalmente a los polinomios con coecientes en K , en t erminos de las sucesiones en K .
5.2.
Denici on y Propiedades Fundamentales
Aunque la denici on de polinomio se puede dar en t erminos m as generales, procediendo pr acticamente como lo haremos en esta secci on, supondremos solamente que los coecientes de los polinomios son n umeros reales o complejos. Por tanto, a partir de este momento, la letra K representar a al conjunto R, o bien al conjunto C, a menos que se indique expl citamente otra cosa. Una sucesi on en K es una funci on f : N K . Dada n N, al elemento f (n) de K lo denotaremos por fn1 y, a la sucesi on, por (f0 , f1 , . . .). Algo que ser a signicativo en toda esta secci on es la manera de indexar las sucesiones: empezaremos a contar siempre de cero. Una sucesi on f en K generalmente se da enlistando sus elementos: el primer elemento de f es f0 , su segundo elemento es f1 , su tercer elemento es f2 y as sucesivamente. El s mbolo (f0 , f1 , . . .) es, por tanto, una manera de enunciar de un jal on a toda la sucesi on. Dos sucesiones son iguales si y s olo si sus respectivos elementos son iguales. En otras palabras, dos sucesiones f = (f0 , f1 , . . .) y g = (g0 , g1 , . . .) en K son iguales si y s olo si fn = gn , para cada n N = {0, 1, 2, . . .}. Consideremos ahora el conjunto K N = {f : f es una sucesi on en K }.
Y PROPIEDADES FUNDAMENTALES 5.2. DEFINICION
105
Denimos en K N una suma y un producto como sigue: si f = (f0 , f1 , . . .) y g = (g0 , g1 , . . .) son elementos de K N , entonces f + g y f g son las funciones de N en K tales que (f + g )n = fn + gn y (f g )n = f0 gn + f1 gn1 + f2 gn2 + + fn g0 ,
para cada n N . A la multiplicaci on en K N se le suele llamar el producto convoluci on. Notemos que (f g )n =
k+m=n
fk g m =
n k=0
fk gnk .
Es claro que la suma de elementos en K N es un elemento de K N . Adem as, la suma en K N es conmutativa. Es f acil probar que la suma en K N tambi en es asociativa. Si 0 = (0, 0, 0, . . .) es la sucesi on nula, entonces (f + 0)n = fn + 0n = fn + 0 = fn , para cada n N y cada f K N . Es decir f + 0 = 0, para cada f K N . Luego, 0 es el neutro aditivo en K N . Si f K N , entonces el inverso aditivo en K N es la funci on f : N K denida como (f )n = fn , para cada n N . Notemos ahora que el producto convoluci on de elementos en K N es un elemento de K N . Para ver que es conmutativo, tomemos f, g K N . Como el producto en K es conmutativo, tenemos que (f g )n =
n k=0
fk gnk =
n k=0
gk fnk = (g f )n ,
para cada n N . Por tanto f g = g f y el producto convoluci on es conmuN tativo en K . Para ver que es asociativo, tomemos f, g, h K N . Entonces, aplicando dos veces la denici on de producto convoluci on, tenemos que, para cada n N ( ) [(f g ) h]n = (f g )m hk = fi gj hk = fi gj hk ,
k+m=n k+m=n i+j =m i+j +k=n
donde, en el u ltimo paso, usamos la propiedad general de distributividad para la sumatoria de m + 1 t erminos. En forma similar ( ) [f (g h)]n = fi (g h)m = fi g j hk = fi gj hk ,
i+m=n i+m=n j +k =m i+j +k=n
106
para cada n N . Por tanto (f g ) h = f (g h) y el producto convoluci on es asociativo. Un argumento similar se puede usar para probar que el producto convoluci on es distributivo. En efecto, como ya probamos que dicho producto es conmutativo, basta mostrar la distributividad por alguno de los dos lados. Notemos que, para n N , [f (g + h)]n = =
k+m=m
k+m=n
fk (g + h)m =
k+m=n
fk (gm + hm ) =
fk gm +
fk hm = (f g )n + (f h)n = (f g + f h)n .
k+m=n
Luego f (g + h) = f g + f h y el producto convoluci on es distributivo N con respecto a la adici on en K . Tambi en podemos considerar la sucesi on 1 : N K denida como (1)0 = 1 y (1)n = 0, para cada n > 0. Notemos que 1 es la suceci on (1, 0, 0, . . .). Adem as (f 1)n = f0 1n + f1 1n1 + + fn 10 = f0 0 + f1 0 + + fn1 0 + fn 1 = fn para cada f K N . Luego f 1 = f , para cada f K N y, por tanto, 1 es el neutro multiplicativo en K N . Esto muestra que, de las nueve propiedades que un conjunto (junto con las operaciones de suma y producto) debe satisfacer para ser un campo, en K N hasta el momento se cumplen ocho. La propiedad que no se cumple es la de que todos los elementos no nulos de K N tienen un inverso multiplicativo. Para ver esto, consideremos la sucesi on (0, 1, 0, 0, . . .) en K N . Dicha sucesi on es diferente del neutro aditivo, el cual corresponde a la sucesi on (0, 0, 0, . . .). Si (0, 1, 0, 0, . . .) tiene un inverso multiplicativo, entonces existe una sucesi on f = (f0 , f1 , f2 , . . .) en K N tal que (0, 1, 0, 0, . . .)(f0 , f1 , f2 , . . .) = (1, 0, 0, . . .). Hagamos g = (0, 1, 0, 0, . . .)(f0 , f1 , f2 , . . .) y notemos que el primer elemento de g es g0 = 0f0 = 0. Como g = (1, 0, 0, . . .) y el primer elemento de (1, 0, 0, . . .) es 1, debe ser cierto que 0 = 1. Esto es un absurdo y, por tanto, el elemento (0, 1, 0, 0, . . .) en K N no admite un inverso multiplicativo. Consideremos ahora la funci on : K K N denida por (a) = a , donde a = (a, 0, 0, . . .). En esta ocasi on, dada a K, el s mbolo a no denota al sucesor de un conjunto, sino a la sucesi on cuyo primer elemento es a y cuyos
107
elementos posteriores son iguales a cero. Es claro que la funci on es inyectiva. Adem as respeta las operaciones de suma y producto, es decir: (a + b) = (a) + (b) En efecto (a + b) = (a + b) = (a + b, 0, 0, . . .) = (a, 0, 0, . . .)+(b, 0, 0, . . .) = (a)+ (b). Ahora bien, como (a )0 = a, (b )0 = b y (a )n = (b )n = 0 para cada n > 0, tenemos que (a b )0 = ab y (a b )n = 0, para cada n > 0. Luego (ab) = (ab) = (ab, 0, 0, . . .) = (a, 0, 0, . . .) (b, 0, 0, . . .) = a b = (a) (b). Tenemos entonces una situaci on similar a la que se nos present o cuando construimos el conjunto C de los n umeros complejos. Dijimos que C es el conjunto R2 con la adici on ordinaria y una propiedad especial de multiplicaci on. Luego dijimos que podemos pensar que R est a contenido en C e identicar un real a con el par ordenado (a, 0), pues existe una funci on inyectiva f : R C que respeta las operaciones de suma y producto. Ahora tenemos el conjunto K N , con las operaciones de suma y producto convoluci on, y una funci on inyectiva N : K K que respeta las operaciones de suma y producto. Por tanto, podemos pensar que K est a contenido en K N e identicar un elemento a de K con la sucesi on a = (a, 0, 0, . . .). Hagamos ahora x = (0, 1, 0, 0, . . .). Notemos que x es la sucesi on en K cuyo segundo elemento es 1 y todos los dem as son 0. Notemos que x no es un elemento de K pues, como ya dijimos, los elementos de K est an identicados con las sucesiones en K cuyo primer elemento vive en K y todos los dem as son cero. Diremos que x se llama una indeterminada. Notemos que ahora debe resultar perfectamente claro lo que es x, la sucesi on en K cuyo segundo elemento es 1 y todos los dem as son cero. El nombre que le damos a x (una indeterminada) es simplemente eso, un nombre, y lo escogemos m as por fuerza de la costumbre que por otra raz on. Calculemos ahora las potencias xi de x. Para calcular x2 = x x notemos primero que (x x)0 = x0 x0 = 0 0 = 0, (x x)1 = x0 x1 + x1 x0 = 0 1+1 0 = 0, (x x)2 = x0 x2 + x1 x1 + x2 x2 = 0 0 + 1 1 + 0 0 = 1 y (x x)n = x0 xn + x1 xn1 + x2 xn2 + + xn1 x1 + xn x0 = 0 0 + 1 0 + 0 0 + + 0 1 + 0 0 = 0, y (ab) = (a) (b).
108
para cada n > 2. Luego x2 = x x = (0, 1, 0, 0, . . .) (0, 1, 0, 0, . . .) = (0, 0, 1, 0, 0, . . .). Entonces x2 es la sucesi on en K cuyo tercer t ermino es 1 y todos los dem as son cero. Haciendo un an alisis similar vemos que x3 = x x2 = (0, 1, 0, 0, . . .) (0, 0, 1, 0, 0, . . .) = (0, 0, 0, 1, 0, 0, . . .), x4 = x x3 = (0, 1, 0, 0, . . .) (0, 0, 0, 1, 0, 0, . . .) = (0, 0, 0, 0, 1, 0, 0, . . .) y, en general, xi es la sucesi on en K tal que (xi )0 = 0, (xi )i = 1 y (xi )n = 0 para toda n N {i}. En otras palabras, xi es la sucesi on en K cuyo (i + 1) esimo t ermino es 1 y todos los dem as son cero. La armaci on anterior puede probarse por inducci on sobre i. Ahora bien si a K entonces, identicando a con a = (a, 0, 0, . . .) y realizando los c alculos pertinentes, tenemos que a xi = (a, 0, 0, . . .) (0, 0, . . . , 0, 1, 0, 0, . . .) = (0, 0, . . . , 0, a, 0, 0, . . .). Entonces a xi es la sucesi on en K cuyo (i + 1)- esimo t ermino es a y todos i los dem as son cero. Para simplicar, al producto a x lo denotaremos como axi . Supongamos ahora que f = (a0 , a1 , a2 , . . .) es un elemento de K N y que existe n N tal que am = 0 para cada m > n. Entonces, identicando a0 con (a0 , 0, 0, . . .) y usando que ai xi = (0, 0, . . . , 0, ai , 0, 0, . . .), para cada i N, resulta que f = (a0 , a1 , a2 , . . .) = (a0 , a1 , . . . , an , 0, 0, . . .) = (a0 , 0, 0, . . .) + (0, a1 , 0, 0, . . .) + + (0, 0, . . . , 0, an , 0, 0, . . .) = a0 + a1 x + a2 x2 + + an xn . Tenemos entonces que los polinomios son precisamente las sucesiones casi cero en K N . Denici on 5.1. Un polinomio en K es un miembro de K N que tiene s olo una cantidad nita de elementos diferentes de cero.
109
Por tanto, un polinomio es una sucesi on f = (a0 , a1 , a2 , . . .) en K N para la cual existe n N tal que am = 0, para cada m > n. Entonces f tiene la forma (a0 , a1 , . . . , an , 0, 0, . . .) que, como hemos visto, corresponde a escribir a0 + a1 x + a2 x2 + + an xn . Al menor n umero n N con la propiedad de que am = 0 para cada m > 0 se le llama el grado del polinomio f . En particular la sucesi on x es un polinomio i de grado 1, y la sucesi on x es un polinomio de grado i (esto por la manera en que estamos indexando a los elementos de una sucesi on en K ). Adem as la sucesi on a = (a, 0, 0, . . .) es un polinomio de grado cero, que se llama polinomio constante. Consideramos, como excepci on, que el polinomio cero denido como 0 = (0, 0, . . .) tiene grado . M as adelante resultar a claro el porqu e de esta elecci on. Un polinomio de grado 1 se llama polinomio lineal, uno de grado 2 se llama polinomio cuadr atico, uno de grado 3 es un polinomio c ubico, etc. En t erminos del grado, si f = (a0 , a1 , . . .) es un polinomio no nulo y de grado n 0, entonces f se puede representar en la forma usual a0 + a1 x + a2 x2 + + an xn (5.2.1)
en donde los coecientes a0 , a1 , . . . , an , que viven en K , son los u nicos elementos de la sucesi on f que pueden ser diferentes de cero. Con seguridad tenemos que an = 0, pero los elementos a0 , a1 , . . . , an1 bien podr an valer cero. De aqu en adelante, cuando escribamos un polinomio f en la forma (5.2.1) o en su equivalente (a0 , a1 , . . . , an , 0, 0, . . .) como sucesi on, entenderemos que n es el grado del polinomio, que an = 0 y que los u nicos t erminos que podr an ser cero son a0 , a1 , . . . , an1 . Por tanto, si f = (a0 , a1 , . . . , an , 0, 0, . . .) y g = (b0 , b1 , . . . , bm , 0, 0, . . .) son dos polinomios en K , entonces f = g si y s olo si n = m y ai = bi , para cada i = 0, 1, 2, . . . , n. Si f = a0 + a1 x + a2 x2 + + an xn y g = b0 + b1 x + b2 x2 + + bm xm son dos polinomios, entonces su suma f + g se obtiene aplicando la denici on de N suma en K : sumando los respectivos coecientes. El producto f g de f y g es f g = a0 b0 + (a0 b1 + a1 b0 )x + (a0 b2 + a1 b1 + a2 b0 )x2 + + (an bm )xn+m . Notemos que, para i N , el coeciente del i- esimo t ermino del producto f g , es precisamente el i- esimo t ermino del producto convoluci on de f y g . Las
110
operaciones de suma y producto de f y g son, por tanto, las que aprendimos desde la Secundaria. Como no todos los miembros de K N son polinomios (lo son s olo aquellos cuyos elementos, a partir de cierto momento se vuelven cero), es natural considerar al subconjunto
N = {f K N : f es un polinomio} Kp
de K N , con las operaciones de adici on y producto convoluci on denidas en N N K . Hemos probado que la suma y el producto de dos elementos en Kp es un N elemento de Kp . Adem as, el neutro aditivo y elemento unitario de K N son N N , y el inverso aditivo de elementos en Kp es, de nueva cuenta, elementos de Kp N un elemento de Kp . Como los polinomios constantes en K se identican con N K , podemos pensar que K est a contenido en Kp .
N Al conjunto Kp se le llama el anillo de los polinomios en K . Existen estructuras algebraicas que no poseen todas las nueve propiedades de los N campos. Como hemos visto, el conjunto Kp es una de ellas. Dependiendo del n umero de propiedades que dichas estructuras satisfagan, se le asigna N un nombre en particular. El que le corresponde a Kp es el de anillo conmutativo con neutro multiplicativo. No daremos una denici on formal de lo anterior, baste decir que un anillo conmutativo con neutro multiplicativo es un conjunto en donde se cumplen las ocho propiedades que probamos para el conjunto K N , con la suma y producto convoluci on que denimos. Dichas N ocho propiedades se siguen cumpliendo en Kp .
Si f = a0 + a1 x + a2 x2 + + an xn es un polinomio de grado n, entonces a an se le llama el coeciente principal de f . Decimos que f es un polinomio m onico si su coeciente principal es 1. Si denotamos por gr(f ) al grado de un polinomio f entonces, por lo que hemos demostrado, cuando f y g son polinomios resulta que gr(f + g ) m ax{gr(f ), gr(g )} y gr(f g ) gr(f ) + gr(g ). (5.2.2)
A continuaci on mostraremos que la segunda desigualdad de arriba, se vuelve igualdad. Teorema 5.2. Si f y g son dos polinomios no nulos, entonces gr(f g ) = gr(f ) + gr(g ).
111
Demostraci on. Supongamos que f = a0 + a1 x + a2 x2 + + an xn y g = b0 + b1 x + b2 x2 + + bm xm son dos polinomios no nulos y de grados n y m, respectivamente. Hemos visto f g es el polinomio f g = a0 b0 + (a0 b1 + a1 b0 )x + (a0 b2 + a1 b1 + a2 b0 )x2 + + (an bm )xn+m . Como los grados de f y g son n y m, respectivamente, sucede que an y bm son diferentes de cero y, como K es R o bien C, el producto an bm es diferente de cero. Luego gr(f ) + gr(g ) gr(f g ) y, en vista de que la desigualdad gr(f g ) gr(f ) + gr(g ) tambi en es v alida, sucede que gr(f g ) = gr(f ) + gr(g ).
N As pues, el grado de la suma de dos polinomios no nulos en Kp , es menor o igual que el m aximo de los grados de los sumandos y el grado del producto de dichos polinomios es igual a la suma de los grados de los factores. Si para un entero n admitimos que +n = y que, adem as +() = , entonces la f ormula para el grado del producto de dos polinomios no nulos, enunciada en el Teorema 5.2, se extiende para cualesquiera dos polinomios. Por esta raz on consideramos que el grado del polinomio nulo es .
Teorema 5.3. El producto de dos polinomios no nulos es un polinomio no nulo. Demostraci on. Sean f y g dos polinomios no nulos. Entonces gr(f ), gr(g ) 0. Luego, usando la f ormula para el grado del producto indicada en el teorema anterior, gr(f g ) = gr(f ) + gr(g ) 0. Esto indica que f g es un polinomio no nulo. En la mayor a de los textos, al conjunto K N que hemos construido, con sus operaciones de suma y producto convoluci on, se le suele llamar el anillo de series de potencias formales sobre K en la indeterminada x. Adem as, se N lo suele denotar por K [[x]]. Tambi en es com un denotar al conjunto Kp por N K [x]. Cuando uno denota as al conjunto Kp , se piensa que K [x] es lo que algebraicamente se obtiene cuando al conjunto K se le agrega un elemento x que no pertenece a K. Justo porque x no pertenece a K, se dice que x est a indeterminado en K. Como esperamos que haya quedado claro luego de toda la discusi on que hemos establecido, el hecho de que un elemento se diga indeterminado no signica que no existe.
112
Una vez que hemos establecido la noci on de polinomio, resta indicar lo que formalmente se entiende por evaluar un polinomio. El siguiente teorema, aunque no lo parezca, se hace cargo de esto. Teorema 5.4. Supongamos que L representa al conjunto R o bien al conjunto C. Supongamos tambi en que K = R cuando L = R y que K es igual a R o bien a C cuando L = C. Entonces, para cada c L, existe una u nica funci on Ec : K [x] L, que respeta las operaciones de suma y producto, tal que Ec (a) = a, para cada a K y Ec (x) = c. Demostraci on. Notemos que siempre sucede que K L. Supongamos que la funci on Ec existe. Sea f K [x]. Si f = 0, entonces Ec (f ) = 0, pues las funciones que respetan las operaciones de suma y producto mandan el cero en el cero. Si f = 0 entonces, como sabemos, f = a0 + a1 x + a2 x2 + + an xn . Como Ec respecta las operaciones de suma y producto, tenemos que: Ec (a0 +a1 x+a2 x2 + +an xn ) = Ec (a0 )+Ec (a1 x)+Ec (a2 x2 )+ +Ec (an xn ) = a0 + Ec (a1 )Ec (x) + Ec (a2 )Ec (x)2 + + Ec (an )Ec (x)n . Luego Ec (f ) = Ec (a0 + a1 x + a2 x2 + + an xn ) = a0 + a1 c + a2 c2 + + an cn . (5.2.3) Supongamos que Fc es una funci on de K [x] en L que respeta las operaciones de suma y producto y, adem as, Fc (a) = a, para cada a K y Fc (x) = c. Siguiendo el mismo procedimiento anterior, sucede que Fc (f ) = 0 si f = 0 y Fc (f ) = a0 + a1 c + a2 c2 + + an cn si f = 0. Por tanto Fc (f ) = Ec (f ), para cada f K [x]. Luego Fc = Ec . Esto prueba la unicidad de Ec . Ahora tenemos que probar que la funci on Ec existe. Para denirla tomemos un elemento f K [x]. Si f = 0 hacemos Ec (f ) = 0 y, si f = 0, primero escribimos f = a0 + a1 x + a2 x2 + + an xn y denimos Ec (f ) = a0 + a1 c + a2 c2 + + an cn . Como a0 , a1 , . . . , an K L y c L, resulta que a0 + a1 c + a2 c2 + + an cn es un elemento de L. Esto muestra que Ec es una funci on de K [x] en L.
113
Si a K entonces, por denici on, Ec (a) = a. Adem as si f = x, entonces Ec (f ) = Ec (x) = c. Falta probar que Ec respeta las operaciones de suma y producto, es decir, que Ec (f + g ) = Ec (f ) + Ec (g ) y Ec (f g ) = Ec (f )Ec (g )
para cada f, g K [x]. Es f acil ver que Ec respeta la operaci on de suma. Para ver que tambi en respeta la operaci on de multiplicaci on, tomemos f, g K [x] y supongamos que f y g son no nulos. Entonces f = a0 +a1 x+a2 x2 + +an xn y g = b0 + b1 x + b2 x2 + + bm xm por lo que ( )( ) ai bj xi+j . f g = ai xi bj xj =
i j i j
Ahora bien, de acuerdo a la denici on de Ec y a la propiedad general de la distributividad ( )( ) Ec (f g ) = ai bj ci+j = a i ci bj cj = Ec (f ) Ec (g ).

i j i j
Esto termina la demostraci on, pues el caso en el que alguno de f y g es el polinomio nulo se resuelve en forma m as sencilla. De acuerdo con (5.2.3), la funci on Ec : K [x] L que se dene en la demostraci on del teorema anterior act ua en un polinomio f reemplazando x por c. Por esta raz on a Ec se le llama la evaluaci on de f en x = c. Esto formaliza lo que aprendimos en la Secundaria. Si tenemos el polinomio real 3 7x + 2x2 + 5x3 9x4 , entonces tiene sentido evaluar dicho polinomio en x = 1, para obtener 6. Para ver esto, tomamos L = R y K = R. Luego, para c = 1 existe una funci on E1 : R[x] R con las propiedades del teorema anterior. Dicha funci on es la que eval ua cualquier polinomio real en x = 1. Notemos que el s mbolo x = 1 no tiene sentido pues, como ya hemos visto, x no es un elemento de K . Escribimos x = 1 m as por fuerza de la costumbre que por otra cosa. En general, si c L, escribir x = c no es correcto, pero lo que signica es que existe una funci on con las propiedades del teorema anterior, la que eval ua cualquier polinomio en c, reemplazando la indeterminada x por c, y no signica que la indeterminada toma un valor en K . Para evitar este tipo de confusiones, no deber amos siquiera escribir
114
x = c. Pero, como ya hemos dicho, nos hemos dejado llevar por la fuerza de la costumbre. Lo que debemos hacer es lo siguiente: si Ec : K [x] L es la funci on garantizada en el teorema anterior y f K [x], entonces Ec (f ) signica evaluar el polinomio f en c. Si en el teorema anterior tomamos c K , entonces la funci on Ec va de K [x] en K . Lo anterior nos permite denir una funci on f : K K como sigue: si c K y Ec : K [x] K es la evaluaci on de f en c, entonces podemos denir f (c) = Ec (f ). Si f = a0 + a1 x + a2 x2 + + an xn , entonces f (c) = a0 + a1 c + a2 c2 + + an cn . Lo anterior nos permite considerar a los polinomios en K como funciones de K en K , como indicamos en la secci on anterior. Una vez que le hemos dado un sentido formal a las nociones de polinomio y de evaluaci on de un polinomio, podemos regresar a los conceptos intuitivos, pero sin olvidar las nociones formales. Podemos ver ahora la manera de calcular las ra ces de un polinomio, hablar de t ecnicas de factorizaci on, etc. Para un estudio m as profundo de los polinomios y, en particular, de la rama de las matem aticas conocida como Teor a de Ecuaciones, el lector puede consultar el texto [7]. En tal se indica, por ejemplo, un m etodo general para resolver ecuaciones de grado tres y de grado cuatro.
Bibliograf a
[1] Frank Ayres, Jr., Algebra Moderna, Editorial McGraw Hill, M exico, D.F., 1991. [2] Alejandro Bravo Mojica, Hugo Rinc on Mej a y C esar Rinc on Orta, Algebra Superior, Facultad de Ciencias, UNAM. Colecci on Temas de Matem aticas. 2012. ardenas, Emilio Lluis, Francisco Raggi y Francisco Tom as, [3] Humberto C Algebra Superior, Editorial Trillas, M exico, D.F., 1973. [4] Paul R. Halmos, Teor a Intuitiva de los Conjuntos, Editorial C.E.C.S.A., M exico, D.F., 1984. alisis B asico de Variable [5] Jerrold E. Marsden y Michael J. Homan, An Compleja, Editorial Trillas, M exico, D.F., 1996. [6] Patrick Suppes, Axiomatic Set Theory, Dover Publications, Inc., New York, 1972. a de Ecuaciones, Editorial Limusa, M exico, D.F., [7] J. V. Uspensky, Teor 1987.
115

Curso Algebra Superior 2

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Curso Algebra Superior 2

Cargado por

Copyright:

Formatos disponibles

T opicos de Algebra y Aritm etica

TOPICOS DE ALGEBRA Y ARITMETICA

TOPICOS DE ALGEBRA Y ARITMETICA

3. Los 3.1. 3.2. 3.3. 3.4.

Cap tulo 1 Un Repaso de Teor a de Conjuntos

CAP ITULO 1. UN REPASO DE TEOR IA DE CONJUNTOS

1.1. AXIOMAS Y OPERACIONES FUNDAMENTALES

CAP ITULO 1. UN REPASO DE TEOR IA DE CONJUNTOS

1.1. AXIOMAS Y OPERACIONES FUNDAMENTALES

CAP ITULO 1. UN REPASO DE TEOR IA DE CONJUNTOS 6) A (B C ) = (A B ) (A C ) y A (B C ) = (A B ) (A C ); 7) A = y A = A 8) A = A B si y s olo si A B ; 9) A = A B si y s olo si B A.

1.1. AXIOMAS Y OPERACIONES FUNDAMENTALES

CAP ITULO 1. UN REPASO DE TEOR IA DE CONJUNTOS

1.2. PAREJAS ORDENADAS

CAP ITULO 1. UN REPASO DE TEOR IA DE CONJUNTOS

1.2. PAREJAS ORDENADAS

CAP ITULO 1. UN REPASO DE TEOR IA DE CONJUNTOS

Producto Cartesiano y Relaciones

1.3. PRODUCTO CARTESIANO Y RELACIONES 1) reexiva si aRa, para cada a A;

CAP ITULO 1. UN REPASO DE TEOR IA DE CONJUNTOS

1.3. PRODUCTO CARTESIANO Y RELACIONES

CAP ITULO 1. UN REPASO DE TEOR IA DE CONJUNTOS

Cap tulo 2 Los N umeros Naturales

En la presente cap tulo vamos a garantizar la existencia del conjunto

CAP ITULO 2. LOS NUMEROS NATURALES

CAP ITULO 2. LOS NUMEROS NATURALES

2.2. LOS AXIOMAS DE PEANO

Los Axiomas de Peano

CAP ITULO 2. LOS NUMEROS NATURALES

2.2. LOS AXIOMAS DE PEANO

CAP ITULO 2. LOS NUMEROS NATURALES 4) para cada n N es cierto que n = n.

2.2. LOS AXIOMAS DE PEANO

CAP ITULO 2. LOS NUMEROS NATURALES

Y MULTIPLICACION EN N 2.3. ADICION

CAP ITULO 2. LOS NUMEROS NATURALES

Y MULTIPLICACION EN N 2.3. ADICION

CAP ITULO 2. LOS NUMEROS NATURALES

Y MULTIPLICACION EN N 2.3. ADICION

CAP ITULO 2. LOS NUMEROS NATURALES

CAP ITULO 2. LOS NUMEROS NATURALES

CAP ITULO 2. LOS NUMEROS NATURALES

CAP ITULO 2. LOS NUMEROS NATURALES

CAP ITULO 2. LOS NUMEROS NATURALES

CAP ITULO 2. LOS NUMEROS NATURALES

CAP ITULO 2. LOS NUMEROS NATURALES

Cap tulo 3 Los N umeros Enteros

En el presente cap tulo vamos a garantizar la existencia del conjunto

CAP ITULO 3. LOS NUMEROS ENTEROS

CAP ITULO 3. LOS NUMEROS ENTEROS

DE Z 3.2. CONSTRUCCION 1) s = m si y s olo si p = q ; olo si p > q ; 2) s > m si y s 3) s < m si y s olo si p < q.

CAP ITULO 3. LOS NUMEROS ENTEROS

Y MULTIPLICACION EN Z 3.3. ADICION

54 Por otra parte, por denici on,

CAP ITULO 3. LOS NUMEROS ENTEROS

[a, b] + [c, d] = [a + c, b + d].

Y MULTIPLICACION EN Z 3.3. ADICION

Como consecuencia de esto, las clases de equivalencia [s + t, m + n] y [s t + m n, s n + m t]

Como la adici on y la multiplicaci on en N son conmutativos, tenemos que: st+mn=ts+nm y s n + m t = t m + n s.

CAP ITULO 3. LOS NUMEROS ENTEROS

CAP ITULO 3. LOS NUMEROS ENTEROS

Los Enteros Positivos, Los Negativos y El Cero

3.4. LOS ENTEROS POSITIVOS, LOS NEGATIVOS Y EL CERO

CAP ITULO 3. LOS NUMEROS ENTEROS

CAP ITULO 3. LOS NUMEROS ENTEROS

3.4. LOS ENTEROS POSITIVOS, LOS NEGATIVOS Y EL CERO