Parte 3: Teora de conjuntos

Intuitivamente, un conjunto es una coleccin de objetos totalmente determinada por sus

elementos. Generalmente los conjuntos se escriben con una letra mayscula: A, B, U, ,

I Conceptos bsicos
1/ Definiciones
Existe dos formas para definir los conjuntos:

Definicin por extensin: Los elementos se escriben entre llaves, separados con comas, y no
importa el orden en el cual estn listados.

Ejemplos: 1/ El conjunto de los colores primarios es A = {rojo, amarillo, azul}.

2/ El conjunto de las respuestas a una pregunta es B = {si, no}
3/ El conjunto de los nmeros de un dado es C = {1, 2, 3, 4, 5, 6}

La cardinalidad de un conjunto finito A es el nmero de elementos en el conjunto. Se escribe

Card(A). Para los ejemplos arriba Card (A) = 3, Card(B) = 2 y Card(C) = 6.

Si el conjunto contiene una infinidad de elementos pero se pueden listar se escribe los
primeros elementos y se pone despus.

Ejemplos: 1/ El conjunto de los nmeros naturales es = {0, 1, 2, 3, 4, 5, 6, +

2/ El conjunto de los nmeros relativos es = {, -4, -3, -2, -1, 0, 1, 2, 3, 4, +

Si el conjunto contiene una infinidad de elementos que no se pueden listar, como lo son los
intervalos del conjunto de los nmeros reales, se escribe el intervalo cuando se puede.

Ejemplos: 1/ El conjunto de los nmeros reales entre -2 y 3, -2 y 3 incluidos es D =

,2, 3-
2/ El conjunto de los nmeros reales menor que 3, 3 excluido es E = -, 3,

Se puede tambin definir los conjuntos con la propiedad que cumplen los elementos. Este
tipo de definicin se llama definicin por comprensin.

PUCMM MAT 113-T parte 3 Dra Julie-Christine Duboc

Definicin por comprensin : Si existe una propiedad (o predicado P(x)) satisfecha por
todos los elementos x del conjunto A, y solo por ellos, entonces A se puede escribir por
comprensin de la manera siguiente: A = {x / P(x)} y esto quiere decir que A es el conjunto
de todos los x tal que P(x) es verdadero.

Ejemplos: 1/ A = {x / x es un color primario}

2/ C = {x / x es un nmero natural 1 x 6}
3/ D = {x / x es un nmero real -2 x 3}
4/ E = {x / x es un nmero real x < 3}

2/ Diagrama de Venn
Un diagrama de Venn es una representacin grfica de los conjuntos. Por ejemplo el
conjunto C puede ser representado mediante el diagrama de Venn siguiente.

C
x2 x1
3x x4
x5 6x

3/ Pertenencia e inclusin
Cuando un elemento x pertenece a un conjunto A se escribe x A y se lee x pertenece a A. Se
escribe tambin A x y se lee A contiene x. Si x no es un elemento de A se escribe x A o
A x y se lee x no pertenece a A o A no contiene x.

El conjunto que no tiene elementos se le conoce como conjunto vaco y se denota { } o .

Definicin: Se dice que B es un subconjunto de A y se denota B A si todos los elementos

de A son elementos de B. Es decir B A x, x B x A.
Se dice tambin que el conjunto B est incluido en A o que A
incluye el conjunto B. Se puede escribir tambin A B.
Si B no est incluido en A entonces se escribe B A o

AB

PUCMM MAT 113-T parte 3 Dra Julie-Christine Duboc

Propiedades: A, B, C conjuntos,

1/ A 2/ A A 3/ A B B C A C

4/ Conjunto potencia
Definicin: Sea A un conjunto, (A) es el conjunto potencia de A; es el conjunto de todos los
subconjuntos de A. (A) = {B / B A+

Ejemplo: Si A= {1, 2, 3} entonces (A) = { , {1}, {2}, {3}, {1,2}, {1,3}, {2,3}, {1, 2, 3}}

Teorema : Card ((A)) = 2Card(A)

5/ Conjuntos de nmeros
= { 0, 1, 2, 3, 4, 5, 6, } es el conjunto de los nmeros naturales
= { x / x -x } es el conjunto de los nmeros enteros
= { x / p , q , x = p/q} es el conjunto de los nmeros racionales
= {todos los nmeros posibles} es el conjunto de los nmeros reales
= {x / y , z , x = y + i z} con i tal que i = -1.; es el conjunto de los nmeros
complejos (incluyendo los nmeros imaginarios).
Para cada uno de estos conjuntos, se puede excluir 0 poniendo un * despus de la letra. Por
ejemplo *= {1, 2, 3, 4, 5, 6, } y * = {todos los nmeros posibles excepto 0}.
Se puede hacer lo mismo para guardar solamente los nmeros positivos o negativos. Por
ejemplo + = y - = {todos los nmeros negativos posibles}.

II Operaciones conjuntistas
Muchas veces es conveniente introducir un conjunto fijo U tal que todo conjunto
considerado sea subconjunto de U. A este conjunto se le llama conjunto universal.

Por ejemplo, si estamos trabajando con los nmeros reales, U = . Si se trabaja con las
letras, entonces U es el alfabeto, etc.

PUCMM MAT 113-T parte 3 Dra Julie-Christine Duboc

1/ Unin

Definicin: Sean A y B dos subconjuntos de U, la unin de A y B es el conjunto cuyos

elementos pertenecen a A o a B. Es denotado A B. Tenemos A B = {x U/ x A x B+

Si A y B estn definidos por comprensin A = {x / P(x)} y B = {x / Q(x)}, entonces

A B = *x U/ P(x) Q(x)}

2/ Interseccin

Definicin: Sean A y B dos subconjuntos de U, la interseccin de A y B es el conjunto cuyos

elementos pertenecen a A y a B. Es denotado A B. Tenemos: A B = {x U/ x A x B+

Si A y B estn definidos por comprensin A = {x / P(x)} y B = {x / Q(x)}, entonces

A B = *x U/ P(x) Q(x)}

Dos conjuntos A y B son ajenos o disjuntos si y solo si A B = , es decir que no tienen

elementos en comn.

3/ Diferencias

Definicin: Sean A y B dos conjuntos, la diferencia de A y B es el

conjunto cuyos elementos pertenecen a A pero no a B. Es
denotado A B. Tenemos: A B = {x/x A x B}

PUCMM MAT 113-T parte 3 Dra Julie-Christine Duboc

Definicin: Sean A y B dos conjuntos, la diferencia simtrica de A y B es el conjunto cuyos
elementos pertenecen a A o a B pero no a ambos. Es denotado A B.
Tenemos: A B = *x U / x A x B+
Se verifica que A B = *x/x A B x A B+ = (A B) (A B)

y que A B = (A B) (B A)

Si A y B estn definidos por comprensin A = {x / P(x)} y

B = {x / Q(x)}, entonces A B = *x U/ P(x) Q(x)}

y A B = *x U/ P(x) Q(x)}

4/ Complemento

Definicin: Sea A un subconjunto de U, el complemento de

A es el conjunto cuyos elementos no pertenecen a A. Es
denotado Ac o o A. Tenemos: Ac = {x U/x A} = U A

Si A esta definido por comprensin A = {x / P(x)}, entonces

Ac = A = {x / P(x)}

5/ Propiedades

7. Leyes de Morgan: 1/ A B = A B
2/ A B = A B

PUCMM MAT 113-T parte 3 Dra Julie-Christine Duboc

6/ Producto Cartesiano

Definicin: El producto cartesiano de dos conjuntos A y B es el conjunto

A x B= {(x,y) / x A y B+

Ejemplo: Si A={si, no} y B= {1,2,3} entonces AxB={(no,1),(no,2),(no,3),(si,1),(si,2),(si,3)}

Los elementos de AxB son parejas ordenadas, por eso A x B B x A.

Teorema : Card(AxB)= Card(A) x Card(B)

En el ejemplo: Card (A)=2 y Card(B)=3 Card (AxB)= 2x3=6

De la misma manera se puede definir el producto cartesiano de 3, 4, conjuntos cuyos

elementos son triples, cuadruples, etc.
Si todos los conjuntos son iguales, se escribe An en vez de AxAxAxxA (producto n veces).

Ejemplos: A= *1,2+ A3 ={(1,1,1), (1,1,2), (1,2,1), (1,2,2), (2,1,1), (2,1,2),(2,2,1), (2,2,2)}

x=2= *(x,y) / x y +

III Relaciones
1/ Definiciones

Definicin: Sean A y B dos conjuntos, una relacin R de A en B es un subconjunto de A x B.

Si A = B entonces se dice que R es una relacin binaria en A.

Ejemplo: Sean A = {si, no} y B = {1,2,3}, el conjunto R = {(no,2), (no,3), (si,1), (si,2)} es
una relacin de A en B.

2/ Representacin grfica

Para representar una relacin, se dibujan los dos conjuntos y se dibuja flechas que van de a
hacia b cuando (a, b) R. Se escribe tambin a R b para decir que (a,b) R

Ejemplo anterior: El grfico de la relacin R es x1

si x
x2
no x
x3

PUCMM MAT 113-T parte 3 Dra Julie-Christine Duboc

Si R es una relacin binaria, se dibuja un nico conjunto A, y se dibuja flechas que van de a
hacia b cuando (a, b) R o a R b.

3/ Relaciones particulares

Definicin: Sea R una relacin binaria en A. Se dice que R es:

Reflexiva si y solo si x A, x R x
Antireflexiva si y solo si x A, (x R x)
Simtrica si y solo si (x, y) A2, x R y y R x
Anti simtrica si y solo si (x, y) A2, x R y (y R x)
Transitiva si y solo si (x, y, z) A3, (x R y) (y R z) x R z
Conexa si y solo si (x, y) A2, (x R y) (y R x) (x = y)

Definicin: Sea R una relacin binaria en A. Se dice que R es una relacin de orden si y
solo si R es reflexiva, antisimtrica, transitiva. Adems, si R es conexa, se dice que R es una
relacin de orden total, sino se dice que R es una relacin de orden parcial.

Ejemplos: 1/ La relacin muy conocida es una relacin de orden total en .

2/ La relacin de inclusin entre los subconjuntos de un conjunto U es una
relacin de orden parcial.

Definicin: Sea R una relacin binaria en A. Se dice que R es una relacin de equivalencia
si y solo si R es reflexiva, simtrica y transitiva. La clase de equivalencia de a es el conjunto
de los elementos de A que estn en relacin con a. Se denota [a]R = *x A / x R a}.

Propiedades: 1/ La relacin R restringida a cada clase de equivalencia es conexa.

2/ Las clases de equivalencia de una relacin binaria en A constituyen una particin de A.

Esto quiere decir que a) ninguna clase de equivalencia es vaca, b) dos clases de
equivalencia distintas son ajenas, c) la unin de todas las clases de equivalencia es A.

