Teora de

conjuntos bsica
Conjuntos, relaciones y funciones
M. Antnia Huertas Snchez
PID_00149520
c FUOC PID_00149520 Teora de conjuntos bsica
ndice
Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Objetivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1. Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.1. Denicin de un conjunto. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2. Subconjuntos y partes de un conjunto . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3. Operaciones con conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4. lgebra de Boole de los conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.5. Diagramas de Venn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2. Relaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.1. Conceptos bsicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.2. Relaciones en un conjunto. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.3. Grafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.4. Relaciones de equivalencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3. Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.1. Conceptos bsicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.2. Tipos de las funciones. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.3. Conjuntos nitos y conjuntos innitos . . . . . . . . . . . . . . . . . . . . . . . 27
Resumen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Ejercicios de autoevaluacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
Solucionario . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
Glosario . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
Bibliografa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
c
FUOC PID_00149520 5 Teora de conjuntos bsica
Introduccin
La teora de conjuntos es una parte de las matemticas que forma parte de la
fundamentacin de la lgica y de la informtica. En este mdulo se har una
introduccin bsica necesaria para la fundamentacin de la lgica de predi-
cados, pero su estudio en profundidad requiere conocimientos complejos de
matemticas y tambin de lgica. Nuestro objetivo es, nicamente, presen-
tar las nociones bsicas de la teora de conjuntos con ejemplos y ejercicios
sencillos.
Actualmente es indiscutible el hecho de que la teora de conjuntos es impres-
cindible para fundamentar la lgica y en particular la lgica de predicados,
ya que proporciona el lenguaje formal con el que expresar la semntica de
la lgica de predicados, que ser equivalente a las tablas de verdad de la l-
gica de enunciados. Este mdulo, por tanto, adems de proporcionaros una
herramienta matemtica de amplio uso en muchas otras asignaturas de in-
formtica, es importante para comprender una parte del mdulo de lgica de
predicados.
En los captulos que siguen se presenta la llamada teora bsica de conjuntos,
con los conceptos bsicos de conjunto, subconjunto, elemento y pertenencia.
Se presentan tambin los conceptos de relacin y de funcin, que son funda-
mentales en muchos campos de la informtica.
Encontraris muchos ejemplos, que es importante que leis e intentis en-
tender. Al nal del mdulo hay ejercicios de autoevaluacin para que podis
comprobar el nivel de comprensin de los conceptos y tcnicas fundamenta-
les del mdulo.
La teora de conjuntos es el lenguaje donde se expresan las matemticas y la
lgica, y por ello impregna todos los campos de la ciencias y la ingeniera.
Este mdulo que consiste en una introducccin especialemnte preparada pa-
ra la lgica, os servir, sin embargo, en muchos otros contextos formales de
todo tipo.
c
FUOC PID_00149520 6 Teora de conjuntos bsica
Objetivos
En los recursos docentes facilitados en este mdulo, encontraris los concep-
tos, tcnicas y herramientas necesarias para alcanzar los objetivos siguientes:
1. Comprender la necesidad de formalizar los conceptos para manipularlos
con rigor.
2. Saber denir correctamente conjuntos y condiciones de pertenencia de un
elemento a un conjunto.
3. Saber expresar correctamente operaciones entre conjuntos.
4. Entender los conceptos formales de relacin y de funcin.
5. Conocer la representacin grca de los conceptos fundamentales de la
teora de conjuntos bsica: diagramas de Venn y grafos.
6. Saber manipular los smbolos formales de la teora de conjuntos bsica.
c
FUOC PID_00149520 7 Teora de conjuntos bsica
1. Conjuntos
.
1.1. Denicin de un conjunto
La teora de conjuntos fue creada por los matemticos alemanes Georg Cantor
y Richard Dedekind en la dcada de 1880, y ms tarde reformulada axiom-
ticamente por el tambin alemn Ernst Zermelo.
Georg Cantor
(1845-1918)
fue un matemtico alemn,
inventor de la teora de
conjuntos; fue, adems, el
primero en formalizar la
nocin de innito.
Richard Dedekind
(1831-1916)
fue un matemtico alemn;
su trabajo sobre los nmeros
naturales fue fundamental
para fundar las bases de la
teora de conjuntos.
El concepto intuitivo de conjunto es el de una coleccin de objetos. De forma
habitual se habla de un conjunto de personas, objetos, pases, etc. Desde un
punto de vista matemtico la cuestin importante es la de que un conjunto
est bien denido, esto es, la de si se puede siempre decir sin ningn tipo de
ambigedad si un determinado elemento forma parte del conjunto. As, por
ejemplo, el conjunto de las personas con ttulo universitario est bien deni-
do, mientras que el conjunto de las personas calvas no lo est (hay personas
que para algunos seran calvas pero para otros no, y no hay un criterio objeti-
vo para decidir la frontera entre ser calvo y no serlo).
La teora de conjuntos que formul Cantor se conoce con el nombre de bsi-
ca o intuitiva y es la que presentaremos aqu. En ella se dene un conjunto
a travs de la determinacin no ambigua de los elementos de ese conjunto.
Esta manera de denir conjuntos tan intuitiva puede, sin embargo, llevar a
problemas que se resuelven con la denicin de conjunto dada en la teora
de conjuntos axiomtica de Zermelo-Fraenkel (que por su notable compleji-
dad no veremos en este mdulo). Segn la denicin de conjunto que hace
Cantor, ste es una coleccin en un todo de determinados y distintos obje-
tos de nuestra percepcin o nuestro pensamiento, llamados los elementos del
conjunto. En 1903, Bertrand Russell demostrara que la teora de conjuntos
de Cantor era inconsistente y cuestionara la denicin de conjunto dada por
Cantor. Pero pronto la teora axiomtica de Zermelo (1908) y renamientos
de sta debidos a Fraenkel (1922), Skolem (1923), von Newman (1925) y otros
sentaron las bases para la teora de conjuntos actual en la que no se dan esos
problemas.
Partimos de la nocin intuitiva de conjunto como una coleccin de objetos.
Cada uno de esos objetos constituyen la nocin intuitiva de elemento de
ese conjunto. Los conceptos de conjunto y elemento expresados as no se
denen a partir de otras nociones y, por tanto, sern los conceptos primitivos
(no denibles) de la teora bsica de conjuntos que vamos a desarrollar en
este mdulo. Todos los dems conceptos sern denidos a partir de estos dos
conceptos primitivos. Es por ello que la teora que vamos a presentar es formal
c
FUOC PID_00149520 8 Teora de conjuntos bsica
y rigurosa, ya que todas y cada una de las nociones que no sean primitivas
estarn denidas sin ninguna ambigedad.
En la teora de conjuntos hay una cuestin que es especialmente clave, la de
considerar una coleccin de elementos como una entidad individual, esto es,
un conjunto. Ser fundamental establecer cmo se determinarn estas colec-
ciones de forma no ambigua para que toda esta teora forme parte de las
matemticas, donde el rigor y el formalismo son una caracterstica esencial.
Por el momento, provisionalmente, tomamos como equivalentes los conceptos
de conjunto y coleccin de objetos y consideramos a los objetos de la coleccin
como los elementos del conjunto.
.
Si simbolizamos A un conjunto y a un elemento de ese conjunto, se
escribe a A y se lee a pertenece a A.
Para indicar que un objeto b no es un elemento del conjunto A se escri-
be b / A y se lee b no pertenece a A.
En general, usaremos letras maysculas del alfabeto latino para representar
conjuntos y letras minsculas para indicar elementos; aunque esta conven-
cin no es fundamental y puede obviarse cuando sea preciso (pensad, por
ejemplo, en el caso de un conjunto cuyos elementos sean, a su vez, conjuntos).
Hay algunos conjuntos concretos que tienen un smbolo jo por su importan-
cia. El ms importante de todos ellos es un conjunto raro pero fundamental:
el conjunto que no tiene ningn elemento (algo equivalente al nmero cero
para la aritmtica), ste se llama conjunto vaco y se representa con el smbo-
lo .
Otros conjuntos importantes con smbolos jos son los numricos:
El conjunto de los nmeros naturales (1,2,3,4,5, ... etc), que se escribe con
el smbolo N.
El de los nmeros enteros (0, +1, -1, +2, -2, ... etc.) que se escribe Z.
El de los nmeros racionales (formado por todas las fracciones de nmeros
enteros) que se escribe con el smbolo Q.
El conjunto de los nmeros reales (los nmeros enteros y los nmeros
decimales) que se escribe R.
Hay, por tanto, conjuntos con una cantidad innita de elementos (N, Z, Q, R).
c
FUOC PID_00149520 9 Teora de conjuntos bsica
Innito
El smbolo matemtico para
innito es . En el ltimo
apartado del mdulo veris
que hay diferentes tipos de
innitos.
.
Se llama conjunto nito a aquel que tiene un nmero nito de ele-
mentos, y conjunto innito a aquel que tiene un nmero innito de
elementos. La cantidad de elementos de un conjunto se llama cardinal
del conjunto y se escribe |A| o tambin Card(A) y en ambos casos se lee
"cardinal de A".
Lecturas
complementarias
Para ampliar el estudio de la
teora de conjuntos y
conocer la teora axiomtica
de Zermelo-Fraenkel, se
puede consultar el
documento digital Huertas,
A. y Manzano, M. (2002) El
Universo Matemtico, en
http://logicae.usal.es en el
apartado Fundamentos/
teora de conjuntos.
Volviendo a la cuestin inicial de cmo determinar de forma inequvoca (ri-
gurosa) la coleccin de elementos que forma un conjunto, veremos que hay
bsicamente dos maneras.
.
Denicin de un conjunto por extensin. Consiste en la descripcin
de un conjunto mediante la escritura del listado de sus elementos. El
procedimiento ms sencillo para especicar los elementos es nombrar-
los en una lista ordenada que se presenta encerrada entre llaves {}.
Ejemplos de denicin de un conjunto por extensin
1) {a,b,c} , que se lee el conjunto formado por a, b y c, es el conjunto cuyos elementos
son exactamente los tres elementos a, b y c.
2) {6,7,8,9,10,11,12,13,14}
3) {rojo,amarillo,verde}
Aunque la condicin para poder usar el mtodo de denicin de un conjunto
por extensin es que ste tenga un nmero nito de elementos (en la prctica
un nmero pequeo) si el conjunto no es nito o es nito pero muy nume-
roso, se puede tambin determinar por extensin si nombrando unos cuantos
elementos todos los dems quedan completamente determinados por algu-
na regla que se deduce sin ninguna ambigedad, lo cual se indicar utilizando
puntos suspensivos.
Ejemplos de denicin de un conjunto no nito o nito muy numeroso por
extensin
1) El conjunto de los nmeros naturales se determina y escribe de la siguiente forma:
N = {1,2,3,4,5, . . .}.
2) El conjunto de los nmeros enteros Z = {0, + 1, 1, + 2, 2,...}.
3) El conjunto de los elementos atmicos {hidrgeno,helio,litio,...}
.
Denicin de un conjunto por intensin. Consiste en la descripcin
de un conjunto mediante una o varias propiedades que caracterizan a
los elementos de ese conjunto sin ambigedad. Las llaves se utilizan
igualmente para delimitar el comienzo y el nal de dicha descripcin
de los elementos del conjunto.
c
FUOC PID_00149520 10 Teora de conjuntos bsica
Ejemplos de denicin de un conjunto por intensin
1) {n | n es un nmero natural par}, que se lee el conjunto de los n tal que n es un nmero
natural par.
2)

