Teoria de Conjuntos Guia Didactica

UNIVERSIDAD TCNICA PARTICULAR DE LOJA
La Universidad Catlica de Loja

MODALIDAD ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS DE LA EDUCACIN
Teora de Conjuntos
Gua Didctica
3
CICLO
DATOS DE IDENTIFICACIN:
MENCIN
ELABORADO POR
:
:
Fsico - Matemticas
Lic. Csar Willam Granda Lazzo
PROFESOR (A)
TELFONO
E-MAIL
TUTORA
:
:
:
:
Yofre Medardo Tene Morocho

(07) 2 570 275 Ext. 2304, 2302
ymtene@utpl.edu.ec
Lunes a Jueves de 14h00 a 15h30
Estimado Estudiante, dgnese confirmar la informacin aqui sealada llamando al Call Center 072588730, lnea gratuita 1800 887588 o al mail
callcenter@utpl.edu.ec
Reciba asesora virtual en: www.utpl.edu.ec

OCTUBRE 2007 - FEBRERO 2008
MATERIAL DE USO DIDCTICO PARA ESTUDIANTES DE LA UNIVERSIDAD TCNICA PARTICULAR DE LOJA,
PROHIBIDA SU REPRODUCCIN TOTAL O PARCIAL POR CUALQUIER MEDIO
NDICE
INTRODUCCIN..................................................................................................................... 5
OBJETIVO S GENERALES....................................................................................................... 6
BIBLIOGRAFA......................................................................................................................... 7
ORIENTACIONES GENERALES........................................................................................... 9
PRIMER BIMESTRE
OBJETIVOS ESPECFICOS.......................................................................................................1 3
CONTENIDOS...........................................................................................................................14
DESARROLLO DEL APRENDIZAJE......................................................................................15
CAPTULO 1
Breve introduccin a los conjuntos......................................................................................... 15
CAPTULO 2
Aplicaciones.............................................................................................................................. 29
SEGUNDO BIMESTRE
OBJETIVOS ESPECFICOS.......................................................................................................7 1
CONTENIDOS...........................................................................................................................7 2
DESARROLLO DEL APRENDIZAJE......................................................................................7 4
CAPTULO 3
Relaciones de equivalencia y de orden....................................................................................76
SOLUCIONARIO........................................................................................................................... 91
GLOSARIO.................................................................................................................................... 95
ANEXOS...................................................................................................................................... 97
EVALUACIONES A DISTANCIA
Gua Didctica: Teora de Conjuntos
INTRODUCCIN
El profesor se siente superior.
El educador se siente colaborador
de un posible superior a l

A fines del siglo XIX la Teora de Conjuntos fue desarrollada por G. Cantor (1845 1918). Esta teora influy en casi todas las ramas de la Matemtica y ayud a clarificar
las relaciones entre matemticos y filsofos, Cantor public en seis partes su teora de
conjuntos entre los aos 1879 -1884.
Con el trabajo de Cantor, la Teora de Conjuntos fue considerada dentro de la Matemtica
bsica.
La Teora de Conjuntos se encuentra en los fundamentos de la matemtica, que, explcita
o implcitamente, en todas sus ramas, utiliza conceptos de la citada teora, tales como los
de frecuencia y relacin.
En la actualidad Teora de Conjuntos es un medio indispensable en la vida del hombre
moderno, le ayuda a desenvolverse en forma segura y rpida hacia el progreso, a travs
de la ciencia y la tecnologa, prueba de ello son los viajes espaciales, la informtica, etc.
Es impresionante observar como a partir de la sencilla nocin de conjunto y elemento
la potencia de la mente humana nos permite elaborar un complejo sistema de leyes,
axiomas y teoremas que puedan aplicarse lo mismo a circuitos electrnicos, que a biologa,
sociologa o, si usted lo prefiere, para resolver el acertijo del peridico dominical.
Usted puede tener un mayor impacto en otras reas de la matemtica usando conceptos
tericos de conjuntos.
Es una materia que sirve para comprender y analizar matemticamente diferentes
aspectos de la realidad, desde una clasificacin que implica utilizar intuitivamente la
idea de una relacin entre dos conjuntos o en un mismo conjunto, hasta las asombrosas
operaciones que realiza una computadora, todo se basa en la nocin de conjunto.
Le invitamos a usted al estudio de esta asignatura que, naturalmente, requiere de
esfuerzo y dedicacin, pero que resulta satisfactorio al comprobar que en base de
sacrificio y prctica se vencen las dificultades, adquiriendo as una slida preparacin
que le permitir afrontar los problemas cotidianos y continuar sus estudios y alcanzar la
meta propuesta.
El proceso de enseanza se realizar a travs de a investigacin bibliogrfica,
haga una lectura comprensiva de cada uno de los temas, as como de los ejercicios
UTPL
desarrollados, luego de lo cual subraye lo ms importante y fundamental del

contenido.
Con esta base cientfica de la parte terica, aplquela en el desarrollo de ejercicios
prcticos, que existen en el texto.
Seor estudiante usted sabe que las matemticas solo se aprenden cuando uno realiza
la mayor cantidad de ejercicios, es por esta razn que le sugiero a usted dedique por lo
menos una hora diaria a esta asignatura de forma que no tenga problemas al evaluarse
y cumplir con los objetivos propuestos.
Para dar fiel cumplimiento a dichos objetivos, se estudiarn los siguientes temas:
-
Conjuntos y Subconjuntos.
Aplicaciones.
Relaciones.
Conjuntos Finitos e Infinitos Numerables.
OBJETIVOS GENERALES
Al trmino del estudio y desarrollo de la presente asignatura los alumnos estarn en
condiciones de:
1.
Aplicar las simbologa conjuntista como nuevo lenguaje matemtico.
2.
Conocer los trminos y smbolos que se emplean en teora bsica de conjuntos.
3.
Aplicar los conceptos bsicos de teora de conjuntos en la realizacin de operaciones

entre conjuntos.
4.
Aplicar la nocin de la relacin y las formas que stas obtienen a ser definidas
entre conjuntos, mediante el anlisis de ejercicios.
5.
Identificar en base a su concepto y al desarrollo de ejercicios una funcin y sus

diferentes clases.
6.
Realizar operaciones con aplicaciones.
7.
Aplicar las propiedades fundamentales de los conjuntos finitos en los diferentes

ejercicios.

8.
Realizar ejercicios con conjuntos de aplicaciones entre conjuntos finitos.
UTPL
BIBLIOGRAFA
BSICA

FERNNDEZ Laguna, Vctor, Teora Bsica de Conjuntos, Grupo Anaya, S.A.

2003, Juan Ignacio Luca de Tena, 15-28027, Madrid-Printed in spain - Imprime:
Huertas Industrias Grficas, S.l.-C/ Antonio Gaudi; 17 - fuenlabrada (Madrid).
El texto bsico intenta proporcionar al alumno procedimientos prcticos para

la realizacin de ejercicios, es actualizado en donde el autor para mejorar la
conceptualizacin utiliza palabras ms concretas.
Esta obra, de carcter introd uctivo, permite al lector aproximarse a la teora

elemental de conjuntos.
Esta rama de las Matemticas; a pesar de que no se estudia como tal ni en el

bachillerato ni en las carreras universitarias de mbito cientfico, tecnolgico
o humanstico, est presente, sin embargo, en los fundamentos de asignaturas
universitarias tan comunes como clculo, geometra o lgebra.
La nocin de conjunto es fundamental para adentrarse de forma rigurosa y con

ciertas garantas en cualquier disciplina matemtica.
A partir de dicha nocin y de las operaciones fundamentales entre conjuntos

(unin, interseccin, diferencia ... ), nos encontraremos con conceptos como:
Correspondencia
Aplicacin (lnyectiva, sobreyectiva, biyectiva)
Relacin de equivalencia
Relacin de orden
Conjunto numerable
En este libro se abordan todos estos conceptos de una forma clara y sencilla, con
una gran cantidad de ejemplos en cada tema.
GRANDA Csar, (2004): Gua didctica, Loja - Ecuador, Editorial UTPl.
La gua de Teora de Conjuntos est incluida dentro de la bibliografa
bsica y tiene por objeto fundamental servirle de ayuda en la realizacin y
cumplimiento de los objetivos propuestos. Adems le permitir esta blecer
contacto con el profesor, dado que en ella se encuentran las orientaciones
UTPL
pertinentes para el estudio sistemtico de la asignatura, as como para el

cumplimiento de las actividades propuestas en las evaluaciones a distancia y
presenciales.
COMPLEMENTARIA

SEYMOUR, Lipschuttz, Teora de Conjuntos y Temas Afines, Editorial Mc GrawHill Latinoamericana S.A: Bogot Colombia, pg. 1982,232.
La obra de Seymour Lipschuttz contiene una amplia informacin de cada una de

las fases de estudio en esta signatura, se incluyen adems problemas resueltos y
lo hace de manera clara con la nica finalidad de caminar junto con el alumno en
la solucin. Presenta una gran cantidad de ejercicios propuestos par que usted los
desarrolle y pueda darse cuenta del avance de sus conocimientos.
Los temas que se estudiarn en el presente ciclo en esta asignatura constan en los
captulos 1- 7 de este texto complementario.
ZILL Dennis, DEW AR Jacqueline, lgebra y Trigonometra, Editorial Mc GrawHill Americana S.A. Bogot Colombia, 1999,657 pg.
Se ha credo conveniente utilizar este texto como libro complementario para teora
de conjuntos, debido a la forma de abordar los temas y por la gran cantidad de
ejercicios.
BARNOSO, Mara, Matemticas Aplicada a la Administracin, Limusa (Noriega

editoriales) Mxico, Espaa, Venezuela, Colombia.
La caracterstica de este libro son la claridad y sencillez con que aborda cada uno
de los temas de estudio. Por esta razn utilizaremos los captulos III y IV.
DIRECCIONES INTERNET

http://www.terra.es/personal /jftjft /AIgebra/Teoria % 20de % 20Conjuntos /

ReICon.htm
http://espanoI.geocities.comflenguajesautoma tasi tq /inves 1.h tmI
www.geogIe.com
www.yahoo.com
http://www.profesorenIinea.cl/quinto/matematca/conjuntosrepresentacion.
htm
UTPL
ORIENTACIONES GENERALES
CMO PROCEDER A REALIZAR EL ESTUDIO
DE LA ASIGNATURA?
ESTIMADO ALUMNO:
Recuerde que el sistema de estudios a distancia que usted escogi tiene sus frutos de
acuerdo al modo de trabajar del alumno. Pues con este antecedente me permito sugerirle,
siempre que estudie 10 haga con la gua y el texto de una forma conjunta.
Para que usted no se confunda me permito aclararle que el autor del texto utiliza la
palabra aplicacin en vez de funcin, esto con el fin de establecer la diferencia cuando
una relacin es aplicacin y cuando es correspondencia.
Para una adecuada planificacin de estudio, habr de tenerse en cuenta que todos los
contenidos tanto del primer bimestre como del segundo constan en el texto bsico en
el siguiente orden: el primer bimestre captulo 1 y 2; el segundo bimestre captulo 3 y
4, los mismos que estn reforzados con ejercicios en la gua didctica para una mejor
comprensin del estudiante.
Seor estudiante una de las formas prcticas de obtener aprendizaje es:

C Lea detenidamente la parte terica de cada tema, luego subraye las ideas principales
y por ltimo revise las frmulas y grficos de los ejercicios y problemas resueltos.
C
Una sugerencia de su profesor es no pase de un contenido si no est completamente

comprendido pues los siguientes son aplicaciones de los anteriores.
Por ltimo seor estudiante recuerde que las matemticas se aprenden haciendo
matemticas, entonces realice la mayor cantidad de ejercicios para obtener satisfaccin
en el aprendizaje.
Solo para indicarle que en mi tienen un amigo ms y le pido que si tiene algn problema
con la asignatura no dude en llamarme al telfono 2585974 02570275 ext 2355 en el horario
de 18:30 a 19:30 de martes a viernes, estar gustoso de poder servirle.
XITOS Y MANOS A LA OBRA
UTPL
NO LEA ESTO
Las Drogas y la Teora de Conjuntos

Por Johannes Geometricus
23 de mayo del 2003
En estos das la ciudad de Rosario fue visitada por uno de los candidatos a
Presidente de la Nacin, el Dr. Ricardo Lpez Murphy. Al ser entrevistado por
varios periodistas, el candidato respondi preguntas sobre todos los temas: poltica,
economa, educacin, salud, defensa. La opinin de mucha gente -y la ma tambines que ste es el candidato intelectualmente ms lcido y mejor preparado para el
cargo al cual postula.
Sin embargo, la solvencia que vena mostrando -sobre todo en cuestiones econmcasse vio opacada cuando un periodista le pregunt: Y qu haran ustedes, si llegaran
al gobierno, con el problema de las drogas? El candidato respondi sin vacilar:
Despenalizar el consumo y penalizar el trfico.
Tres cosas debo aclarar:
1.
Su respuesta fue una frase hecha, muy trillada;
2.

3.
La misma no mereci la repregunta de ninguno de los periodistas presentes; y

La nota no perdi ritmo como consecuencia de esta respuesta.
Estas observaciones son importantes porque revelan que:

1.
Muchos piensan lo mismo que Lpez Murphy;
2.
Nadie advirti la trampa que la respuesta encierra; y
3.
Todos (entrevistadores y entrevistado) parecan ms preocupados por mantener el

ritmo de la nota que por lo que se estaba diciendo. Y la verdad es que la respuesta
sorprendi como un detalle progresista que provena de alguien a quien se lo ha
rotulado de partidario de la mano dura.
Ms all de las cuestiones polticas, la propuesta de Lpez Murphy y otros proviene

de un planteo incorrecto. Para mostrar cul es el inconveniente recurrir a la Teora
de Conjuntos.
10
UTPL
Quienes concuerdan con la propuesta de Lpez Murphy representan la situacin del

problema que plantean las drogas como se muestra en la figura 1.

consumidores
traficantes
Figura 1
Pero cualquiera que haya estudiado los llamados problemas de conteo sabe que esta no
es la disposicin ms general de dos conjuntos.
La disposicin ms general es la que se muestra en la figura 2.

consumidores
traficantes
Figura 2
Es decir, hay tres categoras: la de los que consumen, la de los que trafican, y la de los que
consumen y trafican.
Esto es importante porque, desde el punto de vista del Derecho Penal, si uno dice:
Despenalizar el consumo y penalizar el trfico, est diciendo: Los consumidores
al hospital y los traficantes a la crcel La pregunta que surge entonces es: y los que
consumen y trafican: A dnde deben ir?
Si la ley se hace con el esquema de la figura 1, todo traficante va a preferir que se lo
trate como consumidor y los productores de drogas usarn a los consumidores como
traficantes. Se debe legislar sobre la base del esquema de la figura 2. Es decir, lo que hay
que discutir es qu se hace con quienes estn en la interseccin de los dos conjuntos.
Con los otros es fcil ponerse de acuerdo. La propuesta de Lpez Murphy y otros hace
referencia a los casos fciles y elude el caso difcil. Por eso no sera injusto tildarla de
demaggica: pone de su lado al interlocutor pero no resuelve el problema.
No me gustara cerrar esta nota sin una propuesta. Qu se debe hacer con quienes
consumen y trafican? Si se volvieron traficantes como consecuencia de la desesperacin
que les produce su adiccin, enviarlos al hospital. Si se volvieron adictos cuando ya eran
traficantes, enviarlos al hospital hasta que se curen y luego a la crcel como castigo.
Yo s que esta propuesta es opinable desde el momento que fija una posicin. Lo que
nadie podr decir es que se trata de una propuesta demaggica.
UTPL
11
Creo que hemos asistido al nacimiento de una

disciplina intermedia entre el Derecho Penal y la
Matemtica.
Podramos llamarla Derecho Penal Matemtico
B&N
N. del E.
Este artculo muestra que es posible hacer una aproximacin a los temas de la actualidad
que no sea de izquierda ni de derecha. La propuesta de un poltico ha sido analizada y
e autor ha demostrado que la misma tiene un error de planteo. (Esto es algo que toda
persona intelectualmente honesta estar dispuesta a reconocer).
Por otra parte, aqu se puede ver la importancia de formar a la gente en el pensamiento
cientfico, uno de los objetivos del proyecto Luventicus. Cuando los temas se presentan
despojados de ideologas y cuestiones religiosas, el pblico en condiciones de discutido
es el ms amplio posible. Hay una forma mejor de democratizar la discusin de los
temas que nos involucran a todos?
Bajado de Internet
http://www.luventicus.arg/articulos/03R008
12
UTPL
P RIMER
BIMESTRE
Cuntos preguntan ms que leen y
leen ms que estudian
Desde luego, muy poco reflexionan
(Fernando Rielo)
OBJETIVOS ESPECFICOS
1.
Emplear la notacin simblica en la elaboracin de conjuntos y

distinguir cuando est definido por enumeracin y cuando por
comprensin.
2.
Identificar los diferentes tipos de conjuntos y representarlos

mediante diagramas lineales y de Venn.
3.
Resolver ejercicios, aplicando las operaciones: unin, interseccin,

diferencia y complemento.
4.
Aplicar los elementos de pares ordenados en la realizacin de

