Sei sulla pagina 1di 123

SEMINARIO DE LA ESPECIALIDAD

DE MATEMTICA
Lic. Florencio Trujillo Cauti.
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin

2
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
ndice
Presentacin .. 5
CAPTULO 1
Fundamentos algebraicos de la Matemtica ... 7
1.1 Preliminares 8
1.2 Fundamentos lgicos .. 8
1.3 El mtodo axiomtico .. 12
1.4 Mtodos de demostracin de teoremas . 15
1.5 Una breve presentacin axiomtica de los conjuntos 17
1.6 Relaciones . 25
1.7 Enfoque algebraico de las funciones 31
1.8 Conjuntos numerables . 37
CAPTULO 2
Operaciones internas y estructura de grupo .. 41
2.1 Operaciones internas . 42
2.2 Estructura de grupo . 50
2.3 Homomorfismos de grupos . 63
2.4 Subgrupos generados 66
CAPTULO 3
Estructuras de anillos, cuerpos y campos .. 75
3.1 Estructura de anillo 76
3.2 Dominios de integridad .. 80
3.3 Subanillos . 80
3.4 Ideales de un anillo 82
3.5 Anillos euclideanos .. 83
3.6 Divisibilidad . 83
3.7 Anillos de divisin y campos .. 85
3.8 Anillo de polinomios .. 88
3
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
CAPTULO 4
Introduccin a los espacios vectoriales .. 97
4.1 Espacios vectoriales . 98
4.2 Subespacios vectoriales 102
4.3 Transformaciones lineales 109
4.4 Matrices y sistemas lineales .. 110
BIBLIOGRAFA .. 117
4
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
Presentacin
El presente Mdulo de Especialidad I ha sido elaborado como material
educativo dirigido a los bachilleres de la especialidad de Matemtica e Informtica.
Contiene temas fundamentales del rea de lgebra, como los fundamentos
algebraicos y las estructuras algebraicas bsicas, que permiten la formacin
especializada y cualitativa del docente. Asimismo, dota de los elementos necesarios para
que los futuros licenciados usen su capacidad de investigacin y creacin, a fin de
proponer nuevas aplicaciones en la enseanza de la matemtica en educacin bsica,
especficamente en el nivel secundario.
El lgebra, parte de la matemtica, es una rama netamente formativa, y es un
instrumento que ha venido desarrollndose a travs del tiempo por las necesidades y
creaciones de los hombres para vivir en cada etapa y en cada civilizacin.
El propsito del texto es presentar de manera breve todos los aspectos esenciales
del lgebra, de acuerdo con los planes de estudios, y los aspectos que complementan la
formacin algebraica del docente.

Los contenidos temticos estn divididos en cuatro captulos: en el primero se
abordan los fundamentos algebraicos de la Matemtica; en el segundo se desarrollan las
operaciones internas y la estructura de grupo; en el tercero, las estructuras de anillos y
campos, as como el anillo de polinomios; y, finalmente, en el cuarto se trata la estructura
de espacio vectorial.
El autor
5
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
6
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
FUNDAMENTOS ALGEBRAICOS
DE LA MATEMTICA
Captulo 1
SUMILLA:
En esta primera parte, se hace un resumen de los fundamentos algebraicos de la
matemtica, considerando la lgica proposicional; se tratan las leyes y equivalencias
lgicas, los mtodos de demostracin de teoremas, la axiomtica de los conjuntos. Uno
de los problemas de los estudiantes durante el desarrollo de un tema o una teora
matemtica es la dificultad en conocer y aplicar los mtodos de demostracin de
teoremas; por esto, se requiere incidir su estudio. En esta parte, tambin se presenta un
resumen del enfoque axiomtico de los conjuntos, el enfoque algebraico de las
relaciones de equivalencia y de las funciones; los conceptos bsicos sobre equipolencia,
infinitud y numerabilidad.
OBJETIVOS:
1) Comprender la importancia de los fundamentos lgicos en la demostracin de
teoremas.
2) Conocer la presentacin axiomtica de los conjuntos.
3) Comprender la importancia de las relaciones de orden y de equivalencia.
4) Comprender la importancia de las funciones biyectivas para el estudio de la
equipotencia, infinitud y numerabilidad.

7
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
1. Fundamentos algebraicos de la Matemtica
1.1 PRELIMINARES
Principio de sustitucin (p.s)
Si P(x) es una propiedad verdadera para todos los x de un conjunto A, si x = a,
entonces P(a) tambin es verdadera.
Igualdad entre elementos y conjuntos
Cuando se escribe a = b significa que a y b son smbolos distintos que
representan a un mismo elemento.
Respecto a la igualdad entre elementos, se cumple:
E1). Para todo a, a = a. (reflexiva)
E2). a = b b = a. (simtrica)
E3). a = b b = c a = c (transitiva)
Cuando escribimos A = B significa que A y B son smbolos distintos que
representan a un mismo conjunto. Adems se verifica:
A = A, donde A es cualquier conjunto
A = B B = A.
A = B B = C A =C
1.2 FUNDAMENTOS LGICOS

1.2.1 Operaciones proposicionales
Las proposiciones que se obtienen combinando otras mediante los conectivos se
llaman proposiciones compuestas o formas proposicionales.
Dentro de las operaciones proposicionales ms comunes se consideran:
1) la negacin
2) la conjuncin
3) la disyuncin
4) el condicional
5) el bicondicional.
8
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
1.2.2 TAUTOLOGAS Y CONTRADICCIONES
Una tautologa es una forma proposicional que es verdadera para cualquier
valor lgico que se le asigne a sus variables proposicionales. Es decir, si en
su tabla de verdad la columna bajo su conectivo principal son todos
verdaderos (V).
Definicin
Una contradiccin es una forma proposicional que es falsa para cualquier
valor lgico que se le asigne a sus variables proposicionales. Es decir, si en
su tabla de verdad la columna bajo su conectivo principal son todos falsos
(F).
1.2.3 Implicacin lgica
Dadas dos formas proposicionales, A y B, diremos que A implica
lgicamente B y escribimos A B, si y slo si el condicional A B es
una tautologa.
De la definicin anterior podemos afirmar que si una forma proposicional A implica a
otra forma proposicional B, entonces B se deduce lgicamente de A. Es decir, cada
asignacin de valores lgicos que hacen a A verdadera, tambin hacen a B verdadera.
1.2.4 Equivalencia lgica
Dadas dos formas proposicionales A y B , diremos que A es lgicamente
equivalente a B o A es equivalente a B, y escribimos A B o A B, si y
slo si la forma bicondicional A B es una tautologa.
9
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
LEYES Y TAUTOLOGAS DE LA LGICA PROPOSICIONAL
Las leyes lgicas o principios lgicos son equivalencias lgicas y algunas
tautologas importantes de caracter general, porque a partir de stas se pueden
deducir otras ms. A las equivalencias fundamentales les llamaremos leyes de la
lgica proposicional. Convenimos en usar T para representar cualquier tautologa
y F = C para cualquier contradiccin.
Principales leyes de la lgica proposicional
Leyes idempotentes
p p p p p p
Leyes conmutativas
p q q p p q q p
Leyes asociativas
(p q) r p (q r) (p q) r p (q r)
Leyes disttributivas
Disyuncin respecto de la conjuncin: p (q r) (p q) (p r)
Conjuncin respecto de la disyuncin: p (q r) (p q) (p r)

Leyes de identidad o elemento neutro
El elemento neutro de la disyuncin es la contradiccin: p F p
Elemento neutro de la conjuncin es una tautologa : p T p
Leyes de dominacin
p T T ; p C C
Leyes de complementacin
Tercio excluido : p p T
Contradiccin : p p C
Leyes de Morgan
(p q) p q (p q) p q
Leyes de absorcin
p (p q) p p (p q) p
10
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
Importantes como las anteriores, tenemos otras equivalencias notables como las
siguientes:
Doble negacin : p p
T C C T
Ley del condicional : p q p q
Ley del bicondicional : p q (p q) (q p)
Ley de reduccin al absurdo : p q (p q) F
Ley del contrarrecproco : p q q p
Tautologas ms conocidas
p p q (Ley de adicin)
p q p ( Ley de simplificacin)
p q q ( Ley de simplificacin)
[ (p q) (q r) ] (p r) (Ley del silogismo hipottico)
Las leyes lgicas dadas arriba son tiles para simplificar los problemas, pues es
vlido reemplazar una proposicin por su equivalente sin alterar el resultado, y para
probar otras equivalencias. A esta prueba se le llama prueba deductiva.
Ejercicio: Simplificar sin tablas la proposicin ( p q) p .
Ejercicio : Probar deductivamente que p q (p q) (p q) .
Ejemplo
Pruebe deductivamente (sin tablas) la siguiente ley de reduccin al absurdo:
p q ( p q) F
Solucin
p q p q ( L. del condicional)
( p q ) F ( L. del neutro disyuntivo)
( p q) F ( L. de Morgan y doble negacin)
( q p) F ( es conmutativa )
( p q) F ( L. del condicional)
11
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
1.3 EL MTODO AXIOMTICO
(Basado en Jorge Senz - Fundamentos de la Matemtica)
Toda teora matemtica consta de:
conceptos y
proposiciones
Los Conceptos
Sera ideal que todos los conceptos que se usan en cualquier teora tuvieran definiciones,
pero esto es materialmente imposible, ya que un concepto se define por medio de otros y
estos otros por medio de otros anteriores y as sucesivamente, por lo que llegaramos a
formar crculos viciosos.
Esto es lo que sucede con los diccionarios al tratar de definir todas las palabras de un
idioma.
Para evitar crculos viciosos, se escogen convenientemente algunos conceptos de la
teora, a los cuales deliberadamente no los definimos. Estos son los trminos primitivos
o trminos no definidos de la teora.
El error comn en la secundaria es pretender definir el conjunto como la agrupacin,
reunin o coleccin de personas, animales o cosas, no percatndose del uso de los
sinnimos en que se incurre. Otra cosa es querer definir:
Recta.- Es una sucesin infinita de puntos.
Punto.- Es la interseccin de dos rectas.
Observamos que, adems de otros tipos de consideraciones, para definir el concepto de
recta, se usa el concepto de punto y viceversa, lo que constituye un crculo vicioso.
Los trminos primitivos nos servirn, justamente, para definir otros conceptos, a los que
llamaremos trminos definidos, es decir, consideramos dentro de los conceptos a los:
trminos no definidos y trminos definidos.
Las proposiciones
La parte fundamental de una teora est conformada por proposiciones que establecen
propiedades de los trminos primitivos o definidos y cuya verdad debe probarse. Para
evitar los crculos viciosos, se escogen algunas proposiciones que se aceptan sin
demostracin; stas son los axiomas, postulados o convenios de la teora.
12
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
Un SISTEMA AXIOMTICO es una teora desarrollada mediante el mtodo axiomtico,
es decir, conformado por:
1) Trminos primitivos
2) Trminos definidos
3) Axiomas o convenios
4) Teoremas
Adems de estas cuatro componentes, mencionaremos a la lgica, ya que sta nos
proporciona las reglas de inferencia para la demostracin de los teoremas.
Cules son las reglas que se deben respetar para la eleccin de los axiomas?
Una de ellas es la no contradiccin de los axiomas, aunque esto no siempre es fcil de
demostrar.
La independencia de los axiomas es ante todo una cuestin de elegancia y de
economa; los axiomas son independientes si ninguna es consecuencia lgica de los
otros.
Como un MODELO DE APLICACIN del mtodo axiomtico, se puede desarrollar la
teora de conjuntos.
UN POCO DE ARITMTICA EN N Y EN Z
N = { 0, 1, 2, 3, 4, 5, 6, .. } se llama el conjunto de nmeros naturales.
Principio del buen Orden en N
Si A es un subconjunto no vaco de N, entonces existe un nico elemento mnimo n0 en A.
En este caso, escribiremos n0 = min(A).
Ejemplo
Si A = { 4, 3, 5, 6, 9, 8 }, entonces existe n0 = min(A) = 3
Z = { , -3, -2, -1, 0, 1, 2, 3, 4, 5, , .. } se llama el conjunto de nmeros enteros.
En N o en Z, ab denota el producto de a y b.
a en N, se dice que es natural par, si y slo si a =2n, con n natural.
* a en Z, se dice que es entero par, si y slo si a =2k, con k entero.
* a en N, se dice que es natural impar, si y slo si a =2n+1, con n natural.
13
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
* a en Z, se dice que es un entero impar, si y slo si a =2k+1, con k entero.
a en N, se dice que es mltiplo de 3, si y slo si a=3n, con n natural.
a en Z, se dice que es mltiplo de 3, si y slo si a =3k, con k entero.
EJERCICIO
Defina los nmeros mltiplos de 4 y de 5, en los conjuntos numricos N y Z.
Valor absoluto de nmeros enteros.
Si a es un nmero entero, el valor absoluto de a se denota /a/ y se define como sigue:
/a/ = a, si a 0 /a/ = -a, si a < 0

En relacin al valor absoluto de nmeros enteros, se verifica las siguientes propiedades:
1) /a/ 0, a en Z
2) /a b/ = /a//b/, a, b en Z
3) Si b > 0 y /a/< b -b < a < b
4) Corolario: Si /a/< 1 en Z a = 0

Divisor en N y en Z
Se dice que un natural a 0 es un divisor del natural b, o que a divide al natural b, si
existe un natural c tal que b = c.a

Se dice que un entero a 0 es un divisor del entero b, o que a divide al entero b, si exista
un entero c tal que b = c.a
Nota: En cada caso, si a divide a b, escribiremos a/b
Primer algoritmo de la divisin en Z
Dados a Z , b >0 , entonces, existen r, q en , tales que:
a = q b + r con 0 r < b
Segundo algoritmo de la divisin en Z
Dados a, b , a 0 b 0; entonces, existen r, q en , tales que:
a = q b + r con r = 0 | r | < |b|
14
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
1.4 MTODOS DE DEMOSTRACIN DE TEOREMAS.
Se trata en general de demostrar: si se verifica H, entonces se verifica C.
A veces esta proposicin (teorema) puede estar escrito de manera no explcita.
H se llama la hiptesis y C la tesis o conclusin.
Este teorema simblicamente se escribe: H C
SUGERENCIAS:
Para demostrar la validez del teorema H C, consideramos necesario:
Manejar los fundamentos bsicos del clculo proposicional.
Entender las relaciones ms importantes de los elementos de H y C entre s y
procurar que se hagan presentes en tu mente las ideas relacionadas con ellos
provenientes de tu estudio previo.
1.4.1 DEMOSTRACIN DIRECTA
Para demostrar que si se verifica H, entonces se verifica C, con el mtodo de
demostracin directa y luego deducir la verdad de C, es que de H debe saber la
manera de concluir unas cuantas proposiciones C1, C2, C3, ... y que tal vez de alguna
de ellas, por ejemplo C2, sepas deducir B que te parece que te lleva ms cerca de
C. Procediendo as posiblemente llegas finalmente a C.
EJERCICIOS DE APLICACIN:
1) Si a y b son nmeros enteros impares, entonces su suma es entero par.
2) Si en un tringulo rectngulo cuyos catetos miden x, y e hipotenusa z tiene
de rea z
2
/ 4, entonces el tringulo es issceles.
3) Si la suma de las cifras de un nmero natural es mltiplo de 3, entonces dicho
nmero es mltiplo de 3.
4) Todo nmero natural mltiplo de 4 es nmero par

1.4.2 DEMOSTRACIN POR CONTRAPOSICIN
Para demostrar que se verifica H, entonces se verifica C, esto es equivalente a
demostrar que si no se verifica C, entonces no se verifica H.
En algunos casos resulta ms fcil hacer la demostracin de esta segunda
proposicin.
15
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
La ley que rige la demostracin por contraposicin es:
H C C H
EJERCICIOS DE APLICACIN:
(a) Si a
2
es un nmero natural par, entonces a es par.
(b) Si la suma de dos nmeros enteros pares es par, entonces ambos son pares o
ambos son impares.
(c ) Si a y b son reales positivos tales que a b, entonces
2
b a
ab
+


1.4.3 DEMOSTRACIN POR REDUCCIN AL ABSURDO
Dado un teorema: H C
La idea de la demostracin por reduccin al absurdo es suponer que H es verdadera
y C es falsa, luego ver que no puede ocurrir esto.
Demostrar H implica C, equivale a demostrar que H C implica deducir una
falsedad o un absurdo.
La ley que rige la demostracin por reduccin al absurdo es:
H C ( H C ) F
Donde la proposicin falsa F se llama una contradiccin, es de la forma: r r
El Dr. Miguel de Guzmn considera que uno de los matemticos ms importantes de
este siglo es el ingls G. H. Ard, quien sealaba: El mtodo de reduccin al
absurdo, que tanto complaca a Euclides, es una de las armas ms finas que
puede emplear un matemtico.
EJERCICIOS DE APLICACIN:
1) Si un entero a divide a 1, entonces a = 1 a = -1.
2) Si r es un nmero real tal que r
2
= 2, entonces r no es racional.
3) Si a y b son enteros diferentes de cero, entonces se verifica:
/a/ /a b/

16
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
1.5. UNA BREVE PRESENTACIN AXIOMTICA DE LOS CONJUNTOS

La teora de conjuntos apareci en los trabajos de George Cantor (1845 1918)
alrededor de 1870, causando una revolucin en el mundo de la matemtica.

La breve axiomatizacin de los conjuntos la desarrollamos como sigue:
CONCEPTOS PRIMITIVOS: Elemento, conjunto, pertenencia e igualdad.

1
er.
CONVENIO (DE EXISTENCIA)
Existe un conjunto A
En smbolos: A
Esto nos permitir escribir: x A y entender que A representa un conjunto que no
carece de elementos.
Si escribimos Si escribimos x A, diremos que x es un elemento del conjunto A
Igualdad de conjuntos Igualdad de conjuntos
Consideramos la igualdad de los conjuntos A y B como una identidad y la
escribiremos: A = B, en caso contrario: A B
2
do.
CONVENIO (DE EXTENSIN)
Dos conjuntos Ay B son iguales si y solo si tienen los mismos elementos.
En smbolos: A = B (x) (x A x B)
Decir que dos conjuntos son iguales significa que para todo elemento x, x
pertenece a A, si slo si x est en B.
La igualdad de conjuntos cumple:
REFLEXIVA: A; A = A
SIMTRICA: A = B B = A
17
LA TEORA DE CONJUNTOS ES EL ESLABN ENTRE LA TEORA DE CONJUNTOS ES EL ESLABN ENTRE
LA LGICA Y LA MATEMTICA LA LGICA Y LA MATEMTICA
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
TRANSITIVA: A = B B = C A = C
Inclusin de conjuntos Inclusin de conjuntos
Definicin:
A B ( x) (x A x B)
A B, se lee: El conjunto A est contenido en el conjunto B.
A est incluido en B
Teorema 1: La inclusin de conjuntos cumple:
1.1 A A; A (Reflexiva)
1.2 A B B C A C (Transitiva)