n | n es un nmero natural entre 10 y 10

9999999

3) {x | x es un elemento atmico}, que se lee el conjunto de los x tal que x es un elemento

atmico.
Observad que para esta manera de denir conjuntos se usan smbolos de variables (n,x)
que representan a cualquier elemento de ese conjunto.
Hay conjuntos denidos por extensin, que tambin se pueden denir por
intesin si se encuentra una propiedad que caracteriza precisamente a los ele-
mentos de ese conjunto.
Ejemplos de denicin por intensin de conjuntos denidos por extensin
1) {x | x es una de las tres primeras letras minsculas del abecedario latino}
2) {n | n es un nmero natural par entre 5 y 15}
3) {x | x es un color de semforo}
4) N = {n | n es un nmero natural}
En particular el conjunto vaco es posible denirlo de esta forma utilizando
cualquier propiedad que sea contradictoria para que ningn elemento la pue-
da satisfacer. Por ejemplo,
= {x | x es un nmero natural mayor que 10 y menor que 9}
Un conjunto puede denirse por intensin de maneras diversas si la coleccin
de objetos puede describirse con propiedades diferentes.
.
Decimos que dos conjuntos son iguales si tienen exactamente los mis-
mos elementos. Lo escribimos A = B.
Los smbolos formales bsicos de la teora de conjuntos son el de perte-
nencia (que relaciona un elemento y su conjunto) y el de igualdad
= (que relaciona dos conjuntos).
1.2. Subconjuntos y partes de un conjunto
.
Se dice que un conjunto A es subconjunto de B si todos los elementos
de A son tambin elementos de B. Formalmente, esto se puede expresar
con la propiedad: si x A entonces x B.
Cuando A es subconjunto de B pero no es igual que B, se expresa A B
y se lee A est estrictamente contenido en B, o simplemente, A contenido
en B, o A incluido en B.
c
FUOC PID_00149520 11 Teora de conjuntos bsica
.
Escribiremos A B, que se lee A contenido o igual que B, para indicar
que A es subconjunto de B y puede ser igual a B.
Formalmente, se expresa de la siguiente manera:
A B si y slo si A es subconjunto de B y A = B
A B si y slo si A B o A = B
Escribimos A B (se lee A no contenido en B) para indicar que A no es
un subconjunto de B.
Formalmente:
A B si y slo si para todo x A entonces x B
Es muy importante diferenciar el uso de pertenencia e inclusin. Se escribe
a A si el objeto a es uno de los elementos del conjunto A. Mientras que
escribimos a A si a es un conjunto y todos los elementos de a estn en A.
Observad tambin la diferencia que hay entre un elemento a, el conjunto {a}
(un conjunto que slo tiene el elemento a) y el conjunto {{a}} (un conjunto
cuyo nico elemento es el conjunto {a}).
Propiedad. Para cualquier conjunto A,B,C se cumple:
1. A
2. A A (se llama propiedad reexiva)
3. Si A B y B C entonces A C (se llama propiedad transitiva).
Ahora deniremos un conjunto muy importante, el que contiene como ele-
mentos a todos los subconjuntos de un conjunto dado.
.
El conjunto formado por todos los subconjuntos de un conjunto A se
llama el conjunto de las partes de A, y se escribe con la notacin P (A)
(se lee partes de A).
Formalmente: P (A) = {X | X A}
Propiedad. Para cualquier conjunto A se cumple:
1. P (A) y A P (A) (dado que A y que A A)
2. Si |A| = n entonces |P (A)| = 2
n
(el cardinal de P (A) es 2
|A|
).
Ejemplos de subconjuntos
Consideremos los tres conjuntos siguientes
A = {1,2,3} ; B = {1,2,3, {1,2,3}} ; C = {{1} , {1,2}}
c
FUOC PID_00149520 12 Teora de conjuntos bsica
entonces se cumple lo siguiente:
1 A, 1 B, 1 / C
{1} B, {1} C, {1} C
{1,2} A, {1,2} B, {1,2} C
A B, A / C
A B, A C
|A| = 3, |B| = 4, |C| = 2
1.3. Operaciones con conjuntos
A continuacin deniremos las operaciones bsicas con conjuntos.
.
Unin. AB se lee A unin B y es el conjunto formado por la totalidad
de elementos de A y de B.
Formalmente: A B = {x | x A o bien x B}
Entonces se cumple que A y B son subconjuntos de A B; esto es:
A A B y B A B
.
Interseccin. AB se lee A interseccin B y es el conjunto formado por
los elementos que pertenecen a los dos conjuntos simultneamente.
Formalmente: A B = {x | x A y x B}
Tanto A como B contienen su interseccin; esto es:
A B A y A B B
Dos conjuntos A y B se llaman disjuntos si si no tienen ningn elemento en
comn, esto es si su interseccin es el conjunto vaco (AB = ). Aqu se ve la
importancia de disponer del conjunto vaco, ya que AB = es una forma no
ambigua de expresar esta importante nocin.
Diferencia
Otra notacin para la
diferencia de conjuntos que
se usa a menudo es A \ B ,
equivalente a A B.
.
Diferencia. A B se lee A menos B (o tambin la diferencia de A y B)
y es el conjunto formado por los elementos que pertenecen a A pero no
a B. Formalmente, A B = {x | x A y x / B}
A B es un subconjunto del primero de ellos; esto es: A B A.
c
FUOC PID_00149520 13 Teora de conjuntos bsica
Ejemplos de operaciones con conjuntos
1) Para A = {1, {1} ,2} y B = {1} es cierto lo que sigue:
a) A B = A y A B = {1}
b) A B A y A B = B
c) B A, A, B
d) A B = {{1} ,2}
e) B A =
f) P (B) = {,B}
g) P (A) = {, {1} , {2} , {{1}} , {1,2} , {1, {1}} , {{1} ,2} ,A}
2) Para A = {2, {2} , {{2}}} y B = {, {2}} se cumple que:
a) A B = {{2}}
b) A B = {2, {{2}}}
c) B A = {}
d) P (B) = {, {} , {{2}} ,B}
e) P (A) = {, {2} , {{2}} , {{{2}}} , {2, {2}} , {2, {{2}}} , {{2} , {{2}}} ,A}
Normalmente no estamos interesados en todos los conjuntos posibles, sino en
los formados a partir de una coleccin limitada de objetos, que constituyen
nuestro universo o dominio. Por ejemplo, si estamos haciendo un estudio
sociolgico, nuestro universo son personas, y si estamos haciendo un estu-
dio lingstico nuestro universo son palabras.
.
Cuando se ja un universo o dominio U, entonces los conjuntos que
se consideran han de ser subconjuntos de dicho conjunto total U.
En los casos en que se ha jado un universo o dominio, se puede denir la
operacin sobre un conjunto que consiste en seleccionar precisamente los
elementos del universo o dominio que no estn en ese conjunto.
.
Complementario de un conjunto. A = U A se lee complementario de
A y es el conjunto formado por todos los elementos del universo U
que no son de A.
Formalmente: A = {x | x U y x / A}.
Complementario
El complementario de un
conjunto A tambin se puede
escribir con los smbolos A
o bien A
c
.
Mientras que las operaciones de unin, interseccin o diferencia de conjuntos
se denen sin necesidad de recurrir al universo de discurso, la del complemen-
tario requiere que se haya jado previamente el universo U.
1.4. lgebra de Boole de los conjuntos
Las operaciones entre conjuntos presentadas en el apartado anterior cumplen
una serie de propiedades propias de la estructura matemtica llamada lgebra
de Boole, que son las siguientes.
c
FUOC PID_00149520 14 Teora de conjuntos bsica
Propiedades. En lo que sigue A,B,C representan a conjuntos cualesquiera. Es
muy fcil comprobar que se cumplen las siguientes propiedades:
Asociatividad:
(A B) C = A (B C)
(A B) C = A (B C)
Conmutatividad:
A B = B A
A B = B A
Distributividad:
(A B) C = (A C) (B C)
(A B) C = (A C) (B C)
Idempotencia:
A A = A
A A = A
Absorcin:
(A B) A = A
(A B) A = A
Fijado un dominio U, podemos denir complementarios, y se cumplen, ade-
ms:
Leyes de De Morgan:
A B = A B
A B = A B
Doble negacin:
A = A
Cero y uno:
A U = A
A =
A U = U
A = A
Las propiedades anteriores son las mismas que caracterizan a las lgebras de
Boole.
La denicin de lgebra de Boole se
presenta en el mdulo "Lgica y
lgebra de Boole".
.
Considerando un dominio o universo U, el conjunto vaco y las ope-
raciones de unin, interseccin y complementario se cumplen las ante-
riores propiedades, que caracterizan la estrucutra matemtica llamada
lgebra de Boole de los conjuntos.
En este caso, y U se toman como el cero y el uno, respectivamente,
del lgebra de Boole.
c
FUOC PID_00149520 15 Teora de conjuntos bsica
1.5. Diagramas de Venn
Los diagramas de Venn son la representacin grca usual para conjuntos.
.
Un diagrama de Venn consiste, generalmente, en un rectngulo que
representa el universo U y en su interior guras cerradas, crculos o
elipses, que representan a conjuntos.
Ejemplos de diagrama de Venn
En la gura 1 podis ver ejemplos de diagrama de Venn para tres conjuntos A, B y C. En
particular, se observa cmo se pueden representar las operaciones entre conjuntos (los
recintos sombreados):
(a) A, B y C, (b) A B, (c) A B C,
(d) A C, (e) A B C, (f) C (A B),
(g) A, (h) A B (i) A B C
Figura 1
A
a. b. c.
d. e. f.
g.
h. i.
U U U
B A B A B
C C C
A
U U U
B
A B
A B
C
C
C
U U U A B A B
C C
A
c
FUOC PID_00149520 16 Teora de conjuntos bsica
2. Relaciones
.
2.1. Conceptos bsicos
En la denicin de conjuntos por extensin, esto es, enumerando sus ele-
mentos, el orden en que stos aparecen no importa, ya que dos conjuntos
son iguales si tienen los mismos elementos. Por eso, si queremos especicar
un orden determinado entre los elementos de un conjunto no podemos usar
las llaves {}, que se sustituyen por parntesis () . Entonces se habla de con-
juntos ordenados. Dependiendo del cardinal del conjunto se habla de pares
ordenados cuando son dos elementos, de triplas cuando son tres elementos y,
en general, de n-plas para conjuntos ordenados de n elementos cualesquiera.
Vamos a dar una denicin rigurosa, a continuacin.
.
Par ordenado. (a,b) es el conjunto ordenado formado por los elementos
a y b en este orden, y se lee par ordenado a,b. Se dice que a es la
primera componente y b es la segunda componente del par orde-
nado.
Este concepto se generaliza de dos elementos a cualesquiera n elementos or-
denados, de la siguiente forma.
.
Una n-pla (x
1
,x
2
, ,x
n) es el conjunto ordenado formado por los n
elementos x
1
,x
2
, ,x
n
en ese orden, y se lee n-pla x
1
,x
2
, ,x
n
. Se
dice que x
i
es la i-sima componente para cada i.
Teniendo en cuenta este nuevo concepto de par ordenado, es posible denir
una nueva operacin entre conjuntos conocida como producto cartesiano.
.
Producto cartesiano de dos conjuntos. Se llama producto cartesiano
de A por B al conjunto denido por todos los pares ordenados formados
por un elemento de A en la primera componente y un elemento de B
en la segunda componente. Se escribe AB y se lee producto cartesiano
de A por B o tambin, simplemente, A por B.
Formalmente: A B = {(a,b) | a A y b B}.
c
FUOC PID_00149520 17 Teora de conjuntos bsica
Esta operacin se generaliza al producto cartesiano de n conjuntos:
A
1
A
n
= {(a
1
, ,a
n) | a
1
A
1
, ,a
n
A
n
}
Si |A| = n y |B| = m, entonces el cardinal de su producto cartesiano es
|A B| = n m.
Ejemplos de producto cartesiano
Si A = {a,b,c} y B = {s,t}, entonces:
a) A B = {(a,s) , (a,t) , (b,s) , (b,t) , (c,s) , (c,t)}
b) B A = {(s,a) , (s,b) , (s,c) , (t,a) , (t,b) , (t,c)}
c) A A = {(a,a) , (a,b) , (a,c) , (b,a) , (b,b) , (b,c) , (c,a) , (c,b) , (c,c)}
d) |A B| = 3 2 = 6 y |A A| = 3 3 = 9
Ahora se puede denir formalmente el concepto intuitivo de relacin entre
elementos de conjuntos diferentes. Por ejemplo, la relacin [ser el doble de]
entre nmeros, la relacin [ser hijo/a de] entre personas, etc. La idea es que
el concepto formal de relacin es un conjunto cuyos elementos son pares
ordenados, precisamente los pares de elementos que se relacionan entre s.
Por tanto, los elementos de una relacin sern elementos en un determinado
orden. Daremos una denicin general.
.
Relacin.
Si A y B son conjuntos cualesquiera, una relacin binaria R es un con-
junto de pares ordenados (a,b) R, con a A y b B.
Formalmente: R A B.
En este caso (a,b) R se suele escribir tambin aRb y se lee a relacionado
con b por R.
Esta denicin se generaliza fcilmente a A
1
, ,A
n
conjuntos cuales-
quiera:
una relacin n-aria R es un subconjunto de A
1
A
n
. Un elemento
de la relacin es, por tanto, una n-pla (x
1
,x
2
, ,x
n) R.
Si R A B es una relacin entre A y B, los elementos de A que estn relacio-
nados con algn elemento de B se llaman dominio de R; recprocamente, los
elementos de B que estn relacionados con algn elemento de A se llaman el
rango de R. A continuacin denimos los conceptos de dominio y rango de
una relacin.
c
FUOC PID_00149520 18 Teora de conjuntos bsica
.
Supongamos que R A B es una relacin binaria cualquiera.
Dominio de la relacin. El dominio de R es el conjunto de todas las
primeras componentes de pares ordenados de R; por tanto es un sub-
conjunto de A. Se escribe Dom(R).
Rango de la relacin. El rango de R es el conjunto de todas las segundas
componentes de pares ordenados de R; por tanto, es un subconjunto de
B. Se escribe Rang (R).
Formalmente:
Dom(R) = {a | existe b B con (a,b) R}
Rang (R) = {b | existe a A con (a,b) R}
Si R A
1
A
n
es una relacin n-aria, estos conceptos se generalizan as:
Dom(R) = {(a
1
, ,a
n1
) | existe a
n
A
n
con (a
1
, ,a
n) R}
Rang (R) = {a
n
| hay a
1
A
1
, ,a
n1
A
n1
y (a
1
, ,a
n) R}
Ejemplos de dominio y de rango
Si R = {(1,1),(1,2),(1,3),(2,4),(2,6),(2,8)} entonces
Dom(R) = {1,2} y Rang(R) = {1,2,3,4,6,8}
.
Relacin inversa. Si R es una relacin binaria su inversa es la relacin
denida por los pares ordenados de R pero con las componentes inver-
tidas. Se escribe R
1
y se lee la inversa de R.
Formalmente: R
1
= {(b,a) | (a,b) R}
Se verica, por tanto, que Dom

