Introducción a la Teoría de Conjuntos

Joaquín Oyarzún

Georg Cantor, padre de la Teoría de Conjuntos (junto a Dedekind y Frege);

alude a que el concepto de Conjunto no está definido formalmente, pero -
que dependiendo del contexto- es intuitivamente claro y alude a una
"colección de objetos".

Ejemplo

Los objetos que constituyen un conjunto se denominan elementos. Por

convención, emplearemos letras mayúsculas para denotar un conjunto y
minúsculas para los elementos. Si xx es un elemento
de S,S, entonces x∈S.x∈S. Si xx no es un elemento
de S,S, entonces x∉Sx∉S (alternativamente, ¯¯¯x∈Sx∈S¯).

Un conjunto SS puede ser definido por comprensión (exhibiendo una

característica de los elementos de SS) o por extensión (escribiendo
explícitamente todos los elementos de SS).

Igualdad y Subconjunto
Para lo que viene, será importante estar familiarizado con el concepto de proposiciones lógicas y
cuantificadores. Considere A,B;A,B; conjuntos.

Definición
(Subconjunto o Inclusión): A⊆B ⇔ ∀ x, x∈A⇒x∈B.A⊆B ⇔ ∀ x, x∈A⇒x∈B.
Es decir, AA es un subconjunto de (o está incluido en) B.B.

Observación
Si A⊆BA⊆B y A≠B,A≠B, entonces A⊂B.A⊂B.
Es decir, AA es subconjunto propio de B.B.

Definición
(Igualdad): A=B⇔∀ x, x∈A⇔x∈B.A=B⇔∀ x, x∈A⇔x∈B.
Es decir; si AA y BB tienen los mismos elementos, entonces son iguales.

Proposición 1.2.7.
(Igualdad e Inclusión) A=B⇔A⊆B ∧ B⊆A.A=B⇔A⊆B ∧ B⊆A.permalink
Demostración.

Proposición 1.2.8.
Considere los conjuntos A,B,C.A,B,C. Entonces
1. A⊆A.A⊆A.
2. A=A.A=A.
3. A=B⇔B=A.A=B⇔B=A.
4. (A=B)∧B=C)⇒A=C.(A=B)∧B=C)⇒A=C.
5. (A⊆B∧B⊆C)⇒A⊆C.(A⊆B∧B⊆C)⇒A⊆C.
6.
Demostración.

Note que {1,2,3}={3,2,1}={1,1,1,1,2,3,3}.{1,2,3}={3,2,1}={1,1,1,1,2,3,3}. En conjuntos no

importa el orden, ni la cantidad de repeticiones de los elementos.

Conjunto Vacío y Universo

Definición
(Conjunto Vacío) Se define el conjunto vacío como
∅:={x:∧ x≠x}.∅:={x:∧ x≠x}.

Observación
El conjunto vacío no tiene ningún elemento y es único.

Observación
∅⊆S∅⊆S ( SS es un conjunto arbitrario).

Definición
(Conjunto Universo) Se asumirá la existencia de un conjunto UU (de referencia), en donde viven
todos los elementos con los cuales se va a trabajar. ¡El conjunto universo es todo!
Diagramas de Venn

Un diagrama de Venn exhibe de manera grafica la relación lógica existente entre conjuntos.
Permite visualizar de manera certera, las relaciones entre conjuntos. Fueron introducidos por el
matemático britanico John Venn (ver Figura).

Diagramas de Venn para los conjuntos A,B,C.A,B,C.

Operaciones con Conjuntos

Considere los conjuntos A, B, C, UA, B, C, U (referencial o universo). Definiremos ciertas
operaciones entre estos conjuntos, los cuales nos permiten definir nuevas colecciones.

Definición

(Unión):
∀ x,x∈A∪B⇔x∈A ∨ x∈B.∀ x,x∈A∪B⇔x∈A ∨ x∈B.
Es decir, A∪BA∪B es el conjunto que reúne los elementos que están en AA con los aquellos que
están en B.B. Expresado mediante diagramas de Venn (ver Figura ).
Diagrama de Venn para la unión entre AA y BB (área pintada).