Demostracin:
1.1) Reflexividad: para cualquier x se cumple que
x A xA (porque p p es una tautologa)
Es decir, se cumple que ( x) (x P x P)
Luego: A A; A (por la definicin de contenido)
1.2) La transitividad queda como ejercicio.
[Sug. Usar: [(p q q r) (p r)]
La negacin de A B, se escribir: (A B) o A B
y se lee: No es cierto que A est contenido en B.
A no est contenido en B.
Qu significa que A B?
A B significa que existe al menos un elemento de A que no est en B.
Esta afirmacin la demostramos en el siguiente teorema.
Teorema 2 :
A B ( x) (x A x B)
Demostracin
A B (A B) (negacin de P Q)
18
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
[( x)( x A x B)] (Definicin de contenido)
[( x)( x A x B) (p q p q)
( x); (x A x B) (Negacin de x es x)
( x) (x A x B) (Ley de Morgan)
Es decir:
A B ( x) (x A x B)
3
egr.
CONVENIO (DE ESPECIFICACIN)
En smbolos:
! B, B A; B = { x A / P(x) es verdadera }
o tambin: A ! B; B = {x A / P(x)}
Afirmamos que A es el conjunto referencial para el conjunto B.
Este convenio nos permitir construir nuevos conjuntos a partir de otros y a la vez
relacionar el lenguaje de las proposiciones con el lenguaje de los conjuntos.

Conjunto vaco Conjunto vaco
Dado un conjunto A y la proposicin P(x): x x, por el 3
er.
convenio de
especificacin, existe un nico subconjunto de A determinado por P(x).
Lo denotaremos por A
Es decir: A = { x A / P(x) } = { x A / x x } A

Observemos que para cada conjunto A existe un nico conjunto A y lo llamaremos
subconjunto vaco de A, ya que por definicin: A A.
Adems si B es otro conjunto, tal que el conjunto vaco B B, entonces.
A = B =
Por este hecho afirmamos A, A
19
Para todo conjunto A y toda funcin proposicional P(x), con dominio
de definicin el conjunto A, corresponde un nico conjunto B, cuyos
elementos son los elementos x de A, tal que la proposicin P(x) es
verdadera.
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
LA PARADOJA DE RUSSELL (por Jorge Senz)
Bertrand Russell descubri en 1901 la siguiente paradoja, que puso en serias
dificultades a la teora de conjuntos. El problema resulta en llamar conjunto a
cualquier coleccin de objetos.
Un conjunto B se dice que es ordinario si B B. Por ejemplo, el conjunto L formado
por todos los libros es un conjunto ordinario, pues como L no es libro L L. En
cambio el conjunto A formado por todas las ideas abstractas no es ordinario, ya que
como A mismo es una idea abstracta, tenemos A A.
Consideremos el conjunto O formado por todos los conjuntos ordinarios
O = ' X / X X )
Nos preguntamos si O es ordinario o no lo es.
En el caso si OO, entonces por definicin de O se tiene O O.
En el caso si O O, entonces por definicin de O se tiene OO
As hemos obtenido la contradiccin
O O O O
Para salvar la dificultad, debemos admitir que O no es conjunto
Comentarios adicionales de la paradoja de Russell
La aritmtica de Frege haca uso de conjuntos de conjuntos. Russell demostraba
en su carta que razonar con conjuntos de conjuntos puede conducir fcilmente a
incurrir en contradicciones.
La paradoja de Russell tambin puede exponerse como sigue:
Llamemos extraordinario a todo conjunto que est incluido en s mismo; y
llammosle ordinario en el caso contrario. Russell propona a Frege el conjunto de
todos los conjuntos ordinarios. Es ordinario o extraordinario? Si fuese ordinario,
como la clase de todos los conjuntos ordinarios, pertenecera a s mismo. Pero
entonces sera extraordinario. Por tanto, no podra pertenecer a s mismo, ya que
es el conjunto de los conjuntos ordinarios. Pero eso lo convierte en ordinario!
20
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
Cualquier de los dos caminos nos lleva a una contradiccin! Debe ser
extraordinario u ordinario, pero parece no ser ninguno de los dos.
4 CONVENIO (DE LA UNIN)
En smbolos: A, B; E / A E B E
En otras palabras, este convenio nos garantiza la existencia de un conjunto
referencial.
Interseccin de conjuntos Interseccin de conjuntos
Dados dos conjuntos A, B y E el conjunto que satisface el axioma de la unin. Dados dos conjuntos A, B y E el conjunto que satisface el axioma de la unin.
Adems P(x): Adems P(x): x A x B
Se llama interseccin de A y B al siguiente conjunto:
A B = { x E / P(x) } = {x E / x A x B }
A B = { x E / x A x B }
Afirmamos:
x (A B) x A x B
Nota: Si dos conjuntos no tienen algn elemento en comn, entonces afirmamos
que A y B son disjuntos, adems escribimos: A B =
PROPIEDADES
La interseccin de conjuntos es:
1) Idempotente: A A = A, A.
2) Conmutativa: A B = B A
3) Asociativa: A (B C) = (A B) C
Demostracin.
Probaremos 3. Las dems quedan como ejercicio.
x A (B C) x A x (B C), por def. de
x A (x B) C)
21
Dados dos conjuntos A y B , existe un conjunto E que los contiene.
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
(x A x B) x C, por ley asociativa
x (A B) x C , por def. de
x (A B) C, por def. de
Por tanto, A (B C) = (A B) C
Propiedad : Dados A, B y C conjuntos, tenemos:
1. A B A A B B, A , B
2. C A C B C A B
Demostracin de 2
x C x C x C (por p p)
x A x B (por hiptesis)
x A B (Def. de )
Luego, C A B
PROPIEDADES ADICIONALES
Cualesquiera sean los conjuntos A, B y C, se verifica:
1) A = , A
2) A B = A A B
3) Si A B C D, entonces A C B D
4) A B = A = B =
5) A B A

Unin de conjuntos
Sean dos conjuntos A y B y el conjunto E dado por el convenio de la unin con la
propiedad P(x):
B x A x
. Se llama unin de A y B al conjunto:
A B = 'x E / P (x) )
A B = 'x E / xA xB )
De esta definicin de unin, afirmamos:
B x A x B A x

PROPIEDADES
22
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
Cualesquiera que sean los conjuntos A, B y C, se verifica:
(1)
) ( ) ( C B A C B A
(2)
A B B A
(3)
A A
(4)
B B A B A
(5)
B A A
La demostracin se basa en las propiedades bsicas de la disyuncin y de
algunas equivalencias lgicas.
Como ilustracin, probemos (5)
x A x A x B ( pues p p q )
x A B
O sea A A B
Propiedades distributivas
Cualesquiera sean los conjuntos A, B, y C, se verifica
( I ) A ( B C) = (A B) (A C)
( II ) A ( B C) = (A B) (A C)
Demostracin de ( I ).
x A (B C) x A x B C, por def. de
x A (x B x C), por def de
(x A x B) (x A x C), por ley distributiva
x (A B) x (A C) def. de
x (A B) (A C), por def. de
Luego, A (B C) = (A B) (A C)
La demostracin de ( II ) queda como tarea para el lector.

Ejercicio: Pruebe que se verifica
A B = A B A = B
Demostracin
a) A B
23
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
x A x A x B (p p q)
x A B por def. de reunin
x A B por hiptesis
x A x B, por def. de
x B (p q q).
luego, A B.
b) B A, se demuestra de manera anloga a la prueba de
B A

Por tanto de a) y b), se concluye que A = B.
Diferencia de conjuntos
Sean dos conjuntos A, B y el conjunto E dado por el convenio de la unin. Se llama
diferencia entre A y B al conjunto:
A B = { x E / x A x B }
Se cumple
x (A-B) x A x B
Propiedades:
La diferencia de conjuntos satisface:
1. A A = , A
2. A - = A, A
3. A (B C) = (A B) (A C)
4. A B A B =
5. B (A B) =
Demostracin: Quedan como ejercicio.
COMPLEMENTO DE CONJUNTOS
Si A B, el complemento de A con respecto a B es el siguiente conjunto:
CBA = B - A
El subconjunto CBA de E se caracteriza por
24
x C
B
A x B x A
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
o en forma equivalente
La diferencia E A, donde E es el conjunto referencial, se le llama el complemento
de A. En lugar de leer el complemento de A con respecto a E, se lee simplemente
complemento de A si no hay lugar a confusin.
Se denota por
C A = A =
__
A
Por comodidad, usaremos la notacin A. Luego,
A= {x E / x A} lo que caracterizamos

Ejercicio: Enuncie y demuestre las propiedades bsicas del complemento de
conjuntos.
Diferencia simtrica
Sean A y B dos subconjuntos de E. La diferencia simtrica de A y B es el conjunto AB,
dado por: (A-B) (B-A).

Ejercicio: Enuncie y demuestre las propiedades bsicas de la diferencia simtrica
entre conjuntos:


1.6 RELACIONES
Sean A y B dos conjuntos, se obtiene A x B.
* Si R A x B, entonces se dice que R es una relacin de A en B.
Adems tenemos: (x, y) R x R y
* El conjunto Dom (R) = { x A / (x,y) R } se llama dominio de R
* El rango de R se denota con rang (R) y es el siguiente subconjunto de B:
25
x A x A
x C
B
A x B x A
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
rang (R) = { y B / (x,y) R }
Para un solo conjunto A, si R A x A, entonces se dice que R es una relacin
definida en el conjunto A.
Relacin inversa Relacin inversa
Definicin.- Si R es una relacin de A en B. La relacin inversa de R se denota con R
-
1
, y es el subconjunto de B x A, formado por los pares (y, x) tales que (x, y) R.
Es decir:
R
-1
= { (y, x) B x A / (x, y) R }
Se cumple:(y, x) R
-1
(x, y) R
Composicin de relaciones Composicin de relaciones
Sean: R una relacin de A en B y S una relacin de B en C.
Definicin.- La relacin compuesta de R y S se denota con SR y es la relacin de A
en C formado por los pares (x, z) de modo que existe y B tales que
(x, y) R (y, z) S.
S R = { (x, z) A x C / y B, (x, y) R (y, z) S }
Tenemos:
(x, z) SR y B, (x, y) R (y, z) S
26
x y z
SR
A R B S C
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
Relaciones reflexivas, simtricas, antisimtricas y transitivas
Sea R una relacin definida en un conjunto A se dice que:
1.- R es reflexiva si y slo si, x A, x R x
2.- R es simtrica si y slo si, x R y y R x
3.- R es antisimtrica si y slo, si x R y y R x x = y
4.- R es transitiva si y slo si, x R y y R z x R z
Tarea: Investigar sobre las relaciones de orden y proponga ejemplos
Relaciones de equivalencia

Sea R una relacin definida en A.
Definicin.- Se dice que R es una relacin de equivalencia en A si y slo si:
1. a A, (a, a) R (a R a)
2. (a, b) R (b, a) R (a R b b R a)
3. (a, b) R (b, c) R (a, c) R (a R b b R c a R c)
Ejemplo 1
Dado A un conjunto no vaco, la relacin de igualdad entre elementos de A se define
como sigue: (a, b) R a = b
Entonces se verifica que esta relacin de igualdad es de equivalencia en A.
Ejemplo 2
En conjunto de los enteros se define la relacin R, por la siguiente condicin:
(a, b) R a - b es mltiplo de algn entero n > 0 (n fijo)
Esto es: (a, b) R a - b = n k, k (n > 0 fijo)
Se verifica que esta relacin R es de equivalencia en Z:
CLASES DE EQUIVALENCIA Y CONJUNTO COCIENTE POR UNA RELACIN CLASES DE EQUIVALENCIA Y CONJUNTO COCIENTE POR UNA RELACIN
R R
Definicin.- Sea R una relacin de equivalencia en un conjunto A.
1) Para a A, la clase de equivalencia de a es el conjunto de los elementos de A que
se relacionan con a. Los denotamos con [a], es decir:
[ a ] = { x A / (x, a) R }
Por definicin, [ a ] A. Para cada a A.
27
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
2) El conjunto formado por todas las clases de equivalencia diferentes se llama
conjunto cociente de A por la relacin R y se denota: A / R
Segn esto: A / R = { [ a ] P(A) / a A }
PROPIEDADES:
Si R es una relacin de equivalencia definida en un conjunto A, entonces se verifican las
siguientes propiedades:
Propiedad 1
Para cada a A, [ a ] es no vaco.
En efecto:
Como R es reflexiva se cumple:
Para cada a A, (a, a) R, y por definicin de clase de equivalencia, se tiene
a [ a ], es decir [ a ]
Propiedad 2
Para a A y b A, se cumple uno y slo una de las siguientes igualdades:
[ a ] = [ b ] o [ a ] [ b ] =
Es decir, dos clases de equivalencias o bien son iguales o bien son disjuntas:
Propiedad 3
(a,b) R [ a ] = [ b ]
Propiedad 4
La unin de todas las clases de equivalencias de los elementos de A, coincide con A
En smbolos
U [ a ] = A, para todo a A.
Nota
Las propiedades anteriores 1, 2 y 4 constituyen la primera parte del teorema
fundamental de la particin.
28
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
Aplicacin en la construccin del conjunto Z de los enteros
Siendo N el conjunto de los nmeros naturales
En A = x , se define la relacin R: (a, b) R (c, d) a + b = b + c
Se verifica que R es de equivalencia en x :
P0). Para (0, 0) x , hallamos [(0, 0)]:
(x, y) [(0, 0)] (x, y) R (0, 0)
x + 0 = y + 0
y = x
[(0, 0)] = { (0, 0), (1, 1), (2, 2), (3, 3), ... }
P1). Para (1, 0) x , hallamos [(1,0)]:
(x, y) [(1, 0)] (x, y) R (1, 0)
x + 0 = y + 1
x = y + 1
[(1,0)] = { (1, 0), (2, 1), (3, 2), (4, 3), ... }

P2). Para (2, 0) x , hallamos [(2,0)]:
(x, y) [(2, 0)] (x, y) R (2, 0)
x = y + 2
[(2,0)] = {(2,0), (3,1), (4,2), (5,3),...}
As sucesivamente, se pueden determinar las clases de equivalencia de los pares
(3,0), (4,0), (5,0), ,(n-1,0)
Pn) Para (n, 0) x , hallando [(n,0)] se tiene:
[(n,0)] = { (n, 0), (n+1, 1), (n+2, 2), (n+3, 3), .... }
Anlogamente, hallando [(0, 1), (0, 2)], ..., [(0,n)], etc.
Se tiene: [(0, 1)] = { (0, 1), (1, 2), (2, 3), (3, 4) ... }
[(0, 2)] = { (0, 2), (1, 3), (2, 4), (3, 5) ... }
29
Determinamos el conjunto cociente: x / R
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
[(0, n)] = { (0, n), (1, n+1), (2, n+2), (3, n+3) ... }
De aqu:
Ordenando las diferentes clases de equivalencia de x , por R, se tiene:
..[(0, n)] ... [(0, 2)], [(0, 1)], [(0, 0)], [(1, 0)], [(2, 0)] ... ,[(n, 0)] .
Notacin
.., -n -2 -1 0 1 2 n,
Formamos el conjunto cociente: x / R =
x / R = {..., [(0, 2)], [(0, 1)], [(0, 0)], [(1, 0)], [(2, 0)], ... }
= { ..., -n, , -2, -1, 0, 1, 2, ..., n, }
recibe el nombre de conjunto de los nmeros enteros.
Aplicacin en la construccin del conjunto Zn de los enteros residuales mdulo n
Dado n>o entero fijo en . Se define la relacin R en como sigue:
(a, b) R a b es mltiplo de n
(a, b) R a b = n k, k
(1) Se verifica que esta relacin R es de equivalencia en .
(2) Hallando el conjunto cociente / R:
Se verifica que las clases de equivalencia de de todos los elementos de Z, slo se
reducen a n clases de equivalencia: Desde la clase [ 0 ], hasta la clase [ n-1 ]
El conjunto cociente / R es:
/ R = { [ 0 ], [ 1 ], [ 2 ], ..., [ n-1 ] }
Se llama el conjunto de los enteros residuales mdulo n y se denota con n, es decir:
n = { [ 0 ], [ 1 ], [ 2 ], ..., [ n-1 ] }
30
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
1.7. ENFOQUE ALGEBRAICO DE LAS FUNCIONES
Definicin: Se dice que una relacin f de A en B es una funcin de A en B, si y slo
si f satisface:
(1) Dom(f) = A
(2) (x, y) f (x, z) f y = z
Nota
Si f es una funcin de A en B, escribimos: f : A B A B
Adems: (x, y) f y = f (x)
y es la imagen de x por f , x es la preimagen de y.
Ejemplo:
Dado A un conjunto no vaco
IA: A A; tal que IA(x) = x, x A
IA se llama la funcin identidad de A.
Igualdad de funciones
Dos funciones son iguales si como conjuntos son iguales (poseen los mismos pares
ordenados).
Teorema: Sean f : A B y g : A B dos funciones, se cumple
f = g f (x) = g (x)
Prueba:
Si f = g f (x) = g (x)
) y = f (x) (x, y) f (x, y) g
y g (x)
y = f (x) = g (x)
) Si f (x) = g (x) f = g
(x, y) f y = f (x) f (x) = g (x)
y = g (x)
(x, y) g
Por el axioma de extensin para conjuntos: f = g
31
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
Funciones inyectivas y suryectivas
Sea f : A B una funcin
1) Se dice que f es inyectiva, si y solo si
f (x1) = f (x2) x1 = x2
equivalentemente: x1 x2 f (x1) f (x2)
2) Se dice que f es suryetiva si y solo si el rango de f es B. Es decir,
para todo y B, existe un x A tal que y = f (x).
Funciones biyectivas
Definicin: Se dice que f : A B es una funcin biyectiva si y solo si f es
inyectva y suryectiva.
Ejemplo:
Dados A = R y B = R y funcin f : R R tal que f (x) = a x + b; a 0
Se prueba que f es biyectiva.
(a) Veamos la inyectividad
f (x) = f (m) a x + b = a m + b
ax = am
x = m
f es inyectiva
(b) Veamos la suryectividad
Para cada y R, f (x) = y debe existir una x R tal que
f (x) = y
a x + b = y
a x = y b a 0
x = (y b)/ a en R tal que f (x) = f ((y b) /a)
= a (y b) /a + b
= y b + b
= y
Entonces f es suryectiva
De (a) y (b) podemos afirmar finalmente que f es biyectiva.
32
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
Funciones invertibles

Definicin: Se dice que una funcin f : A B es invertible si y solo si, su relacin
inversa f
1
es tambin una funcin de B en A. En este caso f
1
: B A se llama la
funcin inversa de f . Adems se cumple:
(y, x) f
1
x = f
1
(y) (x, y) f y = f (x)
y = f (x) x = f
1
(y)
Teorema: Una funcin f : A B es invertible si y slo si f es biyectiva.
Prueba:
) a) Inyectividad
y = f (x1) = f (x2) (x1,y) f (x2,y) f
(y, x1,) f
1
(y, x2) f
1

