Seminario Matematica

SEMINARIO DE LA ESPECIALIDAD
DE MATEMTICA
Lic. Florencio Trujillo Cauti.
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
Seminario de la Especialidad de Matemtica

3
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

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

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
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.
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
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
10Seminario de la Especialidad de Matemtica

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)
pq p ( Ley de simplificacin)
pq 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
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.

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
* 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|

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: HC
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 z2 / 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
La ley que rige la demostracin por contraposicin es:

H C C H
(a) Si a2 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.
ab
(c ) Si a y b son reales positivos tales que a b, entonces ab
2
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.
1) Si un entero a divide a 1, entonces a = 1 a = -1.
2) Si r es un nmero real tal que r2 = 2, entonces r no es racional.
3) Si a y b son enteros diferentes de cero, entonces se verifica:

/a/ /a b/

1.5. UNA BREVE PRESENTACIN AXIOMTICA DE LOS CONJUNTOS
LA TEORA DE CONJUNTOS ES EL ESLABN ENTRE

LA LGICA Y LA MATEMTICA
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.
1er. 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 x A, diremos que x es un elemento del conjunto A
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
2do. 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
TRANSITIVA: A = B B = C A = C
17
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)
( 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)
3egr. CONVENIO (DE ESPECIFICACIN)
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.
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
Dado un conjunto A y la proposicin P(x): x x, por el 3er. 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
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/XX
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
OOOO
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!
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)

Dados dos conjuntos A y B , existe un conjunto E que los contiene.
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
Dados dos conjuntos A, B y E el conjunto que satisface el axioma de la unin.
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)
(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

21
Propiedad : Dados A, B y C conjuntos, tenemos:

1. A B A A B B, A , B
2. CACBCAB
Demostracin de 2
xCxCxC (por p p)
xAxB (por hiptesis)
xAB (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): x A x B . 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:
x A B x A xB
PROPIEDADES
Cualesquiera que sean los conjuntos A, B y C, se verifica:

(1) ( A B ) C A ( B C )
(2) A B B A
(3) A A
(4) A B A B B
(5) A A B

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 )
xAB
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

AB=ABA=B
Demostracin
a) A B
xAxAxB (p p q)
xAB por def. de reunin
xAB por hiptesis
x A x B, por def. de
xB (p q q).
luego, A B.
23
b) B A, se demuestra de manera anloga a la prueba de A B

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:
AB={xE/xAxB}
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. ABAB=
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
x CB A x B x A
o en forma equivalente
x CB A x B x A
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
__
CA=A= A
Por comodidad, usaremos la notacin A. Luego,

A= {x E / x A} lo que caracterizamos
x A x A
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:

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.

25
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
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 SoR 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 o R = { (x, z) A x C / y B, (x, y) R (y, z) S }
Tenemos:
(x, z) SoR y B, (x, y) R (y, z) S
SoR
A R B S C
x y z
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

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.
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:

27
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.

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 :
Determinamos el conjunto cociente: x /R
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) ... }
[(0, n)] = { (0, n), (1, n+1), (2, n+2), (3, n+3) ... }

29
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 Z / 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 ] }

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
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
ax+b=y
ax=yb a0
x = (y b)/ a en R tal que f (x) = f ((y b) /a)
= a (y b) /a + b
=yb+b
=y
Entonces f es suryectiva
De (a) y (b) podemos afirmar finalmente que f es biyectiva.

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
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

go f y se define go f : A C donde:
x A; (go f )(x) = g( f (x))
(go 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 go f es inyectiva.
(b) Si f y g son suryectivas go f es suryectiva.
(c) Si f y g son biyectivas go f es biyectiva
Prueba:
(a) (go f )(x) = (go f )(m) g(f(x)) = g(f(m))
f(x) = f(m)
x=m
Luego go f es inyectiva.
(b) go 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 A tal que
existe un x
y = f (x), entonces existe x A tal que z = g(f(x)); es decir, z C existe x
A tal que z = (go f )(x)
Luego, go f es suryectiva.
(c) Es consecuencia de las partes (a) y (b)

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) x M/ y = f (x)
x M 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.
Propiedad
La equipotencia entre conjuntos no vacos es una relacin de equivalencia en el
conjunto de partes.