ejercicios.
5.
Determinar los elementos de una aplicacin mediante la

realizacin de ejercicios prcticos.
6.
Definir los diferentes tipos que adopta una aplicacin, resolver

ejercicios en base a las mismas.
7.
Aplicar los conceptos de aplicaciones para resolver ejercicios de

composicin.
UTPL
13
CONTENIDOS

1.

2.
CAPTULO 1. BREVE INTRODUCCIN A LOS CONJUNTOS

CONJUNTOS. GENERALIDADES
1.1.
1.2.
1.3.
1.4.
Nocin de Conjunto.
Nomenclatura y Definiciones.
Representacin Grfica.
Igualdad de Conjuntos.
SUBCONJUNTOS
2.1. Relacin de Inclusin
2.2. El Conjunto de Partes de un Conjunto.

3. OPERACIONES ENTRE CONJUNTOS
3.1.
3.2.
3.3.
3.4.
3.5.
Unin de Subconjuntos.
Interseccin de subconjuntos.
Complementario de un Subconjunto.
Diferencia de dos subconjuntos.
Producto Cartesiano de Conjuntos.
CAPTULO 2. APLICACIONES
1. CORRESPONDENCIA Y APLICACIONES
1.1.
1.2.
1.3.
1.4.
1.5.
1.6.
Conceptos de Correspondencia y Aplicacin.

Imagen de una Aplicacin.
Extraccin de Aplicaciones de una Correspondencia.
Algunas Aplicaciones Importantes.
Representacin Grfica de Aplicaciones.
Propiedades de las Aplicaciones.
2. TIPOS DE APLICACIONES
2.1.
2.2.
2.3.
2.4.
Aplicaciones Inyectivas.
Aplicaciones Sobreyectivas.
Aplicaciones Biyectivas.
Producto Cartesiano de Dos Aplicaciones.
3.1.
3.2.
3.3.
3.4.
Composicin de Aplicaciones: Definicin y Propiedades.

Aplicacin Inversa. Caracterizacin de las aplicaciones Biyectivas.
Inversas Parciales de una Aplicacin.
Restriccin de una Aplicacin a un Subconjunto.

3. COMPOSICIN DE APLICACIONES
14
UTPL
DESARROLLO DEL APRENDIZAJE

CONCEPTOS BSICOS
UNIDAD 1
Ningn hombre ha llegado nunca

a ser sabio por casualidad
(Sneca)
GENERALIDADES
CONJUNTO
Consideraremos a un conjunto como una coleccin cualquier de objetos. Un conjunto
queda definido por los objetos que a l pertenecen; dichos objetos son los elementos o
miembros del mismo. Si x es un miembro del conjunto A, escribimos xA y decimos
que x pertenece a A; en caso contrario, escribimos x A y decimos, anlogamente, que x
no pertenece a A.
REPRESENTACIN DE UN CONJUNTO
Diagrama de Venn y entre llaves
Es habitual representar los conjuntos en forma grfica mediante los Diagramas de
Venn.
En estos diagramas el conjunto se representa mediante una superficie limitada por una
lnea. En su interior se colocan, los elementos del conjunto. Cada porcin del plano
limitada se nombra con una letra mayscula.
El conjunto A est formado por los elementos 1, 2, 3.
El conjunto B est formado por los elementos a, b, c, d.
A
2
a
UTPL
15
Existe, adems, otra forma de representados que es entre llaves.

En estos ejemplos se escribe:
A = {1, 2, 3}
B = {a, b, c, d}
Por dagrama
S
Entre llaves
S = {a, e, i, o, u}
Se escribe una coma para

separar los elementos.
Conjuntos Vacos
Es til tener el concepto de un conjunto sin elemento.
Definicin: un conjunto sin elementos recibe el nombre de conjunto vaco o conjunto
nulo y se representa por [ ] o por . Ejemplo: considrese el conjunto S de todos los
elementos que los son tanto [ a, b, c] como de [ d, e, f]. El conjunto S no tiene elementos;
luego, S = [ ].
Ejemplo:
El conjunto de dinosaurios vivos en el Museo del Municipio de Loja. Asumiendo que
no se est realizando experimentos siniestros en dicho museo, ste conjunto tiene la
propiedad de no tener ningn elemento, a lo que llamamos conjunto nulo o vaco.
Conjuntos Finitos e Infinitos
Los elementos de un conjunto infinito no pueden ser listados explcitamente.
Ejemplo:
N = {1, 2, 3, ... }
Los elementos de un conjunto finito son aquellos que s estn listados explcitamente.
T = {a, b, c, ... , x, y, z}
Conjuntos Iguales
Son todos aquellos conjuntos que tienen elementos iguales. Los elementos de un conjunto
tambin pertenecen al mismo conjunto.
16
UTPL
Ejemplo:

(D
(F
D=F
Los conjuntos D y F son iguales porque tienen el mismo elemento. A veces pueden estar
desordenados los elementos cuando son ms de uno, en tal caso, debe recordarse que en
un conjunto no importa el orden en que estn los elementos.
Conjuntos Equivalentes
Son aquellos que tienen igual cardinalidad, es decir, igual nmero de elementos.
T=
#T=3
{ a, b, c }
P=
#P=3
Los conjuntos T y P son equivalentes porque tienen las misma cardinalidad.

Conjunto Universo (U)
1
U
M
N
4
En el Diagrama de Venn de la parte de arriba se puede observar que el conjunto U

contiene los conjuntos M y N. U es el conjunto universo porque es un conjunto que
contiene a todos los conjuntos.
Otro ejemplo:
y = {enero, febrero};
= {marzo, junio, agosto}
El conjunto universo ser:
U = {meses del ao}
UTPL
17
Definicin Matemtica de Conjunto

Por Extensin y por Comprensin
Un conjunto queda perfectamente definido si se conocen con exactitud los elementos
que lo integran o que pertenecen a l; es decir, si se nombran todos sus elementos o bien
si se usa un enunciado o propiedad que lo identifique.
Independientemente de la forma en que se lo representa, siempre se usa una letra
mayscula que lo define. Esta letra mayscula representa a un conjunto especfico de
elementos.
Existen dos maneras de definir un conjunto dado:
Por extensin o enumeracin: se define nombrando a cada elemento del conjunto.
Por comprensin: se define mediante un enunciado a atributo que representa al conjunto
(se busca una frase que represente a la totalidad de elementos sin nombrar a ninguno en
particular).
Por comprensin
Por extensin
A = {Nmeros dgitos}
A = {0, 1, 2,3,4,5,6,7,8, 9}
B = {Nmeros pares}
B = {2, 4, 6, 8, 10, 12, 14, ..... }
C = {Mltiples de 5}
C = {5, 10, 15, 20, 25, 30, 35, .... }
Relaciones entre Conjuntos

Sean los conjuntos:
A = {5, 7}
B = {3, 5, 7, 9}
A
5
AB
Los elementos 5 y 7 forman parte del conjunto A.
En otras palabras, los elementos 5 y 7 pertenecen () al conjunto A.

5A
7B
Los elementos 3, 5, 7, 9 forman parte del conjunto B, es decir, pertenecen al conjunto B.
18
UTPL
3B
5B
7B
9B
Se puede observar, adems, en el diagrama, que los elementos del conjunto A estn
incluidos dentro del conjunto B; por lo tanto, dichos elementos tambin pertenecen al
conjunto B.
En otras palabras, A es subconjunto de B.
AB
Tipos de Conjuntos
Conjunto Disjunto, conjunto Subconjunto

1. Conjuntos disyuntos: son aquellos conjuntos que no tienen elementos en
comn.

Por ejemplo:
A
2
a
El conjunto A tiene como elementos a los nmeros 1, 2, 3. El conjunto B tiene como

elementos a las letras a, b, c, d. No hay elementos comunes entre los conjuntos A y B.
En otras palabras, ningn elemento del conjunto A pertenece al conjunto B; a su vez,
ningn elemento de B pertenece al conjunto A.
En consecuencia los conjunto A y B son disjuntos.
Tomando otro ejemplo:
Si
E = {pizarrn, tiza, borrador}
(Conjunto E formado por pizarrn, tiza,

borrador)
F = {tiza, profesor, regla}
(Conjunto F formado por tiza, profesor, regla)
G = {nio, cuaderno, sala, lpiz}
(Conjunto G formado por nio, cuaderno, sala,

lpiz)
E y G son conjuntos disjuntos porque: pizarrn, tiza, borrador no pertenecen al conjunto

G.
E y F no son disjuntos ya que tiza pertenece a E y tambin a F.
UTPL
19
F y G sin conjuntos disjuntos porque: tiza, profesor, regla no pertenecen a G, y nio,

cuaderno, sala, lpiz no pertenecen a F.
Conjunto Subconjunto: Un conjunto es subconjunto de otro si todos los elementos
de un conjunto tambin pertenecen al otro.
2.
Si se tienen los siguientes conjuntos:

P = {a, e, i, o, u}
R = {a, i}
R es subconjunto de P porque todos los elementos de R estn en P.

En general, para expresar que un conjunto es subconjunto de otro conjunto se pone entre
ellos el smbolo C En este ejemplo se escribe:
Se lee R es subconjunto de P
RP
No es subconjunto de otro cuando al menos un elemento del primero no pertenece al
segundo conjunto. El smbolo que representa la frase no es subconjunto de es
Si se tienen los siguientes conjuntos:
C = {3, 5, 7, 9}
H = {3, 5, 8}
H no es subconjunto de C porque el elemento 8 no pertenece al conjunto C.

Se escribe: H C
Se lee H no es subconjunto de C
Tambin los subconjuntos pueden representarse mediante Diagramas de Venn.
Ejemplo:
C
S
SC
Propiedades de la relacin subconjunto
20
1.
Todo conjunto es subconjunto de s mismo.
Si T = {x, z, y, z}, se tiene que T T
UTPL
2.
El conjunto vaco es su conjunto de cualquier conjunto (el conjunto vaco es

aquel que no tiene elementos; se representa por { } o bien por .
Si se tiene el conjunto B se puede establecer que B.
VERIFIQUE SU APRENDIZAJE
ACTIVIDAD Nro. 1
1.
INDIQUE CON UNA F SI EL CONJUNTO ES FINITO, CON UNA I SI ES INFINITO

Y CON UNA V SI ES VACO.
a. N = {1, 2, 3, 4, 5, ... } _______________________________________________________
b. {Los alumnos de una aula de clase} __________________________________
c. {Elefantes que vuelan} _____________________________________________
d. {Puntos de un segmento} ___________________________________________
e. {a, b, c, d, e, ... } ______________________________________________
2.

DETERMINE SI LOS SIGUIENTE CONJUNTOS SON IGUALES, CUALQUIERA QUE

SEA SU RESPUESTA. INDIQUE EL POR QU
a. A = {a, b, c, d} y B = {b, c, a, d}

Porque ........................................................................................................................
. ......................................................................................................................
b. C = {1, 2, 3, 4, 5} y D = {2, 2, 3, 4, 5, 5, 1}

Porque ........................................................................................................................
. ......................................................................................................................
c. E = {Habitantes de Jpiter} y F = {Hombres Tortugas}

Porque ........................................................................................................................
. ......................................................................................................................
d. H = {x/x es uno de los tres socios de Almacenes TIA} y I = {Juan Lpez Ral
Prez, Jess Gmez}

Porque ........................................................................................................................
. ......................................................................................................................
UTPL
21
3.
DEFINA POR COMPRENSIN LOS SIGUIENTES CONJUNTOS.

1. R = {-3, -2, -1, 0, 1, 2, 3}
2. S = {2, 4, 6, 8}
3. T = {a, b, c, d}
4.
DEFINA POR EXTENSIN LOS SIGUIENTES CONJUNTOS.

1. P = {x/ x }
2. Q = {x/ x es una cifra del nmero 1234}
3. K = {x/x B}
PAR ORDENADO
Un par ordenado, tal como su nombre lo indica, corresponde a dos nmeros o figuras
encerradas en un parntesis. Su representacin general es:
(a, b)
Un par ordenado puede representar a un subconjunto del producto cartesiano entre dos
conjuntos, a un punto del plano en un diagrama cartesiano o bien a una razn.
a)
Producto Cartesiano: Cada par ordenado es una combinacin entre elementos del
conjunto A y elementos del conjunto B. Siempre el primer elemento pertenece al
primer conjunto y el segundo elemento al segundo conjunto pero no al revs porque
su representacin no es conmutativa, es decir, no se puede alterar el orden.
B
Observa en el recuadro los conjuntos A y B y las combinaciones que se pueden hacer

entre los elementos de ambos conjuntos.
Estas combinaciones se pueden representar mediante pares ordenados, tal como se
indican en la siguiente tabla:
22
UTPL
AxB
b.
Plano cartesiano: Todo par ordenado escrito con nmeros representa un punto
del plano, donde la primera componente (el primer nmero) recibe el nombre de
abscisa (eje x) y la segunda componente recibe el nombre de ordenada (eje y).
Los pares ordenados (3,4) y (5,2) estn representados en el siguiente plano cartesiano
(Grfico):
6
o
r
d
e
n
a
d
a
Abscisa: X
Ordenada: Y
5
(3, 4)
4
3
(5, 2)
2
1
1
abscisa
c)
Razn: Es una comparacin entre dos cantidades.
Ejemplo: En un curso hay 12 mujeres y 20 hombres. Al representar estas cantidades en

un par ordenado, ste es:
(12, 20)
UTPL
23
DIAGRAMAS LINEALES
Otra de las formas de representar grficamente varios conjuntos es mediante los
diagramas lineales. Los conjuntos se unen a travs de segmentos verticales o inclinados,
teniendo presente que el subconjunto est ubicado en la parte superior y contiene a los
que se encuentran ms abajo (parte inferior).
Ejemplos.
1.
Representar mediante diagramas lineales los siguientes conjuntos.
A = {1, 3, 4, 5}
Solucin.
B = {1, 3, 5}
C = {4, 5}
C
2.
Emplee un diagrama lineal para representar los conjuntos si se conoce que:
A B; B C; F B; E F
Solucin.
24
UTPL
OPERACIONES CON CONJUNTOS

Recordemos rpidamente el concepto de las operaciones: Unin, Interseccin, Diferencia
y Complemento.
UNIN: La unin de dos conjuntos A y B es otro conjunto formado por los elementos
que pertenecen a A o a B, se representa por (A B).
INTERSECCIN: La interseccin de los conjuntos A y B es otro conjunto cuyos
elementos son comunes a A y B, es decir aquellos elementos que
pertenecen a A y que tambin pertenecen a B, se representa por (A B).
DIFERENCIA: La diferencia de dos conjuntos A y B es otro conjunto formado por los
elementos que pertenecen a A pero no a B, se representa por (A - B).
COMPLEMENTO: Para Proao Viteri complemento de un conjunto es: El complemento
de un conjunto es otro conjunto cuyos elementos pertenecen al
conjunto Universo y no pertenecen a A.
Puede definirse tambin como la diferencia del conjunto Universo y del conjunto A, se
representa por A.
Ejemplo:
1.
Dados los conjuntos:
U = {1, 2, 3, 4, 5, 6}, P = {1, 2, 3, 4, 5}, Q = {1, 2, 4, 5} y R = {3, 4, 5}

Hallar:
a.
b.
c.
d.
e.
(Q R)
(P Q)
(P - Q)
(Q)
(P - Q)
1.1 (Q R)
Solucin:
(Q R) = {x/x Q o x R}

= {l, 2, 4, 5} {3, 4, 5}

= {l, 2, 3, 4, 5}

=P
1.2 (P Q)
Solucin:
(P Q) = {x/x P y x Q}

= {l, 2, 3, 4, 5} {l, 2, 4, 5}
UTPL
25
= {1, 2, 4, 5}
=Q
1.3
Solucin:
El conjunto Q consiste en los elementos que estn en U pero no en A.
A = {x/x U x A}
U = {1, 2, 3, 4, 5, 6}
Q = {1, 2, 4, 5}
Q = {3, 6}
1.4
(P - Q)
Solucin:
P - Q = {1, 2, 3, 4, 5} - {1, 2, 4, 5}
P - Q = {3}
(P-Q)= {1, 2, 4, 5, 6}
ACTIVIDAD Nro. 2
1.
REPRESENTA LOS CONJUNTOS EN UN DIAGRAMA LINEAL.

1.1 P = {2, 6, 8}
Q = {2, 8}
C = {6}
1.2 R S Q

1.3 D B A

CA
BC
DC
2.

CON LOS CONJUNTOS A = {1, 2, 3, 4}

CALCULE:
B = {2, 5, 7} C = {5, 7, 8}
2.1 A B
2.2 A B
26
UTPL
2.3 B C
2.4 B - C
3.

SEA M = {a, b, c, d, e}; I= {e, d, f, g}; J = {b, d, h, i} y U = {a, b, c, d, e, f, g, h, i}.

DETERMINE LOS ELEMENTOS DE LOS CONJUNTOS.
3.1 H I
3.2 A J
3.3 H I J
4.
DETERMINE LOS ELEMENTOS DE P Y Q, SI SE CONOCE QUE:

4.1 Q Q = {1, 2, 3, 4, 5, 6, 7,8}
4.2 Q - p = {1}
4.3 {x Q, x P} = {1}
4.4 Q P = {6, 7, 8}
5.
HALLE LOS ELEMENTOS DE L, M, N, SI SE CONOCE QUE: L M N

5.1 (L M) (L M) = {b, d, f, e, g, h, i, j}
5.2 L (M.N) = {h, i, j}
5.3 L M N) = {k, l}

