Tema 11: Conceptos básicos de la Teoría de conjuntos. Estructuras Algebraicas.

1 / 12

INTRODUCCIÓN

El precursor de la Teoría de Conjuntos fue George Cantor (1845-1918) que la desarrolló como una
rama autónoma de la Matemática.

Cantor definió un conjunto como:

“Una colección de objetos determinados y perfectamente diferenciables en nuestra contemplación

o en nuestro pensamiento que constituyen una totalidad”.

Esta intuitiva definición de Cantor dio lugar a la aparición de paradojas. La causa de muchas de
estas paradojas radica en la definición de un objeto en términos de una clase que contiene al objeto que
se está definiendo. Tales definiciones se llaman impredicativas y aparecen de manera especial en teoría
de conjuntos.

Una paradoja famosa fue la Paradoja del Barbero que popularizó Bertrand Russell en 1918 cuyo
argumento es el siguiente:

“El barbero de un pueblo, presumiendo de no tener competencia se anuncia diciendo que el no

afeita a aquellos que se afeitan a sí mismos, pero si afeita a todos aquellos que no se afeitan a sí
mismos. Un buen día alguien le preguntó si debería afeitarse a sí mismo”.

En la mayoría de los textos que tratan en forma elemental la teoría de conjuntos se afirma, de una
manera categórica, que la noción de conjunto es una noción que se tiene intuitivamente clara. Es decir,
todo el mundo comprende lo que significa “un conjunto de personas”, “un conjunto de números”, etc.
Sin embargo, al introducirnos en la teoría matemática de conjuntos debemos prescindir de lo que
intuitivamente se presenta claro y adentrarnos en un mundo de gran rigor, donde todo lo que se utilice
haya sido previamente establecido y signifique lo que se convenga que signifique. En otros términos: la
matemática es una construcción del hombre, y, por tanto, debe elegir los elementos de construcción y
las normas de construcción.

Así pues, debemos distinguir entre lo que se entiende por conjunto y lo que matemáticamente debe
entenderse por conjunto (a pesar de que los conjuntos intuitivos pueden ser útiles como soporte
metodológico par comprender mejor las definiciones matemáticas)
Tema 11: Conceptos básicos de la Teoría de conjuntos. Estructuras Algebraicas. 2 / 12

1. CONJUNTOS

No existe una definición formal de lo que se entiende por conjunto. Se trata de un concepto
primitivo, es decir, no definido. En teoría de conjuntos, se consideran tres conceptos primitivos: el de
conjunto, el de elemento de un conjunto y el de pertenencia a un conjunto. En particular, la fórmula
x ∈ A , la leeremos “x es un elemento del conjunto A”. Su negación la indicaremos por x ∉ A y se lee
“x no es un elemento del conjunto A”.

Axioma 1.- Algunas propiedades de la igualdad.

i) ∀x : x = x (reflexiva)

ii) ∀x , ∀y : x = y ⇔ y = x (simétrica)

iii) ∀x , ∀y, ∀z : x = y ∧ y = z ⇒ x = z (transitiva)

Axioma 2.- Axioma de Extensión.

Sean A y B dos conjuntos cualesquiera: A = B ⇔" ∀x : x ∈ A ⇔ x ∈ B"

Observaciones.-

a) En general, designaremos los conjuntos por letras latinas mayúsculas y los elementos por letras
latinas minúsculas.

b) Intuitivamente, el Axioma de Extensión establece que dos conjuntos son iguales si y sólo si
tienen los mismos elementos.

1.1. PARTES DE UN CONJUNTO

Definición.- Sean A, B conjuntos cualesquiera. Designamos por A ⊂ B la fórmula: “

∀x : x ∈ A ⇒ x ∈ B ”. Esto es, “ A ⊂ B si ∀x ∈ A : x ∈ B ”.

Esta fórmula se lee: “A es un subconjunto de B” ó “A está incluido en B” ó “A es una parte de B”.