35
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 ) .............() N
0 1 2 3 4 5 6
Para esto, si definimos:

f:N P
0 2 4 6 8 10 12
n 2n 6 P
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 I N : 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.
n / ;2 si n es par
f n
n 1 / ;2 si n es impar
Si definimos: f :N Z donde:
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, N
0 1 2 ...n n+1 n+2 ... n+k
es biyectiva
a0 a1 a2 an x1 x2 xk
AB

37
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
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/102
Con centro en c elegimos un intervalo de medida 1/103.
...........................................................................................
Anlogamente, se prosigue con los dems puntos, eligiendo intervalos de
medida 1/104, 1/105, ...., 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 / 102 + 1 / 103 + 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:
En base al resultado (1), siendo ] 0, 1[ un subconjunto no numerable de ,
entonces no es numerable.

39
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.

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.

41
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 AxA 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:
*:AxA 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:
+:NxNN .: NxNN
(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) XY
: P (E) x P (E) P (E)

(X, Y) XY
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 + y2
es fcil ver que T y * son operaciones internas en Z

43
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=bcTa=cTb
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)

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.

45
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:
aTb =bTa
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.
b
2) En N - {0} se define la operacin T; donde a T b = a (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: e1a =
a
Si a = 1 e11 = 1 e1 = 1
Si a = 2 e12 = 2 e1 = 21/2 , pero 21/2 N-{0}
Si a = 3 e13 = 3 e1 = 31/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: e1a = a
Por lo tanto, no existe neutro por la izquierda en N-{0} respecto a la operacin T.

b) Existencia del elemento neutro e2 por la derecha:

Sea e2 N-{0} tal que: a T e 2 = a , a N-{0}
e2 = a, a N-{0}
entonces, debe cumplirse que: a
e2 = 1 es neutro por la derecha en N-{0} Por qu? pues a1 = 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: dTa = e aTd = 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.

47
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.b
a) a T b = , en R+ b) a b = a + b a2 , en R
ab
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:
aT x=aTy x=y
xTa=yTa x=y
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; x A
a :A A / a ( x ) = x * a ; x A
Demuestre que
a) a* b = 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:

a1 = a, a2 = a T a, a3 = a2 T a, ..............., an = an-1 T a.
Demuestre que para todo a, b A se cumple:
a) (a T b) 2 = a2 T b2 (YA SE DEMOSTR)
b) a T bn = bn T a
c) (a T b)n = an T bn 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: AT B={aTb / aA bB}
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).

49
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.

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 Zn ; 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.
Las demostraciones: Ejercicio para el lector

51
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.
QR Q es un subgrupo de R.
RC 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).
) 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:
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:

53
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:
a b
Considere G M *2 ( R ) { X / ad bc 0} el conjunto de las matrices
c d
a b
X cuyo determinante es diferente de cero, es decir:
c d
Det X = |X| = ad - bc 0
En M *2 ( R ) se define la multiplicacin usual de matrices:
a b m n
Para cada X
c

d
, Y
p q
en M *2 ( R )
a b m n am bp an bq
X Y = =
c d p
q cm dp cn qd
a. El lector podr comprobar que M *2 ( R ) es un grupo respecto a la multiplicacin
1 0
de matrices, cuyo elemento neutro es: I
0 1

1 n
b. Sea H = { A / n Z} Afirmamos que: H es un subgrupo de ( M * ( R ) , .)
0 1 2
Por las condiciones (1) y (2) del Teorema 1 de caracterizacin:
1 n 1 m
(1) Para todo A y B en H
0 1 0 1
1 n 1 m 1 m n
A.B = = con (m + n) Z
0 1 0

1 0 1
1 m n
A.B = H
0 1
1 n
(2) Para cada A en H, n Z
0 1
Se tiene que det A = | A | = 1; hallando A-1 se tiene:

