Beruflich Dokumente
Kultur Dokumente
INTRODUCCIN AL LGEBRA
Barragn Fernando
Santamara Jos
Barquisimeto, 2009
Introduccin
En los ltimos aos, digamos final del siglo pasado y principios del siglo XXI, han
ocurrido cambios marcados en cuanto a la enseanza de la matemtica en la Escuela
Bsica, Media Diversificada y Profesional. Tales cambios han incidido tambin en las
instituciones de Educacin Superior que forman docentes y no es de extraar que temas
que antes eran tradicionales en cuanto a cursos universitarios sean incorporados a niveles
ms elementales. Conscientes de esta situacin y que probablemente se intensifique en un
futuro prximo, se escribe este texto, elaborado para ser utilizado como primer curso de
lgebra en la especialidad de Matemtica del Instituto Pedaggico de Barquisimeto.
2
operaciones. En el tercero se presentan las relaciones binarias y los tipos de relaciones. El
cuarto presenta el concepto y definicin de funcin, dndole importancia capital por ser
una de las nociones ms fructiferas dentro del campo matemtico. El quinto nos permite
desarrollar las ideas bsicas de leyes internas y externas preparando el terreno para el
desarrollo del lgebra Lineal y Estructuras Algebraicas.
1. Proporcionar al estudiante:
2. Proporcionar al profesor
3
d) Una amplia bibliografa, que le permita consolidar conceptos e ideas bsicas
propias del programa de la asignatura Introduccin al lgebra.
4
ndice general
1. Nociones de Lgica 9
1.1. Proposiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.5.1. Cuantificadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.5.3. Contraejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
5
1.6. Mtodos de Demostracin . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
6
3.3. Relaciones sobre un mismo conjunto . . . . . . . . . . . . . . . . . . . . . 157
4. Funciones 187
7
5.3. Estructuras Algebraicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 265
BIBLIOGRAFIA 303
8
Captulo 1
Nociones de Lgica
El gran descubrimiento de George Boole fue aplicar una serie de smbolos a opera-
ciones lgicas y hacer que estos smbolos y operaciones tuvieran la misma estructura
que el lgebra convencional. En 1847 public The Mathematical Analysis of Logic;
en la cual no slo desarroll las prematuras especulaciones de Gottfried Leibniz sobre la
correlacin entre la Lgica y la Matemtica, sino que argument que la Lgica era una
9
disciplina de la Matemtica ms que de la Filosofa. En 1854 public An Investigation of
the Laws of Thought; en el que trataba la Lgica Simblica y su lgebra, desarrollando
un sistema de reglas que le permiti expresar, manipular y simplificar problemas lgicos
cuyos argumentos admiten dos estados falso o verdadero (cero o uno) por procedimien-
tos matemticos, creando lo que se conoce actualmente como lgebra de Boole, lo cual
signific un paso trascendental en el diseo de las computadoras modernas.
Entre las publicaciones de Augustus De Morgan cabe destacar Formal Logic, que
fue su obra ms notable y en la que expone un buen sistema de notacin para la Lgica
Simblica, que incluye el concepto de cuantificacin de predicados, con lo cual se resuelven
algunas cuestiones que no tenan respuesta dentro de la lgica aristotlica. Unos de sus
grandes aportes a la Lgica Matemtica son las leyes que llevan su nombre y que tienen
que ver con la negacin de la conjuncin y la negacin de la disyuncin. Escribi ms de
700 artculos para la enciclopedia Penny que era publicada por la Society for the Diffusion
of Useful Knowledge. En 1838, en uno de estos artculos, titulado Induction, introduce
el tmino induccin matemtica, dotando de una base rigurosa a un proceso que se haba
utilizado sin claridad hasta entonces.
Este captulo estudia las nociones bsicas de la Lgica Matemtica; est dividido en
ocho secciones. En la primera seccin se estudian las proposiciones atmicas y mole-
culares, luego se tratan los mtodos para traducir proposiciones del lenguaje verbal al
lenguaje simblico y viceversa. En la segunda seccin se estudian los valores de ver-
dad de las proposiciones moleculares: la negacin, la conjuncin, la disyuncin, la condi-
cional, la bicondicional y la disyuncin excluyente, luego se construyen tablas de verdad
de proposiciones moleculares con dos o ms conectivos. En la tercera seccin se demues-
tran, mediante tablas de verdad, las leyes del lgebra Proposicional y luego se demuestran
otras leyes usando procedimiento deductivo. En la cuarta seccin se demuestran, median-
te tablas de verdad, las leyes de inferencias lgicas y la validez de un razonamiento; y
luego se demuestra la validez de un razonamiento usando procedimiento deductivo. En
la quinta seccin se estudia la cuantificacin de funciones proposicionales, su negacin
y el mtodo del contraejemplo. En la sexta seccin se exponen los distintos mtodos de
demostracin. La sptima seccin trata sobre ejercicios resueltos. En la octava y ltima
seccin se proponen una serie de ejercicios, para ser resueltos por los estudiantes.
10
Matemtica y de Informtica de la UPEL las herramientas bsicas y en general, estrategias
didcticas que le permitan aplicar conceptos y propiedades del Clculo Proposicional en
la resolucin de problemas.
1.1. Proposiciones
Ejemplo 1.1
i) El hidrgeno es un gas.
ii) Barquisimeto es la capital de Yaracuy.
iii) Algunos estudiantes trabajan.
iv) 3 es un nmero primo.
11
b) Las siguientes expresiones no son proposiciones:
i) Quin viene?.
ii) Traeme mi carro.
Notacin
Para representar proposiciones usaremos letras minsculas tales como: p, q, r, s, t;
o cualquier otra letra, como por ejemplo.
p: hoy es lunes.
q: Mara es estudiante.
r: 5> 3.
s: 12< 8.
t: 5 es un nmero par.
En el lenguaje ordinario utilizamos ciertos trminos, que nos permiten formar otras
proposiciones, a partir de proposiciones dadas.
Ejemplo 1.2
12
d) O Tupac Amar es el cacique peruano Jos Gabriel Condorcaqui o Robinson es el
educador venezolano Simn Rodrguez.
A continuacin se presenta una tabla con los conectivos lgicos que se usarn y la
forma como opera cada uno de ellos. En la tabla p y q representan dos proposiciones
cualesquiera.
Observaciones
a) En el condicional p q, a p se le llama antecedente y a q se le llama con-
secuente. Tambin se dice que p es condicin suficiente para q, y que q es
condicin necesaria para p.
13
b) El nombre de bicondicional del conectivo proviene del hecho de que p q es
equivalente a (p q) (q p) (lo cual demostraremos posteriormente).
Ejemplo 1.3
Las siguientes son proposiciones atmicas:
a) p: Marte es un planeta.
Ejemplo 1.4
Las siguientes son proposiciones moleculares o compuestas:
a) p: Marte no es un planeta.
14
1.1.3. Traduccin del lenguaje verbal al lenguaje simblico y vi-
ceversa
Traducir una proposicin molecular del lenguaje verbal al lenguaje simblico consiste
en determinar todas las proposiciones atmicas y los conectivos lgicos que intervienen en
el enunciado, asignarle letras a cada una de estas proposiciones atmicas y luego expresar
la proposicin molecular dada usando estas letras y los conectivos apropiados, sin que
pierda el sentido original.
De igual manera traducir una proposicin del lenguaje simblico al lenguaje verbal
consiste en escribir en lenguaje ordinario la proposicin que ha sido dada en forma sim-
blica, de tal manera que conserve el sentido original.
Ejemplo 1.5
Observaciones
15
b) Los signos de agrupacin (parentesis o corchetes) se usan para:
Ejemplo 1.6
16
1.2. Valores de Verdad de una Proposicin
Una proposicin p puede ser verdadera o falsa, pero no ambas cosas a la vez. A cada una
de estas alternativas se le denomina valor de verdad, valor veritativo o valor lgico
de p. Los valores veritativos de una proposicin p los denotaremos por V: verdadero y
F: falso, lo cual se puede expresar mediante un diagrama llamado tabla de verdad de p,
de la siguiente manera:
p
V
F
te. Esto no solamente permi- cuestin ante los tribunales. Al iniciarse el proceso Protgoras pidi la
palabra y habl as Seores Jueces! o yo gano o yo pierdo esta cuestin!,
tira trabajar con funciones si yo ganara, mi ex discpulo deber pagarme porque la sentencia fue a
veritativas, sino que permi- mi favor; si yo perdiera, mi ex discpulo tambin deber pagarme en
virtud de nuestro contrato pues gan la primera causa.
tira generalizar a una lgica E natlus tambin pidi la palabra y dijo
Seores Jueces! o yo pierdo o yo gano
polivalente. Sin embargo por
esta cuestin!, si perdiera no debo pagar
tratarse de un curso inicial, nada porque no gan la primera causa;
si ganara, tampoco debo pagar nada,
se trabajar con V y F. porque la sentencia fue a mi favor!.
17
La tabla de verdad de la negacin es:
p p
V F
F V
p q pq
V V V
V F F
F V F
F F F
p q pq
V V V
V F V
F V V
F F F
18
La tabla de verdad de la condicional es:
p q p q
V V V
V F F
F V V
F F V
p q p q
V V V
V F F
F V F
F F V
p q pq
V V F
V F V
F V V
F F F
La siguiente tabla resume los valores de verdad de las proposiciones moleculares segn
19
el conectivo que las combina:
p q p pq pq p q p q pq
V V F V V V V F
V F F F V F F V
F V V F V V F V
F F V F F V V F
p q r.
p q r pq r p q r
V V V V F F
V V F V V V
V F V F F V
V F F F V V
F V V F F V
F V F F V V
F F V F F V
F F F F V V
Observaciones
20
de verdad de las tres proposiciones atmicas que intervienen. En general si una
proposicion molecular consta de n proposiciones atmicas, entonces existen 2n com-
binaciones posibles de los valores de verdad de las n proposiciones atmicas que
intervienen y por lo tanto la tabla tendr 2n filas y en las n columnas correspon-
dientes a las n proposiciones atmicas se colocan todas las posibles combinaciones
de los valores de verdad.
c) Una forma sencilla de colocar todas las combinaciones de los valores de verdad
2n
consiste en escribir para la primera proposicin atmica 2
= 2n1 valores V y
2n 2n
2
= 2n1 valores F, luego para la segunda proposicin atmica 4
= 2n2 valores V
2n 2n 2n
y 4
= 2n2 valores F, para la tercera 8
= 2n3 valores V y 8
= 2n3 valores
F y as sucesivamente quedando la ltima proposicin V y F alternados.
Ejemplo 1.7
(p r) (p q)
es la siguiente:
p q r pr pq (p q) (p r) (p q)
V V V V V F F
V V F F V F F
V F V V V F F
V F F F V F F
F V V F V F F
F V F F V F F
F F V F F V F
F F F F F V F
(p r) ( p q)
21
p q r p pr pq (p r) ( p q)
V V V F V F F
V V F F F F V
V F V F V F F
V F F F F F V
F V V V F V F
F V F V F V F
F F V V F F V
F F F V F F V
Ejemplo 1.8
(p r) (p q)
( p r ) ( p q )
V V V V V V V
V F F V V V V
V V V V V V F
V F F V V V F
F F V V F V V
F F F V F V V
F F V V F F F
F F F V F F F
_ _
_ _ _ _ _
El nivel de las flechas indica el orden en que se colocaron los valores de verdad, y
los guiones indican las columnas que se tomaron en cuenta para obtener los valores
de verdad de la columna indicada con la flecha de nivel ms bajo.
22
b) La tabla de verdad correspondiente a la proposicin molecular
(p q) (p r)
es la siguiente:
( p q ) ( p r )
V V V F F V V V
V V V V V V F F
V F F F F V V V
V F F F V V F F
F V V F F F V V
F V V F F F V F
F V F F F F V V
F V F F F F V F
_
| _ | _ _ _
_ _ _
Ejemplo 1.9
p p p p
V F V
F V V
23
b) La proposicin (a) del ejemplo 1.8 es una tautologa.
Ejemplo 1.10
p p p p
V F F
F V F
Observaciones:
a) Cuando p y q son lgicamente equivalentes se dice que p q es una equivalencia
lgica.
24
Ejemplo 1.11
p p p
V V
F V
En efecto:
La tabla de verdad de p q p q es
p q p q p pq p q p q
V V V F V V
V F F F F V
F V V V V V
F F V V V V
p q p q.
p p ( p) ( p) p
V F V V
F V F V
( p) p.
25
d) La tabla de verdad de la proposicin (p q) p q es:
( p q ) p q
F V V V V F F F
F V V F F F V V
F F V V F V V F
V F F F V V V V
Observacin:
Algunas equivalencias lgicas son llamadas leyes de la Lgica o leyes del lgebra
Proposicional y se le asignan nombres especiales, debido al papel fundamental que
desempean en el desarrollo de la Lgica Simblica.
La siguiente tabla muestra las leyes del lgebra Proposicional. Aqui v y f represen-
tan una tautologa y una contradiccin respectivamente. Cada una de estas equivalencias
lgicas se pueden demostrar usando tablas de verdad y comprobando que el bicondicional
es una tautologa.
Haciendo uso de las leyes presentadas en la siguiente tabla y utilizando el hecho de que
la equivalencia lgica cumple la propiedad transitiva, se pueden demostrar otras equiva-
lencias lgicas. A esta forma de demostracin la llamamos procedimiento deductivo
o prueba deductiva.
26
Equivalencias lgicas notables
Ejemplo 1.12
(p q) p q
Demostracin:
27
Por lo tanto (p q) p q.
p q (p q) (p q)
Demostracin:
(p q) r (p r) (q r)
Demostracin:
p q q p
28
Demostracin:
p q p q ley del condicional
q p ley conmutativa
( q) p doble negacin
q p ley del condicional.
Por lo tanto p q q p.
Esta equivalencia lgica se conoce como Ley del Contrarrecproco.
p q p q f
Demostracin:
p q f (p q) f ley del condicional
(p q) ley de identidad
p q ley de De Morgan
p q ley del condicional.
De aqu que p q p q f .
Esta equivalencia lgica se conoce como Ley de Reduccin al Absurdo.
Observaciones
a) La equivalencia dada en la parte a) del ejemplo 1.12 indica que la negacin de una
condicional no es una condicional sino una conjuncin.
c) Las equivalencias dadas en (d) y (e) del ejemplo 1.12 son fundamentales en
matemtica ya que dan alternativas para hacer demostraciones de la forma h c
donde h es la hiptesis y c es la conclusin o tesis. Dichas equivalencias sern uti-
lizadas muy a menudo en las secciones que siguen.
d) La equivalencia dada en la parte (c) del ejemplo 1.12 sirve para hacer demostra-
ciones de la forma h c donde aparece una disyuncin en la hiptesis h. Esta
equivalencia ser utilizada en las secciones que siguen.
29
1.4. Inferencia Lgica
Ejemplo 1.13
a) Para cualquier proposicin p se cumple que p = p (propiedad reflexiva).
En efecto:
La tabla de verdad de p p es
p p p
V V
F V
30
p q p (p q) p ley del condicional
( p q) p ley de De Morgan
p ( q p) ley asociativa
p (p q) ley conmutativa
( p p ) q ley asociativa
v q tercio excluido
v ley de identidad.
d) p q no implica lgicamente a p.
En efecto:
La tabla de verdad de p q p es:
p q pq p q p
V V V V
V F V V
F V V F
F F F V
Con lo cual se tiene que p q p no es una tautologa, por lo tanto p q no
implica lgicamente a p.
p1
p2
..
.
pn
c
31
Ejemplo 1.14
a) Demostrar que
pq
pq
p
es un razonamiento correcto.
Demostracin:
La tabla de verdad de (p q) (p q) p es:
( p q ) ( p q ) p
V V V V V V F V V
V V F V V V V V V
F V V F F F F V F
F F F F F V V V F
b) Demostrar que
pq
p
q
es un razonamiento correcto.
Demostracin:
La tabla de verdad de (p q) p q es:
( p q ) p q
V V V V V V V
V F F F V V F
F V V F F V V
F V F F F V F
32
c) Demostrar que
pq
q
p
es un razonamiento correcto.
Demostracin:
La tabla de verdad de (p q) q p es:
( p q ) q p
V V V F F V V F V
V F F F V F V F V
F V V F F V V V F
F V F V V F V V F
d) Determinar si
p q
q
p
es o no un razonamiento correcto.
Solucin:
La tabla de verdad de (p q) q p es
p q p q (p q) q (p q) q p
V V V V V
V F F F V
F V V V F
F F V F V
33
Algunas inferencias lgicas se le asignan nombres especiales, debido al papel funda-
mental que desempean en el desarrollo de la lgica simblica.
La siguiente tabla muestra las leyes o reglas de inferencias lgicas. Cada una de estas
inferencias lgicas se pueden demostrar usando tablas de verdad y comprobando que la
condicional es una tautologa.
REGLAS DE INFERENCIA
Inferencia lgica Nombre
p q
p
Modus Ponendo Ponens (PP)
q
p q
q
Modus Tollendo Tollens (TT)
p
pq
p
Silogismo Disyuntivo (SD)
q
p q
q r
Silogismo Hipottico (SH)
p r
pq pq
Ley de Simplificacin (LS)
p q
p
Ley de Adicin (LA)
pq
p
q
Ley de Conjuncin (LC)
pq
Observacin
Modus Ponendo Ponens y Modus Tollendo Tollens son nombres tomados del latn y
significan respectivamente: mtodo que afirmando el antecedente de un condicional se
34
afirma el consecuente y mtodo que negando el consecuente de un condicional se niega el
antecedente.
Ejemplo 1.15
r q
p q
rt
p
t
Demostracin:
1 r q premisa 1
2 p q premisa 2
3 rt premisa 3
4 p premisa 4
5 q de 4 y 2 y modus ponendo ponens
6 r de 5 y 1 y modus tollendo tollens
7 t de 6 y 3 y silogismo disyuntivo.
35
Demostracin:
5 s de 3 y 4 y silogismo disyuntivo
6 ( s) de 5 y doble negacin
7 ( p) de 6 y 2 y modus tollendo tollens
8 p de 7 y doble negacin
9 r de 8 y 1 y modus ponendo ponens
10 r q de 9 y ley de adicin.
1 Si, el pas genera divisas por exportacin de bienes, entonces no habr desem-
pleo.
2 Si, todos los bancos cierran, entonces habr desempleo.
3 Todos los bancos cierran.
Demostracin:
q: Habr desempleo.
r: Todos los bancos cierran.
El problema se reduce a demostrar la validez del siguiente razonamiento:
1 p q
2 r q
3 r
p
4 q r contrarrecproco de 2
5 q de 2 y 3 y modus ponendo ponens
6 ( q) de 5 y doble negacin
7 p de 6 y 1 y modus tollendo tollens.
Por lo tanto el pas no genera divisas por exportacin de bienes.
36
1.5. Funciones Proposicionales
a) x 15.
b) y es un nmero primo.
c) z divide a w.
d) m naci en El Tocuyo.
Debido a que en cada uno de estos enunciados aparecen variables, no se puede decir
de ellos si son falsos o verdaderos. Sin embargo, si se le asignan valores a las variables,
digamos x = 4, y = 21, z = 7, w = 14 y m = Lisandro Alvarado, se obtienen las
proposiciones:
a) 4 15.
b) 21 es un nmero primo.
c) 7 divide a 14.
37
Ejemplo 1.16
Ejemplo 1.17
38
Observacin
Todo lo estudiado hasta aqu y en lo que sigue, para proposiciones se aplica tambin
para funciones o formas proposicionales; es por esto que en algunos casos, por simplicidad,
llamaremos a las funciones o formas proposicionales proposiciones.
1.5.1. Cuantificadores
Sea P (x) una funcin proposicional y A el dominio de la variable x. P (x) puede ser
verdadera para algn, para todos, para un slo, o para ningn elemento de A.
Ejemplo 1.18
Cuantificador Universal
39
Cuando no existe duda sobre el dominio A se puede escribir simplemente
(x) (P (x)) .
Ejemplo 1.19
Solucin
donde N es el conjunto de los nmeros naturales. Esta proposicin es falsa ya que hay
nmeros naturales que no son primos, por ejemplo el nmero 4.
Observaciones
Cuantificador Existencial
40
Al cuantificar a la funcin proposicional P (x) mediante el cuantificador existencial
obtenemos la proposicin
( x A) (P (x)) ,
( x) (P (x)) .
Ejemplo 1.20
Solucin
Esta proposicin es verdadera ya que existe por lo menos un nmero natural que es
primo, por ejemplo el nmero 3.
Observaciones
41
es verdadera, y esto a su vez es equivalente a decir que P (a1 ) P (a2 ) . . . P (an )
es verdadera. Por lo tanto
(! x A) (P (x))
(! x) (P (x))
Ejemplo 1.21
Solucin
42
donde N es el conjunto de los nmeros naturales. Esta proposicin es verdadera ya que
el nico nmero natural cuyo cuadrado es 4 es el nmero 2.
Observacin
Ejemplo 1.22
a) (x A) (y B) (P (x, y)) .
b) (x A) ( x A) (P (x, y)) .
c) (! x A) (x A) (P (x, y)) .
(x R) (y R) (z R) [x + (y + z) = (x + y) + z] .
43
e) La proposicin siguiente es verdadera
(x R) ( y R) (x + y = 0) ,
y
( x A) ( P (x)) P (a1 ) P (a2 ) . . . P (an ),
Es decir
[(x A) (P (x))] ( x A) ( P (x))
[( x A) (P (x))] ( x A) ( P (x))
44
Esto quiere decir que para negar una proposicin cuantificada se cambia el cuantifi-
cador universal por existencial y el existencial por universal y se niega la funcin proposi-
cional.
Ejemplo 1.23
c) La proposicin: Para todo hombre existe una mujer que se casa con l; se puede
escribir simblicamente como
( x H) ( y M) : y se casa con x
[( x H) ( y M) : y se casa con x]
es equivalente a
( x H) ( y M) : y no se casa con x.
Eso significa que: Existe un hombre x, tal que toda mujer y no se casa con l.
Dicho de otra forma: Existe un hombre tal que ninguna mujer se casa con l.
1.5.3. Contraejemplos
45
es decir que para probar que la proposicin (x A) (P (x)) es falsa, basta con conseguir
un x0 A tal que P (x0 ) sea verdadera. A este procedimiento se le denomina mtodo
del contraejemplo y se dice que el elemento x0 es un contraejemplo para la proposicin
universal (x A) (P (x)).
Ejemplo 1.24
a) La proposicin (x R) x R es falsa, ya que existe x0 = 1, tal que se
cumple x0 = 1 / R. En este caso se dice que x0 = 1 es un contraejemplo
para la proposicin (x R) x R.
n
b) El matemtico francs Pierre de Fermat (1601-1665) afirm que 22 + 1 es un
nmero primo para todo nmero natural n. Sin embargo, un siglo ms tarde el
matemtico, fsico e ingeniero suizo Leonhard Euler (1707-1783) encontr que n = 5
era un contraejemplo para tal afirmacin, ya que:
5
22 + 1 = 4294967297 = (641)(6700417),
Para hacer una demostracin se puede proceder utilizando los mtodos: directo, del
contrarrecproco, de reduccin al absurdo e induccin matemtica.
46
1.6.1. Mtodo Directo
p q r (p r) (q r)
Ejemplo 1.25
4 s caso I en 2
5 sq de 4, por ley de adicin
6 s q de 5, por ley del condicional
7 p caso II en 2
8 r q de 1 y 7, por modus ponendo ponens
9 q de 3 y 8, por modus ponendo ponens
10 s q de 9, por ley de adicin
11 s q de 10, por ley del condicional.
47
Ejemplo 1.26
Demostracin:
Se debe probar
[(p q) r]
.
[p (q r)]
1 [(p q) r] premisa
2 [ (p q) r] de 1, por ley del condicional
3 (p q) r de 2, por ley de De Morgan
4 p (q r) de 3, por propiedad asociativa
5 [ p (q r)] de 4, por ley de De Morgan
6 [ p ( q r)] de 5, por ley de De Morgan
7 [p ( q r)] de 6, por ley del condicional
8 [p (q r)] de 7, por ley del condicional.
Ejemplo 1.27
Demostrar el siguiente razonamiento utilizando el mtodo de reduccin al absurdo
(p r) q
s p
r
s q
48
Demostracin:
1. (p r) q premisa 1
2. s p premisa 2
3. r premisa 3
4. (s q) negando la tesis
5. ( s q) de 4, por ley del condicional
6. s q de 5, por ley de De Morgan y doble negacin
7. s de 6, por ley de simplificacin
8. q de 6, por ley de simplificacin
9. p de 2 y 7, por modus ponendo ponens
10. (p r) de 1 y 8, por modus tollendo tollens
11. p r de 10, por ley de De Morgan
12. r de 9 y 11, por silogismo disyuntivo
13. r r de 3 y 12, por ley de conjuncin (contradiccin)
14. s q de 13, por ley de reduccin al absurdo.
i) 0 S.
ii) k S k + 1 S.
49
Si hacemos uso de la funcin proposicional P (x), este principio se puede enunciar de
la manera siguiente:
i) P (0) es verdadera.
Ejemplo 1.28
Demostrar que:
2n > n, n N.
Demostracin:
Luego por el principio de induccin matemtica P (n) es verdadera para todo nmero
natural n, es decir 2n > n para todo nmero natural n.
50
Observacin
Ejemplo 1.29
Demostrar que:
n (n + 1)
1+2++n = , para todo nmero natural n 1.
2
Demostracin:
En efecto:
k (k + 1)
Por hiptesis inductiva se tiene 1 + 2 + + k = , y sumando k + 1 en
2
ambos miembros de la igualdad se sigue
k (k + 1)
1 + 2 + + k + (k + 1) = + (k + 1) ,
2
51
efectuando la suma del segundo miembro de la igualdad queda
k (k + 1) + 2(k + 1)
1 + 2 + + k + (k + 1) = ,
2
(k + 1) (k + 2)
1 + 2 + + k + (k + 1) = ,
2
(k + 1) ((k + 1) + 1)
1 + 2 + + k + (k + 1) = ,
2
Luego por el principio de induccin matemtica P (n) es verdadera para todo nmero
natural n 1, es decir que
n (n + 1)
1+2++n =
2
para todo nmero natural n 1.
Slo definiremos un pequeo nmero de trminos que usaremos luego para hacer algu-
nas demostraciones, adems supondremos que el lector conoce y domina las propiedades
de la adicin y la multiplicacin de nmeros enteros y de nmeros reales.
Diremos que un nmero entero n es par si existe un nmero entero k tal que n = 2k.
Diremos que un nmero entero m es impar si existe un nmero entero k tal que
m = 2k + 1.
Diremos que dos nmeros enteros tienen la misma paridad si ambos son pares o
ambos son impares, en caso contrario diremos que tienen paridades opuestas.
52
Sean a y b nmeros reales. Se dice que a es mayor que b y se escribe a > b o tambin
b < a, si y slo si a b es positivo (a b > 0).
Ejemplo 1.30
Demostracin:
Demostracin:
1 a| b hiptesis
2 a| c hiptesis
3 b = am, con m Z de 1 por definicin de divisibilidad
4 c = an, con n Z de 2 por definicin de divisibilidad
5 bd + cf = (am)d + (an)f de 3 y 4
6 bd + cf = a(md + nf ) de 5 por propiedad asociativa y distributiva
7 bd + cf = ae haciendo e = md + nf en 6; con e Z
8 a| (bd + cf ) de 7 por definicin de divisibilidad.
53
Demostracin:
Demostracin:
54
e) Camina hacia adelante.
Solucin:
(a), (c) y (d) son proposiciones, ya que podemos decir en cada caso si es verdadera
o falsa. (b) es una pregunta y no tiene sentido decir que es verdadera o falsa, por
lo tanto no es una proposicin. (e) es una orden, y tampoco tiene sentido decir que
es verdadera o falsa, con lo cual no es una proposicin.
Solucin:
(a) es una condicional, (b) es una conjuncin, (c) es una conjuncin, (d) es una
disyuncin, e) es una disyuncin exclusiva, (f) es una bicondicional y (g) es una
disyuncin.
Solucin:
a) Pedro est en casa o Juan est en el patio.
b) Pedro est en casa si y slo si Juan est en el patio.
c) Si Pedro est en casa, entonces Juan no est en el patio.
d) Si 7 es un nmero primo y es distinto de 2, entonces 7 es un nmero impar.
e) 7 es un nmero impar 7 es distinto de 2.
55
r: 3 es un nmero primo.
3
s: 4
es un nmero racional.
t: 2 es un nmero par.
Escribir simblicamente cada una de las siguientes proposiciones:
Solucin:
a) p q, b) r s, c) ( r), d) ( r s), e) r s t.
a) (p q) r.
b) (p q) p q.
Solucin:
a)
p q r q pq (p q) r
V V V F F V
V V F F F F
V F V V V V
V F F V V V
F V V F F V
F V F F F F
F F V V F V
F F F V F F
56
b)
p q p q (p q) p (p q) p q
V V V V V
V F F F V
F V V F V
F F V F V
a) p (q r).
b) [(p r) q].
Solucin:
7. Si el valor lgico de
( p q) p q,
57
a) Escribir de manera simblica, y hallar el valor veritativo de la siguiente proposi-
cin molecular:
Si Arturo Uslar Pietri escribi Las Lanzas Coloradas, entonces Rufino Blanco
Fombona no escribi Mocedades de Bolivar.
b) Hallar la recproca, la contrarrecproca y la negacin, de manera simblica, de
la proposicin obtenida en (a).
Solucin:
Solucin:
a) p q.
b) (p q) ( p q) p q.
58
c) p q: Coro es la capital del estado Falcn y Coro no es una ciudad de
Venezuela.
p q (p q) (p q) ,
(p q) (p q) ,
es una contradiccin
Demostracin:
(p q) (p q) (p q) ( p q) ley de De Morgan
(p q) ( q p) ley conmutativa
p (q q) p ley asociativa
p f p ley de contradiccin
(p f ) p ley asociativa
p p ley de identidad
f ley de contradiccin.
59
Demostracin
La tabla de verdad de (p q) (q p) es:
p q p q q p (p q) (q p)
V V V V V
V F F F V
F V F F V
F F F V V
(p q) = (q p).
p
(p q) (r s)
q
s
r
Demostracin:
1 p premisa.
2 (p q) (r s) premisa.
3 q premisa.
4 s premisa.
5 pq de 1 y 3, por ley de conjuncin.
6 rs de 2 y 5, por modus ponendo ponens.
7 r de 4 y 6, por silogismo disyuntivo.
r t
s q
t q p
rs
p
60
Demostracin:
1 r t premisa.
2 s q premisa.
3 t q p premisa.
4 rs premisa.
5 r caso 1 en 4
6 t de 1 y 5, por modus ponendo ponens.
7 tq de 6, por ley de adicin.
8 p de 3 y 7, por modus ponendo ponens.
9 s caso 2 en 4.
10 q de 2 y 9, por modus ponendo ponens.
11 t q de 10, por ley de adicin.
12 p de 3 y 11, por modus ponendo ponens.
x2 5x + 6 = 0 x2 7x + 12 = 0
x2 7x + 12 = 0 x = 3 x = 4
x2 5x + 6 = 0 x = 3 x = 2
x=3
Demostracin:
1) x2 5x + 6 = 0 x2 7x + 12 = 0 premisa.
2) x2 7x + 12 = 0 x = 3 x = 4 premisa.
3) x2 5x + 6 = 0 x = 3 x = 2 premisa.
4) x2 5x + 6 = 0 de 1, por simplificacin.
5) x2 7x + 12 = 0 de 1, por simplificacin.
6) x=3x=2 de 3 y 4, por MPP.
7) x=3x=4 de 2 y 5, por MPP.
8) (x = 3 x = 2) (x = 3 x = 4) de 6 y 7, por ley de conjuncin.
9) [(x = 3 x = 2) x = 3] de 8, por ley distributiva.
[(x = 3 x = 2) x = 4)]
10) [(x = 3 x = 3) (x = 2 x = 3)] de 9, por ley distributiva.
[(x = 3 x = 4) (x = 2 x = 4)]
11) (x = 3 f ) (f f ) de 10, por ley de idempotencia.
12) x = 3 de 12, por ley de identidad.
61
16. Escribir la negacin de cada una de las proposiciones siguientes:
Solucin:
Solucin:
( x R) : x2 > 4 x 2.
(3)2 > 4 3 2.
62
b) La negacin de la proposicin ( x R) ( n N): xn > x es
( x R) ( n N) : xn x.
1
Por lo tanto, x0 = 2
es un contraejemplo para la proposicin, ya que
n
1 1
( n N) .
2 2
63
20. Sean a y b nmeros reales. Demostrar la siguiente proposicin:
Demostracin:
1 0<a<b hiptesis.
2 0<a de 1.
3 0<b de 1.
4 a<b de 1.
5 0<b+a de 2 y 3, por propiedad de reales positivos.
6 0 <ba de 4, por definicin de <.
7 0 < (b + a)(b a) de 5 y 6, por propiedad de reales positivos.
8 (b + a)(b a) = b2 a2 por producto notable.
2 2
9 0<b a sustituyendo 8 en 7.
10 a2 < b2 de 9, por definicin de <.
- Para n = 1
521 1 = 52 1 = 25 1 = 24,
64
- Veamos que se cumple para n = k + 1, es decir que
En efecto:
52k 1 = 24q hiptesis inductiva.
52 (52k 1) = 52 24q multiplicando por 52 .
52 52k 52 = 52 24q propiedad distributiva.
52k+2 25 = 52 24q definicin de potencia.
52(k+1) 25 = 52 24q propiedad distributiva.
2(k+1) 2
5 25 + 24 = 5 24q + 24 sumando 24 en ambos miembros.
52(k+1) 1 = 24 (5 2 q + 1) Propiedad distributiva.
n2 3n
23. Demostrar que el nmero de diagonales de un polgono de n lados es:
2
para n 4.
Demostracin:
Recordemos que la diagonal de un polgono es un segmento que une dos vrtices
no adyacentes del polgono. Un polgono de tres lados (tringulo) tiene todos sus
vrtices adyacentes, por lo tanto no posee diagonales (motivo por el cual se establece
la condicin n 4).
Sea la funcin proposicional P (n): El nmero de diagonales de un polgono de n
n2 3n
lados es , para n 4.
2
- Para n = 4:
42 3 4
Un polgono de 4 lados tiene dos diagonales, adems = 2, por lo
2
42 3 4
tanto el nmero de diagonales de un polgono de 4 lados es , lo cual
2
implica que P (4) es verdadera, por lo tanto, se cumple para n = 4.
65
- Supongamos que se cumple para n = k con k > 4, es decir que P (k): El nmero
k 2 3k
de diagonales de un polgono de k lados es .
2
- Veamos que se cumple para n = k + 1, es decir que P (k + 1): El nmero de
diagonales de un polgono de k + 1 lados es
(k + 1)2 3(k + 1)
.
2
En efecto:
Sea P un polgono de k + 1 lados, entonces tendr k + 1 vrtices. Consideremos
v1 , v2 , , vk , vk+1 dichos vrtices.
Eliminemos el vrtice vk+1 y los lados adyacentes a dicho vrtice y tracemos
un segmento entre los vertices adyacente a vk+1 ; de esta manera formamos un
polgono P de k vrtices y por ende de k lados.
k 2 3k
Luego, por hiptesis inductiva, ste polgono tendr diagonales.
2
Eliminemos de nuevo el ltimo segmento trazado (el segmento que une los
vrtices adyacentes a vk+1 ) y tracemos de nuevo los lados adyacentes a vk+1 ,
para obtener nuevamente el pligono P de k + 1 lados.
Las diagonales del polgono P son: las diagonales del polgono P , el segmento
que une los vertices adyacentes a vk+1 y los k 2 segmentos trazados desde
vk+1 a cada uno de los k 2 vrtices no adyacentes a vk+1 .
Con lo cual, el nmero de diagonales de un polgono de k + 1 lados es:
k 2 3k k 2 3k
+1+k2= +k1
2 2
k 2 3k + 2k 2
=
2
2
k k2
=
2
(k + 1)2 3(k + 1)
=
2
Por lo tanto se cumple para n = k + 1.
66
1.8. Ejercicios Propuestos
67
r: Es hora de empezar la clase.
s: Antonio ir al teatro.
t: Antonio ir al cine.
Escribir simblicamente cada una de las siguientes proposiciones:
a) (p q) ( q r).
b) (p q) (q p).
a) (p q) r.
b) (p q) ( q r).
68
9. Dadas las siguientes proposiciones:
p: Simn Bolivar naci en Caracas.
q: Simn Bolivar es venezolano.
p q (p q) (p q) .
(p q) p q.
p (p q)
es una contradiccin.
1 c d
2 c a
3 d b.
69
17. Demostrar p teniendo las premisas
1 (p q)
2 p r
3 q r.
1 p s
2 p r
3 r t.
1 r b
2 (t s) r
3 b s
4 t.
1 r n
2 k (b r)
3 (q m) k
4 n.
70
b) ( x): P (x) Q(x).
c) ( x) : P (x) Q(x).
d ) ( x): P (x) Q(x).
e) ( x): P (x) Q(x).
f ) ( > 0) ( > 0): |x a| < |f (x) l| < .
a) ( x R): x2 > 0.
b) ( x N): 6 > 5 + x.
c) ( x R): x2 + x 12.
p
d ) ( x R) ( y R): x2 + y 2 = x + y.
27. Demostrar que dos nmeros enteros tienen la misma paridad si y slo si su suma es
par.
30. Sean a, b y c nmeros enteros. Demostrar cada una de las proposiciones siguientes:
a) a | b = a | bc.
b) a | b b | c = a | c.
c) a | b b | a = a = b a = b.
31. Demostrar cada una de las proposiciones siguientes, usando el mtodo de induccin.
71
n (n + 1) (2n + 1)
a) 12 + 22 + + n2 = para todo nmero natural n 1.
6
n2 (n + 1)2
b) 13 + 23 + + n3 = para todo nmero natural n 1.
4
c) 1 + 2 + 22 + 2n1 = 2n 1 para todo nmero natural n 1.
d ) 1 + 5 + 9 + + (4n 3) = n (2n 1) para todo nmero natural n 1.
e) 10n+1 1 es un mltiplo de 9 para todo nmero natural n.
f ) 10n+1 9n 10 es un mltiplo de 81 para todo nmero natural n.
72
Captulo 2
En este captulo se introducen las nociones elementales sobre conjuntos, para ello se
divide en seis secciones. En la primera seccin se estudian las nociones bsicas sobre
los conjuntos, considerando la inclusin de conjuntos y la igualdad de conjuntos. En
la segunda seccin se consideran las operaciones sobre conjuntos, se estudia la unin,
la interseccin, la diferencia y el complemento de conjuntos con sus correspondientes
propiedades. En la tercera seccin se introducen el conjunto potencia, los pares ordenados
y los productos cartesianos. En la cuarta seccin se tratan una vez mas las operaciones
de conjuntos, pero en este caso se aplican a un nmero finito o infinito de conjuntos, tales
operaciones se denominan operaciones generalizadas sobre familias de conjuntos, en la
quinta seccin se presentan algunos ejercicios resueltos y la sexta seccin corresponde a
los ejercicicos propuestos del captulo.
73
La aparicin de los Georg Ferdinand Ludwig Phillip Cantor
conjuntos en la historia
Naci en San Petersburgo, Rusia, en 1845. Echa
de la matemtica facilit por tierra el axioma aristotlico que expresa que el
su desarrollo, puesto que todo es mayor que la parte, al definir los conjuntos
infinitos como aquellos que tienen la misma canti-
contribuy a la consoli- dad de elementos que alguna de sus partes.
dacin de muchos conceptos As establece que el conjunto de los nmeros naturales es infinito, ya
que tiene el mismo nmero de elementos que el conjunto de los naturales
matemticos.
pares. De igual forma descubre que en un pequeo segmento de recta hay
La teora de conjuntos tantos puntos como en toda la extensin de la recta, incluso hay tantos
puntos en el segmento como en el espacio, perplejo ante tal situacin en
propiamente dicha surge a
una carta a Dedekind incluye la frase en francs Je le vois, mais je ne le
finales del siglo XIX, con crois pas (Lo veo, pero no lo creo). Tambin encontr conjuntos que
tienen mas elementos que los nmeros naturales, estableciendo diferentes
los trabajos del matemti-
tipos de infinitos, incluso habla de una sucesin de conjuntos infinitos,
co alemn de origen ru- apareciendo los nmeros transfinitos, para los cuales Cantor desarrolla
la aritmtica transfinita.
so Georg F. Cantor (1845-
De la teora de Cantor, David Hilbert expres: De este paraiso creado
1918). por Cantor nadie nos podr sacar. Sir Bertrand Rusell, seal: Proba-
blemente sea lo ms grande sobre lo que pueda enorgullecerse esta poca.
El mtodo axiomtico fue introducido por los griegos por lo menos trescientos aos
antes de Cristo. Euclides us este mtodo en su obra Elementos, al desarrollar la Geo-
metra del plano y del espacio a travs de una lista de axiomas que acept sin demostrar.
A partir de estos axiomas demostr una serie de teoremas que constituyen la Geometra
Euclidiana.
74
Un sistema axiomtico bsicamente consiste en un conjunto de trminos primitivos,
trminos definidos, axiomas y teoremas. Los trminos primitivos son conceptos que no
se definen. Los trminos definidos son conceptos que se definen a partir de los trminos
primitivos. Los axiomas son enunciados que se aceptan sin demostracin y los teoremas
son resultados que se deducen a partir de los axiomas, de acuerdo con las leyes de la
lgica.
Se inicia este estudio introduciendo tres trminos primitivos, a saber: conjunto, ele-
mento y una relacin que se denominar relacin de pertenencia, y se denotar por
. La relacin de pertenencia enlaza los elementos con los conjuntos.
Los objetos que forman a los conjuntos se denominan elementos y se encierran entre
llaves; de esta manera A = { 1, 2, 3 } es el conjunto formado por los elementos 1, 2 y 3.
A1 : Axioma de Existencia:
Existe un conjunto.
75
Este axioma asegura que existe un conjunto, en virtud de lo cual tiene sentido consi-
derar un conjunto para su correspondiente estudio.
A2 : Axioma de Extensin:
A = B (x)(x A x B).
Este axioma expresa que dos conjuntos son iguales si y slo si tienen los mismos
elementos.
Teorema 2.1
a) Reflexiva: A = A, A.
b) Simtrica: Si A = B, entonces B = A, A, B.
c) Transitiva: A, B, C: Si A = B y B = C, entonces A = C.
Demostracin:
76
A3 : Axioma de Especificacin:
Para todo conjunto A y toda funcin proposicional P (x) con dominio el
conjunto A, corresponde un conjunto B cuyos elementos son precisamente los
elementos x de A para los cuales P (x) es verdadera.
(B)(x)[x B x A P (x)],
Esta crisis surge con la aparicin de paradojas o antinomias (que segn el Diccionario
de la Real Academia Espaola (DRAE) es: idea extraa opuesta a lo que se considera
verdadero a la opinin general.) en algunas ramas de la Teora de Conjuntos.
77
A continuacin se presentan dos de las paradojas1 ms famosas aparecidas en la Teora
de Conjuntos:
78
Determinacin de conjuntos
Para determinar los conjuntos existen dos maneras de realizarlo, a saber: por extensin
o por comprensin.
Por extensin
Para determinar un conjunto A por extensin se listan todos y cada uno de sus ele-
mentos, encerrndolos entre llaves.
Por comprensin
A = {x U : P (x)}.
As los elementos de A son los elementos x de U, que hacen que P (x) sea verdadera.
Ejemplo 2.1
79
e) E = {x R : x2 = 4 x = 0} est definido por comprensin. Por extensin se
tiene A = {2, 0, 2}.
f) Si F = {1, 3, 9, 27, 81} est dado por extensin se puede escribir por comprensin
F = {x N : x = 3n n N n 4}.
(h) Los conjuntos N (nmeros naturales) y Z (nmeros enteros) no pueden ser definidos
por extensin, aunque se pueden usar los puntos suspensivos para expresarlos de la
siguiente forma, N = {0, 1, 2, 3, . . .} y Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .}.
El conjunto vaco
Estos tres conjuntos tienen una propiedad en comn, la cual es que no poseen elemen-
tos. De esta manera se tiene que los tres conjuntos son iguales.
El conjunto vaco juega un papel muy importante en la teora de conjuntos, tal como
lo hace el cero en las operaciones aritmticas.
80
A4 : Axioma del Par:
Para cualquier par de elementos a y b existe un conjunto A que contiene
a ambos elementos. Es decir, existe un conjunto A tal que a A y b A.
{x A : x = a x = b} = {a, b}.
Conjunto unitario
Aunque no se dispone de las herramientas necesarias para definir a los conjuntos finitos
e infinitos, se presenta una idea intuitiva al respecto.
Por ejemplo los conjuntos A = {1}; Hay un concepto que es el corruptor y el de-
B = {a, b, c} y C = {3, 5, 7, 9} son satinador de otros. No hablo del Mal cuyo lim-
finitos. En cambio N, Z, Q y R son in- itado imperio es lo tico: hablo del infinito.
Una clase de conjuntos de nmeros reales que son muy usados en la matemtica son los
intervalos, a continuacin presentamos la definicin de los distintos intervalos existentes.
81
Intervalo abierto:
(a, b) = {x R : a < x < b}
Grficamente:
Intervalo cerrado:
[a, b] = {x R : a x b}
Grficamente:
Intervalos semiabiertos:
[a, b) = {x R : a x < b}
Grficamente:
(a, b] = {x R : a < x b}
Grficamente:
Intervalos infinitos:
[a, ) = {x R : x a}
Grficamente:
(a, ) = {x R : x > a}
Grficamente:
(, b] = {x R : x b}
Grficamente:
(, b) = {x R : x < b}
Grficamente:
(, ) = R
Grficamente:
82
Definicin 2.1 (Subconjuntos)
Sean A y B dos conjuntos, se dice que A es subconjunto de B o que A es una
parte de B, y se escribe A B, si todo elemento de A es tambin elemento de B.
De manera simblica se tiene:
A B (x)(x A = x B)
Observaciones
Ejemplo 2.2
83
d) Sea a, b R, tal que a < b, entonces (a, b) [a, b] [a, ).
En efecto. Sea x (a, b), entonces a < x < b. Pero usando la ley de adicin se
tiene que a < x = a x. De igual modo x < b = x b, en consecuencia
a < x < b = a x b. En virtud de lo cual x [a, b], por lo cual (a, b) [a, b].
Probemos ahora que [a, b] [a, ).
En efecto, sea x [a, b], entonces a x b, es decir a x x b, luego usando
la ley de simplificacin nos queda a x, es decir x a, por lo cual x [a, ). Con
lo que queda demostrado que [a, b] [a, ).
Teorema 2.2
a) A, A.
b) A A, A.
c) A, B, C: Si A B y B C, entonces A C.
Demostracin:
Teorema 2.3
Sea U un conjunto, y sean A = { x U : P (x) }, B = { x U : Q(x) }. Entonces
A B si y slo si (x U)(P (x) = Q(x)).
84
Demostracin:
=) Sea x U, tal que P (x) es verdadera, entonces x A. Por hiptesis A B, luego
x B, en virtud de lo cual Q(x) es verdadera. En consecuencia (x U)(P (x) = Q(x)).
Teorema 2.4
Sean A y B dos conjuntos, entonces A = B si y slo si A B y B A.
Demostracin:
=) Si A = B, por el axioma de extensin (x)(x A x B), as al aplicar el
bicondicional se obtiene (x)[(x A = x B) (x B x A)], en virtud de lo
cual se sigue [(x)(x A = x B)] [(x)(x B = x A)], en consecuencia
A B B A.
(x)[(x A = x B) (x B = x A)].
Usando la ley del bicondicional se obtiene (x)(x A x B), as, usando el axioma
de extensin, resulta A = B.
Corolario 2.5
A 6= B si y slo si A 6 B B 6 A.
Demostracin:
Por contrarrecproco del teorema 2.4 se infiere A 6= B si y slo si (A B B A).
Pero por la ley de De Morgan (A B B A) es equivalente a (A 6 B B 6 A).
En virtud de lo cual A 6= B si y slo si A 6 B B 6 A.
85
Corolario 2.6
Si, A B A 6= B, entonces B 6 A.
Demostracin:
Sean A y B conjuntos, tales que A B A 6= B. Supongamos que B A, entonces
A B B A, luego por el teorema 2.4 A = B, lo cual contradice A 6= B, la
contradiccin proviene de suponer que B A. En consecuenecia B 6 A.
Teorema 2.7
Sea U un conjunto, y sean A = { x U : P (x) }, B = { x U : Q(x) }. Entonces
A = B si y slo si (x U)(P (x) Q(x)).
Demostracin:
A = B A B B A teorema 2.4
[(x U)(P (x) = Q(x))] [(x U)(Q(x) = P (x))] teorema 2.3
(x U)[(P (x) = Q(x)) (Q(x) = P (x))] propiedades de
cuantificadores
(x U)(P (x) Q(x)) ley del bicondi-
cional
Ejemplo 2.3
A = {x N : k N : x = 2k} y B = {x N : x 6= 2k + 1, k N},
entonces A = B.
En efecto: Sea x A, entonces existe un k N,tal que x = 2k, es decir x es un
nmero par. Supongamos que x
/ B, entonces existe un k0 N, tal que x = 2k0 + 1,
en consecuencia x es impar. As x es par e impar, lo cual es contradictorio. La
contradiccin proviene de suponer que x
/ B, por lo cual x B. Por tanto A B.
Recprocamente: Sea x B, luego x 6= 2k + 1, k N, esto implica que x no es
impar, por tanto x es un nmero par, en virtud de lo cual existe un k N,tal que
x = 2k, entonces x A. Por tanto B A.
Como A B y B A, por teorema 2.4 se tiene que A = B.
86
b) Los conjuntos A = {x R : |2x + 1| < 3} y B = {x R : 2 < x < 1} son
iguales.
En efecto:
As x A x B, luego A = B.
x = 5k + 1
= 5k + (5 4) ya que 1 = 5 4
= 5(k + 1) 4 asociativa y distributiva
= 5k0 4 haciendo k0 = k + 1
x = 5k 4
= 5k + (5 + 1) ya que 4 = 5 + 1
= 5(k 1) + 1 asociativa y distributiva
= 5k0 + 1 haciendo k0 = k 1
entonces A = B y A 6= C.
En efecto. Sea a + bi A, entonces a + bi = a + bi, es decir a bi = a + bi, por
simplificacin bi = bi, lo cual es equivalente a 2bi = 0, como i 6= 0 se deduce b = 0,
en consecuencia a + bi B, por lo cual A B.
87
Sea a+bi B, entonces b = 0, en consecuencia b = 0 = b, por tanto a+bi = abi,
es decir a + bi = a + bi, en virtud de lo cual a + bi A, por tanto B A. Con lo
que se concluye A = B.
Por otro lado 2 + 2i C, ya que 2 = 2, pero 2 + 2i = 2 2i 6= 2 + 2i, por lo cual
/ A, lo cual evidencia que C 6 A, luego por el corolario 2.5 se tiene A 6= C.
2 + 2i
AB A 6= B,
Observaciones
a) A B si y slo si A B B 6 A.
Ejemplo 2.4
Diagramas de Venn
Son representaciones grficas que se usan como ayuda didctica para representar con-
juntos y sus relaciones en el plano.
88
Estas representaciones deben su nombre al matemtico y lgico ingls John Venn
(1834-1921), quien en su libro Lgica Simbelica hace uso extensivo de figuras ge-
omtricas para explicar las ideas originales de G. Boole.
Ejemplo 2.5
A(B
A 6 B B 6 A A 6 B B 6 A
89
2.2. Operaciones con conjuntos
Dados dos conjuntos A y B no vacos se desea construir un nuevo conjunto que con-
tenga todos los elementos que pertenezcan por lo menos a uno de los dos conjuntos dados.
usando el axioma de especificacin. Pero este axioma requiere que se tenga un conjunto
que contenga a los elementos de ambos conjuntos. Por tanto es necesario introducir el
siguiente axioma.
A6 : Axioma de la Unin:
Para toda familia de conjuntos existe un conjunto que contiene a todos los
elementos que pertenecen por lo menos a uno de los conjuntos de la familia
dada.
AB
90
Observaciones
a) x A B x A x B.
Se sigue directamente de la definicin.
b) x
/ A B x
/ Ax
/ B.
Se deduce de la definicin y usando una de las Leyes de De Morgan.
Ejemplo 2.6
b) El conjunto R de los nmeros reales es la unin de los racionales (Q) y los irracionales
(I), es decir R = Q I.
a) A A = A, A. (Idempotencia)
b) A B = B A, A, B. (Conmutativa)
c) (A B) C = A (B C), A, B, C. (Asociativa)
d) A A B y B A B, A, B.
e) A = A, A.
Demostracin:
a) A A = A, A.
En efecto:
x A A x A x A definicin de unin
x A idempotencia de la disyuncin.
Luego A A = A, A.
91
b) A B = B A, A, B.
En efecto:
x A B x A x B definicin de unin
x B x A conmutatividad de la disyuncin
x B A definicin de la unin.
Luego A B = B A, A, B.
c) (A B) C = A (B C), A, B, C.
En efecto:
x (A B) C x A B x C definicin de unin
(x A x B) x C definicin de unin
x A (x B x C) asociatividad
x A (x B C) definicin de unin.
x A (B C) definicin de unin.
Luego (A B) C = A (B C), A, B, C.
d) A A B y B A B.
En efecto:
Sea x A, entonces por la ley de adicin se tiene que x A x B, luego por
la definicin de unin se deduce que x A B, lo cual indica que A A B. De
igual manera se prueba que B A B.
e) A = A.
En efecto:
Sea x A , entonces por definicin de unin x A x , pero x es una
proposicin falsa, en consecuencia por silogismo disyuntivo se obtiene x A, lo cual
indica que A A. Adems, por la parte (d) se tiene que A A . Con lo cual
queda demostrado que A = A.
92
generalizadas de conjuntos. Adems se puede notar que todo conjunto unido con el vaco
es el mismo conjunto, en tal sentido se dice que el vaco es el elemento neutro de la unin.
AB
Observaciones
a) x A B x A x B.
Se sigue directamente de la definicin.
b) x
/ A B x
/ Ax
/ B.
Se deduce de la definicin y usando la Ley de De Morgan.
Ejemplo 2.7
93
b) Sean los conjuntos A = {1, 2, 3} y B = {4, 5, 6}, entonces la interseccin de A y B
es A B = , es decir A y B son disjuntos.
a) A A = A, A. (Idempotencia)
b) A B = B A, A, B. (Conmutativa)
c) (A B) C = A (B C), A, B, C. (Asociativa)
d) A B A y A B B, A, B.
e) A = , A.
Demostracin:
a) A A = A, A.
En efecto:
x A A x A x A definicin de interseccin
x A idempotencia de la conjuncin.
Luego A A = A, A.
b) A B = B A, A, B.
En efecto:
x A B x A x B definicin de interseccin
x B x A conmutatividad de la conjuncin
x B A definicin de la interseccin.
Luego A B = B A, A, B.
c) (A B) C = A (B C), A, B, C.
94
En efecto:
x (A B) C x A B x C definicin de interseccin
(x A x B) x C definicin de interseccin
x A (x B x C) asociatividad
x A (x B C) definicin de interseccin
x A (B C) definicin de interseccin.
Luego (A B) C = A (B C), A, B, C.
d) A B A y A B B.
En efecto:
Sea x A B, entonces por la definicin de interseccin, x A x B, luego
por la ley de simplificacin se deduce que x A, lo cual indica que A B A. De
igual manera se prueba que A B B.
e) A = .
En efecto:
Por (d) se tiene que A . Por el teorema 2.2, (a) se tiene que A , por
lo tanto A = .
Del teorema anterior se obtiene que la idempotencia indica que un conjunto intersec-
tado consigo mismo es igual al conjunto en consideracin, la conmutatividad expresa que
no importa el orden en que se tome la interseccin, la asociatividad permite intersectar
ms de dos conjuntos, lo cual ser til para las operaciones generalizadas de conjuntos.
Teorema 2.10
A (B C) = (A B) (A C), A, B, C.
A (B C) = (A B) (A C), A, B, C.
95
Demostracin:
a) A (B C) = (A B) (A C).
En efecto:
x A (B C) x A x (B C) def. unin
x A ( x B x C) def. interseccin
(x A x B) (x A x C) distributiva
(x A B) (x A C) def. unin
x (A B) (A C) def. interseccin.
Por tanto A (B C) = (A B) (A C), A, B, C.
A B = {x U : x A x
/ B}.
AB
Observaciones
a) x A B x A x
/ B.
Se sigue directamente de la definicin.
96
b) x
/ A B x
/ A x B.
Se deduce de la definicin y usando la Ley de De Morgan.
c) En general A B 6= B A.
Por ejemplo si A = {1, 2} y B = {1}, entonces A B = {2} y B A = , luego
A B 6= B A.
Ejemplo 2.8
a) A A = , A. b) A = A, A
c) A = , A. d) A B A, A, B.
e) A B = A si y slo si A B = . f) A B = si y slo si A B.
Demostracin:
a) Supongamos que existe un conjunto A, tal que AA 6= , luego existe un x AA,
es decir existe un x Ax
/ A, lo cual es una contradiccin que se deriva de suponer
que existe un conjunto A, tal que A A 6= , luego A A = , A.
97
b) Sea A un conjunto, y sea x A , entonces por definicin de diferencia se sigue
que x A x
/ , luego por simplificacin x A, lo cual implica que A A.
Recprocamente: Sea x A, como x es falsa, se tiene que x
/ es verdadera,
luego x A x
/ , en virtud de lo cual x A , as A A .
En conclusin A = A, A.
98
Observaciones
a) El complemento A B es un caso particular de la diferencia A B. Ya que en general
en la diferencia A B no se requiere que B sea subconjunto de A, pero en el
complemento A B = A B si se requiere que B A.
c) x B x
/ B.
Por la observacin anterior (b) se tiene que B = U B, en virtud de lo cual
/ B. Pero x U siempre es cierto, luego x B x
x B x U x / B.
d) x
/ B x B.
Se usa la observacin (c) y la ley del contrarrecproco.
A B
99
Ejemplo 2.9
Teorema 2.12
A B = A B.
Demostracin:
Sean A y B dos conjuntos cualesquiera, entonces:
x A B x A x
/B definicin de diferencia
x A x B observacin (b)
x A B definicin de interseccin.
As A B = A B.
Teorema 2.13
a) A A = U, A A = . b) (A) = A.
c) U = , = U. d) A B B A.
Demostracin:
100
b) x (A) / A observacin (c)
x
xA observacin (d)
Por tanto (A) = A.
d) =) Sea x B, entonces x
/ B. Suponemos que x
/ A, luego por la observacin
(c) x A, pero como A B, se deduce que x B. As x B x
/ B, lo cual
es contradictorio. Esta contradiccin proviene de suponer que x
/ A, por lo cual
x A, en virtud de lo cual B A.
=) Sea x A, entonces por la observacin (c) x
/ A, as x
/ B, de lo contrario
existira un elemento de B que no pertenece a A, lo cual es equivalente a afirmar
que B 6 A. Pero x
/ B implica que x B.
As queda demostrado que A B.
a) (A B) = A B. b) (A B) = A B.
Demostracin:
a) x (A B) x
/ (A B) observacin (b)
(x A B) negacin
(x A x B) definicin de unin
x
/A x
/B leyes de De Morgan para proposiciones
x A x B observacin (b)
x A B definicin de interseccin
101
Observaciones
a) A B = {x U : x A x B}.
En efecto:
As A B = {x U : x A x B}.
Grficamente:
AB
a) A B = B A, A, B.
b) A = A, A.
c) A A = , A.
d) A B = A B A B, A, B.
e) (A B) C = A (B C), A, B, C.
Demostracin:
A B = (A B) (B A) = (B A) (A B) = B A.
102
b) Sean A un conjunto, entonces usando la definicin de la diferencia simtrica se
obtiene A = (A ) ( A). Por el teorema 2.11, (b) y (c) se tiene A = A
y A = , en virtud de lo cual A = (A ) ( A) = A = A.
d) Tenemos que:
x A B A B x A B x
/ AB def. de diferencia
(x A x B) x
/ AB definicin de
(x A x B) (x
/ Ax
/ B) definicin de
(x A x
/ A) (x A x
/ B)
(x B x / B) distributividad
/ A) (x B x
f (x A x
/ B)
(x B x
/ A) f ley de contradiccin
(x A x
/ B) (x B x
/ A) ley de identidad
(x A B) (x B A) def. diferencia
x (A B) (B A) def. de
x A B def. diferencia
simtrica.
As A B = A B A B.
M = [(A B) (B A)] C,
M = [(A B) (B A)] C,
M = [(A B C) (B A C)].
103
De manera similar
N = C (A B) teorema 2.12
= C [(A B) (B A)] diferencia Simtrica
= C [(A B) (B A)] De Morgan
= C [(A B) (B A)] teorema 2.12
= C [(A (B)) (B (A))] De Morgan
= C [(A B) (B A)] teorema 2.13,(b)
= C [(A B) (B B) (A A) (B A)] distributiva
= C [(A B) (B A)] teorema 2.13, (a)
= C [(A B) (B A)] teorema 2.8, (e)
= (C A B) (C B A) distributiva
E = (A B C) (B A C) (C A B) (C B A). (2.1)
A B C = (A B C) (A C B),
A B C = (A B C) (C B A) (2.2)
es decir
B C A = (B A C) (C A B). (2.3)
F = (A B C) (C B A) (B A C) (C A B),
F = (A B C) (B A C) (C A B) (C B A). (2.4)
104
De (2.1) y (2.4) se obtiene que E = F , lo cual implica que
(A B) C = A (B C).
Si se quisiera hallar todos los subconjuntos de un conjunto dado A y afirmar que ellos
forman un conjunto, con la teora desarrollada hasta ahora no se puede definir tal conjun-
to, pues el axioma de especificacin requiere que se tenga un conjunto previo al cual deben
pertenecer estos subconjuntos de A. Por tanto es necesario introducir el siguiente axioma.
A5 : Axioma de Potencia:
Para todo conjunto existe otro conjunto que contiene entre sus elementos todos
los subconjuntos del conjunto dado.
Este axioma dice que: Si, A es un conjunto cualquiera, entonces existe un conjunto P ,
tal que X A = X P .
(A) = {X P : X A}
Observaciones:
a) Como A, para todo conjunto A, se tiene que (A).
105
c) (A) 6= , ya que por la observacin (a) se tiene que (A). Similarmente (b)
implica que A (A).
d) Cuando los elementos de un conjunto son conjuntos, se debe evitar confusiones con
el uso de la pertencia () y la inclusin (), ya que no es lo mismo B A que
B A; en el primer caso B es un elemento de A, en el segundo todos los elementos
de B, tambin son elementos de A.
Ejemplo 2.10
c) Si A = {1, 2}, entonces (A) = {, {1}, {2}, {1, 2}}, ya que los nicos subconjuntos
de A son , {1}, {2} y A.
d) Si A = {1, 2}, entonces ((A)) est formado por todos los subconjuntos del con-
junto potencia de A.
Como (A) = {, {1}, {2}, {1, 2}}, se buscan los subconjuntos de (A), Obtenin-
dose: (A), {} (A), {{1}} (A), {{2}} (A), {A} (A),
{, {1}} (A), {, {2}} (A), {, A} (A), {{1}, {2}} (A),
{{1}, A} (A), {{2}, A} (A), {, {1}, {2}} (A),
{, {1}, A} (A), {, {2}, A} (A), {{1}, {2}, A} (A) y
(A) (A).
De esta manera el conjunto potencia del conjunto potencia de A es:
((A)) = { ; {}; {{1}}; {{2}}; {A}; {, {1}}; {, {2}}; {, A};
{{1}, {2}}; {{1}, A}; {{2}, A}; {, {1}, {2}}; {, {1}, A};
{, {2}, A}; {{1}, {2}, A}; (A) }.
Teorema 2.16
106
Demostracin:
Para n = 0.
107
Se tiene que (A) = { B1 , B2 , . . . , B2k , A1 , A2 , . . . , A2k }.
Teorema 2.17
A B (A) (B).
Demostracin:
En efecto: Como A A se tiene A (A), adems por hiptesis (A) (B), por
lo tanto A (B), lo cual significa que A B.
Los elementos a y b se llaman primera y segunda componente del par (a, b), respecti-
vamente.
108
Teorema 2.18
Demostracin:
=) Si (a, b) = (c, d), se tiene que {{a}, {a, b}} = {{c}, {c, d}}, entonces pueden ocurrir
dos casos: {a} = {c} {a, b} = {c, d}, o bien {a} = {c, d} {a, b} = {c}.
Si {a} = {c} {a, b} = {c, d}, entonces a = c, dado que {a} = {c}. En consecuencia
{a, b} = {c, d} = {a, d}, por tanto b = d.
Si {a} = {c, d} {a, b} = {c}, se tiene que {a} = {c, d}, por lo cual {c, d} es
un conjunto unitario, es decir c = d = a. Por otro lado {a, b} = {c}, en consecuencia
a = b = c, de all que a = b = c = d.
Corolario 2.19
Demostracin:
Corolario 2.20
(a, b) 6= (c, d) a 6= c b 6= d.
Demostracin:
(a, b) 6= (c, d) a 6= c b 6= d.
109
Ejemplo 2.11
a) (2, 5) 6= (2, 4), ya que 5 6= 4.
(
y1 = 2x
3 + x = 2y
Sumando 1 a la primera ecuacin se deduce y 1 + 1 = 2 x + 1, entonces y = 3 x,
sustituyendo este valor de y en la segunda ecuacin se obtiene 3 + x = 2(3 x),
aplicando la propiedad distributiva se deduce 3 + x = 6 2x, sumando 2x 3 en
ambos miembros queda x + 2x = 6 3, en virtud de lo cual 3x = 3, y as x = 1.
Como y = 3 x, se sigue que y = 3 1 = 2.
As se tiene que
(y 1, 3 + x) = (2 x, 2y) x = 1 y = 2.
Observacin:
110
Observaciones
b) A B se lee A cruz B.
c) Si A = B entonces se escribe A B = A A = A2 .
Ejemplo 2.12
a) Si A = {1, 2, 3}, y B = {1, 2}, entonces
A B = {(1, 1); (1, 2); (2, 1); (2, 2); (3, 1); (3, 2)}
Asimismo
B A = {(1, 1); (1, 2); (1, 3); (2, 1); (2, 2); (2, 3)}.
b) Si A = R, entonces
A A = {(a, b) : a A b A} = {(a, b) : a R b R} = R2 ,
por tanto
(A B) C = {((1, 3), 6); ((1, 4), 6); ((2, 3), 6); ((2, 4), 6)}
111
Similarmente B C = {(3, 6); (4, 6)}, por lo cual
A (B C) = {(1, (3, 6)); (1, (4, 6)); (2, (3, 6)); (2, (4, 6))}.
AB
Representacin cartesiana
112
Una de las ventajas que posee esta forma de representacin es que se pueden expresar
productos cartesianos con conjuntos finitos e infinitos.
Ejemplo 2.13
3
AB
2
1 2 A
3
AB
2
1
0
0 1 2 3 4 R
3
AB
2
1
0
0 1 2 3 4 R
113
Teorema 2.21 Propiedades del Producto Cartesiano
a) A B = A = B = , A, B.
b) A (B C) = (A B) (A C), A, B, C.
c) A (B C) = (A B) (A C), A, B, C.
d) A (B C) = (A B) (A C), A, B, C.
Demostracin:
As A (B C) = (A B) (A C), A, B, C.
As A (B C) = (A B) (A C), A, B, C.
114
d) Sea (a, b) A (B C), entonces por definicin de producto cartesiano se tiene que
a A b B C. Dado que b B C, por definicin de diferencia se deduce que
/ C, en virtud de lo cual a A (b B b
bB b / C), y por asociatividad
de la conjuncin se tiene (a A b B) b
/ C. As (a A b B)
implica que (a, b) A B. Por otro lado b
/ C implica que (a, b)
/ A C. Luego
/ A C, y usando la definicin de diferencia se obtiene
(a, b) A B (a, b)
(a, b) (A B) (A C).
De esta manera queda demostrado que A (B C) (A B) (A C).
Recprocamente: Si (a, b) (A B) (A C), por definicin de diferencia
obtenemos (a, b) A B (a, b)
/ A C. Dado que (a, b) A B se deduce que
a A b B. Como b
/ A C se sigue que a / C, pero ya se obtuvo que
/A b
a A, en virtud de lo cual b
/ C, resulta que a A (b B b
/ C), y usando la
definicin de diferencia a A b B C, por tanto (a, b) A (B C). Luego
(A B) (A C) A (B C).
En consecuencia A (B C) = (A B) (A C).
115
Ejemplo 2.14
116
Observaciones
a) x
S
Ai i I : x Ai
iI
b) x
S
/ Ai i I : x
/ Ai
iI
n
c) Si I = {0, 1, 2, . . . , n}, entonces Ai se puede escribir Ai , y si I = N, se escribe
S S
iI i=0
Ai .
S
i=0
Observaciones
a) x Ai i I : x Ai .
T
iI
b) x 6 Ai i I : x 6 Ai .
T
iI
n
c) Si I = {0, 1, 2, . . . , n}, entonces Ai se puede escribir Ai , y si I = N, se escribe
T T
iI i=0
Ai .
T
i=0
Ejemplo 2.15
Solucin:
Como I = {0, 1, 2, 3}, y adems en el ejemplo 2.14.a se encontr que
A0 = {x N : x 2}; A1 = {x N : x 4}; A2 = {x N : x 8} y
A3 = {x N : x 16}.
117
As la interseccin es:
T
Ai = {x N : x Ai , i I}
iI
= {x N : x A0 x A1 x A2 x A3 }
= {x N : x 2 x 4 x 8 x 16}
= {x N : x 2} = {0, 1, 2}
Similarmente
S
Ai = {x N : x Ai , i I}
iI
= {x N : x A0 x A1 x A2 x A3 }
= {x N : x 2 x 4 x 8 x 16}
= {x N : x 16}
= {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16}.
a divide a b b es mltiplo de a.
Por tanto los elementos de Ai son los enteros que son mtiplos de 2,3 y 4, que
T
iI
son mayores que -12 y menores o iguales que 12. Es decir
\
Ai = {0, 12}.
iI
[
Ai = {10, 9, 8, 6, 4, 3, 2, 0, 2, 3, 4, 6, 8, 9, 10, 12}.
iI
118
c) Considerar la familia del ejemplo 2.14.c, hallar Ai y Ai .
T S
iI iI
Solucin:
Como I = N, y la familia est formada por los conjuntos
Ai = {x Z : i x < i}.
En consecuencia
\ [
Ai = y Ai = Z.
iN iN
\ [
An = {0} y An = [0, 1].
nN nN
En efecto:
0 [0, n1 ], n N , en consecuencia {0} An .
T
nN
119
1
En efecto: como = 1, se tiene que [0, 1] = A1 , en consecuencia [0, 1]
An .
S
1
nN
h i
Por otro lado sea x An , entonces existe un n0 N , tal que x 0, n10 , es
S
nN
1 1
decir 0 x pero n0
,1, en consecuencia 0 x 1, es decir x [0, 1], por lo
n0
tanto An [0, 1]. Con lo que queda demostrado que
S
nN
[
An = [0, 1].
nN
Teorema 2.22
!
d)
T S T T
Ai Bj = (Ai Bj ).
iI jJ (i,j)IJ
!
e)
S S S
Ai Bj = (Ai Bj ).
iI jJ (i,j)IJ
!
f)
T T T
Ai Bj = (Ai Bj ).
iI jJ (i,j)IJ
Demostracin:
a) x definicin de complemento
S S
Ai x
/ Ai
iI iI
[(i I)(x Ai )] unin generalizada
(i I)(x
/ Ai ) negando cuantificadores
(i I)(x (Ai )) complemento
(Ai ) interseccin generalizada
T
x
iI
120
b) x definicin de complemento
T T
Ai x
/ Ai
iI iI
[(i I)(x Ai )] interseccin generalizada
(i I)(x
/ Ai ) negando cuantificadores
(i I)(x (Ai )) complemento
(Ai ) unin generalizada
S
x
iI
!
c) interseccin
S T S S S
x Ai Bj x Ai x Bi
iI jJ iI jJ
(i I : x Ai ) unin
(j J : x Bj ) generalizada
(i, j) I J : x Ai propiedades de
x Bj cuantificadores
(i, j) I J : x Ai Bj interseccin
unin
S
x (Ai Bj )
(i,j)IJ
generalizada.
!
e) (a, b)
S S S S
Ai Bj a Ai b Bi
iI jJ iI jJ
producto cartesiano
(i I : a Ai ) (j J : b Bj )
unin generalizada
(i, j) I J : a Ai b Bj
propiedades de cuantificadores
(i, j) I J : (a, b) Ai Bj
interseccin
S
(a, b) (Ai Bj )
(i,j)IJ
unin generalizada.
121
Definicin 2.13 ( Particin)
Una particin de un conjunto no vaco X es una familia {Ai }iI de subconjuntos
no vacos de X que verifica.
a) Ai Aj = i, j I, tal que i 6= j.
b) X = Ai .
S
iI
Ejemplo 2.16
a) Al observar el mapa de Venezuela se puede ver que los estados que lo conforman,
representan una particin del pas.
A0 A1 A2 Z. (2.5)
Probemos que Z A1 A2 A3 .
En efecto. Sea x Z, si se divide x entre 3 el residuo puede ser 0, 1 2.
122
Si el residuo es cero, existe un k Z, tal que x = 3k, as x A0 . Si el residuo es
uno existe un k Z, tal que x = 3k + 1, es decir x A1 . De igual modo si el residuo
es dos, existe un k Z, tal que x = 3k + 2, en consecuencia x A2 .
As x A0 x A1 x A2 , luego por definicin de unin se sigue que
x A0 A1 A2 , lo cual implica que
Z A0 A1 A2 . (2.6)
A B C = (A B) C.
Observaciones
a) Los elementos de A B C se escribiran (a, b, c) en lugar de ((a, b), c). En tal caso
a (a, b, c) se le denomina terna.
A B C = {(a, b, c) : a A b B c C}.
123
Ejemplo 2.17
A B C = {(a, b, c) : 0 a 1 2 x 3 0 c 2}.
De manera similar a la forma como se defini el producto cartesiano para tres conjuntos
se puede definir para m conjuntos, en tal sentido se muestra la siguiente definicin.
A1 A2 . . . Am = ((((A1 A2 ) A3 ) A4 ) . . . Am ).
Observaciones
A1 A2 . . . Am = {(a1 , a2 , . . . , am ) : a1 A1 a2 A2 . . . am Am }.
124
Ejemplo 2.18
A = (a1 , a2 , a3 , a4 ) : 1 a1 1; 21 a2 12 ; 13 a3 13 ; 14 a4 1
4
.
Es decir:
A = (a1 , a2 , a3 , a4 ) : a1 [1, 1] a2 12 , 12 a3 13 , 13 a4 14 , 14
.
1. Determinar cules de las afirmaciones siguientes son verdaderas y cules son falsas,
explicar.
a) . b) . c) ().
d) (). e) =
6 {}. f) {a} = {{a}}, a R.
Solucin:
125
f ) {a} = {{a}}, a R es falsa, ya que {a} {{a}}, pero {a}
/ {a}, as
{{a}} 6 {a}, por lo cual {a} =
6 {{a}}.
a) A = {x R : x2 + 1 = 0}.
b) B = {x R : x3 + x = 0}.
c) C = {x Z : 0 < x < 40 x es mltiplo de 5}.
d ) D = {x Z : x2 10}.
e) E = {x Z : |x| 5}.
f ) F = {x N : 1 < x < 69 x es primo}.
Solucin:
126
As el conjunto C se escribe por extensin:
D = {3, 2, 1, 0, 1, 2, 3}.
E = {5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5}.
f ) Los elementos de F son los nmeros primos mayores que 1 y menores que 69,
por tanto
F = {2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67}.
x A x2 4 definicin de A
x2 4 aplicando raz cuadrada (4 0 x2 0)
|x| 2 propiedad de valor absoluto
x 2 x 2 propiedades del valor absoluto.
127
Veamos ahora si B A.
Sea x B, entonces x 10 x 10. Si x 10, luego por transitividad
x 10 2, por tanto x A.
Si x 10, se tiene x 10 2, por tanto x A. As B A.
Determinemos si A C.
Consideramos x = 10, entonces x2 = 100 2, por tanto x = 100 A. Pero
|x + 1| = |10 + 1| = |11| = 11 > 10, por tanto x
/ C, de all A 6 C.
Veamos si C A.
Sea x C, entonces |x + 1| 8 |x + 1| 10, entonces
(x + 1 8 x + 1 8) (x + 1 10 x + 1 10).
Es decir
(x 7 x 9) (x 9 x 11).
Usando distributividad
(x 7 x 9 x 11) (x 9 x 9 x 11).
Luego
(x 7 x 9) (x 9 x 11).
Pero
x 7 x 9 = x 7 = x 2,
de manera similar
x 9 x 11 = x 9 = x 2.
128
4. Dados los conjuntos A = {x R : x2 5x + 6 < 0}, B = {x R : 2 < x < 3} y
C = x R : x 52 < 12 , probar que A = B = C.
Solucin:
Para probar que A = B = C es suficiente con demostrar que A B, B C y
C A.
Probemos en primer lugar que A B.
En efecto. Sea x A, entonces x2 5x + 6 < 0, pero factorizando tenemos que
x2 5x + 6 = (x 2)(x 3). Con lo cual tenemos (x 2)(x 3) < 0, en consecuencia
o equivalentemente
pero el caso x < 2 x > 3 es imposible. Queda entonces que x > 2 x < 3, es
decir 2 < x < 3, por lo cual x B. As obtenemos que:
A B. (2.7)
21 < x 5
2
< 21 .
x 5 < 1 .
2 2
B C. (2.8)
129
virtud de lo cual x2 5x + 6 = (x 2)(x 3) < 0, por tanto x A. As hemos
probado que
C A. (2.9)
Por (2.7), (2.8) y (2.9) se obtiene A B C A. Lo cual implica que A = B = C.
6. Sean A = { 1, 2, 3 } ; B = { 2, 3, 5 }. Hallar A B; A B; A B y B A.
Solucin:
A B = { 1, 2, 3, 5 }; A B = { 2, 3 }; A B = { 1 } y B A = { 5 }.
Solucin:
Como (A) (B) = {1, 6, 8}, por la ley de De Morgan
130
Por otro lado como 4 y 7 estn en A B, pero no estn en A se deduce que 4 B
y 7 B. Adems 3 B, ya que A B = {3}, as queda que B = {3, 4, 7}.
11. Sean los conjuntos A = {1, 2, 4, 6} y B = {1, 3, 4, 5}, encontrar los conjuntos A B
y (A B) (A B).
131
Solucin:
En primer lugar
(A B) (A B) = {2, 3, 5, 6}.
x A B x (A B) (B A) definicin de
x A B x B A def. de unin
(x A x
/ B) (x B x
/ A) def. de diferencia
(x A x B) (x A x
/ A)
(x
/ B x B) (x
/ Bx
/ A) distributividad
(x A x B) v v (x / A) tercio excludo
/ Bx
(x A x B) (x
/ Bx
/ A) ley de identidad
(x A B) (x
/ Bx
/ A) def. de unin
(x A B) (x A x B) De Morgan
(x A B) (x A B) def. interseccin
x A B x
/ AB negacin
x (A B) (A B) def. de diferencia.
As se cumple A B = (A B) (A B).
132
14. Sean A y B dos conjuntos cualesquiera, probar que (A) (B) (A B), y
mostrar un ejemplo para el cual (A B) (A) (B) no se cumple.
Solucin:
Sea A y B conjuntos, entonces por teorema 2.8,(d) A A B y B A B, luego
usando el teorema 2.17 (A) (A B) y (B) (A B), en virtud de lo cual
(A) (B) (A B).
Por otro lado, sea A = { 1, 2 } y B = { 2, 3 }, entonces X = { 1, 3 } (A B),
ya que X A B, pero X 6 A, luego X
/ (A). De igual modo X
/ (B), ya
que X 6 B; en consecuencia X
/ (A) (B). Por tanto existen A y B, tales que
(A B) 6 (A) (B).
133
16. Sean A y B dos conjuntos, probar que (A) (B) (A B), sin embargo
(A B) 6= (A) (B).
Solucin
Sea x = (a, b) (A) (B), entonces por definicin de producto cartesiano se
sigue que a (A) b (B), as a / B. Por lo cual (a, b)
/A b / A B, es
decir (a, b) (A B). Por tanto
(A B) 6 (A) (B),
17. Sea I = {1, 2, 3, 4, 5, 6}, considere adems la familia de conjuntos {Ai : i I}, donde
(1)i+1 (1)i
Ai = {x R : 1 i+1
x<2 i
}. Encontrar
[ \
Ai y Ai .
iI iI
Solucin:
Tenemos que
(1)2
A1 = {x R : 1 2
x < 2 (1)
1
}
1 .
= {x R : 1 2
x < 2 + 1}
1
= {x R : 2
x < 3}
134
De igual forma
(1)3 (1)2
4 3
A2 = x R : 1 x<2 = xR: x<
3 2 3 2
(1)4 (1)3
3 7
A3 = xR:1 x<2 = xR: x<
4 3 4 3
(1)5 (1)4
6 7
A4 = x R : 1 x<2 = xR: x<
5 4 5 4
(1)6 (1)5
5 11
A5 = x R : 1 x<2 = xR: x<
6 5 6 5
(1)7 (1)6
8 11
A6 = x R : 1 x<2 = xR: x<
7 6 7 6
Como 12 < 34 < 65 < 87 < 65 < 43 , entonces 43 x, implica que
1 3 5 8 6 4
x x x x x x .
2 4 6 7 5 3
As tenemos que
4 3 1 4 3 3 7 6 7
3
x 2
2
x3 3
x 2
4
x 3
5
x 4
5 11 8 11
6
x 5
7
x 6
.
135
18. Sea A un conjunto con 5 elementos y B un conjunto de 4 elementos. Si exactamente
2 de los elementos de A no estn en B. Determinar cuntos subconjuntos de A B
y cuntos subconjuntos de B A existen.
Solucin:
Cmo A tiene 5 elementos y exactamente dos de ellos no estn en B, entonces los
otros 3 si estn en B, en consecuencia A B tiene tres elementos. As por el teorema
2.16 el conjunto (A B) tiene 23 = 8 elementos, es decir existen exactamente 8
subconjuntos de A B.
Por otro lado B tiene 4 elementos, pero exactamente tres de ellos estn en A B,
entonces exactamente un elemento de B no est en A, en virtud de lo cual B A
tiene un elemento. As por el teorema 2.16 el conjunto (B A) tiene 21 = 2
elementos, es decir existen exactamente 2 subconjuntos de B A.
A C = A (A B) por hiptesis
= (A A) B teorema 2.15,(e)
= B teorema 2.15,(c)
= B teorema 2.15,(b)
136
pero
de manera similar
A R2
137
El conjunto B = {(x, y) R2 : y x} es la regin que est sobre la recta de
pendiente 1, que pasa por el origen de R2 , tal como se muestra en la siguiente
grfica.
B R2
C R2
D R2
138
23. Usando los conjuntos del ejercicio anterior, graficar los siguientes conjuntos
A B, A B, A B, B A, C D.
Solucin
Como A = {(x, y) R2 : y = x} y B = {(x, y) R2 : y x}, se tiene que A B,
entonces A B = B y A B = A, en consecuencia
AB =B AB = A
AB = BA
DC
139
24. Dados los conjuntos A, B y C, probar que A (B C) = (A B) (A C).
Solucin:
Sean A, B y C tres conjuntos, entonces
(A B) (A C) = [(A B) (A C)] [(A C) (A B)] diferencia
simtrica
= [(A B) (A C)] [(A C) (A B)] teorema 2.12
Pero
(A B) (A C) = (A B) [(A) (C)] ley de De Morgan
= [(A B) (A)] [(A B) (C)] distributividad
= [(B A) (A)] [(A B) (C)] conmutatividad
= [B (A (A))] [(A B) (C)] asociatividad
= [B ] [(A B) (C)] teorema 2.13,(a)
= [(A B) (C)] teorema 2.9,(e)
= (A B) (C) teorema 2.8,(e)
A (B C) = (A B) (A C).
A (B C) = (A B) (A C)
140
es vlida, en cuyo caso demostrarla, de lo contrario mostrar un contraejemplo.
Solucin:
La igualdad no es vlida, si se considera A = {1, 2, 3}, B = {3, 4, 5} y C = {5, 2, 8},
entonces B C = {5}, por lo cual
de igual forma
Por lo tanto
(A B) (A C) = {1, 5}
En virtud de lo cual
A (B C) = {1, 2, 3, 5} =
6 {1, 5} = (A B) (A C)
(A B) C = (A B) C teorema 2.12
= (A (B)) (C) teorema 2.12
= A ((B) (C)) asociatividad
= A (B C) ley de De Morgan
141
28. Considere los siguientes conjuntos A1 = {0, 1}; A2 = {x N : x es primo} y
A3 = {x N : p, q N : (x = p q) (1 < p < x) (1 < q < x)}.
Probar que la familia A = {A1 , A2 , A3 } es una particin de N.
Solucin:
A1 es no vaco, ya que 0 A1 .
Por otro lado, como 2 es un nmero primo se tiene que 2 A2 , por lo cual A2 6= .
Finalmente si tomamos el 6, existen p = 2 N y q = 3 N, tales que
x = p q (p 6= 1 p 6= x) (q 6= 1 q 6= x)
Como x
/ A1 , entonces x = p q 6= 0, luego p 6= 0 q 6= 0. Adems como
p 6= 1 q 6= 1, se puede deducir que
1 < p 1 < q.
142
Por otro lado como x = p.q, y p, q N, se tiene que p x q x. Pero
p 6= x q 6= x, por lo cual
p < x q < x.
en consecuencia x A3 .
Queda demostrado que N A1 A2 A3 . En virtud de lo cual N = A1 A2 A3 .
Con lo que se concluye que A = {A1 , A2 , A3 } es una particin de N.
29. Sea An = 1 n1 , 1 + 1
, con n N . Probar que
n
\ [
An = {1} y An = (0, 2).
nN nN
Solucin:
En primer lugar tenemos que
1 3 2 4 3 5
A1 = (0, 2) , A2 = , , A3 = , , A4 = , , ...
2 2 3 3 4 4
As tenemos que A1 A2 A3 A4 . . .
1 n1 , 1 + 1
T T
An = n
nN nN
= (0, 2) 12 , 23 2 4 3 5
,
3 3
,
4 4
...
= {1}
De igual forma
1 n1 , 1 + 1
S S
An = n
nN nN
= (0, 2) 12 , 23 2 4 3 5
,
3 3
,
4 4
...
= (0, 2).
30. Sea {Ai }iI una familia indizada de conjuntos, probar que
\ [
Ai Ai0 Ai , i0 I.
iI iI
Solucin:
Sea i0 I, entonces si x Ai , se tiene que x Ai , i I, en particular
T
iI
x Ai0 , en consecuencia
143
\
Ai Ai0
iI
Por otro lado sea y Ai0 , entonces existe un i I, tal que y Ai , en virtud de lo
cual y iI Ai , por lo tanto
S
[
Ai0 Ai .
iI
1. Determinar cules de las afirmaciones siguientes son verdaderas y cules son falsas,
explicar.
a) {}.
b) {}.
c) A (A), A.
d ) A (A), A.
e) {1} {{1}}.
y C = {x Z : x es par},
144
Dibujar un diagrama de Venn y rayar la regin que corresponde a los siguientes
conjuntos
a) (A B) C.
b) A (B C)
c) (A C) B.
d) (A) (B C).
a) C (A B).
b) (C B) (A B).
c) (A B) C.
d) (A C) B
13. Encontrar dos intervalos disjuntos cuya unin sea un intervalo abierto.
17. Sean {Ai }iI una familia indizada de conjuntos, y sea J I. Probar que
[ [ \ \
Ai Ai y Ai Ai .
iJ iI iI iJ
145
18. Sean {Ai }iI y {Bi }iJ , familias indizadas de conjuntos. Probar que
!
[ [ [ \
Ai Bj = (Ai Bj ) .
iI jJ iI jJ
[ \
Ai y Ai .
iN iN
(C D) [(A C) (B D)] A B,
A A B B = [(A B) A] [A (A B)].
AC =BC = A B.
AC =BC = C = .
146
Captulo 3
Relaciones Binarias
Comnmente decimos que existe una relacin entre dos cosas si hay alguna conexin
entre ellas. Por ejemplo, una relacin entre personas es la de tener el mismo color de
cabello, otra es tener la misma fecha de cumpleaos. En matemtica tambin se discute
sobre relaciones entre objetos, sin embargo, como ocurre frecuentemente, el significado
tcnico de la palabra relacin en matemtica no es exactamente el mismo que se le da
en el acontecer cotidiano. Algunas relaciones son muy comunes en matemtica: igualdad
(=), menor que (<), menor o igual que (), entre nmeros enteros, racionales y reales.
En los captulos anteriores, hemos visto algunas relaciones entre objetos matemticos
sin haber definido o usado el trmino relacin (divide a, es subconjunto de, ...). El estudio
de las relaciones (especialmente las relaciones de orden y de equivalencia) es de vital
importancia en lgebra Abstracta, Teora de Nmeros, Topologa, Geometra y otras
reas de la Matemtica.
147
3.1. Relaciones Binarias
Observaciones:
a) Al conjunto A lo llamamos conjunto de partida, y a B conjunto de llegada.
Ejemplo 3.1
a) Sean A = {1, 2, 3} y B = {x, y, z, w}.
Existen varias relaciones de A en B. Una de ellas es R = {(1, y), (3, z), (3, x), (3, y)}.
Dado que (1, y) R, se tiene 1 R y. De igual modo 3 R z, 3 R y y 3 R x, ya que
(3, z); (3, y); (3, x) R. Por otro lado 16 R z, ya que (1, z)
/ R.
D otros ejemplos de relaciones de A en B y de B en A.
R = {(2, 0), (2, 1), (2, 6), (4, 0), (4, 1), (6, 0), (6, 1)}
148
En este ejemplo, a diferencia del que le precede, existe una regla previa para determinar
el conjunto R por extensin. En tales casos se acostumbra a expresar la relacin por la
regla que la identifica, de esta manera la relacin R de C en D, del ltimo ejemplo, se
puede expresar as:
c R d c + d < 10.
Revisando y analizando los dos ejemplos anteriores (3.1.a y 3.1.b), notamos que es
posible que exista un elemento del conjunto de partida que no est relacionado con ningn
elemento del conjunto de llegada, asimismo un elemento del conjunto de llegada puede ser
tal que ningn elemento del conjunto de partida est relacionado con l. Esto nos conduce
a la siguiente definicin.
Observacin:
Ejemplo 3.2
149
b) En el ejemplo 3.1.b: Dom R = {2, 4, 6} y Rgo R = {0, 1, 6}
Relacin R de A en B
Relacin R de C en D
150
En este caso como la relacin R est definida entre conjuntos finitos, tambin puede
representarse en forma sagital.
Puesto que en este captulo se destacan las relaciones sobre un mismo conjunto no
vaco A, si A es finito se usa generalmente la representacin sagital con un solo diagrama
de Venn y las flechas internamente.
R = {(a, a), (a, c), (b, c), (c, a), (d, d)},
Relacin R de A en A
Ntese que para representar x relacionado con x se usa el smbolo (), llamado
bucle, como aparece en a y en d de la grfica anterior.
151
Observaciones:
R S
A B C
a b c
Relacin Compuesta S R
Ejemplo 3.3
Grficamente
SR
R S
A B C
2 0 1
1 3
1
2 5
0
3 7
1 4 9
Relacin Compuesta S R
152
Luego,
S R = {(2, 9), (1, 5), (0, 1), (1, 5)}
a R b b = a2 .
c S d d = c + 1.
T (S R) = (T S) R.
153
Antes de realizar la demostracin, como orientacin, mostraremos un diagrama repre-
sentativo de la situacin planteada.
(T S) R = T (S R)
SR T S
R S T
A B C D
a b c d
(T S) R = T (S R)
Demostracin:
En efecto:
(a, d) T (S R) (c C) : a (S R) c cT d def. composicin
(c C) : [(b B) : a R b b S c] c T d def. composicin
(b B) : [(c C) : a R b b S c c T d] (propiedad de
(b B) : [(a R b) (c C) : b S c c T d] cuantificadores)
(b B) : a R b b (T S) d def. composicin
a [(T S) R] d def. composicin
(a, d) (T S) R def. composicin
Luego
T (S R) = (T S) R.
154
Como consecuencia de este teorema podemos escribir en vez de T (S R) o de
(T S) R simplemente T S R. De esta manera se puede establecer sin ambigedad
la composicin para tres o ms relaciones.
R1 = {(b, a) B A : (a, b) R}
= {(b, a) B A : a R b}
Observaciones:
b) Dom R1 = Rgo R
c) Rgo R1 = Dom R
d) (R1 )1 = R
Ejemplo 3.4
Entonces,
R = {(1, 2), (0, 1), (0, 3), (1, 2)} y S = {(2, 2), (2, 0), (2, 2)}.
En virtud de lo cual
S R = {(1, 2), (1, 0), (1, 2), (1, 2), (1, 0), (1, 2)}.
155
Por tanto
(S R)1 = {(2. 1), (0, 1), (2, 1), (2, 1), (0, 1), (2, 1)}.
R1 = {(2, 1), (1, 0), (3, 0), (2, 1)} y S 1 = {(2, 2), (0, 2), (2, 2)}.
Por consiguiente
R1 S 1 = {(2, 1), (2, 1), (0, 1), (0, 1), (2, 1), (2, 1)}.
Teorema 3.2
Si R es una relacin de A en B, y S una relacin de B en C, entonces
(S R)1 = R1 S 1 .
Demostracin:
Como R es una relacin de A en B y S una relacin de B en C, entonces S R es una
relacin de A en C, en virtud de lo cual (S R)1 es una relacin de C en A.
En efecto:
(a, b) (S R)1 (b, a) S R def. inversa
c B : (b, c) R (c, a) S def. composicin
c B : (c, b) R 1
(a, c) S 1
def. inversa
c B : (a, c) S 1 (c, b) R1 conmutatividad de
(a, b) R1 S 1 def. composicin.
(S R)1 = R1 S 1 .
156
3.3. Relaciones sobre un mismo conjunto
En esta seccin estudiaremos con detalles las relaciones entre los elementos de un
mismo conjunto, es decir, aquellas que se definen de un conjunto A en si mismo.
Definicin 3.5
Sea R una relacin sobre un conjunto no vaco A. Diremos que
a) R es reflexiva si, a A : a R a.
b) R es simtrica si, a, b A : a R b = b R a.
c) R es transitiva si, a, b, c A : a R b b R c = a R c.
d) R es antisimtrica si, a, b A : a R b b R a = a = b.
e) R es comparable si, a, b A : a 6= b = a R b b R a.
Observaciones
a) R es antisimtrica si, a, b A : a 6= b = a 6R b b 6R a.
b) - R no es reflexiva si, a A : a 6R a.
- R no es simtrica si, a, b A : a R b b 6R a.
- R no es transitiva si, a, b, c A : a R b b R c a 6R c.
- R no es antisimtrica si, a, b A : a R b b R a a 6= b.
- R no es comparable si, a, b A : a 6= b a 6R b b 6R a.
157
a b
- R es transitiva si cada vez que una flecha va desde a hasta b y otra va desde
b hasta c, entonces hay una que va desde a hasta c.
a c
b
- R es antisimtrica si para a 6= b, cada vez que una flecha va desde a hasta b
no hay una desde b hasta a.
Si a b entonces a b
a b a b
Ejemplo 3.5
- Reflexiva, ya que a A : a = a.
- Simtrica, ya que a, b A : a = b = b = a.
- Transitiva, ya que a, b, c A : a = b b = c = a = c.
- Antisimtrica, ya que a, b A : a = b b = a = a = b
- No comparable, ya que si a 6= b entonces a no es igual a b y b no es igual a a.
158
Relacin S
Entonces:
- R no es reflexiva, ya que 1 6R 1.
- R no es transitiva, ya que 1 R 2 2 R 1 1 6R 1
- R no es antisimtrica, ya que 1 R 2 2 R 1 1 6= 2.
- R no es comparable, ya que 1 6= 3 1 6R 3 3 6R 1.
- R es simtrica, ya que (1 R 2 2 R 1); (2 R 2 2 R 2) y (3 R 3 3 R 3),
no habiendo ms casos a considerar.
Por otro lado, siguiendo los criterios dados en la observacin (c) se tiene respecto a
la relacin S que:
159
- S es antisimtrica, ya que no hay doble flecha entre ningn par de elementos
diferentes.
- S no es comparable, ya que 1 6= 3, y no hay flecha desde 1 hasta 3, ni desde 3
hasta 1.
a R b si y slo si a + b es par.
Entonces:
a + c = (2m b) + (2n b)
= 2(m + n b)
= 2k, con k = m + n b Z.
2 6= 3 2 6R 3 2 6R 3.
L1 = L2 L1 L2 = .
160
- Es reflexiva, ya que L1 = L1 , en virtud de lo cual L1 ||L1 .
- Es simtrica, ya que si L1 ||L2 , entonces L1 = L2 L1 L2 = , luego
por simetra de la igualdad y conmutatividad de la interseccin se obtiene
L2 = L1 L2 L1 = , en virtud de lo cual L2 ||L1 .
- Es transitiva, ya que si L1 ||L2 L2 ||L3 , entonces
[L1 = L2 L1 L2 = ] [L2 = L3 L2 L3 = ],
161
Ejemplo 3.6
a b si y slo si a b Z,
es de equivalencia.
En efecto: Sea a R, entonces a a = 0 Z, por lo tanto a a. As es
reflexiva.
Sean a, b R, tal que a b entonces ab Z, por propiedad de las operaciones
en Z se tiene, (a b) = b a Z, es decir, b a. En virtud de lo cual es
simtrica.
Sean a, b, c R, tal que a b b c, entonces a b Z b c Z, por
lo tanto, (a b) + (b c) Z, puesto que (a b) + (b c) = a c, se deduce
que a c Z, por consiguiente a c. Obtenindose que es transitiva.
Dado que es reflexiva, simtrica y transitiva, se deduce que es de equiva-
lencia.
c) Dados a, b Z, diremos que a es congruente con b mdulo 5, en tal caso
escribiremos
a c = (a b) + (b c)
= 5k + 5t
= 5(k + t)
= 5h, con h = k + t Z,
162
as a c(md 5). En virtud de lo cual la relacin es transitiva.
Se ha demostrado que la relacin de congruencia mdulo 5 es reflexiva, simtri-
ca y transitiva, en consecuencia es de equivalencia.
a = {b A : b a}.
Observaciones:
Teorema 3.3
Dos clases de equivalencia son iguales si slo si sus representantes son equivalentes,
es decir
= b si y slo si a b.
a
Demostracin:
Recprocamente. Si a b. Sea x a
, entonces x a, pero por hiptesis a b, luego
por transitividad de se puede deducir que x b, en virtud de lo cual x b, as queda
b. De manera similar se prueba que b a. En consecuencia a
establecido que a = b.
163
Definicin 3.8 (Conjunto cociente)
Sea una relacin de equivalencia sobre un conjunto A 6= . Llamaremos conjun-
to cociente de A determinado por la relacin , denotado por A/ , al conjunto
formado por todas las clases de equivalencia originadas por dicha relacin. Simbli-
camente
A/ = {a : a A}.
Ejemplo 3.7
Relacin R
Se puede observar que R es reflexiva ya que todos los elementos tienen bucle. Adems
R es simtrica, pues desde a hasta b, desde b hasta c y desde a hasta c hay flechas
de ida y vuelta. De igual modo R es transitiva, por qu?.
Por lo tanto R es de equivalencia.
Las clases de equivalencia son:
a = {a, b, c} = b = c
d = {d}
A/R = {a, d}
= {{a, b, c}, {d}}
164
b) En el ejemplo 3.6.c, sea a Z, entonces
a = {b Z : b a}
= {b Z : b a(md 5)}
= {b Z : b a = 5k, con k Z}
= {b Z : b = 5k + a, con k Z}
Si a = 0, entonces
0 = {b Z : b = 5k, con k Z}
= { , 10, 5, 0, 5, 10 }
Si a = 1, entonces
1 = {b Z : b = 5k + 1, k Z}
= { , 9, 4, 1, 6, 11, }
Similarmente
2 = { , 8, 3, 2, 7, 12, }
3 = { , 7, 2, 3, 8, 13, }
4 = { , 6, 1, 4, 9, 14, }
5 = { , 5, 0, 5, 10, }.
Z/ = {0, 1, 2, 3, 4} = Z5
165
Dada una clase de equivalencia, en- Multiplicacin Extraa
tonces cualquier elemento de ella se lla-
A continuacin se presenta la manera de multi-
ma representante de la clase. Si la clase
plicar de algunos campesinos rusos que se remon-
tiene ms de un elemento, hay ms de
ta a los tiempos de los egipcios.
un representante, y en general no hay Supongamos que se desea multiplicar 22 52
un representante privilegiado, es de- disponemos en una columna los sucesivos co-
cir algn representante que se distin- cientes aproximados por defecto, resultado de di-
vidir reiteradamente 22 entre 2, y en otra colum-
ga de los dems por alguna propiedad
na los sucesivos resultados de multiplicar 52 por
natural. En algunos ejemplos si puede 2
haber algn representante privilegia- 22 52
Dado un entero cualquiera a pode- Se eliminan las filas en los que el nmero de la
mos dividirlo por un entero positivo n primera columna es par y se suman los restantes
de la segunda columna. En este caso el resultado
y se obtiene a = nc + r, donde c Z
es 1144 = 22 52.
(cociente) y r Z (resto), tal que
Efecta otras multiplicaciones, usando este an-
0 r < n. Luego r a (md n). Luego tiguo mtodo!
a = r. Es decir en cada clase a hay un
Tomado de: Enciclopedia de Matemtica
representante cannico, el resto r, dado
Bsica. Editorial Alhambra.
por el hecho que r {0, 1, 2, . . . n 1}. Primera Edicin. 1979.
La clase 732 tiene infinitos representantes 2, 7, 12, . . ., en general los enteros de la forma
2 + 5k, con k Z. Luego 732 = 2 = {2 + 5k : k Z} y entre todos los elementos hay uno
solo, el 2, que satisface la propiedad 0 2 < 5, por ello al trabajar con algn representante
de 732 se elige el 2, entonces 2 es el representante cannico de la clase.
Teorema 3.4
166
una particin del conjunto A.
Demostracin:
a) Sea a
A/ , entonces a
6= , ya que a a
por ser de equivalencia (reflexiva).
En efecto:
x A, y por lo tanto
S
A.
a
a
A/
Ejemplo 3.8
b) Sea B = {12, 13, 42, 19, 29, 33, 62, 39}, definimos la relacin sobre B, as:
167
ii) Las clases son:
12 = {12, 42, 62} = 42 = 62
13 = {13, 23} = 33
19 = {19, 29, 39} = 29 = 39.
Ntese que
12 13 19 = B y 12 13 = 12 19 = 13 19 = .
Observaciones:
168
Ejemplo 3.9
b = a q1 c = b q2 .
b = a q1 a = b q2 ,
A1 , A2 (A) : A1 A2 A1 A2 .
A1 A2 A2 A1 = A1 = A2 ,
A1 A2 A2 A3 = A1 A3 ,
169
as la relacin () es transitiva.
Luego la relacin de inclusin () es una relacin de orden sobre (A), pero no es
de orden total. Por qu?
(i) a b a 6= b.
(ii) a x b a = x b = x.
Ejemplo 3.10
En el conjunto ordenado (Z+ , | ) 4 es consecutivo de 2, pues 2|4 2 6= 4, adems
6 : x 6= 2 x 6= 4 2|x x|4. Por qu?
Observaciones
b) En un diagrama de Hasse se deben disponer los elementos de tal forma que los
170
elementos consecutivos queden uno arriba (o al lado) del otro, para observar mejor
el orden de los elementos.
Ejemplo 3.11
{(a, a), (b, b), (c, c, ), (d, d), (e, e), (b, a), (c, a), (d, b), (d, c), (e, c), (e, a), (d, a)}
c) Elemento minimal.
m A es elemento minimal de A si no existe ningn elemento en A distinto
que lo preceda, esto es, se cumple x A : x m m = x.
171
d) Elemento maximal.
n A es elemento maximal de A si no existe ningn elemento en A distinto
que lo siga, esto es, se cumple x A : n x = n = x.
Observaciones:
b) Todo menor elemento es minimal y todo mayor elemento en maximal. Por qu?
172
Son ciertos los recprocos en general?
c) Si un conjunto ordenado posee primer elemento o ltimo elemento, estos son nicos
(prubese), en consecuencia si existe el supremo o el nfimo estos son nicos.
Ejemplo 3.12
Entonces:
- A no tiene menor elemento, pues 6 : a A, tal que x A a x.
- 1 es ltimo elemento de A, pues x A x 1. Verifquelo.
- 4 y 5 son elementos minimales. Por qu?
- 1 es elemento maximal. Por qu?
173
- 0 es elemento minimal de [0, 1), pues x [0, 1), si x 0, entonces 0 = x
Por qu?
Ntese que podemos considerar [0, 1) como una parte acotada de (R, ).
En efecto 0 es cota inferior de [0, 1) y 1 es cota superior de [0, 1), ms an el conjunto
de las cotas superiores es el intervalo [1, +) y el conjunto de las cotas inferiores
es el intervalo (, 0].
El nfimo de [0, 1) R es 0 y el supremo de [0, 1) es 1.
Solucin:
a) R = {(2, 7), (3, 2), (3, 4), (3, 7), (3, 10), (4, 7), (5, 2), (5, 4), (5, 7), (6, 7)}
b) Dom R = {2, 3, 4, 5, 6}
Rgo R = {7, 2, 4, 10}
c) El siguiente grfico es la representacin de la relacin R, a travs de un dia-
grama de Venn.
Relacin R
174
2. Sean R y S relaciones sobre Z+ , dadas por
Hallar: S R, R S, R1 S 1 , S 1 R1 y S S.
Solucin:
R S = {(a, 6a) : a Z+ },
y por tanto
S 1 R1 = {(6a, a) : a Z+ }.
R1 = S 1 R = S.
Solucin:
) Si R1 = S 1 , se tiene
Luego R = S.
175
) Si R = S
Por tanto R1 = S 1 .
a R b (n Z) : a = 2n b.
Demostrar que R es de equivalencia y hallar las clases 0, 3, 5
2
.
Solucin:
Como a = a, a R, entonces a = 1.a = 20 .a, con 0 Z. Luego a R a, a R,
en consecuencia R es reflexiva.
Si a R b, entonces (n Z) : a = 2n b. Como n Z, entonces n Z; luego
En consecuencia
2n a = 2n+n b = 20 .b = 1.b = b.
As se obtiene que b R a, y por tanto R es simtrica
Si a R b y b R c entonces n1 , n2 Z, tales que a = 2n1 b b = 2n2 c. Luego
a = 2n1 (2n2 c)
= (2n1 2n2 )c
= 2n1 +n2 c
= 2k c, con k = n1 + n2 Z. Por qu?
En virtud de lo cual a R c, por lo tanto R es transitiva.
Como R es reflexiva, simtrica y transitiva, se tiene que R es una relacin de equi-
valencia.
Hallemos 0, 3, 5
2
:
0 = {a R : a R 0}
= {a R : a = 2n 0, para algn n Z}
= {a R : a = 0}
= {0}.
176
Similarmente
3 = {a R : a R 3}
= {a R : a = 2n 3 para algn n Z}
3 3 3
= , , , , 3, 6, 12, 24, .
8 4 2
Finalmente
( !)
2 2
= a R : a = 2n
5 5
( )
2 2 2 2 2 2 4 2
= , , , , , , .
40 20 10 5 5 5
x y x2 = y 2.
2 = {x D : x2 = (2)2 }
= {x D : x2 = 4}
= {2, 2}.
1 = {x D : x2 = (1)2 }
= {x D : x2 = 1}
= {1, 1}
= 1
177
De igual modo 0 = {x D : x2 = 02 } = {0}.
Finalmente
3 = {x D : x2 = 32 }
= {x D : x2 = 9}
= {3} Por qu?
Particin: D/
6. Sea A = {2, 3, 6, 9, 12, 36} ordenado por la relacin divide a dada en el ejem-
plo 3.9.b. Construir el diagrama de Hasse y decidir si A tiene: primer elemen-
to, ltimo elemento, elementos minimales y elementos maximales. Adems para
B = {2, 6, 12} A, decir si B tiene: cotas inferiores, cotas superiores, nfimo y
supremo.
Solucin:
Sabemos por el ejemplo 3.9.b que divide a es una relacin de orden. Considerando
todos los casos posibles se obtienen los pares de elementos consecutivos, como primer
paso para construir el diagrama de Hasse. Estos son
(2, 6); (6, 12); (12, 36); (3, 6); (3, 9); (9, 36).
Luego, por definicin 3.11, simplemente debemos trazar las flechas correspondientes
entre pares de elementos consecutivos partiendo con (2, 6) y continuando con (6, 12)
y (12, 36), obtenindose:
178
Seguidamente, al continuar con (3, 6), obtenemos:
Finalmente, al continuar con (3, 9) y (9, 36), llegamos al diagrama de Hasse solici-
tado:
a S b si y slo si a R b b R a.
179
Solucin:
(a R b b R a) (b R c c R b),
(a R b b R c) (c R b b R a),
1. Para cada una de las relaciones sobre los conjuntos dados, determinar dominio,
rango y representar grficamente.
x R y x es mayor que y.
180
b) M = {2, 4, 8, 10}, T = {1, 4, 5}, y la relacin sobre M T , dada por
x R y x es mltiplo de y.
a R b a + b 5.
x R y 3|(x + y).
2. Sea A = {1, 2, 3}, decidir si cada una de las siguientes relaciones sobre A es reflexiva,
simtrica, transitiva, antisimtrica y/o comparable. Justifique sus respuestas.
3. Para cada una de las siguientes relaciones, decidir si es reflexiva, simtrica, transitiva,
antisimtrica y/o comparable.
x W y x + 3y = 12.
181
e) La relacin de perpendicularidad () en el conjunto de todas las rectas del
plano.
4. Sea A un conjunto y R una relacin sobre A. Definamos la relacin R sobre A, dada
por R = (A A) R. Responder, de manera justificada, cada una de los siguientes
planteamientos.
a) Si R es reflexiva
i) Es R siempre reflexiva?
ii) Es R siempre no reflexiva?
iii) R puede ser reflexiva en algunos casos y no reflexiva en otros casos?
b) Si R es simtrica
i) Es R siempre simtrica?
ii) Es R siempre no simtrica?
iii) R puede ser simtrica en algunos casos y no simtrica en otros casos?
c) Si R es transitiva
i) Es R siempre transitiva?
ii) Es R siempre no transitiva?
iii) R pueder ser transitiva en algunos casos y no transitiva en otros casos?
5. Sea A = {1, 2}. Hallar todas las relaciones de A en A y decidir en cada caso si es
reflexiva, simtrica, transitiva, antisimtrica y/o comparable.
6. Dadas R y R relaciones sobre un conjunto A. Decidir si las siguientes proposiciones
son verdaderas o falsas.
182
(i) Si R es reflexiva, entonces R R es reflexiva.
(j) Si R es reflexiva, entonces R R es reflexiva.
7. Probar que cada una de las relaciones que se dan a continuacin, son de equivalencia.
Definir las clases de equivalencia y el conjunto cociente.
a R b 3|(a b) (a b(md3)),
11. En los ejercicios siguientes dar un ejemplo de una relacin que cumpla las condiciones
dadas:
183
12. Sea una relacin definida sobre N N mediante
(x, y) (u, v) x + v = y + u.
13. Dado A = {u, v, w, x, y, z}, construir una relacin de equivalencia sobre A y mostrar
las clases de equivalencia que resultan y el conjunto cociente.
(a1 , b1 ) R (a2 , b2 ) a1 b1 = a2 b2 .
16. Cul de los siguientes conjuntos est totalmente ordenado con la relacin divide a?
X1 R X2 X1 X2 .
x R y x es mltiplo de y
20. Probar que la relacin x R y x|y, es una relacin de orden total en el conjunto
A = {2, 4, 8, 32}
184
21. Demostrar que si a y b son elementos minimales de un conjunto A totalmente orde-
nado, entonces a = b.
(A, 1 )
(B, 2 )
185
25. Dados (A, 1 ) y (B, 2 ) del ejercicio anterior. Considerar los siguientes subconjuntos
de A, X1 = {4, 5, 6} y Y1 = {4, 5, 6, 7}, adems X2 = {1, 2, 3, 5, 6} y Y2 = {6, 7, 10}
subconjuntos de B. Determinar, en caso de que existan, las cotas superiores, cotas
inferiores, supremo e nfimo para X1 , X2 , Y1 y Y2 .
26. Sea A = {1, 2, 4, 7, 9, 12, 14} y R una relacin sobre A definida por:
x R y 2|(x y) x y.
28. Probar que una relacin R definida sobre un conjunto A es de equivalencia si y slo
si es reflexiva y cumple a R b b R c = c R a.
30. Si es un plano que pasa por el origen, podemos considerar F como la familia
de las circunferencias de con centro 0 (el origen). Se considera en un sistema
de coordenadas rectangulares de origen 0, entonces F es el conjunto de todas las
circunferencias de ecuacin x2 + y 2 = r 2 , donde r es cualquier nmero real positivo.
Definimos la relacin sobre {0} como sigue:
186
Captulo 4
Funciones
Sin lugar a dudas el concepto de funcin es uno de los ms importantes dentro del
campo matemtico, el cual ha permitido su expansin y crecimiento. En la actualidad
diversas son las ramas de la ciencia que utilizan la nocin de funcin como herramienta
valiosa para la presentacin de sus conceptos ms elementales. En tal sentido Herstein
afirma: Sin exageracin, esta es probablemente la nocin ms importante y universal
presente a travs de la matemtica. Es dificil que sea algo nuevo para cualquiera de
nosotros, pues hemos estado considerando funciones o aplicaciones desde los primeros
das de nuestra educacin en matemtica.
187
de sus estudios sobre difusin de calor, lleg a considerar las series trigonomtricas, las
cuales encierran una relacin funcional, que no se corresponde con el concepto de funcin
de Euler usado hasta ese momento.
Finalmente es Lejeune Dirichlet (1805-1859) quien lleg a dar una definicin suficien-
temente amplia, que permita incluir el caso de las series trigonomtricas estudiadas por
Fourier (1768-1830).
El objetivo de este captulo es el estudio de las funciones. Est constituido por siete
secciones, en la primera seccin se estudia el concepto de funcin, en la segunda seccin se
aborda la representacin de funciones, luego en la tercera seccin se definen las funciones
notables, en la cuarta seccin se introducen los tipos de funciones, en la quinta seccin se
estudia la composicin y la inversibilidad de funciones, en la sexta seccin se presentan
varios ejercicios resueltos y la ltima seccin la constituye los ejercicios propuestos.
4.1. Funciones
Observaciones:
188
escribe f (x) = y, que se lee "f de x igual a y", y se dice que y es el valor de la
funcin f en x o que y es la imagen de x mediante la funcin f .
Ejemplo 4.1
a) Sea A = {a, b, c} y B = {1, 2, 3, 4} y las relaciones G1 , G2 , G3 de A en B dadas por:
G1 = {(a, 1), (b, 2), (c, 4)}, G2 = {(a, 1), (a, 2), (b, 2), (c, 1)} y G3 = {(a, 1), (b, 2)}
Veamos cules son funciones.
- G1 = {(a, 1), (b, 2), (c, 4)}. En este caso la relacin de A en B cumple las
condiciones de la definicin de funcin, y por lo tanto es una funcin que
denotaremos f : A B, tal que: f (a) = 1; f (b) = 2; f (c) = 4.
- G2 = {(a, 1), (a, 2), (b, 2), (c, 1)}. En este caso la relacin no es una funcin,
puesto que no cumple con la definicin, pues a A tiene dos elementos corres-
pondientes en B que son 1 y 2.
- G3 = {(a, 1), (b, 2)}. Aqu tampoco la relacin es una funcin puesto que no
cumple con la definicin, pues c no tiene correspondiente en B.
189
Definicin 4.3 (Rango de una Funcin)
Dada una funcin f : A B se llama rango de la funcin f al conjunto definido
por
Rgo(f ) = {y B : y = f (x) para algn x A}.
Observaciones:
Observaciones:
c) Si D B, entonces
190
Ejemplo 4.2
f ({a}) = {1}, f ({b}) = {2}, f ({c}) = {4}, f ({d}) = {1}, f ({a, b}) = {1, 2}.
Adems:
f 1 ({1}) = {a, d}, f 1 ({2}) = {b}, f 1 ({4}) = {c},
En algunas ocasiones las funciones se definen por una frmula a travs de la cual se
expresa la forma de la relacin entre los elementos de los conjuntos de partida y de
llegada, tal como se muestra en el siguiente ejemplo.
En virtud de lo cual
191
c) Sea la funcin f : R R definida por
(
1, si x es racional
x R f (x) =
1, si x es irracional
Teorema 4.1
Demostracin:
a) Sea y f (A1 ), entonces existe un a A1 , tal que f (a) = y, pero por hiptesis
A1 A2 , en virtud de lo cual a A2 , as existe un a A2 , tal que f (a) = y, por
tanto y f (A2 ), en consecuencia f (A1 ) f (A2 ).
192
Por otro lado, dado que A1 A1 A2 , por la parte (a) se deduce f (A1 ) f (A1 A2 ),
de igual forma se obtiene f (A2 ) f (A1 A2 ), lo cual implica que
Por tanto:
f 1 (B1 B2 ) = f 1 (B1 ) f 1 (B2 ).
g) Sea x A1 , entonces por definicin de imagen directa se tiene que f (x) f (A1 ).
Pero usando la definicin de imagen recproca se obtiene x f 1 (f (A1 )), con lo que
queda demostrado que A1 f 1 (f (A1 )).
h) Sea y f (f 1 (B1 )), por definicin de imagen directa existe un x f 1 (B1 ), tal que
f (x) = y. Pero dado que x f 1 (B1 ), entonces por definicin de imagen recproca
f (x) B1 , es decir y B1 . Por tanto f (f 1 (B1 )) B1 .
193
Definicin 4.5 (Igualdad de Funciones)
Dadas las funciones f : A B y g : A B. Diremos que f = g si y slo si
f (x) = g(x), x A.
Se puede decir que dos funciones son iguales si sus dominios son iguales, sus conjuntos
de llegada son iguales y para cada uno de los elementos del dominio la imagen por ambas
funciones coinciden.
Ejemplo 4.3
Sean los conjuntos A = {1, 2, 3, 4} y B = {1, 3, 6, 10}. Las funciones f : A B
n(n+1)
definida por f (n) = 1 + 2 + . . . + n y g : A B definida por g(n) = 2
son
iguales.
En efecto.
De igual modo
1(1 + 1) 12 2 2(2 + 1) 23 6
g(1) = = = = 1; g(2) = = = = 3;
2 2 2 2 2 2
3(3 + 1) 34 12 4(4 + 1) 45 20
g(3) = = = = 6; g(4) = = = = 10.
2 2 2 2 2 2
Por tanto
Por consiguiente f = g.
Las funciones al igual que las relaciones, se pueden representar de forma sagital o
mediante un diagrama cartesiano. Para el caso de funciones cuyo dominio o rango es
un conjunto infinito se recomienda representarlos mediante diagramas cartesianos. Sin
194
embargo, las funciones tambin se pueden expresar cmo una ecuacin, en forma de tabla
y en forma de proposicin.
Ejemplo 4.4
Representacin sagital de f
4
3
f (x) = x + 2
2
1
4 3 2 1
1 1 2 3 4
195
La representacin cartesiana de la funcin f (x) = x2 es una curva continua de
puntos denominada parbola.
4
3 f (x) = x2
2
1
3 2 1
1 1 2 3 4
3
2 f (x) = |x|
1
3 2 1
1 1 2 3
3
2
1
3 2 1 1 2 3
1
2
3
Funcin Parte Entera
196
Los huecos en la grfica indican que los puntos no se incluyen.
f) Sea la funcin f : R R definida por f (x) = x+2. La funcin como tabla permite
representar algunos valores discretos de la funcin como se observa a continuacin:
x -2 -1 0 1 2 3
y 0 1 2 3 4 5
En este texto se estudiaran algunas funciones notables que sern utilizadas posterior-
mente.
Ejemplo 4.5
A
4
f (x) = x
3
2
1
A
1 2 3 4
Funcin Identidad
197
Definicin 4.7 (Funcin Constante )
Una funcin f : A B definida por f (x) = b, x A, donde b es un elemento
fijo de B, se denomina funcin constante. .
Observacin:
Se puede notar que para la funcin constante se cumple Dom(f ) = A y Rgo(f ) = {b}.
Ejemplo 4.6
La funcin f : R R definida por f (x) = 2 (x Dom(f ) = R) es una funcin
constante (b = 2), donde Dom(f ) = R y Rgo(f ) = { 2}. La representacin grfica
de esta funcin es la siguiente.
2
f (x) = 2
Observaciones:
a) Para la funcin inclusin se cumple Dom(f ) = Rgo(f ) = B.
Ejemplo 4.7
198
En efecto. Notemos que:
y as sucesivamente. La grfica de esta funcin est dada por una serie de puntos
como se indica en la siguiente figura.
3
2
1
0
1 1 2 3
Funcin inclusin de N en R
n
b) Sea f : N R definida por f (n) = 2n+1
no es una funcin inclusin, pues el
1
f (1) = 3
6= 1 , por nombrar uno de los casos.
Las imgenes de algunos elementos de N son:
1 2 3 4 5
f (0) = 0; f (1) = ; f (2) = ; f (3) = ; f (4) = ; f (5) = ,
4 5 7 9 11
y as sucesivamente.
La grfica de esta funcin est dada por una serie de puntos como se indica en la
siguiente figura.
1
0
1 1 2 3 4 5
n
Funcin f (n) =
n+1
199
Observe las imgenes de algunos elementos a travs de la funcin factorial:
Ejemplo 4.8
2
1
2 1 1 2 3
1
Funcin Z
200
debe estar atento segn el contexto a cual de los dos objetos (entes) matemticos nos
estamos refiriendo. Simblicamente esta representacin est dada por
!
[
(Ax {0}) (Z {1}),
xZ
donde (Ax {0}) es la unin generalizada de todos los pares ordenados de la forma
S
xZ
(a, 0), en el cual a pertenece a algn intervalo abierto (x, x + 1), y Z {1} es el conjunto
de pares ordenados o el conjunto de todos los puntos de la forma (x, 1) x Z.
Ejemplo 4.9
As Rgo(f ) R.
Observaciones:
201
b) La representacin cartesiana o representacin grfica de una funcin afn es una
recta.
Ejemplo 4.10
f (x) = 2x + 2
Funcin Afn
Observaciones:
b
b) El eje de simetra de la parbola corresponde a x = 2a .
202
e) La parbola posee un nico punto de corte con el eje y en y = c, y puede tener uno,
b+ b2 4ac b b2 4ac
dos o ningn punto de corte con el eje x, en x1 = 2a
y en x2 = 2a
.
Ejemplo 4.11
Como a = 2 < 0, entonces la parbola abre hacia abajo y es cncava hacia abajo.
Dado que la parbola es cncava hacia abajo, tiene un punto mximo que es el vrtice,
y viene dado por
b 4ac b2 4 4(2)(3) (4)2
40
, = , = 1, = (1, 5).
2a 4a 2(2) 4(2) 8
Los puntos de corte con el eje x son (x1 , 0) y (x2 , 0), donde
p
b + b2 4ac (4) + (4)2 4(2)3 4 + 40 10
x1 = = = = 1 ,
2a 2(2) 4 2
10
de igual modo x2 = 1 + 2
.
5
4
3
2 f (x) = 2x2 4x + 3
1
3 2 1 1 2 3
1
Funcin Cuadrtica
203
Definicin 4.13 (Funcin Cbica)
Una funcin f : R R, definida por f (x) = ax3 + bx2 + cx + d, con a 6= 0, b, c y
d nmeros reales cualesquiera, se denomina funcin cbica.
En este caso Dom(f ) = R y Rgo(f ) = R.
Ejemplo 4.12
3
f (x) = x3
2
1
3 2 1 1 2 3
1
2
3
Funcin cbica
Observaciones:
204
b) Si a > 1, la funcin f (x) = ax es estrictamente creciente. Esto significa que a medida
que x aumenta, el valor de f (x) tambin aumenta.
d) Mientras mayor sea el valor de a, mayor es la rapidez con que la funcin crece.
Ejemplo 4.13
3
f (x) = 2x
2
1
3 2 1 1 2 3
Funcin exponencial de base 2
Ejemplo 4.14
La funcin f : R+ R, definida por f (x) = log2 (x) es una funcin logartmica con
base a = 2, donde el Dom(f ) = R+ = (0, +) y el Rgo(f ) = R.
205
3 f (x) = log2 (x)
2
1
1 1 2 3 4 5 6
1
2
3
Observaciones:
206
Definicin 4.17 (Funcin Racional)
Una funcin que sea el cociente de dos funciones polinmicas sobre R es una fun-
p(x)
cin racional sobre R, es decir: R(x) = q(x)
, donde p(x) y q(x) son funciones
polinmicas.
Observaciones:
b) En los puntos donde el denominador q(x) = 0 pasa una recta paralela al eje y que
se denomina asntota vertical.
Ejemplo 4.15
p(x) 2x3 +1
a) Si p(x) = 2x3 + 1 y q(x) = x 2, entonces R(x) = q(x)
= x2
es una funcin
racional sobre R.
1
b) La funcin f : R R, definida por f (x) = x2
es una funcin racional donde
+
el Dom(f ) = R {0} y Rgo(f ) = R = (0, +). La asntota es x = 0. La
1
representacin cartesiana de la funcin f (x) = x2
es la siguiente
1
f (x) = x2
1
f (x) = x2
1
c) La funcin f : R R, definida por f (x) = x1
es una funcin racional donde
el Dom(f ) = R {1} y Rgo(f ) = R {0}, adems la asntota es x = 1. La
1
representacin cartesiana de la funcin f (x) = x1
es la siguiente
207
1
f (x) = x1
x=1
1
f (x) = x1
Observacin:
Ejemplo 4.16
a) La funcin b) La funcin
f g
A B A B
a 1 a 1
b 2 b 2
c 3 c 3
4 4
d d
5 5
es inyectiva. no es inyectiva.
208
c) La funcin f : N Z definida as: f (x) = 2x es inyectiva. Por qu?
Teorema 4.2
Demostracin:
f (x) = f (y) = x = y,
Teorema 4.3
Demostracin:
Como x f 1 (f (E)), se tiene que f (x) f (E), por lo tanto existe un a E, tal
que f (a) = f (x), dado que f es inyectiva se tiene que x = a, por lo cual x E. As
/ E x E. Lo cual es contradictorio. La contradiccin se deriva de suponer que
x
f 1 (f (E)) 6 E, en consecuencia f 1 (f (E)) E. Por lo tanto f 1 (f (E)) = E.
209
Definicin 4.19 (Funcin Sobreyectiva)
Una funcin f : A B es sobreyectiva si cada elemento de B es imagen de por
lo menos un elemento de A. Es decir que b B, a A, tal que f (a) = b.
Observaciones:
Ejemplo 4.17
a) La funcin b) La funcin
f g
A B A B
a 1 a 1
b 2 b 2
c 3 c 3
4 4
d d
5
es sobreyectiva. no es sobreyectiva.
Teorema 4.4
Demostracin:
f (f 1 (H)) H.
210
Falta probar que H f (f 1 (H)).
Teorema 4.5
Demostracin:
) Por definicin de imagen directa f (A) B. Por otro lado sea y B, como f es
sobreyectiva existe x A, tal que f (x) = y, es decir y f (A), en consecuencia B f (A).
Con lo cual queda demostrado que B = f (A).
Observacin:
Ejemplo 4.18
211
b) La funcin c) La funcin
f g
A B A B
a 1 a 1
b 2 b 2
c 3 c 3
4 4
d d
5
es biyectiva. no es biyectiva.
212
elemento x E se le asigna su respectiva clase. Entonces , es sobreyectiva ya que
(E) = E/R . Adems es inyectiva si y slo si x = {x}. Porqu? . La funcin se
denomina sobreyeccin cannica de E en E/R .
x2
g) Sea A = R {3} y B = R {1} y sea f : A B definida por f (x) = .
x3
Entonces f es biyectiva.
Veamos la inyectividad
Sean x1 , x2 A, tales que f (x1 ) = f (x2 ), tenemos que
x1 2 x2 2
f (x1 ) = f (x2 ) = =
x1 3 x2 3
= (x1 2)(x2 3) = (x2 2)(x1 3)
= x1 x2 3x1 2x2 + 6 = x2 x1 3x2 2x1 + 6
= 3x1 2x2 = 3x2 2x1
= 3x1 + 2x1 = 3x2 + 2x2
= x1 = x2
= x1 = x2 .
Luego f es inyectiva.
Veamos ahora si f es sobreyectiva.
y B, y A, tal que f (x) = y? La respuesta es afirmativa.
En efecto, como
x2
f (x) = x3
= y = y(x 3) = (x 2)
= yx 3y = x 2
= yx x = 3y 2
= x(y 1) = 3y 2
3y 2
= x = .
y1
3y 2
Se puede notar que y B = R {1}, luego y 6= 1, por lo tanto x = existe.
y1
3y 2
As pues: y B, existe x = , tal que :
y1
3y2 3y22y+2
2
3y 2
y1 y1 y
f (x) = f = 3y2 = 3y23y+3 = = y.
y1 y1
3 y1
1
213
Teorema 4.6
Demostracin:
Por otro lado si x, x A, son tales que f (x ) = f (x), considerando f (x) = z B, por
hiptesis para z B existe un nico x A, tal que f (x) = z, en consecuencia x = x ,
en virtud de lo cual f es inyectiva. Dado que f es sobreyectiva e inyectiva, entonces f es
biyectiva.
Teorema 4.7
Demostracin:
f 1 (f (E)) = E, E A.
f (f 1 (H)) = H, H B.
f 1 (f (E)) = E, E A y f (f 1(H)) = H, H B.
214
4.5. Inversibilidad y Composicin de Funciones
Ejemplo 4.19
215
Teorema 4.8
Demostracin:
f 1 (b) = a f (a) = b.
Teorema 4.9
Demostracin:
f 1 (b) = a f (a) = b,
f 1 (b) = a f (a) = b.
Teorema 4.10
Sea f : A B una funcin, f es inversible si y slo si f es biyectiva.
216
Demostracin:
Por otro lado sean a, a A, tales que f (a) = f (a ), haciendo b = f (a) = f (a ), como
f 1 es la inversa de f tenemos que a = f 1 (b) = a . Resultando que f es inyectiva. Por
lo cual f es biyectiva.
Ejemplo 4.20
x3 y 3 = (x y)(x2 + xy + y 2 ),
217
As xy 0 xy 0, en consecuencia xy = 0. Resultando que x = 0 y = 0.
Si x = 0, entonces 0 = x2 + xy + y 2 = y 2 , lo cual implica que y = 0, luego x = 0 = y,
lo cual es contradictorio.
Si y = 0, entonces 0 = x2 + xy + y 2 = x2 , lo cual implica que x = 0, luego x = 0 = y,
lo cual es contradictorio.
La contradiccin viene de suponer que x 6= y, por lo cual x = y, resultando que f
es inyectiva.
Veamos ahora si f es sobreyectiva.
Sea y R, veamos si existe un x R tal que y = f (x), esto es y = x3 .
Consideramos x = 3 y, entonces f (x) = f ( 3 y) = ( 3 y)3 = y. Por lo tanto, para
cada y R, existe x = 3 y R, tal que f (x) = y. En consecuencia f es sobreyectiva.
As se concluye que f es biyectiva.
Como f es biyectiva entonces f posee inversa.
Encontremos la funcin inversa de f . Consideramos la funcin f 1 : R R,
definida por f 1 (x) = 3 x. Entonces f 1 es la inversa de f , ya que
y = x3 x = 3
y,
as f (x) = y f 1 (y) = x.
Grficamente se tiene
2 f (x) = x3
1
f 1 (x) = 3
x
3 2 1 1 2 3
1
2
Funcin f (x) = x3 y su inversa f 1 (x) = 3
x
x2
c) En el ejemplo 4.18.g se verific que la funcin f : A B definida por f (x) = x3
,
donde A = R{3} y B = R{1}, es biyectiva. Luego f posee inversa. Encontremos
la funcin inversa de f .
218
3y2
En el ejemplo 4.18.g obtuvimos que para cada y B, existe x = y1
R, tal que
3x2
f (x) = y, entonces definimos f 1
: B A por f 1
(x) = x1
. En consecuencia
x2
Si y = f (x), entonces y = x3 , luego
x2 3x62x+6
3 2
x2
1 1 x3 x3 x
f (y) = f = x2 = x2x+3 = = x.
x3 x3
1 x3
1
3y2
Si f 1 (y) = x, entonces x = y1
, por lo cual
3y2 3y22y+2
2
3y 2
y1 y1 y
f (x) = f = 3y2 = 3y23y+3 = = y.
y1 y1
3 y1
1
3x2
Entonces y = f (x) f 1 (y) = x, resultando que f 1 (x) = x1
es la inversa de f .
3 f (x) = ex
2
f 1 (x) = ln(x)
1
3 2 1 1 2 3
1
2
219
Observaciones:
b) Para que est bien definida la funcin g f , el rango de f debe ser subconjunto del
dominio de g como se indica a continuacin.
Ejemplo 4.21
a) Sean los conjuntos A = {1, 2, 3}; B = {a, b, c, d} y C = {5, 6}. Sean las funciones
f : A B y g : B C, definidas por:
220
b) Sea f : R R definida por f (x) = x + 1 y g : R R definida por g(x) = x2 1.
Entonces la compuesta g f : R R est dada por
Teorema 4.11
a) IB f = f y f IA = f .
b) (h g) f = h (g f ) = h g f.
Demostracin:
De igual modo
(f IA )(x) = f (IA (x)) = f (x).
De donde se deduce IB f = f y f IA = f .
b) Sea x A, entonces
Por lo tanto
(h g) f = h (g f ).
Grficamente.
221
g
B C
f f h h
g
g
A D
hgf
(h g) f = h (g f )
Teorema 4.12
f f 1 = IB y f 1 f = IA .
Demostracin:
por tanto f f 1 = IB .
Por otro lado sea a A, consideramos b = f (a), entonces f 1 (b) = a, por lo cual
As
y = f (x) f 1 (y) = x.
222
Teorema 4.13
(g f )1 = f 1 g 1 .
Demostracin:
(g f ) (f 1 g 1) = g (f (f 1 g 1 )) asociatividad de la compuesta
= g ((f f 1
)g ) 1
asociatividad de la compuesta
= g (IB g ) 1
teorema 4.12
= g g 1 teorema 4.11.a
= IC . teorema 4.12
Ejemplo 4.22
223
Por tanto la inversa de g f es la funcin (g f )1 : R R definida por
r
1 3 x 1
(g f ) (x) = .
2
2. Eliminar y/o agregar flechas para que la relacin dada sea una funcin.
a) b) c)
A B A C D E
a a m s
m 1
b b n t
n 2
c c o u
o p 3
d d v
Solucin:
224
A B
a
m
b
n
c
o
d
a) R = {(a, p), (b, q)} b) S = {(a, p), (b, q), (c, q)}
c) T = {(a, q), (b, r), (c, p), (b, q)}. d) U = {(a, p), (b, p), (c, r)}
Solucin:
225
b) S es funcin ya que a cada elemento de A le corresponde un nico elemento de
B.
c) T no es funcin ya que al elemento b A le corresponden dos elementos r y q
en B.
d ) U es una funcin. Por qu?
f1 f2 f3 f4
A B A B A B A B
a m a m a m a m
b n b n b n b n
226
Solucin:
Dom(f ) = {x R : y = f (x) para algn y R}
= {x R : y = x2 1 para algn y R}
= {x R : x2 1 0}
= {x R : x2 1}
= {x R : |x| 1}
= {x R : x 1 x 1}
= (, 1] [1, +).
227
5+x
c) La funcin exponencial f (x) = e 1+x est definida para todos los valores donde
5+x
est definido su exponente; pero el exponente es una funcin racional,
1+x
la cual est definida para cualquier valor real exepto donde el denominador es
nulo, es decir R {1}.
De aqu que Dom(f ) = R {1}
3 2 1
2 1
1 2
3
2 1 1 2 3 4 5
1 4
2
c)
2
1
5 4 3 2 1 1 2 3 4 5
1
2
Solucin:
228
Solucin:
a) Cuando x < 0 la grfica es una recta paralela al eje x y est a 3 unidades por
debajo de ste.
Cuando x 0 la grfica es una recta que pasa por los puntos (0, 2) y (1, 3).
As obtenemos:
4
3
2
1
3 2 1 1 2 3 4
1
2
3
b) Cuando x 2 la grfica es una recta que pasa por los puntos (4, 4) y
(2, 2).
Cuando x > 2 la grfica es una parbola de vrtice (0, 0) y que pasa por los
puntos (2, 4) y (2, 4).
4
3
2
1
4 3 2 1 1 2 3 4
1
2
3
4
229
11. Dado los conjuntos A = {1, 2, 3, 4} y B = {0, 1} y la funcin f : A B definida
por
1 si x = 3
f (x) =
0 si x =
6 3
Determinar si f es o no inyectiva, si es o no sobreyectiva y si es o no biyectiva.
Solucin:
Dado que f (1) = 0 = f (2), la funcin no es inyectiva.
Por otro lado Rgo(f ) = {0, 1} = B, en consecuencia f es sobreyectiva.
Finalmente f no es biyectiva, ya que no es inyectiva.
Luego f es inyectiva.
Demostremos ahora que f es sobreyectiva, es decir
230
((a, b) R2 ) ((x, y) R2 ), tal que f (x, y) = (a, b).
2 2
1 (0,1) 1 (0,1)
(-1,0) (1,0) (-1,0)
2 1 1 2 2 1 1 2
1 1 (0,-1)
(x, y) f (x, y) 2 2
(1, 0) (0, 1)
(1, 0) (0, 1)
(0, 1) (1, 0)
14. Demostrar que la funcin dilatacin f : R2 R2 definida por f (x, y) = (2x, 2y)
es una funcin biyectiva.
Solucin:
Demostremos que f es inyectiva
231
Supongamos que f (x, y) = (a, b), y hallemos (x, y) R2 .
Si f (x, y) = (a, b), entonces (2x, 2y) = (a, b) de donde 2x = a y 2y = b, con lo cual
a
x= 2
y = 2b .
As pues ((a, b) R2 ) ((x, y) = ( a2 , 2b ) R2 ), tal que
Luego f es sobreyectiva.
As como f es inyectiva y sobreyectiva se tiene que es biyectiva.
Observacin:
En la siguiente grfica se observa una dilatacin del segmento con extremos (1, 0) y
(0, 1) a travs de la funcin de dilatacin f .
2 2 (0,2)
1 (0,1) 1
(1,0) (2,0)
2 1 1 2 2 1 1 2
1 1
(x, y) f (x, y) 2 2
(1, 0) (2, 0)
(0, 1) (0, 2)
232
b) f ([2, +)) = {y R : y = f (x) para algn x [2, +)}
= {f (x) R : x [2, +)}
= {f (x) R : 2 x}.
En consecuencia
x 2 = x2 4 = 2x2 8 = 2x2 8 0 = f (x) 0.
As f ([2, +)) = [0, +).
c) f ((, 2]) = {y R : y = f (x) para algn x (, 2]}
= {f (x) R : x (, 2]}
= {f (x) R : x 2}.
Por tanto
x 2 = x2 4 = 2x2 8 = 2x2 8 0 = f (x) 0.
As f ((, 2]) = [0, +)
d) f 1 ([6, 10]) = {x R : f (x) [6, 10]}
= {x R : 6 f (x) 10}
Pero
6 f (x) 10 = 6 2x2 8 10
= 2 2x2 18
= 1 x2 9
= 1 x2 x2 9
= 1 |x| |x| 3
= (1 x x 1) (3 x 3)
Por lo tanto f 1 ([6, 10]) = {(, 1] [1, +)} [3, 3]. Y aplicando la
propiedad distributiva se obtiene f 1 ([6, 10]) = [3, 1] [1, 3].
233
Supongamos que f (x) = y, y encontremos x R
y5
f (x) = y = 3x + 5 = y = 3x = y 5 = x = R
3
As se obtiene
y5
y5
y5
y R; x = R, tal que f (x) = f =3 5=y
3 3 3
Por lo tanto f es sobreyectiva; y dado que ya se prob que tambin es inyectiva se
tiene que f es biyectiva.
Ahora como f es biyectiva por el teorema 4.10 es inversible. Adems la inversa es
la funcin f 1 : R R, tal que f 1 (x) = y f (y) = x. As como f x5
3
=x
x5
se tiene que f 1 (x) = 3
, por lo cual la inversa de f es la funcin
x5
f 1 : R R, definida por f 1 (x) = .
3
x5
x5
1
f (f (x)) = f =3 + 5 = x 5 + 5 = x,
3 3
por lo cual f f 1 = IR , de igual modo
(3x + 5) 5 3x
f 1 (f (x)) = f 1 (3x + 5) = = = x,
3 3
x5
por tanto f 1 f = IR . Luego aplicando el teorema 4.12 se tiene que f 1 (x) =
3
es la funcin inversa de f .
234
Sean a, b N, tales que f (a) = f (b). Entonces a y b tienen las misma paridad, es
decir a y b son pares, o bien a y b son impares.
a
Si a y b son pares se tiene 2
= 2b , entonces a = b.
Si a y b son impares, entonces a+1
2
= b+1
2
, luego multiplicando por -2 se sigue
a + 1 = b + 1, por lo tanto a = b. En cualquier caso a = b. Por tanto f es inyectiva.
Sea y Z, si y 0, se busca un x N, tal que f (x) = y, pero f (x) 0, luego x
es par, por tanto y = x2 , en consecuencia se toma x = 2y 0, por lo cual x N,
adems x = 2y es par, por consiguiente
x 2y
f (x) = = = y.
2 2
similarmente
f (f 1 (x, y)) = f (y, x) = (x, y).
235
19. Dadas las funciones f : R R y g : R R definidas por:
x2
f (x) = 5x + 3 y g(x) = 1
25
Encontrar: a) f g b) g f c) f 1 g.
Solucin:
x2
2
x2
x
a) (f g)(x) = f (g(x)) = 5g(x) + 3 = 5 1 +3 = 5 5+3 = 2.
25 25 5
x2
1 3 x2
g(x) 3 25 4 x2 100
(f 1 g)(x) = f 1 (g(x)) = = = 25 = .
5 5 5 125
Encontrar f g y g f .
Solucin:
(f g)(x, y) = f (g(x, y)) = f (x + 4, y) = ((x + 4) + 2, y) = (x + 6, y).
(g f )(x, y) = g(f (x, y)) = g(x + 2, y) = ((x + 2) + 4, y) = (x + 6, y).
Observaciones
236
2 2
(2,1)
1 (0,1) 1
(-1,0) (1,0) (1,0) (3,0)
(x, y) f (x, y) 1 1 2 3 1 1 2 3
1 1
(1, 0) (3, 0)
(0, 1) (2, 1)
(1, 0) (1, 0)
2. Eliminar y/o agregar flechas para que la relacin dada sea una funcin
a) b)
A B C D
1
5 * 1
2
6 a 2
3
5
4
237
c) d)
E F G H
5
-1 6
-2 -3
0 0 1
1 2
1 2 4
7
a) R1 = {(1, 2), (3, 4), (3, 1)}, donde A = {1, 2, 3} y B = {1, 2, 3, 4}.
b) R2 = {(0, 0), (1, 0)}, donde A = {0, 1} = B.
c) R3 = {(2, 2), (2, 2), (1, 0), (2, 0)}, donde A = {2, 1, 2} y B = {0, 2}.
d) R4 = {(5, 5)}, donde A = {5} = B.
e) R5 = {(a, 5), (b, 6), (c, 7), }, donde A = {a, b, c} y B = {5, 6, 7, 8}.
f) R6 = {(a, a), (b, b), (c, c)}, donde A = {a, b, c} y B = {a, b, c, d}.
g) R7 = {(x, x2 ) : x R}, donde A = R = B.
h) R8 = {(x2 , x) : x R}, donde A = R = B.
a) f : N Z, f (x) = x, x N.
b) f : Z N, f (x) = x, x Z.
c) f : N R, f (x) = 2x2 + x 1, x N.
a) del ejercicio 3.
b) f : R R, f (x) = |x| (funcin valor absoluto.)
c) f : R R, f (x) = [|x|] (funcin parte entera).
238
7. Dada la representacin grfica de la funcin f , hallar el dominio y rango en cada caso:
a) b) c)
3 3 3
2 2 2
1 1 1
2 1
1 1 2 2 1
1 1 2 2 1
1 1 2
2 2 2
c) d)
x3 si x 1
x2 si x 2
f (x) = f (x) = x2 si 0 x < 1
x 2 si x < 2
x
si x < 0
2
9. Dadas las siguientes funciones, indicar si son inyectivas, sobreyectivas o biyectivas
f g h
a)
1 a
4 4 1
2 1
5 c 2
3 6 b
3
7 c 4
b) La funcin identidad de N en N.
c) La funcin constante de N en Z.
d) La funcin inclusin de Z en Q.
e) La funcin caracterstica Z : R {0, 1}.
f) La funcin afn f : R R, f (x) = 3x + b; b R.
g) La funcin cuadrtica f : R R, f (x) = x2 + 1.
h) La funcin exponencial f : R R+ , f (x) = ax ; a > 0.
239
i) La funcin logaritmica f : R+ R, f (x) = log10 (x).
j) La funcin parte entera f : R R, f (x) = [|x|.]
k) La funcin f : R2 R2 , f (x, y) = (x 1, 1 y).
l) La funcin h : R [1, +), h(x) = x2 + 1.
m) La funcin f : Z N, f (x) = x2 + 1.
n) La funcin f : A B Z, f (a, b) = 3a b, donde A = {1, 2, 3} y B = {2, 3}.
o) La funcin f : P(A) P(B), f (X) = B X, donde A = {1, 2, 3} y
B = {1, 2, 3, 4}.
p) La funcin segunda proyeccin h : R2 R, h(x, y) = y.
q) La funcin diagonal d : X X 2 , d(a) = (a, a) donde X es un conjunto no
vaco.
r) La funcin g : R R2 , h(x) = (x, x).
x si x 0
s) La funcin f : R R, f (x) =
x2 si x > 0.
a) f : Z Q, inyectiva y no sobreyectiva.
b) g : Z N, biyectiva.
c) h : R {0, 1}, no inyectiva y sobreyectiva.
d) f : R (1, 1), biyectiva.
240
c) f : Z Z tal que f (x) = x + a, siendo a un entero fijo.
d) f : R R tal que f (x) = 3x + 4.
19. Sea f : X 2 X 2 definida por f (a, b) = (b, a). Demostrar que f d = d, siendo
d : X X 2 la funcin diagonal d(x) = (x, x).
241
22. Sean las funciones f : X Y, g : Y Z y h : Z W . Demostrar que si
g f y h g son biyectivas, entonces f, g y h son biyectivas.
28. Sea f : R Z, tal que f (x) = [|x|], x R. Que funcin se obtiene restringiendo
f a Z? y a N?.
242
32. Sean f : E F una funcin, S una relacin de equivalencia sobre F y R una
relacin sobre E definida por xRy f (x)Sf (y).
Demostrar que R es de equivalencia. Cules son las clases de equivalencias?.
243
Captulo 5
Leyes de Composicin
244
5.1. Leyes de Composicin Interna
Observaciones
a) Para denotar leyes de composicin interna se suelen utilizar smbolos convencionales
no alfabticos, tales como: +, , , , , , , , , , entre otros, y
se utilizan entre ellos notacin infija (notacin habitual: primer operando-operador,
segundo operando). Los smbolos que hemos usado para notacin funcional en la
unidad anterior, aqu los reemplazamos por los que acabamos de sealar, es decir
As, en lugar de escribir por ejemplo, +(a, +(a, b)) escribiremos a + (a + b).
b) Si es una ley interna definida sobre E, la imagen (a, b) del par (a, b) E E, se
denomina compuesto de a y b, segn la ley .
245
e) Para un conjunto arbitrario no vaco E, dotado de una ley interna *, escribiremos
el par (E, ).
Ejemplo 5.1
donde +, indica la adicin usual. Es claro que define sobre N una ley interna.
En lo sucesivo, para este caso, escribiremos (N, +).
c) La suma usual es una ley interna sobre los conjuntos N, Z, Q, R y C, por tanto
se puede decir que N, Z, Q, R y C estn dotados de la ley interna +, por lo que
se puede escribir: (N, +), (Z, +), (Q, +), (R, +), (C, +).
x + y = (x1 + y1 , x2 + y2 , . . . , xn + yn ),
0 + 0 = 0, 0 + 1 = 1, 1 + 0 = 1 y 1 + 1 = 0.
0 0 = 0, 0 1 = 0, 10=0 y 11=1
246
g) Tambin son ejemplos de ley interna la suma usual + en F(R, R), Mn (R) y
Mmn (R).
Aqu:
F(R, R) = {f |f : R R} es el conjunto de las funciones reales de variable real.
Mn (R) = A = (aij ) 1in : aij R es el conjunto de las matrices cuadradas de
1jn
orden n, cuyas entradas son nmeros reales.
Mmn (R) = A = (aij )1im : aij R es el conjunto de las matrices de orden
1jn
m n, cuyas entradas son nmeros reales.
En F(R, R) tenemos que
En general, cuando se tiene un conjunto finito E no vaco con pocos elementos, provisto
de una ley interna *, es posible explicitar sta mediante una tabla de doble entrada (Tabla
de multiplicacin o de Cayley, anloga a la tabla Pitagrica).
247
Para construir esta tabla se disponen los elementos de E -en el mismo orden- en una
fila y en una columna. Fila y columna que conforman el borde de la tabla. Para todo
a, b E, el compuesto a b E se sita en la interseccin de la fila encabezada por
a con la columna encabezada por b. El compuesto b a E, ocupar el lugar de la
interseccin de la fila encabezada por b con la columna encabezada por a.
Ejemplo 5.2
a b c factor de la derecha
a a b c
b b c a
c c
a b
factor de la izquierda
a a = a, a b = b, a c = c, b a = b, b b = c,
b c = a, c a = c, c b = a, c c = b.
Ntese que los pares de la forma (a, a) estn en la diagonal que va del extremo
superior izquierdo al extremo inferior derecho. Los compuestos a b y b a estn
dispuestos simtricamente respecto a la diagonal nombrada (principal). En la tabla
se ha encerrado en un crculo los compuestos a c y c a, para mostrar la disposicin
anotada. Los compuestos que conforman la diagonal se han escrito en negrita.
1 1 i i
1 1 1 i i
1 1 1 i i
i i i -1 1
i i i 1 -1
248
Algunos compuestos son:
11 =1 (i) (i) = i2 = 1
(1) (1) = 1 i i = i2 = 1
x y (md 3) x y = 3k (k Z).
0 = {z Z : z = 3k; k Z}
1 = {z Z : z = 3k + 1; k Z}
2 = {z Z : z = 3k + 2; k Z}
En el tercer caso ntese que 3 y 0 dan el mismo resto al ser divididos por 3, y por
tanto sus clases coinciden.
La tabla correspondiente a sta operacin definida en Z3 , adopta la forma
+ 0 1 2
0 0 1 2
1 1 2 0
2 2 0 1
249
d) Sea E = Z10 = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} y sea A = {1, 5, 9} E; sobre A definamos
la siguiente operacin:
(a, b A) : a b = a b
1 5 9
1 1 5 9
5 5 5 5
9 9 5 1
A B AB AB
A A AB AB A
B AB B AB B
AB AB AB AB AB
AB A B AB AB
1) A B = B A 2) A (A B) = A
3) (A B) (A B) = A B 4) (A B) (A B) = A B
5) (A B) (A B) = A B 6) (A B) (A B) = A B.
250
Observaciones
a) En la notacin a, b, c E se abusa del lenguaje, pus se debe escribir
(a b) c = a (b c) = a b c
Esto nos dice que el clculo puede empezarse por la izquierda o por la derecha.
n p n
ai = ai ai = (a1 a2 ap )(ap+1 ap+2 an ), 1 p n.
i=1 i=1 i=p+1
n n
Si a1 = a2 = = an = a escribiremos a en vez de a, en consecuencia se denota
i=1
n
a = aa a.
n
Y
a1 .a2 an = ai
i=1
En particular si a1 = a2 =, , = an = a, escribiremos:
n
Y
ai = a.a. a (n veces) = an
i=1
251
la cual se denomina n-sima potencia de a y por definicin a = a1 .
Si a1 = a2 = . . . = an = a, entonces
n
X
ai = a + a + + a(n trminos) = na
i=1
e) Sea p 1, q 1, escribimos
p q p+q
1) (a)(a) = a 2) pa + qa = (p + q)a
p q p.q
3) a .a = a
p q p+q
4) (a) = a
5) p(qa) = (pq)a 6) (ap )q = ap.q
Ejemplo 5.3
e) Sea una ley interna sobre E 6= asociativa. La ley opuesta definida sobre E
por (a, b E) : ab = ba es tambin asociativa.
Ejemplo 5.4
252
b) Las operaciones de interseccin () y unin () en (E) son asociativas y conmu-
tativas.
c) Sea E = {a, b, c}. Se define una ley interna sobre E, por la siguiente tabla:
a b c
a a b c
b b c a
c c a b
Esta ley es conmutativa. Ntese que los compuestos dispuestos simtricamente con
respecto a la diagonal principal son iguales.
a b c
a a a a
b b b b
c c c c
a b = a + b, con , R,
no es asociativa ni conmutativa.
2a + 3b
f) La operacin a b = en Q no es asociativa ni conmutativa.
2
g) En Z2 = Z Z la operacin definida por (a, b) (c, d) = (ac, bc + d) es asociativa,
ms no conmutativa.
Observacin
253
correspondiente, al menos un par de elementos simtricos respecto a la diagonal que son
diferentes.
a E : ae = a.
a E : ea = a.
Observacin
Ejemplo 5.5
b) En (N, ) definida por: ab = a, existen una infinidad de b N que son neutros por
la derecha y si ab = b, existen infinitos a N, que son neutros por la izquierda.
254
e) Si E es finito y es una ley interna sobre E con elemento neutro, en su tabla de
multiplicacin debe aparecer una fila y una columna encabezada por el neutro, tales
que se repiten los otros elementos en el mismo orden que aparecen en el borde de la
tabla, como lo mostramos a continuacin:
Sea E = {1, 2, 4, 8} y definida as:
(a, b E) : ab = M.C.D(a, b)
1 2 4 8
1 1 1 1 1
2 1 2 2 2
4 1 2 4 4
8 1 2 4 8
Esta tabla muestra que la cuarta fila y cuarta columna son iguales al borde y estn
encabezadas por el nmero 8, es decir (a E) se verifica 8a = a8 = a. Luego
8 es el neutro.
Observaciones
a) Si (E, ) admite por neutro e, el simtrico de e es e.
255
d) Para una ley notada aditivamente el simtrico de a E lo designaremos por a = a
y se dice que (a) es el opuesto de a para + en E. Para la ley multiplicativa (), el
1
simtrico de a se notar por a1 o bien por (a 6= 0) y se dice que a1 es el inverso
a
de a para la ley ().
Ejemplo 5.6
a b c
a a b c
b b b a
c c a b
x, y E : a x = a y = x = y,
256
Ejemplo 5.7
X, Y (E) : A X = A Y = X = Y.
es un elemento regular?
(x, y E) : x e = y e = x = y
e x = e y = x = y
a b c
a a b b
b b c a
c c a b
257
Observacin:
Si todos los elementos de (E, ) son regulares, se dice que cumple con la propiedad
de cancelacin, tal como ocurre en el ejemplo 5.7. g.
Observaciones
Ejemplo 5.8
( x, y, z R) x (y + z) = x y + x z
( X, Y, Z (E)) X (Y Z) = (X Y ) (X Z)
( X, Y, Z (E)) X (Y Z) = (X Y ) (X Z).
258
Teorema 5.1
Si E 6= es un conjunto dotado de una ley interna asociativa , que admite elemento
neutro e y a E es simetrizable por , entonces el simtrico a de a es nico y a es un
elemento regular de E.
Demostracin:
Sean a y a dos simtricos de a, tomando el simtrico a se tiene
a a = a a = e. (5.1)
a a = a a = e. (5.2)
Teorema 5.2
Para toda ley interna definida sobre E, asociativa, con elemento neutro, el elemento
compuesto de dos elementos simetrizables es simetrizable y se tiene:
(a b) = b a .
259
Demostracin:
(a b) (b a ) = a (b (b a )) asociatividad
= a ((b b ) a )
asociatividad
= a (e a ) elemento simtrico
= a a elemento neutro
= e elemento simtrico.
De donde
(a b) (b a ) = e. (5.5)
(b a ) (a b) = e. (5.6)
f :K E E tal que (, x) f (, x)
Observaciones
a) Para designar una ley externa se puede usar smbolos convencionales, tal como lo
hemos hecho para una ley interna. Usualmente se emplea la notacin multiplicativa
() para una ley externa. En tal caso se escribe
260
f (, x) = .x x, o tambin
(, x) .x x
y diremos que la ley externa es una multiplicacin externa.
(i) K E E
(, x) .x x
(ii) E K E
(x, ) x. x
En (i) se dice que la ley dada es una multiplicacin externa a la izquierda y en (ii)
decimos que es una multiplicacin externa a la derecha.
c) Toda ley interna es un caso particular de ley externa donde el dominio de operadores
es K = E.
Ejemplo 5.9
( K)(x E) : (, x) sup(, x)
se tiene
K E = {(2, 1), (2, 2), (2, 3), (2, 6), (2, 12), (3, 1), (3, 2), (3, 3), (3, 6), (3, 12)}
1 2 3 6 12
2 2 2 3 6 12
3 3 3 3 6 12
261
b) Sea K = R y E = R2 . La ley definidas como sigue:
((1 , 2 ) K1 K2 ) ((x1 , x2 ) E1 E2 )
((1 , 2 ), (x1 , x2 )) (1 x1 , 2 x2 )
entonces sta determina una ley externa sobre E1 E2 con K1 K2 como dominio
de operadores.
Ilustremos este caso con un ejemplo:
Sean E1 = {x1 , y1 , z1 }; E2 = {x2 , y2 , z2 , r2 }, K1 = {1 , 1 }, K2 = {2 , 2 , 2 } y las
leyes externas sobre E1 E2 , definidas por la tablas
x2 y2 z2 r2
x1 y1 z1
2 y2 y2 r2 z2
1 x1 z1 y1
2 x2 r2 z2 x2
1 y1 x1 y1
2 z2 x2 r2 y2
262
((1 , 2 ), (x1 , y2)) (x1 , 2 x2 ) = (x1 , x2 )
((1 , 2 ), (y1 , y2 )) (1 y1 , 2 y2 ) = (z1 , r2 )
((1 , 2 ), (z1 , r2 )) (1 z1 , 2 r2 ) = (y1 , x2 )
El lector puede hallar los restantes compuestos.
Definicin 5.9 (Distributividad de una Ley Externa respecto a una Ley In-
terna)
Sea un conjunto E 6= , dotado de una ley externa , con dominio de operadores K y
de una ley interna . Se dice que la ley externa es distributiva respecto a la
ley interna , si
Observacin
Ejemplo 5.10
Se cumple
263
En efecto:
Observacin
Por lo general cuando tanto E como K poseen leyes internas, es usual denotar ambas
leyes aditivamente y la ley externa notarla multiplicativamente. En tal caso, la distribu-
tividad anterior, se expresa
( + ) x = x + x
Ejemplo 5.11
(, K)(x E) : ( + ) x = .x .x
264
Definicin 5.11 (Asociatividad de una Ley Externa respecto a una Ley In-
terna)
Si E 6= est provisto de una ley externa , cuyo dominio de operadores es K y
K est provisto de una ley interna , se dice que la ley externa es asociativa
respecto a la ley interna si
Observacin
(.).x = .(.x).
Ejemplo 5.12
(, K = R)(x E) : (.) x = ( x)
( R)(x Rn )
(, x) x = .(x1 , , xn ) = (x1 , x2 , , xn )
Esta ley externa es distributiva respecto a + en Rn y es asociativa respecto a la
multiplicacicn de R.
265
operaciones, tanto internas como externas con dominio de operadores que son a su vez
conjuntos dotados de ciertas operaciones y relaciones entre ellas.
Las propiedades que estas leyes satisfacen y las relaciones entre ellas, constituyen los
axiomas de la estructura.
Si una estructura F definida sobre un conjunto E est determinada por varias leyes
internas y/o externas, las estructuras algebraicas obtenidas considerando solo algunas
de estas leyes y/o algunas de las propiedades de estas leyes, se denominan estructuras
subyacentes de F .
a) El conjunto soporte E.
b) E dotado de la estructura F1 .
c) E dotado de la estructura F2 .
d) E dotado de la estructura F .
266
Luego consideramos estructuras provistas de dos leyes internas tales como: anillos y
cuerpos.
Observaciones
a) Los axiomas anteriores se pueden explicitar como sigue:
G1- (x, y, z G) : (x y) z = x (y z) = x y z.
G2- (e G)(x G) : x e = e x = x.
G3- (x G)(x G) : x x = x x = e.
b) Cuando (G, ) satisface G1, G2, G3 tambin se dice que G posee una estructura de
grupo para la ley , o que G es un grupo para la ley , o simplemente que G es
grupo si no hay ninguna ambiguedad sobre la ley.
e) Si usamos la notacin aditiva + para la ley del grupo, se dice que G es un grupo
aditivo.
267
f) Si se usa la notacin multiplicativa para ley de grupo, se dice que G es un grupo
multiplicativo.
Ejemplo 5.13
c) Sea E = {e, a, b, c} con la ley de composicin interna dada por la siguiente tabla:
e a b c
e e a b c
a a e c b
b b c e a
c c b a e
E posee una estructura de grupo abeliano para la ley , ya que es asociativa, con-
mutativa, posee elemento neutro e y todo elemento de E admite un simtrico: el
simtrico de e es e, el simtrico de a es a, el simtrico de b es b y el simtrico de
c es c. Note que, en este caso, el simtrico de cada elemento es el mismo, lo cual no
siempre ocurre en otros grupos.
Este grupo se denomina grupo abeliano de Klein de orden 4 en honor al matemtico
alemn Flix Klein (1849-1925).
268
5.3.2. Estructuras Subyacentes a la Estructura de Grupo
Ejemplo 5.14
Los siguientes conjuntos son grupoides: (N, +), (Z, +), (Q, +), (R, +), (C, +), (Q, ) y
(R , ). Pero (N, ) no es un grupoide, por qu?
Ejemplo 5.15
Los siguientes conjuntos son semigrupos: (N, +), (Z, +), (Q, +), (R, +), (C, +), (Q, )
y (R , ).
Ejemplo 5.16
Los siguientes conjuntos son monoides:
(N, +), (Z, +), (R, +), (C, +), (N, ), (Z, ), (R, ), (Q, ), (Q, ) y (R , ).
269
5.3.3. Estructura de Anillo
Observaciones
a) Si designamos por 0 el neutro de (A, +), las condiciones anteriores quedan explici-
tadas como sigue
(x, y, z A) : (x + y) + z = x + (y + z) = x + y + z.
(0 A)(x A) : x + 0 = 0 + x = x.
(x A)(x = x A) : x + x = x + x = 0.
(x, y A) : x + y = y + x.
(x, y, z A) : (x y) z = x (y z) = x y z.
270
A6- La ley multiplicativa es distributiva a la izquierda, respecto a la adicin
(x, y, z A) : x (y + z) = x y + x z.
(x, y, z A) : (y + z) x = y x + z x.
c) Eventualmente el anillo (A, +, ) puede poseer un elemento neutro para la ley mul-
tiplicativa, el cual se acostumbra a notar con el smbolo 1 y se le llama unidad del
anillo, en tal caso el par (A, ) es un monoide. A un anillo con unidad se le dice
unitario.
Ejemplo 5.17
a) Las ternas (Z, +, ), (Q, +, ), (R, +, ), (C, +, ) son anillos unitarios conmutativos,
sin divisores de cero.
271
5.3.4. Estructura de Cuerpo
Observaciones
a) Los neutros de (K, +) y (K , ) los representaremos por 0 y e, respectivamente, e es
la unidad del cuerpo.
b) Los axiomas que reemplazan a las condiciones (i) y (ii) son los que siguen:
K1- (x, y, z K) : (x + y) + z = x + (y + z) = x + y + z.
K2- (0 K)(x K) : x + 0 = 0 + x = x.
K3- (x K) : (x K) : x + x = x + x = 0.
K4- (x, y K) : x + y = y + x.
K5- (x, y, z K) : (x y) z = x (y z) = x y z.
K6- (e K )(x K) : x e = e x = x.
K7- (x K )(x K ) : x x = x x = e.
K8- (x, y, z K) : x (y + z) = x y + x z.
K9- (x, y, z K) : (y + z) x = y x + z x.
K10 (x, y K) : x y = y x
d) Los axiomas K1 a K4 definen la estructura del grupo abeliano (K, +). Los axiomas
K5 a K7 determinan la estructura del grupo (K , ).
Ejemplo 5.18
272
b) (Z2 , +, ), (Z3, +, ), (Z5 , +, ) son cuerpos. En general (Zp , +, ), donde p es un nmero
primo, es un cuerpo.
c) (Z, +, ) no es un cuerpo.
ab
(a, b) a b = resto .
3
Decidir si es o no una ley interna sobre A.
Solucin
Se tiene en este caso:
A A = {(1, 1), (1, 2), (1, 5), (2, 1), (2, 2), (2, 5), (5, 1), (5, 2), (5, 5)}
por lo tanto:
11 12 15
1 1 = resto = 1; 1 2 = resto = 1; 1 5 = resto =1
3 3 3
21 22 25
2 1 = resto = 2; 2 2 = resto = 1; 2 5 = resto =2
3 3 3
1
5 52 55
5 1 = resto = 2; 5 2 = resto = 1; 5 5 = resto = 2
3 3 3
La tabla de multiplicar de es:
1 2 5
1 1 1 1
2 2 1 2
5 2 1 2
(a, b E) : a b = m.c.m(a, b)
273
Construir la tabla de multiplicacin correspondiente.
Solucin
Los divisores positivos de 12 son: E = D(12) = {1, 2, 3, 4, 6, 12} y la tabla de
multiplicacin de es:
1 2 3 4 6 12
1 1 2 3 4 6 12
2 2 2 6 4 6 12
3 3 6 3 12 6 12
4 4 4 12 4 12 12
6 6 6 6 12 6 12
12 12 12 12 12 12 12
3. Sea Z el conjunto de los nmeros enteros y sea una ley de composicin interna
definida sobre Z2 = Z Z por:
Similarmente
(a, b) [(c, d) (e, f )] = (a, b) (ce, de + f ) definicin de
= (a(ce), b(ce) + (de + f )) definicin de
= (ace, bce + (de + f )) asociatividad de en Z
= (ace, bce + de + f ) asociatividad de + en Z.
Por tanto
[(a, b) (c, d)] (e, f ) = (a, b) [(c, d) (e, f )]
274
En virtud de lo cual es asociativa en Z2 .
Veamos si es conmutativa.
((a, b), (c, d) Z2 ) : (a, b) (c, d) = (ac, bc + d) (c, d) (a, b) = (ca, da + b).
En tal caso
Ntese que el par (1, 0) Z2 . Por lo tanto el par (e1 , e2 ) = (1, 0) es el neutro para
en Z2 .
Veamos cules son los elemento regulares en Z2 segn la ley , es decir cules
elementos (a, b) Z2 verifican lo siguiente.
As:
(a, b) (c, d) = (a, b) (e, f ) = (ac, bc + d) = (ae, be + f )
(
ac = ae (i)
=
bc + d = be + f (ii)
275
Si a 6= 0, de (i) se tiene que c = e. Sustituyendo c = e en la ecuacin (ii) se sigue
que bc + d = bc + f , de donde d = f . Es decir que (c, d) = (e, f )
En forma anloga se prueba que si a 6= 0 entonces
(c, d) (a, b) = (e, f ) (a, b) = (c, d) = (e, f ).
de igual modo (0, b) (e, f ) = (0, 0) (2, 3) = (0, 0 + 3) = (0, 3), por lo cual
(0, b) (c, d) = (0, 3) = (0, b) (e, f ), pero (c, d) 6= (e, f ). Luego (0, 0) no es regular.
Si b 6= 0, tomamos (c, d) = (1, 0) y (e, f ) = (0, b). Obtenemos
de igual modo (0, b) (e, f ) = (0, b) (0, b) = (0, 0 + b) = (0, b), por lo cual
{(a, b) : a Z , b Z} = Z Z.
276
As:
(a, b) (a , b ) = (1, 0) = (aa , ba + b ) = (1, 0)
= aa = 1 ba + b = 0
1 b 1
Luego si a 6= 0, se tiene a = b = , pero en general = a1 / Z salvo
a a a
que a = 1, por lo cual, no todo elemento de Z posee inverso y por ende no son
2
A B = AB BA, A, B E.
Hemos considerado que E est dotado de las leyes de adicin y multiplicacin usual
de matrices. Analizar que propiedades satisface la ley .
Solucin:
Conmutativa:
Sean A, B E, entonces
A B = AB BA y B A = BA AB = (AB BA).
277
Se tiene !
1 1
(1) A B = AB BA =
1 1
!
0 2
(A B) C =
2 0
!
1 1
(2) B C = BC CB =
1 1
!
1 1
A (B C) =
3 1
As (A B) C 6= A (B C).
Existencia de elemento neutro para E, segn .
Supongamos que existe A E, tal que A X = X A = X, para todo X E.
Tomamos en particular X 6= 0. Ya se mostr que: X A = (A X), luego
A X = (A X) de donde 2(A X) = 0, es decir A X = 0, pero
A X = X, luego X = 0. As X 6= 0 X = 0. De aqui deducimos que no existe
elemento neutro para E segn . Por consiguiente carece de sentido determinar los
elementos simetrizables de E, segn .
Probemos que en E es doblemente distributiva respecto de + en E.
(1) (A, B, C E) : A (B + C) = (A B) + (A C) (D.I)
(2) (A, B, C E) : (B + C) A = (B A) + (C A) (D.D)
Tenemos que
278
Sean a, b G, entonces a b G, por qu?, luego:
(a.b)2 = e = (a.b)(a.b) = e hiptesis
= a.(b.a)b = e asociatividad de
= [a(b.a).b](b.a) = e(b.a) por qu?
= (a.ba).(bb)a = b.a asociatividad y elemento neutro
= ab(aa) = b.a asociatividad y elemento neutro
= ab = b.a por qu?
Solucin ! !
a b
a) Sean A = E y B= S, entonces se tiene:
c a
! !
a + c b a a + b a + b
A B = AB BA = ,
a + c b a c a c a
! !
c b b b c b b b
luego A B = = .
c c b c c c (c b)
Luego A B S y como A B = (B A) entonces B A S.
b) Probemos ahora que es una relacin de equivalencia sobre E.
En efecto:
(i) (A E) : A A = 0 S, luego A A, A E. La relacin es
reflexiva.
(ii) Sean A, B E, entonces
A B = B A S
= (B A) S
= A B S
= B A
279
De aqu es simtrica.
(2) : R R+ R+
(x R+ )( R) : (, x) x = x
(x y) = (x.y) definicin de
= (x.y) definicin de
= x .y por ser (R+ , ) abeliano
= x y definicin de
= x y por definicin de
(2) (, R)(x R+ ) : ( + ) x = x x
( + ) x = x+ por definicin de
= x .x por ser (R+ , ) un grupo
= x x por definicin de
= x x por definicin de
(.) x = x. definicin de
= x. conmutatividad de en R
= (x ) ya que (R+ , ) es un grupo
= (x ) definicin de
= ( x) definicin de
8. Demostrar que (Zn , +), n Z es un grupo abeliano, donde la ley + est definida
por:
(x, y Zn ) : x + y = x + y.
Demostracin:
i) Propiedad asociativa
Sean x, y, z Zn , usando la definicin de la ley + y la asociatividad de la suma
en Z se deduce:
x + (y + z) = x + y + z = x + (y + z) = (x + y) + z = x + y + z = (x + y) + z
281
ii) Elemento neutro
Consideremos 0 Zn , y sea x Zn , entonces por la definicin de + y la
propiedad del elemento neutro de la suma en Z. Se deduce que
(0 Zn ) (x Zn ) : x + 0 = x + 0 = x 0 + x = 0 + x = x.
(x Zn )( x Zn ) x + x = x + (x) = 0 x + x = x + x = 0.
(x, y Zn ) x + y = x + y = y + x = y + x.
i) Propiedad asociativa
(x, y, z Zp )
x (y z) = x y z = x (y z) = (x y) z = x y z = (x y) z
ii) Elemento neutro
(1 Zp ) (x Zp ) x 1 = x 1 = x 1 x = 1 x = x
iii) Propiedad conmutativa
(x, y Zp ) : xy = xy = yx=yx
iv) Elemento simtrico u opuesto
(x Zp ) x 6= 0 lo cual implica que x no es mltiplo de p y como p es
primo, entonces x y p son primos relativos de donde, existen y, z Z tales que
x y + z p = 1, as x y + z p = 1, con lo cual, x y + z p = 1, pero z p = 0,
de aqu que x y = 1, de donde ( y Zp ) tal que
xy =1 yx=1
282
De i), ii), iii),iv) y definicin se tiene que (Zp , ) es un grupo abeliano.
a, b, c Zn : a (b c) = a b c = (a b) c = a b c = (a b) c.
a (b + c) = a b + c definicin de
= a (b + c) definicin de
= a b + a c distributividad de respecto a +
= a b + a c definicin de +
= a b + a c definicin de
De i), ii), iii), iv).v) y definicin se tiene que (Zn , +, ) es un anillo unitario.
11. Demostrar que (Zp , +, ), donde p es un nmero primo, es un cuerpo conmutativo.
Demostracin:
283
b) Sea E como en a) y la correspondencia definida tal que a cada par de elementos
de E le hace corresponder la recta que los une.
c) Sea E el conjunto de los seres humanos en un momento dado y la corresponden-
cia tal que a cada par de elemtos a y b de E le hace corresponder el promedio
de las edades de a y b.
d) Sea E el conjunto formado por todos las circunferencias del plano y la corres-
pondencia tal que a cada par de elementos c1 y c2 de E le asigna la circunferen-
cia del mismo plano, cuyo radio es la suma de los radios de las circunferencias
c1 y c2 .
e) Sea E = R2 y la correspondencia tal que a cada par de elementos de E, digamos
(a1 , a2 ), (b1 , b2 ), le hace corresponder el par (a1 + a2 , b1 + b2 ).
284
Decidir que propiedades satisfacen estas operaciones.
(x, y N) : x y = 2x + y.
7. Sea Mmn (R) las matrices de m filas y n columnas, con la ley externa definida por:
Determinar cul o cules de las propiedades dadas en las definiciones 5.9, 5.10 y
5.11 satisface la ley externa (considerar la suma usual de matrices y la suma usual
en R).
8. Sea A = {x = a + b 3 : a, b Q} tal que:
a) x = a + b 3 = y = c + d 3 a = c b = d
b) x + y = (a + b 3) + (c + d 3) = (a + c) + (b + d) 3
c) x = (a + b 3) = a + (b) 3, R.
Determinar cul o cules de las propiedades dadas en las definiciones 5.9, 5.10 y
5.11 satisface ley la externa.
Determinar cul o cules de las propiedades dadas en las definiciones 5.9, 5.10 y
5.11 satisface ley la externa (considerar la suma usual de funciones y la suma usual
en R).
285
10. Sea C el conjunto de los nmeros complejos, con la ley externa definida por:
Determinar cul o cules de las propiedades dadas en las definiciones 5.9, 5.10 y
5.11 satisface ley la externa (considerar la suma usual en C y la suma usual en R).
11. Sea F(R, R) con la ley externa definida en el ejercicio 9. Determinar cul o cules
de las propiedades dadas en las definiciones 5.9, 5.10 y 5.11 satisface ley la externa,
con respecto a la adicin definida por:
12. Decidir cules de los siguientes sistemas, cuyas leyes se definen en cada caso, poseen
una estructura de grupo. En caso de no serlo determine cules de los axiomas no se
verifican.
na o a c a c ad + bc
a) G = Q : b es entero impar y = + = .
b b d b d bd
b) G = Z y a b = a b.
c) G = Z+ y a b = a b (multiplicacin usual de enteros).
d) G = {a0 , a1 , a2 } donde
ai aj = ai+j si i + j < 3
ai aj = ai+j3 si i + j 3.
13. Probar que si (G, ) es un grupo abeliano, entonces para todo a, b G y para todo
entero n
(a b)n = an bn
14. Sea (G, ) un grupo tal que (a b)2 = a2 b2 (a, b G). Demostrar que (G, ) es
abeliano.
15. Sea (G, ) un grupo finito, con elemento neutro e. Demostrar que existe un n N
tal que an = e, para todo a G.
17. Sea G un conjunto no vaco con una ley interna , la cual es asociativa y que adems
satisface:
286
a) (e G) (a G) : ae=a
b) (a G) (a1 G) : a a1 = e
18. Sea G un conjunto no vaco y sea ley interna sobre G, que verifica:
a) (a, b G) : ab=ba
b) (a, b, c G) : (a b) c = a (b c)
c) (a G) : a a = a.
a b a b = a
21. Sea G = {0, 1}. Sobre G se define una ley interna , mediante la tabla siguiente
0 1
0 0 1
1 1 0
287
24. Sean (A1 , +, ) y (A2 , , ) dos anillos y sobre A1 A2 se definen las siguientes
leyes
(x1 , x2 ) (y1 , y2) = (x1 + y1 , x2 y2 )
a) Los neutros para las leyes + y , que son respectivamente 0 y 1, son nicos.
b) Los simtricos de x para las leyes + y , que son respectivamente x y x1 ,
son nicos.
c) Las leyes + y cumplen las leyes de cancelacin
(x, y, z K) : x + z = y + z = x = y
(x, y, z K)(z 6= 0) : x z = y z = x = y
.
d ) (x, y K) : (x + y) = x + (y).
e) (x, y K) : x y = (x y).
f ) (x, y K) : (x) (y) = x y.
g) (x, y K)(x 6= 0)(y 6= 0) : x y 6= 0
h) (x, y K)(x 6= 0)(y 6= 0) : (x y)1 = y 1 x1
288
28. Demostrar que Z Z con las siguientes operaciones:
a) (a, b) (c, d) = (a + c, b + d)
b) (a, b) (c, d) = (ac bd, ad + bc)
es un cuerpo.
289
Respuestas de los Ejercicios Propuestos
Captulo 1
4. b) q r, c) r t s, d) t s
6. a) falso, b) falso.
12. Sugerencia, aplicar las leyes siguientes: disyuncin excluyente, De Morgan, condi-
cional y bicondiconal.
13. Sugerencia, aplicar las leyes siguientes: De Morgan, asociativa, contradiccin e iden-
tidad.
16. Sugerencia, aplicar las leyes siguientes: simplificacin, modus ponendo ponens, silo-
gismo disyuntivo, conjuncin y De Morgan.
18. Sugerencia, aplicar las leyes siguientes: modus ponendo ponens y conjuncin.
19. Sugerencia, aplicar las leyes siguientes: simplificacin, modus ponendo ponens, modus
tollendo tollens y conjuncin.
290
25. Sugerencia, por reduccin al absurdo.
27. Si ambos son pares x + y = 2k1 + 2k2 = 2(k1 + k2 ) = 2k3 . Si ambos son impares se
procede de manera anloga.
29. a > b, entonces ab > 0 y como c < 0, entonces c > 0, de donde (ab)(c) > 0,
es decir ac + bc > 0, de donde bc ac > 0, con lo cual bc > ac, es decir ac < bc.
30. c) a | b b | a
b = aq1 a = bq2
b = (bq2 )q1
b = b(q2 q1 )
q2 q1 = 1
de donde q2 = q1 = 1 q2 = q1 = 1,
con lo cual a = b a = b.
Captulo 2
2. A C.
291
(A B) C A (B C)
(A C) B (A) (B C)
7. a) C (A B) = .
b) (C B) (A B) = {a, b, c}.
c) (A B) C = {d, f, g}.
d) (A C) B = {a, d, e, f, g}.
16. A A = {(a, a), (a, b), (b, a), (b, b)}, luego
(A A) = { ; {(a, a)}; {(a, b)}; {(b, a)}; {(b, b)}; {(a, a), (a, b)};
{(a, a), (b, a)}; {(a, a), (b, b)}; {(a, b), (b, a)}; {(a, b), (b, b)};
{(b, a), (b, b)}; {(a, a), (a, b), (b, a)}; {(a, a), (a, b), (b, b)};
{(a, a), (b, a), (b, b)}; {(a, b), (b, a), (b, b)}; A A }
19. La familia Ai es
1 1 1 1 1 1
A1 = (1, 1); A2 = , ; A3 = , ; A4 = , ; ...
2 2 3 3 4 4
por tanto
[ \
= (1, 1) y = {0}.
iN iN
292
20. Para realizar la prueba se usa el hecho que C A A C A, de igual modo
D B B D B.
El contraejemplo es:
Luego:
Captulo 3
293
e) Dom(R) = {1, 2, 4, 6, 8} y Rgo(R) = {1, 2, 4, 6, 8}. La representacin grfica de
R es:
294
R4 = {(1, 2)}. Es antisimtrica, transitiva y comparable.
R5 = {(2, 1)}. Es antisimtrica, transitiva y comparable.
R6 = {(1, 1), (2, 2)}. Es reflexiva, simtrica, antisimtrica y transitiva.
R7 = {(1, 1), (1, 2)}. Es antisimtrica, transitiva y comparable.
R8 = {(1, 1), (2, 1)}. Es antisimtrica, transitiva y comparable.
R9 = {2, 2), (1, 2)}. Es antisimtrica, transitiva y comparable.
R10 = {(2, 2), (2, 1)}. Es antisimtrica, transitiva y comparable.
R11 = {(1, 2), (2, 1)}. Es simtrica y comparable.
R12 = {(1, 1), (2, 2), (1, 2)}. Es reflexiva, antisimtrica, transitiva y comparable.
R13 = {(1, 1), (2, 2), (2, 1)}. Es reflexiva, antisimtrica, transitiva y comparable.
R14 = {(1, 1), (2, 1), (1, 2)}. Es simtrica y comparable.
R15 = {(2, 2), (2, 1), (1, 2)}. Es simtrica y comparable.
R16 = . Es reflexiva, simtrica, antisimtrica, transitiva y comparable.
R2 /R = {(x, y) : (x, y) R2 }.
c) a = {x Z : x R a} = {x Z : x a = 3n} = {x Z : x = 3n + a}.
0 = 3Z = {. . . , 6, 3, 0, 3, 6, . . .}. 1 = {. . . , 5, 2, 1, 4, 7, . . .}.
2 = {. . . , 4, 1, 2, 5, 8, . . .}. Luego
N N /R = {(a, b) : (a, b) N N }.
295
f) (a, b) = {(x, y) N N : a + y = b + x} = {(x, y) N N : y x = b a}
= {(a, b), (a + 1, b + 1), (a + 2, b + 2), . . .}
(0, 0) = {(0, 0), (1, 1), (2, 2), (3, 3), . . .}.
(3, 2) = {(3, 2), (2, 1), (1, 0), (4, 3), . . .}. Luego
9. 0 = {. . . , 6, 3, 0, 3, 6, 9, . . .}, 1 = {. . . , 2, 1, 4, 7, 10, . . .}
2 = {. . . , 4, 1, 2, 5, 8, 11, . . .}. Luego Z/R = {0, 1, 2}.
11. a) b) c)
d) e) f)
12. (2, 5) = {(x, y) N N : x y = 2 5 = 3} = {(2, 5), (0, 3), (1, 4), (3, 6), . . .}.
296
16. b).
24. Para (A, 1 ) se tiene: 1 es el primer elemento, no tiene ltimo elemento. 1 es minimal,
10, 11 y 12 son maximales.
Para (B, 2 ) no tiene primer elemento ni ltimo elemento; 1 y 10 son minimales. 7
y 8 son maximales.
297
c) 2 es cota inferior e nfimo de X = {2, 4, 12, 14}. 14 es cota superior y supremo
de X. De igual forma 1 es cota inferior e nfimo de Y = {1, 7, 9}. 9 es cota
superior y supremo de Y .
Captulo 4
1. b) y d)
4. . 9 funciones.
5. a) y c) son funciones.
8. b) d)
4 4
3 3
2 2
1 1
3 2 1
1 1 2 3 4 3 2 1
1 1 2 3 4
298
j) no inyectiva y no sobreyectiva
k) biyectiva
l) no inyectiva y sobreyectiva
m) no inyectiva y no sobreyectiva
n) inyectiva y no sobreyectiva
o) inyectiva y no sobreyectiva
p) no inyectiva y sobreyectiva
q) inyectiva y no sobreyectiva
r) inyectiva y no sobreyectiva
s) biyectiva.
10. a) f (x) = x b) 2x si x 0
f (x) =
2x 1 si x < 0
0 si x Q x
c) d) f (x) =
h(x) = 1 + |x|
1 si x
/Q
11. f ({1}) = 2, f ({1}) = 2, f ({0, 1, 2}) = {1, 2, 5}, f ([2, 1]) = [2, 5]
f 1 ({1}) = 0, f 1 ({5}) = {2, 2}, f 1 ({1, 2, 3, 4}) = {0, 1, 1, 2, 2, 3, 3}
[|x|] 2
2
x
16. (g f )(x) = + 1 ; (f g)(x) = + 1.
2 2
21. f = f1 f2 f3 f4 donde f1 (x) = 5 x; f2 (x) = 1 + x; f3 (x) = 3 x; f4 (x) = 1 x.
Captulo 5
299
b) La ley satisface las propiedades asociativa, conmutativa, el elemento neutro
es e = 0. Todo elemento es regular.
d) La ley es asociativa, conmutativa, no posee elemento neutro, no posee ele-
mentos simetrizables y todo elemento es regular.
f) La ley no es asociativa, es conmutativa, no posee elemento neutro, no posee
elementos simetrizables y todo elemento es regular.
5. - Asociatividad
(A+B) = [(aij )+(bij )] = (aij +bij ) = (aij +bij ) = (aij )+(bij ) = A+B.
300
8. La ley externa es distributiva respecto de la suma en A.
R, x = a + b 3 A, y = c + d 3 A se cumple
(x + y) = [(a + b 3) + (c + d 3)] = a + b 3 + c + d 3
= (a + b 3) + (c + d 3) = x + y.
11. No satisface la propiedad dada en la definicin 5.9, satisface las propiedades de las
definiciones 5.10 y 5.11.
301
12. a) Es un caso particular de la adicin en Q donde los denominadores son enteros
impares.
El producto de dos enteros impares es impar.
El sistema definido en (a) es un grupo abeliano.
b) La ley no es asociativa, ni conmutativa, no existe elemento neutro.
c) La ley en Z+ es asociativa, conmutativa, el neutro es 1. No todo elemento
admite un simtrico. No existe ningn entero positivo a tal que 2a = 1.
d) G es un grupo.
Sugerencia: Para probar la asociatividad, usar
n, s, m, v N : 3n + s = 3m + v = s = v,
20. Resolver x3 1 = 0 y con las soluciones construir la tabla, luego verificar que se
cumplen los axiomas.
22. (P [x], +) es un grupo abeliano. La adicin es una ley interna, asociativa, conmuta-
tiva, el neutro es el polinomio nulo, todo elemento p(x) P [x] admite un simtrico
p(x) P [x].
26. Supngase que K posee dos neutros aditivos y concluir que son iguales.
302
Bibliografa
[4] Bloch, E. (2000), Proofs and fundamentals. A first course in Abstract mathematics.
Birkhauser. Boston.
303
[13] Leithold, L. (1998), El Clculo. Sptima Edicin. Oxford University Press. Mxico.
[16] Lipschutz, S. (1970), Topologa General. Serie de Compendios Schaum. Mc Graw Hill.
[20] Nachbin, L. (1986), Algebra Elemental. Serie Matemtica. Monografa Nro. 26. Pub-
licacin de la Secretara de la OEA.
[23] Queysanne, M. (1974), Algebra Bsica. Traductor Jos Lus Viviente. Primera Edi-
cin. Editorial Vicens-Vives. Espaa.
[24] Queysanne, M. (1964), Algebre. Libraire Armand Colin. 103 Boulevard Saint-Michel.
Pars.
[26] Rodas, V. y otros (1976), Matemticas Universitarias. Tomos I-II. Ediciones Vega
S.R.L. Impreso en Espaa.
304
[27] Rojas, R. (1979), Teoremas y Problemas de lgebra Moderna. Volumen I. UPEL-IPB.
Departamento de Matemticas. Barquisimeto.
[30] Sestier, A. (1978), Diccionario Enciclopdico de las Matemticas. Editorial del Valle
de Mxico. Impreso en Mxico.
[31] Sotelo, M. (1986), Teora de Conjuntos. Edialba S.R.L. Ciudad Guayana. Venezuela.
[32] Stoll, R. (1963), Set Teory and Logic. W. H. Freedman And Company, San Francisco
and London.
[34] Universidad de Oriente, Revista Matemtica-Fsica. Nros. 18, 23, 24 y 25. Departa-
mento de Matemtica y Departamento de Fsica. Cuman. Venezuela.
[35] Tahan, M. (2007), Matemtica Divertida y Curiosa. Intermedio Editores Ltda. Cr-
culo de Lectores. Bogot.
[36] Trejo, C. y otros (1968), Ciclo Medio de Matemtica Moderna. Segundo Curso. Eu-
deba. Argentina.
[37] Warusfel, A. (1968), Los nmeros y sus misterios. Ediciones Martnez Roca S.A.
Barcelona.
305