Definición

(Intersección):
∀ x,x∈A∩B⇔x∈A ∧ x∈B.∀ x,x∈A∩B⇔x∈A ∧ x∈B.
Es decir, A∩BA∩B es el conjunto que reúne los elementos que están en AA tanto como
en B.B. Expresado mediante diagramas de Venn (ver Figura ).

Diagrama de Venn para la intersección entre AA y BB (área pintada).

Observación
Dos conjuntos AA y BB son disjuntos si no tienen elementos en común. Es
decir, A∩B=∅.A∩B=∅.

Definición

(Complemento)
∀x,x∈Ac⇔x∈U ∧ x∉A.∀x,x∈Ac⇔x∈U ∧ x∉A.
AcAc denota el complemento de A;A; formado por los elementos que no están en A.A.

El complemento de un conjunto, expresado mediante diagramas de Venn está dado por la Figura
siguiente
Diagrama de Venn para el complemento de AA (área pintada).

Definición

(Diferencia):
A∖B=A∩Bc.A∖B=A∩Bc.
Es decir, A∖BA∖B es el conjunto que reúne los elementos que están en AA y los que no están
en B.B. Expresado mediante diagramas de Venn (ver Figura)
Diagrama de Venn para la diferencia entre AA y BB (área pintada).

Definición

(Diferencia Simétrica)
A△B=(A∖B)∪(B∖A).A△B=(A∖B)∪(B∖A).
Es decir; un elemento xx pertenece a A△BA△B si y solo si xx está en A, pero no en BB o
si xx está en B,B, pero no en A.A. En diagramas de Venn (ver Figura 1.2.27).permalink

Diagrama de Venn para la diferencia simétrica entre AA y BB (área pintada)

A continuación, exhibimos una serie de propiedades sobre operaciones en conjuntos. Nos

referimos al Álgebra de Conjuntos. La demostración de estas proposiciones es análoga a las
Tautologías Notables (Álgebra de Proposiciones). Considere los conjuntos A,B,CA,B,C y UU (de
referencia o universal).
1. Conmutatividad: A∪B=B∪AA∪B=B∪A y A∩B=B∩A.A∩B=B∩A.
2. Asociatividad: A∪(B∪C)=(A∪B)∪CA∪(B∪C)=(A∪B)∪C y A∩(B∩C)=(A∩B)∩C.A∩(
B∩C)=(A∩B)∩C.
3. Distribuitividad: A∩(B∪C)=(A∩B)∪(A∩C)A∩(B∪C)=(A∩B)∪(A∩C) y A∪(B∩C)=(A
∪B)∩(A∪C).A∪(B∩C)=(A∪B)∩(A∪C).
4. Idempotencia: A∪A=AA∪A=A y A∩A=A.A∩A=A.
5. Identidad: A∪∅=A,A∪∅=A, A∩∅=∅,A∩∅=∅, A∪U=UA∪U=U y A∩U=A.A∩U=A.
6. Del
Complemento: (Ac)c=A,A∪Ac=U,A∩Ac=∅,Uc=∅(Ac)c=A,A∪Ac=U,A∩Ac=∅,Uc=∅ y
∅c=U.∅c=U.
7. Absorción: A∩(A∪B)=AA∩(A∪B)=A y A∪(A∩B)=A.A∪(A∩B)=A.
8. Inclusión (A∩B)⊆A⊆(A∪B)(A∩B)⊆A⊆(A∪B) y (A∩B)⊆B⊆(A∪B).(A∩B)⊆B⊆(A∪
B).
9. Leyes de De
Morgan: (A∪B)c=Ac∩Bc(A∪B)c=Ac∩Bc y (A∩B)c=Ac∪Bc.(A∩B)c=Ac∪Bc.
 10. Simétrica: A△B=B△A,A△B=B△A, (A△B)△C=A△(B△C),(A△B)△C=A△(B△C), A
△A=∅A△A=∅ y A△∅=A.A△∅=A.