R
1

= Rang (R) y que Rang

R
1

= Dom(R).
2.2. Relaciones en un conjunto
Se llaman as las que relacionan elementos de un mismo conjunto. En la prc-
tica, stas son las relaciones ms usadas, las que se denen sobre un conjun-
to A previamente jado, y se pueden considerar como maneras de relacionar
elementos de ese universo entre s. La denicin formal es la siguiente:
.
Cuando R A A se dice que R es una relacin (binaria) en A.
En general, R A ... A es una relacin en A
c
FUOC PID_00149520 19 Teora de conjuntos bsica
Ejemplos de relaciones en un conjunto
1) El conjunto de los pares de nmeros naturales (x,y) tal que x es el cuadrado de y.
R =

(x,y) N N | x = y
2

= {(1,1),(2,4),(3,9),...}
2) El conjunto de triplas (x,y,z) de nmeros naturales tal que x
2
+ y
2
= z
2
.
R = {(3,4,5),(6,8,10),...}.
3) El conjunto de cuadruplas de nmeros naturales tales que (x,y,z,n) tales que x
n
+y
n
= z
n
(el ltimo teorema de Fermat).
R =

(x,y,z,n) N
4
| x
n
+ y
n
= z
n

Si P es una propiedad entre elementos de un conjunto A, se puede conside-