Representación gráfica mediante diagramas de Venn:

Observación.- De la definición anterior podemos concluir también que A ⊄ B si ∃x ∈ A / x ∉ B

Teorema 1.- Primeras propiedades de la inclusión.

Tema 11: Conceptos básicos de la Teoría de conjuntos. Estructuras Algebraicas. 3 / 12

1. A ⊂ A (reflexiva)

2. A ⊂ B ∧ B ⊂ A ⇔ A = B (antisimétrica)

3. A ⊂ B ∧ B ⊂ C ⇒ A ⊂ C (transitiva)

1.2. AXIOMA DE SELECCIÓN O SEPARACIÓN

George Cantor creador del edificio maravilloso de la teoría de conjuntos, que permitía
prácticamente expresar cualquier rama de la Matemática en términos de este lenguaje unificador y
perfecto, estableció como uno de sus principios para la determinación de conjuntos el siguiente:

“Dada cualquier propiedad P siempre es posible definir un conjunto”

Bertrand Russell mostró que este principio para determinar conjuntos era paradójico, y en
consecuencia, que la estructura propuesta por Cantor padecía en su base una contradicción que causaba
su desplome. Esta situación conllevó a la conocida crisis de los fundamentos de la matemática, que por
mucho tiempo dejó un vacío completo, después de un logro tan grande.

La propiedad planteada por Russell es PX : X ∉ X , el conjunto caracterizado por dicha propiedad

es R   X / PX  o R   X / X  X . (Intuitivamente es el conjunto de los conjuntos que no se
contienen a sí mismos como elementos). Entonces R es un elemento de R si y solo si R no es un
elemento de R lo cual es paradójico.

Una de las salidas a la crisis anterior la proporcionaron Zermmelo y Fraenkel, a través del Axioma
de Separación; en el cual se parte siempre de un conjunto preexistente del cual se pueden seleccionar
nuevas subcolecciones.

Axioma 3.- Axioma de Selección o Separación.

Sea T un conjunto y PX una fórmula. Entonces existe un único conjunto A contenido en T formado
por todos los elementos de T que verifican la propiedad PX .

Esto es: x  A  x  T  x : PX

Notación.- Al conjunto A descrito por el Axioma 3 lo notamos: A   x  T / PX  o

A   x / x  T  PX  que se lee: A es el conjunto formado por todos los elementos x tales que x es un
elemento de T y x verifica la propiedad PX . Esta notación la designaremos como definición del
conjunto por comprensión.

Observaciones.-

a) Al describir el conjunto A de la forma anterior, la fórmula x  T  PX la denominaremos la

propiedad característica o definitoria del conjunto A.
Tema 11: Conceptos básicos de la Teoría de conjuntos. Estructuras Algebraicas. 4 / 12

b) En esta forma A está constituido únicamente por todos aquellos objetos que verifican la
propiedad característica.

c) Intuitivamente, podemos interpretar el significado de este axioma así: Dado un conjunto T,

podemos obtener nuevos conjuntos (subconjuntos de T) tomando diferentes propiedades y
seleccionando de los elementos de T aquellos que la verifiquen.

Ejemplo.-

Sea  el conjunto de los números enteros y sea PX : x  2n  n   .

Se define A   x / x    PX  . A es el conjunto de los números pares definido por comprensión.

1.3. COMPLEMENTO DE UN CONJUNTO

Definición.- Sean M y X conjuntos tales que M  X . Definimos mediante el Axioma 3, un

conjunto con la propiedad: x  X  x  M , dicho conjunto lo llamaremos “complemento del conjunto
M respecto del conjunto X” y lo notamos: M c o M .

Esto es: M   x  X / x  M   x / x  X  x  M .
c

Consecuencias.-

i) x  M c  x  X  x  M

ii) x  M c  x  X  x  M

Teorema 2.- Primeras propiedades del complemento.