Podemos construir un diccionario Lógica - Conjunto; el cual muestra la relación entre los
conectivos lógicos y las operaciones con conjuntos. Se tiene que
1. ⇒⇒ (Lógica) es ⊆⊆ (Conjuntos).
2. ⇔⇔ (Lógica) es == (Conjuntos).
3. ∨∨ (Lógica) es ∪∪ (Conjuntos).
4. ∧∧ (Lógica) es ∩∩ (Conjuntos).
5. ⊻⊻ (Lógica) es △△ (Conjuntos).
6. −−(Lógica) es cc (Conjuntos).

Cardinalidad de un Conjunto
Es natural preguntarse cuál es la cantidad de elementos de un conjunto no vacío. Esto nos motiva
a introducir el concepto de cardinal de un conjunto.

Definición

(Cardinal) Sea A,A, un conjunto no vacío. El cardinal de AA es el número de elementos en el

conjunto y se denota por |A|.|A|.

Observación
Un conjunto AA se dice finito si su cardinal es finito.
Nos interesa saber cual es la cardinalidad de A∩BA∩B y A∪B.A∪B. Para esto, consideraremos
el siguiente resultado (Proposición 1.2.33)

Proposición

(Propiedades del Cardinal) Sean A,BA,B y C;C; conjuntos no vacíos y finitos. Entonces
1. |∅|=0.|∅|=0.
2. Si A⊆B,A⊆B, entonces |B−A|=|B|−|A|.|B−A|=|B|−|A|.
3. |A∪B|=|A|+|B|−|A∩B|.|A∪B|=|A|+|B|−|A∩B|.
4. |A∪B∪C|=|A|+|B|+|C|+|A∩B∩C|−|A∩B|−|A∩C|−|B∩C|.|A∪B∪C|=|A|+|B|+|C|+|A∩B
∩C|−|A∩B|−|A∩C|−|B∩C|.
Conjunto Potencia, Particiones y Producto Cartesiano

Definición

Sea SS un conjunto. Se denomina conjunto potencia de SS (y se denota P(S)P(S)) a la colección

de todos los subconjuntos de S.S. Es decir
∀ X,X∈P(S) ⇔X⊆S.∀ X,X∈P(S) ⇔X⊆S.

Observación
∅,S⊆P(S).∅,S⊆P(S).

Proposición

Sea SS un conjunto con nn elementos. Entonces

|P(S)|=2n.|P(S)|=2n.
Es decir, la cantidad de subconjuntos de SS es 2n (n∈N∪{0})2n (n∈N∪{0}).

Proposición 1.2.40.
(Propiedades del Conjunto Potencia) Sean A,B;A,B; conjuntos. Entonces
1. P(A)∩P(B)=P(A∩B).P(A)∩P(B)=P(A∩B).
2. P(A)∪P(B)⊆P(A∪B).P(A)∪P(B)⊆P(A∪B).

Dado que estamos familiarizados con el conjunto potencia, podemos introducir el concepto de
partición.

Definición

(Partición de Conjuntos) Se dice que C⊆P(A)C⊆P(A) es una partición de AA si

1. ∀ B∈C,B≠∅.∀ B∈C,B≠∅.
2. Los elementos de CC son disjuntos a pares: Para todo B,B′∈CB,B′∈C tales
que B≠B′,B≠B′, entonces B∩B′=∅.B∩B′=∅.
3. CC cubre A:A: ⋃B∈CB=A.⋃B∈CB=A.

Para introducir el concepto de Producto Cartesiano, será importante recordar que

si (a,b)(a,b) y (c,d)(c,d) son pares ordenados tales
que (a,b)=(c,d)(a,b)=(c,d) entonces a=ca=c y b=d.b=d.

Definición
(Producto Cartesiano) Sean A,B;A,B; dos conjuntos no vacíos. Se define el producto cartesiano
entre AA y BB como
A×B:={(a,b):a∈A∧b∈B}.A×B:={(a,b):a∈A∧b∈B}.

De la Definición 1.2.45, se deduce de que los elementos del producto cartesiano

entre AA y BB son pares ordenados de la forma (a,b);(a,b); donde la primera componente vive
en A,A, mientras que la segunda pertenece a BB
.