1 1 n 1 n
A-1 =
A 0 1 = 0 1 , n Z
1 n
A-1 = H
0 1
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 (*)

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

55
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={haG/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.
a b (mod ) a-1 b
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 }
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.
[a] G ;
aG
Es decir: a G
aG
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 = e= y
Es decir, tambin es una clase lateral de
Conjunto cociente
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

57
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.
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 )
Es decir, dos clases laterales a y b poseen el mismo orden, el

58Seminariomismo
de la Especialidad de Matemtica
cardinal.
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,
Es decir, un subgrupo de G y una clase lateral cualquiera a ,

tienen el mismo cardinal.
card ( ) = card (a ), pues = e
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
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.
1 x
(2) Sea G el conjunto de las matrices de la forma A , con x real y sea
0 1
1 n
el conjunto de las matrices de la forma B , con n entero (n Z ).
1
0
En relacin con estos conjuntos se prueba que:
a. G es un grupo con la multiplicacin de matrices.
b. es un subgrupo de G.
59
c. Veamos si es un subgrupo normal de G:

1 x 1 n
A G, h entonces: A , x R h , n Z
0 1 0 1
1 x 1 n 1 x 1 x
A h A-1 = , pues A 1
0 1 0 1 0 1 0 1
1 x n 1 x 1 x n x 1 n
=
1
=
1 0
=
1

0 0 1 0
1 n
AhA-1 =
1

0
como A h A-1 , entonces G.
PROPIEDADES BSICAS
de G es normal en G.
1) Si G es un grupo conmutativo, entonces todo subgrupo
2) Si 1 y 2 son subgrupos normales de un grupo G, entonces 1 2 es un
subgrupo normal de G. Es decir:
La interseccin de dos subgrupos normales de un grupo G

es tambin un subgrupo normal de G.
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
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 )
) , (hiptesis)
= g ( g1
= ( g g1 )
= g g1 ( es subgrupo de G)
Luego se demostr que: g = g (g )(g1 )= g g1 , g, g1 en G.

61
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 } (*)
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
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.
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:
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?)
-1 -1
2) f (a ) f (a) = f (a 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

63
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}
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
x0
k, k Z
n
x n.k , k Z
x 0, n, 2n, 3n,
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 }.

65
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:
an =aaaa (n veces)
a0 =e
a n+1 = an a
a-n = (a-1 )n = (an )-1
ak T ah = ak+h
Para un elemento, a, en G, denotamos con a al siguiente conjunto:

H(a) = a {ak 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 = ah, h
y a y = at, t
xy-1 = (ah)(at)-1 = ah.a-t = ah-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, a1, a2, a3, }
Vemos que a est formado por todas las potencias enteras negativas y positivas
del elemento a.

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, con 0 r < m
RESULTADO 2
Dado G un grupo y para a G, sea O(a) = m finito, si existe s tal que
aS = e, entonces m divide a S, adems m es el menor entero positivo tal que am = 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 ai aj
Por el contrario, supongamos que: ai = aj, adems i > j, i j < m ai.a-j = e
Hallando luego el subgrupo generado por a, se tiene:
a = {e, a, a2, a3, , ai-j-1}
Entonces a tiene i j < m elementos, contradice al hecho que O(a) = m,
Entonces, m es el mnimo entero tal que am = e
67
Ahora: Siendo s = qm + r, 0 r < m

Dado a G, aS = aqm + r
aS = (am)q.ar
aS = ear
a0 = ar 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, a2, a3,, am-1}
Demostracin:
a. Es de inmediato ver que:
{e, a, a2, a3,, am-1} a
b. Slo falta probar a {e, a, a2, a3,, am-1}
x a x = aS, S
x = aS, S = qm + r, 0 r m-1
x = aqm+r, 0 r m-1, r
a = ar, con 0 r m-1, r
x {a0, a1, a2, a3,, am-1}
x {e, a, a2, a3,, am-1}
o sea a {e, a, a2, a3,, am-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, 30, 31, 32, 33, 34}
3 = {0, 3, 6, 9, 12}

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 = {20, 21, 22, 23, 24, 25, 26}
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
23 = 2 + 2 + 2 = 6
24 = 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, 11, 12, 13, }
1 = {, -3, -2, -1, 0, 1, 2, 3, }
1 =
entonces es cclico, pues 1 =
Nota: En con +, se cumple:

