Está en la página 1de 78

UNIVERSIDAD NACIONAL DEL ALTIPLANO

FACULTAD DE INGENIER CIVIL, ARQUITECTURA IA ESCUELA PROFESIONAL CIENCIAS F ISICO MATEMATICAS

Segunda Prctica-Preprofesional a Informe Responsable:


Est. Lucio Elias Flores Bustinza

Asesor:
Lic. Faustino Murillo Mamani PUNO 2010 PERU

Universidad Nacional del Altiplano Facultad de Ingeniera Civil y Arquitectura Escuela Profesional de Ciencias Fsico Matemticas

Y X

INFORME N 001 2010EPFM AL : Lic. Juan Carlos Benavides Huanca Director de Estudios de la Escuela Profesional Cs. F sico Matemticas a Lic. Faustino Murillo Mamani Informe de las Prcticas Pre Profesionales a 19 de Marzo del 2010

DE ASUNTO FECHA

: : :

Es grato dirigirme a Ud. a n de informarle sobre las prcticas a realizadas por el Estudiante LUCIO ELIAS FLORES BUSTINZA, el cual detallo a continuacin: o 1. Mediante MEMORANDO N-010-2008-DE-EPCFM-FICA-UNA. Se designa Al estudiante LUCIO ELIAS FLORES BUSTINZA, para que realice prcticas prea profesionales en la escuela profesional de Ciencias F sico Matemticas en la asiga natura de TOPICOS DE ALGEBRA la misma que realizo bajo mi asesor a. 2. El estudiante realizo la prctica a partir de la fecha 20 de Marzo del 2008 y a culminando el 17 de Julio del 2008, acumulando un total de 30 horas acadmie cas, que consiste en desarrollar la parte practica de la asignatura de TOPICOS DE ALGEBRA , correspondiente al X semestre de la E.P. de Ciencias F sico Matemticas. a 3. Durante la realizacin de la prctica pre-profesional del estudiante en mencin o a o demostr, responsabilidad y dominio de los temas, tanto en la preparacin de o o sus sesiones, como en su desenvolvimiento ante los estudiantes y dems tareas a asignadas. 4. Concluida la practica pre-profesional el estudiante alcanzo los objetivos establecidos, siendo as solicito a Ud. seor Director ha realizar los trmites necesarios ; n a para la expedicin de la respectiva Resolucin. o o Es cuanto informo a Ud. para los nes que el interesado tenga por conveniente.

Atentamente,

LIC. FAUSTINO MURILLO MAMANI Asesor

Universidad Nacional del Altiplano Facultad de Ingeniera Civil y Arquitectura Escuela Profesional de Ciencias Fsico Matemticas

Y X

INFORME N 001 2010EPFM AL DE ASUNTO FECHA : : : : LIC. FAUSTINO MURILLO MAMANI Asesor de Prcticas a Est. Lucio Elias Flores Bustinza Informe de las Prcticas Pre Profesionales a 19 de Marzo del 2010

Es grato dirigirme a Ud. sobre las prcticas que realice el a cual detallo a continuacin: o 1. Mediante el MEMORANDO N-010-2008-DE-EPCFMFICA-UNA.de fecha, Puno C.U, Marzo 17 del 2008, se me designa a su persona como asesor, para que realice las prcticas pre-profesionales en la Escuela Profesional de Ciencias F a sico Matemticas en la asignatura de TOPICOS DE ALGEBRA. a 2. Inicie la prctica el d 20 de Marzo del 2008, terminando el 17 de Julio del 2008, a a acumulando satisfactoriamente las 30 horas acadmicas pedidas. e 3. Los detalles de la prctica pre-profesional se encuentran en la documentacin a o adjunta en este informe. En cuanto puedo informar a Ud. para los nes consiguientes.

Atentamente,

Est. LUCIO ELIAS FLORES BUSTINZA UNA-PUNO

PRESENTACION
Estas notas se originan por las practicas pre-profesionales realizada del 20 de Mar zo del 2008, terminando el 17 de Julio del 2008 en la asignatura de TOPICOS DE ALGEBRA en la Escuela Profesional de Ciencias F sico Matemticas de la Universia dad Nacional del Altiplano- Puno. En el primera parte contiene todos los datos personales, del lugar donde se realizo las practicas pre-profesionales y los datos de la asignatura. En la segunda parte justica la realizacin de las prcticas pre-profesionales. Y en la tercera parte menciona los o a objetivos de la prctica pre-profesional. a En la cuarta parte se presenta el contenido del curso, presentndose este contenido a en dos cap tulos, siendo el primer capitulo de El Conjunto de Nmeros Reales, en el que u se presenta todas las propiedades y operaciones fundamentales en las cuales es cerrado este conjunto para nalmente poder denir el campo y anillo de los nmero reales. En u el Segundo Cap tulo de Grupos, se presenta los conceptos fundamentales e importantes de la teor de grupos, tales como subgrupos, grupos c a clicos, para nalmente poder denir el isomorsmo y homomorsmo de estos. En el presente informe se presenta algunos aspectos de la teor del Algebra, no a se busca la originalidad, de hecho todos los resultados presentados aqu pueden ser hallados en la bibliograf a. Espero que este informe sirva como referencia para futuras prcticas pre-profesionales a que se realicen referentes a la Asignatura.

LUCIO ELIAS FLORES BUSTINZA

Indice general
Presentacin o I. DATOS INFORMATIVOS II. JUSTIFICACION III. OBJETIVOS 1. Conjunto de Numeros Reales 1.1. Conjuntos . . . . . . . . . . . . . . . . . . . 1.2. Operaciones . . . . . . . . . . . . . . . . . . 1.3. Axiomas para el Sistema de Numeros Reales 1.4. Consecuencias de los Axiomas Algebraicos . 1.5. Consecuencias de los Axiomas de Orden . . 1.6. El Axioma de Completes . . . . . . . . . . . 1.7. Una Aplicacin del Axioma de Completes . o 1.8. El Conjunto de los Enteros . . . . . . . . . . 1.9. Divisin de Enteros . . . . . . . . . . . . . . o 1.10. El Principio de Buen Orden . . . . . . . . . 1.11. El Algoritmo de la Divisin . . . . . . . . . o 1.12. Los Nmeros Racionales . . . . . . . . . . . u 1.13. Campos y Anillos de Nmeros Reales . . . . u . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 6 7 9 10 10 12 16 17 21 29 30 37 37 38 43 47 48 51 51 52 53 53 55 55 57 58 61 62 64 65 65 68

2. Grupos 2.1. Operaciones Binarias . . . . . . . . . . . . . . . . . . . . . 2.1.1. Operaciones Binarias con Tablas . . . . . . . . . . . 2.1.2. Criterios para Denir una Operacin Binaria. . . . o 2.2. Propiedades de Grupos . . . . . . . . . . . . . . . . . . . . 2.3. Grupos C clicos . . . . . . . . . . . . . . . . . . . . . . . . 2.3.1. Propiedades Elementales . . . . . . . . . . . . . . . 2.3.2. Clasicacin de Grupos C o clicos . . . . . . . . . . . 2.4. Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.5. Isomorsmo de Grupos y Propiedades Fundamentales . . . 2.5.1. Como Demostrar que dos Grupos son Isomorfos . . 2.5.2. Como Demostrar que Dos Grupos no son Isomorfos 2.6. Productos Directos . . . . . . . . . . . . . . . . . . . . . . 2.6.1. Productos Directos Externos . . . . . . . . . . . . . 2.6.2. Productos Directos Internos . . . . . . . . . . . . . 4

2.7. Homomorsmos de Grupos y Propiedades Fundamentales . . . . . . . . 2.8. El Teorema Fundamental del Homomorsmo . . . . . . . . . . . . . . . V. CRONOGRAMA DE ACTIVIDADES VII. BIBLIOGRAF IA

70 72 75 77

DATOS INFORMATIVOS
Responsable DNI Cdigo o Nivel Semestre Duracin o : : : : : : Lucio Elias Flores Bustinza 42010485 990717 Quinto Decimo Del 20 de Marzo del 2008 al 17 de Julio del 2008

Asesor Institucin o Lugar Facultad Escuela Profesional

: : : : :

Lic. Faustino Murillo Mamani Universidad Nacional del Altiplano Puno Ingenier Civil y Arquitectura a Ciencias F sico Matemticas a Tpicos de Algebra o Obligatorio 3T.(Teor a)+2P.(Prcticas)=5 Hrs. a 4 2007 2007-II Orientacin o Flexible Unico

Asignatura Naturaleza de la Asignatura N mero de Horas u Crditos e A o Acadmico n e Semestre Area Condicin o Grupo

: : : : : : : : :

JUSTIFICACION
Las practicas pre-profesionales en la escuela profesional de Ciencias F sico Matemticas, a son de mucha importancia para poner en prctica los conocimientos y experiencias a adquiridas en nuestra etapa como estudiante en la universidad, as mismo construimos una solida base adquiriendo destreza y habilidad para nuestro buen desempeo como n profesionales. Por otro lado, las practicas pre-profesionales es para dar cumplimiento a uno de los requisitos exigidos dentro del Programa Acadmico de la Facultad de Ingenier Civil e a y Arquitectura de Nuestra Universidad Nacional del Altiplano para la obtencin del o grado acadmico de Bachiller, que tiene el siguiente sustento legal: e

1. Ley Universitaria N 23733


Dado en la casa de gobierno en Lima, a los nueve d del mes de diciembre de mil as novecientos ochenta y tres. En el gobierno de: FERNANDO BELAUNDE TERRY, y siendo PATRICIO REY DE CASTRO, Ministro de Educacin. o Art. 23 Los t tulos profesionales de licenciado o su equivalente requieren de estudios de una duracin no menor de diez semestres acadmicos o la aprobacin de los o e o aos o crditos correspondientes, incluidos los de cultura general que los preceden. n e Adems son requisitos la obtencin previa del Bachillerato respectivo y, cuando a o sea aplicable, el haber efectuado prctica profesional calicada. Para obtener el a t tulo de licenciado o sus equivalentes, se requiere de una tesis o de un examen profesional.

2. Estatuto de la Universidad Nacional del Altiplano


Aprobado en asamblea universitaria del 06 al 19 de enero de 2005. Art. 122 La actividad acadmica en una escuela profesional comprende: e - Formacin general. o - Formacin bsica profesional. o a - Formacin profesional. o - Investigacin. o - Orientacin profesional. o - Proyeccin y extensin universitaria. o o Su diseo involucra la programacin curricular terico-prctica de cada asignatun o o a ra; proyectos de investigacin sobre la realidad regional, nacional y mundial; plan o de actividades de proyeccin y extensin universitaria; y un plan de prcticas o o a pre-profesionales.

3. Curricula de la Escuela Profesional Ciencias F sico Matemticas a


Art. 40 El presente reglamento se sustenta en el estatuto de la U.N.A. que contempla la realizacin de prcticas pre profesionales en la formacin de todos los estudio a o antes de la universidad. Art. 41 Los estudiantes de la Carrera Profesional de Cs. F sico Matemticas estn a a obligados a realizar prcticas pre profesionales pudiendo efectuarse despus de a e haber logrado un m nimo de 170 crditos. e Art. 42 Las prcticas pre profesionales de la Carrera Profesional de Cs. F a sico Matemticas a sern prcticas productivas y prcticas de investigacin. a a a o Art. 43 Las prcticas productivas comprendern prcticas pedaggicas en centros de a a a o enseanza de nivel medio superior y universidades; prcticas en centros pron a ductivos, convenio, proyectos y otros que requieran la participacin de F o sicos Matemticos. a Art. 44 Las prcticas de investigacin se realizan en la U.N.A. bajo la direccin de a o o un profesor designado espec camente con este n. Art. 45 Las prcticas productivas de investigacin tendrn una duracin de un semestre a o a o acadmico. e Art. 46 Los estudiantes, despus de haber cumplido con sus prcticas productivas y/o e a de investigacin presentarn el informe a la institucin donde se realiz y esta a o a o o su vez informar de su desarrollo a la Direccin de Carrera quien lo remitir a la a o a comisin de prcticas pre profesionales para su aprobacin o desaprobacin. o a o o Art. 47 En el caso de que la prctica productiva y/o prcticas de investigacin se a a o realice en la Universidad Nacional del Altiplano el practicante presentar el ina forme al docente a cargo, ste a su vez informar su desarrollo a la Direccin de e a o la Carrera para el visto bueno de la comisin de prcticas Pre profesionales. o a Art. 48 Los aspectos no contemplados en el presente reglamento sern absueltos por a la Comisin de prcticas pre profesionales. o a

OBJETIVOS Objetivos Generales


Al concluir las practicas pre profesionales, se espera que el practicante logre: Aanzar la formacin profesional en la labor docente. o Consolidar habilidades y destrezas en la enseanza de la matemtica a nivel n a universitario. Adems al concluir la prctica pre profesional, los estudiantes de la Escuela Profea a sional de Ingenier Geolgica y Ciencias F a o sico Matemticas, sern capaces de: a a Consolidar los conocimientos tericos, llevndolos a la prctica. o a a Interprete teoremas y deniciones en forma clara para que ayuden a la resolucin o y entendimiento de problemas.

Objetivos Espec cos


Los objetivos espec cos que se tiene para la prctica desarrollada en la respectiva a asignatura designada es: Poner en prctica los conocimientos adquiridos, en la enseaza de la asignatura a n designada. Resolver problemas y ejercicios, haciendo uso de mtodos apropiados para cada e caso. Haciendo demostraciones y desarrollar ejercicios y problemas, distinguiendo el mejor mtodo para la solucin de estos. e o Aplicar teoremas y deniciones que ayuden a una mas fcil y rpida solucin de a a o problemas.

Cap tulo 1 Conjunto de Numeros Reales


1.1. Conjuntos

Si una propiedad especica es considerada y si adems, es posible una prueba india vidual de cada objeto para esta propiedad, entonces la totalidad de objetos que tienen esta propiedad es llamado conjunto. Para tal efecto la propiedad es llamada propiedad de denicin de el conjunto. o Un conjunto usualmente es representado por una letra mayscula y los elementos u del conjunto por letras minsculas, por ejemplo si decimos que x es un elemento de el u conjunto S, se escribe: xS En lo posterior, para ciertos casos se asumir que si S es el conjunto de todos los a objetos que tienen la propiedad P , entonces las sentencias x tiene la propiedad P y x es un elemento de S son sinnimos. o Un conjunto puede ser representado por comprensin y por extensin, por ejemplo o o el conjunto A con elemento 0 y 1 puede ser presentado por: A = {0, 1}, por extensin o A = {x R : x2 = x}, por compresin o Si S es un conjunto y se pudiera decir que P es una propiedad de los elementos de S, se podr pensar que la sentencia x tiene la propiedad P es cierta o falsa, y se pueda a determinar que x es un elemento de S. Entonces el conjunto A = {x S : x tiene la propiedad P } contiene exactamente estos elementos x de S para la cual la sentencia x tiene la propiedad P es cierta o verdadera. Por esta razn, el conjunto A es llamando conjunto o verdad de la propiedad P . Denicin 1 Si P es una propiedad de los elementos del conjunto S y A es un cono junto verdad de la propiedad P , entonces A es llamado un subconjunto de S.

10

Denicin 2 Si A1 y A2 son subconjuntos del conjunto universal S y si cada elemento o de A1 es un elemento de A2 , se dice que A1 esta contenido en A2 o que A1 es un subconjunto de A2 . Esta relacin es expresada simblicamente por o o x A1 x A2 o A1 A2 (1.1) (1.2)

La ecuacin (1.1) se lee x es un elemento de A1 implica que x es un elemento de o A2 , donde el s mbolo es llamado signo de implicacin. La ecuacin (1.2) se lee El o o conjunto A1 es contenido en el conjunto A2 . Se pondr atencin en las siguientes relaciones, donde A1 , A2 y A3 son subconjuntos a o arbitrarios de S. A1 A2 A1 A2 y y A2 A2 A1 A2 A2 A1 A1 = A2 A1 A1 (1.3) (1.4) (1.5)

Denicin 3 Si P1 y P2 son propiedades de elementos de le conjunto universal S, el o smbolo P1 P2 es usado para indicar la propiedad que tienen ambos P1 y P2 En otras palabras, un elemento x de S tiene P1 P2 si y solo si x tiene la propiedad P1 y P2 . Denicin 4 Si A1 y A2 son los conjuntos verdad de propiedades P1 y P2 entonces el o conjunto verdad de P1 P2 esta indicado por el s mbolo A1 A2 que se lee A1 interseccin A2 o En otras palabras, el conjunto A1 A2 es denido por la totalidad de elementos comunes de A1 y A2 . Tambin se pondr atencin a las siguientes relaciones, donde A1 y A2 son subcone a o juntos arbitrarios de S. A1 A2 = A2 A1 A1 A2 A1 , A1 A2 A2 A1 A1 = A1 (1.6) (1.7) (1.8)