Ejemplos: 1/ La relacin de equivalencia entre las proposiciones lgicas.

2/ La relacin de congruencia mdulo 3 definida por x R y x y es divisible
entre 3. (Por ejemplo 5 R 17 porque 5 14 = -9 = 3 x (-4)).

PUCMM MAT 113-T parte 3 Dra Julie-Christine Duboc

IV Funciones
1/ Definiciones

Definicin: Una funcin de A en B es una relacin de A x B que verifica:

a A, ! b B, a b

Notacin: Sea una funcin de A en B, como cada elemento de A esta en relacin con un
nico elemento de B, se puede escribir (a) = b en vez de escribir a b.

Una funcin se denota: : A B

a (a)=b

Ejemplos: 1/ g :
cx
x g(x) = x + 1
x1
2/ : {a, b, c} {1, 2, 3} ax
a f(a) = 2 x2
b f(b) = 3 bx
x3
c f(c) = 1

Definiciones: Una funcin de A en B es:

1/ inyectiva (o uno a uno) si y solo si a A, a A, a a (a) (a)
o de manera equivalente: a A, a A, (a) = (a) a = a
2/ sobreyectiva (o sobre) si y solo si b A, a A, (a) = b
3/ biyectiva si y solo si es inyectiva y es sobreyectiva. (Se dice que f es una biyeccin).
o de manera similar: b B, ! a A, (a) = b

