Teoria de Conjuntos

OCTUBRE 2010-FEBRERO 2011
Reciba asesora virtual en: www.utpl.edu.ec

AUTOR:
Yofre Medardo Tene Morocho
UNIVERSIDAD TCNICA PARTICULAR DE LOJA
La Universidad Catlica de Loja
MODALIDAD ABIERTA Y A DISTANCIA
1. Datos informativos
5 CRDITOS
eora de Conjuntos
Gua didctica
CICLOS CARRERAS
1
Mencin:FsicoMatemticas
3

Mencin:FsicoMatemticas
P
L
A
N

D
E

E
S
T
U
D
I
O
S

A
N
T
E
R
I
O
R
U
T
P
L
-
E
C
T
S
ESCUELA DE CIENCIAS DE LA EDUCACIN
T
27103
TEORA DE CONJUNTOS
Gua didctica
Yofre Medadrdo Tene Morocho
CC

Ecuador 3.0 By NC ND
Diagramacin, diseo e impresin:
EDITORIAL DE LA UNIVERSIDAD TCNICA PARTICULAR DE LOJA
Call Center: 593 - 7 - 2588730, Fax: 593 - 7 - 2585977
C. P.: 11- 01- 608
www.utpl.edu.ec
San Cayetano Alto s/n
Loja-Ecuador
Primera edicin
Segunda reimpresin
ISBN-978-9942-00-635-6
Esta versin impresa, ha sido licenciada bajo las licencias Creative Commons Ecuador 3.0 de Reconocimiento-no comercial-sin obras derivadas; la cual
permite copiar, distribuir y comunicar pblicamente la obra, mientras se reconozca la autora original, no se utilice con fines comerciales ni se realicen
obras derivadas. http://www.creativecommons.org/licences/by-nc-nd/3.0/ec/
Octubre, 2010
1. Datosinformativos
2. ndice
3. Introduccin..................................................................................................................................... 5
4. LineamientosgeneralesdelModeloEducativobasadoen
competenciasycrditosacadmicosUTPL-ECTS........................................................... 6
4.1 Competenciasgenricas............................................................................................................ 7
4.2 Competenciasespecfcas......................................................................................................... 7
5. Bibliografa...................................................................................................................................... 8
5.1 Bsica......................................................................................................................................... 8
5.2 Complementaria........................................................................................................................ 8
6. Orientacionesgeneralesparaelestudio......................................................................... 9
7. Procesodeenseanza-aprendizajeparaellogrodecompetencias................... 11
PrIMErBIMESTrE
7.1 Planifcacinparaeltrabajodelalumno........................................................................... 11
7.2 Sistemadeevaluacin............................................................................................................ 13
7.3 Orientacionesespecfcasparaelaprendizajeporcompetencias................................. 14
UNIDADI:CONCEPTOSBSICOSYOPErACIONESCONCONJUNTOS............................................................ 14
1.1. Conceptosbsicos.....................................................................................................................14
1.2. Operacionesconconjuntos.......................................................................................................22
Autoevaluacin1................................................................................................................................29
UNIDAD2.APLICACIONES........................................................................................................................ 30
2.1. Correspondenciayaplicaciones................................................................................................30
2.2. Tiposdeaplicaciones.................................................................................................................35
Autoevaluacin2................................................................................................................................42
SEgUNDOBIMESTrE
7.1 Planifcacinparaeltrabajodelalumno........................................................................... 45
7.2 Sistemadeevaluacin............................................................................................................ 47
7.3 Orientacionesespecfcasparaelaprendizajeporcompetencias................................. 48
UNIDADIII:rELACIONESDEEQUIVALENCIAYOrDEN............................................................................... 48
3.1. Relaciones..................................................................................................................................48
3.2. Relacionesdeequivalencia.......................................................................................................50
3.3. Relacionesdeorden..................................................................................................................59
Autoevaluacin3................................................................................................................................58
2. ndice
PRELIMINARES Gua didctica: Teora de Conjuntos
UNIVERSIDAD TCNICA PARTICULAR DE LOJA La Universidad Catlica de Loja
5
UNIDADIV:CONJUNTOSFINITOSEINFINITOSNUMErABLES...................................................................... 59
4.1 Conjuntosfnitos........................................................................................................................59
4.2. Conjuntosdeaplicacionesentreconjuntosfnitos..................................................................62
4.3. Conjuntosnumerables..............................................................................................................64
Autoevaluacin4................................................................................................................................67
8. Solucionario..................................................................................................................................... 69
9. Anexos................................................................................................................................................ 71
5
3. Introduccin
Estimado profesional en formacin:
Mi nombre es Yofre Tene y tengo el agrado de darle la bienvenida al presente ciclo de estudios, es muy
importante para quienes conformamos la UTPL poder contar con usted formando parte de la mejor
universidad de educacin a distancia del Ecuador.
La materia de Teora de Conjuntos corresponde al primer ciclo de la carrera de Ciencias de la Educacin,
mencin Fsico-Matemticas de la UTPL. Es una materia troncal y tiene un valor de 5 crditos. En los
captulos que desarrollaremos a continuacin en la presente gua Ud. podr darse cuenta por qu esta
materia es tan interesante y hasta divertida.
Esta materia es una rama de las matemticas que contribuye a comprender y analizar matemticamente
diferentes aspectos de la realidad utilizando intuitivamente el concepto de conjunto, la relacin entre
diferentes conjuntos o en un mismo conjunto.
A partir de la sencilla nocin de conjunto y elemento, la capacidad de la mente humana puede elaborar
un complejo sistema de leyes, axiomas y teoremas que pueden aplicarse de igual manera en el estudio
de circuitos elctricos como en la biologa o sociologa, incluso si usted prefere, para resolver el acertijo
del peridico dominical. As, la Teora de Conjuntos est presente no solo en reas especfcas de la
matemtica sino en cada aspecto de nuestro diario vivir.
De manera general, la materia est dividida en dos partes. En el primer bimestre empezaremos
abordando algunos conceptos bsicos para luego aplicarlos en la unidad destinada para el estudio de
las aplicaciones. Luego, en el segundo Bimestre estudiaremos las relaciones de equivalencia y orden
para culminar el ciclo de estudios con la unidad de conjuntos fnitos e infnitos numerables.
Desendole xitos a lo largo del presente ciclo le invito a que empecemos la revisin de la materia.
Buena suerte!

7
Sr. Estudiante recuerde que usted ha iniciado su formacin de tercer nivel con un sistema educativo
basado en el desarrollo de competencias a travs de crditos acadmicos. Este modelo le convierte
a usted en protagonista de su propia formacin y al profesor en mediador de las experiencias de
aprendizaje.
Surge entonces la necesidad de que tenga claro dos conceptos fundamentales competencia y crdito
acadmico.
Qu es una competencia? Entendemos por competencia el conjunto de actitudes, habilidades
y conocimientos que el alumno adquiere e incorpora segn sus caractersticas personales y
experiencias laborales y, que se ponen de manifesto en el desempeo de la actividad profesional.
Las competencias se adquieren a lo largo del proceso formativo de la carrera y se desagregan en
objetivos de aprendizaje propuestos en cada asignatura.
Elementos de una competencia. Tres son los elementos que podemos distinguir en toda
competencia:
Actitudes: son predisposiciones y comportamientos ante situaciones concretas.
Habilidades: son destrezas para ejecutar con xito tareas, utilizar procedimientos y realizar
trabajos. Se desarrollan a travs de la prctica y la experiencia.
Conocimientos: constituyen los contenidos cientfcos, conceptuales, tericos, conocidos
tambin como el aprendizaje acadmico.
Qu es un crdito acadmico UTPL / ECTS en la Modalidad a Distancia?
Un crdito acadmico es la unidad de medida del trabajo del estudiante, implica 32 horas de
trabajo del alumno (29 horas de trabajo autnomo y 3 horas de interaccin)
1
.
Los crditos acadmicos que el estudiante ir acumulando en el transcurso de la carrera
involucran: aprendizaje autnomo (estudio personal), tareas de investigacin, interaccin en
el Entorno Virtual de Aprendizaje (EVA), participacin en tutoras, videoconferencias y otros
eventos acadmicos (Jornadas, seminarios, cursos, congresos avalados por la UTPL), prcticas
acadmicas, pasantas preprofesionales y de vinculacin con la colectividad; actividades de
evaluacin; as como la realizacin del trabajo de titulacin.
El modelo adoptado por la UTPL contempla dos tipos de competencias: genricas y especfcas.
Competencias Genricas: Son aquellas capacidades (actitudes, habilidades y
conocimientos) comunes a todas las profesiones que se ofrecen en la UTPL. Constituyen
una parte fundamental del perfl que el estudiante debe desarrollar durante su formacin.
4. Lineamientos generales del Modelo Educativo basado en

competencias y crditos acadmicos UTPL- ECTS
1 CONESUP(2008):Reglamento del Rgimen Acadmico del Sistema Nacional de Educacin Superior,art.18.

7
Competencias Especfcas: son propias de la titulacin, aportan a la cualifcacin especfca
para la profesin, dndole consistencia social y profesional al perfl formativo.
Estructura general del programa formativo
Las Unidades Acadmicas o Escuelas de la UTPL han estructurado el programa formativo
contemplando cinco mbitos o bloques de asignaturas: Formacin Bsica (10%); Genricas de
carrera (15%); Troncales (35%) Complementarias (10%); Libre confguracin (10%) y adems, el
Practicum que comprende las Pasantas preprofesionales y de vinculacin con la colectividad y
Practicum Acadmico (20%).
4.1 Competencias genricas
1. Capacidad de abstraccin, anlisis y sntesis.
2. Capacidad de aplicar los conocimientos en la prctica.
3. Conocimiento sobre el rea de estudio y la profesin.
4. Capacidad de investigacin.
5. Habilidad para buscar, procesar y analizar informacin procedente de fuentes diversas.
6. Capacidad para identifcar, plantear y resolver problemas.
7. Motivacin del logro.
4.2 Competencias especfcas
1. Dominio integral de conceptos bsicos de la matemtica y la fsica.
2. Capacidad para construir y desarrollar argumentaciones lgicas con una identifcacin clara de
hiptesis y conclusiones.
3. Conocimiento profundo del proceso de enseanza-aprendizaje de las matemticas y la fsica.

8

5.1 Bsica
FERNNDEZ Laguna, Vctor, (2003). Teora Bsica de Conjuntos, Grupo Anaya, S.A., Madrid.
El autor de este libro posee mucha experiencia y es un experto en el rea de la matemtica.
Esta obra es un texto bsico, introductoria para abordar la Teora de Conjuntos, utiliza lenguaje
matemtico concreto por lo que es necesario apoyarse en la gua didctica para poderlo
entender sin mayor difcultad. Sin embargo es bastante til por su manera bsica de desarrollar
los diferentes captulos facilitando el estudio de la materia sin presentar mucha complicacin.
TENE Morocho, Yofre, (2009). Gua didctica de teora de conjuntos, Editorial UTPL, Loja.
Es un instrumento didctico que se utilizar para el estudio de la materia de los profesionales en
formacin del primer ciclo de la escuela de Ciencias de la Educacin de la mencin en Fsico-
Matemticas de la UTPL. Es un complemento del texto base ya que le permite entender de mejor
manera los temas abordados en los contenidos de la materia.
5.2 Complementaria
SEYMOUR, Lipschuttz, (1999). Teora de Conjuntos y Temas Afnes, Editorial McGraw-Hill
Latinoamericana S. A., Bogot.
Este texto puede ser utilizado prcticamente en su totalidad, para desarrollar los ejercicios que
contiene o para revisar los que estn ya desarrollados con el fn de profundizar o reforzar los
captulos tratados a lo largo de la materia. No es muy explicativo.
ZILL Denis, DEWAR Jacqueline, (1999). lgebra y Trigonometra, Editorial MCGraw-Hill Americana
S. A., Bogot.
Este libro contiene bastantes ejercicios de los temas que se tratan en el contenido de la materia
con los que se puede afanzar los conocimientos, al igual que el anterior, lamentablemente no
ofrece una explicacin detallada de los temas que trata. Es un buen complemento para el texto
base.
- http://www.elibros
Esta direccin nos ofrece la posibilidad de encontrar varios libros sobre Teora de Conjuntos
que pueden ser descargados en formato PDF o Zip.
- http://www.uv.es/~ivorra/Libros/Libros.htm
Direccin en la que estn disponibles varios documentos sobre Teora de Conjuntos que
son descargables.
5. Bibliografa
8

- http://es.wikibooks.org
En este sitio estn disponibles varios documentos sobe la materia y la matemtica general.
Pueden ser consultados en lnea e incluso algunos son descargables como archivos PDF.
Estimado profesional en formacin:
Para el estudio de la materia se utilizar principalmente el texto base y la gua didctica. En la gua
didctica se presentarn las indicaciones, motivaciones y orientaciones necesarias para estudiar los
contenidos de manera ordenada basndose en la bibliografa bsica seleccionada.
De manera puntual se insiste en las siguientes sugerencias:
1. Revise los temas de la gua didctica de manera secuencial, es decir, no pase a un tema siguiente
sin antes haber entendido el actual.
2. A lo largo de esta gua didctica a menudo le pedir que revise el texto base, esto debido a que
la gua didctica no es el texto de estudio sino, como su nombre lo indica, es una gua.
3. Realice todos los ejercicios que se le proponen para lograr entender totalmente los diferentes
temas tratados. Si luego de haber agotado los recursos de estudio principales como lo son el
texto base o sus propias anotaciones, usted no entiende alguna parte de la materia, antela
inmediatamente para luego proceder a contactarse conmigo y poder ayudarle en el horario de
tutora respectivo, mediante correo electrnico o incluso, si usted prefere, mediante Messenger
(Chat).
4. No memorice los procedimientos para realizar los ejercicios, por el contrario realice todos los
ejercicios de manera razonada y lgica, encontrando el por qu de cada paso para la resolucin
de un determinado ejercicio.
5. En algunas pginas de la gua didctica encontrar grfcos que llamen la atencin, el objetivo
de estos es que usted tenga totalmente claros ciertos conceptos que son indispensables para el
tratamiento de temas posteriores.
6. Aborde por partes los temas o ejercicios que le resulten ms complejos, recuerde siempre esta
frase: Divide y vencers
7. Realice la autoevaluaciones que se encuentran al fnal de cada unidad de esta gua didctica,
ellas le ayudarn a identifcar en qu temas debe reforzar su estudio.
8. Es importante que ingrese al entorno virtual de aprendizaje (EVA), en l se desarrollarn partes
de algunos temas principales de la materia para que usted pueda entenderlos de mejor manera.
Adems tambin podr encontrar ejercicios desarrollados o inclusive podr contactarse con sus
compaeros y profesor para compartir conocimientos.
6. Orientaciones generales para el estudio
10
PRIMER BIMESTRE Gua didctica: Teora de Conjuntos
11
9. Racionalice su tiempo. La materia no es tan complicada como puede parecer si usted le da
un tiempo razonable para estudiarla pues, tratar de entenderla al fnal del bimestre y en poco
tiempo le ser prcticamente imposible.
10. Revise los anexos que se encuentran al fnal de la gua, en ellos existe una amplio nmero de
ejercicios, incluso muchos ya estan resueltos.
11. Finalmente, los temas a evaluar en el trabajo a distancia estn en forma secuencial por lo que a
medida que vaya estudiando la materia puede tambin ir desarrollndolos.
10
11
C
O
M
P
E
T
E
N
C
I
A
S
E
S
P
E
C
F
I
C
A
S
O
B
J
E
T
I
V
O
S

D
E

A
P
R
E
N
D
I
Z
A
J
E
C
O
N
T
E
N
I
D
O
S
C
R
O
N
O
G
R
A
M
A

O
R
I
E
N
T
A
T
I
V
O
T
i
e
m
p
o

e
s
t
i
m
a
d
o
A
C
T
I
V
I
D
A
D
E
S

D
E

A
P
R
E
N
D
I
Z
A
J
E
R
E
C
U
R
S
O
S

D
I
D
C
T
I
C
O
S
E
V
A
L
U
A
C
I
N
U
n
i
d
a
d
e
s

/
T
e
m
a
s
1
.

D
o
m
i
n
i
o

i
n
t
e
g
r
a
l

d
e

c
o
n
c
e
p
t
o
s

b
s
i
c
o
s

d
e

l
a

m
a
t
e
m
t
i
c
a

y

l
a

f
s
i
c
a
.
2
.

C
a
p
a
c
i
d
a
d

p
a
r
a

c
o
n
s
t
r
u
i
r

y

d
e
s
a
r
r
o
l
l
a
r

a
r
g
u
m
e
n
t
a
c
i
o
n
e
s

l
g
i
c
a
s

c
o
n

u
n
a

i
d
e
n
t
i
f
c
a
c
i
n

c
l
a
r
a

d
e

h
i
p
t
e
s
i
s

y

c
o
n
c
l
u
s
i
o
n
e
s
.
3
.

C
o
n
o
c
i
m
i
e
n
t
o

p
r
o
f
u
n
d
o

d
e
l

p
r
o
c
e
s
o

d
e

e
n
s
e
a
n
z
a
-
a
p
r
e
n
d
i
z
a
j
e

d
e

l
a
s

m
a
t
e
m
t
i
c
a
s

y

l
a

f
s
i
c
a
.

D
e
f
n
i
r

l
o
s

c
o
n
c
e
p
t
o
s

b
s
i
c
o
s

d
e

l
a

t
e
o
r
a

d
e

c
o
n
j
u
n
t
o
s
.

D
e
s
c
r
i
b
i
r

l
a
s

r
e
l
a
c
i
o
n
e
s

e
n
t
r
e

c
o
n
j
u
n
t
o
s
.

D
e
f
n
i
r

l
a
s

d
i
f
e
r
e
n
t
e
s

o
p
e
r
a
c
i
o
n
e
s

c
o
n

c
o
n
j
u
n
t
o
s
.

D
e
m
o
s
t
r
a
r

l
a
s

p
r
o
p
i
e
d
a
d
e
s

d
e

l
a
s

o
p
e
r
a
c
i
o
n
e
s

c
o
n

c
o
n
j
u
n
t
o
s
.
U
N
I
D
A
D

I
:

C
O
N
C
E
P
T
O
S

B
S
I
C
O
S

Y

O
P
E
R
A
C
I
O
N
E
S

C
O
N

C
O
N
J
U
N
T
O
S
1
.
1
.

C
o
n
c
e
p
t
o
s

b
s
i
c
o
s
.
1
.
2
.

O
p
e
r
a
c
i
o
n
e
s

c
o
n

c
o
n
j
u
n
t
o
s
.
S
e
m
a
n
a

1
6

h
o
r
a
s

d
e

a
u
t
o
e
s
t
u
d
i
o
.
4

h
o
r
a
s

d
e

i
n
t
e
r
a
c
c
i
n
.
S
e
m
a
n
a

2
6

h
o
r
a
s

d
e

a
u
t
o
e
s
t
u
d
i
o
.
4

h
o
r
a
s

d
e

i
n
t
e
r
a
c
c
i
n
.

L
e
c
t
u
r
a

c
o
m
p
r
e
n
s
i
v
a

d
e
l

c
a
p
t
u
l
o

I

d
e
l

t
e
x
t
o

b
a
s
e

y

d
e

l
a

u
n
i
d
a
d

I

d
e

l
a

g
u
a

d
i
d
c
t
i
c
a
.

A
n
l
i
s
i
s

d
e

e
j
e
r
c
i
c
i
o
s

d
e
s
a
r
r
o
l
l
a
d
o
s

d
e
l

c
a
p
t
u
l
o

I

d
e
l

t
e
x
t
o

b
a
s
e
.

D
e
s
a
r
r
o
l
l
o

d
e

e
j
e
r
c
i
c
i
o
s

p
r
o
p
u
e
s
t
o
s

e
n

e
l

c
a
p
t
u
l
o

I

d
e
l

t
e
x
t
o

b
a
s
e
.

D
e
s
a
r
r
o
l
l
o

d
e

l
a

a
u
t
o
e
v
a
l
u
a
c
i
n

I

d
e

l
a

u
n
i
d
a
d

I

d
e

l
a

g
u
a

d
i
d
c
t
i
c
a
.

C
o
m
e
n
z
a
r

e
l

d
e
s
a
r
r
o
l
l
o

d
e

l
a

e
v
a
l
u
a
c
i
n

a

d
i
s
t
a
n
c
i
a

d
e
l

p
r
i
m
e
r

b
i
m
e
s
t
r
e
.

R
e
v
i
s
a
r

l
o
s

r
e
c
u
r
s
o
s

y

r
e
a
l
i
z
a
r

l
a
s

t
a
r
e
a
s

p
r
o
p
u
e
s
t
o
s

e
n

e
l

E
n
t
o
r
n
o

V
i
r
t
u
a
l

d
u
r
a
n
t
e

l
a

s
e
m
a
n
a
s

1

y

2
.

T
e
x
t
o

b
a
s
e
.

G
u
a

D
i
d
c
t
i
c
a
.

E
v
a
l
u
a
c
i
n

a

D
i
s
t
a
n
c
i
a
.

B
i
b
l
i
o
g
r
a
f
a

c
o
m
p
l
e
m
e
n
t
a
r
i
a

s
i

d
i
s
p
o
n
e

d
e

e
l
l
a
.

E
n
t
o
r
n
o

V
i
r
t
u
a
l

(
E
V
A
)
.

E
v
a
l
u
a
c
i
n

a

D
i
s
t
a
n
c
i
a
,

s
u

v
a
l
o
r

e
s

d
e

6

p
u
n
t
o
s
.

E
v
a
l
u
a
c
i
n

d
e

l
a

p
a
r
t
i
c
i
p
a
c
i
n

e
n

e
l

E
V
A

c
o
n

u
n

v
a
l
o
r

d
e

m
x
i
m
o

1

p
u
n
t
o
,

l
a

c
u
a
l

c
o
m
p
l
e
m
e
n
t
a

a

l
a

e
v
a
l
u
a
c
i
n

a

d
i
s
t
a
n
c
i
a
.

E
v
a
l
u
a
c
i
n

P
r
e
s
e
n
c
i
a
l
,

s
u

v
a
l
o
r

e
s

d
e

1
4

p
u
n
t
o
s
.

D
e
f
n
i
r

y

d
i
s
t
i
n
g
u
i
r

l
o
s

c
o
n
c
e
p
t
o
s

d
e

c
o
r
r
e
s
p
o
n
d
e
n
c
i
a

y

a
p
l
i
c
a
c
i
n
.

I
d
e
n
t
i
f
c
a
r

y

d
e
f
n
i
r

l
o
s

d
i
f
e
r
e
n
t
e
s

t
i
p
o
s

d
e

a
p
l
i
c
a
c
i
o
n
e
s
.

A
p
l
i
c
a
r

l
a
s

d
e
f
n
i
c
i
o
n
e
s

d
e

a
p
l
i
c
a
c
i
o
n
e
s

y

l
o
s

t
i
p
o
s

d
e

a
p
l
i
c
a
c
i
o
n
e
s

e
n

l
a

c
o
m
p
o
s
i
c
i
n

d
e

a
p
l
i
c
a
c
i
o
n
e
s
.
U
N
I
D
A
D

I
I
:

A
P
L
I
C
A
C
I
O
N
E
S
2
.
1
.

C
o
r
r
e
s
p
o
n
d
e
n
c
i
a

y

a
p
l
i
c
a
c
i
o
n
e
s
.
2
.
2
.

T
i
p
o
s

d
e

a
p
l
i
c
a
c
i
o
n
e
s
.
2
.
3
.

C
o
m
p
o
s
i
c
i
n

d
e

a
p
l
i
c
a
c
i
o
n
e
s
.
S
e
m
a
n
a

3
6

h
o
r
a
s

d
e

a
u
t
o
e
s
t
u
d
i
o
.
4

h
o
r
a
s

d
e

i
n
t
e
r
a
c
c
i
n
.
S
e
m
a
n
a

4
6

h
o
r
a
s

d
e

a
u
t
o
e
s
t
u
d
i
o
.
4

h
o
r
a
s

d
e

i
n
t
e
r
a
c
c
i
n
.
S
e
m
a
n
a

5
6

h
o
r
a
s

d
e

a
u
t
o
e
s
t
u
d
i
o
.
4

h
o
r
a
s

d
e

i
n
t
e
r
a
c
c
i
n
.
S
e
m
a
n
a

6
6

h
o
r
a
s

d
e

a
u
t
o
e
s
t
u
d
i
o
.
4

h
o
r
a
s

d
e

i
n
t
e
r
a
c
c
i
n
.

L
e
c
t
u
r
a

c
o
m
p
r
e
n
s
i
v
a

d
e
l

c
a
p
t
u
l
o

I
I

d
e
l

t
e
x
t
o

b
a
s
e

y

d
e

l
a

u
n
i
d
a
d

I
I

d
e

l
a

g
u
a

d
i
d
c
t
i
c
a
.

A
n
l
i
s
i
s

d
e

e
j
e
r
c
i
c
i
o
s

d
e
s
a
r
r
o
l
l
a
d
o
s

d
e
l

c
a
p
t
u
l
o

I
I

d
e
l

t
e
x
t
o

b
a
s
e
.

D
e
s
a
r
r
o
l
l
o

d
e

e
j
e
r
c
i
c
i
o
s

p
r
o
p
u
e
s
t
o
s

e
n

e
l

c
a
p
t
u
l
o

I
I

d
e
l

t
e
x
t
o

b
a
s
e
.

D
e
s
a
r
r
o
l
l
o

d
e

l
a

a
u
t
o
e
v
a
l
u
a
c
i
n

I
I

d
e

l
a

u
n
i
d
a
d

I
I

d
e

l
a

g
u
a

d
i
d
c
t
i
c
a
.

C
o
n
t
i
n
u
a
r

c
o
n

e
l

d
e
s
a
r
r
o
l
l
o

d
e

l
a

e
v
a
l
u
a
c
i
n

a

d
i
s
t
a
n
c
i
a
,

t
e
r
m
i
n
a
r
l
a

y

p
r
e
s
e
n
t
a
r
l
a

e
n

e
l

c
e
n
t
r
o

u
n
i
v
e
r
s
i
t
a
r
i
o
.

R
e
v
i
s
a
r

l
o
s

r
e
c
u
r
s
o
s

y

r
e
a
l
i
z
a
r

l
a
s

t
a
r
e
a
s

p
r
o
p
u
e
s
t
o
s

e
n

e
l

E
n
t
o
r
n
o

V
i
r
t
u
a
l

d
u
r
a
n
t
e

l
a

s
e
m
a
n
a
s

3
,

4
,

5

y

6
.

T
e
x
t
o

b
a
s
e
.

G
u
a

D
i
d
c
t
i
c
a
.

E
v
a
l
u
a
c
i
n

a

D
i
s
t
a
n
c
i
a
.

B
i
b
l
i
o
g
r
a
f
a

c
o
m
p
l
e
m
e
n
t
a
r
i
a

s
i

d
i
s
p
o
n
e

d
e

e
l
l
a
.

E
n
t
o
r
n
o

V
i
r
t
u
a
l

(
E
V
A
)
.
P
r
i
m
e
r

B
i
m
e
s
t
r
e
7
.

P
r
o
c
e
s
o

d
e

e
n
s
e
a
n
z
a
-
a
p
r
e
n
d
i
z
a
j
e

p
a
r
a

e
l

l
o
g
r
o

d
e

c
o
m
p
e
t
e
n
c
i
a
s
7
.
1

P
l
a
n
i
f
c
a
c
i
n

p
a
r
a

e
l

t
r
a
b
a
j
o

d
e
l

a
l
u
m
n
o
12
13
S
e
m
a
n
a

7
6

h
o
r
a
s

d
e

a
u
t
o
e
s
t
u
d
i
o
.
4

h
o
r
a
s

d
e

i
n
t
e
r
a
c
c
i
n
.
S
e
m
a
n
a

8
6

h
o
r
a
s

d
e

a
u
t
o
e
s
t
u
d
i
o
.
4

h
o
r
a
s

d
e

i
n
t
e
r
a
c
c
i
n
.

P
r
e
p
a
r
a
c
i
n

p
a
r
a

l
a
s

e
v
a
l
u
a
c
i
o
n
e
s

p
r
e
s
e
n
c
i
a
l
e
s

d
e
l

p
r
i
m
e
r

b
i
m
e
s
t
r
e
.

R
e
v
i
s
a
r

l
o
s

r
e
c
u
r
s
o
s

y

r
e
a
l
i
z
a
r

l
a
s

t
a
r
e
a
s

p
r
o
p
u
e
s
t
o
s

e
n

e
l

E
n
t
o
r
n
o

V
i
r
t
u
a
l

d
u
r
a
n
t
e

l
a

s
e
m
a
n
a
s

7

y

8

T
e
x
t
o

b
a
s
e
.

G
u
a

D
i
d
c
t
i
c
a
.

E
v
a
l
u
a
c
i
n

a

D
i
s
t
a
n
c
i
a
.

B
i
b
l
i
o
g
r
a
f
a

c
o
m
p
l
e
m
e
n
t
a
r
i
a

s
i

d
i
s
p
o
n
e

d
e

e
l
l
a
.

E
n
t
o
r
n
o

V
i
r
t
u
a
l

(
E
V
A
)
.
12
13

C
r
i
t
e
r
i
o
s
F
o
r
m
a
s

d
e

e
v
a
l
u
a
c
i
n
A
c
t
i
t
u
d
e
s
H
a
b
i
l
i
d
a
d
e
s

C
o
n
o
c
i
m
i
e
n
t
o
s

P O R C E N T A J E
P U N T A J E
C o m p o r t a m i e n t o t i c o
C u m p l i m i e n t o , p u n t u a l i d a d
y r e s p o n s a b i l i d a d
E s f u e r z o e i n t e r s e n l o s
t r a b a j o s
R e s p e t o a l a s p e r s o n a s
y a l a s n o r m a s d e
c o m u n i c a c i n
C r e a t i v i d a d e i n i c i a t i v a
C o n t r i b u c i n e n e l t r a b a j o
c o l a b o r a t i v o y d e e q u i p o
P r e s e n t a c i n , o r d e n y
o r t o g r a f a
E m i t e j u i c i o s d e v a l o r
a r g u m e n t a d a m e n t e
D o m i n i o d e l c o n t e n i d o
I n v e s t i g a c i n ( c i t a f u e n t e s
d e c o n s u l t a )
A p o r t a c o n c r i t e r i o s y
s o l u c i o n e s
A n l i s i s y p r o f u n d i d a d e n
e l d e s a r r o l l o d e l o s t e m a s

1
.

A
u
t
o
e
v
a
l
u
a
c
i
n

y

a
c
t
i
v
i
d
a
d
e
s

r
e
c
o
m
e
n
d
a
d
a
s
.
E
s
t
r
a
t
e
g
i
a

d
e

a
p
r
e
n
d
i
z
a
j
e
*
2 . H e t e r o e v a l u a c i n
E
v
a
l
u
a
c
i
n

a

D
i
s
t
a
n
c
i
a
*
*
O
b
j
e
t
i
v
a
x
x
x
x
x
x
1
0
%
2
E
n
s
a
y
o
x
x
x
x
x
x
x
x
x
x
x
2
0
%
4
3
0
%
6
I
n
t
e
r
a
c
c
i
n

e
n

e
l

E
V
A
x
x
x
x
x
x
x
x
x
x
C
o
m
p
l
e
m
e
n
t
a

l
a

e
v
a
l
u
a
c
i
n

a

d
i
s
t
a
n
c
i
a
,

m
x
i
m
o

e
n

1

p
u
n
t
o
.
P
r
u
e
b
a

P
r
e
s
e
n
c
i
a
l
P
r
u
e
b
a
o
b
j
e
t
i
v
a
x
x
x
x
x
x
x
7
0
%
1
4
3
.