rar P como una relacin binaria sobre A, la relacin formada por los pares
ordenados que esa propiedad dene. Veamos algunos ejemplos de esto.
Ejemplos de relaciones denidas a partir de propiedades
1) R = {(a,b) | a y b son personas y a es hijo o hija de b}.
Aqu la propiedad es P =[ser hijo o hija de].
2) S = {(a,b) | a y b son nmeros naturales y a divide a b}.
Aqu la propiedad es P =[dividir a].
Las relaciones binarias son muy importantes y conviene conocer algunas de
las propiedades que pueden tener.
.
Si R es una relacin binaria sobre un conjunto A cualquiera, se denen
las siguientes propiedades:
R es reexiva si (a,a) R para todo a A.
R es simtrica si (a,b) R implica (b,a) R.
R es transitiva si (a,b) R y (b,c) R implica (a,c) R.
R es irreexiva si (a,a) / R para todo a A.
R es antisimtrica si (a,b) R y (b,a) R implica a = b.
R es conectada si se verica que (a,b) R o (b,a) R para todo
a,b A con a = b.
Ejemplos de propiedades de relaciones
En cada uno de los siguientes ejemplos decid si la relacin R tiene las propiedades: sim-
trica, reexiva o transitiva.
a) La relacin [ser hermanos/as] en el conjunto de todas las personas tiene las propiedades
simtrica y transitiva pero no reexiva.
b) La relacin [ser madre de] en el conjunto de todas las personas no tiene ninguna de
esas propiedades.
c) La relacin [ser mltiplo de] en el conjunto de los nmeros naturales tiene la propiedad
reexiva y transitiva pero no simtrica.
c
FUOC PID_00149520 20 Teora de conjuntos bsica
2.3. Grafos
Un grafo es una representacin grca que consta de un conjunto de objetos
llamados vrtices o nodos unidos por enlaces llamados aristas o arcos. Los
grafos permitirn la representacin de las relaciones binarias entre elementos
de un conjunto. En matemticas y ciencias de la computacin, existe toda
una parte llamada teora de grafos cuyo objeto principal de estudio son los
grafos, sus propiedades tericas y sus aplicaciones prcticas en la resolucin
de problemas reales. Eso sobrepasara los objetivos de esta asignatura, pero
en alguna otra asignatura del plan de estudios de informtica estudiaris esta
teora y sus aplicaciones.
En lo que sigue en este subapartado se darn los elementos bsicos que os
permitirn usar los grafos como representacin de las relaciones binarias. Por
ejemplo, una red de ordenadores puede representarse y estudiarse mediante
un grafo, en el cual los vrtices representan terminales y las aristas representan
conexiones entre ordenadores.
.
Un grafo es una representacin grca de una relacin binaria R sobre
los elementos de un conjunto A que consiste en representar con puntos
(vrtices o nodos) los elementos de A y simbolizar el par ordenado
(a,b) R con una echa (arista o arco) con origen en a y nal en b
(gura 2).
Figura 2
a b
Ejemplo de grafo
La relacin R = {(a,a) , (a,b) , (b,c) , (c,c) , (c,b) , (d,a)} se representa con el diagrama de e-
chas de la gura 3.
Figura 3
a
b
c
d
c
FUOC PID_00149520 21 Teora de conjuntos bsica
Las propiedades de las relaciones binarias tienen, con este tipo de diagramas,
una representacin caracterstica. Veamos algunos ejemplos.
Ejemplos de grafos caractersticos de diferentes propiedades
En la gura 4 se pueden ver grafos caractersticos de algunas propiedades de relaciones
correspondientes a los casos:
a) Reexiva: R = {(a,a),(b,b),(c,c),(d,d)}
b) Simtrica: R = {(a,b),(b,a),(c,d),(d,c)}
c) Transitiva: R = {(a,b),(b,c),(a,c)}
d) Conectada: R = {(a,b),(b,c),(c,a),(d,a),(d,b),(d,c)}
Figura 4
a
a
d
b
c
b
c d
a b
d
d c
a b
c
a. b.
c. d.
2.4. Relaciones de equivalencia
En este subapartado se presenta un tipo especial y muy importante de rela-
ciones binarias: las relaciones de equivalencia entre los elementos de un con-
junto A. Estas relaciones permiten dividir el conjunto A en una serie de sub-
conjuntos disjuntos que se llaman clases de equivalencia, que es su propiedad
caracterstica.
.
Si R es una relacin binaria en un conjunto A que cumple las propie-
dades reexiva, simtrica y transitiva se llama relacin de equiva-
lencia.
En ese caso, para todo a A se llama clase de equivalencia de a segn
R al conjunto de todos los elementos de A que estn relacionados con a,
y se escribe formalmente [a]
R
o [a] cuando la relacin se sobrentiende.
c
FUOC PID_00149520 22 Teora de conjuntos bsica
.
Si R es una relacin de equivalencia en A se llama conjunto cociente
de A por R al conjunto de todas las clases de equivalencia de elementos
de A segn R. Este conjunto se escribe con la notacin A/
R
.
Formalmente:
[a]
R
= {b | (a,b) R} es la clase de equivalencia de a segn R
A/
R
= {[a]
R
| a A} es el conjunto cociente de A por R
Ejemplo de relacin de equivalencia y conjunto cociente
Si R = {(x,y) | x,y son dos personas que han nacido el mismo mes del ao}, es fcil com-
probar que es una relacin de equivalencia en el conjunto de todas las personas vivas.
Cada clase de equivalencia es el conjunto que contiene a todas las personas vivas nacidas
en un determinado mes. Esta relacin dene exactamente 12 clases de equivalencia,
correspondiente cada una a un mes del ao.
Si notamos las clases como [enero], [febrero], etc. El conjunto cociente por R es el conjunto
que contiene exactamente esas 12 clases: R = {[enero],[febrero],...}
Particiones
H es una particin de A si y slo si se cumple que H es un conjunto formado
por subconjuntos no vacos de A, que son disjuntos dos a dos y tales que la
unin de todos ellos sea A. Esto es, una particin de un conjunto A es una
serie de subconjuntos disjuntos de A en los que se puede partir o separar A
Formalmente, H es una particin de A si se cumple:
1. Si X H, entonces X A y X = (subconjuntos no vacos de A)
2. Si X,Y H y X = Y, entonces X Y = (disjuntos dos a dos)
3. Si a A, entonces a X para algn X H (la unin de todos los conjuntos
de H es A)
.
El resultado ms importante sobre relaciones de equivalencia es que el
conjunto cociente A
R
= {[a]
R
|a A} de las clases de equivalencia de R
sobre A forma una particin de A. Su demostracin es un ejercicio.
Ejemplo de relacin de equivalencia y particin
Consideremos la relacin R sobre el conjunto de los nmeros enteros Z denida por:
xRy si x y es divisible por 5.
Se demuestra que R es una relacin de equivalencia sobre Z, y que slo tiene estas cinco
clases de equivalencia:
[0] = {0,5, 5,10, 10,15, 15, }
[1] = {1,6, 4,11, 9,16, 14, }
c
FUOC PID_00149520 23 Teora de conjuntos bsica
[2] = {2,7, 3,12, 8,17, 13, }
[3] = {3,8, 2,13, 7,18, 12, }
[4] = {4,9, 1,14, 6,19, 11, }
Estos cinco subconjuntos del conjunto de los nmeros enteros Z forman una particin
de Z. Es decir, son conjuntos disjuntos dos a dos y su unin es el conjunto Z.
c
FUOC PID_00149520 24 Teora de conjuntos bsica
3. Funciones
.
3.1. Conceptos bsicos
Una de las nociones ms importantes en matemticas es la de funcin, ya que
formaliza el concepto intuitivo de ley o regla que asigna un nico objeto a otro
u otros objetos (asignar un nmero de matrcula a un vehculo en circulacin,
asignar una nota a un estudiante, etc). As, por ejemplo, es una funcin la regla
que asigna el doble a un nmero cualquiera (2 a 1, 4 a 2, 6 a 3, etc.) porque
cada nmero slo tiene un doble; pero no es una funcin la regla que asigna
el resultado de calcular la raz cuadrada de un nmero positivo ya que se
asignara dos valores a cada nmero positivo: -1 y 1 a 1, -2 y 2 a 4, etc.
Una funcin es una correspondencia entre elementos de dos conjuntos A y B,
es decir una relacin entre elementos de A y B, que cumple que un elemento
de A slo se puede relacionar con un elemento de B. Veamos su denicin for-
mal.
.
Funcin. Si A,B son conjuntos, una funcin unaria sobre estos con-
juntos es una relacin f A B que cumple que para cada elemento
a A existe como mximo un elemento b B tal que (a,b) f .
En ese caso, se escribe f (a) = b, leyndose f de a es b, y se dice que b
es la imagen de a por f (o que f asigna b a a). Se dice tambin que a
es la antiimagen de b por f .
Cuando una relacin f es una funcin de A en B se escribe f : A B.
Generalizacin. Esta denicin se puede generalizar de la siguiente manera:
Si A
1
, ,A
n
,B son conjuntos, una funcin n-aria sobre estos conjuntos es
una relacin (n + 1)-aria, f A
1
A
n
B tal que para cada elemento
(a
1
, ,a
n) A
1
A
n
existe como mximo un elemento b B tal que
(a
1
, ,a
n
,b) f .
En ese caso se escribe f (a
1
, ,a
n) = b y entonces se dice que b es la imagen
de (a
1
, ,a
n) por f , o que f asigna b a (a
1
, ,a
n). Se dice tambin que
(a
1
, ,a
n) es la antiimagen de b por f .
c
FUOC PID_00149520 25 Teora de conjuntos bsica
Se representa con f : A
1
A
n
B.
Rango y recorrido
En el mbito de las funciones
se suele usar Rec(f )
(recorrido de f ) como
equivalente a Rang(f ) (rango
de f ).
En el caso de una funcin se usan los conceptos de dominio y rango propios
de las relaciones, que se denen formalmente as:
Dom(f ) = {a | existe b B con f (a) = b}
Rang (f ) = {b | existe a A con f (a) = b}.
Ejemplos de relaciones que son funciones y relaciones que no lo son
No todas las relaciones son funciones:
1) La relacin R = {(1,2) , (2,4) , (4,8) , (8,16) , (16,32)} es funcin, ya que verica la condi-
cin de que la imagen de un elemento es nica (asigna a un elemento su doble). Podemos
escribir f : {1,2,4,8,16} {2,4,8,16,32} con f (x) = 2x para todo x {1,2,4,8,16} .
2) La relacin R = {(1,2) , (2,1) , (2,4) , (4,2)} no es funcin porque hay dos pares or-
denados que tienen igual la primera componente y diferente la segunda componente:
2R1 y 2R4 (a 2 se le asigna ms de una imagen).
3) La relacin [ser hijo/a de] en el conjunto de todas las personas no es funcin, ya que
una persona es hijo/a de ms de un progenitor (normalmente de dos).
4) La relacin [ser hijo/a biolgico/a de una mujer] en el conjunto de todas las personas es
funcin, porque una persona slo tiene una madre biolgica.
Composicin de funciones
Se pueden denir diferentes operaciones entre funciones, pero la ms caracte-
rstica es la operacin de composicin entre funciones, que formaliza la idea
de que dos reglas de asignacin de valores (representadas por dos funciones) se
pueden combinar encadenando las asignaciones respectivas, de manera que el
resultado se considere como una nica regla o asignacin (una funcin). Vea-
mos la denicin formal de componer o encadenar dos funciones:
.
Si f : A B y g : C D son dos funciones y se verica B C,
entonces se puede denir la composicin de f y g como la funcin:
g f : A D
Obsrvese que g f se lee f compuesta con g, en orden inverso de
escritura.
Y se dene (g f ) (a) = d si existe algn c tal que f (a) = c y g(c) = d, y
entonces se dene (g f )(a) = g(f (a)).
c
FUOC PID_00149520 26 Teora de conjuntos bsica
Ejemplo de composicin de funciones
Si f : N N denida por f (x) = 3x + 1 y g : N N denida por g(y) = y
2
+ 4, entonces
se puede calcular tanto g f : N N como f g : N N ya que se verica la condicin
necesaria para ello y la denicin de stas es:
g f (x) = g(f (x)) = g(3x + 1) = (3x + 1)
2
+ 4 = 9x
2
+ 6x + 5
f g(y) = f (g(y)) = f
`
y
2
+ 4

= 3
`
y
2
+ 4