Denicin 5 Si P1 y P2 son propiedades de elementos del conjunto universal S, el o smbolo P1 P2 que se lee P1 P2 es usado para indicar la propiedad que tiene al menos una de las o propiedades P1 P2 . o 11

En otras palabras, un elemento x de S tiene la propiedad P1 P2 si y solo si x tiene la propiedad P1 o x tiene la propiedad P2 . Si x tiene ambas propiedades P y P2 , entonces x tiene P1 P2 as como P1 P2 . Denicin 6 Si A1 y A2 son conjuntos verdad de propiedades P1 y P2 , entonces el o conjunto verdad de P1 P2 es indicado por el s mbolo A1 A2 que se lee A1 unin A2 o En otras palabras, el conjunto A1 A2 esta denido para la totalidad de elementos pertenecientes a cualquiera de los conjuntos A1 o A2 (o ambos). Se pondr atencin a las siguiente relaciones, donde A1 y A2 son subconjuntos a o arbitrarios de S. A1 A1 = A2 A1 A1 A1 A2 , A2 A1 A2 A1 A1 = A1 (1.9) (1.10) (1.11)

Puede ocurrir que P1 y P2 son propiedades de elementos de S y no existan elementos de S que tengan esa propiedad P1 P2 , en este caso, el conjunto verdad de la propiedad P1 P2 que no contiene elementos es llamado conjunto nulo vac que se indica por o o el s mbolo . Este conjunto es el subconjunto mas pequeo del conjunto universal S y esta conn tenido en todos los subconjuntos de S. Finalmente se ve que el subconjunto mas grande de S es el mismo conjunto, por lo cual se dice que el conjunto nullo y el conjunto S son subconjuntos impropios de S.

1.2.

Operaciones

Las operaciones denidas en la aritmtica del sistema de nmeros reales son las e u cuatro operaciones fundamentales: adicin, sustraccin, multiplicacin y divisin. Eso o o o tas son operaciones binarias denidas en el conjunto I de numeros reales. La palabra R binaria es usado para indicar que cada operacin es un mtodo para combinar dos o e elementos (no necesariamente diferentes) para producir un solo y unico elemento de I R. El s mbolo para representar una operacin no especicada ser o a Denicin 7 (Cerradura o Clausura) Dada una operacin binaria en un cono o junto S, se dice que S es cerrada bajo si para cada x y y elementos de S, entonces x y es un unico elemento de S. Tambin se dice que es una operacin binaria denida en S. y pude ser escrita e o de la siguiente manera: xA y y Axy A 12

Vale la pena aclarar que en el sistema de los nmeros reales la divisin por cero u o es imposible, en este caso, cuando se diga que el conjunto A de los nmeros reales es u cerrado bajo la divisin, signicar que: o a x A y y A con y = 0 x A y

Ejercicios 1
1. Sean A1 , A2 , A3 y A4 conjuntos de nmeros reales dados por: u A1 = {1, 2, 3, 4} A2 = {2, 3, 4, 5} A3 = {2, 3} A4 = {1, 2, 3, 5} Describir cada uno de los siguientes conjuntos, listando sus elementos a) A1 A2 = {1, 2, 3, 4, 5} b) A1 A3 = {1, 2, 3, 4} c) (A1 A2 ) A3 = ({1, 2, 3, 4, } {2, 3, 4, 5}) {2, 3} = {2, 3, 4} {2, 3} = {2, 3} d ) A4 A2 = {2, 3, 5} e) A1 A2 = {2, 3, 4} f ) A1 A3 = {2, 3} g) (A1 A2 ) A3 = ({1, 2, 3, 4, 5}) {2, 3} = {2, 3} 2. Cuales de las relaciones son verdaderas? (los conjuntos A1 , A2 , A3 y A4 son los del ejercicio 1) a) A1 A2 es FALSA Solucin: o 1 A1 pero 1 A2 que no satisface la denicin 2 o b) A3 A1 es VERDADERA Solucin: o 2 A3 y 2 A1 3 A3 y 3 A1

A3 A1

13

c) A1 (A1 A2 ) es VERDADERA Solucin: o Como A1 A2 = {1, 2, 3, 4, 5} se cumple que {1, 2, 3, 4} (A1 A2 ) A1 (A1 A2 )

Por (1.10)

d ) A4 (A1 A2 ) = (A4 A1 ) (A4 A2 ) es VERDADERA Solucin: o Sean A4 (A1 A2 ) = = (A4 A1 ) (A4 A2 ) = = De (1.4) A4 (A1 A2 ) (A4 A1 ) (A4 A2 ) (A4 A1 ) (A4 A2 ) A4 (A1 A2 ) A4 (A1 A2 ) = (A4 A1 ) (A4 A2 ) e) A2 A1 es FALSA Solucin: o Por que 5 a2 pero 5 A1 y no cumple la denicin (2) o f ) A3 (A1 A2 ) es VERDADERA Solucin: o Como A1 A2 = {2, 3, 4}, entonces 2 A3 2 (A A2 ) 3 A3 3 (A A2 ) g) (A1 A2 ) A2 es VERDADERA Solucin: o Como A1 A2 = {2, 3, 4} entonces 2 (A1 A2 ) 2 A2 3 (A1 A2 ) 3 A2 4 (A1 A2 ) 4 A2 (A1 A2 ) A2 implica que A3 (A A2 ) {1, 2, 3, 5} ({1, 2, 3, 4} {2, 3, 4, 5}) {1, 2, 3, 5} ({1, 2, 3, 5} {1, 2, 3, 4}) ({1, 2, 3, 5} {2, 3, 4, 5}) {1, 2, 3, 5}

3. En el siguiente problema, el conjunto universal es el conjunto de todos los cuadrilteros a en el plano, entonces se dene los conjuntos: A1 = {x S : xes un paralelogramo} ( A2 = {x S : xes un rectangulo} ( 14 ) )

A3 = {x S : xes un cuadrado} ( ) A4 = {x S : xes un rombo} (3) Cul de los siguientes conjuntos es verdadero? a Solucin: o Asumiendo que a la hora de comparar los elementos de los conjuntos son de dimensiones casi homogeneas se tiene: a) A1 A2 es FALSO b) A2 A1 es FALSO c) (A1 A4 ) = A2 es FALSO, por que d ) (A1 A4 ) = A3 es FALSO, por que e) (A1 A4 ) = A4 es FALSO, por que f ) A3 (A1 A4 ) es FALSO, por que g) A3 = (A1 A4 ) es FALSO, por que ( =( 3= 3= 3=3 3) 3) ( =( ) )

h) A3 (A2 A4 ) es VERDADERO, por que i ) A3 = (A2 A4 ) es VERDADERO, por que

4. Describe el siguiente conjunto listando sus elementos A = {x I : x2 + x = 0} R Solucin: o Resolviendo la ecuacin de segundo grado se tiene: o x2 + x = 0 x(x + 1) = 0 de donde A = {0, 1} 5. Bajo cual de las cuatro operaciones fundamentales, el conjunto A del ejercicio anterior es cerrado? Solucin: o Como el conjunto esta denido como A = {x I : x2 + x = 0} de donde sus R 2 elementos tiene que cumplir que x = x, entonces veamos para cual de las cuatro operaciones fundamentales es cerrado Para la Adicin o Si 0, 1 A 0 + (1) = 1 + 0 = 1 A, por lo tanto si es cerrado bajo la suma Para la Sustraccin o Si 0, 1 A 0 (1) = 1 A, por lo tanto no es cerrado bajo la sustraccin o x=0 x = 1

15

Para la Multiplicacin o Si 0, 1 A 0(1) = 1(0) = 0 A, por lo tanto si es cerrado bajo la multiplicacin o Para la Divisin o Si 0, 1 A 0 = 0 A, por lo tanto si es cerrado bajo la divisin o 1

1.3.

Axiomas para el Sistema de Numeros Reales

Denicin 8 El sistema de numeros reales consiste de un conjunto I cerrado bao R jo dos operaciones, llamadas adicin y multiplicacin, cuyos elementos satisfacen los o o siguientes axiomas algebraicos: A1. a + (b + c) = (a + b) + c. (Ley asociativa para la adicin) o A2. Existe un unico elemento 0 en I tal que a + 0 = 0 + a = a, para algn a I R u R. A3. Para cada elemento a de I existe un unico elemento a en I tal que a+(a) = R, R (a) + a = 0. El elemento a es llamado el negativo (o el opuesto aditivo) de a. A4. a + b = b + a. (Ley conmutativa para la adicin) o A5. a (b c) = (a b) c. (Ley asociativa para la multiplicacin) o A6. Existe en I un unico elemento 1 diferente de cero, tal que a 1 = 1 a = a, para R algn a en I u R A7. Para cada elemento a I con a = 0, existe un unico elemento a1 en I tal que R, R a (a1 ) = 1. El elemento a1 es llamado el rec proco (o inverso multiplicativo) de a. A8. a b = b a. (Ley conmutativa para la multiplicacin) o A9. (a + b) c = a c + b c (Ley distributiva izquierda)

Los Axiomas de Orden


Existe un subconjunto P de I (llamado el conjunto positivo de los nmeros reales) R u que satisface lo siguiente: O1. El conjunto P es cerrado bajo la adicin. o O2. El conjunto P es cerrado bajo la multiplicacin. o O3. Para algn nmero real a, exactamente una de las siguientes ocurre: a = 0 a P u u o a P . (Ley de la Tricotomia) o

16

1.4.

Consecuencias de los Axiomas Algebraicos


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

Teorema 1 [Ley distributiva derecha.] Si a, b, c I entonces R,

Teorema 2 [Ley de cancelacin para la adicin.] Sean a, b, c I Si a + b = a + c, o o R. entonces b = c. Teorema 3 El nmero 0 tiene la propiedad que a 0 = 0, para todo a I u R. Teorema 4 [El principio de integridad.] Si a, b I tales que ab = 0, entonces ocurre R, que a = 0 b = 0. o Teorema 5 (Ley de cancelacin para la multiplicacin.) Si a, b, c I tales que o o R ac = bc y c = 0, entonces a = b. Teorema 6 Para algn nmero real a, es cierto que (a) = a u u Teorema 7 (a)(b) = ab Los axiomas del sistema de nmeros reales no hace mencin a las operaciones de u o sustraccin y divisin, esto se debe a que estas operaciones pueden ser expresadas en o o trminos de la adicin y multiplicacin, tal como lo dice la siguiente denicin. e o o o Denicin 9 Si a y b son nmeros reales, entonces o u ab es denido por el nmero a + (b). Si b = 0, entonces u a ( a/b) o b es denido por el nmero a(b1 ). u Las operaciones asignadas al par de nmeros a,b como a b y a/b son llamadas u sustraccin y divisin. o o

Ejercicios 2
Pruebe que las siguientes reglas son ciertas en el sistema de nmeros reales. u 1. (a) = (1)a Demostracin: o a + (1)a = 1(a) + (1)a = (1 + (1))a = (1 1)a = (0)a =0 Por A6 Por A9 Por denicin 9 o Por A3 Por teorema 3

Como a + (1)a = 0 signica que (1)a es el inverso aditivo de a. Por lo tanto a = (1)a 17

2. (a)b = a(b) = (ab) Demostracin: o a) (a)b = a(b) (a)b = [(1)(a)]b = [(a)(1)]b = a[(1)(b)] = a(b) b) a(b) = (ab) a(b) = a[(1)(b)] = [(a)(1)]b = [(1)(a)]b = (1)[ab] = (ab) c) (a)b = (ab) (a)b = [(1)(a)]b = (1)[(a)(b)] = (ab) Por Prob. 1 Por A5 Por Prob. 1 Por Prob. 1 Por A5 Por A8 Por A5 Por Prob 1 Por Prob. 1 Por A8 Por A5 Por Prob. 1 Se har la prueba en tres partes: a

Por lo tanto de a), b) y c) se cumple que (a)b = a(b) = (ab) 3. a(b c) = ab ac Demostracin: o a(b c) = (b c)a = [b + (c)]a = ba + (c)a = ab + a(c) = ab + [(ac)] = ab ac Por A8 Por Def. 9 Por A9 Por A8 Por Prob. 2 Por Def. 9

4. (a + b) = (a) + (b) Demostracin: o (a + b) = (1)(a + b) = (a + b)(1) = a(1) + b(1) = (1)a + (1)b = (a) + (b) Por Prob. 1 Por A8 Por A9 Por A8 Por Prob. 1

18

5. (a b) + (b c) = a c Demostracin: o (a b) + (b c) = (a + (b)) + (b + (c)) = a + {(b) + [b + (c)]} = a + {[(b) + b] + c(c)} = a + [0 + (c)] = a + (c) =ac Por Def. 9 Por A1 Por A1 Por A3 Por A2 Por Def. 9

A
6. a + b a b =0 Demostracin: o a + b a b = (a b1 ) + ((a) b1 ) = ab1 + [(ab1 )] = ab1 ab1 =0 Por Def. 9 Por Prob. 2 Por Def. 9 Por A3

A
7. a b c ac = d bd Para probar esta propiedad, tenemos que hacer uso del siguDemostracin: o iente teorema

Teorema 8 a, b I con n Z se cumple que (ab)n = an bn R Probaremos este teorema por induccin o Para n = 0 se cumple puesto que: a0 b0 = 1 1 = 1 = (ab)0 Para n = h se cumple por denicin de induccin o o Para n = h + 1 con h Z (ab)h+1 = = = = = = 19 (ab)h (ab)1 (ah bh )(ab) ah [bh (ab)] ah (abh b) (ah a)(bh b) ah+1 bh+1

Ahora haremos la demostracin del ejercicio. En efecto o c a = (ab1 )(cd1 ) Por Def. 9 b d = a[b1 (cd1 )] Por A5 1 1 = a[b (d )] Por A8 1 1 = a[(b d )c] Por A5 1 1 = a[c(b d )] Por A8 1 1 = (ac)(b d ) Por A5 1 = (ac)(bd) Por Teo. 8 ac = bd

A
A9 A8 A9 A8

8. (a + b)(c + d) = ac + ad + bc + bd Demostracin: o (a + b)(c + d) = [a(c + d)] + [b(c + d)] = [(c + d)a] + [(c + d)b] = ca + da + cb + db = ac + ad + bc + bd Por Por Por Por

9. Probar al detalle los siguientes teoremas Teorema 4 (Principio de integridad) Si a y b son nmeros reales tales que u ab = 0, se cumple que: a = 0 b = 0 o Demostracin: o a) Sea ab = 0, para a = 0 se cumple que b = 0. En efecto ab = 0 , a = 0 (ab)a = 0 a1 a(b1 ) = 0 a(a1 b) = 0 (aa1 )b = 0 1b=0 b=0
1

Por Def. 7 Por Teo. 3, A5 Por A8 Por A5 Por A7 Por A6

b) Si ab = 0, para b = 0, se cumple que a = 0. En efecto ab = 0 , b=0 1 (ab)b = 0 b a(bb1 ) = 0 a1=0 a=0


1

Por Def. 7 Por Teo. 3, A5 Por A7 Por A6

20

De a) y b), el teorema queda probado.

Teorema 5 (Ley de la cancelacin para la multiplicacin) Si a, b, c son o o nmeros reales tales que ac = bc y c = 0, entonces a = b. u Demostracin: o ac = bc (ac)c = (bc)c1 a(cc1 ) = b(cc1 ) a(1) = b(1) a=b
1

Por Def. 7, A7 Por A5 Por A7

A
1.5. Consecuencias de los Axiomas de Orden
Los axiomas de orden tienen que ver con cierto subconjunto P (conjunto de numeros reales positivos), entonces se denir el conjunto N de numeros negativos por a N = {a I : a P } R Si ahora representamos el conjunto de nmeros reales conteniendo al nmero 0 solo u u por el s mbolo {0}, se obtendr la ley de la tricotomia a I = N {0} P R los tres conjuntos N, {0} y P juntos contienen a todos los nmeros reales, adems u a la interseccin de alguno de estos conjuntos es siempre el conjunto nulo. Este ultimo o hecho dice que los conjuntos N, {0} y P son particiones disjuntas. Muchas de las consecuencias de los axiomas de orden dependen de la relacin mayor o que denida a continuacin. o Denicin 10 Si a y b son nmeros reales, entonces a > b (se lee a es mayor que o u b) es denido como el nmero a b es un elemento de P . El s u mbolo a b (se lee a es mayor o igual que b). El smbolo a < b (se lee a es menor que b) pensando que b es mayor que a. Finalmente a b como a es menor o igual que b. El siguiente teorema da cuatro propiedades bsicas de la relacin mayor que. La a o propiedad a) es una reexin de el hecho que la relacin es denida en trminos de la o o e adicin (sustraccin), mientras que las propiedades b), c) y d) son los axiomas O1, O2, o o O3 respectivamente. Teorema 9 La relacin mayor que es una relacin que tiene las siguientes propiedades o o (donde x.y.z son nmeros reales): u a) x > y x + z > y + z 21