1.
EJERCIOS PROPUESTOS
Halle A B si A y B son los conjuntos que a continuacin se indican:
1.1. A = {1, 2, {3}}, {4, 5, {6}}; B = {3, 4, 5, 6}
1.2. A = {x R / x 2};
B = {x R / |x| > 3}
1.3. A = {x R / x3 + x = 0}; B = { x R / x2 0}
2.
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}. Halle:
UTPL
27
2.1 C - B
2.2 (A - C)
2.3 (A - B)
2.4 (A A)
RINCON DE REFLEXION
En el otoo, cuando veas a los gansos ir hacia el sur buscando
el verano, volando en una formacin en V, considera lo que la
ciencia ha descubierto sobre por qu vuelan en esa forma.
Mientras cada ave mueve sus alas, crea una elevacin del aire
para que la aproveche el ave que sigue volando atrs en la
formacin. De esta forma la bandada agrega un setenta y uno
por ciento al alcance que cada ave lograra por s misma.
Personas que comparten una direccin y sentido de comunidad,
pueden llegar a su destino ms rpida y fcilmente porque
viajan con el impulso del grupo.
Cuando un ganso cae de la formacin, siente inmediatamente la resistencia de ir
solo, y rpidamente vuelve a la formacin para aprovechar el poder de elevacin
del ave delantera.
Cuando el ganso lder se cansa, rota atrs y otro ganso torna la punta. Es razonable
turnarse en hacer trabajos pesados con personas.
Los gansos graznan desde atrs para alentar a los de adelante a mantener la
velocidad. Qu decimos nosotros cuando graznamos desde atrs?
Finalmente, y esto es importante, cuando un ganso se enferma o est herido por
una bala, y cae de la formacin, otros dos gansos caen con l y le siguen para dade
ayuda y proteccin. Ellos se quedan con el ganso cado hasta que pueda volar o
hasta que muera, y slo entonces se lanzan por si mismos, o con otra bandada,
para alcanzar al grupo.
Tal vez podemos imitar este comportamiento y apoyamos los unos a los otros. T
qu opinas?
(Bajado de Internet)
28
UTPL
APLICACIONES
UNIDAD 2
Saber ms que los otros es fcil; lo difcil

es saber algo mejor que los otros.
(Lucio Anneo Sneca)
NOTA:
Vale aclarar que en el texto bsico de Vctor Laguna, este autor llama aplicacin a
lo que nosotros conocemos y consta en todo texto como funcin.
Cmo definimos una Aplicacin?

Imaginemos un conjunto de personas que laboran en un Departamento de la UTPL,
formado por el Director, Subdirector, Decano, Subdecano, Secretaria y Conserje. Vamos
a suponer que el Director tiene 50 aos, la Subdirectora 45, el Decano 45, el Subdecano
42, Secretaria 35 y el Conserje 30, formemos dos conjuntos, el conjunto A de personas
que laboran en el Departamento de la UTPL y el conjunto B formado por sus respectivas
edades.
A = {Director, Subdirector, Decano, Subdecano, Secretaria, Conserje}
B = { 50, 45, 42, 35, 30}
Representamos estos conjuntos mediante diagrama digital.
Personas
Director
Subdirector
Decano
Subdecano
Secretaria
Conserje
Edad - Aos
50
45
42
35
30
Observamos que a cada elemento del primer conjunto le corresponde un elemento

del segundo conjunto, de este modo hemos establecido una correspondencia entre los
elementos de ambos conjuntos.
UTPL
29
De igual forma observamos el siguiente diagrama:

C
12
15
18
R = { (1,3), (2, 6), (3, 9), (4, 12), (5, 15)}

En el diagrama podemos ver que cada elemento del primer conjunto le corresponde un
solo elemento de segundo conjunto, lo cual se indica con la flecha respectiva, esto es, a
un mismo elemento de D llega al menos una flecha de un elemento de C.
En el conjunto de pares ordenados, si tomamos dos pares cualquiera de R podemos ver
que no tienen el mismo primer elemento.
A este tipo de correspondencia o relaciones se las llama APLICACIONES.
En consecuencia
Aplicacin, es una correspondencia entre dos conjuntos A y B (no

vacos) que cumplen con una regla, en la cual todo elemento del
conjunto A tiene una sola imagen en el conjunto B.
Pero este concepto es un tanto limitado porque pueden presentarse casos en que alguno
o algunos elementos del dominio no tengan su imagen en el codo minio, sin embargo no
dejan de ser correspondencia.
Ejemplo:
definida en los R.
Representemos grficamente y comprobemos que el elemento 3 no tiene imagen en el

conjunto B.
30
UTPL
-2/5
-1
-1/2
-2/3
-1
-2
3
4
Nota:
Existen varias notaciones usuales para denotar aplicaciones.

1.
f: x y
Se lee f es la aplicacin de x hacia y

Esta definicin es genrico y no especfica.
2.
x f(x)
Se lee Por la aplicacin f, x se aplica sobre f(x)
3.
{(x, y)/y = f(x)} Se lee f es la aplicacin cuyos pares ordenados son (x, y)
donde la regla es y = f(x)
4.
f: y = f(x)
Se lee f es la aplicacin determinada por la rega y = f(x)

Es una forma abreviada de (3)
5.
f: (x, y)
Se lee f es la aplicacin constituida por el conjunto de

pares ordenados (x, y) dos pares ordenados pueden estar
determinados por una regla dada o en los casos sencillos,
pueden enumerarse.
6.
f: A B
Se lee f es la aplicacin de A en B o f manda a A en B

(entre conjuntos).
UTPL
31
En las notaciones 2, 3 y 4 aparece el smbolo f(x). Este smbolo se lee f de equis y representa
el valor de la aplicacin x y como tal, es un elemento de dominio de imgenes f(x). El
par ordenado (x, y) podra tambin escribirse (x, f(x)). No debe confundirse f, que es una
aplicacin, con f(x) que es el valor de la aplicacin en x. Osea: f(x) = y.
ELEMENTOS DE UNA APLICACIN
El siguiente grfico nos permitir identificar los elementos de una aplicacin.
f
1.
2.
Dominio
Imagen
o
Codominio
f(x) = y
El conjunto A, se llama dominio de la aplicacin (f) y lo denotamos por Dom (f) =

A.
El conjunto B, se llama codominio o imagen de la funcin y lo denotamos por cod
(f) o Im (f).
Al hablar de codominio de una aplicacin, es decir, que clase de valores puede tomar la
aplicacin sin que sea necesario detallar el dominio de imgenes. As, podemos hablar
de aplicaciones reales, esto es, aplicaciones cuyo dominio es R. Tambin podemos
considerar una aplicacin de valores complejos, esto es, funciones cuyo codominio son
los nmeros complejos, o una aplicacin de valores enteros, esto es, aplicaciones cuyo
codominio es el conjunto de los nmeros enteros, etc.
EJERCICIOS DESARROLLADOS
A. Determine si las siguientes correspondencias son aplicaciones:

1.

32
Dado P = {1, 2, 3, 4, 5}, Q = {7, 8, 9, 10} y la relacin f definida de P en Q

mediante el siguiente conjunto de pares ordenados.
{(1, 7), (2,8), (4,9), (3, 10), (2, 9), (5, 7)}
Solucin:
La correspondencia de P en Q no es una aplicacin porque dos pares
ordenados tienen la misma componente, como lo demostramos grficamente
que del elemento 2 nacen 2 flechas.
UTPL
f
C
10
2.
Sean los conjuntos A = {a, b, c, d, e}, B = {2, 3, 4, 5, 6} y la correspondencia

h definida mediante el siguiente diagrama sagital.
f
A
Solucin:

La correspondencia h de A en B es una aplicacin porque de todo elemento del

conjunto A sale una sola flecha a algn elemento del conjunto B.
Lo demostramos formando el conjunto de pares ordenados {(a, 3), (b, 4), (c, 2),
(d, 5), (e, 4)}.

NOTA
Analizando los ejemplos anteriores podemos concluir:
Que la definicin de aplicaciones no pone restricciones a los

elementos del conjunto de llegada (codominio), de tal forma
que puede haber elementos en el segundo conjunto que no estn
relacionados con elementos del primer conjunto y elementos del
UTPL
33
segundo conjunto que le corresponden ms de un elemento en el primer

conjunto.
* Que las aplicaciones constituyen un caso particular de las correspondencias
y de esta manera podemos afirmar que toda aplicacin es una
correspondencia, pero no toda correspondencia es una aplicacin.

3.
x + 3 definida en los N
g
A
.
.
.
.
.
.
R = {(1, 4), (2, 5), (3, 6), (4, 5), (5, 8),... }
Solucin:
La correspondencia x + 3 definida en los N si es una aplicacin porque en el
grfico observamos que cada elemento de A tiene su imagen en B.
B.
Cuales de los siguientes conjuntos representan una aplicacin:

1.
h = {(x, y)/x, y R, y = x - 1}
Solucin:

Tomemos algunos elementos del conjunto de los reales y determinemos la imagen

de cada uno de ellos. Por lo cual podemos decir si el ejemplo planteado es o no una
aplicacin.
34
UTPL
h
A
-5/2
-7/2
-2
-3
-1
-2
-1
5/2
3/2
0.4
y=x-1
Si x = -5/2
y = -5 - 2/2
y = -7/2
=>
y = -5/2 - 1
h es una aplicacin porque a cada nmero real del conjunto de partida (A) le
corresponde un elemento en el conjunto de llegada (B).
2.
k = {(x, y)/x, y R, y = 4 - x}
Solucin:
g
A
-5
-1/3
13/3
1/3
11/3
2.3
3.14
0.86
UTPL
35
y = 4 - x Si x = -1
=>
y = 4 - (-1)
y=4+1 y=5

g es una aplicacin
3.
k = {(x, y)/x, y R, y = x2 - x + 1}
Solucin:
k
A
-5
31
-3
-1
19
5.35
3/5
3
C. En los siguientes ejercicios hallar los elementos de una aplicacin.

1.
La funcin f(x) = 3x -1; f: Z Z. Hallar:

a)
El dominio
b)
El codominio
Solucin:
El conjunto dominio est formado por nmeros enteros que los tomamos en
forma arbitraria.
a)
Dom (f) = {-5, -3, -1, 0, 1, 2, 3}
Para el codominio (f(x)) se reemplazan los valores dados a x, en la

funcin. As: y = 3x - 1
Si x = -5
Si x = -3
36
UTPL
y = 3 (-5)-1 = -15 - 1= -16

y = 3 (-3)- 1 = -9 - 1 = -10
b)
Si x = -1
y = 3 (-1) -1 = -3 -1 =-4
Si x = 0
y = 3 (0) - 1 = 0 - 1 = -1
Si x = 1
y = 3 (1) -1 = 3 -1 = 2
Si x = 2
y = 3 (2) - 1 = 6 - 1 = 5
Si x = 3
y = 3 (3) - 1 = 9 - 1 = 8
Im (f) = {-16, -10, -4, -1, 2, 5, 8}

Dado el conjunto A = {2, a, 3, b, 4} donde h: A A se define por:
h
2
a
a
b
4
b
Hallar la imagen de h(2), h(a), h(3), h(b) y h(4).

Solucin:
h(2) = 2
h(a) = a
h(3) = a
h(b) = b
h(4) = b
3.
Sea f(x) = 3x2 + 2x - 5. Determinar f(0), f(-l), f(a), f(b), f(a + b), f(a - b).
Solucin:
Para encontrar el conjunto imagen reemplazamos el valor de cada elemento
del dominio en la aplicacin dada.
f(x) = 3x2 + 2x - 5
f(0) = 3(0)2 - 2(0) - 5 = -5
f(-1) = 3(-1)2 - 2(-1) - 5 = 3 + 2 - 5 = 0
UTPL
37
f(a) = 3(a)2 - 2(a) - 5

f(b) = 3(b)2 - 2(b) - 5
f(a + b) = 3(a + b)2 - 2(a + b) - 5 = 3a2 + ab + 3b2 - 2a - 2b - 5
f(a - b) = 3(a - b)2 - 2(a - b) - 5 = 3a2 - ab + 3b2 - 2a + 2b - 5
Sea f una aplicacin de R en R f(x) = x - 3. Determinar el dominio y la
imagen.
Solucin:
f(x) = x - 3
f(-3) = -3 - 3 = -6
f(-2) = -2 - 3 = -5
f(0) = 0 - 3 = -3
f(1/2) = 1/2 - 3 = -5/2
f(2) = 2 - 3 = 1.4 - 3 = -1.6
f(-3) = 3 - 3 = 0
f(-1/2) = -1/2 - 3 = -7/2
Dom (f) = R
Im (f) = R
TIPOS DE APLICACIONES
A las aplicaciones las podemos clasificar de la siguiente manera:

1. Inyectivas: uno a uno o inyecciones.
2.
Sobreyectiva, sobre Suryectiva o Suprayectiva.
3.
Biyectivas: cuando es Inyectiva y Sobreyectiva.
4.
Inversa. Caracterizacin de las aplicaciones biyectivas.
1.
Aplicacin Inyectiva
Consideremos la aplicacin f a cada nmero entero hacerle corresponder su cubo

Luego representmosla por las diferentes formas o mtodos.
38
UTPL
a)
f
A
.
.
.
B
.
.
.
-3
-27
-2
-8
-1
-1
27
b)
f: A B = {(-3, -27), (-2, -8), (-1, -1), (0, 0), (1, 1), (2, 8), (3, 27)}
c)
f(x) = x3
y = x3
d)

(2, 8)
f(x)
-3
-27
-2
-8
-1
-1
27
(0, 0)
(1, 1)
(-1,-1)
(-2, 8)
Como observamos en las diferentes formas de representar una aplicacin que a cada
elemento del dominio le corresponde un solo elemento en el codominio. Tambin en el
paso (b) en el grafo las componentes de los pares ordenados son diferentes y en grfico
paso (d) vemos que a cada par ordenado le corresponde un punto en el plano cartesiano
y solo uno.
UTPL
39
POR LO TANTO:
Una aplicacin f: A B es inyectiva si y slo si cumple con la siguiente

propiedad:
Que a los elementos distintos de A corresponden imgenes diferentes en B, es
decir:
Si

a b f(a) f(b) es equivalente a:

a b f(a) = f(b)

NOTA:
Seor estudiante realice los ejercicios en forma conciente y luego verifique en la
solucin, esto le servir para medir el aprendizaje obtenido.
Dadas las siguientes aplicaciones identifique cuales son inyectivas.

1. f: A B = {(1, 2), (2, 4), (3, 6), (4, 8), (5, 10)}
2.
f: C D = {(1, 3), (2, 6), (6, 2), (3, 1), (4, 2)}
3.
f(x) = x2 definida en los N
4.
g
40
UTPL
5.
f
A
6.
g
A
7.
UTPL
41
8.
9.
Siguiente de definida en los Z.
10. a cada persona asignarle su nmero de aos

Solucin:
1.
f: A B Si es inyectiva porque los elementos de los pares ordenados son

diferentes.
2.
f: C D No es inyectiva porque dos pares ordenados tienen la misma imagen.
1.
Si es inyectiva porque dos a cada nmero natural le corresponde un solo nmero

que es su cuadrado.
2.
Si es inyectiva porque a cada elemento del dominio tiene una sola imagen en el
codominio.
3.
f no es inyectiva.
4.
g si es inyectiva.
5.
Nota: Si una aplicacin, est definida en forma grfica, se reconoce que es inyectiva
trazando paralelas al eje x, si estas cortan la grfica en un solo punto entonces
se trata de una aplicacin inyectiva. Por lo tanto el ejemplo 7 corresponde a una
aplicacin inyectiva.
6.
No es inyectiva, porque si trazamos paralelas al eje x stas cortan a la grfica de la

aplicacin en dos puntos.
7.
Si es inyectiva.
8.
No es inyectiva porque dos o ms personas pueden tener el mismo nmero de

aos.
42
UTPL
Demuestre que las siguientes aplicaciones son inyectivas. (Todas las aplicaciones
estn definidas de R R).
1.
Solucin:
Para que una aplicacin sea inyectiva debe cumplirse que:
a = b f(a) = f(b)

Para mayor comprensin en la demostracin de los ejercicios dados

reemplazamos:
a = x1
b = x2 entonces tenemos:
2.
a = b
f(a) = f(b)
x1 = x2
f(x1) = f(x2)
h(x) 2x +1
Solucin
2x1 + 1 = 2x2 + 1
2x1 = 2x2
x1 = x2 l.q.q.d
f(x) = 2x + 1 es inyectiva
UTPL
43
2.
Aplicaciones Sobreyectivas
Ejemplo: Consideremos la aplicacin f a cada nmero entero hacerle corresponder su