Si a = 0 en 0 = 10.
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.

69
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
r (r r ) 3
suficiente tener c , entonces c r .
2 2
3
como c r , lo escribimos: c = r3/2
2
3
c = r3/2 r, pues no es entero.
2
3
Esto contradice a que r = r
2
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 a0 = e ak 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 .)
(3) Si G = a es un grupo cclico de orden n, entonces ar 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, 11, 12, 13, 14, 15}
En base a la propiedad (3), se cumple:
11 = 1 es generador de 6 , pues 1 y 6 son primos relativos.
15 = 5 es generador de 6 , pues 5 y 6 son primos relativos.
Entonces, los nicos generadores de ( , +) son 1 y 5, esto es, 1 = 5 =
6 6
Sin embargo, 13 = 3 no es generador de , pues 3 no es primo relativo con n = 6.

6

71
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:
ax=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 R2

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 R2 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)

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 a4 - 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.

73

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.

75
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

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 (R2, +)

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)

77
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 Z n
([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 (Z n, +, ) es un anillo conmutativo y con
unidad.

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
1
m= Z ()
2
(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

79
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 (Zn, +, ) 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
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.
Ejemplo 1
En los anillos: (Z,+, ); (Q, +, ); (R, +, ); (C, +, )
Cada uno es un subanillo del siguiente, de izquierda a derecha.
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.
Ejemplo 2
Sea el anillo: (Z,+, ) de los nmeros enteros y S = { 3k / k Z } 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

81
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:
A es subgrupo de A con
Si=A
a A, r A a r I r a I
{0} es subgrupo de A con

a A r {0} a r 0 r a 0 {0}
Si = 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:
20
a.r =
3
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=ak
a rn
tambin r an
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)
= a .
3.6. 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::
Si a / b, tambin se dice que: a es un divisor de b
b es divisible por a
83
b es mltiplo de a
Propiedades
1 Si A tiene elemento unidad 1, entonces:

1.1. 1 | a, aA
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|ad|bd|a+b
6 d|ad|bd|ab
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 = 1
11. a | b b | a b = a
Demostraremos 10) y 11):
Teorema. a a 0; a | 1 a = 1
Demostracin:
a|1b /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 = 1
Corolario: a | b b | a b = a
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) = (q q) a
1 1 = q1 q [Cancelando a]
q|1 [Def. divisor]
q = 1 [Teorema anterior]
Reemplazando en (I): b = a
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
En algunos textos, a los anillos de divisin los llaman cuerpo y al cuerpo
conmutativo le denomina campo.
Ejemplos:

85
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 =
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 a2 + b2 0 y existe a-1 en *
a b
donde z-1 = 2 2 , 2 2 * y se cumple:
a b a b
z z 1
= (1, 0) z1 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:
1 b
0 a a
x= = 2
a b a b2
b a
a 1
b 0 b
y= = 2
a b a b2
b a

87
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:
1xK 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
Todo dominio entero finito es un campo.
La demostracin la vemos en el texto lgebra Moderna I. N. Herstein
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, ....)
.
Sn = (0, 0, , 0, 1, 0, 0, ...)
n ceros
Dado A un anillo conmutativo con unidad 1. Denotamos con N(A) al conjunto formado
por todas las sucesiones casi nula, es decir
= (a0 , a1, a2, ... , an, 0, 0, ...)
N(A) = {S: N A / S es una sucesin casi nula}

89
T N(A) t = (b0 , b1,, b2, ... , bm, 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) cn+m+1 = 0 , pues cn+m+1= aibj. Donde i + j = (n+1) + m = n + (m+1)
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.
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