b) x > y y > z x > z c) x > y z P xz > yz d) Si a y b son algn par de nmeros reales, entonces exactamente una de los siguu u ientes es cierta: i) a = b ii) a > b iii) a < b Teorema 10 Si a es algn nmero real diferente de cero, entonces a2 > 0 u u Teorema 11 1 P Teorema 12 Si a > 0 y b < 0, entonces ab < 0 Teorema 13 a > 0 a1 > 0 o o

Ejercicios 3
1. Pruebe que si a es algn nmero real, entonces a + 1 > a u u Demostracin: Sea 1 > 0 entonces por el teorema 9 parte a), se puede sumar o cualquier nmero real a en ambos lados de la inecuacin, entonces se tiene: u o 1 > 0 a+1 > a+0 a+1 > a

A
2. Pruebe que: a > 1 a1 < 1 Demostracin: o a>1 Por Hip.

Como a > 1 implica que a P es decir que a > 0, por el teorema 13 se sabe que si a > 0 a1 > 0, lo que implica que a1 P ., entonces a a1 > 1 a1 1 > a1 Por Teo. 9 - c) Por A6

A
a 3. Probar que si > 0 ab > 0 b Probaremos el ejercicio en dos partes 22

a) Si

a > 0 ab > 0 b Demostracin: Sabemos que o a > 0 ab1 > 0 b como ab1 > 0 esto se cumple cuando a > 0 b1 > 0 a < 0 b1 < 0

i) Si a > 0 b1 > 0 Primero probemos el rec proco del teorema 13 en el siguiente corolario 1 Corolario 1 Si b > 0 entonces b > 0 Demostracin: Haremos la demostracin por el absurdo. Diremos eno o tonces que si b1 > 0 asumiremos que b < 0, entonces la multiplicacin o de ambos resultar: a b1 b < 0 1 < 0 () lo que es una contradiccin. Por lo tanto, si b1 > 0 b > 0 o Para nuestro caso entonces: a >0 b ab1 > 0 (ab1 )b > 0 b a(bb1 ) > 0 a(1) > 0 a>0 ab>0b ab > 0

Por Def. 9 Por Cor. 1, Teo. 9-c) Por A5, Teo3 Por A7 Por A6 Por Teo. 9-c) Por Teo3

ii) Si a < 0 b < 0 Primero demostraremos el siguiente teorema: Teorema 14 Para a, b, c nmeros reales, se cumple que si a > b y u c < 0 entonces ac < bc Demostracin: como c < 0 entonces c > 0, es decir c P , luego o a>b a(c) > b(c) (ac) > (bc) (ac) ((bc)) > 0 (ac) + (bc) > 0 bc ac > 0 bc > ac ac < bc

23

Como a < 0 b < 0 entonces por el teorema 12 tenemos a > 0 b > 0 b1 > 0(por Teo. 13). En efecto a >0 b (a)(b1 ) > 0 ab1 > 0 a[(b1 )(b)] < 0(b) a(1) < 0 a<0 ab>0b ab > 0 Finalmente de i) y ii), b) Si ab > 0 a >0 b Por Hip. Por Def. 9 Por Teo. 7 Por Teo.14 Por A7 Por A6 Por Teo.14 Por Teo3

a > 0 ab > 0 queda probado. b a>0 b>0 a<0 b<0 a >0 b

de donde esto se cumple cuando Demostracin: o

i) para a > 0 y b > 0 se cumple que si ab > 0 por el teorema 13 se sabe que b > 0 b1 > 0 ab > 0 ab1 > 0 (ab)b1 > 0 b1 a(bb1 ) > 0 a1>0 a>0 a b1 > 0 b1 a >0 b

Por Def. 9 Por Teo.9-c) Por A5, Teo.3 Por A7 Por A6 Por Teo.9-c) Por Def.9, Teo.3

a >0 ii) Para a < 0 y b < 0 se cumple que si ab > 0 b la hiptesis implica que a > 0 y b > 0 y por el teorema 13 se sabe o

24

que si b > 0 b1 > 0, luego ab > 0 Por Teo.7 1 1 (ab)(b ) > 0(b ) Por Teo.9-c) 1 a(bb ) > 0 Por A5, Teo.3 a(1) > 0 Por A7 a<0 Por Teo.14 1 1 a(b ) < 0 (b ) Por Teo.13 1 (ab ) < 0 Por Prob.2-2, Teo.3 ab1 > 0 Por Teo.14 a >0 Por Def.9 b a Finalmente de i) y ii), ab > 0 > 0 queda probado. b 4. Probar los teoremas 11 y 13 Teorema 11. 1 P . Demostracin: o es decir Como P es el conjunto de todos los nmeros reales positivos, u P = {x I : x > 0} R como 1 > 0 entonces 1 P . Teorema 13. Si a > 0 a1 > 0. Demostracin: o Como 1 P entonces 1>0 aa >0
1

(a)(b) > 0

Por A7 a > 0 a1 > 0 a < 0 a1 < 0

de donde la ultima desigualdad se cumple cuando

a) Si a > 0 a1 > 0 Haremos la prueba por el absurdo, supongamos que a1 < 0, entonces se tiene a > 0 a(a1 ) < 0 1 < 0 () Por Teo.14 Por A7

el ultimo resultado es una contradiccin, por lo que a1 > 0 o 1 b) Si a < 0 a < 0 Como a < 0 a1 < 0 entonces a > 0 a1 > 0 a<0 (a) > 0 (a)(a1 ) > 0(a1 ) aa1 > 0 1>0 a1 < 0(a1 ) a1 < 0 25 Por Teo.9-c) Por Teo.7, Teo.3 Por A7 Por Teo.14 Por Teo.3

Por lo tanto, de a) y b) 5. Pruebe que, si a P b > a b P

Demostracin: Como a P , entonces a > 0, adems tenemos que b > a, de o a donde se cumple que b>a>0 Por lo tanto b > 0, es decir b P . 6. Pruebe que, si a I y x > y a y > a x R Demostracin: o x>y xy >0 xy+0>0+0 (x y) + (a a) > 0 x + (y + a) a > 0 (y + a) + (x a) > 0 (a y) + (x a) > 0 (a y) + [(x) a] > 0 (a y) + [(1)(x) + (1)(a)] > 0 (a y) + [(x) + a](1) > 0 (a y) + (1)(a x) > 0 (a y) (a x) > 0 ay >ax Por Def.10 Por A2 Por A3 Por A1 Por A4 Por A4 Por Teo.7 Por Prob. 1-2 Por A8, A9 Por A8, A4 Por Def.9 Por Def.10

A
7. Mostrar que si a, b, c son positivos, entonces Demostracin: o a c > ad > bc b d Como a, b, c, d P entonces a > 0, b > 0, c > 0, d > 0 ab1 > cd1 (ab1 )b > (cd1 )d a(b1 b) > c(d1 b) a(1) > c(d1 b) a > c(bd1 ) a > (cb)d1 ad > [(cb)d1 ]d ad > (cb)(d1 d) ad > cb(1) ad > cb Por Def.9 Por Teo.9-c) Por A5 Por A7 Por A6, A8 Por A5 Por Teo.9-c Por A5 Por A7 Por A6 a c > b d

A
26

8. Sean a y b nmeros positivos. Pruebe que: u a) a > b a2 > b2 b) a2 > b2 a > b Demostracin: o a) Sean a > b a2 > b2 , con a, b P a>b aa>ba a2 > ab Por otro lado tenemos a>b ab>bb ab > b2 Por Teo.9-c (1.13) Por Teo.9-c (1.12)

luego de (1.12) y (1.13) y por el teorema 9-b) tenemos a2 > b2 Por lo tanto, si a > b a2 > b2 b) Sean a2 > b2 a > b, con a, b P Haremos la prueba por contradiccin, es decir asumiremos que a > b, es o decir que a < b a<b aa<ba a2 < ba por otro lado a<b ab<bb ab < b2 Por Teo.9-c (1.15) Por Teo.9-c (1.14)

de (1.14) y (1.15) y el teorema 9-b) tenemos que a2 < b2 , y esto contradice a la hiptesis inicial que es a2 > b2 . o Por lo tanto, es probado que si a2 > b2 a > b

9. Use el principio de integridad para mostrar que {x I : (x a)(x b) = 0} = {x I : x a = 0} {x I : x b = 0} R R R Demostracin: o para x, a, b I R Como I es cerrado bajo + y entonces xa, xb I R R,

{x I : (x a)(x b) = 0} = {x I : (x a) = 0 (x b) = 0} Por Teo.4 R R 27

sea P1 la propiedad x a = 0 del conjunto verdad A1 = {x I : x a = 0} R e igualmente, sea P2 la propiedad x b = 0 del conjunto verdad A2 = {x I : x b = 0} R entonces por la denicin 6 o {x I : (x a)(x b) = 0} = {x I : (x a) = 0 (x b) = 0} R R = {x I : P1 P2 } R = {x I : x a = 0} {x I : x b = 0} R R

A
10. Si x, a, b son nmeros reales, pruebe que u (x a)(x b) = x2 (a + b)x + ab Demostracin: o (x a)(x b) = x(x b) + (a)(x b) Por A8, Def.9 = x(x) + x(b) + (a)(x) + (a)(b) Por Teo.1 = x2 bx ax + ab Por Def.9 2 = x (bx + ax) + ab Por Prob. 1-2, Teo.1 2 = x (b + a)x + ab Por A9

A
11. Describe el siguiente conjunto listando sus elementos {x I : x2 + x 12 = 0} R Solucin: o En efecto, factorizando el polinomio de segundo grado se tiene x2 + x 12 = 0 (x 3)(x + 4) = 0 de donde por el principio de integridad se tiene que x3=0 x=3 Entonces el conjunto ser: {3, 4} a 12. Muestre que {x I : x2 + 1 = 0} = R 28 x+4=0 x = 4

Demostracin: Sea el conjunto {x I : x2 + 1 = 0}, que es el conjunto o R formado por todos los nmeros reales que satisfagan la propiedad x2 + 1 = 0, u entonces veamos el conjunto listando todos sus elementos, para ello resolvamos dicho polinomio cuadrtico a x2 + 1 = 0 x2 = 1 x = 1 como la operacin 1 no esta denida bajo I entonces, nuestro conjunto no o R tiene elementos, es decir {x I : x2 + 1 = 0} = {} R

A
1.6. El Axioma de Completes
Muchas de las propiedades del sistema de nmeros reales dependen de el axioma u de completes que se da en esta seccin. Antes de denir el axioma, se dar algunas o a deniciones preliminares. Denicin 11 Si A es un conjunto de nmeros reales y x es el nmero mayor o igual o u u que todos los elementos de A, entonces x es llamado una cota superior de el conjunto A. Es decir que cada elemento de A es menor o igual que x, (x, a A se cumple que a x). Hay que aclarar de que si x es una cota superior de A, quiere decir que x puede como no estar en el conjunto A Denicin 12 El nmero x es llamado la menor cota superior o supremo del conjunto o u A siempre que: 1. x es una cota superior de A. 2. Si y es una cota superior de A, entonces x y De ahora en adelante, se usar el s a mbolo A para representar al conjunto de todas las cotas superiores del conjunto A. A = {x I : x es una cota superior de A} R Denicin 13 El nmero x es supremo o la menor cota superior del conjunto A si: o u 1. x A 2. y A x y Axioma de Completes. superior tiene un supremo. Todo conjunto no nulo de nmeros reales que tiene cota u

29

1.7.

Una Aplicacin del Axioma de Completes o

Mostraremos que existe un nmero positivo a tal que a2 = 2. El nmero a podr u u a ser representado por 2. Primeramente se mostrar la existencia de 2, esto resulta a de que ( 2)2 = 2, y por una aplicacin del principio de integridad se muestra que el o conjunto {x I : x2 = 2} R contiene exactamente los elementos 2 y 2. La prueba de la existencia de que ahora se citan 2 podr depender de dos resultados preliminares a

Lema 1 Si x es un nmero real tal que x2 < 2, entonces existe un nmero real y tal u u que y > x y y 2 < 2. Demostracin: como x es un nmero real tal que x2 < 2, se debe construir un o u nmero y que satisfaga las condiciones del lema: x > y y 2 < 2. Para esto se u considerar dos casos a Caso I. (x < 1): En este caso, sea y = 1 y con esto las dos condiciones del lema se cumplen 1 > x 12 < 2 Caso II. (x 1): Para probar este caso, se tratara de encontrar un nmero positivo u 2 tal que (x + ) < 2 con 0, 1 . Entonces y = x + deber satisfacer las dos a condiciones de lema. Se deber ahora mostrar dos cosas: primero que es positivo y a segundo que (x + )2 < 2. Para este propsito o (x + )2 = x2 + 2x + 2 = x2 + (2x + ) x2 + (2x + 1) consideremos = 2 x2 2x + 1

Primeramente se probara que es positivo, para tal caso, se ve que tanto el numerador como el denominador de la fraccin de son positivos debido a que x 1. o Probaremos ahora que (x + )2 < 2, para esto vemos que 2 x2 es menor o igual que 1, por que x 1 y 2x + 1 es mayor que 1, por la misma razn, lo que implica que o < 1. Luego podemos escribir que 2 x2 2 x2 < 2x + 1 2x + (1.16)

ya que el denominador de la primera fraccin es mayor que de la segunda fraccin, o o entonces 2 x2 < (1.17) 2x + 30

nalmente desarrollando la ultima desigualdad se tiene 2x + 2 < 2 x2 x2 + 2x + 2 < 2 (x + )2 < 2 (1.18) (1.19) (1.20)

Por lo tanto, el nmero y = (x + ) > x y que y 2 < 2, con lo que se prueba el lema. u

Lema 2 Si x es un nmero real tal que x2 > 2, entonces existe un nmero real y tal u u que y < x y y 2 > 2. Teorema 15 Existe un nmero positivo a tal que a2 = 2 u

Ejercicios 4
1. Pruebe que si a, b, c P con b > c, entonces a/b < a/c. Mostrar donde fue usada esta propiedad en la prueba del lema 1. Demostracin: o b>c bb1 < cb1 1 > cb1 c1 > c1 (cb1 ) c1 1 b1 ac1 > ab1 a a > c b a a < b c Por Teo.13, Teo.9-c) Por A7 Por Teo.13, Teo.9-c) Por A5, A8, A7 Por Teo.13 Por Def.9

Esta propiedad se uso en la prueba del lema 1, cuando se probo que (x + )2 < 2, 2 x2 2 x2 y al compararla con la fraccin o puesto que estaba denida como 2x + 1 2x + se ve que los denominadores ten la siguiente relacin an o 2x + 1 > 2x + lo que implico que 2 x2 2 x2 < 2x + 1 2x +

que es lo que dice la propiedad probada en este ejercicio. 2. pruebe que la palabra nico en A3 es redundante. u

31

Demostracin: El axioma A3 dice: Para cada elemento a de I existe un o R, unico elemento a en I tal que a + (a) = (a) + a = 0. El elemento a es R llamado el negativo (o el opuesto aditivo) de a Para probar que, la palabra unico es redundante en este axioma, se asumir que a existen b1 y b2 tales que cumplen b1 + a = a + b1 = 0 b2 + a = a + b2 = 0

donde se deber probar que b1 y b2 son iguales (b1 = b2 ) a b1 = b1 + 0 = b1 + (a + b2 ) = (b1 + a) + b2 = 0 + b2 b1 = b2 Por A2 Por Hip. Por A1 Por A2

Por lo tanto, la palabra unico es redundante debido a que siempre que se asuma que existe otro elemento inverso aditivo, este siempre va ha resultar el mismo nmero pero con signo opuesto. u 3. En la prueba del lema 1, justique los pasos que van de las desigualdades (1.17) a (1.18) y de (1.18) a (1.19). Formule y pruebe una proposicin justicando el o paso de (1.19) a (1.20) Demostracin: o a) De (1.17) a (1.18) De la desigualdad (1.17) tenemos que 2 x2 2x + < (2 x2 )(2x + )1 <

Por Def.9

2 x2 el denominador es siempre positivo Como x 1 y en la fraccin o 2x + debido a que = y x con y > x, entonces (2x + ) < (2 x2 )(2x + )1 (2x + ) 2x + < (2 x ) (2x + ) (2x + ) 2x + 2 < (2 x2 )(1) 2x + 2 < 2 x2 b) De (1.18) a (1.19)
2 2 1

Por Teo.9-c) Por Teo.1, A5 Por A7

32