Sean M, N y X conjuntos tales que M  X y N  X . Se verifican:

1.  M c   M
c

2. Si M  N  N c  M c

D

1.4. CONJUNTO VACÍO

Definición.- Sea X un conjunto. Definimos mediante el Axioma 3 un conjunto con la propiedad

x  X  x  X . Dicho conjunto lo llamaremos “conjunto vacío” y lo notamos    x / x  X  x  X .

Observación.- El conjunto vacío es un conjunto que no tiene elementos.

Teorema 3.- Propiedades del conjunto vacío.

Tema 11: Conceptos básicos de la Teoría de conjuntos. Estructuras Algebraicas. 5 / 12

1. x : x 
2.   XX conjunto
3.X c  
4.Sea A un conjunto : A    x / x  A

1.5. CONJUNTOS FINITOS. NOTACIÓN POR EXTENSIÓN

Intuitivamente diremos que un conjunto es finito si el número de sus elementos se puede expresar
como n siendo n el cero o un número natural. En caso contrario diremos que el conjunto es infinito.

Como consecuencia de esta noción podemos afirmar que el conjunto vacío es finito.

Definición.- Al conjunto con un único elemento, x, lo notamos {x} y se denomina conjunto

unitario.

Consecuencias.-

i) y   x  y  x
ii) y   x  y  x

De forma análoga se pueden definir lo conjuntos binarios (con dos únicos elementos), los
conjuntos con tres, cuatro… y cualquier número finito de elementos.

Teorema 4.-

1.x   x
2. x   x, x
3. x  A   x  A

Observaciones.-

a) La propiedad 2. establece el principio de que en un conjunto, los elementos que se repiten se

consideran solamente una vez.

b) La propiedad 3. establece una relación fundamental para distinguir e integrar en sus contextos
respectivos las relaciones de pertenencia e inclusión.

Observación.- Una notación por extensión para el conjunto vacío corresponde a    .

1.6 CONJUNTO DE PARTES DE UN CONJUNTO

Axioma 4.- Si A es un conjunto entonces existe un conjunto cuyos elementos son todos los
subconjuntos de A. Este conjunto se denomina “conjunto de partes de A” y lo notamos por P(A). La
definición por comprensión sería:  (A)   X / X  A .
Tema 11: Conceptos básicos de la Teoría de conjuntos. Estructuras Algebraicas. 6 / 12

Teorema 5.- Sean A, B dos conjuntos cualesquiera. Se verifican:

1.   P (A)
2.A  P (A)
3. P (A)  
4.A  B  P(A)  P (B)

Observación.- Mediante inducción se puede llegar a que si el número de elementos del conjunto A
es k entonces el número de elementos del conjunto P (A) es 2k. Es por ello que el conjunto P (A)
también es conocido como conjunto potencia.
Tema 11: Conceptos básicos de la Teoría de conjuntos. Estructuras Algebraicas. 7 / 12

2. OPERACIONES CON CONJUNTOS

2.1. UNIÓN DE CONJUNTOS

Axioma 5.- Si A y B son conjuntos, existe un conjunto que los contiene. Dicho conjunto tiene
como propiedad característica o definitoria: x  A  x  B

Definición.- Sean A y B conjuntos. Al conjunto cuyos elementos verifican la propiedad

x  A  x  B lo denominaremos “conjunto unión de A y B” y lo notamos A  B

A  B   x  A  x  B

Teorema 6.- Propiedades de la unión

Sean A, B, C, D y X conjuntos. Se verifican:

1.A  A  B ; B  A  B
2.A  B  B  A (conmutativa)
3.A   B  C    A  B   C (asociativa)
4.A  A  A
5.A    A (elemento neutro)
6.A  B  C  D  A  C  B  D
7.A  X  B  X  A  B  X
A  X  X (elemento absorvente)

2.2. INTERSECCIÓN DE CONJUNTOS