91
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 X2 = (0, 0, 1, 0, 0, ...),
X3 = (0, 0, 0, 1, 0, 0, ...), , Xn = (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 x2+, ... + anxn
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 + a2x2 + ... + anxn un polinomio en A[X]. El valor del polinomio
P(x) en un de A se denota con P(), donde:
P() = a0 + a1 + a22 + ... + + ann
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 + x2.
2) a = -2i, es raz del polinomio P(x) = x2 + 4 en el anillo C[X].
Sin embargo P(x) no tiene raz en R[X]
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 Ax 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) = x2 - 5 es irreducible en R[x], pero no en C[x]; pues en C[x]:
x2 5 x 5 x 5 .
Criterio de EISEINSTEIN
P(x)= a0 + a1x + a2x2 + .... + 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 ) p2 no es divisor de a0
Entonces, P(x) es irreducible en Q(x).
Caso particular:
Dado P(x) = 12 + 3x - 6x2 + 5x3, existe p = 3, primo que satisface el criterio de
Eiseinstein. Luego, P(x) es irreducible en Q(x).

93
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
S a L x/a L A x L S
L1
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 a2 = a, a A, se llama anillo booleano. Muestre un anillo

booleano.

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 } i2 = -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) = x2 - 3
b) S(x) = x n - p, siendo p primo.
c) F(x) = x11 - 6x4 - 12x3 - 36x - 6
11) Si P(x) = 1 + x 2 + x3 + x4
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.

95

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.

97

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 = R2 y el campo K = R
I. Definimos la operacin interna
+ : R2 x R2 R2
(u,w) u+w
donde para cada u = ( a , b ) , w = ( c , d ) en R2
u+w = (a,b) + (c,d)=(a+c,b+d)

99
II. Definimos la operacin externa

. : R x R2 R2
(r,u) ru
donde para cada r R , u = ( a, b ) R2
ru=r(a,b) = (ra,rb)
Se verifica: R2 es un espacio vectorial sobre K = R
2) Denotamos con V= R n al conjunto de todos los elementos de la forma

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 Rn 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 IRn es un espacio vectorial sobre el campo K = IR.
Casos particulares
a) Si n = 2 , entonces IR2 es un espacio vectorial sobre el campo K = IR
(visto en el ejemplo 1).
b) si n = 3, entonces IR3 es un espacio vectorial sobre k = IR.
c) si n = 4, entonces IR4 es un espacio vectorial sobre IR.
d) si n = 5, entonces IR5 es un espacio vectorial sobre el campo IR.
* si n = 1 entonces IR1 = 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 xF F
( x , y) x +y
( F, + ) es grupo abeliano, pues F es campo.
II. Se define la operacin
. : KxF F
(r,x) rx
En este caso, la operacin externa es la multiplicacin que est definida en F se

cumple: (r+t)x = rx + tx

r(x+y)= r x+ ry
r(tx) = (rt)x
1x = 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

101
de orden m x n y con coeficientes en IR ( pues a ij IR). La matriz A tambin se

escribe como sigue:
a11 a12 a13 a1n

a21 a22 a23 .a2n
A = . .. .. ..
. .. .
am1 am2 am3 .amn
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
rA = 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 0 v es el neutro aditivo de V llamado
vector nulo.
Demostracin: Ejercicio
4.2. SUBESPACIOS VECTORIALES

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 = IR2 espacio vectorial sobre K = IR y W = (x,y) IR2 / y = 0
como (8,0) W W , W IR2
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)
= ru +tu
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 IR2
sobre K = IR
2) Si V es un espacio vectorial sobre un campo K, entonces tenemos que

103
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
II) (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
I
II
III
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) )
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

105
Ejemplos de aplicacin del teorema de subespacios

1) Sea V = IR2 el espacio sobre el campo K = IR, y sea
W = (x,y) IR2 / y = 3x
Como (2,6) W, W , W IR2
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 = IR2
IR
Y = 3x
W
IR
2) Sea V = IR3 el espacio vectorial sobre K = IR y sea