x1 = x2 ( f
1
es una funcin de B en A)
f es inyectiva
b) Veamos la suryectividad
Rang(f ) = Dom(f
1
)
= B
f es suryectiva
De a) y b) finalmente que f es biyectiva.
) f es biyectiva (hiptesis, se debe probar que f es invertible f
1
: B A es
funcin)
i) Dom(f
1
) = Rang(f ) = B ( f es suryectiva)
Dom(f
1
) = B
ii) (y, x) f
1
(y, z) f
1
(x, y) f (z, y) f
y = f(x) y = f(z)
f(x) = f(z)
x = z
Luego, f es invertible.
33
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
Corolario: Si f : A B es funcin invertible, entonces f
1
: B A es biyectiva.
Composicin de funciones
Sea f : A B y g : B C dos funciones

Definicin: La funcin compuesta de f y g es una funcin de A en C y se denota con
g f y se define g f : A C donde:
x A; (g f )(x) = g( f (x))
(g f Se lee f compuesto con g)
Teorema
Si f : A B y g : B C son dos funciones, se verifica:
(a) Si f y g son inyectivas g f es inyectiva.
(b) Si f y g son suryectivas g f es suryectiva.
(c) Si f y g son biyectivas g f es biyectiva
Prueba:
(a) (g f )(x) = (g f )(m) g(f(x)) = g(f(m))
f(x) = f(m)
x = m
Luego g f es inyectiva.
(b) g f : A C es suryectiva
como g : B C es suryectiva
Dado z C; existe y B tal que z = g (x)
Como f : A B es sutryectiva y adems dado y B existe un x A tal
que y = f (x), entonces existe x A tal que z = g(f(x)); es decir, z C existe
x A tal que z = (g f )(x)
Luego, g f es suryectiva.
(c) Es consecuencia de las partes (a) y (b)
34
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
Ejemplo: Sea f : R R / f(x) = 5x + 4; esta funcin es biyectiva.
Como y = f(x) x = f
1
(y)
y = 5x + 4
5x = y - 4
x = (y 4)/5
f
1
(y) = (y 4)/5; o sea:
f
1
(y) = (y 4)/5
Imgenes de conjuntos mediante funciones
Sea f : B A una funcin M A; N B
(1) La imagen de M es el siguiente conjunto.
f (M) = {y B / y = f (x); x M}
(2) La imagen inversa de N es el siguiente conjunto:
f
1
(N) = {x A / y = f (x); y N}
y = f (x) f (M) xM/ y = f (x)
xM f (x) f (M)
Nota: f : B A es suryectva, si f (A) = B
Ejercicio: Para a < b y considerando los intervalos [0,1] y [a, b] definimos:
f : [0, 1] [a,b] tal que f (x) = a + (b a)x. Pruebe que f es biyectiva.
CONJUNTOS EQUIPOTENTES
Definicin: Se dice que un conjunto A es equipotente a un conjunto B si y solo si
existe una funcin f : A B tal que f es biyectiva.
Escribimos: A B, en caso contrario diremos que A no es equipotente a B.
Ejemplo:
Se verifica que todo intervalo [a, b] de , con a < b, es equipotente con el intervalo
[0, 1]. Para esto, es suficiente definir la funcin f: [0, 1] [a, b], tal que su regla es:
f ( x ) = a + (b - a) x, luego se prueba que f es biyectiva.
35
Seminario de la Especialidad de Matemtica
N
P
0 1 2 3 4 5 6
0 2 4 6 8 10 12
6
Universidad Nacional de Educacin
Propiedad
La equipotencia entre conjuntos no vacos es una relacin de equivalencia en el
conjunto de partes.
Prueba:
Para la reflexividad, se usa el hecho de que la funcin identidad es biyectiva. Para la
simetra se usa el hecho de que la funcin inversa es biyectiva. Para la transitividad se
usa la compuesta de dos funciones biyectivas.
Nota: Si A y B son conjuntos equipotentes, entonces se afirma que estos tienen igual
nmero de elementos o el mismo cardinal.
Nota: Si A y B son disjuntos, entonces Card(A B) = Card(A) + Card(B)
Conjuntos infinitos y finitos

Definicin: se dice que un conjunto A es infinito si existe un subconjunto propio B de
A tal que B A. En caso contrario, diremos que A es finito. Es decir:
A es finito si y solo si B subconjunto propio de A, B no es equipotente con A.
Convenio: El vaco () es finito.
Ejemplo:
1) A = {a} es finito, pues: B = ; el nico sunbonjunto propio de A que no es
equipotente con A.
2) Dado A = {a, b}; se tiene que B1 = {a}; B2 = {b}; B3 = son subconjuntos
propios de A que no son equipotentes con A. Es decir, A es conjunto finito,
3) El conjunto C = {1, 2, 3} es finito, pues todos los subconjuntos propios de C no son
equipolentes con C.
4) El conjunto A = N = { 0, 1, 2, 3, ...} de los nmeros naturales es infinito.
Pues existe P = { 0, 2, 4, 6, ...} de los naturales pares (P N)
(N P ) .............()
Para esto, si definimos:
36
Seminario de la Especialidad de Matemtica
N
AB
0 1 2 . . . n n+1 n+2 ... n+k

a
0
a
1
a
2
a
n
x
1
x
2
x
k

Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
f : N P
n 2n
f es biyectiva, luego N P
5) Haga la explicacin de que el intervalo [5, 9] de , es un conjunto infinito.
6) Comente el hecho que es un conjunto infinito.
tambin , no son conjuntos finitos.
1.8 CONJUNTOS NUMERABLES
Definicin: Un conjunto X es numerable si existe una funcin f : N X tal que f es
biyectiva.
Ejemplos
1) El conjunto N = {0, 1, 2, 3, ...} es numerable, pues existe IN : N X = N funcin
identidad IN , con IN biyectiva.
2) El conjunto de los nmeros enteros Z con Z = {..., -3, -2, -1, 0, 1, 2, 3, ...} es
numerable.
Si definimos: f :N Z donde:
( )
( )

'

impar es n si n
par es n si n
n f
; 2 / 1
; 2 /
Se prueba que f es biyectiva.
3) Averigua que el conjunto de los nmeros racionales Q es numerable.
4) El conjunto de los nmeros reales R no es numerable pues no existe g :N R
con f biyectiva.
Proposicin: Si A es finito y X en numerable, entonces A X es numerable.
Prueba
Sea A = { a0, a1, a2, a3, a4, . . ., an} y X = {x1, x2, x3, x4, . . ., xn, }
A X = { a0, a1, a2, a3, a4, . . ., an, x1, x2, x3, x4, . . .}
definamos la funcin :N A X ,donde (k) = ak con k = 0, 1, 2, 3, 4,...,n
(n+k) = bk,
es biyectiva
37
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin

Proposicin: La unin de los conjuntos numerables es numerable.
Prueba:
Sean: X = { a0, a1, a2, a3, a4, . . ., an} y Y = { b0, b1, b2, b3, b4, . . ., bn}
X Y = { a0, b0, a1, b1, a2, b2, a3, b3, . . .}
definimos: f : N X Y
n par a n/2
n impar b(n-1)/2
Se tiene que f es biyectiva; luego X Y es numerable.
La numerabilidad de
Una manera de mostrar que el conjunto de los nmeros racionales es numerable,
sigue este proceso:
* En primer lugar, se establece que el conjunto
+
de los racionales positivos es un
conjunto numerable, pues
+
.
* Denotando con
-
al conjunto de los racionales negativos, se define:
h :
+

-
/ h ( x ) = -x
y se prueba que h es biyectiva, es decir:
+

-
Por la transitividad de la equipotencia:

+

+

-

-
Es decir: Q
-
es tambin numerable
* Siendo =
-
{ 0 }
+

Luego, usando los dos resultados anteriores, se tiene que es numerable.
La no numerabilidad de

38
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
Una nueva forma de demostrar que R no es numerable ha sido estudiada y extrada
del libro Nmeros, grupos y anillos de Eugenio Hernndez -Universidad Autnoma de
Madrid- Espaa.
Para mostrar el hecho que el conjunto de los nmeros reales, no es numerable se
debe considerar y seguir el siguiente procedimiento:
(1) Un resultado que establece: si A es un subconjunto no numerable de un
conjunto B, entonces B es tambin no numerable.
(2) Dado el intervalo A = ] 0, 1[ y B = .
(3) Previamente se debe verificar que ] 0, 1 [ no es numerable.
Una forma de probar este resultado es suponer que ] 0, 1 [ es numerable, entonces
todos los elementos o puntos de este intervalo se pueden escribir en una sucesin
a, b, c, d, e, f, g, h, ...... con valores entre 0 y 1.
Con centro en a elegimos un intervalo de medida 1/10
Con centro en b elegimos un intervalo de medida 1/10
2

Con centro en c elegimos un intervalo de medida 1/10
3
.
...........................................................................................
Anlogamente, se prosigue con los dems puntos, eligiendo intervalos de
medida 1/10
4
, 1/10
5
, ...., etc.
Todos los puntos del intervalo abierto ] 0, 1[ quedarn cubiertos completamente por
esta sucesin infinita de intervalos que posiblemente no sean disjuntos.
La suma de las medidas de estos intervalos est dada por la siguiente serie:
1 / 10 + 1 / 10
2
+ 1 / 10
3
+ 1 / 10
4
+ . . . . . . .. . = 1 / 9
La medida del intervalo ] 0, 1 [ es 1, y este ha sido cubierto por la unin de infinitos
intervalos cuya medida total es a lo ms 1/9.
Esta es la contradiccin buscada.
Entonces, A = ] 0, 1 [ no es numerable.
Ahora:
39
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
En base al resultado (1), siendo ] 0, 1[ un subconjunto no numerable de ,
entonces no es numerable.
40
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
EJERCICIOS DE AUTOEVALUACIN
1) Hable sobre la importancia de los fundamentos lgicos.
2) Comente la importancia de los mtodos de demostracin en la matemtica.
3) Comente la importancia del mtodo axiomtico.
4) Enuncie y demuestre las otras propiedades sobre conjuntos.
5) Estudie las relaciones de orden y comente su importancia.
6) Comente la importancia del estudio de las funciones.
7) Pruebe que la equipolencia entre conjuntos no vacos es de equivalencia.
8) Refirase a la importancia de las funciones biyectivas y de la equipotencia.
41
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
OPERACIONES INTERNAS
Y ESTRUCTURA DE GRUPO
Captulo 2
SUMILLA:
En esta parte, se presenta una breve exposicin de las operaciones internas y la
estructura de grupo, como estructura algebraica fundamental. Su conocimiento tiene
incidencia en el aprendizaje de la matemtica en el nivel secundario. Por este motivo,
desarrollaremos las estructuras algebraicas de semigrupos, grupos, subgrupos normales,
homomorfismos de grupos; los subgrupos generados, para luego ver los grupos cclicos.

OBJETIVOS:
1) Utilizar los fundamentos algebraicos en el aprendizaje de las operaciones internas.
2) Utilizar las operaciones internas en la estructuras de semigrupos y grupos.
3) Conocer los conceptos basados en los grupos y subgrupos clsicos.
4) Comprender la importancia estudiar estructuras de grupos para la enseanza de
la matemtica en educacin secundaria, considerando sus aplicaciones.
42
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
2.1. OPERACIONES INTERNAS
Sea A un conjunto no vaco (A )
Definicin.- Se llama operacin interna o ley de composicin interna (L. C. I.) en A a toda
funcin:
: A x A A
(a, b) a b
donde a b es el resultado de operar a con b por la ley considerando el orden,
es decir: a es el elemento de la izquierda y b es el elemento de la derecha
De otra forma:
Segn la escuela francesa, sea E AxA se llama ley de composicin interna en A a toda
aplicacin; : E A.
Si E = A x A, entonces se llama L. C. I. totalmente definida.
Si E A x A E A x A, entonces se llama L. C. I. parcialmente definida.
Notas:
Siendo una operacin interna en A, para a y b de A, b a de A es el resultado de
operar b con a mediante .
En este caso: b es el elemento de la izquierda.
a es el elemento de la derecha.
Una L. C. I. en A puede ser representada por otros smbolos, como: , * , * , # , $, etc.
Si * es una operacin interna en A:
* : A x A A
(a, b) a * b
Ejemplos:
1) Siendo N el conjunto de los nmeros naturales, definimos las operaciones o leyes de
composicin interna de adicin y multiplicacin; "+" y "." mediante:
+ : N x N N . : N x N N
43
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
(a, b) a+b (a ,b) a..b
La funcin + es una ley de composicin interna en N que se llama adicin de
nmeros naturales. El resultado a + b N se llama suma de los naturales a y b, que
a su vez son los sumandos.
La L. C. I. "." es una operacin interna en N que se llama multiplicacin de
nmeros naturales. El resultado a.b N se llama producto de los naturales a y b,
que se llaman factores.
2) As como en N, en los conjuntos numricos Z, Q, R y C, las operaciones denotadas
con + y . se llaman respectivamente adicin y multiplicacin usuales, definidas en
estos conjuntos.
3) En el conjunto N, la sustraccin denotada con "-" y la divisin denotada con "" no
son operaciones internas totalmente definidas. Estas son operaciones parcialmente
definidas.
La sustraccin slo se cumple para los pares (a,b) N x N tales que
a b, es decir: (a b) N a b
En la divisin slo se cumple para los pares (a,b) N x N tal que a es mltiplo de
b, es decir: (a b) N c N tal que a = c b
4) Dado E, un conjunto, y P (E) el conjunto formado por todos los subconjuntos o
partes de E.
Definimos: : P (E) x P (E) P (E)
(X, Y) X Y

: P (E) x P (E) P (E)
(X, Y) X Y
y son leyes de composicin interna en P (E) llamadas interseccin y unin,
respectivamente.
5) En el conjunto de los nmeros enteros Z, si se definen y * con las reglas;:
a b = a + b -2 x * y = x + y
2
44
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
es fcil ver que T y * son operaciones internas en Z
45
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
2.1.1 Estructura algebraica
Si es una ley de composicin interna en A, entonces al par (A, ) se llama
estructura algebraica.
Es decir, afirmamos que T provee de una estructura algebraica al conjunto A .
Algunos autores llaman monoide a esta estructura algebraica.
As por ejemplo son estructuras algebraicas:
aditivas: (N, +), (Z, +), (Q, +), (R, +) , siendo + la adicin usual en los conjuntos
numricos dados.
Observacin: si en A se definen dos leyes de composicin internas: y * se
denotar (A, , *) para indicar una estructura algebraica provista de las dos leyes de
composicin interna.
Teorema (Leyes de Monotona)
Si T es una operacin interna en un conjunto A no vaco, se verifica:
(1) a = b a T c = b T c
(2) a = b c T a = c T b
Para la demostracin, se usa la propiedad reflexiva de la igualdad entre elementos y
el principio de sustitucin

2.1.2 OPERACIONES ASOCIATIVAS
Definicin.- Una operacin T es asociativa en A si y slo si, cualesquiera que sean
a, b, y c en A se verifica: (a b) c = a (b c)
Ejemplos:
1) En los conjuntos numricos usuales, las operaciones de adicin (+)
multiplicacin (.) son asociativas, pues para todo a, b, c en estos conjuntos se
cumple:
(a + b) +c = a + (b + c)
(a . b) . c = a . (b . c)
46
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
2) Dado E un conjunto y P (E) el conjunto de las partes de E. En P (E) las
operaciones de interseccin ( ) y de unin ( ) son asociativas.
Se pide al lector, fundamente este hecho.
Semigrupos
Definicin.- Si es una operacin interna asociativa en A, entonces, se dice que
define en A una estructura de semigrupo. Se denota por el par (A , T).
TEOREMA:
Sea (A,T) un semigrupo y H un subconjunto no vaco de A, se cumple que:
T es asociativa en H para todo a, b en H, a T b H. (*)
Demostracin:
Como ( A , T ) es semigrupo, T es asociativa en A

( )
Si T es asociativa en H (por hiptesis), entonces T es ley interna en H, es decir:
a, b H, a T b H.

( )
a, b H, a T b H. (por hiptesis), entonces demostraremos que T es
asociativa en H;
a, b, c H ( a T b ) T c = a T ( b T c ) en A;
adems H A ( a T b ) T c = a T ( b T c ) en H
Como los miembros de la igualdad estn en H, por hiptesis, entonces T es
asociativa en H.
Nota: De la condicin (*) del lado derecho del teorema, se afirma que H es parte
estable de A, respecto de la operacin T.
OBSERVACIN:
Este teorema es muy importante, pues sirve en la demostracin de otros teoremas sobre
subgrupos, subanillos y subespacios vectoriales, como lo veremos ms adelante.
Ntese que es suficiente que un subconjunto sea parte estable respecto de una operacin
interna T, para afirmar que T es asociativa en dicho subconjunto.
47
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
2.1.3 OPERACIONES CONMUTATIVAS
Definicin: Una operacin interna T en A se dice que es conmutativa si y slo si
cualesquiera sean a y b en A, se verifica:
a T b = b T a
Es decir, T es conmutativa en A, s a, b en A; a T b = b T a.
Ejercicio
Proponga ejemplos de operaciones conmutativas y no conmutativas.
2.1.4 ELEMENTO NEUTRO O IDENTIDAD
Sea T una operacin interna en A.
1. Un elemento e1 de A se llama identidad o neutro por la izquierda respecto de T, si
y slo si: e1 T a = a, a A
2. Un elemento e2 A, se llama identidad o neutro por la derecha respecto de T, si
y slo si: a T e 2 = a, a A
Ejemplos:
1) En el conjunto Z ; e1 = 0 Z, es neutro por la izquierda y por la derecha respecto a
la adicin +. y e2 = 1 Z es neutro por la izquierda y derecha respecto de la
multiplicacin usual en Z.
2) En N - {0} se define la operacin T; donde a T b = a
b
(T es la potenciacin)
Analizando la existencia de:
a) Elemento neutro e1 por la izquierda:
sea: e1 N-{0} tal que e1 T a = a , a N-{0}; entonces, se debe cumplir: e1
a
=
a
Si a = 1 e1
1
= 1 e1 = 1
Si a = 2 e1
2
= 2 e1 = 2
1/2
, pero 2
1/2
N-{0}
Si a = 3 e1
3
= 3 e1 = 3
1/3
, pero e1 N-{0}
.
Es decir, para todo a 2 en N-{0} no se puede encontrar el valor de e1 en N-{0}
que satisfaga la igualdad: e1
a
= a
Por lo tanto, no existe neutro por la izquierda en N-{0} respecto a la operacin T.
48
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
b) Existencia del elemento neutro e2 por la derecha:
Sea e2 N-{0} tal que: a T e 2 = a , a N-{0}
entonces, debe cumplirse que: 2
e
a
= a, a N-{0}
e2 = 1 es neutro por la derecha en N-{0} Por qu? pues a
1
= a, a N-{0}
Teorema
Si en (A, T) esisten los neutros por la izquierda e1 y por la derecha e2,
entonces e1 = e2 = e
Luego, se afirma que e es el elemento neutro de A respecto de T.
Ejercicio
En el conjunto Z, se define la operacin T mediante la regla: a T b = a + b + 1
Halle el neutro de Z respecto de T,
Respuesta: El neutro es e = -1

