ELEMENTOS DE TEORÍA DE CONJUNTOS

Dra. Gladys Palau

Teoría intuitiva de conjuntos 1

• Conceptos primitivos:

Conjunto: A es una colección de objetos cualesquiera a1...an llamados elementos de A.

Pertenencia: Si a es un elemento del conjunto A, se dice que a∈A.

• Principio de Comprehensión: Toda propiedad origina un conjunto formado por todos los
individuos que poseen tal propiedad. O sea: A= {x/ Ax}

• Principio de Extensionalidad (Igualdad entre conjuntos)

A= B sii ∀x ∀y (x∈A ↔ A∈B)

- Propiedades de la igualdad:

1) Reflexividad: A=A 2) Simetría: Si A=B entonces B=A

3) Transitividad: Si A=B y B=Z entonces A=Z

-Observación: Toda relación que tiene la propiedad de ser reflexiva, simétrica y transitiva es
una Relación de Equivalencia.

• Relaciones entre conjuntos:

- Inclusión: “⊂” A⊂ B sii ∀x(x∈A → X∈B)

- Inclusión (impropia) “⊆” A⊆B sii A⊂ B ∨ A= B

- Propiedades de la Inclusión: 1) A⊂ A (identidad) 2) A⊂ B y B⊂ C entonces A ⊂ C

(transitividad) y 3) A⊂B y B⊂A entonces A=B (antisimetría)

• Definición de conjunto vacío “∅”

A= ∅ =df ∀x (x ∉ A)

- Definición de conjunto universal : A=U =df ∀x (x∈ A)

1La primera versión de la Teoría de conjuntos, conocida como Teoría intuitiva de conjuntos, se le debe a Georg Cantor en
1095 y fue publicada por primera vez en inglés en 1915.

1
• Definición de complemento:

- C(A) = {x/ x ∉ A}

- Definición de complemento (relativo): A – B = {x/x∈ A ∧ x ∉ B}

- Complemento absoluto: CAb(A) = ∀x/x∉A

- C(U) = ∅ y C (∅ ) = U

• Operaciones entre conjuntos

- Unión: A∪B = {x/x∈A ∨ x∈ B} def:: x∈ A∪B sii ∀x(x∈A ∨ x∈B)

- Intersección : A∩B = {x/x∈A ∧ x∈ B} def.: x∈ A∩B sii ∀x(x∈A ∧ x∈B)

- Definición de conjuntos disyuntos: A e B son disyuntos sii A∩B = ∅

• Para todo conjunto A y B las siguientes afirmaciones son válidas (entre otras):

1) La intersección y la unión son conmutativas, asociativas y distributivas una respecto de

la otra.

2) A∪A =A 2’) A∩A = A

3) A ∪ U =U 3’) 3) A ∩ U = A

4) A∪ ∅ = A 4’) A ∩ ∅ = ∅

5) C(A∪B) = C(A)∩C(B) 5) C(A∩B) = C(A) ∪ C(B)

6) A ⊆ B ↔ A∩B = A ↔ A∪B = B

7) (A∩B) ∪C = (A∪C)∩(B∪C)

Demostración de 7)

1) (A∩B) ∪C supuesto

2) ∀x((x∈(A ∩B)) ∨ x∈C) definición de ∪,1

3) ∀x ((x∈A ∧ x∈B) ∨ x∈C) definición de ∩

4) ∀x ((x∈A∨ x∈C) ∧ (x∈B ∨ x∈C)) distributividad de ∨ respecto de ∧

5) ∀x ((x∈A∨ x∈C) ∧ ∀x (x∈B ∨ x∈C) distributividad de ∀ respecto de ∧,3

6) (A∪C) ∩ (B∪C) Def. ∪ y ∩, 5.

2
 Funciones y Relaciones
Dados dos conjuntos A y B, si a cada elemento del conjunto A se le asigna o se le hace
corresponder un elemento del conjunto B, entonces f es una función de A en B. El
conjunto A de partida es llamado el dominio de la función; el conjunto de llegada B
constituye el co-dominio de la función; los elementos del dominio son los argumentos de la
función y los elementos del co-dominio que son los valores (o imágenes) de la función
constituyen su rango.

a x
b y z
c

O sea: dominio D de f = {a,b,c}; co-dominio= {x,y,z} y el rango R = {f(x),f(y)}, donde f(x) y f(y)
son las imágenes respectivas de los elementos del dominio D. Puesto que en esta función el
rango es un subconjunto del co-dominio, ella es llamada una función into o inyectiva

Si, en cambio, a cada elemento del dominio le correspondiera un elemento del

codominio pero no quedara ningún elemento del codominio que no sea imagen de un
elemento del dominio, la función es llamada onto o función sobreyectiva.

a x
b y
c