cuadrado.
Luego representemos la aplicacin dada por las diferentes formas o mtodos.
f
A
-3
-2
-1
b)
f: A B = { (-1, 1), (1, 1), (-2, 4), (2, 4), (-3, 9), (3, 9), (0, 0)}
c)
f(x) = x2
o y = x2
d)

x
f(x)
-1
-2
-3
e)
Como observamos en las diferentes formas de representar una aplicacin cada elemento
del codominio es imagen de por lo menos un elemento del dominio. En el grfico paso
(b) hay pares que tienen la misma segunda componente y en el grfico paso (c) vemos
tambin que algunos puntos tienen la misma ordenada.
44
UTPL
POR LO TANTO:
Una aplicacin f: A B es sobreyectiva si y slo si cumple con la siguiente

propiedad:
Que todos los elementos del codominio son imagen de por lo menos un
elemento del dominio, es decir:
b B E a A tal que f(a) = b

Dadas las siguientes aplicaciones identifique cules son sobreyectivas.

1.
f: A B = { (6, 2), (9, 3), (3, 1), (12, 4), (16, 4)}
2.
f: C D = { (1, 4), (2, 8), (3, 12), (4, 16)}
3.
h(x) = 2x - 7 definida de Z Z
4.
g(x) = x + 3 de N N
5.
f
A
4
-2
15
6.

g
C
UTPL
45
7.
h
8.
a cada nmero racional hacerle corresponder su cuadrado.
9.

10.

46
UTPL
Solucin:
1.
f: A B Si es sobreyectiva porque existen pares ordenados que tienen la misma

segunda componente.
2.
f: C D Si es sobreyectiva.
3.
h(x) Si es sobreyectiva.
4.
g(x) No es sobreyectiva porque los elementos 1, 2, 3 no son imagen de ningn

elemento del codominio.

5.
Si es sobreyectiva.
6.
No es sobreyectiva, porque existe un elemento en el codominio que no es

imagen de algn elemento del dominio.
7.
Si es sobreyectiva, porque en el conjunto B todos los elementos son imagen

de por lo menos un elemento de A.
8.
Si es una aplicacin sobreyectiva ya que todo nmero racional tiene por imagen su
cuadrado.
9.
No es aplicacin porque al trazar las paralelas al eje y stas cortan en ms de un

punto.
10.
NOTA: Si una aplicacin est definida en forma grfica, se reconoce que es

sobreyectiva si las rectas horizontales que pasan por el eje y cortan por lo menos
es un punto la grfica de la funcin. Por lo tanto el ejemplo 10 corresponde a una
funcin sobreyectiva.
Demuestre que las siguientes aplicaciones son sobreyectivas. (Todas las aplicaciones
estn definidas de R R).
1.
f(x) = -x2 + 2
Solucin:
Para que una aplicacin sea sobreyectiva debe cumplirse que:
b B a A tal que f(a) = b
Para realizar la demostracin de los ejercicios dados, substituimos:
a=x
b = y entonces tenemos:
y B x A tal que f(x) = y
UTPL
47
Para conocer si una aplicacin f: A B es sobreyectiva, se procede de la siguiente

manera:
Se toma y0, un elemento cualquiera de los reales, conjunto B.
Aplicando la definicin de aplicacin se halla un x0 tambin elementos de los

reales, conjunto A tal que (x0, y0) f. Esto demuestra que B imagen de f puesto
que y es arbitrario. Pero como sabemos que imagen de f B entonces el recorrido
de f es igual al conjunto B.
y = -x2 + 2
y0 = -x02 + 2
x02 = y0 + 2
f(x0) = y0
f(x0) = -x02 + 2
f(x0) = (y0 - 2) + 2
f(x0) = y0 - 2 + 2
f(x0) = y0 l.q.q.d

2.

f(x) = -x2 + 2 es sobreyectiva

f(x) = 2x
Solucin:
y = 2x
y0 = 2x0
48
UTPL
3.
g(x) = 6x + 3
Solucin:
y = 6x + 3
y0 = 6x0 + 3
3.
6x0 = y0 + 3

Aplicaciones Biyectivas
Ejemplo: Consideremos la aplicacin h al doble de cada nmero entero sumarle 3.

Representamos la aplicacin propuesta por las diferentes formas o mtodos.

a)
h
-3
-3
-2
-1
-1
UTPL
49
b)
f: A B = { (-3, -3), (-2, -1), (-1, -1), (0, 3), (1, 5), (2, 7), (3,9)}
c)

d)
f(x)
-3
-3
-2
-1
-1
f(x) = 2x +3
y = 2x + 3
e)

Como observamos en las diferentes formas de representar una aplicacin cada elemento
del dominio tiene imagen diferente del codominio y que todos los elementos del
codominio son imgenes de por lo menos un elemento del dominio. En el grfico vemos
que a cada par ordenado le corresponde un punto en el plano cartesiano y solo uno.
POR LO TANTO:
Una funcin f: A B, es biyectiva, si al a mismo tiempo es inyectiva y

sobreyectiva.
50
UTPL
Dadas las siguientes aplicaciones identifique cules son biyectivas.
1.
f: A B = { (2, 1), (3, 2), (4, 3), (-1, -2), (0, -1), (-2, -3)}
2.
f(x) = x o
y=x
3.
f
A
1ero
2do
3ero
4to
5to
4.
g
A
5.
UTPL
51
6.

7.
f(x) = 2x +4
8.
f(x) = x/x - 5
9.
f(x) = x/2
Solucin:
1.
f: AB
Si es biyectiva.
2.
f(x) = x
Si es biyectiva.
f: AB
Si es biyectiva.
4.
g: CD
No es biyectiva, es nicamente sobreyectiva.
5.
Si es biyectiva.
3.
6.
No es biyectiva, es solamente sobreyectiva.
7.
Cuando las aplicaciones estn definidas mediante frmula, es necesario

comprobar si es inyectiva y sobreyectiva al mismo tiempo; comprobacin que la
podemos hacer realizando un grfico o verificando las propiedades.
Como ejercicios revisaremos si es inyectiva:
x1 = x2

f(x1) = f(x2)
f(x0) = f(y0)
Es inyectiva si:
x1 = x2
52
UTPL
f(x1) = f(x2)
f(x) = 2x+4
2x1 + 4 = 2x2 +4
2x1 = 2x2
x1 = x2 l.q.q.d
Es sobreyectiva si:

f(0) = y0
f(x) = 2x + 4
y0 = 2x0 + 4
(1)
2x0 = y0 - 4

(2)
f(x0) = y0
(3) reemplazamos (1) en (3)
f(x0) = 2x0 + 4
(4) reemplazamos (2) en (4)

simplificamos
f(x0) = y0 - 4 + 4
f(x0) = y0 l.q.q.d
La aplicacin f(x) = 2x + 2 es biyectiva
8.
Es sobreyectiva si:

f(0) = y0
y0x0 - 5y0 = x0
y0x0 - x0 = 5y0
UTPL
53

f(x0) = y0
l.q.q.d
La funcin
es biyectiva.
9.

Para este ejercicio como prctica utilizaremos el mtodo grfico, y tambin

demostraremos que cumple con las propiedades.
Solucin:
Realicemos el grfico de h.
54
-3
-2
-1
f(x)
-3/2
-1
-1/2
1/2
3/2
UTPL
Del grfico se ve que:

a)
Dom (f) = R
b)
Im (f) = R
Los dos conjuntos son iguales

La funcin

es biyectiva.
Tambin podemos decir que es biyectiva demostrando que cumple con las
propiedades.
Es inyectiva si:
f(x1) = f(x2)
x1 = x 2
2x1 = 2x2
x 1 = x2
Es sobreyectiva si:
La aplicacin
es biyectiva
UTPL
55
2.
PROAO, Ramiro, 1982
La aplicacin g: R+ U {0} R = {(x, y)/y =

transformarla de la siguiente manera.
} no es biyectiva, pero podemos
Solucin:
Para que g sea biyectiva, debe ser sobreyectiva, por lo que es necesario modificar el
conjunto de llegada (R).
Del siguiente grfico, se puede determinar que:

x
4
f(x)
-2
-1.4
-1
Conjunto. Recorrido = R- U {0}

Para que sea sobreyectiva es necesario que:
Conjunto de llegada (R) = Conjunto de recorrido.
Por lo que el conjunto de llegada debe ser R- U {0}
g: R+ U {0} R- U {0} = {(x, y)/y =

Esta aplicacin g ya es sobreyectiva, y como tambin es inyectiva, se concluye

que:
g: R+ U {0} R- U {0} = {(x, y)/y =
56
UTPL
} es biyectiva.
NOTA: Si una aplicacin no es sobreyectiva, para que sea, debe restringir el conjunto de

llegada.

Si una aplicacin no es inyectiva, para que sea, debe restringir el conjunto de

salida.

4. Aplicacin Inversa. Caracterizacin de las aplicaciones biyectivas
Consideremos el siguiente ejemplo:
Sea A = {1, 2, 3, 4}, {a, b, c, d} y h: A B una funcin definida en las diferentes formas o
mtodos.
1.
Diagrama Sagital
Aplicacin
2.
Inversa
Grafo de la aplicacin o pares ordenados

h = {(1, a), (2, b), (3, c), (4, d)}
h-1 = {(a,1), (b,2), (c,3), (d,4)}
3.
Tabla
Aplicacin
A
Inversa
B
UTPL
57
4.
Grfico
1
1
5.
Descripcin Comn
f:
A cada nmero natural menor que 5 hacerle corresponder las cuatro primeras
letras del abecedario.
f-l:
A las cuatro primeras letras del abecedario hacerle corresponder los nmeros
naturales menores que cinco.
Al observar las diferentes formas de representar una aplicacin vemos que a

cada elemento del dominio le corresponde un solo elemento del codominio y en
su inversa se intercambia el orden de los componentes de cada par ordenado, es
decir, aquellas que estaban como primeras componentes pasan a ser segundas
componentes y recprocamente. Todo esto nos indica que para determinar la
inversa de una aplicacin se requiere que sea biyectiva.
La aplicacin inversa de una aplicacin inyectiva f se denota por el smbolo f-1 que
se lee f inversa o aplicacin inversa.
Cuando f viene dada por y = f(x), hemos dicho que x es la variable independiente y
que y es la variable dependiente. Los pares ordenados son de la forma (x, y).
La aplicacin inversa f-1 puede escribirse como x = f-1 (y) de donde y es la variable
independiente, x es la variable dependiente y los pares ordenados son (y, x).
POR LO TANTO:
Si una aplicacin f: A B, es biyectiva entonces podemos definir su inversa f-1 BA
de la siguiente forma:
Para cada y B existe un nico elemento x A tal que f(x) = y; definimos entonces: x
por f-1 (y), lo cual se expresa as:
y = f(x) x = f-1(y)
58
UTPL
EJERCICIOS DESARROLLADOS:

1.
Determine la inversa de la aplicacin

f(x) = 3x - 1
Solucin:
Comprobamos si la aplicacin dada es biyectiva para lo cual verificamos si es
inyectiva y sobreyectiva.
Inyectiva
Sobreyectiva
f(x) = 3x -1
f(x) = 3x - 1
3x1 = 3x2
y0 - 1 = 3x0
3x1 - 1 = 3x2 - 1
y0 = 3x0 - 1
x 1 = x2
x 1 = x2
f(x0) = y0
Si es biyectiva
f(x0) = 3x0 - 1
= y0 + 1 - 1
= y0
Si es sobreyectiva

La aplicacin dada es biyectiva por lo tanto podemos determinar su inversa as:
f(x) = 3x - 1
y = 3x - 1
despejamos x de la igualdad
y + 1 = 3x

entonces la aplicacin inversa es:
UTPL
59
f(x) = 3x - 1
2.
-3
-10
-2
-7
-1
-4
-1
-10
-3
-7
-2
-4
-1
-1
Pruebe si las siguientes aplicaciones son biyectivas, luego calcule su inversa.

a)
f(x) = |x|
b)
h(x) = -3x + 2
c)
Solucin:
a)
60
f(x) = |x|
UTPL
f(x) = |x|
|x1| = |x2|
y= |x|
x1 x2
y0 = |x0|
Si es sobreyectiva

b)
En consecuencia no es biyectiva, por lo tanto no tiene inversa.
Solucin:
h(x) = -3x + 2
-3x1 + 2 = -3x2 + 2
y = -3x + 2
x 1 = x2
y0 - 2 = -3x0
-3x1 = -3x2
y0 = -3x0 + 2
Si es inyectiva
-3x0 = 2 - y0
= y0
= -3x0 + 2
= -2 + y0 + 2
= y0
Si es sobreyectiva

Por lo tanto la aplicacin es biyectiva.
Determinemos su inversa.
h(x) = -3x + 2
y = -3x + 2
y - 2 = -3x
3x = 2 - y
UTPL
61
c)
10 - 75x1 = 10 - 75x2
-75x1 = -75x2
x 1 = x2
5y0 = 2 - 15x0
15x0 = 2 - 5y0
Si es inyectiva
= y0
= y0
Si es sobreyectiva
Es biyectiva
Determinamos su inversa.
62
UTPL
15x = 2 - 5y
3.
Encuentre el dominio y el recorrido de
.Luego calcule la inversa si
es posible y realice una grfica de f y f-1 en el mismo sistema de coordenadas.

Solucin:
a)
El dominio de la aplicacin dada son los reales (R).
b)
Determinemos el codominio.
5y = x - 25
5y + 25 = x
El codominio de la aplicacin son los reales.
c)

Verifique si la aplicacin es biyectiva.
5x1 - 125 = 5x2 - 125
5y0 = x0 - 25
5x1 = 5x2
5y0 + 25 = x0
x 1 = x2
x0 = 5y0 + 25
Si es inyectiva
= y0
UTPL
63
= y0
Si es sobreyectiva
Es biyectiva
d)
Determinamos su inversa.
5y = x - 25
5y + 25 = x

e)

h-1(y) = 5y + 25
Realizamos su grfico.
h-1(y) = 5y + 25
A
-5
-6
-6
-5
-5
-5
-4
-4
h-1
64
UTPL
COMPOSICIN DE APLICACIONES
1.
Con el conjunto A = {-2, -1, 0, 1, 2} y las aplicaciones de A en A definidas por las

frmulas g(x) = 2x, k(x) = x + 1 determinar la funcin producto kog y gok, luego
realizar el diagrama de Venn de cada uno de ellos.
Solucin:
Hallamos la frmula de la aplicacin producto kog.
k = og = k(g(x)) = k(2x)

= 2x+1
Calculamos las imgenes de kog.
kog = 2x + 1
kog(-2) = 2(-2) + 1 = -4 + 1 = -3
kog(-1) = 2(-1) + 1 = -2 + 1 =-1
kog(0) = 2(0) + 1 = 0 + 1 = 1
kog(1) = 2(1) + 1 = 2 + 1 = 3
kog(2) = 2(2) + 1 = 4 + 1 = 5
Hallamos la frmula de la aplicacin producto gok.

gok (x) = g(k(x)) = g( x + 1)

= 2x+2
UTPL
65
Calculamos las imgenes de gok.

Otra frmula de determinar las imgenes de una aplicacin producto es sustituyendo
cada elemento del conjunto dado en la frmula (k = x + 1) y este valor en la forma (g = 2x).
gok(-2) = g(k(-2)) = g (-1) =-2
gok(-1) = g(k(-l)) = g (0) = 0
gok(0) = g(k(0)) = g (1) = 2
gok(1) = g(k(1)) = g (2) = 4
gok(2) = g(k(2)) = g (3) = 6
Comparando las dos imgenes de gok y kog vemos que son diferentes, esto permite
hacer la siguiente conclusin:
NOTA:

El producto de aplicaciones no siempre es conmutativo

gok kog

Digo, no siempre, porque existen casos en los cuales gok = kog, como se indica en el
siguiente ejemplo, en l cual si se cumple la propiedad conmutativa; pero es muy raro.
66
UTPL
2.
Con el conjunto P = {1, 2, 3} y las aplicaciones

g: P P tal que g(1) = 2; g(2) = 4; g(3) = 1; g(4) = 3
k: P P tal que k(1) = 4; k(2) = 3; k(3) = 2; k(4) = 1
Halle gok y kog
Solucin:
Aplicando la definicin de aplicacin compuesta tenemos:
gok(1) = g(k(1)) = g (4) = 3
gok(2) = g(k(2)) = g (3) = 1
gok(3) = g(k(3)) = g (2) = 4
kog(1) = k(g(1)) = k (2) = 3

kog(2) = k(g(2)) = k (4) = 1
kog(3) = k(g(3)) = k (1) = 4
UTPL
67
ACTIVIDAD Nro. 3
Lo invito a que verifique sus logros, desarrollando los siguientes ejercicios.
1.
DADAS LAS SIGUIENTES RELACIONES. SELECCIONE LAS QUE CUMPLEN CON

LOS REQUISITOS DE APLICACIONES. ARGUMENTE SUS RESPUESTAS.
1.1 Nieto de
1.2 {(x, y) R2 / x2 + y2 = 1}
1.3 {(1, 2), (2, 3), (3, 4)}
2.
INDIQUE CULES DE LOS SIGUIENTES GRFICOS Y TABLAS CORRESPONDEN