Definición.- Sean A, B conjuntos, el axioma 3 nos permite definir un conjunto con la propiedad:
x  A  x  B , dicho conjunto lo denominaremos “conjunto intersección de A y B” y lo notamos
A B.

A  B   x / x  A  x  B

Definición.- Si A y B son conjuntos no vacíos pero A  B   diremos que A y B son disjuntos.

Teorema 7.- Propiedades de la intersección

Sean A, B, C, D y X conjuntos. Se verifican:

Tema 11: Conceptos básicos de la Teoría de conjuntos. Estructuras Algebraicas. 8 / 12

1.A  B  A ; A  B  B
2.A  B  B  A (conmutativa)
3.A   B  C    A  B   C (asociativa)
4.A  A  A (idempotente)
5.A     (elemento absorvente)
6.A  B  C  D  A  C  B  D
7.Si A, B  X : A  B  X
A  X : A  X  A (elemento neutro)

Teorema 8.- Leyes distributivas

Sean A, B, C conjuntos. Se verifican:

1.A   B  C    A  B    A  C 
2.A   B  C    A  B    A  C 

Teorema 9. Leyes de Morgan

Sean A, B y X conjuntos tales que A y B están contenidos en X. Se verifican:

1.  A  B   A c  Bc
c

2.  A  B   A c  Bc
c

2.3. DIFERENCIA ENTRE CONJUNTOS

Definición.- Sean A, B conjuntos, el axioma 3 nos permite definir un conjunto con la propiedad
x  A  x  B , dicho conjunto lo denominamos “conjunto diferencia de los conjuntos A y B en ese
orden” y lo notamos A-B

A  B   x / x  A  x  B

Observación.- A-B siempre está definido pero el complementario de B respecto de A sólo está
definido si B  A

Teorema 10.- Sean A, B y X conjuntos tales que A  X . Se verifican:

1. A c  X  A
2. A  B  A ; B  A  B
3. A  B    A  B

Definición.- Diferencia simétrica de A y B:

Tema 11: Conceptos básicos de la Teoría de conjuntos. Estructuras Algebraicas. 9 / 12

AVB   A  B    B  A 

Observación.- La unión y la intersección entre conjuntos podemos generalizarlas así:

Sean A1 ,..., A n conjuntos.

Al conjunto  x / x  Ai para al menos un i, i  1,....n lo denominaremos la unión de A1 ,..., A n y lo

n
notamos: A1  ...  A n  UA i
i 1

UA   x / i  1,...n : x  A 
i 1
i i

Al conjunto  x / x  Ai  i  1,....n lo denominaremos la intersección de A1 ,..., A n y lo notamos:

n
A1  ...  A n  I A i
i 1

I A i   x / x  Ai  i  1,....n
i 1
Tema 11: Conceptos básicos de la Teoría de conjuntos. Estructuras Algebraicas. 10 / 12

3. RELACIONES

Cuando se afirma que la Teoría de Conjuntos es el lenguaje de las matemáticas entra en juego un
conjunto que podemos considerar como el núcleo generador de este lenguaje y que corresponde al par
ordenado. Este a su vez nos permite fundamentar un conjunto de importancia trascendental en la
matemática moderna: las relaciones binarias. Mediante ellos es posible vincular elementos de dos
conjuntos no necesariamente diferentes y según sea el tipo de conexión se tienen las distintas clases de
relaciones que soportan el maravilloso edificio de la matemática.

3.1. PAR ORDENADO. PRODUCTO ESCALAR

Definición.- Definimos par ordenado como el objeto matemático formado por dos elementos u
objetos en un orden determinado. Se denota por (a , b). Los elementos a y b reciben el nombre de
componentes o coordenadas del par (a , b).

 a , b  =   a ,  a, b 
Teorema 1.- Dos pares ordenados son iguales si lo son componente a componente, i.e.:

 a , b  =  x,y   a  x  b  y