W = (x, y, z) IR3 / 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)
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 IR3.
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
W = uV/ u = 1 u1+ 2 u2++ n um , iK, ui S
Se prueba que W es un subespacio de V
Resultado 2
107
S W
(u i S u i W )
u i S u i ou1 ou 2 ... ou i 1 1u i ou i 1 ... ou m
u i S , i 1,2,3,..., m
u i W , o sea S W
Resultado 3
W W , I
S W
a)
u W u 1u1 2 u 2 3u3 ... p u p ; i K , ui S
u 1u1 2 u 2 3u3 ... p u p ; i K , ui W ; (W subespacio)
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 W 0 subespacio
de la familia W 0 de la familia = (W ) I de subespacios que lo contienen a S
tal que W W0
Por propiedad de inclusin sabemos: W W

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

W
W (MNIMO)

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.
Notacin:
Al subespacio W le llamaremos el subespacio de V generado por S y lo
denotamos con S es decir: S W S

W
W
Ejemplo:
1) Dado el espacio vectorial R2 sobre K=R y sea S = { (1, -2), (-2, 4) } hallamos el
subespacio de R2 generado por S.
Veamos:
S W
u S u W
u ( x , y ) S u ( x, y ) W
u ( x, y ) es combinacin lineal de u1 y u2
( x, y ) 1u1 2u2
( x, y ) 1 (1,2) 2 (2,4)
( x, y ) (1 2 2 ,21 4 2 )
1 2 2 x......(1) y
2 14 2 .....(2)
21 4 2 2 x
21 4 2 y
y 2 x
( x, y ) {( x, y ) R 2 / y 2 x}
S {( x, y ) R 2 / y 2 x}
2) En el espacio vectorial R2 sobre K=R, Sea S = { (-1,3);(2,1) } = { u1, u2 }

Se prueba que: S R2
Es decir: para todo u = (x, y) R2 , se garantiza que existen 1 , 2 en R tal que
u 1u1 2u2
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
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) B V
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.

109
Caso particular:
Dado V = R2 el espacio vectorial sobre K = R y B = {u1, u2}= {(3,1), (-4,5)}.
Entonces se verifica que B es una base de R2. Luego,
afirmamos que dim (R2) = 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= R2, W = R espacios vectoriales sobre K = R, y dados las constantes
reales a y b, se define la funcin T: R2 R, donde u = (x, y) R2
T(u) = T(x, y) = a x + b y
Se prueba que T es una transformacin lineal.
2) Sean V= R2, W = R2 espacios vectoriales sobre K = R, y se define la siguiente
funcin T: R2 R2, donde (x, y) R2
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 R2, de ngulo
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
a11 a12 . . a1n

a a ... a
A 21 22 2n
...................

am1 am2 ... amn
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 Aj, donde
a1 j

a2 j

.
Aj
.

.
a
mj
Veamos el siguiente caso:
3 1 4
Si
A . Entonces,
2 0 5
111
(*) Los vectores filas de A son:

A1 = (3, -1, 4), A2 = (2, 0, 5) (como en R3)
(*) Los vectores columnas de A son:
3 1 4
A1 A2 A3
2 6 5
Operaciones elementales. Matrices equivalentes. Rango de matrices
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 r f (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 R2 se usa para analizar el
paralelismo.
5. Hable sobre la dimensin de los espacios R3 y en general de Rn sobre K = R.
6. Proponga ejemplos que ilustren las cinco anteriores consideraciones adicionales.
4.4.2. SISTEMAS DE ECUACIONES LINEALES

Sean Kn y Km 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: Kn Km
X AX
Es decir: TA ( X ) = AX , X es un vector columna en Kn con

113
x1

x2
.
X
.

.
x
n
Si TA (X) = AX = B, con B Km 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 Km, entonces AX = (, vector columna nula) .......... (IH)
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:
AX = B , con B 0 en Km .....................(I)
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
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
AX=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
115
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
AX=B

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

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) R2 / x = y , es un subespacio de R2.
c) No existen espacios vectoriales finitos.
d) Tres vectores no nulos y diferentes en R2, no son linealmente independientes.
2) Demuestre las propiedades bsicas de un espacio vectorial

3) a) Si L es una recta de R2 que pasa por el origen, muestre que L representa a un