+ 1 = 3y
2
+ 13
3.2. Tipos de las funciones
Dependiendo de ciertas propiedades o comportamientos, las funciones se cla-
sican, entre otros, en los siguientes tipos.
Funciones inyectivas
Cuando dos elementos diferentes del dominio de la funcin no pueden tener
la misma imagen.
.
f : A B es una funcin inyectiva si f es una funcin y se cumple que
dos elementos diferentes del Dom(f ) tienen imgenes diferentes por f ,
esto es:
si dos elementos tienen la misma imagen f (a) = b y f (c) = b, entonces
tienen que ser iguales a = c.
Funciones suprayectivas
Cuando todo elemento del conjunto de llegada de la funcin tiene al menos
una antiimagen.
.
f : A B es suprayectiva (epiyectiva o exhaustiva) si Rang (f ) = B
(todo elemento de B tiene alguna antiimagen).
Funciones biyectivas
Cuando la funcin empareja un elemento del dominio de la funcin con uno
del conjunto de llegada de la funcin.
.
f : A B es biyectiva si f es inyectiva y suprayectiva (Rang (f ) = B y
dos elementos diferentes de Dom(f ) tienen imgenes diferentes). Es f-
cil comprobar que esta condicin implica que los elementos del Dom(f )
se relacionan uno a uno con los elementos de B.
c
FUOC PID_00149520 27 Teora de conjuntos bsica
.
Cuando se cumpla que A = Dom(f ), que ser lo habitual, la condicin
de ser biyectiva implicar que los conjuntos de A y B tengan los elemen-
tos emparejados uno a uno, y que, por tanto, A y B tengan la misma
cantidad de elementos (cardinal).
La funcin f : A A denida por f (a) = a se llama funcin identidad
sobre A (se suele notar con el smbolo Id
A
) y es el ejemplo ms sencillo de
funcin biyectiva.
Ejemplos de funciones inyectivas, suprayectivas o biyectivas
1) Si A = {a,b,c} , B = {1,2,3,4} y f (a) = 2,f (b) = 2,f (c) = 3, entonces f es funcin pero no
tiene ninguna de las propiedades anteriores. No es inyectiva ya que f (a) = 2 y f (b) = 2.
No es suprayectiva porque 4 B no tiene antiimagen por f . No es biyectiva por no ser
inyectiva o suprayectiva.
2) Si f : N N es una funcin sobre el conjunto de los nmeros naturales denida
por f (x) = 2x, entonces f es una funcin inyectiva pero no es suprayectiva (los nmeros
impares no tienen antiimagen), por tanto tampoco biyectiva.
3) Si A es el conjunto de todas las fechas del siglo XX escritas en la forma da-mes-ao, B
es el conjunto de los siete das de la semana y se dene la funcin de A en B f (x,y,z) = t
con t el da de la semana correspondiente al da x del mes y del ao z, entonces la fun-
cin f no es inyectiva, ya que hay al menos dos fechas diferentes a las que corresponde
el mismo da de la semana y, por tanto, tampoco es biyectiva. Es suprayectiva, ya que
todos los dias de la semana corresponden a alguna fecha.
4) Si y es un ciudadano que vota en una determinada mesa electoral, x es un nmero de
identicacin para esa mesa electoral y se dene f (x) = y, entonces es una funcin biyec-
tiva, ya que podemos emparejar cada ciudadano que vota en la mesa con un nmero de
identicacin (siempre que la lista de nmeros de identicacin est bien hecha).
3.3. Conjuntos nitos y conjuntos innitos
A lo largo del captulo se han usado de manera informal los conceptos de
conjunto nito y conjunto innito. En esta seccin se van a denir de for-
ma rigurosa estos conceptos usando la propiedad de que cuando existe una
funcin biyectiva entre dos conjuntos, stos tienen el mismo cardinal.
Para ello vamos a escribir el subconjunto de los nmeros naturales menores o
iguales que un nmero determinado n como {1, ,n}.
.
Conjunto nito
A es un conjunto nito si existe n N y una funcin biyectiva
f : {1, ,n} A.
Entonces el cardinal |A| = n.
c
FUOC PID_00149520 28 Teora de conjuntos bsica
.
Conjunto innito
A es un conjunto innito si no es nito. Se puede demostrar que esto
equivale a que exista una funcin biyectiva entre A y un subconjunto
propio de A
(X es un subconjunto propio de A si es diferente de A).
Conjunto innito numerable
Si A es un conjunto innito, se dice que A es numerable si existe una
funcin biyectiva f : N A.
Equivale a que el cardinal de A es igual al cardinal de N.
La pregunta inmediata es si hay conjuntos innitos no numerables. La res-
puesta es s. Por ejemplo, el conjunto de los nmeros reales R es innito, pero
no es numerable (no es posible denir una funcin biyectiva entre N y R). El
cardinal innito de R se puede decir que es mayor que el cardinal innito de
N. Hay toda una parte de las matemticas que se ocupa de estudiar este fasci-
nante tema de los diferentes tipos de innitos, pero sobrepasa los objetivos de
este apartado.
Lecturas
complementarias
Para ampliar el estudio de la
teora de cardinales, se
pueden consultar en
castellano la seccin 2.6 del
libro: Ferrando, J.C.,
Gregori, A. (2002)
Matemtica discreta. Ed.
Revert; y en ingls el
captulo 3 de: Devlin, K.
(1993) The Joy of Sets.
Springer-Verlag.
Ejemplo de innito numerable
Si notamos Z = {0,1,1,2,2,3,3,...} que es conjunto de los nmeros enteros, veremos
que es innito numerable.
Denimos f : N Z tal que
f (n) =
8
>
<
>
:
n
2
, si n es par (0 se considera par)