A UNA APLICACIN.
b
x
5
c
3.
DETERMINE CULES DE LAS APLICACIONES DEFINIDAS A CONTINUACIN SON

APLICACIONES SOBREYECTIVAS.
1.1 f: N N definida por f(x) = 2x
1.2 f: N N - {l} definida por f(x) = x + 1
68
UTPL
1.3 h: R R+ U {0} definida por f(x) = x2

4.

5.
ESCRIBA LA FRMULA QUE DEFINA LA APLICACIN INVERSA DE CADA UNO

DE LOS EJERCICIOS.
4.1

4.2 3x + 4
4.3 2x + 4
SI f(x) = x2 - 2 |x| y h(x) = x2 -1. HALLE UNA EXPRESIN PARA:
5.1 f o h
5.2 h o f
UTPL
69
S EGUNDO
BIMESTRE
De la sabidura sigue la ignorancia
(Fernando Rielo)
OBJETIVOS ESPECFICOS
1.
Determinar los elementos de una relacin mediante la realizacin

de ejercicios prcticos.
2.
Demostrar las diferentes formas que adopta una relacin e

identificar y proponer relaciones de equivalencia.
3.
Reconocer las relaciones que son aplicaciones y determinar su

dominio e Imagen.
4.
Realizar ejercicios con respecto a la factorizacin de aplicaciones.
5.
Reconocer cuando una relacin es de orden y orden total.
6.
Realizar ejercicios con las diferentes operaciones de conjuntos

finitos.
UTPL
71
CONTENIDOS

1.
CAPTULO 3. RELACIONES DE EQUIVALENCIA Y DE ORDEN

RELACIONES
1.1. Definicin de Relacin.
1.2. Relacin Inducida.
1.3. Relacin por la derecha y por la izquierda de un elemento.
2.

3.
RELACIONES DE EQUIVALENCIA
1.1.
1.2.
1.3.
1.4.
1.5.
1.6.
Definicin de Relacin de Equivalencia.

Relacin de Equivalencia Asociada a una Aplicacin.
Clases de Equivalencia.
Particin de un Conjunto.
Conjunto Cociente. Aplicacin. Proyeccin.
Factorizacin de Aplicaciones.
RELACIONES DE ORDEN
3.1.
3.2.
3.3.
3.4.
3.5.
3.6.
Definicin de Relaciones de Orden y Orden Total.

Relaciones de Orden y Orden Total Inducidas.
Conjunto Bien Ordenados.
Algunos Conceptos Relativos a Conjuntos Totalmente Ordenados.
Propiedad del Supremo.
Propiedad del Infimo.
CAPTULO 4. CONJUNTOS FINITOS E INFINITOS NUMERABLES
1.
CONJUNTOS FINITOS
1.1.
1.2.
1.3.
1.4.
1.5.
1.6.
1.7.
Nocin de Conjunto Finito.

Cardinalidad de un Conjunto Finito.
Subconjunto de un Conjunto Finito.
Unin de una Coleccin Finita de Conjuntos Finitos.
Producto Cartesiano de un Nmero Finito de Conjuntos.
El conjunto de Pares de un Conjunto Finito.
Conjuntos Finitos Totalmente Ordenados.
2.
CONJUNTOS DE APLICACIONES ENTRE CONJUNTOS FINITOS
3.
CONJUNTOS NUMERABLES
3.1. Concepto de Conjunto Infinito Numerable.
3.2. Relacin entre Sucesiones y Conjuntos Infinitos Numerables.
3.3. Concepto de Conjunto Numerable.
72
UTPL
3.4. Conjuntos Numerables y Aplicaciones Sobreyectivas.

3.5. Subconjuntos de los Conjuntos Numerables.
4.
COMPOSICIN DE APLICACIONES
4.1.
4.2.
4.3.
4.4.
Composicin de Aplicaciones: Definicin y Propiedades.

Aplicacin Inversa. Caracterizacin de las aplicaciones Biyectivas.
Inversas Parciales de una Aplicacin.
Restriccin de una Aplicacin a un Subconjunto.
UTPL
73
DESARROLLO DEL APRENDIZAJE

RINCON DE REFLEXIN
EL AMOR Y LA LOCURA
Cuentan que una vez, se reunieron en un lugar de la Tierra
todos los sentimientos y cualidades de los hombres.
Cuando el ABURRIMIENTO haba bostezado por tercera
vez, la LOCURA, como siempre tan loca, les propuso: -
Vamos a jugar a las escondidas
La INTRIGA levant la ceja intrigada, y la CURIOSIDAD,
sin poder contenerse pregunt a la LOCURA: - Y cmo es
eso? Es un juego, explic la LOCURA, en que yo me tapo la cara y comienzo a
contar desde uno hasta un milln, mientras ustedes se esconden y cuando yo haya
terminado de contar, el primero de ustedes que encuentre ocupar mi lugar para
continuar el juego.
El ENTUSIASMO bail, secundado por la EUFORIA.
La ALEGRA dio tantos saltos que acab por convencer a la DUDA, e incluso a la
APATA, a la que nunca le interesaba nada. Pero no todos quisieron participar, la
VERDAD prefiri no esconderse ... para qu, si al final siempre la hallaban?
La SOBERBIA opin que era un juego muy tonto (en el fondo lo que le molestaba
era que la idea no hubiese sido de ella), y la COBARDA prefiri no arnesgarse .
... uno, dos, tres, comenz a contar la LOCURA.
El primero en esconderse fue la PEREZA, que como siempre se dej caer tras la
primera piedra del camino.
La FE subi al cielo y la ENVIDIA se escondi tras la sombra del TRIUNFO, que
con su propio esfuerzo haba logrado subir a la copa del rbol ms alto.
La GENEROSIDAD casi no alcanzaba a esconderse, pues cada sitio que hallaba
le pareca maravilloso para alguno de sus amigos: que si un lago cristalino ideal
para la BELLEZA, que le rendija de un rbol, perfecta para la TIMIDEZ, que si el
vuelo de una mariposa, lo mejor para la VOLUPTUOSIDAD, que si una rfaga de
viento, magnfico para la LIBERTAD ... y as fue como termin por ocultarse en un
rayito de sol.
74
UTPL
El EGOSMO encontr en cambio un sitio muy bueno desde el principio, ventilado,

cmodo, pero slo para l.
La MENTIRA se escondi en el fondo del ocano (mentira, en realidad se escondi
detrs del arco iris) la PASIN y el DESEO en el centro de los volcanes.
Cuando la LOCURA contaba 999.999, el AMOR an no encontraba sitio alguno para
esconderse, pues todo se encontraba ocupado, hasta que vio un rosal y enternecido
decidi esconderse entre sus flores.
Un MILLN!!!, cont la LOCURA y comenz a buscar.
La primera en aparecer fue la PEREZA a slo tres pasos en una piedra. Despus se
escuch a la FE discutir con Dios sobre teologa y la PASIN y el DESEO los sinti
en el vibrar de los volcanes. En un descuido encontr a la ENVIDIA y claro, as
pudo deducir en donde estaba el TRIUNFO.
El EGOSMO no tuvo ni que buscado, el solito sali disparado de su escondite que
result ser un nido de avispas.
De tanto caminar sinti sed, y al acercarse al lago descubri a la BELLEZA, y con la
DUDA result todava ms fcil, pues la encontr sobre una cerca sin decidir an
de que lado esconderse.
As fue encontrando a todos, el TALENTO entre la hierba fresca, a la ANGUSTIA
en una oscura cueva, a la MENTIRA detrs del arco iris, y hasta el OLVIDO, que
ya se le haba olvidado que estaba jugando, pero slo el AMOR no apareca en
ningn sitio.
La LOCURA busc detrs de cada rbol, bajo cada arroyuelo del planeta, en la
cima de las montaas y cuando estaba a punto de darse por vencida vio un rosal
y sus flores. Tom una horquilla y comenz a mover las ramas, cuando de pronto
escuch un doloroso grito. Las espinas haban herido al AMOR en los ojos.
La LOCURA no saba que hacer para disculparse, llor, rog, implor, pidi
perdn, y hasta prometi al AMOR que sera su lazarillo.
Desde entonces, desde la primera vez que se jug a las escondidas en la tierra ...
EL AMOR ES CIEGO Y LA LOCURA SIEMPRE LO ACOMPAA.
(Bajado de Internet)
UTPL
75
RELACIONES
UNIDAD 3
Las matemticas no mienten lo que hay

son muchos matemticos mentirosos
(Thoreau, Henry D)
PAR ORDENADO
Intuitivamente un par ordenado consta de dos elementos x, y que se simboliza por (x, y);
x es el primer elemento y es el segundo elemento.
Dos pares ordenados (x, y) y (a, b) son iguales si x = a y = b
(x, y) = (a, b) x = a y = b
Ntese que si x = y, el par ordenado (x, y) es precisamente {{x}}.
Ejemplo: Los pares ordenados (6, 9) y (9, 6) son diferentes.

Los pares ordenados (49, 36) y (7, 6) son idnticos.

TERNA ORDENADA
Dados tres objetos matemticos x, y z, se ampla el concepto de pareja ordenada y se

define:
(x, y, z) = ((x, y), z)
Llamndole a (x, y, z) una terna ordenada.
Ejemplo:
T = { e, a, o}
E = { s, m, i}
Los pares ordenados posibles respetando el orden de que el primer elemento pertenezca
al conjunto T y el segundo a E
T * E = {(e, s), (e, m), (e, i), (a, s), (a, m), (a, i), (o, s), (o, m), (o, i)}
T * E = 9 pares ordenados
76
UTPL
PRODUCTO CARTESIANO
El producto cartesiano (o conjunto producto) de dos conjunto no vacos A * B es el
conjunto de todas las parejas (x, y) tales que x A y B.
A * B = {(x, y): x A y B}
Existen mtodos prcticos para construir prod uctos cartesianos corno son: los diagramas
de rbol.
Ejemplo: si A = {m, a}, B = {r, s, t, u} y C = {x, y, z} obtener A * B * C.
Para determinar el producto de 3 o ms conjuntos utilizamos los diagramas de rbol y se
procede de la siguiente manera:
A=2
# de elementos =
B=4
2 * 4 * 3 = 24 ternas
C=3
(m, r, x)
(m, r, y)
(m, r, z)
(m, s, x)
(m, s, y)
(m, s, z)
(m, t, x)
(m, t, y)
(m, t, z)
(m, u, x)
(m, u, y)
(m, u, z)
m
t
(a, r, x)
(a, r, y)
(a, r, z)
(a, s, x)
(a, s, y)
(a, s, z)
(a, t, x)
(a, t, y)
(a, t, z)
a
t
(a, u, x)
(a, u, y)
(a, u, z)
UTPL
77
Entonces: A * B * C ={(m, r, x), (m, r, y), (m, r, z), (m, s, x), (m, s, y), (m, s, z), (m, t, x),

(m, t, y), (m, t, z), (m, u, x), (m, u, y), (m, u, z), (a, r, x), (a, r, y),

(a, r, z), (a, s, x), (a, s, y), (a, s, z), (a, t, x), (a, t, y), (a, t, z),

(a, u, x), (a, u, y), (a, u, z)}
Cmo definimos a una relacin?
Casi en todas las relaciones de la vida cotidiana, siempre estamos escuchando expresiones
como:
a)
Jos es alumno de la UTPL
b)
12 es menor que 30
c)
Carlos tiene 38 aos
d)
Raquel es madre de Carmen
e)
Quito es capital del Ecuador
Todas estas expresiones y muchas ms son relaciones porque estamos asociando o

relacionando dos personas, dos cantidades, dos cosas, dos elementos o dos conjuntos,
etc.
POR LO TANTO:
Podemos damos cuenta que cada expresin relaciona dos elementos de un mismo
conjunto o de dos conjuntos diferentes, as
En a) se relaciona una persona con un establecimiento educativo;
En b) se relaciona dos cantidades;
En c) se relaciona una persona con una cantidad;
En c) se relaciona una ciudad con un pas.
RELACIONES COMO CONJUNTOS DE PARES ORDENADOS
En matemticas, la palabra relacin tiene un significado ms preciso que en el lenguaje
usual. Para identificar la relacin que existe entre los elementos de dos conjuntos o los
elementos de un conjunto, vamos a utilizar los pares ordenados.
As, por ejemplo:
Si Marco tiene 18 aos y Segundo 22 aos, designando por M al conjunto de personas y
por N al conjunto de edades. Entonces escribimos:
M = {Marco, Segundo}
78
UTPL
N = {18, 22}
Realizando el producto cartesiano M * N, tenemos:
M * N = {(Marco, 18), (Marco, 22), (Segundo, 18), (Segundo, 22)}
Cul es el conjunto de pares ordenados en los cuales se cumple la condicin entre la
persona y la edad establecida?
E = {(Susana, 13), (Mara, 20)}
De los pares ordenados del producto cartesiano, solamente dos cumplen con la condicin
y con ellos se ha formado un nuevo conjunto que se llama Relacin Binaria designado
con R a esta relacin tenemos:
R = {(Susana, 13), (Mara, 20)}
Entonces podemos decir que la relacin no es ms que un subconjunto del producto
cartesiano M * N.
Ejemplo: Dados los conjuntos A = {2, 3, 4} y B = {1, 5} y la relacin ser mayor que,
determinar los pares ordenados que sastifacen la condicin.
Solucin:
a)
Primeramente formamos el producto cartesiano A * B as:

A * B = {(2, 1), (2,5), (3, 1), (3, 5), (4, 1), (4, 5)}
Los pares ordenados que cumplen con la condicin dada son:
R = {(2, 1), (3, 1), (4, 1)}
De estos ejemplos podemos concluir que:

NOTA:
Relacin Binaria: es un subconjunto de un producto cartesiano donde se asocia
cada elemento del primer conjunto con algn elemento del segundo conjunto.
En smbolos:
Una relacin R de A en B se puede escribir as:
R = {(a, b) / a A b B} A * B
UTPL
79
NOTA:
Recuerde que, para escribir una relacin necesitamos:
a)
un conjunto A.
b)
un conjunto B.
c)
un enunciado formal (criterio, condicin, propiedad) tal que sea V o F para

todo par ordenado de un producto cartesiano.
1.
Sea la relacin alcalde de definida en los conjuntos

p = {Jaime Nebot, Jos Bolvar Castillo} y Q = {Quito, Guayaquil, Loja}
Solucin:
a) Formamos el producto cartesiano P * Q

P * Q = {(Jaime Nebot, Guayaquil), (Jaime Nebot, Loja), (Jaime Nebot, Quito),
(Jos Bolvar Castillo, Loja), (Jos Bolvar Castillo, Quito), (Jos Bolvar
Castillo, Guayaquil)}

b ) Tomando en cuenta la condicin alcalde de se tiene

R = {(Jaime Nebot, Guayaquil), (Jos Bolvar Castillo, Loja)}
2.
Sea R una relacin en F = {2, 3, 4, 5} definida por el enunciado formal a b

son primos
Solucin:
a)
Elaborando el producto cartesiano F * F tenemos:
F * F = {(2, 2), (2, 3), (2, 4), (2, 5), (3, 2), (3, 3), (3, 4), (3, 5), (4, 2), (4, 3), (4, 4), (4, 5),
(5, 2), (5, 3), (5, 4), (5, 5)}
b)
Analizando al condicin se tiene que los pares ordenados que cumplen con la
condicin son:
R = {(2, 3), (2,5), (3,2), (3,5), (5, 2), (5, 3)}
De lo expuesto anteriormente podemos decir que:
80
UTPL
NOTA:
Una
Relacin est bien definida si se puede decir de cualquier par ordenado, si
satisface o no la relacin; es decir, si es V o F.
Pero para algunos que presentan ambigiiedad es necesario adjuntar notas
aclaratorias como la extensin o alcance que se va a utilizar.
A continuacin citamos algunos ejemplos de relaciones en las que se indica la extensin

o alcance.
Condicin
Alcance
1.
ser semejante
entre tringulos
2.
ser congruente
entre rectas
3.
ser ms nuevo que
entre objetos
4.
ser ms alto
entre personas
5.
ser primo
entre nmero
DOMINIO E IMAGEN DE UNA RELACIN

Desarrollamos el siguiente ejercicio para indicar las partes de las que est formada una
relacin.
Dada la relacin triplo de definida en los conjuntos:
A = {8, 9, 27, 64, 125}
B = {1, 2, 3, 4, 5}
Solucin: Representamos grficamente la relacin dada
UTPL
81
El conjunto (A) de partida o alcance est formado por todos los elementos que
forman el conjunto, es decir {8, 9, 27, 64, 125}
El conjunto (B) de llegada o rango est formado por todos los elementos que forman
el conjunto, es decir {1, 2, 3, 4, 5}
El dominio est formado por las primeras componentes de los pares ordenados
que satisfacen con la condicin dada, es decir, {8, 9, 27, 64, 125}
El cominio. contradominio o imagen est por los segundos componentes de los

pares ordenados que satisfacen con la condicin, es decir, {2, 3, 4, 5}
NOTA:
RECUERDE
El dominio es un subconjunto del Alcance.
Dm A
Imagen es un subconjunto del Rango.
Im B
Grficamente tenemos:
DE QU MANERA SE PUEDEN DEFINIR RELACIONES?