2.1.5 ELEMENTOS INVERSIBLES O SIMETRIZABLES
Sea T una ley de composicin interna en A con elemento neutro e, adems sea un
elemento a de A.
(1) Si existe bA tal que b T a = e,
entonces se dice que b es el inverso de a por la izquierda respecto de T
(2) Si existe c A tal que a T c = e,
entonces se dice que c es el inverso de a por la derecha respecto de T.
) Si existe d A tal que d es el inverso de a por la izquierda y por la derecha
respecto de T, entonces afirmamos que d es el inverso de a respecto de T.
Es decir cumple: d T a = e a T d = e
En este caso a d lo denotamos con: d = a
-1
Nota.- Este elemento d = a
-1
tambin se llama el simtrico de a y se denota
tambin con a.
Ejemplo
Dado Z con la adicin usual +, se cumple e = 0 es el neutro aditivo, adems
a Z, a
-1
= -a, que se llama el opuesto aditivo de a.
49
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
EJERCICIOS PROPUESTOS DE AUTOEVALUACIN:
1) Sea: G8 = {P N / 1 P 8 y P 8}
P 8 indique que P y 8 son primos relativos.
En G8 se define la operacin *:
a * b = r donde r es el resto de dividir entre 8 el producto de a y b.
Construya la tabla correspondiente para esta ley *.
2) Dado E un conjunto sobre P (E) se define la operacin , diferencia simtrica:
A B = (A B) (B A)
Construya la tabla correspondiente para esta ley en cada caso:
a) E = {1,2} b) E = {a, b, c}
3) Dado E {a, b, c} y sobre P (E) ordenado por la relacin de inclusin se definen las
operaciones T y *: Para cada A y B en P (E)
A T B = sup (A, B) (supremo)
A * B = inf (A, B) (infimo)
Construir las tablas correspondientes a estas operaciones T y *
4) Estudie la asociatividad, conmutatividad, elemento neutro e inverso para las
siguientes operaciones:
a) a T b =
b a
a.b
+
, en R
+
b) a b = a + b a
2
, en R
c) a b = a + b 7: en R d) a # b = a .b + 2 , en R
5) En R*, con a y b constantes, muestre que entre todas las operaciones , que se
pueden definir mediante: x y = a x + b y, una sola es asociativa
Es decir, slo existe un nico valor para los nmeros reales a y b.
6) Sea A provisto de una operacin asociativa T a E se llama elemento regular o
simplificable, si cumple: para todo x, y en A:
a T x = a T y x = y
x T a = y T a x = y
50
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
Pruebe que en el semigrupo ( A , T ) todo elemento inversible es regular.
7) Sea (A, *) un semigrupo y sea a un elemento fijo de A, mostrar que la operacin $
definida por: x $ y = x * a * y ; es asociativa en A.
8) Siendo T una operacin no conmutativa en A T no es conmutativa en un
subconjunto H de A? Por qu?
9) Sea (A, *) un semigrupo, para a A definimos las funciones:

a
: A A /
a
( x ) = a * x ; A x
a : A A / a ( x ) = x * a ; A x
Demuestre que
a)
b * a

=
a
o
b

b) a * b = b o a
10) En un conjunto A provisto de una operacin T asociativa, demuestre que: Si x
permuta con z siendo inversible, entonces x permuta con z
-1
(sugerencia: x T z = z T x, pues x permuta con z)
11) Sea T una operacin asociativa y conmutativa en A, para a A definimos:
a
1
= a, a
2
= a T a, a
3
= a
2
T a, ..............., a
n
= a
n-1
T a.
Demuestre que para todo a, b A se cumple:
a) (a T b)
2
= a
2
T b
2 (YA SE DEMOSTR)
b) a T b
n
= b
n
T a
c) (a T b)
n
= a
n
T b
n
Las partes b) y c) hacerlo usando induccin en N.
12) Sea ( E , T ) con T operacin interna en E. Para A y B en P(E) se define la Ley de
Composicin Interna T poniendo: A T B = { a T b / a A b B }
T es la extensin de la ley T definida en E a las partes de E: ( P(E) , T )
Demuestre que:
a) Si T es conmutativa, entonces T es conmutativa.
b) Si T es asociativa, entonces T es asociativa.
c) Si e es neutro en E, entonces {e} es neutro en P (E).

51
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
2.2 ESTRUCTURA DE GRUPO
CONCEPTO DE GRUPO
Se llama grupo a todo semigrupo (G, ) que tiene un elemento neutro y que cada
uno de sus elementos tiene su inverso en G, respecto de la operacin
Definicin.- Sea G un conjunto y T una ley de composicin interna en G. Se
dice que (G, T) posee la estructura de grupo, si se cumplen:
G 1) T es asociativa: a, b, c, en G, (a T b) T c = a T (b T c)
G 2) Existe e G tal que: e T a = a a T e = a; a G
G 3) Para cada a G, existe a
-1
G tal que: a T a
-1
= e a
-1
T a = e
a
-1
G, se llama el elemento inverso o simtrico de a.
NOTAS:
1. Siendo (G, T) un grupo, si adems se cumple:
Para todo a, b G, a T b = b T a, entonces diremos que (G, T) es un grupo
conmutativo o abeliano.
2. En un grupo, para a en G, tambin a
-1
=

a'
En grupos aditivos (G, +), para a en G se tiene a
-1
=

a' = -a
-a se llama el opuesto de a.
3. En lugar de escribir (G, T) es un grupo, escribiremos: G es un grupo,
sobreentendiendo que en G se ha definido una operacin interna de grupo.
EJEMPLOS:
1) Son grupos abelianos o conmutativos:
(Z, +); (Q, +); (R, +); (C, +)
2) Considerando el conjunto de los nmeros Z, definimos la operacin T como sigue:
a, b en Z; a T b = a + b + 1
Se verifica que (Z, T) es un grupo conmutativo con neutro e = -1
3) Sean los conjuntos:
Q* = Q - {0} R* = R - {0} C* = C - {0}
Afirmamos que: (Q*, .), (R*, .) y (C*, .) son grupos abelianos: donde . denota la
multiplicacin usual definida en estos conjuntos numricos.
52
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
4) Dado n > 0 en Z. Considere Z
n
= {[0], [1], [2], ..., [n-2], [n-1]} formado por los enteros
residuales mdulo n. Definimos la operacin de adicin + en Z
n ; Para cada [a] y [b]
en Zn: [a] + [b] = [a + b] = [r] donde r es el resto de dividir a + b entre n.
Se verifica:
G1) [a], [b] y [c] en Zn
([a] + [b]) + [c] = [a + b] + [c]
= [(a+b) + c]
= [a + (b + c)]
= [a] + [b + c]
= [a] + ([b] + [c])
G*) Conmutatividad de +:
[a], [b] en Zn; [a] + [b] = [a+b] = [a+b] = [b+a]
= [b] + [a]
Se ha utilizado la definicin (), conmutatividad en y nuevamente ()
G2) Existe el neutro e = [x] en Zn, tal que:
[a] + [x] = [a] [a+x] = [a], [a] en Zn
a + x = a x = 0
Es decir, e = [x] = [0] es el elemento neutro aditivo en Zn .
G3) Para todo [a] en Zn posee opuesto:
[a] en Zn, se deduce que [b] es opuesto de [a] a + b = n
Prubelo !
En consecuencia; (Zn, +) es grupo abeliano.
PROPIEDADES
Si (G, T) es un grupo, entonces se verifican las siguientes propiedades:
a) El elemento e G es nico.
b) a
-1
G es nico para cada a G.
c) (a
-1
)
-1
= a, para cada a G.
d) Para todo a, b en G se cumple que: (a T b)
-1
= b
-1
T a
-1
.
53
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
Las demostraciones: Ejercicio para el lector
Propiedad
En todo grupo (G, T) el elemento neutro coincide con su inverso.
Es decir, si e es neutro de G, entonces e = e
-1
La prueba es trivial.
Tarea: Enuncie y demuestra las propiedades adicionales conocidas sobre grupos
2.2.1 SUBGRUPOS
Definicin.- Un subconjunto H no vaco de G es un subgrupo del grupo (G, T), si y
slo si H es un grupo respecto de la operacin en G, restringida sobre H.
Ejemplos:
1) Si (G, T) es un grupo, entonces 0 = {e} y 1 = G son subgrupos de G llamados
subgrupos triviales de G.
Justifique su respuesta.
2) Dados los siguientes grupos aditivos: (Z, +), (Q, +), (R +) y (C, +).
Se cumple: Z Q Z es un subgrupo de Q.
Q R Q es un subgrupo de R.
R C R es un subgrupo de R.
Propiedad
Si G es grupo y H subgrupo de G, entonces G y H tienen el mismo elemento neutro
La prueba se deja al lector.
TEOREMAS DE CARACTERIZACIN PARA SUBGRUPOS
TEOREMA 1.
Un subconjunto no vaco de G es un subgrupo de G si y slo si:
(1) Para todo a, b , a T b .
(2) Para todo a , a
-1
.
Demostracin:
) Si H es un subgrupo de G, entonces H es un grupo, por lo tanto se verifican las
condiciones (1) y (2).
54
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
) Si se cumple (1) y (2) veamos que H es grupo:
a) Por (1): T es una operacin interna en H, con H G, luego T es asociativa
en H.
b) Por (2): a H, a
-1
H; es decir todo elemento de H; posee inverso en H.
Slo falta probar que H posee un elemento neutro e:
De (2): a H y a
-1
H, luego usando (1): a T a
-1
H
pero a T a
-1
= e, H G, es decir: e H
Luego H es grupo, en consecuencia, H es un subgrupo de G.
TEOREMA 2
Para que una parte no vaca H de un grupo G sea un subgrupo de G es necesario y
suficiente que: a, b en H, a T b
-1
H ............ ()
Demostracin:
( ) Si H es subgrupo de G, entonces H es grupo, luego a, b en H, a H y
b
-1
H; entonces siendo T una operacin interna en H, se tiene que:
a T b
-1
H
( ) Supongamos que se verifica (): (hiptesis) Veamos que H es un subgrupo de
G.
En efecto, como a, b en H, a T b
-1
H. En particular:
Si b = a entonces, a T a
-1
= e H; es decir: e H
Si a = e entonces, e T b
-1
= b
-1
H; es decir: b
-1
H
Falta probar que T es asociativa en H:
Para esto, es suficiente ver que T es operacin interna en H: Por ()
a, b en H, a T b
-1
H
Reemplazando b
-1
en lugar de b:
a H, b
-1
H a T (b
-1
)
-1
H
a T b H;
Es decir, T es asociativa en H
Como se ha comprobado que H es un grupo, entonces H es un subgrupo de G.
Observacin:
Si H es un subgrupo aditivo de (G, +). La condicin suficiente () se escribe:
55
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
a, b H a + b
-1
= a - b H
Es decir: a, b H a - b H ........... (*)
Los resultados de los teoremas anteriores los aplicaremos en los siguientes ejemplos:
Ejemplo 1:
En el grupo aditivo (Z, +), sea H = 5Z = { 5 k Z / k Z} el conjunto de los nmeros
enteros mltiplos de 5.
Veamos que H = 5Z es un subgrupo de Z. En efecto:
Por el teorema 2 y usando la condicin (*):
Para todo a, b en 5Z; a = 5 t, t Z y b = 5 h, h Z
Entonces: a - b = 5 t 5 h; tZ y hZ
a -b = 5(t - h); con (t h) Z
Luego: a - b 5Z = H
Por consiguiente: H = 5Z es un subgrupo de Z.
Ejemplo 2:
Para n 0 en Z, sea H = nZ = { n.k / k Z } el conjunto de los nmeros enteros que
son mltiplos de n.
Entonces, se prueba que H = nZ es subgrupo de (Z, +). (la demostracin es similar al
ejemplo 1)
Ejemplo 3:
Considere
} 0 / { ) (
*
2

1
]
1

bc ad
d c
b a
X R
M
G
el conjunto de las matrices
1
]
1

d c
b a
X
cuyo determinante es diferente de cero, es decir:
Det X = |X| = ad - bc 0
En
) (
*
2
R
M
se define la multiplicacin usual de matrices:
Para cada
1
]
1

d c
b a
X
,
1
]
1

q p
n m
Y
en
) (
*
2
R
M
X. Y =
1
]
1

d c
b a
1
]
1

q p
n m
=
1
]
1

+ +
+ +
qd cn dp cm
bq an bp am
56
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
a. El lector podr comprobar que
) (
*
2
R
M
es un grupo respecto a la multiplicacin
de matrices, cuyo elemento neutro es:
1
]
1

1 0
0 1
I
b. Sea H = {
1
]
1

1 0
1 n
A
/ n Z} Afirmamos que: H es un subgrupo de (
) (
*
2
R
M
, .)
Por las condiciones (1) y (2) del Teorema 1 de caracterizacin:
(1) Para todo
1
]
1

1 0
1 n
A
y
1
]
1

1 0
1 m
B
en H
A.B =
1
]
1

1 0
1 n
1
]
1

1 0
1 m
=
1
]
1

+
1 0
1 n m
con (m + n) Z
A.B =
1
]
1

+
1 0
1 n m
H
(2) Para cada
1
]
1

1 0
1 n
A
en H, n Z
Se tiene que det A = | A | = 1; hallando A
-1
se tiene:
A
-1
=
A
1

1
]
1


1 0
1 n
=
1
]
1


1 0
1 n
, n Z
A
-1
=
1
]
1


1 0
1 n
H
Puesto que -n Z y det (A
-1
) = 1

Ejercicio
Enuncie y demuestre otras propiedades bsicas de los subgrupos.
Establezca condiciones de modo que la unin de dos grupos de un grupo G sea un
subgrupo de G.
2.2.2 CLASES LATERALES (*)
57
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
Convenio:
1) Si (G, T) es un grupo, para cada a, b elementos de G el resultado a T b de G, lo
vamos a representar en forma multiplicativa. Es decir, en vez de escribir a T b,
escribiremos ab.
2) Tambin escribiremos: Sea G un grupo en vez de (G, T) un grupo, si no hay lugar
a confusin, esta notacin lo usaremos para obviar escrituras de la ley T y facilitar el
tratamiento de los conceptos y propiedades que se vern en seguida:
CLASES LATERALES POR LA IZQUIERDA Y POR LA DERECHA
Definicin: Sea (G, T) un grupo y un subgrupo de G. Dado un elemento a de G.
La clase lateral de a por la izquierda respecto de es el siguiente conjunto:
a = { a h G / h }
La clase lateral de a por la derecha respecto de es el siguiente conjunto:
a = { h a G / h }
De estas definiciones, observamos que a y a son subconjuntos de G.
Relacin de equivalencia en un Grupo (G, T)
Sea (G,T) un grupo y un subgrupo de G. En G se define una relacin denotado con
con la siguiente condicin: para a, b en G.
Usando el hecho de que H es subgrupo de G, y alguna propiedad de grupo, se
prueba que esta relacin es de equivalencia en G
Clases de equivalencia
Siendo una relacin de equivalencia en un grupo G, para cualquier elemento a de G,
la clase de equivalencia de a por la relacin anterior, se denota con [a]. Por definicin
de clase, tenemos:
[a] = { x G / a x (mod )}
por otro lado, para a G, hemos definido su clase lateral por la izquierda.
a = {ah G / h }
58
a b (mod ) a
-1
b
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
Propiedad
Siendo la relacin de equivalencia en el grupo G, para a G se demuestra que:
[a] = aH
Es decir, la clase de equivalencia de un elemento del grupo respecto de , coincide
con su clase lateral. En este caso, con una clase lateral por la izquierda.
Observaciones
I. Si G es un grupo y es un subgrupo de G, adems siendo una relacin de
equivalencia en G, por el teorema fundamental de la particin, se cumple:
(1) Para cada a G, [a] , o sea a
Adems: a a .
(2) Dos clases son iguales o son disjuntas, es decir para a, b en G, se cumple:
O bien [a] = [b] o bien [a] [b] =
Es decir: O bien a = b o bien a b =
(3) La unin de todos las clases de los elementos de G es igual a G.
G a
G a

] [
; Es decir:
G a
G a

II. Si G es un grupo y un subgrupo de G, en G se define otra relacin

para a, b
en G mediante: a

b (mod ) a b
-1
:
(1) Se prueba tambin que esta relacin

es de equivalencia en G.
(2) Para cada a G, se prueba que [a] = a. Es decir, la clase de equivalencia
de a en G por la relacin de equivalencia

es una clase lateral por la


derecha.
(3) Tambin, la relacin

determina una particin de G en clases laterales por


la derecha. Estas clases son no vacas, disjuntas dos a dos y cuya unin es
G. (similar a (I)).

III. Siendo un subgrupo de G y eG es el elemento neutro, entonces se verifica:
e = y e =
Es decir, tambin es una clase lateral de
Conjunto cociente
59
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
Siendo un subgrupo de G, los conjuntos cocientes de G por la relacin de
equivalencia

se denotan con G / y se definen:


G/ = { [a] G / a G }
Luego:
(1) G/ = { a G / a G } (respecto de la relacin )
(2) G/ = { a G / a G } (respecto de la relacin

)
Ejemplo
Sea G1 = R1 = R - {O} el grupo respecto de la multiplicacin usual de R
Sea = { -1, 1 } R1. Es claro ver que es un subgrupo de R1
para cada a R1, es a 0 en R, entonces la clase lateral de a por la izquierda es a
= { -a, a }.
Tambin a = { -a, a }.
Es decir, se cumple que: a = a
Luego, el conjunto cociente G1/ es:
R1/ = { a R1 / a R1 } = { {-a, a} R1 / a R1}
Teorema:
Si G es un grupo y es un subgrupo de G, entonces para todo a, b en G, existe
una funcin : a b , tal que es biyectiva.

DEMOSTRACIN:
Existencia: para esto, definiremos la funcin : a b , donde para cada
ah en a se cumple: (ah) = bh (*)
Slo falta verificar que esta funcin es biyectiva.
a) Inyectividad:
Por demostrar: (ah) = (ah1) ah = ah1
(ah) = (ah1) (por hiptesis)
bh = bh1 (por definicin)
h = h1 (por cancelacin en el grupo G)
a h = a h1
Luego, es inyectiva.
60
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
b) Suryectividad:
Para cada y = bh en b , por definicin de existe x = ah en a tal que:
(x) = (ah) = bh = y
Luego, es suryectiva
Por consiguiente es biyectiva
Observacin:
1) Siendo un subgrupo de G, y como para cada a, b en G, existe una funcin :
a b con biyectiva, entonces afirmamos:
(a ) = card (a ) = card (b ) = (b )
2) Si card ( ) es el cardinal de , entonces para cada a G, se tiene:
Si existen r clases laterales por la izquierda o derecha y el grupo G es finito,
Teorema de Lagrange
Si G es un grupo finito de orden n y es un subgrupo de G, entonces el orden de
divide a n. Es decir, card ( ) / n
2.2.3 Subgrupos normales
Definicin.- Sea H un subgrupo de (G, T). Se dice que H es normal en G, si slo
si, a G, h H, a h T a
1
H.
Observaciones:
1) Si es un subgrupo normal de G, denotamos
G.
2) Por definicin, si es subgrupo normal de G, se cumple g , h
g g
-1