n 1
2
, si n es impar
as f (1) = 0,f (2) = 1,f (3) = 1, . . . y se demuestra que es inyectiva y suprayectiva:
Inyectiva: Si f (n) = f (m), miramos su signo. Si son positivos, n y m son ambos pares
y tenemos f (n) =
n
2
=
m
2
= f (m); por tanto, n = m. Si son negativos, f (n) =
n 1
2
=

n 1
2
= f (m) y tambin deducimos n = m.
Suprayectiva: Dado z Z, si z positivo tomamos n = 2z y f (n) = z. Si z es negativo,
tomamos n = 2z + 1 y f (n) = z.
Como consecuencia, Z es innito numerable, es decir, del mismo grado de innito que
su subconjunto propio N.
c
FUOC PID_00149520 29 Teora de conjuntos bsica
Resumen
En este mdulo didctico se ha presentado la teora bsica de conjuntos, po-
niendo el acento en el lenguaje formal para expresar conjuntos y sus opera-
ciones.
Hemos comenzado con la denicin intuitiva de conjunto dada por Cantor
como coleccin de una serie de elementos y a partir de ella se han denido de
forma rigurosa todos los dems conceptos. Se han presentado as los conceptos
bsicos de la teora de conjuntos: conjunto, subconjunto, unin, interseccin,
complementario, etc.; y se ha repasado su representacin con diagramas de
Venn.
Posteriormente, se han denido los conceptos bsicos necesarios para forma-
lizar las relaciones entre elementos de conjuntos (par ordenado, producto
cartesiano, dominio y rango de una relacin, etc.) y su representacin gr-
ca caracterstica con grafos. Hemos presentado las principales propiedades
de las relaciones en un conjunto y nos hemos detenido especialmente en es-
tudiar las relaciones de equivalencia, que son las que verican las propiedades
reexiva, simtrica y transitiva.
Para nalizar, hemos introducido el concepto formal de funcin, que es un
tipo particular de relacin entre conjuntos muy utilizado en las ingenieras
porque permite formalizar el concepto de ley o regla que asigna un elemen-
to a otro u otros. Despus de repasar las principales propiedades y tipos de
funciones, hemos nalizado con la denicin formal de conjunto innito y
cardinal innito.
La teora de conjuntos, como parte de las matemticas, es mucho ms com-
pleja que la presentada aqu, la cual, sin embargo, es suciente para poder
manipular con correccin el lenguaje de teora de conjuntos que se necesita
en el grado de informtica.
c
FUOC PID_00149520 30 Teora de conjuntos bsica
Ejercicios de autoevaluacin
1. Si A = {,a, {a}}, decid si son verdaderas o falsas las siguientes armaciones:
a) A
b) {A} P (A)
c) {,a} A
2. Si A = {1,2}, B = {1}, decidid si son verdaderas o falsas las armaciones siguientes:
a) A B
b) B A
c) B
3. Si A = {1,2}, B = P (A), decidid si son verdaderas o falsas las armaciones siguientes:
a) A B
b) A B
c) B
4. Sea U el universo de discurso y A un subconjunto cualquiera de U. En cada uno de los
ejercicios siguientes, contestad si lo enunciado es cierto para todo conjunto A.
a) A A = A
b) A A =
c) A =
5. En cada uno de los ejercicios siguientes, decid si lo enunciado es cierto para todos los
posibles conjuntos A,B, donde U es el universo de discurso.
a) B A si y slo si A B
b) A B = si y slo si A B =
c) A B = si y slo si A B = U
6. En cada uno de los ejercicios siguientes, decid si lo enunciado es cierto para todos los
posibles conjuntos A,B.
a) A B A
b) Si A B entonces A B = B
c) A (A B) = B
7. En cada uno de los ejercicios siguientes, decid si lo enunciado es cierto para todos los
posibles conjuntos A,B,C. U es el universo de discurso.
a) A (B A) = A B
b) A (B C) = A (B C)
c) Si A B = U entonces A B
8. En cada uno de los siguientes ejemplos, decid si la relacin R tiene las propiedades:
simtrica, reexiva, transitiva.
a) La relacin de ser de la misma altura en el conjunto de todas las personas.
b) La relacin de ser exactamente un ao ms joven en el conjunto de todas las personas.
c) La relacin de divisibilidad exacta en el conjunto de los nmeros naturales.
d) La relacin abuelo-nieto en el conjunto de todas las personas.
9. En cada uno de los siguientes ejemplos decid si la relacin R tiene la propiedad antisim-
trica.
a) R = {(1,2) , (5,10) , (2,3) , (1,3) , (4,4)}
b) R = {(a,a) , (b,b) , (c,c) , (b,c) , (a,c)}
c) R = {(1,2) , (2,1)}
d) R = {(x,y) | x es mltiplo de y}
10. Sean R = {(1,1) , (2,2) , (3,3)} y S = {(1,2) , (2,1) , (1,1) , (2,2)}. Contestad s o no y justi-
cad la respuesta.
a) Son ambas relaciones reexivas?
b) Son ambas simtricas?
c) Son ambas antisimtricas?
d) Son ambas transitivas?
11. Decid si las siguientes relaciones son o no funciones y justicad la respuesta.
a) R = {(a,k) , (b,l) , (c,m)}
b) S = {(a,k) , (a,l) , (a,m) , (b,l) , (c,m)}
c) T = {(a,a) , (b,b) , (c,c)}
d) V = {(x,y) H H | y es la madre de x} con H el conjunto de los seres humanos.
12. Decid si las siguientes relaciones son o no funciones y justicad la respuesta.
a) R = {(a,a,a) , (a,b,a) , (a,c,a)}
b) S = {(a,b,c) , (a,b,a) , (b,c,a)}
c
FUOC PID_00149520 31 Teora de conjuntos bsica
c) T =