De la desigualada (1.19) se tiene: 2x + 2 < 2 x2 (2x + 2 ) + x2 < (2 x2 ) + x2 (2x + 2 ) + x2 x2 + 2x + 2 x2 + 2x + 2 x2 + 2x + 2 c) De (1.19) a (1.20) Propocin 1 Sean a, b I se cumple que a2 + 2ab + b2 = (a + b)2 o R Antes de probar esta propiedad, debemos probar dos propiedades importantes dentro del algebra en los nmeros reales. u Propiedad 1 Para todo a I y n, m Z se cumple que an am = an+m R Demostracin: Por denicin de potencia de un nmero sabemos que o o u an = a.a.a.a....a.a.a
n f actores

Por Teo.9-A) Por Def.9 Por A4, A1 Por A3 Por A2

< 2 + (x2 ) + x2 < 2 + (x2 + x2 ) <2+0 <2

en nuestro caso an am = (a a ... a a)(a a ... a a)


n f actores m f actores

Def. de Potencia Asoc. Extendida Unin de conjuntos disjuntos o

= a a ... a a a a ... a a
n f actores

= a a ... a a an am = a
m+n f actores m+n

Propiedad 2 Para todo a I se cumple que a + a = 2a R, Demostracin: o a+a = 1a+1a = (1 + 1)a = 2a Finalmente demostraremos la proposicin 1 o a2 + 2ab + b2 = a2 + ab + ab + b2 = a(a + b) + b(a + b) = (a + b)(a + b) = (a + b)2 Para nuestro caso de la desigualdad (1.18) x2 + 2x + 2 < 2 (x + )2 < 2 33 Por Proposicin 1 o Propiedad 2 Teo.1 A9 Propiedad 1

A
4. De una prueba detallada de que el nmero 2 es una cota superior de el conjunto u 2 {x I : x < 2} R Demostracin: Una forma de demostrar que un nmero real c es una cota o u superior de A es probar que ningn nmero real x > c pertenece a A. u u 3 Veamos si c = es una cota superior de A. En efecto si x > c se tiene: 2 x > c x2 > c 2 x > x2 >
2

3 2

9 >2 4 x2 > c 2 > 2 Por lo tanto x A. Esto quiere decir que no existe ningn nmero real x > c u u que pertenezca a A. Siguiendo el mismo concepto de la demostracin anterior probemos ahora que 2 o es una cota superior de A, para ello c = 2 x > c x2 > c 2 x2 > 4 > 2 Por lo tanto x A, lo que implica que 2 es una cota superior de A. Ahora veamos otro modo de probar que 2 es una cota superior de A, para esto deberemos probar que x A con x2 < 2, se debe cumplir que x < 2. En efecto, sea x2 < 2 y adems se ve que 2 < 22 , luego por el Teorema9-b) se a tiene que x2 < 2 Pero por el problema 8-3 parte b) (a2 > b2 a > b) se tiene x2 < 22 x < 2 que era lo que quer amos probar, por lo tanto 2 es una cota superior de A.

5. Pruebe que si A tiene un supremo, entonces este supremo es unico. Demostracin: Sabemos por el teorema 15 que existe un nmero positivo tal o u 2 que x = 2 de donde podemos concluir que x2 = 2 x2 = 2 Def. Radical |x| = 2 x= 2 Def. Valor Absoluto x = 2 x= 2 34

Tomaremos el + debido a que estamos buscando el supremo del conjunto A. 2 Entonces sea c = 2, veamos si c es el supremo de A, por la denicin de supremo o (Denicin 15) deber cumplir que c es una cota superior de A y que si es una o a cota superior entonces x A, se cumplir que x c a a) Probaremos que c es una cota superior de A Para esto bastar probar que ningn x > c pertenece a el conjunto A a u x > c x2 > c 2 x2 > ( 2)2 x2 > 2 Prob. 8-3 Hip.

Por lo tanto x A, lo que quiere decir que c es una cota superior de A b) Probaremos que x x c En efecto x A x2 < 2 t< 2 x<c Por lo tanto c = 2 es el supremo del conjunto A

Veamos ahora que c es unico, para ello asumiremos que existen c1 y c2 supremos de A esto quiere decir que c1 = 2 c2 = 2 x A, y x c1 x c2 bastar probar que c1 = c2 , en efecto a c1 x c2 x2 1 2 x2 c2 x2 Hip. 2 c2 x Por lo tanto c1 = c2 Prob. 8-3 Hip. Prob. 8-3

6. Dar una denicin de cota inferior y la mayor de las cotas inferiores ( o Inmo) de un conjunto de nmeros reales. u Solucin: o Anlogo a la denicin 11 diremos que: a o Denicin 14 Si A es un conjunto de nmeros reales e y es el nmero menor o u u o igual que todos los elementos de A, entonces y es llamado una cota inferior de el conjunto A. Denicin 15 El nmero y es llamado la mayor cota inferior o o u Inmo del conjunto A siempre que: 35

a) y sea una cota inferior de A. b) Si x es una cota inferior de A, entonces y x 7. Use el axioma de completes para probar lo siguiente: todo conjunto no nulo de nmeros reales que tiene una cota inferior, tiene una mayor cota inferior( u nmo). Sugerencia: Sea A que representa al conjunto de las cotas inferiores de A. Aplique el axioma de completes a el conjunto A Demostracin: Sea A un conjunto de nmeros reales no nulo que posee una o u cota inferior c tal que x A se cumple que c x, deniremos ahora el conjunto A = {c I : c es una cota inferior de A} R como el conjunto de todas las cotas inferiores del conjunto A. Como A es no nulo por que al menos existe c (por hiptesis del problema), o adems c x, esto quiere decir que A esta acotado superiormente por cualquier a elemento de A y por el axioma de completes el conjunto A tiene un supremo C tal que c A se cumple que c C, luego C A , es decir que C es a mayor de las cotas inferiores, es decir es el nmo.

Observacin: Del resultado anterior se puede concluir que si o nf(A) = C entonces se cumple la siguiente nf(A) = sup(A) 8. Muestre que para algn conjunto A de nmeros reales se cumple que A (A ) u u Demostracin: Como A es un conjunto de nmeros reales, entonces podemos o u denir los siguientes conjuntos A A = {s I : s x} R = {c I : c x} R

luego el conjunto (A ) es el conjunto de todas las cotas inferiores del conjunto de las cotas superiores, es decir (A ) = {c I : c s} R pero por el teorema 9-b) sabemos que cx xs cs entonces (A ) = {c, x I : c x x s} R

como x s entonces los elementos del conjunto A tambin son cotas inferiores e de A , de donde se concluye que A (A ) 36

1.8.

El Conjunto de los Enteros

Primeramente vamos a llamar al conjunto J = {1, 2, 3, . . .} como el conjunto de los enteros positivos. Ahora vamos a asumir que J es un subconjunto del sistema de nmeros reales y en consecuencia el conjunto J hereda algunos axiomas del sistema de u nmeros reales. u Veamos ahora ciertos axiomas del mismo conjunto J.

Axiomas para los Enteros Positivos


J1. 1 J J2. J P J3. El conjunto J es cerrado bajo la adicin y la multiplicacin. o o J4. Si p y q son elementos de J tal que p > q, entonces p q es un elementos de J. J5. Todo subconjunto no nulo de J contiene por lo menos un elemento. Como una primera consecuencia de estos axiomas, sealaremos que un nmero no n u negativo es un entero positivo y que el nmero 0 es no es un entero positivo. Vamos u ahora a denir el conjunto K por: K = {x I : x J} R donde los elementos de K son llamados enteros negativos. Observese que K J = . Finalmente vamos a denir el conjunto de los nmeros enteros por u Z = K {} J Teorema 16 El conjunto Z de enteros es cerrado bajo la adicin, sustraccin y mulo o tiplicacin. o

1.9.

Divisin de Enteros o

Si a, b y x son enteros tales que a = bx y b = 0, entonces x es llamado el cociente producido cuando a es dividido por b. Ya que los enteros no son cerrados bajo la divisin, no es necesario que exista un x para los enteros a y b, deniremos entonces a b o como un divisor de a si existe un x tal que a = bx. y n Si m son enteros y si un entero b es divisor de ambos, entonces b es llamado Comn Divisor de m y n. La notacin b|a (se lee b divide a a) es usado para indicar u o que b es un divisor de a. Denicin 16 Un entero b es un Mximo Comn Divisor de los enteros m y n si las o a u siguientes dos condiciones sean ciertas: b|m y y|m y|n y|b 37 (1.22) b|n (1.21)

El s mbolo (m, n) ser usado para indicar el mximo comn divisor de m y n. a a u Un nmero entero primo es un entero que no tiene divisor positivo mas que el u mismo y el 1. Si m y n son entero cuyo mximo comn divisor es 1, entonces m y n a u son llamados primos relativos. Teorema 17 Si a y b son enteros positivos y si b divide a a, entonces b = (b, a). Demostracin: o Bastar con vericar las condiciones (1.21) y (1.22), es decir a b|b y y|b y|a y|b b|a

de la primera condicin se ve que b divide a b puesto que existe un numero 1 tal que o b = 1 b, y b divide a a por hiptesis. La segunda condicin es claro ya que si y divide o o a b y y divide a a, entonces ciertamente y divide a b.

1.10.

El Principio de Buen Orden

Denicin 17 Un conjunto de nmeros reales es bien ordenado con tal de que cada o u subconjunto no vac contiene un m o nimo elemento. El axioma J5 es llamado el el principio de buena ordenacin del los enteros positivos. o Una ilustracin del uso del axioma se ve en el siguiente teorema. o Teorema 18 Si a y b son enteros positivos tal que ab = 1, entonces a = 1 y b = 1. Teorema 19 El nmero 1 es el m u nimo entero positivo Teorema 20 Si a y b son enteros positivos tales que a|b y b|a , entonces a = b. Teorema 21 Si d1 y d2 son los mximos comunes divisores de m y n, entonces d1 = d2 . a Teorema 22 (La propiedad arquimediana de los n meros reales.) Para algunos u nmeros reales a y b con a = 0, entonces existe un entero n tal que an > b u Demostracin: o el conjunto Vamos a considerar el caso donde a y b son ambos positivos. Sea S = {x I : x = an para algn n J} R u sea b es una cota superior de S de modo que S tenga un supremo d. Entonces d a no es una cota superior de S. Esto implica que existe un y S tal que y > d a Como y S entonces y = an para algn n J, entonces se tiene u an > d a de donde se concluye que a(n + 1) > d, que es una contradiccin ya que se dijo que d o era el supremo de S. entonces se concluye que d no es una cota superior de S. lo que prueba que b no es una cota superior de S ya an > b con n J.

38

Ejercicios 5
1. Liste todos los enteros primos menores que 100 Solucin: o Los nmeros enteros primos menores que 100 son: u 1,2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53, 59,61,67,71,73,79,83,89,97 2. Liste todos los enteros positivos menores que 40 los cuales son primos relativos a 20. Solucin: o Dos nmeros enteros a y b se llaman primos relativos si el mximo comn divisor u a u de estos es 1, es decir (a, b) = 1. Teniendo en cuenta lo dicho anteriormente, entonces los primos relativos menores que 40 de 20 son: 1, 3, 7, 9, 11, 13, 17, 19, 21, 23, 27, 29, 31, 33, 37, 39 3. Lista todos los divisores de 40. Solucin: o El divisor de un nmero es aquel nmero que esta contenido en el primero un u u nmero exacto de veces. Entonces los divisores de 40 son: u 2, 4, 5, 8, 10, 20 4. Lista todos los divisores comunes de 40 y 50. Solucin: o Son los siguientes 2, 5, 10, donde de 5. Lista todos los divisores comunes de 0 y 12 Solucin: o Como todos los nmeros son divisores del cero entonces los divisores comunes del u 0 y del 12 van ha ser los divisores del 12, los cuales son: 1, 2, 3, 4, 6, 12 6. Cuales de los siguientes conjuntos tiene un m nimo elemento? a) El conjunto de los enteros positivos El conjunto J de los enteros positivos si tiene un m nimo elemento que es el 1, ya que ningn elemento de J es mayor que 1 u b) El conjunto de los nmeros enteros negativos u El conjunto K de los enteros negativos no tiene un m nimo elemento puesto que cualquier elemento de K es menor que 0, es decir que mientras mas grande sea el nmero negativo, este ser mucho menor de el que lo antecede. u a c) El conjunto de los enteros El conjunto de los nmeros enteros no tiene un elemento m u nimo debido a que x Z siempre existe un nmero y tal que y < x, esto debido a que u el conjunto de los Z no es acotado inferiormente. 39

d ) El conjunto de los enteros primos Sea el conjunto de los enteros primos denotado de la siguiente manera Pr = {1, 2, 3, 5, 7, 11, .., } donde cada uno de sus elementos slo tiene 2 divisores que son la unidad o y el mismo nmero. El conjunto Pr tiene un m u nimo elemento que es el 1, puesto que ningn otro elemento de Pr es menor que 1. u e) El conjunto nulo Como este conjunto no posee elementos, es imposible que tenga un m nimo elemento. f ) El conjunto de los enteros primos mayores que 1 000 000 Denotemos por S al conjunto de los enteros primos mayores que 1 000 000, donde su primer elemento va ha ser el 1 000 001, y adems este es su m a nimo elemento. 7. Mostrar que 4, 8 y 12 son elementos del conjunto A = {x J : x = 8m + 12n para cualquier m, n Z} La notacin aqu indica que x es un elemento de A si y slo si existen enteros m o o y n tales que x = 8m + 12n. Solucin: o Para mostrar que 4, 8 y 12 son elementos de A bastar con encontrar enteros m a y n, tales que cumplan que x = 8m + 12n, sean entonces 4 = 8(1) + 12(1), donde m = 1, n = 1 8 = 8(1) + 12(0), donde m = 1, n = 0 12 = 8(0) + 12(1), donde m = 0, n = 1 8. Liste los cinco enteros m nimos del conjunto {x J : 4m + 6n para algunos m, n Z} Solucin: o Sabemos si d es el mximo comn divisor de a y b entonces d es el menor entero a u (no nulo) que puede ser expresado por la forma d = ax + by donde x, y Z. En virtud de lo anterior dicho hallemos el mcd de 4 y 6, que es 2, es decir mcd(6, 4) = 2 2 = 4(1) + 6(1) en donde, para nuestro caso m = 1 y n = 1, y este es el menor entero del conjunto, luego los siguientes cuatro elementos que les sigue en orden son: 4 = 4(1) + 6(0), donde m = 1, n = 0 6 = 4(0) + 6(1), donde m = 0, n = 1 40

10 = 4(1) + 6(1), donde m = 1, n = 1 14 = 4(2) + 6(1), donde m = 2, n = 1 no se considera el elemento 0 puesto x J (enteros positivos) 9. Liste los cinco menores enteros del conjunto {x J : x = 12m + 5n para algunos m, n Z} Solucin: o Anlogo al ejercicio anterior, el mcd(12, 5) = 1 que es el menor entero del cona junto, puesto que 12 y 5 son primos entre si, entonces los cinco menores enteros de este conjunto son: 1 = 12(2) + 5(5) con m = 2 y n = 5 2 = 12(1) + 5(2) con m = 1 y n = 2 3 = 12(1) + 5(3) con m = 1 y n = 3 4 = 12(2) + 5(4) con m = 2 y n = 4 5 = 12(0) + 5(1) con m = 0 y n = 1 10. Sea a y b enteros positivos jos y sea d el menor entero del conjunto {x J : x = am + bm para algn m, n Z} u Haga una suposicin de la relacin entre los enteros d y el par a, b. Encuentra o o algunos ejemplos que proporcionen evidencia para corroborar su suposicin. o Solucin: o Como d es el menor entero del conjunto dado, y como a y b son enteros jos, quiere decir que la combinacin o d = am + bn es la m nima combinacin lineal que se puede hacer para todo m, n Z. Supono dremos entonces que si d puede expresarse como la m nima combinacin lineal, o entonces d es el mximo comn divisor de a y b. a u Para probar dicha suposicin, primero tendremos que probar que d|(am + bn), o en efecto a) Si d es divisor de a y b entonces d|(a + b) Como d|a y d|b, entonces por denicin de divisin existirn q1 y q2 no nulos o o a tal que a = q1 d Sumando a y b se tiene a + b = q1 d + q2 d = (q1 + q2 )d a+b = qd 41 b = q2 d

