Documentos de Académico
Documentos de Profesional
Documentos de Cultura
conjuntos y números
M ig u e l D e lg a d o P in e d a y M a r ía J osé M u ñ o z B o u zo
L E N G U A JE M A T E M Á TIC O CO NJUNTOS Y N Ú M ER O S
Todos los derech os reservados. Queda proh ib ida , salvo ex ce p ció n prevista en
la ley, cu a lqu ier form a de rep rodu cción , d istrib u ción , com u n ica ción pú b lica
y tran sform ación d e esta ob ra sin con ta r con la a utorización de los autores
y /o editores. La in fra cción de los derechos m en cion ados pu ede ser constitutiva
de delito con tra la p rop ied a d intelectual.
© E D ITO R IA L S A N Z Y TO RRE S, S .L .
c / P inos A lta, 49 - 28029 M adrid
® 902 400 415 - 91 314 55 99
w w w .sanzytorres.com
libreria@ san zytorres.com
w w w .san zytorres.com /ed itorial
editorial@ sanzytorres.com
ISBN : 9 7 8 -8 4 -92 9 4 8 -3 0 -7
D epósito legal: M -35937-2010
C om p osición y portada:
A utores
Im presión:
FE R F otocom p osición , c /A lf o n s o G óm ez, 38, 3o C, 28037 M adrid
A
Indice general
1 . N o c io n e s de lógica 3
’l . l . E xpresiones m atem áticas: P r o p o s ic io n e s ..................................................... 4
1.2. C onectores lógicos b á s i c o s ................................................................................. 6
1.3. C onstrucción de nuevas proposiciones ........................................................ 12
1.4. Leyes l ó g i c a s ......................................................................................................... 14
1.5. V alidación de p r o p o s ic i o n e s ............................................................................. 21
1.6. F orm a clausulada, de p r o p o s ic i o n e s ............................................................... 23
C o m e n ta rio s........................................................................................................................ 27
E j e r c i c i o s ........................................................................................................................... 31
2 . C o n ju n to s 33
2.1. A lgunas ideas sobre con ju n tos. P r e d ic a d o s ................................................. 34
2.2. O peraciones con c o n ju n t o s ................................................................................ 45
2.3. A lg eb ra de c o n ju n t o s ........................................................................................... 53
2.4. P ro d u cto de dos c o n ju n t o s ................................................................................ 55
2.5. R elaciones entre c o n ju n t o s ................................................................................ 59
C o m e n ta rio s........................................................................................................................ 65
E j e r c i c i o s ........................................................................................................................... 70
L ista de S ím b o lo s 271
Prólogo
Las M atem áticas constituyen una base fundamenta] en la form ación de to d o científico.
P or un lado, el lenguaje formal de las M atem áticas es el lenguaje en el que se expresa
toda ciencia cuando form ula de manera precisa un problem a. Por otro lado, las distintas
disciplinas de la m atem ática proveen al científico de herramientas básicas cuando éste se
enfrenta a la resolución de un problem a. Pero las M atem áticas no deben ser vistas sólo
com o una herramienta. A prender a utilizar con corrección el lenguaje m atem ático, así com o
asimilar sus estructuras y con ceptos fundamentales, ayudan al alum no a desarrollar las
capacidades lógica y de abstracción.
O b je t i v o s : Para desarrollar los contenidos de este libro, hem os tenido muy presentes
los objetiv os que se querían conseguir. liem os querido que el estudiante adquiera ciertas
habilidades en el lenguaje m atem ático, se familiarice con el rigor m atem ático y los procesos
deductivos, tenga nociones sobre la teoría elemental de conjun tos y con ozca ¡as propiedades
básicas y específicas de los distintos conjuntos num éricos. Se trata de que el lector pueda
entender enunciados y dem ostraciones 110 com plicados y que establezca relaciones entre los
diferentes enunciados y pueda establecer dem ostraciones similares.
Los contenidos de esta asignatura están constituidos por una breve introducción a
los fundam entos básicos de las M atem áticas. Estos contenidos básicos son comunes a la
mayoría de las disciplinas m atem áticas y en muchas ocasiones aparecen diseminados en
los preliminares o primeros capítulos de libros de Análisis M atem ático, Algebra Lineal,
G eom etrí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 A cceso a la Universidad, y por tanto 110 tienen que
resultarle extraños una parte de los resultados expuestos.
P e r fil d e l a lu m n a d o : Este tex to está específicam ente elaborado para los alumnos
de primer curso del grado en M atem áticas de la UN ED. En él se desarrollan los contenidos
básicos de la asignatura de mismo nom bre de dicho grado. El nivel es el correspondiente
para alum nos de primer curso de educación universitaria.
autocontenido. Hemos buscado un lenguaje claro y sencillo para presentar cada concepto,
y lo hemos acom pañado do ejem plos detalladam ente resueltos. Al rnenos ésta ha sido la
intención de los autores.
Todos los capítulos incluyen unos com entarios finales cuya lectura es independiente del
resto del texto y que son de índole diversa. En unos casos se incluye alguna nota histórica, en
otros se incluyen resultados im portantes sobre el capítulo estudiado cuyas dem ostraciones
sobrepasan el nivel del curso pero que permiten com plem entar conocim ientos. Otras veces,
se recalca algún con cepto en el que se quiere insistir p or su especial relevancia.
A lo largo del tex to se hacen numerosas referencias a las definiciones o resultados del
tex to utilizados. La finalidad es doble: tratam os de facilitar la lectura del texto a la vez que
intentamos que el lector fije ideas y conceptos. T odos los capítulos van precedidos de una
introducción.
El libro com ienza con un capítulo sobre lógica matem ática. Dadas las limitaciones de
tiem po y del alcance que se pretende, este capítulo quiere únicamente ofrecer una vista de
pájaro sobre algunos aspectos de esencial interés en m atem áticas. Los com entarios finales
se centran en analizar som eram ente cóm o se aplica la lógica en matem áticas, tanto en la
presentación de resultados com o en los m étodos de dem ostración.
En el segundo capítulo presentamos una teoría elemental, no axiom ática, de conjuntos.
Establecemos el nexo existente entre los conjuntos y la lógica de predicados e introducim os
los cuantificadores. Los com entarios tratan en primer lugar, sobre el m étodo de dem ostra
ción por inducción y en segundo lugar, sobre la dificultad que supone precisar el concepto
de conjunto.
El tercer capítulo estudia las relaciones de equivalencia y de orden en un conjunto,
así com o las aplicaciones entre conjuntos. El con cepto de bivección nos perm ite introducir
el con cepto de cardinal, que se retom ará en el quinto capítulo. Finalmente los comentarios
del capítulo versan sobre el axiom a de elección, el lema de Zorn y sobre cóm o se pueden
ordenar los números cardinales.
El cuarto capítulo introduce, brevemente, algunas estructuras algebraicas, grupos,
anillos y cuerpos, y los hom om orfism os respectivos. En los com entarios finales se introducen
la sum a y el p rodu cto de núm eros cardinales.
Los últim os capítulos se dedican a la construcción de los conjuntos numéricos usuales.
Los números naturales se construyen axiom áticam ente mediante los axiomas de Peano y
nos conducen a los cardinales finitos e infinitos. En los com entarios finales del capítulo se
ve cóm o el conjun to de los cardinales finitos constituye un m odelo para los números natu
rales. Los números enteros se introducen para efectuar sin lim itaciones la sustracción. Se
com pleta a los números racionales don de la división sea tam bién ejecutable sin limitaciones.
Se ha optado por la introducción axiom ática de M com o cuerpo ordenado, extensión de los
números racionales, en el que se satisface el axiom a del supremo. En los com entarios finales
estudiam os la construcción de los núm eros reales mediante cortaduras de Dedekind. Final
mente, los números com plejos, denotados por C se han construido com o el “menorguerpo
extensión de los números reales de m od o que la ecuación x 2 + 1 = 0 tenga al menos una
solución. Los com entarios finales mencionan la com pletitud algebraica de C.
Nociones de lógica
Sin duda, una expresión d eb e ser correcta sintácticam ente para facilitar su co m
prensión. U na expresión co m o eléctrica ordenador el máquina es una 110 es sintácti
cam ente correcta y puede ocurrir que 110 se entienda lo que significa. Una nueva
ordenación de esas palabras determ ina la expresión el ordenador es una máquina
eléctrica, que es sintácticam ente correcta y n o hay dificu ltad para entenderla.
recordar: puede ocu rrir que la in form ación relevante quede o cu lta p or la inform ación
relativa a.1 con tex to. Un ejem plo es la expresión a 2 — b2 = (a — b)(a, + 6) dentro de
algún m arco de estructuras algebraicas d on de el p ro d u cto es con m u tativo, es un caso
don de el con tex to no hace falta describirlo explícitam ente de form a com pleta, desde
los elem entos a las leyes de com p osición y la descrip ción de tod a s sus propiedades.
En este cap ítu lo estudiam os las expresiones sintácticam ente correctas de las que no
hay d u da sobre su significado y que pueden de ser catalogadas de verdaderas o de
falsas con certeza absoluta. Esencialm ente, se tratan expresiones de las cuales tan
sólo interesa su valor de verdad. Ú nicam ente se otorgan dos posibles significados
semánticos; verdadero y falso. P or ejem plo, La vaca es un animal es una expresión
sintácticam ente correcta de valor sem ántico verdadero. Tam bién la expresión Una
;p iedra es un animal es sintácticam ente correcta p ero su valor sem ántico es falso.
Tradicionalm cntc, la pareja de valores sem ánticos ( Verdad, Falso) se suele repre
sentar con los sím bolos ( V .F ) en la lógica tradicional en español, con los sím bolos
( rF ,F ) en la lógica tradicional en ingles y con los sím bolos (1 ,0 ) en M atem áticas y
en C om putación.
A la hora de leer este ca p ítu lo su ponem os que el lector posee suficiente d om inio de los
significados de palabras y frases del idiom a español. Se usa el lenguaje natural, que no
está libre de expresiones am biguas, para introducir con la m enor am bigüedad posible
los elem entos básicos de lógica, el vocabu lario, los sím bolos y las reglas elementales
de uso.
E jem plos de alguna expresiones sencillas en M atem áticas son: El núm ero natural
cuatro es un n úm ero par, El núm ero natural elegido es un núm ero par o El núm ero
natural elegido en p rim er lugar es m en or que el núm ero natural elegido en segundo
lugar. C oloqu ialm cnte, estas se expresan de una form a reducida com o: El cuatro es
par, El núm ero natural elegido es par o El p rim er núm ero natural es m en o r que el
segundo.
D e la prim era expresión sim ple anterior, El cuatro es par, pod em os decir que des
cribe una propiedad del núm ero cu atro, es decir, es una sentencia verdadera. De
esta expresión se d ice que es una p rop osición lógica, y para hacer referencia a di
cha expresión se suele utilizar una sim ple letra m inúscula, por ejem plo p, y para
hacer referencia a su valor sem ántico se escribe p = 1, o sim plem ente se dice que la
p roposición p es verdadera.
1.1 P rop osicion es
n P ro p o sició n lógica sim p le : U na p rop osición sim ple describe una propie
dad de un o b je to con creto y se le puede atribuir sin am bigüedad el valor de
verdadero o falso.
C om o ya hem os dich o, para hacer referencia sin táctica a una p rop osición simple, se
suele em plear una letra m inúscula, por ejem plo p, q, r, s, ••• C ada letra (p rop osición )
p osee un único valor sem ántico, verdadero o falso, que se expresa igualando la letra
a 1 o a 0.
A l disponer de una colección de expresiones sencillas o sim ples com o las anteriores, se
pueden construir expresiones com puestas, com b in a n d o esas expresiones sim ples m e
diante palabras de con exión propias del lenguaje, co m o pueden ser las conjunciones
y otras más. P or ejem plo, al com binar la con ju n ción copu lativa y con las expresiones
D oce es divisible p or dos, D oce es divisible p o r tres, se puede construir la expresión
com pu esta D oce es divisible p or dos y p o r tres. D e esta form a, se increm enta la c o
lección de expresiones disponibles, que a su vez pueden volverse a com binar. C on
proposiciones sim ples se construyen p rop osicion es co m p u esta s. P or ejem plo, la
expresión con d icion al Si llueve el suelo se m oja, es una p roposición com pu esta por
las proposiciones sim ples L lueve y El suelo se moja.
T anto si las p rop osiciones son sim ples co m o si son com puestas, nos referiremos a
ellas em pleando únicam ente la palabra “ p ro p o sició n ” .
fam ilia de núm eros. N o se puede atribuir claram ente el valor sem ántico, puesto que
hay núm eros p ara los cuales la expresión es verdadera y núm eros p ara los que es
falsa. Este tip o de expresiones son denom inadas relaciones lógicas, o p redicados de
dos argumentos, y tam bién serán introducidas en el ca p ítu lo 2.
■ Lógica proposicion al
Las “ palabras básicas” son las proposiciones y los valores de las proposiciones
son sólo dos: verdadero o falso. T od a s las reglas sintácticas p ara com binar pro
posiciones utilizan la negación de una p rop osición , la con ju n ción y disyunción
de dos proposiciones, el con dicion al de una p rop osición respecto a otra y el
Incondicional de dos proposiciones.
Ai escribir una p rop osición , se escribe una letra m inúscula, o una com b in a ción de
letras minúsculas con ectad as con determ inados sím b olos que se denom inan conec-
to res lógicos que correspon den a la form a de com binar proposiciones.
N eg a ció n
D ada la p rop osición p, El cuatro es un núm ero par. la negación de esta p rop osición
es la p rop osición El cuatro no es un núm ero par, y se representa con alguna de las
notaciones siguientes: - p , ->p, p y y/.
En este caso p torna el valor 1 (v erd a d ), mientras que -<p tom a el valor 0.
D isyu nción
D adas las proposiciones p , El cuatro es un núm ero par. y q. El cuatro es un núm ero
impar, la p rop osición d isyu n ción de p y q , “y; o 7” , es la p rop osición El cuatro es
1..2 C o n e cto res lógicos 7
V ^V
0 1
1 0
C u ad ro 1 . 1: T a b l a d e v e r d a d d e ->p
En e ste c a s o p t o m a el v a lo r 1 (v e r d a d ), q t o m a e l v a lo r 0 (fa ls o ), y a p V q s e le
a s i g n a e l v a l o r 1.
En g e n e r a l, la p r o p o s ic ió n d is y u n c ió n p V q es v e r d a d e r a sí a lg u n a de la s d o s
p r o p o s ic io n e s es v e r d a d e r a . E l c u a d r o 1.2 r e c o g e lo s v a lo r e s q u e t o m a la p r o p o s ic ió n
pV q e n r e la c ió n a lo s v a lo r e s t o m a d o s p o r p y q.
V q pVy
0 0 0
0 i i
1 0 i
1 i i
C u ad ro 1 .2 : T a b la d e v e r d a d d c p V i j
O b s e r v a c i ó n : L a p r o p o s ic ió n pV q es fa ls a ú n ic a m e n t e si p y q s o n fa ls a s .
C o n ju n c ió n
E n e s te c a s o p t o m a e l v a lo r 1 (v e r d a d ), q t o m a e l v a lo r 1 (v e r d a d ), y p A q t o m a el
v a lo r 1.
8 C a p ítu lo 1 N o c io n e s de lógica
p Q pAq
0 0 0
0 1 0
1 0 0
1 1 1
C on d icional
D adas las p rop osiciones p, Ocho es un núm ero par , y q, Ocho es sum a de dos n úm e
ros iguales, la p roposición con dicion al “si p entonces q” , es la p rop osición Si ocho es
un núm ero par, en ton ces ocho es sum a de dos núm eros iguales, y se representa con
alguna de las notaciones siguientes: p —> q o p => q.
En este caso p tom a el valor 1 (verdad), q to m a el valor 1 (verdad), y a p —> q se le
asigna el valor 1.
El cu adro 1.4 recoge los valores que tom a la p ro p o sició n condicion al p —> q en
relación a los valores tom ados p or las p rop osicion es p y q.
P Q V - +Q
0 0 1
0 1 1
1 0 0
1 1 1
De la p rop osición p —►q se suele decir que la prim era p rop osición p es la p roposición
antecedente y que la segunda q es la p rop osición consecuente. A dem ás, si la prim era
p rop osición es falsa, entonces la p rop osición con d icion al es verdadera. E sto suele
indicarse coloquialm ente diciendo que de un antecedente falso se deduce cualquier
cosa o que una p rop osición falsa im plica cualquier otra.
1.2 C o n e c to re s lógicos y
B icon d icio n a l
D adas las p rop osiciones p , O cho es un núm ero par , y q. O cho es divisible p or dos.
la p rop osición “7; si y sólo si q " , es la p rop osición O cho es un núm ero par si y sólo
si ocho es divisible p or dos, y se representa con alguna de las escrituras siguientes:
p q y p <=> q-
V q p q
0 0 1
0 1 0
1 0 0
1 1 1
C u a d ro 1.5: T abla de verdad de p q
Si se elige cualquier par de p rop osicion es falsas, entonces la p rop osición bicondicional
entre ellas siem pre es verdadera.
C uan d o se con oce una im plicación con creta, 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.
L a base del con ocim ien to m atem ático contiene num erosos enunciados proposicionales
de tip o Incondicional p q que son verdaderos. A nálogam ente al con d icion al, el
bicon d icion al p <-> q se usa en m atem áticas en el sentido de “ la p rop osición p q” es
verdadera. P ara distinguir una de la otra, usaremos el sím bolo -^=> en este caso. Es
decir, la notación p q ) que se lee “p es equivalente a <7" se usará exclusivam ente
p ara indicar que la p roposición p q es verdadera.
C u a n d o se con oce la verdad del b icon dicion al d e dos proposiciones, tan sólo hay
que estudiar si alguna de las prop osiciones es verdadera, respectivam ente falsa, para
con clu ir que la otra tam bién es verdadera, respectivam ente falsa.
O tras form as frecuentes de expresar esta equivalencia entre prop osiciones en la lite
ratura m atem ática son: p si y sólo si <7, que se resum e en la expresión “7; sii q ' . "p
iff q'\ según se trate literatura en español o en inglés.
T eniendo en cuenta la observación anterior se establece:
A la p rop osición con dicion al p —> q se le asocian tres nuevas proposiciones con d icio
nales:
El con d icion al q ^ p se denom ina condicion al recíproco.
El con d icion al -ip —» se denom ina cond icion al contrario.
El con d icion al ~^q —» ~~<p se denom ina cond icion al contrarrecíproco.
¿C uán tos con ectores, que actúen sobre una única p rop osición , pueden ser definidos?
La con ectiva C\ es el con ector identidad, C\p -$==> p. mientras que la con ectiva C'2
es la con ectiva negación, es decir, C 2 P ~^P-
¿C u án tos con ectores, que actúen sobre dos p rop osiciones, pueden ser definidos?
Si se analizan las tablas de verdad distintas para dos proposiciones p y q, se com prue
ba (pie hay dieciséis tablas que presentam os en el cu a d ro 1.7. P or tan to, se pueden
definir dieciseis con ectores distintos, uno p or ca d a tabla, y los representam os con
los sím bolos C o, C i, Cb, C 3, C 4, C'5, C ?, C7 , Cg, C 9, C ío, C u , C 12, C'13, C u y
12 Capítulo 1 N o c io n e s de lógica
V q p C 0q pCiq p C 2q p C 3q p C 4q pCr0q p C Gq p C 7q
0 0 0 0 0 0 0 0 0 0
0 1 0 0 0 0 1 1 1 1
1 0 0 0 1 1 0 0 1 1
1 1 0 1 0 1 0 1 Ü 1
P Q pCsq pCgq pCwq pcnq p C í2q p C v¿q pCuq p C i 5q
0 0 1 1 l 1 1 1 1 1
0 1 0 0 0 0 1 1 1 1
1 0 0 0 1 1 0 0 1 1
1 1 0 1 0 1 0 1 0 1
C i5, que se correspon den con los núm eros del cero al quince en n otación binaria;
0000, 0001, 0010, ■■■ , 1101, 1110, 1111.
La con ectiva C j es el co n ccto r con ju n ción , p C i q -£=> p A q, la con ectiva C 7 es el
con ector disyunción, p C 7 q 4 = > p V q, la con ectiva C$ es el co n ccto r bicondicional,
p C g q •£=> p *~+ q, que la con ectiva C 13 es el con ector con dicion al, p C\3 q •<=>
p -> q .
E je m p l o 1 .5 | D i s y u n c i ó n e x c lu y e n t e
La con ectiva C G se denom ina d isyu n ción excluyente. Si p es Bebo agua, q es Bebo
horchata, entonces la p rop osición p C Gq es verdadera cu a n d o b e b o agua o horchata,
p ero no arribas cosas. Se d en ota p ($) q.
P q p<S>q
0 0 0
0 1 1
1 0 1
1 1 0
paréntesis, corchetes o llaves para indicar las p rop osiciones que son afectadas por
cad a con ector.
V Q -■p p A q ^ p A q ^ {p A q )
0 0 1 0 0 1
0 1 1 0 1 1
1 0 0 0 0 1
1 I 0 1 0 0
V (] p —> q q ^ p
0 0 1 1
0 1 1 0
1 0 0 1
1 1 1 1
El valor de cualquier p rop osición sim ple, verdadera o falsa, se obtiene directam ente
de su enunciado. A veces, no resulta evidente la determ inación del valor de una
p rop osición com pu esta, puesto que este valor depende de los valores que tom en las
proposiciones sim ples que la com p on en . De entre tod a s las posibles tablas que se
pueden obtener para una p rop osición com pu esta, destacam os las siguientes:
Para sim plificar las notaciones, existe el convenio que cu ando se escribe una equi
valencia entre prop osiciones con un único sím bolo , las expresiones situadas a
la derecha e izquierda del sím bolo constituyen las p rop osiciones equivalentes aunque
vayan sin paréntesis. P or ejem plo se escribe p V (q A r) <$=> (p V q) A (p V r) para
indicar que las prop osiciones p V (q A r ) y (p V q) A (p V r) son equivalentes aunque
tam bién escribirem os la n ota ción com p leta [p V (q A r)] \{p V q) A (p V r)].
V - 7) — 7;
0 1 0
1 0 1
_,_,p p
C oloquialm ente, esta ley se expresa diciendo que una d ob le negación afirma. P o d e
m os sustituir -i->p p or p o viceversa allí don de aparezcan. L o m ism o ocu rre con las
1.4 L eyes lógicas 15
O bservem os que con una única p rop osición p, sólo hay cu atro posibles tablas de
verdad, luego sólo se pueden expresar cu a tro p rop osiciones esencialm ente distintas,
es decir que no sean equivalentes entre sí, c o m o se aprecia en el cu adro 1.12.
V 0 p 1
0 0 0 1 1
1 0 1 0 1
En consecuencia, cu an d o utilicem os una única p rop osición y los con ectores que desee
m os necesariam ente obten d rem os una de las cu a tro proposiciones posibles.
■ Leyes de id entidad:
1. p V p p
2. p A p <=>* p
3. p —» p 1
4. P <-» p 1
> C o n una ú nica p ro p o sició n p y varios co n ecto res d istin tos se pueden
escribir prop osiciones nuevas, p or ejem plo p V - 7;, p A - 17; , . . .
p V -ip <?=> 1
E sta ley se expresa coloqu iahn en tc diciendo que siem pre se verifica una p roposición
o su negación, p o r ejem plo, El número tt es racional o irracional (no racional).
C oloquialm ente, esta ley se expresa diciendo que nunca se cum ple una p rop osición
y su negación, p o r ejem plo, El número 3 es p rim o y compuesto (no p rim o) es una
p rop osición falsa.
16 Capítulo 1 N o c io n es d e 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
Si bien es cierto que se pu ede generar una expresión sintácticam ente correcta tan
grande com o se desee, pues p ara ello basta com binar esas dos proposiciones em
pleando los con ectores y los paréntesis necesarios, no ca b e la m enor d u da que esta
expresión escritas d ebe tener una de las tablas de verdad contenidas en el cuadro
1.13. De esta form a se entiende que se pueden escribir muchas proposiciones, pero
necesariamente deben ser equivalentes a otras p rop osicion es que tienen una escritura
más corta. C on elfin de disponer de expresiones más cortas, conviene m ostrar las
siguientes equivalencias que son presentadas c o m o leyes lógicas.
■ L e y e s d e s im p lif ic a c ió n :
1. p V O <=$■ p
2. p A l «£=>• p
3. 1 —» p <==$■ p
1. p V q qW p
2. p A q qAp
3. p <-» q q *-> p
R ecordem os que la actu ación del con ector con d icion al no es conm utativa, véase el
cu adro 1.10.
D e estas cu a tro leyes del con d icion al la más utilizada es la prim era; es la form a
de expresar una p rop osición con dicion al c o m o una disyunción. Las leyes tercera y
cuarta del con d icion al son llam adas leyes d e ex p a n sió n del condicional
p <-►q ( p - + q ) A (g ^ p)
Si se veriñean las dos posibles proposiciones con dicion ales entre dos proposiciones p
y q, entonces p y q son equivalentes.
E sta ley se utiliza a m en u do en las dem ostraciones en M atem áticas para dem ostrar
que dos supuestos son equivalentes. Se dem uestra qu e si el supuesto prim ero es cierto,
entonces el supuesto segundo tam bién lo es, y que si el supuesto segundo es cierto,
entonces el supuesto prim ero lo es.
E sta ley se usa frecuentem ente en algunas dem ostraciones en M atem áticas. Para
dem ostrar que un enunciado es cierto, se niega d ich o enunciado y se dem uestra que
de tal negación se deduce una p rop osición y su negación, lo cual con d u ce a una
contradicción. E sta con tra d icción se lia p ro d u cid o p or asumir que el enunciado es
falso, luego el enunciado es verdadero.
Solución: P or red u cción al absurdo, se supone que sólo hay un núm ero finito de
núm eros prim os p i , P 2 ¡ ••• -,Pn y se considera el núm ero r = p i - p 2 ■p-¿ ■■-pn + 1-
C om o r es d istin to de ca d a uno de los números prim os anteriores, entonces r no es
un número prim o. P ero r n o es divisible por nin gu no de los núm eros p t , pues el resto
de la división p o r cada p t es 1. E n consecuencia, r es un nuevo núm ero prim o. Es
una con trad icción pues r no es prim o. L uego existen infinitos núm eros prim os. □
Esta ley se em plea en algunas dem ostraciones en M atem áticas. P ara dem ostrar que
de un supuesto se deduce otro , entonces se niega este segundo supuesto y se de
muestra la negación del supuesto inicial. O bsérvese que la prim era ley indica la
equivalencia entre el con d icion al y su con trarrecíp roco.
Supongam os que el lím ite no es único: existe un núm ero s. con r / s, al cual también
IV — S I
converge la sucesión {:rn } . Se considera el valor e — — - — y el correspondiente
n e £ N tal que Vn £ N ,n > n £ se cum ple que \s — x n \ < e.
A h ora bien, p ara ese e en particular y p ara to d o m i £ N, n > n e . se cum ple:
Ir — si Ir — si
r - x n \— Ir — s + s — x n \ ^ Ir - s - l.s - :cn ^ jr - s\ — = — -—
V 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 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 u 0 1 1 1 1
1 1 Ü 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:
1. (p V q) V r pV(qVr)
2. ( p A q ) A r <= > p A (q A r)
C ada ley asociativa establece la form a de operar c o n más de dos proposiciones y una
m ism a conectiva. E stas leyes perm iten dotar de significado a las expresiones:
pV qV r p AqAr
La ley asociativa establece que la form a de agrupar de dos en dos no varía el valor
sem ántico de la p rop osición inicial.
1. p V ( y A r ) < = > (p V q) A ( p V r )
2. p A ( q V r ) <=4> (p A q) V (p A r)
3. p -> (q V r) (p -► q) V (p -> r)
4. p -> (q A r) (p - » q) A (p '/■)
Las leyes distributivas establecen la form a de op era r con dos eonectores distintos del
con ector negación.
20 C a pítu lo 1 N o c io n e s de lógica
1. p A q =*• p
2. p = ^ p V í
■ Leyes de inferencia
1. -ip A (p V q) q
2. p A {-> p V ~ > q ) = >
( p ^ q ) A p = > q
U na vez que se ha con stru ido una p rop osición a partir de otras respetando las reglas
sintácticas, veam os com o determ inar el valor que torna tal p rop osición en función
del valor que tom a cada p rop osición com p on en te. Las leyes, que se han presentado
con anterioridad son tau tologías y se em plean, en la m edida en que se pueda, para
m odificar y reducir una expresión antes del estu dio de verdad.
C uadro 1.15: T abla de verdad de la prim era ley del con dicion al
La tab la de verdad de una p rop osición com p u esta p or dos p rop osiciones simples
tiene 4 filas, com o puede observarse en el cuadro 1.15.
La tabla d e verdad de una p rop osición com p u esta p or tres p rop osiciones simples
tiene 8 filas, com o puede observarse en el cu adro 1.16.
22 C apítu lo 1 N o c io n e s de lógica
0 0 0 1 0 0 1 0 1
0 0 1 1 1 1 1 1 1
Ü 1 0 1 0 1 1 0 1
0 1 1 1 1 1 1 1 1
1 0 0 0 1 0 0 0 1
1 0 1 0 1 1 0 0 1
1 1 0 0 1 1 1 1 1
1 1 1 0 1 1 1 1 1
A l tratar de construir la tabla de verdad de una p rop osición com p u esta por 4, 5, •••n
proposiciones sim ples, se tienen 82, 64, - ••2n filas. A sí pues, se hace inviable construir
m anualm ente esas tablas de verdad cu ando el núm ero de p rop osiciones sim ples es
grande.
D>V alidación m ed ian te refu tación : E sta form a de validar consiste en aplicar la
ley de reducción al absurdo (véase la sección 1.4), es decir, para dem ostrar la validez
de una p roposición, se d eb e suponer que la p rop osición es falsa y com p rob a r que
aparece una contradicción.
la p r o p o s ic ió n q u e se v a lo r a e n c a d a p a s o , o d e la p r o p o s ic ió n s im p le c o r r e s p o n d ie n te .
P o r e je m p lo , p a r a in d ic a r e n e l p a s o 2 q u e p —> q e s c i e r t a s e s i t ú a u n 1 d e b a jo d el
s ím b o lo —
3° 1 0
4o 1 0
5o 1
6o 1
7° 0 A 1
8o 1
C u a d ro 1.17: E s q u e m a d e lo s p a s o s d e v a lid a c ió n p o r r e fu t a c ió n
D a d a u n a p r o p o s ic ió n c o m p u e s t a p o r u n c o n ju n t o d e p r o p o s ic io n e s s im p le s p, r/,
se tra ta de en con tra r una p r o p o s ic ió n e q u iv a le n te a la p r im e r a , q u e e sté e s c r ita
ú n ic a m e n t e com o c o n ju n c ió n (A ) de p r o p o s ic io n e s d is y u n tiv a s (V ). En e s ta s d is
y u n c io n e s s ó lo pueden a p a r e c e n la s p r o p o s ic io n e s s im p le s o su s n e g a c io n e s , es d e
c ir , s ó lo a p a r e c e n a lg u n a s de bu s p r o p o s i c i o n e s : p, ->p, q . -uj, r , -> r , •••, por e je m p lo
( p V —iq) A ( q V r ) A ( p V - > r ) .
A e s t a p r o p o s i c i ó n q u e e s u n a c o n j u n c i ó n d e d i s y u n c i o n e s s e le l l a m a fo rm a clau
su lad a d e la p r o p o s ic ió n in ic ia l, o fo rm a n orm a l conjun tiva, y c a d a u n a d e esas
d is y u n c io n e s s e d e n o m in a c lá u s u la ló g ic a .
D is p o n e r d e la fo r m a c la u s u la d a d e u n a p r o p o s ic ió n , fa c ilit a s a b e r s i la p r o p o s ic ió n
E je m p lo 1 .1 7 L a p r i m e r a l e y d e l c o n d i c i o n a l , p —» q ( —ijy V < y ), e s t a b l e c e
La f o r m a c l a u s u l a d a d e u n c o n d i c i o n a l . L a f o r m a c l a u s u l a d a d e p — » q e s t á f o r m a d a
p o r u n a ú n i c a c l á u s u l a - > p V q.
E je m p lo 1 .1 8 L a le y d e l b ic o n d ic io n a l e s ta b le c e q u e p q se p u e d e exp resa r
c o m o ( p —» q ) A ( q —> p ) .
24 C a pítu lo 1 N o c io n e s de lógica
A l aplicar la prim era ley del con d icion a l a ca d a uno de los paréntesis se establece la
form a clausulada de un bieon dicion al. L a form a clausulada de la p roposición p q
es la p rop osición (~<p V q) A (-><? V p ), com pu esta p or dos cláusulas.
A continuación establecem os los pasos recom endados para extraer la form a clausu
lada de una proposición:
P aso 1: Sustitución de los con ectores bicondicionalcs: Se transform a cada bicondi-
cional en una conjunción de condicionales. E sto es:
P aso 2: Sustitución de los con ectores condicionales: Se utiliza la prim era ley del
con dicion al. E sto es:
Paso 3: Sustitución de los con ectores que actúan sobre una p rop osición conjunción
o disyunción: Se utiliza la ley d e M organ correspondiente para transform ar cada ne
gación en una disyunción o con ju n ción de proposiciones simples o de sus negaciones.
E sto es:
P aso 4: U tilización de las leyes distributivas, asociativas y conm utativas para generar
las cláusulas, y p or lo tan to, la form a clausulada.
E je m p lo 1 .2 0 C o m p r o b a c ió n d e una ta u to lo g ía m ed ia n te su form a
clau sulada
1.5 F orm a clausulada d e p roposicion es 25
C o n s t r u y a m o s p a s o a p a s o la fo r m a c la u s u la d a d e la p r o p o s ic ió n :
A l s im p l i f i c a r la s d o b l e s n e g a c i o n e s s e t ie n e :
[ ( / ; A ~>y) V ( y A - i r ) ] V ( ~>p V r )
S i s e a p l i c a l a l e y d i s t r i b u t i v a a l c o r c h e t e d e [ ( p A -> y ) V ( y A - i r ) ] s e t i e n e :
[ { ( p A i y ) V y } A { ( p A -.y ) V i r ) } ] V ( i p V r)
y a ! a p lic a r le n u e v a m e n te la le y d i s t r ib u t iv a a la s p r o p o s ic io n e s e n t r e lla v e s , se o b
t ie n e :
[ { ( p V y ) A ( - . y V y ) } A { ( p V - i r ) A ( - . y V - .? ■ ) } ] V ( i p V r )
P o r la le y d e l t e r c io e x c lu s o :
[{(7 ; V y ) A 1} A { ( p V - i r ) A ( ~ i y V - i r ) } ] V (-1 7 ; V r )
P o r la s le y e s d e s im p lific a c ió n :
U n a n u e v a u t iliz a c ió n d e la s le y e s d is t r ib u t iv a s t r a n s f o r m a n e s t a e x p r e s ió n e n :
S e a p lic a la le y a s o c ia t iv a :
D e la s le y e s c o n m u t a t iv a s :
[ p V 177 V y V r ] A [ p V 177 V 1 r V r ] A [ i y V i p V i r V t\
26 C apítu lo 1 N o c io n es de lógica
Finalm ente, la ley del tercio exclu so y las leyes de sim plificación con ducen a:
[1 V g V 7'] A [1 V 1] A [~>q V 1]
1 A 1 A 1, es decir, 1
R esulta más fácil construir: la tabla de verdad de la form a clausulada (véase cuadro
1.19) que la de la p rop osición inicial (veásc cu adro 1.18).
V q r -p ^q - i p V - <q V r
0 0 0 1 i 1
0 0 1 1 1 1
0 1 0 1 Ü 1
0 1 1 1 0 1
1 0 ü 0 1 1
1 0 1 0 1 1
1 1 0 Ü 0 0
1 1 1 0 0 1
■ Paso 1: Q u it a r c o n d ic io n a le s :
■ Paso 2: Q u it a r n e g a c io n e s d e p r o p o s ic io n e s c o m p u e s ta s :
■ P a s o ¿ó A p lic a r la s le y e s d is t r ib u t iv a , a s o c ia t iv a y c o n m u t a t iv a :
5. [(—ig V - 1p ) V (-ip V r)] A [(p V -ir ) V (~ip V r)] A [(->g V -ir) V (~ip V r)]
8 . ( i g V -ip V r) A (1 V 1) A (-ig V ^ p V 1)
9. ( - p V —>p V r)
Comentarios
E n e l s is t e m a a x io m á t ic o P M ( P r in c ip ia M a t h e n ia t ic a ) , s e d o t a a lo s e le m e n to s d e l a l
fa b e t o (p r o p o s ic io n e s ) d e u n valor se m á n tico (0 ,1 ) y s e c o m b in a n e s to s e le m e n to s ,
h a c i e n d o u n u s o c o r r e c t o d e la s r e g l a s d e f o r m a c i ó n ( ú n i c a m e n t e V y p a r é n te s is )
28 C om en tarios
Un a xiom a es una sentencia bien form ada que se considera verdadera, es decir, una
ta u tología prim aria 210 deducidle.
U 11 te o re m a es una sentencia bien form ada que es cierta, es decir, una tautología.
Los teorem as son tautologías deducibies a partir de otros teorem as o de axiom as. La
secuencia de sentencias verdaderas necesarias para deducir un teorem a se denom ina
d em ostración del teorem a.
L os axiom as de P M son:
“ (¿ 1 ) : p V p - » p
- ( ¿ 2) : p ^ ( p V q )
■ ( A i ) : (p V < / ) -► (q V p)
E je m p lo 1 .2 3 B a se d e un espacio vectorial
Sea (V, + , •) un espacio vectorial. U na base de V es un r con ju n to de vectores del
esp acio vectorial que form an un sistem a de generadores linealm ente independientes.
C o m e n ta rio s 29
L a base d e con ocim ien to m a tem á tico está con stitu id a por definiciones y teorem as,
en el sentido anterior. Los teorem as aparecen en m atem áticas b a jo distintas denom i
naciones: lem a, p roposición, teorem a o corolario. A u n siendo estas denom inaciones
subjetivas y n o excluycntes, una posible clasificación sería:
Estas distinciones son a veces arbitrarias. P or ejem plo, hay lernas, co m o el lem a de
Zorn, que su im p ortan cia no se corresp on d e co n el atributo de lem a. P ero ya se
c o n o ce um versalm ente de esta manera.
Finalm ente existen afirm aciones m atem áticas que se creen verdaderas p ero que 110
han sid o dem ostradas. Se denom inan co n jetu ra s o h ip ótesis, co m o la con jetu ra de
P oin caré que ha sido d em ostrada recientem ente o la con jetu ra de G oldbaeh, “ T od o
núm ero par m ayor que dos pu ede escribirse c o m o sum a de dos núm eros prim os” ,
que sigue sin dem ostrar.
E n general, los teorem as, p roposiciones, lernas y corola rios son d e dos tipos:
■ N eg a ció n d el consecu ente: Este m é to d o utiliza la prim era ley de tran spo
sición:
P ^ Q ^ -iQ -H- -iP
Para dem ostrar que antecedente es co n d ición suficiente p ara que se verifique el
consecuente, se niega el consecuente, y de esta negación se d educe la negación
del antecedente. V éase una dem ostración p or negación del consecuente en el
E jercicio 1.11.
Ejercicios propuestos
1. E xprese la negación de las prop osiciones siguientes y aplique las leyes de M or
gan p ara sim plificar esas negaciones.
a) (p A q) V ?• b) (p V q) A r c) (p V q) A (p V r)
- (p (i) A (q -> r) (p -► r)
■ (p f/) A (g <-* r) ==> (p <-> r)
c ) L e y d e l s il o g is m o : p —>■q (q —* r ) —> (p —» r)
d) L e y d e e x p o r t a c i ó n : (p A 17) —> r) = > p —» (q ?•)
32 Ejercicios
a) L e y e s d e l d ile m a c o n s t r u c t i v o :
“ ÍP —* r ) A (#7 —^ r) A (p V q) =4> r
■ (p —> r) A (y —> s) A (p V y) =4* r V s
b) L e y d e l d ile m a d e s t r u c t i v o : (-ip V -> g) A (?' —> p ) A ( s —> y) =¿> - r V - i s
a) (p - > q) V ->q
b) - p A (r —> -<q)
c) [(-.p - » -.y) V { ( r -► p) A (s -> y) } ] (-** V -.s)
d) [(p -► y) V p] -> -i (y A p)
e ) L e y d e r e s o lu c ió n : (-ip V y) A (p V r) = > ijVr
б) V (<1 - * r ) y (pA?)-* r
c) (-.p V -.y) A (r p) A (s -> y) y _l(r A s)
d) p —» (q —> r) y (p A g) —►r
Conjuntos
H oy en día, prácticam en te todos los con cep tos m a tem á ticos se definen form alm ente
en térm inos conjuntistas. P or ejem plo, las prop ied ad es de los núm eros naturales o
las de los núm eros reales se deducen dentro de un m arco de teoría de con ju n tos. Las
relaciones d e orden y d e equivalencia, que form a n parte de la teoría de con ju n tos,
son ubicuas en tod os los ca m p os de las m atem áticas.
in trodu cim os los con ju n tos de una m anera in tu itiva y sin entrar en la axiom ática
de conjuntos. D en tro d e bis operaciones básicas qu e se realizan c o n con ju n tos, nos
centram os en la unión, intersección, diferencia do con ju n tos y com plem en tario de un
su bcon ju n to dado.
E stablecem os el nexo que existe entre los con ju n tos y la lógica. La lóg ica p rep osi
cional vista en el cap ítu lo 1 in trodu ce una prim era aproxim ación al lenguaje natural
que em pleam os para com unicarnos. Sin em bargo, con este sistem a lógico, n o p o
dem os representar expresiones tales com o: Los núm eros naturales son pares o son
impares. E sta expresión n o está referida a un o b je t o en particular. A lu d e a to d a
una colección d e o b je to s que en este caso es el con ju n to de los núm eros naturales.
Introducim os un sistem a lógico, la lógica de pred icad os, en el que expresiones com o
la anterior puedan ser representadas sin dificu ltad. Corno en la lógica proposicional,
se tratan expresiones de bus cuales tan sólo interesa su valor de verdad, y los únicos
significados posibles que les otorgarem os a bus expresiones son verdadero o falso, sin
im portar otros significados que puedan tener en len gu aje natural. La representación
de ciertas expresiones nos llevará a introducir los cuantificadores.
P osiblem ente el lector tiene una idea intuitiva del significado del térm ino conjunto.
D e hecho, el térm in o se utiliza a m enudo en el len gu aje corriente com o sinónim o de
los térm inos colección, fam ilia, agrupación, etc., d e o b je to s de cualquier naturale
za: el con ju n to de los estudiantes del grad o de M atem áticas de una universidad, el
con ju n to de letras del español (a b eced a rio), el con ju n to de meses del año, etc. En
el lenguaje coloqu ial, los o b jetos que form an p arte de un conjunto, se denom inan
elem entos, m iem bros, individuos, etc. De to d a esta term inología, los m atem áticos
han escogido los térm inos c o n ju n t o y e le m e n t o s . El uso im plícito de la intuición
relativa a la teoría de con ju n tos suscitó num erosas paradojas que alim entaron no p o
cas controversias entre m atem áticos. P o c o a p o c o , muchas de estas paradojas fueron
elim inadas según se iba precisando de m anera conveniente la n oción de conjunto.
N o resulta fácil definir rigurosam ente con cep tos co m o conjunto, elem entos de un
con ju n to, y pertenencia de un elem ento a un con ju n to. N osotros n o entrarem os en
las sutilezas que su pone el estudio de cualquier sistem a de axiom as de la teoría
de con ju n tos. N o definirem os los térm inos con ju n to, elem entos de un con ju n to, y
pertenencia que consideram os corno térm inos prim itivos. Sim plem ente, precisarnos
estas n ocion es intuitivas mediante unas reglas básicas:
• Un conjunto C está bien definido cuando se tien e un criterio que perm ite determ i
nar si un determ inado elem ento b perten ece al con ju n to C o no p erten ece al conjunto
C.
En otras palabras, la expresión “ 6 es un elem ento de C ’ cs una p rop osición , en el
sentido de que se le puede atribuir sirr am bigüedad el valor de verdadero o falso.
Si la p rop osición es cierta, escribirem os b € C , que se lee corno “ b pertenece a C '\"b
es elem ento de C'' o “ C contiene a b” .
Si la p rop osición es falsa, escribirem os b C , que se lee corno “ 6 n o pertenece a C " ,
“6 n o es elem ento de C '' o 11C n o contiene a b” .
E stas reglas básicas establecen que ciertas coleccion es de o b je to s no son con ju n tos en
el sentido m a tem á tico y sobre ellos no se puede, err general, aplicar las propiedades
o las operaciones que se dem uestran o se definen p ara conjuntos.
2.1 C o n ju n to s y lógica d e predicados 35
Igu ald ad d e con ju n tos: Se dice que dos con ju n tos A y C son iguales, y se escribe
A = C , si y sólo si tienen los m ism os elem entos. E n caso contrario, se dice que A y
C son distintos y se escribe A ^ C .
E n el ejem plo anterior, los con ju n tos dados en 1, 6 y 7 están definidos d an do una
lista de sus elem entos. C u a n d o un con ju n to se determ ina m ediante una lista de todos
sus elem entos, se dice que está defin ido p o r exten sió n . En este caso se escribe el
con ju n to pon ien d o la lista de elem entos entre llaves. L a escritura,
E j e m p l o 2 .2 ' E l con ju n to de los días del fin d e sem ana es un su bcon ju nto
del con ju n to de los días de la sem ana:
{S á b a d o, D o m in g o }c {L u n e s , M artes, M iércoles, Jueves, Viernes, S ábado, D om in g o}
E l con ju n to de los núm eros naturales que son p oten cia de 2 es un su bcon ju nto del
con ju n to de los núm eros naturales pares.
A = B si y sólo si A cB y 5 c A
36 Capítulo 2 C o n ju n to s
Predicados
A lgunas expresiones sencillas en con tex to m atem ático no pueden ser descritas com o
sim ples proposiciones. P or ejem plo: El núm ero natural elegido es un núm ero par, Un
núm ero múltiplo de diez es un n úm ero par, Si una fu n ció n es derivable en un punto,
en ton ces la fu n ción es continua en ese punto o Un núm ero prim o es impar.
A nalicem os la prim era expresión; E l núm ero natural elegido es un núm ero par. P od e
m os decir que si bien describe la propiedad s er núm ero par, no se indica el núm ero al
que se aplica esa prop ied ad , p o r eso esta expresión es cierta o falsa dependiendo del
núm ero que se elija. C om o el núm ero no está determ inado en esta expresión, para
hacer referencia a dich o num ero d escon ocid o se suele utilizar una letra minúscula.
G eneralm ente, se em plea alguna letra de las habituales en M atem áticas para repre
sentar a una variable, p o r ejem plo, x. P ara representar esta expresión se emplea
una sim ple letra m ayúscula p ara indicar la propiedad, s e r par, P , seguida de la letra
m inúscula de variable para indicar el elem ento d escon ocid o, x , es decir Px . A sí pues,
la expresión El núm ero natural elegido es un núm ero par se transform a en la expre
sión El núm ero x es un núm ero par don de x es un núm ero entero. El valor de Px
varía en función de x.
Es decir, un predicado tom a uno de los dos valores, verdadero o falso, al particularizar
en cada x G C .
P or ejem plo, d ad o el universo C = {1 , 2, 3, 5, 6 , 7 } y la propiedad P , s er par, para
x = 1, P] es una p roposición falsa mientras que para x = 2 , P¿ es una proposición
que tom a el valor verdadero. D istinguirem os tam bién los elem entos que satisfacen la
prop ied ad P que form an un su b con ju n to de C , C p = { 2 , 6 } . E n definitiva:
Cp = { x t C \ P x )
O bservem os que el con ju n to B — { 1 ,2 } coin cide con el con ju n to A del apartado 1 del
ejem plo 2.1. A su vez, un con ju n to puede estar determ in ado p or distintos predicados.
P or ejem plo, si C = {a; G Z |0 < x < 3 } entonces A = C . Se dice que los predicados
“ x 2 — 3.x + 2 — 0” y “ 0 < x < 3” son equivalentes sobre el universo Z .
En resumen:
0 - {.x e C |Px A - . P J
A con tin u ación asum im os la existencia del con ju n to de los núm eros naturales. En el
ca p ítu lo 5 se hará un estudio m ás com p leto de la fundarnentación de los números
naturales. N os interesan de la in trod u cción de los núm eros naturales dos aspectos:
En prim er lugar, la definición axiom á tica de N asegura la existencia d e conjuntos
“ infinitos” . El otro a specto relevante de esta definición es la in trod u cción del m étodo
de dem ostración p or inducción.
E je m p lo 2 .5 L os n ú m ero s naturales
A un qu e intuitivam ente se co n o ce n los núm eros naturales c o m o los núm eros que
utilizam os para contar, y este p ro ce so nos es familiar desde la infancia, resulta que
la existencia del con ju n to de los núm eros naturales
N = ( 0 , 1 , 2 , 3 , 4 - ■■}
■ A 2 ■ T od o núm ero natural n tiene 1111 único elem ento sucesor que es también
un núm ero natural.
■ A.\. D os núm eros naturales cu yos sucesores son iguales, son iguales.
Inform alm ente com en ta m os que ei primer a x iom a perm ite asegurar que ci con ju n to
de los núm eros naturales es un con ju n to no vacío. H ablar de sucesor o de siguiente
en el segundo axiom a refleja precisam ente la id ea de contar. El tercer axiom a indica
que hay un prim er elem ento. El segundo a x iom a ju n to con el tercero y el cuarto
aseguran que al ir con ta n d o nunca volvem os a un m ism o elem ento. El quinto es el
a xiom a utilizado en las dem ostracion es por indu cción . Es la form ulación conjuntista
del siguiente principio:
0 1 2 n n + 2
1-------- 1-------- I- •••H------ = 2 --------------
2o 21 22 2n 2n
0 1 2 n n + 2
)-------- 1-------- b ------1 = 2 -------------
2° 21 22 2" 2”
0 1 2 ti n + 1 ( n + l ) + 2
E n efecto:
0 1 2 n n +1 / 0 1 2 n\ n
— + ^r-T-r = 77T+ - + + ••• + — +
20 ' 2 ' 22 ' ' 2n 2 n+1 \ 2o 2 22 2n / 2n + !
^ —
|—2 -|- 1
0 2n + 4 — n — 1 n n + 3
2n+i —2 - 2T,,+ i
(n + 1) + 2
= 2 -
2^+1
□
El quinto axiom a tam bién se utiliza para definir térm inos d on de intervienen los
núm eros naturales, don de se define el o b je to que depende de un núm ero natural en
función de ob je to s que dependen de térm inos anteriores. Se h abla de una d e fin ic ió n
r e c u r r e n t e o p or r e c u r r e n c ia .
E je m p l o 2 .7 F a c t o r ia l d e n
Para cualquier núm ero natural n € N se define ( n + 1)! en función de n\ mediante
( n + 1 )! = ( 7i + l ) tí!
De esta definición se obtiene directam ente que n! = n •(n — 1) •(n — 2) •••3 •2 •1, y
en algunos textos se em plea este resultado co m o definición n o recurrente.
Si n' designa el sucesor de n, los cin co axiom as de Peana perm iten pensar en N com o
en el conjunto:
{ o , o ' , ( o ' ) / , ( ( o /) / ) V - - }
A lgu n os m atem áticos no recon ocen el cero co m o núm ero natural mientras que otros
tienen la postura opuesta. E n to d o lo que tratarnos, no será relevante que el cero
sea un núm ero natural o no. A q u í hem os escogid o seguir la o p ció n unís com ún a los
especialistas en T eoría de C onjun tos o Lógica.
2.1 C o n ju n to s y lógica d e predicados 41
C uant ificador es
V olvam os a la expresión P , El núm ero elegido es un núm ero par, d on de x es un
núm ero natural. El valor sem ántico de P x varía e n relación a x . Sin em bargo, las
expresiones Todos los núm eros naturales son pares o E xiste algún núm ero natural
par son expresiones que tienen un valor falso en el prim er caso y verdadero en el
segundo. H em os efectuado el p ro ce so d e cuantificar de alguna m anera los elem entos
que satisfacen la propiedad del predicado.
En una expresión pueden aparecer im plícita o explícitam ente algún gru p o de pala
bras orientativas de la can tidad de elem entos que satisfacen la propiedad del predi
ca d o, tales com o:
“para cualquier” , “ para ca d a ” , “ to d o ” , “para to d o ” , “ ca d a ” , “cualesquiera que sean” ,
etc., o,
“ para algún” , “ existe” , “existe al m enos un” , etc.
E stos gru p os de palabras se denom inan cuantificadores. De m anera más precisa: Sea
C un con ju n to y P un p red ica d o sobre C . C onsiderem os el su b con ju n to donde se
verifica P\
C P = { x G C |Px }
(V.x G C ) P x
(3 x £ C ) P x
que se lee. existe al menos un elem ento x de C que satisface P . El sím bolo 3 se de
nom ina cuantificador existencial y transform a un p red ica d o en una p rop osición con
un valor sem ántico verdadero o falso. C uando no exista ninguna am bigüedad sobre
el con ju n to C , o C sea siem pre un con ju n to determ inado fijo se escribe sim plemente
3x P x -
2N - { x £ N | (3 k £ N) x = 2k }
(Vx £ M) a x + b — 0 V=V a = b= 0
(3 x £ M) a x 4 -6 = 0 4=> (a / 0) V (a = 6 = 0)
N e g a c i ó n d e p r e d i c a d o s c o n c u a n t ifi c a d o r e s :
- i (Vx Px ) 3,x ( ^ P x ).
-i(3 x Px ) 4=> Vx (-cP x).
A = {x e U \ z £ A }
A = { x e U \ ^ P x]
E je m p lo 2 .1 1 | D a d o U = { a , b , c , d , 1. 2. 3 .4 , 5, 6 } . si A = { a , b , c , d j , enton
ces A = {1 , 2, 3 ,4 , 5, 6 }.
Los com plem entarios respectivos de { 0 } con relación a los con ju n tos N, Z , Q y R se
denotan usualmente co m o N* , Z * , Q* y M*.
E n N*, se tiene (pie el com plem en tario del con ju n to de núm eros pares, P — { x G
N* | x — 2k , k G N *} = { x G N* | x = 2 k ] , es el con ju n to de núm eros impares
P = / — { x G N* \x — 2k - l , k e N *} — { x G N* \x — 2k - 1 }.
7 ( A) — { B \B c A }
{a , b, c } , {a, b, d} , {a , c, d) , { b, c, d } , A
Unión de conjuntos
D ados dos con ju n tos A y B , e! c o n ju n t o u n i ó n d e A y B , que se escribe A U B y
se lee A unión B , es el con ju n to de los elem entos que pertenecen al m enos a uno de
46 C apítu lo 2 C o n ju n t o s
A U D = { x |x e A o x e B }
1. A a A u B y B c Á U B .
2. P ropiedad conm utativa: A u B = B U A.
3. P ropiedad asociativa: A U ( B U C ) = ( A U B ) U C.
4. A U 0 ~ A.
5. A U A = A.
2.2 O p e ra cio n e s con conjun tos 47
E jercicio 2 .1 8 Dem uestre que p ara dos con ju n tos cualesquiera A , B, se v e '
rifiea:
Au B —B si y sólo si A C B
Intersección de conjuntos
D ados dos con ju n tos A y B , el co n ju n to in tersección de 4 y B , que se escribe
A n B y se lee A intersección B , es el con ju n to de los elem entos com unes a A y a B
es decir:
A rB ^ {x \ x < = A y x eB }
A n B = { x | Px A Q x } si A = { x \ Px \ y B = { y \Q y ]
E je m p lo 2 .1 9 1. Si A — { a , b , c , d , e , h } y B = { g , a , b .
A fl B = (a , b, d, h } . E n la figura 2.0 se lia representado un diagram a de Venn de
los con ju n tos A y B d on de se ha som breado el con ju n to A U B intensificando el
som breado d e A D B. O bviam ente se tiene:
A n B c AU B
48 Capítulo 2 C on ju n tos
1. A n B c A y A C \ B c B.
2. P ropiedad conm utativa: A fl B = D D A.
3. P rop ied a d asociativa: A n ( B fl C ) = (4 n B ) n C .
4. A n 0 = 0.
5. 4 n á = A.
i 4'j
2x - % = -2
es com p a tib le determ inado.
'Ax ■y = -7
G eom étricaniente representan dos rectas del espacio que se cortan en un punto, (pie
es la intersección de los dos con ju n tos, y cuyas coorden adas se hallan resolviendo el
sistem a, véase la figura 2 .8 .
1. A n (B u C ) = (A n B ) u ( A n C ).
2. A U (B n C ) = ¡ A u B ) n (A U C ).
_ , x-2 - 4
x e > 0 } = {x e M. I X 2 - 4 ^ 0 , X - 1 < 0}
x - 1
U { x e IR |x 2 — 4 > 0, x - 1 > 0 }
- [—2, 1) U [2, oo)
puesto que
x 2 —4
F igura 2.9: C on ju n to de definición d e f ( x )
x —1
= [ ( - o o , - 2] n ( 1, + o o )] U [ [2 , -Loo) n ( 1, -f-oo)]
= 0 U [2. + o o ) = [2, + o o )
□
A unque la unión y la intersección están definidas únicam ente p ara dos conjuntos,
resulta que las propiedades asociativas perm iten definir la unión y la intersección de
tres o más con ju n tos, y se designarán sin paréntesis:
A\JB\JC y AL) B U C U D ,
2.2 O p eracion es con con ju n tos 51
A n B n C y A n B n c n D, •••
L os con cep tos de unión e intersección de con ju n tos se extienden a familias arbitrarias
de conjuntos.
D ad a una fam ilia de con ju n tos F — {F¿ [ i € 1 } para un con ju n to de índices I ,
el conjun to unión de tod os los con ju n tos de la fam ilia F , es el con ju n to de los
elem entos que pertenecen al m enos a un F¿, con i G / . Es decir:
U F{ = { x [ 3 t € l , x e F , }
i&l
F eg
P | F , - { x |x e F i Vi G /}
i£ l
1 1
b ^ a. Si tom am os no £ N* tal que — < 16 — al. se tiene que 6 4 a , a H------
na n0 rio
que está en con trad icción con la suposición de que 6 £ p| I n . A sí pues, se veriñea
la inclusión p| In C { a } .
1 1 1 1' 1 1‘
[a - l , a + 1] D a ~ a + - D « — T , 0. + - D a. — - . a + -
2 2 3 3 4 4 .
H íjom p io Z.Z'J m ic m u e c u u j u n to s
)a d os dos con ju n tos A y B, el con ju n to diferencia de A y D. que se escribe A — B,
< A \ B y se lee A m enos B , es el con ju n to de elem entos que pertenecen a A V llO
iprtonerpn íi R Re rlocir-
A \ B — { x |x £ A y x £ B j
A \ B = { x £ U | Px A ~^QX} , si A = { x e U |Px } y B = { y € U \Q y }
1. A \ 5= i\ (á n i?).
2. Si A, B C U y B es el com plem entario de B en U entonces,
U\B = B y A\B = AnB.
A A B = (ÁUB)\(An.B)
A A B — { x |x £ A y x ^ B } U { x ¡ x <£ A y x £ B }
A A B = { x £ U |( P x A ^ Q x )V(-nPx A Q x ) } , si A - { x £ U \P x } y B — { x £ U \Q x }.
✓
2.3. Algebra de conjuntos
T o d os los con ju n tos que se consideran en este ap artad o son su bcon ju ntos de un
con ju n to U, es decir, tan sólo se utilizan elem entos del con ju n to CP(f/). En la siguiente
tabla, escribirem os las propiedades de la unión, la intersección y la com plem entación
54 C apítu lo 2 C o n ju n to s
en CP(t/), muchas de las cuales ya han sido enunciadas. Paralelam ente escribirem os
las leyes lógicas correspondientes a las propiedades características o predicados que
definen los con ju n tos por com prensión. Se puede pues razonar sobre los su bcon ju ntos
de U directam ente o sobre las propiedades que los definen p or com prensión. En
to d o lo que sigue A, B y C son tres su bcon ju n tos cualesquiera de U tales que
A = { x € U | P x }, B = { x G U \ Q x } y C = { x € U \R x }.
E jercicio 2 .2 9 Dem uestre, utilizando las propiedades del cuadro anterior que
para to d o A, B € 7 { U ) se verifica que ( A n B ) U ( A H B ) — A.
2.4 P ro d u c to de d os con ju n tos 55
S o lu c ió n :
P ara p od er definir los predicados de dos variables, o relaciones lógicas, se tiene que
establecer con anterioridad su universo com pu esto p o r parejas de elem entos. E n este
apartado estudiam os la estructura de estos universos de parejas.
No hay que confundir el con ju n to de dos elem entos { x , y } con el par (x, y).
A sí los pares (1, 2) y (2 ,1 ) son distintos m ientras que {1 , 2 } y { 2 , 1 } representan
el m ism o con ju n to. U n par orden ado puede tener los dos elem entos iguales, por
ejem plo el par ( 1, 1) m ientras que la escritura habitual del con ju n to { 1, 1} , que
en realidad tiene un ú n ico elem ento, es { ! } .
E je m p l o 2 .3 1 | P u n t o s d e l p la n o e u c lí d e o
U n punto del plan o real, d o ta d o de un sistem a de referencia, se localiza co m o un
par orden ado de núm eros reales, p or ejem plo el par (2 ,4 ). N ótese que el par (4,2)
representa a otro punto distinto. El plano euclídeo representa al conj unto IR2 = IR x IR.
Véase la figura 2 .10.
56 Capitulo 2 C o n ju n to s
C uando en el sistem a de referencia los ejes son perpendiculares se denom inan ejes
de coorden adas cartesianas. El térm ino cartesiano es d eb id o a que fue R. Descartes
quien in trod u jo este sistem a para representar la geom etría plana. E sto d io origen al
con cep to de p ro d u cto de con ju n tos que a m enudo se denom ina tam bién p r o d u c t o
c a r t e s ia n o .
E j e m p l o 2 .3 2 | R e p r e s e n t a c i ó n g r á fic a d e l c o n ju n t o p r o d u c t o
Sólo tres ju gad ores de fú tbol J — {A n to n io , B e n ito , C a rlo s } son considerados can
didatos a ganar cad a uno de los cu atro prem ios qu e se otorg a n este año,
P = {g o le a d o r, p a sa d or, defensa, ju e g o lim p io}.
c )
ju ego limpio. ........................................ j e j
^ d e fe n s a . ............
u ! r
n 1 ‘
t pasador. .............. _¿(c .P)
0
P g o le a d o r .. ............
Conjunto J
El con ju n to J x P está com p u esto por todas las form as de asociar a cada jugador
un prem io. L a d escrip ción del con ju n to p ro d u cto es:
2.4 P r o d u c to de dos conjun tos 57
C u an d o los con ju n tos 210 son dem asiado grandes, una form a de representar el con
ju n to p ro d u cto es similar a la utilizada p ara representar M2 m ediante un par de ejes
de coord en ad as cartesianas co m o se m uestra en la figura 2.11. Los elem entos de J se
disponen en el eje horizontal mientras que los elem entos de P se disponen en el eje
vertical. Las rectas verticales que contienen a los elem entos de J cortan a las rectas
horizontales que contienen a los de P en d o ce pu n tos que representan los elem entos
del p ro d u cto cartesiano J x P.
E l p rod u cto cartesiano tiene las siguientes prop ied ad es de las que. a m o d o de ejerci
cio, dem ostrarem os una de ellas. Cualesquiera que sean los con ju n tos A, A \ B, B'
y C se verifica:
4 x (B n C )- (4 x B ) n ( /lx C )
O b s e r v a c i ó n : El p rod u cto de dos con ju n tos distintos 110 tiene la propiedad conm u
tativa pu esto que A x B y B x A son dos con ju n tos distintos.
El con cep to d e p rod u cto de dos con ju n tos se puede ampliar a p rod u cto de tres o
m ás con ju n tos.
x = p
I g u a ld a d d e t e r n a s : D os ternas (a;, y, z ) y (p, q, r) son iguales si y sólo si y = q
z —r
Si A — B = C , escribim os A 3 en lugar de A x A x A.
D e f in ic i ó n 2 .3 5 P r o d u c t o d e n c o n ju n t o s :
D a d os n con ju n tos A\, A 2 ... A nt se d en om in a p ro d u cto d e A\ p o r A i p or...
A n al con ju n to:
A! x A 2 x x An = , x n ) |X! 6 A i r - - x n € A n }
E j e m p l o 2 .3 6 P u n t o s d e l e s p a c i o t r i d im e n s io n a l e u c l í d e o
Para hacer referencia sintáctica a una relación lógica , se em plea una letra mayúscula
P , Q , R, S ■■■. seguida de letras que representan a los argum entos, x , y , z , t - - - . P or
ejem plo, las expresiones P x y , Q x z , Rty, S zx ■■• representan relaciones lógicas.
1Z = {{.T ,y ) £ A x B |R xy es verdadera}
E je m p lo 2 .3 9 1. Si tom am os A = B = {1 , 2, 3 } y M xy
m en or que y del ejem plo anterior, entonces el gra fo es una relación:
T í~ l = { ( y , x ) e B x A | ( x , y ) G Tí c A x B } .
7í ~ ] ( B ) — { x £ A |3 y G B . x T í y }
TÍ(A) = { y 6 B |3.x £ A, x T íy }
2.5 R ela cio n e s entre conjun tos 61
K { x ) = { y G B | (x, y) e H } = { y € B \xTZy}
ju e g o lim pio .
(B ,d )
J d e fe n s a .
u
n
t p a s a d o r, (A.p)
o
p g o le a d o r.
ÍA,g)
A n to n io B e n ito C arlos
C o n ju n to J
Q{ A ) = { g , p h G( B ) = { d } y G( C) = { j }
D e f in ic i ó n 2 .4 5 C o m p o s i c i ó n d e r e la c i o n e s
D adas la relación Tí entre los con ju n tos A y i? y la relación S entre los con
ju n tos B y C , se define u na relación entre los con ju n tos A y C, denom inada
c o m p o s i c i ó n d e la s r e la c i o n e s 7Z y S o relación com p osición , que den ota
m os p or S o d e la form a:
L óg ica R elacion a l: E sta lóg ica es similar a la ló g ica de predicados, p ero em pleando
relaciones lógicas sim ples co m o “ palabras básicas” . Se em plean las m ism as reglas
sintácticas y conectivas, y ios m ism os cuantificadores que en la lóg ica de predicados,
si bien en este caso, se puede utilizar un cuantificador para ca d a argum ento.
El uso de cuantificadores satisface el siguiente p rin cipio: T o d a relación R xy , definida
sobre el p rod u cto cartesiano A x B de dos con ju n tos A y B, y precedida p or un
cuantificador p o r cada variable, c o m o p or ejem plo,
es una p rop osición en el sentido de que se le puede atribuir sin am bigüedad el valor
verdadero o falso. C uan do n o haya duda sobre los con ju n tos A y B so. escribirá sim
plem ente Vx Vy R xy , 3x V y P xy o V y 3 x R x y .
que n o es equivalente a la anterior pues si P = {( a , 1), (/;, 2), (c, 1 )} entonces Vx 3y P tí/
es verdadera m ientras que 3y Vx P xy es falsa.
La p rop osición 3x V y Pxy tom a el valor de la p roposición
(Pal V P bl V P c l ) A (P a2 V n 2 V P c2),
significa que para cualquier núm ero real existe un núm ero natural que lo supera. E sta
propiedad es la propiedad arquim ediana de K y verem os en 6.12 que es verdadera.
U n sim ple cam bio de orden en los cuantificadores con d u ce a
que significa que existe un núm ero natural que supera a to d o s los núm eros reales,
que es una propiedad falsa.
Comentarios
L a utilización de este principio perm ite tam bién construir una sucesión de elem entos
d e un con ju n to A cu ando se dispone de una m anera para form ar el térm ino an en
función de térm inos anteriores. Este tip o de sucesiones se denom inan s u c e s io n e s
re cu rre n te s.
P r o g r e s i ó n a r i t m é t i c a d e d if e r e n c ia di x n = x n „\ + d . D e la definición se deduce
directam ente x n — Xi + d (n — 1). Para determ inar la sucesión liav que con ocer el
primer term ino.
P r o g r e s i ó n g e o m é t r i c a d e r a z ó n ri x n = r x n-\ . De la definición se deduce
directam ente x n — Xyrv ~ 1. Para determ inar la sucesión hay que co n ocer el primer
térm ino.
Sea a G N. E n ocasiones hay que dem ostrar que una determ inada prop ied ad P n , que
no es verdadera to d o n G N, sí lo es si n > a. E n este caso, se cam bia el primer
punto en la dem ostración p or in du cción , ten ien d o que com probar:
- (VneN) (P n = * P n + l )
O curre a veces que para establecer un predicado con variable en N, el suponer que Pn
es cierto no basta p ara dem ostrar la validez de P n+ i pero en cam bio sí se demuestra
si se supone cierta Pk para to d o k < n. La con clu sión es la mism a. E n este caso la
inducción se d en om in a in d u c c i ó n c o m p l e t a :
1. Un con ju n to es una colección de elem entos que cum plen cierta propiedad. Por
tanto, queda definido p or dicha propiedad.
C o m e n ta rio s 67
2. Un con ju n to es una sola entidad m atem ática, de m od o que puede a su vez ser
con ten id o p or otro con ju n to.
d. D os con ju n tos que tengan los m ism os elem entos son iguales. U n conjunto
está determ inado p or sus elem entos.
E sta teoría tu vo éxito, pero n ecesitó ser precisada p o r otros m atem áticos com o G.
Frege, B. R usscll, E. Zerm elo, A . Skolern y A . Fraenkel. Después de varios intentos
de axiom atización, teoría de Fregel, teoría de R ussell-W h itcliead (P M ) y otras, se
destacan d os sistemas axiom áticos de la teoría de con ju n tos: La teoría de conjuntos
de Zcrm elo-Fraenkel (Z F ) (desarrollada p or Zcrm elo-Skolem -Fraenkel) y la teoría de
con ju n tos d e von N cw m a n -G odcl (desarrollada p o r vori N ew m an-B ernay-G ódel).
El con cep to de conjunto se encuentra a un nivel ta n elem ental que no es posible dar
una definición precisa del m ism o. L a utilización de palabras c o m o colección , familia,
reunión, agru pación o acum ulación en un intento de definir con ju n tos, 110 hacen nada
m ás que em plear el o b je to a definir dentro de la definición, puesto que esas palabras
son sinónim os de la palabra con ju n to.
D ificultades com o éstas in trodu cen la necesidad de axiom atizar y form alizar la teoría
de con ju n tos p ara p od er obtener resultados profundos. Se renuncia a una definición
intuitiva de con ju n to, y se establecen una serie de principios (axiom as) que describen
el com p ortam ien to del con cep to con ju n to. C ualquier resultado ob ten id o debe ser
con secu encia de tales principios.
A con tin u ación expon em os una de las axiom áticas de con ju n tos más utilizada con
el espíritu d e que el lector se dé cuenta de la dificultad que tiene el form alizar una
teoría. N o se trata de que m cm orice los axiom as, ni siquiera que com prenda los enun
ciad os de los m ism os. Sim plem ente querem os que vea que establecer 1111 lenguaje sin
am bigüedad precisa un esfuerzo enorm e, y que incluso, sólo com prenderlo, requiere
una sólida form a ción m atem ática.
Finalm ente, señalarnos algunas de las p a ra d oja s que hem os cita d o y que m otivaron
el establecim iento de axiom áticas co m o la teoría de con ju n tos de ZF:
P a ra d o ja de C a n to r: Sea C la colección de to d o s los con ju n tos posibles. Si C es
un con ju n to, se verifica que C G 7 ( C ) y co m o 7 { C ) tam bién es un con ju n to resulta
que 7 ( 0 ) G C. E sto llevaría a C = 1P(C), que es una con tradicción.
P o r tanto, el con cep to de con ju n to de to d o s los con ju n tos con d u ce a una paradoja.
P a ra d o ja de R u s s e l: Sea M la colección de to d o s los con ju n tos que no son ele
m entos de sí m ism os, es decir:
M — { X \X $ X }
Si M fuera un conjunto, la pregunta que se plantea es: ¿Es M elem ento de sí m ism o?
Si Ai es elem ento de M . entonces M ^ M p or definición de M .
Si M no es elem ento de M . entonces M G A i p o r definición de A i .
C o m en tarios 69
Ejercicios propuestos
a) E xisten núm eros naturales que son m últiplos de cin co y su últim o dígito
n o es cin co.
b) U n a función p olinóm iea es una función continua, derivable c integrable.
o) V x P x A V x Q x Vx ( P x A Q x ).
b) 3 x P x V 3 x Q x <= > 3 x (P x V Q x ).
4. Determ ine la form a clausulada del p red ica d o ~'[~~'Rx —> "'{P x A Q x)]
a) Si A U B C A U C entonces, ¿ B C C ?
b) Si A fl B C A n C entonces, ¿ B C C ?
Ejercicios 71
c) Si A U B C A U C y A n B C A n C entonces , ¿ B C 6 '?
a) A u W ñ C b) A u B T T C c) A ^ B d)An(BuA) e) A ~ A B
a) Si A c B , entonces B C A.
b) Si A c B y B C C, entonces A C C.
c) Si A C B y C C D , entonces A u C c B l l D .
d) Si A C 5 y C C D , entonces A n C C B n D.
10. Dem uestre que, para cada cu a tro con ju n tos A , B , C y D £ se satisfacen
las siguientes igualdades:
a ) A A B = A U B - A n B.
b) { A U B ) - C = { A - C ) \ J ( B - C) .
c) A - ( B - C ) — ( A — B ) U (A n C) .
d) ( A - B ) - C = A - { B U C ) .
e) A — B — A A { A f \ B) .
/ ) A A { B A C) = (A A B ) A C .
g) A n { B A C) = ( A n Z?) A (A n C).
11. E stu die las propiedades del álgebra de las partes de un con ju n to d ota d o de
la unión, intersección y com plem entario que se mantienen al cam biar la unión
p or la diferencia simétrica.
«)U L T £ <o ü ¡ t á ; d )u ¡7 ^
U Tin, U B n. U Cn. |J D n , f | A „„ f | B ,„ f| C „ y f| D „
n€N* ?ieN* Herí' n£N‘ TieN* n€N* nÉN*
72 Ejercicios
4 n ( U s >) = U ( - 4 n i J ')
\ i€/ / i€ /
B (n ,m ) = { i/) 6 M 2 | n ^ x ^ n + 1, m ^ y ^ tí?, + 1}
2 2
^ ( 1.2)i 1^_J ^(n,m ) Y l^J P(n,m)
n=0m =l (n,m)eN2
^ = {(x, y) e K 2 | - x ^ y ^ x }
S i. U i , j U « .
0<.x-^2 ieR
18. D ado el universo U — {1 , 2 } y las relaciones lógicas sim ples R x y , que es cierta
para { ( 1 ,1 ) , (1, 2 )} , y Sx y , que es cierta p ara { ( 2 , 1)(2. 2 ) } , estúdiese si las
prop osiciones siguientes son verdaderas.
a ) V x ( 3 y S x y - > V z ^ R xz ) b) 3y Vx* ( Syy A R x y ) c)\fz ( R zz V Szz)
d ) 3 z 3 y ( S zy A R yz) fi) V x V y ( S xy - > V z - * R xz ) f ) V x V y Syx - ^ V y - 3 z R yz
19. D ado el universo U — {1 , 2 ,3 } y las relaciones lógicas sim ples Pxy que es cierta
para { ( 1 ,1 ) , (2, 2), (3, 3 ) } , Q xy que es cierta para { ( 1 , 2 ) ( 2 , 1 )} y R xy que es
cierta p ara {(1 , 3), (2, 3), (3. 3 ) } , estúdiese si las proposiciones siguientes son
verdaderas.
a) V.x Vy 3 z ( Pxy -> ^ R xz) b) 3x Vy 3 z ( Q xy V ^ R x z )
c) V x V y (Pxy A Q yx A -iR x y )
23. E specifique y represente gráficam ente cada uno de los con ju n tos siguientes:
a) {(), l } 2 = { 0 , 1 } x {(), 1} 6) { 0 , l } 3 = {(), 1} x { 0 , 1 } x { 0 , 1 }
c) N2 - N x N d) N 3 ^ N x N x N e) 1? f) Z3
Relaciones y aplicaciones
entre conjuntos
En este cap ítu lo, nos centrarem os en prim er lugar, en las relaciones en un con ju n
to , estudiando las propiedades que se les pueden atribuir. T ratam os, en particular,
las relaciones d e equivalencia y las de orden. Las relaciones de equivalencia en un
con ju n to perm iten clasificar los elem entos del con ju n to, creando una partición del
p rop io con ju n to. L a identificación de los elem entos d e una m ism a clase es el origen
de un nuevo con ju n to, el con ju n to cociente. Este co n ce p to es de gran utilidad en casi
tod as las ramas de las M atem áticas. Las relaciones de orden tam bién aparecen por
tod as partes: desde la ord en a ción de núm eros hasta la orden ación de palabras para
disponerlas en un d iccion a rio (ord en lexicográfico). E studiarem os los elem entos más
im portantes que se definen en to d o con ju n to ord en a d o con el ánim o de que el lector
se familiarice con la m anipulación de con ju n tos ordenados.
P or otro lado y dentro del m arco de las relaciones binarias, estudiarem os las aplica
ciones entre con ju n tos. Son las relaciones para las que la im agen de ca d a elem ento del
con ju n to inicial es un ú nico elem ento del con ju n to final. E studiarem os la com p osi
ción de aplicaciones y los con cep tos de aplicación inycctiva, sobrcyectiva y biyeetiva.
La n oción de biyección con d u ce de m anera natural al co n ce p to de cardinal.
■ P rop ied ad an tisim étrica: L a relación 77. es antisim étrica si y sólo si 77. 1 n77
C { ( £ , £ ) Jx G U } , es decir:
» P rop ied ad tran sitiva: L a relación 77. es transitiva si y sólo si 77. o 77. C 77, es
decir:
V.t, y , z G U se verifica que si xTZy e yTZz. entonces xlZ z
O b servacion es: L a relación del ejem plo 2.42 no es reflexiva. P ara que una relación
en IR sea reflexiva, la representación del grafo d e la relación debe contener a la
diagonal, y = x .
L a relación del ejem plo 2.43 es sim étrica, pero n o la relación del ejem plo 2.42. Para
que una relación en IR sea sim étrica, la representación del grafo de la relación debe
ser sim étrica respecto a la recta diagonal del prim er cuadrante.
Las relaciones de equivalencia en un con ju n to sirven fundam entalm ente p ara obtener
clasificaciones de los elem entos del conjunto. E stas clasificaciones se hacen m edian
te las clases de equivalencia. La identificación d e to d o s los elem entos de una clase
de equivalencia con d u ce al co n ce p to de con ju n to cociente. Este con cep to de con
ju n to cociente es de gran utilidad para definir nuevos con ju n tos partiendo de uno
determ inado, com o harem os en los ejem plos 3.8 y 3.9.
3.2 R e la ció n d e equivalencia 77
3. P. Transitiva: V x , y , z G U si x £ y e y £ z , entonces x £ z .
Definim os a continuación el con cep to in trod u cid o im plícitam ente al hablar de vector
libre en el plan o o en el espacio.
D efinición 3 .3 C la se d e equivalencia
D ad a una relación de equivalencia £ en el con ju n to U, se denom ina clase de
equivalencia del elem ento x G U al con ju n to im agen d e x, que d en otam os x £
o [x], es decir,
[x] = { y G U |x £ y } .
■ Si x no está relacionado con y, x ¡fy . entonces [xj n [y] = 0, es decir, son clases
disjuntas.
V eám oslo p o r reducción al absurdo. S upuesto que existe 2 £ [x] fl [y], se tiene
que xE z e y S z . A l aplicar las propiedades sim étrica y transitiva se obtiene que
x í y . E sto con tradice la hipótesis x $ y .
C ada clase de equivalencia se correspon de con una recta en el plano eu clídeo d ota d o
de un sistem a de referencia, es decir, si las ecuaciones tienen los coeficientes p rop or
cionales, entonces esas ecuaciones representan la m ism a recta. De esta form a a clases
de equivalencia distintas le corresponden rectas distintas. A la h ora de trabajar con
una recta, se elige la ecuación representante de la clase de equivalencia que más
interese, de esta form a , en lugar de trabajar con un elem ento geom étrico, se trabaja
con un elem ento algebraico.
D efinición 3 .7 C o n ju n to cociente
D a d a u na relación d e equivalencia £ en el con ju n to U, se denom ina conjun to
cocien te, y se d en ota p o r U/£, al con ju n to d e to d a s las clases que genera la
relación de equivalencia £ .
E je m p lo 3 .8 N ú m e r o s enteros: Z
E n el con ju n to de los núm eros naturales N se pueden plantear preguntas del estilo:
¿Q u é núm ero natural al sum arle 3 da c o m o resultado 5? Es decir, se plantea la.
ecuación x + 3 = 5, que tiene solución. P ero si se plantea la ecu ación x -f•5 = 3
ocu rre que 110 existe solución.
En general, una ecu ación de la form a x + 6 = a d on de a y b son núm eros naturales
no siem pre posee solu ción en el con ju n to N. B uscar un m arco don de esta ecuación
genérica p osea solución es lo que ob lig a a in trodu cir el con ju n to de los núm eros
enteros, d en ota d o Z.
L a ecu ación x + b = a tiene solu ción en N d ep endiendo del par de núm eros (a, b). E sto
nos induce a pensar en definir los núm eros enteros partiendo de pares de núm eros
naturales. A dem ás, los pares (3 ,5 ), (6 , 8 ) y (1 ,3 ) inducen ecuaciones que tienen la
m isma solución, esto lleva a considerar el con ju n to N x N y la relación de equivalencia
siguiente:
que se designan tam bién p or ü, 1, —1, 2, —2, •••. A sí pues, el con ju n to Z se escribe:
E je m p lo 3 .9 N ú m e r o s racionales: Q
En el con ju n to de los núm eros enteros Z se pueden plantear preguntas del estilo:
¿Q u é núm ero entero m u ltiplicado p or 2 d a co m o resultado 6? Es decir, se plantea
la ecuación 2x = 6 , que tiene solución. P ero si se plantea la ecuación 6.x = 2 ocurre
que 110 existe solución.
E 11 general, una ecu ación de la form a bx = a don de b ^ 0 y a son núm eros enteros
110 siem pre posee solu ción en el con ju n to Z . B uscar un m arco don de esta ecuación
80 C apítu lo 3 R elacion es y aplicaciones entre con ju n tos
genérica posea solu ción es lo que obliga a in trodu cir el con ju n to de los núm eros
racionales, d en ota d o Q.
La ecuación bx = a tiene solu ción en Z dependiendo del par de núm eros (a, b), lo que
nos induce a pensar en definir los núm eros racionales partiendo de pares de núm eros
enteros. A dem ás, observam os que los pares (3 ,1 ), 6 , 2) y (15, 5) con ducen a la misma
solución de la correspon dien te ecuación. E sto n os lleva a considerar en el conjunto
Z x Z *, la siguiente relación de equivalencia:
[ (1 ,1 ) ] ,[ (1 ,2 ) ],[ (1 ,3 ) ( 1 , - 1 ) ] ,[ ( 1 , - 2 ) ] ,[ ( 1 , - 3 ) ], ■■■,
[ (2 ,1 ) ] ,[ (2 ,3 ) ],[ (2 ,5 ) ( 2 , - 1 ) ] ,[ ( 2 , - 3 ) ],[ ( 2 , - 5 )
de manera que la clase a la que pertenece el par (a, b) se escribe com o - . A sí pues,
el con ju n to Q se escribe com o:
Q — |^ (a,b)G Z x Z * }
E je m p lo 3 .1 0 | E n tero s m ó d u lo p: Z / p
En el con ju n to de los núm eros enteros Z se define la relación de equivalencia a =
b m od p si y sólo sí a — b es divisible por p, es decir,
a = b m od p 3k £ Z , a — b = kp
Z / p = { 0 , l , 2 , . . . , ( p — 1) }
La clase [0] está con stitu id a p or tod os los núm eros enteros m últiplos de y se
representa p o r p Z = { k p \ k £ Z } .
E je m p lo 3 .1 1 | R e a le s m ó d u lo 27t:
3.2 R e la c ió n d e equivalencia 81
■ R ecíprocam en te, to d a partición P del con ju n to U perm ite definir una relación
de equivalencia 8 en el con ju n to U m ediante:
En el ejem plo 2.5 se define el con ju n to de los núm eros naturales N = {0 ,1 , 2, 3 ,4 - ••},
d on de el siguiente de 0 es s (0 ) = 1, el siguiente de 1 es s ( l ) = 2 , y así sucesivamente.
De esta form a cada núm ero natural distinto del cero es definido co m o el siguiente de
o tro núm ero natural, y esto nos perm ite realizar la siguiente representación de N:
A con tin u ación presentam os el tip o d e relación en un con ju n to cualquiera que define
una orden ación de los ob je to s del con ju n to.
3.3 R e la ció n d e orden 83
P ara subrayar que una relación de orden no es to ta l se indica con el term ino parcial:
relación d e ord en parcial.
E je m p lo 3 .1 6 | O rd en entre su b co n ju n to s
La relación contenido C en el con ju n to de las partos de un con ju n to 7(11) verifica
las propiedades (reflexiva) A C A , (antisim ótrica) si A C B y B C A , entonces
A = B , y (transitiva) si A C B y B C C , entonces A C C .
La relación C entre los con ju n tos de las partes de un con ju n to es una relación
d e orden. Es claro que n o se trata d e un orden total, para ello basta encontrar
un con tracjcm p lo. Sea el con ju n to A — {a , b, c ] y consideram os los subconjuntos
A i = { a } y A ‘2 ~ { 6}, es evidente que ni A¡ c A-¿, ni A 2 C A i.
E je m p lo 3 .1 7 O rd en en N, Z, Q y R
E n cad a uno de estos con ju n tos de núm eros está definida la relación de orden habi
tual, ^ , m en o r o igual que es una relación de orden total. La definición del orden
en cada uno de estos con ju n tos se verá en ca pítulos posteriores.
C a b e observar que una vez establecida la relación orden ^ se pueden definir las
relaciones habituales < , estricta m en te m enor, y > , estricta m en te m ayor, que no
son relaciones de orden, puesto qu e 110 son reflexivas, aunque sí son transitivas.
O bsérvese que si a = 6, entonces los intervalos (a, 6), (a, 6] y [a, b) son el conjunto
vacío, mientras que e! intervalo [a, b] se reduce a un punto.
a b
Sin em bargo los intervalos pueden ser entendidos en el m arco de los otros conjuntos
num éricos orden ados aunque se representen dentro de la recta real.
El intervalo [3,6] en los núm eros naturales N es [3.6]^ — { 3 ,4 , 5 ,6 } y el intervalo
( 1, 2)^ = 0.
El intervalo ( - 3 , 5 ] en los núm eros enteros Z es ( - 3 , 5 ] z — { —2 , - 1 , 0 .1 , 2, 3, 4, 5}
y el intervalo (3 ,4 )^ = 0. E n general, los intervalos de N y los de Z se son puntos
aislados en la recta real R.
C u an d o se desea hacer referencia al intervalo ( - 3 , 4 ]q en los núm eros racionales Q se
em plea ese m ism o intervalo en la recta real y se expresa co m o ( —3, 4]q = ( —3 ,4 ] f)(Q>.
3.3 R elación de ord en 85
-3 -2 -1 0 1~ 2 3 4 5~~
El intervalo inicial (<—. 2)% = {•••, —2. —1, 0 .1 ) en los núm eros enteros, y el intervalo
final [3, —»)z = ( 3 ,4 ,5 , •••}.
E je m p lo 3 .2 2 O rd e n lexicográfico en R 2
C on el orden usual de R se define la siguiente relación de orden en R 2:
Es una relación de orden total. A l observar la figura 3.7 se puede com p robar que dado
un punto (a, b), entonces (<—, (a, b) ] ^L U [(a, fe), — = ® 2, y p or tan to cualquier
punto (x ,;y) del plano está relacionado con un pu n to cualquiera (a, fe), es decir,
(x,y) { a, b) o (a, fe) s$L (x,;y).
86 C apítu lo 3 R elaciones y aplicaciones entre conjuntos
(c,d)<L (x,y)
(c.d)
(a,b)<L(x,y}< L(c,d)
El term ino lexicográfico proviene de que el orden es an álogo al que se utiliza para
disponer las palabras en un diccionario.
E je m p lo 3 .2 3 O rd e n p ro d u c to en IR2
Se define en IR2 com p on en te a com p on en te el siguiente orden:
Esta relación de orden es un ord en parcial en IR2 que en E con om ía se denom ina orden
de P areto. E n general, cu a n d o se tienen dos espacios ordenados, el orden prod u cto
es el orden que se define en el p ro d u cto cartesiano com p on en te a com ponente.
( c ;d)
(c,d}<p (x,y)
(a,b)
(x,y)<P(a.b)
(a ,b )
A l observar la figura 3.9 se pu ede com p robar que d a d o un pu n to (a, fe), entonces
IR2 (<—, (a, fe)]^,> U [{a, b ) , —*)*',, y por tanto la relación de orden n o es total. De
hecho, si a ^ fe, los puntos (a, 6) y (fe, a) no son com parables, es decir, ni (fe, a) ^ p
(a, 6) ni (o, fe) (fe, a). L uego, es una relación de orden parcial.
3.3 R e lación d e orden 87
D e f in ic i ó n 3 .2 4 C o n ju n to a c o ta d o
D ados un con ju n to ord en ado (U, y un su b co n ju n to A C U, se denom ina:
* C o t a s u p e r i o r d e l c o n j u n t o A : U na c o ta superior d e A es cualquier
elem ento u £ U que verifica que Va: G A x ■< u.
■ C o t a in f e r i o r d e l c o n ju n t o A : U na c o ta inferior de A es cualquier
elem ento d € U que verifica que Va: € A d<x.
■ A c o n j u n t o a c o t a d o s u p e r io r m e n t e : E l con ju n to A es a co ta d o supe
riorm ente si existe una co ta superior d e A .
■ A c o n j u n t o a c o t a d o : E l con ju n to A es a co ta d o si lo es ta n to superior
m ente co m o inferiorm ente .
P r o p o s i c i ó n 3 .2 6
D ad os un con ju n to orden ado (U, y un su b con ju n to A c U, se tiene
D e m o s t r a c ió n :
1. Supuesto que existen M , M ' G A tales que p ara cualquier x € A se verifica que
x M y i X M ' . E n particular, se verifica qu e M ' 8 M y M ■< M ' , luego se
obtiene M = M ' directam ente de la propiedad antisim étrica. L o m ism o ocurre con
el m ínimo.
Las cotas inferiores son los núm eros 1 y 2. A dem ás, m ín (A ) = 2 = ín f(A ).
Este m ism o con ju n to al ser considerado co m o su b con ju n to del con ju n to ord en ado de
los núm eros reales, R , se puede expresar c o m o A = [—y/2, \/2] n Q.
Su suprem o es su p (A ) = \/2 y su ínfim o es ín f(A ) — —\¡2. N o existe m á x (A ) ni
m ín(A ).
P r o p ie d a d d e l b u e n o r d e n
Se dice qu e un con ju n to orden ado (£/, es un con ju n to bien ord en ado, o que
la relación A es una buena ordenación, si cualquier su b con ju n to n o vacío posee
m ínim o. E l elem ento m ínim o de ca d a su b con ju n to A tam bién se denom ina
prim er elem ento d e A .
La prop ied ad del buen orden es una propiedad característica del orden de los núm eros
naturales. E l p r i n c i p i o d e la b u e n a o r d e n a c i ó n d e N se enuncia com o: T od o
con ju n to n o vacío de núm eros naturales tiene m ínim o.
P r o p ie d a d d e l s u p re m o
Se d ice qu e un con ju n to orden ado (U, -A) verifica la prop ied ad del suprem o
si y sólo si cualquier su b con ju n to n o v a cío A a cota d o superiorm ente posee
suprem o.
La propiedad del suprem o es una propiedad característica del orden de los núm eros
reales (ord en con tin u o) que se con oce co m o a x io m a d e l s u p r e m o d e R: T o d o
con ju n to no vacío de núm eros reales a cota d o superiorm ente tiene suprem o.
90 Capítulo 3 R elacion es y aplicaciones entre conjun tos
. .. . (2,2)
yy.y-Af'y :j
0 .i)r
E je rcicioj o3 .3
. o 1l Sea
o eli ccon
ea e o n ju n tto
ju n del
o u ejercicio
ei e 3.30
jtn c i c i o o en
.o u e eli ccon
n e o n ju n tto
ju n ordenado
o o iu e n c tu o
>tado del orden p rod u cto. Determ ine, cotas suprem o, ínfimo, m áxim o y m ínim o de
SZ2L
$ x € A, x =¡¿ M , qu e cu m p la M ^ x.
$ x € A, x / m, que cu m p la x A m..
O b serv ación : Si el orden de U es tota l, los con cep tos de m axim al y m áxim o, res
pectivam ente m inim al y m ínim o, coinciden. E n general, los elem entos m axim ales y
los m inim ales de un con ju n to no tienen porqu e ser únicos, veáse el siguiente ejem
plo. Sin em bargo, si un con ju n to tiene elem ento m áxim o, respectivam ente m ínim o,
entonces sólo hay un elem ento m axim al, respectivam ente m inim al, que coin cide con
el m áxim o, respectivam ente m ínimo.
92 C apítulo 3 R elacion es y aplicaciones entre conjun tos
E je m p lo 3 .3 4 E n el con ju n to ord en ado del ejem plo 3.27, (N*. |), se considera
el con ju n to A = { 2 ,3 , 4, 5, 6 , 7, 8 , 9 ,1 0 } , que no tiene ni m áxim o ni m ínim o, pero se
verifica que los núm eros 2 ,3 , 5, 7 son m inim ales de A , y que los núm eros 6 , 7, 8 , 9 ,1 0
son ináxim ales de A
!
!
I
(0.1) L
(0 ,1 )
(1,0)
tal que x + y = 1, que cualquier intervalo de este tip o sólo contiene al p rop io punto
{x,y)-
U na cota inferior de A es cualquier pu n to del intervalo inicial (•*—, (0, 0 )]p . A dem ás,
ín fp (A ) = ( 0 , 0 ) € A , luego m ín p (A ) = (0 , 0 ). □
Este pseu d o-grafo perm ite definir la relación 31 C V x V , que d en otam os por
mediante:
E sta relación es de orden parcial puesto que los vértices d y / no están relacionados.
El con ju n to de minimales de V es { a , g } y el con ju n to de elem entos m axim ales de
E es
D e f in ic i ó n 3 .3 7 A p l i c a c i ó n e n t r e c o n ju n t o s
U na relación entre los con ju n tos A y B se d en om in a a p li c a c ió n , o fu n c ió n
entre A y B si y sólo si cualquier elem ento d el con ju n to inicial A está relacio
n ado co n un ú nico elem ento d el con ju n to final B.
■ El con ju n to A es el c o n ju n t o in ic ia l, c o n ju n t o o r ig in a l o d o m i n i o d e
d e f i n i c ió n de / , y se den ota O r i g ( /) o D o m ( /) .
■ El con ju n to B es el c o n ju n t o fin a l de / .
■ El elem ento f ( x ) se denom ina im a g e n del elem ento x o sim plem ente imagen
de x.
3) Una regla m ás estricta fue la prop u esta p o r N. B ourbaki pero que no llegó a
cundir entre la com unidad m atem ática. Define una función co m o aquella relación o
corresp on d en cia tal que la im agen de cualquier elem ento es el con ju n to vacío o un
con ju n to unitario. E n este caso define el d om in io de la función co m o el su bcon ju nto
de puntos d el con ju n to inicial cu ya im agen es un con ju n to unitario. El con cep to de
aplicación que p rop on e es el m ism o que hem os definido en este apartado.
E j e m p l o 3 .3 8 1 V a lo r d e u n a p r o p o s i c i ó n
Sea P el con ju n to de todas las p rop osiciones que se pueden crear con tres pro
posiciones sim ples, y { 0 , 1 } el con ju n to de valores lógicos. Se define la relación
v : p — * {o, 1} tal que a de cada p rop osición le asocia su valor sem ántico. E s
ta relación es una aplicación.
E j e m p l o 3 .3 9 | T a b la s d e v e r d a d
D ada una p rop osición com pu esta de tres p rop osiciones sim ples p, q y r, cualquier
aplicación / del con ju n to { 0 , 1} x { 0 , 1} x { 0 , 1} al con ju n to { 0 , 1} constituye una
ta b la de verdad. P or ejem plo, el valor lóg ico de la p rop osición para p = l , q = 0 y
r = 1 queda determ in ado p or / ( 1, 0 , 1).
96 C apítulo 3 R elacion es y aplicaciones entre conjun tos
A nálogam ente, cualquier aplicación entre {(), 1 } " y { 0 , 1 } define una ta b la de verdad
de una p rop osición com puesta p or n p rop osicion es simples.
..... :...... r -
p : A — ►A/E
x i— ■>p ( x ) = [x]
Esta aplicación se denom ina proyección can ón ica del con ju n to A en el con ju n to
cociente.
P odem os p or un lado considerar la p roy ección can ón ica p del ejem plo anterior y
tam bién considerar la aplicación f que asigna a ca d a clase de equivalencia la imagen
mediante / de uno cualquiera de sus representantes:
/: A/£f >B
E je m p lo 3 .4 5 A p licación identidad
E s la aplicación / , A — > A tal que la im agen de cada elem ento de A es el propio
98 Capítulo 3 R elacion es y aplicaciones entre conjuntos
IA : A — >A
x i— > Ia (x ) = x
r 1 = { ( ! / , * ) e B X A I / ( * ) = y } = { ( / ( : X), X) I X € A ]
E je m p l o 3 .4 6 E l con ju n to { (re, y) e l 2 | x 2 — y — 0 } = {( .x ,x 2) | x G R }
es una aplicación / de E en E , definida c o m o f{x) = x 2, pero la relación / -1 no es
una aplicación.
f(X)
E je m p lo 3 .4 7 D e t e r m in a c i ó n d e l d o m i n i o
C uando se da una función p or com prensión, a m enudo se indica una expresión de la
imagen de un elem ento genérico, p or ejem plo, f { x ] - -,-2 , p ero no siem pre se indica
el con ju n to inicial o el con ju n to final.
E sto es m uy im portan te puesto que las funciones
g : [O, + o o ) y f-
9{ x) f(x)
son distintas co m o puede com probarse en las figuras 3.19-3.20, y tan sólo se dife
rencian en el d om inio. De hecho, co m o el con ju n to inicial de g está contenido en el
con ju n to inicial d e / , y sobre la parte com ú n a am bos las funciones coinciden, se
dice que g es la r e s t r i c c i ó n de / a [0 , oo) o que / es una e x t e n s ió n de g a M.
{ g o f ) ( x ) = g{f(x)) V xeA
1.00 Capítulo 3 R elacion es y aplicaciones entre conjun tos
(g o f ) ( x ) = g o f ( x ) - g { f ( x ) )
(h o g) o f = h o (g o / ) .
En efecto:
[h o (<7 o / ) ] ( x ) - h{ ( g o / ) { x ) ) - h{g{f(x)))
E sta prop ied ad perm ite escribir la co m p o sició n de más de dos aplicaciones sin
tener que utilizar los paréntesis, p or ejem plo h o g o / .
/ 0 Ai = / y I b 0 f — f-
f 0 I r - - f 0 f 0 ■- ■0 f ■
3.4 A p licacion es entre con ju n tos 101
E j e m p l o 3 .5 0 | S u c e s io n e s d e e le m e n t o s d e u n c o n ju n t o
Se denom ina sucesión de elem entos de un con ju n to A a una aplicación cu yo con
ju n to inicial es el con ju n to N o N*, es decir, cualquier elem ento / G Tf(N,.4) o
f G ÍF(N *,A ). P or ejem plo, una sucesión de núm eros naturales / G Í?(N, N) definida
p or la expresión f ( n ) = n 2,Vr¿ G N*: la sucesión de los cuadrados de ca d a núm ero
natural.
Frecuentem ente, la sucesión / se presenta co m o una lista ilim itada de núm eros
^0 i ^l ? >’ ’ ’ i ^111
/ ( 0 ) , / ( l ) , / { 2 ) , / ( 3 ) , - - - , s(n),-- - ,
E je m p l o 3 .5 1 F u n c i ó n c a r a c t e r í s t ic a d e u n c o n ju n t o
D a d o un su bcon ju nto A C U, se llam a función característica de A , y se den ota \ a ,
a la función : U — > IR definida de la form a:
, , f 1 x &A
^ { ü x í A
al m enos una solución. E sto se deduce del h echo de que to d a ecu ación p olinóm ica
de grado im par tiene al menos una raíz en R.
o lo que es lo m ism o:
D e f i n i c i ó n 3 .5 7 A p l i c a c i ó n b iy e c t iv a o b i y e c c i ó n
Es una a p lica ción qu e es sobreyectiva e inyectiva al m ism o tiem p o, es decir,
tal que to d o s los elem entos del con ju n to final están relacionados co n un único
elem ento del con ju n to inicial. E s decir, una aplicación / € ^ (A , B ) ta l que:
1 ° 9 1) = 9 ° ( f ° f 1) ° 9 '^ golijog 1= g °g 1 = le
( / _i ° 9 ~ ] ) ° ( . 9 ° / ) = / “ ' ° G r 1 ° 9) ° / = / -1 ° ° / = f ~ l ° / = -^-4
T eo re m a 3 .6 1 Sea u na aplicación / € T (A , B ).
D e m o s tr a c ió n :
V eam os la equivalencia de am bos apartados m ostrando las dos im plicaciones.
I.) Si f es sobreyectiva. entonces I m ( / ) = B. E n consecuencia, para to d o y £ I n i ( /) el
con ju n to f ~ ] ( y) es un con ju n to no vacío. Sea cy un elem ento de f ~ 1(y): p or tanto,
f ( c y ) = y. Se define:
h: B — >4
V M K y ) = cy
R ecíp rocam en te, si existe la a p lica ción h £ A { B , A ) tal que f o h = I b - entonces para
ca d a y £ B, se tiene que f ( h ( y ) ) — y. L uego y € I m ( / ) y, p or tanto, B C I m ( /) .
A sí pues, f es sobreyectiva.
g: B — >A
y - 9 (») = { “ » s: l
[x 0 si y lm (/)
/: A/£f — >B
[x] ■— > /( [ £ ] ) = f ( x )
p : A — > A/¿T/
x 1— * p ( x ) - [x]
que por la definición del con ju n to cociente es una aplicación sobreyectiva. C onside
rem os el siguiente diagram a.
3.4 A p licacion es entre conjuntos 107
D
Se tiene; f — f °p
pues para to d o x £ A,
f o p ( x ) = f ( p( x ) ) = f{[x}) = f ( x )
A/Sf
Vam os a introducir en el diagram a anterior el con ju n to im agen f ( A ) C D , utilizando
la aplicación
i- f(A) B
y i ( y) = y
b: AfEf f(A)
íxl í>([x]) = f ( x )
/ : R — ■>M
x i— > f ( x ) — s e n x
y en consecuencia:
Obsérvese que siem pre existe un ú nico representante de cada clase en el intervalo
[ - 7 t/2 ,7 t/2 ] .
Equipolencia de conjuntos
La existencia de u na biyección entre dos con ju n tos A y B perm ite em parejar cada
elem ento de A con un único elem ento de B. y p o d e m o s decir de m anera coloquial,
que si A y B tienen un núm ero finito de elem entos, entonces el con ju n to A tiene
tantos elem entos corno el con ju n to B.
D e f in ic i ó n 3 .6 3 Se denom ina:
ca rd (A ) = n
En con ju n tos finitos el con cep to de núm ero cardinal está intuitivam ente asociado
con el recuento del núm ero de elem entos del con ju n to.
Sean un con ju n to A que contiene n elem entos, y un con ju n to B que tiene m ele
mentos. Las siguientes observaciones son intuitivas y posiblem ente el lector ya las
conoce. Se estudiarán con más rigor y precisión en el capítulo 5:
U na aplicación entre los con ju n tos A y B queda determ in ada al precisar la imagen
de cada elem ento de A. Si el con ju n to A tiene n elem entos y el con ju n to B tiene
m elem entos, entonces cada aplicación es una variación con repetición de los m
elem entos de B tom ados de n en n. P or lo tanto, el con ju n to de todas las aplicaciones
de A a B , íF(A, £?), tiene m n aplicaciones distintas.
D efin ición 3 .6 4
E je m p lo 3 .6 5 Identificación de co n ju n to s
Sean dos con ju n tos A y B tales que existe una biy ección / entre am bos, es decir
A = B . E ntonces a cada su b con ju n to A\ d e A le correspon de un su b con ju n to f { A \ )
y sólo uno de £?, puesto que / -1 o / ( A i ) = A i.
E n este caso a cualquier operación de con ju n tos que se realice en A , le corresponde
la op eración análoga en B con las imágenes de los elem entos de A . E n algunos casos
operar en B resulta más có m o d o que en A d eb id o a la naturaleza de los elem entos
del con ju n to B . E n estos casos tan sólo ha de operarse en B y posteriorm ente aplicar
la biyección / _ 1 .
Un ejem plo d e biyección es la identificación que se p rod u ce entre los con ju n tos R2 x R
con el con ju n to R 3 con la biyección f ( ( x , y ) , z ) = (x . y . z ), o en general, entre los
con ju n tos R n x R m y R n+m m ediante la aplicación:
O tro ejem plo es la identificación del con ju n to de vectores libres del plano o del
espaeio con el con ju n to R 2 o R 3 m ediante las coord en ad as de un vector respecto a
una base.
C o m e n ta rio s 111
E j e m p l o 3 .6 6 | I n m e r s i ó n d e c o n ju n t o s
D ados dos con ju n tos A y B tales que existe una inyección / entre am bos, entonces
resulta que / es una biyccción entre A y , f ( A) , es decir A = f { A ) . E ntonces algunas
veces se identifica al con ju n to A co n f ( A ) y en lugar de considerar los elem entos de
A. se consideran los de f ( Á ) .
P or ejem plo, la identificación que entre el con ju n to Z + = { z G Z | 0 ^ z } con el
con ju n to N m ediante la aplicación que al núm ero natural n le correspon de el número
entero (clase de equivalencia, véase el ejem plo 3.9) que contiene al par (n ,0 ).
O tro ejem plo, es la identificación de Z con el su beon ju nto de núm eros racionales
|z e z j c q .
En general, este tip o de inm ersiones es m uy útil si la inyección conserva las es
tructuras algebraicas de los con ju n tos, cu estión que excede los contenidos de este
capítulo.
Comentarios
/ : {F i |i 6 / } — > 1J F,
ier
Fi t- ^ f { F %) = f l
tal que f , G para to d o i G / . Inform alm ente, una función de elección es una
función definida sobre una fam ilia de con ju n tos no vacíos que a cada conjunto le
asocia un elem ento del p rop io con ju n to.
U no de lo enunciados del axiom a de elección es:
■ E nunciado tradicional: Para to d a T , fam ilia no vacía de con ju n tos 110 vacíos,
se puede elegir 1111 único elem ento de cada con ju n to de T .
N osotros ya hem os utilizado este axiom a. P or ejem plo, en el teorem a 3.61 cuando
dem ostram os que si una a plicación / £ 3 { A , B ) es sobreyectiva, entonces existe
h £ ' J ( B . A ) tal que f o h. = I r , utilizam os el axiom a de elección. E legíam os, si
m ultáneam ente y arbitrariam ente un núm ero, que puede ser infinito, de elem entos
cy . Es decir en esc caso, el con ju n to I es el con ju n to B , ia fam ilia { i q | i £ 1}
es precisam ente { f ~ l (y) \ y £ B } y la función de elección correspondiente es la
aplicación:
c: \ y & B ) — » U / _ I (í/)
El con cep to d e función de elección perm ite definir el p ro d u cto cartesiano de una
fam ilia arbitraria de conjuntos. E n efecto, dada la fam ilia de con ju n tos n o vacíos
{Ft |i £ I ] , el p rod u cto cartesiano de [ F l \i £ / } , que se denota
El axiom a de elección form a parte de los fundam entos básicos de la teoría de conjun
tos: 110 es deducible desde la axiom á tica Z F , es decir es independiente de los axiom as
ZF. A dem ás, es un axiom a que unido a los axiom as ZF mantiene la consistencia de
Z F (K . G ód el) y a esta unión se le denom ina teoría de con ju n tos ZFC .
L a m ayoría de la com unidad m atem ática acepta el axiom a de elección com o princi
p io válid o p ara dem ostrar nuevos resultados. T od a vía hoy aparecen m uchos trabajos
d on de se establece la equivalencia entre determ inados teorem as y el axiom a de elec
ción dentro de la teoría ZF.
Sean a y b dos núm eros cardinales y sean A y B dos con ju n tos tales que:
a — c a rd (A ) y b — c a rd (B )
Es fácil ver que la definición n o depende de la elección de los con ju n tos A y B pues
si A = A ' , B = B ' pues tom ando,
i inyección de A en B j
f biyección de A en A'
q biyección de B en B ' ' i'
J A ! -------------- > B !
resulta que i' tam bién es inyectiva.
La relación ^ es reflexiva, pues la a plicación identidad es inyectiva. es transitiva
pues la com p osición de aplicaciones inyectivas es una a plicación inyectiva.
114 C o m en ta rio s
La prop ied ad antisim étrica se deriva d e un teorem a que n o dem ostrarem os aquí pero
sí enunciam os:
T eo re m a 3 .6 7 d e C a n to r-B e rste in -S c h ro ed e r
D ad os dos con ju n tos A y B , si existen dos aplicaciones inyectivas f : A —> B
y g : B —> A , entonces existe una a plicación biyectiva entre A y B .
E nunciado en térm inos d e cardinales sería: P ara to d o par de núm eros cardinales a
y b se tiene:
Si a ^ b y b ^ a entonces a — b
T a m p oco dem ostrarem os que la relación de orden es total, es decir, p ara to d o par
de núm eros cardinales a y b se tiene:
que enunciado en térm inos de con ju n tos sería, dados dos con ju n tos A y B , existe
una aplicación inyectiva de A a B o existe una aplicación inyectiva de B a A. Este
resultado se con oce com o te o r e m a de C a n to r y es un resultado equivalente al
axiom a de elección.
El co n cep to de cardinal de C antor perm itió com parar el “ tam año” de con ju n tos “ in
finitos” , y com p rob ar que el cardinal de N, No, es m enor que cardinal de IR, c.
La hip ótesis del continu o, H C , dice que n o existen con ju n tos cu y o cardinal sea
m ayor que No y m enor que el cardinal de IR.
E n la teoría Z F C se tiene que existe un núm ero cardinal Ni, el inm ediato superior
a No- La H C equivale a decir: Ni = c. N o se puede dem ostrar la H C en Z F C , ni su
negación, así pues H C es un enunciado no decidióle en esta teoría de conjuntos.
E jercicios 115
Ejercicios propuestos
1. C ada una de las relaciones lógicas siguientes define una relación en el conjunto
N*. Estudie si cad a una de las relaciones es reflexiva, sim étrica, antisim étrica
o transitiva.
a) x es distintu de y b) x es me n o r o igual a y c) x + y = 20
d) x — y — 1 e) x divide a y
4. Se denom ina b ytes a cada elem ento del con ju n to {0 , l } 8 y se em plea la nota
ción a-jac,aóa,\a-¿a2 (i\(iQ p ara representar a (ao, a \, a-¿, « 3, o.5, uq, a?) 6 { 0 , l } 8
. Estudie las propiedades que cum plen cada una de las siguientes relaciones.
c) C = { { x , y ) |1 < y ^ 2 } A) D = { { x , y ) |n m x ( x , y ) = 1}
«) E = { ( x , y ) | |z| + |y| = 1 < 2 } f ) F = { ( x , y ) |x 2 + y 2 - 1}
Estúdicse la existencia, y en su caso determ ínelo, de cotas superiores e in
feriores, suprem o, ínfim o, m áxim o, m ínim o, m axim ales y minimales de cada
uno d e los con ju n tos con el orden lexicográfico y posteriorm ente con el orden
p rodu cto.
11. E n el con ju n to de las sucesiones de núm eros reales, se consideran las rela
ciones siguientes:
12. E n el con ju n to d e las funciones reales de variable real, 1RR, se considera las
relaciones siguientes:
a) Inyectiva y n o sobreyectiva.
b) Sobreyectiva y n o inyectiva.
e) N o sobreyectiva y n o inyectiva.
d) B iyectiva.
a ) = ^ = ^ ~~ x '¿
c) h { x ) - ln (x 3 - x ) d) t ( x ) = \J* _ J ¿
17. Sean A un con ju n to y f : A —> A una a plicación tal que existe n £ N*cum
pliendo que f n — I a • D em uestre que / es una aplicación biyectiva.
a) P ( x , y ) = N O T (O R (x , ;</)).
b) X O R ( x , y) - O R (A N D (x , N O T (y )), A N D (N O T (x ), y)).
c) I F ( x , y ) = O R (x , N O T (y ))
Operaciones internas y
estructuras algebraicas
Estas estructuras son im portan tes por su sencillez y p or los resultados y propiedades
que de ellas se deducen, resultados que serán válidos ca d a vez que se m aneje el m ism o
tip o de estructura. Identidades en los núm eros reales del tip o a2 — b2 — (a + b)(a —b).
(a + b)2 = a 2 + 62 + 2o.6, el bin om io de N ew ton o deduccion es del tipo si a x = ay
y « ^ n entonces x = y, no son válidas, p or ejem plo, p ara el p ro d u cto de matrices
cuadradas. B asta observar el siguiente contraejem plo:
5 3
y sin em bargo . Hay p or ta n to propiedades que satisfacen
-1 1
las operaciones en K que no satisfacen las operaciones con m atrices cuadradas. Iden
tificarem os que estructura perm ite operar co m o en K o en que estructura hay que
operar con más cautela. Es decir, d espojam os de to d o significado a los elem entos del
con ju n to y a la op era ción para quedarnos con las regias del ju ego y sus consecuen
cias.
122 Capítulo 4 E stru ctu ra s algebraicas
Definirem os las estructuras básicas para operacion es internas: grupos, anillos y cuer
pos. De estas estructuras, el lector ya co n o ce un bu en núm ero de ejem plos. A lo largo
de estudios posteriores, tan to en Físicas co m o en M atem áticas, se encontrará muy
a menudo con este tip o de estructuras. P or ello, el estudio de este capítulo supone
una econ om ía im portan te de m edios intelectuales.
La resta en N o el p rod u cto escalar en el esp acio euclideo tridim ensional no son
operaciones internas.
Propiedades
Sea E un con ju n to y * una op era ción interna definida en E.
■ La operación * es a s o c ia t iv a si para to d o a, 6, c E E
(a * b ) * c — a * (b * c)
4.1 O p era cio n es internas 123
U na de las ven tajas de la propiedad asociativa es que se pueden elim inar los parénte
sis, siendo válida la n otación a * 6 * c.
O tra ven taja es que perm ite definir por recurrencia c o m o se operan n + 1 elementos,
ftj * (l'¿ k •••* (In * fln+1 = (® l -k 0,‘2 * ■■■ * (l-n) k fín + l •
■ La op eración * es c o n m u t a t i v a si para to d o a, b £ E
a* b — b* a
Una ven taja d e la prop ied ad conm utativa es que el orden en que se coloca n los
elem entos a la hora de operar es indiferente. Si la op era ción * es asociativa y con
m utativa entonces a i * <22 * •••* an perm anece invariable cu ando se perm utan o se
reagrupan de m anera arbitraria los elem entos. T ien e sentido hablar p or tan to de
Tam bién se utilizan p ara la intersección y unión de con ju n tos las notaciones siguicn-
tes:
D IL iA 5 ° D -^i) P*u:a indicar la intersección de los con ju n tos A i , .A2, ••• i4n .
1= I
E je m p l o 4 .3 De las operaciones del ejem plo 4.1, 110 son conm utativas la
com p osición d e aplicacion es o el p rod u cto de m atrices. E sto conlleva que cuando
124 Capítulo 4 E stru ctu ra s algebraicas
se m anejen igualdades, por ejem plo de m atrices, iiay que proceder con cau tela a la
hora de m ultiplicar los dos m iem bros de la igualdad, m ultiplicando am bos m iem bros
a la izquierda, o am bos a la derecha. Es decir, d e A = B se deduce que A C — B C
o C A = C B p ero 110 se deduce que que A C — C B . T a m p o co son conm utativas la
resta o la división.
a*e. = e*o. = a
D e m o s t r a c i ó n : B asta observar que si e y e' son am bos elem entos neutros entonces
En consecuencia, e — e'.
□
Supongam os que en E tenem os definido una op era ción interna * con elem ento neutro
e € E.
a * a' — a' * a = e
E je m p l o 4 . 6
En N, N ingún elem ento tiene sim étrico resp ecto de la sum a (salvo a = 0) o el
p rod u cto (salvo a = 1).
E n Z , Q y IR el sim étrico de a para la sum a es —a.
E n Z , no existe el sim étrico de o, para el p ro d u cto salvo si a — —1 o a = 1.
En Q* y R * el sim étrico de a para el p ro d u cto es
a
Según vim os en el capítulo anterior, en el con ju n to ^ ( f i ) de las aplicaciones de un
con ju n to d a d o en si m ism o, sólo tienen sim étrico resp ecto de la com p osición las
aplicaciones biycctivas. E l sim étrico de la b iyeeción / es la biyección inversa f ~ ] .
En el con ju n to de m atrices cuadradas de orden n sólo tienen sim étrico respecto del
p rod u cto, las m atrices cu yo determ inante es d istin to de 0.
D e m o s tr a c ió n : S upongam os que a' y a " son am bos elem entos sim étricos de a.
U tilizam os la prop ied ad asociativa para calcular de dos maneras distintas o/ * a * a 1'
4.2. Grupos
íí veces
n a — a + a + ■■■+ a
Las notacion es - o 1 /a p or a -1 se utiliza exclusivam ente para los núm eros. De hecho,
b a
la n ota ción — sería confusa si la operación n o es conm utativa, y a que a priori —b y
a ' a ,
b— pueden ser distintos. A sí p or ejem plo, si A es una m atriz cuadrada inversible de
a
orden 2, su inversa se d en ota p or A ~ l y nunca se utiliza la notación — .
2. Los con ju n tos Q * ,R * y C* son gru pos con m u tativos respecto del p rodu cto.
( A A B ) A C - [ ( A n B ) U { A n B ) ] A C
= f(A n B ) u ( A n B ) n C] u [{A n B ) u { A n B ) n C]
= p n f i n C ) u ( I n . 8 n C)} u [[(Au B ) n ( A n B ) ] n c )
Pero,
y en consecuencia,
(A A B ) A c = (A n b n C ) u ( A n B n c ) u (A n b n C ) u (A n B n c )
A A (B A C) - (B A C) A A
- ( B n c n A) u ( B n c n A) u ( B n c n A) u ( B n c n A)
= (A A B) A C
1. ( N ,+ ) y (M, •). Sólo el 0 tiene elem ento op u esto en el prim er caso, mientras
que en el segundo caso, el 0 no tiene inverso.
2. ((P (í2 ),n ) y (CP(Í2), U). En am bos casos, ningún elem ento, salvo el elem ento
neutro, tiene elem ento sim étrico, pues si A n B — íl necesariam ente A = B = Q.
A nálogam en te, si A U B — 0 entonces A — B — 0.
De a * b a-kc se pasa a,
a - 1 * (a * b) a ~ 1 * (o. * c) y en consecuencia,
( a -1 * a ) * b ( « _ l * a) * c
e*b e * c es decir, b — c.
2. C om o en 1. de a * r — b se pasa a,
a -1 * ( a * z ) = a ~ l * b y en consecuencia,
( a - 1 -a- a) * x = a -1 * 6 es decir,
e * x —x = a ~ 1* 6
En las tres propiedades lia de observarse que el orden en el que se disponen los
elem entos es im portan te cuando el gru p o 110 es con m u tativo. El inverso de a * b es
fr-1 * a -1 que n o tiene porque coincidir co n a -1 * 6_ 1 . Tam bién, cu ando hemos
hallado en 2, el elem ento x = a ~ ] * b tal que a * x = b, que puede ser diferente de
b * a~l.
* e a b c
© e a * c a e e a b c
e e a e e a a a e c b
a a a a a e b b c e a
c c b a e
A sí el elem ento que, p or ejem plo, está situado en la intersección de la linca de b con
la colu m n a de c en la tercera tabla, es b * c y en este caso, b * c = a. V eam os si definen
estructura de g ru p o con m u tativo o no.
En los tres casos e es el elem ento neutro pues la fila y colu m n a de e dejan invariante
la prim era fila y la prim era colum na respectivam ente.
T am bién se observa a prim era vista que las tres operaeiones son conm utativas pues
las tablas son sim étricas respecto de la diagonal principal (la que b a ja de izquierda
a derecha).
En el prim er (-aso, el elem ento a 110 tiene sim étrico, pues no existe ningún elem ento
a' tal que a © a' = e. L uego (G, © ) 110 es un gru po.
E 11 el segundo caso, el sim étrico de a es a.
E 11 el tercer ejem plo los elem entos sim étricos d e a, b y c son respectivam ente los
propios a, b y c.
La p rop ied ad asociativa en el segundo caso se verifica com p rob a n d o que x * ( y * z ) —
( x * y) * z en tod os los casos posibles de x, y, z G G. Claram ente se cu m ple si uno
de los tres elem entos es el elem ento neutro e p o r tan to sólo hay que com p rob a r que
a * (a * a) — (a * a) * a que se cum ple pues la op era ción es conm utativa.
La propiedad asociativa en el tercer cu adro es un p o c o más tediosa. Hay que com
probar que a * (b * c) — (a * b) * c., a * (a * c) = (a * a) * c. a * (a * b) = (a * a) * b,
b * ( b *c ) = ( b * b ) * c , b*( b * á ) = ( b * b ) * a, c.* (c * a ) = ( c * c ) * a y c * ( c * b ) = (c * c ) * b . T o
dos los dem ás casos se deducirían de los casos anteriores, la propiedad conm utativa
y la del elem ento neutro.
Este últim o g ru p o se denom ina gru p o de K lein y tiene una representación geom étri
ca en el que e es la identidad en el espacio tridim ensional y a, b y c representan las
sim etrías axiales d e eje O x , O y y O z . L a op era ción * es la com p osición de m ovi
m ientos.
130 Capítulo 4 E stru ctu ras algebraicas
Subgrupos
D a d os el g ru p o ( ( ? ,* ) y el su b con ju n to 110 vacío H de G, consideram os la operación
*, restringida a los elem entos del su b con ju n to H . Se dice que H es un s u b g r u p o
de G si (H , *) es a su vez un gru po. En particular, el su b con ju n to unitario H = { e }
siendo e el elem ento neutro de G y el p rop io G son subgrupos de G.
O bservem os que si para todos los elem entos de G se cum ple la propiedad asociativa,
en particular se cum ple para los elem entos de H . Luego para verificar que H es un
su bgrupo de G hay que com p robar únicam ente que:
i) Si a, b E H entonces a * b E H (i.c., * es op era ción interna en H ) .
ii) e E I í , siendo e el elem ento neutro de * en G.
iii) Si a E H entonces el elem ento sim étrico de a cum ple que a -1 E H.
Estas con d icion es se condensan en una en la siguiente p rop osición de caracterización
de subgrupos.
P r o p o s i c i ó n 4 .1 4 Sean un g ru p o ( G ,* ) y un su b con ju n to 0 H C
G. H es un su bgru p o de G si y sólo si p a ra to d o a , b E H , a * b ~ 1 E H .
La ven taja de esta caracterización es que muchas veces se puede dem ostrar que
( H . * ) es un gru p o dem ostrando que es un su bgru p o de un gru p o co n ocid o. N o hay
entonces que dem ostrar la propiedad asociativa, ni la propiedad conm utativa si el
gru p o es con m u tativo. Sim plem ente hay que ver que se satisface la propiedad de la
p rop osición anterior.
y teniendo en cuenta que a — a', b — b' £ Z pues ( Z , + ) es un gru po, se tiene que
z — z 1 € Z[\/2]- Q
E n efecto, sea a £ G y [o.] la clase de a. Sea la aplicación <f>: H — ►[a] definida por,
<¡)(h) = a*h, p ara to d o h £ H . De la expresión de [a], se deduce que (j) es sobreyectiva.
La in vcctividad de ip resulta de la prop ied ad eancclativa que se satisface en tod o
grupo.
132 C a pítu lo 4 E stru ctu ra s algebraicas
Supon gam os que G tiene n elem entos y sea k el núm ero de elem entos de H . P or la
propiedad anterior, todas las clases de equivalencia tienen k elem entos. D enotarem os
al con ju n to cocien te G/% jj p or G / H . C om o
E n un gru p o con un núm ero finito de elem entos, a ca rd (G ) se le denom ina orden
del gru p o G.
E je m p lo 4 .1 7 | E ntre los con ju n tos cocien tes que hem os estudiado, ya nos
hem os en contrado algunos que pueden ser con siderados co m o con ju n tos cocientes
asociados a un subgrupo dado. En con creto, si tom am os n Z co m o su bgru p o de Z ,
o 27tZ com o su bgrupo de M, véase el ejercicio 4.16, obtenem os precisam ente los
con ju n tos cocientes de ios ejem plos 3.10 y 3.11, los enteros m ód u lo n , Z / n Z y los
núm eros reales m ód u lo 27r, M/27 tZ .
4.3. Anillos
2. L a op eración • es asociativa.
Si, adem ás, la op eración • es con m u tativa , se dice que (A , 4-, •) es u n a n illo
c o n m u ta tiv o .
Si, adem ás, A tiene elem ento neutro p ara el p ro d u cto , siendo éste distinto del
elem ento neutro de la sum a, se d ice qu e (A , 4-, •) es un a n illo u n it a r io .
a 4- a + ■■■4- a y a
1. V erem os en capítulos posteriores que los con ju n tos (Z , + , •), (Q , + , •), (M, + , •)
y (C , 4-, •) son anillos con m u tativos unitarios respecto de la sum a y el prod u cto
habituales.
A n(B A C ) = A n [( B n C ) u ( B n C)]
- (A n B n C )u (A n B rC )
= (4nSn(IuC )u((Iufí)n(4nC )
= ((4nB)n(4nC))u((4nB)n(4nC))
- {A n B ) A {A n c)
□
P r o p o s i c i ó n 4 .2 1 P r o p i e d a d e s e n u n a n illo
Sea (A , + , •) un anillo. Se tiene:
(B in om io de N ew ton)
(a + 6)7 = (a + b)n (a + b)
n—1
(O, + b)
,n + l 2 i.n—1
a nb + 1 1abn +
ü n.
i,n + l
;;;a ” 6 + , , a ,,' - |62 + ■■■+ | ^ ^ x \at?
,n + l \( n \ AA ( u\ ( n\
+ a nb + + an~ 1b2 + ■■
.w W . .w w .
71
ab1
7 1 - 1 : > " +i
'n + l' n+1
T eniendo en cuenta que 1 = ( q) = (n + i) y (luo>com pruébese.
71
v —i
se obtiene
Divisores de cero
E n un anillo (A, + , •), se dice que el elem ento a € A , a ^ 0, os un d i v i s o r d e c e r o
si existe b € A, b ü, tal que ab = 0.
„ ( -1 1 \
¿5= 1 ^ 1se tiene que:
AB = ' -1 i 1 - o S
Subanillos. Ideales
Igual que ocu rría en los grupos, algunas propiedades del anillo A se satisfacen au
tom áticam ente en H . com o la prop ied ad asociativa del p ro d u cto o la propiedad
distributiva del p rod u cto resp ecto de la suma. Es m uy fácil dem ostrar la siguiente
p rop osición que caracteriza a los subanillos de un anillo dado.
4.3 A n illo s 137
se d educe que el p rod u cto es interno en Z[\/2]. A dem ás, 1 = 1 + 0\/2 y p or tanto
i e z [ 4 □
E j e r c i c i o 4 .2 6 ¿P o r qu é n Z = { k n ¡ k £ Z } no es un subanillo de Z para
n ^ 2?
S o lu c ió n : A un qu e en el ejercicio 4.16 dem ostram os que n Z era un su bgrupo de
( Z , + ) , y claram ente si a . b £ r?,Z entonces ab £ nZ, sin em bargo, 1. ^ n Z . En este
caso (n Z , + , •) n o es un subanillo del anillo unitario (Z , + , -), pero sí que es un anillo
con las operacion es de Z restringidas a n Z . □
De entre los su bcon ju ntos de un anillo, adem ás de los subanillos, los ideales juegan un
p a p el m uy relevante, véase p o r ejem plo, el ejercicio 9. P ara sim plificar la introducción
del con cep to, nos lim itarem os ai caso de anillos eom m utativos.
138 Capítulo 4 E stru ctu ra s algebraicas
a A = \ak \k G A }
que también se denota por (a) es un ideal de A que se denomina ideal prin
cipal generado por a.
4.4. Cuerpos
[b] = [a + b] y [a] b]
Se com p ru eba que las operacion es no dependen de los representantes escogidos (véase
140 Capítulo 4 E stru ctu ra s algebraicas
+ 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 cu erp o no puede tener divisores de cero. P or tanto
sí K es un cuerpo, entonces el p ro d u cto es una operación interna en K* = K \ { 0 } .
R ecordan d o parte de lo estu diado en este tem a se tiene:
■ a •0 = 0 •a = 0 para to d o a £ K.
Igual que para los anillos se in trod u jo el co n ce p to de subanillo, el con cep to de sub-
cuerpo es análogo. Sea ( K , + ,• ) un cu erp o y sea H un su b con ju n to no vacío de K
don de consideram os las restricciones de las operacion es de K . Se dice que H es un
s u b c u e r p o de K si (H , + . •) es a su vez un cu erp o.
Teniendo en cuenta las p rop osiciones 4.14 y 4.33 resulta inm ediata la siguiente pro
posición.
Si en un con ju n to tenem os definidas una relación d e orden y una op era ción interna,
el hecho de que se cu m plan ciertas propiedades de com p a tib ilid a d entre la operación
y la relación de orden perm ite trabajar con “ desigualdades’'d e m anera similar a
co m o se tra b a ja con desigualdades con núm eros. P o r sim plificar, en este apartado
supondrem os que tod as las operaciones son conm utativas.
Supongam os que tenem os un gru p o con m u ta tivo G d on de p or com od ida d denotam os
p or + la op era ción interna del G, siendo 0 el elem ento neutro de (G, + ) y —o, el
elem ento sim étrico de a. Sea una relación de ord en + definida sobre G. Se dice que
{G, + , + ) es un g r u p o o r d e n a d o si la relación de orden es com p atible con la suma,
esto es:
p ara to d o a, b y c £ G a + 6 = » a + c + 6+ c
142 Capítulo 4 E stru ctu ras algebraicas
Obsérvenlos que en este caso si m , n £ G son tales que 0 -< iri y 0 ^ n entonces
0 ^ m + n pues sum ando n en los dos térm inos de 0 ■< rn, se obtiene n ^ m + n y por
la propiedad transitiva se obtiene 0 ■< rn + n. P o r analogía con los núm eros se dice
que el elem ento a £ G es p o s i t i v o si se cum ple 0 ■< a y el con ju n to de los elem entos
positivos de G se d en ota p or G + . Se dice que el elem ento a € G es n e g a t iv o si
a + 0.
Indistintam ente se escribe b + a para indicar a + b que se lee com o b “ sucede a” ,
“es posterior” o “ es m ayor o igual” a b. La n ota ción a -< b o b >- a indica a + b y
a b.
3. Si a + b entonces —b + — a.
E je m p lo 4 .3 6
4. Sea / " ( [ 0 , 1], IR) el con ju n to de funciones reales de variable en [0,1] C R donde,
com o es habitual, se define la sum a de funciones y el orden, para to d o f , g G
/" ( [ 0 ,1 ] ,R ) , m ediante:
Se com p ru eba fácilm ente que ( ^ ( [ 0 , 1 ],R ), 4-, 4 ) es un gru p o parcialm ente or
denado.
Supongam os ah ora que la relación de orden está definida sobre un con ju n to A donde
tenem os definida una estru ctu ra de anillo con m u ta tivo (A , + , •). Y a vim os co m o en
Q el orden ^ n o es en general com p a tib le c o n el p ro d u cto de núm eros racionales
aunque sin em bargo, sí es com p a tib le cu ando nos restringim os a núm eros positivos.
E sta será la con d ición que se pide a la segunda op era ción en un anillo ordenado.
Se dice que (A , + , •, 4 ) es un a n illo o r d e n a d o si se cu m ple lo siguiente:
i) P ara to d o a, b y c G A si a 4 b entonces a + c. 4 b 4- c.
ii) Para to d o a, b G A si 0 4 a y 0 4 b entonces ü 4 ab.
T o d o anillo orden ado (A. 4-, •, 4 ) es en particular 1111 gru p o orden ado (A , + , 4 ) . E 11
consecuencia, en un anillo ord en ado se satisfacen tod a s las propiedades de la pro
posición 4.35. D e nuevo se designa p or A + al con ju n to de elem entos p ositivos de A,
A + = {a G A |0 4 a }.
Si la relación de orden es total, se dice que el anillo es un a n illo t o t a lm e n t e
o r d e n a d o . Si adem ás, el anillo es un cu erp o hablarem os de un c u e r p o o r d e n a d o .
144 C a pítu lo 4 E stru ctu ras algebraicas
a si 0^ a
\a\ = ,
■a si a -< U
1. a d; b si y sólo si b —o £ A+.
5. S i a ^ ó y c ^ O entonces be ^ ac.
6. P ara to d o a e A, a2 >z 0.
Sean G y G' dos con ju n tos don de se tienen respectivam ente definidas dos operaciones
internas que p or com od id a d denotarem os am bas + . Sea / : G — > G' una aplicación.
Se dice que / es un h o m o m o r f i s m o si se cu m ple que:
f ( a + b) = f ( a ) + f ( b ) para to d o a,b € G
entre dos con ju n tos d ota d os de sendas operacion es internas, define una “ relación” <iue
satisface las siguientes propiedades:
3. Es íransitiva pues si existen dos isom orfism os / : G — > G' y g : G' — >• G "
entonces la com p osición g o f : G — > G " es un isom orfism o.
1. f ( Q o ) = 0a>.
2. / ( —a) = —/ ( a ) para to d o a € G.
3. Si H es un su bgrupo de G entonces,
es un su bgru p o de G ' .
r 1( H ' ) = { a , £ G \ f ( a ) € H ' }
es un su bgru p o de G.
f ( - a ) + f(a) - f ( - a + a ) = f ( 0 G) = 0G‘
/(a ) + / ( - a ) = / ( a + C - a ) ) = /( O c ) = 0 G.
y p or tanto f { —a) = —f ( a ) .
3. Supongam os que a' y b' € / ( / / ) ; veam os que a 1 — b' € f ( H ) . E n efecto, sean a y
b € H tales que f ( a ) = a' y f ( b ) = b'. A p lica n d o la propiedad anterior se obtiene
que f ( a + ( - b ) ) = f ( a ) + f ( - b ) = f ( a ) - f ( b ) = a ' - b\ y puesto que a - b e H,
resulta que a' — b' € f ( H ) .
148 Capítulo 4 E stru ctu ra s algebraicas
De entre los su bgrupos que determ ina un h om om orfism o / m ediante las propiedades
3 y 4 anteriores, son im portantes el con ju n to im agen Im / = f ( G ) y el n ú c l e o del
liom orfism o f que es precisam ente / _ 1 ( { 0 c '} ) y se den ota p or K er / , es decir,
K e r / = { a e < 7 | / ( t t ) = 0 G.}
R especto de f ( G ) y K er / se tiene:
1. Im / es un su bgru p o de G'.
2. K er / es un su bgrupo de G.
3. / es inyeetivo si y sólo si K er / = {O g }-
4. / es sobreyectivo si y sólo si Im / = G ’ .
E je m p lo 4 .4 1
1. C onsiderem os el gru po (M , x ) , siendo M el con ju n to de las m atrices cuadradas
inversibles de orden 2 y x el p ro d u cto de m atrices, y el gru po m ultiplicativo
(M *,-). L a aplicación que a to d a m atriz A lo asocia su determ inante es un
liom om orñ sm o d e grupos pues se cum ple la regla, el determinante, del producto
de dos m.a,trices de M es igual al producto de los determinantes de ambas
matrices. N o es un isom orñsm o. E n efecto, observem os que en este caso, Og =
2. R etom em os el ejem plo 4.38.1 con f ( x ) = e:,; pero restringiendo el con ju n to don
de f tom a valores; / : (M, + ) — * (E + , •). A dem ás de cum plir las propiedades
de la función exponencial, este liom orfism o entre grupos es b iyectivo siendo el
isom orñsm o inverso la función d e (R + . •) en (M, + ) definida por f ~ 1{ x ) = lo g x ,
que se denom ina función logaritm o neperiano.
, . í (Z ,+ ) — (G ,+ )
\ n i— i- f ( n ) = na
i) f ( a + b) = f ( a ) + f ( b )
¡i) f ( a b ) = f ( a ) f { b )
En los próxim os capítulos irem os in trodu cien do form alm ente los con ju n tos numéri
cos. Es frecuente ver escrito una cadena del tipo:
N c Z c Q c R c C
Comentarios
Sean a y b dos núm eros cardinales y sean A y B dos con ju n tos tales que:
A n B — 0, a = ca rd (A ) y b = c a rd (B )
P or definición:
a + b — ea rd (A U B)
Es fácil ver que la definición no depende de la elección de los con ju n tos A y B pues
si A = A ! , B ~ B ' y A' n B ' = 0, existen / biyección de A en A' y g biyeeción de B
en B'. C om o A n B = 0 se puede definir la aplicación:
h: AU B —
,/ x j f i x) ñi X ^ A
x i— > n ( x ) — <
si x G B
1. Es eom inutatíva.
2. Es asociativa.
3. El cardinal 0 es el elem ento neutro de la suma.
4. Si a + 6 = 0 entonces a = 0 y b —0.
la siguiente relación:
Sean a y b dos núm eros cardinales y sean A y B dos con ju n tos tales que:
a — ca rd (A ) y 6 ~ ca r d (R )
P or definición:
a - b = card(^l x B )
Es fácil ver que la definición no depende de la elección de los con ju n tos A y B pues
si A = A' y B = B ' , existen / biyección de A en A! y g biyección de B en B ' . Se
puede definir la aplicación:
1. Es eom m utativo.
2. E s asociativo.
3. El núm ero cardinal 1 es el elem ento neutro del p rodu cto.
4. a •0 = ü p ara to d o núm ero cardinal a.
5. Si a ■b = 1 entonces a = 1 y b = 1.
6. Si a ' 6 = 0 entonces a = 0 o b = 0.
7. E s d istribu tivo resp ecto de la suma.
C o m en ta rio s 153
/ : A xB — ►B x A
(x,y) <
— > = (y./x)
es biyectiva.
2. Se basa en que la aplicación
g: ( A x B ) x C — >A x ( B x C)
es biyectiva.
3. Sea { m } un con ju n to unitario. La propiedad se basa en que la aplicación
h : A — s- A x { m }
x i— > h ( x ) = (x, m )
es biyectiva.
4. Se basa en que A x 0 = 0.
5. Si el con ju n to A x B sólo tiene un elem ento entonces los con ju n tos A y B
sólo tienen un elem ento.
6. Si el con ju n to A x B no tiene elem entos entonces el con ju n to A es vacío o
el con ju n to B es vacío.
7. Hay que dem ostrar que
a ■ (b + c) — a ■b + a ■c
cualesquiera que sean los núm eros cardinales a, b y c. Se tom an tres conjuntos
A, B y C tales que B H C = 0, a = ca rd (A ), b = card(.£?) y c = ca r d (C ).
B asta com p roba r que:
A x (B U C) = (A x B) U {A x C) y (A x B) O ( A x C ) = 0
□
154 Ejercicios
Ejercicios propuestos
[a] * [5] = [a * 5]
Sea G = { ( a , 5) G M2 |a ^ 0 }.
a 3?/ b si y sólo si a ~ b € I
para to d o a, b € G.
i) D em uestre que si a ^ a',b,b' £ A son tales que a Jl¡ a' y 6 ÜR/-6' entonces
ab R r a 'b '.
ii) Si definim os las operaciones -f y • en A / I, c o m o en el ejercicio 3, medíante
I.0. Sea (A , -f-, •) un anillo con m u ta tivo y sea 3v una relación de equivalencia sobre
A que cu m ple si a, a', b. b' £ A son tales que a H a ' y bJlb' entonces a + b 32 a' + b'
y ab 3Z a'b'. Sea ./ — { h £ A : //dRO}. Dem uestre que I es un ideal del anillo
(A . + , -) y que la relación 31 es precisam ente la relación de congruencia m ódulo
H del ejercicio 9.
V éanse los ejem plos 3.10, 4.17, y 4.31 y el ejercicio 9. Del ejercicio 9 se deduce
que ( Z / n Z , -+-, •) es un anillo, que adem ás es con m u tativo y unitario. Se trata
de ver que ( Z /n Z , + , •) es un cu erp o si y sólo si n es un núm ero prim o.
1.56 Ejercicios
12. Sea (^ 4 ,+ ,-) un anillo con m u tativo unitario íntegro. Dem uestre que si el con
ju n to A tiene un núm ero finito de elem entos, entonces ( A, + ,• ) es un cuerpo.
(a, 6) + (a!, b') — (a + a ', b -f b’ ) y (a, b) * (a!, br) — (anf, ab‘ + ba!)
para to d o (a, b), (a', b') G M2. Dem uestre que (R 2, 4-, * ) es un anillo conm uta
tivo unitario no íntegro.
I + J = { a + b |a € / y b G .7}
I J = { a ¡ b i + a‘¿ b2 + h an bn \ G / , 6* G J, i = 1, 2 •••n y n G N *}
16. Demuestre que en 1111 anillo totalm ente ord en ado A se verifica para to d o a, b G
A:
2 m á x (a , b) = a + b + \a — b\ y 2 m ín(a, b) — a + b + \a — b\
18. Dem uestre que cualesquiera que sean los elem entos a y b de un cu erp o ordenado
(& , +•, ;^) se cu m ple |nú| ^ a2 + b2.
Sugerencia: Téngase en cuenta que (ü + 6)2 >: 0 y (a — b)2 >z 0.
19. U sando la fórm ula del bin om io de N ew ton, dem uestre que:
Ejercicios 157
20. Sea / una a plicación creciente de (U, ;S) en (V, <$). Sea A un su bcon ju nto 110
vacío de U, 0 / A C £/, y sea A' = f ( A ) .
Hem os supuesto a lo largo del te x to que el lector con oce, al m enos intuitivam en
te, los núm eros naturales, enteros, racionales y reales. C on o ce c o m o se suman, se
m ultiplican e incluso sabe recon ocer cu a n d o un núm ero es m ayor que otro.
En este ca p ítu lo, vam os a fundam entar tod a s estas propiedades sobre los núm eros
naturales y enteros. Es decir, el o b je to del capítulo es justificar resultados familiares
y con ocid os. E n los ejem plos 2.5 y 3.8 hem os in trod u cid o los con ju n tos de núm e
ros naturales, N, y enteros, Z . El prim er con ju n to se ha in trod u cid o m ediante los
axiom as de P eano, mientras que los núm eros enteros se han con stru ido, partiendo
de los núm eros naturales, co m o con ju n to cocien te de una determ inada relación de
equivalencia. Para facilitar la lectura del ca p ítu lo repetirem os estas construcciones.
La idea básica de los núm eros naturales es que sirven para contar los elem entos
de los con ju n tos finitos y que dos con ju n tos tienen el m ism o num ero de elem entos
cu ando existe una biyección entre ellos. R etom arem os pues el con cep to de cardinal,
in trod u cid o en la sección 3.4, centrándonos en los cardinales finitos y en los cardinales
num erables, am bos con cep tos íntim am ente relacionados con la n oción de núm ero
natural.
Los núm eros naturales no form an un gru p o resp ecto de la suma. La ecu ación b + x — a
no tiene solución en N si a < b. C onstruim os el con ju n to de los núm eros enteros Z
d on de esta ecuación tendrá siem pre solución. Este con ju n to será una extensión del
con ju n to d e los núm eros naturales, en el sentido de que identificarem os N con un
su b con ju n to de Z , conservando las operacion es y el orden.
E studiarem os los con cep tos de m áxim o com ú n divisor y m ínim o com ú n m últiplo vía
los ideales de Z , que aportan un m é to d o sencillo y natural para introducirlos.
160 C apítu lo 5 Los n úm eros natu rales y los n ú m ero s enteros
Intuitivam ente se con ocen los núm eros naturales co m o los núm eros que utilizamos
para contar:
N — { 0 , 1 ,2 ,3 ,4 - - - }
El cero, a veces, se excluye del con ju n to de los núm eros naturales. N osotros utiliza
rem os la notación:
N* - { 1 , 2 , 3 , 4 - ■■}
Introducim os los núm eros naturales m ediante los axiom as de P cano que inform al
m ente son los siguientes:
A\. El elem ento 0 es un núm ero natural.
A 2 . T o d o núm ero natural n tiene un único elem ento sucesor que es tam bién un
núm ero natural.
A 3 . 0 no es el sucesor de ningún núm ero natural.
A.\. D os núm eros naturales cuyos sucesores son iguales, son iguales.
Ar,. Si un con ju n to de núm eros naturales contiene al 0 y a ios sucesores de cada
u no de sus elem entos entonces contiene a tod os los núm eros naturales.
El segundo a xiom a asegura que to d o núm ero natural tiene un sucesor m ientras que el
cu arto asegura que si dos núm eros naturales son distintos, sus respectivos sucesores
son distintos. E sto se traduce en la existencia d e una aplicación s : N — > N (la
aplicación que a cada núm ero natural le hace corresponder su sucesor o siguiente) y
que esta ap lica ción es inyectiva. El tercer axiom a asegura que 0 ^ Im (s) y el quinto
axiom a perm ite asegurar que el núm ero 0 es el ú nico elem ento sin antecesor pues en
caso contrario, existe a € N, a £ Im (s) y a 0- E n este caso, el con ju n to A — N \ {a },
es un con ju n to de naturales que satisface las hipótesis del quinto axiom a y p or tanto
N C A, lo cual es una con tradicción. E 11 resumen:
Los axiom as de P eano perm iten tam bién ver que los elem entos que se van generando
son distintos. E n con creto:
■ P ara to d o n € N , n / s(n).
De esta m anera, cero, uno, dos, tres, etc., son las denom inaciones 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 notacion es utilizadas p ara 0, s (0 ), -s(,s(0)), ,s^,s(s(0))^ , etc.
Suma en N
L a sum a de núm eros naturales se define p or recurrencia utilizando el axiom a Ar,.
1. m + 0 = m p ara to d o m e N ,
2. m + s ( n ) = s ( m + n ) p ara to d o m , n e N.
O b servacion es:
rn + 1 = rn + .s(0) = s ( m + 0) = .s(rn)
i¡) S u pon gam os que la propiedad es cierta para rn, esto es, 1 + rn = s(rn) y
veam os que es cierta para s(rn ), esto es, 1 + s ( m ) = s ( s ( m ) ) . E n efecto:
Las propiedades básicas de esta op era ción están resum idas en la siguiente p rop osi
ción:
162 Capítulo 5 L os núm eros natu rales y los n ú m ero s enteros
2. Asociativa : (m + n ) + ] ) = m + ( n + p )
3. Conmutativa: m + n —n + m
4. Cancelativa: Si m + p = n 4- p, entonces m = n.
Si m + s(p) = n + s(p),
entonces s ( m + p) = s ( n + p) p or definición de suma,
y en consecuencia, rn + p = n + p pues s es inyectiva.
Y p or la hipótesis d e in du cción m — n .
Producto en N
El p rod u cto de núm eros naturales se define p or recurrencia utilizando el axiom a
1. m ■0 = 0 para to d o m € N.
2. m ■s (n ) = ( m •n) - f m p ara to d o m , n € N.
164 Capítulo 5 L os n úm eros n atu rales y los n úm eros enteros
O bservaciones:
rn ■1 = ni •s(0 ) = ( m ■0) + rn = 0 + rn = rn
2. Distributiva: m (n 4- p) = m n + mp y ( m 4- n)p = mp 4- np
4. Conmutativa: m n = nm
5. Cancelativa: Si mp = np y p 5¿ 0, entonces m = n.
ii) Supongam os que la propiedad es cierta p ara rn, esto es, 1 •rn — m y veamos
que es cierta para s(rn ), esto es, 1 •s(m.) — s ( m ) . E n efecto:
2. Se proced e p or in du cción sobre p. Sólo dem ostrarem os la prim era propiedad dis
tributiva.
ii) Supongam os que la propiedad es cierta para p , esto es, rn(n + p) = m n + m.p y
veam os que es cierta p ara s(p ), esto es, m (n -fi s( p) ) = m , n + m s ( p ) . En efecto:
ii) Supongam os que la propiedad es cierta para n, esto es, que para to d o m . p 6 N
de m p — n p y p / 0 se deduce que rn = n. V eam os que de m p = s (n ) •p,
tam bién se deduce que rn = s (n ). E n efecto:
O bservem os en prim er lugar que rn 0 pues si rn = 0, entonces s ( n ) ■p =
m p — 0 y por tan to, d e i) se deduce que s (n ) = 0, lo (pie con tradice el axiom a
A'¿. E n consecuencia rn — s( r ) = r -fi 1 p ara un cierto r € N.
S ustituyendo en la igualdad m p — s ( n ) ■p se obtiene (r + l ) p = (n + 1)p, esto
es rp + p = np + p. P or la propiedad cancelativa de la sum a se obtiene que
rp = n p y p or la hipótesis de in d u cción se d educe que r = n. E n consecuencia
s (r ) — s( n) , es decir, rn — .s(n).
166 Capítulo 5 Los n úm eros natu rales y los n úm eros enteros
□
O b s e r v a c ió n : De las propiedades cancelativa y conm utativa del p rod u cto se deduce
que si 7n, n £ N y m p = 0, entonces m = 0 o p = 0.
Una vez definido el p ro d u cto se define ia p oten cia ción de núm eros naturales en form a
recurrente por:
1. 0n — 0 p a ra to d o n £ N*.
2. a? = 1 p ara to d o a £ N*.
3. an+1 = an ■a p ara to d o a £ N* y n £ N.
P ara to d o ( a , m . n .) £ N* x N x N, __
5.1 Los n úm eros natu rales 167
si m ^ n entonces ra + p ^ n - f p y m p ^ np
ii) Supongam os que la prop ied ad es cierta p ara n, esto es. que para to d o rn, n G N
rn ^ n o ri ^ rn. V eam os que la propiedad es cierta p ara s(n ) = n + 1, esto
es, rn n + 1 o 7?, + 1 ^ rn.
En efecto, si rn ^ n, c o m o n ^ n + 1, de la propiedad transitiva se tiene
rn ^ n + 1.
Si n ^ rn, entonces n = m o n < rn. En el prim er caso n = rn, aplicando el
caso anterior o directam ente, se obtiene que rn íj n + 1. Si n < rn, entonces
77, + 1 ^ rn.
Finalm ente el orden es com p a tib le con las operaciones. E n efecto, sean r n ,n ,p G N
y supongam os que rn ^ n. Sea q G Id tal que rn + q = n. E ntonces, p or un lado,
rn + q + p = n + p, esto es, (?/¿ + p) + q = n + p y p or tan to rn + p ^ n + p . P or otro
lado, (rn + q)p = n p , es decir, rnp + qp — n p y en consecuencia rrip < np.
□
Observem os que de la definición de orden que hem os d a d o se deduce que N no tiene
m áxim o.
Finalm ente estudiam os tres propiedades del orden definido en N. Son propiedades
específicas del orden de N que no serán ciertas ni en Q ni en K con el orden usual. La
prim era de ellas es la existencia de intervalos abiertos de N con extrem os distintos
que n o tienen elem entos. E n con creto:
U = { n G N |n ^ a, para to d o a G A}
Se tiene:
1. U fl A = 0, pues si existiera n G U n A . entonces n sería una c o ta inferior de A y
al m ism o tiem p o un elem ento de A , p or tan to sería un m ínim o de A.
2. U ~ N. E n efecto, se proced e por inducción:
[ i . n+ i ] [1,m]
El estudio de los su bcon ju ntos finitos de N perm ite con ocer m ejor los conjuntos
finitos.
í x si 1 < x < p
1AyX' \ a {x ) si p < x ^ rn
a N es un con ju n to infinito.
Las propiedades estudiadas sobre las partes finitas de N se trasladan fácilm ente al
estudio de los con ju n tos finitos.
P r o p o s i c i ó n 5 .1 1 S u b c o n j u n t o s d e u n c o n ju n t o fi n i t o
Sea A un su bcon ju n to de un con ju n to finito B tal que A / Z?. E ntonces A es
un con ju n to finito y ca rd (A ) < card(-B ).
c a r d (/(A )) card(yl)
C ^ {h {y )\ y € f(A )}cA
card(-B) ^ card(A)
El siguiente teorem a es con secu encia inm ediata de las dos últimas proposiciones.
O b s e r v a c i ó n : Este teorem a es falso si los con ju n tos A y B dejan de ser finitos. Por
ejem plo, las aplicaciones / y g d e N en N tales que f ( n ) = n + 1 y g (n ) = 2n son
dos aplicaciones inyectivas, que n o son sobreyectivas pues / ( N) = N* y ry(N) = 2N
siendo 2N el con ju n to de los núm eros naturales pares. La aplicación h de M en M tal
(jue h ( x ) = x ¿ — x es una aplicación sobreyectiva que 110 es inyectiva.
5.2 C ard in ales finitos 175
ca rd (A U B ) = c a r d (A ) - f c a r d (B )
ca rd (A U B ) + c a rd (A f l B ) = c a rd (A ) - f ca r d (B )
Adem ás A U B = A U ( B \ A ) y A fl (B \ A ) = 0. E n consecuencia, á U B e s un
con ju n to finito y
ca rd (A U B ) = ea rd (A ) + c a r d ( £ \ A )
ca rd (A U B ) + card(.Z? \ A ) + ca rd (A fl B ) = c a r d (A ) + card(£í \ Á ) + ca rd (B )
ca rd (A U B ) + ca rd (A n B ) = c a rd (A ) + c a rd (B )
c a r d (A x B ) — c a rd (A ) •c a r d (S )
ii) Supuesto que c a rd (A x B ' ) = c a rd (A ) •c a r d íl? ') para to d o con ju n to B ' tal
que c a r d (í? ') = n, sean B tal que c a r d (S ) = ?¿ + 1 y fe € B . C onsideram os el
conjunto B ' — B \ {fe}. C om o A x B — A x ( B ' U {fe}) — ( A x B ' ) U ( A x {fe}),
con (A x B ' ) fl ( A x {fe}) = 0, p or la p rop osición anterior y la hipótesis de
inducción se obtiene:
c a rd (A x B ) = ea rd (A x B ; ) + c a rd (A x {fe})
— c a rd (A ) •n + c a rd (A ) — ca rd (A ) •(n + 1)
= c a rd (A ) •ca rd (I?)
□
5.2 C a rd in a les finitos 177
card (S 'C A B )) - c a r d (B ^ ) - ba
c a r d ( B A') = b ■c a r d ( B Á ) = b - ba = ba+1
ca rd (3>(.4)) = 2card(A)
D e m o s t r a c i ó n : B asta observar que existe una a p lica ción biyectiva entre el con j unto
CP(A ) de las partes del con ju n to A y el con ju n to ^ ( A f O , 1 }) de las aplicaciones
de A en { 0 , 1 } que asocia a to d o su b con ju n to B de A la función característica
Xn : A { 0 , 1 } tal que X b { x ) - j * ^ X^ B
Iü si x G A \ B
En consecuencia, card (?*(A )) = carc* { 0 , 1 } ) ) — 2card(-4\
□
ii) Supongam os cierto p ara n < rn, esto es, se verifica que card ( 3 ( A , B ) ) =
rn(ni — 1) •••(m — n + 1). V eám oslo para n + 1. Sea A ' = A U { c } con c A y
p or tan to, c a r d ( A ) = n + 1 . Veamos que ca rd {3 ( A 1, B ) ) = m { r n —i ) ■■■(rn—n ).
E n efecto, una a plicación inyeetiva de A a B se pu ede extender a una aplicación
de A ' a B dan do la im agen del elem ento c. C o m o hay n elem entos de B que
ya son la im agen de algún elem ento de A , hay m. — n valores posibles para la
5.2 C ard in ales finitos 179
nú
Vm,n = rn(rn - 1) ••■(rn - n + 1) = —
F inalm ente indicam os el núm ero de su b con ju n tos de n elem entos que se pueden
extraer de un con ju n to de m elem entos. Hágase la dem ostración a m o d o de ejercicio.
0 ^ n ^ m.
Hem os clasificado los con ju n tos en dos tipos: con ju n tos finitos y con ju n tos infinitos.
Ya sabem os que existen con ju n tos infinitos. P o r ejem plo, N y cualquier su bcon ju nto
n o a cota d o de N es un con ju n to infinito. E n con ju n tos finitos el con cep to de cardinal
de un con ju n to est.á intuitivam ente asociado al n úm ero de elem entos del con ju n to, de
m anera que un su bcon ju n to de un con ju n to finito y el p rop io con ju n to no son nunca
b iyectivos salvo que sean iguales (véase la p rop osición 5.11). E sta prop ied ad deja
de ser cierta en los con ju n tos infinitos. A sí, si consideram os en N el con ju n to A de
los elem entos que son cuadrado de algún núm ero natural, A — {0 ,1 , 4, 9 ,1 6 , ••• } , se
tiene que ca rd (A ) = ca rd (N ), pues la aplicación / de N en A definida por f ( n ) — ii2 es
biyectiva. Es decir, que expresiones tales co m o “ m enos elem entos1' , “ más elem entos11,
o “ tantos elem entos coim úTio pueden aplicarse de igual m anera en los conjuntos
finitos com o en los con ju n tos infinitos. De hecho si X es un con ju n to finito, c a r d (A )
se denom ina tam bién núm ero de elem entos de X , mientras que si X es un conjunto
infinito, c a r d (A ) se denom ina núm ero transfinito.
La prim era pregunta que ca b e hacerse sobre los con ju n tos infinitos es si tienen todos
el m ism o cardinal. ¿ O existen distintos cardinales infinitos? C antor p ro b ó que existen
distintos cardinales infinitos y en particular dem ostró que los con ju n tos IR y N no
son equipotentes. E l siguiente teorem a establece la existencia de con ju n tos infinitos
no biyectivos.
5.3 C o n ju n to s infinitos 181
D e f i n i c i ó n 5 .2 7 U n con ju n to A se d en om in a n u m e r a b le si es equi-
p oten te c o n el con ju n to N.
El cardinal de cualquier con ju n to num erable se d en ota p or No, que se lee alef sub
caro. Son num erables los con ju n tos N, el con ju n to de los núm eros naturales pares,
2N, el con ju n to A de los elem entos que son cu ad rado de algún núm ero natural,
A = {(), 1 ,4 ,9 ,1 6 . •••}>' N*. C ualquier con ju n to num erable, al ser eq u ipolen te con
N, puede ponerse en la form a { x n \n G N } d on de la aplicación biyectiva / : N — > A
viene definida p or /'(/?,) = x r . A dem ás c o m o f es inyectiva resulta que x n / x m si
n, A r/l-
E l teorem a 5.26 asegura la existencia d e con ju n tos no num erables. P or ejem plo,
T (N ) no es un con ju n to num erable. Incluso, se puede intuir una jerarquía infinita de
con ju n tos infinitos, N, T(N), ÍP(T(N)), T^T(T(N )) j , ...
C om o el p ro to tip o de los con ju n tos num erables es el con ju n to de los núm eros natu
rales, estudiam os algunas propiedades de N referentes a cardinalidad. H em os visto
varios ejem plos d e su bcon ju ntos de N que son eq u ipolen tes a N. ¿E xiste algún sub
con ju n to infinito de N que n o sea equipotente a N ? L a respuesta es negativa:
f ( n + 1) = m ín ( A \ { /( O ) , / ( 1 ) , ■■•f ( n ) } )
M == { n G N |a ^ f ( n ) }
2 ______ 2n+Pyn
2n 3m = 2n 2p3m y p or la prop ied ad cancclativa del p rod u cto,
2'pyn'
c a r d ( / ( N x N ) ) = card(N x N)
A k = {( x , y ) e N x N |,x- + y = k }
(n + m )(n + m + l )
l { n , m) = ^ ---------------- + rn
□
184 Capítulo 5 L os n ú m eros natu rales y los n ú m ero s enteros
í h (2 n ) = f(n ) € A
| /i ( 2n + l ) = g {n )eB
í h (n ) = 9Ín ) £ B \ A si n G [O,;?']
|/j.(7J + k) ^ g (k ) G A si k G N
iv) V eam os en prim er lugar que la unión num erable de con ju n tos finitos o numerables
disjuntos es num erable. S upongam os pues que p ara to d o n G N, A n 7A 0 es un
con ju n to finito o num erable tal que A„, n A m = 0 si n m . V eam os que (JneN
es num erable. E 11 efecto, si cada A n yA 0 es un con ju n to finito o num erable entonces,
para cada n existe una aplicación inyectiva f n : A n — > N. A dem ás, se puede suponer
sin pérdida de generalidad, que 1 G f ( A n ) para to d o n G N pues si A n es numerable,
se puede tom ar f n biyectiva, mientras que si A n 7A 0 es finito,se tom a f n= i n o gn
siendo gn :A n — ■+[1, ca rd (A n )] biyectiva e i n : [1, n] — > N la inm ersión natural. Se
define h: [JneN A n — » N2 de la m anera siguiente: si a G [JneN sea
h (a ) = { n , f n (á))
card í h ( |J A n J J = card | |J A n
V VneN / / VneN
m isino núm ero x. P or ejem plo, tod os los paros de la form a (a + n, b + n ) con n 6 N.
E n general, si los pares (a, b) y determ inan el m ism o núm ero natural x , se
fb+ x — a
verifica entonces: <
( a! = 1/ + x
Sum ando am bas igualdades resulta que a' 4- b 4- x = a + b' + x. D e la propiedad
eancelativa de la sum a en N se deduce que a' + b = a + b1. E sto lleva a definir la
siguiente relación:
Si se representa gráficam ente sobre un plan o, la clase de equivalencia [(a, 6)] del par
(a, b) es el con ju n to de puntos de coord en a d as naturales (pie están situados sobre la
recta que pasa p or el punto (a, 6) y que es paralela a la diagonal del prim er cuadrante
(véase la figura 5.6).
Operaciones en Z
V eam os en prim er lugar que las operaciones están bien definidas, o en otras palabras,
que el resultado es independiente d e los representantes elegidos.
S upongam os que (a, b) £ (a', b') y que (c ,d ) £ ( c ',d ') . Hay que ver que:
(a + c ,b + d) £ ( a' + d , b' + dr) y [ac 4- bd, be 4- ad) £ (a 'd + b'd', b'd + a'd')
Para ver que (ac + bd, be 4- ad) £ (a'c' 4- b'd!, b'c' + a'd'), se dem uestra en dos pasos:
i) (ac + bd, be + ad) £ (a'c + b'd, b'c + a'd) pues de a + b' — a! + b se deduce
m ultiplicando p or c y d que (a + b')c = (a' + b)c y (a' + b)d ~ (a. + b')d.
Sum ando am bas igualdades y op eran do utilizando las propiedades de la suma
en N se obtiene que (ac + bd,) + (b'c + a'd) = (be + ad) 4- (a'c + b'd), esto es,
(ac + bd, be 4- ad) £ (a'c 4- b'd, b'c 4- a'd).
ii) (a'c + b'd, b'c + a'd) £ (a'c' 4- b'd', b’ c' + a'd’ ): se dem uestra de m anera análoga.
[(?n,0)] 4- [(m ',0 )] = [(m 4~ m ', 0)] y [(m ,0 )] ■ [(m ',0 )] - [(rom ', 0)1
[(0 ,n )] 4~ [(0, n')\ = [(0, n 4- n ')] y [(0 ,n )] ■ [(0,7?/)] - [(n n ',0 )]
[(rn, 0)] + [(0, í?,)] = [(m , n)\ y [(m , 0)] ■ [(0, n)] = [((), 7rm)]
5.4 Los n ú m ero s enteros 189
1. E s com m utativa.
2. E s asociativa.
3. El elem ento [(0 ,0 )]. d en otado p or 0, es el elem ento neutro d e la suma.
4. T o d o núm ero entero tiene elem ento opuesto.
En otras palabras (Z , + ) es un gru p o com m utativo:
El opu esto del elem ento a —[(a, 6)] es el elem ento [(6, a)] (y que co m o viene siendo
habitual d en otam os p or - a — —[(a, 6)] = [(b, a )]). En particular, cu ando se to
m an representantes can ónicos se obtiene que —[(7/7,, ())] = [(0 ,r/¿)]. Las propiedades
asociativa y conm utativa,
de la sum a se dem uestran viendo en ca d a caso que los núm eros enteros de cada
m iem bro d e la igualdad tienen un representante com ún.
1. Es com m utativo.
2. Es asociativo.
3. El elem ento [(1 ,0 )], d en ota d o p or 1, es el elem ento neutro del producto.
Tam bién en este caso, las propiedades asociativa y conm utativa,
del p rod u cto se dem uestran viendo en cada caso que los núm eros enteros de cada
m iem bro d e la igualdad tienen un representante com ún.
Finalm ente, se dem uestra d e m anera análoga que en Z , el p rod u cto es distributivo
respecto de la sum a, es decir,
a •0 = 0 •o = 0 para to d o a € Z
190 Capítulo 5 L os n ú m ero s n atu rales y los n ú m ero s enteros
Orden en Z
Se definen en Z dos su bcon ju ntos, el su b con ju n to Z + d e los núm eros enteros positivos
y el su b con ju n to Z _ de los núm eros enteros negativos:
Se com p ru eba fácilm ente que [(a, 6)] G Z + si a ^ b mientras que [(a, b)] G
a ^ b. Adem ás:
Z+ UZ_ = Z y Z + Pi Z _ = {0 }
■ Si a, (3 £ Z + , entonces a + (3 £ Z + y a(3 £ Z + .
D e f in ic i ó n 5 .3 9 D a d os a , (3 G Z , se define la relación:
a ^ (3 si y sólo si (3 — a G Z +
P or tanto se concluye:
. . f a- si 0 ^ a
K* \ — i
I —a si a < 0
don de —ex es elelem ento opu esto de n y el sím b olo < en a < 0 indica que a E 0 y
o / O . O bsérvese que | [(■ni, 0)] | = [(m ,0 )] m ientras que |[(0,?¿)] |= [(n, 0)].
Se satisfacen tod a s las propiedades de anillo estudiadas en el capítulo 4 y en parti
cular. las propiedades de la p rop osición 4.37. E n con creto:
■ Si ex E [3 y 0 E 7 entonces 0 7 E [3-y.
■ S i a E / ^ y y E O entonces p'y E 0 7 .
■ Para to d o o € Z , ex2 ^ 0.
Identificación de N con Z +
V eam os que el con ju n to de los núm eros enteros con stituye una am pliación del con ju n
to de los núm eros naturales. C uan d o decim os que Z esuna extensión de N,querem
decir que Z contiene 1111 su b con ju n to ord en a do isom orfo al con ju n to orden ado de
núm eros naturales, es decir, que existe una a plicación inyectiva / : N — > Z tal que
para to d o n, n' E N se tiene:
1. f { n + n ’ ) = f { n ) + f ( r í )
2. f ( n - n ') = f ( n ) - f ( r í )
/: N — Z
n m f { n ) = [ ( n ,0 )]
- r a = - [ ( n , 0 )] = [(0 ,n )]
P r o p o s i c i ó n 5 .4 1
P r o p o s i c i ó n 5 .4 2 P r o p i e d a d a r q u im e d i a n a d e Z
Para to d o a G Z tal que a > 0, p ara to d o 0 G Z , existe n G N ta l que n a > 0.
M uchas propiedades del con ju n to de los núm eros enteros se apoyan en lo que se
denom ina d iv i s ió n e n t e r a tam bién llam ada d i v i s i ó n e u c líd e a . L a división entera
es la división entre núm eros enteros, con resto, que se estudia en Prim aria.
194 Capítulo 5 L os n ú m eros n atu rales y los n ú m ero s enteros
a — qb + r y 0 ^ r < 6
entonces b(q - q') = r' — r y ~ b < r' — r < b. E s decir, r' — r es m ú ltiplo de 6 y
—6 < r' — r < 6. E n consecuencia r' — r = 0 que a su vez im plica que b(q — q') — 0
y co m o b 0 , resulta que q — q1 = 0 . □
O b s e r v a c ió n : La definición anterior se extiende sin ninguna dificultad al caso 6 £ Z
con b 0. E n ese caso los núm eros q y r € Z cum plen:
C uando a o 6 son negativos es práctico hacer la división entera con los valores
absolutos y adaptar el resultado al caso p ed ido. P o r ejem plo,
i) Si a = 14 y 6 = 3, el cocien te es 4 y el resto es 2 pues 14 = 4 •3 + 2 .
ii) Si a = 14 y 6 — —3, el cociente es —4 y el resto es 2 pues 14 = ( —4) •( —3) + 2.
iii) Si a = —14 y 6 = 3, se tiene —14 = ( —4) - 3 — 2 pero —2 no es una cantidad
positiva. Hay que sum arle el divisor, que a su vez se resta: —14 = ( —4) -3 — 3 —2 + 3
= ( —5) - 3 + 1 . L uego el cocien te es —5 y el resto es 1.
iv) Si a = —14 y b — —3 , el cocien te es 5 y el resto es 1 pues en la expresión anterior
—14 = ( —5) -3 + 1 basta escribirla co m o —14 — 5 •( —3) + 1.
a = qn + r y 0 ^ r < n
i) Si p = ü entonces 0 •a = 0 G G.
■ b |a si y sólo si a. G bZ.
■ ó |a si y sólo si a Z C 6Z.
C on el o b je tiv o de buscar el m ínim o com ú n m ú ltip lo de dos núm eros enteros, nos
p od em os lim itar al caso a y b G N* pues p o r un la d o el único m últiplo de 0 es el
m ism o, y p or otro lado cualquier m últiplo d e a. es tam bién m últiplo de —a.
196 C a p ítu lo 5 Los n ú m ero s n atu rales y los n úm eros enteros
D e m o stra ció n : 1. La dem ostración se deduce del hecho de ser la sum a, a Z + 6Z,
de dos ideales de Z un ideal de Z , que será p or ta n to principal. Sea pues d. £ N* tal
que a Z + bZ — dZ. L a unicidad se deduce co m o en el teorem a anterior.
2. C om o « Z + bZ = dZ, se tiene que:
dZ = { a rn -f bn \rn, n £ Z }
E n la dem ostración del teorem a anterior, hem os establecido la igualdad que se co
n oce b a jo el nom bre de I d e n t id a d d e B é z o u t :
d = au + bv
P or tanto,
y en conclusión, d. = m cd (a , b). D
a = qb + r y 0 < r < b
Por tan to, los divisores com unes de a y b coin ciden con los divisores com unes de b y
r. E n consecuencia, m c d (a ,6) = m c d (6, r).
Se reitera el p roceso, que se term ina en un núm ero finito de pasos pues los restos
que se van obten ien d o satisfacen
Los resultados se pueden hallar y disponer sobre una tabla del tip o siguiente:
au + bv = 1
m ultiplicando p or c: a cu + bcv = c
com o be — ak con k £ Z , acu -f- akv = c
a(cu + kxi) = c
En consecuencia: a d ivide a c
Comentarios
En el capítulo 3. aparece el con cep to de núm ero cardinal. Son las “clases” que la
relación de equ ip otcn cia establece en la colección d e to d o s los conjuntos. R ecordam os
que dos con ju n tos son equipotentes sí existe una a plicación biyectiva de uno de ellos
al otro. En los com entarios finales de los ca pítulos 3 y 4 hem os definido una “ relación
de orden ’' y dos “ operacion es” en la colección de los núm eros cardinales, basándonos
exclusivam ente en propiedades de la teoría de con ju n tos.
■ Si A n Z? — 0, a — ca rd (A ) y b — c a r d (B ), E ntonces :
a + b — c a rd (A U B )
U 11 núm ero cardinal n o finito se denom ina infinito. A sim ism o, un con ju n to es finito
o infinito si su cardinal es respectivam ente finito o infinito. E n particular, 0 es un
cardinal finito pues 0 / 1 y 1 = 0 + 1, y en con secu encia 0 0 + 1. Y a se pueden
definir los núm eros naturales m ediante un axiom a.
■ D eduzca A 2 y A 4 .
Si finalmente im p onem os que el con ju n to de los núm eros cardinales finitos cum pla
el principio de in d u cción o axiom a A 5, ya p od ría m os desde aquí deducir to d o lo
hecho en este ca p ítu lo sobre N. Tenem os definida la sum a y p ro d u cto de cardinales
y en particular de cardinales finitos. Sólo habría que com p rob a r que la sum a y
p ro d u cto de cardinales finitos son finitos que se dem uestra por indu cción . De hecho,
las propiedades de los ejercicios 4.42 y 4.44 p ara cardinales restringidas a cardinales
finitos son las m ism as que las de las proposiciones 5.2 y 5.4. A sim ism o, la relación
establecida entre la sum a de cardinales y la relación de orden en los cardinales en el
ejercicio 4.43 ha sido la que hem os utilizado para definir la relación de orden en N
(véase la definición 5.6).
Ejercicios 203
Ejercicios propuestos
( — a
a * b = a + b + ab y < (jl + n (n>
( o,[n+l> = a (n>* a si n ^ 1
a) E studie si la op era ción * es com m utativa, asociativa, posee elem ento neu
tro y en su caso, si to d o elem ento tiene sim étrico.
b) C alcule c ( 2\ y exprese p or recurrencia, respecto de las
operacion es usuales de N.
c) Dem uestre que = a^m+n* si m , n E N*.¿Q u é valor hay que dar
a u /0) par que la regla anterior siga siendo válida?
n í n + 1)
2. .1. + 2 + 3 -b •••+ ii, = ------- ------- para n ^ 1.
4. 1. + 5+ 0 H----b(4n - 3) = n (2 n - 1) p ara n ^ 1.
,, n h i + í ) ( 2n + 1)
ó. 1 + 4+ 9 + b n 2 = -------------------------- p ara n ^ 1.
6
6. I 3 + 23 + 33-H------b n 3 = (1 + 2 + 3 + b n ) 2 para n ^ 1.
( r n — 1\ ( m — 1\ (m\ ., , ^ >• j
9. D em uestre que + = si 1 ^ n ^ m. — 1. P rocedien do
Vn — 1/ V n ) \n)
com o en el ejem plo 5.24,interprete esta fórm ula teóricam ente.
13. ¿C uántos núm eros de cu atro cifras hay? ¿C uán tos de ellos son divisibles p or 5?
¿C uántos de ellos son pares? ¿C uántos de ellos son divisibles p or 10? ¿C uántos
de ellos son divisibles por 2 o p or 5?
б) ¿C uántas m anos distintas con dos parejas se pueden ob ten er? (U na pareja
son dos cartas del m ism o valor; la ju g a d a se entiende co m o dos cartas de
un valor, otras dos de o tro valor, distinto del anterior, y la quinta carta
no es d e ninguno de los dos valores de las dos parejas?
<:) ¿C uán tas m anos distintas con una pareja y un trío se pueden obtener?
(U n trío son tres cartas del m ism o valor).
rí) ¿C uántas m anos distintas se pueden obtener con un poker? (U n poker
son cu atro cartas del m ism o valor).
f ( n ) = m ín {m G B \n GS m }
Demuestre que:
b) n ^ / ( T0 p ara to d o n GN.
c) B = { n € N \ n = f ( n ) } .
d) f 2(n) = ( f o / ) ( n ) = f ( n ) para to d o n G N.
1.9. Escriba, sin utilizar el sím bolo valor a b solu to, el valor de las expresiones si
guientes en función del valor de x.
a) x — 1 + \x — 1 |
b) x — \x — 1 |
Ejercicios 205
c) \x + 1| + \x + 2| + |.x + 3|
d) ¡(x -+ l)(a- + 2)¡ + \x 4- 3|
22. Sea ( x n ) la sucesión de núm eros naturales definida recurrentem ente mediante:
La prim era parte de este ca p ítu lo está d ed ica d a a la con stru cción de los núm eros
racionales. La división, entendida co m o op era ción inversa de la m ultiplicación, no
puede ser definida en el con ju n to de los núm eros enteros. Las fracciones positivas, que
hacen posible esta división, se manejan desde hace tiem p o y fueron adm itidas con
naturalidad m uy anteriorm ente a los núm eros negativos, los núm eros irracionales
o los núm eros im aginarios. Un tratam iento sistem ático de los núm eros racionales
aparece ya en el libro V II de L os E lem entos de E u d id e s que estudia las proporciones
de núm eros naturales.
V im os en el ejem plo 3.9 c o m o se construye el con ju n to d e los núm eros racionales.
R epetirem os aquí su con stru cción : se trata de con stru ir el m enor cu erp o Q , que sea
extensión del anillo Z , en el que la ecuación gen érica de coeficientes enteros bx — a.
con b 0, tendrá siem pre solución. La con stru cción es análoga a la realizada para
Z : se define Q com o con ju n to cocien te y se definen las operaciones y el orden en Q
a través de sus representantes.
Estudiarem os las propiedades de Q y destacarem os en particular la propiedad ar-
quim ediana del orden de Q y el hecho de que el ord en en Q es divisible, es decir, que
dados dos elem entos arbitrarios r , s £ Q tales que r < s, existe t £ Q que verifica
r < t < s. E sta últim a propiedad no es cierta en el anillo Z .
La segunda parte de este ca p ítu lo está dedicada a la con stru cción de los núm eros
reales. La propiedad de la divisibilidad del orden d e Q resulta insuficiente en los
estudios de análisis o geom etría. E sto nos con d u ce a definir el cu erp o M, extensión
de Q , d on de la relación de orden será continua, es decir, que adem ás de ser una
relación de orden tota l y divisible se cum ple que to d o su b con ju n to de M no vacío y
a cota d o superiorm ente tiene suprem o.
208 Capítulo 6 L os n úm eros racionales y los n úm eros reales
Si se representa gráficam ente sobre un plano, la clase de equivalencia del par (a, b)
es el conjunto de puntos de coord en ad as enteras (pie están situados sobre la recta
que pasa p or el origen de coord en ad as y el punto (a , b ). E n la figura 6.1 se han
representado las clases de equivalencia de (2, —3 ), ( 2, 1) , ( 1, 1) y (1, 3).
que 7 = rn cd (3 5 ,42) y 35 = 7 ■5 y 42 = 7 ■6 .
Es fácil com p robar que si (a, 6) es una fracción irreducible, es decir, mcd(|«|, |6|) = 1,
entonces cualquier representante del núm ero racion al — tiene sus térm inos propor-
b
d ón a les con la fracción (a .b ). E n efecto, si (a, b) £ (a ',b '), entonces ab' = ba'. Del
teorem a de Gauss se deduce que b' divide a 6, es decir que b' = nb con n G Z*.
Sustituyendo b' resulta que anb = ba' y p or la prop ied ad cancelativa del p rod u cto
resulta que a' = na.
Operaciones en Q
En el con ju n to Q , se definen dos operaciones internas de la m anera siguiente: Sean
a , P G Q y sean ( a , b ) , ( e , d ) G Z x Z ‘ sendos representantes. Se definen la suma
r.v -Y P y el p rod u cto afí a los núm eros racionales cu yos representantes vienen dados
respectivam ente por
es decir:
a c ad + be a c ac
b ^ d bd ^ b d bd
V em os en prim er lugar que las operaciones están bien definidas, o en otras palabras,
que el resultado es independiente de los representantes elegidos.
Supon gam os que (a, 6) £ (a ' ,b !) y que (c , d ) £ ( c '.d ') . Hay que ver que:
E n efecto,
i) (ad + be, bd) £ (a'd + b'e, b'd), pues la igu aldad (ad + be)b'd — (a.'d. + b'c)bd
se verifica si adb' + beb' — a!db + b’ cb, esto es, a.b' — a'b, que es cierto pues
(a, b) £ (a', b').
ii) (a'd + b'e, b'd.) £ (a'd! + b'e, b'd!): se dem uestra de m anera análoga.
210 C apítu lo 6 L os n úm eros racionales y los n úm eros reales
a c a+ c
b + b = b
, a c ab + cb a+ c ,
E n electo, - + - = ----- «— = --------. P or este m otiv o, en la practica, cu ando se suman
b b b2 b
dos núm eros racionales, se buscan representantes que tengan el m ism o denom inador,
usualmente el m ínim o com ú n m ú ltiplo de los d o s denom inadores.
1. Es com m utativa.
2. Es asociativa.
3. El elem ento [((), 1)], d en ota d o p or ü, es el elem ento neutro de la suma.
4. T od o núm ero racional tiene elem ento opuesto.
E n otras palabras (Q , + ) es un g ru p o com m utativo:
, , a , —a , . a _
El opu esto del num ero a = — es el num ero — y se designa p or —a = — . Las
b b ' b
propiedades asociativa y conm utativa,
(o: + ¡3) + 7 = a + ( p + 7 ) y a + fd — 0 + a
de la sum a se dem uestran vien d o en ca d a caso que los núm eros racionales de cada
m iem bro de la igualdad tienen 1111 representante com ún.
1. Es com m utativa.
2. Es asociativa.
3. El elem ento [(1 ,1 )], d en ota d o p or 1, es el elem ento neutro del produ cto.
4. T od o núm ero racional no nulo tiene inverso.
E n otras palabras, si Q* = Q \ { 0 } , entonces (Q *. -) es un gru po com m utativo. Veamos
co m o se calcula el inverso del núm ero a = [(a, b)] =£- [(ü, 1)]. C om o a ■1 7^ b ■0 = 0,
resulta que a ^ 0 y p or tan to el par (b, a) £ Z x Z* define un núm ero racional que
Tam bién en este caso, las propiedades asociativa y conm utativa del p rodu cto,
se dem uestran viendo en ca d a caso que los núm eros racionales d e cada m iem bro de
la igualdad tienen un representante com ún.
Finalm ente, se dem uestra de m anera análoga que la op era ción • es distributiva res
p e cto de la op era ción + en Q , es decir,
T e o r e m a 6 .2 (Q , 4-, •) es un cuerpo.
■ o •0 = 0 •a — 0 para to d o a G Q .
Orden en Q
Se definen en Q dos su bcon ju ntos, el su b con ju n to <Q>+ de los núm eros racionales
positivos y el su bcon ju n to Q _ de los núm eros negativos:
Q+ = ^ Q |b / 0 y ab ^ oj* y Q _ — j - G Q |b / 0 y ab ^ o|
Se com p ru eba fácilm ente que la definición de los con ju n tos Q + y Q _ n o depende del
representante elegido. Se cum ple:
Q+ u Q _ = Q y Q + n Q _ - { 0}
A dem ás se tiene:
■ Si a , [3 G Q + , entonces a + [3 G Q + y a (3 G Q + .
212 Capítulo 6 L os n úm eros racionales y los n ú m ero s reales
y en consecuencia, o + ¡3 y a{3 G Q + .
a ^ ¡3 si y sólo si (3 — a G Q +
■ Para to d o a G Q , a2 ^ 0.
6.1 Los n ú m ero s racionales 213
1. f i a + a') = f { o ) + f ( o f ) .
2 . f ( a ■a') = f ( a ) ■/ ( o / ) .
3. Si a ^ b entonces f ( a ) ^ f ( b ) .
A — { a G Q | a — [(a, 1)] y a £ Z }
~ = [(a, b)] = [(a, 1)] - [(1, b)] = [(a, 1)] ■ [(ó, l ) ] _ l = ab~ '
-2 -1 1 0 1 1 £ 3
3 '4 2 b
P ro p o sició n 6 .5 P ro p ie d a d arquiniodiana do Q
P ara to d o a e Q ta l qu e a > 0, para to d o 0 € Q , e x is te n £ M t a l q u e n a > 0.
a 71223145
Este núm ero escrito en la form a — es r-----
E sto nos lleva a definir un n ú m e r o d e c im a l, tam bién llam ado núm ero decim al
finito o ex a cto, com o un núm ero racional que ten ga al m enos un representante cuyo
d en om in ad or es una poten cia de 10. P or ejem plo, son núm eros decim ales los núm eros
1 /5 , o —3 /6 0 o 7 pues 1 /5 = 2 /1 0 , - 3 / 6 0 - - 5 / 1 0 2 y 7 - 7 /1 0 °. Sin em bargo, 1 /3
o 3 /7 110 son núm eros decim ales. Si fuera 1 /3 = a /1 0 n con n € N tendríam os que
10" = 3a y en consecuencia 3 es un divisor de 10n , que es una contradicción.
D en otam os p or ID» al con ju n to de los núm eros decim ales. E 11 consecuencia D es un
su b con ju n to de Q . Es fácil recon ocer si 1111 núm ero racional expresado co m o fracción
irreducible es un núm ero decim al. En con creto:
E 11 efecto, sea el núm ero racion al a fb irreducible y decim al. P or ser un núm ero
decim al, se tiene que a fb = x / 1 0 m co n rn 6 N y en consecuencia, a- 10m = bx. C om o
a y b son prim os entre sí y b es un divisor de a ■ 10m, resulta que b es un divisor de
10m y p or tan to 6 = 2n 5p con n , p € N.
216 Capítulo 6 Los n úm eros racionales y los n ú m ero s reales
c c + 1
a < --------
l 0n ^ 10n
E sta fórm ula ju stifica el cálculo en la p ráctica d e las aproxim aciones decim ales:
(i.3 Insuficiencia de los n úm eros racionales 217
1. Si a es un núm ero decim al, tod a s las cifras decim ales a partir de un rango son
cero.
2. Si a n o es un núm ero decim al, vam os ob ten ien d o los restos de la división entera
de a- 10n entre b. C om o to d o s estos restos son núm eros naturales estrictam ente
m enores que b, sólo pueden tom ar un núm ero finito de valores y p or tanto en
un núm ero finito de divisiones (a lo más “ 5” ) vuelve aparecer un m ism o resto,
m om ento a partir del cual el p roceso se repite, es decir, a partir de un rango, las
cifras decim ales de las aproxim aciones p o r d efecto se repiten periódicam ente.
Si el con ju n to de las cifras decim ales que se repiten, em pieza inm ediatam ente después
de la com a, se dice que es una expresión decim al p eriódica, si n o direm os que es una
expresión decim al periódica m ixta.
E n el ejem plo 1.9, se dem ostró que n o existe ningún núm ero racional x cu y o cuadrado
sea 2, x 2 — 2. El con ocim ien to de que la diagonal y el lado de un cuadrado son
inconm ensurables se debe a los m atem áticos griegos y ya la escuela pitagórica se
planteó si adm itir únicam ente las razones conm ensurables, los núm eros racionales,
y d e esta m anera la diagonal de un cuadrado no era m edible, o aceptar la existencia
de nuevos núm eros que serían definidos por expresiones decim ales ilim itadas (no
p eriódicas).
H em os visto que a to d o núm ero racional se le pu ede asociar una expresión decimal,
finita o ilim itada periódica. C on la in trod u cción d e los núm eros reales, se trataría de
dar sentido a cualquier expresión decim al aunque ésta n o sea p eriódica. Un núm ero
real p od ría verse, b a jo form a num érica, co m o un núm ero entero seguido de una
infinidad d e decim ales. P or ejem plo:
\/2 — 1,41421356237309504880168872420969807856967187537694■■ ■
Partir de una definición de este tip o para construir los núm eros reales plantea cier
tos problem as: U na vez que se le hubiera d a d o un sentido preciso a las expresio
nes decim ales, surgen algunos inconvenientes: p o r ejem plo, la expresión decim al
218 Capítulo 6 L os n úm eros racionales y los n ú m ero s reales
0 ,9 99999999 ••• y 1, 0000000000 ••• representan el m ism o núm ero. A l m ism o tiem
p o las operacion es entre expresiones decim ales no siem pre son tan fáciles de definir.
P or ejem plo para con ocer la quinta cifra decim al de una sum a o de un p ro d u cto de
expresiones decim ales ilimitadas habría que con ocer tod os las cifras decim ales de los
núm eros considerados: un cam bio en la m ilésim a cifra decim al puede produ cir una
alteración en tod as las dem ás que se iría prop agand o de derecha a izquierda. De las
form ulaciones más precisas que se fueron d an do a lo largo del siglo X I X del con cep to
de núm ero real, la que más se aproxim aba al con cep to de expresión decim al, fue
la que p rop u so W eierstrass, que expresaba el con cep to m ediante intervalos encaja
dos. D ichos intervalos se iban form ando con las aproxim aciones decim ales finitas por
d efecto y p o r exceso de la expresión decim al ilim itada.
P or to d o lo expu esto anteriorm ente preferim os introducir los núm eros reales median
te sus propiedades que no construirlos. V eam os que el hecho de que haya expresiones
decim ales que n o definen un núm ero racional se tradu ce en que en Q n o se cum ple la
prop ied ad del suprem o. Es decir, existen en Q su bcon ju ntos a cota d os superiorm ente
que n o adm iten suprem o.
2r
y veam os que para to d o r £ B , existe s G B tal que .s < r. B asta tom ar s =
r -+- ¿
y se verifica:
• s € Q y s > 0 pues r £ Q y r > 0 .
2r + 2 r 2 + 2r - 2r - 2 r2 - 2
• s < r pues r — s = r -------------- = --------------------------- = ----------- > 0 .
r + 2 r + 2 r + 2
> s es c o ta superior de A. E n efecto, co m o r es cota superior de A , se verifica
que r 2 > 2. A dem ás,
2 (2 r + 2 ) 2 4 r 2 + 8r + 4 — 2 r2 — 8r — 8 2 (r 2 - 2)
—2 = _______-___ o = ______________________________ = ^ i ■> n
(r + 2)'2 (r + 2 )2 (r + 2 )2
S u pon drem os pues que existe un cu erp o (K , + , •, ^ ) orden ado, extensión del cuerpo
ord en ad o (Q , + , •, sC) y que cu m ple la propiedad del suprem o:
6.4 P ro p ied ad es d e los n ú m ero s reales 219
A x io m a d e l su p rem o
T o d o su b con ju n to d e R n o vacío y a cota d o su periorm ente tiene suprem o.
■ a •0 = 0 •a = 0 para to d o a G R.
b B in o m io d e N e w to n
a ^ b si y sólo si b — a € R + .
Si a ^ b entonces —b ^ —a.
Si a ^ b y 0 ^ c entonces ac Sjbe.
Si a ^ b y c ^ 0 entonces be ac.
Para to d o a € R, a2 ^ 0.
E je r c i c i o 6 .8 _____ Dem uestre que ca d a núm ero real p ositivo tiene una única
raíz cuadrada positiva.
S o lu c ió n : Sea d ^ 0. Buscam os las soluciones de la ecuación x'2 = d. D esde luego
si xo £ t es solu ción de la ecu ación anterior, tam bién es solución —xo, p or lo que
buscarem os sólo las soluciones positivas. P o d e m o s además suponer que d > 0 pues
la ecuación x 2 = 0 tiene solu ción única x = 0. Sea el conjunto:
A — { x £ IR |x > 0 y x2 ^ d }
( o — e ) 2 — a 2 — 2 a e + e 2 > a 2 — 2 a e = a 2 — ( a 2 — d) — d
E j e m p l o 6 .9 El n ú m ero e
C onsideram os el conjunto:
1 /V \ 1 fnA 1 / n\ 1
1+ - 1+ - + + -* • + —
n, \ b / ii \ 2 j n- Ó
* \ n) nn
1 ( 1 \ 1 f 1\ ( 2
-T7 1 ------ ) + X7
\3
1+1 + -n j
2! V ii J 3! V n
1 (
. .. + _^ . . . A1 - n -
-
l\
n! V 1 - n) V n J
6.4 P ro p ie d a d e s d e los n ú m ero s reales 221
A sí se observa que
l\n 1 1 1 1 1
l + ñ) ^ + 1+ ^ + " ' + ^ 1+ 1+2 + 55 + --- + ^ < ^
Se cumple:
La com p atibilid ad del orden con las operacion es perm ite deducir de la propiedad del
suprem o la prop ied ad del ínfimo.
A — { n e N |n < a:}
i) A 0 pues 0 € A.
ii) A está a co ta d o superiorm ente en R , p or x.
P or el axiom a del suprem o, existe 2 = sup(^4) € R . V eam os que z & A . E n efecto:
C om o 2 — 1 no es c o ta superior de A , existe p 6 A tal que 2 — 1 < p 2 . D e 2 — 1 < p,
se deduce que 2 < p + 1 y en consecuencia, cualquier entero estrictam ente superior a
p es superior a 2 y p or tanto, n o es elem ento d e A. E n consecuencia p es el m áxim o
de A y se con clu ye que p = z. P or tanto 2 € A y en particular 2 € N y 2 ^ x. C om o
adem ás 2 + 1 ^ A , se deduce que x < z + 1.
Supongam os ah ora que x < 0.
Si x 6 Z , tornarnos 2 — x . y se cum ple 2 x < z + 1.
Si .7; ^ Z , entonces —x ^ 0 y sea q G N tal que q ^ —x < q + 1 . Se torna z = —q —1 £ Z.
C om o —q — 1 < x sC —q, se tiene que 2 < x ^ 2 + 1. Corno 2 ^ Z , resulta que
2 < x < z + 1 y en consecuencia, 2 sí x < z + 1. L a unicidad del entero 2 se deduce
de lo siguiente: Sea 2 tal que 2 ^ x < z + 1. Si p £ Z es tal que p < 2 , entonces
p + 1 ^ 2 ^ x y p or tanto, p no cum ple que p ^ x < p + 1. Si p € Z es tal que p > 2 ,
entonces p ^ 2 + 1 > x y p or tanto, p n o cu m p le que p ^ x < p + 1.
□
E { W ’x) £ ( 1 0 nx ) + 1 ^ , . , , ,t. ,
Los núm eros -------------- y son dos núm eros decim ales,de n curas de-
10n 10n
cimales, con secu tivos que se denom inan, respectivam ente, aproxim ación decim al
de x de ord en n p o r d efecto y p o r exceso.
En particular, una ap roxim ación del núm ero e, véase el ejem plo 6.9, es 2, 7182818.
P ro p o sició n 6 .1 2 P ro p ie d a d a rq u im ed ia n a de R
P a ra to d o x G l ta l qu e x > 0, p ara to d o i / E R , existe n g N ta l que n x > y.
6.5 P ro p ied ad es de los n úm eros reales 223
6.5. Intervalos en M
( - 00, 6], ( - 00, 6), (a, 6), [a, 6), (a, 6], [a, 6], ( a , + o o ) y [a ,+ o o )
En am bos casos hem os p rob a d o que si a < 2 , existe x € / tal que x < 2 .
D e m anera an áloga se pru eba que si 2 < 6, entonces existe y £ I tal que 2 < y.
224 Capítulo 6 L os n úm eros racionales y los n ú m ero s reales
1< n{y - x)
es
\x - « „ , < -1 i.x - bn
, \i < -1
y
n n
1. p| [an , 6n] 7^ 0 .
nGN
b— ...........................- ..................... — *1
^ [02’ ^2] j
h,- j f 3 j .b3]-........... H "
4 ------- H — E
--------------- ]----------- 3— 1-------- J-
al a2a3 a4............b3 b2 b
Finalm ente, si existen x =£- y tales que x , y E [a,t, bn) para to d o n E N, entonces
b n — a n Í 2 / = \x — y | > 0 para to d o n E N y p or tanto, bn — a n no tiende a 0 cuando
Hem os representado tod os los núm eros racionales sobre una recta, véase la figura
6.2. Es decir, a cada núm ero racional le correspon de un punto sobre una recta. Sin
em bargo a to d o punto de la recta n o le corresponde un núm ero racional. E sto es
d eb id o al n o cum plim iento en Q de la propiedad de los intervalos en cajad os que
sin em bargo, si se satisface en los núm eros reales. D e hecho una de las propiedades
más im portantes de los núm eros reales es que pueden ser representados en un recta.
A dem ás, una vez escogidos los puntos que representan a los núm eros 0 y 1, el 1
usualmente a la derecha del 0 , ca d a punto de la recta representa un ú nico número
real e inversamente cada núm ero real está representado por un pu n to de la recta.
E sta recta se denom ina r e c t a re a l(v c a se la figura 6.4).
6,5 In tervalos en IR 227
1
a „ , o.n -\- -
3n+2 3n+2 ’ a n + 3n+2 dn + 3 n+2 ’
[ao, 60] D [ai, 6i] D [a2, 62] D ■■■[a „, 6n] D •■• y x n <£ [a „, ón ]
s e p | K , 6 n ] C [0,1]
«€N
/: [0,1) — >3>(N)
X = Ü, X i X 2 ■■■Xn- - - t— » f ( x ) ~ { l 0 n .Xn |77, G N * }
g: 9{N ) — [0,1)
A ! A \n - 1 í3 si 7i G A
A i— ►g ( A ) = 0 ,j;0x i •• - x n ••• siendo x n = < .
[8 si n G N \ A
Comentarios
N úm eros conmensurables
E l estudio del cociente de lon gitudes de segm entos o áreas co n d u jo a la n oción de
conm ensurabilidad. Para los antiguos griegos, to d o se m edía co n núm eros enteros:
un segm ento de recta r se m ed ía en relación a un segm ento unidad u con tan do el
núm ero de veces que ca be u en r. D e esta m anera, se ob ten ía
n veces
r = u + u+ ■■■ + u — nu
Si 7*2 fuera cero el p roblem a estaría resuelto. En caso con trario, iteram os el proceso
c o n 7*1 y 7*2 y sucesivamente c o n r 2 y r-¿, ...
7*2 = 7/3 7'3 + 7*4 y 7*4 < T*3 < 7'2 < 7*)
n - ¡ ~ Qk-Tk
E 11 ese caso la m edida com ú n u a 7*0 y a rq es r¡~. O bserve que el a lgoritm o de Eucli
des de la sección 5.5 para hallar el m áxim o com ú n divisor es exactam ente el m ism o
p roceso. Si el algoritm o se acaba, los núm eros son conm ensurables, o equivalente
mente el cocien te es racional. Si el a lgoritm o no tiene fin, estam os ante m a g n it u
d e s in c o n m e n s u r a b le s , o equivalentem ente, el cocien te es un núm ero irracional.
A lgu n os p itagóricos, de resultas de sus disquisiciones geom étricas, intuyeron que al
gu nos cocientes de m agnitudes no p od ía n ser cocientes de núm eros enteros, com o
p or ejem plo, la diagonal de un cu a d ra d o y su lado. Sin em bargo, estas m agnitudes
inconm ensurables revolu cion aban la teoría filosófica de la escuela p itagórica porque
230 C o m en tarios
p on ían en d u d a una de sus postu lad os básicos sobre la posibilidad de descifrar los
enigm as de la naturaleza. E n el libro X de los E lem en tos de E uclidcs ya aparece una
dem ostración de la inconm ensurabilidad de la diagonal de un cu ad rado y su lado, es
decir de la irracionalidad de \/2. E n esencia, la dem ostración dada en el ejem plo 1.9
es la que aparece en los E lem en tos de Euclidcs. P ero se sabe que m ucho antes ya se
h abía p rob a d o la irracionalidad de \/2. L a dem ostración geom étrica de que la razón
1 + VE
aurea, — - — , es irracional consiste en dem ostrar que la diagonal y el lado de un
pentágon o regular son inconm ensurables.
1k H 1- 1¡K si a e N*
/(« )
0k si a = 0
—a veces
(i-K + 1k H 1- 1k ) «i — « € N*
/ ( « ) = ( / ( « ) ) ( / ( & ) ) '“ =
Se puede com p robar que / es una a plicación bien definida, es decir, que no depende
del representante | de a elegido y que adem ás, para to d o c y , 0 G Q , cum ple lo
siguiente:
■ / ( « + /?) = / ( « ) + / ( / ? ) ■
■ Si o ^ (3 entonces f ( a ) ^ / ( /? ) .
C o m en ta rio s 231
Para que la definición anterior sea más coherente, habría que ver la “ unicidad” del
cu erp o de los núm eros reales. E sa “u nicidad” es el resultado del siguiente teorem a
que adm itirem os sin dem ostración.
La con stru cción de R m ediante sucesiones de C auch y de núm eros racionales puede
hallarla el lector en cualquier libro de in trod u cción al análisis real, co m o p or ejem plo
[9] o [1.1].
E squem áticam ente, se hace lo siguiente: Intuitivam ente, to d o núm ero real es límite
de sucesiones de núm eros racionales. T od a s estas sucesiones se caracterizan por ser
sucesiones de Cauchy. P ero hay sucesiones distintas que tienen el m ism o lím ite real.
P or tanto, lo que se hace es identificar tod a s las sucesiones de C auchy que tengan el
m isino lím ite. C on más precisión, en el con ju n to C de tod a s la sucesiones de C auchy
de núm eros racionales, se define una relación de equivalencia en la que dos sucesiones
de C auchy están relacionadas si su diferencia (térm in o a térm ino) es una sucesión
cu yo lím ite es cero. El con ju n to cocien te m ediante esta relación de equivalencia es
precisam ente el con ju n to de los núm eros reales, una vez que se definan las operaciones
y el orden.
( —o o ,a ] y (a ,+ o c ¡)
232 C o m en tarios
A = ( - 00 , a] fl <Q> y B - (a ,+ o o )H Q
P or así decir, el núm ero real a. sea racional o no lo sea, nos ha perm itido partir,
o “cortar” Q en dos con ju n tos, el con ju n to d e la izquierda A y el con ju n to de la
derecha B que satisfacen las siguientes propiedades:
1. A üB ^ Q .
2. A m b os con ju n tos A y B son no vacíos.
3. T od o elem ento de A es estrictam ente inferior a to d o elem ento de B.
4. B no tiene elem ento m ínimo.
D e f in ic i ó n 6 .2 3 U na c o r t a d u r a d e D e d e k i n d es un su b con ju n to B
d e Q que verifica:
O rd en en R
B ^ B' ^ B' C B
C o m en ta rio s 233
So com p ru eba fácilm ente que es una relación de orden tota l en M. Adenitis el orden
satisface el axiom a del suprem o, que se deja corno ejercicio:
S u m a e n IR
Sean B y B ' dos cortaduras. Se define la sum a ¡3 + B ' m ediante la sum a de números
racionales:
A dem ás, (IR,+ ) es un gru po com m u ta tiv o orden ado don de el elem ento nulo es la
cortadu ra 0 = { x G Q |i ' > 0 } = ?'(ü) y el elem ento opuesto de la corta d u ra B es la
cortadura
P ro d u cto en M
El p rod u cto de núm eros reales es un p o c o más com p lica d o de definir y hay que ha
cerlo distinguiendo casos. D efinim os en prim er lugar el caso de cortaduras positivas.
C a s o 1. B y B ' son dos cortaduras tales que O ^ B y O ^ B ' . Se define el prod u cto
B ■B ' m ediante el p rod u cto de núm eros racionales:
B ■B ' — { 0 P ' I 0 e B , B e B ’ }
B ~ ]= | x e CqS , x > 0 y x ^ m áx (C q B ) }
B ■B' — -((-B) ■B r)
B - B ' - -(B-(-B'))
C a s o 4 . Si B y B ' son dos cortaduras taies que B < 0 y B ' < 0 se define:
B ■B' = ( - B) ■ ( - B')
O bsérvese que de la p rop ia definición se ob tien e que el p rod u cto de dos cortaduras
negativas es positiva.
En este caso, una expresión para la co rta d u ra inversa de una corta d u ra B < 0 es:
C o m e n ta rio s 235
C o n estas dos operaciones y con la relación de orden se dem uestra que el conjunto
de cortaduras es un cuerpo ord en ado en el que se satisface el axiom a del supremo.
El hom orfism o inyectivo del cu erp o (Q , + . • , < ) al cu erp o (IR,+ , - , < ) que sabem os
(pie existe p or ser (IR, + , •, un cu erp o ord en ado es precisam ente la aplicación i.
236 Ejercicios
Ejercicios propuestos
a + b a - b a 2 4- b2 a 2 + b2
a ab a + b ab
son irreducibles.
5. Sean a y 6 G N* prim os entre sí y tales que b < a. Se trata de ver que que
existen enteros naturales ay, « i , ■ ■■ , a n 110nulos tales que
a 1
- = «o + ----------------------------- :---------------------
b
a 1+
a2
(><i
1.
an—1 H------
a„
217 1
_ = a o + —
ai
1
a-2 H---------
1
(¿3-1-----
(¿4
Ejercicios 237
fi. E xplicite el con ju n to de los núm eros reales que verifican cada una de las si
guientes desigualdades:
a) ¡x + 1 |< 2
b) ¡x| > \x + 1|
c) \x + 2¡ + |x - 2| < 12
d) x < x 2 - 1 2 < 4 x
e) ( x + l ) / ( i - l ) ^ 0
/ ) X 2 < |1 - xj + 1
y) j.r ( I x) j ^ 1 /2
h) | \x + 1|— \x — 1| | < 1
a) A = { x 2 \ - 2 < x < 1}
b) A -= { x G M. | x 2 - x + 4 < 0 }
c) A = { x G M |x 2 + x -f 1 > 0 }
d) A == { ( n + l ) / n |n G N* }
e^ = { i r ^ i * eR}
8 . a) Dem uestre (jue para to d o x G l tal que x > 0, existe un núm ero natural n
tal que:
2n + 2 2
3n + 1 ~ 3 < X
b) Dem uestre que p ara to d o x € R , existe un núm ero n G N tal que:
v2+ n
< x
238 Ejercicios
10. E scriba en form a de fracción los núm eros racionales representados p or las ex
presiones decim ales periódicas
1.1. Sean A y B dos su bcon ju ntos no vacíos d e R tales que a < b p ara to d o a G A
y b e B . Dem uestre que existen sup A c ín f B y que, adem ás, sup A <C ín f B .
¿Se puede asegurar que sup A / ín f B ?
C = A + B = {a + b |a e A, b € B }
D = A B = {ab |a G A , b G B }
14. Sean / un con ju n to n o vacío y { [al} bt] \i € 1 } una fam ilia de intervalos cerrados
en R tal que dos intervalos cualesquiera d e la fam ilia tienen al m enos un punto
en com ún. D em uestre que los con ju n tos {a?. \ i € I\ y {b t \ i e 1 } están
respectivam ente acota d os superior e inferiorm ente. D edu zca que f ) GJ [at. bt) ^
0.
K — { a + b V 2 |a, b € Q }
16. Dem uestre que los con ju n tos (0,1] y [0.1] son equipolentes. L o m ism o con [0.1)
y [o,i].
17. Dem uestre que los con ju n tos (0 ,1 ) y [0,1] son equipolentes.
Ejercicios 239
20. Se d ice que un núm ero real es a lg e b r a i c o si es raíz de algún p olin om io con
coeficientes en teros. E n caso contrario se d en om in a t r a s c e n d e n t e .
a) Dem uestre que el con ju n to d e los núm eros algebraicos es num erable. In
d icación : recuerde que del ejem plo 5.34 se deduce que las partes finitas
de un con ju n to num erable es num erable.
b) D ed u zca que el con ju n to de los núm eros trascendentes no es numerable.
Capítulo 7
La extensión de los núm eros naturales a los núm eros enteros así corno la de éstos
a. los núm eros racionales se han plan teado de m anera análoga: Q ueríam os que las
ecuaciones, a + x = b con (a, 6) 6 N2 en el prim er caso, y a x = b con (a, 6) € ( Z * )2
en el segundo caso, tuvieran solución.
El paso de Q a R es algo m ás d elicado. N osotros liem os o p ta d o p or introducir R
axiom áticam ente.
En el cu erp o (R , + , •), la ecu ación x 2 — ¡3 tiene soluciones reales p ara to d o [3 > 0, lo
cual no es necesariam ente cierto en Q , p or ejem plo, la ecuación x 2 = 2. Sin em bargo,
la ecu ación x 2 = ¡3 no tiene soluciones reales si ¡3 < 0 puesto que el cuadrado de
cualquier núm ero real es un núm ero p ositivo.
■ E xiste un elem ento en C , que den otarem os p or i, tal que i'2 = —1.
pues (C , + , •) es un cuerpo.
N o t a : P ara que to d o núm ero real n egativo sea el cuadrado un núm ero com plejo es
suficiente que lo sea —1. En efecto, si dispon em os de i tal que i 2 = —1, y si fi G K y
(3 < 0, entonces /? — (iy / ^ P )2. P o r ejem plo, - 4 = { i \ f i ) 2 — (2i ) 2.
1. E s com m utativa.
2. E s asociativa.
3. El elem ento (0, 0) es el elem ento n eutro de la suma.
4. T o d o núm ero com p lejo tiene elem ento opuesto.
En otras palabras (C . + ) es un gru po coin m u tativo. El opu esto del elem ento 2 — (a, b)
es el elem ento ( —o., —6) (y que co m o viene siendo habitual denotam os p or —z).
1. Es com m utativo.
2. Es asociativo.
3. E l elem ento ( 1, 0) es el elem ento neutro del prod u cto.
4. T o d o núm ero com p lejo n o nulo tiene inverso.
En otras palabras si C* = C \ { ( 0 , 0 ) } , entonces ( C*, - ) es un gru p o com m utativo.
V eam os co m o se calcu la el inverso del elem ento z ~ (a, b) (0, 0). Supongam os que
z' = ( x , y ) es el inverso de z. E ntonces, se cu m ple z ■z' — ( 1, 0) , esto es:
(a:c — by, bx + a y) = ( 1, 0)
1 í a —b
2 1a 2 4- h2 ’ a2 + *0 (7-2)
Finalm ente, la op eración •es distributiva resp ecto de la op era ción + en C , es decir:
T eo re m a 7 .2 (C, + , •) es un cuerpo.
V eam os que el con ju n to de los núm eros com p lejos cum ple ios otros requisitos que
nos habíam os propuesto.
C u an d o decim os que C es una extensión de IR, querem os decir que C contiene un sub-
cu erp o isom orfo al cuerpo de los núm eros reales, es decir, que existe una aplicación
inyectiva / : IR — > C tal que para to d o a y a ' £ IR se tiene:
244 C a p ítu lo 7 L os n ú m ero s com p lejos
1. / ( a + a ') = / ( a ) + /( a ') -
2 . f { a - a ' ) = f ( a ) ■/ ( o / ) .
z = a + ib
donde hemos o m itid o el sím bolo del p ro d u c to. In d is tin ta m e n te , tam b ié n se u tiliz a
la notac ió n z = a + bi; de hecho, es m ás com ún escrib ir la expresión 3 + 2 i en lugar
de 3 + ¡2 cuando se concretan los núm eros reales a y b.
E je m p lo 7 .3 P oten cias d e la u nid ad im aginaria
O bservem os que las p rim eras potencias de i son
i1 = i, i 2 = (0, l ) 2 = ( - 1 , 0 ) = - 1 , i :i — - i , ¿4 = 1 , ib = íA - i = i etc.
si querem os calcular i 11, b asta elevar i a l re sto de la d ivisió n entera de n entre 4 . P or
ejem plo,
,3 2 3 = ¿ 8 0 -4 + 3 = ( ¿ 4 j8 0 . ¿3 = 180( _ ¿ ) = ,
□
L a p arte real del núm e ro com plejo 2 = a + ib se d enota p or ^ (2 ) o R e(2 ) y es el
nú m e ro real a, m ie n tra s que la p arte im agin aria de 2 se denota por ^ (2 ) o Im (2 )
y es el núm ero real 6.
Se denom ina n ú m e ro im agin ario p u ro a to d o núm e ro com plejo 2 ta l que R e(2) =
0.
D ado u n elem ento z = a + ib se lla m a c o n ju g a d o d e 2 a l núm ero com plejo:
7.2 E] co n ju n to C 245
z = a — ib
1 z z a . b
z zz a 2 + b2 a,2 + b'2 a2 + b2
E je m p lo 7 .4
1. Sea z un núm ero com p lejo y sea xv = (z — 1 )(z — i). Determ ínese z tal que:
o) w sea real,
b) xv sea im aginario puro.
P or tanto:
a) tu es real si y sólo si Im (w ) = 0, esto es, y — x + 1 — 0. L uego el con ju n to
solu ción es el con ju n to { z = x + iy g C | j / - i + 1 = 0}.
b) xu esim aginario pu ro si y sólo si Re(?n) — 0 , esto es, x 2 — x + y 2+ y = 0 .
L uego la solu ción es el con ju n to { z — x + iy € C |x ¿ — x + y 2 + y = 0 }. □
z2 5z 4" 6
2. Sea un num ero com p lejo z = x + iy y sea xv = ---------------
^
. D eterm ínese z de
z + 1
m od o que xv sea un núm ero real.
S o lu c ió n :
z 2 + 5z + 6 ( x 2 - y 2 + i { 2 x y ) ) + (5a; + ¿(5r/)) + 6
xv =
z -I- 1 (.x + 1) + iy
( x ¿ - y 2 + 5x + 6 + i ( 2 x y + 5 y )) (( x + 1) - iy)
(x + l )2 + y 2
246 C a pítu lo 7 L o s n ú m e r o s c o m p l e jo s
En consecuencia:
2x 2y + 5y x + 2x y + 5y - x 2y + y ¿ - b x y - 6y
Im('uj)
{x + l ) 2 + y,2
(x 2 + 2 x + y 2 - 1 )y
(x + l )2 + y 2
Se satisfacen las siguientes propiedades cualesquiera que sean los núm eros com plejos
z y z'.
■ 2 = 2
■ 2 + Z' = Z + 2 '
■ ZZ' = 2 Z'
Finalm ente:
Para establecer estas dos últimas propiedades se parte de las fórm ulas (7.1) y (7.2)
y se estudia lo que sucede al sustituir b y b1 por sus opuestos sin m odificar a y a’ .
del plano vectorial euclideo de coorden adas (a, b) respecto de una base ortonorm al
fija: Se obtiene tam bién una biyección del con ju n to C de los núm eros com plejos sobre
el con ju n to de los vectores del plan o vectorial. Tam bién se dice que z es el a fijo d e l
v e c t o r del vector v z .
esto es,
O M z+z> — O M z + O M Z‘
ya cjue p ara sumar vectores con origen en O, basta sumar sus com pon en tes respecto
de un sistem a de referencia, véase la figura 7.2.
248 Capítulo 7 L os n ú m ero s com p lejos
x'
b-
\z\ — r — y R Í = \ j a 2 + b2
= ( z 7 ) ( z ^ ) ^ \ z \ 2¡ z f
A h ora bien, para to d o ca € C claram ente se cum ple que R e(to) ^ |ca| y por
tan to,
a rg (z ) = a — ( e i , O M s ) [m od 2 tt]
1. El núm ero com p lejo 0 tiene m ód u lo 0 pero obsérvese que la definición de ar
gum ento no tiene sentido p ara 0. Direm os que 0 no tiene argum ento.
v-
a
sen a
O
D e la figura 7.6 se desprende que la parte real a y la parte im aginaria b de un núm ero
com p lejo 2 n o nulo vienen expresados m ediante el m ód u lo r y argum ento a com o
a — r eos a , b = r sen a
2 = r ( c o s a + i s in o )
y en fo r m a p o la r :
2 = rQ
La form a trigonom étrica y la form a polar de un núm ero com p lejo son especialm en
te útiles cu ando se m ultiplican núm eros com plejos. Sean los núm eros com plejos no
nulos 2 = r ( c o s a + ¿ s e n a ) y z' = r '( c o s a ' + ¿ s e n a ' ) en form a trigonom étrica.
se obtiene que:
cualesquiera que sean los núm eros com p lejos 2 , z' ^ 0. T am bién las fórmulas de
m u ltiplicación se extienden a un núm ero finito de factores y en particular, se obtiene
e o s 3 o + i se n 3 a — (c o s a + ¿ s e n a )3
= eos3 a 4- 3i eos2 a sen a + 3 eos a ( i sen a ) 2 4- (¿ sen a )3
= eos3 a — 3 eos a sen2 a 4- i (3 eos2 a sen a — sen3 a )
Las relaciones,
(1) (eos a 4- i sen a ) (eos a ' 4- ¿ sen a ') — eos (a 4- a ') + ¿ sen (a 4- a ')
(2) (eos a 4- i sen a ) 1' = eos n a + i sen n a
p on en en evidencia que las propiedades de la aplicación í> : R — ►C tal que
a i—> $ ( a ) = c o s a 4- ¿ s e n a
eta = c o s a 4- ¿ s e n a
p ara to d o a 6 R.
( 1) (?(<*■+<*) = e e
(2) = ( e iay
7.4 F o rm a e x p o n e n c ia l 253
2 - r e ta
(re )
■(e )
Sean o y a ' dos núm eros reales cualesquiera y sean r, r' dos núm eros reales tales que
r > 0 y r' > 0 .
B = re -m
B — r e t(a+x)
i i fAo’ T'
a ■—íAi = ~- e ~ ia v»' ....1/V = — e i{a a)
r^ ta V - r n e i7 ia
D e las fórmulas
— eos a + i sen a
= eos a — i sen a
e‘ u - e:
= cosa y — sen a
2¡~
254 Capítulo 7 Los n úm eros com p lejos
eta 4-
eos3 a J = - + ‘¿ e ta + 3 e “ ta + e ~ l3a)
2
( e i3a
1
+ e - i3a + 3 (e ia + e _ ia ) ) - i (eos 3 o + 3 eos a )
8
Las form as trigonom étrica, p olar y expon encial no son adecuadas para efectuar su
m as de núm eros com plejos.
= (1 + i) + (1 + i V 3) = 2 + ¿(1 + V 3 )
Sea w O un núm ero com p lejo y n G N*. B uscam os las r a íc e s n -é s im a s , que por
definición son las soluciones, en la variable 2 6 C , de la ecuación:
Sea w — pQ, con p — |?/;| > O, la form a polar del núm ero com p lejo dado. Para que el
núm ero com p lejo 2 = r a sea solu ción de la ecuación dada, se d eb e verificar
7.5 R aíces n -ésim as
si k = 0, z0 = = i + i~ -
si k — 1, z¡ = c i7r = —i
• Í. o ,0* 1 .7 3
s i A: = 2, Z'2 = 6 3 = ^ _ 7“
E je m p l o 7 .1 1 R a í c e s n -é s im a s d e la u n id a d
Son las soluciones de la ecu ación z n — 1. P roced ien d o c o m o en el caso general se
obtiene para 2 — r a y w — 1q las soluciones Zq. z ¡, ■■■ , z n - 1 :
ZK'TT
Z{¿ = e " para k — 0 , 1 , 2 , •- • , 11 — 1
E je m p lo 7 .1 2 R a í c e s c u a d r a d a s e n fo r m a b in ó m i c a
Supongam os w = 5 + 12¿ y sea z — x + iy tal que z 2 = w. Sustituyendo se obtiene.
f x2 _ v2 — f,
( x + i y ) 2 — 5 + 1 2 y en consecuencia.: < ‘
-x2 + y 2 = y /(1 2 ) 2 + 52 = 7 X 69 = 13
V eam os un ejem plo de una ecu ación de segundo grad o con coeficientes reales.
z\ = —1 + 2i y z -2 = —1 — 2i
O bsérvese que una raíz cu adrada del discrim inante es e = 4i y si calculam os los
—b + e —6 - e
núm eros ---------- y----------- se obtienen precisam ente Z \ y z-¿- □
2o, 2a
a z 2 + bz + c = 0 (7.3)
•2. b c
z* + - z + - = 0
a a
^ í b \2 b
C om o z^ + - z — I z + — ) — —^7, obten em os la ecuación equivalente:
a V 2a / 4a2
b \2 b2 - 4ac
z ó-
2aJ) -------- 7~5—
4a 2 = ^
-fc + e -b -e
3. Las soluciones son ------------ y --------- .
2a ' 2a
E je m p lo 7 .1 4 Resuélvase la ecuación z 2 + 2z + 1 — 2i — 0.
S o lu c ió n : E n este caso, A = 4 — 4(1 — 2i) = 8i — Se1? .
Hallam os una raíz de A , planteando la ecuación r 2 ¿(x = 82 y obten em os p or ejem plo,
f. = 2\/2e'¿7 - 2 + 21
- 2 + 2 + 2?: . - 2 — 2 — 2?
Las soluciones de Ja ecu ación son z\ = -------------- —1 y = --------- = -¿ --• i.
□
La correspon dencia biu n ívoca que existe entre el con ju n to de los núm eros com plejos
y los puntos del plan o, o entre el con ju n to de los núm eros com p lejos y los vectores del
plano (véase la sección 7 .3), una vez establecido en el plan o un sistem a de referencia
orton orm al, así com o las fórm ulas que perm iten calcular suma, p rod u ctos, cocientes,
etc... de núm eros com p lejos hacen que éstos constituyan una herram ienta de gran
utilidad en diversas aplicaciones geom étricas. V eam os algunas de ellas.
A B = AO + OB = OB - O A
se obtiene: Z j ñ = Zq ~ z a
Figura 7.10: Z y^ = z B za
OI - OA + A I = O A -^ ^ A B = O A + ^ ( O B - O l )
= -O A + -O B
2 2
za + zb
se deduce que: Z [
2. M ed id a del ángulo (é j, A B )
E n la hipótesis de A B y teniendo en cuenta la sección 7.3, la m edida del
k:
F igura 7.12: (e u A B ) = arg( z b - z A ) F igura 7.13: ( A B , A C ) = arg ^
zb
3. M ed id a del ángulo ( A B , A C )
S upongam os que los puntos A, B y C son distintos (véase la figura 7.13). Se
tiene:
(AB,AC) = (cl : A C ) - { e : í , A B )
~ -¿irg(zc - zA ) - üi'g(zB - z A) [m od 2 tt]
= a r g ( Z° ZA ^ [m o d 27t]
\ Z f í - ZA )
En particular se obtiene:
a r g í --------- —^ = 0 [ m o d tt]
\ zb ~ ¿ a J
a r g ( Z° 2 /1 \ ^ [m o d tt]
\ z ¡j — z A ) 2
E j e m p l o 7 .1 8 | M o v im ie n t o s e n e l p la n o
Sean 2 , w € C. Las fórmulas \wz\ = |«/| ¡2 ] y arg (w ¿) = arg(u>) + a rg (2) [tnod 27r]
perm iten dar una interpretación geom étrica de la m ultiplicación de números com
plejos.
C onsideram os la transform ación del plan o que asocia a to d o pu n to P , de afijo 2 , el
punto P ', de afijo z' = w z, el p ro d u cto de w p or el afijo de P . E sta transform ación,
que se denom ina s e m e ja n z a , es exactam ente la com p osición de una liom otecia de
cen tro O y de radio r — |w| y de la rota ción de centro O de ángulo arg(ie).
V eam os co m o se interpretan algunos m ovim ientos del plan o m ediante los núm eros
com plejos.
I. T r a s la c ió n d e v e c t o r v = OH .
Sea el punto íl de afijo w. Se denom ina traslación de vector v a la transform a
ción Ty del plano que asocia a to d o pu n to P . de afijo 2 , el punto P \ de afijo
z' — z + w.
P — > P ' = Tff(P )
2 > z 1= 2 + W
.Pp)
' '>p’w
F igura 7.14: z 1 — z 4- w
2. R o t a c io n e s d e c e n tr o Q y á n g u lo a
P or definición la rotación de centro Q y ángulo a transform a el punto P en un
P'
$
Es decir:
z' - w = e%a{z - w )
E sta expresión se pu ede hallar directam ente expresando que el ángulo ( QP, i } P' )
es cv.
3. H o m o te c ia d e centro íi y razón A:
Se supone que k € IR. k ^ 0. P or definición la h om otecia de centro Q y razón k
transform a el pu n to P en un punto P ', de m anera que Q P ' = k Q P . Pasando
a los afijos, se obtiene:
z - w = k (z — w )
4. S im etría axial
D ada una recta p del plano, una sim etría axial de eje p es el m ovim iento Sp
que tran sform a un punto P del plano en un punto P ' (véase la figura 7.16),
tal que se cum ple
i) la recta P P ' es perpendicular a la recta p.
ii) L os puntos P y P ' equidistan d e la recta p.
E studiam os dos ca so sencillos.
262 Capítulo 7 L os n úm eros co m p lejo s
La recta p es el eje real. Si 2 , z' sou respectivam ente los afijos de P y P ' ,
se tiene:
/P
P /
/
■•-. /
v-.
/
M ediante una rotación nos rem itim os al caso anterior. Sea a el ángulo que form a la
recta, p con el eje real. E fectuam os prim ero una rotación do centro O y ángulo —a-,
R o ,-a \ óe z se pasa a e ~ iaz. La recta p se lia transform ado en el eje real. Aplicarnos
la sim etría de eje real. S q x ', de c ~ iaz se pasa a e ~ lc’ z = c uxz. Finalm ente deshacemos
C o m en ta rio s 263
P R o ,- n S(0x) R o .n P ' = Sp ( P )
z — > e ~ ia z — ► e ia z — > = e %2az
Comentarios
N o existe en C ningún relación de orden tota l ^ que sea com p atible co n las op era cio
nes de C. D e hecho, si existiera dicha relación, por la propiedad 6 de la proposición
4.37 debería verificarse que i 2 = —1 b 0 y l 2 = 1 b 0 , que es una contradicción.
A unque hay referencias anteriores a raíces cuadradas de núm eros negativos, los
núm eros com p lejos aparecen claram ente en el siglo X V I para encontrar las fórmulas
que resuelven las ecuaciones polinóm ieas de grad o 2 y 3, establecidas p or Tartaglia y
C ardano. El sím bolo i, sustituyendo a •J--1 em pieza a utilizarse en el siglo X V III, lo
in trodu ce Gauss, para evitar confusiones c o m o la siguiente: Se a p licaba incorrecta
mente la igualdad algebraica s jx y y/xy/y, válida únicam ente p ara núm eros reales
p ositivos, en
llegando a la con tra d icción 1 = —1. Gauss introduce tam bién la 'n o ta ció n a ~f ib.
P or últim o, expon em os uno de los resultados más im portante sobre los núm eros
com p lejos, aunque su dem ostración sobrepasa los con ocim ien tos aquí desarrollados.
H em os con stru id o el cu erp o de los núm eros com plejos de manera que la ecuación
z2 ~ d
tuviera solu ción incluso parir los núm eros reales negativos. H em os co m p ro b a d o que
tam bién tiene solu ción en C cualquier ecu ación de segundo grad o con coeficientes en
C . Finalm ente, cualquier ecu ación p olin óm ica con coeficientes en C de grad o m ayor o
igual a 1 tiene solu ción en C . Este resultado se co n o ce c o m o teorem a fundam ental del
A lgebra, aunque curiosam ente n o existe ninguna dem ostración del teorem a que sea
puram ente algebraica. E n tod a s las dem ostraciones hay que hacer uso de resultados
an alíticos o top ológ icos. El teorem a dice así:
264 C o m en ta rio s
T eo re m a 7 .1 9 T eo re m a F un d a m en ta l del Á lg e b r a
T o d a ecuación, polin óm ica en u na variable, de grad o al m enos uno y con coe
ficientes com p lejos, tiene al m enos una solu ción com pleja.
don de los zt son las raíces del p olin om io, no necesariam ente distintas entre sí.
La prop ia historia del teorem a pru eba la im portan cia que los m atem áticos del siglo
X V III en adelante le han atribuido. C o n m as o m enos acierto, han intentado su
dem ostración entre otros, D ’A lem b crt, A rgan d , Euler, Lagrange, Laplaee, C auchy y
Gauss.
E jercicios 265
Ejercicios propuestos
1. Dem uestre, en form a binóm ica, tod a s las propiedades de la sum a y el prod u cto
de los núm eros com p lejos que hacen que (C , + , -) sea un cuerpo.
, a + 6í
2. Determ ine el num ero real a para que z = —-----
3. E xprese en form a bin óm ica los siguientes núm eros com plejos:
N 1 1 , N Í 'f i' ~ ¿ \ 9 X 1 + la
a ) ---------------------1
- b) --------- ;= c ) --------- ---------- TTi a € ®
1 + i 1 - i y 1 + is/¿) 2a + i(a¿ - 1)
4. Dem uéstrese que si z , z ' € C son tales que z z ' ^ - 1 y \z\ — \z'\ = 1, entonces
2 4- z'
w — ----------- os uti núm ero real.
1 + 22'
a) z 10 + 2 z 5 + 1 - 0
1) Dem uestre que si se cum ple que \z\ \ — \z‘¿\ ~ 1, entonces |c| = 1,
|b| < 2 y a rg (c) - arg (2í>).
2) ¿Es cierto ei re cíp ro co ?
8 .D ados dos núm eros com p lejos 2 y z', dem uestre las identidades siguientes:
d ) Sea r G l con r > ü una constante. Dem uestre que la ecuación del círculo
de radio r centrado en 1111 punto Q de añjo w es |z|2 —2 R e(z-i/;) + |íí;|2 = r 2
12. E 11 el con ju n to Un, definido en el ejem plo 7.11, de las raíces 11 -é simas de la
unidad, com pruébese que p ara to d o k — 0 ,1 , 2 , ••• , n — 1 se cum ple que
Zk = ( z i f ■
18. E n t e r o s de G a u s s
Sea £ = { z 6 C | z — a + ib. a . b G Z } con las operaciones + y • de C
restringidas a Q.
siend o o o , a 1, ••• , an - 1, a „ € R y a n £ 0 .
[1] Frank Jr. A yres Álgebra moderna. M cG raw Hill, M éxico, 1999.
[3] R ichard C ourant y H crbert R.obbins. ¿ Q u é son las m atem ,áticas?(C onceptos y
m étodos fu n dam entales) F ondo de C ultura E con óm ica , M éx ico, 2002
[4} K eith J. D evlin. Sets, fu n ctio n s and. logic: an introduction to abstract niathe,~
m atics. C hapm an and H a ll/C R C , B o c a R a tón , 2004.
[5] José D orron soro y E ugenio Hernández. N úm eros, grupos y anillos. A ddison
W esley iberoam erican a, M adrid, 1996.
[6] H .D. E bbin gbaus, H. Kerm es, F . Hirzebrueh, M . K oecher, K. M ainzer, J. Neu-
kireh, A . Prestel y R . R em m ert. Numbers. Springer-Verlag, Berlin, 1990.
[9] Erust Hairer y Gerhard W anner. A nalysis by its history. Springer-Verlag, New
York, 1996.
[10] Seym our Lipsehutz. Teoría de con ju n tos y tem as afines. M e G ra w H ill, M éxico,
1970.
[12] Mieliel Q ueysanne Algelnxi básica. Ed. V iccn s V ives, B arcelona, 1971.
[13] Fritz R ein hardt y Heinricli Boeder. Atlas de m atem áticas, 1. Funda.mentos,
álgebra y geom etría. A lianza E ditorial, M adrid, 1984.
Lista de Símbolos
nZ = { ha |k £ Z } , página 131
fj = ( i |x G F j € I ] , página 51
i£¡
R e (2) Parte real del núm ero com p lejo 2 , página 244
= ca rd (N ), página 181
fj = {x £ U | x e F V F € & }, página 51
P’eS
71
f j A,. = A i n A¿ fl •••fl A n , página 123
i= i
u = { x G U I 3 F e g , x € F } , página 51
b'&g
ti
(J A i = A i u á '2 U •••U A n , página 123
t=i
N* = {1 , 2, 3, 4 ■••} = N \ { 0 } , páginas 1, 40
Q* = Q \ { 0 } , página 1
IR* = E \ { 0 } , página 1
Z* = Z \ { 0 } , página 1
L ista de S ím b olos 273
5ft(z) Parte real del núm ero com p lejo 2 , página 244
a rg (z) A rgum ento del núm ero com p lejo 2 , página 249
A D B, B C A, página 35
m!
Cm.n = 17 \T’ pagin a 179
n\{m — n)\
n\ n factorial, página 40
Indice alfabético
cont.rarrecíproco, 11 C ontradicción , 13
recíp roco, 11 C ontraejem plo, 43
C onector C orolario, 29
bicon dicion al, 9 C orresponden cia, 60
condicional, 8 C ortad u ra de D edekind, 232
con ju n ción , 7 C ota
disyunción. 6 inferior, 87
lógico, 6 superior, 87
negación, 6 C uantificador
NO, 6 existcncial, 42
O, 6 universal, 41
Y, 7 C u erpo, 138
C ongruencia m ódu lo H, 131 orden ado, 143
C onjunto, 34
D efinición, 28
acotad o inferiorm ente, 87
D em ostración, 28
acotad o superiorm ente, 87
por deducción , 30
bien orden ado, 89
p or inducción, 65
cociente, 79
p or inducción com pleta, 66
com plem entario de un, 44
p or negación del consecuente, 30
de índices, 51
p or reducción al absurdo, 30
definido p or com prensión, 37
D iagram a de Venn, 36
definido p or extensión, 35
D iferencia
denso en R , 224
de conjuntos, 52
final, 60, 94
sim étrica de con ju n tos, 53
finito, 110, 170-180
D irección en el plano euclídeo, 78
im agen, 94
D isyunción exclu ycn tc, 12
imagen de un elem ento, 61
D ivisible, 195
imagen de una relación, 60
División
infinito, 110, 180 186
entera, 193
inicial, 60, 94
cuclídea, 193
num erable, 110, 181
D ivisor, 195
ordenado, 83
D ivisores de cero, 135
origen de un elem ento, 61
D om in io 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 E lem ento
C onjuntos absorbente, 134
disjuntos, 48 invcrsible, 133
fam ilia de, 51 inverso, 126, 133
intersección de, 47 negativo, 142
unión de, 45 neutro de una operación , 124
INDICE ALFA B E TIC O 211