C
o
e
v
a
l
u
a
c
i
n
x
x
x
x
x
x
x
x
x
x
x
x
E
n

a
c
t
i
v
i
d
a
d
e
s

e
s
p
e
c
i
f
c
a
s

t
a
n
t
o

p
r
e
s
e
n
c
i
a
l
e
s

c
o
m
o

e
n

e
l

E
V
A
.

T
O
T
A
L
2
0

p
u
n
t
o
s

e
n

c
a
d
a

b
i
m
e
s
t
r
e
P
a
r
a

a
p
r
o
b
a
r

l
a

a
s
i
g
n
a
t
u
r
a

s
e

r
e
q
u
i
e
r
e

o
b
t
e
n
e
r

u
n

p
u
n
t
a
j
e

m
n
i
m
o

d
e

2
8
/
4
0

p
u
n
t
o
s
,

q
u
e

e
q
u
i
v
a
l
e

a
l

7
0
%
.
*

S
o
n

e
s
t
r
a
t
e
g
i
a
s

d
e

a
p
r
e
n
d
i
z
a
j
e
,

n
o

t
i
e
n
e
n

c
a
l
i
f
c
a
c
i
n
;

p
e
r
o

d
e
b
e

r
e
s
p
o
n
d
e
r
l
a
s

c
o
n

e
l

f
n

d
e

a
u
t
o
r
r
e
g
u
l
a
r

s
u

p
r
o
c
e
s
o

d
e

a
p
r
e
n
d
i
z
a
j
e
*
*

R
e
c
u
e
r
d
e
:

q
u
e

l
a

e
v
a
l
u
a
c
i
n

a

d
i
s
t
a
n
c
i
a

d
e
l

p
r
i
m
e
r

b
i
m
e
s
t
r
e

c
o
n
s
t
a

d
e

d
o
s

p
a
r
t
e
s
:

u
n
a

o
b
j
e
t
i
v
a

y

o
t
r
a

d
e

e
n
s
a
y
o
,

d
e
b
e

d
e
s
a
r
r
o
l
l
a
r
l
a

y

e
n
t
r
e
g
a
r
l
a

e
n

s
u

r
e
s
p
e
c
t
i
v
o

C
e
n
t
r
o

U
n
i
v
e
r
s
i
t
a
r
i
o

h
a
s
t
a

e
l

1
5

d
e

n
o
v
i
e
m
b
r
e

(
p
e
r
o
d
o

o
c
t
u
b
r
e
-

f
e
b
r
e
r
o
)

o

1
5

d
e

m
a
y
o

(
p
e
r
o
d
o

a
b
r
i
l
-
a
g
o
s
t
o
)
.

T
e
n
g
a

p
r
e
s
e
n
t
e

q
u
e

l
a

f
n
a
l
i
d
a
d

d
e

l
a

v
a
l
o
r
a
c
i
n

c
u
a
l
i
t
a
t
i
v
a

e
s

p
r
i
n
c
i
p
a
l
m
e
n
t
e

f
o
r
m
a
t
i
v
a
;

s
i
n

e
m
b
a
r
g
o
,

e
n

c
i
r
c
u
n
s
t
a
n
c
i
a
s

e
s
p
e
c
i
a
l
e
s

p
o
d
r
a

a
f
e
c
t
a
r
l
e

p
o
s
i
t
i
v
a

o

n
e
g
a
t
i
v
a
m
e
n
t
e

e
n

s
u

c
a
l
i
f
c
a
c
i
n

c
u
a
n
t
i
t
a
t
i
v
a
.
S
r
.

e
s
t
u
d
i
a
n
t
e
:
7
.
2

S
i
s
t
e
m
a

d
e

e
v
a
l
u
a
c
i
n
14
15
1.1. CONCEPTOS BSICOS
Bien, es el momento de empezar el estudio de la materia!
Este primer tema nos permite abordar los conceptos bsicos de la teora de conjuntos, sobre los cuales
se basan otros ms complejos y que los veremos en temas posteriores. Por ello es importante que
tratemos de comprender con claridad cada concepto, pues es un requisito indispensable para seguir
con el estudio del resto de la materia.
Para comenzar le invito a leer la introduccin del texto base ubicada en las primeras pginas. Es
importante que revise esta parte, con ella entender la forma en que el autor aborda la materia desde
su perspectiva, datos histricos puntuales, la importancia de la teora de conjuntos y un breve resumen
de cada captulo, lo cual nos servir en el proceso de aprendizaje y sobre todo en el manejo del texto
base.
Luego de la lectura de la introduccin del texto base, le invito a responder brevemente a la siguiente
interrogante:
En qu ramas de estudio nos podra servir la teora de conjuntos?
Existen muchsimas ramas de estudio en las cuales se aplica la teora de conjuntos, de ah tambin la
importancia de su estudio.
Ahora, nombre algunos conceptos de teora de conjuntos que estn presentes en todas las ramas del
saber matemtico.
Estoy seguro que usted tendr una idea general de las ramas matemticas en la que se encuentra
la teora de conjuntos y habr tenido un acercamiento a algunos conceptos con los que estaremos
tratando continuamente a lo largo del desarrollo de los contenidos de la asignatura. Continuemos.
1.1.1. Nocin de conjunto y subconjunto
Empezamos leyendo lo que nos presenta el texto base. Ubique el captulo I y lea el punto 1.1 en el
texto base.
Habiendo realizado la lectura, proponga con sus palabras la idea intuitiva de conjunto.
De la lectura, recuerde tambin cules son algunos conjuntos usuales en matemticas?
Ahora complementemos lo que hemos aprendido del texto base, le propongo el siguiente ejemplo:
7.3 Orientaciones especfcas para el aprendizaje por competencias
Unidad
1
CONCEPTOS BSICOS Y OPERACIONES
CON CONJUNTOS
14
15
Imagine que en el paralelo de Teora de Conjuntos en el cual usted estudia la materia, el listado de
estudiantes est conformado por los siguientes profesionales en formacin:
1. .. (Escriba su nombre)
2. Gabriel Andrade
3. Fernanda Tamay
4. Andrs Cepeda
5. Alejandra Guanuche
Creo que usted ya intuy que efectivamente, estamos tratando con un conjunto, cuyos elementos
son personas y que tienen como caracterstica comn, el ser profesionales en formacin de la materia
de teora de conjuntos que se dicta en la Escuela de Ciencias de la Educacin FI-MA de la UTPL en el
presente ciclo.
Recuerde que en la lectura que realiz acerca de este tema en el texto base, se especifca cundo un
conjunto est bien defnido. Por ello, para nuestro ejemplo, es necesario que dado cualquier nombre
de cualquier persona, debe ser posible determinar si esta persona es o no un profesional en formacin
del paralelo en el que usted estudia la materia teora de conjuntos de la Escuela de Ciencias de la
Educacin de la UTPL en el periodo actual.
Ahora bien, quiz tenemos clara la idea de lo que es un conjunto, pero nos falta determinar el por qu
es intuitiva, trmino que seguramente le llam la atencin.
El concepto de intuir se refere a que usted pueda percibir claramente una idea o verdad como si la
estuviera viendo.
2
Bien, ahora:
Del concepto que acabamos de leer, podramos concluir que el trmino intuitivo se refere a que
la idea que hemos determinado de lo que es un conjunto la asumiremos como una verdad cierta y
conocida.
Como se habr dado cuenta, tenemos clara la nocin de lo que es un conjunto. Por supuesto, existen
otras defniciones ms extensas o que quiz a usted le resulten ms fciles de comprender. Le invito a
que las investigue.
La segunda parte de este tema corresponde a la defnicin de subconjunto. Para ello nos apoyaremos
en nuestro ejemplo anterior.
Sabemos que la materia teora de conjuntos se dicta en la Escuela de Ciencias de la Educacin FI-MA
de la UTPL, adems tome en cuenta que cada profesional en formacin que se matricule en la materia
formar parte de los profesionales en formacin que pertenecen a la escuela Ciencias de la Educacin
FI-MA y por lo tanto pertenece a otro conjunto quiz aun ms grande de profesionales en formacin
que se educan en la UTPL.
2 Definicion.org.[enlnea].Disponibleenhttp://www.definicion.org/intuir
1
17
Grfcamente tendramos algo as:
Cada recuadro representa a un conjunto de estudiantes en particular. Note usted que, los estudiantes
de Teora de Conjuntos forman un conjunto que a su vez forman parte de otro conjunto ms grande
que contiene a todos los estudiantes de la Escuela de Ciencias de la Educacin Mencin FI-MA; pero
adems stos forman parte de un conjunto ms grande que son los estudiantes de la UTPL.
Por lo tanto diremos que: los profesionales en formacin que estudian la materia de teora de conjuntos
son tambin profesionales en formacin de la UTPL.
De manera formal: si tuviramos dos conjuntos A y B, A ser subconjunto de B si todo elemento de A
pertenece a B.
Le propongo que investigue la defnicin de subconjunto mediante simbologa
matemtica.
El concepto que acabamos de revisar nos conduce a otro ms general. Un conjunto que contiene a
todos los conjuntos del discurso, se acostumbra a identifcarlo como el conjunto universo pues todos
los elementos de todos los conjuntos del discurso estn contenidos en l, su representacin viene dada
por la letra U aunque no siempre se lo hace as.
Para fnalizar, propondr algunos ejemplos de conjuntos. Analice lo que caracteriza a cada coleccin
de elementos:
- a, e, i ,o ,u
- a, b, c, d, ., x, y, z
- enero, febrero, marzo, .., octubre, noviembre, diciembre
- -3, -2, -1, 0, 1, 2, 3
- -, 0,
TODOS LOS ESTUDIANTES DE LA
UTPL
(Estudiantes de otras escuelas)
Estudiantes de la escuela de
Ciencias de la Educacin,
Mencin FI-MA
(Estudiantes de
otras materias)
Estudiantes de la materia
Teora de Conjuntos
1
17
1.1.2. Nomenclatura y definiciones.
Continuando con nuestro estudio, es necesario revisar ahora el punto 1.2. del captulo I de nuestro
texto base. Este tema se refere a la notacin (nomenclatura) que generalmente se utiliza en teora de
conjuntos y a las dos maneras de defnir matemticamente un conjunto. Realice por favor una lectura
pausada y tratando de entender lo que se explica en cada prrafo.
El texto bsico no explica de manera especfca cmo se representa un conjunto y a sus respectivos
elementos. La nomenclatura nos permite hacer una representacin apropiada de manera que las
expresiones matemticas con las que trabajaremos sean entendibles y hasta cierto punto manejables
pues, lo que podramos escribir en un prrafo lo podemos resumir a una lnea si lo hacemos mediante
notacin matemtica.
Las letras maysculas con las que se representa un conjunto y las letras minsculas con las que se
representa los elementos que se llaman objetos o entes, son parte de los llamados smbolos primitivos
entre los cuales tambin se incluyen los llamados conectivos y los de puntuacin. La siguiente tabla
ampla un poco ms el listado de smbolos matemticos utilizados en la teora de conjuntos.
Objetos o entes Representa
A, B, C, , X, Y, Z Letras maysculas para representar conjuntos.
a, b, c, , x, y, z Letras minsculas para representar elementos (tambin se
pueden usar nmeros).
{} Para representar al conjunto vaco, cualquiera de las dos
formas es vlida.
Conectivos Se lee/Representa
Pertenece a.
No pertenece a.
Para todo.
Existe algn.
/
Tal que.
Unin de conjuntos.
Interseccin de conjuntos.
Incluido en.
Contiene a.
No est incluido en.
Adems de contenido puede ser igual.
Adems de incluido puede ser igual.
Entonces
Puntuacin Se lee/Representa
, Separador de elementos.
: Tal que.
Desde hasta.
18
1
Esto no quiere decir que sean los nicos, existirn otros los cuales le invito a investigar e incluirlos en la
tabla, pues mi intencin ha sido recopilar los ms usuales.
La siguiente parte del punto que estamos tratando se refere a la manera de defnir un conjunto; esto
se encuentra casi al fnal del punto 1.2 del captulo I del texto base, antes del ejemplo. Volvamos a leer
esos dos conceptos para luego responder a la siguiente pregunta.
Puede identifcar de cuntas maneras se puede defnir a un conjunto?. Si la respuesta es afrmativa,
nmbrelas y defnalas brevemente con sus propias ideas. Si an no las entiende le invito a leer
nuevamente las defniciones.
Bien, usted se habr dado cuenta que las defniciones anteriores no son complejas, sin embargo hay
que tenerlas presentes y saber diferenciarlas muy bien. Para complementar, le invito a analizar los
siguientes ejemplos.
1. El conjunto de nmeros enteros pares mayores a 2 y menores a 10.
Formalmente el mismo conjunto se lo podra escribir de la siguiente manera:
A = {x/x N, x > 2 x < 10}
Se lee: El conjunto A est formado por las x tal que x pertenece a los naturales, x es mayor a 2
y x es menor a 10.
Otro ejemplo
2. Ahora bien, tomar el ejemplo anterior para proponer un conjunto defnido por extensin:
A = {3, 4, 5, 6,7,8,9}
Espero que estos dos ejemplos le hayan servido para aclarar alguna duda que haya podido tener en
cuanto a este tema. Sobre todo considere la diferencia al defnir los conjuntos de una manera y otra.
Note tambin cmo se representa un conjunto de manera formal, es decir, entre llaves. Por ejemplo, si
estamos hablando de un conjunto formado por las letras del alfabeto espaol escribiremos:
A = {a, b, c, , x, y, z}
Luego veremos que tambin es posible representar de manera grfca a los conjuntos, pero generalmente
en el texto base y en esta gua didctica utilizaremos esta manera de representar conjuntos.
Conjunto vaco.
Analice la siguiente expresin:
{i : i i}
Efectivamente, el conjunto formado por los elementos i tal que i diferente de i no contiene nada. A
este conjunto sin elementos lo llamaremos conjunto vaco, y la manera de representarlo es mediante
el smbolo . Ver tabla anterior.
18
1
Continuemos con el estudio de la materia.
Otros conceptos importantes.
Este tema no consta en el texto base, excepto la igualdad de conjuntos. He credo conveniente incluir
algunos teoremas de manera un poco ms formal y que son fundamentales para abordar los siguientes
puntos de la materia. Esto le ayudar a reforzar su conocimiento y sobre todo a interpretar lo que nos
presenta el texto base.
1. Si un elemento x pertenece a un conjunto A, es comn representar esta relacin de la siguiente
manera: x A.
2. La negacin de la expresin x A se escribe x A.
3. Dos conjuntos A y B son iguales si y solo si A y B tienen los mismos elementos. As, A = B siempre
y cuando x A x B.
4. Sean dos conjuntos A y B. Cuando A B y todo elemento de x elemento de A, es tambin
elemento de B y viceversa, se puede concluir que A = B lo que implica tambin que A A.
5. Sea el conjunto A = { x
1
, x
2
, , x
n
} donde n es un nmero entero positivo. El orden de los
elementos en A no es importante.
6. Si un elemento x A, equivale a escribir {x} A.
7. Es muy importante recordar que para cualquier conjunto A se tiene que A. La nica manera
de que no se cumpliera esto, es que tuviera algn elemento que no est contenido en A.
Como sabemos, esto no es posible pues no tiene elementos.
Recuerde que la igualdad de conjuntos consta en el texto base como el punto 1.4. formando parte del
captulo I. Le recomiendo leer este punto y a analizar sobre todo los ejemplos que all se presentan.
Le invito a continuacin a animar su espritu de investigacin, busque en un texto de conceptos bsicos
de conjuntos o en la Internet los siguientes conceptos.
Para investigar:
Cul es la diferencia entre conjunto fnito e infnito?
Cundo un conjunto es equivalente a otro?
Cmo le fue con la investigacin de estos dos conceptos? Espero que muy bien. Ahora es el momento
de continuar con el siguiente tema.
1.1.3. Diagramas de Venn y lineales.
Una de las maneras de representar grfcamente un conjunto son los diagramas de Venn. Este tema
est en la parte fnal del punto 1.3 del captulo I. Estos diagramas son superfcies limitadas por una lnea
dentro de las cuales se colocan los elementos de cada conjunto respectivamente. A cada superfcie se
la nombra con una letra mayscula la cual representa al conjunto.
20
21
Para comprender mejor cmo se representan los conjuntos mediante diagramas de Venn, le presento
un ejemplo.
Sea el conjunto A = {a, b, c} y el conjunto B = {1, 2, 3}. Representando los conjuntos mediante
diagramas de Venn tenemos:
Pero los diagramas de Venn no se quedan en la simple representacin grfca de conjuntos. Analicemos
la siguiente defnicin sobre estos diagramas. Estos diagramas se usan para mostrar grfcamente la
relacin matemtica o lgica entre diferentes grupos de cosas (conjuntos), representando cada conjunto
mediante un valo o crculo. La forma en que esos crculos se sobreponen entre s muestra todas las
posibles relaciones lgicas entre los conjuntos que representan. Por ejemplo, cuando los crculos se
superponen, indican la existencia de subconjuntos con algunas caractersticas comunes.
3
Como ejemplo le propongo los siguientes conjuntos representados mediante diagramas de Venn:
A = {a, b, c, d, e}, B = {e, f, g, h} y C = {d, e}
Veamos la representacin grfca de estos conjuntos y sobre todo la relacin que tienen entre s:
Qu puede observar en este diagrama de Venn? Seguramente se percat que existen al menos dos
aspectos relevantes que pueden representar relaciones entre los conjuntos representados. Primero se
ve que A, B y C tienen un elemento en comn (el elemento e), luego tambin se observa que todos los
elementos de C estn contenidos en el conjunto A. As podemos ver que efectivamente los diagramas
de Venn nos permiten determinar de forma grfca las relaciones entre conjuntos. Ms adelante, cuando
tratemos con operaciones con conjuntos, podremos aplicar mejor estos diagramas.
a
b c
1
2 3
A
B
3 Wikipedia-org.[enlnea].disponibleen:http://es.wikipedia.org/wiki/Diagramas_de_Venn
U
A
B

C
f
g
h
a b