A las relaciones se las puede representar de las siguientes maneras:
(VARSAVKY, Oscar, 1973)
F
Por frase
Por tabla
Por medio de frmula
Por representacin grfica
82
UTPL
Relaciones dadas por frases

Las relaciones se las puede expresar por medio de palabras, es decir, por descripciones
comunes como por ejemplo:
es pariente de
desembarca en
es colegio de
estudia en
Relaciones dadas por tablas

Hay ocasiones que se presentan relaciones no muy comunes, entonces es conveniente
indicar cules son los pares de elementos que cumplen con las condiciones dadas y de
esta manera sabemos cual es el dominio y la imagen de R.
Esta clase de relaciones se expresan mejor con tablas: en la primera columna se anotan
los elementos del dominio y en la columna de la derecha, la imagen correspondiente,
por ejemplo:
1.
Planilla de calificaciones de los alumnos de la Maestra en Educacin a Distancia

de la UTPL
Solucin:
Realizamos una tabla de la siguiente manera:
calificaciones de
Dominio
Imagen
Teresa
Luis
95
Giovanna
90
Luca
Yadira
83
Csar
80
Observando la tabla vemos que:

Alcance (R) = {Teresa, Luis, Giovanna, Luca, Yadira, Csar}
Rango (R) = {0, 1, 2,3 .... 100}
Dominio (R) = {Luis, Giovanna, Yadira, Csar}
Imagen (R) = {95, 90, 83, 80}
UTPL
83
2.
Analizando la relacin Es profesor de con alcance igual a: profesores del

Departamento de Fsico Matemtico de la UTPL. (Modalidad Abierta)
Solucin:
es profesor de
Dominio
Imagen
Nancy E.
Geometra Analtica
Pablo R
Estadstica Inferencial
Fanny Q.
Didctica
Matemtica
Csar G.
Teora de Conjuntos
Luis E.
Fsica
Guido B.
Clculo
Yadira R.
Trigonometra
de
la
Alcance (R) = {Profesores del Departamento Fi- Ma}

Rango (R) = {Materias del Departamento}
Dominio (R) = {Nancy E, Pablo R, Fanny Q, Csar G, Luis E, Guido B, Yadira R}
Imagen (R) = {Geometra Analtica, Estadstica Inferencial, Didctica de la Matemtica,
Teora de Conjuntos, Fsica, Clculo, Trigonometra}
Relaciones dadas por frmulas
Para representar relaciones mediante frmulas, se emplean signos y smbolos
matemticos. As por ejemplo:
Lenguaje Comn
Lenguaje Matemtico
1.
x es truiplo de y
x =3y
2.
x es menor o igual que
xy
3.
P es subconjunto de Q
PQ
4.
La edad de x en el 2004 ser
x+4
Relaciones dadas por grficos

Para representar grficamente relaciones, debemos recordar como ubicar un par ordenado
en el plano cartesiano. Por ejemplo:
84
UTPL
Representar grficamente las relaciones:

1. menor que definida en los naturales (N)
Solucin:
Realizamos una tabla para la relacin dada
x < y
Dominio
Imagen
3, 4, 5 ...
4, 5, 6 ...
5, 6, 7 ...
6, 7, 8 ...
7, 8, 9 ...
............
............
............
............
8
7
6
5
4
3
*
* *
* * *
* * *
* *
*
2
1
1 2 3 4 5 6 7 8
NOTA:
Como s que usted es una persona dedicada lo invito a revisar el lgebra para
escuelas secundarias de Oscar Varsavsky, donde encuentra mayor informacin
sobre este tema.
RELACIONES DE ORDEN
Son relaciones de orden aquellas que cumplen con las siguientes propiedades (o
relaciones):
UTPL
85
Antisimtrica: si a est relacionada con b y b est relacionada con a entonces a es igual

a b.
aRbbRaa=b
o
si a est relacionada con by b no est relacionada con a entonces a no es igual a b.
aRbbRaab
Transitiva: si a est relacionada con by b est relacionada con centonces a se relaciona
con c.
aRbbRcaRc
NOTA:
Si una relacin cumple con las propiedades (relaciones), anteriormente indicadas se
llaman Reladones de Orden Estricto, pero si a ms de las propiedades (relaciones)
indicadas se cumple la propiedad reflexiva entonces es un Orden no Estricto o
simplemente Orden.
Si existen elementos que no estn relacionados entre s (elementos incomparables), el
orden es parcial y si los elementos son comparables o cumple la ley del tricotoma.
(a R b o b R a) a b el orden es total.
Concluyendo tenemos
Orden Estricto:
Antisimtrica, Transitiva
Orden Estricto:
Reflexivo, Antisimtrica y Transitivo
Orden Estricto:
Antisimtrica, Transitiva, Elementos incomparables
Orden Estricto:
Antisimtrica, Transitiva, Ley de Tricotoma (a R b o b R a) a b
Ejercicios:
Dados los siguientes ejercicios, determinar el orden al que corresponden:
1.
mayor que definida en el conjunto A = {-2,-1, 0, 1, 2}
Solucin:
Escribimos todos los pares ordenados que cumplen con la condicin.
86
UTPL
R = {(1, 0), (1, -1), (1, -2), (2, 1), (2, 0), (2, -1), (2, -2), (-1, -2), (0, -1), (0, -2)}
Vemos que las propiedades cumple:
Antisimtrica porque:
(1, 0) R (0, 1) R
Transitiva porque:
1 > -1 -1 > - 2 1 > - 2
1 > 0 0 > -1 1 > -1
Por lo tanto la relacin > es una orden estricta, por cumplir las propiedades antisimtrica
y transitiva.
2.
Sean la relacin anterior a definida N
Solucin:
Reflexiva: No cumple porque ningn nmero es anterior a s mismo. Ejemplo 5 R 5
Antisimtrica: Si se cumple porque todo nmero es anterior a otro nmero. Ejemplo:
3R44R3
Transitiva: Si se cumple porque todo nmero es anterior a otro y este anterior a un tercero,
entonces el primer nmero es anterior al tercero. Ejemplo:
4R55R64R6
Luego es una relacin de orden estricto por cumplir las propiedades Antisimtrica y
Transitiva.
Ahora analicemos si el ejemplo propuesto es de orden total o parcial, para lo cual
debemos tener presente que cumpla una de las premisas; a R b o b R a con dos elementos
cualesquiera. Elegimos el 9 y el 5, vemos que la primera premisa no se cumple ya que 9
no est antes que 5, pero al revs 5 antes que 9 si se cumple.
Luego extendiendo este concepto a todos los nmeros N, siempre se va a cumplir una de
las dos premisas, por lo tanto se trata de un orden total.
3.
definida en el conjunto A = {t, 2, 3}
Solucin:
Escribimos todos los pares ordenados que cumplen con la condicin.
R = {(1, 2), (1,3), (2,3), (1, 1), (2,2), (3, 3)}
Vemos que las propiedades cumple:
UTPL
87
Reflexiva: si porque todo nmero es igual a s mismo.

Antisimtriea: s porque
1<22<1
Transitiva: s porque
1<22<31<3
RELACIONES DE EQUIVALENCIA
Una relacin se dice que es una relacin de equivalencia si:

1.
R es reflexiva, esto es para todo a A, (a, a) R
2.
R es simtrica, esto es, (a, b) R implica (b, a) R
3.
R es transitiva, esto es, (a, b) R; y (b, c) R implica (a, c) R
EJEMPLO:
1.
Sea A el conjunto de tringulos del plano Euclidiano. Sea R la relacin en A

definida por x es semejante a y, entonces, como se demuestra en geometra R es
reflexiva.
a.
R es reflexiva: pues todo tringulo es semejante a s mismo por el enunciado

formal.
b)
R es simtrica: puesto que si el tringulo a es semejante al tringulo b, entonces el

tringulo b es tambin semejante al a.
c)
R es transitiva: puesto que si el tringulo a es semejante al tringulo b, y el tringulo

b es semejante al tringulo c, esto implica que el tringulo a es semejante al tringulo
c.
88
UTPL
Por lo tanto:

R es una relacin de equivalencia
1.
El ejemplo ms importante de relacin de equivalencia es el de la igualdad. Para

cualesquier elemento en todo conjunto.
a)
R es reflexiva: a es igual a s mismo.

a=a
b)
R es simtrica: si a es igual a b implica que b es igual a a.

a = b implica b = a
c)
R es transitiva: si a es igual a b y b es igual a centonces a es igual a c.

a = b y b = c implica a = c
ACTIVIDAD Nro. 4
1.
SEA P = {2, 3}, Q = {1, 3, 5} y K = {3, 4} DETERMINE MEDIANTE UN

DIAGRAMA DE RBOL EL PRODUCTO P * Q * K
2.
GRAFIQUE EN R*R LA SIGUIENTE RELACIN, D EL DOMINIO Y EL

RECORRIDO y X2.
UTPL
89
3.
CON UN EJEMPLO DETERMINE SI LAS SIGUIENTES RELACIONES 1)

= 2) 3) paralelo a 4) es hermano de SON REFLEXIVAS.
4.
DETERMINE SI LA RELACIN MLTIPLE DE EN LOS NATURALES

ES UNA RELACIN DE EQUIVALENCIA.
NOTA
Estimado alumno le sugiero realizar las autoevaluaciones que constan en la gua
pues stas sern de mucha ayuda para realizar las pruebas presenciales, no se
conforme con lo del texto bsico busque consultar en la bibliografa complementaria
y en las pginas web que tiene anotadas en su gua didctica; as tambin realice la
mayor cantidad de ejercicios que pueda, los mismos que estn en los anexos.
90
UTPL
SOLUCIONARIO
ACTIVIDAD N. 1
1.
a)
b)
c)
d)
e)
I
F
V
I
F
a)
b)
c)
Si A = B porque no importa que los elementos no estn en el mismo orden.

Si C = D porque son iguales a pesar de que se repiten sus elementos.
Si E = F porque dos conjuntos vacos son iguales, esto confirma que el
conjunto vaco es el nico.
Si H = I dos conjuntos pueden ser iguales definidos por el mtodo de
comprensin aunque las frases que lo definan sean diferentes.
2.
d)
3.
a)
b)
c)
R = {x/x x = x + 2, -5 x 2}
S = {x/x es un natural par 2468}
T = {x/x es letra del alfabeto}
a)
b)
c)
P = {}
Q = {l, 2, 3, 4}
K = {no es posible determinar los elementos del conjunto k porque no hay}
4.
ACTIVIDAD N. 2
1.
1.1
1.3
P
Q
1.2
A
S
R
D
UTPL
91
2.
3.
4.
A B {1, 2, 3, 4, 5, 7}

A B { 2}

B C { 2, 5, 7,8}

B - C { 2}
3.1
3.2
3.3
H I {a, b, e}
H J { a, c, e}
H I J { a, b, c, d, e, f, g, h, i}
P = {1, 2, 3, 4}
Q = {2, 3, 4, 5}
5.
5.1

L = {b, d, e, f, g, h, i, j}
M = {b, d, e, f, g}
N = {b, f, e, g, h, i, k, l}
ACTIVIDAD N. 3
1.
1.1
1.2
1.3
Si es aplicacin
No es aplicacin
Si es aplicacin
a)
b)
c)
No porque algunos elementos del dominio tienen 2 imgenes.

Es una aplicacin.
No es una aplicacin.
2.
3.

3.1 No es sobreyectiva
3.2 Es sobreyectiva
3.3 Es sobreyectiva
4.

4.1

4.2

92
UTPL
4.3
5.
5.1
5.2
f o h(x) = x4 - 4x2 | x | + 4 | x | 2 - 1
f o h(x) = x4 - 2x2 - 2 | x2 - 1 | + 1
ACTIVIDAD N. 4
1.
(2, 1, 3)
(2, 1, 4)
(2, 3, 3)
(2, 3, 4)
(2, 5, 3)
(2, 5, 4)
(3, 1, 3)
(3, 1 4)
(3, 3, 3)
(3, 3, 4)
(3, 5, 3)
(3, 5, 4)
2.
x
-1
-2
-3
y x2
UTPL
93
3.
3.1
3.2
3.3
3.4
Si es reflexiva, porque toda persona, objeto, figura es igual a s mismo.

No es reflexiva, porque una recta no puede ser perpendicular a si mismo.
Si es reflexiva, porque una recta puede ser paralela a s misma.
No es reflexiva, porque una persona no puede ser hermano de s mismo.
4.
Para que sea una relacin de equivalencia debe cumplir con la relacin simtrica,
reflexiva, transitiva.
Reflexiva: La relacin mltiplo de, definida en el conjunto de los nmeros

naturales si es reflexiva, ya que todo nmero natural es mltiplo de s mismo.
Simtrica: La relacin mltiplo de definida en el conjunto de los nmeros

naturales no es simtrica.
3 mltiplo de 9 pero 9 no es mltiplo de 3
9 es mltiplo de 81
Transitiva: La relacin mltiplo de definida en el conjunto de los nmeros

naturales si es transitiva.
En conclusin la relacin mltiplo de definida en el conjunto de los naturales no

es relacin de equivalencia porque no es reflexiva, ni simtrica, solo es transitiva.
94
UTPL
GLOSARIO
CONJUNTO: La palabra conjuntos ser uno de los trminos bsicos no definidos. En
lo que sigue se tratar de aclarar y precisar la idea intuitiva de conjunto de objetos por
medio de ejemplos.
CONJUNTO VACO: Es el conjunto que no tiene elementos. Se representa como .
DIAGRAMAS DE VENN: Es un mtodo grfico que sirve para la mejor comprensin
de los conjuntos y sus relaciones.
Estos diagramas son utilizados tambin para comprobar la validez de ciertos teoremas
de la Teora de Conjuntos y/o para seguir mtodos de demostracin de los mismos.
B
RELACIN: Dados dos conjuntos A y B una relacin es un subconjunto del producto

cartesiano A * B.
A las relaciones tambin se las llama correspondencias.
RELACIN BINARIA: Dado el producto cartesiano A * A, una relacin binaria es un
subconjunto G (llamado grafo) de este producto cartesiano.
RELACIN DE EQUIVALENCIA: Una relacin de equivalencia es una relacin binaria
que tiene las propiedades:
Reflexiva: a R a
Simtrica: Si a R b, b R a
Transitiva: Si a R b y b R c, entonces a R c
RELACIN DE ORDEN: Una relacin binaria es una relacin de orden que tiene las
propiedades:
Reflexiva: a R a
Simtrica: Si a R b, b, R a, entonces a = b
Transitiva: Si a R b y b R c, entonces a R c
UTPL
95
DOMINIO DE UNA APLICACIN: El subconjunto de partida formado por los

elementos x E para los cuales existe un y F, que verifica y = f(x), se llama dominio de
la funcin. Lo simbolizamos con Df.
RANGO, CODOMINIO O CONJUNTO DE VALORES: Es el subconjunto del conjunto
de llegada formado por los elementos que son imgenes del conjunto de partida. Lo
simbolizamos Rf.
Rf - {y F: y = f(x) }
EPIGRAFE: Cita o sentencia que suele ponerse a la cabeza de una obra cientfica o
literaria o de cada uno de sus captulos o divisiones de otra clase.
CORRESPONDENCIA: La que relaciona cada elemento imagen con su elemento
origen.
APLICACIN: Operacin por la que se hace corresponder a todo elemento de un
conjunto un solo elemento de otro conjunto.
NOCIN: Conocimiento o idea que se tiene de algo.
PROTOTIPO: Ejemplar original o primer molde que se fabrica una figura u otra cosa.
EL SMBOLO : Se llama el cuantificador existencial. Ejemplo:
X, P(x)
Se lee existe x tal que P(x) y es verdadero precisamente cuando el conjunto de verdad
P(x) no es vaco.
96
UTPL
A N E XO S
El presente material ha sido reproducido con fines netamente

didcticos, cuyo objetivo es brindar al estudiante mayores
elementos de juicio para la comprensin de la materia, por lo
tanto no tiene fin comercial.
Seor estudiante le recordamos que en los anexos existe un sin nmero de 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 presencia, tomando en cuenta que aplicacin es igual a funcin
entonces no tiene porque causarle de nuevo.
ANEXO.
CONJUNTOS
Ejercicios propuestos de conjuntos y subconjuntos tomados del libro Seymour Lipschuz
y de lgebra y Trigonometra de Dennis Zill, Jacqueline DEWAR.
UTPL
99
CONJUNTOS Y SUBCONJUNTOS

Escribir una afirmacin que relacione cada par de conjuntos del diagrama. Debe haber seis
afirmaciones.
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:
B
C
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 significa 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.
30.
Dado A = {2, {4, 5}, 4}, qu afirmaciones 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 afirmacin correcta porque el conjunto que consta del nico elemento {4, 5} es un
subconjunto de A.
31.

32.

33.
Uado E = {2, {4, 5}, 4}, qu afirmaciones 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.
Hallar el conjunto potencia 2S del conjunto S = {3, {1, 4}}.
Solucin:
Observar primero que S contiene dos elementos. 3 y el conjunto {1, 4}. Por tanto, 2S contiene
2S = 4 elementos: S mismo. el conjunto vaco. {3} y el conjunto formado por {1, 4} solo, es
decir, {{1, 4}} : Ms breve:
2S = {S, {3}, {{1, 4}}, }
En lo que sigue, qu es lo que no se define 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 definidos en la teora de conjuntos son: conjunto, elemento y la