Una función es una función constante si hay un solo elemento del codominio que es imagen
de todo elemento del dominio y una función es biunívoca si a cada elemento del dominio le
corresponde un solo elemento del codominio y cada elemento del codominio es una imagen
de un solo elemento del dominio.

Dominio Rango Dominio Rango

a x a x
b y b y
c z c z
biyectiva

constante

3
• Definición de par ordenado <x,y> :

<x,y> = {{x,y}, {x}}

Igualdad entre pares ordenados:

<x,y> = <u,v> sii (x= u ∧ y = v)

• Definición de relación binaria:

R es una relación binaria sii todo miembro de R es un par ordenado.

Generalización:
R es una relación n-aria sii todo miembro de R es una n-tupla <x1,,...,xn>

• Producto cartesiano X × Y = {x/ x∈X ∧ x∈ Y}

• Relación de orden: R es una relación de orden sii R es transitiva pero no es

simétrica. (ej. ser mayor que, ser más alto que, etc.)

- Propiedades de las relaciones de orden

- R es reflexiva en A sii ∀xRxx

- R es irreflexiva en A sii ∀x¬Rxx
- R es no-reflexiva sii ∃x ¬Rxx

- R es simétrica en A sii ∀x∀y (Rxy→Ryx)

- R es asimétrica en A sii ∀x∀y (Rxy →¬Ryx)
- R es antisimétrica en A sii ∀x∀y ((Rxy ∧ Ryx) → x= y))
- R es no-simétrica en A sii ∃x∃y (Rxy ∧ ¬Ryx)

- R es transitiva en A sii∀x∀y∀z ((Rxy ∧ Ryz) → Rxz)

- R es intransitiva en A sii ∀x∀y∀z ((Rxy ∧ Ryz) → ¬Rxz)
- R es no transitiva en A sii ∃x∃y∃z((Rxy ∧ Ryz) ∧ ¬Rxz)

• Relación de equivalencia: Una relación R es una relación de equivalencia sii

R es reflexiva, simétrica y transitiva.

• Toda relación de equivalencia sobre un conjunto X genera una partición en X.

4
 Definición de partición sobre un conjunto A (PA): Una partición en un conjunto A
genera un conjunto cuyos subconjuntos tienen las siguientes propiedades:
(i) todo subconjunto es distinto de ∅
(ii) todos los subconjuntos de A son disyuntos (i.e., no tienen ningún
miembro en común)
(iii) la unión de todos los subconjuntos de A es igual a A.
Cada subconjunto genera una clase de equivalencia.
Ejemplo de clase de equivalencia: ser compatriota de, tener la misma altura, tener los mismos
derechos, tener la misma nacionalidad, etc.

Diagrama:
P1 P2

P4

P5 P6
P3

Distintos tipos de órdenes

Orden simple estricto Orden simple Orden débil

(asimétrica, transitiva y (reflexiva, transitiva, ( transitiva y

conexa) antisimétrica y conexa) conexa)

Orden parcial estricto Orden parcial

(asimétrica y transitiva) ( reflexiva, antisimétrica y

transitiva) cuasi- orden

Transitiva

5
 Las primeras paradojas
• Primera paradoja de la Teoría intuitiva (no axiomatizada) de conjuntos:

1. Paradoja de G. Cantor (1899) (Cardinales transfinitos)

Sea M el conjunto de todos los conjuntos. Por el llamado Teorema de Cantor, el cardinal del
conjunto de partes de un conjunto M, o sea C (PM), es mayor o igual que el cardinal de M, o
sea:

C(PM) > C(M) (*)

Pero como M es el conjunto de todos los conjuntos y (PM) es un conjunto de conjuntos,

entonces PM ⊂ M, y por el resultado anterior:

C(PM) < ó = C(M) Luego no es cierto (*), o sea C(PM) > C(M)

2- Paradoja de Burali-Forti (1897) (ordinales transfinitos)

Teorema previo: Ningún conjunto bien ordenado es ordinalmente similar a cualquiera de

sus segmentos iniciales (donde por “segmento inicial” debe entenderse el número ordinal de
un conjunto cualquiera)

Sea Γ el conjunto de todos los números ordinales, por lo cual Γ tiene un número ordinal.

Luego, Γ es ordinalmente similar a uno de sus segmentos iniciales, lo cual contradice el

teorema previo.

3. Paradoja de Russell (1902-3) (Descubierta en forma independiente por Zermelo)

Sea T el conjunto de todos los conjuntos que no se contienen a sí mismos.

¿T es un miembro de sí mismo?

─ Si T∈T entonces T es un conjunto que no se contiene a sí mismo, o sea T∉T

─ Si T∉T entonces T es un conjunto que no se pertenece a sí mismo, o sea Si T∈T

Luego: T∈T y T∉T

Finalmente en la Axiomática de Zermelo Frenkel (1908 - 1922) para la teoría de conjuntos

de Cantor, se introducen axiomas que impiden la aparición de esta paradoja y de otras similares.