61
Es decir, dos clases laterales a y b poseen el mismo orden, el
mismo cardinal.
Es decir, un subgrupo de G y una clase lateral cualquiera a ,
tienen el mismo cardinal.
card ( ) = card (a ), pues = e
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
3) Si es un subgrupo normal de G, tambin se afirma que es normal en
G.
EJEMPLOS:
(1) Si G es un grupo, entonces es fcil ver que = {e} y H1 = G son subgrupos
normales de G, siendo e G el neutro.
(2) Sea G el conjunto de las matrices de la forma

,
_

1 0
1 x
A
, con x real y sea
el conjunto de las matrices de la forma

,
_

1 0
1 n
B
, con n entero (n Z ).
En relacin con estos conjuntos se prueba que:
a. G es un grupo con la multiplicacin de matrices.
b. es un subgrupo de G.
c. Veamos si es un subgrupo normal de G:
A G, h entonces:

,
_

1 0
1 x
A
, x R

,
_

1 0
1 n
h
, n Z
A h A
-1
=

,
_

1 0
1 x

,
_

1 0
1 n

,
_


1 0
1 x
, pues

,
_

1 0
1
1
x
A
=

,
_

+
1 0
1 n x

,
_


1 0
1 x
=

,
_

+
1 0
1 x n x
=

,
_

1 0
1 n

AhA
-1
=

,
_

1 0
1 n

como A h A
-1
, entonces
G.
PROPIEDADES BSICAS
1) Si G es un grupo conmutativo, entonces todo subgrupo de G es normal en G.
2) Si 1 y 2 son subgrupos normales de un grupo G, entonces 1 2 es un
subgrupo normal de G. Es decir:
62
La interseccin de dos subgrupos normales de un grupo G
es tambin un subgrupo normal de G.
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
La demostracin: Ejercicio para el lector
Teorema
Sea G un grupo y un subgrupo de G, son equivalentes los siguientes enunciados:
(1) es normal en G.
(2) g G, g g
-1
=
(3) g , g = g
(4) g ; g1 en G, (g )(g1 ) = g g1

DEMOSTRACIN:
Para demostrar la equivalencia de estos cuatro enunciados, en base a la ley del
silogismo hipottico, es suficiente demostrar las siguientes implicaciones:
(1) (2) (2) (3) (3) (4) (4) (1)
a) Prueba de (1) (2):
es normal en G (hiptesis)
Probaremos que = g g
-1
, g G.
Como es normal en G, ya se tiene que g g
-1
... (*)
Slo falta probar que g g
-1
:
Siendo e G el elemento neutro, se puede escribir:
= e e, para g G, g g
-1
= e
= g g
-1
g g
-1
= g ( g
-1
g ) g
-1
= g (g
-1
( g
-1
)
-1
) g
-1
, pues g = (g
-1
)
-1
g g
-1
Luego, g g
-1
Es decir, hemos demostrado que:
es normal en G = g g
-1
, g G.
b) Prueba de (2) (3):
g g
-1
= , g G, (hiptesis)
(g g
-1
) g = g
63
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
g (g
-1
g) = g
g e = g
g = g
Se ha demostrado que: g g
-1
= g = g, g G.
c) Prueba de (3) (4):
g = g, g G, (hiptesis)
entonces, g, g1 en G, (g )(g1 ) = g ( g1 )
= g ( g1 ) , (hiptesis)
= ( g g1 )
= g g1 ( es subgrupo de G)
Luego se demostr que: g = g (g )(g1 )= g g1 , g, g1 en G.

d) Prueba de (4) (1):
Se debe demostrar que es subgrupo normal de G como para e G, neutro y
para cada g G, se cumple: e g = e g = g , (por hiptesis)
g = g , es decir se cumple:
h g h1 = g1 h2 ; h, h1, h2 en g, g1 en G
h g = g1 h2 h1
-1
g1
-1
h g = h2 h1
-1
= h3
g1
-1
h g = h3
g1
-1
h g
Por consiguiente, se cumple que es subgrupo normal de G.
Por lo que concluimos que los cuatro enunciados son equivalentes.
GRUPO COCIENTE
Sea (G, *) un grupo y un subgrupo normal de G. Denotamos con G/ al conjunto
de todas las clases laterales por la izquierda de los elementos de G, es decir:
G/ = { a P (G) / a G } (*)
64
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
Debemos aclarar que G/ tambin se puede definir como el conjunto de todas las
clases laterales por la derecha de los elementos de G.
Nosotros construiremos un grupo cociente en base al conjunto G/ definido en (*).
Definiremos una operacin interna T en G/ del siguiente modo:
T: G/ x G/H G/
( a , b ) a b
Es decir, para cada a y b en G/ :
(a ) T (b ) = a b = a b
Esto significa, que el resultado de operar dos clases laterales por la izquierda de
G/ es tambin una clase lateral por la izquierda de G/ .
TEOREMA: Se verifica que (G/ , T) es un grupo, el cual es llamado grupo cociente
de G sobre con la operacin T.
2.3 HOMORFISMOS DE GRUPOS
Sean (G, T) y (G', T') dos grupos.
Definicin: Una funcin f : G G' se dice que es un homorfismo de grupos si y slo si:
a, b en G, f (a T b) = f(a) T' f(b)
Esto significa que
Ejercicio
Proponga ejemplos de homomorfismos de grupos, adems vea si son inyectivas,
suryectivas o biyectivas

PROPIEDADES:
Si f : G G1 es un homomorfismo de grupos, se cumplen las siguientes propiedades:
65
Para todo a, b en G, la imagen de a T b de G, es igual al resultado
de operar f(a) con f(b) mediante T' definido en G.
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
1) f (e) = e1, siendo e, e1 los neutros respectivos de G y G1
2) f (a
-1
) = [ f (a) ]
-1
, a G
Demostracin:
Para mayor comodidad y sin prdida de generalidad, consideraremos los grupos
denotados multiplicativamente.
1) f(e) = f (e e) = f(e) f (e) (e es neutro, f es homomorfismo)
Componiendo e1 por la izquierda: e1 f (e) = f(e) f(e)
Cancelando f(e): e1 = f (e)
Por consiguiente: f (e) = e1 (Por qu?)
2) f (a
-1
) f (a) = f (a
-1
a) (f es homomorfismo)
= f (e) (def. de inverso)
= e1 (Por parte 1)
Es decir, se ha demostrado que f (a
-1
) f (a) = e1
y por el teorema que afirma que: ab = e a= b
-1
, hemos demostrado que:
f (a
-1
) = [ f (a) ]
-1

Ejercicio: Enuncie y demuestre las otras propiedades bsicas de homomorfismo de
grupos.
Ncleo de un homomorfismo de grupos
Sea f : G G1 un homomorfismo de grupos.
Definicin.- Se llama ncleo de f y se denota con N(f) al subconjunto de G, tal que,
sus elementos tienen como imagen al elemento neutro e1 de G1, en smbolos:
N (f) = { x G / f(x) = e1 )
Teorema:
Si f: G G1 es un homomorfismo de grupos, entonces el ncleo de f es un subgrupo
normal de G
La demostracin: Ejercicio
Ejemplo:
1) Sean los grupos multiplicativos: (R*, .) y (R
+
, .)
R* = R - {0}; R
+
= {x R / x > 0}
66
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
y definimos: f: R* R
+
/ f(x) = |x|;
a) Se prueba que f es un homomorfismo.
b) Determinemos el ncleo de f: (N(f))
x N(f) f(x) = e1
+
, e1 = 1 (e1 = 1 es neutro de
+
)
f(x) = 1
|x| = 1
x = 1 x = -1
Luego, N(f) = {1, -1}; adems N(f) = {1, -1} es un subgrupo normal de R*
Donde la multiplicacin est definida mediante la siguiente tabla:
1 -1
1 1 -1
-1 -1 1

2) Considerando los grupos (Z, +) y Zn, +); donde:
Zn = { [0], [1], ... , [n-2], [n-1]}
Es el conjunto de los enteros residuales mdulo n. Consideramos la funcin:
f : Z Zn
a [a]
verificamos que:
a. a, b en Z f(a + b) = [a + b]
= [a] + [b]
= f(a) + f(b)
Luego, f es homomorfismo de Z en Zn.
b. Hallemos el ncleo de f:
x N(f) f(x) = e1, como e1 [0] neutro de Zn.
f(x) = [0]
[x] = [0] x 0

k k
n
x
,
0

k k n x , .
67
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin

, 3 , 2 , , 0 n n n x t t t
N(f) = { x Z / x = nk, k Z} = nZ
Esto es, el ncleo de f est formado por todos los nmeros enteros que son mltiplos
de n. Adems N(f) = n Z es un subgrupo de Z.
TEOREMA
Sea f: G G1 un homomorfismo de grupos; f es inyectiva sii N(f) = { e }.

68
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
DEMOSTRACIN: Ejercicio
Notaciones: Sea f: G G1 un homomorfismo de grupos;
(1) Si f es inyectiva, entonces f se llama un monomorfismo.
(2) Si f es suryectiva, entonces f se llama un epimorfismo.
(3) Si f es biyectiva, entonces f recibe el nombre de isomorfismo.
(4) Si f : G G1 y G = G1 entonces f recibe el nombre de endomorfismo.
(5) Un endomorfismo que es biyectivo, recibe el nombre de automorfismo.
2.4 Subgrupos generados
Si (G, T) es un grupo; para cualquier a G se define:
a
n
= a a a a (n veces)
a
0
= e
a
n+1
= a
n
a
a
-n
= (a
-1
)
n
= (a
n
)
-1

a
k
T a
h
= a
k+h
Para un elemento, a, en G, denotamos con < a > al siguiente conjunto:
H(a) = < a > {a
k
G / k Z }
Se verifica que H(a) = a es un subgrupo, llamado subgrupo de G generado por el
elemento a de G.
Demostracin
x a x = a
h
, h
y a y = a
t
, t
xy
-1
= (a
h
)(a
t
)
-1
= a
h
.a
-t
= a
h-t
, h t
xy
-1
a
Es decir, a es un subgrupo de G.
Por la definicin de a, al subgrupo generado por a de G lo escribimos:
a = { , a
-3
, a
-2
, a
-1
, e, a
1
, a
2
, a
3
, }
Vemos que a est formado por todas las potencias enteras negativas y positivas
del elemento a.
69
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
DEFINICIN:
Dado G un grupo y sea a G, llamamos el orden de a, al orden del subgrupo generado
por a y se denota con O(a). Es decir:
O (a) = O(a) = card(a)

ALGUNOS RESULTADOS SOBRE SUBGRUPOS GENERADOS
RESULTADO 1:
Si G es de orden finito de orden n y a G, entonces O(a) divide a n, es decir O(a) / n
card (a) / n.
Para esto: es suficiente aplicar el Teorema de Lagrange.
Si O(G) = n y H es subgrupo de G O(H) / n
En particular H = a es subgrupo de G,
Entonces: O (a) / n (divide a n) Es decir: O (a)/n
Nota:
Antes de estudiar el siguiente resultado, recordemos el primer algoritmo de la divisin en
. Dado m > 0 en y sea s , entonces existen nicos q y r en tal que:
s = qm + r, = qm + r, con 0 con 0 r < m r < m
RESULTADO 2
Dado G un grupo y para a G, sea O(a) = m finito, si existe s tal que
a
S
= e, entonces m divide a S, adems m es el menor entero positivo tal que a
m
= e.
Demostracin:
Para la demostracin se siguen los siguientes pasos:
a) Como m > 0 y S , por el algoritmo de la divisin en , existen q, r en tal que:
S = qm + r, con 0 r < m (*)
b) Para probar que r = 0, se usa el siguiente lema:
Dados 0 < i < m 0 j < m; i, j en , se cumple que si i j a
i
a
j
Por el contrario, supongamos que: a
i
= a
j
, adems i > j, i j < m a
i
.a
-j
= e
Hallando luego el subgrupo generado por a, se tiene:
a = {e, a, a
2
, a
3
, , a
i-j-1
}
Entonces a tiene i j < m elementos, contradice al hecho que O(a) = m,
70
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
Entonces, m es el mnimo entero tal que a
m
= e
Ahora: Siendo s = qm + r, 0 r < m
Dado a G, a
S
= a
qm + r
a
S
= (a
m
)
q
.a
r
a
S
= ea
r
a
0
= a
r
r = 0
como r = 0 en (*) S = qm, q ; o sea m divide a S.
RESULTADO 3:
Sea G un grupo y para a G, se cumple que O(a) = m, entonces:
a = {e, a, a
2
, a
3
,, a
m-1
}
Demostracin:
a. Es de inmediato ver que:
{e, a, a
2
, a
3
,, a
m-1
} a
b. Slo falta probar a {e, a, a
2
, a
3
,, a
m-1
}
x a x = a
S
, S
x = a
S
, S = qm + r, 0 r m-1
x = a
qm+r
, 0 r m-1, r
a = a
r
, con 0 r m-1, r
x {a
0
, a
1
, a
2
, a
3
,, a
m-1
}
x {e, a, a
2
, a
3
,, a
m-1
}
o sea a {e, a, a
2
, a
3
,, a
m-1
}
Aplicacin:
Dado el grupo 15 = con la adicin de enteros residuales.
Para a = [3]
5
= [0] = e
Por el resultado anterior, se tiene:
[3] = 3 = {0, 3
0
, 3
1
, 3
2
, 3
3
, 3
4
}
3 = {0, 3, 6, 9, 12}
71
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
GRUPOS CCLICOS
Definicin: Un grupo (G, T) se dice que es cclico, si existe un a G con a e tal que
G < a >.
Esto significa que todo grupo no unitario y cclico est generado por un elemento
diferente del neutro e.
Ejemplos:
1) Sea G = 7 el grupo con la adicin de enteros residuales mdulo 7.
Se cumple que existe a = 2 en 7, 2 0, tal que:
2 = {2
0
, 2
1
, 2
2
, 2
3
, 2
4
, 2
5
, 2
6
}
2 = {0, 2, 4, 6, 1, 3, 5}
2 = 7
entonces 7, + es un grupo cclico.
Notar que en 7 con +, se cumple:
2
2
= 2 + 2 = 4
2
3
= 2 + 2 + 2 = 6
2
4
= 2 + 2 + 2 + 2 = 6 + 2 = 1 (en 7)
2) Sea el grupo con la adicin usual +. Como existe 1 0 en , e = 0, tal que:
1 = {, 1
-3
, 1
-2
, 1
-1
, e, 1
1
, 1
2
, 1
3
, }
1 = {, -3, -2, -1, 0, 1, 2, 3, }
1 =
entonces es cclico, pues 1 =
Nota: En con +, se cumple:
Si a = 0 en 0 = 1
0
.
72
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
Si a > 0 en a = 1

= 1 + 1 + 1 + ...... + 1 (a veces)
Si a < 0 en a = -(1
-a
) = -(1 + 1 + 1 + ...... + 1 (-a veces)
es un grupo cclico de orden infinito.
3) Analicemos si el conjunto de los nmeros racionales con la operacin de adicin
+ es un grupo cclico.
Supongamos que ( , +) es cclico, entonces existe r 0 en tal que
r = , donde:
r = = { , -r-r, -r, 0, r, r+r, r+r+r, }
como es denso, entre r y r+r existen un c , tal que r < c < r + r, para esto es
suficiente tener
2
) r r ( r
c
+ +
, entonces r
2
3
c .
como r
2
3
c , lo escribimos: c = r
3/2
c = r
3/2
r, pues
2
3
no es entero.
Esto contradice a que r
2
3
= r
PROPIEDADES BSICAS SOBRE GRUPOS CCLICOS
Enunciamos algunas propiedades bsicas sobre grupos cclicos, sin demostracin:
(1) Todo grupo G de orden primo es cclico para la demostracin, se usa la nocin de
nmero primo y el Teorema de Lagrange.
Nota:
Si G es un grupo de orden infinito, se cumple:
a G a
0
= e a
k
e, k 0 en , con a e
(2) Si G es un grupo cclico de orden infinito que es generado por a, entonces a y a
-1
son los nicos generadores de G.
Ejercicio:
Con esta propiedad (2) si G = con la adicin, hallar los generadores de .)
73
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
(3) Si G = a es un grupo cclico de orden n, entonces a
r
es otro generador de G, s
y slo s r y n son primos relativos, con r < n.
Aplicacin:
Halla los generadores del grupo ( 6, +), donde 6 = {0, 1, 2, 3, 4, 5}
Veamos: el orden de 5 es n = 5 y 1 es generador de 6, pues:
1 = 6 = {0, 1
1
, 1
2
, 1
3
, 1
4
, 1
5
}
En base a la propiedad (3), se cumple:
1
1
= 1 es generador de 6, pues 1 y 6 son primos relativos.
1
5
= 5 es generador de 6, pues 5 y 6 son primos relativos.
Entonces, los nicos generadores de ( 6, +) son 1 y 5, esto es, 1 = 5 = 6
Sin embargo, 1
3
= 3 no es generador de 6, pues 3 no es primo relativo con n = 6.
74
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
EJERCICIOS DE AUTOEVALUACIN

1) Los conceptos relacionados con las operaciones internas y la estructura de grupo se
aplican en el estudio y la construccin de los sistemas numricos. Haz un comentario
al respecto.
2) Los grupos y las ecuaciones:
Dado que en todo grupo (G, T) las ecuaciones siguientes:
a x = c
y a = b,
poseen soluciones nicas en G, para las incgnitas x, y en G. Estos resultados se
pueden usar para resolver las siguientes ecuaciones:
a) a + x =c
y + a =b. En los grupos (Z, +) , (Q, +), (R, +)
b ) ax = c
ya = b. En los grupos multiplicativos (Q - {0}, x ), (R - {0}, x ) ).
3) Los grupos en la geometra del plano R
2
La adicin de pares ordenados dan la estructura de grupo abeliano al conjunto R
2
, el
cual se llama plano euclideano.
Usando las representaciones de los pares de R
2
mediante segmentos dirigidos, se
puede interpretar las propiedades de la adicin, tal como lo hace la fsica, para
interpretar los desplazamientos. Asimismo, se usa para el estudio de algunos
conceptos de la geometra elemental basados en transformaciones.
4) Usar el teorema fundamental de subgrupos en el grupo aditivo (Z, +) para verificar que
el conjunto H = 2Z, de los enteros pares, es un subgrupo de Z. Adems, usar este
hecho para aplicar en el nivel secundario. Sin embargo, el conjunto I de los enteros
impares no es un subgrupo de (Z, +). Explica este hecho.
5) Demuestre la siguiente propiedad:
Si H es un subgrupo del grupo aditivo (Z, +), entonces existe un n natural tal que
H = n Z; siendo n Z el conjunto de los enteros mltiplos de n.
(Sugerencia: Usa el principio del buen orden en N, y la condicin de subgrupo)
75
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
6) Dado G un grupo. Demuestra:
H es subgrupo de G HH = H
7) El conocimiento de homomorfismos de grupos y de ncleo de un homomorfismo y
alguna propiedad facilitar al participante aplicarlos en el tratamiento de algunas
funciones conocidas, tales como:
a)
f
: R R definida por
f
(x) a.x
b) h : R R, definida por h (x) x
c) Las funciones exponenciales y logartmicas.
8) Dado el grupo aditivo (Z, +) y
f
es un homomorfismo de Z en Z, entonces se cumple
que existe un c en Z tal
f
(n) = c.n, n Z.
Para su demostracin, se usa el hecho que
f
satisface
f
(x + y) =
f
(x) +
f
(y)
Adems, se prueba que:
a) Si n = 0 en Z
f
(0) = 0
b) Si n > 0 en Z, entonces n se escribe: n = 1+ 1+ 1+ 1 (n veces ).

