Escolar Documentos
Profissional Documentos
Cultura Documentos
Una Introduccin
Ariel
Ariel Ciencia
CAPITULO 1
I NDICE
Pro logo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13
14
18
22
26
31
CAPITULO 2. Cardinales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
02.1. Nu meros cardinales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
02.2. Los nu meros naturales: induccio n . . . . . . . . . . . . . . . . . . . . . . . . . . .
02.3. Comparacio n de cardinales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
02.4. Conjuntos numerables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
02.5. El cardinal del continuo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
02.6. Proposiciones indemostrables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
02.7. Teoras axioma ticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
02.8. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
37
39
42
49
57
60
65
69
74
CAPITULO 3. Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
03.1. Operaciones binarias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
03.2. Semigrupos, monoides y grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
03.3. Los nu meros enteros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
03.4. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
81
82
84
91
98
103
104
110
115
118
125
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
129
130
134
136
141
147
150
155
156
160
166
169
172
175
176
182
187
189
189
189
190
191
193
209
215
CAPITULO 1
PROLOGO
La extension
de la ensenanza
en muchos
pases ha tenido como primera consecuencia la proliferacion
de asignaturas
que se corresponden con el interes inmediato de la mayora de jovenes
(informatica,
en el
caso espanol,
la canalizacion
de todo el alumnado a trave s de una va unica,
de alumnos
con una deficiente expresion
oral y escrita o que a duras penas son capaces de
utilizar correctamente las operaciones aritmeticas.
Por lo que se refiere a la ensenanza
de las matematicas,
es un hecho
constatado que muchos estudiantes acceden a la universidad sin dominar el
algebra
complejo.
Tambien se constata la desaparicion
de la geometra eucldea del plano en las
matematicas
ha sido eliminada de los programas de humanidades y las demostraciones de las proposiciones matematicas
cion
abstracta y a los fundamentos de las matematicas,
y esta
concebido como texto para un curso de apreciacion
matematica,
de los que
se ofertan en los centros de formacion
del profesorado, o para un curso sobre
fundamentos (o algebra
que aparece en el
ttulo no hace referencia a la sencillez de los conceptos y de las demostracio-
10
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
nes, sino a la necesidad de volver a los temas aqu tratados por parte de los
futuros matematicos.
matematica
(estudiando calculo
de
predicados), en los conjuntos infinitos (estudiando ordinales transfinitos) y en
la teora de conjuntos (estudiando alguna teora axiomatica);
en el caso del
algebra
abstracta, cuya presencia en este libro se limita al mnimo imprescindible para abordar la construccion
de los sistemas numericos y ciertos problemas clasicos,
algebras,
etc.).
El libro es fruto de la experiencia docente de los autores con alumnos de
los primeros cursos en universidades espanolas,
argentinas y ecuatorianas, y
tiene los siguientes objetivos:
1. Mejorar el conocimiento del lenguaje conjuntista y, en general, del
lenguaje matematico
(Captulo 1).
matematico
(Teorema de Lindelof)
o el calculo
de distribucion
es numerable).
basica
y en la atencion
prestada a
tornandose
basica,
al
tiempo que se discute la existencia de las bases infinitas (bases de Hamel) en
espacios vectoriales.
En el caso de ser utilizado como texto para un curso cuatrimestral, puede
ser necesario efectuar recortes en su contenido. Si los alumnos tomaron con
anterioridad un curso de introduccion
al algebra,
pueden suprimirse totalmente las secciones 3.1 y 3.2, y parcialmente las 4.1, 4.2 y 4.3. Las secciones
2.4, 2.6, 2.7, 3.3, 4.3 y 5.5, as como el Captulo 6 en su conjunto, son de facil
11
PROLOGO
del analisis
real, por lo que las pruebas podran ser transferidas a la asignatura correspondiente (que posiblemente se desarrolle en paralelo). El Captulo
7 es de lectura independiente, por lo que podra suprimirse en su totalidad
(cosa que no aconsejamos por agrupar interesantes aplicaciones del algebra
abstracta a la resolucion
de importantes problemas clasicos
de la geometra y
de la teora de funciones).
Aunque el libro contiene demostraciones de todos los resultados enunciados, excepto las relaciones entre las proposiciones indemostrables (Seccion
deductiva de una materia no tiene por que llevarse hasta sus ultimas
con un asterisco aquellos que encierran cierto grado de dificultad), que deben servir como test del aprovechamiento por parte del alumno.
Para facilitar la autoevaluacion,
se incluyen al final las soluciones de los problemas propuestos.
LOS AUTORES
Alicante, enero de 2000
CAPITULO 1
A LA TEORIA
DE CONJUNTOS
INTRODUCCION
de las grandes
ventajas que ofreca el lenguaje conjuntista, hasta el punto de que el mas
famoso matematico
de un
grupo de grandes matematicos
franceses.
El proposito
natural, por
grande que sea, y facilita las operaciones aritmeticas. Las civilizaciones griega y romana fueron muy avanzadas en ciertos temas, pero cuando un texto
clasico
habla de eje rcitos con innumerables soldados no se trata de un tropo, sino de una carencia cultural. Suele decirse de forma un tanto abusiva que
los babilonios (que utilizaban, por cierto, un sistema de numeracion
de base
60, nada menos) resolvan ecuaciones de primero y segundo grado cuando,
de hecho, carecan de la notacion
que les permitiese escribirlas. En realidad,
saban resolver algortmicamente problemas que ahora planteamos mediante
ese tipo de ecuaciones. La representacion
actual de las ecuaciones es relativamente reciente. As, el signo
data de 1557 (introducido por Recorde) y
el uso de las letras del abecedario para representar coeficientes e incognitas
14
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
letras del abecedario, costumbre universalmente aceptada desde 1637. Norma tan sencilla
nos ahorra preguntar cual
es la incognita
y el razonamiento.
Se trata, por lo tanto, de un captulo instrumental, repleto de definiciones
y de convenios, tan formativo e ingrato como pueda serlo la gramatica
para
un futuro escritor o el solfeo para el futuro musico.
1.1.
Calculo
proposicional
(condiciones que se suponen satisfechas) y la tesis (lo que se afirma que se cumple en
esas condiciones) hacen las veces de situacion
inicial del tablero y jaque mate.
De las condiciones contenidas en la hipotesis
se iran
derivando nuevas sentencias (comparables con las posiciones intermedias del tablero a lo largo de la
partida) utilizando reglas logicas
de aceptacion
universal o convenida (como
las reglas del juego en el caso del ajedrez), la ultima
casi siempre
oculten por economa del lenguaje o por mera costumbre el papel de la
induccion.
Para lograr una prueba correcta es esencial tener un buen plan de
accion,
y para ello se requiere intuicion,
desarrollada e sta mediante la practica
(frecuentacion
de los objetos matematicos,
pues solo
15
A LA TEORIA
DE CONJUNTOS
INTRODUCCION
proposicion.
de Espana,
Por el
contrario, no son proposiciones las oraciones Que tal estas?,
No te asomes
a la ventana o La funcion
f x
cos x es conmutativa. Las oraciones interrogativas o imperativas no tienen ningun
valor de verdad y, por otra parte, la
ultima
oracion
es ambigua, puesto que no existe ninguna definicion
aceptada
de conmutatividad aplicada a las funciones (si alguna vez se estableciese dicha
definicion,
este ejemplo se convertira en una proposicion).
logicos
en funcion
de la verdad o falsedad de las proposiciones conectadas.
(denotada por _) de dos proposiciones es
As, acordaremos que la disyuncion
falsa tan solo
cuando lo son las dos proposiciones conectadas, que la conjun (^) es verdadera tan solo
cion
cuando lo son ambas partes, que la implicacion
( )) solo
es falsa cuando el antecedente es verdadero y el consecuente falso,
o equivalencia (()) es verdadera si, y
mientras que la doble implicacion
solamente si, las dos proposiciones conectadas son simultaneamente
verdaderas o falsas. Todos estos operadores son binarios por conectar dos elementos,
(que se representara superponiendo una lnea) es
mientras que la negacion
un operador monario por afectar a una sola proposicion,
cuyo valor de verdad
es el contrario al de la proposicion
negada. Estas definiciones se memorizan
facilmente
( )=
binarios (disyuncion,
conjuncion,
implicacion
y equivalencia) y uno monario (la negacion),
a saber,
p
1
1
0
0
1
0
1
0
_q
1
1
1
0
^q
=) q
1
0
0
0
1
0
1
1
() q
1
0
0
1
1
0
0 .
1
Una proposicion
compuesta es una tautologa cuando es siempre verdadera, cualquiera que sea el valor de verdad de las proposiciones simples que
la forman (es decir, cuando la columna correspondiente en la tabla de verdad
solo
contiene el valor ).
(( =
) ( =
))
( () q) es una tautologa. En
Ejemplo 1.1.
p ) q ^ q ) p () p
efecto, teniendo en cuenta las definiciones,
16
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
1
1
0
0
1
0
1
0
1
0
0
1
1
1
0
1
1
1
1
1
=) p.
((p =) q) ^ (q =) p)) () (p () q):
((p =) q) ^ (q =) r)) =) (p =) r):
(p _ q) () (q _ p):
(p ^ q) () (q ^ p):
p =) (p _ q):
(p ^ q) =) p:
(p _ p) () p:
(p ^ p) () p:
p
p () p:
(p _ q) () (p ^ q):
(p ^ q) () (p _ q):
((p =) r) ^ (q =) r)) =) ((p _ q) =) r) :
((p _ q) _ r) () (p _ (q _ r)) :
((p ^ q) ^ r) () (p ^ (q ^ r)) :
(p ^ (q _ r)) () ((p ^ q) _ (p ^ r)) :
(p _ (q ^ r)) () ((p _ q) ^ (p _ r)) :
(p =) q) () ((p _ q) () q) :
((p =) q) ^ p) =) q:
((p =) q) ^ q) =) p:
(p =) q) () (q =) p):
(p =) (q ^ q)) =) p:
(p =) q) () ((q ^ p) =) (r ^ r)) :
(p =) p) =) p:
(p =) q) () (q _ p):
(p =) (q _ r)) () ((p ^ q) =) r) :
17
A LA TEORIA
DE CONJUNTOS
INTRODUCCION
p y q, es decir, la proposicion
p () q, bastara
demostrar que p ) q (directo) y q ) p (recproco) son verdaderas,
de acuerdo con la tautologa del Ejemplo 1.1. Ademas,
es lo mismo
probar p ) q que probar q ) p, por (1.21).
por discusion
de casos posibles consiste en prob) Una demostracion
bar una proposicion
r viendo que, bajo la hipotesis,
principio de no contradiccion).
anades).
de casos posibles.
Si denotamos por p y q las proposiciones x es un numero
entero y
x2 x, respectivamente, tendremos que demostrar que p ) q es verdadera.
Si p es verdadera, entonces se verifica una de las siguientes proposiciones:
(i) x
<
0, en cuyo caso x2
>
>
x y se verifica q.
) (
18
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
( )
>
0, constituye una
Estas
son algunas de las reglas mas
comunes del razonamiento matema
tico, que se sobreentienden en las demostraciones de los textos para ahorrarle
al lector los detalles aburridos (de igual forma que, al describir una partida
de ajedrez a quienes ya conocen las reglas del juego, se enumeran los movimientos, pero no se explicita que regla del juego se aplico en cada paso). Sin
embargo, un matematico
(A; B; : : : ) y los
elementos por letras latinas minusculas
par
(observese que en la definicion
por extension
no se explicita el conjunto de
referencia). Si la forma proposicional es verdadera para todos los elementos
de E, entonces el conjunto que define es el propio E . Pero tambien podra
ocurrir que la forma proposicional fuese siempre falsa; en tal caso, el conjunto
carece de elementos, se denomina vaco y se denota ;. Si x pertenece al conjunto A (es decir, x es elemento de A), se escribe x 2 A. A partir de estos dos
conceptos indefinibles, conjunto y pertenencia, podemos introducir las bien
conocidas operaciones conjuntistas y otros conceptos que pueden ser nuevos
para el lector.
19
A LA TEORIA
DE CONJUNTOS
INTRODUCCION
= fx 2 E j x 2 A _ x 2 Bg :
= fx 2 E j x 2 A ^ x 2 Bg ;
as como su diferencia,
AnB
= x 2 E j x 2 A ^ x 2 B = fx 2 E j x 2 A ^ x 2= Bg :
C=
Ai
i2I
= fx j existe i 2 I : x 2 Ai g :
C=
i2I
Ai
= fx j x 2 Ai
para todo i 2 Ig :
En matematica
i2I
Ai
=;
i2I
Ai
= f1g [ P ;
primos.
20
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
EJERCICIO 1.2.
tos:
1(2.1)
1(2.2)
1(2.3)
1(2.4)
1(2.5)
1(2.6)
1(2.7)
1(2.8)
1(2.9)
(2.10)
(2.11)
(2.12)
(2.13)
(2.14)
(2.15)
(2.16)
(2.17)
(2.18)
[(A B) ^ (B A) () (A = B):
[(A B) ^ (B C) =) (A C):
A [ B = B [ A:
A \ B = B \ A:
A A [ B:
A \ B A:
= A:
A \ A = A:
A = A:
(A [ B ) = A \ B :
(A \ B ) = A [ B :
[(A C) ^ (B C) =) [(A [ B) C :
(A [ B) [ C = A [ (B [ C) :
(A \ B) \ C = A \ (B \ C) :
A \ (B [ C) = (A \ B) [ (A \ C) :
A [ (B \ C) = (A [ B) \ (A [ C) :
(A B) () (A [ B = B) :
A[A
reflexiva, antisimetrica
(utilizada para probar la igualdad de dos conjuntos)
y transitiva de la inclusion;
(2.4) y (2.5) expresan las propiedades conmutativas, de la union
y de la interseccion,
respectivamente; (2.11) y (2.12) son
o de De Morgan; (2.14) y (2.15) expresan la
las leyes de complementacion
propiedad asociativa de la union
y de la interseccion,
respectivamente; para
terminar, (2.16) y (2.17) son las propiedades distributivas de cada una de las
dos operaciones respecto de la otra.
EJERCICIO 1.3. Compruebese que cualquier familia de conjuntos fAi ; i
satisface las leyes de De Morgan generalizadas:
(3.1)
i2I
Ai
i2I
Ai .
2 Ig
21
A LA TEORIA
DE CONJUNTOS
INTRODUCCION
(3.2)
i2I
Ai
i2I
Ai :
El primero es el de
conjunto de las partes de un conjunto, que es aquel que resulta de considerar
como elementos todos sus subconjuntos, incluidos el menor, ;, y el mayor (el
propio conjunto) desde el punto de vista de la inclusion.
El segundo concepto
es el de producto cartesiano de dos conjuntos dados en un cierto orden, que
esta formado por todos los pares ordenados que pueden formarse a partir de
aquellos conjuntos. Esta nocion
de par ordenado puede definirse, aunque a
primera vista parezca tan basica
P (A) = fX j X Ag :
Un conjunto que tiene un unico
elemento se dice que es singular. Un conjunto con dos elementos se dice que es una pareja.
Dados dos conjuntos no vacos A y B, y elementos respectivos a 2 A y b 2 B,
el conjunto
= f(a; b) j a 2 A ^ b 2 Bg :
Desde luego, f;; Ag P (A); en particular, si A = ; entonces P (A) = f;g
es singular. Cuando A 6= ; son singulares los conjuntos fag 2 P (A), para cada
a 2 A.
Un par ordenado (a; b) es un conjunto, que puede ser singular (cuando
a = b) o una pareja.
si, uno de los dos conjuntos es vaco. En
Obviamente, A B = ; si, y solo
particular, cuando B = A, se escribe A2 en lugar de A A (el conjunto de los
AB
Demostracion.
( )=( )
( )
Caso 1: a
b. Como fa; bg es un conjunto singular, a; b esta formado
por dos conjuntos singulares (e iguales), y lo mismo le ocurrira a x; y , por
la hipotesis,
( )
=
(1.1)
22
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
= = =
( )
( )
fag = fxg
(1.2)
fa; bg = fx; yg :
(1.3)
= =
1.3.
Correspondencias
de asociacion:
a cada ser humano se le pueden asociar sus progenitores vivos (con lo que
a cada persona le podran
corresponder dos personas, una o, en el peor caso,
ninguna); a cada ojal de una chaqueta un boton
o ninguno;... Este concepto se
puede definir con ayuda del producto cartesiano.
1.6. Sean A y B dos conjuntos dados no vacos, a los que llamareDefinicion
mos conjunto inicial (o dominio) y conjunto final (o codominio). Una correspondencia de A en B es un subconjunto no vaco G del producto cartesiano
A B. Dicho subconjunto tambien recibe el nombre de grafo de la correspondencia.
Sea G una correspondencia de A en B. Si a; b 2 G, se dice que b es una
imagen de a, o que a es una preimagen de b. El conjunto imagen (de A) esta
formado por todas las imagenes
de los elementos de B.
( )
=
= ( )( )( )( )
( )
( )( )( )
f A
x7
!B
! f (x) :
23
A LA TEORIA
DE CONJUNTOS
INTRODUCCION
Figura 1.1.
(a)
(b)
(c)
(d)
B);
La aplicacion
f A ! B es inyectiva (o uno-a-uno) cuando elementos
distintos de A tienen imagenes
distintas, es decir,
=6 a2 =) f (a1 ) 6= f (a2) ;
cualesquiera que sean a1 ; a2 2 A.
La aplicacion
f : A ! B es suprayectiva (o sobre) cuando para todo b 2 B
existe al menos un a 2 A tal que f (a) = b.
a1
Una aplicacion
se dice que es biyectiva (o biunvoca) cuando es inyectiva
y suprayectiva (uno a uno y sobre).
Dado un conjunto A 6 ;, la correspondencia de A en s mismo de grafo G
f a; a j a 2 Ag es una aplicacion
biyectiva llamada identidad, que denotaremos
por IA .
Dada una aplicacion
f A ! B y un subconjunto no vaco C A, se
denomina restriccion
de f al subconjunto C a la aplicacion
fjC C ! B tal que
f x para todo x 2 C:
fjC x
( )
( )= ( )
:
Si f A ! B es una aplicacion
de grafo
imagen de un subconjunto A0 A se denota
f A0
y la preimagen de B0
f(a; f (a)) j a 2 Ag A B; la
= fb 2 B j existe a 2 A0 : b = f (a)g
B es
f
B0
= fa 2 A j f (a) 2 B0 g:
24
AL
1
( )=
( )=
B
A y la aplicacio n f es suprayectiva cuando f A
B.
En particular, f
En el Ejemplo 1.5, la correspondencia F es una aplicacio n (que denotaremos por f ), mientras que G no lo es (puesto que a tiene dos ima genes).
f; ;
g 6 B; por lo que f no es suprayectiva ni biyecAdemas,
se tiene f A
tiva, aunque s es inyectiva (ve ase en Figura 1.1.(d) que ningu n par de flechas
concurren en un mismo elemento de B).
Cuando los conjuntos inicial y final estan
formados por numeros,
la apli
cacion
se llama funcion.
real de variable
f A ! B es una funcion
Si A R y B R, la funcion
real, que es la clase de funciones que se estudia en la ensenanza
media. En
punto de la grafica.
Ademas,
el conjunto imagen f A B se visualiza proyectando la grafica
sobre el eje de ordenadas. Por otro lado, f es inyectiva si toda recta horizontal
intersecta a la grafica
en al menos un punto.
( )=
()
( )=
reales que
al ser sustituidos en la expresion
producen un numero
real, es decir, A
x 2 R j1 x2 0
1; 1 ; mientras que el codominio es, implcitamente,
R. Es facil
de f si, y solo
si, es
1 (de centro en el origen de
un punto de la circunferencia unidad x2 y2
coordenadas y radio unidad) y del semiplano superior y 0 (ve ase Figura 1.2).
0; 1 ; y f no es inyectiva ni suprayectiva. En cambio, fj[0;1
Por lo tanto, f A
es inyectiva.
=[
( )
+ =
( )=[
-1
Figura 1.2.
Grafica
de f (x) =
x2 .
25
A LA TEORIA
DE CONJUNTOS
INTRODUCCION
= f(b; a) 2 B A j (a; b) 2 Gg :
! B y g : B ! C, las siguientes
) ( ) = ( ( )) ; para
Ademas,
se cumple que g f x
g f x
(i) g f es aplicacion.
todo x 2 A.
1
si, y solo
si, f es biyectiva.
(ii) f es aplicacion
(iii) Si f y g son inyectivas (suprayectivas, biyectivas), entonces g
asimismo, inyectiva (suprayectiva, biyectiva, respectivamente).
) 1 =f 1g
f es,
( )
b 2 B tal que a; b 2
Demostracion.
( )
( )
= ( ) = ( ) = ( ( ))
=(
)( )
(g f) (a) = g (f (a))
(1.4)
y f no sera aplicacion.
As
z; y 2 f . En ese caso, z tendra dos imagenes
1
pues, si f es aplicacion,
f es inyectiva. Tambien f es suprayectiva, ya que para
1
( )
( )
( )=
=
( )
()= ()=
( )
( )
( )=
( )
( )= ( )
(g f) (x) = g (f (x)) 6= g (f (y)) = (g f) (y) :
( )
( )
=
( )=
( )=
2B
26
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
)
=
()
(g f) 1 (c) = a = f
( ) 2 (g f )
()
(c) =
)( ) =
(c) :
1.4.
si, y solo
si, c; a
Relaciones binarias
( )
[( )
( ) = ( )
( ) = ( )
[( )
( ) = =
8
(R)reflexiva: x; x
>
<
2 G para todo x 2 A;
(T)transitiva: x; y 2 G ^ y; z 2 G ) x; z 2 G para todo x; y; z 2 A;
>
: (S)simetrica: x; y 2 G ) y; x 2 G para todo x; y 2 A;
(A)antisimetrica: x; y 2 G ^ y; x 2 G ) x y, para todo x; y 2 A:
La nocion
de relacion
binaria es de gran importancia en matematicas,
en
particular en temas como teora de la decision,
teora de eleccion
social o teora
de votaciones, disciplinas que pretenden explicar el comportamiento de los
agentes (especialmente economicos),
y en analisis.
racional).
27
A LA TEORIA
DE CONJUNTOS
INTRODUCCION
( )
)
[=
A=G
= f[x j x 2 Ag :
racional: 1/2
es el conjunto de los numeros
racionales Q .
[ =
reales x e y estan
relacionados si x y 2k para algun
entero k, es
decir,
= +
x s y () x
) =2 2 Z.
Si denotamos por S1 la
2
2
y
1 en el plano, la aplicacion
biyectiva
circunferencia unidad x
+ =
f : R= s ! S1
[x 7 ! (cos x; sen x)
Figura 1.3.
Todo numero
[0,
2 [, y f ([x) es el
28
AL
[ [ =
[ [
[
[ =[
[ =[
[ [ =
(x; y) 2 G () existe B 2 C : x 2 B ^ y 2 B:
[ [
[ [
(1.5)
( )
( )
( )
)
x y () x y
^ x 6= y) :
(1.6)
La relacion
definida en (1.6) no es RBO (ni, por supuesto, RBE), pero
cumple (T) y satisface otra propiedad, denominada antirreflexiva: x x para
todo x 2 A:
29
A LA TEORIA
DE CONJUNTOS
INTRODUCCION
;
Pf
g
Figura 1.4.
x; para todo x 2 A:
maximo
(o ultimo
elemento) de A si x a; para todo x 2 A:
>
: minimal: x a ) x a; para todo x 2 A (no hay elemento anterior a a):
maximal: a x ) x a; para todo x 2 A (no hay elemento posterior a a).
=
=
=
=
( ( ) )
cuando existen,
y son maximal y minimal respectivamente. Si no existe maximo
(o mnimo),
los elementos maximales (minimales) no son necesariamente unicos:
si E es
un conjunto con al menos dos elementos, P E n f;g ; es ordenado y todos
los conjuntos singulares son minimales, pero ya no existe mnimo (comparar
con Figura 1.4).
( ( )
1.15. Supongase
Definicion
) (
Ejemplo 1.8.
x1
0 ^ y2
y1
0) ;
A,
30
AL
es una RBO. Se denomina orden parcial, ya que, por ejemplo, los elementos
1, 2 y 2, 1 no son comparables entre s (ve ase Figura 1.5). Ambos elementos son cotas superiores para el crculo unidad x2 y2 1. Una cota inferior
para la pareja f 1, 2 ; 2, 1 g es el elemento 1, 1 .
) ( )
Figura 1.5.
)( )
( )
Definicio n 1.17. Dado un conjunto ordenado A; , se dice que esta totalmente ordenado cuando dos elementos arbitrarios x; y 2 A siempre son comparables,
lo que equivale a decir que se cumple una, y solo
una, de las condiciones x y,
x y o y x (ley de tricotoma).
enteros con el orden usual no esta bien ordenado. Sin embargo, es posible definir un orden especial que resulte ser un
buen orden: 0 1 1 2 2 3 : : :
En proximos
en analisis.
La
existencia, o no, de algun
buen orden particular sobre cualquier conjunto es
una cuestion
de extraordinaria importancia y dificultad en la fundamentacion
de las matematicas,
captulo.
( )
( ( ) )
31
A LA TEORIA
DE CONJUNTOS
INTRODUCCION
1.5.
Problemas
( ) [( =) q) =) q ;
[( = ) ( =) r) _ (r =) p);
[( = ) ( =) s) =) [(p _ r) =) (q _ s).
a) p _ q () p
b) p ) q ^ q
c) p ) q ^ r
Problema 1.2.
( ) [ A \ B [ A \ B [ A \ B = E.
si, A = ;.
Demuestre que (A \ B) [ A \ B = B si, y solo
Demuestre que (A [ B) \ B = A si, y solo
si, A \ B = ;.
(
(
)=(
) (
)
)=(
) (
)
) (
)=( ) (
=
=
A B[C
AB [ AC ;
AB \ AC ;
A B\C
AC \ BD
A\B C\D ;
A B B A si, y solo
si, A B.
=( ) ( )
a) AA = ;;
b) A; = A;
c) AB = (A [ B) n (A \ B).
fx 2 R j 2 x < 4g, B
Problema 1.9. Considerense los conjuntos A
1, 5 y C
fz 2 Z j 2 z < 1g. Calcule las uniones, las intersecciones y
el producto cartesiano de las parejas de conjuntos A y B, A y C y, finalmente,
B y C.
= ( )
+ =
en
cuyo grafo es
32
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
= f(; a) ; (; b) ; ( ; d) ; (; c)g
( ) = ax2+ b; con a 6= 0;
( ) = ax + bx + c, con a 6= 0.
Problema 1.13. Clasifique f : R2 ! R2 definida como f (x; y) = x; xy y3 .
Demuestre que las siguientes
Problema 1.14. Sea f : A ! B una aplicacion.
a) f x
b) f x
= ( )
a) f X
f X cualquiera que sea X A
1
b) f es tambien biyectiva;
c)
= f.
Problema 1.15. Sea f A ! B una aplicacion. Pruebe las siguientes proposiciones, y de ejemplos que demuestren que las inclusiones que se afirman no
son necesariamente igualdades, aunque tambien podran serlo:
=
=
)= (
) (
)=
)=
( ) ( )
( )
( )
(
) ( )
=
(
) ( )
=
(
( )
( )
= 1, 2;
(
( )
( )
= 1, 2.
Problema 1.16. Demuestre que f : A ! B es inyectiva si y solo
si f (A1 \ A2 ) =
f (A1 ) \ f (A2 ), para cualquier par de conjuntos Ai A; i = 1, 2:
Problema 1.17. Pruebe las siguientes proposiciones acerca de f : A ! B:
1
que sea X A;
a) f es inyectiva si y solo
si X = f (f(X)) cualquiera
1
b) f es suprayectiva si y solo
si Y = f f (Y) cualquiera que sea Y B.
a) A1 A2 A ) f A1 f A2 ;
1
1
B1 f
B2 ;
b) B1 B2 B ) f
c) f A1 [ A2
f A1 [ f A2 , siendo Ai A; i 1, 2;
d) f A1 \ A2 f A1 \ f A2 , siendo Ai A; i 1, 2;
1
1
1
B1 [ B2
f
B1 [ f
B2 , siendo Bi B; i
e) f
1
1
1
f) f
B1 \ B2
f
B1 \ f
B2 , siendo Bi B; i
:= (x; y) 2 G j x 2 A0
33
A LA TEORIA
DE CONJUNTOS
INTRODUCCION
= ( )
:
= ( ) ()
()
relacion
de orden total (denominada orden lexicografico
sobre el plano), que
no es un buen orden:
R2
; 6= G E2
(1) x; y
(2) x; y
(3) x; x
34
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
G1
G2
G3
N una relacion
binaria a trave s del grafo
Problema 1.26.
G
= ((a; b) ; (c; d)) 2 N2 N2 j a divide a c y b es multiplo
de d
y mnimo de A.
Problema 1.27.
(a; b) (c; d) () a + d = b + c:
Estudie si se trata de una relacion
de equivalencia y, en caso afirmativo,
halle el conjunto cociente.
Problema 1.28. En el conjunto R2 de los puntos del plano se considera un
punto fijo O y se define la relacion
binaria
A B () d O; A
) = d (O; B) ;
A LA TEORIA
DE CONJUNTOS
INTRODUCCION
35
y mnimo de D.
Figura 1.6.
Problema 1.30.
Representacion
del conjunto D.
x1
R2
0 ^ y2
y1
0) ;
CAPITULO 2
CARDINALES
Los conjuntos se clasifican como finitos (aquellos para los que es cierto
el famoso aforismo de Bergson el todo es mayor que la parte) e infinitos,
cuya existencia puede parecer paradojica.
naturales. Analogamente,
cardinales, y
no los ordinales, conviene saber que los numeros,
ademas
de ser utiles
para
contar, sirven tambien para ordenar conjuntos. En el caso de los conjuntos
finitos, con los naturales hacemos ambas cosas: cuando le indicamos al ascensorista nuestro deseo de ascender hasta el piso 20, en realidad nos estamos
refiriendo a la vige sima planta del edificio. En el caso de los conjuntos infinitos
las cosas no son tan simples y es necesario diferenciar los numeros
para contar
(cardinales) de los numeros
ordinales distintos).
Casi todas las civilizaciones han conocido los primeros numeros
naturales
y, algunas de ellas, tambien numeros
38
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
reales
y Cantor senala
que
pueden ser construidos, tras un numero
en ocuparse de la fundamentacion
de la aritmetica, en 1861. Frege definio en 1879 el
ancestral y, por medio de esta nocion
de la logica,
naturales. La construccion
del conjunto de los numeros
de tipo
material: se supone dado un conjunto, llamado N , cuyos elementos satisfacen
una lista de axiomas (proposiciones que son aceptadas por convenio). La mas
ce lebre axiomatizacion
de N fue iniciada por Peano en 1889 y completada en
su Formulario de 1897-1899 (ve ase el Problema 2.32). Los axiomas adoptados por Peano eran teoremas en la version
de Dedekind (1888). Las paradojas
que aparecan en la teora intuitiva de conjuntos, como la descubierta por
Cantor en 1899 (ve ase la Proposicion
2.5), o la de Russell en 1902 (descubierta
independientemente por Zermelo en 1901) (ve ase Problema 2.29), eran evitadas mediante la formulacion
de sistemas axiomaticos
elementales. De esa manera podremos ilustrar adecuadamente muchos de los conceptos del captulo.
CARDINALES
2.1.
39
Nu meros cardinales
ro cardinal.
Suelen representarse con letras del alfabeto griego o hebreo: = card (A). En particular, en nuestro sistema de numeracion
escribimos card (;) = 0, card (fxg) =
1 y card (fx; yg) = 2 si x 6= y.
Ejemplo 2.1.
2 [0, 1:
1, 1[ ! R
que es biyectiva. Definiremos f gra ficamente (ve ase Figura 2.1), aunque podramos hacerlo tambien analticamente (lo que se deja como ejercicio para el
lector).
Las operaciones con cardinales se definen por medio de representantes.
A tal fin, es imprescindible probar que para cardinales y cualesquiera
existen representantes disjuntos. En efecto, si A y B son conjuntos tales que
card (A) = ; card (B) = , los conjuntos disjuntos A f1g y B f2g son
representantes de los mismos cardinales, ya que las aplicaciones
40
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
A
a
! A f1g
7 ! (a; 1)
B
b
! B f2g
7 ! (b; 2)
son biyectivas.
Figura 2.1.
>
<
f (x) ;
g (x) ;
x2A
x2B
CARDINALES
41
+ 0 = 0 + = , puesto que
A [ ; = ; [ A = A:
! A0
g:B
! B0 ;
AB
(a; b)
! A 0 B0
7 ! (f (a) ; g (b))
AB
(a; b) 7
!BA
! (b; a) :
A (B C)
(a; (b; c)) 7
! ( A B) C
! ((a; b) ; c)
tambien es biyectiva.
(iii) 1 = 1 = , lo que se expresa diciendo que 1 es el neutro para
el producto de cardinales.
A las propiedades especficas de las operaciones binarias suma y producto
enumeradas arriba hay que anadir
42
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
( +
) = +
:
En efecto, si A, B y C representan a , y
, y B \ C = ;, entonces
A (B [ C) = (A B) [ (A C) ;
con (A B) \ (A C) = ;.
La tercera operacion
con cardinales que definiremos es monaria (relativa
a un solo cardinal), y se basa en el concepto de conjunto de partes de un
conjunto A: P (A) = fX j X Ag. En combinatoria elemental se demuestra,
usando la formula
! A0 :
Entonces la aplicacion
definida por
: P (A) ! P A0 ;
X 7 ! f (X )
es tambien biyectiva, de modo que 2 es independiente de representantes.
2.2.
Los numeros
naturales: induccion
Como introduccion
a los conjuntos infinitos relataremos el ejemplo conocido como el hotel de Hilbert. Este hipotetico hotel tiene la particularidad de
poseer un numero
tan grande de habitaciones que van numeradas consecutivamente, sin alcanzar un final. Un da llega a e l un cliente nuevo y se decepciona
al saber que, a pesar de extenderse hasta el infinito, todas las habitaciones del
hotel estan
ocupadas. Hilbert, el recepcionista, medita por unos momentos
y tranquiliza al recien llegado asegurandole
uno
se muda a la dos, el de la dos a la tres, etc. Todos los que ya estaban en el hotel
siguen teniendo una habitacion
y eso permite que el recien llegado ocupe la
habitacion
numero
infinitamente
CARDINALES
43
sea el doble del que tiene la que ahora ocupan. Todos los que estaban
en el hotel siguen teniendo una habitacion
y ahora un numero
infinito de
habitaciones, todas las impares, han quedado vacantes para los recien llegados.
2.5. Un conjunto A (o su cardinal correspondiente) es infinito
Definicion
cuando es equipotente a una parte propia (un subconjunto B de A tal que ; $
B $ A). De lo contrario, el conjunto (o su correspondiente cardinal) es finito.
Se llaman numeros
biyectiva,
que g: A ! B $ A es inyectiva y que a 2 AnB. Entonces, la aplica-
cion
f gf
natural.
Desde luego, todos los conjuntos singulares y todas las parejas son conjuntos finitos, de modo que los cardinales 1 y 2 son numeros
naturales.
Probaremos que cualquier subconjunto de un conjunto finito es tambien
finito mediante el contrarrecproco (tautologa 1.21). Supongamos que A B
y que A es infinito. Existe entonces una aplicacion
biyectiva
f:A
! C;
! (BnA)[C
f (x) ;
x2A
x 2 BnA :
x;
La conclusion
es que B es infinito.
El siguiente resultado, de enunciado tan intuitivo que puede parecer obvio,
tiene importantes consecuencias, segun
veremos mas
adelante.
2.1. Si n 2 N , entonces n + 1 2 N .
Proposicion
Demostracion.
44
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
! B;
: A ! Bn ff (z)g
es biyeccion,
con Bn ff (z)g & A, por lo que A sera infinito (ve ase Figura 2.2).
Figura 2.2.
Ilustracion
del caso 1.
: A ! Bn ff (z)g
Figura 2.3.
Ilustracion
del caso 2.
g:A
! Bn fzg
45
CARDINALES
f (x) ; x 6= a
f ( z) ; x = a :
Como g es biyeccion
y Bn fzg $A, concluimos que A es infinito.
Ilustracion
del caso 3.
Figura 2.4.
s:
n
! N
7 ! n+1
es inyectiva y s (N ) $ N :
Demostracion.
Sea
f : A [ fzg
! B [ ftg
: A ! B es biyeccion
y n = m.
f (x) ; x 6= a
f ( z) ; x = a
! B tal que
46
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
Figura 2.5.
Ilustracion
del caso 2.
$ N.
Corolario 2.1.
naturales es infinito.
Demostracion.
Como la funcion
sucesor s es inyectiva, N y s (N ) son equipotentes; ademas,
s (N ) es un subconjunto propio de N :
Teorema 2.2 (2o de Peano). Sea A
siguientes propiedades
(i) 1 2 A.
(ii) n 2 A =) s (n) 2 A, para todo n 2 N .
Entonces A = N :
En la Seccion
2.6 se exhibe una demostracion
del Teorema 2.2, compatible
con el enfoque adoptado en este texto (ve ase el Teorema 2.7 y la nota que le
sigue). Aceptemoslo de momento.
El conjunto de los numeros
naturales (salvo
por cuestiones de notacion).
CARDINALES
47
naturales, conocido en
matematica.
del efecto
domino,
podemos enunciarlo como sigue:
Si p (n) es una forma proposicional sobre N tal que:
naturales
a partir de conceptos logicos.
En contraposicion
al significado habitual del
termino, la induccion
(siempre en el sentido de arriba) es un metodo deductivo
de demostracion
que garantiza la validez de la proposicion
p (n) para todo
El uso del termino proviene del hecho de que
n 2 N , sin ninguna excepcion.
para elaborar una conjetura (la proposicion
p (n) para todo n 2 N ; que se cree
cierta) se suele proceder por observacion
de varios casos, como en las ciencias
experimentales.
De inmediato veremos cuan
importante es el principio de induccion
cuando se trata de probar propiedades de numeros
naturales. Empezaremos demostrando que la suma y el producto de elementos de N son, asimismo, elementos de N (de donde obtendremos que la union
y el producto cartesiano de
conjuntos finitos son tambien finitos).
2.2. La suma y el producto de dos numeros
Proposicion
naturales es tambien
un numero
natural.
Demostracion.
Empezaremos probandolo
48
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
naturales m y n.
(ii) Dado m 2 N (otra vez fijo), consideramos ahora la forma proposicional p (n) nm 2 N (es costumbre prescindir del signo para representar el producto de numeros
naturales m y n.
Corolario 2.2. La union
y el producto cartesiano de dos conjuntos finitos es
un conjunto finito.
Demostracion.
La afirmacion
es trivialmente cierta cuando al menos uno de
los dos conjuntos es vaco, por lo que supondremos que los conjuntos finitos
dados, A y B, son no vacos. Sean m = card (A) y n = card (B).
Para el producto es inmediato, ya que card (A B) = mn 2 N .
Por lo que se refiere a la union,
es inmediato si A y B son disjuntos o A = B.
De no ser as, como A [ B = A [ (BnA) y estos dos conjuntos son finitos, no
vacos y disjuntos, se tiene que p = card (BnA) es tambien un numero
natural
y card (A [ B) = m + p 2 N :
Corolario 2.3.
La union
finita de conjuntos finitos es finita.
Demostracion.
n[1
Ai
i=1
n
[
Ai
[ An + 1
i= 1
de
induccion).
Probaremos la proposicion
por induccion
sobre card (A) =
n 2 N (el caso A = ; es trivial, ya que P (;) = f;g es unitario). A tal fin, cuando
card (A) = 1 se tiene que card (P (A)) = 2, que es finito. Supongamos que P (A)
es finito cuando card (A) = n, y sea B un conjunto tal que card (B) = n + 1.
Siendo B 6= ;, sea b 2 B arbitrario y consideremos las siguientes familias de
CARDINALES
49
subconjuntos de B :
B1 = fX 2 P (B) j b 2 Xg y B2 = fX 2 P (B) j b 2= Xg :
Evidentemente, B1 [ B2 = P (B) y B1 \ B2 = ;. Ademas,
B2 = P (Bn fbg) y la
aplicacion
B1 ! B2
X 7 ! Xn fbg
es una biyeccion
(demuestrelo). Como card (Bn fbg) = n, aplicando la hipotesis
de induccion
se tiene que B2 es finito, por lo que B1 tambien lo es. La conclusion
f:
Otra de las propiedades evidentes de N , que demostraremos por induc para la suma de
cion
y utilizaremos mas
adelante, es la ley de cancelacion
numeros
naturales m, n y q, si
m + n = q + n, entonces m = q.
Demostracion.
Dados m
proposicional sobre N :
p (n) (m + n = q + n =) m = q) :
La proposicion
p (1) (m + 1 = q + 1 =) m = q) es la cancelacion
de 1,
que es una proposicion
verdadera (Teorema 2.1).
Suponiendo cierto p (n), as como m +(n + 1) = q +(n + 1) (el antecedente
de p (n + 1)), se tiene, como consecuencia de la asociatividad de la suma de
cardinales, que (m + n) + 1 = (q + n) + 1. Como puede cancelarse la unidad,
se obtiene m + n = q + n y, usando la hipotesis
de induccion
p (n), se tiene
entonces m = q.
En conclusion,
p (n) =) p (n + 1) cualquiera que sea n 2 N , lo que completa la segunda parte de la prueba por induccion
(cualquiera que sea n 2 N ,
n puede cancelarse).
Como m y q eran arbitrarios se tiene lo que se quera probar.
2.3.
de cardinales
Comparacion
racional
con otro irracional acaba en el fracaso y, de hecho, se puede demostrar que el
50
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
racionales.
2.6. Dados dos cardinales y , con representantes respectivos
Definicion
A y B, se dice que si existe una aplicacion
inyectiva f : A ! B o,
alternativamente, si A = ;.
Se define < cuando y 6= (es decir, existe al menos una
aplicacion
inyectiva f : A ! B, pero ninguna de ellas es suprayectiva, o bien
= 0 y 6= 0).
Es facil
! P (A)
! fxg :
de personas.
En efecto, si representamos por B el conjunto de participantes en la reunion
(card (B) = n 2), se pregunta a cada elemento b 2 B cuantos
participantes conoca (se supone que conoce al menos a uno, sin contarse a s mismo).
Sea f (b) 2 N su respuesta. Si
A := f (B) = ff (b) j b 2 Bg ;
se tiene
A f1; : : : ; card (B)
1g ,
por lo que card (A) < card (B) (ve ase Problema 2.5). Si se demuestra que
es una RBO (antisimetrica), f : B ! A no podra ser inyectiva y existiran
51
CARDINALES
! A, que denota-
La notacio n fan gn= 1 (o incluso fan g, para abreviar) podra dar lugar a
confundir una sucesio n con el conjunto imagen de la aplicacio n f, pero son
dos cosas diferentes.
En la prueba de Bernstein se construye una sucesio n de conjuntos, fEn g
de la siguiente forma. Se define E1 directamente y, para cualquier n 2 N , si
se supone dado En se definira En+1 a partir de En . De esa forma, si p (n) es
la forma proposicional En esta bien definido, se tendra , por el principio de
induccio n, que se cumple p (n) para todo n 2 N , es decir, que fEn g es una
sucesion
de conjuntos bien definida. Las sucesiones as definidas se llaman
recursivas (volveremos a utilizarlas mas
adelante).
Teorema 2.3. La relacion
es de orden sobre cualquier conjunto de cardinales.
Demostracion.
Propiedad reflexiva: si
inyectiva (y biyectiva), .
A es
E1
(ve ase Figura 2.6). Si E1
:= An g (B)
(2.1)
= y la demostracion
termina (esto sucede cuando A es finito, por ejemplo).
52
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
Figura 2.6.
Definicion
del conjunto E.
La sucesion
recursiva de conjuntos fEn gn= 1 esta bien definida, por el
principio de induccion.
Denotaremos
por E la union
de todos los conjuntos de
S1
dicha sucesion,
es decir, E := n= 1 En .
Consideremos ahora la aplicacion
h : A ! B dada por la expresion
h (x) :=
f (x) ;
x2E
(2.2)
(x) ; x 2 AnE
que esta bien definida. En efecto, si x 2 AnE, como AnE AnE1 = g (B),
x 2 g (B) y, al ser g inyectiva, x tiene imagen inversa unica
g 1 (x). Si probamos
que h es biyectiva podremos concluir que = :
g
Figura 2.7.
6= h (y). Para
53
CARDINALES
Figura 2.8.
Si fuese h (x)
debera ser x = y.
Figura 2.9.
= z. Entonces,
54
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
Figura 2.10.
Caso 2: z 2
= f (E) (ve ase Figura 2.11).
Figura 2.11.
1
[
En
= E:
n= 1
[g (z) = z:
55
CARDINALES
Demostracion.
Sea
que la aplicacion
! P (A)
! fxg
(2.3)
a 2 M =) a 2
= f (a ) = M
= M = f (a) =) a 2 M :
a2
Del Teorema de Cantor se sigue que no puede haber un cardinal mayor que
todos los demas.
Veremos, a continuacion,
la llamada Paradoja de Cantor,
que niega la existencia de un conjunto universal U, es decir, la existencia de
un conjunto que incluya a cualquier otro conjunto imaginable.
2.5. No existe un conjunto universal.
Proposicion
Demostracion.
naturales.
Esta claro que no podemos admitir como conjuntos colecciones cualesquiera de objetos, como el conjunto universal U o la coleccion
de todos los
cardinales (otra coleccion
demasiado grande de objetos). Solo
en el contexto
de una teora formal de conjuntos puede especificarse cuando
una coleccion
De lo dicho
hasta aqu se desprende que (N ; ) es un conjunto ordenado. Veremos un par
de propiedades interesantes del mismo antes de terminar esta seccion.
56
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
g jA : A
!B
(N ; ) es un buen orden.
Demostracion.
Recordando la Definicion
1.18 (buen orden), consideremos un
; $ A N y termina la demostracion.
= A:
A = N,
(2.4)
lo que contradice la hipotesis
Sabemos que p (1) es verdadera por (2.4). Supongamos que para algun
n
natural se cumple p (n) pero no p (n + 1) ; es decir,
f1, 2; : : : ; ng A
pero
f1, 2; : : : ; n; n + 1g * A:
Entonces n + 1 2 A sera el mnimo de A (ve ase Problema 2.4), contradiciendo el supuesto de que A no tiene mnimo. Por lo tanto, p (n) ) p (n + 1),
lo que completa la prueba por induccion
de que A = N .
CARDINALES
57
de N .
2.4.
Conjuntos numerables
naturales (existen, desde luego, otros muchos caminos que satisfacen esta
condicion.
Vease, por ejemplo, el Problema 2.15).
Figura 2.12.
Enumeracion
de N2 .
como fraccion
m/n (con m,
n 2 N y primos entre s). Entonces la aplicacion
58
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
Q+ ! N2
m
7 ! (m; n)
n
es inyectiva y, por lo tanto,
card (Q + ) card
N 2 = 0 :
Como, ademas,
N Q + , tambien se tiene que
propiedad antisimetrica del orden, se concluye que
0 card (Q + ) y, por la
card (Q + ) = 0 :
2.8.
Proposicion
infinito.
Demostracion.
:= a;
a2
6= a1 = a:
(2.4)
= fa1 ; : : : ; an g para todo n 2 N . Para
Probaremos por induccion
que an+1 2
n = 1, usando (2.4), se cumple la afirmacion
a2 2
= fa1 g. Supongamos ahora
que an+1 2
= fa1 ; : : : ; an g y analicemos el elemento an+2 . Por la inyectividad de
an+1
g se tiene
an+2
Como ademas,
nuevamente por (2.4), se cumple que an+2 6= a1 , obtenemos
2= fa1 ; : : : ; an+1 g, con lo que concluye la demostracion
por induccion.
an+2
f (n) 2
= ff (1) ; : : : ; f (n
1)g ;
59
CARDINALES
a la misma
conclusion
en el segundo caso.
Al ser f : N ! A inyectiva, 0 card (A), que es la conclusion
deseada.
Corolario 2.4.
Demostracion.
2.9.
Proposicion
Demostracion.
Z s N , puesto que
N !Z
n7 ! n
es una biyeccion.
Considerando, ademas,
que ; = Z
y
\ f1, 2; : : : ; ng = Z \ N
Z Z [ f1, 2; : : : ; ng Z [ N Z;
tenemos
0 0 + n 0 + 0 0;
para todo n 2 N , llegandose
a la conclusion
deseada al aplicar el Teorema de
Bernstein.
Corolario 2.7. La union
de dos conjuntos a lo sumo numerables, es a lo sumo
numerable.
60
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
Demostracion.
Sean A y B conjuntos finitos o numerables. Definimos el conjunto C := BnA B que es a lo sumo numerable por el Corolario 2.6. Entonces
A [ B = A [ C, con A \ C = ;, por lo que
card (A [ B) = card (A [ C) = card (A) + card (C) 0
siendo la ultima
Demostracion.
N2 =
Las Proposiciones 2.9 y 2.10 muestran que las operaciones con cardinales
no satisfacen las leyes de cancelacion
(a menos que dichos cardinales sean
naturales).
Ejemplo 2.6. Q es numerable. En efecto, llamando Q a los racionales negativos y Q + a los positivos, Q s Q + s N y se tiene entonces
card (Q )
Teorema 2.5.
La union
numerable de conjuntos numerables es numerable.
En la Seccion
2.6 se dara una prueba de este resultado que es compatible
con el enfoque adoptado en este libro (ve ase Teorema 2.8). Nos limitaremos a
utilizar el Teorema 2.5 para obtener el siguiente util
resultado cuya prueba se
deja como ejercicio.
Corolario 2.8. Una union
a lo sumo numerable de conjuntos a lo sumo numerables es a lo sumo numerable.
2.5.
En matematicas
reales sobre una recta graduada (con origen y longitud unidad), no quedan
agujeros. En otras palabras, los numeros
reales
tienen el cardinal del continuo.
61
CARDINALES
Demostracion
. Para cada nu mero real x 2 [0, 1[ construiremos una sucesio n
fxn gn1=1 con valores 0 o 1. Para ello, partimos [0, 1[ en dos subintervalos semiabiertos disjuntos [0; 12 [ y [ 12 ; 1[. Entonces, x 2 [0; 12 [ o bien x 2 [ 12 ; 1[; y definimos
el primer termino de la sucesion
as:
8
< 0,
x1
:= :
si x 2 [0, 12 [
1, si x 2 [ 12 ; 1[ .
! f0, 1gN
! fxn g .
A dos numeros
62
AL
Figura 2.13.
f g
Definicio n de xn a partir de x.
Demostracion
. Dada una sucesio n fxn gn1=1 de ceros y unos definiremos primeramente una sucesio n recursiva fIn g de intervalos cerrados encajados. Para
ello partimos el intervalo cerrado [0, 1 en tres subintervalos disjuntos consecutivos de longitud 1/3: [0; 13 , 13 ; 23 [ y [ 23 ; 1; y eliminamos el intervalo abierto
central. Definimos el primer te rmino de la sucesio n por
I1
8
< 0;
= [a1 ; b1 := :
=0
2
si x1 = 1 .
3 ;1 ;
1
3
si x1
numero
63
CARDINALES
f g
f g
Definicion
de In a partir de xn .
Figura 2.14.
g : f0, 1gN
fxn g 7
! [0, 1
!z :
c:
f0, 1gN
La siguiente relacion
entre 0 y c es particularmente interesante.
2.11.
Proposicion
20
Demostracion.
f0, 1gN :
1
= 1g ,
1, si n 2 A
0, si n 2
= A:
64
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
a trave s de la nocion
de cardinal,
introducida en 1878.
Enunciaremos a continuacion
algunas propiedades casi inmediatas de
esta curiosa aritmetica de cardinales.
2.12.
Proposicion
c + 0
= c:
Demostracion.
Consecuencia de que
Bernstein.
2.13.
Proposicion
c + c = c:
Demostracion.
Usando que R+
2.14.
Proposicion
R+ R+ [ Z R y del Teorema de
c 0
[ R = R.
= c:
Demostracion.
c c = c:
N
N
N
Demostracion.
inyectiva
N
N
f : f0, 1g f0, 1g
! f0, 1gN :
Con tal fin, para cada par de sucesiones fxn g e fyn g en f0, 1gN se define la
sucesion
intercalada
fzn g1
n=1 = fx1 ; y1 ; x2 ; y2 ; ::::::::g :
Se comprueba facilmente
contemporaneos
a Cantor, provocando una fuerte pole mica entre ellos. Afortunadamente, la equipotencia
entre recta y plano no causa en la actualidad ninguna controversia.
65
CARDINALES
de esta cuestion
para la siguiente seccion.
Proposiciones indemostrables
Acabaremos este captulo introduciendo, de modo muy superficial, algunas ideas sobre aspectos complejos de la teora de conjuntos. Empezaremos
por referirnos a ciertas proposiciones que no pueden demostrarse, como tampoco pueden serlo sus negaciones. De hecho, todas ellas fueron introducidas
por famosos matematicos
a1 ; x = 1
a2 ; x = 2
de modo que
A1 An
i I
Ai
:=
f:I
i I
66
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
Axioma de eleccion.
Si fAi Y
; i 2 Ig es una familia (posiblemente infinita) de
conjuntos no vacos, entonces
Ai 6= ;.
i I
Hemos visto que para una familia finita no es necesario este axioma.
En el Problema 2.24 se muestran otras maneras de formularlo.
Hay conjuntos no vacos cuyos elementos son tan raros que no se conoce
ninguno. Se sabe, por ejemplo, que existen funciones que son continuas en
un intervalo pero que oscilan (ni son crecientes ni decrecientes) en cualquier
subintervalo, pero nadie ha sido capaz de encontrar una de tales funciones.
Algo parecido ocurre con productos cartesianos infinitos.
Hipotesis
del continuo. El cardinal que sigue a 0 es c, es decir,
c = min
f j 0 < g :
Si se acepta la Hipotesis
Hipotesis
del continuo generalizada (Tarski). Si
(o transfinito), el cardinal que le sigue es 2 .
1 para el
es un cardinal infinito
; 0; 1 = 2 ; 2 = 2 ; : : : : : :
0
67
CARDINALES
H. continuo general
%
&
H. del continuo
Axioma de eleccion
m
Teorema de Zermelo
m
Lema de Zorn
A. de eleccion
numerable
Union
numerable
de conjuntos
numerables
es numerable
Buena ordenacion
de cardinales
Existencia de
bases de Hamel
El Axioma de Eleccion
(AE para abreviar), y sus varias equivalencias, es
probablemente el mas
discutido axioma de la matematica,
despues del postulado de las paralelas de Euclides. La consistencia de AE con los axiomas de
Zermelo-Fraenkel (ZF para abreviar), que fundamentan la teora de conjuntos, fue demostrada por Godel
reales puede ser bien ordenado, hecho para nada evidente. Por
eso, los matematicos
2.8 (b)).
A efectos ilustrativos demostraremos una de las implicaciones mas
sencillas. Aceptando lo afirmado en el Teorema de Zermelo probaremos el axioma
de eleccion.
En la Seccion
7.1 se probara,
suponiendo el Lema de Zorn, la
existencia de bases de Hamel en espacios vectoriales.
Teorema 2.6. Si todo conjunto no vaco puede ser bien ordenado, entonces,
Y
para cualquier familia de conjuntos no vacos C = fAi ; i 2 Ig ; se cumple
Ai
i I
6= ; :
Demostracion.
f:I
! C
existe un
S buen orden en
el conjunto C . Cada Ai es un subconjunto no vaco de C , por lo que tiene
(un unico)
68
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
primer elemento
Y de Ai . Hemos establecido directamente la existencia de una
aplicacion
f2
Ai .
i I
la correspondiente hipotesis
(ii), q + 1 2 A. Pero
q + 1 = card (Pn fxg) + card
pero solo
para el caso de cardinales infinitos. Como el Teorema 2.7 se refiere
a numeros
69
CARDINALES
N2
!
(n; m) 7 !
B
anm
N 2 = 0
(Proposicion
2.10), mientras que A1 B implica 0 card (B). Aplicando, una
vez mas
el Teorema de Bernstein, se concluye que card (B) = 0 .
card (B) card
En la prueba del Teorema 2.8 el AE se usa dos veces, siendo esencial tan
solo
la primera de ellas (al ser N 2 numerable, esta bien ordenado y puede
definirse f (b) como el mnimo de g 1 (b), y esto para todo b 2 B ).
2.7.
Teoras axiomaticas
estrategia capaz de evitar las paradojas consiste en axiomatizar la teora de conjuntos, de tal forma que la definicion
de un
conjunto por comprehension,
es decir, mediante cualquier forma proposicional, este regulada por reglas restrictivas que permitan obtener unos conjuntos
a partir de otros solo
si se cumplen determinadas condiciones.
Pocos autores han sido capaces de describir de forma tan simple la naturaleza de un sistema axiomatico
70
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
finito (...).
Pero si queremos permanecer en lo finito, podemos todava hacer la mayor parte de los razonamientos matematicos?
hacer abstraccion
de
toda intuicion
sobre la naturaleza propia de los numeros
reales y razonar sobre ellos como si fuesen seres indeterminados cuyas propiedades, enunciadas
en los axiomas, son las unicas
8x; y 2 R
x + y = y + x;
que aparece como un ensamblaje, en un cierto orden, de los signos 8 (le ase
para todo) x, y, 2, R, + e =, signos bien determinados y en numero
bien
pequeno.
Parece imposible eludir la nocion
de infinito mientras se considere
que lo esencial de una proposicion
es su contenido, es decir, la representacion
Esta
es, sin embargo, la idea fundamental de Hilbert; en el enunciado
de las proposiciones matematicas,
CARDINALES
71
tendremos la concepcion
de
Hilbert; las matematicas
es correcto o no.
As se encontrara completamente resuelto el problema de los fundamentos
de las matematicas.
(...)
Este plan de fundamentacion
axiomatica
con relativo
e xito por el propio Hilbert y por sus discpulos Zermelo y Fraenkel (teora
formulada entre 1908 y 1930), as como por Von Neumann, Bernays y Godel
formal, demostrando, con sus teoremas de imposibilidad (1931), que el objetivo planteado por Hilbert no es alcanzable. Un
72
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
formales.
Alrededor del ano
300 a.C., Euclides escribio sus ce lebres Elementos, el
libro de texto matematico
mas
famoso de la historia, que esta compuesto por 13
grandes captulos. Aunque los Elementos organizaron todo el saber geometrico
y aritmetico acumulado por los griegos, los babilonios y los egipcios, su mayor
logro consistio en mostrar como
La
geometra desarrollada por Euclides es la primera teora axiomatica
de tipo
material que se conoce.
En la axiomatica
de la geometra eucldea se consideran tres clases de objetos no definidos: puntos, rectas y planos. A estos terminos no definidos solo
Postulados de orden.
Postulados de congruencia.
Postulado de completitud.
Postulado de las paralelas:
CARDINALES
73
de los anteriores y que, por tanto, se poda eliminar. Sin embargo, fueron vanos
los esfuerzos por demostrarlo. Ya en el siglo XIX se demostro su independencia
al encontrar modelos geometricos que cumplan todos los postulados menos
el de las paralelas.
De hecho, si consideramos solo
los postulados de incidencia y el de las paralelas, y definimos como rectas paralelas aquellas que no se cortan, podemos
encontrar un modelo muy simple de geometra que cumple los cuatro axiomas
y otro modelo que solo
cumple los tres primeros.
Ejemplo 2.8. Consideremos la geometra cuyos elementos no definidos son
los puntos Pi , i = 1, : : : ; 4 y las rectas rj , j = 1; : : : ; 6 de la Figura 2.15. Se
comprueba que dicha geometra verifica todos los postulados de incidencia y
tambien el de las paralelas.
Figura 2.15.
Figura 2.16.
74
2.8.
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
Problemas
= n (n4+ 1) :
b) 1 1! + + n n! = (n + 1)! 1.
n
:
c) (1 2) 1 + (2 3) 1 + + [n(n + 1) 1 =
n+1
n
2
a) 13 + 23 + + n3
d) n
<
n 1
+ : : : + an = a 1 a a
n (n + 1)
.
1+2 +:::+n =
e) a + a
f)
an
g)
a
n
X
b
b
la igualdad an
n i
b
i 1
i 1
n
, siendo a 6= 1.
= (a
b)
n
X
an
bi
para todo n 2 N ).
i 1
Problema 2.2.
gualdades?:
a) 2n + 1 < 2n .
b) n2 < 2n .
c) 2n < n!.
Problema 2.3. Demuestre que n
Aplique induccion
sobre n.)
o principio de induccion
Problema 2.6. El segundo principio de induccion
completa establece que, dada una forma proposicional p(n); n 2 N , tal que
(i) p(1) es verdadera, y
(ii) para cualquier natural n, es verdadera la proposicion
75
CARDINALES
= a + b, para todo n 2 N .
n2 + n + 41 es
primo? (Sugerencia: Compruebelo para algunos numeros
naturales menores
que 40 elegidos al azar y tambien para n = 40.)
Problema 2.9.
interiores de un
polgono convexo con n ve rtices suman (n 2) . (Sugerencia: Partiendo del
polgono de n + 1 ve rtices, construya, como en la Figura 2.17, otro polgono
de n ve rtices.)
Figura 2.17.
Descomposicion
de un polgono de n + 1 vertices en un polgono de n
vertices y un triangulo.
Problema 2.11. Un tablero de ajedrez esta formado por 64 casillas cuadradas, de igual tamano,
blancas y negras, de modo que cualquier par de casillas
contiguas son de diferente color. Se suprimen las casillas extremas de una de
76
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
las diagonales del tablero. Pueden cubrirse las 62 casillas restantes mediante piezas de domino formadas por dos cuadrados del mismo tamano
que las
casillas? Y si el tablero consta de n2 casillas cuadradas, con n 2 N ?
Problema 2.12.
Considere la familia
C = fAn j n 2 Ng
definida recursivamente por A1 = N f1g ; An+1 = An fn + 1g para todo
n 2 N . Pruebe que no hay elemento minimal en el conjunto ordenado (C ; ).
Problema 2.13. Demuestre que si tiramos dos dados doce veces, al menos
en dos de esas tiradas obtendremos la misma suma de puntuaciones.
Problema 2.14. Pruebe la siguiente version
infinita del principio del palomar: Si se distribuyen los elementos de un conjunto infinito en un numero
finito de cajas, entonces hay una que contiene una cantidad infinita de elementos.
Problema 2.15.
1
(m + n
2
1) (m + n
! N definida como
2) + m
Halle el cardinal de R3 ;
R4 y, en general, de Rn ; con n 2 N .
CARDINALES
Problema 2.20.
el plano:
a)
b)
c)
d)
77
las circunferencias.
las esferas;
las piramides
de base cuadrangular.
del continuo.
Problema 2.23. Un numero
algebraicos se
utilizan cada vez mas
en ciencias de la computacion
al permitir
exacp calculos
tos (metodos numericos robustos). As, por ejemplo, 1/2 y 2 son algebraicos
porque son races de las ecuaciones 2x 1 = 0 y x2 2 = 0, respectivamente.
Los numeros
naturales.
b) Pruebe que el conjunto de los polinomios en Q [x de grado fijo n 2 N es
numerable.
c) Pruebe que Q [x es numerable. (Asumase
el axioma de eleccion).
algebraicos es numerable.
e) Pruebe que el conjunto de los numeros
trascendentes es infinito no
numerable. Puede afirmarse que su cardinal es c?
Problema 2.24. Demuestre que cada una de las proposiciones siguientes es
equivalente al axioma de eleccion.
f : P (A) n f;g ! A
tal que f (X) 2 X para todo X 2 P (A) n f;g.
78
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
a) Una aplicacion
f : A ! B es suprayectiva si, y solo
si, tiene (al menos)
una aplicacion
inversa a la derecha (g : B ! A tal que f g = IB ).
Sugerencia: para la existencia de g use la version
del axioma de eleccion
! Y y g : Y ! X aplicaciones inyectivas.
a) Que puede decirse acerca de la inyectividad de g f?
b) Es g f necesariamente suprayectiva?
c) Si X es finito, que puede decirse sobre la suprayectividad de g f?
Problema 2.26.
Sean f : X
= ff : X ! f0, 1g j f es aplicacion
g.
CARDINALES
79
Afirmacion:
Dados a 2 A y una aplicacion
f : A ! A, existe una unica
sucesion
fan g determinada por a1 = a y an+1 = f (an ) para todo n 2 N .
Demostracion:
aplicacion
'n : f1, 2; : : : ; ng ! A tal que 'n (1) = a y 'n (k + 1) = f ('n (k))
para k = 1, 2; : : : ; n 1.
b) Verifique que la aplicacion
' : N ! A definida por ' (n) = 'n (n) es
una sucesion
que cumple ' (1) = a y ' (n + 1) = f (' (n)) para todo n 2 N .
c) Si una aplicacion
cualquiera : N ! A cumple (1) = a y (n + 1) =
f ( (n)) para todo n 2 N , entonces = ' (pruebe por induccion
sobre n que
(n) = ' (n)).
Problema 2.32. Este largo ejercicio, que puede considerarse un pequeno
proyecto de investigacion,
tiene por objeto desarrollar una teora axiomatica,
n 2 N (llamado sucesor
de n).
(iii) 1 no es sucesor de ningun
elemento de N :
(iv) m = n =) m = n:
(v) Si un subconjunto S de N satisface 1 2 S y, ademas,
n 2 S =) n 2 S
cualquiera que sea n, entonces S = N :
Los axiomas (ii), (iii) y (iv) afirman que la aplicacion
que asocia a cada
numero
Dados n
Ahora definiremos la suma y el producto en N por induccion.
(que se toma como fijo) y m (que se considera variable), se definen
(S1)
(S2)
(P1)
(P2)
n + 1 = n .
n + m = (n + m) .
n1 = n.
nm = nm + n.
= fm 2 N jn + m 2 Ng ;
80
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
CAPITULO 3
GRUPOS
de
origen arabe,
que se ocupa
de las ecuaciones algebraicas, es decir, de la busqueda
racionales
permiten resolver las ecuaciones de primer grado, pero las soluciones reales de las ecuaciones de segundo grado son, generalmente, irracionales. Es
mas,
si se desea que toda ecuacion
algebraica tenga al menos una solucion,
no queda mas
remedio que admitir la existencia de un conjunto de numeros
mas
amplio que el de los reales. As, de modo natural, el algebra
(los
axiomas de la estructura) han hecho aconsejable desarrollar una teora general
que permita ahorrar esfuerzos innecesarios, como sera derivar una y otra vez
propiedades analogas
82
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
(1827) y
Steiner (1832) empezaron a referirse de forma implcita a los grupos de transformaciones. Los vectores del plano y del espacio, que se venan utilizando en
fsica desde los tiempos de Galileo, y las matrices, utilizadas por los analistas, eran otros ejemplos de grupos que nadie haba sido capaz de relacionar
con todos los anteriores, hasta que el ingle s Cayley dio, en 1854, la definicion
abstracta. Cayley fue el primero en representar las operaciones binarias sobre conjuntos finitos mediante tablas (a las que, por esa razon,
se les da su
nombre).
El presente es el primero de cuatro captulos a lo largo de los cuales
se revisaran
los conjuntos numericos (que el lector conoce, intuitivamente,
por los cursos de matematica
naturales,
y se analizaran
las propiedades algebraicas de la suma y del producto, tomadas
inicialmente por separado.
3.1.
Operaciones binarias
Una operacion
binaria en G se dice que es asociativa cuando
a (b c) = (a b) c
es conmutativa
ab=ba
cualesquiera que sean a; b 2 G.
Por ejemplo, la union
y la interseccion
son operaciones binarias sobre
el conjunto de las partes de un conjunto A. Ademas,
ambas operaciones son
asociativas y conmutativas (ve anse en el Ejercicio 1.2 las propiedades 2.4, 2.5,
2.14 y 2.15).
83
GRUPOS
ya que si e y e0 fuesen
0
0
elementos neutros para (G; ) se tendra e = e e = e. Por eso, podemos hablar
de el elemento neutro y no de un elemento neutro.
Por ejemplo, en el conjunto de las partes de un conjunto A, el conjunto ;
es el elemento neutro de (P (A) ; [), mientras que A es el neutro de (P (A) ; \).
Cuando se usa notacion
aditiva, el elemento neutro recibe el nombre de
elemento nulo; en cambio, se denomina elemento unidad si la notacion
empleada es multiplicativa.
3.4. Dados (G; ) y a 2 G decimos que a0 2 G es elemento simetrico
Definicion
de a si satisface a0 a = a a0 = e; donde e es el elemento neutro (con lo que
estamos suponiendo implcitamente la existencia, y por lo tanto la unicidad, de
elemento neutro e).
Si (G; ) cumple la propiedad asociativa y a0 y a00 son simetricos de a
entonces se tiene
a0
e a00
a00 :
de asociatividad de la operacion
binaria, si a tiene simetrico e ste es unico.
Definicion
binaria es cerrada en H si x y 2 H cualesquiera que sean los elementos x; y
2 H. En ese caso, la restriccion
de al subconjunto H se denomina operacion
84
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
a una operacion
entre clases, operando por medio
de sus representantes. Es decir, si es compatible con puede definirse, sobre el
conjunto cociente G= ; la operacion
binaria
[a [b = [a b
(podemos usar la misma notacion
para la operacion
entre clases, debido a la
((a1
compatibilidad).
si a0 es
simetrico de a, entonces [a0 es el simetrico de [a :
3.7.
Definicion
producto as:
; b1 ) (a2 ; b2 ) = (a1 a2 ; b1 b2 ) :
EJERCICIO 3.3. Pruebe que el producto de dos operaciones asociativas (conmutativas) es asimismo asociativa (conmutativa). Ademas,
si cada operacion
tiene elemento neutro (o si todo elemento tiene simetrico para cada operacion),
el producto tambien.
3.2.
Abel.
Ejemplo 3.1.
; ) ; (f0 g ; ) ;
85
GRUPOS
(f0 ; cg ; ) ; (f0 g ; +) ; (f0 ; cg ; +) ; (f0; 0 ; cg ; +) y (f1; 0 ; cg ; ) son monoides. Tambie n son monoides abelianos (N [ f0g ; +) y (N [ f0g ; ), puesto que
ambas operaciones son cerradas (lo que se probo para N ), asociativas y conmutativas (para cualquier conjunto de cardinales). De todos los ejemplos anteriores, los u nicos grupos corresponden a los conjuntos singulares (f0 g ; )
y (f0 g ; +) : Un grupo (G; :) cuyo conjunto G es singular se denomina grupo
trivial.
' :GX
!X
es una aplicacion
que satisface ciertas condiciones.
Ejemplo 3.2. El giro del plano en torno a un punto O (que tomaremos como
es una aplicacion
del plano en s mismo
origen de coordenadas) y de angulo
que asocia a cada punto P otro punto P0 tal que las distancias a O desde P y
el angulo
Figura 3.1.
Representacion
geometrica del giro de angulo
86
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
Figura 3.2.
Composicion
de los giros de angulos
y .
Ejercicio 3.4. Demuestre que el producto cartesiano de semigrupos (monoides, grupos) tambien lo es con la operacion
binaria producto. Analogamente,
el cociente de un semigrupo (monoide, grupo) por una RBE compatible es asimismo semigrupo (monoide, grupo) con la operacion
proyectada. Por ultimo,
(i) a 1
= a;
1
1
(ii) (ab) = b a 1 ;
(iii) si aa = a, entonces a = e;
(iv) si ab = ac, entonces b = c (cancelacion
a la izquierda); y
a la derecha).
(v) si ba = ca, entonces b = c (cancelacion
Demostracion.
Las cinco proposiciones se prueban recurriendo a las definiciones. Por ejemplo, por ser a 1 simetrico de a se cumple a 1 a = e = aa 1 .
Pero estas igualdades tambien nos dicen que a es simetrico de a 1 , que es
lo que afirma (i). Las restantes proposiciones se dejan como ejercicio para el
lector.
Teorema 3.1 (de caracterizacion
de grupos).
siguientes proposiciones son equivalentes:
(i) (G; :) es grupo;
(ii) cualesquiera que sean a; b
solucion
en G.
87
GRUPOS
Demostracion.
b = ax:
(3.1)
b=a
(ax) =
a x = ex = x:
As pues, la unica
posible solucion
de (3.1) es a 1 b: Reemplazando x por
a 1 b en la ecuacion
(3.1) y usando la ley asociativa se comprueba que es
la solucion
buscada. El lector probara de igual forma que ba 1 es solucion
(unica)
de xa = b.
(ii))(i) Probaremos primero que existe elemento neutro en G. Sea a 2 G
arbitrario. Como suponemos que se cumple (ii), podemos tomar una solucion
(3.2)
2 G, y se demuestra de
b:
(3.3)
b = eb = b a b = b (ab) = b e = b ;
0=a
por lo que b = b
es el elemento simetrico.
Toda operacion
binaria en un conjunto finito G puede representarse con
ayuda de una tabla de doble entrada (tabla de Cayley), con una fila y una
columna para cada elemento de G; ordenados de una misma manera. En dicha
tabla se escribe, en la casilla correspondiente a la fila del elemento x y columna
del elemento y; el resultado de la operacion
xy: Para comprobar, con ayuda de
la tabla, las propiedades eventuales de la operacion
binaria puede procederse
como sigue:
(a) La asociatividad requiere comparar la igualdad de los dos productos
asociados, x (yz) y (xy) z; para todas las ternas ordenadas (x; y; z) que pueden
88
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
formarse con los elementos de G: Por desgracia, hay que comparar [card (G)
posibles ternas, lo que puede resultar muy tedioso.
(b) La conmutatividad se aprecia a simple vista, pues equivale a la simetra
de la tabla respecto de la diagonal de los cuadrados x2 (casillas correspondientes a fila y columna de un mismo elemento de G):
(c) El elemento neutro, si existe, es aquel que corresponde a la fila y
columna que reproduce la ordenacion
elegida para los elementos de G.
(d) El simetrico del elemento que determina una fila (columna) es el que
corresponde a la columna (fila) que se cruza con aquella en el elemento neutro.
si satisface la
(e) Si (G; :) es asociativo, sabemos que es grupo si y solo
condicion
(ii) del Teorema 3.1. Esta condicion
es tambien facil
de apreciar
sobre la tabla, pues equivale a afirmar que cada fila y cada columna de la
misma es una permutacion
de los elementos de G:
3
(i)
0
1
0
0
1
1
1
0
(ii)
0
1
0
0
0
1
0
1
f:G
!H
89
GRUPOS
es un homomorfismo si
f (xy) = f (x) f (y)
cualesquiera que sean x; y 2 G. Si, ademas,
f es inyectiva (suprayectiva, biyectiva)
se dice que f es un monomorfismo (epimorfismo, isomorfismo). Un homomorfismo de (G; :) en (G; :) es un endomorfismo. Si f es a la vez endomorfismo e
isomorfismo, entonces es un automorfismo.
Desde luego, la identidad de (G; :) en s mismo es un automorfismo. Sin
embargo, la identidad puede no ser homomorfismo (si se consideran dos operaciones binarias diferentes en G). Por ejemplo, para IG : (G; +) ! (G; ),
donde G = f0, 1g con las operaciones + y definidas en el Ejemplo 3.3, se
tiene
0 = IG (0) = IG (1 + 1) 6= IG (1) IG (1) = 1 1 = 1:
Ejemplo 3.4. En los conjuntos G = f0, 1, 2, 3g y H
ramos las operaciones + y definidas as:
+
0
1
2
3
0
0
1
2
3
1
1
2
3
0
2
2
3
0
1
3
3
0
1
2
1
1
i
1
i
1
i
1
i
i
i
1
i
1
f1; i; 1; ig conside1
1
i
1
i
i
i
1
i
1
multiplo
entero de ,
gz ; z 2 Z
forman un subgrupo de (G; ); desde el punto de vista geometrico, dicho subgrupo solo
contiene dos transformaciones: la identidad (z par) y la simetra
respecto de O (z impar).
90
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
H, se tiene que
2 H:
(3.4)
a b
2 H y con ello
grupos cociente.
3.2. Si (G; :) es un grupo abeliano y H es un subgrupo, la siguiente
Proposicion
relacion
binaria sobre G es de equivalencia y compatible con la operacion
x y () xy
2 H:
(3.5)
Demostracion.
(a1 b1 ) (a2 b2 )
=
a1 a2 1
b1 b2
2 H:
a2 b 2 :
El grupo cociente G= producido con la RBE asociada a un subgrupo
Se concluye que a1 b1
H (recuerdese el Ejercicio 3.2) se denota por G=H: Los elementos de G=H son
GRUPOS
clases de elementos x
H:
[e =
91
Los numeros
enteros
(organismos publicos,
2
(a; p) 2 (N [ f0g) , donde a representa el volumen de sus activos (valor monetario de todos sus bienes disponibles sumado al saldo acreedor) y p representa el
pasivo (deuda contrada por todos los conceptos). Si al cabo de cierto tiempo
el estado contable es (a0 ; p0 ) y se verifica que a + p0 = a0 + p, entonces no hubo
variacion
del estado contable, aunque se hayan producido durante ese perodo
ingresos y gastos y se hayan concedido y tomado creditos. Quiere esto decir
que puede llevarse la contabilidad con la ayuda de una operacion
aritmetica
unica:
El
sistema de numeracion
en base 10 aparecio en la India en el siglo VI, desempenando
Figura 3.3.
Cada clase de equivalencia esta formada por los pares (m; n) pertenecientes
a una misma recta oblicua.
92
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
q () m + q = n + p:
n=p
n) + (p
n) (p
q)
q)
(m + p)
(mp + nq)
(n + q )
(mq + np)
3.3. La relacion
Proposicion
binaria (m; n) (m0 ; n0 ) cuando
m + n0
n + m0
; n) + (p; q) = (m + p; n + q) ;
(m
y con el producto,
(m
Demostracion.
Es facil
00
00 :
(m + n ) + (m + n ) = (n + m ) + (n + m )
00
00
0 :
(m + n ) + (m + n ) = (n + m ) + (m + n )
(3.6)
n + m0
(3.7)
p + q0
q + p0 :
(3.8)
Sumando miembro a miembro las ecuaciones (3.7) y (3.8), luego de asociar y conmutar, tenemos
m + p + n0 + q0
n + q + m0 + p0 ;
93
GRUPOS
que equivale a
; n + q) (m0 + p0 ; n0 + q0 ) :
(m + p
(m
(3.9)
; mq + np) (m0 p + n0 q; m0 q + n0 p) ;
0 :
(m + n ) p + (n + m ) q = (m + n ) q + (n + m ) p
(Z +)
es un grupo y
;:
(Z )
es un monoide. Ademas,
ambos
Demostracion.
Es facil
0)
[(1, 0)
=
=
Tales numeros
entero
94
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
; n) ; se tiene
[(m
[(m
relaciones entre los cardinales de conjuntos finitos. Dados dos conjuntos finitos A y B, A es la union
de AnB con A \ B, siendo
estos conjuntos disjuntos, por lo que
card (A) = card (AnB) + card (A \ B) :
(3.10)
Analogamente,
se obtiene
card (B) = card (BnA) + card (A \ B) :
(3.11)
(3.12)
card (A \ B) :
enteros. Procuramos definir un orden total que extienda el orden de los numeros
naturales y
que sea compatible con las dos operaciones en un sentido que explicitaremos
mas
tarde.
Definiremos el significado de numero
en (N [ f0g)
con al menos una componente nula (representante canonico).
95
GRUPOS
Demostracion.
existe un q 2 N
z = [(n + q; n) = [(q; 0) :
(3.13)
tal que n + q
my
(3.14)
es negativo si se
cumple que m < n. Denotamos Z+ y Z a los conjuntos respectivos.
3.6. Z+ es cerrado bajo las operaciones de suma y producto inProposicion
ducidas por Z. Ademas,
todo numero
a = [(m; 0)
b = [(n; 0)
canonica.
Es facil
probar que se cumple la regla de los signos. Por ejemplo, si multiplicamos un entero positivo z = [(q; 0) por otro negativo z0 = [(0; p) ; el
producto zz0 = [(0; pq) es negativo.
96
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
3.13.
Definicion
a 2 Z+:
a < b =) a + c < b + c;
< b ^ c > 0) =) ac < bc:
(a
enteros, efectuaremos
la construccion
geometrica de Z y de Z2. Siempre que hablemos de construccion
geometrica en este texto se sobreentendera que se dispone de dos instrumentos, una regla (sin graduar) y un compas,
y de un segmento unidad. La
regla permite construir rectas que pasan por dos puntos y el compas
permite construir circunferencias con centro en un punto y cuyo radio se obtiene
por traslacion
de un segmento. Para construir Z sobre una recta elegimos un
punto O de la misma y una direccion
arbitraria, que se llamara positiva. Trasladando el segmento unidad desde O en esa direccion
se construyen 1, 2, : : : ; y
trasladandolo
en la direccion
opuesta se construyen 1, 2,: : : (ve ase Figura
3.4).
Figura 3.4.
Construccion
geometrica de Z.
GRUPOS
97
Figura 3.5.
Acto seguido se construye de nuevo Z sobre esta recta (como en la Figura 3.4), con lo que hemos construido unos ejes cartesianos sobre el plano.
Finalmente se trazan rectas perpendiculares a los ejes que pasen por los puntos construidos sobre los mismos (usando el procedimiento indicado en la
Figura 3.5). El conjunto de los puntos de interseccion
de cada par de rectas
perpendiculares es Z2 (ve ase la Figura 3.6).
Figura 3.6.
Construccion
geometrica de Z2.
98
3.4.
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
Problemas
?
0
1
2
3
4
0
0
1
2
3
4
1
1
0
3
4
2
2
2
4
0
1
3
3
3
2
4
0
1
4
4
3
1
2
0
Problema 3.2. Analice la estructura algebraica que resulta al dotar al conjunto N con cada una de las siguientes operaciones:
a) m n = max fm; ng.
b) m n = m.
c) m } n = m.c.d. (m; n).
Problema 3.3. Dado un conjunto X 6= ;, demuestre que el conjunto de sus
partes, P (X), es un grupo conmutativo para la diferencia simetrica de conjuntos, que se define as:
A 4 B = (A \ B) [ (B \ A):
Problema 3.4. Sean (G; ) y (H; ) grupos y f : G ! H un homomorfismo.
Demuestre que la imagen por f del elemento neutro de (G; ) es el elemento
neutro de (H; ) y que la imagen del elemento simetrico de cualquier elemento
a 2 G es el elemento simetrico de f (a).
Problema 3.5. Considere los grupos abelianos (G; ) y (H; ) dados por las
siguientes tablas de Cayley:
a
b
c
d
a
a
b
c
d
b
b
c
d
a
c
c
d
a
b
d
d
a
b
c
s
t
u
v
s
s
t
u
v
t
t
s
v
u
u
u
v
s
t
v
v
u
t
s
problemas se supondran
conocidas
las propiedades de los conjuntos numericos que revisaremos en los proximos
GRUPOS
99
b j.
b = ab
2 .
c) a } b = a + b + ab.
Problema 3.7. Sobre los numeros
100
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
1
f(1)
::::::
::::::
n
f(n)
Sea E = ff : R
! R jf(x) = ax + b; a 2 Rn f 0g ; b 2 Rg .
G=
(f
; g) 2 E2 j g f
2H :
(Z +)
tal que 1
2 H,
GRUPOS
101
22 al tenis
y 8 no juegan a ninguno de los dos. Cuantos
y tenis?
Problema 3.21. En un grupo de 200 alumnos hay 70 alumnos que estudian
matematicas,
y
fsica, 30 matematicas
o fsica?
c) Cuantos
o qumica?
e) Cuantos
naturales
menores de 1.000, cuantos
numeros
ni de 3, ni de
5, ni de 7?
CAPITULO 4
ANILLOS Y CUERPOS
clasicos.
De la divisibilidad en Z se ocupo
Euclides en los libros VII y IX de sus ce lebres Elementos, mientras que la division
eucldea de polinomios era introducida por el hispano-portugues Pedro
Nunez
(siglo XVI) y desarrollada por Euler (siglo XVIII), quien se ocupo,
en particular, de la divisibilidad en el caso de los polinomios con coeficientes enteros.
En una monografa sobre teora de numeros
de
Fermat en teora de numeros
en simulacion
digital). La definicion
abstracta de anillo es muy tarda (Fraenkel, 1914), aunque ciertos conceptos de la teora de anillos ya eran conocidos
(por ejemplo, el de subconjunto ideal, introducido por Dedekind en su construccion
de los numeros
104
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
la ordenacion
de los enteros se extiende a un orden de los racionales. La relacion
( b + c) a =
ba + ca
[(m
105
ANILLOS Y CUERPOS
S=
a b
c d
a; b; c; d
2A :
M=
se observa que 0 = MN
divisores de cero.
1 0
0 0
yN=
0 0
1 0
Ejemplo 4.3. Sea (A; +; :) cualquier anillo y B 6= ; un conjunto. Consideremos el conjunto R de todas las aplicaciones f : B ! A. Para f; g 2 R y x 2 B
definamos (f + g) (x) = f (x) + g (x) y (f:g) (x) = f (x) :g (x). Con estas operaciones
R es un anillo (conmutativo y unitario si A lo es).
El siguiente resultado reune
106
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
Demostracion.
(ab),
como conse-
de obtener un nuevo
grupo a partir de otro ya conocido es hacer el cociente por una RBE compatible
con la operacion.
El mismo procedimiento sirve para los anillos, debiendo ser
ahora la RBE compatible con las dos operaciones.
4.2. Si es una RBE sobre el anillo (A; +; :) compatible con amProposicion
bas operaciones, entonces (A= ; +; :) es un anillo (llamado anillo cociente).
Ademas,
si (A; +; :) es conmutativo (unitario), (A= ; +; :) es asimismo conmutativo (unitario).
Demostracion.
Sabemos, de la Seccion
3.1, que (A= ; +) es grupo conmutativo y que (A= ; :) es semigrupo. Por lo que respecta a la propiedad distributiva
(por ambos lados) es hereditaria, lo que se prueba exactamente igual que en el
afirmacion
es consecuencia del caracter
ANILLOS Y CUERPOS
107
Supongamos que el producto de clases se definiera por medio de representantes. Tomando, entonces, la funcion
identidad IZ, y denotando por f1 la
funcion
constantemente igual a 1, se tendra que
Z f1 = [IZ [f1 :
[I = [I
(4.1)
Como [f1 = 0 (ya que f1 2 S), se debe cumplir que [IZ [f1 = 0, por la
Proposicion
4.1(i). Sin embargo, [IZ 6= 0, debido a que IZ 2
= S, lo que prueba
que la ecuacion
(4.1) es contradictoria. Por lo tanto, se concluye que no es posible en este ejemplo definir el producto de clases por medio de representantes
para que resulte un anillo cociente.
Para asegurar que una RBE sea compatible con el producto hay que subir
el nivel de exigencia, no bastando que el subgrupo sea subanillo (es decir, un
subconjunto que es anillo con las operaciones inducidas), segun
muestra el
Ejemplo 4.4.
4.3. Dados dos anillos (A; +; :) y (B; ; ), se dice que una aplicaDefinicion
cion
f : A ! B es un homomorfismo de anillos si
f (x + y) = f (x) f (y)
108
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
y 2 I:
Demostracion.
elemento a elemento:
XY = fxy j (x 2 X) ^ (y 2 Y)g :
Por ser I absorbente se tiene que a2 I I, b2 I
pues, a1 b1 2 a2 b2 + I, es decir, a1 b1 a2 b2 :
I
y tambien II
I. As
La combinacion
de las Proposiciones 4.2 y 4.3 permite afirmar que A=I es
anillo conmutativo, y tambien unitario si lo es A. Este resultado es la clave para
construir los numeros
racionales, extension
que
llevaremos a cabo en el Captulo 5. Pero, antes, conviene conocer los anillos
de clases de congruencias (de Gauss).
EJERCICIO 4.2. Dados tres numeros
m (x m y) cuando la diferencia x y
es un multiplo
de m: Se pide:
(i) Pruebe que los multiplos
109
ANILLOS Y CUERPOS
f:
A
x7
!A
! ax
b;
Cuando b = 0, la ecuacion
lineal se denomi
na homogenea.
Evidentemente, una ecuacion
puede interpretarse como una
forma proposicional sobre el conjunto Kn ; las variables x1 ; x2 ; : : : ; xn son las
incognitas
de la ecuacion
y su conjunto de soluciones es
:::::::::::::::::::::
=
=
b1
bm
9
=
;
es la interseccion
de los correspondientes a sus m ecuaciones. El sistema es
incompatible cuando S = ; y compatible si S 6= ;. En este caso, el sistema
es determinado si S es un conjunto singular e indeterminado cuando tiene
mas
de una solucion.
110
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
El ultimo
que ecuaciones es indeterminado y, cuando el cuerpo K es infinito, tiene infinitas soluciones (ve ase Problema 4.13).
4.2.
Anillos de polinomios
bi para todo i 0;
:::
+ (as + bs ) xs
+ 3x2
= b3 ,
p (x) + q (x) = 5
y q (x)
5x + 10x2
5x
7x2
x3 . Entonces
x3
y
p (x) q (x) = 4
5x + 19x2
16x3 + 21x4
3x5 :
111
ANILLOS Y CUERPOS
; ;:
(F[x + )
:::
4.7. Si p (x) = a0 + a1 x +
Definicion
p (x) es n (denotamos deg p (x) = n):
+ an xn
y an
6= 0 entonces el grado de
: : : + bm xm son
Demostracion.
; ;:
(F[x + )
es un dominio de integridad.
Demostracion.
Una de las cosas que aprendimos a hacer con los polinomios en la ensenan
za media es la division
de polinomios, con un procedimiento muy similar al
de la division
entera. Lo recordamos en el siguiente ejemplo, que ilustra lo que
se hara en el caso general.
Ejemplo 4.6. Se desea dividir x4 7x + 1 entre 2x2 + 1: Se divide x4 entre
2x2 para obtener 21 x2 . Luego 21 x2 2x2 + 1 = x4 + 12 x2 se sustrae de x4 7x + 1
para obtener el primer resto, 12 x2 7x + 1: Como el grado del resto no es
menor que el del divisor, se repite el proceso; se divide ahora 12 x2 entre 2x2
para obtener 41 . Luego, 14 2x2 + 1 = 21 x2 14 se sustrae del primer resto
para obtener el segundo resto, 7x + 54 . Como el grado de este resto es menor
que el del divisor, la division
ha concluido y expresamos el resultado de todo
el proceso como
x4
7x + 1 = 2x2 + 1
1 2
x
2
1
4
7x +
5
:
4
112
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
Dados los polinomios p (x) (dividendo) y q (x) (divisor) en F[x, con q (x) 6= 0; se cumple que
p (x) = q (x) c (x) + r (x) ;
donde c (x) ; r (x) 2 F[x y deg r (x) < deg q (x) o bien r (x) = 0: Ademas,
los
unvocamente determinados.
polinomios cociente c (x) y resto r (x) estan
Demostracion.
:::
+ an x n
y q (x) = b0 + b1 x +
:::
+ bm xm
6= 0, bm 6= 0 y n m: Consideremos el polinomio
an n
x
bm
q (x)
an n
x
bm
an b0 n
x
bm
(b0 + b1 x +
:::
:::
+ an xn
+ bm xm )
que tiene el mismo grado e igual coeficiente que la mayor potencia que p (x) ;
por lo que la diferencia
h (x) = p (x)
an n
x
bm
q (x)
(4.2)
verifica que deg h (x) < deg p (x) o bien h (x) = 0 (en cuyo caso no hace falta
seguir). Por hipotesis
de induccion,
la conclusion
del teorema se cumple para
h (x) en virtud de que deg h (x) < deg p (x), es decir, podemos escribir
h (x) = q (x) c1 (x) + r (x) ;
donde c1 (x) ; r (x)
(4.2) y (4.3),
an n
x
bm
(4.3)
0: Combinando
por lo que
p (x) = q (x)
an n
x
bm
m
+ c 1 (x )
+ r (x) =
113
ANILLOS Y CUERPOS
que es la representacion
deseada de p (x).
Para probar la unicidad, considerense dos representaciones
p (x) = q (x) c1 (x) + r1 (x) = q (x) c2 (x) + r2 (x)
lo cual implica
q (x) [c1 (x)
c2 (x) = r2 (x)
r1 (x) :
deg q (x) + deg [c1 (x) c2 (x) = deg [r2 (x) r1 (x)
max fdeg r1 (x) ; deg r2 (x)g ;
por lo que deg q (x) deg r1 (x) o bien deg q (x) deg r2 (x). En consecuencia,
deg q (x)
para algun
c (x) 2 F[x: Tambien se dice que p (x) es multiplo
de q (x) :
Un polinomio p (x) 2 F [x de grado positivo se dice irreducible en F[x si,
cada vez que se descompone en factores
p (x) = a (x) b (x) ;
con a (x) ; b (x) 2 F[x, entonces deg a (x) = 0 o bien deg b (x) = 0:
Se dice que dos polinomios no simultaneamente
primos. Esto no es mera casualidad sino el resultado de que tanto Z como F[x
son dominios de integridad con algoritmo de la division.
El siguiente resultado
es de gran utilidad para divisibilidad.
Teorema 4.2 (debil de Bezout). Los polinomios no nulos p (x) y q (x) en F[x
son primos entre s, si, y solo
si, existen a (x) ; b (x) 2 F[x tales que
1 = a (x) p (x) + b (x) q (x) :
(4.4)
Demostracion.
114
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
d (x) c (x) ;
con deg r (x) < deg d (x) : Usando las propiedades del ideal se concluye que
r (x) 2 I, por lo que la unica
enteros, nos dice, por ejemplo, que 8 y 5 son primos entre s, debido a que
1 = 2 8 3 5; o tambien, que dos numeros
j f (x) g (x) ;
Demostracion.
ANILLOS Y CUERPOS
115
Z o F[x).
; b) (c; d) () ad = bc:
(4.5)
(4.6)
cf = de:
(4.7)
; b) + (c; d)
(a; b) : (c; d)
(a
=
=
; bd) ;
(ac; bd) :
(ad + bc
Es muy facil
; b)
0
a0 ; b
(c
; d) c0 ; d0 ;
116
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
0 = ba0
(4.8)
0 = dc0 :
(4.9)
ab
y
cd
; b)
0
a0 ; b
(c
; d) c0 ; d0 ;
(4.10)
entonces
; b) + (c; d) a0 ; b0 + (c; d) a0 ; b0 + c0 ; d0 :
(a
(4.11)
0 d = bd a0 d + b0 c
(ad + bc) b
o, lo que es lo mismo,
2
0 = bd2 a0 :
ad b
(4.10).
Estamos en condiciones de probar que las operaciones que acabamos de
definir sobre el conjunto cociente de A (An f0g) por la RBE proporcionan un
cuerpo. Cada elemento del cuerpo es una clase de equivalencia [(a; b) ; que se
a
de alguno de sus representantes
denotara simplemente como una fraccion
b
c
a
=
(omitiendo el smbolo de clase). Por lo tanto,
significa que [(a; b) =
b
d
[(c; d), lo cual es equivalente a ad = bc:
2
Teorema 4.3. ([A An f0g = ; +; :) es un cuerpo (llamado cuerpo de fracciones del dominio de integridad (A; +; :)).
Demostracion.
117
ANILLOS Y CUERPOS
a)
b
; b) + (
= [(a
a; b) = [ 0; b
= [(0,
a
x
Para terminar, veremos que para
= 0, existe
6
b
y
a
(notese
1) = 0:
2 K tal que ba : xy
es equivalente a
ax
by
1
;
1
x
y
(4.12)
a
b
es el elemento inverso de .
a
b
Figura 4.1.
nf g
racional
trazada por (0, 1), en un solo punto, que representa al numero
correspondiente.
118
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
a
es
b
a)
mienb
b
a
= 0 es : Existe un monomorfismo de anillos natural
6
b
a
x
E : Z ! Q definido por E (x) = . En este sentido debe entenderse la afirma1
cion
Z Q.
De forma analoga,
4.4.
Cuerpos ordenados
Al ampliar sucesivamente los conjuntos numericos, N Z Q , nos hemos centrado en las operaciones suma y producto, que son cada vez mas
ricas
en propiedades. Por ejemplo, tienen solucion
en Z las ecuaciones de la forma
a + x = b mientras que tambien tienen solucion
en Q las de la forma
ax + b = c: En otras palabras, en cada extension
del sistema numerico ganamos propiedades algebraicas.
Pero tan importantes como las propiedades algebraicas son las propiedades del orden. El orden total de (N ; ) se extendio al dominio de integridad Z
de manera compatible con la suma y el producto. La compatibilidad (leyes de
monotona) resulto como consecuencia de determinar el conjunto de numeros
a 2 A+ [ f0g ;
fa 2 A j a > 0g :
ANILLOS Y CUERPOS
119
120
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
6= 0 en un
racional es
a
enteros, b 6= 0:
de la forma , con a y b numeros
b
4.10.
Definicion
enteros).
Un numero
racional
y, en ambos casos,
cd > 0:
a
De hecho, si es positivo, puede suponerse que a y b son enteros positivos
b
(si los dos son negativos, se toman sus opuestos). Que la suma y el producto de
dos racionales positivos es tambien positivo se obtiene como consecuencia
de que Z + es cerrado bajo suma y producto. La tricotoma es consecuena
cia de que para cualquier racional , el entero ab cumple una, y solo
una, de
b
las siguientes proposiciones: ab > 0, ab = 0, o bien ab < 0. El opuesto de un
racional positivo es negativo.
Por el Teorema 4.4, la relacion
de orden en Q esta bien definida a partir
del conjunto de los racionales positivos, Q + : x y cuando y x 2 Q + [ f0g.
Corolario 4.3. (Q ; +; :; ) es un cuerpo ordenado, es decir, (Q ; +; :) es un
cuerpo y es un orden total compatible con la suma y el producto. Ademas,
a
es un
la aplicacion
que asocia a cada numero
entero a el numero
racional
1
monomorfismo de anillos unitarios de Z en Q que preserva el orden.
Una propiedad que caracteriza a Q es que es el mnimo cuerpo ordenado,
en un sentido que precisaremos a continuacion.
121
ANILLOS Y CUERPOS
E (0) = 0K ;
E (1) = 1K ;
E (n + 1) = E (n) + 1K ;
E (n) , si n 2 N ;
E ( n) =
E
m
si n 2 N ;
E (m)
m
, si
E (n)
n
2Q .
de K en K que puede ser usada para definir una distancia entre los elementos de K.
4.11.
Definicion
Si a 2 K, el valor absoluto de a es
jaj =
a;
a;
a0
a<0
j aj = jaj :
(iii) a jaj y a jaj :
(iv) ja + bj jaj + jbj (propiedad triangular).
(v) jaj jbj ja bj, que mide la distancia entre a y b (usar (iv)).
(vi) jabj = jaj jbj.
jaj
a
(vii) =
6 0:
b
jbj , si b =
(ii)
b < a < b:
unica
122
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
racionales existe
otro racional (y por lo tanto infinitos). Por ejemplo, si a; b 2 Q y a < b, entonces
(a + b) =2 2 Q (por propiedades de cuerpo) y se tiene que a < (a + b) =2 < b
(usando propiedades del orden).
Otra importante propiedad del orden en Q (que no se cumple en cualquier
cuerpo ordenado) es que Z abarca la totalidad de Q en el sentido de que todo
racional esta entre dos enteros consecutivos. Es decir, si a 2 Q , entonces existe
a0 2 Z tal que
a0
a < a0 + 1
(4.13)
enteros). Esta
es conocida
como la propiedad arquimediana y admite varias formulaciones equivalentes.
Tomaremos como definicion
una forma con inversos que sera particularmente
util
para convergencia de sucesiones.
Un cuerpo ordenado K es arquimediano si, y solo
si, para
1
+
cada e 2 K existe algun
n 2 N tal que < e:
4.12.
Definicion
f 2 N j a < ng
a0
>
>
>
:
min fn 2 N
si a 2 K+
si a = 0
0,
a ng ,
1,
>
si a 2 K
0, si existe a0
1
< a0 + 1, entonces n := a0 + 1 2 N y satisface < e.
n
4.5.
Proposicion
2 Z tal que a0
; ; :; ) es arquimediano.
(Q +
Demostracion.
Si e
a < e:
!1
123
ANILLOS Y CUERPOS
En particular,
4.5, dado e
tambien
1
n
1
n
es una sucesion
contenida en Q y, por la Proposicion
2 Q + existe n0 2 N
tal que
1
n
1
n0
< e. Entonces, si n
n0 , se tiene
0 en Q . Tal proposicion
se despacha en
1
arn
bitrariamente pequeno,
Figura 4.2.
Construccion
de una recta perpendicular a r1 y que pasa por P0 no perteneciente a r1 : Se traza una circunferencia con centro en P0 y radio suficientemente grande, C1 , cuyas intersecciones con r1 son P1 y P2 ; se trazan las
circunferencias C2 y C3 cuyos centros son P1 y P2 y cuyo radio es la distancia entre P1 y P2 ; las intersecciones de C2 y C3 son P3 y P4 , que determinan
la recta buscada, r2 .
Figura 4.3.
Construccion
de una recta paralela a r1 y que pasa por P0 no perteneciente
a r1 : se traza la recta perpendicular a r1 y que pasa por P0 , r2 ; la recta r3 ,
perpendicular a r2 en P0 r2 es la recta buscada.
124
AL
p
Para la construccio n del racional , (p; q) 2 Z (Zn f0g), que se ejemplifica
q
lela ala que determinan
en la Figura 4.4, construimos la recta por (0; p) para
p
(1, 0) y (0; q). Su interseccio
n con el eje de abscisas es
; 0 por semejanza de
q
los tria ngulos recta ngulos que forman dichas rectas con los ejes coordenados.
Figura 4.4.
3
4
4
finalmente
Luego se construye de nuevo Q sobre el otro eje, trazandose
rectas perpendiculares a los ejes en los puntos construidos sobre los mismos
(recue rdese la Figura 3.6). El conjunto de puntos de las intersecciones es Q 2 .
Representando todos los numeros
racional.
numeros
1 y 2. Probaremos a continuacion
que 2 no es un numero
p a
2b
a2 :
(4.14)
Esta ultima
2p2 ;
por lo que tambien 2 j b. Pero esto es absurdo, porque hemos supuesto que a
y b son primos entre s.
Los racionales dejan agujeros en la recta. En el proximo
reales.
125
ANILLOS Y CUERPOS
4.5.
Problemas
a
b = ab + (a + b) + 42
donde es un numero
entero fijo.
a) Demuestre que (Z; ) es un grupo abeliano.
b) Que valores de hacen que (Z; ;
) sea un anillo?
c) Es dicho anillo un dominio de integridad?
Problema 4.9. Resuelva el siguiente sistema en el cuerpo de las clases de
congruencia modulo
7:
5x
4x
+
+
2y
y
=
=
3
6
126
Problema 4.10.
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
Problema 4.11.
+
+
z
z
4y
=
=
0
0
+
+
+
y
2y
3y
+
+
+
2z
3z
2z
=
=
=
1 =
:
1
;
1
+
+
3x2
x2
x2
x3
2x3
x4
=
=
x4
1 =
:
7
;
0
Problema 4.13. Demuestre que un sistema homoge neo de ecuaciones lineales con coeficientes en un cuerpo, que tiene mas
incognitas
que ecuaciones, es
indeterminado.
Problema 4.14. Considerese el anillo de polinomios con coeficientes enteros Z [x (sustituya F por Z en la Definicion
4.6). Se pide:
a) Pruebe que (Z [x ; +; :) es un dominio de integridad.
b) Defina sobre Z [x una RBE compatible con la suma y con el producto.
c) Tras comprobar que los elementos de Z [x tales que la potencia de mayor grado tiene coeficiente positivo forman un conjunto de elementos positivos
en Z [x, con orden asociado , pruebe que (Z [x ; +; :; ) es un dominio de integridad ordenado. Ese orden total sobre Z [x se llama lexicografico
porque
recuerda a la ordenacion
de las palabras en el diccionario.
Problema 4.15. Sabiendo que Q [ x es numerable (Problema 2.23 c), determine el cardinal de su cuerpo de fracciones Q ( x) suponiendo que se cumple
el axioma de eleccion.
(Sugerencia: Utilice la Proposicion
2.10 y el Problema
2.25 b.)
Problema 4.16.
en p (x). Es unico
dicho polinomio?
naturales. Demuestre que hay al menos dos elementos de A cuya diferencia es un multiplo
Problema 4.18.
ANILLOS Y CUERPOS
127
!1
128
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
CAPITULO 5
y donde,
y la geometra
aparecan indisolublemente unidas en aquella e poca.
Figura 5.1.
Construccion
de r: El punto medio del segmento de extremos O y B (r; 0)
se toma como centro de una circunferencia, C, que pasa por O y B; el punto
A es uno de los puntos de interseccion
de C con la recta perpendicular al eje
de abscisas que pasa por Q (1, 0); por ser semejantes los triangulos
AQO y
BAO (angulos
130
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
A mediados del siglo XIX los analistas alemanes experimentaron la necesidad de fundamentar rigurosamente su disciplina, introduciendo el cuerpo
de los numeros
1
P
an 10
n=1
con a0
2 Z, ai 2 f0, 1; : : : ; 8, 9g para i 2 N
sucesiones regulares, por un ideal adecuado del mismo, el formado por las
del analisis
matematico
(funciones reales de
variable real), el Teorema de Bolzano, que establece que toda curva del plano
(grafica
de una funcion
continua) que tiene un extremo en el semiplano superior y el otro en el semiplano inferior corta al eje de abscisas (identificado con
R) en al menos un punto, por lo que dicho eje carecera de agujeros.
5.1.
Sucesiones regulares en Q
naturales tales
que el cuadrado del primero sea menor que 2, y el cuadrado del segundo sea
mayor que 2. Tales numeros
son 1 y 2.
2. De entre los elementos del conjunto de racionales decimales f1, 1.1,
1.2, ... , 1.9, 2g (resultado de dividir el intervalo [1, 2 en 10 partes iguales) se
eligen los dos consecutivos cuyos cuadrados sean menor y mayor, respectivamente, que 2. Tales numeros
131
Los primeros terminos de tales sucesiones son 1 < 1.4 < 1.41 < 1.414 <
1.4142 < : : : y 2 > 1.5 > 1.42 > 1.415 > 1.4143 > : : :
Nos proponemos definir un numero
racionales fan g se dice que es acotada en Q cuando existe k 2 Q + (cota de fan g) tal que jan j k para todo n 2 N :
Se dice que fan g es regular en Q cuando, para cada e 2 Q + , existe ne 2 N
(dependiente de e) tal que jan am j < e cualesquiera que sean n; m ne . Tambien
expresaremos este hecho diciendo: jan am j < e finalmente.
Se dice que fan g es nula cuando lim an = 0; es decir, para cada e 2 Q + ;
n
!1
sucesion
constante que es
nula es f0g.
n
Las sucesiones f1=ng ; f 1=ng ; ( 1) =n ; f2 n g ; f10 n g son ejemplos
de sucesiones acotadas. Tambien son nulas debido a que Q es arquimediano.
Veremos a continuacion
que son regulares.
5.1. Dada una sucesion
Proposicion
de racionales fan g, se cumple lo siguiente:
(i) Si fan g es convergente en Q , tambien es regular (en particular, si es nula
es regular).
(ii) Si fan g es regular, tambien es acotada.
Demostracion.
jan
am j = jan
a+a
am j jan
aj + ja
jan
2 N tal que
am j < 1
naturales n; m
n1 se tiene que
2 Q . Tomando
132
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
de donde,
(5.1)
Llamando
max
Empezaremos probando que la suma y el producto son operaciones cerradas en A. Sean fan g y fbn g sucesiones regulares y sea e un racional
positivo.
j(an + bn)
(am + bm )
j jan
<
am j + jbn
e=2 + e=2 = e:
bm j
jan bn
am bm j
jan bn
jan jjbn
an bm + an bm am bm j
bm j + jbm j jan am j :
janbn
am bm j
jan j jbn
<
bm j + jbm j jan
b
k e1 + k e2
am j
e=2 + e=2 = e:
133
sucesiones constantes f0g y f1g son los elementos neutros para ambas operaciones, y f an g = f 1gfan g 2 A es la sucesion
opuesta de fan g.
Terminaremos probando que I es un ideal en (A; +; ). Sean fan g y fbn g
dos elementos de I. Como el opuesto de fbn g es f bn g ; tomando
n
se tiene
ja n + (
bn )j
jan j + j
<
bn j = jan j + jbn j
e=2 + e=2 = e:
tenemos
Ejemplo 5.1.
(
an
0
1=n;
si n es impar
si n es par
bn
1=n;
si n es impar
0,
si n es par
de cero.
(5.2)
(5.3)
134
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
am
(am
En el otro caso,
an
am
am
(an
an ) e
jam
e, entonces,
Se llega a la conclusion
deseada tomando = e=2:
finalmente.
an finalmente.
Demostracion.
verdaderas.
5.2.
real si, y
solamente si, la sucesion
fan bn g es nula.
Cualquier sucesion
nula, como la sucesion
constante f0g o las dos sucesiones fan g y fbn g del Ejemplo 5.1, representa al mismo numero
real (llamado
cero y quepse denota por 0). Por otro lado, las dos sucesiones regulares que
fan g y fbng, son
aproximan 2 inferior y superiormente, denotemoslas por p
representaciones de un mismo numero
135
Lema 5.2. Si fan g y fbn g son equivalentes y existe un racional positivo tal
que an finalmente, entonces tambien existe un racional positivo tal que
bn finalmente.
Demostracion.
bn j <
tal
> an =2 =2 = =2:
=2:
bn
0,
si n < p
1=an ;
si n p
a
Veremos que fbn g es regular. En efecto, dado e 2 Q + , existe n
2 e 2 N tal
2
a
que jan am j < e para todo n; m n2 e : Entonces, para n max p; na2 e ,
se tiene
jbn
bm j =
jam an j 2 ja
n
jan j jam j
am j <
2 e
e:
136
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
an bn
de manera que fan bn
tiene
1;
1=
0,
si n < p
si n p
1g es una sucesion
nula: Por lo tanto, si b = [fbn g ; se
ab
1 = [fan bn
1g = 0
+ > 0,
> 0.
La propiedad arquimediana
real positivo
cualquiera ", existe un numero
en finalmente.
(5.4)
1
p
define el numero
real "
=
en
1
p
usando la Definicion
5.3 se tendra que
1
p
en
1
, que
p
1
fuera negativo,
p
EL CUERPO DE LOS NUMEROS
REALES
"
1
p
1
p
137
".
reales no es mas
fina.
En el analisis
no estandar
a
las que se refirio Leibniz en sus escritos pioneros acerca del calculo
diferencial.
Hay que advertir que este tipo de analisis
(i) K es arquimediano.
(ii) Todo elemento de K es el lmite (en K) de una sucesion
de elementos
racionales de K.
(iii) Entre dos elementos diferentes de K existe al menos un elemento racional de K.
Demostracion.
a < a0 + 1.
Como 0 a a0 < 1, tambien 0 10 (a a0 ) < 10. Por lo tanto, existe un
dgito a1 2 f0; :::; 9g tal que
a1 10 (a a0 ) < a1 + 1;
a0
y tambien
0a
a0
a1 10
< 10 1 :
138
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
a0 + a1 10
102 (a
x1 ) < a2 + 1,
, es decir,
0a
a0
a1 10
a2 10
< 10
a0 + a1 10
y xn+1
xn + an+1 10
(n+1)
n = 1,2, : : :
Claramente
ja
xn j = a
xn
< 10
< 1=n;
!1
a = a0 + 0; a1 a2 a3 : : : ;
que es el llamado desarrollo decimal de a.
(ii))(iii) Dados dos elementos a; b
=2 2 K y que
(a + b)
a+b
2
a<
K tales que a
<
b, se tiene que
< b:
Por hipotesis,
" = min
existe n"
N tal que xn
a+b
2
a + b
2
a; b
a+b
2
n = n" se obtiene
a
por lo que a < xn"
(iii))(i) Si
"
a+b
2
a+b
2
<"b
a+b
2
2K
2Q
, existe a
139
reales
(es decir, que contiene mas
de un punto) contiene al menos un numero
racional.
Ademas,
todo numero
racionales.
De la prueba del Teorema 5.1 se sigue tambien que todo numero
real tiene
un desarrollo decimal.
Para concluir esta seccion
formalizamos una conocida propiedad de los
numeros
decimales. Un numero
numeros
decimales.
Demostracion.
b0 + 0; b1 b2 b3 :::
a0 +
b0 +
n
X
k=1
n
X
ak 10
bk 10
lim xn
!1
x;
lim yn
x:
k=1
!1
6=
bp . Sin perdida de
xn g verifica en R que
!1
yn
8
0
>
<
n
xn =
P
>
(bk
:
si n < p
ak ) 10
k=p
si n p :
xn
(bp
ap ) 10
n
P
(bk
ak ) 10
k=p+1
(bp
ap ) 10
n
P
k=p+1
(5.5)
jbk
ak j 10
140
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
(bp
>
(bp
ap ) 10
(bp
ap
ap ) 10
n
P
k=p+1
p
1) 10
9
p
9 10
10 (p+1)
1 10 1
posibilidad es
que bp = ap + 1. Pero, entonces, debe ser ak bk = 9 para todo k > p, pues, en
caso contrario, usando (5.5), obtenemos
yn
xn
10
10
10
n
P
k=p+1
n
P
k=p+1
para algun
q p.
Por lo tanto, ak = 9 y bk
necesariamente un decimal:
x
jbk
ak j 10
9 10
+ 10 q
0 para todo k
>
a0 + 0; a1 a2 : : : ap b
9
a0 + 0; a1 a2 ::: (ap + 1) .
p, y el numero
real x es
Resumiendo lo hecho hasta el momento, en lo que concierne a los conjuntos numericos, hemos empezado definiendo N como el conjunto de los
cardinales de los conjuntos finitos. Sobre este conjunto se han definido dos
operaciones, la suma y el producto, con pobres propiedades (al no existir
simetricos), as como una RBO que es un buen orden. En la primera ampliacion
se construyo Z, dominio de integridad (ganando la existencia de opuestos), al que se doto de una RBO total compatible con la suma y con el producto
(perdiendo el buen orden), existiendo un monomorfismo de N en Z que preserva el orden. Luego, a partir de Z, se construyo el cuerpo de fracciones Q
(ganando los inversos), que resulto ser un cuerpo ordenado (ganando la propiedad arquimediana), para un cierto orden total que extiende el de Z (en el
sentido de que existe un monomorfismo de Z en Q que preserva el orden). En
la siguiente extension,
de Q a R, no hubo ganancia aparente, pues seguimos
teniendo un cuerpo ordenado arquimediano. Sin embargo, el nuevo cuerpo
tiene propiedades muy utiles
matematico,
segun
se vera a continuacion.
Todo esto esta implcito en la relacion
multiple
Z Q R,
EL CUERPO DE LOS NUMEROS
REALES
5.4.
141
racionales es convergente
Teorema 5.2. Toda sucesion
regular frn g de numeros
en R. Mas
en concreto, si r = [frn g 2 R entonces lim rn = r:
n
!1
Demostracion.
< rm < rn + ;
rn
de donde
0 < rm
rn + ;
0 < rn
rm + :
reales no negativos
r rn + y rn r + , respectivamente. De aqu se obtiene r rn ; lo
cual implica que jr rn j < " cuando n n .
Notese
que en la demostracion
del siguiente teorema se usan unicamente
!1
Entonces la interseccion
de dicha familia de intervalos encajados, \1
n=1 [an ; bn ;
es un conjunto singular.
Demostracion.
y j bn
an
142
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
bn0
< e:
2 [ak; bk [an ; bn :
Luego, para cualesquiera n; m n0 se tiene que rn ; rm 2 [an ; bn , de donde
j rn rm j bn an < e:
Por lo tanto, la sucesion
de racionales frn g es regular y r = [frn g es un
numero
real.
Ya solo
falta probar que r 2 \n1 1 [an ; bn y lo haremos por reduccion
al
absurdo, suponiendo que r 2
= [ap ; bp para algun
p 2 N : Supongamos que r < ap
(el argumento para bp < r es analogo).
lim rn
!1
r.
Si seguimos p
llamando fan g y fbn g a las sucesiones que aproximan inferior
de intervalos cerrados encajados
y superiormente 2, f[an ; bn g es una sucesion
cuyas longitudes tienden a cero (ve ase Figura 5.2).
Figura 5.2.
Cinco primerosnterminos
de intervalos encajados cuya
o de una sucesion
2 .
interseccion
es
143
B = x 2 R jx2
mientras que A
Figura 5.3).
> 2; x > 0
R B. Es facil
2 (ve ase
p2
Representacion
de la cortadura (A; B).
Figura 5.3.
Notese
que en la demostracion
del siguiente teorema se usan unicamente
real c que
cumple esta condicion
se denomina elemento de separacion
de la cortadura.
Demostracion.
reales a0 2 A y
b0 2 B. Desde luego, a0 < b0 . Denotamos = b0 a0 > 0 la longitud del
intervalo inicial [a0 ; b0 .
Definimos recursivamente una sucesion
de intervalos cerrados encajados
f[an ; bn gn1=1 ; donde el extremo izquierdo de cada intervalo es un elemento de
A y el extremo derecho es elemento de B, as:
(
[a1
[a0
; b1 =
si a0 + =2 2 B
a0 + =2 ;
[a0 +
si a0 + =2 2 A ;
=2 ; b0 ;
y
(
[an+1
; bn+1 =
an ; an + =2n+1
an + =2
n+1
; bn ;
si an + =2n+1
si an + =2
Por la costruccion,
para todo n 2 N se cumple
[an+1
; bn+1 [an ; bn ;
n+1
2B
2 A:
144
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
con an
bn
Recordando que 2n
2n
(5.6)
(Problema 2.1) se tiene
(5.7)
vo " arbitrario, por la propiedad arquimediana, existe p 2 N tal que 1=p < "=:
Entonces, para todo n p, usando (5.6) y (5.7), se tiene que
jb n
an j =
2n
<
< ":
n
p
Sea pues \1
n=1 [an ; bn = fcg ; con c 2 R. Como (A; B) es una cortadura en
R, c 2 A o bien c 2 B: Terminaremos probando que c = max A en el primer
caso y que c = min B en el segundo:
Supongamos que c 2 A: En este caso, si a 2 A es un elemento cualquiera
tal que c a, como (A; B) es una cortadura, a < bn , pues bn 2 B. Entonces,
an c a < bn para todo natural n, por lo que a = c: Como c 2 A es cota
superior de A, c = max A.
Analogamente
de las cotas inferiores de A y se denota por inf A (en ingle s, greatest lower bound
o, abreviadamente, g.l.b.).
Notese
que en la demostracion
del siguiente teorema se usan unicamente
EL CUERPO DE LOS NUME
ROS REALES
145
Demostracion
. Sea X un conjunto no vaco de nu meros reales con cota superior b1 . Tomando arbitrariamente un punto x 2 X, el nu mero real a1 = x 1 no
es una cota superior de X. Consideramos el conjunto no vaco B formado por
todas las cotas superiores de X y el complemento A = RnB 6= ;. Obviamente,
b1 2 B y a1 2 A (ve ase Figura 5.4).
Figura 5.4.
Es fa cil ver que a < b para todo a 2 A y b 2 B, por lo que (A; B) es una
cortadura en R. Aplicando el postulado de continuidad existe el elemento de
separacio n
2 R, tal que c = max A o bien c = min B. En este u ltimo caso,
c = sup X por ser la cota superior mnima.
Veamos que el otro caso es imposible. Supongamos que fuera c = max A:
Entonces, c 2 A y, por lo tanto, c 2
= B, es decir, c no sera cota superior de X;
por lo que existira x 2 X tal que c < x: De all obtendramos que el nu mero
real a2 = (c + x) =2 < x no sera cota superior de X, por lo que a2 2 A, adema s
de a2 > c, por lo que c no podra ser el ma ximo de A; en contradiccio n con el
supuesto inicial.
El resultado anterior es equivalente a afirmar que todo conjunto no vaco
acotado inferiormente tiene nfimo. Basta cambiar el signo a todos los elementos del conjunto y aplicar la proposicion
anterior, y viceversa.
En ciertos textos de analisis
matematico
que en la demostracion
del siguiente teorema se usan unicamente
Toda sucesion
de
numeros
146
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
ja
an j = a
!1
a.
an
< ";
o no) repre
senta un numero
real. Esta
es la forma de presentacion
de los numeros
reales
en la ensenanza
media. Notese
que en la demostracion
se usaran
unicamente
a0 +
n
X
)1
k
ak 10
k=1
n=1
tiene lmite en R.
Demostracion.
La sucesion
xn
a0 +
Pn
k=1
ak 10
n = 1,2; :::;
a0 +
Pn
k=1
ak 10
a0 + 9
Pn
k=1
n 1
a0 + Pnk
=1
10
9 10
a0 + 1 :
La conclusion
se sigue del Teorema 5.6.
Ejemplo 5.2.
Veremos que el cuerpo arquimediano Q incumple todos los
teoremas de esta seccion.
Comenzaremos
p con el ultimo.
Por el Corolario 5.1 sabemos que 2 2 R es el lmite de una sucesion
de numeros
racionales
f
x
g
,
por
ejemplo,
la
que
corresponde
a
su
desarrollo
n
p
decimal, 2 = a0 + 0; a1 a2 : : :, es decir,
147
xn
a0 +
n
X
ak 10
k=1
!1
2.
!1
2 N tal que
jx xn j < e para todo n ne :
Por otro lado, para todo " 2 R existe m" 2 N tal que
p
2 xn < " para todo n m" :
(5.8)
xn + xn
xn + jxn
x
xj
Eplogo
del analisis
matematico.
de Cauchy converge en K.
148
AL
ste es un sentido de
R es completo por tener la propiedad del supremo. E
de una funcion
continua sobre un intervalo cerrado y acotado puede cortar al eje de abscisas en infinitos puntos, como ocurre
con y = f (x) (ve ase Figura 5.5), donde
f (x) =
8
>
< x sen 1
>
:
x 6= 0
x = 0.
polinomica
de
En el proximo
149
Figura 5.5.
KR .
Una ecuacion
f (x) = 0, con f continua en [a; b, a < b, puede tener infinitas
races.
!1
profesionales antepongan
a la secuencia de demostraciones tecnicas esquemas de ideas como el descrito
anteriormente, que comunican lo esencial de la prueba.
Teorema 5.8. Todo cuerpo ordenado, arquimediano y completo (Cauchy) es
isomorfo al cuerpo R de los numeros
reales.
Constituye una parte importante en la formacion
matematica
seguir en
detalle una construccion
de los numeros
real sea
una clase de equivalencia de sucesiones regulares de numeros
racionales, y
este hecho no se volvera a usar en la demostracion
de ningun
teorema acerca
de los numeros
150
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
En relacion
con esto, conviene recordar las teoras axiomaticas
de tipo
material a las que nos referamos en la seccion
2.7 (ve ase tambien el Problema
2.32). Los textos no elementales de analisis
anterior.
Finalmente, para el lector que se sienta agobiado por la noticia de que acabamos de llegar al punto de partida del analisis
que hemos venido haciendo tiene valor y utilidad en s misma, independientemente del uso que le hemos dado en esta fundamentacion.
5.6.
Problemas
Problema 5.1.
Si denotamos A el conjunto de todas las sucesiones de
numeros
!1
un isomorfismo.)
Problema 5.2.
E = a + b 3 j a 2 Z; b 2 Z
reales.
Problema 5.3. Para el conjunto E p
del Problema
p 5.2 se considera la correspondencia que asocia al numero
natural que no es un
Problema 5.4. Sea la raz cuadrada de un numero
cuadrado perfecto, y sean
E = fa + b j a 2 Z; b 2 Zg
y
F = fa + b j a 2 Q ; b
2 Qg :
151
Problema
5.5.
Demuestre que los numeros
reales de la forma a + b 3 2 +
p3
c 4; donde a, b y c representan numeros
racional y x
Problema 5.8.
Pruebe que si r 6= 0 es un numero
irracional, entonces rx y r + x son irracionales.
6=
0 es
1
x
<
1
para todo n 2 N ).
n
naturales.
Problema 5.11. (Dedekind) Pruebe que el siguiente par de conjuntos de
racionales es una cortadura en Q :
B = x 2 Q jx2
> 2; x > 0
y A = Q nB :
y=
x x2 + 6
3x2 + 2
152
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
verifique que
2x 2 x2
y y2
3x2 + 2
x=
2=
x2
3
(3x2 + 2)
Problema 5.13.
x2Kjx<
1
, para todo n 2 N
n
x 2 K j existe n 2 N
1
n
<x :
naturales no es
convergente en ningun
cuerpo ordenado K. (Ayuda: Suponga que lim n = x 2
n
!1
!1
Problema 5.16.
problema anterior.)
!1 n
1
n
es convergente en un cuerpo
de una sucesion
fan g1
153
y contiene una
subsucesion
convergente, entonces fan g tambien es convergente (al mismo
lmite).
d) Pruebe que en un cuerpo ordenado K toda sucesion
contiene una subsucesion
que es, o bien no decreciente, o bien no creciente. (Ayuda: ve ase
Spivak, M. (1970), p. 560.)
1
es convergente
n
n
si, y solo
si, f10 g lo es. (Ayuda: use el Problema 5.17 a) y b).)
Problema 5.18.
Problema 5.19.
Suponga que en un cuerpo ordenado K vale lo afirmado
para R en el Teorema 5.7. Pruebe que, entonces, K es arquimediano. (Ayuda:
para xn
n
X
9 10
g = f1
xn g y aplique el
k=1
problema anterior.)
Problema 5.20. Demuestre que si un cuerpo K tiene la propiedad de convergencia de sucesiones monotonas
reales:
x1
x2
xn
:::
0; an1 an2 :::ann :::
:::
la expresion
decimal y = 0; b1 b2 :::bn ::: construida as: bk = 5 si akk 6= 5 o de lo
contrario bk = 6, para cada k 2 N , representa un numero
CAPITULO 6
geometrica
que reduca la resolucion
de ecuaciones a la interseccion
de curvas planas
adecuadamente construidas. En 1202, el italiano Leonardo de Pisa tradujo el
algebra
del arabe
Al-Khwarizmi (de cuyo nombre proviene el termino algoritmo), que contemplaba la radicacion
como una operacion
aritmetica mas
con numeros
llamandoles,
imaginarios.
En torno a 1800, Gauss, Argand y Wessel representaron graficamente
los
numeros
156
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
(quizas
para recordar que los matematicos
tan
eminentes como Leibniz o Euler, se planteo un objetivo mas
modesto: demostrar que las ecuaciones algebraicas tienen siempre solucion
en el cuerpo de los
numeros
moderna.
6.1.
Los numeros
complejos
( +
= 0,
= ( )( )
+ =
2n
+ =
+ =
+ =
( + )
+ =
157
+ 2 K. Es muy facil
elementos de K y a bi
esta forma. En efecto,
(a + bi) + (c + di) = (a + c) + (b + d) i
(6.1)
) = a2 + b2
a
bi
(6.2)
a2
+ b2 i:
Veremos a continuacion
que existe tal cuerpo K.
6.1. Llamamos numeros
Definicion
complejos a los vectores del plano cartesiano R2 C , y sobre este conjunto se definen dos operaciones binarias, llamadas
suma y producto, que estan
inspiradas en (6.1) y (6.2):
(a; b) + (c; d) = (a + c; b + d)
y
real x el
numero
a2
( )=( )
b
b2
+ b2 ; a2 +
siempre que a; b 6
0, 0 : Se comprueba, por ultimo,
que 0, 1 es solucion
de x2 1 0 y que la aplicacion
f x
x; 0 preserva la suma y el producto.
+ =
( )=( )
Como de costumbre, R se identifica con su imagen por el monomorfismo f, es decir, con el conjunto f x; 0 ; x 2 Rg , llamado eje real. Por analoga,
el conjunto f 0; y ; y 2 Rg recibe el nombre de eje imaginario. Es costumbre escribir x; 0 o x indistintamente. Tambien es costumbre representar el
par 0, 1 2 C por i (unidad imaginaria), por lo que i2
1: De esa forma
complejo,
( )
( )
( )
158
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
()
()
denominandose
( )
Figura 6.1.
La interpretacion
geometrica del producto de numeros
complejos no es
tan evidente (no tiene nada que ver con el producto escalar de vectores del
plano). De hecho, debemos introducir algunos conceptos previamente.
6.2. El modulo
Definicion
del numero
el
modulo
de a bi es el numero
real
( )
ja + bij =
+ b2 .
El conjugado del numero
complejo z = a + bi es z = a bi:
Es facil
complejo z:
()+
()
1. 0 jzj j Re z j jIm z j.
si, z 0:
2. jzj 0 si, y solo
3. j zj jzj.
4. jzj jzj :
5.
=
=
=
=
2
zz = jzj (real no negativo):
EL CUERPO DE LOS NUME
ROS COMPLEJOS
159
+ z2 = z1 + z2 :
7. z1 z2 = z1 z2 :
8. jz1 + z2 j jz1 j + jz2 j (propiedad triangular).
En efecto, para la propiedad triangular, si z1 = a + bi y z2 = c + di; entonces
jz1 j y jz2 j son las longitudes de dos lados no paralelos del paralelogramo de la
Figura 6.1, mientras que jz1 + z2 j es la longitud de su diagonal. Puede aplicarse
6. z1
entonces la propiedad de los tria ngulos que afirma que la longitud de un lado
es siempre menor que la suma de las correspondientes a los otros dos lados.
un papel semejante al del
El modulo
Figura 6.2.
Toda sucesion
de Cauchy de numeros
complejos es convergente
de numeros
complejos y consideremos
Demostracion.
( )
( )
160
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
jzn
zm j
=
=
(Re (zn
q
(Re (zn )
zm
( ))2 ;
Im zm
se tiene que
q
jRe (zn )
Re zm
( )j = (Re (zn)
jIm (zn )
Im zm
( ))2 jzn
zm j < " ;
( ))2 jzn
zm j < " ;
Re zm
y
q
( )j = (Im (zn)
Im zm
!1
( )=
( )=
!1
lim zn
!1
= a + ib 2 C :
En efecto
Figura 6.3.
161
z
0, entonces
z
z
j j = 1, por lo que el afijo de jzj pertenece
z
a la circunferencia unidad. Por lo tanto,
jzj se puede escribir en la forma
Si z
2 C, z =
6
Figura 6.4.
Determinacion
grafica
del argumento de z.
()
real de la
de C n f 0g en
forma ' 2k , con k 2 Z. Por lo tanto, arg no es una aplicacion
R, sino en el grupo cociente R=2 Z;
(ve ase Ejercicio 3.7 de la Seccion
3.2).
Por eso, sera mas
coherente escribir ' 2 arg z que ' arg z .
Pues bien, si ' arg z , entonces
(
()
z
+)
()
()
complejos.
6.2. (i) El modulo
Proposicion
complejos es
el producto de sus modulos,
complejos
z1
z2
162
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
= jz1j jz2j (cos '1 + i sen '1 ) (cos '2 + i sen '2)
= jz1j jz2 j [(cos '1 cos '2 sen '1 sen '2 ) + (sen '1 cos '2 + cos '1 sen '2) i
= jz1j jz2 j [cos ('1 + '2 ) + i sen ('1 + '2) :
(ii) De forma semejente, si z2 6= 0, tenemos
'1 + i sen '1 )
z1
= jjzz1 jj ((cos
z2
cos
'2 + i sen '2 )
2
z1 z2
La conclusion
es inmediata.
i sen '2
y polar de un numero
complejo
conviene considerar una cuarta forma que resulta util
para calcular potencias
y races de numeros
complejos. La motivacion
hay que buscarla en los desarrollos en serie de ciertas funciones bien conocidas. En analisis
matematico
de McLaurin) que
ex
+ x + x2! + x3! + ;
cos x
x2
2
sen x
x3
3
x
! + 4!
x
! + 5!
Formula
de Euler:
ei'
=
=
=
2
3
4
5
+ i' + (i2'!) + (i3'!) + (i4'!) + (i5'!) +
'6
!
Este argumento no es, desde luego, una prueba. Sin embargo, con esa
motivacion
definimos
163
ei'
para ' 2 R, de tal forma que podemos escribir, para todo complejo z
jzj cos ' i sen ' ;
= jzj ei';
complejo: De la formula
de Euler
se sigue que
e i
+1 = 0;
mas
importantes en matematicas:
0, 1; i; y e:
complejos.
6.3.
Proposicion
Sea z
p
n
jzje
'+2k
n
= 0, 1; : : : ; n
1:
Demostracion.
jzje
'+2k #n
n
hp
n
jzj
in
in
'+2k
n
= jzj ei '
( +2k )
= jzj ei' = z:
Para ver que esas n races de z son distintas dos a dos efectuaremos su
cociente de acuerdo con la Proposicion
6.2 (ii). Dados 0 k1 < k2 n 1,
p
'+2k
jzje
jzje
'+2k2
puesto que k1
= cos
k2
) =n 2= Z.
2 k1
k2
n
) + i sen 2 (k1
k2
n
) 6= 1
164
AL
=
=
cos n = cos ' y sen n = sen ';
') =2 2 Z. Supongamos que (n ') =2 es congruente
=
lo que implica n
con k (mo dulo n) para cierto k 2 f0, 1; : : : ; n 1g (recue rdese el Ejercicio 4.2
de la Seccio n 4.1). En ese caso, podemos escribir
(n
con p 2 Z, es decir,
' + 2k
n
+ 2p:
Entonces,
s
= jsj ei = jzje
n
'+2k
n
complejos
jzjt eit' j t 1
(espiral de Arqumedes). Si jzj > 1 dicha curva se aleja del origen (ve ase Figura
6.5) y si jzj < 1 la curva se aproxima al origen sin alcanzarlo (ve ase Figura 6.6).
Figura 6.5.
>
>
165
Figura 6.6.
Cuando jzj
z 2
j j
< 1.
Figura 6.7.
Races cubicas
de 1.
166
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
Figura 6.8.
6.3.
Races cuartas de 1.
()
complejo p z
0. Esto
el polinomio p x en x
es equivalente a afirmar que p x es un multiplo
de x z, segun
muestra el
siguiente resultado.
()
[
()
()=
()
()
()
()
()
()=
2 C . Entonces, z es raz
()
Demostracion.
cociente
y resto, q x y r x ; tales que
() ()
( ) = (x z) q (x) + r (x) ;
donde deg r (x) < deg (x z) = 1 o bien r (x) es el polinomio 0, lo que implica
que el polinomio r (x) es una constante, r (x) = r 2 C . En la ecuacion
anterior,
evaluando para x = z, obtenemos
p (z) = (z z) q (z) + r;
es decir, r = 0: Por lo tanto p (x) = (x z) q (x), como se quera.
El recproco es inmediato. Si p (x) = (x z) q (x), entonces
p (z) = (z z) q (z) = 0
y z es una raz de p (x).
p x
167
( ) = deg p (x)
deg q x
1:
Si p x
an
zbn
bn
= an
bn
1
1
2
an
zbn
bn
2
3
:::
:::
a1
a0
zb1
zb0
:::
b0
()
Notese
()
Teorema 6.3. (de DAlembert) Todo polinomio de grado positivo con coeficientes complejos tiene al menos una raz compleja.
Como consecuencia del teorema anterior, y usando el Teorema del resto,
obtendremos la descomposicion
de cualquier polinomio de grado positivo
p x 2 C x en factores lineales (de grado 1). En efecto, si z1 2 C es una
raz de p x podremos escribir p x
x z1 q1 x : Si deg p x
n > 1;
q1 x tendra grado positivo y por ende una raz compleja z2 . Procediendo as
encontraremos n factores lineales de p x ,
()
()
[
()
( ) = (x
p x
()=(
) ()
()
z1 ) (x z2 ) : : : (x zn ) q
()=
(6.3)
con q 2 C n f 0g. Esto nos dice, entre otras cosas, que los unicos
polinomios
irreducibles en C x son los lineales. Obviamente, cada zi (i
1, 2; : : ; n) es
raz de p x pero pueden no ser diferentes entre s.
Si un cuerpo K cumple lo afirmado para C en el Teorema de DAlembert,
es decir, si cualquier polinomio con coeficientes en K tiene al menos una raz
en K, se dice entonces que K es un cuerpo algebraicamente cerrado. Por lo
que hemos visto, C es algebraicamente cerrado mientras que R no lo es.
()
()
6.3. El numero
Definicion
()
( )=
()
()=(
) ()
168
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
()
( ) = a n (x
p x
z1
)r ( x
zk
)r
siendo r1
p x 2C x
()
si
Demostracion.
Si en la descomposicion
en factores lineales (6.3) agrupamos
los factores repetidos, y reordenando los ndices, si fuera necesario, podremos
escribir
( ) = (x z1)r (x z2 )r : : : (x zk)r q;
donde q 2 C n f 0g, r1 + r2 + : : : + rk = n = deg p (x) y todos los zi (i = 1, 2; : : ; k)
son diferentes entre s. No es difcil ver que ri es la multiplicidad de zi . En
efecto, para i = 1 por ejemplo,
r
r
r
p (x) = (x z1 ) (x z2 ) : : : (x zk ) q
= (x z1)r q (x) ;
y evaluando q (x) en x = z1 ;
r
r
q (z1 ) = (z1 z2 ) : : : (z1 zk ) q 6= 0;
p x
ya que C es ntegro.
Para terminar, comparando el coeficiente de xn en ambos miembros de
(6.3) se concluye que la constante q es precisamente an : Se obtiene entonces
( ) = a n (x
p x
que es la conclusion
deseada.
z1
)r ( x
zk
)r
ecuacion
es lineal la solucion
es inmediata (por ser C un cuerpo). Si la ecuacion
es cuadratica
(o de segundo grado), basta recurrir al conocido metodo de la
de cuadrados. En efecto, sea p x
completacion
ax2 bx c, con a 6 0, b
y c complejos. Se tiene
( )=
ax
+ bx + c =
=
2
a x
"
b
x
a
b
2a
c
a
2
+ +
4a2
169
=
donde el numero
complejo
b2 4ac es el discriminante de la ecuacion.
Entonces x es solucion
de la ecuacion
si, y solo
si, x b=2a es una raz cuadrada
del numero
complejo no nulo tiene exactamente dos races cuadradas, lo mismo ocurre con las ecuaciones de 2o grado
con coeficientes complejos siempre que 6 0: Si
0, entonces x
b=2a
es raz doble de la ecuacion.
=
x3
=
+ bx2 + cx + d = 0
=
la ecuacion
dada. Haciendo un primer cambio de variables, x
y b=3, la
nueva ecuacion
(en la variable y) carece de termino de 2o grado (la formula
del
binomio de Newton es valida
+ y + = 0:
3
27z3
=z
3z
; proporciona la ecuacion
+ = 0:
+ u
3
27
= z3 conduce a la ecuacion
= 0:
Cada valor de u proporciona tres valores para z; cada valor de z proporciona un valor para y; por ultimo,
la
valor de x: As, el metodo proporcionara 6 posibles races de la ecuacion,
mitad de las cuales deberan
ser descartadas.
Las ecuaciones de cuarto grado se resuelven de forma semejante. Primero
se hace desaparecer el termino de tercer grado mediante un cambio de variables lineal. La ecuacion
resultante se escribe como diferencia de cuadrados,
expresion
en la que aparece un parametro
auxiliar que
se llama resolvente. Cada una de las tres races de la resolvente proporciona,
finalmente, una ecuacion
de 2o grado. El proceso no es especialmente difcil,
pero s tedioso.
6.4.
Toda ecuacion
algebraica con coeficientes en R puede considerarse tambien como una ecuacion
algebraica con coeficientes complejos. Lo que ocu-
170
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
Las
cuadraticas,
+ + =
b
2a
:
b
2a
i ;
2a
por lo que ambas races resultan ser complejos conjugados. En realidad esta
regla es completamente general.
6.4. Si un numero
Proposicion
complejo es raz de un polinomio con coeficientes reales, entonces su conjugado tambien lo es.
Demostracion.
( )=
p (x) = an xn + an
()=
1x
n 1
+ + a1x + a0
( ) = 0 para z 2 C :
( ) = anzn + + a1 z + a0
= a n f ( zn ) + + a 1 f ( z) + a 0
= f (an zn) + + f (a1 z) + f (a0 )
= f (p (z)) = f (0) = 0 = 0
As pues, p (z) = 0, por lo que z es tambien raz de p (x) :
p z
Corolario 6.2. Todo polinomio con coeficientes reales se puede escribir como
producto de factores lineales y de factores cuadraticos,
( ) = an xn + an
p x
n 1
1x
+ + a1 x + a0 2 R [ x :
171
Podemos reordenarlas dejando las races reales al final, de tal forma que
fz1; : : : ; zm g no sean reales mientras que las races reales son fzm 1; : : : ; zn g.
+
( ) = an (x
p x
)(
z1 x
z2
) : : : (x
zm
) (x
zm
) (x
(
zk
) (x
zk
) : : : (x
zk 1 ) ( x
z m +1
(x
zn
):
zk con k
) = (x zk) (x zk)
= x2 (zk + zk) x + zkzk
= x2 2 Re (zk) x + jzkj2 ;
()
an x2
( ) + jz2j2
2 Re z2 x
:::
( ) + jzm j2 (x
x2
2 Re zm x
zm+1
) : : : (x
zn
):
Ademas,
cada factor cuadratico
tiene dos races que son complejos conjugados entre s, por lo que el orden de multiplicidad es el mismo para cualquier
raz de p x y su correspondiente conjugado.
()
Los resultados que anteceden ayudan poco a calcular las races reales de
una ecuacion
algebraica con coeficientes reales. Como en muchas aplicaciones
las ecuaciones tienen coeficientes racionales (o enteros, al multiplicar por un
multiplo
comun
de los denominadores de los coeficientes) conviene dar reglas
que permitan hallar algebraicamente soluciones enteras y racionales. De no ser
as, las races deberan
ser aproximadas mediante metodos numericos (como
el metodo iterativo de Newton).
+ +
6.5. Sea an xn an 1 xn 1 a1 x
Proposicion
coeficientes enteros y sea una raz. Entonces,
Demostracion.
(i) Como an n
an n
+ an
+ an
La conclusion
es inmediata.
+ + a1 + a0 = 0, se tiene
2
+ + a1 = a0 :
172
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
p
q
an
+ an
n
p
q
+ + a1 pq + a0 = 0;
y, multiplicando por qn ,
an p n
+ an
n 1
q
1p
+ + a1 pqn 1 + a0 qn = 0:
+ an
a0 qn ;
(6.4)
an pn :
(6.5)
+ + a1 qn
+ + a1 pqn 2 + a0 qn
n 2
q
1p
as como
q an
n 1
1p
Problemas
Problema 6.1.
Calcule
mas posibles.
Problema 6.2.
Demuestre que
Problema 6.3.
Calcule:
a)
b)
c)
d)
1
1
+ i tan n = 1 + i tan n :
i tan
i tan n
de i:
Las races cubicas
de 2 2i:
Las races cuartas de 4:
Las races sextas de 27.
Problema 6.4.
Analice la estructura algebraica del conjunto de las races
n-e simas de la unidad para la suma y el producto de numeros
complejos.
Problema 6.5.
Para n
= 3, 4 y 6 se pide:
( + i) x2 (5 i) x + (2
Resuelva la ecuacion
2
) = 0:
2i
173
Problema 6.7.
Problema 6.8.
(2 + i) x + (2 i) y =
(3 + 2i) x + (3 2i) y =
6
8
Resuelva la ecuacion
2x5
20x4
+ 70x3
140x2
+ 248x
240
= 0:
Problema 6.9.
Resuelva las siguientes ecuaciones cubicas
+ =
+
6x 9 0:
9x2 36x 80
a) x3
b) x3
Problema 6.10.
Se pide:
= 0:
Considerese la ecuacion
cuartica
x4
+ 2x3
3x2
+ 2x + 1 = 0:
= +
Problema 6.11.
tricas:
a) ax3
b) ax4
c) ax5
+ bx23 + bx2+ a = 0:
+ bx + cx + bx + a = 0:
+ bx4 + cx3 + cx2 + bx + a = 0:
+ x3 + 13x2 + x
Problema 6.12.
Problema 6.13.
Resuelva la ecuacion
trigonometrica cos3 x
= 0:
+ tan2 x = 25
:
8
( )=
a)
zi
1 i n
b)
1 i<j n
c) z1 : : : zn
=
zi zj
+ +
an 1
an
= aan 2 ;
n
= ( 1)n aan0 :
[ ;
de x2 1; es decir,
174
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
= x2 + 1 p(x) j p(x) 2 R [ x :
Se pide:
[ :
+ 3x
()
p K ! K tal que
p es p 2 K, es decir, el resultado de sustituir
x por en p x . Pruebe que es inyectiva cuando se toma K Q ; R ; C , pero
no lo es para K Z2. (Ayuda: Recuerdese el Problema 4.16.)
( ) :
()
[ ( ) ( )
()
o no segun
( )=
CAPITULO 7
EXTENSIONES DE CUERPOS Y SUS APLICACIONES
Los matema ticos griegos fueron grandes expertos en la resolucio n de problemas geome tricos con la ayuda de la regla y el compa s, segu n se refleja en
los Elementos de Euclides. Hubo, sin embargo, tres problemas muy antiguos,
de los que ya se tena noticia en el siglo V a. de C., que se han resistido a ser
resueltos negativamente hasta hace relativamente poco tiempo.
Cuenta la leyenda que los atenienses, deseosos de obtener la ayuda de los
dioses para frenar una terrible plaga, enviaron una delegacio n a Delfos, donde
se entrevistaron con el ora culo de Apolo. Como contrapartida, la delegacio n
fue invitada a duplicar el volumen del altar cu bico de Apolo. Tomando como
unidad de longitudp
la arista del altar, hubieran debido construir los atenienses
un cubo de arista 3 2 pero, en lugar de ello, cometieron el terrible error de
duplicar la longitud de las aristas, desatando
p as la ira divina. Construir con
regla y compas
un segmento de longitud 3 2 es el problema de la duplicacion
del cubo, tambien llamado de Delfos.
Es muy fa cil bisecar un a ngulo dado (ve ase Figura 7.1). Tambie n sabemos
trisecar un angulo
construir un angulo
que mide la tercera parte (60o o 30o ), pero podemos hacer lo mismo con un
angulo
rculo
debera construirse con regla y
p
un segmento de longitud : Fue Lindemann quien cerro tambien
compas
en el metodo utilizado
negativamente este problema en 1877, inspirandose
por Hermite para probar, en 1873, la trascendencia del numero
e (que no es
raz de ningun
p polinomio con coeficientes enteros, al contrario de lo que ocurre
3
con 0,1, i o 2). La existencia de tales elementos haba sido demostrada por
Liouville en 1844, pero la clasificacion
de e y de como trascendentes tuvo
que esperar tres decadas mas.
176
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
Figura 7.1.
Biseccion
del angulo:
Soluciones aproximadas de estos tres problemas, utilizando herramientas auxiliares, se han dado muchas a lo largo de la historia. Hoy, aunque se
sabe con toda certeza que son irresolubles, siguen recibiendose soluciones
provenientes de matematicos
aficionados que se niegan a aceptar que las construcciones que proponen son necesariamente erroneas.
que se necesitan para demostrar la irresolubilidad de los dos primeros problemas son puramente algebraicos. El tercero,
en cambio, requiere, ademas,
el concurso del analisis
matematico.
La primera
seccion
establece los mencionados preliminares algebraicos. Algunos de ellos
corresponden a conceptos basicos
Extensiones de cuerpos
Hemos visto en captulos anteriores que Q es un cuerpo para las operaciones suma y producto inducidas por la suma y el producto sobre el cuerpo
177
de
escalares f1 ; : : : ; n g, la expresion
1 v1 + + n vn define un unico
vector que
es la combinacion
lineal de v1 ; : : : ; vn con coeficientes 1 ; : : : ; n :
Un conjunto finito de vectores fv1 ; : : : ; vn g es linealmente dependiente si
existen escalares 1 ; : : : ; n , no todos nulos, tales que 1 v1 + + n vn = 0.
Cuando no ocurre tal cosa se dice que fv1 ; : : : ; vn g es linealmente independiente. Un conjunto infinito de vectores es linealmente independiente cuando lo son
todos sus subconjuntos finitos.
Un conjunto de vectores es un sistema generador cuando todo elemento de
F es combinacion
lineal de uno de sus subconjuntos finitos.
Un conjunto de vectores es base (de Hamel) de F si es un sistema generador
linealmente independiente.
Cuando se considera Q
Q , el conjunto de vectores
1;
a + b 3 j a; b 2 Q
como extension
de
extension
tiene al menos una base finita, pero no siempre ocurre tal cosa. En
efecto, si fv1 ; : : : ; vn g fuese una base para R como extension
de Q , entonces
f1 v1 + + n vn j (1 ; : : : ; n ) 2 Q n g :
Como card (Q n ) = 0 , R sera entonces a lo sumo numerable (cosa que no
ocurre).
Supongamos ahora que el conjunto X = fvi ; i 2 Ig, donde el conjunto de
ndices I es posiblemente infinito, es una base de F, como extension
de E.
Sea v 2 F un vector arbitrario no nulo. Veremos que hay una unica
forma de
R=
i2I
P
i 6= 0. Sea tambien v = i vi , con i 6= 0 si, y solo
si, i 2 K. Se tiene entonces
i2I
Figura 7.2.
Particion
de J [ K en los subconjuntos JnK, KnJ y J \ K.
178
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
0=v
v=
2n
i J K
i vi +
2n
i K J
i ) v i +
2\
i J K
( i
i ) vi :
(7.1)
como combinacion
lineal de los elementos de una base. Y
esta afirmacion
es tambien cierta para el vector 0 como consecuencia de la
independencia lineal de X. Estamos en condiciones de definir las componentes
de un vector respecto de una base.
7.2. Si fvi ; i 2 Ig es una base de
Definicion
F, como extension
de E, y v 2 F,
los escalares unicos
i I
(7.2)
x1 (11 v1 + + 1n vn ) + + xp (p1 v1 + + pn vn )
+ p1 xp) v1 + + (1n x1 + + pnxp ) vn :
(7.3)
Ademas,
teniendo en cuenta que fv1 ; : : : ; vn g es linealmente independien=
( 11 x1 +
11 x1 + ::: + p1 xp = 0
:::
::: ::: :::
:::
::: :::
1n x1 + ::: + pn xp = 0
9
=
;
(7.4)
que ecuaciones, es seguro que (7.4) posee soluciones no nulas (ve ase Problema 4.13). En
consecuencia, lo mismo ocurrira con (7.2). Concluimos que fw1 ; : : : ; wp g es
linealmente dependiente.
7.1. Si F, como extension
Proposicion
de E, posee una base finita, entonces
todas las bases de F tienen exactamente el mismo cardinal.
179
Demostracion.
a + b 3 j a; b 2 Q
como
extension
Q , tienen 2 elementos.
Si F es una extension
de E que tiene una base finita, entonces el cardinal
de la extension
y se denota
de cualquiera de sus bases se llama dimension
por [F : E.
7.2. Si G es una extension
Proposicion
de F con base finita y F es una extension
E = [G : F [F : E :
Demostracion.
n 1
+
1x
+ a1 x + a0 2 E [x
xn +
an 1 n
x
an
+ aa1 x + aa0
n
180
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
Volvamos
al
ejemplo
que
venimos arrastrando desde el comienzo de este
p
algebraico sobre Q y su polinomio minimal es x2 3, por lo
captulo: 3 es p
que el grado de 3 es 2.
Supongamos que 1 2 C es algebraico sobre E y que 2 2 C es algebraico sobre E (1 ) : Entonces la extension
algebraica de E por 1 y 2 es
se deE (1 ) (2 ), que se denota, para simplificar, E (1 ; 2 ) : Por induccion
fine, analogamente,
Demostracion.
Desde luego, 1; ; : : : ; m 1 E () es un conjunto linealmente independiente. El conjunto de las combinaciones lineales de dichas
potencias de con coeficientes en E constituyen un grupo conmutativo para
la suma. Demostraremos que es un cuerpo.
Para ver que el producto de dos de dichas combinaciones lineales es un
elemento del conjunto basta probar que toda potencia de se puede escribir
como combinacion
lineal de 1; ; : : : ; m 1 :
Si h (x) es el polinomio minimal de , con
h (x) = a0 + a1 x + + am
m 1
+
1x
xm ;
entonces
m =
a1
a0
am
m 1 :
(7.5)
Por lo tanto,
m+1
=
=
a0
a0
a1
a1 2
am
am
m :
(7.6)
6= 0;
entonces
1
c0 + c1 + + c m
(7.7)
181
es
lineal de
tambien mun1 elemento del conjunto, es decir, una combinacion
1; ; : : : ;
.
Consideremos el polinomio g (x) = c0 + c1 x + + cm 1 xm 1 : Dado que g (x)
y h (x) son primos entre s (dado que h (x) es irreducible y deg g (x) < deg h (x)),
se puede aplicar el Teorema 4.2 (debil de Bezout) que asegura la existencia de
polinomios p (x) y q (x), con coeficientes en E, tales que
p (x) g (x) + q (x) h (x) = 1:
Tomando x = , queda p () g () = 1; ya que h () = 0. Por lo tanto, el
lineal con coeficientes
complejo
de (7.7) es p (
), que tambien es combinacion
en E de 1; ; : : : ; m 1 .
Corolario 7.1. Si F es una extension
de E con base finita y 2 F es algebraico
sobre E, entonces el grado de divide a [F : E :
Demostracion.
7.2 tenemos
[F :
E = [F : E () [E () : E ;
Si m = [F : E es el grado de la extension
F de E, entonces el
conjunto S = f1; ; : : : ; m g F es linealmente dependiente, ya que card (S) =
m + 1. Por lo tanto, existen ai 2 E, i = 0, 1; : : : ; m, no todos nulos, tales que
m
X
ai i
0:
(7.8)
i 0
m
X
ai xi :
i 0
182
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
Teorema 7.1. Supongamos que vale el lema de Zorn. Sea K un cuerpo y F una
extension
de K (Q K F C ). Entonces existe una base de F como espacio
vectorial sobre K.
Demostracion.
La familia E formada por todos los conjuntos de vectores linealmente independientes, ordenados por la inclusion
de conjuntos, (E ; ),
[
B
2L
B:
maximal de M.
Siendo M un sistema generador linealmente independiente es una base de
F.
7.2.
funcional de Cauchy
La ecuacion
Una funcion
f:R
! R es aditiva cuando
f (x + y) = f (x) + f (y)
(7.9)
de
dicha ecuacion).
7.5.
Definicion
Una funcion
f:R
! R es homogenea cuando
f (x) = f (x)
cualesquiera que sean ; x 2 R.
183
Figura 7.3.
Grafica
de una funcion
homogenea f.
De hecho, es facil
ver que f es homoge nea si, y solo
si, f (x) = ax para cierto
a 2 R. En tal caso,
f (x + y) = a (x + y) = ax + ay = f (x) + f (y) ;
de forma que cualquier funcion
homoge nea es aditiva. A raz de demostrar
Cauchy, en 1821, que las funciones aditivas casi son homoge neas (en el
sentido que especifican las dos proximas
se
preguntaron acerca de la validez del recproco: las funciones aditivas, son
siempre homoge neas?
7.5. Si f
Proposicion
r 2 Q y para todo x 2 R.
!R
Demostracion.
f (0 + 0)
f (0) = 0:
(7.10)
f (x) :
(7.11)
(7.12)
184
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
En efecto,
f (2x) = f (x + x) = f (x) + f (x) = 2f (x)
y, suponiendo cierto f (nx) = nf (x) ; obtenemos
f ((n + 1) x) = f (nx + x) = f (nx) + f (x) = nf (x) + f (x) = (n + 1) f (x) :
Cualesquiera que sea n 2 N y x 2 R, de (7.11) y (7.12) se deduce que
f ( nx) = f (n ( x)) = nf ( x) = ( n) f (x) :
(7.13)
(7.14)
x
q
f (x) = f q
=
x
q
qf
es decir,
x
q
1
f (x) :
q
(7.15)
Por ultimo,
si x 2 R y r 2 Q , escribiendo r =
p
, con p 2 Z y q 2 N , de (7.14)
q
f (rx) = f
1
(px)
q
=
1
p
f (px) = f (x) = rf (x)
q
q
f es continua
en R.
Supongamos f continua en x 2 R y sea b 6= x arbitrario. Se tiene
lim f (x)
!b
lim [f (x + x
!b
b) + f (b
x)
lim [f (y) + f (b
!x
x)
185
cierta sucesion
frn g Q . Se tiene entonces, por la continuidad de f en x y por
la Proposicion
7.5,
f (x) = lim f (rn ) = lim rn f (1) = f (1) x:
n
!1
!1
de la Proposicion
7.6 hemos visto que f es continua
sobre R. En ese caso, si < (numeros
racionales y 0 sobre
los irracionales). Por esa razon,
el siguiente resultado, probado por Darboux
en 1880 (aunque la prueba que damos es obra de Young, 1958), supone una
mejora de la condicion
suficiente de Cauchy (Proposicion
7.6).
7.7. Si f : R ! R es aditiva y esta acotada sobre un intervalo
Proposicion
propio (intervalo que contiene mas
de un punto), entonces f es homogenea.
Demostracion.
jf (y)j jf ()j jf (y) + f ()j = jf (y + )j ,
por lo que
jf (y)j k + jf ()j :
Consideramos entonces la funcion
(a)
ax, con a
:=
f (c)
: Proc
' (x + y) = f (x + y)
a (x + y) = f (x)
ax + f (y)
(b) ' esta acotada en R: como ' (c) = 0 y ' es aditiva, ' (x + c) = ' (x),
para todo x 2 R. Esto significa que ' es periodica,
!1
no podra ser acotada en R. Por lo tanto, ' (x) = 0, para todo x 2 R: En otras
palabras, f (x) = ax para todo x 2 R, que es lo que se quera demostrar.
186
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
i I
f (x) =
i f (xi ) ;
8
> xi ,
<
con f (xi ) =
i I
>
:
2= fj, kg
xk ,
i=j
i=k
xj
La definicion
de f (x) es buena, por la unicidad de las componentes fi ;
i 2 Ig, y es inmediato comprobar que f es aditiva.
Si f fuese homoge nea se podra escribir f (x) = ax, para cierto a 2 R. Como
f (xj ) = xk
6= xj = f (xk) ;
= f (xj ) =
axj
(7.16)
axk :
(7.17)
y
xj
= f (xk ) =
el axioma de eleccion.
La existencia de funciones
aditivas no homoge neas sigue siendo, por lo tanto, un problema abierto para
los mas
esce pticos.
187
7.3.
p
2; 0
, 0; 2 .
donde r2
= s2 + t2 ,
a)
+ (y
b)
= r2
0;
0, con
188
AL
ax + by + c = 0
a0 x + b0 y + c0
x2 + y2 + ax + by + c = 0
a0 x + b0 y + c0
puede eliminarse una de las inco gnitas. Por ejemplo, suponiendo b0 6= 0, puede
despejarse y en la segunda ecuacio n y sustituir en la primera, con lo que resulta
una ecuacio n de segundo grado en la variable x con coeficientes racionales. La
p
solucio n de dicha ecuacio n sera de la forma x =
, siendo y
racionales
y
0, puesto que estamos suponiendo que el sistema es compatible.
Obviamente, la forma de y sera la misma que la de x, por lo que se obtienen
puntos (x; y) tales que
p ; y 2 Q p ; 2 Q ; 0:
x2Q
(c) Es facil
x2 + y2 + ax + by + c = 0
x2 + y2 + a0 x + b0 y + c0
es equivalente a otro del tipo (b), por lo que podemos ahorrarnos la discusion.
En resumen, solo
pueden construirse, en esta fase, puntos del plano cuyas
p
; para algun
2 Q ,
0: Desde el
coordenadas pertenecen al cuerpo Q
punto de vista geometrico, si en la Seccion
4.4 se represento Q 2 mediante los
nudos de una malla que refinaba la de la Figura 3.6, que proporcionaba Z2,
ahora un punto construido en esta fase se ubica en algun
nudo de la malla,
p
2.
todava mas
fina, que representa el conjunto Q
Repitiendo la operacion,
solo
pueden obtenerse en la segunda
puntos
p
; p
0fase
Q
,
siendo
que tienen sus coordenadas en un
cuerpo
de
la
forma
p
,
y
0 no negativos. Como esta operacion
un numero
racional y 0 2 Q
p ; p ; : : : ; p ;
1
p p
1 ; 2 ; : : : ; k , para 1 k n.
donde 1 2 Q , k+1 2 Q
Teniendo en cuenta que la afirmacion
de la Proposicion
7.2 referida al
grado de una doble extension
se puede generalizar por induccion
se tiene que
Q
Q
p ; p ; : : : ; p
1
n
p1 ; p2 ; : : : ; pn : Q p1; p2 ; : : : ; pn
1
Q
p1 : Q :
189
p ; p ; : : : ; p : Q = 2p
1
Duplicacion
del cubo
Probaremos que el cubo de arista unidadno puede ser duplicado mediante
p
la regla y el compa s, es decir, suponiendo que 3 2; 0 es construible llegaremos
a una contradiccio n.
p3
El polinomio minimal asociado a 2 es x3 2 (irreducible en Q , ya que
1, 2 no son races y, por la Prop3posicio n 6.5, son las u nicas posibles races
racionales). As pues, el grado de 2sobre Q es 3.
p
p
Por lo visto en la Seccio n 7.3, si 3 2; 0 fuera construible, entonces 3 2 2
Q
Corolario 7.1), esto es, 3 dividira a 2 para algu n entero no negativo p, que es
una contradiccio n.
Triseccion
del a ngulo
de 60o . Dicho
angulo
equilatero).
La interseccion
de la otra semirrecta (supuestamente construible) con la
circunferencia de centro en el origen y de radio unidad permite construir,
con regla y compas,
el punto A (cos (=9) ; sen (=9)). Como podemos trazar
la recta perpendicular al eje de abscisas desde A; concluimos que es posible
construir un segmento de longitud = cos (=9) (ve ase la Figura 7.4).
Puesto que cos (3') = 4 cos3 (') 3 cos ('), y cos (=3) = 1/2, resulta que
es una raz de la ecuacion
4x3 3x = 1/2, cuyos coeficientes son numeros
racionales.
Es facil
probar que la ecuacion
8x3 6x 1 = 0 no tiene races racionales
(Proposicion
6.5), por lo que x3 34 x 18 es el polinomio minimal de , cuyo
190
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
Figura 7.4.
Construccion
con regla y compas
de
= cos 9 .
Demostracion.
191
en la misma
integral que utilizara Hermite para probar la trascendencia de e, siendo tal la
dificultad de la prueba que le dejo,
segun
confesion
propia, sin deseos de
abordar la trascendencia de .
7.5.
Problemas
Problema 7.1.
a) Q ( i) :
b) R ( i) :
c) Q
p p
2; 3
Problema 7.2.
algebraicas:
:
Determine las dimensiones de las siguientes extensiones
a) Q ( i) sobre Q .
b) R ( i) sobre R.
c) Q
p p
2; 3 sobre Q .
Problema
Pruebe que n 2 es algebraico sobre Q y determine una base
p 7.3.
n
de Q
2 como extension
de Q .
Problema 7.4.
Pruebe que si una recta pasa por un par de puntos de
coordenadas racionales entonces admite una ecuacion
de la forma ax + by + c =
0, con a, b; y c racionales. Recprocamente, cualquier recta ax + by + c = 0, con
a, b y c racionales esta determinada por dos puntos de coordenadas racionales.
Problema 7.5.
x2 + y2 + Ax + By + C = 0;
racional.
Problema 7.6.
Pruebe que un sistema compatible determinado de dos
ecuaciones lineales con coeficientes racionales y dos incognitas
tiene como
solucion
un par de numeros
racionales.
192
AL
algebraica de la forma
Q
donde 1 2 Q , k+1 2 Q
truirse con regla y compas.
p ; p ; : : : ; p ;
1
p1 ; p2; : : : ; p
, para 1
k n, puede cons-
Problema 7.9.
Pruebe que si ; 2 C son algebraicos sobre Q y del mismo grado, entonces Q ( ) es isomorfo a Q ( ). (Ayuda: Defina el isomorfismo
utilizando sendas bases de Q ( ) y Q ( ).)
Problema 7.10. Pruebe que, si es trascendente sobre Q , entonces Q ( ) es
isomorfo al cuerpo de las fracciones algebraicas Q ( x). (Ayuda: Establezca primero el isomorfismo entre los anillos Q [ x y Q [ que asocia a cada polinomio
el resultado de sustituir x por .)
Problema 7.11.
be que
32
=Q
Pruebe que Q
2 .)
Problema
segmento con extremos en Q 2 tiene
p 7.12. Pruebe que ningun
longitud 3. (Ayuda: Si existe tal segmento, existen tres naturales a; b y c tales
que a2 + b2 = 3c2 . A partir de la terna con menor c se llega a una contradiccion
al efectuar la division
eucldea de los tres numeros
por 3).
Problema 7.13.
CAPITULO 7
CAPITULO 7
Captulo 1
1.9.
A [ B = [ 2, 5
A \ B = [ 1, 4[
2
A B = (x; y) 2 R j ( 2 x < 4) ^ ( 1 y 5)
A [ C = [ 2, 4[
A \ C = f 2; 1, 0g
2
A C = (x; y) 2 R j ( 2 x < 4) ^ ((y = 2) _ (y =
B [ C = [ 1, 5 [ f 2g
B \ C = f 1, 0g
2
B C = (x; y) 2 R j ( 1 x 5) ^ ((y = 2) _ (y =
1) _ (y = 0))
1) _ (y = 0))
1.10.
a) G = f(1, 14) ; (2,12) ; (3,10) ; (4,8) ; (5,6) ; (6,4) ; (7,2)g :
b) Conjunto original: f1,2,3,4,5,6,7g.
b) Conjunto imagen: f2,4,6,8,10,12,14g :
1.11.
F no es aplicacion,
G y G F son aplicaciones suprayectivas y no inyectivas.
1.12.
a) Es aplicacion
biyectiva.
b) No es ninguna de las tres cosas.
1.13.
Es suprayectiva pero no inyectiva, ya que, por ejemplo, f (1,1) = f (1; 1) :
1.14.
Se demuestra que no se cumplen las proposiciones a), b) y c) para aplicaciones
en general, considerando, por ejemplo, los conjuntos A = fa; b; cg, B = f; ;
g
y X = fa; bg y la aplicacion
de A en B cuyo grafo es
196
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
inversas de
B1 = fg y B2 = f; g :
d) Sean los conjuntos A = fa; b; cg, B = f; g, A1 = fa; bg y A2 = fb; cg. Si
consideramos la aplicacion
cuyo grafo es f = f(a; ) ; (b; ) ; (c; )g, se tiene
de las imagenes
de
la igualdad entre la imagen de A1 \ A2 y la interseccion
A1 y A2 . Por otra parte, si la aplicacion
considerada tiene como grafo g =
f(a; ) ; (b; ) ; (c; )g se tiene el contenido estricto.
1.18.
Un ejemplo que demuestra que la suprayectividad no siempre es heredada por
la restriccion
es el siguiente:
Consideramos los conjuntos A = fa; b; cg, B = f; g y A0 = fa; bg y la aplicacion
de A en B cuyo grafo es f = f(a; ) ; (b; ) ; (c; )g : La aplicacion
f es
suprayectiva mientras que su restriccion
a A0 no lo es.
1.19.
Dado n 2 N , el conjunto cociente es Z=G =
fy 2 Z jy = pn + x; p 2 Zg.
f[0 ; [1 ; : : : ; [n
1g donde [x
1.21.
No es una relacion
de buen orden, ya que, por ejemplo, el subconjunto f1g
0,1[ de R2 no tiene primer elemento.
Cualquier (x; y) 2 R2 con x 0 es una cota inferior de B y cualquier (x; y) 2 R2
con x 1 es una cota superior.
Dado cualquier subconjunto A de N 2 , min A = (M; N) donde M = min fm 2 N j
(m; n) 2 Ag y M = min fn 2 N j (M; n) 2 Ag.
1.23.
No es correcta la prueba. Dado un x 2 E, es cierto que (x; y) 2 G =) (x; x) 2 G.
Sin embargo, puede haber elementos x 2 E para los que no existe ningun
y2E
tal que (x; y) 2 G y en ese caso no podramos deducir que (x; x) 2 G:
1.24.
Relaciones de equivalencia:
G1 = f(1,1) ; (2,2) ; (3,3)g
G2 = f(1,1) ; (2,2) ; (3,3) ; (1,2) ; (2,1)g
197
1.25.
a) Es una relacion
de buen orden y, por tanto, de orden total.
b) Tienen maximo
1.30.
B = (x; y) 2 R2 j y = 1 :
1.31.
Si A es finito la afirmacion
es verdadera, ya que para cualquier a2 2 A, si
a2 6= a1 , entonces a2 no es maximal y existe a3 2 A tal que a2 a3 y a2 6= a3 . Si
a3 a1 no hace falta seguir. En caso contrario se repite el argumento para a3 .
198
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
Como solo
hay un numero
3 4
2 1
2
Captulo 2
2.2.
a) n 3
b) n 5
c) n 4.
2.7.
a) La desigualdad se cumple para todo n 2 N , pero 0
2= N .
b) En el ultimo
paso de la demostracion
se utiliza la igualdad (a + b) = a + b,
que se supone cierta por la hipotesis
de induccion
completa. Sin embargo, si
k
podemos suponer cierto (a + b) = a + b para todo numero
n = 1, tan solo
natural k 1.
2
2.8.
Para n = 40 se tiene 402 + 40 + 41 = 1681 = 412 , que no es un numero
primo.
2.11.
En el primer caso no se pueden cubrir todas las casillas del tablero porque
sobran dos casillas del mismo color (no contiguas). En el segundo caso, podran
de casillas blancas
que de casillas negras).
2.13.
Se aplica el principio del palomar: las once posibles puntuaciones suma, f2,3;
: : : ; 12g, son los nidos y las doce tiradas, las palomas.
2.15.
f sobre: Para N = 1, f (1,1) = N. Si f (m; n) = N, entonces N+1 = f (m + 1; n 1)
si n > 1 y N + 1 = f (1; m + 1) si n = 1.
f inyectiva: Supongamos f (m; n) = f (p; q). Si m + n = p + q, se llega a (m; n) =
(p; q). En caso contrario, si p + q = m + n + h con h 1, se llega a la siguiente
contradiccion:
f (p; q) = f (m; n) +
2.16.
Cardinal 0 .
1
(h (h + 2n
2
3) + 2m (h
1) + 2p) 6= f (m; n) :
199
2.19.
card (Rn ) = c para todo n 2 N . Se demuestra por induccion.
2.20.
a) Si denotamos por S el conjunto que nos dan, resulta que S R4 y contiene
un subconjunto T = f(0,0; x; 0) j x 2 Rn f 0gg que es equipotente a Rn f 0g, por
lo que card (S) = c.
b) Cardinal 0 .
c) Cardinal c.
d) Cardinal c.
2.21.
a)
b)
c)
d)
Cardinal c.
Cardinal c.
Cardinal c.
Cardinal c.
2.22.
Cardinal c. Como R = Q [ I, se tienepcard (I) c. Se establece que I es infinito probando, por ejemplo, que N s 2N I. Luego se aplica la hipotesis
del
continuo.
2.23.
b) Se prueba que el conjunto en cuestion
es equipotente al conjunto Znf0g
(n
Z : : : Z.
c) Es una union
numerable de conjuntos numerables.
d) El conjunto de los numeros
algebraicos es union
de los conjuntos formados
por las soluciones reales de cada una de las ecuaciones algebraicas, por lo que
es union
numerable de conjuntos finitos.
e) Si fuera numerable, R tambien lo sera. Se puede afirmar que su cardinal
es c si se acepta la hipotesis
del continuo.
2.26.
a) La composicion
de aplicaciones inyectivas es inyectiva.
b) Considerese, por ejemplo, f = g : N ! N como la funcion
sucesor.
c) g f es inyectiva por a). Si g f : X !X no fuera suprayectiva, X sera infinito.
2.27.
Si card X = , entonces card 2X
= 2 .
2.30.
Se trabaja en el conjunto ordenado (C ; ) ; pero la union
creciente de conjuntos finitos no siempre es finito. Por lo tanto, no se puede asegurar que cada
200
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
Captulo 3
3.1.
No satisface la propiedad asociativa.
3.2.
a) Monoide abeliano.
b) Semigrupo.
c) Semigrupo abeliano.
3.5.
a) No son isomorfos.
b) Subgrupos de G: G1 = fag, G2 = fa; cg y G. Subgrupos de H: H1
H2 = fs; tg, H3 = fs; ug, H4 = fs; vg y H.
= fsg,
3.6.
a) Ni siquiera es semigrupo.
b) Monoide abeliano.
c) Monoide abeliano.
3.7.
Es una operacion
cerrada conmutativa.
3.9.
Es un isomorfismo.
3.10.
a) G1 = f(x; x) j x 2 Eg y G2 = f(x; y) j x; y 2 Eg :
E=G1 = E y E=G2 = f[xg, x cualquier elemento de E. E=G2 es grupo abeliano.
b) Si E es una pareja las unicas
201
3.14.
G=ker (f) = Q + .
3.16.
La tabla de Cayley del producto en A2 es
1 2
1 2
1 2
2 1
1 2
1 2
1 2
1 2
1 2
2 1
1 2
2 1
1 2
2 1
1 2
1 2
3.20.
Hay 20 alumnos que practican a la vez futbol
y tenis.
3.21.
a) No, no es correcta la informacion.
b) 140 alumnos.
c) 20 alumnos.
d) 130 alumnos.
e) 180 alumnos.
f) 170 alumnos.
3.22.
Hay 457 numeros.
202
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
Captulo 4
4.1.
Es un dominio de integridad.
4.2.
4.5.
Es un anillo.
4.6.
Es un anillo unitario.
4.8.
b) =
6:
4.11.
unica
y es x = 2, y = 6
En Z5 el sistema es incompatible. En Z7 tiene solucion
y z = 5.
4.12.
Solucion
en Z: S = f(x1 ; 1; x1 + 3,1) j x1 2 Zg.
Solucion
en Z9: S = f(1 + x3 + 5x4 ; x4 ; x3 ; x4 ) j x3 ; x4 2 f0,1; : : : ; 8gg.
Solucion
en Z11: S = f(8 + x3 ; 1; x3 ; 1) j x3 2 f0,1; : : : ; 10gg.
Solucion
en Q : S = f(x3 3,1; x3 ; 1) j x3 2 Q g .
4.14.
b) Consideramos la RBE definida por el ideal 2Z [x.
203
4.15.
card fQ [ x Q [ x n f0gg = 0 y la aplicacion
f : Q [ x Q [ x n f0g
! Q ( x)
(p (x) ; q (x)) 7 !
p (x)
q (x)
52
que tengan:
Ai
= fn 2 N jn 52 (i
1)g ;
p
q
1
1
y a es
5
7
4.21.
En cualquier cuerpo ordenado se tiene que 0 < 1; por lo tanto, 0 + 1 < 1 + 1
y tambien 0 + 1 + 1 < 1 + 1 + 1. La interpretacion
en Z3 de las desigualdades
anteriores es [0 < [1 < [2 < [0.
Si (K; +; ; ) fuese un cuerpo finito ordenado, el conjunto fn1 j n 2 N g K
tambien es finito, por lo que n1 = m1 para ciertos n; m 2 N , n < m. Aplicando
la ley de cancelacion
obtenemos 0 = m n, lo cual es imposible.
Captulo 5
5.1.
a) En la demostracion
de la Proposicion
5.2 reemplace en todos los sitios la
palabra regular por convergente, am por a = lim an , y tambien, bm por
b = lim bn .
n
!1
b) La aplicacion
f
!1
: A=I ! Q
definida por
[fan g 7 ! nlim
!1 an esta bien defini-
204
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
!1
!1
!1
5.4.
Dominio de integridad y cuerpo, respectivamente.
5.5.
De
p1
p =x+y
a+b 2+c 4
3
p
3
2+z 4
3
que no es facil
(en Q 3 )
siempre que no se tenga a = b = c = 0.
5.6.
Sea f : [a; b ! R una funcion
continua con f (a) < 0 < f (b). Supongamos
que f (x) 6= 0 para todo x 2 a; b[. Entonces existe una sucesion
de intervalos
encajados f[an ; bn g tal que [a1 ; b1 = [a; b y f (an ) < 0 < f (bn ) para todo n 2 N .
Si fcg
1
\
n=1
!1
5.7.
La funcion
f (x) := xn
es continua.
5.14.
Si sup A 2 B y no es el mnimo de B, entonces existe b 2 B para el cual
b < sup A. Siendo sup A la cota superior mnima existira a 2 A tal que b < a <
sup A, lo que contradice que (A; B) sea cortadura.
5.17.
Consulte algun
texto de analisis
matematico,
205
Captulo 6
6.1.
Sea zn
n
= (1 + in) 2 , n 2 N , y sea (Z4; +; ) el anillo de las clases de congruencia
(1 i)
modulo
3
2
6.2.
Observese que
1 + i tan
1 i tan
6.3.
a)
b)
i;
3+i
;
2
1 + i;
c) 1 + i; 1
3+i
:
2
2+ 3
2
i;
+ i sen e
= cos
= e i = e2i :
cos i sen
1 + i;
2
i:
i;
3+i 3 3 i 3
i 3;
;
;
2
2
d) i 3;
2+ 3
2
i:
3+i 3
;
2
3+i 3
:
2
6.4.
Es grupo conmutativo para el producto (la suma no es operacion
binaria).
6.5.
2k
a) Sustituir n = 3; 4; 6 en ei n , k = 0,1; : : : ; n
n = 4: 1;
1+i 3
;
2
1; i; i.
n = 6: 1;
1;
n = 3: 1;
b) x3
x4
x6
i 3
1
2
1+i 3
1+i 3
;
;
2
2
1 = (x 1) x2 + x + 1 :
1 = (x
1 = (x
1) (x + 1) x2 + 1
1) (x + 1) x2
1:
1
2
x+1
i 3 1
;
x2 + x + 1
i 3
.
2
206
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
6.6.
4
i;
2i
5
6.7.
x = 2 + i, y = 2
6.8.
2, 3, 5, 2i;
i:
2i:
6.9.
3i 3
a) 3,
.
2
p
b) 5, 2 2 3i.
6.10.
a) Las unicas
1
b)
2 6
6.11.
a) 1 y las races de ax2 + (b
1.
1 3+2 6
:
2
a) x + a:
1
:
x
b + a) x2 + (b
a) x + a = 0, que es
6.12.
1
2
y
.
3
5
6.13.
x=
8
>
>
<
>
>
: 5
+ 2k;
k2Z
+ 2k;
k2Z
6.14.
= an
xn
= a n (x
(z1 + : : : + zn ) xn 1 + (z1 z2 + : : : + zn
+ : : : + ( 1)n z1 : : : zn :
zn ) =
1 zn
) xn 2 +
207
de p 2 Z
forman un ideal en Z.
b) 2x 1:
c) R [ x =I puede identificarse con el conjunto de las rectas en la division
ac) :
y R [ x =I.
6.16.
La inyectividad es consecuencia del Corolario 6.1: Si p () = q () para todo
2 Q , entonces p q 2 Q [ x tiene infinitas races racionales y solo
puede ser
p q = 0.
hay cuatro
En el caso de Z2, Z2 [x tiene infinitos elementos, mientras que solo
aplicaciones de Z2 en Z2. Por lo tanto, no puede ser inyectiva.
6.17.
Es verdadera para K = C (o R, o Q ) debido al Corolario 6.1, y falsa para K = Z2
(p (x) = x2 + x se anula en 0 y en 1, a pesar de no ser el polinomio nulo).
Captulo 7
7.1.
a) Q ( i) = fa + bi j a 2 Q ^ b 2 Q g :
b) R ( i) = fa + bi j a 2 R ^ b 2 Rg :
c) Q
p p
2; 3
a + b 2 + c 3 + d 6 j a; b; c; d 2 Q
7.2.
a) 2.
b) 2.
c) 4.
7.3.
xn
2 es el polinomio minimal de
p
n
2 y la base pedida es 1;
p
n
2; : : :
p
n
2n
o
1
208
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
7.4.
Pueden distinguirse tres casos:
c
y 1;
b
a) a = 0 y b 6= 0: 0;
b) a 6= 0 y b = 0:
c
y
b
c) a 6= 0 6= b: 0;
7.5.
El centro es
7.6.
La solucion
de
cb0
ab0
c0 b ac0
;
a0 b ab0
c
;0 y
a
A
;
2
B
2
1;
c
:
b
c
;1 :
a
c+a
:
b
y el radio
ax + by = c
a0 x +b0 y = c0
a0 c
2 Q2 .
a0 b
A2 + B2
2
4C
es
7.7.
CAPITULO 7
BIBLIOGRAFI A
CAPITULO 7
BIBLIOGRAFI A
A continuacion
se recomiendan una serie de obras en las que el lector puede
consultar y, en ocasiones, profundizar y completar los conceptos expuestos
en este libro. Algunas citas bibliograficas
van acompanadas
de un pequeno
basica
Una exposicion
elemental de sus ideas y metodos, Ed. Aguilar. Partiendo de conceptos elementales alcanza
temas avanzados. De lectura y estudio recomendados; en particular, los temas sobre
sistemas de numeros
y construcciones geometricas.
212
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
DORRONSORO, J. y HERNANDEZ,
E. (1996): Numeros,
GARCIA,
J. y LOPEZ
GARCIA
PELLICER, M. (1992): Algebra
lineal y geometra. Curso
teorico-pr
actico,
los Captulos 1, 3 y 4
y muy superficialmente las construcciones de los numeros
reales y complejos.
GOLDREI, D. (1996): Classic set theory, Ed. Chapman & Hall, London. Trata en profundidad el tema de cardinales y las contrucciones numericas.
HAMILTON, A.G. (1981): Logica
para matematicos,
de la antiguedad
BIBLIOGRAFIA
213
y Turing.
De lectura recomendada.
ROBINSON, A. (1966): Non-standar analysis, North Holland. Trata los temas de la contruccion
de los numeros
matematico,
De facil
lectura.
SPIVAK, M. (1970): Calculus, Ed. Reverte. Trata, con nivel basico,
la construccion
de
los numeros
CAPITULO 7
INDICE ALFABETICO
CAPITULO 7
I NDICE ALFABETICO
Afijo de un numero
complejo, 158
Algoritmo de la division,
112
Anillo, 104
ntegro, 105
cociente, 106
con division,
108
conmutativo, 104
trivial, 104
unitario, 104
Anillo de, 105
Boole, 125
clases de congruencia, 108
matrices, 105
polinomios, 110
Aplicacion,
22
biyectiva, 23
identidad, 23
inyectiva, 22
suprayectiva, 23
Argumento de un numero
complejo, 161
Automorfismo, 89
Axioma de eleccion,
66
Bases de Hamel, 66, 177
Bernstein, teorema de, 51
Buen orden, 30
Buena ordenacion
de cardinales, 66
Campo, 108
Cantor
paradoja de, 55
teorema de, 54
Cardinal
del continuo, 60
numerable, 57
Cayley, tabla de, 87
Clase de equivalencia, 27
representante de una, 27
Coeficientes de
una ecuacion
lineal, 109
un polinomio, 110
Combinacion
lineal, 177
Componentes de un vector, 178
Conjugado de un numero
complejo, 158
Conjunto, 18
a lo sumo numerable, 57
cociente, 27
complementario, 19
definicion
por comprehension,
18
por extension,
18
final de una correspondencia, 22
imagen de otro, 22
infinito, finito, 43
inicial de una correspondencia, 22
numerable, 57
preimagen de otro, 22
singular, 21
universal, 55
vaco, 18
Conjuntos equipotentes, 39
Contradiccion,
17
Convergencia de
sucesiones, 122
en C, 159
monotonas,
145
218
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
Correspondencia, 22
codominio de una, 22
composicion,
25
dominio de una, 22
inversa, 25
Cortadura, 142
elemento de separacion,
143
Cota
inferior, 29
superior, 29
Cuerpo, 108
algebraicamente cerrado, 167
extension
de otro dado, 176
ordenado, 120
arquimediano, 122
completo, 147
relativamente compacto, 148
Cuerpo de
fracciones
algebraicas, 118
de un dominio de integridad, 116
los numeros
complejos, 157
los numeros
racionales, 117
Demostracion
por discusion
de casos posibles, 17
por reduccion
al absurdo, 17
Densidad de Q en R, 139
Desarrollo decimal, 62
de un numero
real, 138
existencia de, 146
Diferencia
de conjuntos, 19
simetrica de conjuntos, 31
Dimension
de una extension,
179
Distancia, 121
Divisibilidad de un polinomio por otro,
113
Divisor de cero, 105
Dominio
de integridad, 105
ordenado, 119
Ecuacion
cuadratica,
168
discriminante, 169
funcional de Cauchy, 182
lineal, 109
homogenea, 109
incognitas,
109
termino independiente, 109
Eje
imaginario, 157
real, 157
Elemento
imagen de otro, 22
inverso, 83
maximal, 29
maximo,
29
minimal, 29
mnimo, 29
neutro, 83
nulo, 83
opuesto, 83
preimagen de otro, 22
racional de un cuerpo ordenado, 121
simetrico, 83
unidad, 83
Elementos
algebraicos, 179
positivos en un dominio de integridad,
118
trascendentes, 179
Endomorfismo, 89
Enumeracion,
57
Epimorfismo, 89
Escalares, 176
Espiral de Arqumedes, 164
Extension
algebraica, 179
Familia de conjuntos, 18
Forma
binomica
de un numero
complejo, 157
exponencial de un numero
complejo,
163
polar de un numero
complejo, 161
trigonometrica de un numero
complejo,
161
Forma proposicional, 18
Formula
de Euler, 162
Fraccion,
115
Funcion,
24
aditiva, 182
grafica
de una, 24
homogenea, 182
real de variable real, 24
sucesor, 45
INDICE
ALFABETICO
Grado de
un polinomio, 111
una extension
algebraica, 179
Grafo de
una correspondencia, 22
Grupo, 84
abeliano, 84
cociente, 90
de permutaciones, 100
teorema de caracterizacion,
86
trivial, 85
Hipotesis
del continuo, 66
del continuo generalizada, 66
Homomorfismo, 89
de anillos, 107
nucleo
de un, 90
Ideal, 107
Igualdad de conjuntos, 19
Inclusion
de conjuntos, 19
Infimo, 144
Interseccion
de conjuntos, 19
Isomorfismo, 89
Ley
de cancelacion,
49
de tricotoma, 30
Leyes de
De Morgan, 20
monotona, 96
Metodo de
la completacion
de cuadrados, 168
Modulo
de un numero
complejo, 158
Modus
ponendo ponens, 17
tolendo tolens, 17
Monoide, 84
abeliano, 84
Monomorfismo, 89
Multiplo
de un polinomio, 113
Numero
cardinal, 39
natural, 43
Numeros
algebraicos, 77
219
complejos, 157
decimales, 139
enteros, 93
positivos, negativos, 95
imaginarios puros, 158
racionales positivos, 120
reales, 134
positivos, 135
trascendentes, 77
Operacion
binaria, 82
asociativa, 82
cerrada, 83
conmutativa, 82
inducida, 83
producto, 84
proyectada, 84
Operadores logicos,
15
conjuncion,
15
disyuncion,
15
equivalencia, 15
implicacion,
15
negacion,
15
Orden
extendido, 29
inducido, 29
lexicografico,
33
parcial, 30
total, 30
Par ordenado, 21
Pareja, 21
Parte
imaginaria de un numero
complejo, 158
real de un numero
complejo, 158
Partes de un conjunto, 21
Particion
de un conjunto, 28
Peano
primer teorema de, 45
segundo teorema de, 46
Permutacion,
100
Polinomio
cociente, 112
irreducible, 113
minimal, 180
monico,
179
resto, 112
Polinomios primos entre s, 113
Postulado de continuidad, 143
220
ALGEBRA
Y FUNDAMENTOS: UNA INTRODUCCION
47
del palomar, 51
tercio excluso, 17
Producto cartesiano
de dos conjuntos, 21
de una familia de conjuntos, 65
Producto de
cardinales, 41
numeros
complejos, 157
numeros
enteros, 93
Propiedad
antisimetrica, 20
arquimediana, 136
asociativa, 20
conmutativa, 20
del supremo, 144
distributiva, 20
reflexiva, 20
transitiva, 20
triangular, 121
Proposicion
logica,
15
Raz
de un polinomio, 166
orden de multiplicidad, 167
doble, 167
n-esima, 163
simple, 167
Regla de Ruffini, 167
Relacion
antirreflexiva, 28
antisimetrica, 26
binaria, 26
circular, 33
de equipotencia, 39
de equivalencia, 26
compatible con una operacion,
83
de orden, 28
compatible con una operacion,
50
de pertenencia, 18
reflexiva, 26
simetrica, 26
transitiva, 26
Restriccion
de
una aplicacion,
23
una correspondencia, 33
formales, 71
materiales, 72
Subgrupo, 89
teorema de caracterizacion,
90
Subsucesion,
152
Sucesion,
51
acotada, 131
constante, 131
de Cauchy, 147
de numeros
complejos, 159
nula, 131
recursiva, 51
regular, 131
Suma de
cardinales, 40
numeros
complejos, 157
numeros
enteros, 93
Supremo, 144
Tablas de verdad, 15
Tautologa, 15
Teorema
debil de Bezout, 113
de DAlembert, 167
del resto, 166
fundamental del algebra,
156, 167
Ultimo
elemento, 29
Unidad imaginaria, 157
Union
de conjuntos, 19
Valor absoluto, 121
Vectores, 176
linealmente dependientes, 177
linealmente independientes, 177
Zermelo, teorema de, 66
Zorn, lema de, 66