Ejemplos anteriores: 1/ g es inyectiva, pero no es sobreyectiva.

2/ es biyectiva.

2/ Operacin de composicin de funciones

Definicin: Sean f : A B y g : B C dos funciones, la composicin de f y g es la funcin

gof de A en C definida por (gof) (a) = g(f(a)), para a A.

Ejemplo: Sean f : y g : dos funciones definidas por:

x f(x) = 2x x g(x) = x+1

PUCMM MAT 113-T parte 3 Dra Julie-Christine Duboc

Entonces (gof)(x) = g(f(x)) = g(2x) = 2x+1
y (fog)(x) = f(g(x)) = f(x+1) = 2(x+1) = 2x+2
Como se ve aqu, la composicin de funciones no es una operacin conmutativa.

Definicin: La funcin de A en A definida por f(a) = a para todo a A es llamada funcin

identidad de A et es denotada IdA.

Teorema: Sea f : A B una funcin. La funcin f es biyectiva si y solo si existe una funcin
f-1 : B A tal que (f-1 o f) = IdA y (f o f-1) = IdB . f-1 es llamada funcin inversa de f.
Se verifica que a A, b B , -1(b) = a (a) = b. Adems Card (A) = Card(B).

Ejemplo: f : {a, b, c} {1, 2, 3} definido anteriormente, entonces f -1 : {1,2,3} {a,b,c} est

definida por f -1(1) = c, f -1(2) = a, f -1 (3) = b.

3/ Numerabilidad

Definicin: Un conjunto A es numerable si y solo si existe una biyeccin de A en .

Ejemplo: es numerable.
+1
Se define la funcin : por (n) = si n es par y por (n) = - si n es impar.
2 2

La grfica siguiente ilustra esta funcin para los primeros nmeros de

Con esta definicin. es una biyeccin, entonces es numerable.

PUCMM MAT 113-T parte 3 Dra Julie-Christine Duboc