(x,y,z) N
3
| x y = z

con N = {1,2,3,...} el conjunto de los nmeros naturales.

d) W =

(x,y,z) C
3
| z es la combinacin de x e y

con C el conjunto de los colores.

13. Decid si las siguientes relaciones son o no funciones y justicad la respuesta.
a) R = {(x,y) A L | x es el autor del libro y} con A el conjunto de autores/as y L el
conjunto de los libros de la Biblioteca Nacional.
b) S =

(x,y,z) N
3
| 2 x y = z

con N el conjunto de los nmeros naturales.

c) T =

(x,y,z) H
3
| z es el hijo primognito de x e y

con H el conjunto de los seres

humanos.
d) W = {(x,y) H N | y es el NIF de x} con H el conjunto de los contribuyentes a
Hacienda y N el conjunto de posibles NIF (nmero de identicacin scal).
14. Decid si las siguientes relaciones son o no funciones y justicad la respuesta.
a) R =

(x,y,z,t) N
4
| t = 2
x
3
y
5
z

con N el conjunto de los nmeros naturales.

b) S =

(x,y,z,t) N
4
| x y z t

con N el conjunto de los nmeros naturales.

c) T =

(x,y,z,t) C
3
Ca | t trayecto para ir de x a y sin pasar por z

con C el conjunto
de las ciudades de ms de 5.000 habitantes y Ca el conjunto de las carreteras del mapa
ocial.
d) V =

(x,y,t) C
2
Ca | t es la nica carretera que pasa por x e y