Note que (a,b)(a,b) no necesariamente es (b,a),(b,a), por lo que A×B≠B×AA×B≠B×A (el

producto cartesiano es anticonmutativo).

Proposición

Sean A,B;A,B; dos conjuntos no vacíos tales que |A|=n|A|=n y |A|=m.|A|=m. Entonces
|A×B|=n⋅m.|A×B|=n⋅m.

Ejemplo

Si AA y BBson conjuntos no vacíos, ¿como es la gráfica de los elementos de un producto

cartesiano? Dado que los elementos de A×BA×B son pares ordenados, la grafica de estos
elementos se realiza en un sistema de coordenadas rectangulares.

Proposición

(Propiedades del Producto Cartesiano) Considere los conjuntos no

vacíos A,B,C,D,X,Y.A,B,C,D,X,Y. Entonces
1. A×B=∅⇔A=∅∨B=∅.A×B=∅⇔A=∅∨B=∅.
2. A⊆X∧B⊆Y⇒(A×B)⊆(X×Y).A⊆X∧B⊆Y⇒(A×B)⊆(X×Y).
3. A×(B∩C)=(A×B)∩(A×C).A×(B∩C)=(A×B)∩(A×C).
4. A×(B∪C)=(A×B)∪(A×C).A×(B∪C)=(A×B)∪(A×C).
5. (A×B)∩(C×D)=(A∩C)×(B∩D).(A×B)∩(C×D)=(A∩C)×(B∩D).
6. (A×B)∪(C×D)=(A∪C)×(B∪D).(A×B)∪(C×D)=(A∪C)×(B∪D).

Cuantificadores
Para introducir el concepto de cuantificadores, es importante enfatizar de que estos últimos no se
emplean con proposiciones lógicas. Se utilizan con "afirmaciones abiertas" denominadas
funciones proposicionales. Para tales afirmaciones, carece de sentido preguntarse cual es su valor
de verdad.

No obstante; al combinar una función proposiconal con cuantificadores, se obtiene una proposición
lógica que posee un valor de verdad.

A continuación, exhibimos los distintos tipos de cuantificadores combinados con funciones

proposicionales.
Definición
(Cuantificador Universal) Sea p(x)p(x) una función proposicional y AA un conjunto. La
expresión (∀ x∈A) p(x)(∀ x∈A) p(x) se lee "para todo x∈A,x∈A, se cumple p(x)p(x)". ∀,∀, es
el cuantificador universal.

Definición

(Cuantificador Existencial) Sea p(x)p(x) una función proposicional y AA un conjunto. La

expresión (∃ x∈A) p(x)(∃ x∈A) p(x) se lee "existe x∈A,x∈A, tal que se
cumple p(x)p(x)". ∃,∃, es el cuantificador existencial.

Definición 1.2.58.

(Cuantificador de Existencia y Unicidad) Sea p(x)p(x) una función proposicional y AA un

conjunto. La expresión (∃! x∈A) p(x)(∃! x∈A) p(x) se lee "existe un único x∈Ax∈A tal que se
cumple p(x)p(x)". ∃!,∃!, es el cuantificador de existencia y unicidad.

Adicionalmente, el cuantificador de existencia y unicidad se puede definir como

(∃!x)p(x)⇔[∃x p(x)]∧[∀x ∀y(p(x)∧p(y)⇒x=y)].(∃!x)p(x)⇔[∃x p(x)]∧[∀x ∀y(p(x)∧p(y)⇒
x=y)].

Definición 1.2.61.
(Negación de Cuantificadores) Sea p(x)p(x) una función proposicional. Se define la negación de
los cuantificadores
1. ¯¯¯(∀ x∈A) p(x)⇔(∃ x∈A) ¯¯¯p(x).(∀ x∈A) p(x)¯⇔(∃ x∈A) p(x)¯.
2. ¯¯¯(∃ x∈A) p(x)⇔(∀ x∈A) ¯¯¯p(x).(∃ x∈A) p(x)¯⇔(∀ x∈A) p(x)¯.
3. ¯¯¯(∃! x∈A) p(x)⇔(∀x ¯¯¯p(x))∨[∃x ∃y,(p(x)∧p(y)∧x≠y)].