Observaciones.-

1. Si a  b   a , b    b , a 

2. Dado  a , b  decimos que a es la primera componente y b la segunda componente.

3.  a , b    a, b

Podemos generalizar la definición anterior a n elementos:

Definición.- Definimos la n-tupla ordenada por  x1 ,..., x n  siendo x1 ,..., x n n-elementos u objetos
en un orden determinado.

Definición.- Sean A, B conjuntos. Llamaremos producto cartesiano de A y B, y lo representaremos

por A  B , al conjunto formado por todos los pares ordenados  a , b  tales que a  A y b  B

A  B    a , b  / a  A  b  B

Observación.- Si el conjunto A tiene n elementos y el conjunto B tiene m, entonces A  B tiene

n·m elementos.
Tema 11: Conceptos básicos de la Teoría de conjuntos. Estructuras Algebraicas. 11 / 12

Definición.- Sean A1 ,..., A n n-conjuntos cualesquiera. Llamaremos producto cartesiano de

A1 ,..., A n y lo representaremos por A1  ...  A n , al conjunto formado por las n-tuplas ordenadas
 x1 ,..., x n  tales que x1  A1 ,..., x n  A n

A1  ...  A n    x1 ,..., x n  / x i  A ii  1,..., n

Representación del producto cartesiano:

1) Diagrama cartesiano. Es análago al usado para representar las coordenadas del plano cartesiano
con la diferencia de que ahora sólo usamos el primer cuadrante.

2) Diagrama sagital. Se representan los conjuntos mediante diagramas de Venn y se unen

elementos del primer conjunto con los del segundo mediante flechas.

Teorema 2.- Propiedades del producto cartesiano

Sean A, B, C, C, y X, Y conjuntos, Entonces:

1. Si A  X  B  Y  A  B  X  Y

2. A  B    A    B  

3. Si A  B  A  B    A  B  B  A

4. Propiedad distributiva del producto cartesiano respecto a la intersección:

A   B  C    A  B   A  C  ;  A  B  C   A  C   B  C 
5. Propiedad distributiva del producto cartesiano respecto a la unión:

A   B  C    A  B   A  C  ;  A  B  C   A  C   B  C 

6.  A  B    C  D    A  C    B  D 

7. Propiedad distributiva del producto cartesiano respecto a la diferencia:

A   B  C    A  B   A  C  ;  A  B  C   A  C    B  C 

D

3.2. CORRESPONDENCIAS

Definición.- Llamaremos Grafo, G, a todo conjunto compuesto por pares ordenados. Según la
definición, dados A y B conjuntos, un grafo es cualquier subconjunto de A  B .
Tema 11: Conceptos básicos de la Teoría de conjuntos. Estructuras Algebraicas. 12 / 12

Definición.- Sean A, B conjuntos. Un subconjunto G  A  B , grafo, define una correspondencia

entre A y B. El subconjunto G recibe el nombre de grafo de la correspondencia. La correspondencia se
denota por la terna (A, B, G).

Dada la correspondencia (A, B, G) podemos definir:

1. Dominio de la correspondencia: Dom(A, B, G)=  a  A / b  B :  a, b   G  A

2. Imagen de la correspondencia: Im(A, B, G)=  b  B / a  A :  a, b   G  B

3. Dado a  A , imagen de a: Im(a)=  b  B /  a, b   G  B

La correspondencia (A, B, G) se suele denotar por f, escribiéndose: f : A  B , donde para cada

 a, b   G , b se puede escribir como b=f(a).
Definición.- Dada la correspondencia (A, B, G) definimos la correspondencia inversa como
 B, A, G 1  siendo G 1    b, a  /  a, b   G , también se denota por f 1 .
Es claro que Dom(f)= Im( f 1 ) y que Im(f)=Dom( f 1 ) por la propia definición del conjunto G 1 .

3.3. RELACIONES

Definición.-