donde q1 + q2 = q (por cerradura en los Z), y por denicin de divisin en o o los Z podemos decir que d|(a + b) b) Si d|a y d|b entonces d|ab Coo d|a y d|b, entonces por denicin de divisin en Z existirn q1 y q2 no o o a nulos, tales que a = q1 d multiplicando a y b se tiene ab = (q1 d)(q2 d) ab = d[q1 (q2 d)] ab = dq donde q = q1 (q2 d), y por denicin de divisin en Z o o d|ab c) Dados dos enteros jos a y b, se cumple que si a|b entonces a|bm, m Z. En efecto, si a|b, entonces b bm bm bm entonces a|bm Finalmente, por hiptesis sabemos que d|a y d|b y por la parte c) sabemos que o m, n Z se cumple que d|am y d|bn, adems de la parte a) podemos concluir a que d|(am + bn). Como d es un divisor comn de am y bn entonces existir un c Z tal que c|am u a y c|an por que lo que c|d, y que por denicin de mximo comn divisor y por o a u lo anterior dicho se concluye que d = mcd(a, b), veamos algunos ejemplos a) Dado el conjunto S = {x J : x = 520m + 144n, para algunos m, n Z} donde su menor entero va ha ser, segn nuestra ultima armacin el mximo u o a comn divisor de 520 y 144, y este es u 3 1 1 1 1 3 520 144 88 56 32 24 8 88 56 32 24 8 0 de donde el menor entero es 8 = mcd(520, 144) = 520m + 144n 42 = = = = q1 a (q1 a)m (q1 m)a qa (cerradura en Z) b = q2 d

11. Use el teorema 19 para completar la prueba del teorema 18 Demostracin: La prueba consist en que se ten que excluirse las posibilo a a idades de que a < 1 y a > 1 y por la ley de la tricotom se pod concluir de a a que a = 1, asumiendo por hiptesis de que b = 1, lo que faltaba probar era que o a no puede ser menor que 1 como ab = 1 entonces b = a1 , pero si a < 1 entonces ocurre que a < 1 a(a1 ) < 1(a1 ) Teo 9-c) 1 < a1 A6

Es decir que b > 1, pero por hiptesis b = 1, y por el teorema 19 b es el o menor entero. Por lo tanto a no puede ser menor que 1

1.11.

El Algoritmo de la Divisin o

La siguiente aplicacin del principio de buena ordenacin, involucra la idea de valor o o absoluto de nmeros reales. u Denicin 18 Para todo nmero real x, el nmero |x| (llamado el valor absoluto de o u u x) esta dado por i) |x| = x si x es positivo ii) |x| = 0 si x = 0 iii) |x| = x si x es negativo Teorema 23 (El Algoritmo de la Divisin para Enteros.) Si m y n son enteros o con n = 0, entonces existen enteros q y r tales que m = nq + r y 0 r < |n|

Teorema 24 Si a y b son enteros ambos no ceros, entonces el conjunto S = {x J : x = am + bn para cualquier m, n Z} contiene al menor entero d. Este entero es el mximo comn divisor positivo de a y b. a u Teorema 25 Si a y b son enteros no ambos nulos, entonces el conjunto S = {x J/ x = am + bn para algunos m, n Z} contiene un menor entero d. Este entero positivo es el mximo comn divisor de a y b a u Teorema 26 Si d = (a, b) entonces existen enteros m y n tales que d = am + bn Teorema 27 Si m, n, q y r son enteros tales que m = nq + r y n = 0, entonces (m, n) = (n, r) Teorema 28 si a, b y c son enteros tales que a y b son primos relativos y a es un divisor de bc, entonces a es un divisor de c. 43

Ejercicios 6
1. Lista todos los mximos comunes divisores de los siguientes pares de enteros. a a) 10 y 12 1 5 12 10 2 2 0 mcd(12, 10) = 2 b) 20 y 25 1 4 25 20 5 5 0 mcd(25, 20) = 5 c) 16 y 20 1 4 20 16 4 1 4 mcd(20, 16) = 4 d ) 0 y -3 Como el 0 y -3 son primos relativos, entonces el mcd(0, 3) = 1 e) 18 y 20 1 9 20 18 2 2 0 mcd(20, 18) = 2 f ) 11 y -19 Estos dos nmeros son primos entre si por lo que su mcd(19, 11) = 1 u 2. Encuentre el mximo comn divisor de los enteros m y n del teorema 26 para a u cada par de enteros del problema anterior. Solucin: o a) Como el mcd(12, 10) = 2, entonces: 2 = 12 (1)10 2 = (1)12 + (1)10 m = 1, n = 1 b) Como el mcd(25, 20) = 5, entonces: 5 = 25 20 5 = 25(1) + 20(1) m = 1, n = 1 44

c) Como el mcd(20, 16) = 4, entonces: 4 = 20 16(1) 4 = 20(1) + 16(1) m = 1, n = 1 d ) Como el mcd(20, 18) = 2, entonces 2 = 20 18 = 20(1) + 18(1) m = 1, n = 1 e) Como el mcd(11, 19) = 1, entonces 1 = = = = = = = m = 7, n = 4 3. Encuentre los enteros m y n tales que 11m + 19n = 1 Solucin: o Por el algoritmo de Euclides sabemos que el mcd(19, 11) = 1 1 1 2 2 1 19 11 8 3 2 1 8 3 2 1 0 1 = = = = = = = m = 7, n = 4 4. Si usted tiene un equilibrio ordinario de recipientes y un suministro grande de once pesos de grano y diecinueve pesos de grano, cuntos peso de cada tipo que a debe ponerse en las dos recipientes para que la diferencia fuera un grano? Solucin: o 45 3 2(1) 3 (8 3(2)) 3(3) 8 3(11 8) 8 3(11) 4(8) 3(11) 4(19 11) 7(11) + (4)19 3 (2)(1) 3 (8 (3)(2)) 3(3) (8) 3(19 2(8)) (8) 3(19) + (7)(8) 3(19) + (7)(11 (19)(1)) (7)11 + (4)(19)

Como se tiene dos tipos de pesos de grano (uno de once y otro de diecinueve) y segn la hiptesis del problema se tiene un equilibrio ordinario, es decir se tiene u o una relacin de igualdad entre estos dos tipos de pesos de grano. o Se tiene dos recipientes A y B para cada tipo de peso de grano, en la cual se debe poner cierta cantidad de tipo de grano para que la diferencia entre estos dos recipientes sea uno, es decir 11A 19B = 1 lo que nos pide hallar son los valores de A y B, y que por el ejercicio anterior sabemos que A = 7 y B = 4 5. Lista todos los ntegers primos menores que 5. Solucin: o Sabemos que los ntegers son los elementos del conjunto F = {a, n J; n + a , con a < 2n } 2n

de donde los elementos de este conjunto son 3 9 10 11 25 26 27 28 29 30 31 F = {1, , 2, , , , 3, , , , , , , , 2 4 4 4 8 8 8 8 8 8 8 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 4, , , , , , , , , , , , , , , } 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 de donde los ntegers primos menores que 5 son 3 9 10 11 25 26 27 28 29 30 31 {1, , 2, , , , 3, , , , , , , , 2 4 4 4 8 8 8 8 8 8 8 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 , , , , , , , , , , , , , , , } 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 6. Pruebe que no hay enteros entre n y n + 1

Demostracin: Haremos esta prueba por el absurdo, para esto, sabemos que o para cualquier n, n + 1 Z donde n < n + 1, ahora supongamos que existe un nmero a Z tal que n + a = n + 1 y esta entre n y n + 1, es decir que se cumple u adems que a n+1>a>n de donde n+1a>0 an>0 tenemos que n+a = n+1 a = 1 46 Por Teo.2 (1.23) (1.24)

que reemplazando este ultimo resultado en (1.23) y (1.24) se tiene: n+1>a n+1a>0 n+11>0 n>0 a>n 1>n n<1

que claramente es una contradiccin puesto que n y n + 1 son nmeros enteros. o u Por lo tanto no existe un entero entre n y n + 1. 7. Pruebe que el conjunto J es slo un subconjunto de I satisfaciendo los axiomas o R J1 hasta J5. Sugerencia: Sea L un conjunto satisfaciendo estos axiomas. Considerar el conjunto {x J : x L}. Pruebe que L = J. Esto signica que ciertos axiomas o parte de estos axiomas en estos conjuntos son redundantes y no son necesarios para describir completamente al conjunto J

1.12.

Los N meros Racionales u

El conjunto de nmeros racionales forman un conjunto importante que es cerrado u bajo las cuatro operaciones fundamentales. Denicin 19 Un nmero racional es un nmero real que es el cociente de dos enteros. o u u si un nmero real dado que x est bajo la consideracin, que pueden o no existir u a o p dos enteros p y q tales que x = q . Si tales enteros existen entonces por denicin x es o un nmero racional, pero si no existen, el nmero x es un nmero irracional. Ahora se u u u puede clasicar a los nmeros reales dentro de una de las dos categor pero no se u as, puede decir que es trivial determinar a que clase pertenece. Teorema 29 Si a y b son nmeros reales con a < b, entonces existe un nmero u u racional r tal que a < r < b Teorema 30 El nmero real 2 es irracional. u Demostracin: Para probar que 2 es un nmero irracional debemos probar que o u 2 no puede ser escrito como un racional, es decir, que 2 no puede ser escrito de la a a o forma 2 = . Haremos esta demostracin por el absurdo, asumiendo que 2 = , b b donde a y b son enteros tales que 1 = (a, b). Entonces se ve que 2b2 = a2 , que indica que 2 puede ser un divisor de a2 , lo que implica que 2 puede er un divisor de a, en otra palabras a = 2c, para algn entero c. De u 2 2 2 2 donde se tiene que 2b = 4c y de aqu b = 2c de donde se concluye que 2 es divisor de b (). Esto ultimo es una contradiccin de la suposicin de que el mcd(a, b) = 1, o o u por lo tanto 2 es un nmero irracional. El s mbolo Q ser reservado para representar el conjunto de nmeros racionales. a u Teorema 31 El conjunto Q de nmeros racionales es cerrado bajo la adicin, sustracu o cin, multiplicacin y divisin. o o o 47

1.13.

Campos y Anillos de N meros Reales u

Vamos a denir un sistema de nmeros como un subconjunto no nulo S del conjunto u de nmeros reales cerrado bajo la adicin y multiplicacin. El conjunto S es llamado u o o el conjunto fundamental del sistema de nmeros u Denicin 20 Si un sistema de nmeros satisface los axiomas algebraicos (Axiomas o u A1 hasta A9) entonces el sistema de nmeros es llamado el campo de nmeros reales. u u Teorema 32 Un sistema de nmeros S es un campo de nmeros reales si y slo si u u o este es un conjunto fundamental cerrado bajo la adicin, sustraccin, multiplicacin y o o o divisin. o Denicin 21 Un sistema de nmeros es llamado un anillo de nmeros reales con tal o u u que este conjunto fundamental este cerrado bajo la adicin, sustraccin y multiplicacin. o o o Consideremos al conjunto de todos los nmeros reales de la forma a + b 2, donde u a, b Z, Este conjunto puede ser simbolizado por Z( 2) Teorema 33 El conjunto Z( 2) es un anillo de nmeros reales. u En a o forma anloga con la denicin del conjunto Z( 2) podemos denir el conjunto u Q( 2) como el conjunto de todos los nmeros reales de la forma z+b 2 donde a, b Q. Teorema 34 El conjunto Q( 2) es un campo de nmeros reales. u Demostracin: Se probara solo una parte, que es que 2) es cerrado bajo la o Q( divisin. Sean x, y Q( 2) con y = 0, entones x = a + b 2 e y = c + d 2, donde o a, b, c, d Q adems con c, d = 0. Entonces a x a+b 2 = y c+d 2 (a + b 2)(c d 2) = (c + d 2)(c d 2) (ac 2bd) (bc ac) 2 = + c2 2d2 c2 2d2
ac2bd Como el nmero c2 2d2 no puede ser cero, entonces los nmeros c2 2d2 y u u son nmeros racionales. Por lo tanto x es un elemento de Q( 2). u y bdad c2 2d2

ambos

Tambin es claro que Z( 2) Q( 2) e Teorema 35 El nmero real 3 no esta en el campo Q( 2) u

48

Ejercicios 7
1. Para cualquier decimal repetido tal como y = 1,24121212 . . . es un nmero u racional. El dispositivo siguiente puede ser usados en la expresin y como el o cociente de dos enteros: 100y = 134,121212 y = 1,341212 99y = 132,78 13278 2213 y = = 9900 1650 Exprese cada uno de los siguientes nmeros es cocientes de enteros. u a) 3.1416 b) .101010 c) 1.232323 d ) 1.234234234 Solucin: o a) y = 3,1416, entonces 10000y = 11416 31416 y = 10000 3927 y = 1250 b) y = 0,101010 . . ., entonces 99y = 9,999 9999 y = 99000 1111 y = 11000 c) 1,232323 . . ., entonces 99y = 121,9977 1219977 y = 990000 12323 y = 10000 d ) y = 234234234 . . ., entonces 999y = 1232,766 1232766 y = 999000 22829 y = 18500 49

2. Completar la prueba del teorema 33 Demostracin: Queda por demostrar que Z( 2) es cerrado bajo la adicin y o o sustraccin. Para ambos casos se tomaran los siguientes elementos x, y Z( 2), o donde x = a+b 2 y = c+d 2 con a, b, c, d Z Bajo la Adicin o x+y = a+b 2+c+d 2 = a+c+b 2+d 2 = (a + c) + (b + d) 2

como a, b, c, d Z y los nmeros enteros es cerrado bajo la adicin, entonces u o (a + c), (b + d) Z. Por lo tanto x + y Z( 2) Bajo la Sustraccin o x y = a + b 2 (c + d 2) Por Prob1-2 = a + b 2 + (1)(c + d 2) = a + b 2 + (1)c + (1)d 2 Por Teo. 1 = a+b 2cd 2 Por Prob1-2 = ac+b 2d 2 = (a c) + (b d) 2 por A9 como a, b, c, d Z y los nmeros enteros es cerrado bajo la sustraccin, u o entonces (a + c), (b d) Z. Por lo tanto x y Z( 2) Con lo que se concluye que Z( 2) es un anillo de nmeros reales. u

3. En la demostracin del teorema 34 se dijo que c2 2d2 no era cero. pruebe por o que. Demostracin: Probaremos esto por el absurdo, para esto supondremos que o 2 2 c 2d es igual a cero, entonces c2 2d2 c2 c2 d2 c d c d = 0 = 2d2 = 2 = 2 = 2

Pero eso es contradictorio puesto que por el teorema 30 sabemos que 2 es un nmero irracional, es decir que no se puede escribir como el cociente de dos u nmeros. Por lo tanto c2 2d2 no es cero. u

50

Cap tulo 2 Grupos


2.1. Operaciones Binarias

Denicin 22 Una operacin binaria en un conjunto S, es una regla que asocia a o o cada par ordenado de elementos de S, algn elemento de S. u Comentarios: i) Si : S S S es una operacin binaria en S, denotaremos por a b al elemento o asociado al par (a, b) por . ii) La palabra par ordenado es muy importante en la denicin anterior pues es o posible que a b = b a min{a, b} Si a = b , entonces es una opa Si a = b eracin binaria en S, debido a que a b S para todo (a, b) S S, siendo o

Ejemplo 1 Si S = Z+ y a b =

ab=a ab=b ab=a

Si a < b Si a > b Si a = b

En particular, 2 11 = 2; 15 10 = 10; 2 2 = 2

Ejemplo 2 Si S = Z+ y a b = a, entonces es una operacin binaria en S porque o


a b S para todo a, b S. En particular, tenemos 2 3 = 2 y 3 2 = 3. Esto signica que la operacin binaria en Z+ depende del orden del par (a, b) dado. o Mientras que la operacin binaria en Z+ dado en el ejemplo 1.2.1 no depende del o orden del par dado, pues a b = b a para todo a, b Z+ .

Ejemplo 3 Sean S = Z+ y a b = a b . . . . . . (1), entonces determinar si es una


operacin binaria en S. o Solucin: o Para concluir que denido en (1) no es una operacin binaria en S tenemos que o exhibir algn (a, b) S S tal que a b S u / Claramente existe (1, 2) S S tal que 1 2 = 1 2 = 1 S. Por lo tanto, la / operacin del ejemplo 1.2.3 no es una operacin binaria en S. o o 51

Ejemplo 4 Si S = Z = {. . . , 2, 1, 0, 1, 2, . . .} y a b = a b para todo a, b S,


entonces consideremos el problema de calcular a b c. Sabemos que una operacin binaria permite combinar slo dos elementos y aqui hay o o tres. As las distintas maneras de combinar tres elementos a, b, c S son (a b) c y a (b c). Con denida en el ejemplo 1.2.1: (2 5) 9 = 2 9 = 2; 2 (5 9) = 2 5 = 2, luego 2 5 9 = (2 5) 9 = 2 (5 9). Por consiguiente, en el ejemplo 1 est denido a b c. a

Ejemplo 5 Si S = Z+ y a b = ab+2, donde es la operacin binaria del ejemplo o


