Professional Documents
Culture Documents
MATEMTICAS
FUNDAMENTOS DE MATEMTICAS
Fernando Zalamea
Departamento de Matemticas
Facultad de Ciencias
Universidad Nacional de Colombia
Fernando Zalamea
Departamento de Matemticas
Facultad d Ciencias
Impresin: Proceditor
proceditorOyahoo.es
Bogot, Colombia
Diagramacin en Ink,X. : Fernando Zalemea, con el soporte de Gustavo Rubiano
Grficas interiores: Margoth Hernndez y el autor
Diseo de cartula: Andrea Kratzer
x, 164 p. : 78 fi.
ISBN 978-958-701-831-8
II
NDICE GENERAL
4.4. Ejercicios
ndice general
50
54
55
57
5.3. Ejercicios
60
Prlogo
6. Tamaos de infinitud
62
62
1.1. La sorpresa
6.2. Ejercicios
67
1.2. La invencin
1.3. El rigor
7. Nmeros naturales
68
68
70
14
74
15
7.4. Ejercicios
76
2.2. Proposiciones
19
2.3. Ejercicios
24
1.4. Ejercicios
2. Conjuntos finitos y proposiciones
12
78
79
27
86
27
89
3.2. Cuantificadores
31
8.4. Ejercicios
92
3.3. Ejercicios
33
9. Nmeros reales
94
4. Relaciones y funciones
36
94
4.1. Relaciones
37
96
4.2. Funciones
42
98
99
,V
NDICE GENERAL
III
105
107
109
112
113
122
125
128
128
136
138
140
13.Nmeros complejos
13.1. Nmeros complejos
13.2. Representaciones geomtricas
13.3. Exponencial compleja
13.4. Ejercicios
142
143
144
147
151
152
152
154
157
160
Bibliografa anotada
163
VII
3); pero, a su vez, observamos que no contamos con las herramientas necesarias para el manejo del infinito, y nos abrimos a la relacionalidad y a la
funcionalidad (captulo 4); en otras instancias sucesivas, ya con esas herramientas en mano, aprendemos a educar nuestra frgil intuicin infinitaria
(captulos 6 y 10). En forma similar, observamos cmo, ms all de las
proposiciones (captulo 2), requerimos cuantificadores (captulo 3) para los
manejos conjuntistas. Las diversas limitantes de los conjuntos de nmeros
dan lugar a las construcciones arquitectnicas de los enteros (captulo 8),
los racionales (captulo 8), los reales (captulo 9) y los complejos (captulo 13), con las cuales se pueden ir subsanando progresivamente las diversas
obstrucciones encontradas en cada piso del edificio numrico. Finalmente, se
revisan algunas de las mltiples fronteras algebraicas que pueden explorarse
gracias a manejos polinomiales (captulo 12), hasta llegar a la mejor resolucin posible de esas limitantes, con el teorema fundamental del lgebra
para los nmeros complejos (captulo 14). A lo largo del texto, en el momento de introducir conceptos, pruebas o ejemplos, se enfatizar a menudo
ese primer motivo fundamental, alrededor d las limitantes del saber, donde
el proceder matemtico tiene muchsimo para ofrecernos.
El segundo principio bsico alrededor del cual evoluciona el texto consiste
en manejar pragmticamente las fronteras de la nocin de demostracin. La pragmtica consiste aqu en ir y venir alrededor de los supuestos
bagajes previos del estudiante, sin nunca asumir del todo ni una determinada carencia, ni un determinado logro, sino aumentando a lo largo del texto
su capacidad para manejar conceptos y para escribir pruebas ligadas a esos
conceptos. La evolucin de las pruebas es patente, empezando desde argumentos sencillos y bloqueos esperados (captulo 1), pasando por pruebas
ms sofisticadas (teoremas de Cantor, captulo 4; buen orden, captulo 7;
identidad de Bzolit, captulo 8), y llegando a la magnfica prueba de Gauss
del teorema fundamental del lgebra (captulo 14). En todo este proceso,
nunca se alcanza un rigor formal (o fundamentalista) de prueba, un rigor al que se ir acercando poco a poco el estudiante en su Carrera. Una
supuesta fundamentacin definitiva del saber matemtico no es ms que
una quimera, y el estudiante deber ir incesantemente revisando y reacondicionando la adquisicin de sus conocimientos a lo largo de la Carrera. Sin
embargo, luego de este primer acercamiento a la nocin de demostracin, se
confa en que el estudiante ser capaz de detectar niveles de dificultad en las
pruebas, y de manejar cada nivel de acuerdo con los problemas, conceptos,
ejemplos y mtodos que se le provean.
VID
IX
Otra recomendacin importante consiste en leer, paralelamente, algunos
libros de historia de la matemtica. Slo al descubrir y ver la matemtica
encarnada en las figuras de sus grandes inventores y gestores, puede empezar
a sentirse la rica viveza y la extraordinaria ingeniosidad del pensamiento
matemtico. A lo largo del texto, el estudiante encontrar algunas notas a
pie de pgina con brevsimos resmenes de vida y obra de matemticos que
han cambiado los rumbos de la disciplina. Las notas slo aparecen como
una incitacin a imprescindibles lecturas complementarias en historia de las
matemticas, que debe realizar el estudiante.
Como el estudiante observar repetidamente a lo largo del texto, estaremos delineando un panorama esencialmente incompleto, que slo se ir precisando mejor a medida que el estudiante recorra la Carrera de Matemticas. En muchos momentos del texto, proyectamos situaciones que habrn de
entenderse plenamente slo en ciertos cursos posteriores. Hemos intentado
dejar claramente explcitos esos lugares de apertura hacia el futuro, ayudando as, en lo posible, a construir una gua que le pueda servir al estudiante
para orientarse dentro de un relieve complejo, que a menudo no le permite
ver sino infranqueables montaas en derredor.
Los procesos de aprendizaje, como ir descubriendo el estudiante, necesitan de una permanente revisin de los conceptos, definiciones, demostraciones y ejemplos en juego. El entendimiento no surge de una vez por todas,
en forma absoluta o emanada de alguna iluminacin superior, sino a travs
de una tarea paciente de reelaboracin constante, producida por la dura tenacidad de los seres humanos. El edificio del saber va asentndose poco a
poco, a partir de ideas intuitivas que van refinndose progresivamente. El
hecho de contar con ejemplos intuitivos de reales en los primeros captulos,
por ejemplo, no rie con que esos ejemplos vuelvan a ser reeutendidos sobre
nuevas bases, y con un rigor mayor, en los captulos posteriores. El estudiante
debe rehacer las demostraciones, primero observndolas, luego dejando de
lado sus apuntes, y situndose sin ms ayudas ante un papel en blanco.
De la misma manera, los ejemplos y ejercicios que proveen los instructores
en el tablero deben incesantemente reescribirse. Escribir correctamente (no
slo matemticamente, sirio en espaol) es un bagaje imprescindible en una
carrera de precisin como la que emprende el estudiante (tanto una carrera
contra el tiempo, corno una Carrera disciplinar exigente). Un sabio manejo de las jornadas diarias de estudio y una dedicacin plena a las labores
universitarias son aqu primordiales. Muchos sacrificios son finalmente recompensados por la amplitud de miras, el rigor de pensamiento y la fluidez
metodolgic,a, que consigue el matemtico.
1.1. La sorpresa
Captulo 1
La matemtica se mueve en una incesante oscilacin pendular entre reconocer singularidades y rupturas dentro de un contexto dado y, luego, tratar
de superarlas e integrarlas como regularidades o continuidades dentro de
otro nuevo contexto ampliado. La fuerza del mundo real, con su enorme
complejidad multiforme, donde todo es mezcla, subyace en los intentos de
delimitacin, anlisis y conocimiento de esa realidad por diversas comunidades de intrpretes. Mediante mltiples filtros de representacin, en el
mundo alterno de las ideas se detectan entonces colecciones de estructuras y
relaciones generales entre ellas, que dan lugar a valiosos grmenes de orden,
simetra y continuidad con los que se intenta comprender el medio ambiente,
tanto natural como interpretativo, donde circulan los fenmenos y el saber.
El mundo de las
matemticas: sorpresa,
invencin, rigor
Contenido
1.1. La sorpresa
1.2. La invencin
1.3. El rigor
1.4. Ejercicios
2
4
7
12
En este primer captulo presentamos algunas de las problemticas profundas a las que debe abocarse el conocimiento matemtico, y las ilustramos
con algunos ejemplos clsicos derivados de la matemtica griega. El manejo
de ciertos razonamientos -en particular, la expansin imaginativa obtenida
mediante las pruebas por contradiccin- se entrelaza con conceptos, definiciones y ejemplos, alrededor de una idea fundamental que vertebra toda la
disciplina: las matemticas constituyen un instrumentario tcnico y conceptual sofisticado para capturar trnsitos y obstrucciones entre el mundo fsico
real y las urdimbres ideales del saber.
Una de las blondas preguntas filosficas detrs del conocimiento matemtico consiste en cuestionarse acerca del irrazonable xito de las construcciones ideales matemticas en su aplicabilidad al mundo real. Aparentemente
ajenas a la circunstancia, las matemticas de los griegos, de los chinos, de
los hindes, de los rabes mantienen an su vigencia y subsisten an sus
ejemplos, definiciones, teoremas. De forma muy diferente a lo que sucede en
otros mbitos de la cultura, donde no rigen ni la evolucin ni la acumulacin del saber, en las matemticas se avanza en cambio en la elaboracin de
un gran edificio, donde a lo largo de la historia se acumulan fragmentos de
conocimiento universal que trascienden sus acotados cronotopos de origen.
Tanto los acordes como los contrastes entre lo ideal y lo real impulsan los
desarrollos de las matemticas, y una constante sensacin de sorpresa nos
sumerge al contemplar la estabilidad de nociones y conceptos matemticos
que habran podido estar destinados al deterioro y al olvido.
Uno de los primeros grandes desajustes dentro del conocimiento matemtico emerge cuando en la escuela de Pitgorasi se descubre que la diagonal
d de un cuadrado de lado 1 es inconmensurable, con el lado: no existen
nmeros a y b (para los griegos, nmeros naturales mayores o iguales
que 2) que conmesuran d y 1, es decir, tales que d b = 1 a. Mientras
Pitgoras (Grecia, siglo VI a.C.) es uno de los fue1 dadores de la matemtica corno mtodo general
del saber. Sabio universal, impuls las conexiones
de la matemtica con la filosofa, la msica y la
cosmologa.
1.1. LA SORPRESA
que en las matemticas previas a Pitgoras todo deba ser armona y razn
(como en el caso de las relaciones que el mismo Pitgoras encuentra entre
las matemticas y la msica), el descubrimiento de la inconmensurabilidad
de d introduce, con un ejemplo irrefutablemente sencillo, aquello que no es
capturado por la razn. De hecho, si entendemos (con la matemtica rabe
medieval) los nmeros racionales como primeras coordenadas de la razn,
nmeros que se expresan como razones a/b donde a y b son dos enteros
(b # O), el desajuste de la razn se expresa matemticamente diciendo que
1/2 (igual a d por el teorema de Pitgoras) no es un nmero racional. En esas
condiciones, emerge una gigantesca sensacin de sorpresa en el pensamiento
griego, a la vez que se abren los linderos fascinantes de la negacin, del
revs de la razn. Como veremos en la tercera seccin de este captulo, el
hecho de que esos linderos de lo no dado se abran as al razonamiento y al
riguroso control matemtico constituye el comienzo de las altas aventuras
del pensamiento matemtico.
Ante un desajuste, una irregularidad, un desequilibrio, el matemtico
procede entonces a construir todo un gran andamiaje de conceptos, representaciones, definiciones, deducciones, ejemplos para captar parcialmente
aspectos de la singularidad percibida. Esto da lugar a profundos desarrollos
matemticos donde la sorpresa inicial pasa a ser entendida con mayor propiedad, permitiendo explicar en parte los desajustes observados en una primera
instancia. Una ampliacin en forma de espiral es propia entonces del saber
matemtico: cada vez que se avanza a lo largo de la espiral del conocimiento,
se regresa a la problemtica inicial desde una nueva perspectiva, con nuevas
herramientas que permiten ver ms y mejor. En ese proceso, no existe un
fundamento ltimo, ni una visin superior nica que resuelva todos los
problemas.
Si la matemtica se preocupa por un tipo de sorpresa ligada a lo singular,
a lo incomprensible en primera instancia, una fuerte oscilacin del pndulo la
acerca de manera natural tambin al estudio de ciertas formas de equilibrio y
de simetra con las que pueden codificarse regularidades profundas, tanto en
el mundo real, como en el conjunto de urdimbres ideales con las que se intenta
cartografiar esa realidad. La geometra de los nmeros en la matemtica
griega combina de manera vistosa algunos ejemplos elementales de simetra.
I I
geomtricas, se combinan adecuadamente entre
a al
s.
De hecho, una primera constatacin recursiva permite observar que Tn =
Tn_i+n, un tipo de enlace aritmtico muy primario, que puede ser pronto superado por relaciones geomtricas ms interesantes. En efecto, un desplazan_i+Tn =
miento invertido de Tn _, sobre Ta muestra inmediatamente que T
C., as como otro desplazamiento muestra que Tn +Tn = n(n +1), de donde
Tn = n(n+ 1)/2.
La extensin infinita de ciertos conceptos es otra de las fuentes centrales
de sorpresa en la matemtica griega. La prueba clsica de la infinitud de los
nmeros primos (ver seccin 3) -una joya de sencillez que se abre tanto al
revs del razonamiento (prueba por contradiccin) como al anlisis estructural de un problema (factores y factorial)- abre compuertas insospechadas en
la matemtica. La prolongacin indefinida, la extra-limitacin de lo acotado
incitan a la bsqueda prolongada e incesante de aquello que se nos escapa.
La imaginacin matemtica empieza entonces a explorar oquedades, cesuras
y fronteras del entendimiento de las que nunca podr volver a retrotraerse.
1.2. La invencin
Los cauces de la invencin matemtica son multiformes y multifacticos.
Un concepto matemtico merece entenderse como un complejo hipercubo
n-dimensional, que va siendo capturado progresivamente gracias a diversos
cortes transversales. Las perspectivas desde las que se percibe cada corte
cambian incesantemente, y es casi imposible entrelazar unitariamente todas
las secciones a partir de las cuales podra reconstruirse el concepto completo.
La emergencia de la inventividad matemtica estuvo, en los comienzos
de la cultura griega, ligada profundamente con la filosofa. Herramientas,
ambas, de comprensin general del mundo, buscaron en un mismo tiempo armonas y equilibrios entre el aparente caos circundante. Las paradojas
1.2. LA INVENCIN
6
de Zenn de Elea2 se inventaron como argumentos lgico-matemticos sofisticados para sostener una posicin filosfica fascinante pero difcilmente
defendible: la visin piirmenfdea de que el movimiento no existe y de que
la mayora de nuestras percepciones no son ms que ilusiones en un mundo
esttico, uno, permanente, sin flujos de ningn tipo. La lectura filosfica
del mundo segn Parmnides va claramente en contra de nuestro sentido
comn, ya que sin cesar creemos percibir flujos, cambios, movimiento. Sin
embargo, nuestro sentido comn es el que podra estar engandonos: nada,
a priori, nos asegura que nuestra percepcin no nos est jugando una mala
pasada. Los argumentos de Zenn intentan abrir la posibilidad de que las
tesis de su maestro Parmnides puedan representar una alternativa vlida
en la filosofa.
Zenn procede por un argumento dialctico, que evoluciona hacia lo que
pronto llamaremos prueba por contradiccin. Zenn quiere demostrar que no
hay movimiento; si sus contendores consideran que se trata de una posicin
absurda, l les demostrar que la posicin de ellos tampoco puede considerarse como muy firme. Asuma, por lo tanto, que el movimiento s existe.
Suponga, por ejemplo, que hemos de lanzar una flecha entre un punto (A) y
otro punto (B); la experiencia prctica y el sentido comn nos aseguran que,
con un buen arquero, la flecha se mover, partir de (A) y llegar a (B). Sin
embargo, nos dice Zenn, para cubrir ese trecho, la flecha habr antes de
llegar a la mitad del camino, y, antes, a la mitad de la mitad de ese camino,
y, antes, a la octava parte de ese camino, y, antes, a la dieciseisava parte
del camino, y as sucesivamente. Siguiendo el razonamiento al infinito, la
flecha no lograr superar entonces sus supuestos primeros desplazamientos
y no podr entonces empezar a moverse: el movimiento no existe, es una
ilusin. Se trata de mi argumento lgico-matemtico sofisticado, una invencin que ampla los lmites de la razn humana, que no es fcil de rebatir
de una manera rigurosa. Si confiamos en nuestro sentido comn, sabemos
que las paradojas de Zenn tienen que poder ser refutadas, pero no es fcil
lograrlo mediante argumentos elementales. De hecho, slo un pleno control
del infinito permite resolver cuidadosamente las paradojas, algo que apenas
1.3. EL RIGOR
rablemente nuestros panoramas (Lqu tanto se abre hacia los lados y hacia
arriba el retculo de divisibilidad?: mucho: ver ejercicios 1.8, 1.9). Entramos entonces en mbitos de la imaginacin de los cuales nunca querr volver
a escapar el matemtico.
n+1
10 .25
1.3. El rigor
Despus de los procesos de la invencin -o, mejor, entrelazados con ellos
los procesos de prueba afianzan la prctica del matemtico. Las pruebas no
1.3. EL RIGOR
rectngulo de catetos iguales a 1. De hecho, lo anterior sugiere el hecho (cierto) de que el teorema de Pitgoras y la ley bsica de la trigonometra son
proposiciones equivalentes, es decir demostrables la una a partir de la otra.
En la edificacin de la matemtica, deber entonces asumirse en algn momento uno de los dos enunciados como ms elemental que el otro, y entonces,
al demostrar el enunciado de ms bajo nivel de complejidad, podr rpidamente deducirse el otro con un argumento similar al indicado arriba.
As como los estratos de informacin matemtica se sedimentan unos
sobre otros, los tipos de razonamiento lgico tambin se encadenan entre
s. Los argumentos dialcticos de Zenn dan lugar a mtodos rigurosos de
razonamiento. Las pruebas por contradiccin, fundamentales para el desarrollo de la matemtica griega, como inmediatamente veremos, esquematizan
de manera muy sencilla la dialctica de Zenn: para demostrar algo, basta
con asumir lo contrario y llegar a una contradiccin. Es lo que hace Zenn,
al querer mostrar que no hay movimiento: asume lo contrario (la flecha se
mueve) y llega a una contradiccin (la flecha est en reposo). El esquema
de la prueba se escribe entonces: (no p implica contradiccin) implica p.
En el captulo 2 introduciremos unos operadores ms cmodos de negacin
e implicacin para poder controlar mejor este tipo de frases, y podremos
observar cmo la prueba por contradiccin se encuentra estrechamente ligada
con la prueba por contrarrecproca: para probar p implica q basta con probar
que no q implica no p (atencin a la fundamental inversin de los trminos).
Podemos ahora demostrar la gran sinrazn que tanto perturb a la escuela pitagrica, a saber que la hipotenusa de un tringulo rectngulo de
catetos iguales al no puede ser medida por un nmero racional. A
partir del teorema de Pitgoras sabemos que ,J2 mide esa hipotenusa, pues
(N/2)2 = 2 = 12 +12. Por otro lado, mediante una prueba por contradiccin,
procedemos a demostrar la irracionalidad de N/2. Supngase por tanto lo
contrario, es decir que 1/2 es racional: N/2 = b, con a, b naturales, b l O.
Puede suponerse que a y b no tienen factores comunes (llamemos (*) a esta
condicin), ya que, si los tuvieran, esos factores comunes podran eliminarse
al simplificar repetidamente la fraccin. A partir de N/2 = t se deducen
entonces las igualdades bN/2 = a y, elevando al cuadrado, 2b2 = a2 (**), por
lo tanto a2 es par. Ahora bien, si a2 es par, entonces a es ba: deghecho, una''
elemental prueba por contrarrecproca muestra que si un nmero 2n + 1 es
impar, su cuadrado (2n+1)2 = 4n2 +4n+1 es impar. Tenemos entonces que r,
a = 2k y, reemplazando en la ecuacin el, se deduce(2b2 = (2k)2 =
por tanto b2 = 2k2, es decir que b2 es par, lo que obliga a que b sea par. Se
concluye que a y b son ambos pares, lo que contradice la condicin (5),
1.3. EL RIGOR
11
12
1.4. Ejercicios
Nota. Los ejercicios de este primer captulo enfrentan los diferentes bagajes
de los estudiantes con la nocin central de demostracin. Se pretenden manejar aqu nociones intuitivas de prueba y de propiedades numricas que, a
lo largo del texto, se decantarn luego con todo el cuidado necesario. Las
obstrucciones naturales que encuentren los estudiantes en estas primeras
pruebas debern irse subsanando paulatinamente a lo largo del curso. Aqu,
dependiendo de cada nivel y de cada bagaje para cada estudiante del curso
de FUNDAMENTOS, debern producirse importantes crisis, que debern ser
poco a poco superadas. Sin una crisis (del griego krisis, decisin), y sin
la conciencia del no saber, difcilmente puede procederse al saber, ya que
sin una crisis es difcil decidir conscientemente qu caminos adoptar en el
aprendizaje.
1.1. Demuestre que si p es primo, N/p es irracional (calque la prueba de que
de los nmeros primos -ver
N/2 es irracional, y use la propiedad fundamental
ejercicio 1.5-: p primo y p 1 ab implica p1 aopl b).
1.2. Demuestre que N/6 es irracional.
1.3. Considere los nmeros piramidales (o tetradricos) P,, definidos por
-Pn = Tr +T2 -I- +T,, (suma de los n primeros nmeros triangulares).
Explique visualmente el trmino asignado (.piramidal) y encuentre (sin
demostrarla) una frmula general para P,,.
1.4. Demuestre la existencia de un par de nmeros a, b tales que se tengan
(a la vez): a, b irracionales, ab racional. Ayuda: considere VT/7 y realice
un argumento por casos, dependiendo del resultado de esa exponenciacin
(racional o irracional).
1.5. Asumiendo el teorema de descomposicin en primos (n natural, n > 2
implica que existen primos pi y exponentes al >1 tales que n = Hp7')
demuestre que p es primo si y slo si (p 1 ab implica pl a o p b).
1.6. Estudie otra prueba visual del teorema de Pitgoras basada en los desplazamientos de los dos tringulos A y B en la figura adjunta:
rW
1.4. EJERCICIOS
13
Captulo 2
Conjuntos finitos y
proposiciones
Contenido
2.1. Conjuntos, pertenencia e inclusin
2.2. Proposiciones
2.3. Ejercicios
15
19
24
2.1.
15
16
definiciones.
Definicin 2.1. Sean A y B dos conjuntos. Decimos que A est incluido
en B (o que A es subconjunto de B, o que A est contenido en B), lo que
denotamos por A C B, si y slo si todo elemento que pertenece a A es un
elemento que pertenece a B. La relacin A C B entre conjuntos se llama la
relacin de inclusin (o de contenencia).
De manera complementaria, denotamos A B para indicar que A no
est incluido en B. Es fundamental observar aqu (por ahora de manera
intuitiva, explicaremos esto mejor en el captulo 3) que A B corresponde
a negar la frase (todo elemento de A es elemento de B), es decir, a afirmar
que existe algn elemento de A que no es elemento de 13,
Es fundamental distinguir aqu de manera muy clara los signos fundamentales de la escritura conjuntista, y no mezclarlos arbitrariamente. Las
distinciones entre los signos positivos { , } , E , C , = son imprescindibles.
En particular, nunca deben confundirse la pertenencia (E, relacin entre un
elemento y un conjunto) y la inclusin (C, relacin entre dos conjuntos, que
involucra a todos los elementos del primer conjunto). A su vez, deben distiny, en particular, hay que
,
guirse claramente los signos negativos ,
distinguir la relacin de no pertenencia (que solo se refiere a un elemento y a
17
18
n O
n=1
n=2
n=3
2.2. PROPOSICIONES
19
2.2. Proposiciones
Por medio del trmino proposicin, entenderemos en este texto cualquier
tipo de asercin matemtica usual para la cual podemos intuitivamente afirmar que posee un valor verdadero (V) o falso (F). Por ejemplo, las aserciones
2 es un entero impar, 3 1 9 (3 divide a 9), o O O son proposiciones, la primera con un valor falso, la segunda con un valor verdadero, la tercera con un
valor falso. Las aserciones 2 1, x = 7, o A =}1, 2 no son proposiciones, ya que
no son verdaderas ni falsas, la primera porque est incompleta (i2 divide
qu?), la segunda porque el valor de verdad depender de qu substituyamos
por x, la tercera porque es una sucesin de signos gramaticalmente incorrecta. Denotaremos usualmente por p, q, r, ... ciertas proposiciones genricas:
estos signos se denominan letras proposicionales.
Restringiremos aqu la nocin de proposicin al mundo matemtico
elemental, y no nos andentraremos en el manejo ms vago de proposiciones
aplicadas a eventos externos del mundo en general, que adquieran valores
verdaderos o falsos, como por ejemplo ahora llueve, o mi padre canta.
Son tantos los ejemplos y es tan amplio el universo de las matemticas que,
en primera instancia, no slo no es necesario salir de ese mundo, sino que es
altamente recomendable sumergirse plenamente en l, en un primer curso
de FUNDAMENTOS.
La trama de los razonamientos lgicos elementales, como vimos en el primer captulo, est en buena medida determinada por ciertas transferencias
de informacin ligadas a las ideas de negacin y de implicacin. A continuacin, convertimos esas transferencias en operadores precisos sobre los que
puede establecerse un adecuado control matemtico.
20
p q
VV
p-4q
V
pAq
V
pVq
V
pf->q
V
y F
FV
F F
F
F
y
V
y
F
F
F
.V
y
V
2.2. PROPOSICIONES
21
22
-,q
F
V
F
V
p
V
V
F
F
q
V
F
V
F
p
V
V
F
F
q -'p
V F
F F
V V
I, V
q A -,q
F
F
F
F
-9
F
V
E
y
--151
F
F
y
V
--13 -+ (q A -'q)
V
V
F
F
-9 -4 -y
V
F
V
V
p -1 q
V
F
V
V
(-9 -, -Ip) -4 (p -4 q)
V
V
V
V
q)
(p A q)
En efecto, resulta muy fcil chequear que las tablas de verdad correspondientes a estas frmulas son tablas de verdad de tautologas.
Ejemplo 2.9. Ya que, al azar, no es fcil que las tablas de verdad terminen
en columnas con entradas verdaderas, parecera que la mayora de las
frmulas no fueran tautologas (sin embargo, vase el ejercicio 2.11). Algunas
frmulas que no son tautologas, y que corresponden a errores tpicos de
razonamiento son las siguientes:
(-ti, -4 -9) -+ (p -a q)
- (P
-> (q V r))
(p
q).
Podemos ahora desglosar la relacin bsica de contenencia entre conjuntos de la siguiente manera, haciendo entrar explcitamente en juego las
nociones fundamentales de este captulo (conjunto, elemento, contenencia,
pertenencia, implicacin) y una de las nociones fundamentales del prximo
captulo (cuantificador, universal para todo):
2.2. PROPOSICIONES
23
24
Hay que observar la gran diferencia que se tiene entre el anlisis o desglose de la relacin de inclusin (que involucra al cuantificador universal
para todo, la implicacin y la pertenencia positiva), y el anlisis de la
relacin de no inclusin, que involucra el cuantificador existencial existe,
la conjuncin y la pertenencia negativa:
2.3. Ejercicios
2.1. Proporcione ejemplos concretos de conjuntos A, B, C, D, E, que verifiquen las siguientes relaciones de inclusin (donde una flecha ascendente
corresponde a una inclusin C, y donde la ausencia de lneas en un mismo
nivel corresponde a no inclusin):
25
2.3. EJERCICIOS
(P
(-1/) 9)
P)
O D E
2.2. Encuentre todos los subconjuntos de A4 = {1, 2,3, 4} y realice el diagrama de Heme de (p(A4), C) (conjunto de partes con la relacin de inclusin
entre los subconjuntos).
((7, --> 9)
26
19
(P ---> P)) ,p
2.10. Descubra cules son las dos nicas posibilidades de tablas de verdad
para un conectivo binario >14 que pretenda poder reconstruir, con slo combinaciones del mismo conectivo >14, a todos los dems conectivos (piense, en
particular, en las exigencias que tienen que asumirse para poder reconstruir
la negacin: considere combinaciones de 14 y p y comprelas con p).
2.11. Explique por qu, aparentemente, hay ms frmulas no tautolgicas que
frmulas tautolgicas. Sin embargo, intente explicar por qu, en realidad, hay
exactamente tantas tautologas como no tautologas.
2.12. Defina una familia cei, a2, . de frmulas de la manera siguiente: al =
p. Qu puede decir de los an: son o no
p)
p), a+1 = (a,
(p
tautologas, y por qu?
28
Captulo 3
Enteros: Z = {, , n 1, n, , O, ,n,n + 1, }.
Se trata de los nmeros naturales y de sus inversos para la suma (nmeros negativos).
Conjuntos infinitos y
cuantificadores
Contenido
3.1. Conjuntos de nmeros
3.2. Cuantificadores
3.3. Ejercicios
27
31
33
Se trata de los racionales y de nmeros adicionales (expansiones decimales no peridicas) que intentan cubrir los huecos existentes en la lnea
racional (discreta), para convertirla en un continuo.
Por construccin, tenemos una cadena de conjuntos: N C Z C Q C R,
con claras contenencias estrictas en cada caso:
Z / N pues, por ejemplo, 1 E Z y 1 / N;
Una vez concretado un cierto ncleo finito / proposicional de las matemticas elementales, como lo hicimos en el captulo anterior, podemos ahora
s tratar de empezar a expandimos hacia sus bordes: hacia lo no finito y
hacia lo no proposicional, es decir hacia lo infinito y lo cuantificacional. La
idea fundamental es que, una vez entrados en el mundo de los conjuntos
infinitos (como es el caso de los principales conjuntos de nmeros, de los que
nos ocupamos en el curso de FUNDAMENTOS), un primer control del infinito
se consigue, de manera positiva, mediante el cuantificador universal, y, de
manera negativa, mediante el cuantificador existencial. Un segundo control
se obtendr, en los captulos posteriores, mediante las nociones de relacin
y funcin.
29
30
Definicin 3.1. Un conjunto es infinito si contiene un subconjunto similar a N. Intuitivamente, el conjunto es infinito si un listado de sus elementos,
sin repeticiones, no se acaba. En el captulo 4 introduciremos las herramientas para definir rigurosamente la nocin de similaridad y en el captulo
6 revisaremos con cuidado las similaridades y las no similaridades entre los
conjuntos infinitos l'anales.
Z(m = 1)
pZ
4Z
6Z
O 2 4 6 2n 2ri + 2 .
La propiedad paradjica de poder asociar la parte al todo es caracterstica de los conjuntos infinitos, y, como veremos ms adelante, consiste
en el corazn mismo de lo infinito. La bellsima frase de Pascal', el corazn
posee razones que la razn no conoce, no slo debe abrirnos a una razn
extendida a la imaginacin, como lo hemos sealado en el captulo 1, sino
que puede aplicarse a la comprensin compleja misma de la infinitud: el
infinito posee razones que la razn finita no conoce.
.q>
Ppi (in = O)
El estudiante podr observar lo mucho que este diagrama se parece
tructurahnente al diagrama de Hasse de (N, 1) (naturales con la relacin
divisibilidad) que introdujimos en el captulo 1. De hecho, los diagramas s
exactamente inversos uno del otro, y coinciden perfectamente si se los tn
lapa por medio de una reflexin. Esta inversin de los dos diagramas pue
expresarse de una manera completamente precisa mediante la constataci
fundamental:
mZ C nZ si y slo si u I m.
3.2. CUANTIFICADORES
31
3.2. Cuantificadores
Entendemos aqu por cuantificadores los cuantificadores para todo y
existe, en su uso intuitivo dentro del mbito de los conjuntos de nmeros
y en su uso en las pruebas sencillas del estilo introducido en el captulo 1. En
momentos posteriores de la Carrera de Matemticas, se realizar tanto un
tratamiento axiomtico de los cuantificadores (curso de LGICA), como un
tratamiento extendido de los mismos (curso de TEORA DE MODELOS), que
permiten ampliar la intuicin y abrirse a otros cuantificadores alternativos,
en el mundo de las matemticas avanzadas.
Los cuantificadores que manejamos a este nivel son:
nombre
cuantificador universal
cuantificador existencial
(9
O
32
3x-,P(x)
33
3.3. EJERCICIOS
lontenencia
un ejemblo infbastdpara 'demostrar una
34
2Z
Q
Busque usted, por su cuenta, otras inclusiones o no inclusiones entre los
conjuntos infinitos que desee.
3.5. Demuestre que un conjunto finito no puede ser similar a una de sus
partes propias. Observe la vaguedad del artculo indefinido un: puede entenderse como para todo conjunto finito (prueba general), o como para
algn conjunto finito (ejemplo particular). El resultado es vlido en cualquier caso. Mustrelo para un caso particular y demustrelo en general.
3.6. Escriba las siguientes frases formalmente, con cuantificadores, e intente,
en cada caso, demostrar la frase (en un caso cul? el intento de prueba no
podr completarlo en este curso por qu?).
(i) no todo natural es suma de dos cuadrados
(fi) todo natural es suma de cuatro cuadrados
(iii) no todo natural mayor que 2 es divisible por dos primos distintos
3.3. Ejercicios
3.1. Demuestre, de dos maneras distintas, que 3Z es infinito: (i) exhibiendo
un subconjunto de 3Z similar a N; (fi) exhibiendo una parte propia de 3Z
similar a 3Z.
3.2. Demuestre que el conjunto de los nmeros irracionales es infinito, exhibiendo explcitamente una similitud entre N y un subconjunto de nmeros
irracionales. Ayuda: basta con dar una lista explcita infinita de irracionales
(recuerde el ejercicio 1.1).
3.3. EJERCICIOS
35
3.9. Encuentre una frase formal, con conectivos, cuantificadores y una sola
propiedad binaria P(a, b), que valga en N con el orden usual, y que no valga
en Z con el orden usual.
3.10. Puede usted encontrar una frase formal, con conectivos, cuantificadores y una sola propiedad binaria P(a, b), que valga en Q con el orden usual,
y que no valga en R con ese mismo orden? Intntelo, pero tal vez unos semestres debern pasar antes de responder con todo rigor. Descubra por qu el
problema parece ser realmente difcil al nivel de un curso de FUNDAMENTOS.
Captulo 4
Relaciones y funciones
Contenido
37
42
47
50
4.1. Relaciones
4.2. Funciones
4.3. Teoremas de Cantor
4.4. Ejercicios
36
37
4.1. RELACIONES
38
4.1. Relaciones
Definicin 4.1. Sean A, B dos conjuntos. El producto (cartesiano) de
A y B es el conjunto de parejas ordenadas A x B = {(a, b) :aEAAbEB}.
Una relacin R de A en B es un subconjunto de A x B: R C A x B.
Ejemplo 4.2. Las relaciones recorren ubicuamente el espectro de las matemticas. Pueden considerarse, por ejemplo, todo tipo de relaciones triviales entre conjuntos finitos (conjuntos de parejas al azar), la relacin de
orden (G) entre naturales, la relacin de divisibilidad (I) entre enteros, la
relacin de inclusin en los conjuntos de partes p(X), etc.
A aRa)
a
dom
Definicin 4.3. El dominio y el codominio de una relacin R C A x B
se definen, respectivamente, como el subconjunto de elementos de A relacionados con algn elemento de B, y. como el subconjunto de elementos de B relacionados con algn elemento de A. Utilizando los conectivos
y los cuantificadores, dom(R) = {a :a E AA 319(b E B A (a, b) E R)},
cod(R) {b : b E B A3a(a E A A (a, 8)ER)}.
En el caso de tener una relacin sobre un mismo conjunto, y cuando ese
conjunto es finito, una relacin puede diagramarse cmodamente mediante
flechas:
relacin
(N, <)
(N, I)
(P(A), )
(X,=)
reflexiva
no
s
s
s
simtrica
no
no
no
s
transitiva
s
s
s
s
antsimtrica
s
s
s
s
no
no
no
no
ey/ \.
.
cr...........,_.
4.1.
RELACIONES
39
Dentro de la inmensa variedad de relaciones que aparecen en matemticas, dos de los tipos principales son las relaciones de equivalencia (relaciones que verifican refiexividad, simetra y transitividad) y las relaciones
de orden (u rdenes: relaciones que verifican reflexividad, antisimetra y
transitividad). Tanto las unas como las otras aparecern incesantemente a
lo largo de la Carrera de Matemticas, las primeras para capturar clases de
similitudes entre objetos y estructuras, las segundas para codificar desarrollos y comparabilidades. La igualdad entre los elementos de un conjunto es
el arquetipo de =a relacin de equivalencia; la contenencia entre subconjuntos de un conjunto es el arquetipo de una relacin de orden. Como puede
observarse eu la tabla anterior, la segunda y la tercera lineas corresponden
a relaciones de orden, mientras que la cuarta y la sexta lneas corresponden
a relaciones de equivalencia.
Sobre las relaciones de equivalencia volveremos repetidamente en los
captulos posteriores (esenciales para la construccin de enteros, racionales
y reales: vanse los captulos 8 y 9, particularmente la seccin 8.1). Tambin
en los captulos posteriores estudiaremos los rdenes de naturales (particularmente seccin 7.3), enteros, racionales y reales (particularmente, fin de
las secciones 8.3 y 9.4), as como el no orden de los complejos (fin de la seccin 14.1). Los rdenes de los subconjuntos de R son sin embargo demasiado
especficos (rdenes totales segn la definicin siguiente), y vale la pena
realizar una corta excursin por el abanico de algunos rdenes ms generales. Despus de la amplia definicin siguiente, que cubre mltiples casos
que pueden darse dentro de los rdenes, veremos con ejemplos cmo pueden
concretarse en la prctica todas las situaciones posibles.
Definicin 4.6. Sea R una relacin de orden en A (reflexiva, simtrica,
transitiva). Denotaremos aRb mediante a < b, y adoptaremos el lenguaje
convencional usual, segn el cual a es menor que b, y b es mayor que a.
Sea a E A; a es un elemento maxirnal (para el orden <) si y slo si no posee
un elemento estrictamente mayor en el orden (con cuidado, esto se expresa en
b = a)); similarmente, a es un elemento minimal si
la forma Vb E A(a <
y slo si no posee un elemento estrictamente menor en el orden (formalmente,
VbEA(b<a-41= a)). Sea ahora S C A, un subconjunto no vaco; S posee
un mnimo m = min(S) si y slo si m es un elemento de S menor que todos
los dems elementos de S (formalmente, m E S y Va E S en < s); en forma
similar, S posee un mximo in = max(S) si y slo s m es un elemento
de S mayor que todos los dems elementos de S (formalmente, mESy
Vs E S s < re). Sea de nuevo S _q A (pero ahora S podra ser vaco), y
sea a E A; a es una cota superior de S si y slo si a es mayor que todos
40
4.1. RELACIONES
41
42
R-1
R
B
A
{1, 2} {3, 4, 5} {(1, 3), (2, 4)} {(3, 1), (4, 2)}
De las subdefiniciones incluidas en la definicin 4.6, se deducen algunas correlaciones elementales entre los conceptos. As, la existencia de un
mnimo (respectivamente, mximo) fuerza la existencia de un (nico) minimal (respectivamente, maximal), mientras que, en cambio, pueden existir
mltiples minimales o maximales sin que existan mnimo o mximo. A su
vez, si un subconjunto posee un mnimo (respectivamente, mximo) entonces posee nfimo (respectivamente, supremo), mientras que, en cambio, la
existencia del nfimo (o supremo) no asegura la existencia del mnimo (o
mximo), como se vio en el ejemplo 4.7. Por otro lado, todo orden total
es inmediatamente un retculo, mientras que no todo retculo es un orden
total (y est muy lejos de serlo, en general, como lo indica el retculo de
divisibilidad de los naturales). Para otras situaciones de rdenes vanse los
ejercicios 4,18 y 4.19, as como el ejercicio 10.2 (que puede realizarse desde
ya si lo desea el estudiante, pero que Be sita de forma ms natural en el
ambiente de los tomos conjuntistas del captulo 10).
{i}
O
R
SoR
{1, 2}
{1}
O
{3, 4}
{2,3}
{2}
{5, 6}
{4}
{3}
dom(R-1) = cod(R)
cod(R-1) = dom(R)
dom(S o R) C dom(R)
cod(S o R) C cod(S).
Las primeras dos igualdades son inmediatas: por ejemplo, para la primera, si a E dom(R-1) entonces existe b tal que aR-lb, es decir bRa, por tanto
a E cod(R). Igualmente, las contenencias tercera y cuarta son consecuencias
directas de las definiciones: por ejemplo, para la tercera, si a E dom(S o R)
entonces existe c tal que a(S o R)c, es decir existe b tal que aRb y bSc, pero entonces a E dom(R). Obsrvese que esas tercera y cuarta contenencias
pueden ser estrictas: en el segundo ejemplo de la segunda tabla anterior, se
observa que O = dom(S o R) C dom(R) = {1}.
4.2. Funciones
Las funciones son cierto tipo de relaciones en las que se conserva una suerte
de canonicidad simple en la composicin, de tal manera que los elementos
correlacionados se sitan dentro del mbito de lo uno y no dentro del mbito
de lo mltiple. Desde comienzos del siglo XIX, toda la matemtica moderna
43
4.2. FUNCIONES
44
A
s
no
Ejemplo 4.12. Algunas funciones interesantes entre conjuntos de nmeros
pueden ser las siguientes:
f : N ,11
g : N {1}
f(n) = n+ 1 (sucesor)
:n
e
at
1 1 (inverso multiplicativo extendido)
Vr, si r > 0:
'
' (raz cuadrada truncada)
si no.
O,
relaciones que son funciones. Gracias a esa unicidad, pueden tambin calcularse las compuestas de funciones mediante las aplicaciones sucesivas en las
imgenes: f o g(x) = f (g(x)). Por ejemplo, con las funciones y las notaciones
del ejemplo anterior, se tiene que m o n(r) = m(n(r)) = (/r)2 = r en el caso
r > O, mientras que m o n(r) = m(n(r)) = (0)2 = 0 en el caso r < O. Por
otro lado, n o m(r) = n(m(r)) = N/(r2) =171 (valor absoluto de r) en todos
los casos.
Uno de los intereses bsicos de las funciones consiste en poder comparar,
gracias a ellas, ciertos conjuntos o estructuras. En un primer nivel, como el
del curso de FUNDAMENTOS, slo compararemos los esqueletos de los conjuntos (su tamao) y no las posibles estructuras adicionales que stos puedan
tener. Cuando esas estructuras adicionales sirvan para resolver ecuaciones
X lineales, las funciones habrn de preservar las estructuras propias de lo lineal (espacios vectoriales): el estudiante se acercar entonces a un curso
de LGEBRA LINEAL. Cuando las estructuras sirvan para resolver ecuaciones algebraicas, las funciones habrn de preservar las estructuras propias
de lo algebraico (variedades algebraicas): el estudiante estar entrando
a un curso de LGEBRA ABSTRACTA. Cuando las estructuras sirvan para
resolver ecuaciones diferenciales, las funciones habrn de preservar las estructuras propias de lo diferencial (variedades diferenciales): el estudiante
se abrir a un curso de GEOMETRA DIFERENCIAL. Cuando las estructuras
sirvan para controlar las deformaciones continuas, las funciones habrn de
preservar las estructuras propias de lo continuo (espacios topolgicos): el
estudiante se adentrar en un curso de TOPOLOGA. Y asf sucesivamente.
Una vez precisadas las diversas problemticas, as como las estructuras mejor adaptadas para responder a esas problemticas, muchos de los mayores
esfuerzos de los matemticos consisten luego en estudiar las transferencias
de conocimiento entre esas diversas estructuras. Toda la matemtica del si-
4.2. FUNCIONES
45
glo XX sigue aqu el legado imperecedero de Galois y Riemann2, tal vez los
dos mayores matemticos del siglo XIX.
Definicin 4.13. Sea f una funcin de A en B.
f es 1-1 (o inyectiva) si y slo s toda imagen posee a lo sumo una
preimagen, es decir, formalmente, VaVb(f (a) = f(b) - a = b).
f es sobre (o sobreyectiva) si y slo si todo elemento del conjunto de
llegada posee al menos una preimagen, es decir, formalmente, Vb(b E B
3a E A (b = f (a))).
f es biyeccin (o biyectiva) si y slo si f es a la vez 1-1 y sobre.
Por las definiciones, es fcil chequear que, para una funcin f, f resulta
ser biyectiva s y slo si la relacin f -1 es funcin. De hecho, f 1-1 equivale
(como relacin) es funcional (es decir, que todo elemento
a decir que
de B est relacionado, por medio de f-1, con a lo sumo un elemento de A).
Por su lado, f sobre equivale a decir que el dominio de f -1 (como relacin)
cubre todo B (ver ejercicio 4.12). La biyectividad es entonces una propiedad
crucial (necesaria y suficiente) para poder invertir funcionalmente la mirada:
lo que iba de A a B mediante f, lo podramos mirar de B hacia A mediante
la nueva funcin f -1, en el caso de contar con una biyeccin.
Ejemplo 4.14. Algunas propiedades de las funciones pueden ejemplificarse
en la tabla siguiente:
variste Galois (Francia, 1811-1832) ea el paradigma del joven matemtico genial. Muerto prematuramente en un duelo por amor, Galois dej una
obra que revolucion la disciplina, logrando un
control cuantitativo de las ecuaciones algebraicas
mediante un manejo cualitativo de las transferencias y obstrucciones entre estructuras algebraicas. Bernhard Riemann (Alemania, 1826-1866) es
tal vez el mayor gemetra de todos los tiempos.
Riemanu consigui un control cuantitativo de las
ecuaciones diferenciales mediante un manejo cualitativo de transferencias y obstrucciones entre espacios topolgicos. El estudio de lo cuantitativo
mediante lo cualitativo, en Galois y Riemann, abre
un abanico enorme de posibilidades para la matemtica.
46
funcin
f:N---IN:ni-+n-}-7
f :Z-->Z:mi->m+7
f :111. e lit : r 1-> r2
f :Z-{-1,1}---)Z: a 1-, mn. primo p :pla
f :Z.--N:m1-, Iml
1-1
s
s
no
no
no
sobre
no
s
no
no
s
biyec
no
s
no
no
no
Mediante la nocin de biyeccin se consigue una herramienta muy maleable para poder medir el tamao de los conjuntos, y para extender de lo finito
a lo infinito algunos procesos generales de monteo.
Definicin 4.15. Sean A y B dos conjuntos. Diremos que A es similar a
B (o que A es equipotente a B) si y slo si existe una biyeccin de A en B.
Denotaremos por la relacin de similaridad entre conjuntos: A N B si y
slo si existe una biyeccin de A en B. Diremos que A y B tienen el mismo
tamao (o el mismo cardinal) si y slo si A B.
Obsrvese la importancia de la existencia de la biyeccin entre conjuntos
similares: basta con exhibir una biyeccin entre dos conjuntos para que sean
similares, aunque puedan existir muchas otras funciones entre ellos que no
sean biyecciones. La relacin de similaridad entre conjuntos es una crucial
relacin de equivalencia:
Reflexividad: para todo conjunto A, A - A mediante la funcin (biyeccin) identidad: idA : A --> A : a 1-> a.
Simetra: para todos los conjuntos A y B, si A N B (mediante una
biyeccin f) entonces B rs, A (mediante la biyeccin f-1).
Transitividad: para todos los conjuntos A, B y C, si A N B (mediante
C
C (mediante una biyeccin g), entonces A
una biyeccin f) y B
(mediante la biyeccin compuesta g o f: vase el ejercicio 4.14).
Ejemplo 4.18. Es fcil demostrar que, aunque E parece ser el doble de
grande que N, y aunque E parece ser m veces ms grande que ra (para
m # O), se tiene en realidad que todos son del mismo tamao:
(rri0).
En efecto, se puede ver que tenemos N --, E mediante la biyeccin (chesi n, es par;
1,
:
si n es impar.
-O-T1
2
quearl)
5'
47
48
N Q.
Se trata, aqu s, de un hecho tremendamente sorprendente en primera
instancia, pues intuitivamente los racionales sobrepasan infinitamente a los
naturales (no slo los doblan o los multiplican como en el ejemplo 4.16).
Nuestra intuicin, educada en un comienzo (colegio, vida cotidiana) en el
mbito de los conjuntos finitos, resulta ser bastante frgil en el reino de
los conjuntos infinitos. La extensin de esa intuicin hacia el mbito de la
infinitud requiere una educacin y una experiencia que slo la Carrera de
Matemticas puede proveer.
Demostracin. Procedemos por contradiccin. Suponga que X p(X) mediante una cierta biyeccin f. Para todo x E X, f(x) es entonces un elemento de p(X), es decir un subconjunto de X. Tiene as sentido comparar,
mediante la relacin de pertenencia, el elemento x y el subconjunto f (x).
Sea A = {x E X : x f(x)}. Por definicin, A C X, por tanto A E p(X).
Como f es biyectiva, en particular es sobreyectiva, y existe a E X tal que
A = f (a). Preguntmonos ahora cmo se comparan a y A con respecto a la
relacin de pertenencia, y llegaremos a una contradiccin (del tipo p s->
aEA 4->aEf(a),.noastf(a)(-)noaEA 4-)altA.
La primera equivalencia se debe a A = f (a), la segunda se debe a la equi4-1 p, la tercera se debe a la definicin de la
valencia proposicional
f (a), la cual
pertenencia en A (que consiste en satisfacer la frmula a
define intensionalmente a los elementos de A), la cuarta es una notacin.
3 de
La prueba anterior del teorema de Cantor involucra un argumento fundamental de autorreferencia, al hacer aparecer ciertos elementos que no pertenecen a una imagen de s mismos. Detrs de esta prueba se esconde un
proceso de diagonalizacin muy general, subyacente a muchas pruebas de
imposibilidad en matemticas. Es algo que el estudiante querr tal vez explorar en cursos posteriores de la Carrera (TEORA DE CONJUNTOS, TEORA
DE CATEGORAS). Los famosos teoremas de incompletitud de G6del4
(tan citados como poco conocidos) pueden verse como casos particulares de
49
argumentos diagonales, que involucran representaciones tcnicas de la paradoja del mentiroso: la frase yo miento lleva a la inescapable contradiccin
de que miento y digo la verdad a la vez.
El segundo de los teoremas de Cantor que mencionbamos en esta seccin es tambin una forma de argumento diagonal, que en este caso puede
exhibirse de manera explcita.
Teorema 4.18. N o R.
50
r = O, (nu
1)...
4.4. Ejercicios
4.1. Compruebe las propiedades de las relaciones que han sido exhibidas en
el ejemplo 4.5.
4.2. Proporcione ejemplos de relaciones R, S, T, tales que: R es transitiva, no
simtrica, reflexiva; S es no transitiva, reflexiva; T es simtrica, no transitiva.
No confunda la propiedad no simtrica con antisimtrica.
4.3. Sea R una relacin sobre X. Sea Ax la relacin diagonal en X: Ax =
{(x, x) : x E X} . Demuestre:
R reflexiva R D Ax
R simtrica 4, R = R-1
R transitiva RoR C R.
(donde todos los rii son naturales entre O y 9: cifras en expansiones decimales).
Afirmamos ahora que esta construccin que pretendemos es sobreyectiva,
en realidad no puede serlo. En efecto, mostremos que existe un nmero real
entre O y 1 diferente de todos los r. sta ser la contradiccin deseada,
puesto que habamos supuesto que la lista de los r cubra sobreyectivamente
todo [0, 1]. Considere entonces el siguiente nmero:
51
4.4. EJERCICIOS
= 1).
52
inversa a derecha de f .
4.16. Muestre que, para todo conjunto X, no existen inyecciones de p(X) en
X. Ayuda: proceda por contradiccin; a partir de una inyeccin f : p(X) >
X, considere la relacin inversa f -1 : X + p(X) y compltela para dar
lugar a una funcin sobreyectiva entre X y p(X), en contradiccin con el
teorema de Cantor.
4.17. Para todo conjunto X, demuestre que existe una biyeccin entre el
conjunto de partes p(X) y el conjunto 2x, definido como el conjunto de
funciones de X en {0,1}, es decir, 2x = {f : X --> {0,1} : f es funcin}.
x e S;
Ayuda: para S C X, sea fs e 2X la funcin definida por fs(x) = 1
2X : S -' fs es una
demuestre entonces que la correspondencia p(X)
biyeccin. Esto muestra que hay tantos subconjuntos de X como funciones
de X en {0,1}, para cualquier conjunto X (finito o infinito). Para un caso
particular de esta situacin, vea el ejercicio 10.3.
4.18. Escoja, a su gusto, cinco subdiagramas (apropiadamente distintos en
sus formas) del diagrama de Hasse correspondiente al retculo de divisibilidad de los naturales, y estudie, para cada uno de ellos, y para adecuados
elementos y subconjuntos de esos diagramas, la aparicin (o ausencia) de
minimales, maximales, mnimos, mximos, cotas superiores, cotas inferiores, nfimos y supremos. Con este sencillo ejercicio se cubren, de lejos, todas
las diversas situaciones que el estudiante requiere para entender esos conceptos en situaciones discretas. Otro uso de los supremos aparecer de
4.4. EJERCICIOS
53
Captulo 5
Partiendo del conjunto vaco, el universo de conjuntos puede expandirse mediante la operacin partes de (captulo 3) y mediante otras operaciones, a
menudo encontradas en la educacin escolar, aunque aqu las introducimos
de nuevo sin conocimientos previos: complemento, unin, interseccin. Se
trata de operaciones que corresponden a manejos proposicionales elementales, ligados, respectivamente, a la negacin, la disyuncin y la conjuncin.
Mediante esas operaciones (llamadas operaciones booleanas, en homenaje
al lgico ingls George Boolel , quien sistematiz su estudio), la urdimbre de
los conjuntos adquiere una adecuada densidad para poder representar un
buen nmero de objetos de la prctica matemtica. En este captulo estudiamos esas operaciones, as como los (buenos o malos) comportamientos de
las funciones con respecto a esas operaciones.
George Boole (Inglaterra, 1815-1864) es considerado el padre de la lgica matemtica moderna.
Boole introdujo herramientas matemticas (clculo diferencial, razonamientos algebraicos) en un
dominio del saber (el anlisis de la razn) que pareca estar destinado a especulaciones lingsticas
o psicolgicas.
54
55
x E A}
AnB
{2}
O
4N
0
A
{3,4}
{2,3}
{impares}
11
fl X = O, X U X = A (leyes de complementariedad)
.xn(tuz)=(xnnu(xnz)
X U (Y fl Z) = (X UY) fl (X U Z) (leyes de distributividad)
A
universo
{1,2,3,4} {1,2}
{1}
{1,2,3}
2N
N
R
Q
56
57
58
p(B)
p(A)
p(B)
Ejemplo 5.6. La tabla siguiente exhibe algunos clculos de imgenes directas e inversas para ejemplos sencillos (donde X CA y Y C B):
A
{1,2}
N
N
Q
f
B
{3,4} n ,--, n + 2
n i n -I- 1
N
ni, fin
N
q 1-4 \MI
IR
1(X)
X
{3}
{1}
2N {impares}
{6p}
{p}
0
0
Y
{4}
{0}
{primos}
{4}
7(Y)
{2}
O
O
{-3, 3}
La imagen inversa siempre se comporta bien con respecto a las operaciones conjuntistas usuales. Si f es una funcin de A en B y Y, Y1, Y3 son
subconjuntos de B, tenemos:
59
f (Ye) = (7(11)c
f (x) E Y1U Y2 +->
En efecto, para la primera igualdad, x E_ 7-(Y, un)
;
E 7(yi) u 47-(Y2). La
(172
)
E ..+2
f
(Yi)
V
x
Y2
x
e
f(x)
E
(x)
E
V
f
segunda igualdad se obtiene de manera similar, reemplazando en la prueba
unin por interseccin, y disyuncin por conjuncin (comprubelo!). Para la
f (x) E Y 4.->
f(x)
tercera igualdad, x E 4-5(1'") H f(x) E Y'
x E f (Y) x E (f(Y))'. Obsrvese cmo, en estas pruebas, slo se usan
las definiciones, sin requerir absolutamente nada ms. Esto muestra que la
definicin de imagen inversa es particularmente apropiada para capturar de
manera intrnseca el buen trnsito entre las operaciones booleanas.
60
5.3. Ejercicios
5.1. Demuestre las diversas aserciones anunciadas como labor para el lector
y no probadas en el cuerpo del texto: las leyes de complementariedad y distributividad, el hecho de que las imgenes inversa y directa son funciones
entre los conjuntos de partes, el hecho de que la imagen directa preserva
uniones y el hecho de que la imagen directa de una interseccin est contenida en la interseccin de las imgenes directas. Verifique la correccin de
los casos presentados en el ejemplo 5.6.
5.2. Sean A y B dos conjuntos. Demuestre: A C B si y slo siAUB=Bsi
y slo si A nB = A.
conjunto tal que AUX = X para todo conjunto X. Demuestre
5.3.
A
que Sea
5.4. Proporcione ejemplos de dos conjuntos A y B tales p(A U B) # p(A) U
p(B). Qu cree que suceder cambiando unin por interseccin? Demuestre
su asercin.
5.5. Dado un conjunto A, para X y Y subconjuntos de A definimos XAY =
(XnY')U (XcnY) (diferencia simtrica de X y Y). Demuestre que XAX
O, XA0 = X, XLIY = YAX (pruebas fciles). Demuestre tambin que
(XAY)AZ = XL(YAZ) (prueba ms larga). Vale una ley de distributividad del tipo: (X AY) U Z = (X U Z)A(Y U Zr Si la respuesta es positiva,
provea una prueba general; si la respuesta es negativa, provea un contraejemplo particular.
5.6. Sean A, B y C tres conjuntos. Demuestre que AUC = BU C no Implica
A = B, pero que, en cambio, AAC = B.W s implica A = B (donde
A es la diferencia simtrica del ejercicio anterior). Con esto, puede usted
observar que la unin no acta como una suma aritmtica de conjuntos, y
que, en cambio, la diferencia simtrica s funciona como tal (pues permite
canceiatividad, como la suma de nmeros).
IR
.,/n, g : Z {-1, 1} >N:mr-->
5.7. Dadas las funciones f
mnimo primo que divide a m, h : Q --> Q q H q-1 (si q 0), 0 )-> 0,
calcule las siguientes imgenes directas e inversas: 1({2" :n E N A n> 2}),
({0, 2, 3, 5,100, 2310}), h (N), 1({4, 9, 16, 25}), g ({0, 11, 14)), h(E).
4 y
5.3. EJERCICIOS
61
Captulo 6
Tamaos de infinitud
Contenido
8.1. Inyecciones entre conjuntos infinitos
8.2. Ejercicios
62
87
63
64
{O,
, m}
{O,
, n}
-Z
'
mt)
mZ
r p(X)
(fi) N no puede inyectarse en un conjunto finito del tipo {O, , m}, pues toda
funcin de N en {O, , m} tendr que tener necesariamente repeticiones.
(iii) Ya vimos (ejemplo 4.13) que N, Z y rra, (para m # O) poseen biyecciones
entre ellos; con mayor razn se tienen adecuadas inyecciones.
(iv) La inclusin de mZ en Q, as como la inclusin de Q en R, aseguran
inyecciones entre ellos.
(y) La funcin singleton entre X y p(X) asegura una inyeccin entre ellos.
El teorema de Cantor 4.14 demuestra que no existe biyeccin entre ellos. Por
lo tanto, no existe inyeccin de p(X) en X: en efecto (por contradiccin),
si existiese una inyeccin de p(X) en X, combinando esa inyeccin con la
inyeccin de X en p(X) podra construirse (por el teorema de ScluliderBernstein) una biyeccin entre X y p(X), contradiciendo el teorema de
Cantor.
(vi) Existe una inyeccin entre Q y N. Despus de los teoremas de Cantor,
ste es otro de los comportamientos de los conjuntos infinitos que va en
contra de nuestra intuicin (finitaria). Sin embargo, con un poco de reflexin,
se observa que un racional est esencialmente determinado por dos enteros,
65
CAPTULO 6. TAMAOS DE INFINITUD
66
y stos a su vez por cuatro naturales. No resulta tan extrao pensar entonces
en la siguiente funcin: f : Q ---> N
af 2'1 35, a, b E N, b O ;
5"7-b, aEN,19EZ,b< O,
79- F4
donde un racional 9t se escribe sin factores comunes y en alguna de las
dos formas contempladas en la definicin de f. El hecho de escribir los
racionales en forma reducida, sin factores comunes, asegura la funcionalidad
de f (recurdese, en particular, que O se escribe en forma reducida O = ?, por
lo que f (0) = 23' = 3). La inyectividad de f se deduce de la factorizacin
nica en nmeros primos (ver ejercicio 1.5): las imgenes bajo f dependen
entonces en forma nica de a y de b, es decir, f es inyectiva.
N, como la anterior, y de la inyec(vii) A partir de una inyeccin Q
Q, se tiene (por Schrder-liernstein) que los dos conjuncin obvia N
tos son similares. Tngase cuidado: asumiendo Schriider-Bernstein, estamos
as asegurando que existe una biyeccin entre Q y N; si se quisiera construir
explcitamente una tal biyeccin, el trabajo sera mucho ms difcil que el
realizado en el punto (vi).
(viii) El teorema de Cantor 4.15 nos asegura que N o R. Acabamos de ver
que N o Q, por lo tanto Q R.
(ix) Una inyeccin entre N x N y N puede darse, siguiendo la idea expresada
rri. Combinando con la inyeccin
N (n, m)
en (vi), por N x N
N x N : 71 H (n, n), el teorema de Schrlider-Bernstein asegura
obvia N
que NxNoN (de nuevo, una biyeccin explcita no es aqu inmediata). Si
A y B son dos conjuntos similares a N, entonces AUB es tambin similar a
N: una inyeccin de A U B en N resulta como compuesta de las inyecciones
(n, in) en la segunda
N x N --, N, con (a,
AUB C AUB
inyeccin (AUB es la unin disyunta, y los (a)>0 y (b,n),>0 son listas sin
repeticiones de los elementos de A y de B).
(x) Si denotamos por 1 el conjunto de nmeros irracionales, se tiene que
IIt = Q U11. Como Q N, entonces se tiene 1 e" N: si no, por el comentario
(ix), la unin QUI = E sera similar a N, contradiciendo el teorema diagonal
de Cantor (4.15). Para una inyeccin entre E e 1, vase el ejercicio 6.2.
Definicin 6.2. Un conjunto A se dice enumerable si es del mismo tamao
que N.
6.2. EJERCICIOS
67
6.2. Ejercicios
6.1. Encuentre una biyeccin explcita entre N x N y N (ya sea dibujndola,
ya sea construyendo explcitamente una frmula).
6.2. Encuentre una inyeccin entre lit e 1. Ayuda: escriba 11 como una unin
1= A U B con A w 1, B ,--ak y AnB --- O (unin disyunta), y compare
esa unin con R.= I U Q.
6.3. Demuestre que R (0,1) [0, 1) (0,1] [0, 1], donde los diversos intervalos son, respectivamente, el intervalo abierto, semi-cerrado a izquierda,
semi-cerrado a derecha, y cerrado, de nmeros reales entre O y 1.
6.4. Proponga otras inyecciones explcitas entre Ny ExIki diferentes de
la inyeccin cannica n r > (n, n). Cuntas inyecciones existen entre esos
dos conjuntos? Cuntas biyecciones existen entre ellos? Defienda sus razonamientos.
6.5. Si A (n E N) es una coleccin de conjuntos enumerables, muestre que
= {a : 2n(a e A)} es enumerable (unin enumerable de enumerables
U
es enumerable). Ayuda: aproveche N x E N.
6.6. Sea T el conjunto de los nmeros reales que son races de ecuaciones de
grado 3 con coeficientes enteros. Demuestre que 'I' N. Sea Alg el conjunto
de los nmeros reales que son races de ecuaciones con coeficientes enteros
E (ayuda: considere una
(nmeros algebraicos). Explique por qu Alg
unin enumerable de enumerables: ejercicio 6.5).
6.7. Por definicin, un nmero real ea trascendente si y slo si no es algebraico. Apoyndose en el ejercicio anterior, muestre que el tamao de los
nmeros trascendentes es igual al tamao de los nmeros reales. Deduzca
que hay muchsimos ms nmeros trascendentes que algebraicos. De esta
manera, una vez ms, las apariencias nos engaan: aunque en la prctica
matemtica las aproximaciones algebraicas parecen cubrir todo nuestro espectro intuitivo, en el universo de las posibilidades los objetos trascendentes
son mucho ms comunes.
B. Considere el conjunto
6.8. Demuestre que si B es infinito E x B
A = E x p(N x N). A cules de los conjuntos N, Z, Q o R no puede
ser similar A? Demuestre su respuesta, utilizando, si lo desea, el teorema
de Schrlider-Bernstein. Para una respuesta positiva acerca de cul de los
conjuntos de nmeros es de hecho similar a A, vea el ejercicio 10.3.
Captulo 7
Nmeros naturales
Contenido
7.1. Axiomas y principio de induccin
7.2. Pruebas por Induccin
7.3. Buen orden
7.4. Ejercicios
68
70
74
76
Hemos presentado, hasta el momento, las disyuntivas y las bases mnimas sobre las que se apoya el conocimiento matemtico moderno: (1) tres deslindes
fundamentales: positividad/negatividad, finitud/infinitud, conectivos/cuantificadores; (2) ciertas bases relacionales, funcionales y operativas, alrededor
de la intuicin elemental de los conjuntos. En lo que sigue del curso de FUNDAMENTOS, aplicamos esas ideas a la (re)visin de los conjuntos de nmeros
usuales. La coleccin de conjuntos NCECQCRCC ser presentada
acumulativamente en los captulos que siguen, construyendo cada uno de
los conjuntos a partir del conjunto inmediatamente anterior. El estudiante
podr adquirir as una idea de la arquitectnica de las matemticas.
69
N, a + (b c) = (a -1-
cy
70
N, a+b=b+a y a- b= b a.
N, a + 0 = a
= (a b) + (a c).
71
Prueba por induccin (PI). Para toda P(a) propiedad que se refiera a
nmeros naturales,
72
Prueba por induccin truncada (PI>). Para toda P(a) propiedad que
se refiera a nmeros naturales, para todo ao E N,
P(ao) A Vn > ao(P(n) -e P(n + 1))
Vn > a0 P(n).
Ejemplo 7.1. Las siguientes propiedades son vlidas para todos los naturales n > 1 y pueden demostrarse por induccin (truncada, empezando desde
1, aunque en algunos casos tambin vale desde O):
Vn E N P(n).
ov)
+ 133 + 31.Z +
( "( 2 1) )3
n(n1+1) =
1 2 + s + a + + n(24,1)
Para el caso (iv), sea P(n) la propiedad 1
. Por otro lado, si P(n) vale
vilir. P(1) vale trivialmente pues 112 = dt
entonces 1:17 + A + 3
+ + (1+1) + (r,+1)(,,+2)
+ ( +1)(n+2) =
_71+1
(4-1)2
tt(n+2)+1
2n+1
+2 ,
(n+1)(n+2) = (71-1-1)(n+2) = (n-I-1)(n+2) = ii
73
a alguno de esos tres factores: n, n-2 o n+2. Se tiene (n+ 1)4 4(n+1)2
(n + 1)2((n 1)2 4) = (n 1)2(n2 -I- 2n 3)
(n 4- 1)2(n -- 1)(n + 3).
Ahora bien, si 3 1 n entonces 3 1 + 3); si 3 1 (n 2) entonces 3 1 (n + 1); y
si 3 1 (n 2) entonces 3 1 (n 1). En todos los casos, 3 (n+
4(n+ 1)2,
es decir P(n + 1) vale. Por induccin, se tiene entonces P(n) para todo
n > 1. Obsrvese que, en este caso, la prueba por induccin no es ms
cmoda que una prueba directa del mismo hecho (obtenida en la mitad de
este prrafo, pues 3 siempre divide a alguno de los tres factores n, n 2 o
n + 2: comprubelo!).
Para el caso (ix), sea ni un natural fijo. Sea P(n) la propiedad el
nmero de inyecciones de {1, 2, ... ,n} en {1, 2, ... , m} es igual a ,p(n) =
m(m 1) (m+1n) si n 5 in. P(1) vale pues el nmero de inyecciones
de un conjunto de 1 elemento en un conjunto de m elementos es obviamente
m (igual al nmero de funciones en este caso), y tambin m = 9(1). Suponga ahora que P(n) vale, y sea n 1 < m. El nmero de inyecciones del
conjunto {1, 2, ...,n 1} en {1, 2, , m} se calcula obteniendo el nmero
de inyecciones de {1, 2, ... , n} en {1, 2, ... , m} (que dejan a n 4- 1 libre),
y combinndolo con el nmero de posibles imgenes de ti. + 1 que no repitan elementos en el codominio (para poder preservar as la inyectividad). El
primero de los nmeros en la frase anterior es (p(n) (por hiptesis de induccin), y el segundo es ni n, el nmero de casillas que no fueron usadas
en el codominio de las inyecciones. El nmero de inyecciones del conjunto
{1, 2, ... , n + 1} en {1, 2, ... , m} es entonces so(n) (m n) = so(n + 1). Lo
anterior demuestra el paso de transicin y, por induccin, se tiene entonces
P(n) para todo n > 1. Puede observarse aqu tambin que una prueba directa del resultado (por descarte sucesivo de posibilidades para las imgenes
en una inyeccin) es ms fcil que la prueba por induccin recin sealada.
La prueba por induccin proporciona, no obstante, una calidad de rigor que
no se consigue con la prueba visual directa.
En algunos casos, para realizar una prueba de induccin ms cmoda,
resulta til intentar el paso de transicin hacia P(n + 1), no slo con la
informacin disponible en P(n), sino con toda la informacin previa: P(0),
P(1), ..., P(n). Tenemos entonces lo que se llama una prueba por induccin
completa:
Prueba por induccin completa (Me). Para toda P(a) propiedad que
se refiera a nmeros naturales,
P(0) A Vn E N(Vi(i
Vn
E N P(n).
74
75
es algo que no sucede con los otros conjuntos usuales de nmeros (E, Q, R, C)
donde s existen cadenas infinitas descendentes. De hecho, una manera de
expresar la especificidad del conjunto N entre los dems conjuntos usuales
de nmeros consiste en afirmar que (N, <) (orden usual) est bien ordenado.
En efecto, tenemos la proposicin:
Teorema 7.5. Ind si y slo si (N, <) est bien ordenado.
Demostracin. Obsrvese primero que, cuando X C N, el principio de induccin (Ind) aplicado al complemento X' asegura que si tenemos O E X'
y Vn(n E X' n + 1 E X') entonces X' = 51, es decir, O
X y
Vn(n II X --> n + 1 X) implica X = O. Para mostrar que un subconjunto X de naturales es vaco basta as con demostrar que O no pertenece a
X y que si n no pertenece a X, n+ 1 tampoco debe pertenecer a X.
76
7.4. Ejercicios
3n, E N(n + a = b)),
7.1.Partiendo nicamente de la definicin (a < b
de los axiomas (A1)-(A5) y de 1 O, demuestre que < es una relacin de
orden en N (reflexiva, antisimtrica, transitiva), con mnimo elemento O, no
simtrica, tal que O < 1 < 2 < 3 < < n < n + 1 , y tal que no existe
ningn natural entre y n + 1 distinto de ellos.
7.2. Demuestre, siguiendo cuidadosamente los axiomas y la definicin del
nmero 3, que (a + b)3 = a3 + 3a2b 3ab2 + b3, para todos a, b E N (donde
a3 = ata por definicin).
7.3. Demuestre, siguiendo cuidadosamente los axiomas, que a0 = O para
todo a E N.
7.4. Demuestre que (PI) y (PI>) son equivalentes.
(iii) 1. 2.2.3 +
(iv) sir E R, r
1, 1 + r +
7.6. Demuestre las aserciones del ejemplo 7.1 que no fueron probadas en el
cuerpo del texto.
7.7. Demuestre por induccin las siguientes proposiciones. Haga explcita
cul forma de induccin utiliza (sencilla, truncada o completa) y precise
desde cul natural vale la induccin.
(i) T1+T2+
= n(n+lj(n+2) donde Tn es el n-simo nmero triangular
(de esta manera la frmula que usted debi encontrar en el ejercicio 1.3, es
ahora capaz de demostrarla: ha logrado pasar del mbito de lo emprico al
mbito de lo necesario!)
12 + 22 + 32 + 4_ n2 = n(n+1.)6(2n-f-1)
(ii)
+ + r" =
7.4. EJERCICIOS
77
7.8. Se define una coleccin de nmeros reales mediante las reglas ao -=- 1,
an.+5 =- ,/(1 + (in). Muestre, por induccin sobre n, que para todo n E N se
tiene a < 2.
7.9. Sean
In (1 < < n) nmeros reales tales que ai > a2 > >
an y in > b2 > > b,,. Demuestre, por induccin sobre n, que vale (al. a2 + + an)(bi b2 + + bn.) < n(aibi a2b2 + -I- anb)
(desigualdad de Chebichev). Ayuda: para el paso por induccin, demuestre
antes la propiedad del intercambio xy zt < xz yt cuando y > z y
t > x (x,y,z,t E IR) (prueba fcil); luego, en el curso de la induccin, ordene adecuadamente los trminos para poder usar un intercambio propicio
(prueba ms delicada).
7.10. Considere la siguiente prueba por induccin.
Proposicin. Todos los conjuntos finitos de mismo cardinal son iguales. Prueba por induccin simple sobre n > O (re es el cardinal del conjunto). Paso
inicial: dos conjuntos cualesquiera sin elementos son iguales. Paso de induccin: suponga que todos los conjuntos con n elementos son iguales. Sean A
y B dos conjuntos con n 1 elementos. Por hiptesis de induccin, los n
primeros elementos de A son iguales a los n primeros elementos de B. De
la misma manera, los n ltimos elementos de A son iguales a los 71 ltimos
elementos de B. Por lo tanto, A y B poseen los mismos elementos, y se tiene
A = B.
Aunque la proposicin anterior es evidentemente falsa (el conjunto (1,2)
no es igual al conjunto {2, 3)) la prueba anterior parece completamente
correcta. Dnde est el error?
Captulo 8
79
86
89
92
79
80
7= 7 0= 8 1 = 9 2 =--=-(n+ 7)n=
2 = O 2=1-3 = 2 4.==n(n+2)=
Obsrvese entonces que los enteros positivos pueden representarse gracias
a parejas de naturales (x, y) donde x ?_ y, y los enteros negativos gracias
a parejas de naturales (x, y) con x < y. Dentro de las mltiples (de hecho,
infinitas) parejas de naturales que pueden representar un nmero, habra
que poder identificar ciertas buenas expresiones en detrimento de otras (por
ejemplo, -2 bien representado por (2,4), mal representado por (7, 10)).
De lo anterior, se infiere que una construccin no artificial de los enteros
debe poder manejar: (i) parejas de naturales; (ii) procesos de identificacin
entre entes matemticos.
El instrumentado cannico en matemticas para identificar objetos es el
de las relaciones de equivalencia (ver comentario despus del ejemplo 4.5).
Una relacin de equivalencia (reflexiva, simtrica y transitiva) generaliza de
hecho las propiedades de la igualdad, con la que se identifican de la manera
ms fuerte posible un par de objetos: la igualdad es trivialmente reflexiva
(x = x), simtrica (x = y y = x) y transitiva (x = yA y =
= z).
Las relaciones de equivalencia permiten entonces identificar ciertos objetos
matemticos de una manera ms suave, sin que sean trivialmente iguales,
pero s lo suficientemente parecidos con respecto a ciertas propiedades dadas.
Definicin 8.1. Sea R una relacin de equivalencia sobre un conjunto A
no vaco. Si a E A, la clase de equivalencia de a (mdulo R) (notacin
[a]R) se define como el subconjunto de elementos de A relacionados con a
bajo R: [a] = {x E A : xRa}.
Las propiedades conjuntstas de las clases de equivalencia son muy peculiares. Son no vacas: para todo a E A, a E [a]R gracias a que la relacin es
Las clases de equivalencia de R constituyen as una suerte de compartmentacin del conjunto subyacente
A. Esta situacin se llama una particin de A, como lo sealamos a
continuacin.
[a]
(ii) X,Y EC AX
(iii) ( jx,e X = A
(donde esta tercera propiedad expresa que la unin de todos los subconjuntos
X e C es igual a todo A, o, dicho de otra manera, que todo elemento de A
pertenece al menos a algn subconjunto X e C).
Un hecho fundamental consiste en que, sobre un conjunto no vaco dado,
las relaciones de equivalencia se corresponden perfectamente con las particiones. Dada una relacin de equivalencia, las clases de equivalencia de la
relacin constituyen una particin (es lo que mostramos justamente despus
de la definicin 8.1). Y viceversa, dada una particin, la relacin que consiste
en pertenecer a una misma celda es una relacin de equivalencia (demuestre
todo esto en el ejercicio 8.1).
81
82
Una vez establecido este instrumentario fundacional alrededor de las relaciones de equivalencia, clases de equivalencia y particiones, podemos volver
ahora al caso particular de las identificaciones entre parejas de naturales con
las que abrimos esta seccin.
Deseamos construir los enteros como clases de parejas de naturales, siguiendo las constataciones expresadas en las identidades
(5, 4)
7= 7 0 = 8 1 -=-- 9 2 ==(n+7)n=
2 =0-2= 1 3 =2 4==n(n+2)=
Observe que, para cualquiera de los dos casos, independientemente de la
positividad o negatividad del nmero, las parejas (a, b) o (c, d) que pretendan poder representar al nmero verifican siempre a b = c d, es decir
a+d=b+c (*). El punto fundamental en esta segunda ecuacin es que
no mencionamos la resta y no mencionamos nmeros negativos, sino slo
naturales. Esto indica que mediante la suma, mediante parejas de naturales
y mediante la relacin (*), podr reconstruirse la idea de resta. Este es el
camino que adoptamos ahora, dejando de lado las intuiciones originarias,
para definir formalmente al conjunto E.
Ejemplo 8.3. Sea R la relacin en N x E definida por (a, b)R(c, d) si y slo
si a +d =b+c (informalmente, primero ms cuarto es igual a segundo ms
tercero). Se trata de una relacin entre parejas de naturales: si desea ser riguroso, compruebe que RCExllx tY x N. Tenemos que Res una relacin de
equivalencia. En efecto, es reflexiva pues (e, b)R(a, b) ya que a+b = b+a (gracias al axioma de conmutatividad dele suma). Es simtrica pues (a, b)R(c, d)
significa a +d = b+c, lo que implica c+b = d+a (por la conmutatividad de
nuevo), y esto significa (e, d)R(a, b) (primero ms cuarto es segundo ms
tercero). Es transitiva pues (a, b)R(c, d) y (c, d)R(e, f) significa a+ d = b+c
y c+f = d + e, lo que implica a+d+f =b+c+f =b+d-be (gracias al
axioma de asociatividad de la suma), lo que implica a + f + d = b + e + d
(por conmutatitividad), lo que implica a + f = b + e (cancelando d, gracias al axioma de cancelatividad de la suma), pero esto significa (a, b)R(e, f)
(primero ms cuarto es segundo ms tercero).
Esta relacin particiona entonces E x N en clases de equivalencia, como
se puede observar en el diagrama siguiente. En el diagrama las diagonales
marcadas son las clases de equivalencia de la relacin R recin estudiada en
el ejemplo. Puede observarse que hay infinitas clases de equivalencia (infinitas diagonales), y que cada clase de equivalencia es a su vez infinita (infinitos
puntos en cada diagonal).
(3, 3)
(1, 3)
(4, 2)
(0, 2)
(3, 1)
(0,1)
/
(1, 0)
(0, 0)
(2, 0)
(3, O)
(4, 0)
83
clases de equivalencia. Son operaciones que no son inmediatamente evidentes: en esta primera instancia, estamos sumando y multiplicando diago'laica! No obstante, pronto reemplazaremos las clases por smbolos ms
sencillos que las denoten, y llegaremos a los clculos intuitivamente conocidos en Z.
Un primer punto fundamental con la nueva suma es que hemos obtenido
inversos! Es claro ante todo que la clase [(0, 0)]R acta como neutro para
la suma: [(a, b)]R [(0, O)]R = [(a + O, b +
b)] R. Ahora, para todo
=
[(a, b)]R, podemos encontrar [(c, d)]R que sirva de inverso, es decir tal que
[(a, b))R [(c, d)]R = [(O, O)]R. En efecto, la ecuacin anterior nos fuerza a
que [(a -I- c, b+ d)]R = [(O, O)]R, lo que significa a -I- c-1- O = b + d 4-O, es decir
a +c=---b+d: tomando c = b y d = a la ecuacin se satisface (gracias a la
conmutatitivad de la suma en N: siempre aparece escondida). Esto muestra
que la clase [(b, a)]ri sirve entonces justamente como inverso aditivo de la
clase [(a, b)]R.
Debe tenerse algo de cuidado con las definiciones de suma y multiplicacin en E que hemos introducido en la definicin 8.4, pues estamos definiendo las operaciones entre clases de equivalencia por medio de algunos
elementos en las clases (representantes de las clases). Como las clases son
grandes (y, en este caso particular, infinitas!), si cambiramos los elementos
de las clases podra, en principio, cambiar el resultado de las operaciones.
En realidad, eso no sucede, pues la relacin R se comporta bien con respecto a la suma y multiplicacin de naturales (vase el ejercicio 8.2). Este
es un caso particular de buenos comportamientos de ciertas relaciones de
equivalencia con respecto a ciertas operaciones. Esas buenas relaciones de
equivalencia se llamarn congruencias, y, en buena medida, los comienzos de
cursos posteriores en LGEBRA ABSTRACTA, TEORA DE CUERPOS, LGEBRA CONMUTATIVA o LGEBRA UNIVERSAL entrarn a estudiar con todo
detenimiento esas congruencias en mbitos muy generales.
Para simplificar la presentacin de los objetos con los cuales estamos
trabajando, introducimos las notaciones estndar asociadas a estas clases
de equivalencia. Por medio de la inyeccin N ---) NxN:n 4-) [(n,
(chequear que es 1-11) podemos identificar n con su clase de equivalencia
asociada [(n, 0)]R. Por otro lado, definimos
-n = [(O, n)]R.
84
Z 35 E E a +1) = 0.
Ahora bien, lo que por un lado se gana, por otro lado se pierde. En el
conjunto de los enteros falla el principio de induccin. De hecho, en E hay
cadenas descendentes infinitas,
<-7-1,-1 <-n<<-3
<-2<-1 <O
85
86
(1)
(2)
"-+
(3)
11--
(4)
(5)
tienne Bzout (Francia, 1730-1783) escribi va- rios volmenes de matemticas para el uso de la
artillera francesa, y un importante tratado pstumo sobre las ecuaciones algebraicas.
87
88
a.
89
la suma y la multiplicacin (como suceda con la relacin R que nos permiti construir al conjunto de los enteros). Tenemos en efecto (ejercicio 8.3):
as.-b ,
4 a+el.,-b+d ,
Las relaciones de congruencia -a-. estn ntimamente ligadas a los subconjuntos nZ, pues a
b equivale a decir a b E nZ. En cursos posteriores
(LGEBRA ABSTRACTA, LGEBRA UNIVERSAL, TEORA DE CATEGORAS) el
estudiante descubrir que ste es un caso particular de situaciones profundas
mucho ms generales (correspondencia entre ncleos y congruencias).
El buen comportamiento de las congruencias -i-En con respecto a las operaciones es la base para realizar cmodos clculos que seran bastante ms engorrosos sin las congruencias. Por ejemplo, el clculo del resto de la divisin
de 398 por 5 se obtiene fcilmente (habiendo demostrado el ejercicio 8.3) mediante las congruencias mdulo 5: 3" = (32 )49 = 949 =5 (-1)" = 1 'as 4.
As, se ve fcilmente que el resto buscado es igual a 4. Pero imagine realizar
la divisin calculando explcitamente 398: no existiran suficientes tomos en
el universo para efectuar un tal clculo!
El clculo anterior codifica en un ejemplo particular una de las razones
de ser primordiales de las congruencias: simplificar clculos multiplicativos grandes (algo que se conseguir tambin con los logaritmos de nmeros
reales, ver final de la seccin 11.1). De hecho, cada potencia de la forma anm
se expresa como (a")" (sin usar congruencias), y, usando ahora s congruencias, se reduce primero a' mdulo la congruencia deseada, para luego tomar
la potencia m-sima. En ciertos casos particulares (congruencias mdulo un
nmero primo p), las potencias adquieren una expresin especialmente sencilla, y siempre se tiene a =7, a para todo a E Z (no demostraremos esto
aqu; para un caso particular, vase el ejercicio 8.7). Va las congruencias, las
potencias mdulo un primo adquieren entonces un comportamiento cclico, pues stas empiezan a repetirse (aP+5 = opa az ea = a2, y, en general,
cii+1 si 1 < i < p). El estudio general de esas estructuras cclicas
lleva a los comienzos de un curso posterior de LGEBRA ABSTRACTA.
90
e (a ,b, c, d E N);
Q:
0}.
[(a, b))s
91
b d
92
a e c
e
3 EQ < <
d.
f
b
f
8.4. Ejercicios
8.1. Sea A un conjunto no vaco. Sea 'R. el conjunto de las relaciones de
equivalencia sobre A, y sea P el conjunto de las particiones de A. Demuestre
P, que enva una relacin de equivalencia
que la correspondencia F :
en la particin de las clases de equivalencia de esa relacin, es biyectiva.
R. que asocie una relacin
Ayuda: explicite una correspondencia G :
de equivalencia a una particin (la idea aparece en el cuerpo del texto), y
demuestre que las funciones F y G son inversas la una de la otra.
8.2. Sea R la relacin en N x E definida en el ejemplo 8.3. Demuestre que
la suma entre enteros (entendidos como clases de equivalencia bajo R) es
independiente de los representantes de las clases, es decir, demuestre que
d)]R =
si [(a, b)]rt = [(d, bg]ii y Re, ft = [(d, d')]R entonces [(a + c,
[(a' +d,b'-l-dg]n. Muestre tambin que la multiplicacin es independiente de
los representantes: escriba la frase adecuada que expresa esa independencia
y demustrela.
/H- d
d implica a + c
8.3. Sean a, 6, c, d E Z. Demuestre que a =n b y c
b implica al =n 1,1 para todo j E E (esto es,
y ac
bd. Deduzca que a
las congruencias preservan potencias).
8.4. Demuestre que la identidad de Bzout posee infinitas soluciones (dados
a, b E Z existen infinitos x, y E Z tales que rn.cd(a,b) = ax by). Ayuda:
combine una solucin de la identidad de Bzout con infinitas soluciones
(fciles, bsquelas) para la ecuacin at bz = O.
8.4. EJERCICIOS
93
Captulo 9
72 = 2880x3 + 504y3.
8.6. Encuentre a E Z tal que a =33 10 y a
7 (simultneamente). Ayuda:
calcule la expresin lineal del mcd(33, 35) y con modificaciones adecuadas
resuelva las ecuaciones a = 10 33k = 7 -I- 35k'.
8.7. Calcule 36 (mdulo 7), 46 (mdulo 7), 56 (mdulo 7). Puede Intuir una
frmula general detrs de estos casos particulares? Puede probarla?
8.8. Sea S la relacin en Zx Z introducida antes de la definicin 8.7. Demuestre que S es una congruencia, es decir (i) S es relacin de equivalencia; (fi) S
preserva suma y multiplicacin: si [(a, b)]5 = [(a', b9],5. y [(e, d)]s =
entonces [(ad + bc,bd)],g = [(a'd' + bici ,Ildgis; si [(a, b)],9 = [(a', b')]s y
[(c, d)]s = [(e', dg]s entonces [(ae, bd)[,9 = [(a'c', d')]s.
8.9 Sean t < 5 E Q. Demuestre que existen infinitos racionales entre t y
1. Ayuda: hgalo primero para el caso positivo, verificando la construccin
sugerida de un racional estrictamente metido en el intervalo y repitiendo
infinitamente el proceso; luego, extienda la situacin al caso negativo.
Nmeros reales
Contenido
9.1. Sucesiones de racionales
9.2. Vecindades fundamentales
9.3. Completamiento de los racionales
9.4. Propiedades fundamentales de los reales .
9.5. Ejercicios
94
98
98
99
103
95
96
(1,2,2.5,... , 1 -I- Ir -Icon n 1 trminos.
1 x, x < O.
La distancia d(x, y) entre dos racionales x, y se define por
d(x, y) = yj.
Una vecindad fundamental 17,(x) para un nmero cualquiera x (donde
e E Q, e > O) se define por
.. ,
. .); se tiene sn
n+-1.
(1,1.4,1.41, 1.414, 1.4142, 1.41421, ... ); se tiene sn= expansin decimal de
N/2 con n dcimas.
V,(x)
e,x+e[={yEQ:xe<y<x+e).
97
grande de nmeros ideales: los nmeros reales (el lector con talante filosfico querr explorar cmo lo ideal se convierte aqu en real, y cmo
las oscilaciones pendulares de la matemtica son tambin delicadas oscilaciones filosficas). No procedemos aqu de forma totalmente rigurosa, puesto
que ese tratamiento formar parte de un curso posterior de la Carrera de
Matemticas (ANdusis). Sin embargo, la idea consiste en observar que no
existen suficientes lmites en el conjunto de los racionales, y en agregar entonces todos los lmites posibles. Como los lmites an no tienen derecho
formal de existencia (as como los negativos o los racionales no existan formalmente antes de construirlos), habra que introducir nuevos entes para
poder representar esos lmites. En este caso, esos nuevos entes son clases
de equivalencia de sucesiones adecuadas de racionales que se condensan
en el infinito (llamadas sucesiones de Cauchy2 ). Una diferencia profunda entre la introduccin de las clases de equivalencia a nivel de Z o de Q,
y, ahora, a nivel de R, es que estas ltimas clases involucran un manejo
existencial no constructivo del infinito. No insistiremos aqu sin embargo en
estas cuestiones. El estudiante deber tener cuidado con estas dificultades
en el futuro.
Definicin 9.4. Sea (s) una sucesin de racionales. Sea l un nmero
(racional, o ideal, en una eventual extensin de Q). Decimos que l es un
lmite de la sucesin (s) si y slo si para toda vecindad fundamental de 1,
a partir de algn subndice no todos los elementos de la sucesin pertenecen
a la vecindad. Intuitivamente, a partir de un cierto momento todos los elementos de la sucesin se agolpan en las vecindades fundamentales del limite.
Formalmente, Ve > O 3n0 Vn. > no is lI < e (donde e E Q, n, no E N). Los
lmites, cuando existen, son nicos (ejercicio 9.3), y podemos reemplazar el
artculo indefinido un lmite por el lmite.
En el caso de que / sea el lmite de la sucesin (s), decimos que (sn)
converge a 1, y denotamos este hecho por
98
o tambin por
1 = lila sn.
Ejemplo 9.5. Considere el conjunto A de los nmeros con expansiones
n > 1). Ms
, a E E, a,, E
decimales: A = {a.ala2
adelante, en cursos posteriores, una vez se haya fundamentado correctamente
el conjunto de los reales, se podr ver que A = E, que los racionales son
los elementos de A con expansiones decimales finitas o peridicas (es decir,
a partir de algn i), y
con repeticiones de ciclos del tipo aiai+i
que los irracionales son los elementos de A con expansiones no peridicas.
Sea (5),, la sucesin de racionales
e,
Fijemos a E A, a = a.aia2
definida por sn= expansin decimal de a con n dcimas, es decir, so = a,
an. Tenemos que ISn al =si = asi, s2 = a.nia2, .., 5n = a.aia2
10.00
Oan-Elan+2 I < IV, (realice los casos n = 0,1,2 para convencerse
del patrn general!). Con mayor razn, entonces, para m > n, tenemos
al < lm 11,-. Esto quiere decir que, a partir
-4 pues I
al < 1,
I
de m > n, todos los sm pertenecen a la vecindad fundamental V (a).
Si pudisemos reemplazar los nmeros e > O que aparecen en la definicin
del lmite por nmeros del tipo 4,- con lo anterior habramos demostradc
completamente que lira s = a: todo nmero (racional o irracional) con
expansin decimal resultara ser as el lmite de sus expansiones decimales
finitas (racionales). El hecho de poder reemplazar la coleccin de vecindades
fundamentales {V, : e> 0} por la subcoleccin de vecindades {V i : n E N)
corresponde sin embargo a una propiedad adicional de los nmeros reales
la arquimedianeidad de 111 (ver seccin 9.4).
99
100
Xo
R= Q.
101
abEl.
la, b1 n Q 0
la, b[ n11 0.
102
As, por ms pequeo que sea el intervalo ]a, b[, este intervalo siempre
posee nmeros racionales e irracionales. Si se repite indefinidamente este
proceso, se deduce que todo intervalo ]a, b[ posee en realidad infinitos racionales e irracionales (ejercicio 9.6). La prueba de la propiedad de densidad
(DENS) depende de otra propiedad esencial del conjunto de los nmeros
reales:
a
(ARQUIM)
9.5. EJERCICIOS
103
9.5. Ejercicios
9.1. Considere la operacin O definida en R por x O y = x + y sy. Es
O asociativa? Es O conmutativa? Posee elemento neutro? Demuestre sus
respuestas.
9.2. Sea L = {x E Q : x2 < 2}. Demuestre que L no tiene mximo (es decir,
no existe a E L tal que Vx E L x < a) (ayuda: si a2 < 2, construya b E Q tal
que a2 < b2 < 2). Muestre, en cambio, que L posee mnima cota superior en
R. Cul es esa mnima cota superior?
9.3. Demuestre que, cuando existen, los lmites de una (misma) sucesin son
y l'=lim sn entonces 1 = 1').
nicos (es decir, si /=lim
9.4. Demuestre las propiedades de suma y multiplicacin de racionales e
irracionales, sealadas en la seccin 9.4. Demuestre, en cambio, que nada se
puede asegurar acerca de la suma o la multiplicacin de irracionales.
9.5. Si a y b son ambos irracionales, con a < b, demuestre que existe un
racional en ]e, b[.
9.6. Sean a, b E E con a < b; demuestre que ]a, b[ posee infinitos racionales
e irracionales.
Captulo 10
Recapitulacin sobre
conjuntos de nmeros
Contenido
10.1. Los conjuntos de nmeros
10.2. El universo conjuntista
10.3. Ejercicios
105
107
109
+ .Va
9.7. Sean a, b E E tales que a2 > 1. Demuestre que 7a
es racional si y slo si a2 b yl(a -I- /a2 b) son ambos cuadrados de
racionales.
9.8. Sean a, b, c E Q. Demuestre que si aA/2 b13 c.V5 = O entonces
a = b = e = O (independencia lineal de -\/2, ,/3, N/5 sobre Q). Es el
resultado cierto si a, b, c E
9.9. Encuentre nmeros racionales a y fi tales que V7 + 5N/1 =
(base de una extensin de nmeros cuadrticos sobre Q).
9.10. Sea Q(y'2) = {a + b.12 : a, b E Q}. Demuestre que .V3 QW2) y
que lo E Q(0). Demuestre que Q( \/2) es cerrado bajo suma y multiplicacin: a, b E Q(V2) implica a + b, ab E QW2).
9.11. La propiedad arquimedeana (una propiedad geomtrica) codifica, de
manera esencial, ciertas propiedades de convergencia (propiedades analticas). De hecho, demuestre la equivalencia plena:
(ARQUIM) si y slo si lima = 0.
En este captulo proveemos una visin sinttica, a vuelo de pjaro, sobre las
diversas propiedades de los conjuntos que hemos visto hasta el momento (y
que pronto veremos, adelantndonos a la aparicin de los nmeros complejos
en los captulos finales 13 y 14). Presentamos tambin una breve discusin
del universo conjuntista en expansin, un muy extenso universo, ancho y
ajeno, que supera ampliamente los dominios de nmeros usuales, alrededor
de los cuales se concentra el curso de FUNDAMENTOS. Una vez ms, observamos entonces que en el curso de FUNDAMENTOS nos encontramos apenas en
la punta de un iceberg, cuya masa enorme y compleja escapa por el momento
a nuestra mirada. Una de las maravillas de la matemtica es su inagotabilidad, su inmensa riqueza que nunca alcanzamos a entender del todo, y que
siempre nos impulsa a maravillarnos nuevamente con la gran creatividad del
espritu humano.
104
105
En la tabla siguiente presentamos en forma sucinta las principales propiedades de los conjuntos de nmeros usuales (naturales, enteros, racionales,
reales, complejos). Para referencia futura, dejamos constancia aqu de algunas propiedades del conjunto de los nmeros complejos. El estudiante
puede dejarlas de lado por el momento, y volver a ellas despus de haber
estudiado los captulos 13 y 14.
106
En la tabla anterior, denotamos con las razones de ser de cada conjunto de nmeros: el inters de N radica en su buen orden, lo propio de E
es proveer inversos para la suma, lo propio de Q es proveer inversos para
la multiplicacin, el inters de 118 consiste en contener todos los lmites de
sucesiones de racionales, lo caracterstico de C consiste en poder resolver
todas las ecuaciones.
Los pasos esenciales codificados en la tabla anterior se resumen en las
ampliaciones siguientes. Obsrvese cmo, en cada caso, se supera una obstruccin, ampliando el universo de los objetos matemticos en juego:
IR
asociatividad (-I-, -)
conmutatividad (+, -)
distributividad (- sobre -1-)
existencia neutros (-I-, -)
existencia inversos (+)
existencia inversos (# 0) (-)
buen orden
existencia sucesor
densidad del orden
arquimedeaneidad del orden
existencia de todo limite
existencia races polinomios impares
existencia races todo polinomio
s
s
s
s
no
no
s
s
no
s
s
no
no
s
s
s
s
s
no
no
s
no
s
s
no
no
s
s
s
s
s
s
no
no
s
s
no
no
no
s
s
s
s
s
s
no
no
s
s
s
s
no
s
s
s
s
s
s
no
no
no
no
s
s
s
Las frases y los trminos entre comillas no han sido precisados con todo
rigor. La existencia de todo lmite se estudiar ms adelant en la Carrera
de Matemticas (cursos de ANLISIS y de TEORA DE CONJUNTOS), aunque
en el captulo anterior se ha dado una primera introduccin al tema. Aqu,
al decir existencia de todo lmite, estamos pensando en la pertenencia (al
conjunto dado) de todos los limites de sucesiones razonables de elementos
de ese conjunto (tcnicamente, esas sucesiones razonables son sucesiones
de Cauchy: ver comentarios antes de la definicin 9.4). Los polinomios se
estudiarn tambin con ms cuidado en cursos como LGEBRA ABSTRACTA, LGEBRA CONMUTATIVA O ESTRUCTURAS ALGEBRAICAS. No obstante,
presentamos una breve introduccin a los polinomios en el captulo 12.
inversos (-I-)
inversos (.)
IR
E w Q
propiedad
todo lmite
toda raz
En particular, en el conjunto de los nmeros complejos, se van acumulando muy buenas propiedades ligadas a una suerte de completitud fuerte
(todos los lmites, todas las races). No obstante, al acumular ms y ms
entes imaginarios (en los complejos, la metfora imaginaria se convertir pronto en un objeto!), se pierde de manera definitiva el orden: como
veremos, no existe en los complejos un orden razonable, es decir que sea
congruente con las operaciones de suma y multiplicacin. Se trata de una
situacin pendular, tpica de las matemticas: lo que por un lado se gana,
a menudo se pierde por otro lado. El matemtico busca entonces encontrar
las formas ms ajustadas posibles de equilibrio pendular entre las diversas
estructuras en juego.
Por otro lado, desde el punto de vista de los tamaos de infinitud, se
tiene un claro salto de tamao entre los conjuntos enumerables N, E y Q
(todos equipotentes a N, como hemos visto) y el conjunto de los reales R.
De hecho, por el argumento diagonal de Cantor (4.15), IR no es enumerable.
p(N), pues hay tantos reales como sucesiones
Puede demostrarse que IR
de racionales, tantas sucesiones de racionales como sucesiones de naturales
y tantas sucesiones de naturales como subconjuntos de naturales (para las
precisiones, vase el ejercicio 10.3). La situacin p(N) IR N confirma el
teorema de Cantor sobre los conjuntos potencia (4.14). Ahora bien, sabemos
que el tamao de p(N) no es el mismo tamao de N, pero no sabernos qu tan
grande puede ser en realidad p(N) (por lo tanto, qu tan grande puede llegar
a ser R). Sealaremos en la prxima seccin cmo ese tamao puede ser tan
grande como se quiera, tan infinitamente superior a N como se desee. Se
trata de una sorpresa mayscula en la matemtica.
107
108
lo ms voltil posible: nada puede asegurarse, en principio, acerca del tamao de III. Los esfuerzos de los mayores matemticos que trabajan en el
rea se dirigen entonces a buscar axiomas naturales adicionales que fuercen
a situar el tamao de E en un determinado nivel 11. Emergen as mltiples
teoras de conjuntos, y el cientfico debe entonces escoger la teora que ms
le convenga, de acuerdo con sus objetivos especficos.
Cantor conjetur que el tamao del conjunto de los reales sera el primer
tamao infinito despus del tamao del conjunto de los naturales. Como el
conjunto de los reales es un modelo del continuo, la conjetura de Cantor se
denomin la hiptesis del continuo. En trminos precisos, la hiptesis del
continuo enuncia entonces que irt = 111 (la doble barra denota el cardinal
de E), donde lb_ es el primer cardinal no enumerable. A pesar de enormes
esfuerzos (que poco a poco debilitaron su salud, hasta llevarlo a una institucin de enfermos mentales: peligros de la alta matemtica!), Cantor no
logr demostrar su hiptesis del continuo. En realidad, el problema era muy
difcil, y exceda la tcnica de la poca (fines del siglo XIX y comienzos del
XX). Un comienzo de solucin del problema se obtuvo apenas en 1938 con
G5del, cuando ste demostr que s el universo de conjuntos crece lentamente, entonces la hiptesis del continuo es cierta. Pero surgi un sorpresivo
revs de la situacin, cuando Cohen' demostr en 1963 que, en otros universos de conjuntos cuyo crecimiento es rpido, el tamao de los reales puede
(y, allende los
en escalas ms
pasar a ser cualquier 12,, (n E N, n >
altas de infinitud, slo hay una mnima restriccin para el tamao de R).
El universo de conjuntos puede entonces variar de formas bastante errticas, y, dependiendo del modelo del universo que gustemos adoptar, podremos tener R = 11 para cualquier n E N, n > 0. La situacin es entonces
Paul Cohen (Estados Unidos, 1934-2007) revolucion las pruebas de independencia en teora de
conjuntos, introduciendo su tcnica del forcing.
Al variar los universos de la teora de conjuntos,
pueden forzarse sus propiedades, casi a gusto del
observador.
infinitud
no enumerable
enumerabilidad
0
En el diagrama, puede verse un universo conjuntista en expansin. Se
parte del 0, y se cubre en primera instancia el mbito de los conjuntos finiSe llega luego a la enumerabilidad
tos, mediante las operaciones p, U, n,
postulando la existencia de E (no hay modo de pasar de lo finito a lo infinito
sin postular una infinitud). Siguiendo hacia adelante, gracias ala operacin
p, el teorema de Cantor (4.14) asegura que podemos superar lo enumerable.
Mediante un buen comportamiento de las funciones (axioma de reemplazo) puede despus extenderse indefinidamente el universo conjuntista, y
puede accederse as a alephs cada vez ms altos.
10.3. EJERCICIOS
109
Los comportamientos de los objetos matemticos dependen de su encarnacin en esos universos conjuntistas en expansin. As como se tienen
mltiples teoras que, en formas alternativas, explican la evolucin del cosmos a partir de un supuesto big bang inicial, mltiples teoras de conjuntos
nos informan, con mayor o menor xito, sobre el elusivo modelo del continuo
conformado por los nmeros reales. La teora de modelos, debida a Tarski2
y sus discpulos, se enlaza entonces de una manera muy fuerte con la teora
de conjuntos. Conocer en parte esos enlaces ser una de las labores futuras
de todo buen estudiante de la Carrera de Matemticas.
110
10.3. Ejercicios
10.1. Confirme que usted conoce y maneja bien las propiedades de los conjuntos de nmeros consignadas en la tabla de la seccin 10.1.
10.2. Sea R una relacin de orden en un conjunto A. Supngase que esa
relacin R tiene un mnimo elemento rit. Si m # p E A, decimos que p es
un tomo para R si no existe ningn otro elemento de A entre m y p (es
decir, Va E A(mRa A aRp > a= mVa = p)). Decirnos que R es atmica
si todo elemento de A (diferente del mnimo) posee al menos un tomo por
debajo de l (es decir, Va E A {m} 3p tomo pRa). Haga un diagrama de
Hasse de lo que pretende definirse con la nocin de tomo, y corrobore que
esa nocin se acopla bien con su intuicin del trmino tomo. Cules de
las relaciones de orden usuales en los conjuntos de nmeros N, E, Q, R son
atmicas? Muestre que la inclusin en p(A) (para todo conjunto A no vaco)
es atmica, y explicite cules son sus tomos. Muestre que la divisibilidad
en N es atmica, y explicite cules son sus tomos.
10.3. Indicamos en este ejercicio cmo R as p(N). A lo largo del ejercicio, si
A y B son dos conjuntos, AB denota el conjunto de todas las funciones de
B en A: AB = {f:B-->A:f es funcin}.
10.3. EJERCICIOS
111
No podemos an demostrar este resultado general al nivel del curso de FUNDAMENTOS, pero, con las herramientas que tenemos disponibles, la prueba
s puede realizarse en un caso particular de enumerabilidad. Demuestre, por
tanto, el caso particular de (*) para A enumerable, B infinito (no necesariamente enumerable): 1+73
- T3 =
rnax(71,T3)). Ayudas: recuerde
que B infinito significa que B posee un subconjunto enumerable (definicin
3.1); use Schriider-Bernstein (seccin 6.1); para el caso de la suma, use que
unin de dos conjuntos enumerables es enumerable (ejercicio 6.5); para el
caso del producto, use que un conjunto infinito contiene enumerables copias
disyuntas de s mismo.
r3 (=
Captulo 11
Ms sobre reales
Contenido
11.1. Grficas de funciones
11.2. Algebraicidad y trascendencia
11.3. Ejercicios
113
122
125
113
114
:x x
---> IR
kx
y -= x, diagonal
y = x a, traslacin de a
115
(k =- 0,a > O)
116
R x 1--)
y = a, constante
y
y = x2, parbola
Los dems casos de grficas de funciones lineales se obtienen de manera similar (ejercicio 11.1), mediante adecuados movimientos de las diagonales a lo
largo del plano. Todos los casos de rectas en el plano representan as alguna
funcin lineal, excepto los casos de rectas paralelas al eje de las ordenadas,
que no pueden representar funciones (por qu?).
Pasamos ahora a observar las grficas de funciones cuadrticas.
(x a)2 b
La parbola anterior resulta de una doble traslacin: con respecto a x (fragmento (x a)2 ) y con respecto a y (fragmento b). En el caso diagramado
(a > O, b > 0), sto corresponde a desplazar la parbola sencilla hacia la
derecha (hasta llegar a x = a) y hacia abajo (hasta llegar a y = b: ste
es el mnimo valor de la nueva parbola, pues (x a)2 slo agrega valores
positivos a la funcin). Las races de la parbola estn representadas por
los puntos en los que la parbola cruza el eje de las abscisas. En el caso
b > 0, sto siempre se va a dar, pues (x a)2 b = O puede resolverse en
R, mediante (x a)2 = b, es decir sc = a f ../b (existe en E pues b > 0).
Para el caso b < 0, la parbola se sita toda entera en el cuadrante superior
estrictamente positivo (y > 0), la parbola no cruza el eje de las abscisas y
no se tienen races (en E).
117
x 1> (x a)(x b)
118
Esta parbola resulta ser un caso particular de las traslaciones anteriores (caso B.2), como puede verse gracias a los clculos (x a)(x b) =
_ (ab)2. La
x2 (a + b)x + ab = (x 1-1b) 2 (110)2 + ab =
primera igualdad surge del desarrollo inmediato del producto, la segunda
igualdad se deriva del cornpletamiento de un cuadrado, la tercera igualdad
es un clculo algebraico elemental (hacerlo!). Aqu, el completarniento de un
cuadrado es una herramienta bsica:
2)
b2+
x2 +bx+c= (x F
= (x + b
b2
+ 4c4
452
Si b2 -4c (discriminante) es positivo, entonces la ecuacin (x+1)2 1- 4'
O, que equivale a (x + 1)2 '12 7,4', puede resolverse en R, y su solucin es
x=
y = x2, cbica
-1
mximo local
y = (x a)(x b)(x
b
2
4c
= 2 (b Vb2 4c).
4
: x kx 2
B.4. Hornotecias de parbolas:
En el caso k > O, las homotecias alargan o aplastan a la parbola sencilla
f (x) = x 2. Si k > 1, la parbola inicial se alarga, y se aglutina sobre el eje
de las ordenadas (ejercicio 11.2). La pendiente de la parbola en el punto
= 1 es igual a 2k: crece a medida que k crece. En cambio, si O < k < 1,
la parbola inicial se aplasta, y se aglutina sobre el eje de las abscisas; la
pendiente en x = 1 decrece a medida que k se acerca a O. Si k = O, la
parbola se aplasta completamente y se convierte en el eje de las abscisas.
En el caso k < O, las homotecias invierten a la parbola inicial f(x)
x2 (ejercicio 11.2). Mediante combinaciones de traslaciones y homotecias
mnimo local
119
120
f es impar si y slo si VX
E IR
f (x) f (x).
121
y = exp(x), exponencial
122
y = In(x), logaritmo
John Neper (Escocia, 1550-1617) sirve como ejemplo del inventor matemtico que elabora un concepto totalmente abstracto (en este caso, los logaritmos) para simplificar clculos muy reales. El
uso de los logaritmos en la astronoma yen la fsica del Renacimiento y la Ilustracin ayud de manera considerable al avance de las ciencias prcticas.
123
Alan Baker (Inglaterra, n. 1939) y Michel Waldschmidt (Francia, n. 1946) son dos de los pocos
matemticos del siglo XX en haber obtenido algunos avances estructurales en la comprensin de
los nmeros trascendentes. Es un campo de investigacin an tremendamente desconocido.
124
xn
x x2 x3
ex=1+ ii + 11 + 3T++ 771-+
Observando que 1 + = 1 + x es lineal, que 1 + f-1- = 1 + x + es
cuadrtica, que 1 + fr + + = 1 + x + + 163- es cbica, y as sucesivamente, vemos que la funcin exponencial trasciende todas las aproximaciones finitarias del tipo 1 -I- + + + 1. En el prximo captulo,
llamaremos polinomios a este tipo de aproximaciones finitarias: por tanto,
la exponencial trasciende a todos los polinomios. Nos encontramos aqu ante la emergencia de un paradigma muy fuerte en los conjuntos de nmeros,
segn el cual se contrastarn argumentos constructivos (ligados a racionales,
polinomios y funciones de aproximacin) con argumentos existenciales (ligados a trascendencia e infinitudes altas). En buena medida, muchas de las
-Y- tcnicas ms fructferas en matemticas intentarn cubrir esa brecha entre
lo efectivamente construible y lo meramente existente.
En los ejercicios 6.5 y 6.6 prefigurbamos el hecho de que el conjunto
de los nmeros algebraicos Alg es enumerable. Si denotamos con Trasc
al conjunto de los nmeros trascendentes, se tiene que R = Alg U Trasc
(definicin 11,2), y como IR no es enumerable (teorema de Cantor), Trasc
no puede entonces ser enumerable (,por qu?). Ms an, en esta situacin se
deduce obligatoriamente que Trasc R (ejercicios 6.7 y 11.12). El mbito
113. EJERCICIOS
125
11.3. Ejercicios
11.1. Realice las grficas de las dems funciones lineales que no se presentaron en el cuerpo del texto. Haga las grficas en algunos casos particulares,
as como en los casos generales no contemplados (k < 0, a < 0, etc.).
kx2 .
11
11.2. Realice las grficas de homotecias de parbolas: IR
Contemple los casos k > 1, k = 1, O < k < 1, k = 0, 1 < k < O, k = 1,
k < 1.
11.3. Realice las grficas de las funciones cuadrticas siguientes:
0.)
() R --> : x 1--
-I- x 2
(iii)
--> R : a:1, x2 x + 1
(iv)
--, IR : x
3x2 + 2x 5.
126
11.5. Muestre que las homotecias (A.3) son impares. Qu puede decir de
las traslaciones lineales (A.2) y de las traslaciones de parbolas (B.2): son
impares, son pares? Distinga aquellos casos en los que se puede asegurar
algo en general, de aquellos casos donde no vale ni paridad, ni imparidad.
. Decimos que f es par con respecto a a si
11.6. Sean a E , f :
y slo si Vx E R f(x -I- a) = f (x + a), y que f es impar con respecto a
a si y slo si Vx E IR f (x -V a) = f (x -I- a). Explique geomtricamente
qu significa paridad con respecto a e, e imparidad con respecto a a. Muestre
: x t> x a es impar con respecto a a.
que toda traslacin t : IR
(x a)2 es par con
Muestre que toda traslacin de parbolas R ----> IR :
respecto a a. Compare esta situacin con el ejercicio 11.5.
11.7. Muestre geomtricamente (es decir, explorando el comportamiento de
una grfica con respecto a todas las rectas horizontales) que la funcin iden, las traslaciones (A.2), las homotecias no nulas (A.3) y la funcin
tidad (Al),
cbica sencilla (C.1) son inyectivas y sobreyectivas. Con el mismo tipo de argumentos geomtricos, muestre que la funcin cuadrtica sencilla (B.1), las
traslaciones de parbolas (B.2) y algunas funciones cbicas (dar dos ejemplos particulares) no son inyectivas. Explique geomtricamente, en cambio,
por qu toda funcin cbica es sobreyectiva.
11.8. Diga si las siguientes frases son verdaderas o falsas, y explique las
razones de su respuesta. En todo el ejercicio se trabaja con funciones de R
en
(i) La grfica de f 1 (cuando existe) es simtrica a la grfica de f con
respecto al eje de las ordenadas.
(ii) La grfica de la inversa de una funcin constante es una diagonal.
(iii) La grfica de la inversa de una parbola es una parbola.
(iv) La grfica de la inversa de una funcin par no corresponde a la grfica
de una funcin.
11.9. Demuestre que toda funcin f : IR --> IR puede expresarse (de manera
nica) como la suma de una funcin par y una funcin impar.
11.10. Complete la tabla siguiente, donde f y g son funciones de IR en II:
fg
r I, N/IrI
ri, r+,/2
r1>l+r
r ,_, rz
r I) 0
r1,r-1(r0);01> 0
f+g
fg
fog
11.3. EJERCICIOS
127
11.11. Partiendo de las propiedades de la funcin exponencial y de la definicin de logaritmo como inversa de la exponencial, demuestre las propiedades
de la funcin logaritmo indicadas en el texto.
11.12. Muestre que Trasc R (donde Trasc es el conjunto de los nmeros
trascendentes).. De forma ms general, muestre que si tenemos X = Y U Z,
Y N y X x N entonces Z X. Estamos expresando aqu, con mayor
amplitud matemtica y con mejor precisin formal, el ejercicio 6.7.
Captulo 12
Polinomios y fracciones
racionales
Contenido
12.1. Polinomios
12.2. Irreducibilidad
12.3. Fracciones racionales
12.4. Ejercicios
128
130
138
140
En este captulo introducimos los polinomios, que merecen verse como los objetos privilegiados para el control algebraico de las extensiones de conjuntos
de nmeros. Los polinomios incorporan dos ideas fundamentales: extender
un conjunto allende una barrera operacional dada, y hacerlo con una herramienta bsicamente finitaria. Luego, con los cocientes de polinomios, es
decir, con las fracciones racionales, se cierra la transgresin de la barrera.
12.1. Polinomios
Definicin 12.1. Sea A un conjunto de nmeros (en la prctica, A ser igual
a Z,Q,R o C: nmeros complejos a definirse en el prximo captulo). Un
polinomio P(X) con coeficientes en A es una expresin formal del tipo
P(X) = anXn
12.1. POLINOMIOS
129
P(X) E A[X]
conjuntos de nmeros
La distancia algebraica de b a A puede ser controlada mediante los polinomios P(X) E A[X]. No deben aqu confundirse los objetos que entran en
juego: por un lado, tenemos conjuntos de nmeros, con contenencias internas
130
entre ellos; por el otro lado, tenemos objetos puramente formales, externos,
que se refieren a esos conjuntos de nmeros y a eventuales pertenencias (o
no) de elementos a esos conjuntos.
Inversamente, dado un conjunto de nmeros A, ese conjunto podra extenderse gracias a ciertos testigos privilegiados (races) ligados a ciertos
polinomios en A[X]. En el captulo siguiente, mostraremos por ejemplo cmo
los nmeros complejos se construyen a partir de los nmeros reales gracias
al polinomio X2 + 1 y a sus races.
Definicin 12.3. Sea P(X) un polinomio en A[X]. Sea b un nmero en
alguna extensin B de A (incluyendo el caso B = A). Decimos que b es una
raz de P(X) si y slo si P(b) = 0.
Un caso paradigmtico de control en ciertos conjuntos de nmeros se
tiene al considerar los nmeros algebraicos reales Alg (seccin 11.2). En
efecto, los algebraicos son las races de los polinomios con coeficientes en Q:
Alg = {a E IR : 3P(X) E (2[X](P(X)
O A P(a) = 0)).
Por otro lado, desde un punto de vista algebraico, los nmeros trascendentes
reales Trasc son el ejemplo extremo del descontrol:
Trasc = {a E IR VP(X) E Q[X](P(X) 5i 0
P(a) L O.
Los trascendentes estn ms all de cualquier aproximacin algebraica finitaria, y ningn polinomio los controla. Intuitivamente entonces, la distancia
algebraica de los trascendentes a Q es infinita! (en cursos posteriores donde
se estudie la TEORA DE GALOIS, el estudiante podr darle un pleno sustento
riguroso a esta intuicin).
Las operaciones de suma y multiplicacin entre polinomios se definen
a continuacin. Mediante esas operaciones, tendremos suficientes representantes externos para poder medir comportamientos de muy diversa ndole
entre los conjuntos de nmeros que deseemos explorar. Sea A uno de los
conjuntos de nmeros Z, Q, R, o C.
Definicin 12.4. Sean P(X) = a,,Xn an_IX"-1 + -I- aiX + ao y
Q(X) = binX in
+ + biX + bo dos polinomios en A[X].
Supongamos, sin prdida de generalidad, que grad(P) = n > m = grad(Q).
Definimos entonces:
131
12.1. POLINOMIOS
P(X) Q(X) =
anX"
an_IX"-1 + + (am +
132
P(X)Q(X)
-V + (> aibk)Xi + + (albo + aobi)X + aobo
1-1-k=i
As, la suma se realiza componente por componente, sumando sencillamente los coeficientes de los polinomios. La multiplicacin es ms delicada:
para cada monomio Xi su coeficiente se obtiene como un producto cruzado
a
an-2
b,
abn,
coef X"+"'
ar,b,_1+
coef
a_2bman-1beL-1 + aebro-2
coef X"-fm-2
12.1. POLINOMIOS
133
134
Entonces:
b es raz de P(X) si g slo si X b divide P(X) en B[X].
XII
_x4 _x2
Xe
-X3
X3 X +1
+1
+x
x4
X3 X2 --X +1
X3
1
X2 X +2
#-
No demostraremos aqu este teorema (cuya prueba se pospone a cursos posteriores de LGEBRA ABSTRACTA O de ESTRUCTURAS ALGEBRAICAS), pero
un ejemplo es instructivo. Considrense, por ejemplo, P(X) = 2X4 -I- 2X3 +
5X2-i-3X+3 y Q(X) = X3 -1. Realizando el algoritmo de Euclides repetidamente, obtenemos el mcd(P, Q), y, devolvindonos recursivamente mediante
el algoritmo (vase el clculo realizado antes de la definicin 8.6), obtenemos
R y S.
135
12.1. POLINOMIOS
2X
2X4
X3 1
2X +2
12.2. Irreducibilidad
Las buenas propiedades de divisibilidad en los conjuntos de polinomios permiten definir un anlogo fundamental de la nocin de nmero primo en E.
Definicin 12.7. Sea P(X) E A[X] (A = E, (12,1R, C). P(X) es irreducible
(en A[21) si y slo si P no puede descomponerse en un producto de dos
polinomios (en A[X]) de grado estrictamente menor: no existen S,T E A[X]
2X3
136
5X2 -i-5X +5
X3
-1
5X2 +5X +5
kx
x3 +x2 f -x
X2 X
X2 X
1
o
Obsrvese que todo polinomio lineal (grado 1) es automticamente irreducible. Sin embargo, para polinomios no lineales, debe tenerse mucho cuidado con la propiedad de irreducibilidad, pues se trata de una propiedad
eminentemente contextual. La irreducibilidad depende del universo A sobre
el que se toman los coeficientes de los polinomios, y es muy sensible a cualquier cambio en el conjunto A. De hecho, la nocin misma de primalidad en
(anloga de irreducibilidad en Z[X]) es contextual: 5 es primo en Z pero
no lo es en Z[i] (ver ejercicio 13.7).
Por ejemplo, el polinomio X2 2 es irreducible en Q[X] (pues una factorizacin posible del tipo X2 2 = (X + a)(X b) fuerza las ecuaciones
a + b = O y ab = 2, cuyas soluciones a = b = N/2 sacan a los coeficientes
fuera de Q), aunque X2 2 puede ser fcilmente reducido en R[X] (mediante la factorizacin X2 2 = (X -V2)(X + N/2), con polinomios con
coeficientes en IR). De forma similar, el polinomio X2 + 1 es irreducible en
R[X] (pues una factorizacin posible del tipo X 2 +1 = (X + a)(X b) fuerza
las ecuaciones e + b = 0 y ab = 1, cuyas soluciones a = b = i involucran
un nmero imaginario que saca a los coeficientes fuera de IR), aunque
X2 + 1 puede ser fcilmente reducido en C[X] (mediante la factorizacin
X2 + 1 = (X i)(X i), con polinomios con coeficientes en C).
La irreducibilidad de un polinomio est estrechamente ligada a la existencia de sus posibles races, pero la irreducibilidad y la existencia de races
no son equivalentes en general. Si se tiene siempre la implicacin:
137
12.2. IRREDUCIBILIDAD
contexto polinomial
X2 +X + 1
2X 3
X2 f1
X3 2
XP + 1 (p impar > 3)
X4 + 2X2 + 1
polinomio
Z[X]
s
s
s
s
no
no
Q[XJ
s
s
s
s
no
no
lit[X]
s
s
s
no
no
no
irreducibilidad
contexto numrico
CM
no
s
no
no
no
no
E
no
no
no
no
s
no
Q
no
s
no
no
s
no
lit
no
s
no
s
s
no
races
C
s
s
s
s
s
s
138
P(X)
Q(X)
O. El conjunto de fracciones racionales con
donde P, Q E A[X], Q
coeficientes en A se denota A(X), es decir, A(X) = {12 : P, Q E A[X]}
(parntesis cuadrados para conjuntos de polinomios, parntesis redondos
para conjuntos de fracciones racionales).
Si recordamos que analizar significa descomponer (simplificar de alguna
manera lo compuesto, y convertirlo en elemental), un anlisis del conjunto
de las fracciones racionales apuntara a expresar ciertas fracciones racionales
a partir de otras fracciones ms simples. Dentro de este panorama, dada una
fraccin racional 5, una descomposicin en fracciones simples de 5 se
realizar gracias a las dos etapas siguientes:
(i) descomponer Q en producto de irreducibles: Q(X) = fli<i,(qi(X))i,
(ii) descomponer
5 en sumas simples:
P(X)
aii (X)
Q(X)
(qi (X))i
139
cX + d
a
1
(X 2 +1)(X +1)2 = X 2 +1 + X +1 + (X +1)2 (*)
Hay esencialmente dos mtodos para encontrar los coeficientes a, b, c, d que
estamos buscando: uno va usos repetidos del teorema de Bzout para polinomios, otro va sistemas de ecuaciones para los coeficientes. El primero es
ms sistemtico, pero tal vez sea ms delicado tericamente; el segundo es
ms azaroso, pues pueden introducirse ms errores en los clculos, pero tal
vez sea ms sencillo en la prctica (ste es un ejemplo ms de la oscilacin
pendular en matemticas: no hay caminos reales, y, si ganamos algo por
un lado, algo perdemos por el otro!).
(X 2 + 1)(X +1)2 =
( X 2 +1)(X +1)2
1X +1 1X
EX +1)+1
X 2 + 1 + (X + 1)2 X2 + 1 + (X + 1)2
- x2 + 1
.4_
(X +1)
( X -F 1)2
Si se compara esta expresin con la expresin buscada (*), resulta que tendremosc=-1,d=Oya=b=
140
Segundo camino. Reducimos la expresin (*) al mismo denominador y comparamos coeficientes. Se debe tener entonces
(cX + d)(X + 1)2 + (a(X + 1) + b)(X 2 +1) = 1,
de donde, igualando los coeficientes de cada uno de los monomios X3, X2,
X y 1, se obtienen las ecuaciones
a + e = O (coeficiente de X3)
2c +d+a+b=0 (coeficiente de X2)
2d + c -f- a = O (coeficiente de X)
d + a + 1= 1 (coeficiente de 1).
La resolucin de estas ecuaciones (despejando y reemplazando sucesivamente adecuadas variables en las ecuaciones) da lugar tambin a la solucin
encontrada con el primer mtodo: c = , d = 0 y a = b = 2.
Si se comparan los dos mtodos, se ve cmo el primer mtodo es estructuralmente ms estable: hay una gua para el proceso, y la gua puede ayudar a
conservar un cierto orden en los clculos. Sin embargo, esa estructuralidad
estables requiere manejar la teora de Bzout. Por otro lado, el segundo
mtodo no requiere ninguna teora, pero es ms inestable: el practicante de
ese mtodo podr fcilmente olvidar algn coeficiente, o realizar mal alguna
substitucin en las ecuaciones, y todo se daar!
12.4. Ejercicios
12.1. Sea A uno de los conjuntos de nmeros usuales (A = Z, Q, E, C).
Considere el conjunto de las funciones de N en A que son iguales a O en casi
A: f es funcin y 3nfVn > nf f(n)=
todas partes: A<N =dc f {f
A definida
0}. Demuestre que entonces A<N N A[X]. Ayuda: sea f0 : N
por f (m) = 1 si m = n y f (m) = O si no; muestre que la correspondencia
f,, F-4 X" puede extenderse a una biyeccin entre A<N y A[X], utilizando
adecuadas sumas de funciones y multiplicaciones de funciones por elementos.
12.2. Encuentre polinomios explcitos P y Q en Z[X] tales que P(21-,/3) =O y Q(V2 +'/3 +'/5) = O.
12.3. Muestre que la relacin de divisibilidad en A[X] (A = E, Q, IR, C) no
es simtrica y no es antisimtrica.
12.4. EJERCICIOS
141
o
1
2
3
1 2
1 2
1 2 3
2 3
3
1
3
3
1
2
1
2
3
1 2 3
2 o 2
3 2 1
Captulo 13
Nmeros complejos
Contenido
13.1. Nmeros complejos
13.2. Representaciones geomtricas
13.3. Exponencial compleja
13.4. Ejercicios
143
144
147
151
P(X) a
e d e
Q(X) X 1 + (X 1)2 + (X 1)3 + X + X2'
En este captulo introducimos el conjunto de los nmeros complejos, fundamentando as ciertas observaciones mencionadas en el texto en ocasiones
anteriores (particularmente en el captulo 12, alrededor de los polinomios).
En el captulo siguiente (y final) revisamos algunas propiedades de algunas funciones sobre esos nmeros, pero no pasamos de consideraciones muy
elementales. Ms all de las breves informaciones proporcionadas en estos
captulos finales, la teora de funciones de variable compleja merece ser considerada corno una de las ms bellas teoras de la matemtica (si nos atrevemos, podramos calificarla tal vez como la ms bella creacin de toda la
matemtica). El estudiante podr vislumbrar toda la riqueza (armona, solidez estructural, profundidad, sorpresa, aplicabilidad, etc.) de las funciones
de variable compleja en otros cursos superiores, como VARIABLE COMPLEJA,
ANLISIS ARMNICO o SUPERFICIES DE RIEMANN.
142
143
1.
i se llama unidad imaginaria y la ecuacin anterior define su comportamiento multiplicativo. Es claro que si i es raz de P, entonces tambin es raz
de P, pues (i)2 = (-1)2(i)2 = i2 = 1. Tenemos por tanto la factorizacin
de P (ver teorema 12.6): P(X) = (X i)(X + i).
Definicin 13.1. El conjunto C de los nmeros complejos se define corno
el conjunto de combinaciones lineales de 1 e i con coeficientes reales: C
Las reglas de las operaciones de sama, multiplicacin y
{a + t : a, b E
divisin en C se obtienen como extensiones de las reglas pertinentes en lit,
combinadas con la regla de multiplicacin i2 -= 1:
(a + b) + (c
d) = (a + c) + (b + d) (suma)
147
di = II-7
Definicin 13.2. Denotaremos usualmente con la letra z aun nmero complejo: z = a+ ib. a se llama la parte real de z, b se llama la parte imaginaria de z (obsrvese que, por definicin, las partes real e imaginaria de
un complejo son ambas nmeros reales: a, b E R). Denotaremos a = Re(z)
144
'.
Niccolb Fontana (Italia, 1500-1572), apodado Tartaglia (tartamudo), fue el primero en resolver las
ecuaciones generales de tercer grado, introduciendo ciertas combinaciones imaginarias intermedios, que luego haca desaparecer de los resultados finales. Gerolamo Cardarlo (Italia, 1501-1576)
public y generaliz los resultados que le haba
comunicado Tartaglia. Al hacerlo sin el consentimiento de Tartaglia, surgi una fuerte disputa que
se repetir a menudo en las matemticas posteriores: el inventor moderno querr que la sociedad
reconozca su prioridad)
145
146
a -I ib
ib
ib
1 a
147
mdulo
1
N/2
2
1
1
argumento
0
1
t"
ir
V
148
imaginario
+1=O
trascendentes
Se trata de una situacin sencilla, pero que da lugar a una de las ms importantes definiciones de toda la matemtica.
naturales
149
particular, si definisemos (como lo hizo Euler4) la exponencial y las funciones trigonomtricas mediante series infinitas, la frmula de Euler resultara
mucho ms misteriosa y difcil de probar (algo a lo que podr acercarse el
estudiante en un curso posterior como SUCESIONES Y SERIES).
La frmula de Euler merece realmente el apelativo de frmula extraordinariamente bella (o ms bella de la matemtica si se desea), pues expresa
en una forma sorprendentemente simple el paso de lo trascendente a lo natural, mediante el reino de lo imaginario! En efecto, los paradigmas de la
trascendencia, los nmeros e y 7r (ver ejemplo 11.3.(iii)) son transformados,
mediante la exponenciacin imaginaria, en los paradigmas mismos de la
naturalidad: los nmeros 1 y 0. Para quien tenga la fortuna de acercarse a la
matemtica, la profundidad de ese trnsito produce, y seguir produciendo,
un hondo sentimiento de misterio, veneracin, recogimiento y maravilla ante
los abismos insondables de la naturaleza.
La frmula de Euler ejemplifica vistosamente la forma en la que el conocimiento matemtico, una vez ms, trasciende sus limitantes. Con la frmula
de Euler, el paso del O al 1 (en las matemticas elementales) se realiza a
travs de la composicin (en las matemticas avanzadas) de objetos trascendentes (e, 7r) e imaginarios (i). La matemtica encarna as incesantes
trnsitos entre lo real y lo ideal, entre lo elemental y lo complejo, y toda su
riqueza radica precisamente en su excepcional capacidad para poder definir
y sortear las obstrucciones permanentes que emergen en esos trnsitos.
Mediante la exponencial compleja, las representaciones cartesianas y polares de los complejos se enlazan cmodamente:
150
De esta manera, el mdulo de un producto de nmeros complejos es el producto de los mdulos, y el argumento del producto es la suma de los argumentos (mdulo 27r).
Con observaciones como stas, puede aprovecharse el paso a travs de
los complejos para demostrar resultados acerca de naturales. Por ejemplo,
puede demostrarse fcilmente que un producto de dos sumas de cuadrados de
naturales es a su vez una suma de cuadrados de naturales (ejercicio 13.3).
La generalizacin de esta situacin ha sido una de las tareas mayores de
grandes campos de la matemtica (como la GEOMETRA ALGEBRAICA o la
TEORA ANALTICA DE NMEROS), que han culminado por ejemplo en la
(muy difcil) prueba del gran Teorema de Fermat, segn Wiles5 .
Mediante la exponencial compleja, pueden obtenerse inmediatamente
tambin todas las frmulas trigonomtricas usuales (para las cuales no se
requiere, por tanto, ningn tipo de memorizacin). Por ejemplo, el hecho
de que el mdulo de e'0 es 1 (pues est en el crculo unidad) da lugar a la
frmula trigonomtrica fundamental
cos 20 sin2 O = 1.
Por otro lado, consideremos los siguientes dos desarrollos para (ew)2:
(e')2 = e'2 = cos 20 i sin 20
(e'9)2 = (cos 0 + isinO)2 = (cos 2g sine 0) -I- i(2 sin Ocos 0).
Al identificar las partes reales e imaginarias de las dos expresiones, se obtienen las frmulas trigonomtricas del ngulo doble
cos 20 -= cos 2 0 sin2 0 , sin 20 = 2 sin Ocos O.
Andrew Wiles (Inglaterra, u. 1953) logr demostrar en 1995 el gran Teorema de Fermat, segn
el cual la nico manera de resolver la ecuacin
+y" = e" con naturales no nidos se logra para
los exponentes n = 1 (trivial) y n = 2 (ternas de
naturales que cumplan el teorema de Pitgoras).
Desde el siglo XVII, cuando Fermat enunci (y
crey errneamente demostrar) su teorema, basta
finales del siglo XX, las enormes obstrucciones que
surgieron al tratar de demostrar el teorema dieron
lugar a muchas de las herramientas ms potentes
inventada, en matemticas.
13.4. EJERCICIOS
151
13.4. Ejercicios
13.1. Dibuje las representaciones cartesianas y calcule las coordenadas polares de los nmeros complejos presentados en el ejemplo 13.5.
Captulo 14
Ms sobre complejos
i sin nO.
Contenido
13.5. Utilizando dos desarrollos diferentes de (en4, demuestre que
cos 40 ---- cos 40 Ecos 2 Bsirt2 O -I- sino O.
13.6. Utilizando las formas polares de los nmeros complejos, encuentre todas las soluciones de las ecuaciones siguientes, y represntelas en el plano
complejo:
(i) z3 + 1 = O
(i1) ,z8 = 1
z8 =
13.7. Sea K = {a + ib : a, b E Z}. Realice un dibujo de K sobre el plano
complejo. Dados u, y E K con y p 0, demuestre que existen q, r E K tales
que
(*)
= qv + r , iri < ivi
(K se llama el conjunto de los enteros de Gauss; el resultado obtenido es
es el mdulo usual en los
el algoritmo de divisin euclidiana para K;
complejos). Ayuda: considere v en el conjunto de los complejos, muestre
que 1- = x + iy con x, y E Q, muestre que existen m,n E E tales que
ix mi < 2y ly ni < 4, y defina q = ra + in, r = u qv. Muestre que los
nmeros as construidos verifican las conclusiones deseadas (pertenecer a K
y verificar la condicin (*): ecuacin entre nmeros y desigualdad estricta
entre mdulos).
152
154
157
160
153
154
relacionado con la imposibilidad de definir una nocin adecuada de positividad para los nmeros complejos, y que puede ser demostrado en algn curso
posterior de TEORA DE MODELOS (sin embargo, para indicaciones, vase el
ejercicio 14.5). Una vez ms, nos acercamos aqu a ciertos linderos del no, sobre los que la matemtica tiene mucho que decir. Por otro lado, en un nuevo
movimiento pendular, la inexistencia misma de un orden congruente en C
ha adquirido (en la TEORA DE MODELOS contempornea) una importancia
inesperada. El vuelco de la situacin provee una profunda estabilidad a C,
de la que no gozan los subconjuntos ordenados usuales de
Con respecto a las dems propiedades de C sealadas en la tabla 10.1,
la completitud analtica de C (todos los lmites) se deriva fcilmente de
la completitud de IR (el estudiante revisar y profundizar estas ideas en
cursos posteriores de ANLISIS y TOPOLOGA). En cuanto a la completitud
algebraica de C (todas las races), remitimos .a la seccin 14.3.
arg : C
:z Hlzl
[O, 27d: z #> arg(z).
Como lit+ y [0, 27r[ son subconjuntos de C, estas funciones pueden considerarse como funciones de C en C, y, aunque no son funciones que se comportan
bien en el sentido recin mencionado, su comportamiento estructural alge-
155
5- izi
arg(zz') = arg(z)
156
izzii =
arg(z') , arg(z") = n arg(z) (mdulo 2/r)
(donde la suma o la multiplicacin mdulo 2/r consiste en sumar o multiplicar de la forma usual, y luego tomar el resto en la divisin por 2/r). Las
funciones mdulo y argumento estn muy lejos de ser 1-1 (por qu?), pero,
combinadas al tiempo, s caracterizan de manera nica a un complejo.
Al considerar otras funciones de variable compleja se obtiene un salto
C : z H z2.
La funcin inversa invierte mdulos multiplicativamente, e invierte argumentos aditivamente. Puede chequearse (ejercicio 14.4) que la funcin inversa
enva crculos en crculos (en particular, enva el crculo de radio p en el
crculo de radio 1/p).
Cz
zeiz.
27r
1R-1-
-4231(
Puede chequearse (ejercicio 14.4) que la funcin 11. enva el eje real positivo
R+ en la espiral infinita cuyo comienzo se esquematiza en la grfica.
157
158
Carl Friedrich Gauss (Alemania, 1777-1855) ha sido denominado el prncipe de las matemticas
debido a sus profundas contribuciones en todos
los campos de la matemtica. Gauss fue el primero en demostrar completamente el teorema fundamental del lgebra (en su tesis doctoral de 1799),
del que produjo despus al menos otras cuatro
pruebas diferentes. Sus Disquisiciones aritmticas
constituyen el modelo por excelencia de la matemtica clsica (cercana estticamente a lo que
representa sus Beethoven en la msica). Gauss fue
un pionero en muchos dominios (particularmente,
en las geometras no eucldeas), pero su talante algo conservador impidi que se atreviera a publicar
ideas demasiado <revolucionarias.
pues 1f (z + a)1 > I f (a)1, ya que 1f (a)1 es el mnimo valor posible para 1f I.
Procederemos en la prueba, y llegaremos a una contradiccin con ( 4).
Al tener g(0) = 1, la funcin g puede desarrollarse polinomialmente en la
forma g(z) = 1 + bqzq + bnz" con algn bq # O (he aqu el segundo paso
avanzado que incluimos: desarrollos en serie de Taylor, a completar en
un curso de ANLISIS o de VARIABLE COMPLEJA). De ahora en adelante, slo
manejaremos razonamientos elementales, aprovechando en particular las
propiedades de las funciones mdulo y argumento.
Tenemos lg(z) -1 -bqzql = 114-H.zq+1 + - + bwzni 5_ Ibqi.1zq+11 -I- +
lb,z1 = 10+11(Ib,441+ -1-11.,n11z"-(q+4 1) (la primera desigualdad utiliza la
propiedad 15 + zil < 1z1 Is'1, la ltima igualdad utiliza distributividad y la
1
propiedad Izzi l = izils'1) Si 1z1 < 1, se tiene que 1b0-11+ -1-1611.zn--(q+1)
Ibq+11-1- -1-1bnl. Definamos M por M = 11)041+ + lb1 (como bn O,
M > O). De los clculos realizados en este prrafo se tiene que 1g(z) - 1 bgzql < Mizlq+1 en el caso en que
1z1 5_ 1
(condicin A).
159
(condicin C),
160
Cualquier nmero complejo que verifique las condiciones (A), (B1), (B2)
y (C1) verificar entonces las condiciones (A), (B) y (C), y nos producir la
contradiccin deseada. Ahora bien, la verificacin simultnea de las condiciones (A), (B2) y (Cl) se consigue simplemente al pertenecer (estrictamente)
al ms pequeo de los tres discos concntricos alrededor del origen, de radios
4 . Y verificar la. condicin (B1) consiste simplemente
ir y IV
respectivos 1, ff
en situarse sobre el radio cuyo argumento es igual a ' `7(bg) .
As, no slo existe un complejo z que verifique las condiciones (A), (B1),
(B2), (01) (y tambin, por tanto, las condiciones (A), (B) y (C)), sino que
existen infinitos complejos con esa propiedad. La contradiccin se asegura
as de una manera muy fuerte.
arg(z) =
7r arg(%)
(condicin B1).
Para terminar de verificar la condicin (B), hay que verificar que 1 < r < 0,
lo que equivale a irl =
1, lo que equivale a decir
1
1z1 < il
(condicin B2).
14.4. Ejercicios
14.1. Utilizando las representaciones cartesianas de los complejos, demuestre
las buenas propiedades de la suma en C: asociatividad, conmutatividad,
existencia de neutro (0), existencia de inversos. Explique cuidadosamente la
razn de ser de cada igualdad que usted escriba. Intente hacer esas pruebas
con las representaciones polares y reflexione sobre las obstrucciones que
encuentre.
14.2. Utilizando las representaciones polares de los complejos, demuestre
las buenas propiedades de la multiplicacin en C: asociatividad, conmutatividad, existencia de neutro (1), existencia de inversos para complejos no
nulos, distributividad de la multiplicacin con respecto a la suma. Explique
cuidadosamente la razn de ser de cada igualdad que usted escriba. Intente
hacer esas pruebas con las representaciones cartesianas y reflexione sobre las
obstrucciones que encuentre.
14.3. Demuestre las propiedades de mdulo y argumento sealadas en el
texto:
Ir + r'l
Por otro lado, para verificar la condicin (C), basta con tener la condicin
inmediatamente equivalente
lb
izi < 9--
(condicin C1).
Ir' + Iri l
Irr'l = Irilri l
(mdulo 2/r).
14.4. Verifique las diversas aserciones acerca de las transformaciones de regiones del plano complejo sealadas en el ejemplo 14.1: imgenes bajo las
funciones cuadrtica, inversa y espiral.
14.4. EJERCICIOS
161
14.5. Muestre que no existe un orden estricto < en C que verifique las siguientes propiedades: (1) si x # O entonces x>0ox< 0; (2) x < O si y slo
si x > 0; (3) x > O implica x2 > O. Ayuda: proceda por contradiccin, y
muestre que si un tal orden existe, necesariamente 1 > O; luego, considerando
= i, demuestre que necesariamente 1 > O, y obtenga una contradiccin.
164
Bibliografa anotada
Ms all de los textos clsicos anteriores, muy recomendados, han aparecido mltiples trabajos de nivel intermedio que cubren las temticas del
curso de FUNDAMENTOS. En especial, el siguiente texto se ha venido usando
con xito en el Departamento de Matemticas de la Universidad Nacional Sede Bogot:
4. Ethan Bloch, Proofs and Fundamentals: A First Course in Abstract
Mathematics, Boston: Birkhauser, 2000.
Es til leer a grandes matemticos que hayan sabido escribir textos didcticos. Para el caso del curso de FUNDAMENTOS, pueden consultarse los siguientes tres trabajos (ordenados por nivel de dificultad creciente):
1. Richard Courant, Herbert Robbins, Qu es la matemtica, Madrid: Aguilar, 1967.
Los captulos 1 y 2 cubren algo de conjuntos, infinitud y sistemas de nmeros.
Los dems captulos van ms all de lo que se ofrece aqu en un curso de
FUNDAMENTOS. Este texto es un clsico de la divulgacin matemtica, que
nos ha legado uno de los exponentes mayores (Courant) de la escuela de
Hilbert.
2. W.S. Anglin, J. Lambek, The Heritage of Thales, New York: Springer,
1995.
La primera parte presenta un muy original recorrido por la historia de las
matemticas, con numerosos problemas tratados en el curso de FUNDAMENTOS. La segunda parte presenta los conjuntos de nmeros, de nuevo con
perspectivas originales, y abre muchas otras compuertas. Lambek es uno
de los grandes inventores en la teora de categoras, y un matemtico de
primera lnea.
3. Solomon Feferman, The Number Systems, Reading: Addison-Wesley, 1964.
Este texto cubre exactamente el mismo temario del curso de FUNDAMENTOS,
pero la presentacin es mucho ms rigurosa y completa. Puede ser algo difcil
en una primera aproximacin, pero sirve de excelente complemento para el
buen estudiante del curso de FUNDAMENTOS. Feferman es uno de los lgicos
mayores de la segunda mitad del siglo XX, y editor de la obra completa de
163
8. Eric Temple Bell, Los grandes matemticos, Losada: Buenos Aires, 1948.
9. Florian Cajori, A History of Mathematics, New York: MacMillan, 1955.
10. Carl Boyer, A History of Mathematics, New York: Wiley, 1968.
Finalmente, el estudiante debe ir mezclando los grandes ejemplos (Conrant, Lambek, Feferman), con mediaciones ms elementales (los textos de
Bloch o Allendoerfer, as corno este texto), y con manuales puramente mecnicos y formulsticos. ste es el caso de la serie Schaum, nada recomendable
como nica fuente bibliogrfica, pero til en cambio como insumo menor.
En particular, puede servir de ayuda el texto:
11. Seymour Lipschutz, Teora de conjuntos y temas afines, Mxico: McGrawHill, 1970.
403
Fundamentos de matemticas
se termin de reimprimir y encuadernar
en marzo de 2012, con un
tiraje de 300 ejemplares,
sobre papel bond blanco de 75 g.
Bogot, D. C, Colombia.