relacin pertenece a o sea (1), (4) y (6).
100
UTPL
34.

35.

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.
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.
Problemas propuestos
NOTACIN
36.
37.
38.
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.
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}.
Escribir en forma tabular:

(1)
(2)
(3)
(4)
(5)
P = {x | x2 - x - 2 = 0}.
Q = {x | x es una letra de la palabra calculan}.
R = {x | x2 = 9, x - 3 = 5}.
S = {x | x es una vocal}.
T = {x | x es una cifra del nmero 2324}.
39.

Si E = {1, 0}, decir entre las afirmaciones 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 definida: (1) , (2) , (3) .
UTPL
101
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}
B = {x | x = 4, x es positivo}
C = {x | x - 6x + 8 = 0}
D = {x | x es par}
Completar las siguientes afirmaciones 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.
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.
44.
45.
Decir si son correctas o incorrectas las siguientes afirmaciones:

(1)
Todo subconjunto de un conjunto finito es finito.
(2)
Todo subconjunto de un conjunto infinito es infinito.
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 finitos o infinitos:

(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 x38 + 42x23 - 17x18 - 2x5 + 19 = 0
(6)
El conjunto de crculos que pasan por el origen (0, 0).
50.
Entre las afirmaciones siguientes decir cul es correcta y cul incorrecta. Aqu S es un conjunto
cualquiera no vaco.
(1)
S 2s
(2)
S 2s (3)
{S} 2s (4)
{S} 2S
51.
Hacer un diagrama lineal de los conjuntos del siguiente diagrama de Venn.

Q
102
UTPL
Respuestas a los problemas propuestos

36.
(t) R T, (2) X Y, (3) M S, (4) 2w, (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 definida.
41.
Hay ocho subconjuntos: B, {0, 1}, {0, 2}, {1, 2}, {0}, {1}, {2}, .
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.
D
A
C
B
47.
A
B
D
E
48.
(1) correcto, (2) correcto, (3) correcto, (4) incorrecto, (5) correcto.
49.
(1) infinito, (2) finito, (3) infinito, (4) finito, (5) finito, (6) infinito.
50.
(1) correcto. (2) incorrecto (3) incorrecto, (4) correcto.
51.
R
S
UTPL
103
OPERACIONES FUNDAMENTALES CON CONJUNTOS
Problemas resueltos
UNION
1.
En los diagramas de Venn que siguen, rayar A unin B, o .sea A U B:
B
(a)
(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:
B
(a)
(b)
A B
B
(c)
(d)
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.
AB
AC
BC
BB
=
=
=
=
{1, 2, 3, 4, 6, 8}
{1, 2, 3, 4, 5, 6}
{2, 4, 6, 8, 3, 5}
{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)
(2)

4.

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}
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).
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
104
UTPL
AB
B

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.
Segn la Definicin 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 definicin de unin, x A o x A; as
que x pertenece a A. Por tanto, (A A) A y, por la Definicin 1-1, A = (A A).
8.

Demostrar: U A = U, dnde U es el conjunto universal.
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 Definicin 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 definicin 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 Definicion 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 Definicin 1-1, A = . De igual manera se puede demostrar que B = .
Solucin:
Solucin :
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 figura:
.
A
B A
(c)
(b)
(a)
(d)
Entonces A B es el rea que tiene los dos.ayados. El resultado final, que es A B, se raya ahora con
lneas horizontales, como sigue:
A
A
(a)
B A
(b)
A
(c)
(d)
A B lo rayado

Ntese que A B es vaca en (c) en que A y B son disjuntos.
UTPL
105

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 efectivamente
B.

13.

14.

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).
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:
B
AB
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 definicin 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.
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
pertenece 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 Definicin 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 definicin de interseccin, x (U A).
Se ha demostrado que x A implica x (U A), es decir. que se ha demostrado que A (U A). Por
la Definicin 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 =
106
UTPL

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.
A
A
(a)
B A
A
(c)
(b)
(d)
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.
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
comparables. se puede trazar primero.
B-A
A-B
Como A (A - B) y B (B - A). se aaden A y B al diagrama como sigue:

A
A-B
B-A
Como U contiene a todo conjunto. se completa el diagrama as:

U
A
A-B
B-A
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 definicin 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 definicin de interseccin. x (A-B) y x B. Pero por la de
finicin 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}.
UTPL
107

(b)
(c)
(d)
(e)
(f)
25.
El conjunto de los elementos de U que no estn en B es B = {1, 3, 5, 7, 9}.

(A C) = {3, 4} y entonces (A C) = {1, 2, 5,6,7.8, 9}.
(A B) = {1, 2, 3, 4, 6, 8} y entonces (A B) = {5, 7, 9}.
A = {5, 6, 7, 8, 9} y entonces (A) = {1, 2, 3, 4}, es decir, (A) = A.
(B - C) = {2, 8} y entonces (B - C) = {1, 3, 4, 5, 6, 7, 9}.
En el diagrama de Venn siguiente, rayar (a) B, (b) (A B), (c) (B - A), (d) A B.
A
Solucin:
(a) Como B. complemento de B, consta de los elementos que no estn en B. se
raya el rea exterior a B.
A
B lo rayado
(b)
Primero se raya el rea A B; luego, (A B) es el rea exterior a (A B).

A
A B lo rayado
(c)
B - A lo rayado
A y B lo rayado
108
(A B) lo rayado
(B - A) lo rayado
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.
A
Primero se raya B - A; y as (B - A) es el rea exterior a B - A.
(d)
A B lo rayado
Ntese que el rea de (A B) es la misma que la de A B.
UTPL
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 definicin 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 Definicin 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).

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.
(2)
A y B C aparecen rayados
A B C lo rayado
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.
UTPL
109
A B y A C lo rayado
(A B) (A C) lo rayado
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.
A y B C lo rayado
A (B C) lo rayado
(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.
A
A B y A C lo rayado
(A B) (A C) lo 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}.
Hallar:
(1) A C
(2) B A
110
UTPL
(3) C - B
(4) B
(5) A - B
(6) B C
(7) (A - C)
(8) C A
(9) (A - B)
(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.
35.
36.

37.
38.
39.
40.
41.
42.
43.
44.
45.
46.
(b)
(a)
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
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.
Completar las siguientes afirmaciones 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
La frmula A - B = A B puede definir la diferencia de dos conjuntos mediante las solas operaciones
de interseccin y complemento. Encontrar una frmula que defina la unin de dos conjuntos, A B,
mediante estas dos operaciones de interseccin y complemento.
Demostrar: A - B es un subconjunto de A B.
Demostrar el Teorema 2-1 : A B implica A B = A.
Demostrar: Si A B = , entonces B A = B.
Demostrar el Teorema 2-2: A B implica A B = B.
Demostrar: A - B = B - A .
Demostrar el Teorema 2-3: A B implica B A.
Demostrar: Si A B = . entonces A B = B.
Demostrar: (A B) = A B.
Demostrar el Teorema 2-4: A B implica A (B - A) = B.

31.

32.
(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
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)
(a)
V W lo rayado
(2)
V
W lo rayado
(6)
V
V W lo rayado
V W lo rayado
W - V lo rayado
(4)
W
(5)
V - W lo rayado
UTPL
111

(b) (1)

(3)
(2)
(4)
W lo rayado

34. (1)
V - W lo rayado
V W lo rayado
(3)
(2)
(6)
W
V W lo rayado
W - V lo rayado
V W lo rayado
(5)
(4)
C
B
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).
112
UTPL
EJERCICIO 0.8
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.
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.
1.
AB
2.
AB
41.
AB
42.
AB
3.
CD
4.
EF
43.
A-D
44.
AB
5.
AC
6.
AC
45.
(A B) C
46.
B A
A B
48.
(A B) (A C)
(A B) C
50.
A B
51. A B = G
52.
GA=A
53. (G - A) A
54.
(G - A) G
55. G A = A G
56.
(A-G)A = (A - G)
7.
CD
8.
EF
47.
9.
10.
49.
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.
22.
(K L)
23.
(M K)
24.
K M
25.
(K - L) M
26.
(M - K) - L
27.
U -
28.
UL
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 simplifique
las esxpresiones dadas.
31.
(A U)
32.
(A-U)(B-)
33.
(A)(BA)
34.
A (A B)
35.
(BU)(AA)
36.
(A A)
37.
UU
38.
AU
39.
40.
(B U)

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.
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
AB=
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)
UTPL
113
EJERCICIO 0.9
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|
15.
16.
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.
12.
13.
14.
114
En una encuesta de 60 personas se encontr

que 25 leen revistas polticas, 26 leen
revistas cientficas y 26 leen revistas de
entretenimiento. Se determin adems que
nueve personas leen revistas polticas y de
entretenimiento, once leen revistas polticas
y cientficas, ocho leen revistas cientficas 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.
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?
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?
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?
UTPL
17.
18.
19.
20.
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?
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?
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?
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?
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?
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?
ANEXO.
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.
UTPL
115
PROBLEMAS DIVERSOS
43.
Sea la funcin f: R R definida por f(x) = x2 - 3x + 2. Hallar:

(a)
f( -3)
(e)
f(x2)
(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 - 3x + 2)
(o)
[f(x + h) - f(x)]/h
(d)
f(a )
(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) - 3(y) + 2 = y - 3y + 2
(d)
f(a2) = (a2)2 - 3(a2) + 2 = a4 - 3a2 + 2
(e)
f(x2) = (x2)2 - 3(x2) + 2 = x4 - 3x2 + 2
(f)
f(y - z) = (y - z)2 - 3(y - z) + 2 = y2 - 2yz + z2 - 3y + 3z + 2
(g)
f(x + h) = (x + h)2 - 3(x + h) + 2 = x2 + 2xh + h2 - 3x - 3h + 2
(h)
f(x + 3) = (x + 3)2 - 3(x + 3) + 2 = (x2 + 6x + 9) - 3x - 9 + 2 = x2 + 3x + 2
(i)
f(2x - 3) = (2x - 3)2 - 3(2x - 3) + 2 = 4x2 - 12x + 9 - 6x + 9 + 2 = 4x2 - 18x + 20
(j)
Usando (h) e (i) tenemos
f(2x - 3) + f(x + 3) = (4x2 - 18x + 20) + (x2 + 3x + 2) = 5x2 - 15x + 22
(k)
f(x2 - 3x + 2) = (x2 - 3x + 2)2 - 3(x2 - 3x + 2) + 2 = x4 - 6x3 + 10x2 - 3x
(1)
f(f(x)) = f(x2 - 3x + 2) = x4 - 6x2 + 10x2 - 3x
(m)
f(f(x + 1)) = f([(x + 1)2 - 3(x + 1) + 2]) = f([x2 + 2x + 1 - 3x - 3 + 2])

(n)
= f(x2 - x) = (x2 - x)2 - 3(x2 - x) + 2 = x4 - 2x3 - 2x2 + 3x + 2
Para (g), f(x + h) = x2 + 2xh + h2 - 3x - 3h + 2. De donde

(o)
f(x + h) - f(x) = (x2 + 2xh + h2 - 3x - 3h + 2) - (x2 - 3x + 2) = 2xh + h2 - 3h
Empleando (n) tenemos

[f(x + h) - f(x)]/h = (2xh + h2 - 3h)/h == 2x + h - 3
44.

Sean las funciones f: R R y g: R R definidas por f(x) = 2x - 3 y

g(x) = x2 + 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([32 + 5]) = f([9 + 5]) = f(14) = 2(14) - 3 = 25
(e)
g(a - l) = (a - 1)2 + 5 = a2 - 2a + 1 + 5 = a2 - 2a + 6
(f)
Usando (e) tenemos

f(g(a - 1)) = f(a2 - 2a + 6) = 2(a2 - 2a + 6) - 3 = 2a2 - 4a + 9
(g)
g(f(x)) = g(2x - 3) = (2x - 3)2 + 5 = 4x2 - 12x + 14
(h)
f(g(x + 1)) = f([(x + 1)2 + 5]) = f([x2 + 2x + 1 + 5])

(i)
116
= f(x2 + 2x + 6) = 2(x2 + 2x + 6) - 3 = 2x2 + 4x + 9
g(g(x)) = g(x2 + 5) = (x2 + 5)2 + 5 = x4 + 10x2 + 30
UTPL
DEFINICIN DE FUNCIN
45.
Decir cundo los diagramas siguientes definen o no una funcin de { 1, 2, 3} en {4, 5, 6}.
1
6
(3)
(2)
(1)
46.
Definir 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.
47.
Sea la funcin f: R R definida por f(x) = x2 - 4x + 3. Hallar (1) f(4), (2) f(- 3), (3) f(y-2z), (4) f(x - 2).
48.

Sea la funcin g : R R definida 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 definida por f(x) = 2x2 - 7. Calcular (a) f(2), (b) f(6), (c) f(t - 2).
50.
Sea la funcin h: R R definida por h(x) =
Calcular (a) h(3), (b) h(12), (c) h(- 15), (d) h(h(5)), es decir, h2(5).
51.
Sean X = {2, 3} e Y = {1, 3, 5}, Cuntas funciones diferentes hay de X en Y?
DOMINIO DE IMAGENES DE UNA FUNCIN

52.
Los diagramas siguientes definen funciones f, g y h que aplican el conjunto {1, 2, 3, 4} en s mismo.
f
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 definida por f(x) = x2 - x - 2 Cul es el dominio de

imgenes de f?
54.
Considrense las seis funciones siguientes:
Si cada funcin viene definIda por ]a misma frmula.

f(x) = x2
es decir. si cada funcin asigna a cada nmero x el x2, calcular el dominio de imgenes de (1) f1, (2) f2,
(3) f3, (4) f4, (5) f5, (6) f6.
UTPL
117
55.

Dadas las seis funciones del Problema 54. definida cada una por la frmula
f(x) = x3
o sea que a cada nmero x cada funcin le asigna el x3, encontrar el dominio de valores de (1) f1, (2)
f2, (3) f3, (4) f4, (5) f5, (6) f6.
56.
Si las funciones del Problema 54 se definen por la frmula

f(x) = x - 3
hallar el dominio de imgenes de (1) f1, (2) f2, (3) f3, (4) f4, (5) f5, (6)f6,
57.
Si las funciones del Problema 54 se definen por la frmula

f(x) = 2x + 4
averiguar el dominio de imgenes de (1) f1, (2) f2, (3) f3, (4) f4, (5) f5, (6) f6.
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 define o no una funcin inyectiva:
(1) f(a) = f(b) implica a = b.
(2) a = b implica f(a) = f(b).
(3) f(a) f(b) implica a b.

(4) a b implica f(a) f(b).
60.
Decir de cada funcin del Problema 54 si es o no inyectiva.
61.
62.
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.
G
g
f
Decir en lo que sigue cundo se define 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 g2.
66.
Sean las funciones f: R -+ R y g ; R -+ R definidas por
f(x) = x2 + 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 definidas por
f(x) = x2 - 2 |x|,
g(x) = x2 + 1
Hallar (a) (g o f)(3), (b) (f o g)(-2), (c) (g o f)(-4), (d) (f o g)(5).
118
UTPL
RECIPROCA DE UNA FUNCIN

68.
Sea f: R R definida por f(x) = x2 + 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 definida 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 definida por f(x) = 3x + 4, f es, pues, inyectiva y sobreyectiva. Dar una frmula que defina
f-1.
72.
Sean A = R - {- 1/2} y B = R - {1/2}. Sea f: A B definida por