1, entonces a b c no est denida. En otras palabras a b c es ambigua. a En efecto: para a = 2, b = 5, c = 9 tenemos (2 5) 9 = = = = = = 2 (5 9) = = = = = = (2 5 + 2) 9 (2 + 2) 9 4 9 49+2 4+2 6 2 (5 9 + 2) 2 (5 + 2) 2 7 27+2 2+2 4

Por consiguiente, siendo 6 = 4 la expresin a b c no est denida. o a

2.1.1.

Operaciones Binarias con Tablas

Mediante una tabla para un conjunto nito se puede denir una operacin binaria o

Ejemplo 6 La siguiente tabla dene la operacin binaria en S = {a, b, c} medio


ante la regla (i-simo lugar en la izquierda)(j-simo lugar arriba)=lugar en el i-simo e e e rengln y j-sima columna del cuerpo de la tabla. o e a b c Se observa que: i) a b = c y b a = a. Por consiguiente no es conmutativa. ii) c (a b) = c c = a y (c a) b = c b = b. Por consiguiente no es asociativa. En este caso el conjunto S na est formado por nmeros, entonces es comprensible que a u las operaciones binarias pueden denirse en cualquier conjunto. 52 a b a c b c c b c b b a

2.1.2.

Criterios para Denir una Operacin Binaria. o

Se observa que al denir una operacin binaria en un conjunto S debemos estar o seguros de que: 1. Se asigne exactamente un elemento a cada par posible de elementos de S. 2. Para cada par ordenado de elementos de S, el elemento asignado est en S. e Si se infringe la condicin 2, entonces se dice que S no es cerrado bajo . Caso contrario o se dice que S es cerrado bajo .

Ejemplo 7 Si se dene : Q Q Q por a b = a/b


Observamos que existe (2, 0) QQ tal que 20 = 2/0 no est denido. Esto signica a que falla la condicin (1) para ,por lo tanto no es una operacin binaria en Q. o o

Ejemplo 8 Si se dene : Z+ Z+ Z+ por a b = a/b


Observamos que existe 1 3 = 1/3 Z+ . Aqui falla la condicin (2) para , por lo / o tanto no es una operacin binaria en Z+ . o

Ejemplo 9 Si se dene : Q+ Q+ Q+ por a b = a/b


Entonces las condicines (1) y (2) para se cumplen, por lo tanto es una operacin o binaria .

2.2.

Propiedades de Grupos

Denicin 23 Un grupo (G, ) es un conjunto G, junto con una operacin binaria o o en G, tal que se satisface los siguientes axiomas: G1 . La operacin binaria es asociativa o G2 . Existe un elemento e G tal que ex = xe = x para todo x G (Este elemento e es un elemento identidad (o neutro )para en G). G3 . Para cada a en G existe un elemento a en G tal que a a = a a = e (el elemento a es un inverso de arespecto a ). Teorema 36 Si G es un grupo con una operacin binaria , entonces las leyes de o cancelacin se cumplen en G. Es decir, a b = a c implica b = c y b a = c a implica o b = c para todo a, b, c G. Demostracin: Supongamos que b a = c a o . . . (1) Por G3 existe a G tal que a a = e Multiplicando por la derecha por a a (1): (b a) a = (c a) a . . . (2) Aplicando ley asociativa en cada lado de (2) b (a a ) = c (a a ) . . . (3) Por la propiedad de a de (3): be=ce . . . (4) De (4) por denicin de e en G2 obtenemos que b = c. o Similarmente, de a b = a c se deduce b = c. 53

Teorema 37 Si G es un grupo con operacin binaria y si a y b son elementos o cualesquiera de G, entonces las ecuaciones lineales ax = b y ya = b tienen soluciones unicas en G. Demostracin: Slo demostraremos que y a = b tiene unica solucin o o o EXISTENCIA: Como G es un grupo y a G, entonces por G3 existe a G tal que a a = e. Multiplicando por la derecha a la ecuacin por a obtenemos o (y a) a = b a . . . (1) Pero (y a) a = y (a a ) Por G1 = ye Por G3 = y Por G2

Tomando extremos (y a) a = y . . . (2) De (2) en (1) se deduce y = b a . Es claro que y G ya que es una operacin binaria en G. o UNICIDAD: Para probar que y G es la unica solucin de y a = b, suponiendo que y1 G es o solucin de y a = b debemos concluir que y1 = y. o Como y, y1 son soluciones de la ecuacin, entonces satisfacen a la ecuacin, es decir o o y1 a = b = y a, tomando extremos y1 a = y a. De esto por el teorema 36 concluimos que y1 = y. De manera anloga, se demuestra que a x = b tiene unica solucin. a o

Denicin 24 Un grupo (G, ) es abeliano si su operacin binaria es conmutativa. o o

Ejemplo 10 El conjunto Z+ con la operacin binaria + no es un grupo, pues no o


existe un elemento identidad para + en Z+ . Esto siginica que no se cumple G2 .

Ejemplo 11 El conjunto S = Z+ {0} con la operacin binaria + todav no es un o a


grupo. Existe elemento identidad 0, pero no hay inverso para 3 G. Esto siginica que no se cumple G3 .

Ejemplo 12 El conjunto Zcon la operacin binaria + es un grupo porque se sato


isfacen todos los axiomas G1 , G2 y G3 de grupo. Es ms que eso, (Z, +) es un grupo a abeliano. Teorema 38 En un grupo G con operacin binaria hay una sola identidad e tal que o e x = x e = x para todo x G. De la misma manera, para cada a G existe un solo elemento a G tal que a a = a a=e Demostracin: o

54

1. UNICIDAD DE LA IDENTIDAD e Supongamos que e, e1 son identidades para en G, entonces debemos concluir que e1 = e. Si e es la identidad para en G, entonces e x = x e = x para todo x G. En particular para x = e1 : e e1 = e1 e = e1 . . . (1) Si e1 es la identidad para en G, entonces e1 x = x e1 = x para todo x G. En particular para x = e: e1 e = e e1 = e . . . (2) De (1) y (2), deducimos que e1 = e. Por lo tanto, la identidad en un grupo es unica. 2. UNICIDAD DEL INVERSO DE CADA ELEMENTO Supongamos que a , a G son inversos de a respecto a , entonces debemos debemos concluir que a = a . Si a es un inverso de a, entonces a a = a a = e . . . (1) Si a es un inverso de a, entonces a a = a a = e . . . (2) de manera que a = = = = = a e Por G2 a (a a ) Por (1) (a a) a Por G1 ea Por (2) a Por G2

Tomando extremos concluimos que a = a . Por lo tanto, el inverso de a G en un grupo es unico.

2.3.
2.3.1.

Grupos C clicos
Propiedades Elementales

Si G es un grupo y a G, entonces H = {an |n Z} G. Este grupo es el subgrupo c clico de G generado por a. Ahora bien, si G = {an |n Z}, entonces a es un generador de G y el grupo G = a es c clico. Teorema 39 Todo grupo cclico es abeliano. Demostracin: (Para que un grupo G sea abeliano debemos demostrar que g1 , g2 o G : g1 g2 = g2 g1 ). Sea G un grupo c clico y sea a un generador de G, entonces G = a = {an |n Z} Si g1 y g2 son elementos cualesquiera de G, entonces existen enteros r y s tales que

55

g1 = ar , g2 = as , de manera que g1 g2 ar as = ar+s = as+r = as ar = g2 g1 Por lo tanto, el grupo G es abeliano Comentario:

i) Seguiremos utilizando la notacin multiplicativa en nuestro trabajo acerca de o grupos, a pesar de saber que son abelianos.

Lema 25 (Algoritmo de divisin para Z) Si m es un entero positivo y n es cualquier o


entero, entonces existen enteros unicos q y r tales que n = mq + r y 0 r < m. Demostracin: Se da una explicacin con diagramas mediante la siguiente gura o o n  r  n 0, q 0 | | | | ... | | | qm (q + 1)m m 2m m 0 n = qm + r n  r  | | | ... m (q + 1)m

n < 0, q < 0

| m

| 0

| m

| 2m

n = qm + r Sobre el eje x real usado en geometr anlitica, se han marcado los mltiplos de m y a a u se puede tomar r igual a cero, o n caer entre dos mltiplos de m. Si este es el caso, a u sea qm el primer mltiplo de m a la izquierda de n. Entonces r es como se muestra en u la gura 1.8.1 Se observa en dicha gura que 0 r < m. Despus de pensarlo u poco se v que la e e unicidad de qy de r es clara a partir de los diagramas

Teorema 40 Un subgrupo de un grupo c clico es c clico. Demostracin: Sea G un grupo c o clico y H G, entonces G = a . Ahora, tenemos que demostrar que H es c clico. Si H = {e}, entonces H = e es c clico Si H = {e}, entonces existe m = m n{n Z+ |an H} de modo que am H Armamos que c = am genera H Es decir, H = am = c Debemos demostrar que todo elemento b de H es una potencia de c. Sea b H, como H G, b = an para algn n Z. u As para n y m enteros positivos, existen enteros q y r tales que n = mq + r para 0 r < m mediante el lema 25. Entonces an = amq+r = (am )q ar de donde ar = (am )q an . . . (1) n m Ahora, como a H y a H y H es grupo, tanto (am )1 = (am )q = (am )q como an estn en H. As (am )q an H a 56

Es decir, ar H por (1). Debido a que m se ha elegido como el m nimo entero talque am H y 0 r < m, debemos tener r = 0. Por lo tanto, n = mq y b = an = (an )q = cq , de modo que b es una potencia de c

Corolario 2 Los subgrupos de Z bajo la suma, son precisamente los los grupos nZ bajo la suma para n Z+ .

2.3.2.

Clasicacin de Grupos C o clicos

Sea G un grupo c clico con generador a. Consideremos dos casos

u Caso I.- G tiene un nmero innito de elementos En este caso armamos que dos exponentes distintos h y k dan elementos distintos ah , ak de G. En efecto, supongamos que ah = ak con h > k. Entonces ah ak = ahk = e, la identidad y h k > 0. Sea m el menor entero positivo tal que am = e. Armamos que G tendr unicamente los distintos elementos e, a, a2 , . . . , am1 . a Sea an G, luego se encuentran q y r tales que n = mq + r para 0 r < m por el lema 1.8.1, de manera que an = amq+r = (am )q ar = ar para 0 r < m. Esto signica que G es nito Hip. ; Hip. G tiene innitos elementos. Por lo tanto todas las potencias de a son distintas. Ahora bien, si G es otro grupo c clico innito con generador b. Es claro que si se n n cambian el nombre de b por a , aparece que G es exactamente igual a G; es decir, los grupos G y G son isomorfos. As Z bajo la suma puede tomarse como prototipo de cualquier grupo c clico innito.

Ejemplo 13 Se parece extrao que los grupos Z y 3Z son estructuralmente idnticos n e


a pesar de que 3Z < Z. Los nombres no importan, si el 1 lo nombramos 3, al 2 lo nombramos 6 y en general al n lo nombramos 3n, habremos convertido Z en 3Z como grupo aditivo. Caso II.- G tiene orden nito. En este caso no todas las potencias de un generador a de G son distintas, as que para h k algunos h y k tenemos a = a . Siguiendo la argumentacin del CASO I, existe un o m entero m tal que a = e y ninguna potencia positiva menor de a es e. Entonces, el grupo G consta de los distintos elementos e, a, a2 , . . . , am1 . Como se acostumbra usar n para el orden del grupo c clico en general, cambiaremos la notacin para lo siguiente, estableciendo m = n. o

Ejemplo 14 Es agradable imaginar los elementos e = a0 , a1 , a2 , . . . , an1 de un


grupo cclico de orden n, distribuidos equitativamente sobre una circunferencia. Como se ve en la gura 1.8.2. El elemento e = a0 esta localizado en la parete inferior y el ah est localizado a h de estas unidades iguales, medidas en el sentido contrario al a que giran las manecillas del reloj, desde e = a0 . Para multiplicar ah y ak mediante este diagrama,se comienza desde ah y se avanza, en 57

el sentido contrario al que giran las manecillas del reloj, k unidades ms. Para ver en a trminos aritmticos donde termina, encuentre q y r tales que h + k = nq + r para e e 0 r < n. El trmino nq nos lleva q veces alrededor del c e rculo hasta llegar a ar . Denicin 26 Sea n un entero positivo jo y sean h y k enteros cualesquiera. El o nmero r tal que h + k = nq + r para 0 r < n es la suma de h y k mdulo n. u o

2.4.

Subgrupos

Notacin y Terminolog o a.- En resumen, posteriormente usaremos en un grupo (G, ) las siguientes notaciones: 1. ab = a b 2. e = e 3. En caso multiplicativo a1 =a En caso aditivo a

Denicin 27 Si G es un grupo nito, entonces el orden de G denotado por |G| se o dene como el nmero de elementos de G . En general, para cualquier conjunto nito u S, |S| es el nmero de elementos de S. u Por ejemplo, si S = {a, b, c}, entonces |S| = 3. Denicin 28 Un conjunto B es un subconjunto de A denotado por B A(o A B) o si cada elemento de B est en A. Las notaciones B A o A B se usarn para a a B A, pero A = B. Observacin.- Para cualquier conjunto A se tiene que A y A A. o Denicin 29 Si A es cualquier conjunto, entonces A es el subconjunto impropio de o A. cualquier otro subconjunto de A es un subconjunto propia de A. Denicin 30 Sea G un grupo y sea S un subconjunto de G. Si para cada a, b S es o cierto que el producto ab calculado en G tambien est en S, entonces se dice que S es a o o cerrado bajo la operacin de grupo de G. La operacin binaria en S, as denida, se llama operacin inducida en S desde G. o Estamos en condiciones para precisar el concepto de grupo contenido en otro Denicin 31 Si H es un subconjunto de un grupo G cerrado bajo la operacin de o o grupo de G y si H mismo es un grupo bajo esta operacin inducida, entonces H es un o subgrupo de G . Denotaremos por H G o G H el hecho de que H es un subgrupo de G. H < G o G > H signicar que H G, pero H = G a 58

Comentarios 1. (Z, +) < (I +) R, 2. (Q+ , ) (I +) aunque Q+ I R, R 3. G G y {e} G, donde e es el elemento identidad de G 4. H G esto signicar que H no es un subgrupo de G. a Denicin 32 Si G es un grupo, entonces G se llama subgrupo impropio de G. Todos o los otros subgrupos de G son subgrupos propios. Adems {e} es el subgrupo trivial de a G. Todos los otros subgrupos son no triviales.

Ejemplo 15 Q+ bajo la multiplicacin es un subgrupo propio de I + bajo la multio R


plicain o

Ejemplo 16 Hay dos tipos de diferentes estructuras de grupo de orden 4.


El grupo V Z4 : + 0 1 2 3 es 0 0 1 2 3 4-grupo de Klein y el grupo Z4 ,como muestran las siguientes tablas: 1 2 3 V : e a b c 1 2 3 e e a b c 2 3 0 a a e c b 3 0 1 b b c e a 0 1 2 c c b a e

Comentarios: i) El unico subgrupo no trivial de Z4 es {0, 2} ii) {0, 3} Z4 , pues {0, 3} no es cerrado bajo la +, por ejemplo 3+3=2 y 2 {0, 3}. /

iii) El grupo V tiene tres subgrupos propios no triviales,{e, a},{e, b},{e, c} iv) {e, a, b} V , pues {e, a, b} no es cerrado bajo la operacin de V , por ejemplo o ab = c y c {e, a, b} . / v) Es conveniente hacer un diagrama reticular de los subgrupos de un grupo. en dicho diagrama una recta que baja de un grupo G a un grupo H signica que H es un subgrupo de G. Por lo tanto el grupo ms grande est arriba en el a a diagrama. La siguiente gura contiene diagramas reticulares para los grupos Z4 y V del ejemplo anterior. Z4 {0, 2} {0} diagrama reticular para Z4 59
 

kkk V SSSSSSS SSSS kkkk SSSS kkkk kkkk SSSS  ukkkk A {e, a} SS {e, c} {e, b} kk SSS kkk SSS kkk SSS kkk SSS kkk SSS SA  ukkkk

{e}