f
(n) =
f
(1 + 1 + 1+ +1) = n
f
(1)
Haciendo, c =
f
(1) en Z
f
(n) = cn
c) Si n < 0 en Z, tambin
f
(n) = cn
9) Si G = {a C / a
4
- 1 0}, con la multiplicacin de complejos, se tiene:
Se verifica que (G,.) es un grupo.
Halle sus generadores.
10) De qu manera, en el nivel de educacin secundaria, inducira usted el hecho de que
(Z, +) es grupo cclico y (Q, +) no es cclico.
76
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
77
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
ESTRUCTURAS DE ANILLOS,
CUERPOS Y CAMPOS
Captulo 3
SUMILLA:
En este captulo, se desarrollar de manera resumida la estructura de anillos,
considerando los dominios enteros, los ideales y la divisibilidad; adems, los anillos
euclideanos, los anillos de divisin y campos.
OBJETIVOS
1) Utilizar los grupos y sus propiedades en el estudio de la estructura de anillo.
2) Comprender la utilidad del aprendizaje de los dominios enteros, ideales, anillos
euclideanos y la divisibilidad.
3) Comprender la importancia de los anillos de divisin y campos.
4) Conocer la construccin del anillo de los polinomios.
5) Reconocer su importancia en la enseanza de la matemtica en el nivel secundario.
78
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
3.1. ESTRUCTURA DE ANILLO
3.1. CONCEPTO DE ANILLO
Considerando un conjunto A, no vaco, denotamos con + y las dos operaciones
internas en A:
Definicin.- Se dice que la terna (A, +, ) tiene la estructura de anillo si y slo s :
1) (A, +) es un grupo abeliano.
2) (A, ) es un semigrupo.
3) Para todo a, b, c en A: a. (b + c) = a.b + a.c y (b + c).a = b.a + c.a.
Notas:
Un anillo A tiene elemento unidad si existe 1 en A tal que:
1. a = a a. 1 = a, a A
Un anillo (A, +, .) es anillo conmutativo si y slo si
a.b = b.a , para todo a, b en A
Ejemplo 1:
Los siguientes conjuntos numricos poseen la estructura de anillo conmutativo con
unidad, con las operaciones de adicin + y multiplicacin

usuales:
(Z,+,

), (Q, +,

), (R, +,

)
Como caso particular en Z se cumple:
I. (Z, +) es un grupo conmutativo.
II.(Z,

) es un semigrupo, ya que para todo a, b, c en Z se tiene:


(ab)c = a(bc) a, b, c en Z.
III. Se verifican las leyes distributivas:
Para todo a, b y c en Z.
a(b + c) = ab + ac; y (b + c)a = ba + ca
Adems, existe 1 en Z llamado elemento unidad tal que:
1a = a1 = a, para todo a en Z
a.b = b.a, a,b en Z
79
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
Ejemplo 2:
Considerando A =ZxZ , se definen las operaciones internas + y

, como sigue:
(a, b) Z x Z (c, d) Z x Z
(a, b) + (c, d) = (a+c, b+d) ()
(a, b)

(c, d) = (ac, bd) ()


se cumple:
a) (ZxZ, +) es grupo abeliano, pues es un subgrupo de (R
2
, +)
b) (ZxZ,

) es semigrupo:
Para cada (a, b); (c, d) y (m, n) en ZxZ:
[(a, b)(c, d)](m, n)] = (ac, bd)(m, n) Por ()
= [(ac)m, (bd)n] Por ()
= [(a(cm), b(dn)] Por Asoc. en Z
= (a, b)(cm, dn) Por ()
= (a, b)[(c, d)(m, n)] Por ()
c) Leyes distributivas:
Para cada (a, b); (c, d) y (m, n) en Z x Z:
(a, b)[(c, d) + (m, n)] = (a, b)(c+m, d+n) (1)
= (a(c+m), b(d+n)) (2)
= (ac + am, bd + bn) (3)
= (ac, bd) + (am, bn) (4)
= (a, b)(c, d) + (a, b)(m, n) (5)
De manera similar se prueba que:
[(c, d) + (m, n)](a, b) = (c, d)(a, b) + (m, n)(a, b)
Luego afirmamos que

es distributiva respecto a + en ZxZ


*) (a, b) . (c, d) = (ac, bd) = (ca, db) = (c, d) . (a, b)
d) Existe 1 = (1, 1) en ZxZ elemento unidad tal que para todo (a, b) ZxZ
(1, 1)(a, b) = (1a, 1b) = (a, b)
(a, b)(1, 1) = (a1, b1) = (a, b)
En consecuencia: (ZxZ, +,

) es un anillo conmutativo y con unidad:


1 = (1, 1)
80
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
Ejemplo 3:
En el conjunto de los enteros residuales mdulo n:
Zn = {[0], [1], ., [n-2], [n-1]}
Para cada [a], [b] en Zn, definimos + y

:
[a] + [b] = [a + b] = [r] ()
siendo r el resto de dividir a+b entre n
[a][b] = [ab] = [t] ()
donde t es el resto de dividir ab entre n.
tenemos:
I. En la parte de grupos, hemos visto que (Zn, +) es un grupo abeliano.
II. (Zn,

) es semigrupo: [a], [b] y [c] en Zn


([a][b])[c] = [ab][c]
= [(ab)c]
= [a(bc)]
= [a][bc]
= [a]([b][c])
III. Distributivas: [a], [b] y [c] en Zn
[a] . ([b] + [c]) = [a] . [b + c]
= [a(b + c)]
= [ab] + [ac]
= [a] [b] + [a] [c]
*) [a] . [b] = [ab] = [ba] = [b] . [a]
* Zn posee elemento unidad 1 = [1] y se cumple:
[a] en Zn, [1][a] = [1a] = [a] = [a1] = [a][1]
Puede usted formalizar la existencia de [1]?
Por todo lo anterior, afirmamos que (Zn, +,

) es un anillo conmutativo y con


unidad.
81
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
Ejemplo 4:
Dado A = 2Z = {x Z / x = 2k; k Z }; es el conjunto de los nmeros enteros pares:
Si en 2Z se definen las operaciones usuales de adicin y multiplicaicn como en Z ,
entonces:
a. Se prueba que (2Z, +, .) es un anillo conmutativo.
Hacerlo!
b. Pero el anillo (2Z, +,

) posee elemento unidad?


Veamos:
Supongamos lo contrario, esto es, debe existir un elemento o unidad b en 2Z,
tal que: ab = a; a, b 2Z
Es decir: a = 2m; b = 2n; m, n Z
ab = a (2m)(2n) = 2n
2m = 1
m =
2
1
Z ()
(contradiccin con m Z )
Es decir mZ contradice a la hiptesis m Z .
Ejercicio
1) Haga un comentario sobre los anillos conmutativos
2) Proponga otros ejemplos de anillos
82
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
3.2 Dominios de integridad
Sea A un anillo conmutativo
Un elemento a 0 en A es un divisor de cero, si existe un b 0 en A tal que
a.b = 0.
A es un domino de integridad o es un dominio entero, si A no tiene divisores de
cero. Es decir,
a 0 y b 0 a.b 0
ambin: a.b = 0 a = 0 b = 0
Ejemplo1
El anillo de los nmeros enteros (Z, +, ) es un dominio entero
Ejemplo 2
Se prueba que el anillo (Z
n
, +, ) de los enteros residuales mdulo n es un
dominio entero si y slo si, n es primo
Ejercicios
1) Proponga otros ejemplos de anillos con divisores de cero.
2) Proponga ejemplos de dominios de integridad.

3.3 Subanillos
Ejemplo 1
En los anillos: (Z,+, ); (Q, +, ); (R, +, ); (C, +, )
Cada uno es un subanillo del siguiente, de izquierda a derecha.
83
Definicin.- Sea A un anillo y S un subconjunto no vaco de A ( S A, S )
Se dice que S es un subanillo de A, s y slo s, S posee la estructura de anillo
con las operaciones + y de A, restringidas sobre S.
Definicin.- Sea A un anillo y S un subconjunto no vaco de A. Se dice que S es un
subanillo de A, si y slo si, S posee la estructura de anillo con las operaciones + y

de
A, restringidas sobre S.
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
Ejemplo 2
Sea el anillo: (Z,+,

) de los nmeros enteros y S = } { Z k k / 3 el conjunto de los


nmeros enteros que son mltiplos de 3. Veamos que (S,+,

) es un subanillo de (Z,+,

).
a) (S,+) es subgrupo conmutativo de (Z,+,): por el teorema de caracterizacin de
subgrupos:
Para todo a, b S , a3t, b3h; t, h Z.
a b = 3t 3h ; t, h Z
a b = 3 (t-h); (t-h) Z
a b = 3 Z.
Por consiguiente (S, +) es un subgrupo de (Z, +), Adems; + es conmutativa en
S, pues S Z
b) (S,

) es semigrupo:
a, b, c S; a = 3h, b = 3k, c = 3 t; h, k, t en Z.
(a,b) = ( ( t3h) (3k) ) 3t; h,k, t Z
= ( 3h) ((3k) (3t))
= a (b, c).
Luego, es asociativa.
c) Leyes distributivas.-
Es claro que se cumple a, b, c en S
a (b+ c) = ab + ac
(b + c) a = ba + ca pues; S Z
Siendo S = 3Z un anillo y S Z entonces 3Z es un Subanillo de Z.
Teorema de caracterizacin de subanillos
Sea (A,+, . ) un anillo y S un subconjunto no vaco de A. Se cumple:
S es subanillo de A (1) a, b en S a b S
(2) a, b en S a . b S
84
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
3.4 Ideales de un Anillo
Definicin.- Un subconjunto I de un anillo A se dice que es un ideal de A, si slo s:
1) (I, +) es un subgrupo de (A, +)
2) Para todo a en A y para todo r en I, se tiene: a r I r a I
Ejemplos
1) Dado un anillo A con + y , tenemos que A y '0) son ideales de A, llamados
los ideales triviales de A.
En efecto:
S i = A

'


+
I I a r r a A r A, a
con A de subgrupo es A
Si = '0)
}
{ } { }

'


+
0 0 a r 0 r a 0 r A a
con A de subgrupo es 0 {
2) El conjunto de los nmeros enteros es un subanillo del conjunto de los nmeros
racionales .
Pero no es ideal de ( , +, ) porque si a r a.r r.a no
necesariamente est en . Por ejemplo:
Dados, a = 4/3 en r = 5 en , entonces:
a.r =
3
20

3) En el anillo ( , +, ), los ideales de son los subconjuntos n , con n 0.
Veamos:
i). Se demostr que n es un subgrupo de ( , +)
ii). Si a r n , entonces:
a r = a(n.k)
= n (a.k)
= n h; h = a k
85
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
a r n
tambin r a n
Por consiguiente, (n , +,) es un ideal de ( , +, )
Recprocamente:
Si es un ideal de , entonces existe n 0 en , tal que = n . Es decir, todos los
ideales de son de la forma n . Para esto se usa el concepto de ideal y el
principio del buen orden en N.
CASOS PARTICULARES:
I = 2Z, I = 3Z son ideales del anillo Z formado por los enteros pares y los nmeros
enteros mltiplos de 3 respectivamente.
3.5 Anillos Euclideanos
Definicin.- Un dominio entero A se llama anillo euclideano, si para cada
a 0 en A, est definido un entero no negativo d (a), satisfaciendo :
(1) Para todo a 0 y b 0 en A, se cumple: d(a) d (a.b)
(2) Para todo a 0 y b 0 en A, existen q, r en A tal que:
a = bq + r, con r = 0 d(r) < d(b).
Caso particular
El anillo de los enteros Z,es un anillo euclideano. Ente este caso, para cada aZ: d(a)
= 1 a1 .
3.6. Divisibilidad Divisibilidad
Definicin.- Sean a 0 y b elementos de un dominio entero A, se dice que a
divide al elemento b y escribimos a / b, si y slo si existe c A, tal que b = a c
En smbolos:
a / b c A tal que b = a c
Nota::
86
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
Si a / b, tambin se dice que: a es un divisor de b
b es divisible por a
b es mltiplo de a
Propiedades
1 Si A tiene elemento unidad 1, entonces:
1.1. 1 | a, a A
1.2. 1 | a, a A
1.3. a | a, a A, a 0
1.4. a | a, a A, a 0
1.5. a | b a | -b
2. a | b c A a | b c
3. a | b b |c a | c
4. a | b c A; c | 0 a c | b c
5 d | a d | b d | a + b
6 d | a d | b d | a b
En el Anillo (Z, +, ), demostrar:
7. a 0 a | /a/ /a/ | a
8. a | /b/ a | b
9. a | b /b/ < a
10 a | 1 a = t 1
11. a | b b | a b = t a
Demostraremos 10) y 11):
Teorema. a a 0; a | 1 a = t 1
Demostracin:
87
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
a | 1 b / 1 = a b /1/ = /a b/ = /a/ /b/
Ntese que /a/ y /b/ son nmeros enteros positivos, entonces: /a/ 1 /b/ 1?
ya que si: /a/ < 1 0 < /a/ < 1 (|) contradiccin
y si: /a/ > 1 /a/ /b/ > /b/ 1 > /b / (|) contradiccin
Luego: /a/ = 1 a = t1
Corolario: a | b b | a b = ta
Demostracin:
a | b q / b = q a (I)
b | a q1 / a = q b (II)
de: (I) y (II), tenemos que:
a = q1 (q a) = (q1 q) a 1 = q1 q [Cancelando a]
q | 1 [Def. divisor]
q = t1 [Teorema anterior]
Reemplazando en (I): b = ta
Ejercicios
1) Enunciar y demostrar las otras propiedades sobre divisibilidad en un dominio entero.
2) Ver si el anillo de los nmeros racionales es euclideano
3) Hable sobre el mximo comn divisor en un anillo euclideano, asimismo dar la idea
de primos relativos
3.7 ANILLO DE DIVISIN Y CAMPOS
Un anillo A con elemento unidad 1 es un anillo de divisin, si y slo si
( A-{0}, ) es grupo
(A,+, ) es un campo, si A es un anillo conmutativo y de divisin
Observacin Observacin
88
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
En algunos textos, a los anillos de divisin los llaman cuerpo y al cuerpo
conmutativo le denomina campo.

Ejemplos:
1) y son campos respecto de las operaciones usuales de adicin y
multiplicacin.

2) Considere el conjunto de todos los pares (a, b) donde: a, b .
a. Definimos la igualdad en
(a, b) = (c, d) a = c y b = d
b. Definimos la adicin y multiplicacin en
Para z = (a, b) y w = (c, d) en
z + w = (a, b) + (c, d) = (a + c, b + d)
z w = (a, b) (c, d) = (a c b d, a d + b c)
Se verifica:
(1) ( , +) es grupo abeliano:
a. + es asociativa en .
b. Existe el neutro = (x, y) en , para todo (a, b) , tal que:
+ (a, b) = (a, b) + e = (a, b)
(x, y) + (a, b) = (a, b) (x + a, y + b) = (a, b)
x + a = a y + b = b x = 0 y = 0
Es decir: = (x, y) = (0, 0) ; Elemento Neutro.
c. Para todo z = (a, b) , el opuesto aditivo en , es:
-z = (x, y), tal que: z + (-z) = (0, 0)
(a, b) + (x, y) = (0, 0)
(a + x, b + y) = (0, 0)
a + x = 0 b + y = 0
x = -a y = -b
Es decir; z = (a, b) , -z = (-a, -b) / z + (-z) = 0
Anlogamente demostrar: -z + a = 0 (0, 0) -z = (-a, -b)
Es decir, a (a, b) , -z = (-a, -b) / -z + z =
89
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
Luego existe el elemento opuesto -e = (-a, -b)
d. Para cada z = (a, b) y w = (c, d) en
z + w = (a, b) + (c, d)
= (a + c, b + d)
= (c + a, d + b) = (c, d) + (a, b) = w + z
Justifique cada afirmacin.
(2) ( *, ) es grupo conmutativo, pues
a. es asociativa en
b. es conmutativa en ; esto es,
z, w , z w = w z (Demustrelo!)
c. El neutro multiplicativo (x, y) es la unidad en
Para todo (a, b) en
(x, y) (a, b) = (a, b) (x, y) = (a, b)
Probaremos que: (x, y) (a, b) = (a, b)
(x a - y b, x b + y a) = (a, b)
Igualando y resolviendo con determinantes, se obtiene
(x, y) = (1, 0)
Es decir: (1, 0) (a, b) = (a, b) (1, 0) = (a, b)
Luego (1, 0) es el elemento neutro multiplicativo.
d. Para cada z = (a, b) en * entonces:
a 0 b 0 a
2
+ b
2
0 y existe a
-1
en *
donde z
-1
=

,
_

+
2 2 2 2
,
b a
b
b a
a
* y se cumple:
z z
1
= (1, 0) z
1
z = (1, 0)
Compruebo la afirmacin anterior similar a la parte c) planteando que
z
-1
= (x, y) / (x, y) (a, b) = (1, 0), se tiene:
90
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
x =
a b
b a
a
b

0
1
=
2 2
b a
a
+
y =
a b
b a
b
a

0
1
=
2 2
b a
b
+

e) Se cumplen las leyes distributivas de la multiplicacin respecto a la adicin en .


Entonces es un anillo conmutativo de divisin. Esto nos permite afirmar que
( *, +, ) es un campo.
El conjunto se llama el campo de los nmeros complejos.
Proposicin: Si K es un campo, entonces {0} y K son los nicos ideales de K.
Es decir, en un campo no existen ideales propios.
Demostracin:
1. Si = {0}, entonces {0} es un ideal de K
2. Si = {0}, entonces, existe x 0 en x K
Obviamente: K ()
Por otro lado: si x 0 x K, entonces x
-1
K (por ser K un campo)
Luego, por definicin de ideal, se cumple:
x x
-1
K x x
-1

1 (elementos inversibles)
Nuevamente, por definicin de ideal:
1 x K 1 x
x (elemento unitario)
Es decir: K ()
Luego de () y (), tenemos que = K y de 1) y 2), K no tiene ideales propios.
Teorema Teorema
Todo dominio entero Todo dominio entero finito finito es un campo. es un campo.
La demostracin la vemos en el texto lgebra Moderna I. N. Herstein La demostracin la vemos en el texto lgebra Moderna I. N. Herstein
91
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin

3.8 ANILLO DE POLINOMIOS
En esta parte, el participante comprender la construccin del anillo de polinomios
a travs de sucesiones casi nulas definidas sobre un anillo A.
Una sucesin S en un anillo A es una funcin de N en A; es decir:
S: N A
i S(i) = ai , ai A
Observaciones:
1) Si S es una sucesin en A, entonces a S se le denota con
S = ( a0 , a1 , a2 , , an , an+1 , ).
Donde cada ai = S(i), i N. Tambin, S = (ai), iN.
2) Sean las sucesiones S = (ai), T = (bi), con i N. Se dice que:
S = T , si y slo si a.i = b.i, para cada i N
3) En adelante, cuando nos referimos a A, debemos sobre entender que A es un
anillo, salvo mencin expresa.
Sucesiones casi nulas
Una sucesin S = (a0, a1, a2, , an , ) se dice que es casi nula, si existe un
n N (finito) tal que ak = 0, para todo k > n
Casos Particulares
En el anillo A = Z.
a) Dada la sucesin S = (2, 0, -1, 5, 0, 0, 0, ), observamos que existe n = 3 en
N tal que ak = 0 para todo k >3. Entonces, S es una sucesin casi nula.
b) Son sucesiones casi nulas .
S1 = (1, 0, 0, 0, ....)
S2 = (0, 1, 0, 0, ....)
S3 = (0, 0, 1, 0, ....)
92
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
.
Sn = (0, 0, , 0, 1, 0, 0, ...)
n ceros
= (a
0
,

a
1
, a
2
, ... , a
n
, 0, 0, ...)
T N(A) t = (b
0
, b
1,
,

b
2
, ... , b
m
, 0, 0, ...)
Suma
Si m = n si m > n (similar para m < n), la suma de las sucesiones S y T en N(A) se
define: S + T = (a0 + b0 , a1+ b1 , ...an+bn , bn+ 1, ... , bm , 0, ...)
Es decir (S + T) N(A).
Producto
Si m = n o si m > n (similar para m < n)
El producto de las sucesiones S y T en N (A) se define:
S.T = (c0 , c1 , c2 , ......cr , 0, 0, ...) donde cada ck = aibj , con i + j = k
Es decir, S. T N (A)
Para la sucesin producto S . T se tiene:
c0 = a0 b0
c1 = a1b0 + a0b1
c2 = a2b0 + a1b1+ a0b2
c3 = a3b0 + a2b1 + a1b2 + a0b3
.
ck = akb0+ ak-1b1+ ak-2 b2 + ... + a1bk-1+ a0bk
Ntese que: cK S.T.
Adems se cumple:
1) cn+m = anbm
2) c
n+m+1
= 0 , pues c
n+m+1
= a
i
b
j
. Donde i + j = (n+1) + m = n + (m+1)
93
Dado A un anillo conmutativo con unidad 1. Denotamos con N(A) al conjunto formado
por todas las sucesiones casi nula, es decir
N(A) = {S: N A / S es una sucesin casi nula}
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
Anillo de sucesiones casi nulas
Siendo A un anillo y N(A) el conjunto de las sucesiones casi nulas en A, entonces la
adicin y multiplicacin de sucesiones casi nulas en A hacen que N(A) sea un anillo.
Al anillo (N(A), +, .) se llama anillo de polinomios con coeficientes en A.
Los elementos de N(A) se llaman polinomios. Es decir, si P N(A) diremos que P es un
polinomio sobre A.
Observaciones:
1) Si P = (a0 , a1, a2 , ... , an , 0 , 0, ...) es un polinomio sobre A, los elementos a0,a1,
a2, ..., an se llaman coeficientes de P.
2) P = (0, 0, 0, ... 0, 0, ...) en N(A) se llama polinomio nulo .
3) Si P es un polinomio no nulo en N(A), donde P= (a0 , a1, a2, ... , an , 0, 0, ...), entonces
existe algn ai 0 , para un i N.
Nota: el mayor nmero natural n 0 tal que an 0 se le llama el grado del
polinomio P y denotamos con grad (P) = n.
4) Todo polinomio de la forma P = (a0 , 0, 0, 0, ...) con a0 0 se llama polinomio de grado
cero.
5) Un polinomio C en N(A) se dice que es constante, si C es de grado cero o si C es el
polinomio nulo.
6) Al anillo N(A) de los polinomios sobre A tambin se le denota con A[X].
7) En adelante, denotaremos con P0 el subconjunto de A[X] formado por todos los
polinomios que tienen la forma (a, 0, 0, 0, ...) para cada a A.
ISOMORFISMO ENTRE A y P0
Si definimos la funcin : A P0 donde para cada aA,
(a) = (a, 0, 0, 0, ...), entonces, se prueba que la funcin satisface:
1) (a + b)= (a) + (b)
2) (a.b) = (a) . (b) , a, b en A
3) es biyectiva.
94
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
Entonces afirmamos que es un Isomorfismo de A en P0
Este isomorfismo nos permite afirmar que A A[X]
Caso particular:
Si A = Z es el anillo de los nmeros enteros, entonces afirmamos Z Z[X]
Consideraciones bsicas
1) Por el resultado anterior, afirmamos que cualquier aA puede ser identificado con
el polinomio (a, 0, 0, 0, ...). Entonces, se acostumbra escribir
a = (a, 0, 0, 0, ...)
2) Si reemplazamos (1, 0, 0, 0, ...) con su representante 1 y poniendo
X = (0, 1, 0, 0, ...), entonces se deduce que X
2
= (0, 0, 1, 0, 0, ...),
X
3
= (0, 0, 0, 1, 0, 0, ...), , X
n
= (0, 0, ..., 0, 1, 0, 0, ...).
3) Dado un polinomio P en A[X] donde P = (a0, a1, a2, ... ,an, 0, 0, ...), teniendo en
cuenta las consideraciones anteriores, se deduce que el polinomio P es de la forma:
P= a0 + a1x + a2 x
2
+, ... + anx
n

Adems, se afirma que P = P(x) es un polinomio en la indeterminada x, siendo
grad (P(x)) = n, con an 0.
Races de un polinomio
Sea P(x) = a0+ a1x + a2x
2
+ ... + anx
n
un polinomio en A[X]. El valor del polinomio
P(x) en un de A se denota con P(), donde:
P() = a0 + a1 + a2
2
+ ... + + an
n
Un elemento a de A es una raz o cero del polinomio P(x), si y solo si P(a) = 0
Casos particulares
1) En el anillo Z[X], a = 3 es una raz del polinomio P(x) = 15 - 8x + x
2
.
2) a = -2i, es raz del polinomio P(x) = x
2
+ 4 en el anillo C[X].
Sin embargo P(x) no tiene raz en R[X]
95
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
Algunos resultados bsicos
(1) Si P(x) es un polinomio en A[X] y dado un a en A, entonces existe un
polinomio S(x) en A[X] tal que P(x) - P(a) = (x - a) S(x).
(2) Como consecuencia del resultado en (I):
Si a de A es una raz de P(x), entonces existe un polinomio S(x) en A[X] tal
que
P(x) = (x-a ) s(x)
Adems, grad (S(x)) = grad(P(x)) - 1
(3) Si r1, r2, r3, , rm son m elementos distintos del anillo A, que son races del
polinomio P(x) en A[X], entonces existe un polinomio S(x) en A[x] tal que:
P(x) = (x - r1) (x - r2) (x - rm) S(x)
Mediante Induccin en N y la parte II se obtiene el resultado.
(4) Si P(x) es un polinomio no nulo y de grado n, en A[X], entonces no pueden
existir n+1 elementos diferentes de A que sean races de P(x)
El resultado se obtiene por el absurdo y en base a la parte anterior (III)

Polinomios irreducibles
Un polinomio P(x) en A[X] es irreducible sobre A, si se tiene que P(x) = S(x) T(x). De
donde uno de los dos, S(x) o T(x), es de grado cero.
Caso particular:
El polinomio P(x) = x
2
- 5 es irreducible en R[x], pero no en C[x]; pues en C[x]:
( ) ( ) x x x
2
5 5 5 + .
Criterio de EISEINSTEIN
P(x)= a0 + a1x + a2x
2
+ .... + an x
n
es un polinomio con coeficientes en Z, si existe un
nmero p primo tal que se cumple:
(1) p no es divisor de an
(2) p | ak , para k = 0,1,2, ... ,n-1
( 3 ) p
2
no es divisor de a0
96
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
Entonces, P(x) es irreducible en Q(x).

Caso particular:
Dado P(x) = 12 + 3x - 6x
2
+ 5x
3
, existe p = 3, primo que satisface el criterio de
Eiseinstein. Luego, P(x) es irreducible en Q(x).
97
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
EJERCICIOS DE AUTOEVALUACIN EJERCICIOS DE AUTOEVALUACIN
1) Enuncie y demuestre las propiedades bsicas de un anillo.
2) Vea si el anillo A = 3Z posee elemento unidad en 3Z
3) Sea S = (x1, x2, , xn) A, donde A es un anillo conmutativo. Consideramos el
conjunto de todas las combinaciones lineales de los elementos de S:

'


n
1 L
S x A x/a a S
L L L
Demuestre que ( S, +, ) es un IDEAL de (A, +, )
4) Algunas aplicaciones de la teora de anillos
4.1) En un dominio de integridad se cumple la propiedad de cancelacin respecto de
la segunda operacin. Demuestre:
a.b = a.c y a 0 b = c
4.2) Algunas propiedades bsicas en anillos se usan en la enseanza de los sistemas
numricos usuales. Por ejemplo:
a) Para estudiar la factorizacin.
b) Teniendo en cuenta las propiedades.
(-1).a = - a, a en A
a (-b) = - (a.b)
(-a) (-b) = a.b, a, b en A
Estas se usan en la regla de los signos.
(-1).1= -1 (-)(+) = (-)
(-1).(-1) = 1 (-)(-) = (+)
Comente si puede encontrar ms aplicaciones.
4.3) Un anillo en el que a
2
= a, a A, se llama anillo booleano. Muestre un anillo
booleano.
98
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
4.4) En relacin con algunos sistemas numricos, de qu manera usara, en el nivel
secundario, el concepto de ideal?
4.5) Exprese algunas ideas relacionadas con la divisibilidad, en un dominio entero, para
ensear en el nivel secundario.
5) Sea ( n, +, ) el anillo de los enteros residuales mdulo n, se demuestra que n es
un campo si y solo s n es primo.
6) Sean los siguientes conjuntos:
( 2 ) = {a + b 2 / a, b }
(i) = {a + bi / a, b } i
2
= -1
( 5 ) = {a + b / a, b }
Compruebe lo que constituyen estructura de campo:
A. ( ( ) 2 , con las operaciones de adicion y multiplicacion en .
B. (i) con las operaciones de adicion y de multiplicacion en .
C. ( ( ) 5 , con las operaciones usuales en .
7) Comente sobre la verdad o falsedad de la siguiente afirmacin:
Existen infinitos campos finitos.
8) Halle un polinomio de grado 3 cuyas races son 3, 4 y -1
9) Proponga ejemplos que ilustren los resultados (1), (2) y (3) anteriores.
10) Usar el criterio de EISEINSTEIN para verificar que son irreducibles en Q[x] los
siguientes polinomios:
a) P(x) = x
2
- 3
b) S(x) = x
n
- p, siendo p primo.
c) F(x) = x
11
- 6x
4
- 12x
3
- 36x - 6
11) Si P(x) = 1 + x
2
+ x
3
+ x
4
Haciendo Q(x) = P(x+1), verifique que Q(x) es irreducible en Q[x].
Este hecho nos permite garantizar que tambin P(x) es irreducible en Q[x].
12) Explique la utilidad que el docente conozca los polinomios irreducibles para el nivel
secundario.
99
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
10
0
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
INTRODUCCIN A LOS ESPACIOS
VECTORIALES
Captulo 4
SUMILLA
En este ltimo captulo, hacemos una presentacin resumida de una parte del lgebra
lineal relacionada con la estructura de espacio vectorial, considerando la base y
dimensin de los espacios vectoriales, las transformaciones lineales, para luego ver el
uso de las matrices en el anlisis cualitativo de los sistemas de ecuaciones lineales.
OBJETIVOS

1) Comprender los espacios vectoriales como otra estructura del lgebra, as como su
base y su dimensin.
2) Conocer las transformaciones lineales y sus propiedades bsicas.
3) Estudiar las matrices para su uso en la resolucin de los sistemas lineales.
4) Comprender la utilidad de los temas aprendidos para su enseanza en la educacin
secundaria.
101
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
4.1. ESPACIOS VECTORIALES
Los conceptos y principios del lgebra lineal basados en las estructuras de
Espacios Vectoriales tienen especial significacin para el docente de matemtica,
debido a que esta parte del lgebra es ms fcil de entender por ser menos
abstracta que los temas tratados anteriormente.
Concepto
Consideremos a V un conjunto no vaco y K un cuerpo o campo.
Se dice que V tiene la estructura del espacio vectorial sobre K si y slo si:
1) Definimos una operacin interna + en V:
+: V x V V
(u, v) u + v
cumplindose que (V, +) es grupo abeliano.
2) Definimos una operacin externa:
E: K x V V
(r, u) ru , rK y uV
Cumplindose, adems:
E1: (r+t) u = r u + t u
E2: r (u+v) = r u + r v
E3: r ( t u) = (r t)u
E4: 1 u = u
Para todo u, v en V y para todo r, t en K y 1 en K.
Los elementos de V se llaman vectores y los de K se llaman escalares.
Ejemplos
1) Sea V = R
2
y el campo K = R
I. Definimos la operacin interna
+ : R
2
x R
2
R
2
( u , w ) u + w
donde para cada u = ( a , b ) , w = ( c , d ) en R
2
u + w = ( a , b ) + ( c , d ) = ( a + c , b + d )
10
2
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
II. Definimos la operacin externa
. : R x R
2
R
2

( r , u )

r u
donde para cada r R , u = ( a, b ) R
2

r u = r ( a , b ) = ( r a , r b )
Se verifica: R
2
es un espacio vectorial sobre K = R
2) Denot amos con V= R
n
al conj unt o de t odos l os el ement os de l a f orma
u = (x1, x2 , x3 , ,xn) donde xi R, para i = 1,2,3,, n, adems sea el campo
K = R. Para cada u = ( x1, x2, x3,xn), w = ( y1, y2, y3,yn) en R
n
y para cada
r R, definimos las reglas para la operacin interna y la operacin externa como
sigue: u + w = ( x1 + y1, x2 + y2, x3 + y3, xn + yn)
ru = (rx1 , rx2 , rx3 , ..rxn)
Se verifica que IR
n
es un espacio vectorial sobre el campo K = IR.
Casos particulares
a) Si n = 2 , entonces IR
2
es un espacio vectorial sobre el campo K = IR
(visto en el ejemplo 1).
b) si n = 3, entonces IR
3
es un espacio vectorial sobre k = IR.
c) si n = 4, entonces IR
4
es un espacio vectorial sobre IR.
d) si n = 5, entonces IR
5
es un espacio vectorial sobre el campo IR.
* si n = 1 entonces IR
1
= IR es un espacio vectorial sobre IR.
3) Sea V = F donde F es un campo, y sea K un subcampo de F, tenemos.
I. Se define la operacin
+ : F x F F
( x , y) x +y
( F, + ) es grupo abeliano, pues F es campo.
II. Se define la operacin
. : K x F F
( r , x ) r x
En este caso, la operacin externa es la multiplicacin que est definida en F se
cumple: ( r + t ) x = r x + t x
103
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
r ( x + y ) = r x + r y
r ( t x ) = ( r t ) x
1 x = x
En consecuencia: F es un espacio vectorial sobre el subcampo K.
Casos particulares
a) Como Q es un subcampo de IR, entonces IR es un espacio vectorial sobre el
subcampo de Q de los nmeros racionales.
b) Como IR es un subcampo de C, entonces C es un espacio vectorial sobre el
subcampo IR de los nmeros reales.
c) Q es un espacio vectorial sobre Q?
d) IR es un espacio vectorial sobre IR?
e) C es un espacio vectorial sobre C?
Fundamente su respuesta
4) Denotemos con F(IR) al siguiente conjunto
F(IR) = ' f : A IR / f es funcin, A IR) Sea el campo K = IR
Para f, g en F(IR) y r IR se define las reglas para la suma y el producto como
sigue: ( f + g ) ( x ) = f ( x ) + g ( x ) x A IR
( r f ) ( x ) = r f( x )

Se verifica: F (IR) es un espacio vectorial sobre IR, llamado el espacio vectorial de
las funciones reales de variable real

5) Denotamos con V = Mmxn (IR) al conjunto de todas las matrices A = ( aij)mxn
10
4
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
de orden m x n y con coeficientes en IR ( pues aij IR). La matriz A tambin se
escribe como sigue:

y sea el campo K = IR
Para cada A = ( aij )mxn , B = ( bij )mxn y r en IR , se define:
A + B = ( aij )mxn + ( bij )mxn = ( aij + bij )mxn
r A = r ( aij )mxn = ( r aij)mxn
Pruebe que Mmxn(IR) es un espacio vectorial sobre el campo IR, con las operaciones de
adicin de matrices y la multiplicacin de escalares por matrices.
PROPIEDADES
Si V es un espacio vectorial sobre un campo K, entonces se verifica:
(1) 0u = 0v , para toda u V
(2) r 0v = 0v , para todo r K
(3) (-1)u = -u , para todo u V
(4) r u = 0v r = 0 v u = 0v
Donde 0 es el neutro aditivo de K y 0v es el neutro aditivo de V llamado
vector nulo.
Demostracin: Ejercicio
4.2. SUBESPACIOS VECTORIALES
105
a
11
a
12
a
13
a
1n
a
21
a
22
a
23
.a
2n
. .. .. ..
. .. .
a
m1
a
m2
a
m3
.a
mn
A =
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
Definicin: Un subconjunto no vaco W es un subespacio vectorial de V sobre K,
es un subespacio vectorial de V si y slo si W es tambin un espacio vectorial con
las operaciones de V restringidas sobre W
Ejemplos:
1) Sea V = IR
2
espacio vectorial sobre K = IR y W = '(x,y) IR
2
/ y = 0)
como (8,0) W W , W IR
2
SE VERIFICA:
I ) u = (x,0) , w = ( r , o) en W u + w = (x + r, o) W
G1 + es asociativa en W
G4 + es conmutativa en W
G2 Existe = (0,0) es neutro en (w,t)
G3 u W , existe u W
u = (x,0) (-u) = (-x,0)
(W , +) es grupo abeliano
II ) E : IR W W
(r,u) ru
r IR, u = ( x,0 ) W ,
r u = (rx , 0)
E1) r, t en IR, u W
(r + t )u = (r + t) (x,0)
= ( ( r+ t ) x, (r + t)0)
= (r x + tx , 0 + 0)
= (rx , 0) + (tx , 0)
= r u + t u
tambin se cumple
E2 , E3 y E4
W es subespacio vectorial sobre k = IR
Luego: por definicin, se tiene que W es un subespacio vectorial de IR
2
sobre K = IR
2) Si V es un espacio vectorial sobre un campo K, entonces tenemos que
10
6
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
W0 ='0v) y W = V, son subespacios vectoriales de V
Teorema general de subespacios
Sea V un subespacio vectorial sobre campo K, y sea W, W V, son equivalentes
las siguientes afirmaciones:
I ) W es subgrupo de V
(1) u1, u2 en W u1 u2 W
(2) r K , u W, r u W
III) r, t K ; u1, u2 W r u1 + t u2 W
Demostracin:
Usando la regla del silogismo hipottico, la prueba de las equivalencias slo se reduce
a 3 implicaciones.
Siguiendo el esquema siguiente
a) Prueba de I ) II ) :
Como por hiptesis W es un subespacio de V, se tiene que W es un espacio
vectorial sobre K, entonces es claro que:
(1) (W,+) es un subgrupo de (V,+), o sea
u1, u2 en W u1 u2 W
(2) Se cumple la operacin externa para W, o sea
r k, u W r u W
b) Prueba de II) III) :
II) es la hiptesis
r, t en K , u1 u2 W
r, (-t) K ; u1,u2 W
ru1 W (-t)u2 W (por (2) hipotesis)
ru1 (-t)u2 = ru1 + tu2 W (por (1) )
107
II)
III
II
I
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
ru1 + tu2 W
c) Prueba de III) I):
Veamos que W es un espacio vectorial sobre K. En efecto:
como por la hiptesis se cumple
r, t k , u1, u2 W ru1 + tu2 W
I) en particular si r = 1 ; t = -1 en K
ru1 + tu2 = 1u1 + (-1)u2 W
u1 u2 W o sea W es un subgrupo de (V,+)
Adems:
u1,u2 en W u1 + u2 = u2 + u1 en V
(w, +) es grupo abeliano
II) Para todo r, t en k, u1,u2 en W
Previamente:
r k, t = 0 en k, u1, u2 en W
ru1 + tu2 = ru1 + 0u2 W
ru1 W
E1) (r + t )u1 = r u1 + tu1 en V
La igualdad se cumple en W.
Anlogamente E2, E3 y E4.

