Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lenguaje matemático
conjuntos y números
Lenguaje matemático
conjuntos y números
sanz y torres
Primera edición, agosto de 2010
Segunda edición, julio de 2011
© EDITORIAL SANZYTORRES, S. L.
c/ Pinos Alta, 49 - 28029 Madrid
® 902 400 415-91 314 55 99
www.sanzytorres.com
libreria@sanzytorres. com
www.sanzytorres.com/editorial
editorial@sanzytorres.com
ISBN: 978-84-92948-68-0
Depósito legal: M-30927-2011
Composición y portada:
Autores
Impresión:
FER Fotocomposición, c/ Alfonso Gómez, 38, 3o C, 28037 Madrid
Indice general
1. Nociones de lógica 3
1.1. Expresiones matemáticas: Proposiciones.............................................. 4
1.2. Conectores lógicos básicos....................................................................... 6
1.3. Construcción de nuevas proposiciones .................................................. 12
1.4. Leyes lógicas ............................................................................................. 14
1.5. Validación de proposiciones.................................................................... 21
1.6. Forma clausulada de proposiciones........................................................ 23
Comentarios......................................................................................................... 27
Ejercicios............................................................................................................ 31
2. Conjuntos 33
2.1. Algunas ideas sobre conjuntos. Predicados........................................... 34
2.2. Operaciones con conjuntos....................................................................... 45
2.3. Algebra de conjuntos................................................................................ 53
2.4. Producto de dos conjuntos....................................................................... 55
2.5. Relaciones entre conjuntos....................................................................... 59
Comentarios......................................................................................................... 65
Ejercicios............................................................................................................ 70
ni
4.5. Orden y operaciones................................................................................. 141
4.6. Homomorfismos.......................................................................................... 145
Comentarios......................................................................................................... 151
Ejercicios............................................................................................................ 154
IV
Notas a la segunda edición
En esta nueva edición se ha incluido un último apartado donde se resuelven todos los
ejercicios propuestos al final de cada capítulo. También se han eliminado erratas y mejorado
la redacción de algunos puntos.
Queremos señalar que han sido sumamente valiosas para nosotros todas las suge
rencias, críticas, erratas señaladas y comentarios sobre la primera edición realizados por
alumnos de la asignatura, del grado de Matemáticas de la UNED, de los curso 2010-2011
y 2011-2012, a los que desde aquí damos las gracias.
También agradecemos, de antemano, las sugerencias que se nos hagan llegar en el
futuro.
Prólogo
Objetivos: Para desarrollar los contenidos de este libro, hemos tenido muy presentes
los objetivos que se querían conseguir. Hemos querido que el estudiante adquiera ciertas
habilidades en el lenguaje matemático, se familiarice con el rigor matemático y los procesos
deductivos, tenga nociones sobre la teoría elemental de conjuntos y conozca las propiedades
básicas y específicas de los distintos conjuntos numéricos. Se trata de que el lector pueda
entender enunciados y demostraciones no complicados y que establezca relaciones entre los
diferentes enunciados y pueda establecer demostraciones similares.
Los contenidos de esta asignatura están constituidos por una breve introducción a
los fundamentos básicos de las Matemáticas. Estos contenidos básicos son comunes a la
mayoría de las disciplinas matemáticas y en muchas ocasiones aparecen diseminados en
los preliminares o primeros capítulos de libros de Análisis Matemático, Algebra Lineal,
Geometría o Estadística.
El estudiante ha visto muchos de los contenidos que en la asignatura se exponen, bien
en el Bachillerato bien en el Curso de Acceso a la Universidad, y por tanto no tienen que
resultarle extraños una parte de los resultados expuestos.
Perfil del alumnado: Este texto está específicamente elaborado para los alumnos
de primer curso del grado en Matemáticas de la UNED. En él se desarrollan los contenidos
básicos de la asignatura de mismo nombre de dicho grado. El nivel es el correspondiente
para alumnos de primer curso de educación universitaria.
Prerrequisitos: Hemos supuesto que el lector ya posee alguna familiaridad con las
matemáticas: la que se tiene normalmente al entrar en la universidad.
De hecho, aunque el texto introduce formalmente los conjuntos numéricos en los tres
últimos capítulos, desde el principio se darán por conocidos, al menos intuitivamente, y se
usarán como ejemplos de conjuntos y estructuras en los capítulos anteriores, los siguientes
conjuntos:
El conjunto N = {0,1, 2,...} de los números naturales y N* =N \ {0} = {1, 2, • ■ ■ }
El conjunto 1 = {..., —2, —1,0,1,2,...} de los números enteros y Z* = Z \ {0}
El conjunto Q = {a/6 | a, b 6 Z y b 0} y Q* = Q\ {0}
El conjunto R de los números reales y R* =R\ {0}
Nociones de lógica
Sin duda, una expresión debe ser correcta sintácticamente para facilitar su com
prensión. Una expresión como eléctrica ordenador el máquina es una no es sintácti
camente correcta y puede ocurrir que no se entienda lo que significa. Una nueva
ordenación de esas palabras determina la expresión el ordenador es una máquina
eléctrica, que es sintácticamente correcta y no hay dificultad para entenderla.
A la hora de comunicarnos, además de la sintaxis de lo escrito, se debe tener en
cuenta la componente semántica, es decir, el significado. Sería deseable que nos
encontráramos con que cada expresión tuviera un único significado a la hora de
aprender un nuevo lenguaje pero esto no es así. Se puede comprobar en todos los
lenguajes naturales la existencia de expresiones cuyo significado varía en función del
contexto. Si el valor semántico de una expresión fuese único, entonces la expresión
podría ser calificada de verdadera, falsa, ni verdadera ni falsa, o de cualquier otra
forma, con independencia del contexto.
En el lenguaje natural que empleamos en Matemáticas, existen expresiones que
poseen significados distintos dependiendo del contexto donde se ubican, por ejemplo
a + b representa la suma de dos elementos pero no es lo mismo sumar números que
sumar matrices. El lector debe estar atento al marco contextual para entender el
significado de cada expresión contenida en este libro. Si en todas las expresiones que
se escriben en Matemáticas, se añade explícitamente el contexto donde la expresión
tiene sentido, puede ocurrir que el contenido esencialmente interesante sea difícil de
3
4 Capítulo 1 Nociones de lógica
recordar: puede ocurrir que la información relevante quede oculta por la información
relativa al contexto. Un ejemplo es la expresión a2 — b2 = (a — b)(a + b) dentro de
algún marco de estructuras algebraicas donde el producto es conmutativo, es un caso
donde el contexto no hace falta describirlo explícitamente de forma completa, desde
los elementos a las leyes de composición y la descripción de todas sus propiedades.
En este capítulo estudiamos las expresiones sintácticamente correctas de las que no
hay duda sobre su significado y que pueden de ser catalogadas de verdaderas o de
falsas con certeza absoluta. Esencialmente, se tratan expresiones de las cuales tan
sólo interesa su valor de verdad. Unicamente se otorgan dos posibles significados
semánticos; verdadero y falso. Por ejemplo, La vaca es un animal es una expresión
sintácticamente correcta de valor semántico verdadero. También la expresión Una
piedra es un animal es sintácticamente correcta pero su valor semántico es falso.
Tradicionalmente, la pareja de valores semánticos (Verdad, Falso) se suele repre
sentar con los símbolos (V,F) en la lógica tradicional en español, con los símbolos
(T,F) en la lógica tradicional en inglés y con los símbolos (1,0) en Matemáticas y
en Computación.
A la hora de leer este capítulo suponemos que el lector posee suficiente dominio de los
significados de palabras y frases del idioma español. Se usa el lenguaje natural, que no
está libre de expresiones ambiguas, para introducir con la menor ambigüedad posible
los elementos básicos de lógica, el vocabulario, los símbolos y las reglas elementales
de uso.
Como ya hemos dicho, para hacer referencia sintáctica a una proposición simple, se
suele emplear una letra minúscula, por ejemplo p, q,r,s,... Cada letra (proposición)
posee un único valor semántico, verdadero o falso, que se expresa igualando la letra
a 1 o a 0.
Ejemplo 1.1 Las expresiones: Esta frase es una proposición, El Sol es una
estrella, La hipotenusa es el mayor de los tres lados de un triángulo rectángulo y 2
es un número primo son proposiciones simples que tienen el valor verdad.
Las expresiones, 9 es el cubo de 3, La función derivada de la función f(x) = x2 es
la función nula y La, Luna es una planeta son proposiciones simples que son falsas.
También son proposiciones simples las sentencias siguientes: Está lloviendo y No en
tiendo lo que es una proposición, pero en estos casos el valor que toma la proposición
lo asigna el lector en el momento de la lectura.
Marco lógico: Cualquier estudiante que intenta aprender un nuevo idioma es cons
ciente de que debe aprender una colección grande de palabras, unas reglas sintácticas
para combinar esas palabras en frases y los significados tanto de las palabras como
de las frases. De forma análoga, a como se intenta aprender un lenguaje, se debe
aprender lógica, es decir, se deben conocer las “palabras empleadas”, las reglas de
combinarlas, y los significados de éstas y de las posibles combinaciones.
■ Lógica preposicional
Las “palabras básicas” son las proposiciones y los valores de las proposiciones
son sólo dos: verdadero o falso. Todas las reglas sintácticas para combinar pro
posiciones utilizan la negación de una proposición, la conjunción y disyunción
de dos proposiciones, el condicional de una proposición respecto a otra y el
bicondicional de dos proposiciones.
Negación
Dada la proposición p, El cuatro es un número par, la negación de esta proposición
es la proposición El cuatro no es un número par, y se representa con alguna de las
notaciones siguientes: —p, -^p, p y p'.
En este caso p toma el valor 1 (verdad), mientras que ->p toma el valor 0.
En general, la negación de una proposición p es otra proposición -^p que es cierta
si p es falsa, y falsa si p es cierta. La tabla 1.1 indica el valor de la proposición ~p
en función del valor de la proposición p.
Disyunción
Dadas las proposiciones p, El cuatro es un número par, y q, El cuatro es un número
impar, la proposición disyunción de p y q, “p o q”, es la proposición El cuatro es
1.2 Conectores lógicos 7
p q pVq
0 0 0
0 i 1
1 0 1
1 i 1
Conjunción
p q pAq
0 0 0
0 i 0
1 0 0
1 i 1
Condicional
Dadas las proposiciones p, Ocho es un número par, y q, Ocho es suma de dos números
iguales, la proposición condicional “si p entonces q”, es la proposición Si ocho es un
número par, entonces ocho es suma de dos números iguales, y se representa con
alguna de las notaciones siguientes: p —> q o p => q.
En este caso p toma el valor 1 (verdad), q toma el valor 1 (verdad), y a p —> q se le
asigna el valor 1.
La tabla 1.4 recoge los valores que toma la proposición condicional p —> q en
relación a los valores tomados por las proposiciones p y q.
P q p q
0 0 i
0 i i
1 0 0
1 i i
Bicondicional
Dadas las proposiciones p, Ocho es un número par , y q, Ocho es divisible por dos,
la proposición “p si y sólo si q”, es la proposición Ocho es un número par si y sólo
si ocho es divisible por dos, y se representa con alguna de las escrituras siguientes:
poq y p q.
En este caso p toma el valor 1 (verdad), q toma el valor 1 (verdad), y a p q se le
asigna el valor 1.
La tabla 1.5 recoge los valores que toma la proposición bicondicional p o q en
relación a los valores tomados por las proposiciones p y q.
p q p q
0 0 i
0 i 0
1 0 0
1 i i
Cuando se conoce una implicación concreta, tan sólo hay que estudiar si el anteceden
te es verdadero para concluir que el consecuente es verdadero, o que el consecuente
es falso para concluir la falsedad del antecedente.
La base del conocimiento matemático contiene numerosos enunciados proposicionales
de tipo bicondicional p <' / q que son verdaderos. Análogamente al condicional, el
bicondicional p q se usa en matemáticas en el sentido de “la proposición p o q” es
verdadera. Para distinguir una de la otra, usaremos el símbolo en este caso. Es
decir, la notación p q, que se lee “p es equivalente a q”se usará exclusivamente
para indicar que la proposición p o q es verdadera.
Cuando se conoce la verdad del bicondicional de dos proposiciones, tan sólo hay
que estudiar si alguna de las proposiciones es verdadera, respectivamente falsa, para
concluir que la otra también es verdadera, respectivamente falsa.
Otras formas frecuentes de expresar esta equivalencia entre proposiciones en la lite
ratura matemática son: p si y sólo si q, que se resume en la expresión “p sii q”, “p
iff q”, según se trate de literatura en español o en inglés.
Teniendo en cuenta la observación anterior se establece:
¿Cuántos conectores, que actúen sobre una única proposición, pueden ser definidos?
Hay tantos conectores como tablas de verdad distintas se pueden construir con una
única proposición p. Véanse en la tabla 1.6 todas las tablas posibles, y los conec
tores representados con los símbolos Cg, G4, C-¿ y C3, que se corresponden con las
expresiones de los números del cero al tres en notación binaria; 00,01,10,11.
¿Cuántos conectores, que actúen sobre dos proposiciones, pueden ser definidos?
Si se analizan las tablas de verdad distintas para dos proposiciones p y q, se comprue
ba que hay dieciséis tablas que presentamos en la tabla 1.7. Por tanto, se pueden
definir dieciséis conectores distintos, uno por cada tabla, y los representamos con
los símbolos Go, Gb C2, G3, G4, C5, C6, G7, G8, G9, G10, Gn, G12, G13, G14 y
12 Capítulo 1 Nociones de lógica
Gis, que se corresponden con los números del cero al quince en notación binaria;
0000,0001,0010,..., 1101,1110, lili.
La conectiva C-¡_ es el conector conjunción, p Ci q <=> p A <7, la conectiva C- es el
conector disyunción, pC7q <==> p V q, la conectiva Cg es el conector bicondicional,
pCgq ■<=> p é-> q, que la conectiva C13 es el conector condicional, pCi3q
P Q-
Ejemplo 1.5 | Disyunción excluyente
La conectiva Cg se denomina disyunción excluyente. Si p es Bebo agua, q es Bebo
horchata, entonces la proposición p C't, q es verdadera cuando bebo agua o horchata,
pero no ambas cosas. Se denota p® q.
p q p®q
0 0 0
0 1 1
1 0 1
1 1 0
paréntesis, corchetes o llaves para indicar las proposiciones que son afectadas por
cada conector.
£ q p-> q q-p
0 o i i
0 i i o
1 o o i
1 i i i
Tabla 1.10: Comparación de p —> qy q —* p
Para simplificar las notaciones, existe el convenio que cuando se escribe una equi
valencia entre proposiciones con un único símbolo <=> , las expresiones situadas a
la derecha e izquierda del símbolo constituyen las proposiciones equivalentes aunque
vayan sin paréntesis. Por ejemplo se escribe p V (q A r) <=> (p V q) A (p V r) para
indicar que las proposiciones p V (g A r) y (p V g) A (p V r) son equivalentes aunque
también escribiremos la notación completa [p V (g A r)] <==> [(p V g) A (p V r)].
Coloquialmerite, esta ley se expresa diciendo que una doble negación afirma. Pode
mos sustituir —ip por p o viceversa allí donde aparezcan. Lo mismo ocurre con las
1.4 Leyes lógicas 15
1
T
i
1. p Vp <=> p
2. pAp <- ■ > p
3. p —> p 1
4. p o p <=s 1
O Con una única proposición p y varios conectores distintos se pueden
escribir proposiciones nuevas, por ejemplo p V ->p, p A -ip,...
p V -ip <i=> 1
Esta ley se expresa coloquialmente diciendo que siempre se verifica una proposición
o su negación, por ejemplo, El número ít es racional o irracional (no racional).
■ Ley de contradicción: La proposición p A ~ip es una contradicción.
<=> 0
Coloquialmente, esta ley se expresa diciendo que nunca se cumple una proposición
y su negación, por ejemplo, El número 3 es primo y compuesto (no primo) es una
proposición falsa.
16 Capítulo 1 Nociones de lógica
p q 0 1
0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
0 i 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1
1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1
1 i 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
■ Leyes de identidad:
1. p V 0 p p V 1 A==> 1
2. p A 1 <=? p pA0 0
3. 1 —> p ■<=> p
a Leyes conmutativas: El orden de las proposiciones no varía el valor.
1. p V q <=> </V p
2. p A <7 q /\p
3. p q <í=> q p
1- ~q>/\^q
2. -n(p A q) 4=> V -iq
1.4 Leyes lógicas 17
1. p -A q -¡pV q
2- P -> q ^==> “'(p A -■<?)
3- P q A=A> p O (p A q)
4. p -A q <=^ q o (p V q)
Solución: Por reducción al absurdo, se supone que sólo hay un número finito de
números primos pi,p2, • ■ • ,pn y se considera el número r = pi • p2 • P3 ■ ■ ■ Pn + 1-
Como r es distinto de cada uno de los números primos anteriores, entonces r no es
un número primo. Pero r no es divisible por ninguno de los números p.¿, pues el resto
de la división por cada p¿ es 1. En consecuencia, r es un nuevo número primo. Es
una contradicción pues r no es primo. Luego existen infinitos números primos. □
■ Leyes de transposición:
1- P Q '<! -y
2. p G> q 4=> ~p -iq
Supongamos que el límite no es único: existe un número s, con r / s. a.l cual también
ly» — si
converge la sucesión {xn}. Se considera el valor e = —-— y el correspondiente
ns G N tal que para todo n G N,n > n£ se cumple que |s — xn\ < e.
Ahora bien, para ese £ en particular y para todo n G N, n > ns, se cumple:
i i , i i i^i , Ir - si Ir - si
|r - xn| = |r - s + s - xn\ \r - s| - |s - xn| > |r - s|------- -— = —-—
p q r 0 1
0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1
0 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1
0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1
0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1
1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
1 0 1 0 0 0 0 1 1 0 0 0 0 1 1 1 1
1 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 1
1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
■ Leyes asociativas:
Cada ley asociativa establece la forma de operar con más de dos proposiciones y una
misma conectiva. Estas leyes permiten dotar de significado a las expresiones:
pV Vr p A <7 A r poqOr
La ley asociativa establece que la forma de agrupar de dos en dos no varía el valor
semántico de la proposición inicial.
» Leyes distributivas:
1. p V (<7 A r) <==> (p V q) A (p V r)
2. p A (q V r) ■<=> (pAg) V (pA r)
3- p —> (<7 V r) <=> (p —> <7) V (p —> r)
4. p —> ((7 A r) ■<=> (p —> <7) A (p -A r)
Las leyes distributivas establecen la forma de operar con dos conectores distintos del
conector negación.
20 Capítulo 1 Nociones de lógica
1. p A q => p
2. p => p V q
■ Leyes de inferencia
1. -ip A (p V q) q
2. P A (^p V ^q) ~-q
(p q) Ap ==> q
q) A ~>q =y p
1.5 Validación de proposiciones 21
O Con tres o más proposiciones p, q y r se tienen varias leyes que el lector puede
encontrar entre los enunciados de los ejercicios propuestos.
Una vez que se ha construido una proposición a partir de otras respetando las reglas
sintácticas, veamos como determinar el valor que toma tal proposición en función
del valor que toma cada proposición componente. Las leyes, que se han presentado
con anterioridad son tautologías y se emplean, en la medida en que se pueda, para
modificar y reducir una expresión antes del estudio de verdad.
Ejemplo 1.14 Comprobamos que p —> q <=> ->p V g, la primera ley del
condicional, mediante la validación por tabla de verdad, construyendo su tabla de
verdad.
Ejemplo 1.16 Comprobamos que (p —> q) —> [(q —> r) (p —> r)] es una
tautología, ley del silogismo, aplicando el método de refutación; .
Paso 1: Se supone que la proposición (p —> q) —> [(q —> r) —> (p —> r)] es falsa.
Paso 2: Como un condicional sólo es falso si el antecedente es cierto y el consecuente
es falso, se tiene que (p —> q) es cierto y (q r) —> (p —> r) es falso.
Paso 3: De la falsedad de (q —> r) —> (p —> r) se tiene que q —> r es cierto y que
p —> r es falso por la misma razón que en el paso 2.
Paso 4: De la falsedad de p —> r se tiene que p es cierto y r es falso por análoga
razón.
Paso 5: Como p —> q es cierto por el paso 2 y p es cierto por el paso 4, se tiene que
q es cierto, puesto que un antecedente cierto sólo puede tener un consecuente cierto.
Paso 6: Como q r es cierto por el paso 3 y q es cierto por el paso 5, se tiene que
r es cierto.
Paso 7: La proposición r es cierta por el paso 6, y falsa por el paso 4, luego se
produce una contradicción.
Conclusión: La proposición (p —> q) —> [(q —> r) (p —> r)] es verdadera pues
suponer que es falsa ha producido una contradicción.
En la tabla 1.17 se presenta un esquema de los pasos dados en este proceso de
refutación. Obsérvese que los valores 0 y 1 aparecen debajo de la conectiva que define
1.5 Forma clausulada de proposiciones 23
Al aplicar la primera ley del condicional a cada uno de los paréntesis se establece la
forma clausulada de un bicondicional. La forma clausulada de la proposición p o q
es la proposición (->p V q) A (-iq V p), compuesta por dos cláusulas.
[(P q) A (q r)] (p r)
Al quitar los condicionales [(p —> q) A (q —> r)] - Ap -> r) se obtiene la proposición:
Se aplica la primera ley de Morgan a las proposiciones ~Ap^p Vq)y ■(—</ V r) para
obtener:
[(-i^p A -iq) V (A-iq A ^r)] V (Ap V r)
Al simplificar las dobles negaciones se tiene:
Una nueva utilización de las leyes distributivas transforman esta expresión en:
[(p V q) V (Ap V r)] A [(p V -r) V (-p V r)] A [(-iq V ->r) V (^p V r)]
[p V -p V q V r] A [p V -p V ^r V r] A [->q V -p V ->r V r]
26 Capítulo 1 Nociones de lógica
1 A 1 A 1, es decir, 1
En consecuencia, la proposición inicial es una tautología.
p q r -p -><? ^p V -<q V r
0 0 0 1 1 1
0 0 1 1 1 1
0 i 0 1 0 1
0 i 1 1 0 1
1 0 0 0 1 1
1 0 1 0 1 1
1 i 0 0 0 0
1 i 1 0 0 1
Ejemplo 1.22 Dada la proposición [(p —> q) A (~p) —> r)] —> (q —> r) cons
truimos su forma clausulada paso a paso.
Comentarios 27
Comentarios
Sistema axiomático PM de A.N. Whitehead y B. Russell
Otra forma de introducir la lógica proposicional es mediante un sistema axiomáti
co. Se establece un alfabeto (símbolos alfabéticos), una lista de reglas de formación
(partículas conectivas y paréntesis), una lista de sentencias verdaderas (axiomas) y
una lista de reglas de transformación (reglas de deducción).
En el sistema axiomático PM (Principia Mathematica), se dota a los elementos del al
fabeto (proposiciones) de un valor semántico (0,1) y se combinan estos elementos,
haciendo un uso correcto de las reglas de formación (únicamente ~n, V y paréntesis)
28 Comentarios
Un axioma es una sentencia bien formada que se considera verdadera, es decir, una
tautología primaria no deducible.
Un teorema es una sentencia bien formada que es cierta, es decir, una tautología.
Los teoremas son tautologías deducibles a partir de otros teoremas o de axiomas. La
secuencia de sentencias verdaderas necesarias para deducir un teorema se denomina
demostración del teorema.
Los axiomas de PM son:
’ (Aj) :pVn -p
Estas distinciones son a veces arbitrarias. Por ejemplo, hay lemas, como el lema de
Zorn, que su importancia no se corresponde con el atributo de lema. Pero ya se
conoce universalmente de esta manera.
Finalmente existen afirmaciones matemáticas que se creen verdaderas pero que no
han sido demostradas. Se denominan conjeturas o hipótesis, como la conjetura de
Poincaré que ha sido demostrada recientemente o la conjetura de Goldbach, “Todo
número par mayor que dos puede escribirse como suma de dos números primos”,
que sigue sin demostrar.
En general, los teoremas, proposiciones, lemas y corolarios son de dos tipos:
(F —> F) A (R —> Q) P Q
Ejercicios propuestos
b) Como la sucesión < — > es una sucesión decreciente y una sucesión aco-
(n J
tada, entonces la sucesión es convergente, y su límite es 0.
c) La gráfica de la función f(x) = x2 — 3x + 2 es una parábola que corta al
eje OX en los puntos x = 1 y x = 2, por ello, su vértice está situado en
, , , 3
el punto de abcisa x =
» (p —> r) A (q —> r) A (p V q) r
■ (p r) A (q —> s) A (p V q) => r V s
b) Ley del dilema destructivo: (^p V -^q) A (r —> p) A (s —> q) -r V ->s
11. Construya dos proposiciones distintas que posean la misma tabla de verdad:
a) 1100 b) 11001101 c) 10101010 d) 0110 e) 11100011
Conjuntos
33
34 Capítulo 2 Conjuntos
Posiblemente el lector tiene una idea intuitiva del significado del término conjunto.
De hecho, el término se utiliza a menudo en el lenguaje corriente como sinónimo de
los términos colección, familia, agrupación, etc., de objetos de cualquier naturale
za: el conjunto de los estudiantes del grado de Matemáticas de una universidad, el
conjunto de letras del español (abecedario), el conjunto de meses del año, etc. En
el lenguaje coloquial, los objetos que forman parte de un conjunto, se denominan
elementos, miembros, individuos, etc. De toda esta terminología, los matemáticos
han escogido los términos conjunto y elementos. El uso implícito de la intuición
relativa a la teoría de conjuntos suscitó numerosas paradojas que alimentaron no po
cas controversias entre matemáticos. Poco a poco, muchas de estas paradojas fueron
eliminadas según se iba precisando de manera conveniente la noción de conjunto.
No resulta fácil definir rigurosamente conceptos como conjunto, elementos de un
conjunto, y pertenencia de un elemento a un conjunto. Nosotros no entraremos en
las sutilezas que supone el estudio de cualquier sistema de axiomas de la teoría
de conjuntos. No definiremos los términos conjunto, elementos de un conjunto, y
pertenencia que consideramos como términos primitivos. Simplemente, precisamos
estas nociones intuitivas mediante unas reglas básicas:
® Un conjunto C está bien definido cuando se tiene un criterio que permite determi
nar si un determinado elemento b pertenece al conjunto C o no pertenece al conjunto
C.
En otras palabras, la expresión “b es un elemento de C”es una proposición, en el
sentido de que se le puede atribuir sin ambigüedad el valor de verdadero o falso.
Si la proposición es cierta, escribiremos b 6 C, que se lee como "b pertenece a C”, “í>
es elemento de C” o “C contiene a b”.
Si la proposición es falsa, escribiremos b C, que se lee como “6 no pertenece a C”,
ílb no es elemento de C” o “C no contiene a &”.
Observación: A menudo se utilizan letras mayúsculas para designar a los conjuntos
y se reservan las minúsculas para sus elementos, aunque esto no será siempre así.
• Un objeto no puede ser a la vez un conjunto y un elemento de este conjunto. Es
decir, la proposición b '• 6 es falsa.
De la regla anterior, se deduce que no existe el conjunto de todos los conjuntos
imaginables pues si la colección de todos los conjuntos fuera un conjunto U, éste
debería ser un elemento de sí mismo. En consecuencia:
® La colección de todos los conjuntos posibles no forman un conjunto.
Estas reglas básicas establecen que ciertas colecciones de objetos no son conjuntos en
el sentido matemático y sobre ellos no se puede, en general, aplicar las propiedades
o las operaciones que se demuestran o se definen para conjuntos.
2.1 Conjuntos y lógica de predicados 35
Predicados
Algunas expresiones sencillas en contexto matemático no pueden ser descritas como
simples proposiciones. Por ejemplo: El número natural elegido es un número par, Un
número múltiplo de diez es un número par, Si una función es derivable en un punto,
entonces la función es continua en ese punto o Un número primo es impar.
Analicemos la primera expresión; El número natural elegido es un número par. Pode
mos decir que si bien describe la propiedad ser número par, no se indica el número al
que se aplica esa propiedad, por eso esta expresión es cierta o falsa dependiendo del
número que se elija. Como el número no está determinado en esta expresión, para
hacer referencia a dicho número desconocido se suele utilizar una letra minúscula.
Generalmente, se emplea alguna letra de las habituales en Matemáticas para repre
sentar a una variable, por ejemplo, x. Para representar esta expresión se emplea
una simple letra mayúscula para indicar la propiedad, ser par, P, seguida de la letra
minúscula de variable para indicar el elemento desconocido, x , es decir Px. Así pues,
la expresión El número natural elegido es un número par se transforma en la expre
sión El número x es un número par donde x es un número natural. El valor de Px
varía en función de x.
Es decir, un predicado toma uno de los dos valores, verdadero o falso, al particularizar
en cada x G C.
Por ejemplo, dado el universo C = {1, 2, 3,5,6, 7} y la propiedad P, ser par, para
x = 1, Pi es una proposición falsa mientras que para x = 2, P¿ es una proposición
que toma el valor verdadero. Distinguiremos también los elementos que satisfacen la
propiedad P que forman un subconjunto de C, Cp = {2,6}. En definitiva:
CP = {x G C | Px}
Observemos que el conjunto B = {1,2} coincide con el conjunto A del apartado 1 del
ejemplo 2.1. A su vez, un conjunto puede estar determinado por distintos predicados.
Por ejemplo, si C = {x G Z | 0 < x < 3} entonces A = C. Se dice que los predicados
“x2 — 3x + 2 = 0” y “0 < x < 3”son equivalentes sobre el universo Z.
En resumen:
0 = {x G C | Px A ^Px}
N = {0,1,2,3,4...}
■ A%. Todo número natural n tiene un único elemento sucesor que es también
un número natural.
■ A4. Dos números naturales cuyos sucesores son iguales, son iguales.
0 1 2 n n n+ 2
---- 1----- 1_____ l ... j___ = o_____ '__
2o 21 22 2n 2n
0 12 n n+ 2
1 1 r ... j----- =2-----------
2°---- 21---- 22 2n 2n
0 1 2 n n+1 (n + 1)+2
-----i----- 1 1_ ... i i___ i__ = 2 — 2__ '__ —__
2o 2---- 22----------- 2n 2n+1_________ 2n+1
40 Capítulo 2 Conjuntos
En efecto:
012 nn+1 /O 12 n\ n+1
2o 2 22 2n ' 2n+i \2° 2 22 2” J 2”+1
í ti 4- 2 \ n 4~ 1
= (\ 9______
2n -l)_________
2n+1
2n 4 4- //■-■ 1 n 4- 3
2'n+l 2n+1
= 2 - (n + 1) + 2
2”+1
□
El quinto axioma también se utiliza para definir términos donde intervienen los
números naturales, donde se define el objeto que depende de un número natural en
función de objetos que dependen de términos anteriores. Se habla de una definición
recurrente o por recurrencia.
(n 4-1)! = (n+1) n!
y se lee factorial de n 4- 1- Es evidente que hay que conocer el valor de 0! para poder
determinar todos los demás. Se define 0! = 1. Es decir, la definición recurrente de
f + , + í 0! = 1
factorial de n completa es: < , , ,
[ (n 4-1)! = (n + 1) n!
De esta definición se obtiene directamente que ni = n ■ (n — 1) • (n — 2) • • • 3 • 2 • 1, y
en algunos textos se emplea este resultado como definición no recurrente.
Si n' designa el sucesor de n, los cinco axiomas de Peano permiten pensar en N como
en el conjunto:
{o,o',(o')',((o')')',...}
Algunos matemáticos no reconocen el cero como número natural mientras que otros
tienen la postura opuesta. En todo lo que tratamos, no será relevante que el cero
sea un número natural o no. Aquí hemos escogido seguir la opción más común a los
especialistas en Teoría de Conjuntos o Lógica.
2.1 Conjuntos y lógica de predicados 41
C uant ificadores
Volvamos a la expresión P, El número elegido es un número par, donde x es un
número natural. El valor semántico de Px varía en relación a x. Sin embargo, las
expresiones Todos los números naturales son pares o Existe algún número natural
par son expresiones que tienen un valor falso en el primer caso y verdadero en el
segundo. Hemos efectuado el proceso de cuantificar de alguna manera los elementos
que satisfacen la propiedad del predicado.
En una expresión pueden aparecer implícita o explícitamente algún grupo de pala
bras orientativas de la cantidad de elementos que satisfacen la propiedad del predi
cado, tales como:
“para cualquier”, “para cada”, “todo”, “para todo”, “cada”, “cualesquiera que sean”,
etc., o,
“para algún”, “existe”, “existe al menos un”, etc.
Estos grupos de palabras se denominan cuantificadores. De manera más precisa: Sea
C un conjunto y P un predicado sobre C. Consideremos el subconjunto donde se
verifica P:
CP = {x G C | Px}
Cuantificador universal: Si para cada x G C se satisface Px, escribiremos
(Vi G C) Px
que se lee, para todo x de C, Px, o cualquiera que sea el elemento x de C, x satisface
P. El símbolo V se denomina cuantificador universal y transforma un predicado en
una proposición con un valor semántico verdadero o falso. Cuando no exista ninguna
ambigüedad sobre el conjunto C, o C sea siempre un conjunto determinado fijo se
escribe simplemente Vi Px.
Obsérvese que la proposición (Vi G C) Px es equivalente a la proposición Cp = C.
El cuantificador universal es una generalización de la conjunción A en el sentido
siguiente: Supongamos que C sea un conjunto finito, por ejemplo C = {1,2,3}.
Entonces la proposición (Vi G C) Px es equivalente a la proposición P^ A P-¿ A P3.
42 Capítulo 2 Conjuntos
1. El conjunto de los números pares {0, 2,4, 6,8 ...} denotado por 2N se escribe
con más precisión como:
2N = {x G N | (Bk G N) x = 2k}
(Vx G R) ax + b = 0 a=b=0
(Ser G R) ax + b = 0 (a 0) V (a = b = 0)
Observación: La relación ~^(Vx Px) <=> Bx (^Px) significa que cuando quere
mos demostrar que la proposición Vx Px es falsa, esto equivale a demostrar que la
proposición 3x (-Tff es cierta. Es decir que existe al menos un elemento x» G C tal
que PXQ es falso. Se dice que el elemento xq es un contraejemplo de la propiedad
Vx Px.
A = {x G U j x £ A}
A={xeU\^Px}
?(A) = {B | B c A}
?(A) = {a}, {5}, {c}, {d}, {a, b}, {a, c}, {a, d}, {b, c}, {b, d}, {c, d],
?(?(A)) = {0, {0}, {{a.}}, {{b}}, {A}, {0, {a}}, {0, {&}}, {0, A}, {{a}, {b}},
{{a}, A}, {{&}, A}, {0, {a}, {b}}, {0, {a}, A}, {0, {b}, A},
{{«},{&}, A}, ?(A)} □
Unión de conjuntos
Dados dos conjuntos A y B, el conjunto unión de A y B, que se escribe A U B y
se lee A unión B, es el conjunto de los elementos que pertenecen al menos a uno de
46 Capítulo 2 Conjuntos
Intersección de conjuntos
Dados dos conjuntos Ay B, el conjunto intersección de A y B, que se escribe
A H B y se lee A intersección B, es el conjunto de los elementos comunes a A y a B,
es decir:
An B = {x j x e Ay x G B}
En particular, si A y B son subconjuntos del conjunto U y están definidos por
comprensión, entonces:
AnB c AuB
48 Capítulo 2 Conjuntos
í 2a; + 3y = -2 .
■ „ _ es compatible determinado.
[ 3x + y = -7
Geométricamente representan dos rectas del plano que se cortan en un punto, que
es la intersección de los dos conjuntos, y cuyas coordenadas se hallan resolviendo el
sistema, véase la figura 2.8.
x—1
50 Capítulo 2 Conjuntos
( —4 'l
< x G IR I -------- > 0 > = {x G R | x2 - 4 < 0, x - 1 < 0}
l ;í'l J
U {x G R | x2 — 4 > 0, x — 1 > 0}
= [-2,1) U [2, oo)
puesto que
{x G R | x2 — 4 0, x — 1 < 0} {x G R [ x2 — 4 0} C {x G R | x — 1 < 0}
[-2, 2] D (-oo,l) = (-2,1)
AUBUC y AUBUCUD,...
2.2 Operaciones con conjuntos 51
[J F¿ = {x | 3i G I, x G F¿}
¿6/
P| F = {s | x G Fi 'ii G 1}
iEl
Si la familia viene dada por un subconjunto Q no vacío de T(E7), entonces la inter
sección es:
p) = {x e U I X G F Weg}
Fes
Solución:
1 1
Es evidente que a E a---- ,a-|— ,Vn e N*. Luego, {a} G In.
n n
52 Capítulo 2 Conjuntos
Se verifica que:
1. 4\S = d\(dnB).
2. Si A, B C U y B es el complementario de B en U entonces,
A A B = (A U B) \ (A A B)
Leyes de idempotencia
AüA-=A Px y Px Px
ARA = A PXAPX 4=4 Px
Leyes conmutativas
AUB=BUA PXUQX 4=^- QXUPX
AUB = Bu A PXAQX QXAPX
Leyes asociativas
(A U B) U C = A U (B U C) (Px V Qx) V Rx PXU (QXU Rx)
(AnB)nC = An(BnC) (PxPQx}PRx < / Px A (Qx A Rx)
Leyes distributivas
AU(BnC) = (ÁUB)n(dUC) Px V (Qx A Rx) <=> (Px V Qx) h (Px V Rx)
AH(BUC) = (ACB)U(AnC) PXA(QX\/RX) (PXAQX)\/ (PX /\ Rx)
Leyes identidad
AU0 = A Px V 0 <=> Px
AUU = U Px y 1 <=> 1
An0=0 PjAO <=> 0
AuU = A B, Al 4=> Px
Leyes del complementario
px y -^px 1
II
u c
bd
Px /\ -'Px, <=> 0
II
-(1) 4=4 0
®
||
-(0) 4=^ 1
II
Leyes de Morgan
AUB = AuB -^(PxPQx) ^PxA^Qx
AUB = AUB ^(Px^Qx) -^PxP^Qx
Solución:
Para poder definir los predicados de dos variables, o relaciones lógicas, se tiene que
establecer con anterioridad su universo compuesto por parejas de elementos. En este
apartado estudiamos la estructura de estos universos de parejas.
{
No hay que confundir el conjunto de dos elementos {x,y} con el par (x,y).
x—z
y—p
Así los pares (1,2) y (2,1) son distintos mientras que {1, 2} y {2,1} representan
el mismo conjunto. Un par ordenado puede tener los dos elementos iguales, por
ejemplo el par (1,1) mientras que la escritura habitual del conjunto {1,1}, que
en realidad tiene un único elemento, es {!}.
OY
(x,y)
OX
Figura 2.10: Representación cartesiana del plano euclídeo
0
l(A,g) KB.g) ¿(C.g)
p goleador-
Conjunto J
El conjunto J x P está compuesto por todas las formas de asociar a cada jugador
un premio. La descripción del conjunto producto es:
Cuando los conjuntos no son demasiado grandes, una forma de representar el con
junto producto es similar a la utilizada para representar K2 mediante un par de ejes
de coordenadas cartesianas como se muestra en la figura 2.11. Los elementos de J se
disponen en el eje horizontal mientras que los elementos de P se disponen en el eje
vertical. Las rectas verticales que contienen a los elementos de J cortan a las rectas
horizontales que contienen a los de P en doce puntos que representan los elementos
del producto cartesiano J x P.
El producto cartesiano tiene las siguientes propiedades de las que, a modo de ejerci
cio, demostraremos una de ellas. Cualesquiera que sean los conjuntos A, A', B, B'
y C se verifica:
1. Si A' C A y B' C B entonces A' x B' C A x B.
2. Propiedades distributivas: (A U B) x C = (A x C) U (B x C),
y A x (B U C) = (A x B) U (A x C).
3. Propiedades distributivas: {A C B) x C = (X x C) O (B x C),
y A x (B C C) = (A x B) n (A x C).
4. A x B = 0 si y sólo si A = 0 o B = 0.
A x (B n C) = (A x B) n (A x C)
x=p
Igualdad de ternas: Dos ternas (2?,«/, z) y (p, q, r) son iguales si y sólo si < y = q
A x B x C = {(x,y,z) | x € A,y 6 B, z e C}
Si A = B = C, escribimos A3 en lugar de A x A x A.
Ai x A2 x • ■ • x An = {(xi,x2, An}
Si Ai = A2 = • • • = An = A, escribimos An en lugar de A x A x • • • x A.
P =(x,y.z)
y OY
Para hacer referencia sintáctica a una relación lógica, se emplea una letra mayúscula
P, Q, R,S,..., seguida de letras que representan a los argumentos, x, y, z, t,.... Por
ejemplo, las expresiones Pxy, Qxz, Rty, Szx,... representan relaciones lógicas.
Consideremos una relación lógica Rxy sobre el producto cartesiano A x B. Asociado
a esta relación consideramos el subconjunto R de A x B donde se verifica Rxy:
TZ(A) = {y G B | G A,xTZy]
2.5 Relaciones entre conjuntos 61
Dado que R2 se representa corno un plano, entonces la relación TZ tiene una repre
sentación gráfica en dicho plano. En este caso, se trata de una parábola cuyo eje de
simetría es el eje OX, con el vértice en el punto (0,0) y abierta hacia la derecha.
c (C.j)
o juego limpio- -------------------- - —------------ *
n
.............. i................
J
defensa —
u
n
t Mp) í
pasador — ------ --------------------- 1--------
0
Ms) i i
P goleador- --------------------------- r—--—
Conjunto J
significa que para cualquier número real existe un número natural que lo supera. Esta
propiedad es la propiedad arquimediana de R y veremos en 6.12 que es verdadera.
Un simple cambio de orden en los cuantificadores conduce a
que significa que existe un número natural que supera a todos los números reales,
que es una propiedad falsa.
Ejemplo 2.48 Para negar una proposición con varios cuantificadores se pro
cede de la manera siguiente. Por ejemplo, busquemos la negación de (3x G A)(Vy G
B)Pxy, que escribimos como 3xVy Pxy.
Comentarios
Sobre el método de inducción
En el ejemplo 2.5 vimos el principio de inducción. Este principio proporciona un
método para establecer que un predicado Pn en el que interviene una variable n
de N, es verdadero para todo n. Es decir, si se quiere demostrar que la proposición
(Vn G N)Pn es verdadera, basta comprobar los dos puntos siguientes:
Sea o e N. En ocasiones hay que demostrar que una determinada propiedad Pn, que
no es verdadera para todo n € N, sí lo es si n > a. En este caso, se cambia el primer
punto en la demostración por inducción, teniendo que comprobar:
■ La proposición Pa es verdadera.
■ La proposición Pq es verdadera.
2. Un conjunto es una sola entidad matemática, de modo que puede a su vez ser
contenido por otro conjunto.
3. Dos conjuntos que tengan los mismos elementos son iguales. Un conjunto
está determinado por sus elementos.
Esta teoría tuvo éxito, pero necesitó ser precisada por otros matemáticos como G.
Frege, B. Russell, E. Zermelo, A. Skolem y A. Fraenkel. Después de varios intentos
de axiomatización, teoría de Fregel, teoría de Russell-Whitehead (PM) y otras, se
destacan dos sistemas axiomáticos de la teoría de conjuntos: la teoría de conjuntos
de Zermelo-Fraenkel (ZF) (desarrollada por Zermelo-Skolem-Fraenkel) y la teoría de
conjuntos de von Newman-Gódel (desarrollada por von Newman-Bernay-Gódel).
M = {X \ X X}
Comentarios 69
Ejercicios propuestos
2. Compruebe:
a) \/xPx /\VxQx <==> Vx(Px A Qx).
b) 3xPx y BxQx 3x(Px V Qx}.
c) VxPx V VxQx ==> Vx(Px V Qx).
d} 3x(Px A Qx} => 3xPx A 3xQx.
e) El recíproco en los apartados c) y d) es falso.
3. Dado el universo U = {1, 2, 3} y los predicados simples Px, cierto para {1,2},
Qxy cierto para {1,2} y Rx, cierto para {2,3}, determine el valor de las si
guientes proposiciones:
a) \/x (Px -A -^Qx) b} —¿Va; (^Px V ^B^)] c) Vx (^R.x -> Px}
c) Si A U B G A U C y A O B C A n C entonces, ¿B G C?
d) Si 4U B = B nC, ¿se puede deducir alguna inclusión entre algunos de
los conjuntos?
8. Simplifique la expresión de los siguientes conjuntos:
a) A U BTTC b) A U BüC c) ~A^B d) A n (B U A) e) AAB
11. Estudie las propiedades del álgebra de las partes de un conjunto dotado de
la unión, intersección y complementario que se mantienen al cambiar la unión
por la diferencia simétrica.
12. Sea I un conjunto no vacío y una familia de conjuntos B = {A¿ | i G 1}
tales que todos los conjuntos A¿ son subconjuntos de un mismo conjunto U.
Determine los conjuntos:
a) Uí=i n¿=i Ai c) a
13. Si Bn = [n, n+1] C R para todo n G N, determine BsUBg, B5OB6 y (JneN Bn.
14. Sean los intervalos de IR, An = [0,1/n], Bn = [0,1/n), Cn = (0,1/n) y Dn =
(—1/n, l/n) para todo n G N*. Determine:
U Bi/)= íei
A n [Me/ U (A n B^
16. Sea para todo (n,m) & N2 el conjunto:
= {(x,V) eR2|n<a:<n+l,m<y<m + l}
£x = {(x, y) € R2 | -x < y x}
Bi , (J Bx y (J Bx
0<icC2 x6R
18. Dado el universo U = {1, 2} y las relaciones lógicas simples Rxy, que es cierta
para {(1,1), (1,2)}, y Sxy, que es cierta para {(2,1), (2, 2)}, estúdiese si las
proposiciones siguientes son verdaderas.
a)dx(3ySxy -P Vz~dlxz) b)By\fx (Syy A Rxy) cftz (R^V Szz)
3z3y(S
d) zy ARyz) e) VxVy (Sxy ^\/z^Rxz) f) Mxdy Syx-A\/y-^Bz Ryz
19. Dado el universo 17 = {1, 2,3} y las relaciones lógicas simples Pxy que es cierta
para {(1,1), (2, 2), (3,3)}, Qxy que es cierta para {(1, 2), (2,1)} y Rxy que es
cierta para {(1, 3), (2,3), (3,3)}, estúdiese si las proposiciones siguientes son
verdaderas.
<z) Vx\/y3z(Pxy -> -'Rxz') b) 3x^y^z(Qxy V -^Rxz)
cj \/x\/y (JPxy Qyx ~~tRxy)
20. Dado el universo U = {1,2, 3,4, 5}, determine en cada caso el conjunto donde
los siguientes predicados son verdaderos:
a) Py : Bx (x + 2y < 7) b) Qx : By (x + 2y < 7) c) Ry : Vx (x + 2y < 7)
d) Sx : Vy (x + 2y < 7)
Ejercicios 73
24. Dados los conjuntos A = {1, 2,3,4, 5}, B = {a, b, c}, C = {a, /3, y, <5} y las re
laciones 1Z = {(1, a), (1,6), (2, &), (2, c)}, S = {(a, a), (a, /3), (&, a), (b, 5){c, y)}
y T = {(a, 1), (a, 5), (a, 3), (/3,1), (/3,3), (<5,4)(y, 4)}. Determine:
Relaciones y aplicaciones
entre conjuntos
75
76 Capítulo 3 Relaciones y aplicaciones entre conjuntos
Observaciones: La relación del ejemplo 2.42 no es reflexiva. Para que una relación
en R sea reflexiva, la representación del grafo de la relación debe contener a la
diagonal, y = x.
La relación del ejemplo 2.43 es simétrica, pero no la relación del ejemplo 2.42. Para
que una relación en R sea simétrica, la representación del grafo de la relación debe
ser simétrica respecto a la recta diagonal del primer cuadrante.
1. P. Reflexiva: Vx G U x£x.
2. P. Simétrica: Vx, y & U si x£y, entonces y£x.
3. P. Transitiva: Vx, y, z G U si x£y e y£z, entonces x£z>
■ Si x no está relacionado con y, x¿¡y, entonces [x] n [y] = 0, es decir, son clases
78 Capítulo 3 Relaciones y aplicaciones entre conjuntos
disjuntas.
Veámoslo por reducción al absurdo. Supuesto que existe z e [x] O [y], se tiene
que x8z e y8z. Al aplicar las propiedades simétrica y transitiva se obtiene que
x8y. Esto contradice la hipótesis xífy.
Cada clase de equivalencia se corresponde con una recta en el plano euclídeo dotado
de un sistema de referencia, es decir, si las ecuaciones tienen los coeficientes propor
cionales, entonces esas ecuaciones representan la misma recta. De esta forma a clases
de equivalencia distintas le corresponden rectas distintas. A la hora de trabajar con
una recta, se elige la ecuación representante de la clase de equivalencia que más
interese, de esta forma, en lugar de trabajar con un elemento geométrico, se trabaja
con un elemento algebraico.
[(0,0)],[(1,0)],[(0,1)],[(2,0)],[(0,2)],...
que se designan también por 0,1, —1,2, —2,.... Así pues, el conjunto Z se escribe:
Z = {...,-3,-2,-1,0,1,2,3,...}
El conjunto cociente (Z x Z*)/£, que denotamos Q, está compuesto por las clases
[ (1,1) ], [ (1,2) ], [ (1,3) ],..., [ (1, -1) ], [ (1, -2) ], [ (1, —3) ],...,
[ (2,1) ], [ (2,3) ], [ (2, 5) ],..., [ (2, -1) ], [ (2, - 3j ], [ (2, -5) ],...,
de manera que la clase a la que pertenece el par (a, í>) se escribe como -. Así pues,
el conjunto Q se escribe como:
Q= | (a,b) e Z x Z*|
La clase 0 = [0] está constituida por todos los números enteros múltiplos de p, y se
representa por pZ = {kp | k 6 Z}.
1. P. Reflexiva; Vx e U xTZx.
2. P. Antisimétrica; 'dx,y &U si xTZy e yTZx entonces x = y.
3. P. Transitiva; A!x,y,z é U si x1Zy e yTZz entonces xIZz.
■ La relación de orden ’JZ se dice que es una relación de orden total si posee
la propiedad ’R ' ATZ = U x ¡7, es decir:
Para subrayar que una relación de orden no es total se indica con el término parcial:
relación de orden parcial.
1. (a,b] = {x&U\a^x^b}.
2. [a, b) = {x e U | a R x -< b}.
Obsérvese que si a = b, entonces los intervalos (a, b), (a, b] y [a, b) son el conjunto
vacío, mientras que el intervalo [a, b] se reduce a un punto.
a b
Sin embargo los intervalos pueden ser entendidos en el marco de los otros conjuntos
numéricos ordenados aunque se representen dentro de la recta real.
El intervalo [3,6] en los números naturales N es [3,6]^ = {3,4, 5, 6} y el intervalo
(1,2)n = 0.
El intervalo (—3, 5] en los números enteros Z es (—3, 5]z = {—2, —1,0,1,2, 3,4, 5} y
el intervalo (3,4)z = 0- En general, los intervalos de N y los de Z son puntos aislados
en la recta real R.
Cuando se desea hacer referencia al intervalo (—3, 4]q en los números racionales Q se
emplea ese mismo intervalo en la recta real y se expresa como (—3, 4]q = (—3,4] DQ.
3.3 Relaciones de orden 85
Ejemplo 3.21 ¡ El lector está familiarizado con los intervalos iniciales y finales
(las semirrectas) en la recta real del ejemplo 3.19.
Sin embargo, un intervalo inicial o final puede ser entendido en el marco de los otros
conjuntos numéricos ordenados.
El intervalo inicial (<-,5)n = [0,4]^ = {0,1,2, 3,4} en los números naturales, y el
intervalo final [3, ->)n = {3,4, 5,...}.
El intervalo inicial (<—, 2)g = {..., -2, —1,0,1} en los números enteros, y el intervalo
final [3,->)z = {3,4,5,...}.
Los intervalos iniciales y finales en los números racionales se escriben en función de
los correspondientes intervalos en R, (e-, 2)q = (<—, 2) í~l Q y [3, —>)q = [3, —>) D Q.
Es una relación de orden total. Al observar la figura 3.7 se puede comprobar que dado
un punto (a, 5), entonces (<—, (a, U [(a, 5), —= R2, y por tanto cualquier
punto (x,?/) del plano está relacionado con un punto cualquiera (a, &), es decir,
(x,y) (a,b) o (a,b) (x,y).
86 Capítulo 3 Relaciones y aplicaciones entre conjuntos
í (c,d)¿L(x,y)
Í(C.d} s r ¿c,d)
L(c-d)|
(a,b)<L(x,y)-
(x,y)sL(a,b) (a,b)Á
Figura 3.7: Intervalos Figura 3.8: Intervalo ((a, b), (c, d))^L
O,(a,b)kL y [(c,d),-o)<L
________ kd)
j (qdiSpfity)
.. .
(c.d) (a,b)< p(x.y)<p(c,d)
______
fx,y)<p(a,bj'
- -------- —
(a b)
Al observar la figura 3.9 se puede comprobar que dado un punto (a, b), entonces
R2 (<—, (a, &)kP U [(a, b), y por tanto la relación de orden no es total. De
hecho, si a k b, los puntos (a,b) y (b,a) no son comparables, es decir, ni (b,a) <p
(a, b) ni (a, b) $lp (b, a). Luego, la relación es una relación de orden parcial.
3.3 Relaciones de orden 87
Demostración:
1. Supuesto que existen M, M' G A tales que para cualquier x G A se verifica que
x M y x M'. En particular, se verifica que M' ■< M y M A M', luego se
obtiene M =■ M' directamente de la propiedad antisimétrica. Lo mismo ocurre con
el mínimo.
2. Como el supremo de A es el mínimo de las cotas superiores, entonces es único al
aplicar la primera propiedad. Análogo razonamiento puede hacerse con el ínfimo.
□
Una cota inferior de A en Q es -2, mientras que una cota superior en Q es 2. Ahora
bien, no existe ni supremo ni ínfimo de A en el conjunto Q. Esto se verá en detalle
posteriormente, véase el ejemplo 6.7.
Este mismo conjunto al ser considerado como subconjunto del conjunto ordenado de
los números reales, R, se puede expresar como A = [~y/2, y/2] D <Q>.
Su supremo es sup(A) = \/2 y su ínfimo es ínf(A) = — a/2. No existe máx(A) ni
mín(A).
La propiedad del buen orden es una propiedad característica del orden de los números
naturales. El principio de la buena ordenación de N se enuncia como: Todo
conjunto no vacío de números naturales tiene mínimo.
La propiedad del supremo es una propiedad característica del orden de los números
reales, orden continuo, que se conoce como axioma del supremo de R: Todo
conjunto no vacío de números reales acotado superiormente tiene supremo.
90 Capítulo 3 Relaciones y aplicaciones entre conjuntos
‘ .....
i A
fuffú (1,1)''..... .....
Solución: Una cota superior de A es cualquier punto del intervalo final [(2, 2), —>)x,,
es decir, cualquier (x, y) con 2 < x o (2, y) con 2 y. El supremo de A es supL(Á) =
(2,2). El conjunto A no posee máximo.
Una cota inferior de A es cualquier punto de intervalo inicial (<-, (1,1)]¿, es decir,
cualquier (x,y) con x < 1 o (l,y) con y < 1. El ínfimo de A es ínf¿(A) = (1,1).
Como el conjunto A contiene al punto (1,1), entonces mínz/A) = (1,1). Véase la
figura 3.11. □
Solución: Una cota superior de A es cualquier punto del intervalo final [(2, 2), ->)P,
es decir, cualquier (x,y) con 2 < x y 2 < y. El supremo de A es supP(A) = (2,2).
El conjunto A no posee máximo, puesto que (2,2) A.
Una cota inferior de A es cualquier punto del intervalo inicial ( , (1, 1)]P, es decir,
cualquier (x, y) con x 1 y y 1. El infimo de A es ínfp(A) = (1,1)- Como
el conjunto A contiene al punto (1,1), entonces mínP(A) = (1,1). Véase la figura
3.12. □
$x e A, x M, que cumpla M A x.
íx G A, x m, que cumpla x A m.
(0,1)
(1,0)
tal que x + y = 1, que cualquier intervalo de este tipo sólo contiene al propio punto
(x,y)-
Una cota inferior de A es cualquier punto del intervalo inicial (•$-, (0,0)]p. Además,
ínfp(A) = (0,0) e A, luego mínp(A) = (0,0). □
E = {aa, ab, ae, af, bb, be, ce, cd, dd, ee, ef, ff, gb, gg}
94 Capítulo 3 Relaciones y aplicaciones entre conjuntos
p: A A/£
p(x) = [x]
/: A/£f - /:1
M 1—> /(M) =
La definición de la aplicación f es consistente: no depende del representante de la
clase de equivalencia puesto que si [x] = [U], entonces x £f x', es decir /(z) =
Ia- A A
x i—> IA(x) = x
98 Capítulo 3 Relaciones y aplicaciones entre conjuntos
son distintas como puede comprobarse en las figuras 3.19-3.20, y tan sólo se dife
rencian en el dominio. De hecho, como el conjunto inicial de g está contenido en el
conjunto inicial de /, y sobre la parte común a ambos las funciones coinciden, se
dice que g es la restricción de f a [0, oo) o que f es una extensión de g a R.
(g ° = go /(x) = g(/(a:))
Ejemplo 3.49 Sea la aplicación f G -F(A') definida para todo x G A por f(x) =
a y la aplicación g G ^(A) definida para todo x G A por g(x) = fi, con a b. En
tonces se tiene:
En efecto:
f °Ia = f y lB°f = f-
/(0),/(l),f(2),/(3),...,/(n),...
1 xGA
0 x A
Ay B. 3x G A fal que =y
al menos una solución. Esto se deduce del hecho de que toda ecuación polinómica
de grado impar tiene al menos una raíz en R.
O lo que es lo mismo:
(3 o/)"1 = r1 °g'1
h: B - - A
y i—> h(y') = cy
p: B ?A
si ye Im(f)
y g(.y) =
Si y i Im(f)
/: A/Sf - ,B
[x] i—> /([x]) = /(x)
p: A —> A¡8f
x i—> p(x) = [x]
A------
Se tiene; f = f op
pues para todo x & A,
f°p(x) = f(p(x)) = /(W) = f(A)
A/Sf
Vamos a introducir en el diagrama anterior el conjunto imagen /(A) C B, utilizando
la aplicación
i-, f(A)
y 1—> í(.y) = y
que es inyectiva y se denomina inyección canónica o aplicación inclusión. Si
consideramos además la aplicación
b: A/£f -xM
[x] i—> 6([x]) = fÍA)
entonces b es una aplicación biyectiva. En efecto:
Sean [x], [x'] G A/£f arbitrarios. Si &([x]) = i’íM) entonces f(x) = o equiva
lentemente, x£f x'. En consecuencia, [x] = [x7]. Por tanto, la aplicación b es inyectiva.
Sea y G /(A) arbitrario. Existe x G A tal que /(x) = y. En consecuencia ó([x]) = y.
Como [x] G A¡£j, se deduce que la aplicación b es sobreyectiva.
Finalmente, observemos que para todo x G A se verifica:
(«o¿)op)(x) = i (ó(p(x))^ = z(ó([x])) = í(/(x)) = f(x)
y en consecuencia:
R-------- -------- ^R
f = iobop
p proyección canónica de R en R/£y
P i
b biyección canónica de R/£y en [—1,1]
i inyección canónica de [—1,1] en R ------ b-^ [-1,1]
Equipolencia de conjuntos
La existencia de una biyección entre dos conjuntos A y B permite emparejar cada
elemento de A con un único elemento de B, y podemos decir de manera coloquial,
que si A y B tienen un número finito de elementos, entonces el conjunto A tiene
tantos elementos como el conjunto B.
Definición 3.64
Otro ejemplo es la identificación del conjunto de vectores libres del plano o del
espacio con el conjunto R2 o R3 mediante las coordenadas de un vector respecto a
una base.
Comentarios 111
En general, este tipo de inmersiones es muy útil si la inyección conserva las es
tructuras algebraicas de los conjuntos, cuestión que excede los contenidos de este
capítulo.
Comentarios
Axioma de elección y lema de Zorn
En Matemáticas es de mucha utilidad el denominado axioma de elección. Antes
de enunciarlo, veamos que se entiende por función de elección. Sea I un conjunto no
vacío y T = {F¿ | i G 1} una familia de conjuntos no vacíos. Se denomina función
de elección a una aplicación
/: {F^i&I}
iei
Fi f(F¿) =
n¿gi.F¿,
a = card(A) y b = card(B)
Tampoco demostraremos que la relación de orden es total, es decir, para todo par
de números cardinales a y b se tiene:
a b o b<a
Ejercicios propuestos
1. Cada una de las relaciones lógicas siguientes define una relación en el conjunto
N*. Estudie si cada una de las relaciones es reflexiva, simétrica, antisimétrica
o transitiva.
4. Se denomina bytes a cada elemento del conjunto {0, l}8 y se emplea la nota
ción aTaeasaiasazaiao para representar a (ao,ai, <12, <13, <14,as, a6, <17) C {0, l}8.
Estudie las propiedades que cumplen cada una de las siguientes relaciones.
a) a7a6a5a4a3a2<iiao TZ Wí^Wií’o si y sólo si El=o = El=o >ln-
b) a7a6a5a4a3a2aiao TZ brbebsbibzbzbibo si y sólo si a«2” E„=o &«2”.
c) a7 «6 as «4 <13 «2 a lio TZ si y sólo si
máx{ai,0.3,ag, a7} < máxjtq, bs, b5, b7}.
116 Ejercicios
5. Estudie las propiedades que cumplen cada una de las siguientes relaciones
definidas en R3 o en R3 \ {(0,0,0)}.
a) (ai,a2,a3')yi.{bi,b2,b3') si y sólo si a3 < b3 o (a3 = b3 y ai b3) o (a3 =
b3, ai = bi y a2 sC b2).
b) (ai, a2,a3)5i(b1,b2,b3) si y sólo si ai < bi y a2 b2 y a3 < b3.
c) En R3\ {(0,0,0)}, (ai, a2, a3)íR(bi, b2, b3) si y sólo si bia2 = aib2 y bia3 =
aib3.
d) (ai,a2,a3)3i(bi,62,^3) si y sólo si hay un único subíndice i G {1,2,3} tal
que a¿ b¿.
e) (ai,a2,a3)^(bi,b2,b3) si y sólo si a3 < b3 o (a3 = b3 y ai < bi) o (a3 =
b3, ai = bi y a2 «í b2).
6. Se consideran el orden usual < en R y el orden lexicográfico en R2.
Se define la relación en el conjunto R3 mediante:
Compruebe que las dos relaciones son iguales y que definen un orden total en
R3. Exprese el intervalo final [(1,1,1), ->) y el intervalo [(0,0,0), (1,1,1)].
7. Defina un orden de tipo lexicográfico en R3 haciendo uso de lo estudiado en el
problema 6. Generalice esa definición a Rn con n G N*.
8. Dados el orden usual en R y el orden producto G /> en R2, se define la relación
=<: en el conjunto R3 mediante:
(ai,a2,a3) (b1;b2,b3) si y sólo si ai < bi y (a2,a3) (b2,b3).
Compruebe que es una relación de orden parcial. Exprese el intervalo final
[(1,1,1), —>) y el intervalo [(0,0,0), (2,1,1)].
Ejercicios 117
c) No sobreyectiva y no inyectiva.
d) Biyectiva.
14. Identifique mediante una biyección el conjunto de las matrices cuadradas de
orden dos con el conjunto R4.
17. Sean A un conjunto y /: A —> A una aplicación tal que existe n GN* cum
pliendo que /” = 1a- Demuestre que f es una aplicación biyectiva.
18. Se denomina:
Circuito lógico OR a la aplicación OR : {0, l}2 —> {0,1} definida por
OR(x,y) = máx(íc,y).
Circuito lógico AND a la aplicación AND : {0, l}2 —> {0,1} definida por
AND(x, y) = xy.
Circuito lógico NOT a la aplicación NOT : {0,1} —> {0,1} definida por
NOT(x) = 1 — x.
Determine la expresión de los siguientes circuitos lógicos:
Operaciones internas y
estructuras algebraicas
Estas estructuras son importantes por su sencillez y por los resultados y propiedades
que de ellas se deducen, resultados que serán válidos cada vez que se maneje el mismo
tipo de estructura. Identidades en los números reales del tipo a2 — b2 = (a + b)(a — b),
(a + b)2 = a2 + b2 + 2ab, el binomio de Newton o deducciones del tipo si ax = a,y
y a / I) entonces x = y, no son válidas, por ejemplo, para el producto de matrices
cuadradas. Basta observar el siguiente contraejemplo:
1 2 \ / 5 3\/12\/3 1\
3 6 / ( -1 1 / V 3 6 /( 0 2 y
121
122 Capítulo 4 Estructuras algebraicas
Definiremos las estructuras básicas para operaciones internas: grupos, anillos y cuer
pos. De estas estructuras, el lector ya conoce un buen número de ejemplos. A lo largo
de estudios posteriores, tanto en Físicas como en Matemáticas, se encontrará muy
a menudo con este tipo de estructuras. Por ello, el estudio de este capítulo supone
una economía importante de medios intelectuales.
Propiedades
Sea E un conjunto y * una operación interna definida en E.
(a*b) * c = a* (6 * c)
4.1 Operaciones internas 123
Una de las ventajas de la propiedad asociativa es que se pueden eliminar los parénte
sis, siendo válida la notación a * b * c.
Otra ventaja es que permite definir por recurrencia como se operan n + 1 elementos,
O1 * flj i ■ • • * G-n+l — («1 * * ■ ■ ■ * Un) * ®n+l •
¡ Ejemplo 4.2| De las operaciones del ejemplo 4.1 hemos visto en capítulos
anteriores que son asociativas las leyes A y V en el conjunto de proposiciones lógicas,
A y U en P(Q) y la composición de aplicaciones en ^(Q). Veremos en los capítulos 5 y
6 que las operaciones + y • son asociativas en N,Z,Qy ®. También son asociativas las
operaciones A y V, máximo común divisor y mínimo común múltiplo en N*, o + y x,
suma y producto en el conjunto de matrices cuadradas de orden n. No es asociativa
la resta o la división. Observe que (9 - 5) -1 / 9 - (5 - 1) o (16/4)/2 16/(4/2).
a-kb = b -k a
★”=1«z
por ai * a-2 * • • • * an siendo el orden de los mismos indiferente.
En particular, cuando se utiliza la notación aditiva o la notación multiplicativa para
operaciones que sean asociativas y conmutativas, se usan los símbolos siguientes:
üi ’ ° 52 at> para indicar la suma de los elementos ai, a2, ■ .., an. En el caso
i=i
en que todos los sean iguales a a, la suma se indica por na.
Iir=i ai ’ 0 TI ai> Par& el producto de los elementos ai, a-¿, ■ • ., an. En el caso en que
i=l
todos los ai sean iguales a a, el producto se indica por an.
También se utilizan para la intersección y unión de conjuntos las notaciones siguien
tes: n
AT=i ^ , ° A A, para indicar la intersección de los conjuntos Ai, 42,..., An-
i=l
UT=i 5 0 U Ai, Para indicar la unión de los conjuntos Ai, Á2,..., An.
i=l
se manejen igualdades, por ejemplo de matrices, hay que proceder con cautela a la
hora de multiplicar los dos miembros de la igualdad, multiplicando ambos miembros
a la izquierda, o ambos a la derecha. Es decir, de A = B se deduce que AC = BC
o CA = CB pero no se deduce que que AC = CB. Tampoco son conmutativas la
resta o la división.
a*e = e*« = a
Demostración: Basta observar que si e y e' son ambos elementos neutros entonces
En consecuencia, e = e'.
□
Supongamos que en E tenemos definido una operación interna * con elemento neutro
e G E.
a Se denomina elemento simétrico del elemento a G E a un elemento a' G E
tal que
a*a' = aAa = e
Ejemplo 4.6
En N, ningún elemento tiene simétrico respecto de la suma (salvo a = 0) o el producto
(salvo a = 1).
En Z, Q y R el simétrico de a para la suma es —a.
En Z, no existe el simétrico de a para el producto salvo sia = -loa=l.
En O* y R* el simétrico de a para el producto es -.
a
Según vimos en el capítulo anterior, en el conjunto /"(Q) de las aplicaciones de un
conjunto dado en sí mismo, sólo tienen simétrico respecto de la composición las
aplicaciones biyectivas. El simétrico de la biyección f es la biyección inversa
En el conjunto de matrices cuadradas de orden n sólo tienen simétrico respecto del
producto, las matrices cuyo determinante es distinto de 0.
4.2. Grupos
1. La operación * es asociativa.
2. Existe elemento neutro de * en G.
3. Para todo elemento a G G, existe en G el elemento simétrico de a respecto
de *.
Si además la operación * es conmutativa se dice que el grupo es conmutativo
o abeliano.
126 Capítulo 4 Estructuras algebraicas
na = a + a + '- - + a
(AAB)AC = [(Anfi)u(AnB)] AC
= [(AaB) u (AnB) nc] u [(Ans)u(AnB)nc¡
= [(A a B n C) u (A a B a C)] u [[(A u B) n (A u B)] a C]
Pero,
[(AuB)n(AuB)]nC = [(AaA)u(AaB)u(AaB)u(BaB)] aC
= [(A a B) u (A n B)] a C
= (A n B n C) u (A o B n C)
y en consecuencia,
(A A B) A C = (A n B a C) u (A a B n C) u (A a B a C) u (A n B a C)
A A (B A C) = (BAC)ÁA
= (B a C n A) u (B a c n A) u (B a c n A) u (B a c n A)
= (A A B) A C
1. (N,+) y (R, •). Sólo el 0 tiene elemento opuesto en el primer caso, mientras
que en el segundo caso, el 0 no tiene inverso.
2. (?(í?),n) y (?(Q),U). En ambos casos, ningún elemento, salvo el elemento
neutro, tiene elemento simétrico, pues si AriB = f 2 necesariamente A = B = Q.
Análogamente, si A U B = 0 entonces A = B = 0.
Así el elemento que, por ejemplo, está situado en la intersección de la linea de b con
la columna de c en la tercera tabla, es b* c y en este caso, b * c = a. Veamos si definen
estructura de grupo conmutativo o no.
En los tres casos e es el elemento neutro pues la fila y columna de e dejan invariante
la primera fila y la primera columna respectivamente.
También se observa a primera vista que las tres operaciones son conmutativas pues
las tablas son simétricas respecto de la diagonal principal (la que baja de izquierda
a derecha).
En el primer caso, el elemento a no tiene simétrico, pues no existe ningún elemento
a' tal que a ® a' = e. Luego (G, ®) no es un grupo.
En el segundo caso, el simétrico de a es a.
En el tercer ejemplo los elementos simétricos de a, b y c son respectivamente los
propios a, b y c.
La propiedad asociativa en el segundo caso se verifica comprobando que xk(ykz) =
(x k y) * z en todos los casos posibles de x, y, z € G. Claramente se cumple si uno
de los tres elementos es el elemento neutro e por tanto sólo hay que comprobar que
a * (a k a) — (ak a) k a que se cumple pues la operación es conmutativa.
La propiedad asociativa en el tercer cuadro es un poco más tediosa. Hay que com
probar que a * (b * c) — (a * b) * c, a * (c * b) = (a * c) * b, a * (a * c) = (a * a) * c,
a*(c*a) = (a*c)*a, a*(a*b) = (a*a)*b, a*(b*a) = (a*b)*a, b*(b*c) = (b*b)*c,
b * (c * b) = (b * c) * b, b*(b*a) = (b*b)*a, b*(a*b) = (b * a) * b, c * (c * a) = (c * c) * a,
c * (a * c) = (c * a) * c, c * (c * b) = (c * c) * b y c * (b * c) = (c * b) * c. Todos los
demás casos se deducirían de los casos anteriores, la propiedad conmutativa y la del
elemento neutro.
Este grupo se denomina grupo de Klein y tiene una representación geométrica en el
que e es la identidad en el espacio tridimensional y a, b y c representan las simetrías
axiales de eje Ox, Oy y Oz. La operación * es la composición de movimientos.
130 Capítulo 4 Estructuras algebraicas
Subgrupos
Dados el grupo (G, *) y el subconjunto no vacío H de G, consideramos la operación
*, restringida a los elementos del subconjunto H. Se dice que H es un subgrupo
de G si (H, *) es a su vez un grupo. En particular, el subconjunto unitario H = {e}
siendo e el elemento neutro de G y el propio G son subgrupos de G.
Observemos que si para todos los elementos de G se cumple la propiedad asociativa,
en particular se cumple para los elementos de H. Luego para verificar que H es un
subgrupo de G hay que comprobar únicamente que:
i) Si a, b e H entonces a*b G H (i.e., * es operación interna en H).
ii) e G H, siendo e el elemento neutro de * en G.
iii) Si a G H entonces el elemento simétrico de a, a pertenece a H.
Estas condiciones se condensan en una en la siguiente proposición de caracterización
de subgrupos.
y teniendo en cuenta que a — a',b — b' e Z pues (Z, +) es un grupo, se tiene que
z - z' e Z[\/2]. □
Ejercicio 4.16 Sean nZ = {kn | k Z}, con n N*, y 2?rZ = {2k?r | k z Z}.
Demuestre que ambos son grupos respecto de la suma de números reales restringida
a cada uno de ellos.
Solución: El conjunto nZ es el conjunto de múltiplos de n. Veamos que ?rZ es
subgrupo de (Z,+).
nZ 0 pues n G nZ.
Sean a, b € nZ. Comprobemos que a — b G nZ. Sean k y h e Z tales que a = kn y
b = hn. Como a - - b = kn — hn = (k - - h)n, teniendo en cuenta que k — h G Z pues
(Z, +) es un grupo, se tiene que a — b G nZ.
De forma análoga se demuestra que 2ttZ es un subgrupo de (R, +). □
Ejemplo 4.17 Entre los conjuntos cocientes que hemos estudiado, ya nos
hemos encontrado algunos que pueden ser considerados como conjuntos cocientes
asociados a un subgrupo dado. En concreto, si tomamos nZ como subgrupo de Z,
o 2?rZ como subgrupo de R, véase el ejercicio 4.16, obtenemos precisamente los
conjuntos cocientes de los ejemplos 3.10 y 3.11, los enteros módulo n, Z/nZ y los
números reales módulo 2tt, R/2ttZ.
4.3. Anillos
2. La operación • es asociativa.
3. La operación - es distributiva respecto de la operación +, esto es,
a(b + c) = ab + ac y (b + c)a ~ ba + ca
1. Veremos en capítulos posteriores que los conjuntos (Z, +, •), (Q, +, •), (R, +, •)
y (C, +, •) son anillos conmutativos unitarios respecto de la suma y el producto
habituales.
An(fiAC) = An[(BnÜ)u(BnC')]
= (A n B n C) u (A n B n C)
= ((AnB)n(Auü)) u ((AuB)n(AnC))
= ((A n B) npñcj) u ((AnB) n (A n A))
= (An B) A (A n C)
(a + b)n+1 = (a + b)n(a + b)
se obtiene
(a + b)n+l = (n^l)an+í + (n+1)an5 + + • • • + (n^1)abn + (”tÍ)6”+1-
Divisores de cero
En un anillo (A, +, •), se dice que el elemento a € A, a A 0, es un divisor de cero
si existe b <= A, b 0, tal que ab = 0.
| Ejemplo 4.22 ] En los anillos Z,Q y R no existen divisores de cero.
Sí existen divisores de cero en el anillo (CP(Q), A, n) pues todo subconjunto A de Q
tal que A yt 0, y A A es un divisor de cero ya que A n A = 0.
También hay divisores de cero en el anillo de las matrices cuadradas de orden 2.
136 Capítulo 4 Estructuras algebraicas
1
Por ejemplo, se tiene que A = es un divisor de cero pues tomando
-1
B= ( 1 1 ) se tiene que;
1 -1 1 - ( 0 0
AB = -1/^0 0 J
-1 1
Subanillos. Ideales
Igual que ocurría en los grupos, algunas propiedades del anillo A se satisfacen au
tomáticamente en H. como la propiedad asociativa del producto o la propiedad
distributiva del producto respecto de la suma. Es muy fácil demostrar la siguiente
proposición que caracteriza a los subanillos de un anillo dado.
4.3 Anillos 137
De entre los subconjuntos de un anillo, además de los subanillos, los ideales juegan un
papel muy relevante, véase por ejemplo, el ejercicio 9. Para simplificar la introducción
del concepto, nos limitaremos al caso de anillos conmutativos.
138 Capítulo 4 Estructuras algebraicas
4.4. Cuerpos
Ejemplo 4.31 Veremos en los capítulos siguientes que (Q, +,•), (R,+,•) y
(C, +, •) son cuerpos. Sin embargo, (Z, +, •) o (Z[a/2], +, •) no son cuerpos pues no
todos los elementos no nulos son inversibles, por ejemplo, x = 2 no es inversible ni
en Z, ni en z[y2].
+ 0 1 2 0 1 2
0 0 1 2 0 0 0 0
1 1 2 0 1 0 1 2
2 2 0 1 2 0 2 1
se obtiene:
+ 0 1 2 3 0 1 2 3
0 0 1 2 3 0 0 0 0 0
1 1 2 3 0 1 0 1 2 3
2 2 3 0 1 2 0 2 0 2
3 3 0 1 2 3 0 3 2 1
Del ejercicio 4.23 se deduce que un cuerpo no puede tener divisores de cero. Por tanto
si K es un cuerpo, entonces el producto es una operación interna en K* = K \ {0}.
Observemos que en este caso si m,n G Q son tales que 0 ' ><í y 'M n entonces
0 m + n pues sumando n en los dos términos de 0 R m, se obtiene n R m + n y por
la propiedad transitiva se obtiene 0 R m + n. Por analogía con los números se dice
que el elemento a G G es positivo si se cumple 0 R a y el conjunto de los elementos
positivos de G se denota por G+. Se dice que el elemento a G G es negativo si
a 0.
Indistintamente se escribe b> a para indicar a :< b que se lee como b “sucede”, “es
posterior” o “es mayor o igual” a a. La notación a -< b o b a indica a y< b y a b.
3. Si a b entonces — b V —a.
Ejemplo 4.36
1. Veremos en los capítulos 5 y 6 que (Z, +, (Q, +, iC) y (R, +, <) son grupos
totalmente ordenados.
entonces (R2, +, ^p) es un grupo parcialmente ordenado pues si (a, 6) <p (c, d)
y (e, /) e R2 entonces (a, b) + (e, /) <p (c, d) + (e, /) puesto que de a d c y
b d, se deduce que a + e^c + e y b + / < d + f.
4. Sea .F([0,1], R) el conjunto de funciones reales de variable en [0,1] C K donde,
como es habitual, se define la suma de funciones y el orden, para todo f,gE
-/-"([0,1], R), mediante:
Supongamos ahora que la relación de orden está definida sobre un conjunto A donde
tenemos definida una estructura de anillo conmutativo (ri, +, ■). Ya vimos como en
Q el orden no es en general compatible con el producto de números racionales
aunque sin embargo, sí es compatible cuando nos restringimos a números positivos.
Esta será la condición que se pide a la segunda operación en un anillo ordenado.
Se dice que (ri., +, •, Y) es un anillo ordenado si se cumple lo siguiente:
3. Si a A b entonces b y —a.
4. Si a -< b y 0 y c entonces ae y be.
5. Si a y b y c y 0 entonces be y ac.
6. Para todo a G A, a2 > 0-
10. Observemos, en primer lugar, que para todo a e Ase cumple trivialmente que
o |a| y —a yí |a|.
i) Si 0 a + b , entonces |a + = a + b |a| + |6j.
ii) En caso contrario, a + b -< 0 y en consecuencia, )a + 6] = - a — b yí |a| + |í>|.
11. Supongamos a X 0. Si fuera yí 0, multiplicando por a ambos términos se
deduce que 1 = aa'! yí a ■ 0 = 0, que contradice la propiedad 7.
12 y 13. En ambos casos se obtiene que ab > 0. Por la propiedad anterior se deduce
que (ah)'*1 = 5'1a'1 = a~1b^í 0. Entonces, si a yí b, multiplicando ambos
miembros por a~'¡G!, se obtiene aa~ 1b~1 yí ba~1b~1, esto es, b ~ '¡ yí a-1.
□
En los capítulos 5 y 6, veremos que el anillo (Z, +, •, <) y los cuerpos (Q, +, •, y
(®, +, •, son ordenados. También veremos en el capítulo 7, como la propiedad 6
de la proposición anterior, nos permite afirmar que no existe en el conjunto de los
números complejos ninguna relación de orden total compatible con la estructura de
cuerpo.
4.6. Homomorfismos
Vimos en el ejemplo 3.65 como la existencia de una biyección entre dos conjuntos
puede dar lugar a un cierto tipo de identificación entre ambos conjuntos. Cuando
estemos trabajando con conjuntos donde se tenga alguna estructura algebraica o de
orden hablaremos de identificación cuando la biyección además conserve la estruc
tura.
Sean G y G' dos conjuntos donde se tiene respectivamente definida una operación
interna y por comodidad denotaremos ambas +. Sea / : G —> G' una aplicación.
Se dice que f es un homomorfismo si se cumple que:
Demostración: 1. Supongamos que a' y b' G /(G); veamos que a' + b' G f(G~). En
efecto, sean a y b G G tales que /(a) = a' y f(b) = b'. En consecuencia, /(a + b) =
/(a) + f(b) = a' + b' y como a + b G G resulta que a' + bf G f(G).
2. (gof)(a+b) = g(f(a+b)) = 5(/(a) + /(b)) = g(j(a))+g(j(b)') = g°f(a)+gof(b)
3. Sabemos que si / es biyectiva, la aplicación inversa f '! es biyectiva. Veamos que
/-1 es un homomorfismo. Sean a' y b' G G' y sean a = f~Y{a') y b = f !(b'y En
consecuencia, f(a) = o! y f(b) = b' y por tanto, a' + b' = /(a) + f(b) = f(a + b) de
donde se deduce que + b') = a + b = f~1{a') + y-1(ó')-
□
Homomorfismos de grupos
En este apartado suponemos además que (G,+) y (G',+) son dos grupos tales
que sus elementos neutros son respectivamente Og y Oq' y -a y -a! denotan los
elementos simétricos de a G G y a’ G G’. Sea f: G —> G' un homomorfismo. Se
tiene:
1. /(Og) =0q'.
3. Si H es un subgrupo de G entonces,
es un subgrupo de G'.
es un subgrupo de G.
Como /(a — b) = /(a) — f(b), f(a) y f (b) £ H' y H' es un subgrupo de G' se obtiene
que /(a) — /(b) £ H' y en consecuencia, a — b € /^1(Jí/). O
De entre los subgrupos que determina un homomorfismo / mediante las propiedades
3 y 4 anteriores, son importantes el conjunto imagen Im f = f (G) y el núcleo del
homorfismo f que es precisamente /~1({0gz}) y se denota por Ker /, es decir,
Teorema 4.40 Sean (G, +) y (G1, +) dos grupos y f: G—> G' un homo
morfismo. Se tiene:
1. Im f es un subgrupo de G'.
2. Ker f es un subgrupo de G.
3. f es inyectivo si y sólo si Ker / = {0G}-
4. / es sobreyectivo si y sólo si Im f = Gr.
Ejemplo 4.41
f ¿1 0\j ¿2 1\
Ker / ¿I 1 ) |' Basta tomar A = G I, pues A & Ker / ya que
f(A) = det(A) = 1.
y. í +) (G, +)
[ n i—> f(n) = na
«veces
es un subgrupo de Z.
4. ¿Es f: R2 —> R2 definida por f(x,y) = (x + y,3x + 5y) inyectiva? Una vez
que observamos que / : (R2,+) —> (R2,+) es un homomorfismo, basta con
hallar el núcleo de f para poder responder. Como Ker f = {(x,y) G R2 |
(x + y,3x + 5y) = (0, 0)} = {(0,0)}, / es por tanto inyectiva.
150 Capítulo 4 Estructuras algebraicas
NcZcQcKcC
En realidad, cuando se escriben estas inclusiones lo que se quiere indicar son iden
tificaciones entre un conjunto y un subconjunto del conjunto siguiente. El tipo de
identificación depende de la estructura con que se dota a los conjuntos.
Por ejemplo, la inclusión Z C Q indica la existencia de un isomorfismo de anillos
ordenados: de (Z,+,-,<) a un subanillo ordenado A de Q, es decir una aplicación
biyectiva / de Z a A C Q que conserva las operaciones y el orden. Estamos ante un
isomorfismo de anillos ordenados.
Una vez establecido el isomorfirmo /, se identifica el elemento z G Z con el elemento
Comentarios 151
Comentarios
A H B = 0, a = card(A) y b = card(B)
Por definición:
a + b = card(A U B)
h: AU B ——> A! U B'
x e-G h(x) = J si x e A
si x e B
a = card(A) y b = card(B)
Por definición:
a • b = card(xl x B)
1. Es conmutativo.
2. Es asociativo.
3. El número cardinal 1 es el elemento neutro del producto.
4. a • 0 = 0 para todo número cardinal a.
5. Si a • b = 1 entonces a = 1 y b = 1.
6. Si a • b = 0 entonces a = 0 o b = 0.
7. Es distributivo respecto de la suma.
Solución: Daremos un esbozo de la demostración de cada propiedad.
1. Se basa en que la aplicación
/: AxB -- -> B x A
(x,y) i—>/((x,y)) = (?/,x)
es biyectiva.
2. Se basa en que la aplicación
g: (A x B) x C —> A x (B x C)
i—> = (x,(y,z))
es biyectiva.
3. Sea {m} un conjunto unitario. La propiedad se basa en que la aplicación
h: A —> A x { ///}
x i—> h(x) = (x,m)
es biyectiva.
4. Se basa en que >1x0 = 0.
5. Si el conjunto A x B sólo tiene un elemento entonces los conjuntos A y B
sólo tienen un elemento.
6. Si el conjunto A x B no tiene elementos entonces el conjunto A es vacío o
el conjunto B es vacío.
7. Hay que demostrar que
a-(6 + c) = a- 6 + «- c
A x (B U C) = (A x B) U (A x C) y (A x B) n (A x G) = 0
□
154 Ejercicios
Ejercicios propuestos
[a] * [6] = [a * b]
a 'JA b si y sólo si a~ b G I
para todo a, b G A.
i) Demuestre que si a,a',b,b' G A son tales que ciíR/a' y bAíjb' entonces
ab 31 ¡ a'b'.
ii) Si definimos las operaciones + y • en A/I, como en el ejercicio 3, mediante
Véanse los ejemplos 3.10, 4.17, y 4.31 y el ejercicio 9. Del ejercicio 9 se deduce
que (Z/nZ, + , •) es un anillo, que además es conmutativo y unitario. Se trata
de ver que (Z/nZ, +, •) es un cuerpo si y sólo si n es un número primo.
156 Ejercicios
20. Sea / una aplicación creciente de ([/, en (V, ^). Sea A un subconjunto no
vacío de U, 0 A G U, y sea A' = f(A). Estudie si son ciertas las siguientes
afirmaciones:
a) Si m es una cota superior de A entonces m! ■= f(m) es una cota superior
de A!.
b) Si m es el máximo de A entonces m' = f(m) es el máximo de A'.
c) Si m es el supremo de A entonces m' = f(m) es el supremo de A'.
Capítulo 5
Hemos supuesto a lo largo del texto que el lector conoce, al menos intuitivamen
te, los números naturales, enteros, racionales y reales. Conoce como se suman, se
multiplican e incluso sabe reconocer cuando un número es mayor que otro.
En este capítulo, vamos a fundamentar todas estas propiedades sobre los números
naturales y enteros. Es decir, el objeto del capítulo es justificar resultados familiares
y conocidos. En los ejemplos 2.5 y 3.8 hemos introducido los conjuntos de núme
ros naturales, N, y enteros, Z. El primer conjunto se ha introducido mediante los
axiomas de Peano, mientras que los números enteros se han construido, partiendo
de los números naturales, como conjunto cociente de una determinada relación de
equivalencia. Para facilitar la lectura del capítulo repetiremos estas construcciones.
La idea básica de los números naturales es que sirven para contar los elementos
de los conjuntos finitos y que dos conjuntos tienen el mismo número de elementos
cuando existe una biyección entre ellos. Retomaremos pues el concepto de cardinal,
introducido en la sección 3.4, centrándonos en los cardinales finitos y en los cardinales
numerables, ambos conceptos íntimamente relacionados con la noción de número
natural.
Los números naturales no forman un grupo respecto de la suma. La ecuación b+x = a
no tiene solución en N si a < b. Construimos el conjunto de los números enteros Z
donde esta ecuación tendrá siempre solución. Este conjunto será una extensión del
conjunto de los números naturales, en el sentido de que identificaremos N con un
subconjunto de Z, conservando las operaciones y el orden.
Estudiaremos los conceptos de máximo común divisor y mínimo común múltiplo vía
los ideales de Z, que aportan un método sencillo y natural para introducirlos.
159
160 Capítulo 5 Los números naturales y los números enteros
De esta manera, cero, uno, dos, tres, etc., son las denominaciones de cero, sucesor
de cero, sucesor del sucesor de cero, sucesor del sucesor del sucesor de cero, etc., y
0,1,2,3, etc., son las notaciones utilizadas para 0,s(0),s(s(0)),s^s(s(0))^, etc.
Suma en N
La suma de números naturales se define por recurrencia utilizando el axioma A$.
1. m + 0 = m para todo m G N.
2. m + s(n) = s(m +n) para todo m, n G N.
Observaciones:
3. Dados m, n G N, si m + n = 0 entonces m = n = 0.
En efecto, si n 0 entonces existe r G N tal que n = s(r) y por tanto
0 = m + n = m + s(r) = s(m + r) en contradicción con el axioma A3. En
consecuencia n ~ 0 y por tanto m = 0.
ii) Supongamos que la propiedad es cierta parap, esto es, (m+rí)+p = m+(n+p)
y veamos que es cierta para s(p), esto es, (m + n) + s(p) = m + (n + s(p)). En
efecto:
Si m + s(p) = n + s(p),
entonces s(m + p) = s(n+p) por definición de suma,
y en consecuencia, m + p = n+p pues s es inyectiva.
Y por la hipótesis de inducción m = n.
Producto en N
El producto de números naturales se define por recurrencia utilizando el axioma dg.
Observaciones:
1. Nótese que el apartado 2 en la definición anterior se escribe también como:
m • 1 = m ■ s(0) = (m ■ 0) + m = 0 + m = m
4. Conmutativa: mn ------ nm
5. Cancelativa: Si mp = np y p 0, entonces m = n.
n veces
U = {n G N | n a, para todo a e A}
Se tiene:
1. U H A = 0, pues si existiera n G U n A, entonces n sería una cota inferior de A y
al mismo tiempo un elemento de A, por tanto sería un mínimo de A.
2. U = N. En efecto, se procede por inducción:
■ Si n G N* entonces toda aplicación inyectiva, f: [1, n]n —> [1, n]w, es biyectiva.
, , , f x si 1 < i < p
( a(x) si p < x m
Como corolario de esta última propiedad se obtienen fácilmente las siguientes pro
piedades:
h N es un conjunto infinito.
Teorema 5.14 Sean A y B dos conjuntos finitos de igual cardinal y sea una
aplicación f: A —> B. Son equivalentes:
(i) / es inyectiva.
(ii) f es sobreyectiva.
(iii) f es biyectiva.
1 n + g(x) si x e B
Además A U B = A U (B \ A) y A Ci (B \ A) = 0. En consecuencia, A U B es un
conjunto finito y
card(A UB) = card(A) + card(B \ A)
Teniendo en cuenta que B = (B \ A) U (A fii B) y que (B \ A) fil (A O B) = 0 resulta
que
card(B \ A) + card(A í~l B) = card(B)
Sumando ambas igualdades entre cardinales se obtiene
ii) Supuesto que card(A x B') = card(A) ■ card(B') para todo conjunto B' tal
que card(B') = n, sean B tal que card(B) = n + 1 y B. Consideramos el
conjunto B' = B \ {6}. Como A x B = A x (B' U {&}) = (A x B') U (A x {&}),
con (A x B') C (A x {6}) = 0, por la proposición anterior y la hipótesis de
inducción se obtiene:
ii) Supongamos que card(BA) = ba si card(A) = a y sea A' = A'J {q} con q A.
Así pues card(A') = a + 1. Veamos que card(BA ) = ba+í. En efecto, dada
una aplicación de A en B, ésta se puede extender a una aplicación de A' a B
dando la imagen del elemento q. Como hay b valores posibles para la imagen
del elemento q, por cada aplicación de A a B obtenemos b aplicaciones distintas
de A' a B. Dos extensiones a A' de dos aplicaciones distintas de A a B son
obviamente distintas. Además, cualquier aplicación de A' a B es una extensión
de una aplicación de A a B. Por tanto:
Demostración: Basta observar que existe una aplicación biyectiva entre el conjunto
y(A) de las partes del conjunto A y el conjunto {0,1}) de las aplicaciones
de A en {0,1} que asocia a todo subconjunto B de A la función característica
{1 si x g B
0 si x e A \ B
En consecuencia, card = card (B(A, {0,1})) = 2card(Al.
□
277,!
Vm,n = m(m - 1) • ■ • (m - n + 1) = ----- —-
(m — n)l
card ('.Bí.l.B)) = n!
Hemos clasificado los conjuntos en dos tipos: conjuntos finitos y conjuntos infinitos.
Ya sabemos que existen conjuntos infinitos. Por ejemplo, N y cualquier subconjunto
no acotado de N es un conjunto infinito. En conjuntos finitos el concepto de cardinal
de un conjunto está intuitivamente asociado al número de elementos del conjunto, de
manera que un subconjunto de un conjunto finito y el propio conjunto no son nunca
biyectivos salvo que sean iguales (véase la proposición 5.11). Esta propiedad deja
de ser cierta en los conjuntos infinitos. Así, si consideramos en N el conjunto A de
los elementos que son cuadrado de algún número natural, A = {0,1,4,9,16,... }, se
tiene que card(A) = card(N), pues la aplicación f de N en A definida por f(n) = n2 es
biyectiva. Es decir, que expresiones tales como “menos elementos”, “más elementos”,
o “tantos elementos como” no pueden aplicarse de igual manera en los conjuntos
finitos como en los conjuntos infinitos. De hecho si X es un conjunto finito, card(X)
se denomina también número de elementos de X, mientras que si X es un conjunto
infinito, card(A) se denomina número transfinito.
La primera pregunta que cabe hacerse sobre los conjuntos infinitos es si tienen todos
el mismo cardinal. ¿O existen distintos cardinales infinitos? Cantor probó que existen
distintos cardinales infinitos y en particular demostró que los conjuntos R y N no
son equipotentes. El siguiente teorema establece la existencia de conjuntos infinitos
5.3 Conjuntos infinitos 181
no biyectivos.
El cardinal de cualquier conjunto numerable se denota por No, Que se lee alef sub
cero. Son numerables los conjuntos N, el conjunto de los números naturales pares,
2N, el conjunto A de los elementos que son cuadrado de algún número natural,
A = {0,1,4,9,16,... } y N*. Cualquier conjunto numerable, al ser equipotente con
N, puede ponerse en la forma {xn | n G N} donde la aplicación biyectiva f: N —> A
viene definida por f(n) = xn. Además como f es inyectiva resulta que xn yt xm si
n m.
El teorema 5.26 asegura la existencia de conjuntos no numerables. Por ejemplo,
?(N) no es un conjunto numerable. Incluso, se puede intuir una jerarquía infinita de
conjuntos infinitos, N,?(N), ?(?(N)), ^(TjN))}, ...
M = { n G N j a, /(n) }
2”3m ^n-^-p^rn'
Afc = {(x,y) e N x N | x + y = k}
,, , (n + m)(n + m + 1)
j\n, m) =------------ --------------- 1 m
□
184 Capítulo 5 Los números naturales y los números enteros
h(2n) = f(n) e A
h(2n +1) = $(n) e B
fi(a) = (n,/„(a))
card I h I [J A„ I I = card í A.
\ \neN / J Ven
de conjuntos no vacíos disjuntos dos a dos y finitos o numerables. Por tanto, Une ¡ : An
es numerable. Si I es un conjunto finito, estamos en el supuesto de una unión finita
de conjuntos finitos o numerables siendo uno de ellos, Bq, numerable. Aplicando iii)
o la nota de la demostración de iii), se obtiene que )Jn. ¡ , dn es numerable.
□
= {A C N | A es un conjunto finito}
Ib+x = a
verifica entonces: <
I a' = b' + x
Sumando ambas igualdades resulta que a' + b + x = a + b' + x. De la propiedad
cancelativa de la suma en N se deduce que a’ + b = a + b'. Esto lleva a definir la
siguiente relación:
Si se representa gráficamente sobre un plano, la clase de equivalencia [(a, b)\ del par
(a, b) es el conjunto de puntos de coordenadas naturales que están situados sobre la
recta que pasa por el punto (a, b) y que es paralela a la diagonal del primer cuadrante
(véase la figura 5.6).
Estos pares, con al menos una de las dos componentes nula, se denominan repre
sentantes canónicos del número entero a.
Operaciones en Z
Definición 5.36 Sean a, ¡3 6 Z y sean (a, d), (c, d) eÑxN sendos repre
sentantes. Se definen la suma a + (3 y el producto a/3 como números enteros
cuyos representantes vienen dados por:
a + ¡3 = [(a + c, b + d)] y a/3==[(ac + bd,bc+ad)]
Veamos en primer lugar que las operaciones están bien definidas, o en otras palabras,
que el resultado es independiente de los representantes elegidos.
Supongamos que (a, b) 8 (a',b') y que (c, d) 8 (c',d'). Hay que ver que:
(a + c, b + d) 8 (a1 + d,b' + d') y (ac + bd, be + ad) 8 (a'd + b'd', b’d + a'd')
En efecto, si (a, b) 8 (a', b') y (c, d) 8 (c', d') entonces a + b' = a' + b y c + d' = d + d.
Sumando ambas igualdades y utilizando las propiedades asociativa y conmutativa
de la suma en N se obtiene (a + c) + (b' + d') = (a' + c') + (b + d), esto es,
(a + c, b + d) 8 (a' + d, b' + d'). Luego, la definición de la suma es consistente.
Para ver que (ac + bd, be + ad) 8 (a'd + b'd', b'd + a'd'), se demuestra en dos pasos:
i) (ac + bd, be + ad) 8 (a'c + b'd, b'c + a'd) pues de a + b' = a' + b se deduce
multiplicando por c y d que (a + &')c = (a' + b)c y (a' + b)d = (a + &')d.
Sumando ambas igualdades y operando utilizando las propiedades de la suma
en N se obtiene que (ac + bd) + (b'c + a'd) = (be + ad) + (a'c + b'd), esto es,
(ac + bd, be + ad) 8 (a'c + b'd, b'c + a'd).
ii) (a'c + b'd, b'c + a'd) 8 (a'd + b'd', b'd + a'd'): se demuestra de manera análoga.
Como consecuencia de la propiedad transitiva de la relación £ y de i) y ii), se deduce
que (ac + bd, be + ad) 8 (a'd + b'd', b'd + a’d’). Luego la definición del producto es
consistente.
[(m, 0)] + [(m', 0)] = [(m + ni, 0)] y [(m,0)] • [(m',0)] = [(mm',0)]
[(0,n)] + [(0,n')] = [(0,n + n')] y [(0, n)] • [(0, n')] = [(nn1,0)]
[(m, 0)] + [(0, n)] = [(m, n)] y ((m, 0)] • [(0, n)] = [(0, mn)]
5.4 Los números enteros 189
a • 0 = 0 • a = 0 para todo a e Z
190 Capítulo 5 Los números naturales y los números enteros
Si o, ¡3 G Z y a/3 = 0 entonces a = 0 o P = 0
Orden en Z
Se definen en Z dos subconjuntos, el subconjunto Z+ de los números enteros positivos
y el subconjunto Z_ de los números enteros negativos:
Se comprueba fácilmente que [(a, í>)] G Z+ si a > 5 mientras que [(a, 6)] G Z_ si
a b. Además:
Z+UZ_=Z y z+nz_={o}
a p si y sólo si P — a G Z+
Como en todo anillo totalmente ordenado, se define en (Z, +, •, <) el valor abso
luto de a G 1 mediante
, , fa si 0 < a
a = < . „
-a si a < 0
donde —a es el elemento opuesto de a y el símbolo < en a < 0 indica que a < 0 y
a 0. Obsérvese que | [(m,0)] j = [(m,0)] mientras que | [(0,n)] | = [(n, 0)].
Se satisfacen todas las propiedades de anillo estudiadas en el capítulo 4 y en parti
cular, las propiedades de la proposición 4.37. En concreto:
Identificación de N con Z+
Veamos que el conjunto de los números enteros constituye una ampliación del conjun
to de los números naturales. Cuando decimos que Z es una extensión de N, queremos
decir que Z contiene un subconjunto ordenado isomorfo al conjunto ordenado de los
números naturales, es decir, que existe una aplicación inyectiva / : N —> Z tal que
para todo n, n' G N se tiene:
Claramente, la aplicación
f: N —> Z
n i—> f(n) = [(n,0)]
-n = —[(n,0)] = [(0,n)]
Como consecuencia del isomorfismo que conserva el orden entre N y Z+, ciertas
propiedades de N se amplían al conjunto Z.
5.5 Máximo común divisor y mínimo común múltiplo 193
Proposición 5.41
a = qb + r y 0+r<b
entonces b(q — q') = r' — r y —b < r' — r < b. Es decir, r' - r es múltiplo de b y
—b < r' - r < b. En consecuencia r’ — r = 0 que a su vez implica que b{q — q') = 0
y como b 0, resulta que q — q' = 0. □
Observación: La definición anterior se extiende sin ninguna dificultad al caso b G Z
con b 0. En ese caso los números q y r G Z cumplen:
Cuando a o b son negativos es práctico hacer la división entera con los valores
absolutos y adaptar el resultado al caso pedido. Por ejemplo,
i) Si a = 14 y b = 3, el cociente es 4 y el resto es 2 pues 14 = 4 • 3 +2.
ii) Si a = 14 y b = —3, el cociente es —4 y el resto es 2 pues 14 = (—4) • (—3) + 2.
iii) Si a = —14 y b = 3, se tiene —14 = (—4) -3 — 2 pero —2 no es una cantidad
positiva. Hay que sumarle el divisor, que a su vez se resta: —14 = (—4) -3 — 3 —2 + 3
= (—5) ■ 3 + 1. Luego el cociente es —5 y el resto es 1.
iv) Si a = —14 y b = —3 , el cociente es 5 y el resto es 1 pues en la expresión anterior
— 14 = ( — 5) -3+1 basta escribirla como —14 = 5 • (—3) + 1.
Ejercicio 5.44 | Una consecuencia de la división entera es que permite carac
terizar a todos los subgrupos de Z. Demuestre los siguientes resultados:
1. Todo ideal de Z es un ideal principal. Véase la definición 4.29.
2. Sea (G,+) un subgrupo de (Z,+), entonces existe n G N tal que G = nZ =
{kn | k G Z}.
Solución: 1: Sea I un ideal de Z. Hay que probar que existe n G Z tal que I =
(n) = nZ = {kn | k G Z}. Comprobaremos además que se puede tomar n G N.
5.5 Máximo común divisor y mínimo común múltiplo 195
a b | a si y sólo si a G bZ.
b b | a si y sólo si aZ C 6Z.
Con el objetivo de buscar el mínimo común múltiplo de dos números enteros, nos
podemos limitar al caso a y b G N* pues por un lado el único múltiplo de 0 es el
mismo, y por otro lado cualquier múltiplo de a es también múltiplo de —a.
196 Capítulo 5 Los números naturales y los números enteros
dZ = (am 4- bn | m, n G Z}
d = au + bv
Por tanto,
y en conclusión, d = mcd(a,6). □
a = qb + r y 0<r <b
Por tanto, los divisores comunes de a y b coinciden con los divisores comunes de b y
r. En consecuencia, mcd(a,&) = mcd(&,r).
Se reitera el proceso, que se termina en un número finito de pasos pues los restos
que se van obteniendo satisfacen
Por consiguiente, para un k dado, se verifica que r/„+i Oyó,/ 0, en cuyo caso
rfc-i = qyrk y por tanto mcd(a, &) = mcd(o-i, rfc) = rk.
En conclusión el máximo común divisor es el último resto no nulo en las divisiones
enteras sucesivas.
Los resultados se pueden hallar y disponer sobre una tabla del tipo siguiente:
I Ejercicio 5.55 Halle todas las soluciones enteras de la ecuación — 5.z- + 3<y = 1.
Solución: Teniendo en cuenta que mcd(3,5) = 1, se halla una solución particular
de la ecuación procediendo como en el ejemplo 5.49. Se halla xp = 1 e yp = 2.
Se considera la ecuación —5a: + 3y = 0. El par (x,y) es solución de —5x + 3y = 0 si
y sólo si el par (x + xp, y + yp) es solución de —5x + 3y = 1. ¿Por qué?
En consecuencia, hallamos las soluciones enteras de 5x = 3y.
De 3 | 5x y puesto que 3 y 5 son primos entre sí, el teorema de Gauss asegura
que 3 } x. Por tanto, x = 3k con k G Z y sustituyendo en 5o: = 3y, resulta que
5 • (3fc) = 3y, es decir, y = 5fc. En consecuencia, todas las soluciones enteras de la
ecuación — 5x + 3y = 1 son todos los pares (.t, y) que son de la forma (1 + 3fc, 2 + 5fc)
con k G Z. □
Comentarios 201
'*0 IJHV
Comentarios
Los números naturales y los números cardinales finitos
En este capítulo hemos fundamentado el conjunto N de los números naturales me
diante los axiomas de Peano. Nos han permitido definir dos operaciones y una rela
ción de orden compatible con las operaciones.
En el capítulo 3, aparece el concepto de número cardinal. Son las “clases”que la
relación de equipotencia establece en la colección de todos los conjuntos. Recordamos
que dos conjuntos son equipolentes si existe una aplicación biyectiva de uno de ellos
al otro. En los comentarios finales de los capítulos 3 y 4 hemos definido una “relación
de orden” y dos “operaciones” en la colección de los números cardinales, basándonos
exclusivamente en propiedades de la teoría de conjuntos.
Finalmente en la sección 5.2, hemos establecido, como definición, una corresponden
cia entre los subconjuntos de N de la forma {1,2, 3,..., n} y los cardinales finitos.
Esto es, N puede intuirse como el conjunto de los cardinales finitos.
En definitiva:
a + b = card(A U B)
■ Deduzca A% y A4.
a Deduzca A¡ de las propiedades de la suma de cardinales (véanse los comenta
rios del capítulo anterior).
Ejercicios propuestos
m—1\
(
n — 1/
¡4-(
/ 777 — 1 \
\ n ) \n J
=
/ 777 \
¡ si 1 n m — 1. Procediendo
como en el ejemplo 5.24, interprete esta fórmula teóricamente.
10. Sea un conjunto finito A tal que n = card(A) y sea B = {0,1}. De entre todas
las aplicaciones de A a B, ¿cuántas son sobreyectivas?
11. Sean A y B dos conjuntos finitos tales que card(>l) = 8 y card(B) = 7. De
entre todas las aplicaciones de A a B, ¿cuántas son sobreyectivas?
12. En la escapada final de un campeonato mundial de ciclismo hay tres corredores
del equipo A, dos del equipo B, uno del equipo C, uno del equipo D y dos del
equipo E.
204 Ejercicios
Demuestre que:
a) / es creciente, es decir, si n n' entonces /(n) <
b) n < /(n) para todo n e N.
c) B = {n e N | n = f (n)}.
d) f2(n) = (f ° J)(n) = f (n) para todo n G N.
19. Escriba, sin utilizar el símbolo valor absoluto, el valor de las expresiones si
guientes en función del valor de x.
a) x — 1 + — 1|
&) x — |x — 1|
Ejercicios 205
Estudie si con estas dos operaciones Z2 es un anillo. ¿Es unitario? ¿Es íntegro?
Capítulo 6
207
208 Capítulo 6 Los números racionales y los números reales
Operaciones en Q
En el conjunto Q, se definen dos operaciones internas de la manera siguiente: Sean
a, P G Q y sean (a,b),(c, d) G Z x Z* sendos representantes. Se definen la suma
a + P y el producto ap a los números racionales cuyos representantes vienen dados
respectivamente por:
a + p = ((ad + be, bd)] y aP = [(uc, bd)]
Es decir:
a c ad + bc a c ac
b'd. bd b d bd
Vemos en primer lugar que las operaciones están bien definidas, o en otras palabras,
que el resultado es independiente de los representantes elegidos.
Supongamos que (a, 6) 8 (a', b') y que (c, d) 8 (c!, d'). Hay que ver que:
(ad + be, bd) 8 (a'd' + b'c' ,b'd') y (ac, bd) 8 (a'd, b'd')
En efecto,
i) (ad + be, bd) 8 (a'd + b'c, b'd), pues la igualdad (ad + bc)b'd = (a'd 4- b'c)bd
se verifica si adb’ + beb’ = a’db + b’cb, esto es, ab' = a'b, que es cierto pues
(a, b) 8 (a', b').
ii) (a’d + b’c, b’d) 8 (a’d' + b’c’, b’d!): se demuestra de manera análoga.
210 Capítulo 6 Los números racionales y los números reales
,, a cab + cba + c^ . , , . ,
En efecto, - + - = ---- 5— =------ . Por este motivo, en la practica, cuando se suman
b b b¿ b
dos números racionales, se buscan representantes que tengan el mismo denominador,
usualmente el mínimo común múltiplo de los dos denominadores.
En el conjunto Q, la operación + satisface las siguientes propiedades:
1. Es conmutativa.
2. Es asociativa.
3. El elemento [(0,1)], denotado por 0, es el elemento neutro de la suma.
4. Todo número racional tiene elemento opuesto.
En otras palabras (Q, +) es un grupo conmutativo:
a , —a a
El opuesto del número a = - es el numero — y se designa por —a = — Las
b b b
propiedades asociativa y conmutativa,
(a +/3) + 7 = a + (/3 + 7) y o + /3 = /3 + a
de la suma se demuestran viendo en cada caso que los números racionales de cada
miembro de la igualdad tienen un representante común.
En el conjunto Q, la operación • satisface las siguientes propiedades:
1. Es conmutativa.
2. Es asociativa.
3. El elemento [(1,1)], denotado por 1, es el elemento neutro del producto.
4. Todo número racional no nulo tiene inverso.
En otras palabras, si Q* = Q\{0}, entonces (Q*, •) es un grupo conmutativo. Veamos
como se calcula el inverso del número a = [(a, b)] d [(0, !)]• Como a ■ 1 b • 0 = 0,
resulta que a 0 y por tanto el par (b, a) 6 Z x Z* define un número racional que
es el inverso de a, que denotaremos a”1 = En efecto:
a
aoT1 = [(a, b)][(b, a)] = [(ab, ab)] = [(1,1)]
6.1 Los números racionales 211
se demuestran viendo en cada caso que los números racionales de cada miembro de
la igualdad tienen un representante común.
Finalmente, se demuestra de manera análoga, que la operación • es distributiva res
pecto de la operación + en Q, es decir,
5. Para todo a, (3,7 e Q se tiene a(fi + 7) = afi + 07.
Todas las propiedades enunciadas para los números racionales se resumen en el
siguiente teorema:
■ a ■ 0 = 0 • a = 0 para todo a e Q.
Orden en Q
Se definen en Q dos subconjuntos, el subconjunto Q+ de los números racionales
positivos y el subconjunto Q_ de los números negativos:
Q+UQ_=Q y Q+K={0}
Además se tiene:
b Si a b entonces —b —a.
□ Sia<6y0Cc entonces ac ¡C be.
a Sía^óycTiO entonces be ac.
a Para todo a G Q, a2 ¡7 0.
b Si a > 0 entonces a~r >0.
6.1 Los números racionales 213
= [(«, 6)] = í(«, 1)] ■ í(l, 6)] = [(a, 1)] • [(b, l)]'1 = ab~r
1 1 a
2 b
Partir de una definición de este tipo para construir los números reales plantea cier
tos problemas: Una vez que se le hubiera dado un sentido preciso a las expresio
nes decimales, surgen algunos inconvenientes, por ejemplo, la expresión decimal
218 Capítulo 6 Los números racionales y los números reales
Supondremos pues que existe un cuerpo (R, +,-,<) ordenado, extensión del cuerpo
ordenado (Q, +, ■, <) y que cumple la propiedad del supremo:
6.4 Propiedades de los números reales 219
» a • 0 = 0 • a = 0 para todo a G R.
, i \n (n (Tl\ i í TI \ „ i ítC\ 7 „
(o + &) = L a b+----- H lab 1+ bn
\0/ \1/ \n—kj \nj
Ejercicio 6.8 Demuestre que cada número real positivo tiene una única
raíz cuadrada positiva.
Solución: Sea d > 0. Buscamos las soluciones de la ecuación x2 = d. Desde luego
si xq G R es solución de la ecuación anterior, también es solución -xq, por lo que
buscaremos sólo las soluciones positivas. Podemos además suponer que d > 0 pues
la ecuación x2 = 0 tiene solución única x = 0. Sea el conjunto:
d = {seR|r>0 y x2 < d }
El conjunto A es no vacío pues 0 G A. Además, A es un conjunto acotado supe
riormente por máx(l,d) y cualquier número real positivo b tal que b2 d es cota
superior de A, ya que en caso contrario existe a G A tal que b < a y al ser am
bos positivos se deduciría que d < b2 < a2 d. Por el axioma del supremo existe
a = sup(A) G R. Veamos, por reducción al absurdo, que a2 = d.
op-_ d
Si a2 > d, se considera e =-------- > 0. Se tiene:
2a
(a — e)2 = a2 — 2q.e + e2 > a2 — 2ae = a2 — (a2 — d) = d
Consideramos el conjunto:
Z<X <z+1 .
A = {n G N | n x}
i) A 0 pues 0 G A.
ii) A está acotado superiormente en R, por x.
Por el axioma del supremo, existe z — sup(dl) G R. Veamos que z G A. En efecto:
Como z — 1 no es cota superior de A, existe p e A tal que z — 1 < p z. De z -1 <p,
se deduce que z < p +1 y en consecuencia, cualquier entero estrictamente superior a
p es superior a z y por tanto, no es elemento de A. Luego p es el máximo de Ay se
concluye que p = z. Por tanto z G A y en particular z G N y z x. Como además
z + 1 0 A, se deduce que x < z + 1.
Supongamos ahora que x < 0.
Si x G Z, tomamos z = x, y se cumple z Gi x < z + 1.
Si x Z, entonces —x 0 y sea q G N tal que q G¡ x < q+1. Se toma z = — q 1 G Z.
Como — q — 1 < x G —q, se tiene que z < x < z + 1. Como z £ Z, resulta que
2<r<z + lyen consecuencia, z x < z + 1. La unicidad del entero z se deduce
de lo siguiente: Sea z tal que z < x < z + 1. Si p G Z es tal que p < z, entonces
p+ 1 < z < x y por tanto, p no cumple que p < x < p + 1. Si p G Z es tal que p > z,
entonces p^z+l>xy por tanto, p no cumple que p < x < p + 1.
□
( y\
- ) +1. De
xJ
— < n se obtiene que nx > y.
6.5. Intervalos en R
En las definiciones 3.18 y 3.20 se introdujeron los intervalos en un conjunto ordenado
arbitrario. Los símbolos y - > en los intervalos iniciales y finales de R se suelen
indicar respectivamente por -oo y +oo. Se recuerda todos los tipos de intervalos
posibles:
(—oo,b], (—oo,5), (a, 5), [a, 5), (a, 5], [a, 5], (a, +oo) y [a, Roo)
siendo a, b E R tales que a < b.
En definitiva, si z 6 (a, b), existen x e y € I tales que x < z < y, y por la propiedad
que satisface I, resulta que z G I.
□
el conjunto I satisface que cualesquiera que sean los puntos x, y de I tales que x < y
se cumple que [a:, C I, y sin embargo I no es un intervalo de Q. En este caso, aun
siendo I un subconjunto acotado de Q, el problema es que no existe b = supq(I).
Por tanto I no se puede poner en la forma [0, 6)q o [0, 6]q con b G Q.
Demostración: Hay que demostrar que el intervalo (a, b) contiene números racio
nales e irracionales. Sean x e y dos elementos de (a, b). Si uno de ellos es racional y
el otro irracional, no hay nada que probar.
(y —
Si los dos son racionales y x < y, entonces z = x + ----- - ------es irracional y verifica
x < z <y.
Luego, entre dos números racionales siempre hay un número irracional.
Si los dos son irracionales y x < y, sea n = E\ —------F 1 (. Como n > —-— resulta
\y~x ) y-x
que:
1 < n(y - x)
Sea ahora m = E(nx). Se tiene:
2. Si la longitud bn —an del intervalo [aft, b„] tiende a cero cuando n —> oo,
entonces existe un único punto a e [an, Í>n]-
jfe efe »y 'pjy feXúeS Z jGÚdt:-tf
Observación: Hemos visto como a todo número real se le puede asociar una ex
presión decimal por defecto de cualquier orden. Incluso sabemos que si el número
es racional, la expresión decimal asociada es finita, ilimitada periódica o ilimitada
periódica mixta. La propiedad de los intervalos encajados permite asociar a toda
expresión decimal ilimitada un número real. Basta para ello considerar la sucesión
de intervalos encajados [an,6n], siendo an el truncamiento de la expresión hasta la
n-ésima cifra decimal y bn = an + 10~”. Por la propiedad anterior, se obtiene que
existe un único número real x tal que an x < bn para todo n G N. Por ejemplo,
si escribimos x = 1,15115111511115.... queremos simplemente indicar que x es el
único número real tal que
1 <x <2
1,1 <x < 1,2
1,15 <x < 1,16
1,151 sí x sí 1,152
Hemos representado todos los números racionales sobre una recta, véase la figura
6.2. Es decir, a cada número racional le corresponde un punto sobre una recta. Sin
embargo a todo punto de la recta no le corresponde un número racional. Esto es
debido al no cumplimiento en Q de la propiedad de los intervalos encajados que
sin embargo, si se satisface en ios números reales. De hecho una de las propiedades
más importantes de los números reales es que pueden ser representados en un recta.
Además, una vez escogidos los puntos que representan a los números 0 y 1, el 1
usualmente a la derecha del 0, cada punto de la recta representa un único número
real e inversamente cada número real está representado por un punto de la recta.
Esta recta se denomina recta real (véase la figura 6.4).
6.5 Intervalos en R 227
Necesariamente xn+i no está en al menos uno de los tres intervalos, ya que xn.> i
está como máximo en dos intervalos según xn\.¡ no esté en In o , si está en In, sea o
no sea un punto extremo , an +1 /(3n+2) o an + 2/(3n+2). De entre los tres intervalos
elegimos uno, Z„+i = [an+1,6n+1], tal Que Xn-f-l ■
Hemos construido una sucesión de intervalos cerrados tales que
| Ejemplo 6.18 Los conjuntos R, (—oo,6], (—oo,fe), (a, &), [a,b), (a, b], [a, &],
(a, +oo) y [a, +oo), con a < b, no son numerables.
Basta observar que si I es uno cualquiera de los intervalos anteriores, existen x e
y G I tales que x < y. Por tanto, [x, y] C I. En consecuencia, I no puede ser
numerable pues los subconjuntos de un conjunto numerable son numerables o finitos.
En los ejercicios propuestos se pide además demostrar que todos estos conjuntos son
equipotentes.
Comentarios
Números conmensurables
El estudio del cociente de longitudes de segmentos o áreas condujo a la noción de
conmensurabilidad. Para los antiguos griegos, todo se medía con números enteros:
un segmento de recta r se medía en relación a un segmento unidad u contando el
número de veces que cabe u en r. De esta manera, se obtenía
n veces
r = u + u + ••• + u = nu
ro = qiri+r2 y r2 < n
í’fe-i = qkn
En ese caso la medida común u a r0 y a r4 es r^. Observe que el algoritmo de Eucli
des de la sección 5.5 para hallar el máximo común divisor es exactamente el mismo
proceso. Si el algoritmo se acaba, los números son conmensurables, o equivalente
mente el cociente es racional. Si el algoritmo no tiene fin, estamos ante magnitu
des inconmensurables, o equivalentemente, el cociente es un número irracional.
Algunos pitagóricos, de resultas de sus disquisiciones geométricas, intuyeron que al
gunos cocientes de magnitudes no podían ser cocientes de números enteros, como
por ejemplo, la diagonal de un cuadrado y su lado. Sin embargo, estas magnitudes
inconmensurables revolucionaban la teoría filosófica de la escuela pitagórica porque
230 Comentarios
ponían en duda uno de sus postulados básicos sobre la posibilidad de descifrar los
enigmas de la naturaleza. En el libro X de los Elementos de Euclides ya aparece una
demostración de la inconmensurabilidad de la diagonal de un cuadrado y su lado, es
decir de la irracionalidad de a/2- En esencia, la demostración dada en el ejemplo 1.9
es la que aparece en los Elementos de Euclides. Pero se sabe que mucho antes ya se
había probado la irracionalidad de ^2- La demostración geométrica de que la razón
i i V5
áurea, —-—, es irracional consiste en demostrar que la diagonal y el lado de un
pentágono regular son inconmensurables.
Se puede comprobar que f es una aplicación bien definida, es decir, que no depende
del representante | de « elegido y que además, para todo a, (3 G Q, cumple lo
siguiente:
B f(a/3) =
Para que la definición anterior sea más coherente, habría que ver la “unicidad” del
cuerpo de los números reales. Esa “unicidad” es el resultado del siguiente teorema
que admitiremos sin demostración.
Teorema 6.22 Todos los cuerpos ordenados que cumplen el axioma del
supremo son isomorfos para la estructura de cuerpo y de orden.
(—ce, a] y (a,+oo)
232 Comentarios
Orden en R
Sean B y B' dos cortaduras. Se define el orden mediante la inclusión de conjuntos:
B sí B' B' c B
Comentarios 233
Suma en R
Sean B y B' dos cortaduras. Se define la suma B + B' mediante la suma de números
racionales:
Producto en IR
El producto de números reales es un poco más complicado de definir y hay que ha
cerlo distinguiendo casos. Definimos en primer lugar el caso de cortaduras positivas.
Caso 1. By B' son dos cortaduras tales que 0 < B y 0 < B'. Se define el producto
B • B’ mediante el producto de números racionales:
No es difícil establecer que B-B' es una cortadura (> 0), que el producto es asociativo
y conmutativo y que el elemento unidad es la cortadura 1 = ¿(1). Además si B > 0,
se establece con mayor dificultad, que la cortadura inversa de B es la cortadura:
B1 = {g 1 | x G CqB , x > 0 y x máx (CqB) }
B-B' = -((-B)-B')
B-B' = -(B-(-B'))
Caso 4. Si B y B' son dos cortaduras tales que B < 0 y B' < 0 se define:
B • B’ = ( - B) ■ ( - B')
Con estas dos operaciones y con la relación de orden se demuestra que el conjunto
de cortaduras es un cuerpo ordenado en el que se satisface el axioma del supremo.
El homorfismo inyectivo del cuerpo (Q, al cuerpo (R, que sabemos
que existe por ser (R, +, ■, <) un cuerpo ordenado es precisamente la aplicación i.
236 Ejercicios
Ejercicios propuestos
217
~52" 1
ai 4------------- j----
as 4--------- -
03 4-
04
Ejercicios 237
En general, dado - fracción irreducible con a,b G N*, para demostrar la exis
tencia de la fracción continua (ao,aj,... ,an-i,an) = utilice el algoritmo
de Euclides para hallar el mcd(a, 6) y tenga en cuenta que, para todo p, q G N*
tales que p > q,
6. Explicite el conjunto de los números reales que verifican cada una de las si
guientes desigualdades:
a) + 1| < 2
b) > \x + 1|
c) [re + 2( + (x - 2( < 12
d) x < x2 — 12 < 4x
e) (x + l)/(x - 1) > 0
/) x2 < |1 - x| + 1
g) |x(l - rc)| < 1/2
h) | \x + lj — jx — 1| | < 1
8. a) Demuestre que para todo x G R tal que x > 0, existe un número natural n
tal que:
2n + 2 2
3n + 1 ~ 3 < X
b) Demuestre que para todo x G R, existe un número n G N tal que:
o
n +n
x
n-1
238 Ejercicios
10. Escriba en forma de fracción los números racionales representados por las ex
presiones decimales periódicas siguientes:
11. Sean A y B dos subconjuntos no vacíos de R tales que a < b para todo a G A
y b G B. Demuestre que existen sup A e ínf B y que, además, sup A < ínf B.
¿Se puede asegurar que sup A yf ínf B?
C = A + B = {a + b \ a e A,b e B}
D = AB = {ab | a G A, b G B}
K = {a + 6V2 | a, b G Q}
18. Demuestre que la aplicación f: (-1,1) —-> R tal que f(x) = ----- —- para todo
1—
x € (—1,1), es una biyección.
La extensión de los números naturales a los números enteros así como la de éstos
a los números racionales se han planteado de manera análoga: queríamos que las
ecuaciones, a + x = b con (a, b) G N2 en el primer caso, y ax = b con (a, í>) e (Z*)2
en el segundo caso, tuvieran solución.
El paso de Q a R es algo más delicado. Nosotros hemos optado por introducir R
axiomát icamente.
En el cuerpo (R, +, •), la ecuación x2 = /3 tiene soluciones reales para todo ¡3 > 0, lo
cual no es necesariamente cierto en Q, por ejemplo, la ecuación x2 = 2. Sin embargo,
la ecuación x2 = /3 no tiene soluciones reales si /3 < 0 puesto que el cuadrado de
cualquier número real es un número positivo.
241
242 Capítulo 7 Los números complejos
Nota: Para que todo número real negativo sea el cuadrado un número complejo es
suficiente que lo sea —1. En efecto, si disponemos de i tal que z2 = —l,ysi/3eRy
(3 < 0, entonces (3 = (¿i/D?)2- Por ejemplo, —4 = (i\fi)2 = (2z)2.
Definición 7.1 El conjunto R2, con las dos operaciones internas definidas
en (7.1), es el conjunto C de los números complejos.
7.2 El conjunto C 243
a —b
(7-2)
a2 + b2 ’ a2 + b2
Veamos que el conjunto de los números complejos cumple los otros requisitos que
nos habíamos propuesto.
■ C es una extensión de R.
Cuando decimos que C es una extensión de R, queremos decir que C contiene un sub
cuerpo isomorfo al cuerpo de los números reales, es decir, que existe una aplicación
inyectiva f : R —> C tal que para todo a y a' G R se tiene:
244 Capítulo 7 Los números complejos
z = a + ib
z = a — ib
1 z z a . b
z zz a2 + b2 a2 + b2 a2 + b2
y recuperamos la fórmula del inverso (7.2). Este es el método que se usa habitual
mente para calcular el inverso de un número complejo dado en forma binomial.
Ejemplo 7.4
Por tanto:
a) w es real si y sólo si Im(w) = 0, esto es, y - x + 1 = 0. Luego el conjunto
solución es el conjunto {z = x + iy^íC\y — x + 1 = 0}.
b) w es imaginario puro si y sólo si Re(w) = 0, esto es, x2 — x + y2 + y = 0.
Luego la solución es el conjunto {z~x + iyE<C\x2—x+y2+y = 0}. □
„ r, z , . . z2 + 5z + 6
2. bea un numero complejo z = x + iy y sea w = -------------- . Determínese z de
z+1
modo que w sea un número real.
Solución:
_ z2 + 5z + 6 _ (x2 ~ y2 + i(2xy)) + (5s + ¿(5y)) + 6
z+1 (rr + 1) + iy
(x2 — y2 + 5x + 6 + i(2xy + 5y)) ((x + 1) - iy)
(a: + l)2 + y2
246 Capítulo 7 Los números complejos
En consecuencia:
. . 2x2y + byx + 2xy + 5y — x2y + y3 — 5xy — 6y
Im(w) = ------------------------------ 77;----- 7---------------------
(a? + l)2 + y2
__ (x2 + 2x + y2 - l)y
(x + l)2 + y2
Se satisfacen las siguientes propiedades cualesquiera que sean los números complejos
z y z'.
■ y = z
■ z + z' = z + z'
■ zz' = z z'
Estos resultados se extienden a una suma o producto de n términos y en particular:
■ (zn) = (z)n
Finalmente:
7A 1 T7) 7 • /o
■ \Z —J = —
~ J = Zx y \Z z
siz^o
Para establecer estas dos últimas propiedades se parte de las fórmulas (7.1) y (7.2)
y se estudia lo que sucede al sustituir b y b' por sus opuestos sin modificar aya'.
del plano vectorial euclideo de coordenadas (a, b) respecto de una base ortonormal
fija: Se obtiene también una biyección del conjunto C de los números complejos sobre
el conjunto de los vectores del plano vectorial. También se dice que z es el afijo del
vector vz.
Ahora bien, para todo w g C claramente se cumple que Re(w) SÍ |w| y por
tanto,
Análogamente, se obtiene |z| — [zz| < \z — z'\ y en consecuencia ||z| — ¡zz|| |z — z'¡.
□
Supongamos ahora que z 0; el ángulo a que forman los vectores rq y OMZ, que
es un número real módulo 2rr (veáse el ejemplo 3.11), se denomina argumento de
z y se designa por la notación:
a = r eos a, b = r sen a
z = r (eos a + i sen a)
y en forma polar:
se obtiene que:
Por tanto, eos 3a = eos3 a — 3 eos a sen2 a y sen 3a = 3 eos2 a sen a — sen3 a.
Las relaciones,
(1) (cosa + ¿sena)(cosa' + ¿sena') = cos(a + a') + ¿sen (a + a')
(2) (cosa + ¿sena)” = eos na + ¿sen na
ponen en evidencia que las propiedades de la aplicación <l> : R —> C tal que
para todo a e R.
Ejemplo 7.7 | el7r = costf + i sen?r = —1; e* ’ = eos f + ¿ sen = ¿.
(1) = e“e“'
(2) el(”Q) = (e“)n
7.4 Forma exponencial 253
z = re10
se denomina forma exponencial del número complejo z.
s g í1 (Q; Ti)
¿(q+a')
(re1®)” __ ^»?2g¿nc>f
De las fórmulas
eia eos a + i sen a
e~ia eos o — 2 sen o
sumándolas y restándolas se obtienen las fórmulas de Euler:
+ e-ia e“ - e~ia
= coso = seno
2 2i
254 Capítulo 7 Los números complejos
eos3 a
Las formas trigonométrica, polar y exponencial no son adecuadas para efectuar su
mas de números complejos.
Sea w^Oun número complejo y n e N*. Buscamos las raíces n-ésimas, que por
definición son las soluciones, en la variable z E C, de la ecuación:
zn = w
Sea w = pp, con p = |w| > 0, la forma polar del número complejo dado. Para que el
número complejo z = ra sea solución de la ecuación dada, se debe verificar
rna = Pli
o equivalentemente,
{ rn = p (ecuación en R+)
o r
na = p [mod 2tt]
. „ ,
, .
, es decir: <
]
I r
q, =
R
fmod —]
2tt
V n
¡3 2 A?7T
De a = —I-------con k e Z se obtienen todas las soluciones zq, zi, ..., zn^p.
T Z /
{ t —
a = - [mod —]
<->
7T
vi
,
3
,277.
Las raíces cubicas de —1, que expresamos también en forma binómica, son:
1 .V^
2° = e3 = 2+zT
z1 = e" = -1
1 ,y/3
Z9 = e 3 =---- i —
2 2
Figura 7.8: Raíces cúbicas de la unidad Figura 7.9: Raíces sextas de la unidad
z92 + -z
b + -c = 0
a a
b\2 b2
Como z2¿ 4— —------ obtenemos la ecuación equivalente:
2aJ 4a2
/ b \2 b2 - 4ac
e y W2 = _ e
En consecuencia, wj por lo que las soluciones de la ecuación
2a 2a
(7.3) son
se obtiene: z¿¿¡, — zg — za
za A Zb
Figura 7.10: Zjg = zB ~ Za Figura 7.11: z¡ = —-y '-
za + zB
se deduce que:
En particular se obtiene:
a) Los puntos A, B y C están alineados si y sólo si
(zC - zA \
arg ---------- = 0 mod rr
\zB - zA /
Es decir:
z' ~ w = eia(z - w)
Esta expresión se puede hallar directamente expresando que el ángulo (íl^, klP')
es a.
3. Homotecia de centro Q y razón k
Se supone que k G R, k 0. Por definición la homotecia de centro Q y razón k
transforma el punto P en un punto P', de manera que QP' = kkU-k Pasando
a los afijos, se obtiene:
z' — w = k(z — w)
4. Simetría axial
Dada una recta p del plano, una simetría axial de eje p es el movimiento Sp
que transforma un punto P del plano en un punto P' (véase la figura 7.16)
que satisface:
i) la recta PP' es perpendicular a la recta p,
ii) los puntos P y P' equidistan de la recta p.
Estudiamos dos casos sencillos.
262 Capítulo 7 Los números complejos
Comentarios
No existe en C ninguna relación de orden total A que sea compatible con las opera
ciones de C. De hecho, si existiera dicha relación, por la propiedad 6 de la proposición
4.37 debería verificarse que s2 =-1 b Oy l2 = 1 bO , que es una contradicción.
Por último, exponemos uno de los resultados más importante sobre los números
complejos, aunque su demostración sobrepasa los conocimientos aquí desarrollados.
Hemos construido el cuerpo de los números complejos de manera que la ecuación
z2 = d
tuviera solución incluso para los números reales negativos. Hemos comprobado que
también tiene solución en C cualquier ecuación de segundo grado con coeficientes en
C. Finalmente, cualquier ecuación polinómica con coeficientes en C de grado mayor o
igual a 1 tiene solución en C. Este resultado se conoce como teorema fundamental del
Algebra, aunque curiosamente no existe ninguna demostración del teorema que sea
puramente algebraica. En todas las demostraciones hay que hacer uso de resultados
analíticos o topológicos. El teorema dice así:
264 Comentarios
Ejercicios propuestos
( v3 — i \
\ 9
-------- 7=
1 + i\/3J
. 1 + ia
c) 7m a G R
7 2a 4- «(a2 - 1)
m
4. Demuéstrese que si z, z' G C son tales que zz' —1 y |z| = |z'| = 1, entonces
z
w =--------- es un número real.
1 + zz'
5. Resuelva en C la ecuación z2 = z.
Capítulo 1
Ejercicio 1
a) -i[(p A g) V r] <=> —i(p A g) A —ir A=> (^p V-ig) A->r
b) ->[(p V q) A r] <=> -^(p V q) V (^p A ^g) V -ir
c) ->[(p V q) A (p V r)] 4=> -.(p V q) V -i(p V r) <==> (^p A ^q) V (-ip A -ir)
Ejercicio 2
a) (p V -^q) A ~ip (p A -^p) V (-iq A ~rp) -A=A 0 V (-^q A -^p) <=> ~iq A ~vp
b) (-ip V -ng) A (p V q) <=A ](^p V -^q) A pj V [(^p V -^q) A g]
A=A [(-p A p) V (^g A p)] V [(-^p A q) V (-ig A q)]
4=A 0 V (~iq A p) V (~np A q) V 0 4=A (^g A p) V (-ip A q)
(p A -iq) V (^p A q)
En la última expresión se puede observar la equivalencia con p ® q.
c) (~,p A g) V (->p a -ir) V (p A g) -<=> (pqj A q) V (p A g) V (-ip A -rr)
](->p V p) A g] V (^p A -ir) <A=A (1 A g) V (~ip A -<r)
Se puede expresar también como (~>p V g) A (g V -ir) y también como q V -i(p V r).
Ejercicio 3
Si p = 1, g = 1, r = 0 tenemos:
a) (p A r) = 0, luego [(pAr) Ag] = 1.
b) (p A -ig A r) = 0, luego -^(p A -q A r) = 1.
c) r V g = 1, así pues [p A (r V g)] = 1. Luego {[p A (r V g)] —> g} = 1.
d) (-ip V ^r) = 1, así pues [g —> (-ip V -ir)] = 1. Luego -■ [g —> (-g> V -ir)] = 0.
269
270 Ejercicios resueltos
Ejercicio 4
p ? T a) t —> q b) ^p -p Vg p Vr c)
0 0 0 0 1 1 1 1 1 0 0
0 0 1 0 1 0 1 1 1 1 1
0 1 0 0 1 1 1 1 1 0 0
0 1 1 0 I i 1 1 1 1 1
1 0 0 0 1 1 1 0 0 1 0
1 0 1 0 1 0 1 0 0 1 0
1 1 0 1 0 1 1 0 1 1 1
1 1 1 1 1 1 1 0 1 1 1
p 9 r P 9 q r (p q) A (q r) d) i)
0 0 0 1 1 1 1 1
0 0 1 1 1 1 1 1
0 1 0 1 0 0 1 1
0 1 1 1 1 1 1 1
1 0 0 0 1 0 0 1
1 0 1 0 1 0 1 1
1 1 0 1 0 0 0 1
1 1 1 1 1 1 1 1
Ejercicio 5
a) El razonamiento de estas frases utiliza implícitamente la primera ley de transposición
de la página 18 o la ley modus tollendo tollens de la página 20. Sean las proposiciones
p; Salto en vertical
q; Caigo en el mismo sitio
La primera frase se traduce en que el condicional p —t q es verdadero. La segunda frase se
describe mediante ~>q es verdadero. La conclusión es que ~<p es verdadero. Esto es:
(p —> q) A -.<7 =A -.p
(p A q) -o (r A s)
Todas las proposiciones son verdaderas, luego desde el punto de vista de la lógica, el condi
cional es verdadero. Observemos que sin embargo, desde el punto de vista matemático este
condicional no es una deducción correcta si no hubiéramos particularizado la sucesión. En
efecto, toda sucesión decreciente y acotada es convergente pero su límite no tiene porque
ser obligatoriamente 0.
c) Sean las proposiciones siguientes:
p; La gráfica de la función f(x) = x2 — 3x + 2 es una parábola
q; La gráfica de la función f(x) = x2 — 3x + 2 corta al eje OX en los puntos x = 1 y
x=2
r; El vértice de la gráfica de la función f(x) = x2 — 3x + 2 está situado en el punto
de abscisa x = 3/2
La expresión se escribe simbólicamente como:
(p A q) r
Como en el apartado anterior, todas las proposiciones son verdaderas, luego desde el punto
de vista de la lógica, el condicional es verdadero. En este caso, desde el punto de vista
matemático el condicional es una deducción correcta sin particularizar la parábola, es decir,
toda parábola que corta al eje OX en los puntos x = 1 y x = 2, tiene el vértice situado en
el el punto de abscisa x = 3/2.
Ejercicio 6
Construimos en cada caso la tabla de verdad.
a) [p —> (q —>■ r)J —> [q (p —> r)], que reseñamos con la letra f.
Tabla 4: Ejercicio 6 a), [p —> (q —> r)] —> [q —> (p —> r)]
b) (p ó) —> [(<? —> r) —> (p —> r)], que reseñamos con la letra g.
c) (p A q) -o- r 4=A p —> (q —> r)
272 Ejercicios resueltos
P q r pAq q r (pA g) A r P (q r) h
0 0 0 0 1 1 1 1
0 0 1 0 1 1 1 1
0 i 0 0 0 1 1 1
0 i 1 0 1 1 1 1
1 0 0 0 1 1 1 1
1 0 1 0 1 1 1 1
1 1 0 1 0 0 0 1
1 1 1 1 1 1 1 1
Ejercicio 7
a) Veamos que (p —> r) A (q —> r) A (p V q) => r.
Se procede como en el ejemplo 1.16.
Paso 1: Se supone que la proposición [(p —> r) A (q —> r) A (p V q)] -A r es falsa.
Paso 2: Como un condicional sólo es falso si el antecedente es cierto y el consecuente es
falso, se tiene que (p A r) A (<? A r) A (p V q) es cierto, esto es, son ciertas p —> r, q -A r y
p V q, y r es falso.
Paso 3: De la falsedad de r y de la validez dep—>ryq-Ar,se deduce que p y q son falsos.
Paso 4: Del tercer paso se deduce que la proposición pVq es falsa mientras que del segundo
paso se deduce que la proposición p V q es cierta. Contradicción.
Conclusión: La proposición [(p -A r) A (q —> r) A (p V q)J -A r es verdadera pues suponer
que es falsa ha producido una contradicción. Por tanto:
Tabla 9: Ejercicio 7b), esquema de (^p V ->q) A (r —> p) A (s —> q) ==> -ir V ->s
Ejercicio 8
a) La proposición pa tiene una única cláusula, 1. En efecto:
Pa (p^ q) V -iq (-.p V q) V —>q ~~ip V (qV ^q) 1
b) La proposición p;, tiene dos cláusulas, ^p y ->r V p en su forma clausulada.
pb -ip A (r —> ~oq)] <=A -ip A (-ir V -^q)
c) La proposición pc tiene dos cláusulas, ->p V -ir V -is y q V —¡r V ->s. En efecto:
pc [(-.p -P -p) V {(r -A p) A (s -p q)}] -> (-ir V ^s)
-,[(~np —> -^q) V {(r —> p) A (s —> q)}] V (-ir V -is)
^[(p V -^q) V {(^r V p) A (^s V q)}] V -r V -is
<A=> [-i(p V -iq) A —'{(—'r V p) A (-is V q)}] W V^s
]^(p V -iq) A {-i(-ir V p) V —1(—is V q)}] V -ir V -is
<=> [(-ip A q) A {(r A —>p) V (s A -¡q)}] V -ir V -is
7=^ {A q) A (r A ~ip)] V [(—'P A q) A (s A —•<?)]} V -ir V -is
AA {[-ip A q A r A ->p] V [-ip A q A s A -iq]} V ~¡r V ~i«
A=> {(-ip A q A r) V [-ip A s A (-iq A q)]} V -ir V -is
<=> {(“ip A q A r) V [^p A s A 0]} V ~>r V
■í==> [(-ip A q A r) V 0] V -ir V -is
<^=> (^p A q A r) V->r V-is
A=> (hp V ^r] A [q V -ir] A [r V -ir]) V -ns
<=> ([—ip V -ir] A [q V -ir] A 1) V -ns
-<=> ([-ip V -ir] A [q V -ir]) V
(-ip V ^r V —is) A (q V -ir V ->s)
Por tanto (->p V ~¡q) A ~¡p y (-p A ->q) V ->p son equivalentes.
Otra forma de hacerlo es mediante las propiedades de los conectores:
bP A -p) V -p (^p V -ip) A (->p V -iq) distributiva
~p A (-p V ->q) simplificación
(~p V -iq) A -p conmutativa
Ejercicio 10
a) Las dos proposiciones no son equivalentes puesto que tienen formas clausuladas no
equivalentes. La primera tiene tres claúsulas y la segunda sólo una.
b) Las dos proposiciones son equivalentes puesto que tienen la misma forma clausulada.
p —> (q —> r) 4=> -ip V (q —> r) <=> -ip V (-iq V r) <=> -ip V Vr
Ejercicio 11
a) Una forma de encontrar una expresión de una proposición conociendo su tabla, consiste
en observar donde es verdadera esta proposición. En este caso, la proposición pa es verda
dera en las líneas 1 y 2 de la tabla.
En la línea 1, pa es verdadera, donde -ip y -iq son verdaderas. La proposición ->p A -iq
únicamente es verdadera en esta línea.
En la línea 2, po es verdadera, donde -ip y q son verdaderas. La proposición -ip A q única
mente es verdadera en esta línea.
En consecuencia, una disyunción de estas dos últimas proposiciones constituye una propo
sición que toma los mismos valores que pa, es decir, pa {~ap A -iq) V (->p A q).
Observemos que de la última expresión, o también de la tabla 10, se deduce que la propo
sición pa es equivalente a la proposición ->p. Sin embargo, no se considera la respuesta -ip,
pues a esta proposición le corresponde una tabla de dos entradas.
b) Procedemos de manera análoga. En la tabla 11 hemos escrito en cada línea una propo
sición que únicamente es verdadera en esa línea. Se obtiene:
p Q T -ip p Pb
0 0 0 1 i 1 1 -ip A -|<7 A -ir
0 0 1 1 i 0 1 ->p A A r
0 1 0 1 0 1 0
0 1 1 1 0 0 0
1 0 0 0 i 1 1 p A ~^q A —ir
1 0 1 0 i 0 1 p A -iq A r
1 1 0 0 0 1 0
1 1 1 0 0 0 1 pAqAr
d) Otra forma de encontrar una expresión de una proposición conociendo su tabla, consiste
en observar donde es falsa esta proposición. En este caso, Pd es falsa en las líneas 1 y 4 de
la tabla
En la línea 1, es falsa, donde p y q son falsas. La proposición p V q únicamente es falsa
en esta línea.
En la línea 4, p¿ es falsa, donde -p y -iq son falsas. La proposición ->p V ->q únicamente es
falsa en esta línea.
En consecuencia, una conjunción de estas dos últimas proposiciones constituye una propo
sición que toma los mismos valores que Pd, es decir, p¿ 4=> [(p V q) A (p-q> V -¡q)]. En la
tabla 13 se han escrito las proposiciones que son falsas únicamente en las líneas donde Pd
es falsa.
278 Ejercicios resueltos
p q -^q Pd
0 0 i i 0 pVq
0 i i 0 i
1 0 0 i i
1 i 0 0 0 -.p V
P q r -‘q ~r Pe
0 0 0 1 i 1 1
0 0 1 1 i 0 1
0 i 0 1 0 1 1
0 i 1 1 0 0 0 p V -iq V -ir
1 0 0 0 1 1 0 ->p V q V r
1 0 1 0 1 0 0 -ip V q V
1 1 0 0 0 1 1
1 1 1 0 0 0 1
Ejercicio 12
Al aplicar las leyes lógicas distributiva primero y commutativa después, tenemos:
(p V r) A (p V q) •<=> p V (r A q) <=> p V (q A r)
Capítulo 2
Ejercicio 1
a) Para x 6 N, sean los predicados siguientes:
Px; x es múltiplo de cinco
Qx; x tiene un cinco en el dígito de las unidades
La expresión puede escribirse simbólicamente como:
Bx e N(PC A ~^QX) o Bx e N Px A -^Qx
b) Si P es el conjunto de las funciones reales de variable real sean los predicados siguientes:
Pf, f es polinómica
If, f es integrable
Df, f es derivable
Cf, f es continua
La expresión del enunciado puede escribirse simbólicamente como:
'df&P{Pí to (CyA^A/;) )
Ejercicio 2
En este ejercicio, suponemos que todos los elementos son elementos de un conjunto C.
a) 'dxPx A 'dxQx significa que todos los elementos x satisfacen P y todos los elementos x
satisfacen Q. Esto es, todos los elementos x satisfacen P y Q, que escrito simbólicamente
sería 'dx(Px A Qx).
b) Análogamente, Bx Px V BxQx significa que hay algún elemento que cumple P o que hay
algún elemento que cumple Q y esto equivale a que hay algún elemento que satisface P o
Q, es decir, 3s(Px V Qx).
c) Si 'dxPx V í/xQx es verdadero entonces todos los elementos de C satisfacen P o todos
los elementos de C satisfacen Q. En consecuencia cualquier elemento de C satisface P o
satisface Q. Es decir 'BxPx V 'dxQx => ~dx(Px V Qx).
d) Bx(Px A Qx) significa que existe al menos un elemento x que satisface simultáneamente
P y Q. En consecuencia hay algún elemento que satisface P y algún elemento que satisface
Q. Por tanto, Bx(Px A Qx) => BxPx A BxQx.
e) El recíproco de los condicionales en los apartados c) y d) es falso. Obsérvese que si
cualquier elemento de C satisface P o satisface Q, no se tiene que verificar obligatoriamente
280 Ejercicios resueltos
que todos los elementos de C satisfacen P o todos los elementos de C satisfacen Q. Por
ejemplo, sea C = N, P el predicado ser par y Q el predicado ser impar. Claramente la
proposición \fx E N (Fe V Qx) es verdadera mientras que las proposiciones (Vx £ N) Px y
(Vx E N) Qx son ambas falsas (pues ni todos los números naturales son pares, ni todos los
números naturales son impares y por tanto (Vx E N) Px V (Vx £ N) Qx es una proposición
falsa.
Análogamente, el ejemplo anterior sirve para ver que el recíproco del apartado d) es falso.
Hay que observar que en la proposición 3xPx A aQx la denominación de la variable no
tiene importancia pudiendo escribirla también como ExFj A 3yQy.
Ejercicio 3
a) La proposición es falsa. Para x = 1 se tiene que Fi y Qi son verdaderas, luego -1Q1 es
falsa. Por tanto, existe x, x = 1, tal que el condicional Pi —> es falso. En consecuencia,
la proposición Vx (Px —■> -iQx) es falsa.
Se puede también comprobar mediante una tabla de verdad. La proposición sería verdadera
si en la columna de Px —> ~iQx, todos los elementos fueran uno.
X Px Qx —'Qx Px ~'Qx
1 1 1 0 0
2 1 1 0 0
3 0 0 1 1
siendo esta última expresión verdadera pues /£ A /£> es verdadera. Si comprobamos con
una tabla, basta asegurarse que en la columna de Px A Rx existe al menos un uno.
X Px Px PX/\RX
1 1 0 0
2 1 1 i
3 0 1 0
X Px Rx ]P-X ->Rx Px
1 1 0 1 1
2 1 i 0 1
3 0 i 0 1
Ejercicio 4
La forma clausulada de este predicado tiene tres claúsulas -^Rx , Px y Qx
Ejercicio 5
Buscamos expresiones equivalente a las dadas.
Hay que estudiar si se puede deducir que la proposición de cada apartado es verdadera si
lo son las dos proposiciones anteriores.
a) Si las dos proposiciones son verdaderas, entonces la proposición Bx(Px ARX) es verdadera
y por tanto BxRx es verdadera. Así pues la proposición Bx Rx V Bx Qx es verdadera.
b) Considerando el condicional
este condicional es falso, pues si el antecedente es verdadero, entonces Bx(Px A Rx)es ver
dadero y -i[3a:(Pa; A Rx)] es falso.
(Observación: La letra de variable utilizada en un predicado no tiene importancia)
c) y d) No se pueden deducir en general. Por ejemplo, si en N* tomamos como conjunto N*
y las proposiciones
Px; x es múltiplo de 6
Qx; x es impar
Rx- x =■ 12
Las dos proposiciones iniciales son verdaderas pues todo múltiplo de 6 no es impar y
existe un número x, x = 12, tal que Px A Rx es verdadera. Sin embargo, la proposición
Vx R.x A V x~>Px es falsa al serlo Vx Rx pues no todos los números (de N*) son el número
12. También es falsa Vx (Rx V ~^PX) pues existe x, por ejemplo x = 6, tal que ~>RX A Px.
Ejercicio 6
a) Se cumple ii), A U B 9, pues:
í 3x e B \ A ==> 3x e (A U B) \ (A íl B)
A A B -<=t- ¿ o
eA\B ■ 3® e {A u B) \ (A n B)
Ejercicio 7
a) La respuesta es no. Por ejemplo, si B y C son subconjuntos disjuntos de un conjunto A,
entonces AUBcA(JC = A siendo B <^C.
b) La respuesta es no. Por ejemplo, si B es tal que A H B = 0, entonces A n B C A n C
y sin embargo no se verifica necesariamente que B C C. En concreto si A el conjunto de
los números naturales pares, B es el conjunto de los números naturales impares y C es el
conjunto de los múltiplos de 3, se tiene A r. B- 9 G A í~i C = { naturales múltiplos de 6}
y sin embargo B no es un subconjunto de C.
c) En este caso la respuesta es afirmativa. Demostremos que si AuB C AUC y AíAB C AnC
entonces B C C. Veamos que si re 6 B entonces x G C. En efecto:
rc A y x G AG¡ B ' x £ Ay Xe Auc
Ío
x e AOB xeAnC
Ejercicio 8
a) A U BíTC = A U (B U C) = AüBüC
b) A u BüC = A u (B n C) = (A u B) n (A u C)
c) A VB = AflB=IuB
d) A n (B U A) = (A n B) U (A n A) = A n B
e) TJgB = (B \ A) U (A \ B) = (A_\ B) n B\ A = Xg1I n Brií
= (AJJ B) n (B U A) = [(A_U B) n B] U [(A u B)_n
= [(A n B) u (B n B)] u [(A n A) u (B n A)] = [A n B] u [A n B]
Ejercicio 9
a) Si A C B, entonces el condicional, x G A —> x G B, es verdadero para todo x. Aplicando
la primera ley de transposición, también es verdadero para todo x, el condicional, x B —>
Capítulo 2 283
Ejercicio 10
En este ejercicio, utilizaremos las propiedades del álgebra de conjuntos del cuadro 2.1.
a) Queremos ver que A A B = (A \ B) U (B \ A) = (A U B) \ (A í~i B). En efecto:
(A\B)U(B\A) = (AnB)u(BnA)
= (A u B) n (A u A) n (b u B) n (B u A)
= (Au B) n Un un (b n A)
= (AuB)\(AnB)
(AUB)\C = (AUB)DC
= (Anc)u(BnÜ)
= (A \ C) U (B \ C)
A \ (B \ C) = A \ (B n C)
= An(BnC)
= A n (B u ü) = A n (B u c)
= (A n B) u (A n C) = (A \ B) u (A n C)
(A\B)\C = (A\B)nC
= (AQB)nÜ
= A n (B n c) = A n bUc
= A \ (BUG)
284 Ejercicios resueltos
(AAB)AC = PAB)UQnB)] A C
= [((A A B) U (A A B)) A C] U [(A A B) U (A A B) A C]
= [(A A B A C) U (A n B A C)] U [[(A U B) A (A U B)] A c]
Pero,
[(A U B) A (A U B)] A C = [(A A A) U (A A B) U (B A A) U (B A B)] A C
= [(AAB)U(AAB)]AC
= (APBAC)U(AaBaC)
y en consecuencia,
(A A B) X C = (A A B A C) U (A A B A C) U (A A B A C) U (A A B A C)
Utilizando la propiedad conmutativa de A, la fórmula anterior, y las propiedades conmu
tativa y asociativa de la unión y la intersección, se deduce que
A A (B A C) = (B A C) A A
= (B A C A A) U (B A C A A) U (B A C A A) U (B A C A A)
= (A AB) AC
y en consecuencia:
A A (B A C) = (A A B) A (24 A C)
Ejercicio 11
De la definición de diferencia simétrica A A B = {A U B) \ {A A B) y de la definición de
diferencia tenemos:
A A B = (A U B) A (A A B).
Estudiamos qué propiedades de la tabla 2.1 cumple la diferencia simétrica.
Ley de idempotencia: A A A = (A U A) \ (4 n A) = 0 A.
Ley conmutativa: A A B = (A U B) \ (A A B) = (B U A) \ (B A A) — B A A.
Ley asociativa: Véase el apartado f) del ejercicio 10.
Leyes distributivas: Aa(B A C) = (A A B)A(A él C). Véase el apartado g) del ejercicio 10.
La otra distributiva no se cumple en general. Por ejemplo, si A = {1}, B = {2} y C = {3}
entonces AU (B A C) = {1,2, 3} mientras que (dUB)A(AUC) = {1, 2} A {1, 3} = {2, 3}.
Leyes identidad: A A 0 = (A U 0) \ (A A 0) = A \ 0 = A
AAU = (A UU) \ (A A U) = U\A = A^U
Ley del complementario: AAA = (AuA)\(AAA)=(/\0 = B
Leyes de Morgan: A A B = (A U B) A (A A B) = (A U B) U (A A B) = (A A B) U (A A B)
^AaBsíAAB=¿0.
A A B = (A U B) A (AAB) = AtTB A (A U B) = A A B
^AABsíAUB^B.
Ejercicio 12
Los apartados a) y b) se deducen de los apartados c) y d).
c) Veamos que U¿e/ A¿ = (~lie/ En efecto:
X A |J Ai y=> X i (J Ai
iEl
<=> a i x a A¿]
Vi A I x Ai <=> \/i A I x A Ai
<=> x A P| ~A¡
iei
d) Análogamente se tiene:
x A Pj Ai <=> x Pj Ai
íci iei
a y —'[Vi a I x (z Ai]
<==> A I x Ai 3i a I x A Ai
<=> x A [J Ai
i<¿!
En consecuencia, fj¿6í Ai = IJ¿gi
Ejercicio 13
Como Bn = [n, n + 1] C R, se tiene que B6 = [5, 6] y B6 = [6, 7]. Así pues, Bb U Be =
286 Ejercicios resueltos
[5, 7] y B5 n Be = {6}.
Veamos que Unen = ÍG '>or un ':>í'° se fí iis‘ para, todo n G N se verifica que
Bn C [0, oo), luego:
[J Bn C [J [0, oo) = [0, oo)
Para cada x G [0, oo) sea nx = [x], siendo [x] la parte entera de x. Es claro que x G Bn,:. y
en consecuencia x G (JngN Por tanto:
[0, oo) C (J B„
Ejercicio 14
a) Para cualquier n G N* se satisface la desigualdad --- - < Así pues A„+i C An- En
n+ 1 n
consecuencia, An C Ai = ¡0,1] para cualquier n G N*, luego:
U A- = [°> !]
nCN»
Por otro lado, cualquier n G N* satisface la proposición 0 G An. Luego 0 G f)ngN» An.
Además, para cualquier a > 0 existe k G N* tal que i < a, luego a ¿ Ak, y en consecuencia
k
a i- fjngN* A”- Por tanto:
A An = {0}
nGN»
De manera análoga se obtienen los siguientes resultados:
□ Bn = [0,1) y n Bn== {0}
n£N*
□ Cn = (0,1) y
A Cn = 0
nGN*
n€N*
= 1,1) y n d- = {0}
Ejercicio 15
Demostraremos la doble inclusión.
Para cada x G A n ((Jjgr -B¿) se tiene que x G A y x G (Jigi Bj. Luego existe algún j G I
tal que x G Bj. En particular, x G A í~l Bj, y por tanto, x £ n S¿). P°r tanto:
An íUB?) c
\ie/ / iei
Para cada x G H B¿) se tiene que existe algún j G I tal que x G A D Bj. Por tanto,
x G A y x G Bj. En consecuencia x G A y x G U¿gj Bi- Luego, x G A G1 (U,er Por
tanto:
(J(AnB¿) G An í (JbJ
¿ez \¿G7 )
Capítulo 2 287
Ejercicio 16
Observemos que .8(1,2) es un cuadrado (con los puntos interiores).Véase la figura 1.
2 2
U U es el rectángulo unión de los cuadrados B(o,i), B(0j2), B(ljlj, ^(1,2), B(2,i)
n=0 m— 1
y • Véase la figura 2.
Finalmente, es la unión de todos los cuadrados Bnm con n, m E N que
(n,m)€N3
coincide con el conjunto de todos los puntos del primer cuadrante del plano. Véase la figura
3.
2 2
Figura 1: El conjunto Figura 2: |J |J Figura 3: (J B(n,m>
n=0 (n,m)€N2
Ejercicio 17
Bi es un segmento vertical paralelo al eje OY, cuyos extremos son los puntos (1,1) y (1, — 1)
que están incluidos. Véase la figura 4.
Estudiemos los conjuntos Bx cuando x E R.
Si x < 0 se tiene que Bx = 0, pues no existe número y tal que 0 < ~x ^yey^x<0.
Si x = 0 se tiene que Bo = {(0,0)}, pues si 0 < y < 0 ==> y = 0.
Si 0 < x se tiene que Bx es un segmento vertical paralelo al eje OY cuyos extremos son los
puntos (x,x) y (x, —x), que están incluidos.
(J Bx es el triángulo, y su interior, de vértices (0,0), (2, 2) y (2, —2). Véase la figura 5.
Osiz^Z
g) Bx es la parte de plano contenido entre la bisectriz del cuarto cuadrante y la bisectriz
Ejercicio 18
a) La proposición \/x (3i/ Sxy —> \/z^Rxz) es verdadera. En efecto:
Para x = 1 no existe y tal que Syy sea verdadero por tanto el condicional 3y Sty —> Vz /m,
es verdadero. Para x = 2 se cumple que Vz ~^Rzz es verdadero. En consecuencia, el condi
cional 3y Szy —> VzJAz es verdadero independientemente del valor de BySiy.
b) La proposición By \/x (Syy A Rxy) es falsa. Es decir, 3a: ~^{Syy A Rxy) es verdadero. En
288 Ejercicios resueltos
efecto, para y = 1 existe x, por ejemplo x = 1, tal que -i(Su A Rn) es verdadera,
para y = 2 existe x, x = 2, tal que -1(822 A R22) es verdadera.
c) La proposición Vz (Rzz V Szz) es verdadera, pues />T¡ V Su es verdadera pues lo es ñu
y R22 V S22 también por serlo 822-
d) La proposición 3 z3y 'Szy A Ryz) es verdadera pues S21 A /Í12 es verdadera.
e) La proposición 8x 'r'¡j (Sj :l —> 8z-d<xz) es verdadera. En efecto:
Para x = 1 no existe y tal que Siy sea verdadero y por tanto el condicional Siy —> Vz -iRiz
es verdadero para todo y. Para x = 2 se cumple que Vz ~R2Z es verdadero. Por tanto, es
verdadero el condicional S2y —> Vz ~^R2Z para todo y.
f) La proposición Va; My Syx —> Vy ->3z Ryz es verdadera pues la proposición Va; Vj/ Syx es
falsa ya que únicamente son verdaderas S21 y 822- En consecuencia, el condicional es ver
dadero.
Ejercicio 19
a) La proposición VxVydz (Pxy —> ~^RXZ) es verdadera. En efecto, para z = 1 el predicado
-iRxi es verdadero para todo x. En consecuencia, el condicional Pxy —> ~iRxi es verdadero
para todo x e y.
Nota: En realidad z no depende de x e y. Hemos por tanto demostrado que también es
verdadera la proposición 3z\/x\/y (Pxy —> —•Rxz).
b) La proposición 3xVy3z (Qxy V -^Rxz) es verdadera. En efecto, para x = 1 y z = 1 ->ñu
es verdadera luego la proposición Qiy V ->ñu es verdadera para todo y.
Nota: Igual que en el apartado anterior z no depende de y, luego también es verdadera la
proposición 3o; 3z Vy (Qxy V ~^RXZ).
c) La proposición VzVy (Pxy A Qyx A ->Rxy) es falsa pues no es cierta por ejemplo para
x = y = 1 pues Qn es falsa.
Ejercicio 20
a) Tenemos una relación con dos variables x + 2y < 7 en U x U. Al colocar un cuantificador
Capítulo 2 289
Ejercicio 21
a) -^[Yx(Px —> 3yRxy)] 3x-i(Px 3yRxy) 3x^(^Px V 3yRxy)
3x[Px A ~i(3yRxy)] <=> 3x(Px A Vy-iRxy)
3xVy(Px A -^Rxy)
b) -^[Vx3y(Ryx V Rxy)] A=> 3x^[3y(Rvx V Rxy)] A=> 3xVy-^(Ryx V Rxy)
3x'tfy(j~'R.yx A Rxy)
c) -i[3xV«(S3;z -> SyRzy)\ <==> Vs^[Vz(Sa;z ~’3yRzy')\ \!x3z-\Sxz -3yRzy)
4=> Vx3z^(^Sxz V -PiyRzy) A=> Vx3z(Sxz A 3yRzy)
g=a- \/x3z3y(Sxz A Rzy)
d) -MyRxy)] \/x~^Px -> -NyRxy) ^x^(Px V ^yR^)
4=> Vx(-^PX A VyRxy} <=> Vx\/y(^Px /\ Rxy)
290 Ejercicios resueltos
Ejercicio 22
a) —'[3x3y(QyX A -'-Pyi)] A “’F!/:c)] 'jx'-Jy-^Qyx A ^Py^)
VxVt/(-.Q yx V Pyx ) Vx\/y(Pyx V -^Qyx)
Ejercicio 23
a) {0, l}2 = {(0,0), (0,1), (1,0), (1,1)}.
b) {0, l}3 = {(0,0,0), (0,0,1), (0, 1,0), (0,1, 1), (1,0,0), (1,0,1), (1,1,0), (1,1,1)}.
(0,0,1)> • (0,1,1)
(1,0,1)» 1 . *(1,1,1) :
-Á----------- —-- *------
. (0 ,0,0)i (0,1,0)
» ■
y;o,o) (1,1,0)
(0,5.5)
ii®.® ® ® ®
(0.2) (3.2)
e) Z2 = \i,j e Z}.
f) Z3 = {(i, j,k) ( i,j,k e Z}.
Capítulo 3 291
• . . .4-------- . .. • -<
4 4 4 ■■■ 4 • ...
(0B) (2,3)
■ 4 -■ ®.. ■ ®.....
(-2.Í2) (3,2)
... ® ■ • ...•- #-
(0, i
é ■ ® - 4-. (í — 4 4 ... ® 4
3) (1?)
4 > r ... 4--- ■ ■ • ■ ■•••... ■4
.. -
(-1-2)
4- .... 4--- - ® - - ® - - -4
Ejercicio 24
a) Las relaciones inversas son:
-R.-1 = {(a, 1), (b, 1), (6,2), (c, 2)}
«S-1 = {(a, a), (a, b), (J3, a), (3,b), (7, c)}
T-1 = {(1, a), (1, /3), (3, a), (3, /?), (4, ¿), (4,7), (5, a), }
b) Las relaciones pedidas son:
5 o = {(1, a), (1, p), (1, ¿), (2, a), (2, 5), (2,7)}
T o 5 = {(a, 1), (a, 3), (a, 5), (6,1), (b, 3), (b, 4), (6, 5), (c, 4)}
To S o 11 = {(1, 1), (1,3), (1, 4), (1, 5), (2,1), (2, 3), (2,4), (2, 5)}
•R-1 o 5-1 o T-1 o T o 5 o 1Z = {(1, 1), (1, 2), (2, 1), (2, 2)}
c) 7¿(1) = {a,b}, 1Z(2) = {b,c} y 11(3} = 11(4} = 1Z(3} = 0.
5(a) = {a,/3}, S(b) = {a,¿} y S(c) = {7}.
T(a} = {1,3, 5}, T(p} = {1,3}, T(&} = {4} y T(y) = {4}.
Capítulo 3
Ejercicio 1
a) La relación x yt y no es reflexiva pues x = x, es simétrica pues si x / y entonces y p- x.
no es transitiva 1 2, 2 1 y sin embargo no es cierto que 1 1 y no es antisimétrica
pues 1 2 y 2 yé 1 sin embargo no es cierto que 1 = 2.
b) La relación x < y en N* es una relación de orden total. (Se demuestra en el capítulo 5).
No es una relación simétrica pues 2 < 3 y sin embargo no es cierto que 3 < 2.
c) La relación 1Z definida por, xTZy <=> x + y = 20, cumple:
No es reflexiva pues lí(tl ya que 1 + 1^ 20.
Es simétrica pues si xTZy entonces x + y = 20, es decir, y + x = 20, y por tanto, y1Zx.
292 Ejercicios resueltos
ces x = y, es verdadera.
No es transitiva pues 3<S2y2<Sly sin embargo 3 l ya que 3 — 1 = 2 yí 1.
e) La relación divide es una relación de orden en N* (véase el ejemplo 3.27), que claramente
no es simétrica.
f) La relación T definida por, xTy <=> xy es el cuadrado de un número natural, cumple:
Es reflexiva pues para todo x E N* se tiene que xTx ya que xx es el cuadrado del número
natural x.
Es simétrica pues si xTy entonces xy — yx es el cuadrado de un número natural y por
tanto, yTx.
No es antisimétrica pues por ejemplo, 2T8y8T2ysin embargo, 2 8.
Es transitiva. En efecto supongamos que xTy e yTz. En este caso, xy e yz son cuadrados
de un número natural. Sean ai, az,... ,aq G N \ {0,1} todos los factores primos de x, y y
z. De esta manera,
X = €Zm 1 a2no ■ • • Clqnq
y = a1 ^2mo ■ • • am„
mi q
z = a^a?2 ■ ■ ■ apq'
siendo todos los exponentes ni, 712,..., nq, mi, m?,. ■. , mq,pi ,pz,... ,pq E N. (Se entiende
que si, por ejemplo, ay es un factor primo de x pero no lo es de y en ese caso se toma
mq =0). Al ser los productos,
+ mi+Pl^+K .. ..'Mí'?
J-, y — t¿2 tiq t- y (-¿2 Uq
cuadrados de números naturales se deduce que los exponentes y + pt son
pares para todo i = 1,2, Sumando los dos términos para cada i, se obtiene que
ni + 2m¿ + Pi es par y en consecuencia n¿ + pt es par para todo i = 1,2,... ,q. En conse
cuencia, xz = a”l+í>1a22+P2 • ■ ■ aq''+pq es el cuadrado de un número natural.
Ejercicio 2
Supondremos a lo largo de este ejercicio que el conjunto A es no vacío y que tanto TZ como
S son subconjuntos de A x A no vacíos.
a) Si TZ es reflexiva entonces 0 yí {(x,x) | x G A} C TZ y {(x,x) | x G A} C 77-1. En
consecuencia, {(2:, x) | x G A} C TZ n ’IZ' y por tanto TZ D 'R.!' yí 0.
b) Si la relación TZ yí 0 es simétrica entonces 0 yí TZ~L C TZ y en consecuencia TZ n 'IZ¡ =
77 : yí 0.
c) Supongamos que TZ es simétrica y veamos que '1Z: también lo es. En efecto si x,y G A
Capítulo 3 293
son tales que xTZ 1y, entonces y'TZx. Al ser TZ simétrica, se deduce que xTZy, o equivalen
temente, y'TZ. ' x
d) Supongamos que TZ es antisimétrica y veamos que TZ~l es antisimétrica. Sean x,y £
A tales que xTZ~1y e yTZ-1x. En consecuencia, yTZx e xTZy, y como TZ es antisimétrica, se
deduce que x = y.
e) y f) Supongamos que TZy S son reflexivas, entonces {(x, x) | x E A} C TZ y {(x, x) | x £
A} C S. En consecuencia, {(a;, x) | x E A} C OS C TZ US. Por tanto, 7?. H <S y 7?. U 5
son reflexivas.
g) El enunciado de este apartado no es en general cierto. Por ejemplo, sea A = {1,2, 3,4}
y las relaciones TZ = {(1,2), (2,4), (1,4)} y S = {(2,3), (3,4), (2,4)} que son ambas transi
tivas y sin embargo T = TZU S = {(1, 2), (2, 4), (1,4), (2, 3), (3,4)} no es transitiva ya que
1 T2 y 2T3 mientras que 1 /"3.
h) Si TZ y S son transitivas, también es transitiva V = TZ n S. En efecto, sean x, y, z £ A
tales que xVy e yVz. En consecuencia, (x,y) e (y,z) £ TZClS, es decir, (x,y) e (y, z) £ TZ y
(x,y) e {y, z) £ S. Al ser TZy S transitivas, resulta que (x,z) € TZ y (se, z) £ S y por tanto,
(x, z) e TZn S, esto es, xVz.
i) El enunciado de este apartado no es en general cierto. Por ejemplo, sea A = {1,2,3}
y las relaciones TZ = {(1, 2), (1,1), (2, 2), (1, 3)} y S = {(1,1), (3, 1)} que son ambas anti
simétricas y sin embargo T — TZ'jS — {(1, 2), (1,1), (2, 2), (1,3), (3,1)} no es antisimétrica
ya que 1 T 3 y 3 T1 mientras que 1^3.
j) Como en h) se demuestra que si TZ y S son antisimétricas, también es antisimétrica
V = 7^n«S. En efecto, sean x, y £ A tales que xVy e yVx. En consecuencia, (x, y) e {y, x) £
7¿n5, es decir, (x,y) e (y, x) ETZ y (x,y) e (y,x) E S. Al ser TZ o S antisimétrica , resulta
que x = y. En realidad basta con que una de las dos relaciones TZ o S sea antisimétrica
para que lo sea TZ í~l S.
Ejercicio 3
La relación £ en R* definida por, x£y si y sólo si xy > 0, es una relación de equivalencia.
En efecto:
Es reflexiva pues para todo x £ R* se tiene que x£x ya que xx = x1 > 0.
Es simétrica pues si x£y entonces xy = yx > 0 y por tanto, y£x.
Es transitiva. En efecto, supongamos que x£y e y£z. En este caso, xy > 0 e yz > 0
y en consecuencia y tiene el mismo signo que x y que z. En consecuencia, x y z tienen
el mismo signo y por tanto xz > 0, es decir, x£z.
El conjunto cociente R*/£ está formado por dos elementos que son las clases de los ele
mentos 1 y —1, [1] = {x £ R* | x > 0} y [—1] = {x E R* ¡ x < 0}.
Ejercicio 4
Sean tres elementos cualesquiera a = araBasaíflsaaaiao, b = bybebsbíbsbzbibo y c =
C7C6C5C4C3C2C1C0.
a) Dado un byte a, la expresión 52n=o íl:': determina el número de unos que contiene ese
byte. Esta relación indica que un byte a está relacionado con un byte b si a y b tienen el
mismo número de unos. Interpretada la relación de esta forma, es fácil comprobar que la
294 Ejercicios resueltos
Obsérvese que la expresión J2n=o a«2n es el valor (en base decimal) del número natural
que en base binaria se escribe 05050403020100.
Es transitiva. Si aJlb y b'.íbc. tenemos los casos:
i) by < ay y Cy < 67, entonces cy < ay, y en consecuencia o'Rc.
ii) by = ay y cy < by, entonces cy < ay, y en consecuencia aíRc.
iii) by < ay y by — cy, entonces cy < ay, y en consecuencia oíRc.
iv) by = ay y cy = by, entonces ^2" R
C 52® =0 cn2n, así pues )>),,<> On2” 52n=o c"2”, y en consecuencia TRc.
Ejercicio 5
Sean tres elementos cualesquiera a = (ai, 02, 03), b = (61, b2, b3), c = (ex, c2, C3).
a) Observemos que se tiene la equivalencia:
o3 < 63 4=^ a3 < b3 o (03 = 63 y 01 < foi) o (03 = b3, ai = h y a? ¡í b2)
En consecuencia:
(01,02,03)^(61,62,63) 03^63
La relación es reflexiva, ofRo pues 03 C 03.
La relación no es simétrica, pues (1,2,1)1R(2,2,2), pero no es cierto que (2,2,2)íR(l, 2,1).
Capítulo 3 295
No es antisimétrica, pues (1, 2, 3)3?( 1, 0, 3) y (1, 0, 3)íR( 1, 2, 3) pero (1, 2, 3) yé 7?(1, 0,3)
La relación es transitiva. Si a'jtb y b5lc, entonces í L y si 63 Sí C3 y en consecuencia
«3 <-v es decir, aíRc.
b) La relación es reflexiva, pues an < an para todo n = 1, 2, 3.
Es antisimétrica, pues si an < bn para todo n = 1, 2, 3 y bn < a„ para todo n = 1,2, 3, se
tiene que an = bn para todo n = 1, 2,3.
Es transitiva, pues si an < bn para todo n = 1, 2, 3 y bn cn para todo n = 1,2, 3, se
tiene que an < cn para todo n = 1, 2, 3.
c) La relación es reflexiva; alRa pues aia2 = aia2 y aias = aras.
Es una relación simétrica pues si a'ilb, entonces bia? = aib2 y 61 ag = ai b.¡, es decir,
ai¿>2 = bia^ y ai&s = 6iag. En consecuencia, filia.
La relación es transitiva. Para verlo, observemos en primer lugar que si ay b 6 R3 \{(0,0,0)}
son tales que aUlb entonces:
ai = 0 <=> bi = 0
En efecto, si a‘.!lb y ai = 0 entonces 6ia2 = a\bi = 0 y 610,3 = 0,163 = 0. Si fuera bi y¿ 0
entonces a2 = 03 = 0, en contradicción con a 6 R3 \ {(0, 0, 0)}. Además es transitiva, puesto
que si a'Jlb y bale tenemos dos casos:
1. Si ai = 0, entonces 61 = 0, y en consecuencia ci = 0. Así pues, aíRc.
2. Si ai yé 0, entonces bi y¿ 0, y en consecuencia ci yt 0.
,, ir,, ,rn , j a2 &2 Ü3 63 C2 62 C3 bs
De aJib y bJlc se deduce que — = —, — = —, — = — y — = —. Por tanto,
ai 01 ai 61 Ci 61 ci 61
a2 c2 as C3
— = — y — = —, y en consecuencia aJic.
(21 Ci (21 Ci
d) La relación no es reflexiva, pues ai = ai, a2 = a2, as = ag y es necesario que difiera en
una componente.
Tampoco es transitiva, pues (1,1,1)ÍR(1,1, 0) y (1,1, 0)3?(0,1, 0), y sin embargo no se satis
face que (1,1, 1)1R(O, 1,0) pues tienen dos componentes distintas.
La relación es simétrica.
e) La relación es reflexiva, pues a2 < a2, as = as y ai = ai.
La relación es antisimétrica, pues si alllb y Hila. no se puede dar que as < 63 y 63 < as, por
tanto as = 63- Tampoco puede darse que ai < 61 y 61 < ai, por tanto ai = bi. Así pues,
a2 < 62 y 62 < a2, luego a2 = 62.
La relación es transitiva. Sean a y 6 tales que alRb y bRc, entonces as < 63 C cg.
1. Si as < bs o 63 < C3 se tiene que 03 < C3, y en consecuencia a'Rc.
2. Si ag = 6g = C3 entonces ai < bi < ci.
i) Si ai < bi o bi < a se tiene que ai < ci, y en consecuencia aUc.
ii) Si ai = 61 = ci y entonces a2 < b2 y b2 < c2 luegoa2 C c2, y en consecuencia
aíRc.
296 Ejercicios resueltos
Ejercicio 6
A lo largo del ejercicio, sean tres elementos alesquiera a = (01,02,03), 6 = (61,62,63) y
c = (ci, C2, C3) e R3.
Las dos relaciones son iguales:
ai < 61
(01,02,03) A (61,62,63) -<=» <
I o (02,03) (62,63) y ai = 61
ai < 61
< o Oí = 61 y 02 < 62
I O a¡ — 61, 02 = 62 y 03 < 63
(x,y) - (0,0)
z 0
Capítulo 3 297
Lo constituyen los puntos que están en la banda del espacio, 0 < x < 1, unión el semiplano,
í® = 0 , (x = l . f(x,y) = (0,0)
< , unión el semiplano, < , unión la semirrecta, < , unión la
p>0 (y> 1 |z>0
(x,y) = (1,1)
semirrecta
z<1
Ejercicio 7
a) El orden lexicográfico en R3 es el orden del ejercicio anterior definido mediante:
ai < 61
(ai, 02, «3) Ci (61,62,63) ai = 61 y 02 < 62
ai = fii, 02 = &2 y a3 < b3
ai < 61
ai = bi y 02 < 62
ai = bi, 02 = 62 y a3 < b3
Ejercicio 8
Sean tres elementos cualesquiera a = (ai, a3, a3), b = (bi,b2,b3), c = (ci,C2,c3) £ R3.
Observemos que (ai,a2,a3) =( (61,62,63) si y sólo si ai < bi, a3 < b3 y a3 < b3.
Se ha demostrado en el apartado b) del ejercicio 5 que es una relación de orden. Es una
relación de orden parcial, puesto que para a = (1, 2, 3), b = (7,1, 5) resulta que ni se satisface
a =4 b ni b =4 a, dado que a, = 2 > 1 = 62 y sin embargo o3 = 3 < 5 = b3.
El intervalo cerrado final [(1,1,1), —>) = {(x,y, z) € R3 | 1 < x, 1< y, 1 < z} esel octante
positivo donde el vértice se ha desplazado al punto (1,1,1). Veáse la figura 14.
El intervalo cerrado [(O, O, 0), (2,1,1)] = {(a;, y, z} e R3 | O < x C 2,0 < y < 1,0 < z < 1}
es el paralelepípedo rectángulo, veáse la figura 15, con vértices en los puntos:
Ejercicio 9
a) El orden producto en R3 es el orden del ejercicio anterior:
Figura 14: Intervalo final [(1,1,1), —>) Figura 15: Intervalo [(0, 0, 0), (2, 1,1)]
Ejercicio 10
El orden lexicográfico es un orden total por lo que no haremos mención a los maximales y
minimales que coinciden con el máximo y el mínimo.
a) El conjunto A está formado por todos los puntos interiores del cuadrado de vértices
M(l, 3), N(2, 3), P(l, 4) y Q(2,4) y de las aristas MN y PQ, excluyendo los cuatro vértices.
Orden lexicográfico
Cotas superiores de A: El conjunto {(x,y) G R2 | x 2)}.
Supremo de A: No tiene.
Máximo de A: No tiene.
Cotas inferiores de A-. El conjunto {(k,3/) G R2 | x 1)}.
Infimo de A: No tiene.
Mínimo de A: No tiene.
Orden producto
Cotas superiores de A-. El conjunto {(x,y) G R2 | x 2 e y 4}.
Supremo de A: supF(A) = (2,4).
Máximo de A: No tiene.
Maximales de A: No tiene
Cotas inferiores de A: El conjunto {(x,y) G R2 | x < 1 e y < 3}.
ínfimo de A: ínfp(A) = (1,3).
Mínimo de A: No tiene.
Minimales de A: No tiene.
b) El conjunto B está formado por todos los puntos interiores de la banda del plano
contenida entre las rectas verticales de ecuación x — 2 y x = 3, excluyendo ambas rectas.
Orden lexicográfico
Cotas superiores de B: El conjunto {(x,y) G R2 | a? > 3}.
Supremo de B: No tiene.
Máximo de B: No tiene.
Capítulo 3 299
Ejercicio 11
a) La relación =<: no es una relación de orden en el conjunto de sucesiones de números reales.
Claramente eS reflexiva. Sin embargo no es antisimétrica, pues por ejemplo, (1, 2,2, 2,...) =í
(2,1,2,2,...) y (2,1,2,2,...) =<: (1,2,2, 2,...) y sin embargo (1,2,2, 2,. ..) (2,1,2,2,.. .)•
Capítulo 3
Ejercicio 12
a) Esta relación es reflexiva, f < f puesto que /(a?) < /(a?) para todo x G R.
Es antisimétrica pues si f < g y g < f, se tiene que f(x) < g[x) < f(x) para todo x G R
y en consecuencia = g(x) para todo x G R.
Es transitiva, puesto que si f < g y g < h se tiene que f(x) < g(x) < h[x) para todo
í G R. Por tanto f(x) C h(x) para todo x G R. Luego f < h.
Se trata de una relación de orden.
b) Es reflexiva, f = f puesto que f(x) = f(x) para todo x G R.
Es una relación simétrica pues si f = g se tiene que f(x) = g(x) para todo r £ R, es decir,
g(x) = /(») para todo x G R.
Es transitiva, puesto que si f = g y g = h, se tiene que f(x) = g(x) = h(x) para todo
x G R. Luego / = h.
Se trata de una relación de equivalencia y las clases del conjunto cociente son conjuntos
unitarios.
c) Dadas dos funciones f y g sea el conjunto:
Se tiene que f g si y sólo si Af¡g es un conjunto finito. Además f{x) < g(x) para todo
a’GR\A/ig.
La relación es reflexiva, f f pues Afj = 9-
La relación no es simétrica, puesto que, por ejemplo, las funciones constantes f y g tales
que f(x) = 0 y g(x) = 1 para todo x G R cumplen f < g pero no g =<. f.
302 Ejercicios resueltos
No es antisimétrica, pues dos funciones h y f que coincidan en todos los puntos de R salvo
en un conjunto A finito y no vacío cumplen que f =$ h y h f y sin embargo f h.
Es transitiva, pues si f g y g =$ h entonces Af¡g y Ag>h son conjuntos finitos. Como
A¡th G Af¡g U Ag¡h resulta que Ag^ es un conjunto finito. En consecuencia, f =? h.
d) Dadas dos funciones f y g sea el conjunto:
Se tiene que y si y sólo si Ig<g es un conjunto finito. Además f(x) = g(z) para todo
x G R \ If,g.
Esta relación es reflexiva, f ~ f pues Ifj = 0.
Es una relación simétrica, pues basta observar que If,g = cualesquiera que sean f y g.
Es transitiva, pues si f g y g x h entonces Ift9 y Ig¡h son conjuntos finitos. Como
If,h C If,g U Igth resulta que Ij,h es un conjunto finito. En consecuencia, / ss h.
Se trata de una relación de equivalencia y la clase de una función f es el conjunto de todas
las funciones g tales que f y g coinciden en todos los puntos salvo en un número finito.
Nota: Si la relación < del apartado c) se define en el conjunto cociente que hemos obtenido
en el apartado d), la relación sería antisimétrica y tendríamos por tanto una relación de
orden.
Ejercicio 13
a) La aplicación h: N N
n h(n) = n2
Ejercicio 14
Denotamos por M2(R) al conjunto de las matrices cuadradas 2x2 con coeficientes reales.
La siguiente aplicación es una biyección.
g: M2(R) —> R4
an ai2 an ai2 = («ii, ai2, «21, «22)
«21 «22 a2i «22
Capítulo 3 303
Ejercicio 15
a) La función real f no está definida para los valores que anulen los denominadores. Por
tanto Df = R \ { — 2, —1,1}.
b) La función real g sólo está definida para aquellos valores de x para los que 1 — x2 0,
es decir, Dg = [—1,1],
c) La función real logaritmo neperiano sólo está definida para valores estrictamente positivos
de la variable, es decir, hay que resolver la inecuación x3 — x > 0. Como x3 — x = xí'a:2 — 1) =
x(x — l)(a? + 1) resulta que Dh = ( —1, 0) U (1, +oo).
d) La función t está definida en el conjunto
í x2 — 1 1
i E K | ------ - > 0 ) = {x 6 R | x2 - 1 < 0, 4 - x2 < 0} U {x G R I x2 - 1 > 0,4 - x2 > 0}
( 4 - x¿ )
= (¡-1,1] f~l ((-oo, -2) U (2,oo))} U (((-oo,-1] U ¡l,oo)) n (-2, 2))
= ® U ((—2, —1] U [1,2)) = (-2,-1] U [1,2)
Ejercicio 16
a) f es inyectiva, pues si /(íci) = /(ícz) entonces axi + b = axz + b , es decir, axi = axz, y
como a 0, resulta que aq = xz-
f es sobreyectiva, pues para cualquier y £ R existe un valor x G R tal que f(x) = y,
y—b
concretamente, si y = ax + b entonces x = ------ . Luego se trata de una función biyectiva.
a
b) g no es inyectiva, pues g(x) = g(—x) y x yl — x si x / 0.
Tampoco es sobreyectiva, pues si a > 0, g(x) b para todo x £ R, es decir, g no toma
valores estrictamente menores a b, mientras que si a < 0, g(x) b para todo x £ R, es
decir, g no toma valores estrictamente superiores a b.
c) h puede ser inyectiva en algunos casos y no inyectiva en otros.
Si b = 0, es decir, h(x) = ax3, h es inyectiva pues si ax3 = ay3 entonces x = y.
Sib^Oyayb tienen signo distinto entonces h no es inyectiva. Basta observar que en
particular la ecuación h{x) = 0 {x{ax2 + b) = 0) tiene más de una solución: x = —y/^b/a,
x = 0 y x = y/—b/a.
Siby20yayb tienen el mismo signo entonces h es inyectiva. Supongamos a > 0, (el
caso a < 0 es análogo). Si xi < Xz entonces xi < Xz y x3 < x3 y en consecuencia
axf + bxi < ax3 + bxz y por tanto h(xi) h(xz)- Así pues si x x entonces h(x) h(x').
h es sobreyectiva pues toda ecuación de tercer grado posee al menos una raíz real, es decir,
para cualquier y £ R existe al menos un valor x G R que resuelve la ecuación ax3+bx —y = 0.
Por tanto, Vy £ R Bx £ R tal que f(x) = y.
d) t es sobreyectiva, pues para cualquier y £ R se tiene:
si ;/ < 0 V ~ í; r - tyy
t[x) = y=^
siy> (l x2-~ y --- x ^fy
304 Ejercicios resueltos
También es inyectiva.
SÍ t(xi) > 0 => <1 X1 > 0, X2 > 0 =>■ X1 = X2
. ,,z x \ , „ í X1 = x2 x2 o
< °,
Í si ilxi) < 0 =><r ,?
I o? i = a?2?
,=^si=a:2
También es inyectiva.
{
si m(a;i) C 0 => — y/~xa = — \/—X2 => Xi = «2
si m(xi) > 0 => yrri = ^/xa =» Xi = xa
Ejercicio 17
Utilizando el teorema de caracterización de una aplicación biyectiva, teorema 3.59, resulta
que / es biyectiva pues si n 2, entonces de,
r= = r-1°/ = u
Ejercicio 18
a) P(x, y) = 1 — OR(r, y) = 1 - máx(x, y)
b) XOR(r, y) = máx (x(l — y), (1 — x)y) = máx(a: — xy,y — xy) = máx(o?, y) — xy
c) IF(®, y) = máx(l — x, y)
d) IFF(a:, y) = máx(l — x, y) ■ máx(x, 1 — y)
Ejercicio 19
a) La aplicación
/■' u ~^nu)
u i—> g{u) = {u}
Capítulo 3 305
es sobreyectiva.
c) Considerado U = 0 (sin elementos), entonces T(U) = {0} (tiene un elemento). No puede
existir una biyección entre esos dos conjuntos.
Si se considera un conjunto U que tiene n elementos, en el ejercicio 2.14 se demuestra que
ÍP(C7) tiene 2" elementos. Por tanto, no puede existir una biyección entre U y 3>(U). En el
capítulo 5 se extiende este resultado a cualquier conjunto U y se demuestra que U y J’(U')
no son nunca conjuntos biyectivos. Véase el teorema 5.26.
Ejercicio 20
a) La afirmación de este apartado es válida. En efecto, supongamos que g o f es inyectiva y
veamos que f también lo es. En efecto sean x,x' E A tales que = f(x'). Componiendo
con g se obtiene g(f(x'j') = g(/(a/)), esto es, (go f)(x) = (30 f')(x1'). Como gof es inyectiva,
se deduce que x = x . En consecuencia f es inyectiva.
b) La afirmación de este apartado no es válida. Tomamos las funciones g y f definidas
mediante:
>N / : N —t N
. . | n/2 si n es par n i—t J(n) = 2n
n i—> g{n) = <
I (n — l)/2 si n es impar
g es una aplicación no inyectiva , véase el ejercicioL3 b) y sin embargo g o f sí lo es,
pues para todo n E N, se verifica que
(9 ° /)(n) = .?(/(«)) = P(2n) = n
es decir, g o f = ZN.
c) La afirmación de este apartado no es válida. Tomamos las funciones g y f definidas en
el apartado anterior. La función f no es sobreyectiva pues, por ejemplo, 3 E N no es la
imagen de ningún número natural mientras que g o f = ZN es sobreyectiva.
d) La afirmación de este apartado es válida. En efecto, supongamos que gof es sobreyectiva
y veamos que g también lo es. En efecto sea z E C un elemento cualquiera. Sea x E A tal
que (g o f)(x) = z. Este elemento x existe pues g o f es sobreyectiva. Tomamos y = f(x).
Se cumple:
g{y) = ff (/(^)) = (9 0 /)(a0 = z
En consecuencia, g es sobreyectiva.
Ejercicio 21
a) La expresión del apartado a) es verdadera. Supongamos que C C D y sea un elemento
cualquiera y E f(C). Si y E f(C), existe un elemento x E C tal que f(x) = y. Como
306 Ejercicios resueltos
f: Z —> Z
X I—> /(x) = x2
yeftCQD)
Capítulo 4
Ejercicio 1
Se supone que e, a, y b son tres elementos distintos. En primer
* e a b
lugar, si e es el elemento neutro del grupo (G, *), se puede in e e a b
mediatamente rellenar la primera fila y la primera columna de a a
la tabla. b b
Ejercicio 2
Como el elemento neutro e de G, es elemento de lf¡ y de fh pues ambos son subgrupos de
G, H- n H2 0- Para ver que Gl H2 es un subgrupo de (G, *), utilizamos la proposición
4.14, viendo que para todo a, b G Hi C ¡h. a * b~: G Hi í~l En efecto, si a,b G Q Hi
entonces a, b G Hi, para i, = 1, 2, y en consecuencia a * é 1 G Hi para i = 1,2 pues cada Hi
es un subgrupo de (G,*). Así pues, a * & G fli Gl Ha-
Ejercicio 3
i) Recordamos que la congruencia módulo H viene definida por
a Rh b si y sólo si a*b 1 G H
308 Ejercicios resueltos
para todo a,b E G. Si a,a',b,b' C G son tales que a 31// a y b 31h b', entonces a*a 1 E H
y b*b/-1 E H. Utilizando las propiedades asociativa, y conmutativa de *, se obtiene
([a] * [b]) * [c] = [a*b]*[c] = [(a*b)*cj asociativa en g _ [a] * [b * c] = [a] * ([b] * [c])
Existe elemento neutro de * en G/H, que es la clase del elemento neutro e de G, pues
[a] * [e] = [a*e] = [a] y [e] * [a] = [e * a] = [a] para todo [a] E G/H.
Finalmente, para todo [a] E G/H, el elemento simétrico de [a] en G/H es la clase del
elemento a-1 E G, simétrico de a en G, pues [a] * [a-1] = [a * a-1] = [e] y [a-1] * [a] =
[a-1 *«] = [ej.
En consecuencia, {G/H, *) es un grupo que además es conmutativo.
Ejercicio 4
Basta probar que H 0 y que para todo a, b S H se cumple que a k b-1 E H.
Como 33 es una relación reflexiva, el elemento neutro e de G satisface que e 31 e, luego el
conjunto H 0 pues e E H.
Veamos que si b £ H, entonces b-1 E H. En efecto si b 31 e, como b J 3? b-1 pues IR es
una relación reflexiva, resulta que b* b-1 31 e r b' por ser la relación compatible con la
operación *. Operando se obtiene que e 31 b-1. Como la relación IR es simétrica, se deduce
que b ’ 31 e, es decir, b1 C H.
Finalmente, si a,b C H, entonces a, b-1 E H y por tanto, a 31 e y b-1 31 e. De nuevo la
compatibilidad de 31 con la operación * implica que akb^1 IR e. En consecuencia, aW E H.
a 31h b si y sólo si a 31 b.
Si se verifica a 31h b, entonces por definición de 'R/-/ se tiene que, a * b”1 E H. Esto es,
(i rb IR e. Como se verifica que b IR b y la relación 'R es compatible con la operación *, se
tiene que (a * b-1) * b IR e * b, es decir, a 31 b.
Si se cumple que « R R <le l 1 ‘3í b1 y de la compatibilidad de 3? con *, se tiene que
u*b~' 31 bkb~1, es decir, a*b-1 IR e. Luego, a b, ' E H, por tanto, aíRnb.
Ejercicio 5
Recordamos que f{a) = 2a = a + a.
Supuesto que (G, +) es un grupo conmutativo, veamos que f es homomorfismo, es decir,
En efecto:
Ejercicio 6
a) (R2,*) no es un grupo aunque iremos comprobando qué propiedades satisface.
Propiedad asociativa:
((a, b) * (a', bz)) * (a", b") = (aa ,ab' + b) * (a",b")
= ((aa')a", (aa')b" + ab' + b)
= (a(a'a''),a(a'b'' + b') + b)
= (a, b) * (a a”, ab" + b')
= (a,b) * ((a',b') * (a",b"))
Existencia de elemento neutro: Busquemos (e, /) £ R2 tal que (a, b)*(e, /) = (e, b) =
(a, b) para todo (a, b). Resolvemos (ae, af + b) = (a, b) para todo (a, b) y se obtiene e = 1 y
f = 0. Se comprueba además que (1,0) * (a,b) = (a, b). Luego (1,0) es el elemento neutro.
No todos los elementos de R2 tienen simétrico. En efecto, (0,5) * (a,b) = (0,5) (1,0)
para todo (a, b) £ R2. Luego (0,5) no tiene simétrico.
b) Teniendo en cuenta el apartado a), para comprobar que (G, *) es un grupo sólo hay que
ver que * es una operación interna en G y que todo elemento (a, b) de G tiene elemento
simétrico en G. En efecto, sean (a, b), (a', b') £ G. Entonces (a, b) * (a', b') = (aa', ab' + b),
a 0 y o! 0. Luego aa! 0 y en consecuencia (a, b) * (a', b') £ G.
Para hallar el elemento simétrico (a’,b') de (a,b) £ G, planteamos (a,b)*(az,bz) = (1,0), es
decir, (aa!, ab'+b) = (1, 0). Se obtiene a' = l/ayb' = —b/a, que existen pues a 0. Además
(1/a, —b/a) 6 G y también se cumple que (1/a, —b/a) * (a,b) = ((l/a)a, (l/a)b — b/a) =
(1,0). Así pues (1/a, —b/a) 6 G es el elemento simétrico de (a,b) £ G.
La operación * no es conmutativa en G. Por ejemplo, (1, 2) * (3,4) = (3,1 • 4 + 2) = (3, 6),
mientras que (3,4) * (1, 2) = (3, 3 ■ 2 + 4) = (3,10).
310 Ejercicios resueltos
c) H = {(a, fe) G R2 | a > 0} es un subgrupo de (G, *). En efecto, sean (a, fe), (a7, fe7) G H.
Entonces («, fe)*(a7, fe7)-1 = (a, fe)*(l/a', —fe'/a') = (a/a7, (—ab')/a +6) G H pues a/a' > 0
si a > 0 y a' > 0.
F = {(a, 6) G R2 ¡ a = 1} también es un subgrupo de (G, *). En este caso (a, fe)* (a7, fe7)-1 =
(a/a7, (—ab')/a + fe) E F pues a/a = 1 si a = a! = 1.
K = {(a, fe) E G | a, fe G Q} también es un subgrupo de (G,*). En este caso, (a, fe) *
(a7, fe7)-1 = (a/a7, (—ab'ya' + b) E K pues a/a' E Q y (—afe7)/a7 + b E Q si a,b,a',b' E Q.
J = {(a, fe) G G | a, fe G ZJ no es un subgrupo de (G,*) pues en general no es cierto que
(a,b) * ia .1/} ' = (a/a7, (—ab')/a' + 6) sea un elemento de J aunque sí lo sean (a,fe) y
(a7, b7), pues en general a/a7^Zy(—ab7)/a7+b^Z. Por ejemplo, sean (a, 6) = (1,0) 6 J
y (a7, fe7) = (2, 1) 6 J se tiene que (a, 6) * (a7, fe7)^1 = (a7, fe7)”1 = (1/2, —1/2) i/ J.
d) Veamos en primer lugar que la composición de aplicaciones es una operación interna en
Q. En efecto, para todo fab, fa'b' E G y para todo x E R se cumple que
esto es:
fab ° fa'b’ f(aa')(ab'-t-b) E G
Ejercicio 7
El conjunto tí = {a E A | S a1 G A} es un grupo respecto de la multiplicación.
La multiplicación es un operación interna en 11. En efecto, sean a, 6 G II y sean a1 y fe-1
los inversos de a y fe en A. Se tiene que (ab) (fe 'a1) = a(fefe-1)a~1 = a -1 ■« = aa' 1 = 1
y análogamente (fe-1 a-1) («fe) = 1. Luego afe G 11 y además («b) ! = b~1a^1.
La propiedad asociativa del producto en tí se hereda de la propiedad asociativa en A,
además, 1 G U pues de 1 • 1 = 1 se deduce que I1 = 1.
Por otro lado, si a E A es inversible y su inverso es a~1, entonces a-1 es inversible y
(a-1)-1 = a. Es decir, si a E tí, entonces a ' E 11.
Ejercicio 8
Sean Hi y Hi dos subanillos del anillo (A, +,.), para ver que Hi D FF es un subanillo, tan
Capítulo 4 311
Ejercicio 9
i) Sean a, a , b,b' G A tales que a X/ a' y b Xj b'. Veamos que ab X¡ a'b'. En efecto:
([a] + [b])[c] = [a + b][c] = ](a + b)c] = [ac + be] = [ac] + [be] = [a][c] + [b][c]
y análogamente se obtiene:
[a]([b] + [c]) = [a] [b + c] = [a(b + c)¡ = [ab + ac] = [ab] + [ac] = [a] [b] + [a] [c]
Ejercicio 10
Veamos que I es un ideal.
• I yf 0 pues 0 G I al ser 0 31 0 (reflexiva).
• Sean a, b G I. Veamos que a — b G I. En primer lugar, si b X 0, como — b X — b y la
relación X es compatible con la suma resulta que b + (—b) = 0 31 0 + ( —b) = — b. Como la
relación es simétrica resulta que — b X 0. Finalmente si a, b G I entonces a X 0 y — b X 0 y
en consecuencia a — b 31 0. Por tanto, a — b G I
• Sean a G I y c G A. Veamos que ac G I. Como aXOycXcyla relación X es compatible
con el producto resulta que ac 31 0 c = 0 y en consecuencia ac G I.
Para ver que la relación 31 es precisamente la relación de congruencia módulo I del ejercicio
9, sólo hay que demostrar que:
a Xi b si y sólo si a X b
En efecto,
a X¡ b a - b G I ■<==> a — b 31 0
312 Ejercicios resueltos
Ejercicio 11
i) Observemos en primer lugar que si n no es un número primo entonces n = ab siendo
a, b e N estrictamente mayores que 1 y menores que n. En consecuencia [a] 0 y [6] 0 y
sin embargo [a&] = [n] = 0. Por tanto [a] y [6] son divisores de 0 y por tanto no inversibles
(véase el ejercicio 4.23 del texto). En consecuencia, (Z/nZ, + , •) no es un cuerpo.
ii) Recíprocamente, si (Z/nZ, +, •) no es un cuerpo , sea [a] 0 £ Z/nZ no inversible, siendo
a un representante entre 1 y n — 1. Como [a] no es inversible entonces [a ■ k] = [«][&] t [1]
para todo k = 0,1,..., n — 1. En consecuencia, se hacen n cómputos, j) ■ k], [1 ■ fe], [2 • fe],
. .., [(n — 1) -Ár], que a lo máximo toman n — 1 valores distintos, [0], [2], [3],..., [n — 1]. Luego
existen k y k' G {0,1,... ,n — 1} tales que k k' y [a][fe] = [a][fe'], es decir, a(k — k') es un
múltiplo (no nulo) de n. En consecuencia, n no puede ser un número primo pues si n fuera
primo entonces, a o k — k' serían múltiplos no nulos de n, que es una contradicción pues
1 < a < n — 1 y 1 < fe — k! < n 1.
Nota: En esta última deducción hemos supuesto conocido el resultado de que todo número
primo que sea divisor de un producto de dos factores, es divisor de uno de los dos factores.
Este resultado se puede obtener como consecuencia del teorema 5.52 del siguiente capítulo.
Ejercicio 12
Supongamos que el número de elementos de A es n. Por reducción, al absurdo, si el anillo
A no es un cuerpo, entonces existe un elemento a G A, a 0, no inversible. Además,
a2 = aa 0 pues A es un anillo íntegro, y análogamente, ap y= 0, pues:
ap = 0 =£ ap xa = 0 ==> ap 1 = 0 a 2 — 0n a=0
Como el conjunto {a, a2, a3,..., a"} consta de n elementos no nulos, y sólo hay n — 1
elementos no nulos en A, necesariamente dos de ellos deben ser iguales. Sean pues ap = ap+j
siendo, + Se tiene:
Ejercicio 13
El hecho de ser (R2, +) un grupo conmutativo se basa en las propiedades de la suma en
el conjunto de los números reales, que también es un grupo conmutativo. En particular
se obtiene que el elemento neutro de la suma es el par (0,0) y el simétrico de cualquier
Capítulo 4 313
Ejercicio 14
i) La intersección I O J de los ideales I y J es un ideal de A. En efecto, sean a, b G I D J
y c G A. Se tiene que por un lado a, bG/ycGÁy por otro lado a, b G J y c G A. Al ser
I y J ideales de A se cumple que a — b G I, ac G I y a — b G J, ac G J. En consecuencia,
a — bGlnJyacGlnJ.
La unión I U J de los ideales I y J no es en general un ideal de A pues ni siquiera la
unión de subgrupos de un grupo es un subgrupo. Por ejemplo, si tomamos los ideales de
Z, / = 2Zyd = 5Z, tenemos que 2, 5 E I U J y sin embargo 7 = 2 + 5^/UJ. Luego la
314 Ejercicios resueltos
Ejercicio 15
Basta observar que en virtud de la propiedad 10 de la proposición 4.37 se tiene:
|a| = |(a — b) + b\ fe |a — b\ 4- |6| y |fe| = |(fe — a) fe a| fe \b — a| + |a|
En consecuencia:
|a| ~ I6! fe Ia — fe| y |6| — |a| fe |6 — a| = |a — fe|
Por tanto:
||a¡ - |fe|| fe |a - b\
Ejercicio 16
Como A es totalmente ordenado, se verifica alguna de las dos desigualdades a < b o b < a.
Si a < fe, se tiene:
2máx(a,b) = 2b y a4-b4-|a —b| = a4-b4- b — a = 2b
2 mín(a, 6) = 2a y a + b — |a — b| = a + b — (6 — a) = 2a
Ejercicio 17
Dado un elemento no nulo a de un cuerpo ordenado K, se tiene aa^1 = 1 y en consecuencia,
la//.1 = 1. De la propiedad 9 de la proposición 4.37 se tiene 1 = aa1 = |a||a-1|. Luego
el inverso del elemento |a| es el elemento la 11, es decir,
|a|-1 = |a-1|.
Ejercicio 18
Dado dos elementos a y 6 de un cuerpo ordenado K, se tiene 0 fe (a — 6)2 y 0 fe (a fe fe)2-
Al desarrollar .esos cuadrados se tiene:
0 fe a2 + b2 — 2ab =y 2ab fe a2 + fe2
Capítulo 5 315
0 A a + b2 + 2ab -- -2ab A a2 + b2
Como \2ab\ toma el valor 2ab o — 2ab, resulta que \2ab\ = 2|ab| A a2 + b2 . Ahora bien,
teniendo en cuenta que en todo anillo ordenado 0 3 1 y 1 S 1, resulta que 0 + 1 = 1 A
1 + 1 = 2 y como 0 A |ab| resulta que |«b| A 2[aí>|. En consecuencia, |afe| A a2 + b2.
Ejercicio 19
El primer miembro de la primera igualdad es el desarrollo de (a + b)n (yéase el apartado 3
de la proposición 4.21) al considerar a = b = 1, cuyo valor es 2n.
El primer miembro de la segunda igualdad es el desarrollo de (a + b)n al considerar a =
—6=1, cuyo valor es 0n = 0.
Ejercicio 20
a) Veamos que si m es cota superior de A entonces m' = /(m) es cota superior de A'. En
efecto, para cualquier y E A existe un x E A tal que y = f(x). Como m E U es una cota
superior de A y x E A, resulta que x A m, y al ser / creciente y = f(x) < /(m) = m'.
Así pues m' es cota superior de A'.
b) Si m es el máximo de A, m es una cota superior del conjunto y m E A. Así pues,
m' = f(m) E A' y es cota superior de A', es decir, m' es el máximo del conjunto A'.
c) Los apartados anteriores son también válidos para cotas inferiores y mínimos y en par
ticular se tiene que si m es el mínimo de un conjunto B Q U entonces m' = f(m) es el
mínimo de B’ = f(B). Teniendo en cuenta que si m = sup(A), entonces m = mín(B),
siendo B el conjunto de todas las cotas superiores de A, cabe pensar que la afirmación
sería correcta pues m' = J(m) es mínimo de B' = f(B). Pero aunque del apartado a)
se deduce que todos los elementos de B' son cotas superiores de A', sin embargo B' no
contiene necesariamente a todas las cotas superiores de A'. Veamos un ejemplo sencillo.
Sean U = (0, 2) U {3} y V = R siendo C el orden usual de R y A la restricción del orden
usual de R a (0, 2) U {3}. Sea la aplicación f: U —> V tal que f(x) = x, que es creciente,
y sea el conjunto A = (0,2). En este caso, m = supCÍ(A) = 3, A' = A y m' = f(m) — 3
pero sup(A') = supv(A) = 2. Observe que el conjunto B de cotas superiores de A en U es
B — {3} y claramente B' = B, sin embargo el conjunto H de cotas de cotas superiores de
A! en V es H = [2, Txj y H no coincide con B'.
Capítulo 5
Ejercicio 1
a) La operación * es conmutativa pues
Veamos si tiene elemento neutro. Buscamos e en N tal que a * e = a para todo a <= N. Es
decir, a + e + ae = a o equivalentemente ae + e = 0 para todo a 6 N que es válido para
e = 0.
Finalmente, si a es el simétrico de a, ha de verificarse que aka = 0, es decir, a+u'+aa/ = 0,
o equivalentemente, a'(l + a) + a = 0, que no tiene solución en N para a =4 0. Luego no
todo elemento tiene simétrico.
b) = a * a — 2a + a2,
a^ = c¿'2^ k a ~ (2a V a2') k a — 2a 4- a2 4 a í (2a 4~ a2^a — 3o. 4~ 3a^ V
= (3a4~3a^4-o^)T*r<i = 3o. } 3oÚ Vo/’’ . o ¡ (3o. ^3o.^ i o/'Jo. = 'lo. I 6o ~¡~4a 1 o3
Expresamos <krí) por recurrencia:
ft(n + l) = aW *a = a(„) + a + aM . a
Demostremos por inducción que para n > 1 se tiene:
En efecto,
a(n+1)
El último paso es consecuencia de las siguientes propiedades que satisfacen los números
combinatorios para todo n G N*:
1 + (”) = 1 + n - ("t1)
(p) + (p-i) = para todo p G N tal que 1 < p < n 4- 1 (véase ejercicio 9)
Capítulo 5 317
c: d = o = i
c) Demostraremos que a(m) *aw = a(m+n) si m,n e N* procediendo por inducción sobre
n.
i) Para n = 1 la igualdad es cierta para todo me N* pues a(m-) * a(1) = a(m+1).
ii) Supongamos que la igualdad es cierta para todo m G N* y para n. Probémosla
para n + 1. En efecto:
a (m) -k, a fn4-l) = a (m} * {a
/ (n)
* a)\ -11 asociativa
propiedad • ,•
= r'i,n'i *'i hipótesis de inducción
= *a definición recurrente de
= a((”1+n>+1) = a("í+’l+1)
Si queremos que la relación anterior funcione para n = O, se debe cumplir que n!":> =
a(m+o) _ a(m) para tod0 m G N*. Luego se debe tomar para a5°) el valor del elemento
neutro de *, esto es, = 0.
Ejercicio 2
ti(ti + 1)
Veamos que l + 2 + 3 + -- -+ n = — —- para todo n > 1.
1■2
i) Para n = 1, sustituimos y se obtiene la igualdad 1 = —, que es verdadera.
ii) Supongamos que la igualdad es cierta para n. Probémosla para n+ 1, es decir hay
que probar que l + 2 + 3 + -- - + n + (n+l) = tjLMlLzL?). En efecto:
__ (n + l)(n + 2)
2
Ejercicio 3
Veamos que 1 + 3 + 5 + ■ ■ • + (2n — 1) = n2 para todo n > 1.
i) Para n = 1, sustituimos y se obtiene la igualdad 1 = l2, que es verdadera.
ii) Supongamos que la igualdad es cierta para n. Probémosla para n + 1, es decir hay
que probar que 1 + 3 + 5 + - • • + (2n — 1) + (2(n +1) — 1) = 1 + 3 + 5 + - ■ ■ + (2n —1) +(2n+1) =
(n + l)2. En efecto:
(1 + 3 + 5 + ■ ■ • + (2n — 1)) + (2n + 1) = n2 + (2n + 1) = (n + l)2
Ejercicio 4
Veamos que 1 + 5 + 9 + • ■ ■ + (4n — 3) = n(2n — 1) para n > 1.
i) Para n = 1, sustituimos y se obtiene la igualdad 1 = 1(2 — 1), que es verdadera.
ii) Supongamos que la igualdad es cierta para n. Probémosla para n + 1, es decir hay
que probar que 1 + 5 + 94------ 1- (4n — 3) + (4(n + 1) — 3) = (n + l)(2(n+ 1) — 1). En efecto:
1 + 5 + 9 + • ■ ■ + (4n - 3) + (4(n + 1) - 3) = (1 + 5 + 9 + • • ■ + (4n - 3)) + (4n + 1)
= n(2n — 1) + (4n + 1) = 2n2 — n + 4n + 1
= 2n2 + 3n + 1 = (n + l)(2n + 1)
= (n + l)(2(n + 1) — 1)
318 Ejercicios resueltos
Ejercicio 5
xr , Á 2 n(n + l)(2n+l)
Veamos que l+4 + 9 + -- - + n= —----------------- - para todo n 1.
1 ■ Z ■ ¿5
Para n = 1, sustituimos y se obtiene la igualdad 1 = -------- , que es verdadera.
6
ii) Supongamos que la igualdad es cierta para n. Probémosla para n + 1, es decir hay
que probar que 1+4+94---- + n2 + (n + l)2 = 2)(2n + II. j£n efec£o:
(n + i)(r<2r±J) + („ + 1))
. . 2n2 + n + 6n + 6 . . 2n2 + 7n + 6
(n + 1)--------------------- = n + 1)------- --------
b b
(n + l)(n + 2)(2n + 3)
6
Ejercicio 6
Para comprobar que l3 + 23 + 33 + • • ■ + n3 = (1 + 2 + 3 + ■ ■ ■ + n)2 para todo n > 1,
77^77 “I- 1)
utilizamos la igualdad 1 + 2 + 34------ ln = v —- (ejercicio 2), y la igualdad de partida
se transforma en:
13 + 23 + 33 + ... + n3 = ^±^-
4
Procedemos a comprobar esta última por inducción.
I2 22
i) Para n = 1, sustituimos y se obtiene la igualdad l3 = —-— = 1, que es verdadera.
ii) Supongamos que la igualdad es cierta para n. Probémosla para n+ 1, es decir hay
que comprobar que:
13+23+33 + ...+n3 + (n + 1)3 = (n+l)2(n + 2)2
4
En efecto:
(1 + 23 + 33 + ■ ■ ■ + n3) +(n + l)3 = X)" + (n + l)3 = M,1) V_+
_ (n + l)2(n + 2)2
4
Ejercicio 7
Comprobamos por inducción que 1 + 2 + 22 + 23 4---- + 2" = 2n+1 — 1 para todo n > 1.
i) Para n = 1, sustituimos y se obtiene la igualdad 1 + 2 = 22 — 1 = 3, que es
verdadera.
ii) Supongamos que la igualdad es cierta para n. Probémosla para n + 1, es decir hay
que probar que 1 + 2 + 22 + 23 4------ 12" + 2"+1 = 2(n+1)+1 - 1 = 2n+2 - 1. En efecto:
(1 + 2 + 22 + 23 +---- 1- 2") + 2"+1 = (2"+1 - 1) + 2"+1 = 2(2n+1) - 1 = 2(n+1)+1 - 1
Capítulo 5 319
Ejercicio 8
n
Demostramos por inducción que ■ fc!) = 1 ■ 1! + 2 ■ 2! + 3 ■ 3! -I------ 1- n ■ n! = (n + 1)! - 1
fe=i
para todo n > 1.
i) Para n = 1, sustituimos y se obtiene la igualdad 1! = 2! - 1 = 1, que es verdadera.
ii) Supongamos que la igualdad es cierta para n. Hay que probarla para n + 1, es
decir, 1 ■ 1! + 2 ■ 2! + 3 • 3! + ■ • • + n ■ n! + (n + l)(n + 1)! = (n + 2)! — 1. En efecto:
(1 ■ 1! + 2 ■ 2! + ■ ■ • + n ■ n!) + (n + l)(n + 1)! = ((n + 1)! — 1) + (n + l)(n + 1)!
= (n + 1)1(1 + n + 1) - 1 = (n + l)!(n + 2) - 1
= (n + 2)!-l
Ejercicio 9
Para 1 < n C m — 1, se tiene:
(m — 1)1 (m — 1)!
(n — l)!(m — n)l n!(m — n — 1)!
n / (
I pues coincide con el
número de subconjuntos de n elementos del conjunto A \ {a}. Como los dos bloques tienen
. . m- 11 írn - 11 (m\
intersección vacia se obtiene pues que I + =1
In-1/ \ n I \n
Ejercicio 10
Si n = 0, no hay ninguna aplicación sobreyectiva de A a B.
Supongamos que n > 1. Sabemos que existen 2n aplicaciones de A a B. Observemos que
todas las aplicaciones posibles de A a B, sólo hay dos que no sean sobreyectivas, fi: A —> B
tal que /i(x) = 0 para todo x G A y fz: A —> B tal que f2(x) = 1 para todo x G A. Por
tanto el número de aplicaciones sobreyectivas de A a B es 2" — 2.
320 Ejercicios resueltos
Ejercicio 11
Si A y B son dos conjuntos finitos tales que card(A) = 8 y card(B) = 7, hay 78 aplicaciones.
Para cada aplicación f de A a B sobreyectiva existen dos y sólo dos elementos a¿ y a,j de
A y un elemento bk de B tales que
i) /(a¿) = = bk€ B y
ii) la restricción gtjk de f a Atj = A \ {ai,a,j}, gtjk- Aij —> H:, = B\ {6^}, es una
aplicación biyectiva.
Inversamente, si tenemos una aplicación biyectiva g de un subconjunto A' de 6 elementos
de A en un subconjunto B' de 6 elementos de B, existe una única aplicación sobreyectiva
/ de A en B tal que f es una extensión de g y f(A \ A') = B\ B'.
En consecuencia, como hay 6! biyecciones posibles de A! a B', í/ 8 subconjuntos
Ejercicio 12
a) Sea U el conjunto de todos los ciclistas de la escapada. Se tiene que card(U) = 9. Sea
el conjunto de los puestos en el podio F = {1, 2, 3}. El podio que está constituido por tres
ciclistas puede ser considerado como una aplicación inyectiva de F en U e inversamente,
siendo la imagen de i = 1,2 y 3 el corredor que llega en primer, segundo y tercer lugar
respectivamente. Estamos suponiendo que no hay posibilidad de ex aequo y por eso la
aplicación es inyectiva. En consecuencia hay Vg,3 = 9-8-7 = 504.
b) Sea V = {A, B, C, D, E] el conjunto de todos los equipos que participan en la escapada.
Se tiene que card(V) = 5. En este caso toda aplicación inyectiva de F en V determina
un podio por equipos pero la inversa no es cierta, porque por ejemplo el podio compuesto
equipo j4i,B2,7Í3 (el primero y tercero son del equipo A mientras que el segundo es del
equipo B) no se corresponde con una aplicación inyectiva. No todas las aplicaciones de A a B
determinan un podio por equipos, pues por ejemplo la aplicación f tal que /(l) = f (2) = D,
no es posible pues en el equipo D sólo hay un ciclista, que no puede ocupar el primer y
segundo premio. Las posibles composiciones de podium que no se corresponden con una
aplicación inyectiva son las siguientes:
La compuesta por los tres corredores del equipo A: hay 1:
Las compuestas por dos corredores del equipo A o dos del equipo B o dos del equipo
E: hay 4-3-3 posibilidades.
El 4 corresponde a la elección del equipo que no repite podium.
Un 3 corresponde al lugar que ocupa en el podium el equipo que no repite podium.
El otro 3 corresponde a la elección del equipo que repite dos veces podium.
Los podios que se corresponden con las aplicaciones inyectivas son 14,3 = 5 • 4 • 3 = 60.
Luego el podium por equipos se puede componer de
l + 4- 3- 3 + 5- 4- 3 = 97 maneras distintas.
Capítulo 5 321
Ejercicio 13
Se dispone del conjunto de dígitos, D = {0, 1, 2, 3,4, 5, 6, 7, 8, 9}, y se necesitan cuatro
dígitos para, crear un número de cuatro cifras. Hay que elegir cuatro dígitos, uno por por
cada uno de los cuadrados □ del número expresados en potencias de 10
□ • 103 + □ ■ 102 + □ ■ 10 + □.
Así pues un número de a lo más cuatro cifras puede identificarse con una aplicación / del
conjunto P = {3,2,1,0} al conjunto D. De esta manera el número 1423 se identifica con
la aplicación f tal que /(3) = 1, f(2) = 4, f (1) = 2 y /(O) = 3.
a) ¿Cuántos números de cuatro cifras hay?
La única condición que ha de imponerse a la aplicación f es que /(3) 0 pues en ese caso
el número sería Oabc que no se considera propiamente un número de cuatro cifras. Tenemos
que contar el número de aplicaciones del conjunto P al conjunto D tales que al elemento 3
no le puede corresponder el dígito 0, es decir, es el número de las aplicaciones de {0,1, 2, 3}
a D, todos los números con cuatro cifras incluyendo aquellos cuya primera cifra es cero,
menos el número de aplicaciones del conjunto {0,1,2} a D, que son los números de cuatro
cifras que empiezan por cero:
104 - 103 = 9 ■ 103 = 9000
Nota: También se puede observar que los números de cuatro cifras van desde el 1000 hasta
el 9999, ambos inclusive. Por tanto hay 9999 — 1000 + 1 = 9000.
b) ¿Cuántos de ellos son divisible por 5?
Como en el apartado anterior la primera cifra del número no puede ser cero. Además para
que el número sea divisible por 5 la última cifra tiene que ser 0 o 5. Así pues el conjunto A
de números, de cuatro cifras, divisibles por 5 se puede identificar con el producto cartesiano
de tres conjuntos:
el conjunto de las aplicaciones del conjunto {3} al conjunto D \ {0} cuyo cardinal es 91,
el conjunto de las aplicaciones del conjunto {2,1} al conjunto D cuyo cardinal es 102,
el conjunto de las aplicaciones del conjunto {0} al conjunto {0, 5} cuyo cardinal es 21.
En consecuencia el cardinal de A es 91 ■ 102 • 21 = 1800.
Nota: También se puede observar que de los 9000 números de cuatro cifras, la décima
parte, es decir 900, acaban en una cifra determinada (pues son 10 cifras distintas). Luego
habrá 900 que terminen en 0 y 900 que terminen en cinco.
c) ¿Cuántos números de cuatro cifras son pares? Se procede como en el apartado anterior
observando que la primera cifra no es cero mientras que la última cifra ha de ser un elemento
de {0,2,4,6,8}. Así pues el conjunto B de números, de cuatro cifras, divisibles por 2 se
puede identificar con el producto cartesiano de tres conjuntos:
el conjunto de las aplicaciones del conjunto {3} al conjunto D \ {0} cuyo cardinal es 91,
el conjunto de las aplicaciones del conjunto {2,1} al conjunto D cuyo cardinal es 102,
el conjunto de las aplicaciones del conjunto {0} al conjunto {0,2,4, 6,8} de cardinal 51.
En consecuencia el cardinal de B es 91 • 102 • 51 = 4500.
d) ¿Cuántos números de cuatro cifras son divisibles por 10?
322 Ejercicios resueltos
La primera cifra no es cero mientras que la última cifra ha de ser cero. Así pues el cardinal
del conjunto C de los números, de cuatro cifras, divisibles por 10 es 900.
e) ¿Cuántos de ellos son divisibles por 2 o por 5?
Se puede proceder como en los apartados anteriores pero también se puede observar que
hay que hallar cardjÁUB) siendo A y B los conjuntos definidos en los apartados anteriores.
card(A U B) = card(A) + card(B) — card(Á C B)
= card(Á) + card(B) — card(C') = 1800 + 4500 — 900 = 5400
Ejercicio 14
Se dispone de un conjunto D de 40 cartas distintas y se extraen cinco cartas para crear
una mano.
a) ¿Cuántas manos distintas se pueden obtener?
Hay tantas manos distintas como subconjuntos de cinco cartas se puedan formar con los
/40\
elementos del conjunto D, es decir, J
b) ¿Cuántas manos con dobles parejas?
Contamos el número de formas de elegir los valores de las dobles parejas. Se pueden formar
tantas como subconjuntos de dos elementos del conjunto {1, 2, 3, 4, 5, 6, 7, sota, caballo, rey};
esto es, { 2 ) •
Determinado un número de una pareja, por ejemplo 5, hay tantas parejas distintas de cin-
/q\
eos como subconjuntos de dos elementos del conjunto {5oros, 5espadas, 5bastos, 5copas, }; •
Luego el número de dobles parejas distintas que se pueden formar es • Ahora
bien, como una mano la componen cinco cartas, la última carta se escoge entre las 32 cartas
restantes que no son números de las pareja escogidas. De todo esto se deduce que el número
, r -+ j Z10} Z4} Z4j Z32}'
de manos solicitado es { 2 ) \2¿ \2/ \ 1 z *
c) ¿Cuántas manos con una pareja y un trío?
Primero determinamos cuantas formas distintas de trío y pareja se pueden formar, tan
tas como aplicaciones inyectivas del conjunto {Trío, Pareja} en los elementos del conjunto
{1,2, 3, 4, 5,6, 7, sota, caballo, rey}; Vio,2-
Determinado un número , por ejemplo 5, tenemos que hay tantas parejas, respectivamente
tríos, distintas como subconjuntos de dos, respectivamente tres, elementos del conjunto
{boros, 5espaaas, 5sastos, 5copas, }, es decir, i respectivamente •
m\ ¿4\
De todo esto se deduce que el número solicitado de manos distintas es Vio,2 }2 j (3/ •
d) ¿Cuántas manos con un poker? Sólo hay 10 posibles poker, pues sólo hay 10 car
tas de valor distinto. Ahora bien, como una mano la componen cinco cartas, la última carta
se escoge entre las 36 cartas restantes. De todo esto se deduce que el número solicitado de
manos distintas es i , I ( , I = 360.
Ejercicio 15
Dado un conjunto A C N no acotado, entonces se verifica que para cualquier m G N el
Capítulo 5 323
Ejercicio 16
La respuesta es negativa. Supongamos, por reducción al absurdo, que X es un conjunto
tal que ?(X) es numerable. Entonces existe una biyección h: ?(X) -> N. Tomando X' —
{/i({a}) | a £ X} resulta que X' es un subconjunto de N, biyectivo con X, y tal que ’J’(X')
es equipotente con N. De ser X' un subconjunto de N, resulta que X' es finito o numerable.
Pero si X' es un conjunto finito, entonces T(X') es finito, y por tanto el conjunto fP(X)
no sería numerable. Ahora bien, si X' es numerable, entonces por teorema 5.26, ?(X') no
es numerable y por tanto el conjunto T(X) no sería numerable. Luego, no existe dicho
conjunto X.
Ejercicio 17
Observemos que 0 G A puesto que 0 < /(O) obligatoriamente. Así pues, A 0.
Supongamos, por reducción al absurdo que A es un conjunto finito, entonces /(A) es un
conjunto finito. Sea p = máx{/(n) | n £ A}.
Para cualquier n G [0,p + 1]n tenemos que:
i) Si n E A, entonces f(ri) < p.
ii) Si n <£ A, entonces /(n) < n < p + 1. Luego f(n) < p + 1 y en consecuencia,
f(n) < p.
Así pues la imagen del intervalo [0,p + 1]n está contenida en el intervalo [0, p]w, que está en
contradicción con ser f inyectiva.
Ejercicio 18
Observemos en primer lugar que la aplicación f está bien definida pues para todo n E N,
el conjunto B„ := {m E B ¡ n m} es un conjunto no vacío contenido en N y por tanto
tiene mínimo.
a) f es creciente pues si n < n' entonces
{m E B | n < m} C {m E B | n C m} y en consecuencia,
mírifm G B | n < m} < tnírifm E B | n < m} es decir,
/(n) < /(«)■
b) Sean n G N arbitrario y Bn = {m E B | n < m}. De f(n) = mínBn, resulta que
/(n) E Bn y en consecuencia n < /(n).
c) Probamos que B = {n G N | n = f(n)} viendo la doble inclusión. En efecto:
i) Si n E B, entonces n G Bn = {m G B | n < m}, y en consecuencia n f(n) =
mín Bn, y puesto que en b) vimos que n < /(n), se concluye que n = f(n).
ii) Si n = f(n) = mín B„ entonces n G Bn G B y por tanto n G B.
d) Para todo n E N se tiene /2(n) = (/o/)(n) = f[f(n)\. Ahora bien, como f(n) G B„ C B,
del apartado anterior se obtiene que /(n) = En consecuencia, /2(n) = f(n) para
todo n E N.
324 Ejercicios resueltos
Ejercicio 19
x — 1 — (x — 1) si x < 1 JO si x< 1
a) ® — 1 + |x — 1| =
x— 1+x — 1 si x >1 |2x — 2 si x> 1
x — [—(a; — 1)] si x < 1 J 2.a; — f si x < 1
b) x — |x — 1| =
x — (x — 1) si x > 1 11 si x 7 1
c) Los valores que intervienen son — 3, —2 y — 1.
— (x 1-1) — (x + 2) — (x 4- 3) si x < —3
-(x + 1) - (x + 2) + (x + 3) si — 3 x < —2
|x + 1| + |x + 2| + |x 4-3|
— (x + 1) + (a + 2) + (x + 3) si — 2 < x < —1
(x — 1) + (x 4- 2) 3" (x + 3) si x2 1
—3x - 6 si x < —3
si — 3 < x < —2
x+4 si — 2 < x < — 1
(3x4-6
—3x — 6 si x < —2
|x + 1| + |x + 2| + |x + 3| 2 si i= —2
3x + 6 si x > —2
y
x2 i 2a; ■■ I si x -3
|(x + l)(x + 2)1 + |x + 3|
x2 + 4x + 5 si -3
Capítulo 5 325
Para ver que estas últimas expresiones suministran respectivamente la misma función que
los apartados c) y d), sólo hay que comprobar que coinciden en los tramos donde difieren
sus expresiones, que son los tramos — 3 C x < -2 y — 2 < x < —1, es decir, en x = 3 y en
x = —2.
Ejercicio 20
De la división entera de a entre b se tiene a = qb + r, donde 0 < r < [6|. Al multiplicar la
igualdad por n, se tiene na = q(nb) + nr, donde 0 < nr < |ní>|, es decir, q es el cociente
entero entre na y nb.
Ejercicio 21
Si mcd(a, b) = d, entonces existen dos números ai y 61 tales que
M = K'bid = Xaibid
mcm(a, 6)mcd(a, b) = ab
Ejercicio 22
a) Procedemos por inducción sobre n.
i) xo y xi son impares.
ii) . Supongamos que xn es impar con n > 1. Entonces, xn+i = xn + 2a5n-i es impar
pues es suma de un número par y un número impar.
En consecuencia, xn es impar para todo n G N.
b) Procedemos por inducción sobre n para demostrar que mcd(xn, xn+x) = 1-
i) Para n = 0, rncdf'x,,, a;n+i) = mcd(xo, reí) = mcd(l, 1) = 1.
ii) Supongamos que mcd(xn, Kn+i) = 1 y veamos que mcd(xn+i, «n+z) = 1- Basta
observar que si d es un divisor de xnyi y de xny2, entonces d es un divisor de 2xn pues
2xn = Xn+2 — ®n+i. Por el apartado anterior, d no puede ser un número par, luego d y
2 son primos entre sí y aplicando el teorema. 5.52 resulta que d es un divisor de xn. He
mos visto que todo divisor de xn+i y de a;n+2 es divisor de xn y de x„+i y por tanto,
mcd(xn+i,xn+2) = 1 si mcd(a;„,xn+i) = 1.
Luego, mcd(rrn, x„+i) = 1 para todo n G N.
Veamos ahora que mcd(xn, Xn+2) = 1 para todo n G N. En efecto, fijado n G N, sea d G N
un divisor de xn y x„,2. Como xn+2 — 2xn = xn+i, resulta que d es también un divisor de
Xn+i y por tanto d es un divisor de rnc<l(.-r„.. xn+i) = 1. Es decir, d = 1.
326 Ejercicios resueltos
Ejercicio 23
Basta emplear la propiedad distributiva y reagrupar términos de igual grado para trans
formar el segundo miembro de la igualdad en el primero.
Ejercicio 24
Es muy fácil ver, basándose en las propiedades de la suma en Z, que (Z2,+) es un grupo
conmutativo, siendo (0,0) el elemento neutro y (—a, — ti) el opuesto del elemento (a,b).
El producto es asociativo en Z2 pues
[(a, ti) ■ (c, d)] • (e, /) = (ac, bd) ■ (e, /) = ((ac)e, (bd)/) = (a(ce), b(d/)) = (a, ti) ■ [(c, d) ■ (e, /)]
cualesquiera que sean (a, ti), (c, d), (e, f) G Z2.
El producto es conmutativo en Z2 pues
(a, b) ■ (c, d) = (ac, bd) = (ca, db) = (c, d) ■ (a, 6)
cualesquiera que sean (a, b), (c, d) G Z2.
El producto es distributivo respecto de la suma:
(a, b) ■ [(c, d) + (e, /)] = (a, b) ■ (c + e, d + /) = (a(c + e), b(d + /)) = (ac + ae, bd + b/))
= (ac, bd) + (ae + bf) = (a, b) ■ (c,d) + (a, b) • (e,f)
cualesquiera que sean (a, b), (c, d), (e, f) G Z2. *
El elemento (1,1) es el elemento neutro para el producto pues (a, b) • (1,1) = (a, b), para
todo (a, b) G Z2.
Luego (Z2, +, •) es un anillo conmutativo unitario.
Veamos que el anillo (Z2, + , •) no es íntegro. Para ello, comprobemos que tiene divisores
de cero. Recordemos que (a, ti) (0,0) es un divisor de cero si existe (c, d) (0, 0) tal que
(a, b) • (c, d) = (0,0), es decir, (ac, bd) = (0,0). Luego todos los elementos de la forma (a, 0)
con a G Z* o (0, ti) con b G Z* son divisores de cero.
Capítulo 6
Ejercicio 1
Recordamos que d G Q es un número decimal si y sólo si existe n G N tal que d ■ 10" £ Z.
Comprobemos que (D,+,■) es un subanillo de (Q,+,•)■ En efecto, para todo a,b G D,
existen n,m G N tales que a ■ 10" 6 Z y b ■ 10m 6 Z. Si p = máx(n,m), entonces también
a- 10p 6 Z y b- 10p G Z. En consecuencia, a- 10p — b- 10p = (a —b)10p G Z y (a- 10")(b- 10m) =
ab • 10"+m G Z. Además, 1 = 1- 10°. Por tanto, a — b G D, ab G D y 1 G D. Luego, (D, +, ■)
es un subanillo de (Q, + , •)■
Que el anillo (D,+, ■) es íntegro se desprende de que (Q, +, ■) lo es pues (Q, +, •) es un
cuerpo.
Análogamente la restricción del orden de Q a D, lo convierte en un anillo ordenado puesto
que (Q, +, ■, <) es un anillo ordenado.
Finalmente, no todo elemento de D tiene inverso en D, por ejemplo, 3.
Ejercicio 2
111
Veamos que para todo n G N*. el número--- 1---------- 1------- - no es un número decimal.
n n+1 n+2
Capítulo 6 327
Ejercicio 3
La relación C es una relación de orden total en QX. En efecto:
P. reflexiva; a C a para todo a E QX pues ca+'~ = 1 = 1/1 G H.
P. antisimétrica: Para todo a, p E QX tales que a <+ (3 y P <C a, se cumple que aíT 1 G H
y 3'+' E H. Ahora bien, a(3~x y 3n': son dos números racionales inversos uno del otro,
por tanto si od ' = a/b, entonces /At 1 = b/a y como ambos son elementos de H resulta
que a C b y b < a, es decir a = b. Por tanto, rQ = a/b = 1, o equivalentemente, a = p.
P. transitiva: Sean a, P y q G QX tales que a /3 y P <C q. Se cumple que 1 = a/b G H
y 3'p = c/d G H, esto es, a < b y c < d. Pero:
aq 1 = a(P 1 /3)q 1 = (afl X)(Py = (a/b)(c/d) = (ac) / (bd)
Ejercicio 4
Observemos en primer lugar que si una fracción no es irreducible, entonces existe un divisor
d E N*, d > 1, común al numerador y al denominador de la fracción y primo. Supondremos
además que (a,b) (1,1), y en consecuencia si a/b es irreducible, entonces a b. Com
pruebe directamente que pasa para a, = b = 1.
Supongamos, por reducción al absurdo, que (a + b)/a no es irreducible y sea d E N*, d > 1,
divisor de a + b y de a. Es decir, a + b = dm y a = dn con m,n 6 N*. En consecuencia
b = dm - a = d(m — n). Por consiguiente d es también un divisor de b. En contradicción
con la hipótesis de a/b irreducible.
Análogamente, supongamos, por reducción al absurdo, que (a — b)/(ab) no es irreducible y
sea p G N*, p > 1, un divisor primo de a — b y de ab. Es decir,
328 Ejercicios resueltos
a — b = PQ , x v ■ I « = PQ + fe
con (</, r) 6 Z x M . En consecuencia, <
ab = pr I (pq + 6)6 = pr
De la segunda igualdad resulta que p(r — qb) = 62. Por consiguiente p es también un divisor
de 62. Del teorema de Gauss, teorema 5.52, se deduce que p y 6 no son primos entre sí. Al
ser p un número primo resulta que p divide a 6, esto es, 6 = ps con s E N*. Ahora bien,
como a = pq + 6 = pq + ps = p(q + s), p también es divisor de a. En contradicción con la
hipótesis de a/b irreducible.
No es cierto en general que (a2 + 62)/(a + 6) sea irreducible aunque a/b lo sea. Por ejemplo
si a y 6 son ambos impares y primos entre sí, (a2 + fe2)/(a + 6) es una fracción que se
simplifica por 2 pues el numerador y el denominador son ambos pares.
Finalmente, (a2 +62)/(a6) es una fracción irreducible pues si no lo fuera, existe k E N‘,
k > 1, tal que k es un divisor primo de a2 + 62 y de ab. Resulta fácilmente que k es un
divisor de (a + 6)2 = a2 + 62 + 2a,b. Procediendo como en el segundo caso resulta que
k es un divisor de a + 6. Es decir, la fracción (a + 6)/(a6) no es irreducible. De nuevo,
procediendo exactamente igual que en el segundo caso se prueba que k es un divisor de a
y de 6. Contradicción.
Ejercicio 5
Veamos primeramente el ejemplo: Hacemos la división entera de 217 entre 52 y se obtiene:
217 = 4 • 52 + 9, es decir:
217 9 1
12 -4+52-4+^r
9
Se efectúa la división entera de 52 entre 9 y se obtiene 52 = 5 ■ 9 + 7, es decir:
52 r 7 r 1
V~5+9-5+"T
7
Al sustituir resulta:
217 „ 1
5+ 9
7
Efectuamos la división entera de 9 entre 7, 9 = 1 • 7 + 2, que conduce a
9,2, 1
— — 1 A — — 1 + —~—
7 7 7
2
y sustituyendo:
217 1
r
+ ~T
2
Finalmente, 7 = 3 • 2 + 1, por tanto,
2=3+l
Capítulo 6 329
y finalmente se obtiene:
217
~52~4 +
217 == 4-52 + 9
52 == 5-9 + 7
9 == 1-7 + 2
7 == 3-2 + 1
2 == 2-1+0
que dispuestos en forma de tabla, se obtienen los coeficientes (do,ai,a2,as,a.4) que son
217 52 9 7 2 1
Cociente 4 5 1 3 2
Resto 9 7 2 1 0
ro = qm + r2
ri = qzr-2 + r3
ri = q3r3 + r4
J’fe-2 = gk-m,-! + 1
Tfe-i = qk ■ 1 + 0
ri r-j+2 1
777 = ®+1 + = ®+i + ~rj+T
'j+i '3+1 —
D +2
330 Ejercicios resueltos
<73 +------------ -
<74 2-------------------- -
' • Qk-i 4----
<7fe
Es decir, que los enteros naturales ao, ai, a?, ■ ■ ■, a„ no nulos que determinan la fracción
continua de - son justamente los cocientes <?i, <72, <73, ■ ■ ■, <7fc de las divisiones enteras del
b
algoritmo de Euclides para hallar el máximo común divisor de a y b.
ao, es 0.
Ejercicio 6
Observación: Es fácil comprobar que si a 6 R y r G Ry entonces
|e| r 4=> —r < a Gi r (2)
|a| r 4=> a r o a —r (3)
donde las equivalencias son también válidas cuando se sustituyen las desigualdades en ambos miem
bros por desigualdades estrictas.
a) Utilizando (2) se tiene que:
c) Se tiene:
í — (x + 2) — (x — 2) si x < —2 í ~%x si x < —2
|x + 2| + |x — 2¡ = < x + 2 — (x — 2) si — 2 < x < 2 = < 4 si — 2 x < 2
Ix+2+x—2 1 2x
si x > 2 si x > 2
Capítulo 6 331
Luego:
y
x2 — 3a: — 12 < 0 (x + 2)(ar — 6) <0 x G (—2,6)
el conjunto pedido es S¿ = ((—oo, —3) U (4, oo)) C (—2,6) = (4,6).
e) Se tiene:
> 0 -í==> (x + l)(a: — 1) > 0 y x \
El conjunto pedido es Se = (—oo — 1] U (1, oo).
f) Se tiene:
x< 1 si 1 < x
x2 4- x — 2 < 0 si 1 x
2a;2 + 2x - 1 < 0
- -1 < x(l—x) < -1 G=> —1 2a; -2.Z-2 < 1
2a:2 - 2a; + 1 > 0
1 - V3 1 +a/3
La ecuación 2a:2 + 2x — 1 = 0 tiene dos soluciones, 2 y 2 y en consecuencia:
1 - a/3 1 + a/3
2x2 + 2a: — 1 < 0 4=> x G
2 ’ 2
332 Ejercicios resueltos
1<—2<1 si x < — 1
||rr + 1| - |x-l|| <1 < — 1 < 2x < 1 si — 1 < x < 1
—1 < 2 < 1 si x > 1
Ejercicio 7
a) Basta observar que A = {x2 | —2 < x < 1} = [0,4] y por tanto máx(A) = sup(A) = 4 y
mín(A) = ínf(A) = 0.
b) Basta observar que {x G R | x2 — x + 4 < 0} = 0. Cualquier elemento de R es cota
superior y cota inferior del conjunto vacío. Por tanto, no existe el supremo de A ni el ínfimo
de A pues el conjunto R, no tiene máximo ni mínimo.
Nota: Usualmente el supremo y el ínfimo se definen sólo para conjuntos no vacíos.
c) Basta observar que A = {.r G R ¡ x2 1 .'c + 1 > 0} = R no está acotado y en consecuencia
no existe el supremo de A ni el ínfimo de A.
d) Como A = {(n + l)/n | n G N*} = {2, 3/2, 4/3, ...,(n+l)/n,...}, claramente A C [1,2].
Ahora bien 2 es una cota superior de A y además 2 G A, en consecuencia, 2 = máx(A).
Comprobemos que 1 = ínf(A). Hay que comprobar que cualquier cota inferior de A es
menor igual que 1, o equivalentemente que todo número que no sea menor o igual que 1
no es cota inferior. Como la relación de orden < es orden total, bastará ver que cualquier
número mayor que 1 no es cota inferior de A. En efecto, sea 1 + e, con e > 0, veamos que
existe n G N* tal que (n + l)/n < 1 + e. Pero (n + l)/n = 1 + 1/n, luego la desigualdad
se transforma en 1/n < e o equivalentemente ne > 1. La existencia de n G N cumpliendo
que ne > 1 se debe a la propiedad arquimediana de R (proposición 6.12). Además, se tiene
trivialmente que n/0. En consecuencia, 1 + e, con e > 0, no es cota inferior de A y por
tanto 1 = ínf(A). Como 1 A, no existe mínimo de A.
Además como 1 + x2 > 0 resulta que 0 -—j. Así pues, A C (0,1]. Además 1 € A pues
Ejercicio 8
a) Tenemos que ver que para todo x G R tal que x > 0, existe un número natural n tal que:
3(2n + 2) — 2(3n + 1)
3(3n + 1) < X
4 < 3(3n + l)x
4 - 3x < n(9x)
La existencia de dicho n es consecuencia de la propiedad arquimediana aplicada a 9x > 0
y 4 — 3x.
b) Tenemos que ver que para todo rGR, existe un número n G N tal que:
Observamos que si x < 0, basta tomar n = 2. Supongamos pues que x > 0. Tenemos que
probar que
n2 + n
------ — > x esto es:
n~1
n2 +n > (n — \)x
n(n + 1 — x) > —x
Observamos que la última desigualdad es cierta si existe n G N* tal que n + 1 — x > 0 pues
en ese caso, el primer miembro de la desigualdad es estrictamente positivo. La existencia
de dicho n es consecuencia de la propiedad arquimediana aplicada al > 0 y x — 1, es decir,
existe n G N tal que n ■ 1 > x — 1, esto es, n + 1 - x > 0.
Ejercicio 9
Basta hacer la división para obtener
1 7
- = 0,142867142867142867 ... y - = 1,16666666 ...
334 Ejercicios resueltos
Ejercicio 10
Procediendo como en la observación que sigue a la proposición 6.15 se obtiene:
12- 1 11 121 - 1 120 40
1,22222 ... = ------- = —; 1,212121 ... = -------- = ---- = —;
9 9 99 99 33
121210 - 121 121089 40363
1,21210210... — --------------- — -------- — ------ .
99900 99900 33300
Ejercicio 11
Dado que cualquier elemento del conjunto B es una cota superior del conjunto A, entonces
el axioma del supremo asegura que existe sup(A). Análogamente, al ser cualquier elemento
a e A una cota inferior de B, entonces la proposición 6.10 asegura la existencia de ínf(B)
Dado cualquier e > 0, de las definiciones de supremo y de ínfimo se deduce que sup(A) — e/2
no es cota superior de A e ínf(B) + e/2 no es cota inferior de B. En consecuencia, existen
a G A y b G B tales que sup(A) — e/2 < a y b < ínf(B) + e/2. Así pues:
sup(A) <a+|<6+|< ínf(B) + e.
Como la desigualdad sup(A) < ínf(B) + e es verdadera para cualquier e > 0, en consecuen
cia sup(A) < ínf(B).
Aún siendo la desigualdad sup(A) < ínf(B) + e estricta, no se puede asegurar que sup(A)
ínf(B). En efecto, los conjuntos A = (0, 1) y B = (1,2) cumplen las condiciones del enun
ciado y sin embargo sup(A) = ínf(B) = 1.
Ejercicio 12
Sean m una cota superior de A y n una cota superior de B. Para cualquier c G C existen
a G A y b G B tales que c = a + b, por tanto c = a + 5<m + n, es decir, m + n es una cota
superior de C. En particular, sup(A) + sup(B) es una cota superior de C, por tanto:
Para cualquier e > 0, sup(A) — e/2 no es cota superior de A y sup(B) — e/2 no es cota
superior de B. En consecuencia, existe a G A tal que sup(A) — e/2 < a y existe b G B tal
que sup(B) — e/2 < b. Para c — a + b C se tiene sup(A)+sup(B) — e < a + b = c sup(C).
Es decir, la desigualdad sup(A) + sup(B) — £ < sup(C) es verdadera para cualquier e > 0.
En consecuencia:
sup(A) + sup(B) < sup(C)
La demostración de la igualdad ínf(A) + ínf(B) = ínf(C) es análoga.
Ejercicio 13
a) Si m es una cota superior de A y n es una cota superior (inferior) de B, como para
cualquier d G D existen a G A y b G B tales que d = ab, resulta que d = ab < mb < mn
pues b, m 0, a < m y b < n. En consecuencia, mn es una cota superior de D. En
particular, sup(A) sup(B) es una cota superior de D, por tanto:
Así pues sup(A) sup(B) < e + sup(D) para cualquier e > 0 y en consecuencia:
Ejercicio 14
Veamos que a¿ < bj para cada i,j E I. En efecto, sean i,j E I cualesquiera y sea c g
[di, 6i] O [dj,ir,] 0. Se obtiene que ai < c + b3 y por tanto a¿ < bj.
En consecuencia cualquier elemento de {<z¿ | i E /} es una cota inferior del conjunto
[bi | i E 1} y cualquier elemento de Ib, ( i E 1} es una cota superior del conjunto (a; | i E 1}.
Sean a = sup{a¿ | i E 1} y P = ínfjb, | i E I}. Como cada bj es cota superior de {a¿ | i E /},
resulta que a < bj para todo j E I. En consecuencia, o es cota inferior de {bi \ i E 1} y
por tanto a < ¡3.
Claramente [a-,/3] C nieJ-[a¿,bí] pues a¿ < a < P < bi. En consecuencia, [d¿, b¿] 9-
Nota: se puede demostrar además que [di, 6¿] C [a, /?]. En efecto, si x £ [a, P], entonces
x < a o x > P- Si x < a, x no es cota superior del conjunto {a¿ | i E 1} pues el supremo
a es la menor de las cotas superiores de {a, | i E I}. En consecuencia, existe io E I tal que
x < aiu. Por consiguiente x [a¿0,b¿0] y se obtiene que x £ b¿]- El caso x > P es
análogo.
Ejercicio 15
Veamos que K es un subcuerpo de R. K =p 0 pues 0 = 0 + Oa/2 E K .
i) Sean u, v E K arbitrarios, veamos que u — v E K. Existen a,a',b,b' E Q, tales que
u = a + bV2 y v = a + b'\/2. Por tanto:
Observemos que a'2 — 2b/2 0 pues si fuera, a'2 — 2b'2 = 0, entonces si b' = 0 resulta que
a'2 = 0, esto es, a' = 0, en contradicción con v = a' + b'V2 0, mientras que si 6' y= 0,
/a'\2
entonces 1 — 1 =2, que contradice el supuesto de que a ,b' £ Q.
\b' J
~ aa’~2bb‘ -ab'+a’b
C°m° rt^W2 Y a'2 - 2b'2 6 Q’ reSU1 QUe UV K-
Ejercicio 16
Construimos una biyección de [0, Ij en (0, Ij. Sea el conjunto:
A = {0,1/2,1/3,. .., 1/n,... } = {0} U {1/n | n £ N y n > 1}
Definimos h(0) = 1/2, /i(l/2) = 1/3, .. .y ft(l/n) = l/(n + 1) para todo n € N tal que
n > 1. Para los demás elementos, si x C [0,1] \ A, se define h(x) = x. Está claro que h es
inyectiva, h(A) = A \ {0} y /i([0, 1] \ A) = [0,1] \ A. En consecuencia, h es una biyección
de [0,1] en (0,1],
La construcción de una biyección de [0,1] en [0, 1) es similar. Sea el conjunto:
B= {1,1/2, 1/3, ...,1/n,...} = {1/n | n € N’}
Ejercicio 17
Se procede como en el ejercicio anterior. Sea el conjunto
C = {0,1,1/2,1/3, ...,1/n,... } = {0}U {1/n | n £ N*}
{
1/2 si x = 0
l/(n + 2) si x £ C, x = 1/n con n £ N*
x si x C
Ejercicio 18
La aplicación f es inyectiva. En efecto, sean x, y 6 ( — 1,1) tales que /(a?) = f(y). Veamos
que x = y. Observamos en primer lugar que si f(x) = ----- = fty) = --------- necesa-
1-m i-M
riamente x, y 0 o x, y < 0, pues cualquier elemento y su imagen tienen el mismo signo.
Así pues:
x y ~ 1^1) = yt1 ~ M) X~ m¡7/j = y - y\x\ x=y
Donde la última implicación es fruto de la igualdad x\y\ = y|cc|, tanto si x,j/ > 0, como si
x, y < 0.
Veamos que la aplicación f es sobreyectiva, es decir, Im(/) = K. Hay que demostrar que
para cualquier y E R, existe x E (— 1,1) tal que f(x) = y. Como hemos observado antes, x
e y = f(x) necesariamente tienen el mismo signo. Así pues:
V
si y < 0 si y < 0
y =
1—y
y — yx — x si y 0 y
i+y
__ x y
=> X — ------ :—-
1+M
Luego, para x = - y se tiene f(x) = y.
En consecuencia, la aplicación f es biyectiva. De hecho la aplicación inversa es f~1(y) =
y p— para todo y E R.
-----
1+M
Ejercicio 19
La aplicación biyectiva que exponemos a continuación hace uso de la función exponencial
338 Ejercicios resueltos
si i < 0
si i > 0
La función f es estrictamente creciente en todo R y alcanza todos los valores del intervalo
(a,b). La demostración rigurosa de estos hechos utiliza ciertos conocimientos específicos
sobre la función exponencial.
Se puede construir otra aplicación biyectiva, haciendo uso del ejercicio anterior. Ya sabemos
que la aplicación
9- R -^(-1,1)
x g(x) =
p: R —> (a, 6)
x i—> p(x) = (ho g)(x)
es también biyectiva.
Ejercicio 20
a) Sea Pn el conjunto de los polinomios de coeficientes enteros de grado menor o igual que
n, con n > 1. Observemos en primer lugar que existe una biyección entre Pn y Zn+1, la que
identifica todo polinomio de grado menor o igual que n, ag +a¡x + ■ ■ - + anxn, con la (n +1)-
úpla («n, an-i, ■ • ■ ,ai, aoj- En consecuencia, Pn es un conjunto numerable pues Z"+1 lo es.
Como cada polinomio p de Pn tiene a lo sumo n raíces reales, el conjunto Ap = (r E R |
x es raíz de p} tiene cardinal finito (< n) y por tanto, el conjunto Hn = Ap de todas
p£P„
las raíces reales de cualquier polinomio de Pn es a lo sumo numerable pues está contenido en
la unión numerable de conjuntos finitos. Además como Z C Hn, pues todo número entero
a es raíz del polinomio x — a, resulta que Hn es numerable. El conjunto H = Hn
ngN*
es numerable ya que es unión numerable de conjuntos numerables y H es precisamente el
conjunto de números reales algebraicos.
b) El conjunto de los números trascendentes no es numerable pues si lo fuera, R sería
numerable pues sería la unión de dos conjuntos numerables.
Capítulo 7 339
Capítulo 7
Ejercicio 1
Se trata de comprobar que el conjunto C = {a + ib | a, b e R} con las operaciones definidas
mediante
cualesquiera que sean z = a + ib, z' = a' + ib', forma un cuerpo conmutativo. En efecto, la
suma satisface en C las siguientes propiedades:
1. Es conmutativa pues para todo z, z' e C:
z 4- z¡ = (a + ib) + (a! + ib') = a 4- a' + i(b + b') = a’ + a + i(b’ + b)
= (a' + ib') + (a + ib) = z + z.
2. Es asociativa pues para todo z, z , z" E C.
(z + z') + z" = [(a + ib) + (a' + ib')] 4- (a" + ib")
= [a + a' + i(b + b')] + (a" + ib")
= (a 4- a') + a" 4- i[(b 4- b') -4 b"]
= a 4~ (a' 4- a") 4- i[b + (b' 4~ b")]
= (a 4- ib) 4- [(a' 4- ib') 4- (a" 4- ib")] = z 4- (z 4- z")
3. El elemento 0 = 0 4- Oí es el elemento neutro de la suma pues para todo z E C:
z + 0 = (a + ib) 4- (0 + Oi) = a 4- 0 4- i(0 4- b) = a 4- ib = z
4. El elemento opuesto del número complejo z = a + ib es — z = —a 4- i(—b).
z 4- (—z) = (a 4- ib) 4- (—a + i(—b)) = a + (^a) 4- í(b 4- (—b)) = 0 4- i0 = 0
El producto satisface las propiedades siguientes:
1. Es conmutativo pues para todo z, z' E C:
zz = (a 4- ib)(a' 4- ib') = aa — bb' 4- i(ab' 4~ a'b) = a'a — b'b + i(a'b 4- ab')
= (a' 4- íb')(a 4- ib) = z' z.
2. Es asociativo pues para todo z, z , z" € C:
(zz')z" = [(a 4- ib)(a' 4- ib')](a" + ib") = [aa' — bb' 4- i(ab' + a'b)](a" + ib")
= (aa' — bb')a" — (ab' 4- ab)b" 4- i[(aa' — bb')b" 4- a"(ab' 4- a'b)]
= aa'a" - bb'a" — ab'b" — a'bb" 4- i(aa'b" — bb'b" 4- a"ab' 4- a"a'b)
= a(a a" — b'b") — b(b'a" + a'b") 4- i[a(a'b" 4- a"b') 4- (a’a" — b'b")b]
= (a 4- ib)(a'a" — b'b" 4- i(a'b" 4- a"b'))
= (a 4- ib)[(a' +- ib')(a" 4- ib")] = z(z'z")
3. El elemento 1 = 1 + Oi es el elemento neutro del producto pues para todo z E C:
z ■ 1 = (a 4- íb)(l +0i)=a-l — b-04- i(a - 04-1- b) = a + ib = z
4. El elemento inverso del número complejo no nulo z = a + ib es:
Z 1 a2+t>2 + «
Ejercicio 2
Operando se obtiene:
a + 6z (a + 6z)(2 + ¿) 2a — 6 . Z12 4-a\
z~ “ (2 - i)(2 +¿) “ 5 +? \ 5 y
Ejercicio 4
Operando se obtiene:
z 4- z z 4- z' 14- zz'
w -------- = -------- ■ -----—
=
1 4- zz' 1 4- zz’ 14- zz'
z. 4- z 4- zzz' 4- z'zz'
1 4- zz' 4~ zz' 4- zz'zz'
Teniendo en cuenta que z~z = [,?|2 = 1 y z'z' = [i/j2 = 1, se obtiene:
z 4- z' 4- z' + z
w = ------------ =----
1 4- zz' 4- zz' 4- 1
2Re(z) + 2Re(z') Re(z) 4- Re(z')
2 4- 2Re(zT) 1 4- Re(z2')
Capítulo 7 341
Ejercicio 5
Expresamos z e C en forma exponencial, z = /!+'’. Sustituyendo en la ecuación z2 = z se
obtiene, B2ez2“ = Re'' y en consecuencia:
f R2 = R í R = 1 o R=0
, esto es: < „
(2a = —a [mod 2vr] (3a = zktt
' z — 0
Zq = ew = 1
Se obtendrían las soluciones: <
Z1 =
, Z2 =
Ejercicio 6
a)Tomando w = z5, la ecuación 10 + 2z5 + 1 = 0 se transforma en w2 + 2w + 1 = 0, que
tiene una única solución w = -1 que escrita en forma polar es w = 1 Si z = ra, se debe
verificar: rfa — + y se obtiene:
í r5 = 1 (ecuación en R+)
1 5a = 7T [mod 2?r] , y por tanto: 7T r j 2ir
5 [mod—]
Las raíces quintas de —1 son:
si k = 0, ZO = e 6
si k = 1, zi = e i —5
j 5-7T
si k = 2, Z2 ~ e' s = e' = -1
si fe = 3,
si fe = 4, z4 = e1^
b) El discriminante de la ecuación z2 + 2(1 + Í)z - 5(1 + 2i) = 0 es
es decir, 2 + i y —4 — 3i.
c) Para resolver la ecuación
z6 + z3(z + l)3 + (z + l)6 = 0
z
342 Ejercicios resueltos
es decir:
f r = 1 í r — 1
[ a = V [mod yj y [mod
( 9
, . 7- 2.7T • 8tt j 14tt • 4tt • IXhr
Se obtienen las soluciones ííi = e o , w2 = e » y ug = e o de wi y u4 = e o , u& = e «
y ue = de W2- Finalmente de u = se obtiene despejando z, z =----- -. Obsérvese
z u—1
que si u = éa, entonces:
1 _ 1 _ (cosa — 1) — ¿sena
em — 1 (eos a — 1) + i sen a (coso: — l)2 + sen2 a
(cosa — 1)—¿sena _ (cosa —1) . sena
2 2 eos a 2(1 —cosa) 2(1—cosa)
1 / . fa\ \
-d1+íCOtgU)
En consecuencia se obtienen las seis soluciones de la ecuación:
Z1 = -j(1+¿c°tg(^)),
1 /, • /7tt>
Z3 = ( 1 + íCOtg ( —
1 ( . / 5tt
«5 = -X 1 + ÍCOtg —-
z \ \ y
Ejercicio 7
a) Tenemos que probar que |z + z'|2 = |z|2 + 2Re(z • z') + [z'l¿.
Capítulo 7 343
La última igualdad es consecuencia de que zz' y z'z son conjugados y que para todo w E C
se cumple que w + w = 2Re(w).
b) Es análogo al anterior:
Ejercicio 8
, c i i i , , •- ~b 4“6 —b ~e ■ j
a) Sabemos que las soluciones de la ecuación son zj = -------- y Z2 = —----- siendo e
2a ¿a
una raíz cuadrada del discriminante A = b2 — 4ac de la ecuación dada. En consecuencia:
—b + e\ / — b — e\ __ b
Z1 + Z2
2a J \ 2a J a
Zl ' Z2
b2 — A b2 — b2 + 4ac c
4a2 4a2 a
Obsérvese que hemos utilizado el siguiente hecho: En un rombo, las diagonales son bisec
trices de los ángulos opuestos.
Capítulo 7 345
2) El recíproco es cierto. En efecto veamos que si |c| = 1, |&| < 2 y arg(c) = 2arg(í>) [mod 2tt] ,
entonces |zi| = |z2¡ = 1- Si b = Re'*3, siendo R < 2 , entonces c = e'2^ y por tanto:
es decir:
-R+x/4^R2¿ -R-VT^fíP i(j
zi = --------- ---------- e y z2 = -------------------- e p
A, , ,2 \~R+V^R^r J2 [-R+VI^ñ^l2 , j«i2 R2T4-R2 1
Asi pues, |zi| = --------- ---------- = ---------------------------- |e2q —--------------- — i.
Análogamente \z2\ ~ 1-
Ejercicio 9
Podemos suponer que z/0 pues si z = 0 entonces P = O.
a) Las rectas OP y OQ son perpendiculares si y sólo si
esto es,
( 1 + Z2\ TT
arg I ------- 1 = — [mod ir]
1 + z2
o equivalentemente, el número complejo ------- es imaginario puro. Ahora bien, para z =
z
a + ib con a, b E R se tiene:
1 + z2 _ (1 + z2)z _ z + |z|2 • z a — ib + (a2 + h2)(a + ib)
z zz |z|2 a2 + b2
_ <i(l T <i2 4~ b2) . 6(—1 + a2 T b2)
a2 + b2 1 a2 + b2
1 + z2
En consecuencia, ------- es imaginario puro si y sólo si a(l+a2 + b2) = 0, es decir, a = 0. En
definitiva, el conjunto de los puntos P tales que las rectas OP y OQ son perpendiculares,
es el conjunto de los puntos del eje y, excluido el origen de coordenadas.
b) Análogamente los puntos O, P, y Q están alineados
esto es,
/1 + z2 \
arg I ------- j = 0 [mod tt]
346 Ejercicios resueltos
o equivalentemente, el número complejo ------- es real. Ahora bien, ------- es real si y sólo
z z
si 6(—1 + a2 + b2) = 0, esto es, b = 0 o a2 + b2 = 1. En definitiva, el conjunto de los puntos
P tales que O, P, y Q están alineados es la unión del conjunto de los puntos del eje x,
excluido el origen de coordenadas, y del conjunto de puntos de la circunferencia de centro
el origen de coordenadas y de radio 1.
Ejercicio 10
Se procede como en el ejemplo 7.6. Se calcula (cosa + i sena)5 mediante el desarrollo del
Binomio de Newton y mediante la fórmula de Moivre. Se igualan entonces las partes reales
o las partes imaginarias de ambas expresiones. Se tiene:
Por tanto, eos 5a = eos5 a — 10 eos3 a sen2 a + 5 eos a sen4 a y sen 5a = 5 eos4 a sen
10 eos2 a sen3 a + sen5 a.
7T 7T
Para a = — se obtiene 5a = — y en particular resulta que
es decir,
0 = cosa(cos4 a — lOcos2 a sen2 a + 5 sen4 a)
0 = eos a^ eos4 a — 10 eos2 a (1 — eos2 a) + 5(1— eos2 a)2^
Por tanto, eos — es una de las raíces de la ecuación 16a;4 — 20a:2 + 5 = 0. Resolvemos
, ., , . , , , . 2 20 ± x/400 - 320
la ecuación bicuadrada y se obtiene x — ----- , obteniendo cuatro
32 8
valores posibles para x:
Descartamos los dos valores negativos, , pues — es un ángulo del primer cua-
drante (de coseno positivo).
Por otro lado, las raíces de la ecuación eos 5/3 = 0 son /3 = — + k— con k € Z, y dando
5
valores a k sólo se obtienen dos ángulos en el primer cuadrante, a = — y 0 = — cuyos
Capítulo 7 347
cosenos son y . Por último, para saber cuál de los dos valores es eos —,
basta tener en cuenta que la función/(a:) = eos x es una función decreciente en el primer
i 3tt
cuadrante. Por tanto, eos — mientras que eos
10
Ejercicio 11
Hay que demostrar que
para todo a € 1 y para todo n E í. Demostramos por inducción que la fórmula es cierta
para todo n e N.
i) Si n = 0, (eos a + i sen a)° = 1 = eos 0a + i sen 0a
ii) Supongamos que la fórmula es cierta para n, esto es,
En efecto:
(cosa + i sen a)"+1 = (eos a + i sen a) "(eos a + i sen a)
= (eos na + i sen na) (eos a + i sen a)
= eos na eos a — sen na sen a + «(eos na sen a + eos a sen na)
= cos[(n + l)a] + i sen[(n + l)a]
para x = na e y = a.
Ejercicio 12
Teniendo en cuenta que las raíces n-ésimas de la unidad son z*, = e'"^ para k = 0,1, 2,...,
n — 1, en particular, para k = 1 resulta que zi =e‘^, y en consecuencia:
• 2/;. / • 2?r \ fc ,
Zk = e " = (e ”■ ) = (zi) para k = 0,1, 2,..., n — 1
(zfcz9)” = ZfcZg =1-1 = 1. Además (lU, •) es un grupo de elemento neutro 1 = zi, y siendo
el elemento inverso de Zk, el elemento zn-k, para todo k 6 {1, 2,..., n — 1}. La aplicación
f-, (Z/(n),+) (Hn,-)
[k] /(W) = (zi)k
está bien definida pues si [A:] = [7], entonces q = k [mod n], o equivalentemente, q = k+pn
con p e Z, y en consecuencia /([<?]) = (zi)9 = (zi)fc(zj)pn = (zi)fc.
Además, f es un homorfismo de (Z/(n), +) en (ÍL¡, ■) pues
/(W + [?]) = f([k + q]) = (zr)^ = (z1)k - (zx)9 = /([fc]) - f([q])
para todo k,q G {0,1, 2,..., n — 1}. Se comprueba fácilmente que / es biyectiva.
¿Tiene (Un, +, ■) estructura de cuerpo? La respuesta es negativa: ni siquiera la suma es una
operación interna en Ifi,. Por ejemplo, zo + zo = 2 que no es raíz n-ésima de la unidad.
Ejercicio 13
Teniendo en cuenta el ejercicio anterior, las raíces de la unidad son 1, zi, z2, ■ • •, Zn-i =
1, zi, Zj,..., z'i' :. En consecuencia, la suma S de las raíces n-ésimas de la unidad es la
suma de los n primeros términos de una progresión geométrica cuyo primer término es 1 y
de razón Zi - e ™ . )
Ejercicio 14
Aunque las coordenadas de algunos vértices se ven a ojo, una manera sistemática de calcu
larlos es la siguiente. En el primer hexágono es fácil observar que un vértice tiene de afijo
zi = 2eZ(S y los demás se obtienen al ir girando — radianes o equivalentemente multipli
cando los afijos por c’ 3 . Se obtiene:
zi = 2elfi = 2 feos — + ¿sen j = \/3 + i —> Pi(v/3,1)
\ 6 6/
Z2 = el3 zi = 2el( o + = 2e'2 = 2 feos + ¿sen = 2¿—>p2(0,2)
Z4 = e“3 Z3 = 2e'<-~ir += 2eI~s~ = 2 feos ~ + ¿sen — 'l = —\/3 — ¿ —> Pií.— V3, —1)
\ 6 6 /
zs = e'3 Z4 = 2eí('-ír+3'> = 2e1'^ = 2 ff:os ~ + ¿sen = —2¿ —> Ps(0, —2)
Para el segundo hexágono se procede igual pero, partiendo del vértice Qi de afijo Wi = 2e'°.
wi = 2e’° = 2 (cosO + ¿senO) = 2—> QA2,0)
, / 7T . 7T A
W2 = e * W1 = 2e‘(°+5) = 2e^ =: 2 eos —: -1 sen — = Q2(l, ^3)
\3 3/
i Zs. ( 2tt 2%
W3 = e W2 = 2el(i + i) = 2e 3 == 21 eos — + i sen — Qs(-l,V3)
Nota: Observe que zi, z?,..., zr, son las raíces sextas de 64 mientras que Wi,W2,... ,wg
son las raíces sextas de -64.
Ejercicio 15
Denotamos respectivamente por z&, zb, Zc, y :'n los afijos de los puntos A, B, C, y D. Se
designa por ABCD, a la figura de aristas AB, BC, CD y DA. ABCD es un paralelogramo
si y sólo si 7\í'¡ = DÓ, y en consecuencia son iguales los afijos de ambos vectores.
ZA¿ ~ ZD¿
ZB - ZA = Zc — Zd
zd = zc — zb + za
Como = e™ = -1, zb = 2ei(,r/2) = 2i y zc = 3v/2e¿(7r/4) = 3V2(^ + i^-) = 3 + 3i,
resulta que zd = 3 + 3i — 2i — 1 = 2 4- ¿ y las coordenadas del punto D son (2,1).
El centro J del paralelogramo es el punto de corte de las diagonales, que en un paralelogramo
se cortan en el punto medio de ambas. Si zjes el afijo de J, entonces zj = -A Z— =
ZB + ZD , . .3 . / 3\
---- ----- = 1 + z~. En consecuencia, las coordenadas del punto J son I 1, - I.
Ejercicio 16
Sea 1(1,1) el centro del cuadrado y A(2, a/3 4- 1) uno de los vértices del cuadrado. Los otros
tres puntos B, C y D del cuadrado se hallan efectuando rotación de centro I y ángulo
TV
. De esta manera, si zA = 2 + i(\/3 + 1), zb, zc, zd y z¡ = 1 4- i son respectivamente
2
los afijos de los puntos A, B, C, D e I se tiene:
- Zl a 2 (za zi) — ¿(2 4~ i(a/3 4- 1) — (1 -(- zj) — ¿(1 4- ía/3) — —a/3 4- i
Zc - Zl e™(zA - zi) = (-1)(1 4- iVÁ) = -1 - ¿a/3
zd - zi e^(zA — z¡) = —¿(1 4- ¿a/3) = a/3 — i
En consecuencia:
ZB = zi — a/3 4-í = l — a/3 4- 2¿ — B(l- C3,2)
ZC = zi — 1 — ¿a/3 = ¿(1 — a/3) — C(0,1 ■- V3)
ZD = zt 4- a/3 — i = 1 4- a/3 —-4 D(l + a/3, 0)
350 Ejercicios resueltos
Ejercicio 17
El discriminante de la ecuación es el número real
A = C—26)2 - 4c = 4(b2 - c)
En consecuencia:
a) Las raíces de la ecuación no son reales si y sólo si el discriminante es estrictamente
negativo, es decir, b2 — c < 0. Son los puntos M(b, c) del plano que se encuentran encima
de la parábola de ecuación y = x2.
Ejercicio 18
a) Veamos que (£7, +, ■) es un subanillo de (C, +, •). Claramente, Q d 0 pues 0 = 0 + 0¿ G Q
En efecto si z = a + ib y z' = d + ib' con a,d ,b,b' G Z entonces
i) z — z = (a — a') + i(b — b') G Q pues a — a y b — b' G í.
ii) zz = (a + ib)(a' + ib') = (ad — bb') +i(bd + ab') G Q pues ad — bb' y bd 3ab' E í-
iii) Además l = l+ ¿- 0GÍ?.
Luego (Q, +, •) es anillo unitario.
Ejercicio 19
a) Si zi G C es solución de la ecuación entonces anz” + <in-dd'' + • • ■ + aizi + ao = 0.
En consecuencia, el conjugado de a„z" + On-jz^-1 + ■ ■ ■ + aiZi + ao también es cero
y utilizando las propiedades del conjugado y que ao, ai,..., an~i, an G R, se tiene que
an(zT)n + an-i(zT)n~1 + ■ ■ • + ai«í + ao = 0. Por tanto, zf es solución de la ecuación.
b)- Procedemos por inducción sobre el grado n del polinomio P(z) = a„z" + a^-iz"-1 +
f aiz + a0.
i) Para n = 1, no hay nada que demostrar.
(ii) Supongamos que todo polinomio de coeficientes reales de grado < n admite una
descomposición como producto de polinomios de grado 1 y de grado 2 con coeficientes
reales. Veamos que también es cierto para grado n. Por el teorema fundamental del
álgebra, sabemos que la ecuación polinómica P(z) = anzn + z”~ 1 + • • • + fliz +
ao = 0 tiene al menos una solución zi G C.
1. Si zi G R entonces,
P(z) = (z - zi)Q(z)
siendo Q(z) un polinomio de grado n — 1 con coeficientes reales.
2. Si zi G C \ R, del apartado a) se deduce z? es también solución de la ecuación
P(z) = 0. En este caso, (z —zi)(z —zf) = z2 — (zi + zf)z + z¿zf = z2 — 2Re(z¿) z +
|z¿|2 que es un polinomio de grado 2 con coeficientes reales. En consecuencia,
[1] Frank Jr. Ayres Algebra moderna. McGraw Hill, México, 1999.
[2] Marcel Condamine Algebre. Colección P. Vissio, Delagrave, 1971.
[3] Richard Courant y Herbert Robbins. ¿Qué son las matemáticas?(Conceptos y
métodos fundamentales) Fondo de Cultura Económica, México, 2002
[4] Keith J. Devlin. Sets, functions and logia: an introduction to abstract ma,the-
matics. Chapman and Hall/CRC, Boca Ratón, 2004.
[5] José Dorronsoro y Eugenio Hernández. Números, grupos y anillos. Addison
Wesley Iberoamericana, Madrid, 1996.
[6] H.D. Ebbinghaus, H. Hermes, F. Hirzebruch, M. Koecher, K. Mainzer, J. Neu-
kirch, A. Prestel y R. Remmert. Numbers. Springer-Verlag, Berlin, 1990.
[7] Víctor Fernández Laguna. Teoría básica de conjuntos. Grupo Anaya, Madrid,
2003.
[8] Roger Godement. Algebra. Tecnos, Madrid, 1978.
[9] Ernst Hairer y Gerhard Wanner. Analysis by its history. Springer-Verlag, New
York, 1996.
[10] Seymour Lipschutz. Teoría de conjuntos y temas afines. Me Graw Hill, México,
1970.
[11] Joaquín M. Ortega Introducción al análisis matemático. Servei de Publicacions
de la Universitat Autónoma de Barcelona, Bellaterra, 1993.
[12] Michel Queysanne Algebra básica. Ed. Vicens Vives, Barcelona, 1971.
[13] Fritz Reinhardt y Heinrich Soeder. Atlas de matemáticas, 1. Fundamentos,
álgebra y geometría. Alianza Editorial, Madrid, 1984.
353
Lista de Símbolos
U Fi = {x | G I, x & Fi }, página 51
i€l
DA = Ai n A? n ■ • • n A, página 123
Z=1
U = {x G U | BF G Q, x G F }, página 51
feq
355
356 Lista de Símbolos
N* = N \ {0}, página 1
= Q \ {0}, página 1
Z* = Z \ {0}, página 1
ni n factorial, página 40
359
360 índice alfabético
contrarrecíproco, 11 Contradicción, 13
recíproco, 11 Contraejemplo, 43
Corrector Corolario, 29
bicondicional, 9 Correspondencia, 60
condicional, 8 Cortadura de Dedekind, 232
conjunción, 7 Cota
disyunción, 6 inferior, 87
lógico, 6 superior, 87
negación, 6 Cuantificador
NO, 6 existencial, 42
O, 6 universal, 41
Y, 7 Cuerpo, 138
Congruencia módulo H, 131 ordenado, 143
Conjunto, 34
acotado inferiormente, 87 Definición, 28
acotado superiormente, 87 Demostración, 28
por deducción, 30
bien ordenado, 89
por inducción, 65
cociente, 79
por inducción completa, 66
complementario de un, 44
por negación del consecuente, 30
de índices, 51
por reducción al absurdo, 30
definido por comprensión, 37
Diagrama de Venn, 36
definido por extensión, 35
Diferencia
denso en R, 224
de conjuntos, 52
final, 60, 94
simétrica de conjuntos, 53
finito, 110, 170 180
Dirección en el plano euclídeo, 78
imagen, 94 Disyunción excluyente, 12
imagen de un elemento, 61
División
imagen de una relación, 60 entera, 193
infinito, 110, 180-186 euclídea, 193
inicial, 60, 94 Divisible, 195
numerable, 110, 181 Divisor, 195
ordenado, 83 Divisores de cero, 135
origen de un elemento, 61 Dominio de definición, 94, 99
original de una relación, 60
partes de un, 44 Ecuaciones de la recta en el plano euclídeo,
unitario, 35 78
vacío, 37 Elemento
Conjuntos absorbente, 134
disjuntos, 48 inversible, 133
familia de, 51 inverso, 126, 133
intersección de, 47 negativo, 142
unión de, 45 neutro de una operación, 124
índice alfabético 361
Semejanza, 260
Sentencias bien formadas, 28
Simetría axial, 261
Sistema axiomático, 27
Subanillo, 136
Subconjunto, 35
Subcuerpo, 139, 141
Subgrupo, 130
generado por un elemento, 149
Sucesiones en un conjunto, 101
UÍ1ED