diagrama reticular paraV Si H G y a H entonces, por el teorema de unicidad de ecuaciones lineales, la ecuacin ax = a debe tener solucin unica en H, a saber, el elemento identidad de o o H. Pero esta ecuacin tambien puede verse como una ecuacin en G y vemos que esta o o solucin unica debe ser tambien la identidad de G. o Un argumento anlogo aplicado a la ecuacin ax = e considerada en H como en G, a o 1 muestra que el inveso a de a en G tambien es el inverso de a en el subgrupo H. El siguiente teorema proporciona un criterio para determinar si un subconjunto de un grupo eds un subgrupo del grupo. Teorema 41 Un subconjunto H de un grupo G es un subgrupo de G si y slo si: o i) H es cerrado bajo la operacin binaria de G . o ii) La identidad e de G est en H. a iii) Para todo a H se cumple que a1 H. Demostracin: o () Si H G, entonces H es cerrado bajo la operacin binaria de G y se cumplen o las condiciones ii) y iii) por lo visto arriba. () Por la condicin i) H tiene como operacin binaria la inducida de G. Para que o o H sea grupo debe satisfacer los tres axiomas de grupo. G1 : La operacin binaria en G es asociativa, luego la inducidaes asosiativa en H o En efecto a, b, c H, entonces (ab)c = a(bc) ya que a, b, c G. G2 : Por la condicin ii) la identidad e H. Y cumple para e las propiedades o ea = ae = a por i) para todo a H. G3 : Por iii) para cada a H, existe a1 H tal que a1 a = aa1 = e. Por lo tanto para todo a H, existe a1 H tal que a1 a = aa1 = e

Teorema 42 Un subconjunto no vaco H de un grupo G es un subgrupo de G si y 1 slo si ab H para todo a, b H o

60

Demostracin: o () Si H G, entonces por G3 para b H, existe b1 H As para a H y b1 H deducimos que ab1 H ya que H es cerrado bajo la operacin binaria en G o () Como H = , existe a H Por hiptesis para a = a, b = a : ab1 = aa1 = e H o luego se cumple la condicin ii) del teorema anterior o Para a = e, b = b por hiptesis tenemos que b1 = eb1 = ab1 H, luego o se cumple la condicin i) del teorema anterior. Por el teorema mencionado se o concluye que H es un subgrupo de G

2.5.

Isomorsmo de Grupos y Propiedades Fundamentales

Nos ocuparemos ahora de precisar, la idea de que dos grupos G y G son isomorfos, si son idnticos salvo el nombre de los elementos y las operaciones. e De este modo, podemos obtener G a partir de G Cambiando el nombre de un elemento x G por el nombre de cierto elemento x G . En realidad es una aplicacin con dominio G. Es claro que dos elementos diferentes o x, y G deben tener contrapartes diferentes de x = x, y = y en G . Adems, cada a elemento de G debe ser contraparte de algn elemento de G. u Si los grupos son estructuralmente el mismo y si denotamos la operacin del grupo G o por y la de G por , entonces la contraparte de x y deber ser x y , (x y) a o deber ser (x) (y). a Comunmente se omiten las notaciones y para las operaciones y se usa la notacin o multiplicativa (xy) = (x)(y) . . . (1) Se nota que la multiplicacin xy en (1) es la multiplicacin en G; mientras que la o o multiplicacin (x)(y) en (1) es la multiplicacin en G . o o Denicin 33 Un isomorsmo entre un grupo G y un grupo G es una aplicacin o o : G G que es inyectiva y sobreyectiva en G tal que para todo x, y G : (xy) = (x)(y) En este caso G es isomorfo a G , lo cual denotaremos por G G . = Teorema 43 Si : G G es un isomorsmo de G en G y e es la identidad de G, entonces e es la identidad en G . Adems a 1 1 a = (a) para todo a G. Es decir, un isomorsmo lleva la identidad en la identidad y los inversos a los inversos. Demostracin: Sea x G . Como es sobre, existe x G tal que x = x . o Entonces 61

x = x = (xe) = (x)(e) = x (e) Similarmente x = x = (ex) = (e)(x) = (e)x de modo que e es la identidad en G Tomemos adems para a G a e = (a1 a) = (a1 )(a) De manera anloga a e = (aa1 ) = (a)(a1 ) Por consiguiente e = e, a1 = (a)1

2.5.1.

Como Demostrar que dos Grupos son Isomorfos

El procedimiento para demostrar que dos grupos, G y G , son isomorfos, sigue los cuatro pasos siguientes: PASO 1. Denir la aplicacin que da el isomorsmo de G en G . Esto signica describir, o de alguna manera, cual ser x en G para toda x G. a PASO 2. Demostrar que es una aplicacin 1-1. o PASO 3. Demostrar que es sobre G . PASO 4. Demostrar que (xy) = (x)(y) parar todo x, y G. Se calculan ambos lados de la ecuacin y se ve si son iguales. o

Ejemplo 17 Demostrar que el grupo I bajo la suma es isomorfo al grupo I + bajo R R


la multiplicacin o Demostracin: o PASO 1. Para x I se dene x = ex R Esto nos d una aplicacin : I I + . a o R R PASO 2. Sean x, y I tales que x = y entonces x = y R x Como e = ey , aplicando logaritmo natural se obtiene x = y. Por lo tanto es 1-1. PASO 3. Si r I + , entonces existe ln r I tal (ln r) = eln r = r. Por lo tanto es sobre R R I +. R PASO 4. Para x, y I tenemos R (x + y) = ex+y = ex ey = (x)(y)

Teorema 44 Cualquier grupo cclico innito G es isomorfo al grupo Z de los enteros bajo la suma.

62

Demostracin: Supongamos que G es generado por a G y la operacin de G es o o n multiplicativa, entonces G = a = {a |n Z}. Sea e la identidad de G, entonces a = e. Vamos a demostrar que G es isomorfo a Z con el procedimiento de los siguientes cuatro pasos: PASO 1. Denamos una aplicacin : G Z por an = n an G. o n1 n2 Armacin: Si a , a G son tales que an1 = an2 , entonces n1 = n2 o Por RAA, supongamos que n1 = n2 , luego n1 < n2 n2 < n1 . o n1 n2 Si n1 < n2 , n2 n1 > 0. De a = a , deducimos que an2 n1 = e. De estas dos armaciones vemos que existe n2 n1 Z+ tal que an2 n1 = e, lo cual nos G es innito indica que G tiene a lo mas n2 n1 elementos Si suponemos que n2 < n1 , tambien se llega a una contradiccin. o Por RAA queda demostrada la armacin. En consecuencia, est bien denida o a como aplicacin. o PASO 2. Sean an1 , an2 G tales que an1 = an2 , entonces an1 = an2 . Como an1 = n1 = n2 = an2 , inmediatamente se tiene an1 = an2 , as es 1-1. PASO 3. Por denicin de G, dado n Z, se tiene an G, de modo que an = n, luego o es sobre Z. PASO 4. Sean an1 , an2 G, entonces an1 an2 = an1 + an2 En efecto, (an1 an2 ) = (an1 +n2 ) = n1 + n2 = an1 + an2 De los pasos 1-4, se concluye que G Z = Comentarios: i) Si G es un grupo y i : G G es la aplicacin identidad ( ig = g, g G ), o entonces G G = ii) Si G es isomorfo a G , entonces G es isomorfo a G Es decir, G G G G = = iii) G G G G , entonces G G = = = iv) De i), ii) y iii) la propiedad de isomorsmoentre grupos es una relacin de equivo alencia en una coleccin de grupos. Es decir, dada una coleccin no vac de o o a grupos se puede partir la coleccin en celdas (clases de equivalencia) tales que o cualesquiera dos grupos en la misma clase son isomorfos y no hay grupos en celdas distintas que sean isomorfos. v) Hemos visto que cualesquiera dos grupos de orden 3 son isomorfos. Lo expresamos diciendoque slo hay un grupo de orden 3, salvo isomorsmo. o

Ejemplo 18 Hay un solo grupo de orden 1, uno de orden 2 y uno de orden 3, salvo
isomorsmo. Hemos visto que hay exactamente dos grupos diferentes de orden 4, salvo isomorsmo: el grupo Z4 y el 4-grupo V de Klein. Hay al menos dos grupos diferentes, salvo isomorsmos de orden 6: Z6 y S3 .

63

2.5.2.

Como Demostrar que Dos Grupos no son Isomorfos

Ejemplo 19 Z4 y S6 no son isomorfos, pues no existe una aplicacin 1-1 de Z4 o


sobre S6 . En el caso innito, no siempre est claro si existen o no aplicaciones y sobre. a

Ejemplo 20 Z bajo la suma no es isomorfo a I bajo la suma, porque no existe una R


aplicacin 1-1 de Z sobre I o R. OTRA FORMA DE JUSTIFICAR la armacin del ejemplo consiste en: o I luego el grupo I bajo la suma es c Supongamos que Z = R, R clico, luego Q bajo la suma es un grupo c clico . . . (1) m Por otro lado, sea r = Q (jo) con mcd{m, n} = 1 n Luego el subgrupo cclico de Q generado por r es m m = z :zZ n n m 2m m m 2m m/n + 2m/n Es claro que , , de modo que existen , Q tales que s = = n n n n n 2 3m m / ysQ 2n n m m es un subgrupo propio de Qcomo r = Esto signica que es arbitrario, r < n n (1) Q r Q, por lo que Qcomo grupo bajo la suma no es c clico Z I R

Para mostrar que dos grupos no son isomorfos (si tal es el caso) se exhibe alguna propiedad estructural que un grupo posee y el otro no. Las propiedades estructurales de grupo son las que deben compartir grupos isomorfos Podemos citar algunas propiedades estructurales de grupo: i) El grupo es c clico. ii) El grupo es abeliano. iii) El grupo tiene orden 8. iv) El grupo es nito. v) El grupo tiene exactamente dos elementos de orden 6. vi) La ecuacin x2 = a tiene una solucin para cada elemento a en el grupo. o o

Ejemplo 21 Z y 3Z son isomorfos, porque existe un isomorsmo : Z 3Z dado


por n = 3n.

Ejemplo 22 Z y Q no son isomorfos como grupos bajo la suma, pues Z es c clico


y Q no es cclico.

Ejemplo 23 El grupo Q = Q {0} bajo la multiplicacin, no es isomorfo al grupo o


I = I {0} bajo la multiplicacin. R R o 3 Es claro que la ecuacin x = a, a I , tiene solucin en I , mientras que existe o R o R una ecuacin x3 = 2, 2 Q , que no tiene solucin en Q , en consecuencia Q I . o o R 64

Ejemplo 24 El grupo I = I {0} bajo la multiplicacin, no es isomorfo al grupo R R o


C = C {0} bajo la multiplicacin. I I o 2 Es claro que la ecuacin x = a tiene solucin en C para todo a C , pero existe un o o I I a ecuacin x2 = 1 no tiene solucin en I . o o R I = R I R Justicacin.- Supongamos que C I , luego existe un isomorsmo : C I o de C sobre I . I R 1 I , existe b C tal que b = 1 R I 2 La ecuacin x = b tiene solucin en C ,as existe d C tal que d2 = b o o I I Aplicando d2 = b = 1 . . . (1) Pero d2 = dd = (d)2 . . . (2) 2 De (1) y (2), (d) = 1, donde d I esto signica que x2 = 1 tiene solucin R o en I R las operaciones indicadas.
x2 =1 no
tiene solucin R o I

. Por RAA, concluimos que C no es isomorfo a I bajo I R

Ejemplo 25 El grupo I = I {0} bajo la multiplicacin, no es isomorfo al grupo R R o


I de nmeros reales bajo la adicin, pues x + x = a siempre tiene solucin en (I +), R u o o R, pero la ecuacin correspondiente x.x = a no siempre tiene solucin en (I , ), por o o R ejemplo, si a = 1.

2.6.
2.6.1.
n

Productos Directos
Productos Directos Externos
Si .
i=1

El producto cartesiano de conjuntos S1 , S2 , . . . , Sn se denota por S1 S2 . . . Sn o por

Tambien se puede denir el producto cartesiano de un nmero innito de conjuntos. u Ahora, si consideramos G1 , G2 , . . . , Gn grupos con operaciones multiplicativas, podemos
n

formar un grupo
i=1

Gi con operacin binaria denida por componentes. o

Teorema 45 Sean G1 , G2 , . . . , Gn grupos.


n

Para (a1 , a2 , . . . , an ) y (b1 , b2 , . . . , bn )


i=1

Gi se dene la operacin binaria en o


i=1

Gi

por (a1 , a2 , . . . , an )(b1 , b2 , . . . , bn ) = (a1 b1 , a2 b2 , . . . , an bn ).


n

Entonces
i=1

Gi es un grupo bajo esta operacin binaria o

Denicin 34 Sean G1 , G2 , . . . , Gn grupos, entonces el grupo obtenido en el teorema o


n

anterior,
i=1

Gi es el producto directo externo de los grupos Gi .

65

Comentario.- Si el conjunto Ai tiene ri elementos para i = 1, . . . , n, entonces


i=1

Ai

tiene r1 r2 rn elementos, porque en una nada hay r1 elecciones posibles para la primera componente A1 y para cada una de estas hay r2 elecciones posibles de A2 para la segunda componente y as sucesivamente.

Ejemplo 26 El grupo Z2 Z3 tiene 2 3 = 6 elementos,


pues Z2 Z3 = {(0, 0), (0, 1), (0, 2), (1, 0), (1, 1), (1, 2)} Se observa que Z2 Z3 es un grupo c clico, ya que existe (1, 1) Z2 Z3 tal que Z2 Z3 = (1, 1) = {n(1, 1)|n Z} para n = 1, 1(1, 1) = (1, 1) para n = 2, 2(1, 1) = (1 + 1, 1 + 1) = (0, 2) para n = 3, 3(1, 1) = (1 + 1 + 1, 1 + 1 + 1) = (1, 0) para n = 4, 4(1, 1) = 3(1, 1) + (1, 1) = (0, 1) para n = 5, 5(1, 1) = 4(1, 1) + (1, 1) = (1, 2) para n = 6, 6(1, 1) = 5(1, 1) + (1, 1) = (0, 0) Como hay unico grupo cclico Z6 de orden, concluimos que Z6 Z2 Z3 . =

Ejemplo 27 El grupo Z3 Z3 tiene 9 elementos, pues Z3 Z3 = {(0, 0), (0, 1), (0, 2), (1, 0), (1, 1), (1, 2), (2, 0), (2, 1), (2, 2)} Se muestra que Z3 Z3 no es c clico, por consiguiente Z9 no es isomorfo a Z3 Z3
Teorema 46 El grupo Zm Zn es isomorfo a Zmn si y solo si mcd{m, n} = 1
n

Corolario 3 El grupo para i, j = 1, , n y i = j


i=1

Zmi es isomorfo a Zm1 m2 mn si y solo si mcd{mi , mj } = 1

Ejemplo 28 Si n = (p1 )n1 (p2 )n2 (pr )nr , donde los pi son nmeros primos distinu
tos, por el corolario anterior Zn es isomorfo a Z(p1 )n1 Z(p2 )n2 . . . Z(pr )nr En particular, Z12 es isomorfo a Z8 Z9 . Denicin 35 Sea G un grupo y a G. Si existe algn entero positivo n tal que o u an = e, el menor de dichos enteros positivos n, es ell orden de a. Si no existe dicha n, entonces a es de orden nito. De esto se desprende que si a es un elemento de un grupo G, el orden de a es igual al orden del subgrupo cclico generado por a.
n

Teorema 47 Sea (a1 , a2 , . . . , an )


i=1

Gi .
n

Si ai es de orden nito ri en Gi , entonces el orden de (a1 , a2 , . . . , an ) en al m nimo comn mltiplo de todas las ri u u El orden de (0,0) es 1 El orden de (1,0) es 3 El orden de (0,1) es 3 El orden de (1,1) es 3 66
i=1

Gi es igual

Ejemplo 29 Podemos citar el orden de todos los elementos de Z3 Z

El El El El

orden orden orden orden


n

de de de de

(0,2) (2,0) (2,1) (2,2)

es es es es

3 El orden de (1,2) es 3 3=mcm{3, 1} 3=mcm{3, 3} 3=mcm{3, 3}

Si
i=1

Gi es el producto directo externo de grupos Gi , entonces el subconjunto


n

Gi = {(e1 , e2 , . . . , ei1 , ai , ei+1 , . . . , en )|ai Gi } es un subgrupo de


i=1

Gi .

Adems Gi es isomorfo a Gi mediante la proyeccin cannica a o o i dada por (e1 , e2 , . . . , ei1 , ai , ei+1 , . . . , en )i = ai As el grupo Gi se reeja en la isima componente de los elementos de Gi . , e
n

Consideremos
i=1

Gi como el producto directo interno de estos subgrupos Gi . Los trmie

nos interno y externo, aplicados a los productos directos de grupos, slo reejan si se o consideran o no (respectivamente), a los grupos componentes como subgrupos del grupo producto. En adelante se omite la palabra interno o externo y se dir slo producto a o directo. Denicin 36 Sea {Si |i I} una coleccin de conjuntos. o o Aqui I puede ser cualquier conjunto de indices. Se dene la interseccin o conjuntos como Si = {x Si |i I}
iI iI

Si de los