Ahora: W es un espacio vectorial sobre K, o sea W es un subespacio vectorial de V
Nota:
Si W es un subespacio de V sobre un campo K, entonces podemos escribir en
forma abreviada: W es un subespacio de V
10
8
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
Ejemplos de aplicacin del teorema de subespacios
1) Sea V = IR
2
el espacio sobre el campo K = IR, y sea
W = '(x,y) IR
2
/ y = 3x )
Como (2,6) W, W , W IR
2
Usando la parte II) del teorema general de subespacios, tenemos:
(1) u1, u2 en W
u1= (x1,3x1), u2= (x2, 3x2), x1,x2 IR
u1 u2 = (x1, 3x1) + ( -x2, -3x2)
= (x1 x2, 3x1 3x2)
= (x1 x2, 3(x1 x2)) W
u1 u2 W
(2) r IR, u = (x, 3x) W
r u = (r x, r (3x)) = (r x, 3(r x)) W
r u W. Por lo tanto: W es un subespacio vectorial de V = IR
2
IR
Y = 3x
W
IR

2) Sea V = IR
3
el espacio vectorial sobre K = IR y sea
W = '(x, y, z) IR
3
/ x + y z = 0)
Usando la parte III del teorema anterior
r, t en K u1, u2 en W r u1 + t u2 W]
r, t en IR, u1 = (x1, y2, z2) en W, u2 = (x2, y2, z2) en W,
x1 + y1 z1 = 0 z1 = x1 + y1
x2 + y2 z2 = 0 z2 = x2 + y2
u = ( x1,y1, x1 + y1) u2 = ( x2 , y2 , x2 + y2)
109
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
r u1 + t u2 = r( x1, y1, x1 + y1 ) + t (x2 , y2 , x2 + y2)
= (rx1, ry1, r(x1+y1)) + (tx2, ty2, t(x2 + y2))
= (rx1 + tx2, ry1 + ty2, rx1 + ry1 + tx2 + ty2)
= (rx1 + tx2, ry1 + ty2, rx1 + tx2 + ry1 + ty2) W
Luego: W es un subespacio de IR
3
.
Teorema
Si U y W son subespacios de un espacio vectorial sobre un campo K, entonces U W
es tambin un subespacio de V.
Demostracin: Ejercicio
Teorema
Si (W)
I, es una familia de subespacios de un espacio vectorial V sobre K, entonces
W
, I es tambin un subespacio de V.
La prueba es similar al teorema anterior.
COMBINACIN LINEAL DE VECTORES
Dado V un espacio vectorial sobre K:
Un elemento u de V es una combinacin lineal de los vectores u1, u2, ... ,un, si y solo si
existen 1, 2, ... , n, en K tal que u = 1u1 + 2u2 + ....+ nun..
4.2.1 SUBESPACIOS GENERADOS
Sea V un espacio vectorial sobre un campo K y sea S V S
Afirmacin 1
Existe un subespacio W de V tal que S W.
Para garantizar este hecho, es suficiente tomar W= V, pues V es subespacio de si
mismo.
Afirmacin 2
Existe un subespacio mnimo W de V tal que S W .
Para garantizar este hecho, tenemos los siguientes resultados:
Resultado 1
Si definimos el siguiente conjunto
11
0
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
W = 'uV/ u = 1 u1+ 2 u2++ n um , iK, ui S)
Se prueba que W es un subespacio de V
Resultado 2
W S sea o W u
m i S u
ou ou u ou ou ou u S u
W u S u
W S
i
i
m i i i i i
i i


+ + + + + + +

+
,
,..., 3 , 2 , 1 ,
... 1 ...
) (
1 1 2 1

Resultado 3

I W W
W S

a)

) ( ; , ; ...
, ; ...
3 3 2 2 1 1
3 3 2 2 1 1
subespacio W W u K u u u u u
S u K u u u u u W u
i i p p
i i p p



+ + + +
+ + + +

u W

, I ( I es conjunto de ndices )
u W

, I
es decir, W W

, I
b) Como W es un subespacio tal que S W , entonces existe un
0

W
subespacio de
la familia
0

W
de la familia =
I
W

) (
de subespacios que lo contienen a S tal
que
0

W W
Por propiedad de inclusin sabemos:
W W W W
W S W S





0
de (a) y (b) se concluye
) (MNIMO W W
W S

Oservacin:
W es el mnimo subespacio de V que contiene a S, formado por todas las
combinaciones lineales de un nmero finito de elementos de S.

111
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
Notacin:
Al subespacio W le llamaremos el subespacio de V generado por S y lo denotamos
con
S
es decir:

W W S
W S

Ejemplo:
1) Dado el espacio vectorial R
2
sobre K=R y sea S = { (1, -2), (-2, 4) } hallamos el
subespacio de R
2
generado por S.
Veamos:
} 2 / ) , {( ) , (
2
4 2
2 4 2
) 2 .....( 4 2
) 1 ......( 2
) 4 2 , 2 ( ) , (
) 4 , 2 ( ) 2 , 1 ( ) , (
) , (
) , (
) , ( ) , (
2
2 1
2 1
2 1
2 1
2 1 2 1
2 1
2 2 1 1
2 1
x y R y x y x
x y
y
x
y x
y x
y x
u u y x
u y u de lineal n combinaci es y x u
W y x u S y x u
W u S u
W S


+

+

+
+
+











} 2 / ) , {(
2
x y R y x S
2) En el espacio vectorial R
2
sobre K=R, Sea S = { (-1,3);(2,1) } = { u1, u2 }
Se prueba que:
2
R S
Es decir: para todo u = (x, y) R
2
, se garantiza que existen
2 1
, en R tal que
2 2 1 1
u u u +

4.2.2 INDEPENDENCIA LINEAL-BASE
Un subconjunto B = {u1, u2, ... ,un} del espacio V se dice que es linealmente
independiente, si se cumple:
1u1 + 2 u2 +..., n un = 0 1 = 2=, ... , = n = 0
11
2
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
Un subconjunto B = {u1, u2, ... ,un} del espacio V es una base de V sobre K si se
cumple:
(1) B es linealmente independiente.
(2)
V B
Es decir: Todo vector u de V es una combinacin lineal de los elementos de B.
En este caso, se dice que V es un espacio vectorial de dimensin finita n. Escribimos
dim (V)=n.
Caso particular:
Dado V = R
2
el espacio vectorial sobre K = R y B = {u1, u2}= {(3,1), (-4,5)}.
Entonces se verifica que B es una base de R
2
. Luego,
afirmamos que dim (R
2
) = 2
4.3 TRANSFORMACIONES LINEALES

Sean V y W espacios vectoriales sobre un mismo campo K. y T: V W una
funcin.
Se dice que T es una transformacin lineal, si se verifica:
a) T(u + v) = T(u) + T(v); u, v V.
b) T(u) = .T(u), K.

Ejemplo
1) Sean V= R
2
, W = R espacios vectoriales sobre K = R, y dados las constantes
reales a y b, se define la funcin T: R
2
R, donde u = (x, y) R
2
T(u) = T(x, y) = a x + b y
Se prueba que T es una transformacin lineal.
2) Sean V= R
2
, W = R
2
espacios vectoriales sobre K = R, y se define la siguiente
funcin T: R
2
R
2
, donde (x, y) R
2
T(x, y) = (x cos - y sen , x sen + y cos )
Se verifica:
T es una transformacin Lineal
T es biyectiva
T se llama una rotacin del plano R
2
, de ngulo
113
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
Ejercicio
1) Proponga ms ejemplos de transformaciones lineales
2) Enuncie y demuestre las propiedades bsicas de las transformaciones lineales.
3) Estudie el ncleo e imagen de las transformaciones lineales.
4) Estudiar el teorema fundamental de la dimensin del ncleo e imagen de una
transformacin lineal.
4.4. MATRICES Y SISTEMAS LINEALES
4.4.1 Matrices
Toda matriz A de orden m x n con coeficientes en un campo K se denota con
1
1
1
1
]
1

mn m m
n
n
a a a
a a a
a a a
A
...
......... ..........
...
...
2 1
2 22 21
1 12 11
Tambin, A = (aij) m x n
* Un vector fila i de la matriz A se denota con Ai, donde Ai = (ai1,ai2, ...,ain)
* Un vector columna j de A denota con A
j
, donde

,
_

mj
j
j
j
a
a
a
A
.
.
.
2
1
11
4
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
Veamos el siguiente caso:
Si

,
_

5 0 2
4 1 3
A
. Entonces,
(*) Los vectores filas de A son:
A1 = (3, -1, 4), A2 = (2, 0, 5) (como en R
3
)
(*) Los vectores columnas de A son:

,
_

,
_

,
_

5
4
6
1
2
3
3 2
1
A A A
Operaciones elementales. Matrices equivalentes. Rango de matrices
115
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
1. Se considera como operaciones elementales sobre filas de una matriz A a las
siguientes :
a. Permutar la fila i con la fila j (i P j)
b. Sumar la fila i a la fila j (Fi + Fj)
c. A la fila i, multiplicar por un escalar diferente de cero ( Fi)
2. Si a una matriz A, mediante un nmero finito de operaciones elementales, se le
convierte en una matriz B, diremos que A es equivalente a B.
Denotamos A ~ B.
3. El rango por filas de la matriz A se denota rf (A) y es el mximo nmero de vectores
filas linealmente independientes. De manera similar se define el rango por columnas
de A, el cual se denota con rc (A).
Adems, se cumple: rf (A) = rc (A) = r (A). En este caso, r(A) se llama el rango de la
matriz A.
4. Una matriz denotado un AR es una matriz reducida si se cumple:
a. Los elementos aii de la diagonal son unos o ceros.
b. Si hay K ceros en la diagonal, estos deben estar en la k - primeras filas.
c. Si est el 1 en la diagonal, los elementos restantes de las columnas respectivas
deben ser ceros.
5. Si una matriz A es equivalente a una matriz reducida AR, entonces se cumple
r (A) = r (AR)
Veamos el caso: se verifica que A ~ AR.
Como r (AR) =1, entonces r (A) = 1. Es decir, el rango de la matriz A es 1.
Ejercicios
1. Muestre algunos ejemplos de espacios vectoriales.
2. Hable sobre la dependencia lineal de vectores.
3. Ocpese sobre matrices y las operaciones usuales entre matrices.
4. Verifique que la independencia lineal de dos vectores en R
2
se usa para analizar el
paralelismo.
5. Hable sobre la dimensin de los espacios R
3
y en general de R
n
sobre K = R.
11
6
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
6. Proponga ejemplos que ilustren las cinco anteriores consideraciones adicionales.
4.4.2. SISTEMAS DE ECUACIONES LINEALES
Sean K
n
y K
m
espacios vectoriales sobre un campo K y sea una matriz A = (aij)
de orden m x n. Denotamos con TA a la siguiente transformacin lineal:
TA: K
n
K
m

X A X
Es decir: TA ( X ) = AX , X es un vector columna en K
n
con

,
_

n
x
x
x
X
.
.
.
2
1
Si TA (X) = AX = B, con B K
m
conocido, se tiene
AX = B ....................... (I)
Entonces (I) se llama un sistema de m ecuaciones con n incgnitas, debido a que
esta igualdad (I) se transforma en:
a11 x1 + a12 x2 + ... + a1n xn = b1
a21 x1 + a22 x2 + ... + a2x xn = b2
..................................................
am1 x1 + am2 x2 + ... + amn xn = bm
Sistema homogneo
En el sistema AX = B .................................... ( I )
Si B = en K
m
, entonces AX = (, vector columna nula) .......... (IH)
117
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
Se llama un sistema homogneo.
Conjunto solucin del sistema homogneo (IH):
Siendo el conjunto solucin SH del sistema homogneo (IH), adems SH es el ncleo
de la transformacin lineal, entonces se deduce:
dim (SH) = n r (A) ....................... (*)
Siendo n el nmero de incgnitas. A adems, r (A) = dim Im (TA)
Casos:
a. Si r (A) = n, entonces el sistema (IH) tiene solucin nica y SH = {0}
b. Si r (A) < n, entonces el sistema (IH) tiene infinitas soluciones .
Sistema no homogneo
Dado el siguiente sistema:
Para analizar la existencia de soluciones en (I) formamos la matriz A' donde A' = (A:B)
A' se llama la matriz ampliada de A por la columna.
Entonces, el sistema no homogneo (I) posee solucin, si y slo si A y A' tienen el
mismo rango, es decir, si se cumple que r (A) = r (A').
Ejercicios
1) En cada caso analice los siguientes sistemas homogneos:
a. 2x + y + z = 0
y - z = 0
b. x - 3y = 0
4x - 12y = 0
2) Analice el siguiente sistema:
x - y = 4
5x + y = 9
Resolucin de sistemas lineales con MATLAB
Dado un sistema de n ecuaciones lineales con n incgnitas
a11 x1 + a12 x2 + ... + a1n xn = b1
11
8
AX = B , con B 0 en K
m
.....................(I)
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
a21 x1 + a22 x2 + ... + a2x xn = b2
..................................................
an1 x1 + an2 x2 + ... + ann xn = bn
Formando la matriz cuadrada A de los coeficientes del sistema y B la matriz
columna de los trminos independientes b1, b2, b3, ,bn
El sistema matricial equivalente es
A X = B
X es el vector columna formada por las incgnitas x1, x2, x3, ,xn
Hallando la solucin del vector incgnita X del sistema matricial: A X = B
A
-1
( A X ) = A
-1
B
( A
-1
A) X = A
-1
B
I X = A
-1
B, (I es la matriz identidad de orden n)
X = A
-1
B. (SH)
Solucin en MATLAB de la ecuacin matricial
Procedimiento:
(1) Se escribe la matriz A en la forma
A = [ ; ; ; ; ..; ]
Los punto y comas dentro del corchete indican que se deben escribir los
elementos de la siguiente fila

(2) Se escribe la matriz columna B en la forma


B = [b1; b2; b3; b4; ;bn]

(3) En MATLAB, la ecuacin matricial se escribe


A X = B

(4) En MATLAB, solucin para el vector incgnita X es:
X = inv(A)B


EJERCICIOS DE AUTOEVALUACIN
119
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
1) Justifique la verdad o falsedad en cada caso:
a) Q es un espacio vectorial sobre K = Z
b) El siguiente subconjunto
w = ' (x,y) R
2
/ x (= y (), es un subespacio de R
2
.
c) No existen espacios vectoriales finitos.
d) Tres vectores no nulos y diferentes en R
2
, no son linealmente independientes.

2) Demuestre las propiedades bsicas de un espacio vectorial

3) a) Si L es una recta de R
2
que pasa por el origen, muestre que L representa a un
subespacio de R
2
sobre K = R
b) Muestre que R
2
es suma directa de los siguientes subespacios
U = ' (x,y) R
2
/ y= -x ); W = ' (x,y) R
2
/ y= 0 )
c) Dados los vectores u1 = (6,-1) y u2 = (-18,3) en R
2
, para que valores de t, r en R,
se verifican las igualdades siguientes, en cada caso:
* t u1 + r u2 = O, O =(0,0)
* t u1 + r u2 = (-5,4)
4) Sea V un espacio vectorial sobre un campo K. Demuestre en cada caso
a) Si u es un vector no nulo de V, se cumple
ru = tu r = t
b) ri ui = ri ui , desde i =1 hasta i =n en N
c) Si H U H U
5) Halle el subespacio de R
3
generado por el siguiente conjunto:
S = ' (1,-1,1), (2,1,2), (3,0,3) )
6) Comente la importancia para la formacin del docente de los siguientes conceptos:
* Espacios vectoriales y subespacios.
* Bases de un espacio vectorial.
7) Haga un comentario sobre los subespacios de R
2
sobre K= R.
12
0
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
8) Realice un comentario sobre las bases de los espacios vectoriales R
2
y R
3
sobre el
campo K = R
9) Estudie el ncleo e imagen de una transformacin lineal, luego analice el teorema
fundamental de la dimensin del ncleo e imagen.
10) Analice los siguientes sistemas lineales:
a) 3 x y + 2z = 0 b) x + y z = 0
x + 3y + z = 0 5 x -2y +2 z = 0
4x +2y +3z = 0 6x -y + z = 0
121
Seminario de la Especialidad de Matemtica
Universidad Nacional de Educacin
BIBLIOGRAFA
Allan Clark. Elements of Moderns lgebra
Dover Publications, INC New York. 1990.
Birkoff Mac Lane. lgebra Moderna
Editorial Vicens Vives.
Burgos, J. lgebra Lineal
Mc Graw Hill, Madrid 1993.
Fraleigh, John B. A first Course in Abstract lgebra.
Addison Wesley. 2002.
Gentile Enzo. Estructuras Algebraicas I
Monografa OEA 1973.
H. Herber lgebra Lineal
Grupo Editorial Iberoamericana 1992.
Ibort, A y Rodrguez M. Notas de lgebra Lineal
Universidad Complutense de Madrid, 2003.
I.N. Herstein, lgebra Moderna;
Editorial Trillas Mxico 1970.
Kennet Hoffman lgebra Lineal
Grupo Editorial Prentice Hall Internacional.
Lentn A., J.Rivaud. lgebra Moderna.
Editorial Aguilar.
12
2
Seminario de la Especialidad de Matemtica
Programa de Actualizacin - Titulacin 2006 - Facultad de Ciencias
Lecca, Eduardo. lgebra Lineal. Manual del estudiante
Imprenta Mebdigraf. Lima, Per, 1997
Pita, Claudio. lgebra Lineal
Programas Educativos S.A. de C.V. Mxico, 1993.
Queysane, Michael. lgebra Bsica
Editorial Vinces-Vives, 1972
Rojo, Armando. Algebra I
Editorial "El Ateneo", Novena Edicin. 1981.
Rojo, Armando. lgebra II
Editorial "El Ateneo", Novena Edicin.
Serge Lang lgebra Lineal
Fondo Educativo Intermericano
123