c e
d
U
20
21
Ahora pasemos a revisar los diagramas lineales. Ubiquemos el punto 1.3 Representacin grfca
de conjuntos, del captulo I del texto base. Le invito a realizar la lectura de este punto sobre la
representacin lineal.
Para qu se usa la representacin lineal de conjuntos? Seguramente se habr percatado que esta forma
de representar a un conjunto es ms til cuando tratamos con conjuntos numricos. La representacin
lineal, como se habr dado cuenta, consta principalmente de una lnea que se asemeja a una recta
numrica.
1.1.4. Relacin de inclusin de conjuntos.
Para abordar este tema, ubique en el texto base el punto 2.1 del captulo I y lalo detenidamente.
Bien, luego de la lectura Cundo un conjunto es subconjunto de otro? Utilizando simbologa
matemtica, cmo se representa la inclusin de conjuntos?.
Vayamos ahora a analizar las propiedades de la inclusin de conjuntos. Las propiedades refexiva
y antisimtrica son las que faltan por demostrar mientras que la transitiva est ya demostrada en el
texto.
La propiedad refexiva dice que A A.
Ahora la propiedad antisimtrica dice que A = B A B y B A.
Efectivamente, si A B signifca que todo elemento x de A est en B pero si a esto le agregamos que
todo elemento y de B est en A signifca que x es igual a y por lo que se puede concluir que A es igual
a B.
Ahora continuemos nuestro estudio con el siguiente tema.
1.1.5. El conjunto de partes de un conjunto.
Este tema corresponde al punto 2.2 del captulo I del texto base. Como es normal, empezaremos
realizando una lectura comprensiva de este punto. Por ahora lea solo hasta antes del ttulo
Consideraciones importantes. No olvide prestar especial atencin a la forma en la que se expresa
mediante simbologa matemtica las partes de un conjunto y la condicin para que un subconjunto
forme parte del conjunto potencia.
Luego de la lectura revisemos lo que comprendi de ella. Cmo se llaman las partes de un conjunto?
Cundo un conjunto A pertenece a las partes de un conjunto X? Qu diagramas usa el texto base para
representar a un conjunto y sus partes?
Si no pudo responder a las preguntas anteriores, debe volver a realizar la lectura.
Bien, ahora continuemos con la revisin de este tema. Lea lo que est bajo el ttulo Consideraciones
importantes hasta antes del ejemplo. Revise de manera detenida los dos literales.
El primer literal, como se habr percatado, se refere a la propiedad refexiva que se cumple para
cualquier conjunto y que dice que todo conjunto esta incluido en s mismo.
22
23
El segundo literal hace referencia a una de las propiedades que caracteriza al conjunto vaco, recuerde
que en todo conjunto se encuentra implcitamente contenido el conjunto vaco. Por lo tanto en este
caso el conjunto vaco est incluido en el conjunto X y adems pertenece al conjunto de partes de X.
Ahora continuemos, analice el ejemplo 1 del punto 2.2 del captulo I. Si comprendi la lectura que
acaba de realizar le ser muy fcil asimilar lo que nos dice el autor del texto base.
Como conclusin podramos decir que el nmero de subconjuntos que forman el conjunto de partes
de un conjunto A viene dado por 2
n
donde n es el nmero de elementos de A.
El siguiente aspecto de este tema que el texto base nos presenta es Relaciones de inclusin e igualdad
en las partes de un conjunto. Procedamos entonces con la lectura hasta antes del ejemplo 2.
La explicacin est bastante clara y no hace falta aclarar algo ms pues lo que nos dice el autor ya lo
habamos abordado de alguna manera en el punto 1.1.5. de esta gua didctica.
Para fnalizar es necesario que revise los ejemplos 2 y 3 que se encuentran a continuacin en el
texto base, ponga especial atencin en la demostracin del ejemplo 3. Al fnal se hace hincapi en la
diferencia entre un subconjunto y un subconjunto propio. Es importante que usted sepa que A B y
A B son expresiones que tienen una pequea diferencia.
1.2. OPERACIONES CON CONJUNTOS.
Bienvenido a este tema muy interesante, ya que vamos a pasar de los conceptos a realizar operaciones
con conjuntos; en el texto base est como el punto 3 del captulo I. Empecemos leyendo lo que est
bajo el ttulo Operaciones entre conjuntos, es decir lo que est antes del punto 3.1.
Sabe usted cules son las operaciones con conjuntos que vamos a estudiar? Si supo contestar a la
pregunta entonces esta listo para empezar con la primera de las operaciones, la unin de conjuntos.
Antes debo aclarar que para nuestro estudio es irrelevante como se haga referencia a las operaciones
pues decir unin de conjuntos o unin de subconjuntos viene a dar lo mismo.
1.2.1. Unin de conjuntos.
Lea por favor el punto 3.1 del captulo I. Analice y trate de comprender el concepto que se encuentra
resaltado con la vieta, realice la lectura primero hasta antes del ejemplo 1 de este punto.
Al haber realizado la lectura usted seguramente comprendi el concepto de la unin de conjuntos. Por
lo tanto le invito a completar el prrafo siguiente:
La unin de A y B subconjuntos de X, representada por ..............., es el conjunto de todos los
elementos x X tales que x ... o x .
Adems, cul es la manera de expresar matemticamente la unin de conjuntos?
Observe tambin la manera de representar la unin mediante diagramas de Venn. En el siguiente
grfco, sombree el rea que representa la unin de los conjuntos A y B.
22
23
Analicemos ahora el ejemplo 1 del punto 3.1. Este es un ejemplo sencillo que nos permite entender
de manera clara la unin de conjuntos. Recuerde que no necesariamente deben existir elementos en
comn entre A y B para realizar la unin de conjuntos pues el conjunto A es el conjunto de nmeros
naturales pares y B el conjunto de nmeros naturales impares, siendo A y B totalmente diferentes.
Mediante diagramas de Venn estos casos se los representara de la siguiente manera:
Note las rea sombreadas las cuales a travs de la unin representan a un solo conjunto, es decir a A
B
Luego del ejemplo 1 en el texto base encontramos un aspecto muy importante al que usted debe
ponerle especial atencin, me refero a las propiedades de la unin de conjuntos.
Lea y analice las 5 propiedades una a una. A medida que vaya entendindolas ser capaz de ir
memorizndolas.
Ahora, luego de la lectura y sobre todo del anlisis, proponga un ejemplo para la propiedad conmutativa,
yo le propondr un ejemplo para la propiedad transitiva.
Sean los conjuntos A={3, 6, 9} y B={2, 4, 6} y C={1, 5, 7, 8}.
Para mostrar la propiedad transitiva mediante estos tres conjuntos empezar por realizar la parte
izquierda de la expresin, es decir (A B) C.
Lo primero que se indica que se debe realizar es A B, lo cual nos da como resultado {3, 6, 9, 2, 4,
6}, luego (A B) C = {3, 6, 9, 2, 4, 6, 1, 5, 7, 8}.
Bien, ahora realicemos la parte derecha de la expresin, es decir A (B C).
En la parte derecha los parntesis nos indican que debemos realizar primero B C. El resultado en este
caso es {2, 4, 6, 1, 5, 7, 8}, luego A (B C) = {3, 6, 9, 2, 4, 6, 1, 5, 7, 8}.
X
A
B
X
A B
24
25
Finalmente igualando el resultado de la parte derecha e izquierda tenemos {3, 6, 9, 2, 4, 6, 1, 5, 7, 8}
= {3, 6, 9, 2, 4, 6, 1, 5, 7, 8}. Vemos que se cumple la propiedad.
Continuemos ahora analizando el prrafo que se encuentra resaltado con la vieta y que se encuentra
luego de las propiedades, el concepto es sencillo de comprender por lo que pasaremos a analizar
directamente el ejemplo 2 del punto 3.1.
Revise el ejemplo, al inicio parecera complejo el entenderlo pero no es as, los intervalos que forman el
subconjunto de intervalos efectivamente se encuentra incluido entre 0 y 1, incluido el 0 y excluido el 1,
ya que cualquiera que sea el nmero natural n el resultado de la operacin 1-(1/n) nos dar siempre un
nmero real positivo menor a 1 o igual a cero si n=1. Revise la demostracin del ejemplo y no olvide
la propiedad antisimtrica, la cual es usada por el autor para concluir con la demostracin.
1.2.2. Interseccin de conjuntos.
Para continuar ubique y lea el punto 3.2 del captulo I. Analice y trate de comprender lo que contienen
los prrafos resaltados con vietas, realice la lectura primero hasta antes del ejemplo 1 de este punto.
Al haber realizado la lectura usted seguramente comprendi el concepto de la interseccin de conjuntos.
Por lo tanto le invito a completar el prrafo siguiente:
La interseccin de A y B subconjuntos de X, representada por ..............., es el conjunto de todos los
elementos x de X tales que, simultneamente x ... y x .
Adems, cul es la manera de expresar matemticamente la interseccin de conjuntos?
Observe tambin la manera de representar la interseccin mediante diagramas de Venn. En el siguiente
grfco, sombree el rea que representa la interseccin de los conjuntos A y B, recuerde que la
interseccin en el grfco viene dada por el rea que comparten tanto A como B a la vez.
Como nos hace notar el texto base, cuando dos conjuntos no tienen elementos en comn, se dice que
los conjuntos son disjuntos. Mediante diagramas de Venn este caso se los representara de la siguiente
manera:
X
A
B
A B
X
24
25
Note que no existe rea sombreada alguna lo cual quiere decir que no existen elementos que
pertenezcan a A como a B simultneamente por lo que la interseccin entre A y B viene representada
por el conjunto .
Analice ahora el ejemplo 1 del punto 3.2 sabe por qu A B = {15n: n N}? Si no lo entendi,
quiz la siguiente explicacin le aclare un poco el panorama sobre este ejemplo.
El conjunto A estar formado por los siguientes elementos:
3 6 9 12 15 18 21 24 27 30 33 36 39 42 45
El conjunto B estar formado por los siguientes elementos:
5 10 15 20 25 30 35 40 45 50 .
Note los nmeros que sobresalen. Son precisamente los elementos en los que el conjunto A y B
coinciden, es decir esos elementos son parte de la interseccin entre los dos conjuntos. Ahora bien,
los nmeros (elementos) en los que coinciden los dos conjuntos pueden ser reemplazados por una
expresin general la cual es 15n, donde n es un nmero que pertenece a N. El resto del ejemplo
concluye con la demostracin del mismo.
Vamos ahora a centrarnos en lo que a continuacin del ejemplo 1 nos presenta el texto base, me
refero a las propiedades de la interseccin de conjuntos.
Lea, analice y trate de comprender cada una de las propiedades, luego plantee un ejemplo para cada
propiedad para mostrar que se cumplen. De mi parte tomar la propiedad asociativa y plantear un
ejemplo para mostrarla.
Sean los conjuntos A={3, 6, 9} y B={1, 3, 5, 7, 9} y C={3, 5, 7, 9}.
Para mostrar la propiedad transitiva mediante estos tres conjuntos empezar por realizar la parte
izquierda de la expresin, es decir (A B) C.
Lo primero que se indica que se debe realizar es A B, lo cual nos da como resultado {3, 9}, luego
(A B) C = {3, 9}.
Bien, ahora realicemos la parte derecha de la expresin, es decir A (B C).
En la parte derecha los parntesis nos indican que debemos realizar primero B C. El resultado en este
caso es {3, 5, 7, 9}, luego A (B C) = {3, 9}.
Finalmente igualando el resultado de la parte derecha e izquierda tenemos {3, 9} = {3, 9}. Vemos
que se cumple la propiedad.
Para continuar, analice la defnicin de la interseccin de un conjunto de subconjuntos de X que se
encuentra luego de las propiedades marcada en un prrafo con vieta en el texto base.
Pase al ejemplo 2 que se encuentra a continuacin y revise detenidamente la demostracin del mismo
de manera que la entienda con claridad.
Es el momento de continuar y pasar a la siguiente operacin con conjuntos.
2
27
1.2.3. Complemento.
Este tema corresponde al punto 3.3 del captulo I del texto base, est bajo el titulo de Complemento
de un subconjunto. Lea lo que le presenta el texto base y trate de poner mayor nfasis en la defnicin
que est en el prrafo marcado con una vieta y a la manera de representar esta operacin grfcamente
mediante el diagrama de Venn. No pase al ejemplo sin antes haber entendido la defnicin.
Cmo le fue con la lectura? Seguramente muy bien. Aclaremos algunos aspectos del complemento
de conjuntos. El texto base usa una forma de notacin, nosotros para facilitar la comprensin y evitar
confusiones utilizaremos la siguiente.
A = {x X: x A}
Qu le parece?, pienso que esta notacin es mucho ms fcil de manejar.
Luego del diagrama de Venn existe un ejemplo sencillo. Lo que nos dice el ejemplo es que tenemos
un conjunto formado por {3(1), 3(2), 3(3), 3(4), 3(5),} es decir {3, 6, 9, 12, 15, }. Bien, ahora
escribiendo los primeros elementos del complemento de ese conjunto tenemos: {1, 2, 4, 5, 7, 8, 10,
11, 13, 14, }. Como podemos observar entre (3, 1) el M.C.D. es 1, luego entre (3, 2) el M.C.D. es
1, tambin entre (3, 4) el M.C.D. es 1; con lo cual efectivamente, el complemento queda defnido por
el conjunto {m N: M.C.D. (3, m)=1}. Tambin pudimos haberlo expresado de la siguiente manera:
conjunto {m: m = n/3, n A}. Le invito a tratar de escribir de otra manera este mismo conjunto. Es
cuestin de creatividad.
Pasemos a revisar las dos propiedades fundamentales para esta operacin con conjuntos. Si no
las comprende, le invito a demostrarlas mediante un ejemplo como se lo hizo para la unin y la
interseccin.
Existen otras propiedades derivadas que como tarea de investigacin podra averiguarlas. Por ejemplo
(A) = A
Le invito a revisar el ejemplo del punto 3.3 del texto base que est a continuacin, se refere a la
demostracin de manera general de las propiedades del complemento. Ponga especial nfasis en
las leyes de de Morgan; estas son muy importantes en la demostracin de algunas propiedades. Me
permitir demostrar una de estas leyes (la segunda) mediante un ejemplo:
Sean A = {a, b, c}, B = {c, d, e}, X = {a, b, c, d, e, f} {a, b, c}, B = {c, d, e}, X = {a, b, c, d, e, f} a, b, c}, B = {c, d, e}, X = {a, b, c, d, e, f} }, B = {c, d, e}, X = {a, b, c, d, e, f} , B = {c, d, e}, X = {a, b, c, d, e, f} {c, d, e}, X = {a, b, c, d, e, f} c, d, e}, X = {a, b, c, d, e, f} }, X = {a, b, c, d, e, f} , X = {a, b, c, d, e, f} {a, b, c, d, e, f} a, b, c, d, e, f} }
Primero realizar la parte derecha de la expresin. Tenemos entonces B = {a, b, f} y A = {d, e, f},
luego A B = {d, e, f, a, b}.
Ahora hay que resolver la parte izquierda. Tenemos A B = {c}. Luego (A B) = {a, b, d, e, f}.
Finalmente igualando las dos partes tenemos {a, b, c, d, e, f} = {a, b, c, d, e, f} con lo cual se ha
mostrado la ley.
1.2.4. Diferencia y diferencia simtrica.
Para abordar esta parte de la materia, ubique en el texto base el punto 3.4 del captulo I. Lea todo lo
que se encuentra antes del ejemplo. Recuerde poner especial atencin al concepto que se encuentra
con la vieta y a los tres diagramas de Venn que se muestran; no olvide la notacin matemtica.
2
27
Luego de la lectura seguramente usted tiene claro este tipo de operacin con conjuntos. Los dos
diagramas de Venn que se encuentran antes del ejemplo representan la resolucin de la expresin A
- B = A (X - B) la cual se puede probar con un ejemplo proponiendo conjuntos especfcos, le invito
a realizarlo como ejercicio ya que al hacerlo podr entender lo que se propone en el ejemplo que est
a continuacin en el texto base.
Adems de la diferencia entre dos conjuntos dados, tambin existe un concepto llamado diferencia
simtrica.
La diferencia simtrica difere un poco con el concepto de diferencia pues cuando hablamos de diferencia
simtrica entre dos conjuntos A y B nos referimos al conjunto formado por todos los elementos que
pertenecen a A o a B pero no a los dos a la vez, es decir:
A B {x: (x B {x: (x B = {x: (x {x: (x x: (x A x B) (x B x A)} }
Diferenciemos los dos conceptos con un ejemplo: Sean A = {1, 2, 3, 4, 5}, B = {3, 4, 5, 6, 7}
subconjuntos de X = {1, 2, 3, 4, 5, 6 ,7 ,8 ,9 10}
Entonces:
A B = {1, 2}
A B {1, 2, 6, 7}
Como tarea le invito a sombrear el rea que representara la diferencia simtrica entre A y B. Recuerde
que el rea que debe sombrear es donde se encuentran lo elementos 1, 2 y 6, 7:
Como se habr dado cuenta, los dos conceptos que acabamos de revisar son muy sencillos y fciles de
comprender; avancemos!
1.2.5. Producto cartesiano.
Este es un tema que lo abordaremos de forma breve con la fnalidad de profundizar en la siguiente
unidad de la gua y en el captulo II del texto base.
Ubique por favor el punto 3.5 del captulo I de su texto base. Realice la lectura correspondiente hasta
antes del ejemplo 1. No olvide comprender con claridad los dos conceptos marcados con una vieta
cada uno.
Luego de la lectura, espero que usted haya entendido el concepto de producto cartesiano. Recuerde
que el producto cartesiano si bien es cierto es entre dos conjuntos ms adelante veremos que puede
ser incluso entre un mismo conjunto.
X
A
B
8 9 10
6
7
3
4
5
1
2
28
2
Adems, el resultado de A B es diferente de B A es decir el producto cartesiano no es conmutativo.
Vayamos a revisar el ejemplo 1 del punto 3.5 que se encuentra a continuacin en el texto base.
Del ejemplo lo que ms trasciende es que en realidad cada par ordenado puede representar un punto
en el plano. En la siguiente unidad podremos aplicarlo de mejor manera este tipo de representaciones
en el plano. Adems de los nombres que se dan en el texto base a x e y, cuando se trata de cualquier
elemento, a x se la acostumbra llamar primera componente y a y segunda componente.
Pasemos al ejemplo 2, reemplace n e i para obtener algunos pares ordenados y comprobar que
efectivamente A B es un subconjunto de N N.
A continuacin est el ejemplo 3, su anlisis quiz represente algo de difcultad por lo que aclararemos
algunas partes del mismo.
Primero la ecuacin (3.5.1): (a - c)x = d - b, resulta de pasar a la izquierda cx y b a la parte derecha
en la igualdad ax + b = cx + d, tendramos ax - cx = d b, luego sacando factor comn en la parte
izquierda de la igualdad tenemos (a - c)x = d - b, de donde tambin luego se despeja x.
En el primer caso a c, quiz usted se pregunte por qu . Bien, lo que hace el
autor es reemplazar en (x, y), x por la que resulta de despejar x en el prrafo anterior y que
consta en el texto base. Luego, recuerde que y = ax + b, remplazando una vez ms x en la parte
derecha de la igualdad se obtiene , luego el autor desarrolla esta expresin obteniendo
fnalmente .
Para el segundo caso, al ser a y c iguales y d igual a b es verdad que aunque reemplazramos x
por cualquier numero real la igualdad siempre se cumple, por lo que se concluye que las dos rectas
coinciden.
Finalmente el tercer caso, no tiene solucin pues si a c y d b jams podremos encontrar un
nmero real x que nos pueda hacer que se cumpla la igualdad ya que, a menos c, multiplicado por x
siempre nos dar 0, pero la otra parte de la igualdad no puede ser 0 pues d es diferente de b. Por lo
tanto al no tener ningn par ordenado se concluye que la solucin es el conjunto vaco.
Le dejo a su criterio el profundizar con el ejemplo 4 de este tema, aunque para nuestros
fnes no ser demasiado trascendente.
Le invito a realizar los ejercicios propuestos del captulo I que se encuentran al fnal del
mismo. Si tiene dudas o difcultades que no puede superar en la resolucin de alguno
de los ejercicios puede comunicarse conmigo por medio de cualquiera de los medios de
interaccin (si le es posible mucho mejor mediante el EVA).
Hemos terminado el estudio de la primera unidad, espero que haya sido fructfero el esfuerzo realizado
hasta aqu. Es el momento de realizar la siguiente autoevaluacin que le permitir reforzar su estudio y
retroalimentar el mismo en los temas que no tiene an dominio de la materia:
28
2
En cada una de las siguientes afrmaciones, coloque una V entre los parntesis si es verdadera o
una F si es falsa.
1. ( ) Un conjunto es una coleccin de elementos.
2. ( ) Un conjunto bien definido es aquel en el cual se puede decir si sus elementos son o
no parte del mismo de forma clara y precisa.
3. ( ) A un conjunto se lo puede definir matemticamente slo por extensin.
4. ( ) Un conjunto definido por comprensin es el siguiente: {1, 2 ,3, 5, 9, 11, .}
5. ( ) El conjunto universo es aquel conjunto que contiene a todos los conjuntos del
discurso.
6. ( ) Existen conjuntos finitos e infinitos.
7. ( ) Dos conjuntos son iguales si tienen el mismo nmero de elementos.
8. ( ) Si A est incluido en B y C incluido en B entonces A est incluido en C.
9. ( ) Las operaciones fundamentales con conjuntos son la unin y la interseccin.
10. ( ) Para todo conjunto A: A =
11. ( ) Una de las propiedades de la interseccin es la siguiente A (B C) = (A B) C.
12. ( ) Para todo conjunto A y B se cumple que: A - B = A B.
13. ( ) U - A es igual al complemento de A.
14. ( ) Si A y B son subconjuntos de un conjunto X que verifica A B = X y siendo A y B
disjuntos. Entonces, B es el complemento de A y A es el complemento de B.
15. ( ) Un par ordenado (a, b) es igual a (c, d) si y solo si a = d y b = c.
16. ( ) En el producto cartesiano se cumple A B = B A.
Corrobore sus respuestas en el solucionarlo al
fnal de la gua, antes de los anexos.
Autoevaluacin 1
30
31
Bienvenido al estudio de la unidad II. Para comenzar ubique por favor en el texto base el captulo II y
lea lo que est bajo el ttulo APLICACIONES, de esta manera empezaremos a adentrarnos en el estudio
de esta unidad.
Luego de la lectura, El concepto de aplicacin y correspondencia son iguales? En qu conceptos se
basa el concepto de aplicacin y correspondencia? Tambin, de la lectura se habr dado cuenta que
en esta unidad vamos a ir aplicando los conceptos que hemos aprendido a lo largo de la unidad I en la
defnicin de los principales tipos de aplicaciones hasta llegar a la composicin de funciones.
2.1. CORRESPONDENCIA Y APLICACIONES
2.1.1. Conceptos de correspondencia y aplicacin.
Para abordar este tema, ubique en su texto base el punto 1.1. del captulo II. Realice una lectura
pausada de manera especial en los prrafos que estn sealados con una vieta, ellos guardan conceptos
fundamentales e importantes. Por el momento no vaya mas all del ejemplo 1.
Una vez realizada la lectura, le invito a completar el siguiente prrafo:
Una correspondencia de un conjunto A en un conjunto B es un ... del conjunto
..
Tambin de la misma lectura; Cules son las condiciones para que una correspondencia sea una
aplicacin?
El autor del texto base resume las dos condiciones en una sola para que una correspondencia sea
aplicacin. Mediante un ejemplo y grfcamente podramos resumir esta condicin as:
Sean A = {1, 2, 3, 4} y B = {2, 4, 6, 8, 10}. El producto cartesiano entre A y B ser: A B = {(1, 2),
(1, 4), (1, 6), (1, 8), (1, 10), (2, 2), (2, 4), (2, 6), (2, 8), (2, 10), (3, 2), (3, 4), (3, 6), (3, 8), (3, 10), (4, 2),
(4, 4), (4, 6), (4, 8), (4, 10)}
Ahora defnamos una correspondencia expresada por (a, 2a). Del producto cartesiano obtenemos el
subconjunto que cumple con la condicin. Ese subconjunto es {(1, 2), (2, 4), (3, 6), (4, 8)}. Veamos si
este subconjunto determina una aplicacin.
Primero, para cada elemento de A existe un nico elemento de B y luego cada elemento de B es nico
para cada elemento de A. Grfcamente tenemos lo siguiente:
A f B
Unidad
2
APLICACIONES
1
2
3
4
2
4
6
8
10
30
31
Como podemos observar, la correspondencia defnida por a 2a es una aplicacin pues cumple con
la condicin.
Ahora revise los ejemplos 1, 2 y 3 del punto 1.1 del texto base. Son ejemplos claros y sencillos de
comprender, sin embargo si tiene alguna duda contctese conmigo y podr ayudarle. Tome en
cuenta el ejemplo 2 y 3; en el ejemplo 2 se observa cmo el autor convierte una correspondencia en
aplicacin defnindola de una manera especfca mientras que en el ejemplo 3 se explica el por qu la
correspondencia propuesta no es aplicacin por no cumplir con la condicin de unicidad.
Avancemos con el siguiente tema.
2.1.2. Imagen de una aplicacin.
Este tema es bastante sencillo. Ubique en su texto base el tema 2.2 del captulo II y realice la lectura
respectiva hasta antes del ejemplo 1, ponga especial nfasis en el prrafo acompaado de la vieta.
Pasemos ahora al ejemplo 1. En l se explica de forma prctica a que nos referimos cuando hablamos
de imagen de una funcin o aplicacin.
A continuacin del ejemplo existen 2 aspectos importantes sealados mediante dos prrafos con una
vieta cada uno que debemos tomar en cuenta. En el primer prrafo se indica la notacin de la imagen
de una aplicacin de un conjunto en otro. El otro prrafo se refere a cmo se denota la imagen de una
aplicacin.
Luego est el ejemplo del punto 1.2 del captulo II. Es un ejemplo simple en el cual se toma un
subconjunto M de R el mismo que est conformado por todos los elementos k donde k es un nmero
entero. Dado que el seno de cualquier nmero entero multiplicado por siempre ser cero, el conjunto
imagen se reduce a un solo elemento, el 0.
Ahora revisemos el ejemplo 3 que est a continuacin en el texto base. En este ejemplo se analiza
la imagen que resulta para una aplicacin de la forma x
2
defnida en los reales. La particularidad
de este tipo de aplicaciones es que f(x) toma siempre un valor positivo aun cuando x tome un valor
negativo porque est elevada al cuadrado. Por ello, la imagen para esa aplicacin siempre ser un valor
comprendido desde 0 hasta el infnito.
Luego del ejemplo, el texto base nos presenta el concepto de imagen inversa, lea lo que le presenta el
prrafo acompaado de una vieta, adems de la notacin que utiliza el autor.
Pasemos ahora a revisar el ejemplo 4 del punto 1.2. del captulo II que est a continuacin en el
texto base. Estoy seguro que con el ejemplo lograr aclarar alguna duda sobre el concepto de imagen
inversa.
El ejemplo 4 nos presenta la aplicacin y un subconjunto S de R cuyos elementos son nmeros reales
comprendidos desde menos infnito hasta 0.
El autor del texto base concluye que la imagen inversa para S es el conjunto vaco pues no existe
nmero real que mediante la aplicacin x
2
nos d un valor comprendido en el intervalo (-, 0).
Adems el ejemplo propone un intervalo que va desde 4 hasta 9 para el cual s podemos encontrar
imagen inversa pues las raz del un extremo, es decir 4, es 2 y -2 mientras que para el otro extremo,
es decir 9, es 3 y -3. Con los valores anteriores se obtienen dos intervalos [-3,-2] y [2, 3] (recuerde que
estamos tratando con intervalos, no con pares ordenados).
32
33
Grfcamente esto podramos representarlos as:
-4 -3 -2 -1 0 1 2 3 4
Observe que los dos intervalos solucin estn separados por otro intervalo ]-2, 2[ que no forma parte
de la solucin, por lo que es necesario unirlos para obtener toda la solucin. En estos dos intervalos
unidos, estn todos los nmeros reales cuyo cuadrado est en el intervalo [4, 9].
Creo que con este ejemplo hemos podido aclarar defnitivamente el concepto de imagen inversa.
Ahora es momento de continuar para revisar el siguiente punto.
2.1.3. Extraccin de una aplicacin de una correspondencia.
Este tema corresponde al punto 1.3 del captulo II en el texto base. Lea el primer prrafo que est
acompaado de una vieta.
Como se habr dado cuenta, es muy sencillo entender lo que nos dice el prrafo que acaba de leer por
lo que pasemos a revisar directamente el ejemplo.
El ejemplo lo que nos trata de explicar es que si bien es cierto y
2
= x
2
+ 1 no es una aplicacin;
despejando el valor de y obtenemos (x
2
+ 1)
1/2
, de lo ltimo podemos bsicamente extraer (x
2
+ 1)
1/2
y -(x
2
+ 1)
1/2
, debido a que la raz cuadrada de un nmero real siempre tiene dos valores, un positivo
y un negativo.
Por ejemplo para permitir que se cumpla la unicidad lo que hace es simplemente defnir una aplicacin
para todos los valores negativos que resultan de (x
2
+1) y otra para los valores positivos. Esas son las
aplicaciones ms sencillas que se podran extraer pero existen infnidad de casos en los cuales se puede
extraer nuevas aplicaciones. Para el ejemplo se utiliza un conjunto formado por 1 y -1.
De igual manera para otros casos se puede defnir aplicaciones especfcas de una correspondencia,
por ejemplo defnamos dos conjuntos A y B y luego realicemos el producto cartesiano entre los dos.
Sean A = {1, 2, 3} y B = {4, 5, 6}; A x B = {(1, 4), (1, 5), (1, 6), (2, 4), (2, 5), (2, 6), (3, 4), (3, 5), (3,
6)}. El producto cartesiano implica la correspondencia de cada elemento del primer conjunto con cada
elemento del segundo conjunto. Defnamos ahora una correspondencia especfca que est dentro del
producto cartesiano y que est dada por b = 2, siendo b B y a A
Ser la correspondencia dada una aplicacin? Veamos. En el producto cartesiano los nicos pares
ordenados que cumplen con la condicin b = 2a son (2, 4) y (3, 6). Luego, podemos comprobar que
efectivamente esos dos pares ordenados representan una aplicacin pues cumplen con la condicin
para ello.
Bien, es hora de continuar, el siguiente tema tiene que ver con algunas aplicaciones que son importantes
y que debemos dedicarles una parte de nuestro tiempo a su estudio.
2.1.4. Algunas aplicaciones importantes.
Le invito a ubicar el punto 1.4 del captulo II en su texto base. Realice una lectura pausada de manera
que vaya entendiendo especialmente los prrafos que estn con su respectiva vieta.
Luego de la lectura, Cules son las tres aplicaciones que puede identifcar?
32
33
Analicemos lo que es una aplicacin identidad. Hagmoslo con un ejemplo:
Sea A {1, 2 ,3, 4}, defniendo la funcin identidad en A tendramos:
A f(a) A
Observe en la grfca que cada elemento de A tiene como imagen el mismo elemento.
Analicemos ahora la aplicacin constante. Una aplicacin constante es aquella en la que su imagen no
cambia de valor como por ejemplo:
Sean A {1, 2 ,3} y B {1} con la funcin f(a) b, lo cual grfcamente lo representaramos as:
A f(a) B
Observe que para todo elemento de A siempre se tiene la misma imagen.
Finalmente tenemos la aplicacin inclusin. Esta tiene mucho de la aplicacin identidad, solo que esta
aplicacin es una aplicacin defnida en un conjunto A que a su vez es subconjunto de otro conjunto
X.
Continuemos con el siguiente tema.
2.1.5. Representacin grfica de aplicaciones.
Para estudiar la representacin grfca de funciones, ubique en su texto base el punto 1.5 del captulo
II. Revise el tema poniendo especial nfasis en las grfcas propuestas. Recuerde en este caso que
tanto una aplicacin como una correspondencia es posible representarlas grfcamente en el plano
cartesiano.
Para representar una aplicacin en el plano elabore una tabla con dos columnas con un nmero
razonable de flas, luego en la columna izquierda ubique los x y en la columna de la derecha los f(x)
por ejemplo:
Sea la aplicacin f(x) x + 1 defnida en R.
Construyendo la tabla tenemos:
1
2
3
4
1
2
3
4
1
2
3
1
34
35
x f(x)
-3 -2
-2.5 -1.5
-2 -1
-1.5 -0.5
-1 0
-0.5 0.5
0 1
0.5 1.5
1 2
1.5 2.5
2 3
2.5 3.5
3 4
Ahora como tarea le propongo dibujar la aplicacin en el plano. Recuerde que los valores de x van
en el eje x y f(x) en el eje y. Tambin cuando se dibuja en el plano es necesario considerar las escalas
correctas, es decir, las distancias entre cada valor representado en cada eje respectivo deben ser
proporcionales. Observe la manera en que est dibujada la aplicacin x
2
en el texto base y tmelo
como gua.
Existen otras grfcas de aplicaciones que son muy conocidas especialmente en trigonometra. Por
ejemplo:
f(x) = sen x, f(x) = cos x, f(x) = tan x.
Como investigacin le invito a averiguar sus grfcas.
2.1.6. Propiedades.
Las propiedades de las aplicaciones se encuentran en el punto 1.6 del captulo II del texto base.
Recuerde que L, M, f(L) o f(M) son, a la fnal, conjuntos y se los debe tratar como tales.
La primera propiedad nos presenta la siguiente expresin:
Si L M A f(L) f(M)
Propongamos un ejemplo para entenderlo mejor. Sean A = R; L y M formados por los nmeros
naturales y enteros respectivamente de un intervalo que vamos a tomar arbitrariamente, digamos [-5.5,
4] de R. En el intervalo L tomara los elementos siguientes {1, 2, 3, 4, 5, 6} y M = {-5, -4, -3, -2, -1,
0, 1, 2, 3, 4, 5, 6}. Ahora defnamos la aplicacin f(x) -2x en A. Hasta ahora se cumple que L M
A
Qu ocurre si defnimos la aplicacin para los elementos de A en el intervalo que tomamos? Lo que
obtendramos es el intervalo imagen [-11, 36] incluidos todos los nmeros reales que pertenecen a l.
Ahora, defnamos la aplicacin para los elementos de L y M. El resultado es que obtenemos los intervalos
imagen siguientes: [-2, 8] y [-10, 8] respectivamente. Note usted que los valores comprendidos en el
34
35
intervalo imagen obtenido con f(L) esta incluido en el conjunto formado por los valores obtenidos
mediante f(M), con lo cual mediante el ejemplo hemos podido mostrar que la propiedad se cumple
para el ejemplo.
Pasemos a la siguiente propiedad. sta nos dice que f(L M) = f(L) f(M), para todo L y M que
pertenezca al conjunto formado por las partes de A.
Propongamos los conjuntos L = {1/2, 1, 3/2, 2} y M = {4, 5} con la aplicacin 1/x. Realizando
primero la unin de L y M obtenemos {1/2, 1, 3/2, 2, 4, 5}, luego defniendo la aplicacin dada en la
unin de L y M obtenemos el conjunto imagen {2, 1, 2/3, 1/2, 1/4, 1/5}. Ahora realicemos f(L) f(M).
Tenemos que f(L) = {2, 1, 2/3, 1/2} y f(M) = {1/4, 1/5}. Finalmente realizamos la unin de f(L) con
f(M) se obtiene {2, 1, 2/3, 1/2, 1/4, 1/5}. Comparando el resultado de f(L M) con f(L) f(M) podemos
mostrar que se cumple la propiedad.
Como ejercicio, proponga un ejemplo para la propiedad 3.
Pasar a proponer un ejemplo para la propiedad 4 que introduce el concepto de aplicacin inversa.
Tengamos los conjuntos S = {0,5; 1,5; 2,5}, T = {0; 0,5; 1,5; 2; 2,5; 3} y B = R. Se cumple hasta aqu
que S est incluido en T y ste a su vez est incluido en el conjunto B, adems tenemos la aplicacin
f(x) x + 1. Lo que debemos verifcar es que f
-1
(S) est incluido en f
-1
(T).
Calculemos la funcin inversa. Si f(x) = x + 1 entonces f
-1
(x) = x -1. Recuerde que una de las maneras
para determinar la funcin inversa es primero reemplazar f(x) por y, luego reemplazar las x por y, y las
y por x, fnalmente despejamos y. Aplicando primero f
-1
(x) en S obtendremos el conjunto {-0,5; 0,5;
1.5} , luego aplicando en T obtenemos {-1; -0,5; 0,5; 1; 1,5; 2}. Observe que efectivamente f
-1
(S) est
incluido en f
-1
(T).
Le invito a proponer un ejemplo para cada propiedad que falta por comprobar. Adems, revise el
ejemplo del punto 1.6 del texto base para complementar la revisin de este tema.
Para avanzar con nuestro estudio le invito a desarrollar los ejercicios que constan en el
texto base que se encuentran al fnal del punto 1.6 y antes del punto 2 del captulo II.
Espero que haya podido desarrollar todos los ejercicios, si no fue as, le invito a revisar nuevamente los
temas en los que tiene difcultad. No dude en comunicarse conmigo si desea obtener ayuda.
2.2. TIPOS DE APLICACIONES.
Empecemos! Ubique el punto 2 del captulo II en su texto base. Lea el prrafo que se encuentra antes
del punto 2.1.
Luego de la lectura recuerde Cules son los tipos de aplicaciones que vamos a estudiar?
Empezaremos por las aplicaciones inyectivas.
2.2.1. Aplicaciones inyectivas.
En el texto base, este tema es el 2.1 del captulo II. Para empezar lea el concepto que aparece en el
primer prrafo acompaado con una vieta.
3
37
El concepto que acaba de leer se lo puede tambin representar grfcamente, observe que todos los
elementos de A estn relacionados con elementos de B y cada elemento de A est relacionado con un
nico elemento de B.:
A f(a
i
) B
Pasemos a analizar ahora el ejemplo1 del punto 2.1 del captulo II del texto base.
Este ejemplo sencillo nos explica cuando una aplicacin no es inyectiva pues la funcin x
2
para cualquier
x positivo o negativo nos dar el mismo valor.
Vamos a analizar el ejemplo 2 del punto 2.1 del captulo II que se encuentra en el texto base.
En el se propone la funcin x
4
. La diferencia con el ejemplo 1 radica en que adems de ser x
4
, est
defnida sobre N y no sobre R. A partir de ello podemos darnos cuenta que para cualquier par de
nmeros de N, estos, mediante la aplicacin se transforman en otro par de nmeros distintos de N. La
nica manera de que en la expresin (2.1.1) fuese cero es que m y n sean iguales cosa que se contradice
con la idea inicial de que m y n son nmeros diferentes por lo que se cumple con la condicin para que
la aplicacin sea una aplicacin inyectiva.
Finalmente lea la parte correspondiente a Cmo estudiar si una aplicacin es inyectiva? que se
encuentra a continuacin del ejemplo 2, tome en cuenta las sugerencias que le da el autor para
determinar si una funcin es o no inyectiva.
2.2.2. Aplicaciones sobreyectivas.
Este tema corresponde al punto 2.2 del captulo II del texto base. Al igual que para las aplicaciones
inyectivas, lea detenidamente el prrafo que aparece con una vieta al inicio del tema.
Luego de leer la defnicin de aplicacin sobreyectiva, seguramente le result bastante fcil comprenderla,
representemos la defnicin grfcamente:
A f(a
n
) B
a
1
a
2
a
3
b
1
b
2
b
3
b
4
b
1
b
2
b
3
a
1
a
2
a
3
a
4
3
37
Como podr observar, todos los elementos de B son imagen de algn elemento de A.
Pasemos ahora a analizar el ejemplo 1 del punto 2.2 del captulo II del texto base. La aplicacin que se
propone es x
2
y se demuestra que no es sobreyectiva.
La razn por la que no es sobreyectiva es porque al estar aplicada de R en R se supone que f(x) debera
ser igual a R para que se cumpla la defnicin, sin embargo notamos que con la aplicacin jams
obtendremos valores negativos (que tambin forman parte de los R) ya que todo valor negativo elevado
al cuadrado es siempre positivo; los valores de la aplicacin siempre sern mayores o iguales a 0 por lo
tanto se concluye que la aplicacin no es sobreyectiva.
Vayamos a estudiar el ejemplo 2 del punto 2.2 del captulo II del texto base.
La explicacin que nos presenta el autor para demostrar que la aplicacin es biyectiva es sencilla,
tomando cualquier valor z de R, para ese valor siempre habr un valor opuesto, es decir un valor
negativo. Luego -z y z son nmeros con valores diferentes como por ejemplo -5 y 5. De forma general
al reemplazar el par de valores -z y z en la aplicacin se comprueba que terminaremos obteniendo un
valor z que pertenece a R por lo que la imagen de la aplicacin terminar siendo el mismo conjunto
de nmeros reales, es decir R.
Luego del ejemplo 2, le invito a analizar el ejemplo 3 del punto 2.2 del captulo II del texto base.
Como se habr dado cuenta, el ejemplo no presenta mayor difcultad para entenderlo, aun ms si el
texto base nos muestra la grfca de la funcin.
El autor del texto base nos presenta la razn por la que la aplicacin no es sobreyectiva pues, al estar
defnida de R - {1} en R, el conjunto imagen debera ser R. Sin embargo nos damos cuenta que
no es as. Usted seguramente not que y nunca llega a valer 0, lo puede observar en la grfca del
ejemplo, por lo que R - {0} es diferente de R; de ah que ya no se cumple la condicin para que f sea
sobreyectiva.
A continuacin le invito a que analice el ejemplo 4 del punto 2.2 del captulo II del texto base.
Del ejemplo podemos darnos cuenta que efectivamente, la funcin sen x defnida en R no es
sobreyectiva, la razn es la misma que la del ejemplo 3, la imagen de la aplicacin debera ser R pero
sin embargo para cualquier valor de x nicamente obtenemos valores que van desde -1 hasta 1, por lo
que [-1, 1] no es igual a R con lo cual se concluye que la funcin no es sobreyectiva.
Finalmente estudie el ejemplo 5 del punto 2.2 del captulo II del texto base.
El ejemplo prueba que h(x) = 2x + 3 es una funcin sobreyectiva. Note la manera en que realiza la
demostracin el autor. Primero busca un nmero x de R que reemplazado en la funcin nos de un
nmero y de R, luego despeja x en funcin del valor y de R. Finalmente reemplaza x en la funcin
h(x) con lo cual se cumple que es igual a y. Dicho en otras palabras la imagen de h ser el
conjunto R. La funcin representada grfcamente nos da una mejor perspectiva de la demostracin.
38
3
2.2.3. Aplicaciones biyectivas.
Para abordar este tema le invito a ubicar el punto 2.3 del captulo II en su texto base. Lea lo que
le presenta el autor acerca de las aplicaciones biyectivas, ponga especial atencin a los prrafos
acompaados con una vieta; hgalo por el momento sin adentrarse en el ejemplo.
Las dos defniciones, que son equivalentes, se puede representar grfcamente as:
A f(a
i
) B
Note que la representacin grfca nos indica que para todo elemento de B existe un nico elemento
de A de manera que f(a) = b.
El ejemplo del punto 2.3 del captulo II del texto base es una muestra de una aplicacin biyectiva, la
explicacin que nos presenta de l el autor es bastante clara.
Antes de pasar al siguiente punto, observe y note las diferencias entre las representaciones grfcas de
los tres tipos de aplicaciones, quiz le resulte mucho mas fcil recordar estas defniciones, recordando
estas grfcas.
Tenemos que continuar!, abordemos el siguiente punto del contenido de la materia.
2.2.4. Producto cartesiano de dos aplicaciones.
Abordaremos este tema analizando lo que nos presenta el texto base en el punto 2.4 del captulo II.
Ubique este tema y realice la lectura correspondiente.
Seguramente la defnicin que acaba de revisar le result muy sencilla de entender, le invito a intentar
hacer la demostracin como le sugiere el autor del texto base.
Es el momento de ejercitarse aplicando lo que ha aprendido hasta ahora. Luego del punto 2.4. del
captulo II se encuentran los ejercicios que le permitirn afanzar su conocimiento los cuales le sugiero
desarrollar.
Seguramente el desarrollo de los ejercicios le ayud mucho en el desarrollo de su estudio; si alguno
le pareci confuso o no pudo resolverlo, no dude en contactarme mediante los diferentes medios de
contacto para poder ayudarle.
Ahora debemos continuar con nuestro estudio.
b
1
b
2
b
3
a
1
a
2
a
3
38
3
2.3. COMPOSICIN DE APLICACIONES.
Empiece leyendo la pequea introduccin que realiza el autor del texto base para este tema, la cual se
encuentra luego del ttulo del punto 3. del captulo II hasta antes del punto 3.1.
2.3.1. Definicin y propiedades.
Realice la lectura del punto 3.1 del captulo II del texto base, por ahora hgalo sin adentrarse en el
ejemplo 1, recuerde que al leer debe tratar de comprender lo que el autor le presenta, de manera
especial lo que se encuentra a partir de defnicin que est en el prrafo resaltado con una vieta.
Despus de haber realizado la lectura Puede decir a qu es igual h y h(x)?
Pasemos ahora a revisar el Ejemplo 1 del punto 3.1 del captulo II.
Primero, note los conjuntos en los cuales se defne f y g, luego, en el proceso que se sigue hasta
encontrar g
o
f y por ltimo, en la defnicin fnal de la composicin f y g. Recuerde que la composicin
de f y g se representa por g
o
f y no es lo mismo que f
o
g. Para encontrar g
o
f lo que el autor del texto base
hace es reemplazar en g(y), que es igual a 1/y, la y por f(x), de ah que g(f(x)) es igual a 1/f(x); si f(x) =
1/(x-1), reemplazando f(x) en 1/f(x) se tiene 1/(1/(x-1)), realizando la multiplicacin entre extremos y
medios se tiene fnalmente x-1 que viene a ser g
o
f.
Le propongo ahora otro ejemplo sencillo pero que nos ayudar a entender por que tambin realizaremos
una demostracin grfca de la composicin de funciones.
Sean f(x) 2x + 1 y g(y) 1/y. Hallar gof defnida en M {1; 1,5; 2; 2,5; 3} y realizar el respectivo
diagrama de Venn.
Primero encontraremos la funcin compuesta como nos indica el texto base.
g
o
f = (g
o
f)(x)
= g(f(x))
= 1/(f(x))
= 1/(2x + 1)
Luego reemplazamos los valores de M en gof.
(g
o
f)(1) = 1/(2*1 + 1) = 0,333
(g
o
f)(1,5) = 1/(2*1,5 + 1) = 0,250
(g
o
f)(2) = 1/(2*2 + 1) = 0,200
(g
o
f)(2,5) = 1/(2*2,5 + 1) = 0,166
(g
o
f)(3) = 1/(2*3 + 1) = 0,142
40
41
Finalmente realizamos el diagrama con lo cual habremos terminado el ejemplo.
Como podr haberse dado cuenta, realizar la composicin de dos funciones dadas no es complicado.
Ahora debemos continuar con el estudio de la segunda parte de este punto, me refero a las
propiedades.
Las propiedades de la composicin de funciones se encuentran luego del Ejemplo 1 del punto 3.1
del captulo II. Revise la 6 primeras propiedades, luego el Ejemplo 2 que se encuentra a continuacin
y fnalmente la propiedad 7 con los ejemplos 3 y 4 respectivamente. Le invito a realizar una lectura
pausada de cada propiedad y sobre todo ponga mucha atencin en la demostracin que el autor del
texto base realiza de cada una.
Espero que le haya ido muy bien con el estudio de las propiedades de la composicin de funciones, en
realidad no representa complicacin alguna el entenderlas, sin embargo si tiene alguna duda no dude
en contactarse conmigo ya que es muy importante que las haya comprendido.
Le invito a que continuemos con el estudio de la materia.
2.3.2. Aplicacin inversa.
Abordemos este tema analizando lo que el autor del texto base nos presenta. Ubique el punto 3.2.
del captulo II y realice la correspondiente lectura de lo que all esta, por ahora, sin adentrarse en el
ejemplo 1, lo estudiaremos luego.
Con la lectura que realiz, usted seguramente tiene claro a qu tipo de funciones es aplicable el
concepto de aplicacin inversa, la defnicin correspondiente y sobre todo su demostracin. Finalmente,
proponga un ejemplo para las cuatro propiedades que estn al fnal, antes del ejemplo 1. Recuerde que
una aplicacin identidad es por ejemplo f(x)=x.
Analicemos ahora el ejemplo 1 del punto 3.2 del texto base.
El autor del texto base lo que hace calcular primero la funcin inversa. De manera general, la manera
de hacerlo es:
- Sustituir f(x) por y.
- Intercambiar entre ellas todas las x y las y.
- Despejar y.
- Sustituir y por f
-1
(x).
1
1,5
2
2,5
3
0,333
0,250
0,200
0,166
0,142
3
4
5
6
7
gof
g
f
40
41
Entonces si tenemos f(x) = e
x
, encontrando f
-1
(x) se obtendr:
- y = e
x
- x = e
y
- y = l
o
g
e
x
- f
-1
(x)=l
o
g
e
x
Note usted que en el texto base, en la funcin inversa, se coloca y en lugar de x, quiz para recalcar la
diferencia entre la funcin original y la inversa. Esto es irrelevante ya que tanto x como y son variables
que pueden ser representadas con cualquier letra, es decir, f
-1
(x)=l
o
g
e
x y f
-1
(y)=l
o
g
e
y son a la fnal la
misma funcin.
Para fnalizar con el ejemplo 1, el autor nos presenta la grfca de f(x) y f
-1
(x), fjese en la diferencia entra
las grfcas.
A manera de ejercicio, le propongo encontrar la funcin inversa de f(x) = x/(2x + 1), es sencillo, nada
complicado. Adems, como en el texto base, encuentre las grfcas de f(x) y
f-1
(x).
Dentro del tema de aplicaciones inversas (3.2 del captulo II del texto base), el autor nos presenta
tambin el teorema de caracterizacin de las aplicaciones biyectivas, para su estudio le sugiero tener
muy presente la defnicin de aplicacin biyectiva y las propiedades de la composicin de funciones
revisados en temas anteriores. Luego, para fnalizar revise los ejemplos 2 y 3. En el ejemplo 3 puede
inclusive proponer ejemplos con elementos para facilitar la comprensin del mismo.
Continuemos con nuestro estudio. Recuerde que si existen dudas habr que recurrir a la tutora (revise
en la cartula de su evaluacin a distancia el horario de tutora o deje sus inquietudes en el entorno
virtual de aprendizaje EVA).
2.3.3. Inversas parciales de una aplicacin.
Ubique por favor el punto 3.3 del captulo II del texto base. Lea detenidamente lo que se encuentra
hasta antes del ttulo Inversa por la izquierda.
Responda a estas inquietudes para corroborar que la lectura que realiz fue fructfera: con qu
concepto se asocia el concepto de aplicacin inversa?, cundo se recurre al concepto de inversas
parciales?, cuando una aplicacin es inyectiva la aplicacin inversa que se defne es la aplicacin
inversa por la derecha?, cuando una aplicacin es sobreyectiva la aplicacin inversa que se defne es
la aplicacin inversa por la izquierda?
Bien, si pudo responder correctamente las inquietudes que le propuse en el prrafo anterior entonces
podemos continuar, de lo contrario vuelva a realizar la lectura correspondiente.
Analicemos la defnicin de inversa por la izquierda tema que est luego de la lectura que acaba
de realizar en su texto base. Lea la defnicin y la parte de la demostracin poniendo mucha
atencin especialmente en la demostracin. No se asuste por la forma en que el autor desarrolla
tal demostracin pues est simplemente reutilizando conceptos que ya hemos estudiado en temas
anteriores. Nuevamente, tenga presente las propiedades de la composicin de funciones y el concepto
de funcin identidad. Recuerde siempre que una funcin inversa por la izquierda se defne para una
aplicacin que es nicamente inyectiva.
42
43
Pasemos ahora al subtema del punto 3.3 del captulo II, que tiene por ttulo Inversa por la derecha.
Realice la correspondiente lectura de la defnicin y demostracin. Ponga especial atencin a la
demostracin. No olvide recordar las propiedades de la composicin de funciones y el concepto de
funcin identidad. Recuerde que se defne una aplicacin inversa para una aplicacin que es solamente
sobreyectiva.
Avancemos con el estudio de la materia.
2.4. RESTRICCIN DE UNA APLICACIN A UN SUBCONJUNTO.
Ubique el punto 3.4 del captulo II de su texto base. Lea la defnicin que alli le propone el autor sobre
este tema.
Le result complicado entenderlo? Si fue as, observe que j es una aplicacin inclusin que fnalmente
coincide con f, si se considera que j es f restringida a A, por ello f(j(a)) termina siendo f(a) para todo
elemento de A.
El concepto de este tema es sencillo de comprender por lo que no nos detendremos demasiado.
Es el momento de ejercitar su conocimiento. Luego del punto 3.4 del texto base estn los ejercicios
correspondientes a los ltimos temas que hemos estudiado desde los ltimos ejercicios que realiz.
Le animo a realizar todos pues esto reforzar su aprendizaje. Si encuentra difcultad para desarrollar
alguno, no dude en pedir tutora (revise el horario de tutora en la cartula de la evaluacin a distancia
o manifeste su inquietud en el entorno virtual de aprendizaje EVA).
una F si es falsa.
1. ( ) Una aplicacin es un caso particular de correspondencia.
2. ( ) Una correspondencia es una regla que asigna a ciertos elementos de un primer
conjunto, A, otros elementos de un segundo conjunto, B.
3. ( ) Una correspondencia de un conjunto A en un conjunto B es un subconjunto arbitrario
del conjunto producto cartesiano AxB.
4. ( ) Sea A y B dos conjuntos y f AxB una correspondencia de A en B. Se dice que f es
una aplicacin de A en B si para cada elemento de x de A existe un nico elemento
y de B tal que (x, y) f.
5. ( ) y
2
= x
2
+ 1 es una aplicacin.
6. ( ) Si f es una aplicacin de A en B, y x es un elemento de A, el nico elemento y de B
tal que (x, y) f recibe el nombre de imagen del elemento x mediante la aplicacin
f.
Autoevaluacin 2
42
43
7. ( ) Dada una aplicacin f de A en B, el concepto de imagen inversa de un subconjunto
de B por la citada aplicacin es, en cierto modo, simtrico al de imagen de un
subconjunto de A por la aplicacin f.
8. ( ) Si f(x) = x
2
definida de R en R. Si imagen de f es (0, +) entonces la imagen de f
-1

es (-, 0).
9. ( ) De y
2
= x
2
+ 1. Una de las aplicaciones que podemos extraer es f(x) = x
2
+ 1.
10. ( ) Una aplicacin identidad es del tipo f(x) = x + 1.
11. ( ) Una de las propiedades de las aplicaciones dice que f(L M) = f(L) f(M) para toda
aplicacin L, M que pertenecen a las parte del conjunto A.
12. ( ) Sea f una aplicacin de A en B. Decimos que f es inyectiva si para cada par de
elementos distintos x, t de A, sus imgenes f(x) y f(y) son tambin elementos diferentes
de B.
13. ( ) La aplicacin f(x) = x
2
+ 0,5 definida de R en R es una aplicacin sobreyectiva.
14. ( ) La aplicacin f(x) = 1/(x + 1) definida de R en R es una aplicacin sobreyectiva.
15. ( ) Parte de la importancia de la composicin de aplicaciones radica en que podemos
definir nuevas aplicaciones, a partir de otras dadas, y expresar condiciones necesarias
y suficientes para que una aplicacin dada sea inyectiva, sobreyectiva o biyectiva.
16. ( ) La composicin de las aplicaciones f: AB y g: B C, en este orden, se define como
la aplicacin h = g
o
f: AC tal que h(x) = (g
o
f)(x) = f(g(x)), x A.
17. ( ) El concepto de aplicacin inversa de una aplicacin biyectiva solo es vlido para
aplicaciones biyectivas.
18. ( ) Existe tambin la posibilidad de definir una inversas parciales para aplicaciones que
son solo biyectivas o solo sobreyectivas.
19. ( ) Una aplicacin f: AB es inyectiva si y solo si existe otra aplicacin g: BA,
denominada aplicacin inversa por la izquierda de f, tal que g
o
f = 1
A
.
20. ( ) Una aplicacin f: AB es sobreyectiva si y solo si existe otra aplicacin g: BA,
denominada inversa por la derecha de f, tal que g
o
f = 1
A
.
Corrobore sus respuestas en el solucionarlo al
fnal de la gua, antes de los anexos.
HEMOS TERMINADO EL ESTUDIO DEL PRIMER BIMESTRE!
Espero que sus expectativas para este bimestre hayan sido
satisfechas, le animo a prepararse muy bien con miras al examen
bimestral para el cual le deseo muchos xitos, y luego empezar
con entusiasmo el estudio del segundo bimestre.
SEGUNDO BIMESTRE Gua didctica: Teora de Conjuntos
45
45
C
O
M
P
E
T
E
N
C
I
A
S
E
S
P
E
C
F
I
C
A
S
O
B
J
E
T
I
V
O
S

D
E

A
P
R
E
N
D
I
Z
A
J
E
C
O
N
T
E
N
I
D
O
S
C
R
O
N
O
G
R
A
M
A

O
R
I
E
N
T
A
T
I
V
O
T
i
e
m
p
o

e
s
t
i
m
a
d
o
A
C
T
I
V
I
D
A
D
E
S

D
E

A
P
R
E
N
D
I
Z
A
J
E
R
E
C
U
R
S
O
S

D
I
D
C
T
I
C
O
S
E
V
A
L
U
A
C
I
N
U
n
i
d
a
d
e
s

/
T
e
m
a
s
1
.

D
o
m
i
n
i
o

i
n
t
e
g
r
a
l

d
e

c
o
n
c
e
p
t
o
s

b
s
i
c
o
s

d
e

l
a

m
a
t
e
m
t
i
c
a

y

l
a

f
s
i
c
a
.
2
.

C
a
p
a
c
i
d
a
d

p
a
r
a

c
o
n
s
t
r
u
i
r

y

d
e
s
a
r
r
o
l
l
a
r

a
r
g
u
m
e
n
t
a
c
i
o
n
e
s

l
g
i
c
a
s

c
o
n

u
n
a

i
d
e
n
t
i
f
c
a
c
i
n

c
l
a
r
a

d
e

h
i
p
t
e
s
i
s

y

c
o
n
c
l
u
s
i
o
n
e
s
.
3
.

C
o
n
o
c
i
m
i
e
n
t
o

p
r
o
f
u
n
d
o

d
e
l

p
r
o
c
e
s
o

d
e

e
n
s
e
a
n
z
a
-
a
p
r
e
n
d
i
z
a
j
e

d
e

l
a
s

m
a
t
e
m
t
i
c
a
s

y

l
a

f
s
i
c
a
.

A
n
a
l
i
z
a
r

l
a

d
e
f
n
i
c
i
n

d
e

r
e
l
a
c
i
o
n
e
s

y

s
u

a
p
l
i
c
a
c
i
n
.

D
e
t
e
r
m
i
n
a
r

l
a
s

r
e
l
a
c
i
o
n
e
s

q
u
e

s
e

p
u
e
d
e
n

d
e
f
n
i
r

e
n

u
n

c
o
n
j
u
n
t
o

d
a
d
o
.

R
e
c
o
n
o
c
e
r

y

a
n
a
l
i
z
a
r

l
a
s

r
e
l
a
c
i
o
n
e
s

d
e

e
q
u
i
v
a
l
e
n
c
i
a

R
e
c
o
n
o
c
e
r

y

a
n
a
l
i
z
a
r

l
a
s

r
e
l
a
c
i
o
n
e
s

d
e

o
r
d
e
n
.
U
N
I
D
A
D

I
I
I
:

R
E
L
A
C
I
O
N
E
S

D
E

E
Q
U
I
V
A
L
E
N
C
I
A

Y

O
R
D
E
N
3
.
1
.

R
e
l
a
c
i
o
n
e
s
.
3
.
2
.

R
e
l
a
c
i
o
n
e
s

d
e

e
q
u
i
v
a
l
e
n
c
i
a
.
3
.
3
.

R
e
l
a
c
i
o
n
e
s

d
e

o
r
d
e
n
S
e
m
a
n
a

9
6

h
o
r
a
s

d
e

a
u
t
o
e
s
t
u
d
i
o
.
4

h
o
r
a
s

d
e

i
n
t
e
r
a
c
c
i
n
.
S
e
m
a
n
a

1
0
6

h
o
r
a
s

d
e

a
u
t
o
e
s
t
u
d
i
o
.
4

h
o
r
a
s

d
e

i
n
t
e
r
a
c
c
i
n
.

L
e
c
t
u
r
a

c
o
m
p
r
e
n
s
i
v
a

d
e
l

c
a
p
t
u
l
o

I

d
e
l

t
e
x
t
o

b
a
s
e

y

d
e

l
a

u
n
i
d
a
d

I
I
I

d
e

l
a

g
u
a

d
i
d
c
t
i
c
a
.

A
n
l
i
s
i
s

d
e

e
j
e
r
c
i
c
i
o
s

d
e
s
a
r
r
o
l
l
a
d
o
s

d
e
l

c
a
p
t
u
l
o

I
I
I

d
e
l

t
e
x
t
o

b
a
s
e
.

D
e
s
a
r
r
o
l
l
o

d
e

e
j
e
r
c
i
c
i
o
s

p
r
o
p
u
e
s
t
o
s

e
n

e
l

c
a
p
t
u
l
o

I
I
I

d
e
l

t
e
x
t
o

b
a
s
e
.

D
e
s
a
r
r
o
l
l
o

d
e

l
a

a
u
t
o
e
v
a
l
u
a
c
i
n

I
I
I

d
e

l
a

u
n
i
d
a
d

I
I
I

d
e

l
a

g
u
a

d
i
d
c
t
i
c
a
.

C
o
m
e
n
z
a
r

e
l

d
e
s
a
r
r
o
l
l
o

d
e

l
a

e
v
a
l
u
a
c
i
n

a

d
i
s
t
a
n
c
i
a
.

R
e
v
i
s
a
r

l
o
s

r
e
c
u
r
s
o
s

y

r
e
a
l
i
z
a
r

l
a
s

t
a
r
e
a
s

p
r
o
p
u
e
s
t
o
s

e
n

e
l

E
n
t
o
r
n
o

V
i
r
t
u
a
l

d
u
r
a
n
t
e

l
a

s
e
m
a
n
a
s

9

y

1
0
.

T
e
x
t
o

b
a
s
e
.

G
u
a

D
i
d
c
t
i
c
a
.

E
v
a
l
u
a
c
i
n

a

D
i
s
t
a
n
c
i
a
.

B
i
b
l
i
o
g
r
a
f
a

c
o
m
p
l
e
m
e
n
t
a
r
i
a

s
i

d
i
s
p
o
n
e

d
e

e
l
l
a
.

E
n
t
o
r
n
o

V
i
r
t
u
a
l

(
E
V
A
)
.

E
v
a
l
u
a
c
i
n

a

D
i
s
t
a
n
c
i
a
,

s
u

v
a
l
o
r

e
s

d
e

6

p
u
n
t
o
s
.

E
v
a
l
u
a
c
i
n

d
e

l
a

p
a
r
t
i
c
i
p
a
c
i
n

e
n

e
l

E
V
A

c
o
n

u
n

v
a
l
o
r

d
e

m
x
i
m
o

1

p
u
n
t
o
,

l
a

c
u
a
l

c
o
m
p
l
e
m
e
n
t
a

a

l
a

e
v
a
l
u
a
c
i
n

a

d
i
s
t
a
n
c
i
a
.

E
v
a
l
u
a
c
i
n

P
r
e
s
e
n
c
i
a
l
,

s
u

v
a
l
o
r

e
s

d
e

1
4

p
u
n
t
o
s
.

A
n
a
l
i
z
a
r

l
a
s

d
e
f
n
i
c
i
o
n
e
s

d
e

c
o
n
j
u
n
t
o
s

f
n
i
t
o
s

e

l
o
s

i
n
f
n
i
t
o
s

n
u
m
e
r
a
b
l
e
.

D
e
t
e
r
m
i
n
a
r

y

e
j
e
m
p
l
i
f
c
a
r

a
l
g
u
n
a
s

d
e

l
a
s

p
r
o
p
i
e
d
a
d
e
s

d
e

l
o
s

c
o
n
j
u
n
t
o
s

f
n
i
t
o
s
.

D
e
t
e
r
m
i
n
a
r

y

e
j
e
m
p
l
i
f
c
a
r

a
l
g
u
n
a
s

d
e

l
a
s

p
r
o
p
i
e
d
a
d
e
s

d
e

l
o
s

c
o
n
j
u
n
t
o
s

f
n
i
t
o
s
.

U
t
i
l
i
z
a
r

l
o
s

c
o
n
c
e
p
t
o
s

e
s
t
u
d
i
a
d
o
s

e
n

e
l

e
s
t
u
d
i
o

d
e

l
o
s

c
o
n
j
u
n
t
o
s

d
e

a
p
l
i
c
a
c
i
o
n
e
s

e
n
t
r
e

c
o
n
j
u
n
t
o
s
.
U
N
I
D
A
D

I
V
:

C
O
N
J
U
N
T
O
S

F
I
N
I
T
O
S

E

I
N
F
I
N
I
T
O
S

N
U
M
E
R
A
B
L
E
S
4
.
1
.

C
o
n
j
u
n
t
o
s

f
n
i
t
o
s
.
4
.
2
.

C
o
n
j
u
n
t
o
s

d
e

a
p
l
i
c
a
c
i
o
n
e
s

e
n
t
r
e

c
o
n
j
u
n
t
o
s

f
n
i
t
o
s
.
4
.
3
.

C
o
n
j
u
n
t
o
s

n
u
m
e
r
a
b
l
e
s
.
4
.
3
.

C
o
n
j
u
n
t
o
s

n
u
m
r
i
c
o
s
.
S
e
m
a
n
a

1
1
6

h
o
r
a
s

d
e

a
u
t
o
e
s
t
u
d
i
o
.
4

h
o
r
a
s

d
e

i
n
t
e
r
a
c
c
i
n
.
S
e
m
a
n
a

1
2
6

h
o
r
a
s

d
e

a
u
t
o
e
s
t
u
d
i
o
.
4

h
o
r
a
s

d
e

i
n
t
e
r
a
c
c
i
n
.
S
e
m
a
n
a

1
3
6

h
o
r
a
s

d
e

a
u
t
o
e
s
t
u
d
i
o
.
4

h
o
r
a
s

d
e

i
n
t
e
r
a
c
c
i
n
.
S
e
m
a
n
a

1
4
6

h
o
r
a
s

d
e

a
u
t
o
e
s
t
u
d
i
o
.
4

h
o
r
a
s

d
e

i
n
t
e
r
a
c
c
i
n
.

L
e
c
t
u
r
a

c
o
m
p
r
e
n
s
i
v
a

d
e
l

c
a
p
t
u
l
o

I
V

d
e
l

t
e
x
t
o

b
a
s
e

y

d
e

l
a

u
n
i
d
a
d

I
V

d
e

l
a

g
u
a

d
i
d
c
t
i
c
a
.

A
n
l
i
s
i
s

d
e

e
j
e
r
c
i
c
i
o
s

d
e
s
a
r
r
o
l
l
a
d
o
s

d
e
l

c
a
p
t
u
l
o

I
V

d
e
l

t
e
x
t
o

b
a
s
e
.

D
e
s
a
r
r
o
l
l
o

d
e

e
j
e
r
c
i
c
i
o
s

p
r
o
p
u
e
s
t
o
s

e
n

e
l

c
a
p
t
u
l
o

I
V

d
e
l

t
e
x
t
o

b
a
s
e
.

D
e
s
a
r
r
o
l
l
o

d
e

l
a

a
u
t
o
e
v
a
l
u
a
c
i
n

I
V

d
e

l
a

u
n
i
d
a
d

I
V

d
e

l
a

g
u
a

d
i
d
c
t
i
c
a
.

C
o
n
t
i
n
u
a
r

c
o
n

e
l

d
e
s
a
r
r
o
l
l
o

d
e

l
a

e
v
a
l
u
a
c
i
n

a

d
i
s
t
a
n
c
i
a
,

t
e
r
m
i
n
a
r
l
a

y

p
r
e
s
e
n
t
a
r
l
a

e
n

e
l

c
e
n
t
r
o

u
n
i
v
e
r
s
i
t
a
r
i
o
.

R
e
v
i
s
a
r

l
o
s

r
e
c
u
r
s
o
s

y

r
e
a
l
i
z
a
r

l
a
s

t
a
r
e
a
s

p
r
o
p
u
e
s
t
o
s

e
n

e
l

E
n
t
o
r
n
o

V
i
r
t
u
a
l

d
u
r
a
n
t
e

l
a

s
e
m
a
n
a
s

1
1
,

1
2
,

1
3

y

1
4
.

T
e
x
t
o

b
a
s
e
.

G
u
a

D
i
d
c
t
i
c
a
.

E
v
a
l
u
a
c
i
n

a

D
i
s
t
a
n
c
i
a
.

B
i
b
l
i
o
g
r
a
f
a

c
o
m
p
l
e
m
e
n
t
a
r
i
a

s
i

d
i
s
p
o
n
e

d
e

e
l
l
a
.

E
n
t
o
r
n
o

V
i
r
t
u
a
l

(
E
V
A
)
.
7
.

P
r
o
c
e
s
o

d
e

e
n
s
e
a
n
z
a
-
a
p
r
e
n
d
i
z
a
j
e

p
a
r
a

e
l

l
o
g
r
o

d
e

c
o
m
p
e
t
e
n
c
i
a
s
s
e
G
U
N
D
O

B
i
m
e
s
t
r
e
7
.
1

P
l
a
n
i
f
c
a
c
i
n

p
a
r
a

e
l

t
r
a
b
a
j
o

d
e
l

a
l
u
m
n
o
4
47
S
e
m
a
n
a

1
5
6

h
o
r
a
s

d
e

a
u
t
o
e
s
t
u
d
i
o
.
4

h
o
r
a
s

d
e

i
n
t
e
r
a
c
c
i
n
.
S
e
m
a
n
a

1
6
6

h
o
r
a
s

d
e

a
u
t
o
e
s
t
u
d
i
o
.
4

h
o
r
a
s

d
e

i
n
t
e
r
a
c
c
i
n
.
P
r
e
p
a
r
a
c
i
n

p
a
r
a

l
a
s

e
v
a
l
u
a
c
i
o
n
e
s

p
r
e
s
e
n
c
i
a
l
e
s

d
e
l

s
e
g
u
n
d
o

b
i
m
e
s
t
r
e
.
R
e
v
i
s
a
r

l
o
s

r
e
c
u
r
s
o
s

y

r
e
a
l
i
z
a
r

l
a
s

t
a
r
e
a
s

p
r
o
p
u
e
s
t
o
s

e
n

e
l

E
n
t
o
r
n
o

V
i
r
t
u
a
l

d
u
r
a
n
t
e

l
a

s
e
m
a
n
a
s

1
5

y

1
6

T
e
x
t
o

b
a
s
e
.

G
u
a

D
i
d
c
t
i
c
a
.

E
v
a
l
u
a
c
i
n

a

D
i
s
t
a
n
c
i
a
.

B
i
b
l
i
o
g
r
a
f
a

c
o
m
p
l
e
m
e
n
t
a
r
i
a

s
i

d
i
s
p
o
n
e

d
e

e
l
l
a
.

E
n
t
o
r
n
o

V
i
r
t
u
a
l

(
E
V
A
)
.
4
47

C
r
i
t
e
r
i
o
s
F
o
r
m
a
s

d
e

e
v
a
l
u
a
c
i
n
A
c
t
i
t
u
d
e
s
H
a
b
i
l
i
d
a
d
e
s

C
o
n
o
c
i
m
i
e
n
t
o
s

P O R C E N T A J E
P U N T A J E
C o m p o r t a m i e n t o t i c o
C u m p l i m i e n t o , p u n t u a l i d a d
y r e s p o n s a b i l i d a d
E s f u e r z o e i n t e r s e n l o s
t r a b a j o s
R e s p e t o a l a s p e r s o n a s
y a l a s n o r m a s d e
c o m u n i c a c i n
C r e a t i v i d a d e i n i c i a t i v a
C o n t r i b u c i n e n e l t r a b a j o
c o l a b o r a t i v o y d e e q u i p o
P r e s e n t a c i n , o r d e n y
o r t o g r a f a
E m i t e j u i c i o s d e v a l o r
a r g u m e n t a d a m e n t e
D o m i n i o d e l c o n t e n i d o
I n v e s t i g a c i n ( c i t a f u e n t e s
d e c o n s u l t a )
A p o r t a c o n c r i t e r i o s y
s o l u c i o n e s
A n l i s i s y p r o f u n d i d a d e n
e l d e s a r r o l l o d e l o s t e m a s

1
.

A
u
t
o
e
v
a
l
u
a
c
i
n

y

a
c
t
i
v
i
d
a
d
e
s

r
e
c
o
m
e
n
d
a
d
a
s
.
E
s
t
r
a
t
e
g
i
a

d
e

a
p
r
e
n
d
i
z
a
j
e
*
2 . H e t e r o e v a l u a c i n
E
v
a
l
u
a
c
i
n

a

D
i
s
t
a
n
c
i
a
*
*
O
b
j
e
t
i
v
a
x
x
x
x
x
x
1
0
%
2
E
n
s
a
y
o
x
x
x
x
x
x
x
x
x
x
x
2
0
%
4
3
0
%
6
I
n
t
e
r
a
c
c
i
n

e
n

e
l

E
V
A
x
x
x
x
x
x
x
x
x
x
C
o
m
p
l
e
m
e
n
t
a

l
a

e
v
a
l
u
a
c
i
n

a

d
i
s
t
a
n
c
i
a
,

m
x
i
m
o

e
n

1

p
u
n
t
o
.
P
r
u
e
b
a

P
r
e
s
e
n
c
i
a
l
P
r
u
e
b
a
o
b
j
e
t
i
v
a
x
x
x
x
x
x
x
7
0
%
1
4
3
.

C
o
e
v
a
l
u
a
c
i
n
x
x
x
x
x
x
x
x
x
x
x
x
E
n

a
c
t
i
v
i
d
a
d
e
s

e
s
p
e
c
i
f
c
a
s

t
a
n
t
o

p
r
e
s
e
n
c
i
a
l
e
s

c
o
m
o

e
n

e
l

E
V
A
.

T
O
T
A
L
2
0

p
u
n
t
o
s

e
n

c
a
d
a

b
i
m
e
s
t
r
e
P
a
r
a

a
p
r
o
b
a
r

l
a

a
s
i
g
n
a
t
u
r
a

s
e

r
e
q
u
i
e
r
e

o
b
t
e
n
e
r

u
n

p
u
n
t
a
j
e

m
n
i
m
o

d
e

2
8
/
4
0

p
u
n
t
o
s
,

q
u
e

e
q
u
i
v
a
l
e

a
l

7
0
%
.
*

S
o
n

e
s
t
r
a
t
e
g
i
a
s

d
e

a
p
r
e
n
d
i
z
a
j
e
,

n
o

t
i
e
n
e
n

c
a
l
i
f
c
a
c
i
n
;

p
e
r
o

d
e
b
e

r
e
s
p
o
n
d
e
r
l
a
s

c
o
n

e
l

f
n

d
e

a
u
t
o
r
r
e
g
u
l
a
r

s
u

p
r
o
c
e
s
o

d
e

a
p
r
e
n
d
i
z
a
j
e
*
*

R
e
c
u
e
r
d
e
:

q
u
e

l
a

e
v
a
l
u
a
c
i
n

a

d
i
s
t
a
n
c
i
a

d
e
l

s
e
g
u
n
d
o

b
i
m
e
s
t
r
e

c
o
n
s
t
a

d
e

d
o
s

p
a
r
t
e
s
:

u
n
a

o
b
j
e
t
i
v
a

y

o
t
r
a

d
e

e
n
s
a
y
o
,

d
e
b
e

d
e
s
a
r
r
o
l
l
a
r
l
a

y

e
n
t
r
e
g
a
r
l
a

e
n

s
u

r
e
s
p
e
c
t
i
v
o

C
e
n
t
r
o

U
n
i
v
e
r
s
i
t
a
r
i
o

h
a
s
t
a

e
l

1
5

d
e

e
n
e
r
o

(
p
e
r
o
d
o

o
c
t
u
b
r
e
-

f
e
b
r
e
r
o
)

o

1
5

d
e

j
u
l
i
o

(
p
e
r
o
d
o

a
b
r
i
l
-
a
g
o
s
t
o
)
.

7
.
2

S
i
s
t
e
m
a

d
e

e
v
a
l
u
a
c
i
n
T
e
n
g
a

p
r
e
s
e
n
t
e

q
u
e

l
a

f
n
a
l
i
d
a
d

d
e

l
a

v
a
l
o
r
a
c
i
n

c
u
a
l
i
t
a
t
i
v
a

e
s

p
r
i
n
c
i
p
a
l
m
e
n
t
e

f
o
r
m
a
t
i
v
a
;

s
i
n

e
m
b
a
r
g
o
,

e
n

c
i
r
c
u
n
s
t
a
n
c
i
a
s

e
s
p
e
c
i
a
l
e
s

p
o
d
r
a

a
f
e
c
t
a
r
l
e

p
o
s
i
t
i
v
a

o

n
e
g
a
t
i
v
a
m
e
n
t
e

e
n

s
u

c
a
l
i
f
c
a
c
i
n

c
u
a
n
t
i
t
a
t
i
v
a
.
S
r
.

e
s
t
u
d
i
a
n
t
e
:
48
4
Bienvenido al estudio del segundo bimestre, a lo largo de las semanas que nos queda del semestre nos
propondremos aplicar todos los conocimientos que hemos aprendido durante el bimestre anterior,
empezaremos abordando los temas del captulo III del texto base.
3.1. RELACIONES.
3.1.1. Definicin.
Antes de empezar con este tema, le invito a realizar la lectura de la pequea introduccin que nos
presenta el texto base al inicio del captulo III.
Ahora, luego de haber realizado la lectura, usted sabe que las relaciones de equivalencia y las relaciones
de orden cumplen con determinadas propiedades, las cuales debe tener muy en cuenta de ahora en
adelante pues son trascendentales al momento de determinar con qu tipo de relaciones estamos
tratando. Los detalles de cada una de esas propiedades las estudiaremos ms adelante.
Vayamos ahora s a las relaciones. Ubique el punto 1.1 del captulo III del texto base. Lea la defnicin
de relacin, no vaya mas all del ejemplo 1 pues primero debemos tener claro la defnicin para poder
entender los ejemplos que estn propuestos luego. Ponga especial atencin en los prrafos que estn
acompaados de una vieta.
Habiendo realizado la respectiva lectura, usted tendr clara la defnicin de relacin. Le invito a recordar
una de las defniciones sin necesidad de consultar el texto base, si no lo logra hacer, le invito a hacer
nuevamente la lectura poniendo un poco ms de atencin.
Pasemos ahora a revisar algunos de los ejemplos del punto 1.1 del captulo III del texto base desarrollados
por el autor.
En el ejemplo 1 se propone un conjunto A de personas, de modo especfco, quiz usted podra darle
algunos elementos a dicho conjunto asignndole nombres de algunos de sus amigos, luego realice
el producto cartesiano AxA, aplique la relacin a es amigo de b y vea que efectivamente los pares
ordenados que cumplan con la regla es un subconjunto de AxA.
En el ejemplo 2 a diferencia del ejemplo 1 se usa conjuntos como elementos, es decir, el producto
cartesiano del conjunto de partes de X por s mismo nos dar pares ordenados cuyos elementos sern
conjuntos. Adems efectivamente siempre existir un subconjunto del producto cartesiano en el cual
los pares ordenados (A, B) cumplirn con la condicin de que A B.
El ejemplo 3 no presenta difcultad alguna para entenderlo por lo que no nos detendremos en l.
7.3 Orientaciones especfcas para el aprendizaje por competencias
Unidad
3
RELACIONES DE EQUIVALENCIA
Y DE ORDEN
48
4
Finalmente el ejemplo 4 nos presenta algo nuevo, me refero a la representacin mediante diagramas
de Venn cuando un elemento a esta relacionado con otro elemento b. Si un elemento cual quiera est
relacionado consigo mismo la curva saldr de dicho elemento y llegar a s mismo, es decir:
Como se habr dado cuenta, la defnicin de relacin es bastante sencilla, en la cual est presente el
concepto de producto cartesiano al cual se le agrega una regla con la cual se determina qu elementos
estn relacionados.
Continuemos ahora con el concepto de relacin inducida.
3.1.2. Relacin inducida.
Una relacin inducida es aquella que se encuentra restringida a un subconjunto de un determinado
conjunto. Por ejemplo usted y sus hermanos(as) estn relacionados con todos sus parientes sobrinos(as)
por la relacin to de y si del conjunto de tos y sobrinos solo se toman hombres, o solo se toman
mujeres, se estar restringiendo la relacin a un subconjunto en este caso, solo de tos y sobrinos o solo
de tas y sobrinas.
Ubique el punto 1.2 del captulo III en su texto base y corrobore (con el prrafo que se encuentra
acompaado de una vieta) lo que acaba de leer en el prrafo anterior, el texto base por supuesto le
presenta un concepto formal el cual debe analizar y tenerlo claro.
Analicemos ahora el ejemplo que se encuentra a continuacin en su texto base. Lo nico que hace el
autor es aclarar un poco ms la expresin RB = R {BxB}. Recuerde que R est a la fnal defnida
por un conjunto de pares ordenados por lo cual al intersecar con el producto cartesiano de BxB
efectivamente tenemos como resultado la relacin inducida. Adems si B est incluido en A, AxA
intersecado con BxB nos dar como resultado BxB pues necesariamente BxB estar incluido en AxA
Muy sencillo verdad?, sin embargo si tiene alguna duda no dude en hacer uso de la tutora (ver horario
de tutora en la cartula de su evaluacin a distancia) o ingresar al entorno virtual de aprendizaje para
proponer su inquietud.
Avancemos con el siguiente tema de estudio.
3.1.3. Relacin por la derecha y o la izquierda de un elemento.
Estas dos defniciones no representan difcultad para entenderlas, usted quiz encuentre que al
momento de leer lo que le presenta el autor del texto base, no puede comprender totalmente lo que
nos dice. No se preocupe. Lo lograr con el ejemplo que propone para este tema.
Q
P
a
b
A
50
51
Vaya al punto 1.3 del captulo III del texto base, lea lo que est bajo el ttulo Relacin por la izquierda
y por la derecha de un elemento. Fjese en las dos expresiones que estn luego de cada prrafo
acompaado de una vieta respectivamente.
Vayamos ahora a complementar lo que acaba de leer en su texto base con el ejemplo del punto 1.3
del captulo III del texto base. Revselo.
Le propongo otro ejemplo. Sea R = {(x, y) ZxZ : y6x}; determinemos la relacin por la izquierda
y por la derecha para un determinado elemento a de Z.
Los elementos relacionados por la derecha sern D(a;R) = {y Z : aRy} [6a, +)
Los elementos relacionados por la derecha sern I(a;R) = {y Z : xRa} (-, 6a]
Supongamos que a = 1 entonces, 6*1=6, luego tomando otros elementos sera 6*2=12, 6*3=18,
y as sucesivamente hasta el infnito positivo; 6, 12, 18, sern elementos que forman parte del
subconjunto de N que son los que se relacionan con a por la derecha.
Ahora si tomamos valores por la izquierda sern: 6*0=0, 6*-1=-6, 6*-2=-12, 6*-3=-18, y
as sucesivamente hasta el infnito negativo; -6, -12, -18, sern elementos que forman parte del
subconjunto de N que son los que se relacionan con a por la izquierda.
Es el momento de pasar a estudiar el siguiente tema.
3.2. RELACIONES DE EQUIVALENCIA.
Empecemos ubicando el punto 2 del captulo III del texto base. Lea la introduccin que el autor le
presenta antes del punto 2.1.
De la lectura que realiz podra decir: qu tipo de relaciones son las relaciones de equivalencia?,
cmo se llaman los elementos del conjunto cociente?
3.2.1. Definicin.
Estudiemos ahora la defnicin de la relacin de equivalencia. Para ello ubique en el texto base el
punto 2.1 del captulo III. Lea lo que le presenta el autor hasta antes del ejemplo y fjese sobre todo en
las propiedades que una relacin debe cumplir para ser de equivalencia.
Luego de leer su texto base: es verdad que la propiedad refexiva implica que bRa para todo a, b que
pertenece a A? y la propiedad simtrica es cuando aRa para todo a que pertenece a A?, recuerde que
A es un conjunto.
Analicemos ahora lo que nos presenta el autor del texto base en el ejemplo 1, 2 y 3 del punto 2.1 del
captulo III.
En el ejemplo 1 nos propone la igualdad como un ejemplo de relacin de equivalencia. Primero
se verifca efectivamente que todo elemento a es igual a s mismo (primera propiedad), luego si un
elemento es igual a otro, ese otro es igual al primero (segunda propiedad) y fnalmente si un elemento
50
51
a es igual a un elemento b y este es igual a c entonces a ser igual a c (tercera propiedad). Como se
habr dado cuenta, la igualdad es una relacin de equivalencia.
En el segundo ejemplo se verifca que menor o igual que cumple con la primera propiedad pues,
cualquier nmero real es menor o igual a s mismo. Sin embargo vemos que la segunda propiedad no
se cumple pues un nmero real si bien es cierto puede ser menor o igual a otro, ese otro ya no puede
ser menor o igual al primero pues se producira una contradiccin. Finalmente se cumple la tercera
propiedad pues si un nmero es menor o igual a un segundo nmero y ste a su vez menor o igual
que un tercero, el primero ser menor o igual a ste ltimo. Se concluye que la relacin menor o
igual que no es una relacin de equivalencia pues no cumple con la propiedad simtrica (segunda
propiedad).
Le invito a revisar la demostracin del ejemplo 3 del texto base, como se indica, es un caso de relacin
de equivalencia, no olvide que el ejemplo toma como conjunto el conjunto Z. Quiz la primera
propiedad no est muy clara, pero note usted que para que 3 se relacione con 3 y para que se cumpla
que x - y sea mltiplo de, la nica posibilidad es que y sea 0 (o lo que es lo mismo x-y = 0 con y=x)
con lo cual se cumple la primera propiedad.
Finalmente para concluir este tema le invito a revisar la parte de Relacin de congruencia mdulo
m del punto 2.1, esta parte est bastante clara por lo que no es necesario aclarar ms, quiz decirle
que tome en cuenta que al hablar de congruencia mdulo m estamos tratando con una relacin de
equivalencia.
A manera de investigacin le invito a realizar la demostracin que le pide hacer el autor de
texto base de una de las defniciones que se encuentra justo antes del punto 2.2 del captulo
III.
Continuemos ahora con el siguiente tema de estudio.
3.2.2. Relacin de equivalencia asociada a una aplicacin.
Ubique el punto 2.2 del captulo III del texto base. Lea la defnicin que esta en el prrafo acompaado
con una vieta al inicio y luego ponga especial atencin en la demostracin que el autor realiza
verifcando el cumplimiento de las tres propiedades (refexiva, simtrica y transitiva).
Luego de la lectura que acaba de realizar en su texto base est el ejemplo correspondiente, como
puede observar, el cuadrado de cualquier nmero real ser igual a su cuadrado (primera propiedad),
luego, si el cuadrado de un nmero real es igual al cuadrado de un segundo nmero se da que lo
contrario tambin se cumple (segunda propiedad), fnalmente si el cuadrado de un nmero real es
igual al cuadrado de otro nmero y ese cuadrado es igual al cuadrado de un tercer nmero entonces
el cuadrado del primer nmero es igual al cuadrado del tercer nmero (tercera propiedad). Se verifca
que x
2
es una relacin de equivalencia asociada a una aplicacin.
Este tema no es complicado, si gusta podra investigar ms ejemplos en la bibliografa complementaria
si dispone de ella.
Pasemos al siguiente tema.
52
53
3.2.3. Clases de equivalencia.
Abordemos este tema ubicando en el punto 3.2 del captulo III de su texto base. Lea cada una de las
defniciones que estn en los prrafos acompaados por una vieta poniendo luego especial atencin
a las demostraciones respectivas. No olvide tambin fjarse en las 5 propiedades.
Analicemos un poco lo que corresponde al tema clases de equivalencia de un elemento dado.
Propondr un ejemplo para aclarar lo que quiz el texto no lo explica lo sufciente. Sea la relacin x - y
= 3k donde x, k e y son elementos de Z. Cmo encontrar las clases de equivalencia para 2, 5 y 10?.
Primero se ha verifcado que la relacin cumple con las propiedades refexiva, simtrica y transitiva
(usted podra verifcarlo). Encontremos ahora las clases de equivalencia para [2], [5] y [10].
Fijndonos en las defniciones de nuestro texto base tendremos:
[2] = { -10, -7, -4, -1, 5, 8, 11,} Pues 2 menos cualquiera de los nmeros de del conjunto nos
dar un mltiplo de 3.
[5] = { -10, -7, -4, -1, 2, 8, 11, 14,} Pues 5 menos cualquiera de los nmeros del conjunto nos
dar un mltiplo de 3.
[10] = {-11, -8, -5, -2, 1, 4, 7, 13, 16,} Pues 10 menos cualquiera de los nmeros del conjunto
nos dar un mltiplo de 3.
3.2.4. Particin de un conjunto.
Imagine una pieza de pan que la ha dividido en algunos pedazos, cada uno de los cuales por supuesto
no puede ser igual a otro ya que eso sera imposible en la realidad, sin embargo al reunir todas las
divisiones podra tener nuevamente su pieza de pan completa. De la misma manera, la particin de
un conjunto, digamos X, nos permite tener un conjunto de partes de X. Esas partes de X son a su vez
conjuntos disjuntos aunque pueden tambin coincidir como lo ver descrito en la defnicin que le
presenta el autor del texto base.
Supongamos que tenemos un conjunto A = {1, 2, 3, 4}. Encontremos una de las particiones de A.
Debemos encontrar subconjuntos de A disjuntos de manera que al unirlos nos d nuevamente el
conjunto A. Una de las posibilidades podra ser la siguiente:
A1 = {1, 2}
A2 = {3, 4}
Luego, A1 y A2 forman una particin de A.
Profundice en este tema. Ubique el punto 2.4 del captulo III en su texto base, lea las defniciones que
estn en los prrafos acompaados con una vieta, trate de comprender las propiedades, incluido el
ejemplo.
52
53
3.2.5. Conjunto cociente. Aplicacin proyeccin.
El conjunto cociente, como lo ver en el texto base, es el conjunto formado por todas las clases de
equivalencia que se puedan formar con los elementos de un conjunto mediante una relacin.
Veamos de manera formal lo que acaba de leer en el prrafo anterior.
Vaya al punto 2.5 del captulo III del texto base. Lea los prrafos que estn acompaados por una
vieta, sin adentrarse por ahora en el ejemplo 1.
Luego de la lectura, cul es la expresin matemtica que defne al conjunto cociente?, a qu se llama
proyeccin de un conjunto?
Teniendo claras las defniciones, ahora, pase a analizar el ejemplo 1.
El ejemplo 1 aclara muy bien las posibles dudas que pudieron haber quedado, en este caso primero
recuerde que el conjunto cociente para la relacin y=x
2
, est formado por todas las clases de equivalencia
asociadas a E en A, por ello el conjunto de las clases de equivalencia para 0, 1, 2, 3, son la unin
de {0} con todos los conjuntos de la forma {-x, x}, donde x pertenece al conjunto formado por los
nmeros reales que estn en el intervalo que va desde 0 al infnito, excluido el 0.
El concepto asociado en este tema es el de Aplicacin proyeccin. Este concepto es bastante sencillo
de comprender luego de haber encontrado el conjunto cociente como nos indica el texto base.
En este caso para la relacin y=x
2
, la aplicacin proyeccin tiene como dominio el conjunto de los
reales y como imagen tambin el conjunto de nmeros reales pues al unir el conjunto {0} con R - {0}
nos da precisamente R.
Le invito a analizar ahora el tema Conjunto cociente de Z por la relacin de congruencia mdulo
m del punto 2.5 del captulo III. El ejemplo 2 es un ejemplo que nos permite aclarar cualquier duda.
Revismoslo.
Primero, recuerde que Z/(m) = Z/E = {[0], [1], , [m-1]} y que [r] = {r + km: k Z} donde 0
r m - 1, adems r es un nmero entero y m es un nmero natural mayor o igual a 2 (ver clase de
equivalencia de la relacin de congruencia mdulo m).
Bien, en el ejemplo 2 lo que se est haciendo es encontrar el conjunto cociente para m = 2.
Entonces, 0 r 2 - 1 que es igual a 0 r 1, por lo que r puede tomar los valores de 0 y 1.
Encontrando el conjunto cociente tenemos:
[0] = {0 + k*2: k Z} = {2k: k Z}
[1] = {1 + k*2: k Z} = {2k + 1: k Z}
Por ello, Z/(2) = {[0], [1]}
La aplicacin proyeccin es p(x) = [0] si x es par, y p(x) = [1] si x es impar.
54
55
Luego del ejemplo 2 existe una propiedad la cual le invito a demostrarla como le sugiere el texto
base.
Ahora es el momento de continuar con el siguiente tema.
3.2.6. Factorizacin de aplicaciones.
Vamos a estudiar la factorizacin de funciones. En su texto base, vaya al punto 2.6 del captulo III.
Realice la lectura correspondiente, por ahora no se preocupe por los ejemplos.
Luego de que ha realizado la lectura sabe usted cundo una funcin f factoriza a travs de un conjunto
cociente?
Luego, realice un diagrama correspondiente para una factorizacin.
Del teorema de factorizacin y su demostracin, cul es la expresin matemtica que defne dicho
teorema? Si (g
o
p)(a) = g(p(a)) entonces (g
o
p)(a) = f(a)?
Si usted no tubo problemas en contestar a las inquietudes que le he planteado en los prrafos anteriores,
entonces debe realizar el anlisis de los ejemplos 1 y 2.
Para el ejemplo 1, m vale 3, por lo tanto 0r2, de ah que Z/3 = {[0], [1], [2]}. Luego lo que se
realiza es la composicin de funciones g
o
p para ver si es igual a f. Como puede observar, se cumple que
la relacin de congruencia mdulo 3 si factoriza a travs del conjunto Z/(3).
El ejemplo 2 es ms sencillo, se parte de la relacin de equivalencia x
2
+ y
2
= u
2
+ v
2
. Tome en cuenta
el dominio y el recorrido. El resto son simples operaciones matemticas para llegar a demostrar que f
= h
o
l.
Le invito a revisar la factorizacin cannica y el correspondiente ejemplo 3 que forman parte del
punto 2.6 del captulo III del texto base. El autor nos ofrece una defnicin bastante clara con la
correspondiente demostracin, si encuentra alguna difcultad no dude acudir a la tutora (revise en la
cartula de la evaluacin a distancia el horario de tutora o deje su consulta en el entorno virtual de
aprendizaje EVA).
Es el momento de ejercitar sus conocimientos. Ubique en su texto base los ejercicios que estn al fnal
del punto 2.6. Realice todos los ejercicios, recuerde las defniciones y propiedades que ha estudiado,
si tiene alguna duda respecto a los ejercicios, estar gustoso de poder ayudarle.
Espero que le haya ido muy bien con los ejercicios, si cree que debe hacer una revisin de los temas
que an no domina, hgalo. Recuerde que no es bueno pasar a estudiar algo nuevo sin antes haber
comprendido las defniciones y conceptos necesarios. Ahora abordaremos el siguiente tema de la
materia.
3.3. RELACIONES DE ORDEN.
Empecemos realizando la lectura correspondiente de la pequea introduccin que el autor del texto
base nos presenta para el punto 3 del captulo III.
54
55
Luego de la lectura, qu tipos de conjuntos ordenados vamos a estudiar? Cul es la diferencia entre
los conjuntos totalmente ordenado y los conjuntos bien ordenados?
Espero que haya podido responder sin inconveniente alguno a las preguntas del prrafo anterior, de no
ser as, realice nuevamente la lectura. Para pasar al siguiente tema.
3.3.1. Definicin de relaciones de orden y orden total.
En su texto base, ubquese en el punto 3.1 del captulo III. Revise por favor la primera defnicin que
est en un prrafo acompaado de una vieta. Estdiela hasta tenerla clara y luego tenga en cuenta las
tres propiedades que una relacin de orden debe cumplir.
Luego, antes del ejemplo 1, existen tres prrafos que presentan algunas defniciones, entre ellas la
defnicin de orden total. Revselas con detenimiento para poder comprenderlas. Trate de comprender
con claridad la defnicin de relacin de orden total que se basa en la defnicin del relacin de orden,
pues, como bien nos dice el autor son las que aparecen con mayor frecuencia en matemticas.
Recuerde que para que una relacin sea de orden total debe cumplir las propiedades de las relaciones de
orden y adems, todos los elementos del conjunto en el cual sta se se defne, deben estar relacionados,
lo cual no ocurre cuando se trata solo de orden.
Revise ahora los ejemplos 1 y 2, son muy sencillos de entender, le recomiendo no olvidar tener
presente las propiedades para determinar si efectivamente cada uno de los conjuntos con las relaciones
propuestas en los ejemplos son o no totalmente ordenados.
En el ejemplo 4 se utilizan el conjunto de partes de un conjunto, en este caso N con la relacin de
inclusin, luego, se demuestra que no es un conjunto totalmente ordenado a pesar de ser un conjunto
ordenado, pues a pesar de que cumple con las tres propiedades no cumple con la condicin para ser
un conjunto totalmente ordenado pues, segn la relacin {1} debera estar contenido en {2} y tambin
{2} debera estar contenido en {1}, lo cual como bien nos dice el autor del texto base, no ocurre.
Finalmente el ejemplo 4, es un caso muy sencillo en el cual tambin se demuestra que X con la relacin
es un conjunto ordenado pero no de orden total, las razones nos las muestra el texto base.
Al fnal del punto 3.1 del captulo III del texto base se puede observar un diagrama que bien nos puede
servir para observar cmo se representara grfcamente la relacin. Note usted que por ejemplo a se
relaciona con a, con b y con c, por ello de a salen dos fechas hacia b y c (la relacin de a con no se la
especifca mediante ninguna fecha pues se trata del mismo elemento), luego c se relaciona con c, d y
e.
3.3.2. Relaciones de orden y orden total inducidas.
Este tema es muy sencillo, de hecho es la particularizacin del concepto de relacin inducida que ya
hemos estudiado, aplicado en este caso a las relaciones de orden y orden total.
Le recomiendo empezar ubicando el punto 3.2 del captulo III del texto base. Luego lea pausadamente,
tratando de entender lo que el autor le presenta, ponga especial nfasis en la primera defnicin
del prrafo acompaado con una vieta y luego a la demostracin. Luego pasaremos a analizar el
ejemplo.
5
57
Cmo le fue con la lectura?, espero que muy bien. Revisemos ahora el ejemplo 1, recuerde que en el
ejemplo 2 del punto 3.1 del texto base, (R, ) se considera un conjunto totalmente ordenado. Si (R,
) es un conjunto totalmente ordenado entonces, segn lo que dice el autor en la ltima lectura que
realizo es que cualquier par de elementos restringidos a un determinado subconjunto de R (en este
caso [0, 1]) con la misma relacin, tambin resultar ser un conjunto totalmente ordenado.
Finalmente para terminar este tema, revise la parte de Relacin de orden lexicogrfco, es muy
fcil de comprender por lo que no nos detendremos en este punto, si encuentra difcultad, analice el
ejemplo 2 del punto 3.2 del captulo III del texto base.
3.3.3. Conjuntos bien ordenados.
En teora de conjuntos, un conjunto bien ordenado se considera a un conjunto no vaco totalmente
ordenado de modo que todo subconjunto no vaco tiene un elemento mnimo.
Una defnicin bastante simple, pero reforcmosla leyendo lo que nos dice el autor del texto base.
Vaya al punto 3.3 del captulo III. Lea la defnicin que aparece en el prrafo con vieta y luego analice
lo que sigue sin adentrarse por ahora en los ejemplos.
Bien, de la lectura que realiz podra defnir un conjunto bien ordenado? cul es la diferencia entre
la defnicin que le he proporcionado al inicio de este tema y la que est en el texto base?
Seguramente la mayor diferencia en cuanto a la defnicin es que en el texto base tambin se hace
constar adems del elemento mnimo, el elemento mximo; bsicamente el concepto es parecido.
Adems, deben necesariamente existir los dos elementos?
Pasemos ahora a revisar el ejemplo 1 que est a continuacin.
Primero, recuerde que (X, ) es de orden. No de orden total. Para encontrar el mnimo y el mximo
de M nos sirve muy bien el diagrama que se muestra en el ejemplo 4 del punto 3.1, en el fondo del
diagrama est a, y en la parte superior d y e por lo que no es posible determinar el mximo pues este
debe ser nico.
Como se habr dado cuenta, esta parte es muy sencilla, le invito a revisar el resto de ejemplos, si
encuentra difcultad para comprenderlos no dude en buscar tutora (revise el horario de tutora en
la cartula de su evaluacin a distancia o deje sus dudas en el entorno virtual de aprendizaje EVA
mediante un mensaje al tutor), por ahora es el momento de avanzar.
3.3.4. Algunos conceptos relativos a conjuntos totalmente ordenados.
Vamos a abordar este punto en nuestro texto base, ste se encuentra en el punto 3.4 del captulo III.
Lea cada defnicin que se encuentra en un prrafo con vieta, luego analice el ejemplo para cada
defnicin respectivamente.
Como se habr dado cuenta este tema es sumamente sencillo, quiz en el ejemplo 4 se hace necesario
la explicacin del diagrama. En la parte inferior estn todos los elementos de N, inmediatamente en la
parte superior estn todos los pares ordenados de la forma (n, 1) a los cuales se asigna el nmero natural
2n - 1, es decir, si n vale 1 entonces 2*1-11, de ah que el par ordenado es (1, 1) y su fecha apunta
a 1, luego n vale 2, entones el par ordenado es (2, 1), luego, mediante 2n - 1 tenemos 2*2-1=3, por
ello apunta la fecha a 3 y as sucesivamente.
5
57
A continuacin sobre los pares ordenados de la forma (n, 1) estn los de la forma (n, 2). Para estos pares
ordenado se les hace corresponder un nmero natural del tipo 2n, por ello, cuando n vale 1 entonces
2n 2*1 2, de ah que el par ordenado (1, 2) apunta con su fecha hacia 2, luego cuando n vale 2,
el par ordenado ser (2, 2) y 2*24, de ah que (2, 2) apunta con su fecha a 4, y as sucesivamente.
Finalmente para este tema, si encuentra difcultad para comprender alguno de los ejemplos le invito a
hacer uso de la tutora.
3.3.5. Propiedad del supremo.
Para estudiar este tema, ubique en su texto base el punto 3.5 del captulo III. Lea detenidamente
hasta antes del ejemplo 1, ponga especial atencin el los prrafos acompaados por una vieta y en la
demostracin que el autor le propone.
Luego de la lectura, revise los ejemplos haciendo hincapi especialmente en aquellos que tienen su
respectiva demostracin. Este tema est lo sufcientemente claro en el texto base por lo que no es
necesario realizar aclaraciones, sin embargo si tiene inconveniente para comprender algn aspecto le
sugiero hacer uso de la tutora (revise la cartula de su evaluacin a distancia o deje sus dudas en el
entorno virtual de aprendizaje EVA), continuemos con el estudio del siguiente tema.
3.3.6. Propiedad del nfimo.
De modo informal podramos decir que la propiedad del nfmo es lo contrario a la propiedad del
supremo, es decir, por ejemplo para las primeras defniciones, si la propiedad del supremo nos indicaba
que para el conjunto totalmente ordenado (X, ) existe un elemento x que pertenece a X tal que m
menor o igual a x, para todo m que pertenezca a M, en la propiedad del nfmo, existe al menos un
x que pertenece a X tal que ese x es menor o igual a m, para todo m que pertenezca a M. El resto de
defniciones tambin pueden compararse y determinar la diferencia entre ellas, quiz ello nos permita
tener claro la propiedad del nfmo y la propiedad del supremo.
Leamos entonces lo que se encuentra en el punto 3.6 del captulo III del texto base, lea detenidamente
las defniciones de los prrafos acompaados por vietas y trate de tener clara la demostracin que se
encuentra antes del ejemplo de este punto.
Luego de la lectura y una vez comprendidas todas la defniciones, pase a revisar el ejemplo del punto
3.6 del captulo III del texto base, este ejemplo le ayudar a despejar cualquier duda que le haya
quedado, si tiene alguna.
Hemos terminado el estudio de esta unidad, como lo habr notado, no fue nada complicado pues el
texto base nos proporciona las defniciones y ejemplos necesarios para comprender cada tema.
Antes de pasar a la autoevaluacin de esta unidad, es necesario que desarrolle los
ejercicios que estn luego del punto 3.6 del captulo III, estos le ayudarn a reforzar sus
conocimientos.
Cmo le fue con los ejercicios? Espero que muy bien. Si tiene alguna difcultad en el desarrollo de
alguno de ellos le sugiero hacer uso de la tutora.
58
5
una F si es falsa.
1. ( ) Intuitivamente, una relacin es un criterio que nos permite seleccionar determinados
pares ordenados (a, b) de elementos de A que, a su vez, van a pasar a ser los elementos
de la relacin definida.
2. ( ) La expresin a>b determina una relacin?
3. ( ) Sea R una relacin en un conjunto A, y sea B un subconjunto de A. Entonces, se
llama relacin inducida por R en B, al subconjunto de BxB definido por RB = {(a,
b) BxB: (a, b) R}.
4. ( ) Las propiedades que una relacin de equivalencia debe cumplir son: reflexiva o
transitiva.
5. ( ) Para las relaciones de equivalencia, la propiedad simtrica dice que: si a, b A son
tales que aEb, entonces bEa. E es una relacin definida en A.
6. ( ) La relacin de congruencia mdulo m es una relacin de equivalencia en el conjunto
Z.
7. ( ) Sea f una aplicacin de un conjunto A en otro conjunto B. Llamaremos relacin de
equivalencia asociada a la aplicacin f a la relacin en el conjunto A denotada por
E(f) y se la describe con la expresin: xE(f)t f(x)=f(t).
8. ( ) Sea E una relacin de equivalencia definida en un conjunto A, y sea a un elemento
de A. La clase de equivalencia del elemento a para la relacin E viene dada por: [a]
= E(a) = D(a; E) = I(a; E).
9. ( ) Una de las propiedades de las clases de equivalencia es que {[a]: a A} = A.
10. ( ) Una de las propiedades que cumple la particin de un conjunto X es que {C: C
coleccin de subconjuntos no vacos de X} = X.
11. ( ) Para f: R R: xx
2
el conjunto cociente es {{x}: x (-, +)}.
12. ( ) La aplicacin f: A B factoriza a travs del conjunto cociente A/E si y solo si f es
compatible con E. Adems, la aplicacin g: A/E B tal que f = g
o
p es nica, ya que,
necesariamente, viene definida por g([a]) = f(a), para todo a A.
13. ( ) Las relaciones de orden cumplen nicamente con las propiedades reflexiva y
antisimtrica.
14. ( ) ([0, 1],
[0, 1]
) es un conjunto totalmente ordenado.
Autoevaluacin 3
58
5
15. ( ) Decimos que un conjunto ordenado (X, ) est bien ordenado, si todo subconjunto
no vaco C de X tiene elemento mnimo.
16. ( ) Decimos que un conjunto totalmente ordenado (X, ) tiene la propiedad del nfimo
si todo subconjunto no vaco M de X que est acotado inferiormente tiene nfimo.
Corrobore sus respuestas en el solucionarlo
al fnal de la gua, antes de los anexos.
Bienvenido al estudio de la ltima unidad de la materia, esta unidad, si revis y comprendi de manera
correcta los temas de las unidades anteriores, la encontrar bastante sencilla y quiz necesite menos
del tiempo sugerido para su estudio, sin embargo, si no entiende algn aspecto, le sugiero volver a
revisar aquello que an no est claro. Vamos a empezar leyendo la introduccin del captulo IV del
texto base.
4.1. CONJUNTOS FINITOS.
4.1.1. Nocin de conjunto finito.
Cuando escuchamos las palabras conjunto fnito seguramente se nos viene a la mente aquel concepto
que alguna vez aprendimos en el colegio o en la escuela, cuando aprendimos que un conjunto fnito
es aquel que podemos enumerar sus conjuntos.
La idea que acabamos de repasar no est tan alejada del concepto que ahora vamos a estudiar en este
tema.
Ubique en su texto base el punto 1.1 del captulo IV, lea todo el tema en mencin, encontrar que es
fcil su comprensin por lo que no necesitar demasiado tiempo para entenderlo.
Finalmente, El conjunto formado por los elementos k, 2k, y 3k con 0k1 y k que pertenece a N, es
un conjunto fnito?
Si su respuesta es afrmativa, le dir que su respuesta es correcta. Ahora estudiemos el siguiente tema.
4.1.2. Cardinalidad de un conjunto finito.
La cardinalidad de un conjunto es el nmero de elementos que posee, por ejemplo A = {1, 2, 3, 4,
5} tiene cardinalidad 5. Esto si tomamos un conjunto fnito cualquiera, pero, qu pasa con aquellos
conjuntos en los que adems se incluye el concepto de relacin?
Unidad
4
CONJUNTOS FINITOS E
INFINITOS NUMERABLES
0
1
Vamos a despejar la duda del prrafo anterior abordando el punto 1.2 del captulo IV del texto base.
Lea las defniciones que estn en los prrafos acompaados de vietas y las demostraciones respectivas
hasta antes de los ejemplos.
Le quedaron dudas de la lectura? Revise los ejemplos 1, 2 y 3 para entender mejor este tema.
En el ejemplo 1, si el conjunto que se propone es, por ejemplo {1, 2, 3, 4, 5, , 10}, entonces para
este caso n es igual a 10 por lo que la cardinalidad ser n, es decir 10.
En el ejemplo 2, el conjunto Z mdulo n, con n mayor o igual a 2, tiene cardinalidad n, por ejemplo,
si n es 4, entonces Z/(n) = {[0], [2], [3], [4]}, como se observa, el nmero de elementos para Z/(n) es
n, en este caso 4.
Para analizar el tercer ejemplo simplemente tome en cuenta que lo que se asocia ahora es el concepto
de aplicacin biyectiva la cual permuta dos elementos de un conjunto determinado.
Si an luego de analizar los ejemplos le quedan preguntas, no dude en proponerlas en el entorno
virtual de aprendizaje EVA o utilizando la tutora.
Avancemos con nuestro estudio.
4.1.3. Subconjunto de un conjunto finito.
Las mismas defniciones y demostraciones que hemos revisado para la inclusin de conjuntos nos
pueden servir. Tomando ahora en cuenta el concepto de cardinalidad y el concepto de relacin
aplicada a un determinado conjunto, tenemos que la cardinalidad de un conjunto A no vaco que es
subconjunto propio de otro conjunto B siempre resultar menor que la cardinalidad de B.
Revisemos ahora lo que nos presenta el autor del texto base. Ubique el punto 1.3 del captulo IV del
texto base.
Tome en cuenta los 5 ejemplos de este tema, realice un anlisis detenido de las demostraciones, estoy
seguro que le resultar muy sencillo.
En el ejemplo 1, efectivamente, {1, ., n} es un conjunto fnito pues al tomar n un determinado
valor de N, por ejemplo 10000000, tenemos {1, 2, 3, . 10000000}.
De igual manera, en el ejemplo 2, se considera el conjunto cociente Z sobre mltiplos de n, Z/(n),
con n2. Al tomar cualquier subconjunto de Z/(n), siempre tendremos un nmero determinado de
elementos por lo que el resultado ser un conjunto fnito. La explicacin para el resto de ejercicios es
bsicamente la misma, as que no tendr difcultad para comprenderlos.
Ahora, tenemos que continuar con la revisin del siguiente tema de la materia.
4.1.4. Unin de una coleccin finita de conjuntos finitos.
Este tema corresponde al punto 1.4 del captulo IV del texto base. Lea todo el punto y analice a los dos
ejemplos. El autor expone este toma de manera muy explicativa, se incluyen inclusive diagramas de
Venn con lo cual se puede aclarar alguna duda que pueda existir.
0
1
Finalmente para este punto, estn 2 ejemplos que complementan la explicacin del autor del texto
base. Considero que no hace falta explicaciones adicionales por lo que luego de que realice la respectiva
revisin del contenido de este tema, avancemos hacia el estudio del siguiente.
4.1.5. Producto cartesiano de un nmero finito de conjuntos.
Antes de revisar este tema, recuerde lo que en el captulo I estudiamos acerca del producto cartesiano.
Debemos tener claro el concepto pues ahora lo generalizaremos, como dice el autor del texto base,
para una cantidad fnita de conjuntos.
Ahora, lea por favor la defnicin del producto cartesiano de un nmero fnito de conjuntos que se
encuentra a partir del prrafo acompaado con una vieta en el punto 1.5 del captulo IV del texto
base, hgalo por ahora hasta antes del ejemplo 1.
De la lectura que acaba de realizar en le texto base podra usted decir a que es igual A
1
x A
2
x A
3
x
x A
n
, con n que pertenece a N?
Bien, ahora pase a revisar los ejemplos 1, 2 y 3.
En el ejemplo 1, se toma como conjunto a R y luego se encuentra el conjunto que resultara de realizar
R x R x R pues i toma los valores de 1, 2, y 3. Recuerde que para poder generalizar el autor iguala A
con R y luego para poder indicar las veces que se realiza R x R coloca A
i
.
En el ejemplo 2, se considera un conjunto A en particular el cual posee los elementos que se indica.
El objetivo es demostrar que efectivamente ese conjunto tiene cardinalidad 406. Al inicio el autor se
vale de la especifcacin dada de que x, y, z pertenecen a N, luego como bien lo demuestra, si x e y
son nmeros naturales, la suma de los dos siempre ser mayor o igual a 2 pues los mnimos valores que
pueden tomar x e y son 1. Luego, si la suma de x e y es igual o mayor a 2 entonces al restar de 30 la
suma de x + y nos debe dar el valor de z, el cual podra ser menor o igual a 28 como se indica.
Luego, siguiendo con el ejemplo 2, al haber demostrado que los mnimos valores que puede tomar x e
y son 1 y que la suma de estos nos puede dar como mnimo 2, y que z se puede determinar realizando
la resta de 30 menos la suma de x e y; se puede generalizar esto teniendo conjuntos A
i
con cada terna
del tipo (x, y, i) donde x e y perteneciendo a N con x + y = 30 - i. Si le diramos valores a x e y,
obtendramos ternas diferentes para cada valor de x e y, por ello en la unin de todos los conjuntos A
i

{(x, y, i)} ser disjunta como lo especifca el autor del texto base.
A continuacin en el ejemplo 2 se prueba la fnitud de A y se establece que la cardinalidad de A es
la sumatoria de las cardinalidades de cada A
i
en virtud de las propiedades expresadas en el punto 1.4
del captulo IV. Recuerde que en el ejemplo 2 del tema anterior del texto base, el conjunto B tiene
como elementos, pares ordenados del tipo (x, y) donde x e y pertenecen a N, donde x + y = a y su
cardinalidad viene dada por a-1 entonces, para el caso actual la cardinalidad sera 30 - i - 1, que se
reduce a 29 - i.
Finalmente, si no entiende el artifcio que utiliza el autor para determinar el cardinal de A, no se
preocupe, el valor de 406 resulta de sumar, como es lgico, todas las cardinalidades de los A
i
que son:
1 + 2 + 3 + 4 + 5 + + 28.
Le invito a terminar el tema leyendo la defnicin y su respectivo ejemplo 3 que est luego del ejemplo
que acabamos de analizar.
2
3
Continuemos ahora con el siguiente tema.
4.1.6. El conjunto de partes de un conjunto fnito.
Ubique en el texto base el punto 1.6 del captulo IV. Realice una lectura comprensiva de lo que el autor le
presenta. Tenga presente el concepto de cardinalidad de un conjunto, producto cartesiano, conjunto de
partes de un conjunto y las defniciones de los diferentes tipos de aplicaciones. Ponga especial atencin
a los 5 prrafos acompaados con una vieta cada uno y a las respectivas demostraciones. Adems, los
tres ejemplos al fnal le ayudarn a despejar inquietudes que puedan surgir de las defniciones.
Cmo le fue con la lectura?, seguramente le result fcil por lo que he considerado que no es necesario
realizar explicaciones adicionales, avanzaremos con el estudio del siguiente punto. Recuerde las dudas
con respecto a la materia puede despejarlas haciendo uso de la tutora o ingresando al entorno virtual
de aprendizaje EVA.
4.1.7. Conjuntos finitos totalmente ordenados.
Para abordar esta parte del contenido de la materia, tenga presente las defniciones estudiadas de
aplicaciones, cardinalidad, orden total y conjunto fnito.
Ahora, busque en el texto base, el punto 1.7 del captulo IV. Realice una lectura comprensiva de los
que el autor le presenta. Ponga especial atencin a las dos defniciones que estn en los dos prrafos
acompaados con una viera cada uno y a las respectivas demostraciones.
El autor del texto base hace una explicacin bastante corta, sencilla y concreta de este punto pues no es
complicada su comprensin, simplemente debe tener en cuenta los conceptos indicados y le resultar
fcil abordar el estudio del tema. Sus dudas puede despejarlas haciendo uso de la tutora o ingresando
al entorno virtual de aprendizaje EVA y contactndose conmigo.
A continuacin le invito a reforzar su conocimiento desarrollando los ejercicios que estn luego del
punto 1.7 en el texto base. Espero que lo pueda realizar sin mayor difcultad, si necesita ayuda estar
gustoso de apoyarlo con la tutora.
Luego de haber realizado los ejercicios, le animo a empezar el estudio del siguiente tema de estudio.
4.2. CONJUNTOS DE APLICACIONES ENTRE CONJUNTOS FINITOS.
Esta parte de la materia corresponde al punto 2 del captulo IV del texto base. Bsicamente es una
aplicacin del concepto de conjunto de partes de un conjunto que vimos en la unidad I de esta gua
didctica a los conjuntos fnitos. Quiz usted encuentre que el tema es muy sencillo y relativamente
pequeo en extensin, pero considero que su estudio es fundamental para cuando estamos tratando
con conjuntos de aplicaciones.
Se lo propone como un solo punto dentro del contenido de la unidad IV, tal como lo propone el texto
base, con la fnalidad de no confundirlo con el resto de temas, sin embargo est muy relacionado con
ellos.
Lea por favor cada una de las defniciones que estn en los prrafos acompaados con una vieta.
Para cada defnicin existe un ejemplo (ecepto parta el primer caso), los cuales debe comprenderlos,
recuerde que estamos tratando con aplicaciones y conjuntos fnitos por lo que debe tener claros estos
conceptos para que se le facilite la comprensin de lo que le propone el autor del texto base.
2
3
Cmo le fue con la lectura?, espero que muy bien.
Las dos primeras defniciones no poseen ejemplo alguno as que vamos a proponer un ejemplo para
cada una.
Para el primer caso. Tengamos los conjuntos fnitos A {1, 2, 3, 4} y B {2, 4, 6, 8, 10} con la
aplicacin de A en B, g(x) = 2x. Entonces debemos encontrar que B
A
= {g: g es una aplicacin de A
en B} es fnito.
Ahora verifquemos si efectivamente g est incluida en AxB siguiendo la demostracin que realiza el
autor del texto base.
Ahora tenemos que AxB = {(1, 2), (1, 4), (1, 6), (1, 8), (1, 10), (2, 2), (2, 4), (2, 6), (2, 8), (2, 10) , (3, 2),
(3, 4), (3, 6), (3, 8), (3, 10), (4, 2), (4, 4), (4, 6), (4, 8), (4, 10)}
Como se dar cuenta, efectivamente g est incluida en AxB. Si determinramos el conjunto potencia
de AxB seguramente tambin encontraremos conjuntos de la forma {(1, 2)}, {(2, 4)}, {(3, 6)} y {(4,
8)} y que son elementos de B
A
.
Ahora bien, A y B indudablemente son conjuntos fnitos, por lo tanto AxB tambin ser un conjunto
fnito, esto implica que si encontramos el conjunto potencia de AxB encontraremos que tambin ser
fnito. Luego, si el conjunto potencia de AxB es fnito, y si B
A
est incluido en l, se concluye que B
A
es
fnito.
Para el segundo caso. Tengamos A = {1, 2} y B = {2, 4, 6}.
Primero, tenemos que Card(A)=n y Card(B)=m. Ciertamente, para nuestro caso, la cardinalidad de
A es Card(A)=2 y la cardinalidad de B es Card(B)=3. Luego debemos determinar que existe g: B
A

B
1
xB
2
xxB
n
, donde g debe ser biyectiva.
Ahora bien, tenemos que B
1
xB
2
= {(2, 2), (2, 4), (2, 6), (4, 2), (4, 4), (4, 6), (6, 2), (6, 4), (6, 6)} y g =
{(1, 2), (2, 4), (3, 6), (4, 8)} en este caso con la misma g del ejemplo del primer caso, es decir y=2x,
de donde x = y/2.
Debemos determinar que g(f) debe ser igual a (f(a
1
), (a
2
)) con a A. Veamos si efectivamente es as:
g(f) = (f(a
1
), f(a
2
))
g(f) = (f(1), f(2))
g(f) = (2, 4), o lo que es lo mismo en este caso g(f) = {2, 4}
Determinando la cardinalidad de g(f), tenemos que es 2 y la cardinalidad de A es 2 y si g(f) proviene de
gof, 2 y 4 tendrn su respectiva imagen en A y esta adems es nica. Por lo tanto concluimos que g(f) es
biyectiva (Para determinar que g es sobreyectiva nos valemos de la cardinalidad de A y de g(f)).
Una buena manera de entender el resto de casos es realizar el anlisis del respectivo ejemplo, siguiendo
la demostracin respectiva, le aseguro que le resultar muy fcil entender lo que el autor del texto base
le propone.
4
5
Ha llegado el momento de ejercitar su conocimiento. Le invito a desarrollar los ejercicios
que se encuentran luego del punto 2 del captulo IV del texto base, si encuentra alguna
difcultad, no dude en hacer uso de la tutora o contactarse conmigo mediante el entorno
virtual de aprendizaje EVA.
Luego de haber desarrollado los ejercicios, continuemos nuestro estudio con el siguiente tema de
estudio.
4.3. CONJUNTOS NUMERABLES.
Iniciemos el estudio de esta parte de la asignatura, leyendo la pequea introduccin del punto 3 del
captulo IV del texto base.
De la lectura que realiz A qu nos referimos cuando hablamos de conjuntos numerables?
Bien, vamos ahora al desarrollo del contenido de Conjuntos numerables.
4.3.1. Concepto de conjunto infinito numerable.
Ubique en el texto base el punto 3.1 del captulo IV. Realice una lectura compresiva del tema, no
olvide tener presente la defnicin de aplicacin. Revise los ejemplos exhaustivamente, no avance
sin antes haber entendido cada uno, a medida que comprenda cada uno de los ejemplos le resultar
muy fcil abordar todo el contenido de este punto. Ponga nfasis en el estudio del prrafo que est al
principio, acompaado de una vieta pues todo parte de esa sencilla pero fundamental defnicin.
Espero que la lectura haya sido provechosa para la comprensin de lo que estamos estudiando.
Analicemos algunos aspectos de los ejemplos que quiz le ayuden a entenderlos mejor.
Para el ejemplo 1. Tome en cuenta la defnicin de aplicacin identidad. El autor concluye que N es
infnito numerable pues existe una aplicacin identidad defnida en N que es biyectiva. Veamos si
efectivamente es as.
Primero, a cada numero natural le corresponde una y solo una imagen que es el mismo nmero con lo
cual se puede concluir que es inyectiva, adems, al ser N la imagen de la aplicacin, se puede concluir
que es sobreyectiva. Luego al ser inyectiva y sobreyectiva la aplicacin, es tambin biyectiva.
Para el ejemplo 2. El autor determina que Z es un conjunto infnito numerable. Lo que hace es encontrar
aplicaciones que asocien los elementos de N con Z y as poder defnir la aplicacin de la forma f: N
Z, recuerde que los N parten de 1 al infnito y que los Z van desde menos infnito hasta ms
infnito. Inicialmente no existe ninguna aplicacin biyectiva de N en Z pues los elementos negativos,
por ejemplo -1, no tendran elementos de partida en N, si usramos la aplicacin identidad tal cual
como en el primer ejemplo.
El resto de ejemplos y defniciones de este tema de estudio poseen su respectiva demostracin por lo
que no ahondar mas en ellos. Continuemos!
4.3.2. Relacin entre sucesiones y conjuntos infinitos numerables.
Podra usted escribir todos los nmeros enteros?
4
5
Seguramente su respuesta fue negativa. A pesar de que podemos enumerar algunos, no podemos
escribir uno a uno toda la sucesin de elementos, sin embargo los naturales se considera un conjunto.
Eso s, un conjunto infnito numerable.
Vayamos al punto 3.2 del captulo IV del texto base. Lea la defnicin que se encuentra al inicio con
su correspondiente demostracin.
Bien, espero que la lectura haya sido sufciente para entender los que es un conjunto infnito numerable.
Analicemos ahora el ejemplo correspondiente a este punto.
Una buena manera de comprobar si dos elementos de una sucesin son diferentes es restando el uno
del otro. Si la operacin nos da como resultado 0, los elementos son iguales y si el resultado es diferente
de 0 entonces los elementos son diferentes. En el ejemplo, el autor del texto base, precisamente realiza
este proceso para demostrar que los elementos de A son una sucesin infnita pues, n pertenece a N
(el cual es infnito numerable) y es simplemente una constante que se le multiplicar a cada n, con lo
cual siempre obtendremos un elemento diferente para cada operacin n*.
4.3.3. Concepto de conjunto numerable.
Ubique en el texto base el punto 3.3 del captulo IV. Lea el concepto de conjunto numerable, de
paso tenga en cuenta tambin la observacin que el autor le presenta. Por ahora no vaya ms all del
ejemplo 1.
Luego de la lectura, cundo un conjunto es numerable?
Ahora, analice el ejemplo 1, tenga en cuenta para ello el concepto de aplicacin, aplicacin inversa,
conjunto fnito y conjunto infnito numerable.
Todo el proceso que realiza el autor del texto base en el ejemplo es con la fnalidad de demostrar que
f no es sobreyectiva pues g(i), por ejemplo, puede ser 0 para cada elemento de N - {1, .., n} , es
decir cada elemento tendra ms de una imagen, lo que contradice efectivamente la inyectividad, y por
ende la sobreyectividad.
Luego, M tampoco es infnito numerable. La razn es que la defnicin de g se vera alterada. Adems,
g es diferente a la imagen de f pues se supone que si tenemos algn k de N tal que g=f(k), g y k
efectivamente sera las mismas y g por defnicin sabemos que es diferente.
En el segundo ejemplo, el autor nos presenta un ejemplo de conjunto no numerable, o lo que es lo
mismo, un conjunto infnito. La explicacin es bastante clara, tome en cuenta eso si lo que el autor le
presenta antes de la demostracin, ello es fundamental para poder entender lo que realiza.
Continuemos con el siguiente punto de la asignatura.
4.3.4. Conjuntos numerables y aplicaciones sobreyectivas.
Este tema de estudio lo encontrar en el punto 3.4 del texto base.
Lea por favor las dos defniciones que se presentan con su respectiva demostracin, recuerde la
defnicin de conjunto numerable y aplicacin sobreyectiva.

7
Luego de haber realizado la lectura correspondiente, es posible asegurar que en un conjunto numerable
B, existe una aplicacin f de N en B?, si f es una aplicacin sobreyectiva de A en B, siendo A conjunto
infnito numerable, entones B tambin les conjunto infnito numerable?
Analicemos ahora la primera demostracin. Recordemos que B ser conjunto infnito numerable si
existe una aplicacin biyectiva f: N B, lo cual es verdad por la defnicin de conjunto numerable,
por ello el autor del texto base concluye directamente la demostracin.
Ahora, para la segunda parte de la demostracin, se toma un nmero natural n cualquiera, con la
respectiva aplicacin biyectiva g que se muestra. Entonces, se defne una aplicacin sobreyectiva s,
esta aplicacin tendr como imagen todos los nmeros que pertenecen al conjunto {1, , n} si es
que i es un elemento de dicho conjunto, adems, s(i) es 1 si acaso i fuera mayor a n (por ello es solo
sobreyectiva). Luego, gos: N B que bien podramos escribir como f: N B es sobreyectiva, pues
para cada elemento imagen en B existira un nico elemento de partida en N y todo elemento de B
sera imagen de algn elemento de N considerado.
Abordemos ahora la segunda demostracin. Recuerde los conceptos de mnimo, ello le ayudar mucho
en la comprensin de esta demostracin. Bsicamente lo que se pretende demostrar es que: si por
ejemplo tuvisemos una aplicacin defnida por 2x con x que pertenece a A, entonces tendremos
una aplicacin g que para el caso sera x/2 la cual tambin sera un conjunto infnito numerable, la
existencia de un mnimo en la demostracin del autor lo que hace es confrmar que B ser fnito o
infnito numerable con lo cual se concluye de manera contundente que B es numerable.
Avancemos hacia el estudio del ltimo punto de la materia.
4.3.5. Subconjunto de los conjuntos numerables.
El texto base nos presenta este tema en el punto 3.5 del captulo IV. Realice una lectura comprensiva
de lo que all se presenta. Incluya los ejemplos y sus demostraciones.
Luego de haber realizado la lectura, seguramente usted tiene clara la respuesta a la siguiente pregunta
Todo subconjunto de un conjunto numerable es un conjunto numerable?
Para la demostracin de la afrmacin que se encuentra antes del ejemplo 1 usted debe recordar la
defnicin de relacin inducida.
El ejemplo1 propuesto es un caso de un tema anterior del texto base, solo que ahora lo realiza de un
modo especfco orientado a mostrar la demostracin propuesta para la defnicin. Adems, recuerde
que NxN es un conjunto infnito numerable.
En el ejemplo 2 se introduce el concepto de nmeros racionales positivos. La demostracin nos propone
la aplicacin m/n, donde m y n forman una fraccin irreducible, es decir que no se la puede simplifcar,
por ello M.C.D. de m y n es 1. Con esta condicin, indudablemente la aplicacin h que nos propone
el autor ser inyectiva, pues ningn par ordenado (m, n) podra producir dos resultados iguales, luego
efectivamente foh es tambin inyectiva con lo cual Q
+
ser numerable. Por supuesto el resto de la
afrmacin que nos propone el texto base tambin es cierta.
El ejemplo 3 es una extensin del ejemplo 2, analcelo tomando en cuenta que Z va desde menos a
ms infnito.

7
Le invito ahora a ejercitar su conocimiento, realice por favor los ejercicios que estn en el texto base
al fnal, antes del ndice terminolgico. Es importante que desarrolle por lo menos los 4 primeros para
poder reforzar lo que ha estudiado y forma parte de los temas de estudio de esta unidad.
Hemos terminado el estudio de la unidad IV, en el texto base existen 4 temas ms que bien podra
usted analizarlos como complemento al estudio de la asignatura, sin embargo no se ha considerado
trascendente el tomarlos en cuenta como parte del contenido por lo que le dejo a su criterio
estudiarlos.
una F si es falsa.
1. ( ) El conjunto {a, b, c, , x, y, z} es un ejemplo de conjunto finito.
2. ( ) El subconjunto de los Z, {x Z:1x5} es un conjunto finito.
3. ( ) Un conjunto A es finito si existe una aplicacin inyectiva de f: A {1, ., n}, n
N.
4. ( ) El conjunto vaco tiene cardinalidad 1.
5. ( ) La cardinalidad de un conjunto infinito A se denota mnimo(M(A)). Donde M(A) tiene
por elemento la aplicacin inyectiva de A en {1, ., n} con n perteneciendo a los
naturales.
6. ( ) La cardinalidad de (Z/n) es n, siendo n0.
7. ( ) Sea A un conjunto finito y sea B un subconjunto propio de A. Entonces B es finito y
card(B) es mayor a card(A).
8. ( ) Sea A un conjunto finito. Entonces, no existe ninguna aplicacin biyectiva de A sobre
un subconjunto propio, B, de A.
9. ( ) Para la unin de una coleccin finita de conjuntos finitos. La unin de los conjuntos
A
i
es igual a A
1
..A
t
, con i que va desde 1 hasta t y con t que pertenece a los
naturales.
10. ( ) Si A y B son conjuntos finitos y disjuntos. Entonces card(AB) es igual a la resta de
las cardinalidades de A y B.
11. ( ) Sean A y B conjuntos finitos. La cardinalidad de la unin entre A y B es igual a la
suma de las cardinalidades de A y B menos la cardinalidad de la interseccin entre
A y B.
12. ( ) Los productos cartesianos de conjuntos finitos son conjuntos finitos?.
Autoevaluacin 4
8
SOLUCIONARIO Gua didctica: Teora de Conjuntos

13. ( ) Si A es un conjunto finito, el conjunto potencia de A es infinito?
14. ( ) Sean A un conjunto finito y un orden total en A. Entonces, A tiene un mximo
elemento en el conjunto totalmente ordenado (A, ).
15. ( ) Sean A y B conjuntos finitos. Entonces, el conjunto B
A
= {f: f es una aplicacin de A
en B}.
16. ( ) Sean A y B conjuntos finitos tales que card(A) = n y card(B) = m. Entonces existe una
aplicacin inyectiva y sobreyectiva g: B
A
B
1
xB
2
x.xB
n
donde B
i
= B, para cada
i = 1, ., n.
17. ( ) Sean x e Y conjuntos finitos tales que card(X) = card(Y) = n. Entonces, el cardinal del
conjunto de aplicaciones biyectivas de X en Y viene dado por card(B(X, Y)) = n!.
18. ( ) Decimos que un conjunto X es infinito numerable si existe una aplicacin biyectiva
f: N X.
19. ( ) El conjunto Z es infinito numerable.
20. ( ) El producto cartesiano NxN es un conjunto infinito numerable.
Corrobore sus respuestas en el solucionarlo
que se encuentra a continuacin.
HEMOS TERMINADO EL ESTUDIO DEL SEGUNDO
BIMESTRE!
Espero que sus expectativas para este bimestre hayan sido
satisfechas, le animo a prepararse muy bien con miras al examen
bimestral para el cual le deseo mucho xito.
Ha sido un gusto poder compartir con usted a lo largo de este semestre el estudio
de la teora de conjuntos, espero que obtenga grandes xitos en la continuacin
de los estudios previos a la consecucin de su carrera profesional.
8
SOLUCIONARIO Gua didctica: Teora de Conjuntos

PRIMER BIMESTRE
Autoevaluacin
1
Autoevaluacin
2
1. V 1. V
2. V 2. V
3. F 3. V
4. F 4. V
5. V 5. F
6. V 6. V
7. F 7. V
8. F 8. F
9. F 9. V
10. F 10. F
11. V 11. F
12. F 12. V
13. V 13. F
14 V 14. F
15. F 15. V
16. F 16. F
17. V
18. V
19. V
20. F
8. Solucionario
SEGUNDO BIMESTRE
Autoevaluacin
3
Autoevaluacin
4
1. V 1. V
2. V 2. V
3. V 3. V
4. F 4. F
5. V 5. F
6. V 6. F
7. V 7. F
8. V 8. V
9. F 9. V
10. V 10. F
11. F 11. V
12. V 12. V
13. F 13. F
14 V 14. V
15. V 15. V
16. V 16. V
17. V
18. V
19. V
20. V
ANEXOS Gua didctica: Teora de Conjuntos
71
71
Seor estudiante le recordamos que en los anexos existen varios ejercicios propuestos por cada unidad que usted
puede resolverlos para reforzar sus conocimientos tericos y que le sern de mucha ayuda para presentarse a las
evaluaciones en presenciales, tomando en cuenta en algunos casosque aplicacin es igual a funcin.
CONJUNTOS
Ejercicios propuestos de conjuntos y subconjuntos tomados del libro Seymour Lipschuz y de lgebra y
Trigonometra de Dennis Zill, Jacqueline DEWAR.
CONJUNTOS Y SUBCONJUNTOS
Escribir una afrmacin que relacione cada par de conjuntos del diagrama. Debe haber seis afrmaciones.
Solucin:
En primer lugar se ve que C B, D B y B A. pues estos conjuntos estn unidos por segmentos. Por el
Teorema 1-1 se deduce que C A y D A. Por ltimo, los conjuntos C y D no son comparables, ya
que no estn unidos por una lnea ascendente.
28. Construir diagramas de Venn de los conjuntos A, B, C y D del diagrama lineal del Problema 27.
Solucin:
Hagamos dos diagramas posibles:

La principal diferencia entre estos diagramas es que los conjuntos C y D aparecen disjuntos en el segundo
diagrama. Pero ambos tienen el mismo diagrama lineal.

29. Qu signifca el smbolo {{ 2, 3}}?
Solucin:
Se trata de un conjunto que tiene un elemento: el conjunto de los elementos 2 y 3. Obsrvese que {2,
3} pertenece a {{2, 3}} no es un subconjunto de {{2, 3}}. Asi que se puede decirquc {{2. 3}} es un
conjunto de conjuntos.
El presente material ha sido reproducido con fnes netamente didcticos, cuyo objetivo
es brindar al estudiante mayores elementos de juicio para la comprensin de la materia,
por lo tanto no tiene fn comercial.
9. Anexos
4
A
C B
D A
B
C
D
A NE X O. 1
4 GrandaLasso,C.(2007):TeoradeConjuntos.(guadidctica),Anexospgs.99-128
72
73
30. Dado A {2, {4, 5}, 4}, qu afrmaciones son incorrectas y por qu?
(1) {4, } A (2) {4, 5} A (3) {{4,5} A
Solucin:
Los elementos de A son 2, 4 y el conjunto {4, 5}. Por tanto, (2) es correcta y (1) es incorrecta. (3) es una
afrmacin correcta porque el conjunto que consta del nico elemento {4, 5} es un subconjunto de A.
31. Uado E {2, {4, 5}, 4}, qu afrmaciones son incorrectas y por qu?
(1) 5 E (2) {5} E (3) {5} E
Solucin:
Todas son incorrectas. Los elementos de E son 2. 4 y el conjunto {4, 5}; por tanto. (1) y (2) son incorrecras.
Hay ocho subconjuntos de E y {5} un est entre ellos, de modo que (3) es incorrecla.
32. Hallar el conjunto potencia 2
S
del conjunto S = {3, {1, 4}}.
Solucin:
Observar primero que S contiene dos elementos. 3 y el conjunto {1, 4}. Por tanto, 2
S
contiene 2
S
= 4
elementos: S mismo. el conjunto vaco. {3} y el conjunto formado por {1, 4} solo, es decir, {{1, 4}} :
Ms breve:
2
S
= {S, {3}, {{1, 4}}, }
33. En lo que sigue, qu es lo que no se defne en un desarrollo axiomtico de la teora de conjuntos?: (1)
conjunto, (2) subconjunto de, (3) disjunto, (4) elemento. (5) es igual a, (6) pertenece a, (7) superconjunto
de.
Solucin:
Los nicos conceptos no defnidos en la teora de conjuntos son: conjunto, elemento y la relacin pertene-
ce a o sea (1), (4) y (6).
34. Demostrar: Sean A y B no vacos, esto es, A y B . Si A y B son disjuntos, entonces A y B no son
comparables.
Solucin:
Como A y B no son vacos, hay elementos a A y b B. Por otra parte, como A y B son disjuntos, A B y
B A. Por tanto. A B y B A. es decir, A y B no son comparables.
35. Dados A y B no comparables, se sigue que A y B son disjuntos?
Solucin:
No. Los conjuntos del siguiente diagrama de Venn no son comparables; pero tampoco son disjuntos.
A
B
72
73
Problemas propuestos
NOTACIN

36. Escribir en notacin conjuntista:
(1 ) R es un superconjunto de T. (5) z no pertenece a A.
(2) x es elemento de Y. (6) B est incluido en F.
(3) M no es subconjunto de S. (7) El conjunto vaco.
(4) El conjunto potencia de W. (8) R pertenece a A.
37. Enunciar verbalmente:
(1) A = { x | x vive en Pars}. (3) C = { x | x es mayor de 21 aos}.
(2) B = { x | x habla dans}. (4) D = { x | x es ciudadano francs}.
38. Escribir en forma tabular:

(1) P = {x | x
2
- x - 2 = 0}.
(2) Q = {x | x es una letra de la palabra calculan}.
(3) R = {x | x
2
= 9, x - 3 = 5}.
(4) S = {x | x es una vocal}.
(5) T = {x | x es una cifra del nmero 2324}.
39. Si E {1, 0}, decir entre las afrmaciones siguientes cules son correctas o incorrectas.
(1) {0} E, (2) E, (3) {0} E, (4) 0 E, (5) 0 E
40. En una exposicin axiomtica de la teora de conjuntos, decir cules de estos smbolos representan una
relacin no defnida: (1) , (2) , (3) .
SUBCONJUNTOS
41. Si B = {0, 1, 2}, hallar todos los subconjuntos de B.
42. Si F = {0, {1, 2}}, hallar todos los subconjuntos de F.
43. Sean
A = {2,3,4} C = {x | x - 6x + 8 = 0}
B = {x | x = 4, x es positivo} D = {x | x es par}
Completar las siguientes afrmaciones insertando , o nc (no comparables) entre cada par de
conjuntos:
(1) A .... B, (2) A .... C, (3) B .... C. (4) A .... D, (5) B .... D. (6) C .... D.
44. Sean A = {1, 2 .... , 8, 9}, B = {2, 4, 6, 8}, C = {1, 3, 5, 7, 9}, D = {3, 4, 5} y E = {3, 5}. Cules
conjuntos pueden ser iguales a X dadas las condiciones siguientes?
(1) X y B son disjuntos (3) X A y X C.
(2) X D y X B. (4) X C y X A.
74
75
45. Decir si son correctas o incorrectas las siguientes afrmaciones:
(1) Todo subconjunto de un conjunto fnito es fnito.
(2) Todo subconjunto de un conjunto infnito es infnito.
PROBLEMAS DIVERSOS
46. Hacer un diagrama lineal de los conjuntos A. B, e y D del Problema 43.
47. Hacer un diagrama lineal de los conjuntos A, B, C. D y E del Problema 44.
48. Entre las allrmaciones siguientes decir cules son correctas o incorrectas:
(1) {1, 4, 3} = {3, 4, 1} (4) {4} {{4}}
(2) {1, 3, 1, 2, 3, 2} {1, 2, 3} (5) {{4}}
(3) {4} {{ 4}}
49. Decir cules de los siguientes conjuntos son fnitos o infnitos:
(1) El conjunto de rectas paralelas al eje x.
(2) El conjunto de letras del alfabeto.
(3) El conjunto de nmeros que son mltiplos de 5.
(4) El conjunto de animales que viven en la Tierra.
(5) El conjunto de nmeros que son raices de la ecuacin x
38
+ 42x
23
- 17x
18
- 2x
5
+ 19 = 0
(6) El conjunto de crculos que pasan por el origen (0, 0).

50. Entre las afrmaciones siguientes decir cul es correcta y cul incorrecta. Aqu S es un conjunto cualquiera
no vaco.
(1) S 2
s
(2) S 2
s
(3) {S} 2
s
(4) {S} 2
S

51. Hacer un diagrama lineal de los conjuntos del siguiente diagrama de Venn.
Respuestas a los problemas propuestos
36. (t) R T, (2) X Y, (3) M S, (4) 2
w
, (5) z A, (6) B F, (7) , (8) R A.
37. (1) A es el conjunto de los x tales que x vive en Pars.
(2) B es el conjunto de los x tales que x habla dans.
(3) C es el conjunto de los x tales que x es mayor de 21 aos.
(4) D es el conjunto de los x tales que x es ciudadano francs.
38. (1) P = {2, -1}, (2) Q = {a, c, l, u, r}, (3) R = , (4) S = {a, e, i, o. u}, (5) T= {2, 3. 4}.
39. (1) incorrecto, (2) incorrecto, (3) correcto, (4) correcto, (5) incorrecto.
40. El smbolo t representa una relacin no defnida.
41. Hay ocho subconjuntos: B, {0, 1}, {0, 2}, {1, 2}, {0}, {1}, {2}, .
P
Q
R
S
74
75
42. Hay cuatro subconjuntos: F, {0}, {{ l. 2}}, .
43. (1) , (2) , (3) , (4) nc, (5) , (6) .

44. (1) C, E. (2) D, E. (3) A, B, D. (4) Ninguno.
45. (1) correcto, (2) incorrecto.
46.
47.
48. (1) correcto, (2) correcto, (3) correcto, (4) incorrecto, (5) correcto.
49. (1) infnito, (2) fnito, (3) infnito, (4) fnito, (5) fnito, (6) infnito.
50. (1) correcto. (2) incorrecto (3) incorrecto, (4) correcto.
51.
OPERACIONES FUNDAMENTALES CON CONJUNTOS
Problemas resueltos
UNION
1. En los diagramas de Venn que siguen, rayar A unin B, o .sea A U B:
(a) (b) (c) (d)
Solucin:
La unin de A y B es el conjunto de todos los elementos que pertenecen a A o a B o a ambos. Se rayan
entonces las reas de A y de B como sigue:

(a) (b) (c) (d)
A
D
C
B
A
B
D
E
C
P
R
S
Q
A B
B
A
A
B A B
A B B
A
A
B
A B
7
77
2. Sea A = {1, 2, 3, 4}, B = {2, 4, 6, 8} y C = {3, 4, 5, 6}. Hallar (a) A B, (b) A C, (c) B C, (d) B
B.

Solucin:
Para formar la unin de A y B se renen todos los elementos de A con todos los elementos de B. De modo
que
De igual manera.
A B = {1, 2, 3, 4, 6, 8}
A C = {1, 2, 3, 4, 5, 6}
B C = {2, 4, 6, 8, 3, 5}
B B = {2, 4, 6, 8}
Ntese que B B es precisamente B.
3. Sean A, B y C los conjuntos del Problema 2. Hallar (1) (A B) C, (2) A (B C).

Solucin:
(1) Se determina primero A B = (1, 2, 3. 4. 6, 8}. Entonces la unin de A B y C es
(A B) C = {1, 2, 3, 4, 6, 8, 5}
(2) Se determina primero B C = {2. 4, 6, 8, 3, 5}. Entonces la unin de A y B C es
A (B C) = {1, 2, 3, 4, 6, 8, 5}
Ntese que (A B) C = A (B C).
4. Sean el conjunto X = {Toms, Ricardo, Enrique}, el conjunto Y = {Toms, Marcos, Emilio} y Z = {Mar.
cos, Emilio, Eduardo}. Hallar (a) X Y, (b) Y Z, (c) X Z.

Solucin:
Para hallar X Y se hace la lista de los nombres de X con los nombres de Y; as

X Y = {Toms, Ricardo, Enrique, Marcos, Emilio}
Del mismo modo Y Z = (Toms, Marcos, Emilio, Eduardo}
X Z = {Toms, Ricardo, Enrique, Marcos, Emilio, Eduardo}

5. Sean A y B dos conjuntos que no son comparables. Hacer el diagrama lineal de los conjuntos A, B y A
B.

Solucin:
Ntese primeramente, segn la Observacin 2-2, que A y B son ambos subconjuntos de A B, es decir,
que
A (A B) y B (A B)
De acuerdo con esto, el diagrama lineal de A, B y A B es A B
A B
7
77
6. Demostrar la Observacin 2-2: A y B son subconjuntos de A B.

Solucin:

Puesto que A 8 = B A solo se requiere demostrar que A es subconjunto de A B, esto es, que x A
implica x A B.
Sea x un elemento de A. Se sigue entonces que x es elemento de A o de B, es decir, que x A B. As que
A (A B).
7. Demostrar: A = A A.

Solucin:
Segn la Defnicin 1-1, hay que demostrar que A (A A) y que (A A) A. Segn la Observacin
2-2, A (A A). Sea ahora un x (A A). Entonces, segn la defnicin de unin, x A o x A; as que
x pertenece a A. Por tanto, (A A) A y, por la Defnicin 1-1, A (A A).
8. Demostrar: U A = U, dnde U es el conjunto universal.

Solucin:
Por la Observacin 2-2, U (U A). Como todo conjunto es un subconjunto del conjunto universal, (U
A) U y la conclusin se sigue de la Defnicin 1-1.
9. Demostrar: A = A.
Solucin:
Por la Observacin 2-2, A (A ). Sea ahora un x (A ), entonces x A o x . Por la defnicin
de conjunto vaco, x ; de modo que x A. Se ha demostrado que x (A ) implica x A, es decir,
que (A ) A. Por la Defnicion 1-1, A A.
10. Demostrar: A B = implica A = y B = .
Solucin:
Por la Observacin 2-2, A (A B), es decir, A . Pero es subconjunto de todo conjunto; en par-
ticular, A. Luego, por la Defnicin 1-1, A . De igual manera se puede demostrar que B = .

INTERSECClN

11. En los diagramas de Venn del Problema 1, rayar la interseccin de A y B, esto es, de A B.
Solucin:
La interseccin de A y B consiste en el rea que es comn tanto a A como a B. Para encontrar A B, se
raya primero A con trazos oblicuos hacia la derecha (///) y luego se raya B con trazos oblicuos inclinados a
la izquierda (\\\\) como se ve en la fgura:
(a)
A A B
A
A
B A
B
(b) (c) (d)
78
7
Entonces A B es el rea que tiene los dos.ayados. El resultado fnal, que es A B, se raya ahora con
lneas horizontales, como sigue:
A B lo rayado
Ntese que A B es vaca en (c) en que A y B son disjuntos.
12. Sean A = {1, 2, 3, 4}, B = {2, 4, 6, 8} y C = {3, 4, 5, 6}. Hallar (a) A B, (b) A C, (c) B C, (d) B
B.
Solucin:
Para formar la interseccin de A y B se inscriben todos los elementos comunes a A y B; as A B = {2,
4}.
De igual manera, A C = {3, 4}, B C = {4, 6} y B B = {2, 4, 6, 8}. Ntese que B B es efectiva-
mente B.

13. Sean A, B y C los conjuntos del Problema 12. Hallar (a) (A B) C, (b) A (B C).

Solucin:
(a) A B = {2, 4}. As que la interseccin de {2, 4} con C es (A B) C = {4}.
(b) B C = {4, 6}. La interseccin de este conjunto con el A es {4}, esto es, A (B C) = {4}.
Ntese que (A B) C = A (B C).
14. Sean A y B dos conjuntos no comparabIes. Hacer el diagrama lineal de A, B y A B.

SoIucin:
Por la Observacin 2-4, A B es un subconjunto tanto de A como de B, esto es. (A B) A y (A B)
B.
De acuerdo con esto se tiene el siguiente diagrama lineal:
15. Demostrar la Observacin 2-4: A B es un subconjunto de A y de B.
Solucin:
Sea x un elemento cualquiera de A B. Por defnicin de la interseccin, x pertenece a ambos conjuntos
A y B; en particular, x A. Se ha demostrado que x (A B) implica x A, esto es, que (A B) A. De
igual modo, (A B) B.
(a)
A A B
A
A
B A
B
(b) (c) (d)
A B
A B
78
7
16. Demostrar: A A = A.
Solucin:
Por la Observacin 2-4, (A A) A. Sea x un elemento cualquiera de A; entonces es obvio que x perte-
nece a los conjuntos A y A, es decir. x pertenece a AA. Se demuestra as que x A implica x (A A). es
decir. que A (A A). Por la Defnicin 1.1, A A = A.
17. Demostrar: U A = A, donde U es el conjunto universal..

Solucin:
Por la Observacin 2-4, (U A) A. Sea x un elemento cualquiera de A. Como U es el conjunto universal
x pertenece tambin a U. Como x A y x U, por la defnicin de interseccin, x (U A). Se ha demos-
trado que x A implica x (U A), es decir. que se ha demostrado que A (U A). Por la Defnicin
1-1. U A = A.
18. Demostrar: A = .
Solucin:
Por la Observacin 2-4, (A ) . Pero el conjunto vacio es subconjunto de todo conjunto; en
particular, A Por tanto, A = .
DIFERENCIA
19. Sea A = {1, 2, 3, 4}, B = {2, 4, 6, 8} y C = {3, 4, 5, 6}. Hallar (a) (A - B), (b) (C - A), (c) (B - C), (d) (B - A),
(e) (B - B).
Solucin:
(a) El conjunto A - B consiste en los elementos de A que no estn en B. Como A = {1, 2, 3, 4} y 2, 4
B, entonces A - B = {1, 3}.
(b) Los nicos elementos de C que no estn en A son 5 y 6; por tanto, C - A = {5, 6}.
(c) B - C ={2, 8}. (d) B - A = {6, 8}. (e) B - B =
20. En los diagramas de Venn del Problema 1, rayar A menos B o sea A - B.
Solucin:
En cada caso el conjunto A - B consiste en los elementos de A que no estn en B, es decir, el rea en A
que no est en la de B.

Ntese que como en (c), A - B = A si A y B son disjuntos. Ntese tambin que, como en (d), A - B = si
A es subconjunto de B.
(a)
A A B
A
A
B A
B
(b) (c) (d)
80
81
21. Dados dos conjuntos A y B no comparables, construir el diagrama lineal de los conjuntos A, B, (A - B), (B
- A), y el universal U.
Solucin:
Notar primero segn la Observacin 2-6, que (A - B) A y que (B - A) B.
Como es subconjunto de todo conjunto y como, por la Observacin 2-7. (A - B) y (B - A) no son com-
parables. se puede trazar primero.
Como A (A - B) y B (B - A). se aaden A y B al diagrama como sigue:

Como U contiene a todo conjunto. se completa el diagrama as:
Si no se incluyera U o en el diagrama. entonces el diagrama lineal no se cerrara.
22. Demostrar la Observacin 26: (A - B) A.

Solucin:
Sea x cualquier elemento dd conjunto A-B. Por defnicin de diferencia. x A y x B; en particular. x
pertenece a A. Se ha demostrado que x (A - B) implica x A: es decir, que (A - B) A.
23. Demostrar: (A - B) B = .
Solucin:
Sea x perteneciente a (A - B) B. Por la defnicin de interseccin. x (A-B) y x B. Pero por la defnicin
de diferencia, x A y x B. Como no hay ningn elemento que cumpla x B y x B. entonces (A - B)
B = .
COMPLEMENTO
24. Sean U = {1, 2, 3, ... , 8, 9}, A = {1, 2, 3, 4}, B = {2, 4, 6, 8} y C = {3, 4, 5, 6}. Hallar (a) A, (b) B, (c)
(A C), (d) (A B), (e) (A) , (f) (B - C).

Solucin:
(a) El conjunto A consiste en los elementos que estn en U pero no en A. Por tanto, A = {5. 6, 7,8, 9}.
A - B B - A
A - B B - A
A B
A - B B - A
A B
U
80
81
(b) El conjunto de los elementos de U que no estn en B es B = {1, 3, 5, 7, 9}.
(c) (A C) = {3, 4} y entonces (A C) = {1, 2, 5,6,7.8, 9}.
(d) (A B) = {1, 2, 3, 4, 6, 8} y entonces (A B) = {5, 7, 9}.
(e) A = {5, 6, 7, 8, 9} y entonces (A) = {1, 2, 3, 4}, es decir, (A) = A.
(f) (B - C) = {2, 8} y entonces (B - C) = {1, 3, 4, 5, 6, 7, 9}.

25. En el diagrama de Venn siguiente, rayar (a) B, (b) (A B), (c) (B - A), (d) A B.
Solucin:
(a) Como B. complemento de B, consta de los elementos que no estn en B. se raya el rea
exterior a B.
(b) Primero se raya el rea A B; luego, (A B) es el rea exterior a (A B).
(c) Primero se raya B - A; y as (B - A) es el rea exterior a B - A.
(d) Primero se raya A, el rea exterior a A, con trazos oblicuos inclinados a la derecha (///) y se raya
B con trazos oblicuos inclinados a la izquierda (\\\\), entonces A B resulta ser el rea con doble
rayado.

Ntese que el rea de (A B) es la misma que la de A B.
A B
B lo rayado
A B
A B lo rayado
A B
(A B) lo rayado
A B
A
B - A lo rayado
B
B
(B - A) lo rayado
A
A B
A y B lo rayado
A B
A B lo rayado
82
83
OPERACIONES FUNDAMENTALES CON L0NJUNTOS
26. Demostrar el Teorema de De Morgan: (A B) = A B.
Solucin:
Sea x (A B); as, pues, x no pertenece a A B. Por tanto, x A y x B, es decir, x A y x B y, por
la defnicin de interseccin, x pertenece a A B. Se ha demostrado que x (A B) implica x (A
B) es decir, que
(A B) (A B)
Sea ahora y A B; entonces y pertenece a A e y pertenece a B. Asi que y A e y B y, por tanto, y
A B, o sea que y (A B). Queda demostrado que y (A B) implica y (A B). es decir. que
(A B) (A B)
Por consiguiente, por la Defnicin 1-1, (A B) = (A B).
PROBLEMAS DIVERSOS
27. Sean U = {a, b, c, d, e}, A = {a, b, d} y B = {b, d, e}. Hallar (a) A B, (b) B A. (c) B. (d) B - A, (e) A
B, (f) A B, (g) A B, (h) B - A, (i) (A B), (j) (A B).
Solucin:
(a) La unin de A y B consta de los elementos de A y los elementos de B, es decir. A B = {a, b, d.
e}.
(b) La interseccin de A y B consta de los elementos que son comunes a A y B es decir, A B = {b,
d}
(c) El complemento de B consta de las letras que estn en U pero no en B; as que B = {a, c}.
(d) El conjunto B - A est formado por los elementos de B que no estn en A, esto es, B - A = {e}.
(e) A = {c, e} y B = {b, d, e}; as que A B = {e}.
(f) A = {a, b, d} y B = {a, c}; as que A B = {a, b, c, d}.
(g) A = {c, e} y B = {a, c}; entonces A B = {c}.
(h) B - A = {a}.
(i) Segn (b), A B = {b, d}; luego (A B) = {a, c, e}.
(j) Segn (a), A B = {a, b, d, e}; luego (A B) = {c}.

28. En el diagrama de Venn que sigue, rayar (1) A (B C), (2) (A B) (A C), (3) A (B C). (4) (A
B) (A C).

Solucin:
(1) Primero rayar A con trazos inclinados a la derecha y rayar B C con trazos inclinados a la izquierda;
entonces A (B C) es el rea con doble rayado.
A B
C
A B
C
A y B C aparecen rayados
A B
C
A B C lo rayado
82
83
(2) Primero rayar A B con trazos inclinados a la derecha y A C con trazos inclinados a la izquierda: entonces
(A B) (A C) resulta ser el rea total rayada como se muestra en seguida.

Ntese que A (B C) = (A B) (A C).
(3) Primero se raya A con trazos inclinados a la derecha y se raya B C con trazos inclinados a la izquierda;
as resulta ser A (B C) el rea total rayada.
(4) Primero se raya A B con trazos inclinados a la derecha y se raya A C con trazos inclinados a la
izquierda; (A B) (A C) es el rea con doble rayado.
Ntese que A (B C) = (A B) (A C).

29. Demostrar: B - A es un subconjunto de A.
Solucin:
Sea x perteneciente a B - A. Entonces x B y x A; por tanto, x es elemento de A. Como x B - A implica
x A, B - A es subconjunto de A.
30. Demostrar: B - A = B A.
Solucin:
B - A = { x | x B, x A) = {x | x B, x A} = B A.
31. Sea el conjunto universal U = {a, b, c, d, e, f, g} y sean A = {a, b, c, d, e}, B ={a, c, e, g} y C = {b, e,
f, g}.
A B
C
A B y A C lo rayado
A B
C
(A B) (A C) lo rayado
A B
C
A y B C lo rayado
A B
C
A (B C) lo rayado
A B
C
A B y A C lo rayado
A B
C
(A B) (A C) lo rayado
84
85
Hallar:
(1) A C (3) C - B (5) A - B (7) (A - C) (9) (A - B)
(2) B A (4) B (6) B C (8) C A (10) (A A)
32. Demostrar: Si A B = , entonces A B.
33. En los diagramas de Venn que siguen. rayar (1) V W, (2) W, (3) W - V, (4) V W, (5) V W, (6) V
- W.
34. Hacer un diagrama de Venn con tres conjuntos no vacios A, B y C de modo que A, B y C tengan las
siguientes caracteristicas:

(1) A B, C B, A C = (3) A C, A C, B C =
(2) A B, C B, A C (4) A (B C), B C, C B, A C
35. Determinar:
(1) U A (3) (5) A A (7) U A (9) A A
(2) A A (4) A (6) U (8) A A (10) A.
36. Completar las siguientes afrmaciones insertando , o no (no comparables) entre cada par de conjuntos.
Aqu A y B son conjuntos arbitrarios.
(1) A...A - B (3) A...B - A (5) A...A - B
(2) A...A B (4) A... A B (6) A... B - A
37. La frmula A - B = A B puede defnir la diferencia de dos conjuntos mediante las solas operaciones
de interseccin y complemento. Encontrar una frmula que defna la unin de dos conjuntos, A B,
mediante estas dos operaciones de interseccin y complemento.
38. Demostrar: A - B es un subconjunto de A B.
39. Demostrar el Teorema 2-1 : A B implica A B = A.
40. Demostrar: Si A B = , entonces B A = B.
41. Demostrar el Teorema 2-2: A B implica A B = B.
42. Demostrar: A - B = B - A .
43. Demostrar el Teorema 2-3: A B implica B A.
44. Demostrar: Si A B = . entonces A B = B.
45. Demostrar: (A B) = A B.
46. Demostrar el Teorema 2-4: A B implica A (B - A) = B.
31. (1) U (3) {b, f} (5) {f} (7) C = {b, e, f, g} (9) {b, d, f, g}
(2) {a, c, e} (4) {h, d, f} (6) {b, d, f, c, g) (8) {a, c, d} (10) U
V W
(a)
V W
(b)
84
85
32. Demostracin: Sea x A. Como A y B son disjuntos x B; luego x pertenece a B. Queda demostrado que
x A implica x B, es decir, que A B.
33. (a) (1) (3) (5)
(2) (4) (6)
(b) (1) (3) (5)

(2) (4) (6)

34. (1) (3)

(2) (4)

35. (1) A (2) A (3) U (4) A (5) (6) (7) U (8) U (9) A (10)
36. (1) (2) (3) (4) (5) nc (6) nc
37. A B = (A B).
V W
V W lo rayado
V W
W - V lo rayado
V W
V W lo rayado
V W
V W
V W
(a)
V W
V W lo rayado
V W
W - V lo rayado
V W
V W lo rayado
V W
W lo rayado
V W
V W lo rayado
V W
V - W lo rayado
A
B
C
B
C
A
A
B
C
A B
C
8
87
En los problemas 1 al 20,suponga U = {a, b, c, d, e, f,
g, h, i} A = {a, b, c, d, e}, B = {d, e, f, g}, C = {e, f, g,
h, i}, D = {a, c, e, g, i}, E = {b,d, f, h}, F = {a, e, i},
y determine lo se indica.
1. A B 2. A B
3. C D 4. E F
5. A C 6. A C
7. C D 8. E F
9. A 10. B
11. B - A 12. E F
13. A - B 14. (E F)
15. A (B
C)
16. (A B) (A
C)
17. (A D) - B 18. (A - E)
19. (C A) - E 20. (B F) A
En los problemas 21 al 30, suponga los conjuntos K =
{2, 4,,6, 8}, L = {1, 2, 3, 4}, M= {3, 4, 5, 6, 8}, U =
{1, 2, 3,..., 10}, y determine lo que se indica.
21. K 22. (K L)
23. (M K) 24. K M
25. (K - L)
M
26. (M - K) - L
27. U - 28. U L
29. (U) 30. (K L) M
En los problemas 31 a 40, suponga que los conjuntos
A, B, C son cualesquiera. U el conjunto universo y
vaco, y simplifque las esxpresiones dadas.
31. (A U) 32. (A-U)(B-)
33. (A)(BA) 34. A (A B)
35. (BU)(AA) 36. (A A)
37. U U 38. A U
39. B 40. (B U)
En los problemas 41 al 50, suponga dados los conjuntos
A, B, C no vacos; use diagramas de Venn para ilustrar
los resultados obtenidos al efectuar las operaciones
indicadas en las expresiones dadas.
41. A B 42. A B
43. A - D 44. A B
45. (A B) C 46. B A
47. A B 48. (A B) (A C)
49. (A B) C 50. A B

En los problemas 51 al 56, si sabemos que un conjunto G
es subconjunto de un conjunto A no vaco, determine
la veracidad de los enunciados dados.
51. A B = G 52. G A = A
53. (G - A) A 54. (G - A) G
55. G A = A
G
56. (A-G)A = (A -
G)
En los problemas 57 al 62, considere los conjuntos A1
= {2, 3, 5}, A2 = {1, 4}, A3 = {1, 2, 3,} A4 = {1, 3,
5, 7}, A5 = {3, 5, 8}, A6 = {1, 7}, U = {1, 2, 3, 4, 5,
6, 7, 8, 9}, y determine lo que se indica.
51. 52.
53. 54.
55. 56.
En los problemas 63 al 67, considere conjuntos A y B
cualesquiera y realice las demostraciones propuestas.
63. Demuestre que (A B) = A B
64. Demuestre que (A B) B = A si y slo si A
B =
65. Demuestre que si A y B son subconjuntos de
U, entonces A B = A si y slo si A B =
66. Demuestre que (A B) C = A (B C)

67. Demuestre que (A B) C = A (B C)
EJERCICIO 0.8
8
87
En los problemas 1 al 6, suponga que |B| = 12, |C| =
11, |D| = 8, |B C | = 20, |B D| = 20 y |D C| =3
y determine lo que se indica.
1. |B C| 2. |B - D|
3. |D C| 4. |B D|
5. |B - C| 6. |B D|
En los problemas 7 al 10, suponga que |A| = 35, |B| =
23, |C| = 28, |A B| = 15, |A C| = 13, |B C| = 11,
|A B C | = 52, y determine lo que se indica.
7. |A B C| 8. |(A C) - B|
9. |(A B) -
C|
10. |(A C) - A|

11. En una encuesta de 60 personas se encontr
que 25 leen revistas polticas, 26 leen revistas
cientfcas y 26 leen revistas de entretenimiento.
Se determin adems que nueve personas leen
revistas polticas y de entretenimiento, once leen
revistas polticas y cientfcas, ocho leen revistas
cientfcas y de entretenimiento y ocho no leen
revista alguna.
(a) Determine el nmero de personas que
leen los tres tipos de revistas.
(b) Determine el nmero de personas que
leen exactamente un tipo de revistas.
12. Una encuesta a 100 msicos populares mostr
que 40 de ellos usaban guantes en la mano
izquierda y 39 usaban guantes en la mano
derecha. Si 60 de ellos no usaban guantes,
cuntos usaban guantes en la mano derecha
solamente? cuntos usaban guantes en la mano
izquierda solamente?, cuntos usaban guantes
en ambas manos?
13. En la clase de educacin fsica se inscribieron
200 estudiantes; se les pregunto si queran trotar
o nadar como nicas dos alternativas. Decidieron
trotar 85 de ellos, 60 tambin aceptaron nadar.
En total, cuntos tomaron natacin?, cuntos
tomaron natacin pero no aceptaron trotar?
14. Un archivo de datos de tamao igual a 96k
debe ser cppiado en un minidisco de capacidad
143k. Si 100k del disco est ocupado con otros
archivos, cul esl mnima cantidad del disco
que debe ser borrada para poder almacenar el
nuevo archivo?
15. De 30 estudiamcs en una dase de matemtica,
26 aprobaron el primer examen parcial y 21
aprobaron el segundo examen parcial. S dos
estudiantes reprobaron ambos exmes, cuntos
aprobaron ambos exmenes?
16. Un total de 60 clientes potenciales visitaron
una tienda de artculos de computadores.
De stos, 52 compraron algn articulo; 20
compraron papel, 36 compraron disquetes y
doce compraron cintas para impresoras. Si seis
compraron papel y disquetes, nueve compraron
disquetes y cintas y cinco compraron papel y
cintas, cuntos compraron los tres artculos?
17. Un total de 35 sastres fueron entrevistados para
un trabajo; 25 saban hacer trajes, 28 saban
hacer camisas, y dos no saban hacer ninguna
de las dos cosas, cuntos saban hacer trajes y
camisas?
18. A principios de los aos setenta se hizo una
encuesta a 120 residentes de una ciudad
latinoamericana sobre su inters en los tres
equipos del rea ms cercana a la ciudad. De
stos, 40 seguan al equipo A, 28 seguan al
equipo B y 31 al equipo C; 23 seguan al A y
al B; 19 seguan al equipo B y al equipo C, 25
seguan al equipo A y al equipo C y 18 personas
seguan a los tres equipos. Cuntas de estas
personas no seguan a equipo alguno? cuntos
seguan al equipo A y al equipo al equipo C,
pero no al equipo B?
19. De 1200 estudiantes de primer ao en una
universidad. 582 tomaron educacin fsica, 627
tomaron espaol, 543 tomaron matemtica,
217 tomaron educacin fsica y espaol, 307
tomaron educacin fsica y matemtica, 250
tomaron matemtica y espaol, 122 tomaron los
tres cursos. Cuntos no tomaron ninguno de los
tres cursos?
20. En una encuesta aplicada a 260 estudiantes
se obtuvieron los siguientes datos: 64 toman
un curso de matemtica. 94 toman un curso
de computacin, 58 toman un curso de
administracin, 28 toman cursos de matemtica
y administracin, 26 toman cursos de
matemtica y computacin, 22 toman cursos de
administracin y computacin, y 14 toman los
tres cursos.
a) Cuntos de los estudiantes de la encuesta
no toman ninguno de los tres cursos?
b) Cuntos de los estudiantes de la encuesta
toman slo el curso de computacin?

EJERCICIO 0.9
88
8

APLICACIONES
Recuerde que el trmino funcin es igual que aplicacin, este ltimo es utilizado por el autor del texto
bsico para una mejor comprensin del tema.

PROBLEMAS DIVERSOS
43. Sea la funcin f: R R defnida por f(x) x
2
- 3x + 2. Hallar:
(a) f( -3) (e) f(x
2
) (i) f(2x - 3) (m) f(f(x + 1))
(b) f(2) - f(-4) (f) f(y - z) (j) f(2x - 3) + f(x + 3) (n) f(x + h) - f(x)
(c) f(y) (g) f(x + h) (k) f(x
2
- 3x + 2) (o) [f(x + h) - f(x)]/h
(d) f(a
2
) (h) f(x +3) (l) f(f(x))

Solucin:
La funcin hace corresponder a cada elemento el cuadrado del elemento menos 3 veces el elemento ms
2.
(a) f(-3) = (-3)
2
- 3(-3) + 2 = 9 + 9 + 2 = 20
(b) f(2) = (2)
2
- 3(2) + 2 = 0, f(-4) = (-4)
2
- 3(-4) + 2 = 30. Entonces
f(2) - f(-4) = 0 - 30 = -30
(c) f(y) = (y)
2
- 3(y) + 2 = y
2
- 3y + 2
(d) f(a
2
) = (a
2
)
2
- 3(a
2
) + 2 = a
4
- 3a
2
+ 2
(e) f(x
2
) = (x
2
)
2
- 3(x
2
) + 2 = x
4
- 3x
2
+ 2
(f) f(y - z) = (y - z)
2
- 3(y - z) + 2 = y
2
- 2yz + z
2
- 3y + 3z + 2
(g) f(x + h) = (x + h)
2
- 3(x + h) + 2 = x
2
+ 2xh + h
2
- 3x - 3h + 2
(h) f(x + 3) = (x + 3)
2
- 3(x + 3) + 2 = (x
2
+ 6x + 9) - 3x - 9 + 2 = x
2
+ 3x + 2
(i) f(2x - 3) = (2x - 3)
2
- 3(2x - 3) + 2 = 4x
2
- 12x + 9 - 6x + 9 + 2 = 4x
2
- 18x + 20
(j) Usando (h) e (i) tenemos
f(2x - 3) + f(x + 3) = (4x
2
- 18x + 20) + (x
2
+ 3x + 2) = 5x
2
- 15x + 22
(k) f(x
2
- 3x + 2) = (x
2
- 3x + 2)
2
- 3(x
2
- 3x + 2) + 2 = x
4
- 6x
3
+ 10x
2
- 3x
(1) f(f(x)) = f(x
2
- 3x + 2) = x
4
- 6x
2
+ 10x
2
- 3x
(m) f(f(x + 1)) = f([(x + 1)
2
- 3(x + 1) + 2]) = f([x
2
+ 2x + 1 - 3x - 3 + 2])
= f(x
2
- x) = (x
2
- x)
2
- 3(x
2
- x) + 2 = x
4
- 2x
3
- 2x
2
+ 3x + 2
(n) Para (g), f(x + h) = x
2
+ 2xh + h
2
- 3x - 3h + 2. De donde
f(x + h) - f(x) = (x
2
+ 2xh + h
2
- 3x - 3h + 2) - (x
2
- 3x + 2) = 2xh + h
2
- 3h
(o) Empleando (n) tenemos
[f(x + h) - f(x)]/h = (2xh + h
2
- 3h)/h == 2x + h - 3

A NE X O. 2
88
8
44. Sean las funciones f: R R y g: R R defnidas por f(x) 2x - 3 y
g(x) = x
2
+ 5. Hallar (a) f(5), (b) g( -3), (c) g(f(2)), (d) f(g(3)), (e) g(a -1), (f) f(g(a -1)), (g) g(f(x)), (h) f(g(x + 1)),
(i) g(g(x)).

Solucin:
(a) f(5) = 2(5) - 3 = 10 - 3 = 7
(b) g(-3) = (-3)
2
+ 5 = 9 + 5 = 14
(c) g(f(2)) = g([2(2) - 3)) = g([4 - 3]) = g(1) = (1)
2
+ 5 = 6
(d) f(g(3)) = f([3
2
+ 5]) = f([9 + 5]) = f(14) = 2(14) - 3 = 25
(e) g(a - l) = (a - 1)
2
+ 5 = a
2
- 2a + 1 + 5 = a
2
- 2a + 6
(f) Usando (e) tenemos
f(g(a - 1)) = f(a
2
- 2a + 6) = 2(a
2
- 2a + 6) - 3 = 2a
2
- 4a + 9
(g) g(f(x)) = g(2x - 3) = (2x - 3)
2
+ 5 = 4x
2
- 12x + 14
(h) f(g(x + 1)) = f([(x + 1)
2
+ 5]) = f([x
2
+ 2x + 1 + 5])
= f(x
2
+ 2x + 6) = 2(x
2
+ 2x + 6) - 3 = 2x
2
+ 4x + 9
(i) g(g(x)) = g(x
2
+ 5) = (x
2
+ 5)
2
+ 5 = x
4
+ 10x
2
+ 30
PROBLEMAS PROPUESTOS
DEFINICIN DE FUNCIN
45. Decir cundo los diagramas siguientes defnen o no una funcin de { 1, 2, 3} en {4, 5, 6}.

46. Defnir por una frmula las siguientes funciones:
(1) Hacer corresponder a todo nmero real por f su cuadrado ms 3.
(2) A cada nmero real asignarle por g el nmero ms el valor absoluto del nmero.
(3) A todo nmero real mayor o igual que 3 atribuirle por h el nmero al cubo; y a cada nmero menor
o igual que 3 atribuirle por h el nmero 4.
2
- 4x + 3. Hallar (1) f(4), (2) f(- 3), (3) f(y-2z), (4) f(x - 2).
48. Sea la funcin g : R R defnida por g(x)
Hallar (1) g(5), (2) g(0), (3) g(-2).
49. Sea T = [-3, 5] y sea la funcin f: T R defnida por f(x) 2x
2
- 7. Calcular (a) f(2), (b) f(6), (c) f(t - 2).
50. Sea la funcin h: R R defnida por h(x)

Calcular (a) h(3), (b) h(12), (c) h(- 15), (d) h(h(5)), es decir, h
2
(5).
51. Sean X = {2, 3} e Y = {1, 3, 5}, Cuntas funciones diferentes hay de X en Y?
1
2
3
4
5
6
1
2
3
4
5
6
1
2
3
4
5
6
(1)
(2)
(3)
0
1
DOMINIO DE IMAGENES DE UNA FUNCIN

52. Los diagramas siguientes defnen funciones f, g y h que aplican el conjunto {1, 2, 3, 4} en s mismo.

Averiguar (1) el dominio de imgenes de f (2) el de g, (3) el de h.

53. Dado W = {- 1, 0, 2, 5, 11}, Sea la funcin f: W R defnida por f(x) x
2
- x - 2 Cul es el dominio de
imgenes de f?

54. Considrense las seis funciones siguientes:
Si cada funcin viene defnIda por ]a misma frmula.
f(x) = x
2

es decir. si cada funcin asigna a cada nmero x el x
2
, calcular el dominio de imgenes de (1) f
1
, (2) f
2
, (3)
f
3
, (4) f
4
, (5) f
5
, (6) f
6
.
55. Dadas las seis funciones del Problema 54. defnida cada una por la frmula
f(x) = x
3

o sea que a cada nmero x cada funcin le asigna el x
3
, encontrar el dominio de valores de (1) f
1
, (2) f
2
, (3)
f
3
, (4) f
4
, (5) f
5
, (6) f
6
.
56. Si las funciones del Problema 54 se defnen por la frmula
f(x) = x - 3
hallar el dominio de imgenes de (1) f
1
, (2) f
2
, (3) f
3
, (4) f
4
, (5) f
5
, (6)f
6
,
57. Si las funciones del Problema 54 se defnen por la frmula
f(x) = 2x + 4
averiguar el dominio de imgenes de (1) f
1
, (2) f
2
, (3) f
3
, (4) f
4
, (5) f
5
, (6) f
6
.

58. Seaf: A B. En lo que sigue. qu es cierto siempre?
(1) f(A) B, (2) f(A) = B, (3) f(A) B.
FUNClONFS INYECTIVAS
59. Sea f: X Y. Decir entre las condiciones siguientes cundo se defne o no una funcin inyectiva:
(1) f(a) f(b) implica a b. (3) f(a) f(b) implica a b.
(2) a b implica f(a) f(b). (4) a b implica f(a) f(b).

1
2
3
4
f g h
1
2
3
4
1
2
3
4
1
2
3
4
1
2
3
4
1
2
3
4
0
1
60. Decir de cada funcin del Problema 54 si es o no inyectiva.
63. Demostrar: Si f: A B es inyectiva y si g : B C es inyectiva, la funcin producto g o f: A C es
inyectiva.
FUNCIONES PRODUCTO
64. En el siguiente diagrama se representan las funciones f: A B, g : B A, h : CB, F: B C y G: A
C.

Decir en lo que sigue cundo se defne una funcin producto. y siendo el caso, determinar su dominio y
su codominio.
(1) g o f, (2) h o f, (3) F o f, (4) G o f, (5) g o h, (6) F o h, (7) h o G o g, (8) h. o G.

65. Dadas las funciones f, g y h del Problema 52, hallar las funciones producto (1)f o g, (2) h o f, (3) g o g, o sea
g
2
.
66. Sean las funciones f: R -+ R y g ; R -+ R defnidas por

f(x) = x
2
+ 3x + 1, g(x) = 2x - 3
Dar frmulas para las funciones producto (1) f o g, (2) g o f, (3) g o g, (4) f o f.

67. Sean las funciones f: R R y g: R R defnidas por
f(x) = x
2
- 2 |x|, g(x) = x
2
+ 1
Hallar (a) (g o f)(3), (b) (f o g)(-2), (c) (g o f)(-4), (d) (f o g)(5).
RECIPROCA DE UNA FUNCIN

68. Sea f: R R defnida por f(x) x
2
+ 1. Hallar (1) f
-1
(5), (2) f
-1
(0), (3) f
-1
(10), (4)f
-1
(-5), (5) f
-1
([10,26]), (6)
f
-1
([0, 5]), (7) f
-1
([-5, 5]), (8) f
-1
([-5, 5]).

69. Sea g: R R defnida por g(x) sen x. Hallar (1) g
-1
(0), (2) g
-1
(1), (3) g
-1
(2), (4) g
-1
([ -1, 1]).
70. Seaf: A B, Averigur f
-1
(B).

PROBLEMAS DIVERS0S
71. Sea f: R R defnida por f(x) 3x + 4, f es, pues, inyectiva y sobreyectiva. Dar una frmula que defna
f
-1
.
72. Sean A = R - {- 1/2} y B = R - {1/2}. Sea f: A B defnida por
f(x) = (x - 3)/(2x + 1)
Entonces f es inyectiva y sobrcyectiva. Hallar una frmula para defnir f
-1
.
A
B
F
h
G
f
g
C
2
3
73. Sea W [0, [ Dadas las funciones f: W W.g : W W y h : W W defnidas por
f(z) = x
2
, g(x) = x
2
+ l, h(x) = x + 2
cul de estas funciones. si la hay, es sobrcyectiva?
2
+ x - 2. Hallar

(a) f(3) (c) f(x - 2) (e) f(y) (g) f(x + h) - f(x) (i) [-1 (10) (k) f
-1
(-5)
(b) [(-3) - f(2) (d) f(f(-2)) (f) f(x + h) (h) f(f(x) (j) f
-1
(4)

75. Sean f: A B, g: B A y g o f = 1
A
la funcin idntica sobre A. Decir qu es cierto o falso entre lo que
sigue:

(1) g = f
-1
. (3) f es una funcin inyectiva. (5) g es una funcin inyectiva.
(2) f es una funcin sobreyectiva. (4) g es una funcin sobreyectiva.

RESPUESTAS A LOS PROBLEMAS PROPUESTOS
45. (1) No, (2) Si, (3) No.
46. (1) f(x) = x
2
+ 3, (2) g(x) = x + | x |, (3) h(x) =
47. (1) 3, (2) 24, (3) y
2
- 4yz + 4z
2
- 4y + 8z + 3, (4) x
2
- 8x + 15 .
48. (1) 10, (2) 2, (3) 0 .
49. (a) 1, (b) No defnido. pues 6 no pertenece al dominio de defnicin. (c) 2t
2
- 8t + 1 si -1 t 7.
50. (a) 6, (b) 29, (c) -19. (d) 45.
51. Nueve.
52. (1) {1, 2, 4}, (2) {1, 2, 3, 4}, (3) {1, 3},
53. {0, -2, 18, 108}.
54. (1) [0, 4], (2) [0, 9], (3) [0, 9], (4) [25, [, (5) [0, 16[, (6) [0, 25].
55. (1) [-8, 8], (2) [0, 27], (3) [-27, 0], (4) ]-, -125], (5) [-1, 64[, (6) [-125, 27[.
56. (1) [-5, -1], (2) [-3, 0), (3) [-6, -3], (4) ]-, -8], (5) [-4, 1[, (6) [-8, 0[.
57. (1) [0, 8], (2) [4, 10], (3) [-2, 4], (4) ]-, -6], (5) [2, 12[, (6) [-6, 10[.
58. f(A) B.
59. (1) S, (2) No, (3) No, (4) S.
60. (1) No, (2) S, (3) S, (4) S. (5) No, (6) No.
2
3
61. Todas son inyectivas.
62. Solo g es inyectiva.
63. Hay que demostrar que (g o f)(a) = (g o f)(b) implica a = b. Sea (g o f)(a) = (g o f)(b). Entonces, por la
defnicin de funcin producto, g(f(a)) (g o f)(a) = (g o f)(b) g(f(b)). Como g es inyectiva, f(a) = f(b), y
como f es inyectiva, a = b. Por consiguiente, g o f es inyectiva.
64. (1) g o f: A A, (2) No defnido, (3) F o f: A C, (4) No defnido, (5) g o h : C A. (6) F o h C C, (7)
h o G o g : B B, (8) h o G : A B.
65. (1) f o g (2) h o f (3) g o g

66. (1) (f o g)(x) = 4x
2
- 6x + 1 (3) (g o g)(x) = 4x - 9
(2) (g o f)(x) = 2x
2
+ 6x - 1 (4) (f o f)(x) = x
4
+ 6x
3
+ 14x
2
+ 15x + 5
67. (a) 10, (b) 15, (c) 65, (d) 624
68. (1) {-2, 2} (3) {3, -3} (5) {x | -5 x -3 o 3 x 5} (7) {0}
(2) () (4) (6) {x | -2 x 2} (8) {x | x - 2 x 2}
69. (1) { ... , -2, -, 0, , 2, ... } {x|x n donde n Z}.
(2) {x|x (/2) + 2n donde n Z}.
(3)
(4) R, el conjunto de todos los nmeros reales.
70. f
-1
(B) = A
71. f
-1
(x) = (x - 4)/3
72. f
-1
(x) = (3 + x)/(1 - 2x)
73. Solo f es sobreyectiva.
74. (a) 10 (d) -2 (g) 2xh + h
2
+ h (j) {2, -3}
(b) 0 (e) y
2
+ y - 2 (h) x
4
+ 2x
3
- 2x
2
- 3x (k)
(c) x
2
- 3x (f) x
2
+ 2xh + h
2
+ x + h - 2 (i) {3, -4}

75. (1) Falso, (2) Falso, (3) Cierto, (4) Cierto, (5) Falso.
1
2
3
4
1
2
3
4
1
2
3
4
1
2
3
4
1
2
3
4
1
2
3
4
4
5
En los problemas 1 al 6, determine si la correspondencia
dada por el conjunto de pares ordenados (x, y) es una
funcin.
1. {(1, 2), (2,-3), (-4, 1), (1, 5)}
2. {(1, 1), (2, 8), (-1, 1), (-2, 8)}
3. {(0, 1), (1, 1), (2, 1)}
4. {(0, 0), (1, 1), (2, 2)}
5. {(4, 2), (-4, 3), (8, 6)(5, 4)}
6. {(-3, 2), (6, 2), (-3, 9), (-6, 9)}
7. Si f(x) = x
2
- 2, halle f(0), f(-1), f(2) y f(2).
8. Si f(x) = x
2
- 2x, halle f(0), f(2) y f(-2)
9. S f(x) = , halle f(0), f(-8), f(1/2) y f(-
1/2).
10. S f(x) = , halle f(0), f(4), f(-2) y f(-3/2).
11. Si f(x) = , halle f(0), f(2), f(-2), y f
(1/2).
12. Si f(x) = , halle f(0), f(-2), f(2), y f(1/2).
13. Si f(x) = x
2
- 3x
3
, halle f(a
2
), f(a-1), f(a
2
), y f(1/b).
14. Si f(x) = 2x
2
- x
4
, halle f(a), f(a+1), f(a+1), y f(1/
b)
15. Si f(x) = 16. Si f(x) =
halle f(3), f(-3) halle f(-1), f(-2), y f(2)
17. Si f(x) = 18. Si f(x) =
En los problemas 19 al 22, halle

donde h 0 es una constante.
19. f(x) = x
2
+
2
20. f(x) = -3x + x
2

+ 5
21. f(x) = x
3
22. f(x) 1/x
En los problemas 23 y 24, halle
h donde h a es una constante.
23. 24. f(x) = x
3
+ x - 1
En los problemas 25 al 34, halle el dominio de la funcin.
En los problemas 35 al 42, halle el dominio y el rango de la
funcin.

EJERCICIO 3.4
4
5
En los problemas 1 al 8, halle las funciones indicadas y d
sus dominios.
1. f(x) = 3x - 2x + 4, g(x) = x - 1; f + g, fg
2. f(x) = x, g(x) = ; fg, f/g
3. f(x) = 3x + , g(x)= 3x - ; f+g, fg
4. f(x) = 3x
3
- 4x
2
+ 5x - 6, g(x) = (1 -x)
5
; f + g,
f/g
5. f(x) = x
2
- 9, g(x) = x - 3; fg, f/g
6. f(x) = (3x+2)
1/2
, g(x) = (3x+ 2)+(3x+2)
1/2
; f - g,
fg.
7. f(x) = , g(x) = ; f + g, fg
8. f(x) = 2 + 1 ,g(x) = -2; f - g, f/g
En los problemas 9 al 12, utilice la suma de las
coordenadas y para graficar la funcin f + g.
9. f(x)=x; g(x)=|x| 10. f(x)=x, g(x)=1/x
11. f(x)=x
2
,g(x)=2x 12.
En los problemas 13 y 14, utilice las grficas de y = f(x) y y =
g(x) dadas para graficar y =f(x) + g (x).

En los problemas 15 al 24, halle f o g y g o f.

En los probremas 25 al 30, halle el dominio de f o g.
En los problemas 31 al 34, halle f o f y f o (1/f).
31. f(x) = 6x - 2 32. f(x) = (x-2)
2
- 4x
33. f(x) = 1/x
2
34. f(x) =
En los problemas 35 al 38, exprese la funcin F como
una composicin f o g de dos funciones f y g.
35. f(x) = 4x
2
+1 36. f(x)=5x
4
- 8x
2

37. f(x) = (x-3)
2
+ 4 38. f(x}= 1 -
9x+ 2
En los problemas 39 al 42, halle (f o g o h) = f(g(h(x)))
para las funciones dadas.
39. f(x) = 1/4(x
-1
- 1), g(x) = 1/x
2
, h(x) = 2x + 1
40. f(x) = , g(x) = x
2
- 1, h(x) =
41. f(x) x, g(x) x
2
, h(x) = x - l
42. f(x) = -x
2
, g(x) = 3x
2
- x, h(x) =3x
En los problemas 43 y 44, halle las grficas de las
funciones indicadas, trasladando la grfica de la funcin
dada.
43.

FIGURA 101
(a) y = f(x) + 1
(b) y = f(x) -1
(c) y = f(x + 1)
(d) y = f(x - 1)
44.

FIGURA 102
(a) y= f(x) + 2
(b) y = f(x) - 3
(c) y = f(x + 3)
(d) y= f(x) - 4
EJERCICIO 0.9
13.
x
y
y = f(x)
y = g(x)
FIGURA 99
14.
y
y = g(x)
x
y = f(x)
FIGURA 100
f(x) = x
2
y
x
f(x) = x

+ 2
y
x

7
En los problemas 45 al 50, la grfica dada es una grfica
trasladada de la funcin dada. Halle la ecuacin de la
grfca.

45. f(x) = - x 46. f(x) = x
2
- 1
47. f(x) = - x
2
48. f(x) = (2 - x)
1/2

En los problemas 1 al 10, determine si la funcin dada
es uno a uno, examinando su grfica. Si f es uno a uno.
Halle f
-1
.
49. f(x) = x
2
50. f(x) = - x
En los problemas 51 al 56, halle la grfica de la funcin
indicada, de la grfica de f.

51. f(x) = x
2
, y = (x - 2)
2
+3
52. f(x) = 4, y =
53. f(x) = |x - 4| + 1, y = |x|
54. f(x) = x
3
, y = (x - 2)
3
- 2
55. f(x) = x
2
- 4, y = -(x
2
- 4)
56. f(x) = , y =
En los problemas 11 al 20, la funcin dada es uno Halle f
-1
.
FIGURA 103
y
x
FIGURA 104
y
x
FIGURA 106
y
x
FIGURA 105
y
x
1
1
FIGURA 107
y
1
1
FIGURA 108
y
x
1
1
EJERCICIO 3.6

7
En los problemas 21 al 24, verifique que las funciones
dadas sean inversas entre s.

En los problemas 25 y 26, determine el dominio y el
rango de f
-1
, sin hallar la Inversa.
En los problemas 27 al 30, la funcin dada es uno a
uno. Sin bailar f
-1
, halle en el valor x indicado el punto
correspondiente en la grfica de f
-1
.
En los problemas 31 al 34, trace las grficas de f y f
-1
,
utilizando los mismos ejes de coordenadas.
En los problemas 35 y 36, trace la grfica de f
-1
a partir
de la grfica de f.
35.
FIGURA 115
36.

FIGURA 116
En los problemas 37 y 38, trace la grfica de f a partir
de la grfica de f
-1
.
37.
FIGURA 117
38.
FIGURA 118
Una definicin equivalente a la funcin uno a uno est
dada por lo siguiente: La funcin f es uno a uno si y
slo si f(x
1
) = f(x
2
) implica que x
1
= x
2
para x
1
y x
2
en
el dominio de f. En los problemas 39 al 44, utilice esta
definicin para verificar que la funcin sea uno a uno.
En los problemas 45 al 48, verifique que la funcin
dada sea su propia inversa.
En los problemas 49 y 50, la funcin f dada no es uno a
uno. Halle F
-1
para la funcin F yel dominio de F
-1
.
y
x
y = f(x)
x
y = f(x)
y
x
y = f
-1
(x)
y
x
y = f
-1
(x)
8

RELACIONES
(2) El dominio de defnicin de lR lR es [- 1, 2], pues toda vertical por cada punto de este intervalo, y solo por esos
puntos, contiene un punto de lR lR.
(3) El dominio de imgenes de lR lR es [0, 4], porque toda horizontal por cada punto de este intervalo, y solo por esos
puntos, contiene al menos un punto de lR lR.
PROPIEDADES FUNDAMENTALES DE LAS RELACIONES
41. Sea lR una relacin en A {2, 3, 4, 5} defnida por el enunciado formal x e y son primos relativos, esto es, el nico
divisor comn de x e y es 1.
(1) Averiguar el conjunto de solucin de lR, o lo que es lo mismo, escribir lR como un conjunto de pares
ordenados.
(2) Representar lR en un diagrama de coordenadas de A x A.

42. Sea lR la relacin en B {2, 3, 4, 5, 6} defnida por el enunciado formal |x - y| es divisible por 3. Escribir lR como
un conjunto de pares ordenados .
43. Dados C = {1, 2, 3, 4, 5} y la relacin lR en C por el conjunto de puntos representados
en el siguiente diagrama de coordenadas de C x C:
(1) Establecer si es verdadero o falso: (a) 1 lR 4, (b) 2 lR 5, (c) 3 lR 1, (d) 5 lR 3.
(2) Escribir los siguientes subconjuntos de C en forma tabular:
(a) {x | 3 lR x} (c) {x | (x, 2) lR}
(b) {x | (4, x) lR} (d) {lR | x lR 5}
Hallar (3) el dominio de defnicin de lR. (4) el dominio de imgenes de lR, (5) lR
-1
.
44. Los enunciados formales que siguen defnen sendas relaciones en los nmeros reales. Representar cada relacin en un
diagrama de coordenadas de R x R.
(1) y < x
2
- 4x + 2 (3) x < y
2

(2) y +2 (4) x sen y
45. Sea lR = {(x, y) x R, y R, x
2
+ 4y
2
4}.
(1) Representar lR en el diagrama de R x R. Hallar (2) el dominio de defnicin de lR. (3 ) el dominio de imgenes
de lR.
46. Sea lR = {(x, y) x R, y R, x
2
- y
2
4}.
(1) Representar lR en el diagrama cartesiano de R x R. Hallar (2) el dominio de defnicin de lR. (3) el dominio de
imgenes de lR. (4) Defnir lR
-1
.
47. Sea lR la relacin en los nmeros naturales N defnida por el enunciado formal x + 3y 12. Dicho de otra manera.
sea
lR = {(x, y)| x N, y N, x + 3y = 12}
(1) Escribir lR como un conjunto de pares ordenados. Hallar (2) el dominio de defnicin de lR, (3) el dominio de
imgenes de lR. (4) lR
-1

5
4
3
2
1
1 2 3 4 5
A NE X O. 3
8

RELACIONES
48. Sea lR la relacin en los nmeros naturales N defnida por 2x + 4y 15.

(1) Escribir lR como conjunto de pares ordenados. Hallar (2) el dominio de defnicin de lR, (3) el dominio de
imgenes de lR. (4) lR
-1
.

RELACIONES REFLEXIVAS. SIMETRICAS, ANTISIMETRICAS y TRANSITIVAS
49. Dado W = {1, 2, 3, 4} considrense las siguientes relaciones en W:
lR
1
= {(1, 1), (1, 2)} lR
4
= {(1, 1), (2, 2), (3, 3)}
lR
2
= {(1, 1), (2, 3), (4, 1)} lR
5
= W x W
lR
3
= {(1, 3), (2, 4)}
Establecer para cada una si es o no: (1) simtrica, (2) antisimtrica, (3) transitiva. (4) refexiva.
50. Establecer la verdad o falsedad de los razonamientos que siguen, suponiendo que lR y lR son relaciones en un
conjunto A.
(1) Si (lR es simtrica, entonces lR
-1
es simtrica.
(2) Si lR es antisimtrica, entonces lR
-1
es antisimtrica.
(3) Si lR es refexiva, entonces lR lR
-1
.
(4) Si lR es simtrica, entonces lR lR
-1
.
(5) Si lR es transitiva y lR es transitiva, entonces lR lR es transitiva.
(6) Si lR es transitiva y lR es transitiva, entonces lR lR es transitiva.
(7) Si lR es antisimtrica y lR es antisimtrica, entonces lR lR es antisimtrica.
(8) Si lR es antisimtrica y lR es antisimtrica, entonces lR lR es antisimtrica.
(9) Si lR es refexiva y lR es refexiva, entonces lR lR es refexiva.
(10) Si lR es refexiva y lR es refexiva, entonces lR lR es refexiva.
51. Sea L el conjunto de rectas del plano euclidiano y sea la relacin lR defnida en L por x es paralela a y.
Decir si lR es o no (1) refexiva, (2) simtrica, (3) antisimtrica, (4) transitiva. (Se acepta que una recta es paralela a si
misma.)
52. Dado L, el conjunto de rectas del plano eudidiano, sea lR la relacin en L defnida por x es perpendicular a y.
Decir si lR es o no (1) refexiva, (2) simtrica, (3) antisimtrica, (4) transitiva.
53. Dada una familia A de conjuntos, sea lR la relacin defnida en A por x es disjunto de y. Decir si lR es o no (1)
refexiva, (2) simtrica, (3) antisimtrica, (4) transitiva.
54. Qu clase de relacin es lR si (1) lR lR
-1
= , (2) lR = lR
-1
?
55. Cada enunciado formal de los que siguen defne una relacin en los nmeros naturales N.

(1) x es mayor que y. (3) x por y es el cuadrado de un nmero.
(2) (x es mltiplo de y. (4) x + 3y 12.
Decir de cada relacin si es o no (a) refexiva, (b) simtrica, (e) antisimtrica, (d) transitiva.
RELACIONES Y FUNCIONES
56. Dado T = {a, b, c, d}, considerar las siguientes relaciones en T:
(1) lR
1
= {(a, b), (b, c), (c, d), (d, a)} (4) lR
4
= {(a, a), (b, a), (c, a), (d, d)}
(2) lR
2
= {(b, a), (c, d), (b, a), (a, b), (d, b)} (5) lR
4
= {(b, a), (a, c), (d, d)}
(3) lR
3
= {(d, c), (c, b), (a, b), (d, d)}
Establecer si cada relacin es o no una funcin.

57. Sea A [-4, 4], B [0, 4], C [-4, 0], y sea el enunciado formal P(x, y) que quiere decir x
2
+ 4y
2
= 16.
Considerar las relaciones siguientes:
100
(1) lR
1
= (A, B, P(x, y)) (3) lR
3
= (B, A, P(x, y))
(2) lR
2
= (A, C, P(x, y)) (4) lR
4
= (B, C, P(x, y))
Representar cada relacin en un plano cartesiano como en el Problema 36, y establecer si la relacin es o no una
funcin.
RELACIONES
58. Dados A [0, [, B ] - , 0], C [2, [, D ]- , -2] y el enunciado formal P(x, y) que signifca x
2
- y
2
= 4
considerar la relacin
lR = (X, Y, P(x, y))

donde X e Y son conjuntos desconocidos. Si X e Y pueden ser cualesquiera de los cuatro conjuntos anteriores. cules
de las dieciseis relaciones son funciones? (Sugerencia: primero representar P(x, y) en un plano cartesiano.)
59. Sea A cualquier conjunto.
(1) Hay ms de una relacin refexiva en A que sea una funcin?
(2) Hay alguna relacin refexiva en A que sea una funcin?
60. Demostrar: Si A no es vaco y lR es una relacin transitiva en A que no contiene ningn elemento de la diagonal (x,
x) A x A, entonces lR no es una funcin en A.
PROBLEMAS DIVERSOS
61. Considrense las siguientes relaciones en los nmeros reales:
lR = {(x, y) | x lR, y lR, x
2
+ y
2
25} lR = {(x, y) | x lR, y lR, y 4x
2
/19}

(1) Representar la relacin lR lR en un diagrama de coordenadas de R x R.
(2) Averiguar el dominio de defnicin de lR lR.
(3) Hallar el dominio de imgenes de lR lR.
62. Considrense los siguientes conjuntos de pares de nmeros reales, o sea relaciones en R:
(1) {(x, y) | x
2
+ y
2
25 } {(x, y) | y 3x/4}
(2) {(x, y) | x
2
+ y
2
25 } {(x, y) | y 4x
2
/9}
(3) {(x, y) | x
2
+ y
2
25 } {(x, y) | y 4x
2
/9}
(4) {(x, y) | x
2
+ y
2
< 25 } {(x, y) | y < 3x/4}
Representar cada relacin en un diagrama de coordenadas de R x R y establecer el dominio de defnicin y el domimo
de imgenes.

63. Sea A el conjunto de las personas. Cada enunciado formal siguiente defne una relacin lR. Para cada una de estas
relaciones, hallar un enunciado formal, el llamado a veces enunciado recproco, que defna la relacin recproca.
(1) x es el marido de y (4) x es ms rico que y
(2) x es mayor que y (5) x es ms inteligente que y
(3) x es ms alto que y

64. Sean N los nmeros naturales. Cada enunciado formal de los que siguen defne una relacin en N. Para cada una de
tales relaciones. encontrar un enunciado formal que defna la relacin recproca.

(1) x es mayor que y (3) x es mltiplo de y
(2) x es mayor o igual que y (4) 2x + 3y 30
41. (1) lR = {(2, 3), (2, 5), (3, 2), (3, 4), (3, 5), (4, 3), (4, 5), (5, 2), (5, 3), (5,4)}

(2)

YT/mj/25-08-09/100
mcn/09-07-2010
5
4
3
2
2 3 4 5

Teoria de Conjuntos

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Teoria de Conjuntos

Cargado por

Copyright:

Formatos disponibles

OCTUBRE 2010-FEBRERO 2011

Reciba asesora virtual en: www.utpl.edu.ec

PRELIMINARES Gua didctica: Teora de Conjuntos

4. Lineamientos generales del Modelo Educativo basado en

PRELIMINARES Gua didctica: Teora de Conjuntos

PRELIMINARES Gua didctica: Teora de Conjuntos

No est incluido en.

Adems de contenido puede ser igual.

Adems de incluido puede ser igual.

SEGUNDO BIMESTRE Gua didctica: Teora de Conjuntos

SEGUNDO BIMESTRE Gua didctica: Teora de Conjuntos

66. Demuestre que (A B) C = A (B C)

ANEXOS Gua didctica: Teora de Conjuntos

ANEXOS Gua didctica: Teora de Conjuntos

También podría gustarte