Teorema 48 La interseccin de los subgrupos Hi de un grupo G para i I es un o subgrupo de G Demostracin: (Vamos a usar el teorema 1.5.2): o Sea Hi = Hi
iI

como e =
iI

Hi para i I siendo Hi

G, deducimos que e
iI

Hi H = .

As H es un subconjunto no vac del grupo G. o Sean a, b H, entonces ab1 H En efecto aH= Hi a Hi para todo i I . . . (1)
iI

bH=
iI

Hi b Hi para todo i I

Como Hi G para todo i I: b1 Hi para todo i I . . . (2) De (1) y (2): ab1 Hi para todo i I, pues Hi G para todo i Luego ab1 H = Hi .
iI

Por el teorema 1.5.2, concluimos que


iI

Hi es un subgrupo de G.

67

2.6.2.

Productos Directos Internos


n

Denicin 37 Sea G un grupo con subgrupos Hi para i = 1, 2, . . . , n, entonces se dice o que G es el producto directo interno de los subgrupos Hi si la aplicacin : o dado por (h1 , h2 , . . . , hn ) = h1 h2 . . . hn es un isomorsmo.
i=1

Hi G

Teorema 49 S G es el producto directo interno de los subgrupos H1 , H2 , . . . , Hn , en tonces cada g G puede escribirse de manera unica como g = h1 h2 . . . hn , donde hi Hi Tambien vale la recproca. Demostracin: o ) Por hiptesis, G es el producto directo interno de los subgrupos H1 , H2 , . . . , Hn , o
n

entonces la aplicacin : o
i=1

Hi G tal que

(h1 , h2 , . . . , hn ) = h1 h2 . . . hn es un isomorsmo. . . . (1) Sea g = h1 h2 . . . hn = g1 g2 . . . gn donde hi , gi Hi . . . (2) Por (1): (h1 , h2 , . . . , hn ) = (g1 , g2 , . . . , gn ) Como es un isomorsmo, es 1-1, luego (h1 , h2 , . . . , hn ) = (g1 , g2 , . . . , gn ) hi = gi para i = 1, 2, . . . , n Luego de (2), concluimos que cada g G tiene unica representacin como o g = h1 h2 . . . hn , donde hi Hi
n

) Denamos :
i=1

Hi G por (h1 , h2 , . . . , hn ) = h1 h2 . . . hn

a) est bien denida a Sean (h1 , h2 , . . . , hn ), (g1 , g2 , . . . , gn )

Hi tales que
i=1

(h1 , h2 , . . . , hn ) = (g1 , g2 , . . . , gn ), entonces (h1 , h2 , . . . , hn ) = (g1 , g2 , . . . , gn ) En efecto, de (h1 , h2 , . . . , hn ) = (g1 , g2 , . . . , gn ) hi = gi ; para i = 1, 2, . . . , n Luego h1 h2 . . . hn = g1 g2 . . . gn . Es decir (h1 , h2 , . . . , hn ) = (g1 , g2 , . . . , gn ) b) es 1-1
n

Sean (h1 , h2 , . . . , hn ), (g1 , g2 , . . . , gn )


i=1

Hi tales que

(h1 , h2 , . . . , hn ) = (g1 , g2 , . . . , gn ), entonces (h1 , h2 , . . . , hn ) = (g1 , g2 , . . . , gn ) En efecto, (h1 , h2 , . . . , hn ) = (g1 , g2 , . . . , gn ) G Es decir, h1 h2 . . . hn = g1 g2 . . . gn G donde gi , hi Hi , tiene unica repre sentacin implica que hi = gi para i = 1, 2, . . . , n o Luego (h1 , h2 , . . . , hn ) = (g1 , g2 , . . . , gn ). c) es sobre G Sea g G, por hiptesis cada elemento se representa como producto de los o elementos de sus subgrupos, luego g = h1 h2 . . . hn
n

De donde existe (h1 , h2 , . . . , hn )


i=1

Hi tal que (h1 , h2 , . . . , hn ) = g

68

d ) Sean (h1 , h2 , . . . , hn ), (g1 , g2 , . . . , gn )


i=1

Hi , entonces

[(h1 , h2 , . . . , hn )(g1 , g2 , . . . , gn )] = (h1 , h2 , . . . , hn )(g1 , g2 , . . . , gn ) En efecto, [(h1 , h2 , . . . , hn )(g1 , g2 , . . . , gn )] = (h1 g1 , h2 g2 , . . . , hn gn ) = h1 g1 h2 g2 . . . hn gn = h1 h2 . . . hn g1 g2 . . . gn = (h1 , h2 , . . . , hn )(g1 , g2 , . . . , gn ) Por denicin se concluye que GH1 , H2 , . . . , Hn o

Sea H y K subgrupos de un grupo G. nos interesa examinar HK = {hk|h H, k K}. desafortunadamente HK no necesariamente es un subgrupo de G, pues h1 k1 h2 k2 no siempre es de la forma hk. Si G es abeliano o aun si cada elemento h H conmuta con cada elemento k de K, hk = kh, entonces h1 h2 k1 k2 = h3 k3 donde h3 = h1 h2 y k3 = k1 k = 2 son elementos de H y K respectivamente. Se verica fcilmente que en este caso HK a G, pues ee = e HK y (hk)1 = 1 1 1 1 k h = h k HK. En el caso no conmutativo, existe un subgrupo de G que contiene HK. Denicin 38 Sean H y K subgrupos de un grupo de G. o El compuesto H K de H y K es la interseccin de todos los subgrupos de G que o contiene HK = {hk|h H, k K}. Comentarios: i) H K es el ms pequeo subgrupo de G que contiene HK. a n ii) Si G es abeliano o conmutan los elementos de H con los de K, entonces HK = H K Teorema 50 Un grupo G es el producto directo interno de los subgrupos H y K si y slo si o i) G = H K ii) hk = kh para todas las h H y todas las k K iii) H K = {e} Demostracin: o ) Por hiptesis : H K G tal que o (h, k) = hk es un isomorsmo. i) Sabemos que HK H K G Como es sobre G, si g G, existe (h, k) H K tal que g = (h, k) = hk, de aqu G HK, G = H K = HK

69

ii) (h, k) = (e, k)(h, e) para todo (h, k) H K Como es un isomorsmo (h, k) = (e, k)(h, e), de donde hk = (ek)(he) = kh As hk = kh para todo h H y todo k K. iii) Sea h H K h H y h K Como he = h = eh obtenemos que (h, e) = (e, h) es un isomorsmo, luego es 1-1 De modo que (h, e) = (e, h), luego h = e As H K = {e}. ) Por hiptesis se cumplen las condiciones i), ii) y iii). o Demostremos que : H K G una aplicacin denida por (h, k) = hk es un o isomorsmo de H K sobre G. es 1-1 Sean (h1 , k1 ), (h2 , k2 ) H K tales que (h1 , k1 ) = (h2 , k2 ) entonces (h1 , k1 ) = (h2 , k2 ). En efecto, (h1 , k1 ) = (h2 , k2 ) signica que h1 k1 = h2 k2 , de donde 1 1 h2 h1 = k2 k1 H K = {e} 1 1 Luego h2 h1 = e y k2 k1 = e, de modo que h1 = h2 , k2 = k1 Por consiguiente (h1 , k1 ) = (h2 , k2 ). es sobre G La condicin ii)hk = kh para todo h H y todo k K implica, como hemos visto o antes de denir H K, que HK es un subgrupo de G, de modo que HK = H K = G Si g G, existe (h, k) H K tal que (h, k) = hk = g. Armamos si (h1 , k1 ), (h2 , k2 ) H K, entonces [(h1 , k1 )(h2 , k2 )] = (h1 , k1 )(h2 , k2 ) En efecto, [(h1 , k1 )(h2 , k2 )] = (h1 h2 , k1 k2 ) = (h1 h2 )(k1 k2 ), por ii) = (h1 k1 )(h2 k2 ) = (h1 , k1 )(h2 , k2 )
i)

2.7.

Homomorsmos de Grupos y Propiedades Fundamentales

Denicin 39 Una Aplicacin de un grupo G en un grupo G es un homomorso o mo si (ab) = (a)(b) para todos los elementos a y b G. En la condicin (ab) = (a)(b), la operacin (ab) en el lado izquierdo ocurre en o o G, mientras que la operacin (a)(b) del lado derecho, ocurre en G . Asi, la condicin o o para ser homomorsmo relaciona la estructura de G con la de G .

Ejemplo 30 La aplicacin de Z en Zn dada por m = r donde r es el residuo o


de m al dividir lo entre n. 70

Entonces es un homomorsmo: (s + t) = s + t En efecto, sean s = q1 n + r1 , t = q2 n + r2 . . . (1) donde 0 ri < n Luego s = r1 , t = r2 . As s + t = (r1 + r2 ) mod n Si r1 + r2 = q3 nr3 para 0 r3 < n, entonces s + t = r3 . . . (2) Por otro lado, de (1): s + t (q1 + q2 )n + (r1 + r2 ) (q1 + q2 + q3 )n + r3 As (s + t) = r3 . . . (3) De (2) y (3), se concluye que (s + t) = s + t Observacin.- Si consideramos Zn como el grupo Z/nZ de clases residuales mdulo o o n, vemos que asigna a cada elemento de Z la clase residual mdulo n. o Teorema 51 Si N es un subgrupo normal de un grupo G, entonces la aplicacin o cannica : G G/N dada por a = aN para a G, es un homomorsmo. o Demostracin: Sean a, b G, entonces (ab) = (a)(b) o En efecto, (ab) = (ab)N = (aN )(bN ) = (a)(b)

Denicin 40 El ncleo de un homomorsmo , : G G denotado por ker , es o u el conjunto ker = {g G|g = e }

Ejemplo 31 Para la aplicacin : Z Zn , es tal que ker = nZ. o


Se nota que nZ es un subgrupo normal de Z y Z/nZ es isomorfo a Zn . Denicin 41 Sea una aplicacin de un conjunto X en u conjunto Y . Sea A o o X, B Y . La imagen A de A en Y bajo es A = {a|a A}. La imagen inversa B1 de B es B1 = {x X|x B} El siguiente teorema proporciona algunas caracter sticas estructurales preservadas bajo un homomorsmo Teorema 52 Sea un homomorsmo de un grupo G en un grupo G . Si e es la identidad en G, entonces e es la identidad en G y si a G, entonces a1 = (a)1 . Si H es un subgrupo de G, entonces H es un subgrupo de G , y H es normal en G implica que H es normal en G. Ahora, en otra direccin, si K es un subgrupo de o G , entonces K 1 es un subgrupo de G y K es normal en G, implica que K 1 es normal en G. Dicho brevemente, bajo un homomorsmo, subgrupos corresponden a subgrupos y subgrupos normales a subgrupos normales. Demostracin: Sea un homomorsmo de G sobre G . o Entonces, a = (ae) = (a)(e) y a = (ea) = (e)(a) de donde e es la identidad e en G Adems, e = (aa1 ) = (a)(a1 ) y a e = (a1 a) = (a1 )(a) de modo que el inverso de a es (a)1 = a1 . 71

1) Si H

G, entonces H

o En efecto, e H, luego H = conjunto vac . 1 Sean a, b H, entonces ab H Es claro que a H implica que a = h1 , h1 H b H implica que b1 = h1 ; h1 , h2 H pues H 2 2 Como H G, de modo que ab1 = (h1 )(h1 ) 2 (h1 h1 ) H 2 Segn el teorema 1.5.2 se deduce que H G . u

2) Si H es un subgrupo normal de G, entonces H es un subgrupo normal de G. Sean g G y h H, entonces (g)1 h(g) H. En efecto, (g)1 h(g) = (g 1 )(h)(g) = (g 1 hg), es un homomorsmo = h H, pues H es un subgrupo normal de G 3) Si K G , entonces K 1 G En efecto, K 1 = {g G|g K }, luego e G es tal que e K porque K G . As 1 K es un subconjunto no vac de G. o 1 1 Sean a, b K , entonces ab K 1 Claramente, a K 1 implica que a G y a K b K 1 implica que b G y b K de donde ab1 G y (ab1 ) = (a)(b1 ) K pues es homomorsmo y K G. 1 Por el teorema 1.5.2, concluimos que K es un subgrupo de G. 4) Si K G, entonces K 1 G Notacin: K o G signica que K es un subgrupo normal de G Sean g G, h K 1 entonces g 1 hg K 1 . En efecto, h K 1 h G y h K Luego g 1 hg G y (g 1 hg) = (g)1 (h)(g) K porque K G 1 1 1 Por consiguiente g hg K . Esto signica que K es un subgrupo normal de G

2.8.

El Teorema Fundamental del Homomorsmo

El teorema anterior, en particular, muestra que para un homomorsmo : G G , el ncleo de , ker = K = {e }1 es un subgrupo normal de G puesto que {e } es u un subgrupo normal de G . Teorema 53 (Teorema Fundamental del Homomorsmo) Sea un homomorsmo de un grupo G en un grupo G , con el ncleo K. Entonces G es ungrupo y existe u un isomorsmo cannico (natural) de G con G/K. o Demostracin: o i) Considerando H = G, en el teorema anterior, deducimos que G es un subgrupo de G , luego G es un grupo. 72

ii) AFIRMACION.- G/K G = En efecto, denamos una aplicacin : G/K G por (ak) = a para todo o ak G/K. 1) est bien denida (como aplicacin) a o Sean ak, bk G/K tales que ak = bk, entonces (ak) = (bk) En efecto, ak = bk implica que b1 a K, luego a = bk para algn k K, ahora aplicando u a = (bk) = (b)(k) = (b)e porque k K = ker = b de donde a = b As por denicin de : (ak) = a = b = (bk). , o 2) es 1-1 Sean ak, bk G/K tales que (ak) = (bk), entonces ak = bk. En efecto, de (ak) = (bk) se tiene a = b De aqu (b1 a) = e, luego b1 a K = ker , por consiguiente ak = bk. 3) es sobre G. En efecto: Dado g G, existe gK G/K tal que (gK) = g. 4) es un homomorsmo. Sean ak, bk G/K, entonces (aKbK) = (aK)(bK) En efecto, (aKbK) = (abK) pues K es un subgrupo normal de G = (ab) = (a)(b) porque es un homomorsmo = (aK)(bK) De 1), 2), 3) y 4) queda vericado la armacin ii) o

Comentario.- La aplicacin es una aplicacin cannica en el sentido de que si o o o es el homomorsmo cannico : G G/K, entonces = o Esta igualdad se expresa mediante el siguiente diagrama conmutativo. G CC

CC CC CC 3

G/K

y y

G G y`

Cuando se tenga un homomorsmo, hay dos cosas de principal importancia: la imagen y el ncleo. u A cada grupo cociente G/N corresponde un homomorsmo : G G la imagen es esencialmente G/K donde K = ker , salvo un isomorsmo cannico. o

Ejemplo 32 La aplicacin : I C dada por x = cos x + i sen x es un homoo R I


morsmo de I bajo la suma en C grupo bajo la multiplicacin. R I o 73

En efecto, sean x, y I entonces (x + y) = (x)(y), desarrollando cada lado o R, llegando del lado izquierdo al derecho (x + y) = = = = = cos(x + y) + i sen(x + y) (cos x cos y sen x sen y) + i(sen x cos y cos x sen y) (cos x cos y + i cos x sen y) + (i sen x cos y sen x sen y) (cos x + i sen x)(cos y + i sen y) (x)(y)

Hallemos el ncleo de : K = ker = {r I u R|r = 1} = {r I cos r + i sen r = 1} R| = {r I R|r = 2k, k Z} = 2 Del teorema anterior I R/ 2 C = I R, donde C es la circunferencia con centro en = (0,0) y radio 1 en el plano complejo. por lo tanto es un homomorsmo.

74

CRONOGRAMA DE ACTIVIDADES
Deniciones bsicas a Conjuntos y sus operaciones. Axiomas de nmeros reales u Axioma de completes y aplicacin o Los Nmeros enteros y operaciones u Principio de buena ordenacin o Campos y Anillos de nmeros reales u Operaciones binarias y grupos Propiedades de Grupos Grupos c clicos subgrupos Isomorsmos de Grupos Productos directos Homomorsmo de de Grupos Del 24/08/2007 al 30/08/2007

Capitulo I

Del 6/09/2007 al 13/09/2007 Del 20/09/2007 al 27/09/2009 Del 22/11/2007 al 29/11/2007 Del 7/12/2007 al 14/12/2007 Del 03/01/2008 al 10/01/2008

Cap tulo II

Bibliograf a
[1] Colque Taipe Felipe Climaco, (2004). Notas de Algebra Notas de clases no publicadas, Per. u [2] Hilton Peter, (2000). Curso de Algebra Moderna Editorial Reverte, Espaa. n [3] W. Keesee, (1999). Elementary Abstract Algebra D.C. Heath and Company. Boston.

77