subespacio de R2 sobre K = R
b) Muestre que R2 es suma directa de los siguientes subespacios
U = (x,y) R2 / y= -x ; W = (x,y) R2 / y= 0
c) Dados los vectores u1 = (6,-1) y u2 = (-18,3) en R2, 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 R3 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 R2 sobre K= R.
8) Realice un comentario sobre las bases de los espacios vectoriales R2 y R3 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 + yz = 0
x + 3y + z =0 5 x -2y +2 z = 0
4x +2y +3z = 0 6x -y + z =0
117

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.

119
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

Seminario Matematica

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Seminario Matematica

Hochgeladen von

Copyright:

Verfügbare Formate

SEMINARIO DE LA ESPECIALIDAD

2 Seminario de la Especialidad de Matemtica

Seminario de la Especialidad de Matemtica

4 Seminario de la Especialidad de Matemtica

El presente Mdulo de Especialidad I ha sido elaborado como material

El lgebra, parte de la matemtica, es una rama netamente formativa, y es un

Los contenidos temticos estn divididos en cuatro captulos: en el primero se

Seminario de la Especialidad de Matemtica

6 Seminario de la Especialidad de Matemtica

Seminario de la Especialidad de Matemtica

1. Fundamentos algebraicos de la Matemtica

Principio de sustitucin (p.s)

Igualdad entre elementos y conjuntos

Cuando escribimos A = B significa que A y B son smbolos distintos que

1.2 FUNDAMENTOS LGICOS

1.2.1 Operaciones proposicionales

Las proposiciones que se obtienen combinando otras mediante los conectivos se

Dentro de las operaciones proposicionales ms comunes se consideran:

8 Seminario de la Especialidad de Matemtica

Una tautologa es una forma proposicional que es verdadera para cualquier

Una contradiccin es una forma proposicional que es falsa para cualquier

1.2.3 Implicacin lgica

Dadas dos formas proposicionales, A y B, diremos que A implica

De la definicin anterior podemos afirmar que si una forma proposicional A implica a

1.2.4 Equivalencia lgica

Dadas dos formas proposicionales A y B , diremos que A es lgicamente

Seminario de la Especialidad de Matemtica

LEYES Y TAUTOLOGAS DE LA LGICA PROPOSICIONAL

Las leyes lgicas o principios lgicos son equivalencias lgicas y algunas

Principales leyes de la lgica proposicional

Leyes de identidad o elemento neutro

10Seminario de la Especialidad de Matemtica

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

Ejercicio: Simplificar sin tablas la proposicin ( p q) p .

Ejercicio : Probar deductivamente que p q (p q) (p q) .

Seminario de la Especialidad de Matemtica

1.3 EL MTODO AXIOMTICO

Toda teora matemtica consta de:

12Seminario de la Especialidad de Matemtica

Un SISTEMA AXIOMTICO es una teora desarrollada mediante el mtodo axiomtico,

N = { 0, 1, 2, 3, 4, 5, 6, .. } se llama el conjunto de nmeros naturales.

Principio del buen Orden en N

Seminario de la Especialidad de Matemtica

* a en Z, se dice que es un entero impar, si y slo si a =2k+1, con k entero.

Valor absoluto de nmeros enteros.

En relacin al valor absoluto de nmeros enteros, se verifica las siguientes propiedades:

3) Si b 0 y /a/< b -b < a < b

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:

Segundo algoritmo de la divisin en Z

Dados a, b , a 0 b 0; entonces, existen r, q en , tales que:

14Seminario de la Especialidad de Matemtica

1.4 MTODOS DE DEMOSTRACIN DE TEOREMAS.

Se trata en general de demostrar: si se verifica H, entonces se verifica C.

1.4.1 DEMOSTRACIN DIRECTA

1.4.2 DEMOSTRACIN POR CONTRAPOSICIN

Seminario de la Especialidad de Matemtica

La ley que rige la demostracin por contraposicin es:

1.4.3 DEMOSTRACIN POR REDUCCIN AL ABSURDO

Demostrar H implica C, equivale a demostrar que H C implica deducir una