con C el conjunto
de las ciudades de ms de 5.000 habitantes y Ca el conjunto de las carreteras del mapa
ocial.
15. En cada uno de los siguientes ejemplos, decid si f es funcin de A en B y, si lo es, decid
si tiene las propiedades inyectiva, suprayectiva o biyectiva.
a) A = {1,2,3} , B = {k,l,m} y f = {(1,k) , (2,l) , (3,m)}.
b) A es el conjunto de los nmeros naturales, B es el conjunto de nmeros naturales pares
y f (x) = 2x (el doble de x).
c) A = B es el conjunto de las mujeres vivas actualmente y f (a) = madre de a.
d) A es el conjunto de las papeletas introducidas en una urna de un colegio electoral,
B es el conjunto de candidatos elegibles y f (x) = y si y es el candidato votado por x.
(Suponemos que no hay ningn voto en blanco.)
c
FUOC PID_00149520 32 Teora de conjuntos bsica
Solucionario
1. La solucin es:
a) Verdadera, porque es un elemento de A.
b) Verdadera, ya que A A.
c) Falsa, ya que el conjunto {,a} no es un elemento de A. Lo que s se cumple es {,a} A.
2. La solucin es:
a) Falsa.
b) Verdadera.
c) Verdadera.
3. La solucin es:
a) Verdadera.
b) Falsa.
c) Verdadera.
4. La solucin es:
a) Falso.
b) Cierto.
c) Falso.
5. La solucin es:
a) Es cierto.
b) Es cierto.
c) Es falso.
6. La solucin es:
a) Es cierto.
b) Es falso porque entonces A B = A.
c) Es falso porque A (A B) = A.
7. La solucin es:
a) Es cierto.
b) Es falso.
c) Es cierto.
8. La solucin es:
a) R tiene las propiedades simtrica, reexiva y transitiva.
b) R no tiene ninguna de esas propiedades.
c) R tiene las propiedades reexiva y transitiva, pero no simtrica.
d) R no tiene ninguna de esas propiedades.
9. La solucin es:
a) S la tiene, porque no hay ningn caso en que (a,b) R y (b,a) R con a = b.
b) S la tiene, porque no hay ningn caso en que (a,b) R y (b,a) R con a = b.
c) No la tiene porque (1,2) R, (2,1) R y 1 = 2.
d) S la tiene porque no hay ningn caso en que (a,b) R y (b,a) R con a = b.
10. La solucin es:
a) S, porque ambas cumplen que (a,a) R,S para todo a Dom R, Dom S
b) R s porque cumple que sus elementos son todos de la forma (a,a) R. S tambin porque
adems (1,2) , (2,1) S.
c) R s, porque sus elemetos son todos de la foma (a,a) R. Pero S no porque (1,2) , (2,1) S.
d) R s, porque sus elementos son todos de la foma (a,a) R. S tambin porque, adems,
(1,2) , (2,1) S y tambin (1,1) S.
11. La solucin es:
a) S, porque para cada elemento x Dom(f ) = {a,b,c} existe solamente un elemento
y Rang(f ) = {k,l,m} tal que f (x) = y.
b) No, porque f (a) = k,f (a) = l y f (a) = m y, por tanto, existe un elemento de Dom f que tiene
ms de una imagen, contradiciendo la condicin se ser una funcin.
c) S, porque para cada elemento x Dom(f ) = {a,b,c} existe solamente un elemento
y Rang(f ) = {k,l,m} tal que f (x) = y.
d) No, porque si a y b son hijos de la misma mujer c se cumple que f (a) = c y f (b) = c.
12. La solucin es:
a) S porque para cada elemento (x,y) DomR existe solamente un elemento z Rang R tal
que (x,y,x) R.
b) No, porque (a,b,c) , (a,b,a) S.
c) No, porque, por ejemplo (3,1,2) T y (5,3,2) T.
d) S, porque un color z se obtine por la exacta combinacin de dos colores x,y.
c
FUOC PID_00149520 33 Teora de conjuntos bsica
13. La solucin es:
a) No, porque puede haber un autor a de dos libros diferentes c y d, y entonces (a,c) R y
(a,d) R.
b) S, porque es imposible que 2 a b = c y 2 a b = d para dos elementos c = d.
c) S, porque el hijo primognito es nico.
d) S, porque el NIF es nico.
14. La solucin es:
a) S, porque la descomposicin de un nmero t en los factores primos 2,3,5 es nica.
b) No, porque (1,2,3,8) S y (2,4,6,8) S.
c) No, porque puede haber ms de un trayecto t para ir de x a y sin pasar por z.
d) S, porque por denicin t es la nica carretera que pasa por x e y.
15. La solucin es:
a) Es una funcin biyectiva (por tanto inyectiva y suprayectiva).
b) Es una funcin inyectiva, y suprayectiva, por tanto, biyectiva.
c) No es funcin que est denida sobre el conjunto de las mujeres vivas porque a aquellas
cuya madre haya fallecido la funcin no dar ningn valor.
d) Es funcin pero no es inyectiva (dos papeletas diferentes son de un mismo candidato), ni
suprayectiva (puede haber candidatos que no han recibido ningn voto o papeleta).
Glosario
antirreexiva
Una relacin en un conjunto en la que ningn elemento est relacionado consigo mismo.
antisimtrica
Una relacin en un conjunto en la que dos elementos diferentes no pueden estar relaciona-
dos en los dos sentidos.
clase de equivalencia
Conjunto de todos los elementos relacionados entre s en una relaci n de equivalencia
conjunto cociente
Conjunto de las clases de equivalencia de una relacin de equivalencia.
conjunto vaco
Conjunto especial que no tiene ningn elemento.
funcin
Relacin entre conjuntos en la que a todo elemento del dominio le corresponde un nico
elemento del rango.
funcin biyectiva
Funcin exhaustiva e inyectiva.
funcin exhaustiva
Funcin en la que todo elemento del conjunto de llegada tiene como mnimo una antiimagen.
funcin inyectiva
Funcin en la que los elementos del conjunto de llegada tienen como mximo una nica
antiimagen.
interseccin
Operacin entre conjuntos que selecciona los que pertenecen a los dos conjuntos simult-
neamente.
par ordenado
Conjunto de dos elementos en un orden determinado.
particin de un conjunto
Coleccin de subconjuntos no vacos y disjuntos cuya unin es el conjunto original.
producto cartesiano
Operacin entre conjuntos que produce los pares ordenados que se forman a partir de los
conjuntos iniciales.
reexiva
Una relacin en un conjunto en la que todo elemento est relacionado consigo mismo.
relacin
Subconjunto de un producto cartesiano de conjuntos.
c
FUOC PID_00149520 34 Teora de conjuntos bsica
relacin de equivalencia
La que cumple las propiedades reexiva, simtrica y transitiva.
relacin en un conjunto
Relacin en la que los elementos relacionados son de un mismo conjunto.
unin
Operacin entre conjuntos que produce el conjunto que contiene todos los elementos de los
conjuntos iniciales.
Bibliografa
Devil, K. (1993). The Joy of Sets. Fundamentals of Contemporary Set Theory. Springer-Verlag.
Texto complementario para a una exhaustiva y amena presentacin de la teora axiomtica
de conjuntos.
Ferrando, J.C., Gregori, A. (2002). Matemtica Discreta. Ed Revert.
Captulo 2: Teora de Conjuntos. Es una presentacin muy completa para quien quiera am-
pliar los contenidos de este mdulo.
Halmos, P.R. (1971). Teora intuitiva de conjuntos. Mjico: Compaa editora continental. Es
el texto clsico.
Manzano, M., Huertas, A. (2004). Lgica para principiantes. Alianza Editorial.
Parte II: Conjuntos y Diagramas. Es un texto introductorio, un buen complemento para este
mdulo.