f(x) = (x - 3)/(2x + 1)
Entonces f es inyectiva y sobrcyectiva. Hallar una frmula para definir f-1.
73.
Sea W= [0, [ Dadas las funciones f: W W.g : W W y h : W W definidas por
f(z) = x2,
g(x) = x2 + l,
cul de estas funciones. si la hay, es sobrcyectiva?
74.

Sea la funcin f: R R definida por f(x) = x2 + x - 2. Hallar

(a) f(3)
75.

(c)
f(x - 2)
(e) f(y)
h(x) = x + 2
(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)

Sean f: A B, g: B A y g o f = 1A la funcin idntica sobre A. Decir qu es cierto o falso entre lo que
sigue:
(1)
g = f-1.
(2)
f es una funcin sobreyectiva. (4)
(3)
f es una funcin inyectiva.
(5)
g es una funcin inyectiva.
g es una funcin sobreyectiva.
45.
(1) No, (2) Si, (3) No.
46.
(1) f(x) = x2 + 3, (2) g(x) = x + | x |, (3) h(x) =
47.
(1) 3, (2) 24, (3) y2 - 4yz + 4z2 - 4y + 8z + 3, (4) x2 - 8x + 15 .
48.
(1) 10, (2) 2, (3) 0 .
49.
(a) 1, (b) No definido. pues 6 no pertenece al dominio de definicin. (c) 2t2 - 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].
UTPL
119
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.
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
definicin 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 definido, (3) F o f: A C, (4) No definido, (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
66.

(1) (f o g)(x) = 4x2 - 6x + 1

(2) (g o f)(x) = 2x2 + 6x - 1
67.
(a) 10, (b) 15, (c) 65, (d) 624
68.

(1) {-2, 2}
(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.

75.
(a) 10
(d) -2
(b) 0
(e) y2 + y - 2
(c) x2 - 3x
(f) x2 + 2xh + h2 + x + h - 2

(1) Falso, (2) Falso, (3) Cierto, (4) Cierto, (5) Falso.
120
UTPL
(3) {3, -3}

(4)
gog
(3)
(4)
(3)
(g o g)(x) = 4x - 9
(f o f)(x) = x4 + 6x3 + 14x2 + 15x + 5
(5) {x | -5 x -3 o 3 x 5}
(6) {x | -2 x 2}
(7) {0}
(8) {x | x - 2 x 2}
(g) 2xh + h2 + h
(h) x4 + 2x3 - 2x2 - 3x
(i) {3, -4}
(j) {2, -3}

(k)
EJERCICIO 3.4
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) = x2 - 2, halle f(0), f(-1), f(2) y f(2).
8.
Si f(x) = x2 - 2x, halle f(0), f(2) y f(-2)
9.
S f(x) =
f(-1/2).
, halle f(0), f(-8), f(1/2) y
10.
S f(x) =
f(-3/2).
, halle f(0), f(4), f(-2) y
11.
Si f(x) =
(1/2).
, halle f(0), f(2), f(-2), y f
12.
Si f(x) =
f(1/2).
, halle f(0), f(-2), f(2), y
13.
Si f(x) = x2 - 3x3, halle f(a2), f(a-1), f(a2), y

f(1/b).
14.
Si f(x) = 2x2- x4, halle f(a), f(a+1), f(a+1), y

f(1/b)
15.
Si f(x) =
halle f(3), f(-3)

17.
Si f(x) =
En los problemas 19 al 22, halle
donde h 0 es una constante.

19.
f(x) = x2 + 2
20.
f(x) = -3x + x2 + 5
21.
f(x) = x3
22.
f(x) = 1/x
En los problemas 23 y 24, halle
h donde h a es una constante.

23.
24.
f(x) = x3 + 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.
16. Si f(x) =
halle f(-1), f(-2), y f(2)
18. Si f(x) =
UTPL
121
EJERCICIO 3.6
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) =
3.
f(x) = 3x +
4.
f(x) = 3x - 4x + 5x - 6, g(x) = (1 -x) ; f + g, f/g
5.
f(x) = x2 - 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) =
8.
f(x) = 2
; fg, f/g
, g(x)= 3x -
; f+g, fg
, g(x) =
; f + g, fg
+ 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)=x2,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).
13.
14.
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/x2
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.
37.
f(x) = 4x2+1
f(x) = (x-3)2 + 4
En los problemas 39 al 42, halle (f o g o h) = f(g(h(x)))

para las funciones dadas.
39.
40.
41.
42.
f(x) = 1/4(x-1 - 1), g(x) = 1/x2, h(x) = 2x + 1

f(x) =
, g(x) = x2 - 1, h(x) =
f(x) = x, g(x) = x2, h(x) = x - l
f(x) = -x2, g(x) = 3x2 - 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.
y
y = f(x)
y = g(x)
x
FIGURA 99
36. f(x)=5x4 - 8x2

38. f(x}= 1 - 9x+ 2
y = g(x)
x
f(x) = x2
y = f(x)
FIGURA 100
En los problemas 15 al 24, halle f o g y g o f.

FIGURA 101
(a) y = f(x) + 1
(b) y = f(x) -1
(c) y = f(x + 1)
(d) y = f(x - 1)
44.
y
En los probremas 25 al 30, halle el dominio de f o g.
f(x) = x + 2
x
FIGURA 102
(a) y= f(x) + 2
(b) y = f(x) - 3
(c) y = f(x + 3)
(d) y= f(x) - 4
122
UTPL
En los problemas 45 al 50, la grfica dada es una

grfica trasladada de la funcin dada. Halle la
ecuacin de la grfica.
45.
f(x) = - x
46.
49.
f(x) = x2 - 1
y
x
FIGURA 103
FIGURA 107
48.
f(x) = (2 - x)1/2
y
1
x
FIGURA 105
FIGURA 108
En los problemas 51 al 56, halle la grfica de la

funcin indicada, de la grfica de f.
FIGURA 104
f(x) = - x
f(x) = - x2
50.
y
1
47.
f(x) = x2
FIGURA 106
51.
f(x) = x2, y = (x - 2)2 +3
52.
f(x) =
53.
f(x) = |x - 4| + 1, y = |x|
54.
f(x) = x3, y = (x - 2)3 - 2
55.
f(x) = x2 - 4, y = -(x2 - 4)
56.
f(x) =
4, y =
,y=
EJERCICIO 3.6
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.
En los problemas 11 al 20, la funcin dada es uno

Halle f-1.
UTPL
123
En los problemas 21 al 24, verifique que las funciones

dadas sean inversas entre s.
En los problemas 37 y 38, trace la grfica de f a partir

de la grfica de f-1.
37.
y
x
y = f-1(x)
En los problemas 25 y 26, determine el dominio y el

rango de f-1, sin hallar la Inversa.
FIGURA 117
38.
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.
y = f-1(x)
x
FIGURA 118
En los problemas 31 al 34, trace las grficas de f y f ,

utilizando los mismos ejes de coordenadas.
-1
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(x1) = f(x2) implica que x1 = x2 para x1 y x2
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 35 y 36, trace la grfica de f-1 a

partir de la grfica de f.
35.
y
En los problemas 45 al 48, verifique que la funcin
dada sea su propia inversa.
y = f(x)
x
FIGURA 115
36.
y
y = f(x)
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.
x
FIGURA 116
124
UTPL
ANEXO.
RELACIONES
UTPL
125
RELACIONES
(2)
(3)
El dominio de definicin 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.
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} definida por el enunciado formal x e y son primos relativos,
esto es, el nico divisor comn de x e y es 1.
(1)
(2)
Averiguar el conjunto de solucin de lR, o lo que es lo mismo, escribir lR como un conjunto de

pares ordenados.
Representar lR en un diagrama de coordenadas de A x A.
42.
Sea lR la relacin en B = {2, 3, 4, 5, 6} definida 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:
5
4
3
2
1
1
(1)
(2)
Establecer si es verdadero o falso: (a) 1 lR 4, (b) 2 lR 5, (c) 3 lR 1, (d) 5 lR 3.

Escribir los siguientes subconjuntos de C en forma tabular:
(a)
(b)
{x | 3 lR x}
{x | (4, x) lR}
(d)
(c)
{x | (x, 2)
{lR | x lR 5}
lR}
Hallar (3) el dominio de definicin de lR. (4) el dominio de imgenes de lR, (5) lR-1.
44.
Los enunciados formales que siguen definen sendas relaciones en los nmeros reales. Representar
cada relacin en un diagrama de coordenadas de R x R.
45.
(3)
x < y2
(2)
(4)
x sen y
+2
Representar lR en el diagrama de R x R. Hallar (2) el dominio de definicin de lR. (3 ) el

dominio de imgenes de lR.
Sea lR = {(x, y) x R, y R, x2 - y2 4}.

(1)
47.
y < x2 - 4x + 2
Sea lR = {(x, y) x R, y R, x2 + 4y2 4}.

(1)
46.
(1)
Representar lR en el diagrama cartesiano de R x R. Hallar (2) el dominio de definicin de lR.

(3) el dominio de imgenes de lR. (4) Definir lR-1.
Sea lR la relacin en los nmeros naturales N definida por el enunciado formal x + 3y = 12. Dicho
de otra manera. sea
lR = {(x, y)| x N, y N, x + 3y = 12}
(1)
126
Escribir lR como un conjunto de pares ordenados. Hallar (2) el dominio de definicin de lR, (3)
el dominio de imgenes de lR. (4) lR-1
UTPL
RELACIONES
48.
Sea lR la relacin en los nmeros naturales N definida por 2x + 4y = 15.

(1)
Escribir lR como conjunto de pares ordenados. Hallar (2) el dominio de definicin de lR, (3) el
dominio de imgenes de lR. (4) lR-1.
RELACIONES REFLEXIVAS. SIMETRICAS, ANTISIMETRICAS y TRANSITIV AS

49.
Dado W = {1, 2, 3, 4} considrense las siguientes relaciones en W:
lR1 = {(1, 1), (1, 2)}

lR2 = {(1, 1), (2, 3), (4, 1)}
lR3 = {(1, 3), (2, 4)}
lR4 = {(1, 1), (2, 2), (3, 3)}

lR5 = W x W
Establecer para cada una si es o no: (1) simtrica, (2) antisimtrica, (3) transitiva. (4) reflexiva.
50.
Establecer la verdad o falsedad de los razonamientos que siguen, suponiendo que lR y lR son
relaciones en un conjunto A.
(1)
(2)
(3)
(4)
(5)
(6)
(7)
(8)
(9)
(10)
51.

52.

Si (lR es simtrica, entonces lR-1 es simtrica.

Si lR es antisimtrica, entonces lR-1 es antisimtrica.
Si lR es reflexiva, entonces lR lR-1 .
Si lR es simtrica, entonces lR lR-1 .
Si lR es transitiva y lR es transitiva, entonces lR lR es transitiva.
Si lR es transitiva y lR es transitiva, entonces lR lR es transitiva.
Si lR es antisimtrica y lR es antisimtrica, entonces lR lR es antisimtrica.
Si lR es antisimtrica y lR es antisimtrica, entonces lR lR es antisimtrica.
Si lR es reflexiva y lR es reflexiva, entonces lR lR es reflexiva.
Si lR es reflexiva y lR es reflexiva, entonces lR lR es reflexiva.
Sea L el conjunto de rectas del plano euclidiano y sea la relacin lR definida en L por x es paralela a
y.
Decir si lR es o no (1) reflexiva, (2) simtrica, (3) antisimtrica, (4) transitiva. (Se acepta que una recta
es paralela a si misma.)
Dado L, el conjunto de rectas del plano eudidiano, sea lR la relacin en L definida por x es
perpendicular a y.
Decir si lR es o no (1) reflexiva, (2) simtrica, (3) antisimtrica, (4) transitiva.
53.
Dada una familia A de conjuntos, sea lR la relacin definida en A por x es disjunto de y. Decir si lR
es o no (1) reflexiva, (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 define una relacin en los nmeros naturales N.
(1) x es mayor que y.

(2) (x es mltiplo de y.
(3) x por y es el cuadrado de un nmero.

(4) x + 3y = 12.
Decir de cada relacin si es o no (a) reflexiva, (b) simtrica, (e) antisimtrica, (d) transitiva.
RELACIONES Y FUNCIONES
56.
Dado T = {a, b, c, d}, considerar las siguientes relaciones en T:

(1)
(2)
(3)
lR1 = {(a, b), (b, c), (c, d), (d, a)}

lR2 = {(b, a), (c, d), (b, a), (a, b), (d, b)}
lR3 = {(d, c), (c, b), (a, b), (d, d)}
(4)
(5)
lR4 = {(a, a), (b, a), (c, a), (d, d)}

lR4 = {(b, a), (a, c), (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 x2 + 4y2 = 16.
Considerar las relaciones siguientes:
(1)
(2)
lR1 = (A, B, P(x, y))

lR2 = (A, C, P(x, y))
(3)
(4)
lR3 = (B, A, P(x, y))

lR4 = (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.
UTPL
127
RELACIONES
58.
Dados A = [0, [, B = ] - , 0], C = [2, [, D = ]- , -2] y el enunciado formal P(x, y) que significa x2
- y2 = 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)
(2)
60.
Hay ms de una relacin reflexiva en A que sea una funcin?

Hay alguna relacin reflexiva en A que sea una funcin?
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, x2 + y2 25}
lR = {(x, y) | x lR, y lR, y 4x2/19}
(1)
(2)
(3)
62.
Representar la relacin lR lR en un diagrama de coordenadas de R x R.

Averiguar el dominio de definicin de lR lR.
Hallar el dominio de imgenes de lR lR.
Considrense los siguientes conjuntos de pares de nmeros reales, o sea relaciones en R:

(1) {(x, y) | x2 + y2 25 } {(x, y) | y 3x/4}
(2) {(x, y) | x2 + y2 25 } {(x, y) | y 4x2/9}
(3) {(x, y) | x2 + y2 25 } {(x, y) | y 4x2/9}
(4) {(x, y) | x2 + y2 < 25 } {(x, y) | y < 3x/4}
Representar cada relacin en un diagrama de coordenadas de R x R y establecer el dominio de

definicin y el domimo de imgenes.
63.
Sea A el conjunto de las personas. Cada enunciado formal siguiente define una relacin lR. Para cada
una de estas relaciones, hallar un enunciado formal, el llamado a veces enunciado recproco, que
defina la relacin recproca.

64.
(1)
(2)
(3)
x es el marido de y
x es mayor que y
x es ms alto que y
(4)
(5)
x es ms rico que y
x es ms inteligente que y
Sean N los nmeros naturales. Cada enunciado formal de los que siguen define una relacin en N.
Para cada una de tales relaciones. encontrar un enunciado formal que defina la relacin recproca.

(1)
(2)
x es mayor que y
x es mayor o igual que y
(3)
(4)
x es mltiplo de y
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)
5
4
3
2
2
128
UTPL
CG/gc-19-07-07-128

Teoria de Conjuntos Guia Didactica

Transféré par

Informations du document

Description originale:

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Teoria de Conjuntos Guia Didactica

Transféré par

Droits d'auteur :

Formats disponibles

UNIVERSIDAD TCNICA PARTICULAR DE LOJA

La Universidad Catlica de Loja

ESCUELA DE CIENCIAS DE LA EDUCACIN

Yofre Medardo Tene Morocho

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

Gua Didctica: Teora de Conjuntos

MODALIDAD ABIERTA Y A DISTANCIA

La Universidad Catlica de Loja

Gua Didctica: Teora de Conjuntos

desarrollados, luego de lo cual subraye lo ms importante y fundamental del

Conjuntos Finitos e Infinitos Numerables.

Aplicar las simbologa conjuntista como nuevo lenguaje matemtico.

Conocer los trminos y smbolos que se emplean en teora bsica de conjuntos.

Aplicar los conceptos bsicos de teora de conjuntos en la realizacin de operaciones

Identificar en base a su concepto y al desarrollo de ejercicios una funcin y sus

Realizar operaciones con aplicaciones.

Aplicar las propiedades fundamentales de los conjuntos finitos en los diferentes

Realizar ejercicios con conjuntos de aplicaciones entre conjuntos finitos.

La Universidad Catlica de Loja

MODALIDAD ABIERTA Y A DISTANCIA

Gua Didctica: Teora de Conjuntos

FERNNDEZ Laguna, Vctor, Teora Bsica de Conjuntos, Grupo Anaya, S.A.

El texto bsico intenta proporcionar al alumno procedimientos prcticos para

Esta obra, de carcter introd uctivo, permite al lector aproximarse a la teora

Esta rama de las Matemticas; a pesar de que no se estudia como tal ni en el

La nocin de conjunto es fundamental para adentrarse de forma rigurosa y con

A partir de dicha nocin y de las operaciones fundamentales entre conjuntos

Aplicacin (lnyectiva, sobreyectiva, biyectiva)

MODALIDAD ABIERTA Y A DISTANCIA

La Universidad Catlica de Loja

Gua Didctica: Teora de Conjuntos

pertinentes para el estudio sistemtico de la asignatura, as como para el

La obra de Seymour Lipschuttz contiene una amplia informacin de cada una de

BARNOSO, Mara, Matemticas Aplicada a la Administracin, Limusa (Noriega

http://www.terra.es/personal /jftjft /AIgebra/Teoria % 20de % 20Conjuntos /

http://espanoI.geocities.comflenguajesautoma tasi tq /inves 1.h tmI

La Universidad Catlica de Loja

MODALIDAD ABIERTA Y A DISTANCIA

Gua Didctica: Teora de Conjuntos

Una sugerencia de su profesor es no pase de un contenido si no est completamente

XITOS Y MANOS A LA OBRA

MODALIDAD ABIERTA Y A DISTANCIA

La Universidad Catlica de Loja

Gua Didctica: Teora de Conjuntos

Las Drogas y la Teora de Conjuntos

Su respuesta fue una frase hecha, muy trillada;

La misma no mereci la repregunta de ninguno de los periodistas presentes; y

Estas observaciones son importantes porque revelan que:

Muchos piensan lo mismo que Lpez Murphy;

Nadie advirti la trampa que la respuesta encierra; y

Todos (entrevistadores y entrevistado) parecan ms preocupados por mantener el

Ms all de las cuestiones polticas, la propuesta de Lpez Murphy y otros proviene

La Universidad Catlica de Loja

MODALIDAD ABIERTA Y A DISTANCIA

Gua Didctica: Teora de Conjuntos

Quienes concuerdan con la propuesta de Lpez Murphy representan la situacin del

MODALIDAD ABIERTA Y A DISTANCIA

La Universidad Catlica de Loja

Gua Didctica: Teora de Conjuntos

Creo que hemos asistido al nacimiento de una

La Universidad Catlica de Loja

MODALIDAD ABIERTA Y A DISTANCIA

Gua Didctica: Teora de Conjuntos