Teoría de Conjuntos I

Álgebra de Conjuntos

Par Ordenado.

Queremos definir lo que es el par ordenado de los conjuntos a y b, el cual

simbolizaremos por: a, b . Éste debe ser óbviamente un conjunto y para capturar la
noción de ordenado debe cumplir con el hecho de que si c y d son conjuntos,
entonces:
a, b  c, d  a  c & b  d
Hay varias maneras de hacer esto, nosotros optamos por la siguiente:

Definición 1 . Par Ordenado (Kazimierz Kuratowski 1921).

Sean a y b conjuntos arbitrarios. Así,
a, b  a , a, b

La existencia de éste conjunto está garantizada por ZF 3 y su unicidad por ZF 1 .

Proposición 1 . Sean a, b, c, d ∈ V. Así,

a, b  c, d  a  c & b  d
Prueba: Supongamos que a, b  c, d . Así pues,

a , a, b  c , c, d

por tanto, usando sólamente lógica, tienen los mismos elementos. Los casos posibles
se reducen a dos,
(i). a  c y a, b  c, d ,
O bien,
(ii). a  c, d y a, b  c.
En el caso (i) tenemos que a  c y b  d. En el caso (ii) tenemos que
a  c  d  b. En cualquier caso, tenemos lo que queríamos. †

Rafael Rojas Barbachano 1

 Teoría de Conjuntos I Algebra de Conjuntos

Relacionales y Relaciones.

Definición 2 . Una clase R es una Relacional syss sus elementos son pares
ordenados:
∀x x ∈ R  ∃y∃z y, z  x

Una Relación es una relacional que es un conjunto.

De acuerdo con las observaciones que hicimos sobre las clases, las relacionales,
en general, no existen. ¿Qué queremos decir, entonces, con que R es una relacional,
si R es una clase propia? Bueno, pues si R es una clase, R está definido por una
fórmula, digamos , así:
R x / x

Afirmar que R es una relacional es, pues, afirmar que:

∀x x  ∃y∃z 〈y, z  x

Ejemplos: Sea A una clase. Las siguientes son relacionales:

1. ∅.

2. x / ∃y∃z 〈y, z  x

3. x, y / x∈A&y∈A .

4. Id A  x, x / x∈A .

5. ∈ A  x, y / x∈A&y∈A&x∈y .

6. ⊆ A  x, y / x∈A&y∈A&x⊆y .

Definición 3 . Sea R una relacional. El Dominio, la Imagen (o Rango) y el Campo de

R se definen así:
1. DOMR  x / ∃y x, y ∈ R .

2. IMGR  y / ∃x x, y ∈ R .

3. CMPR  z / z ∈ DOMR ∨ z ∈ IMGR  DOMR  IMGR.

2 Rafael Rojas Barbachano

 Teoría de Conjuntos I Algebra de Conjuntos

Lema 2 . Sea R una relacional. Así,

Si a, b ∈ R, entonces a, b ∈ R
Prueba:
a, b ∈ R  a, a, b ∈R
 a, a, b ∈ R
 a, b ∈ R †

Ejercicio: ¿ CMPR  R ?

Proposición 3 . Si r es una relación, entonces
DOMr , IMGr , CMPr ∈ V
Prueba: Si r es una relación, entonces r es una relacional que es un conjunto, e.d.
r ∈ V. Por ZF 4 (usado dos veces) tenemos que   r ∈ V. Ahora bien, como
DOMr , IMGr ⊆ CMPr ⊆ r
por el esquema axiomático de comprensión, ZF 6 , tenemos lo que queríamos. †

Definición 4 . Sean A y B clases. Así,

AB  x, y / x∈A&y∈B

Proposición 4 . Si a, b ∈ V, entonces a  b ∈ V.
Prueba: Si x, y ∈ a  b, entonces x ∈ a y y ∈ b. Pero entonces,
x ∈ a & y ∈ b  x, y ∈ ab
 x , x, y ∈ ℘a  b
 x , x, y ∈ ℘℘a  b
 x, y ∈ ℘℘a  b
Ahora bien, puesto que a, b ∈ V, por ZF 4 y ZF 5 , tenemos que ℘℘a  b ∈ V.
Tenemos entonces,
ab  z ∈ ℘ ℘ ab / ∃x∃y x ∈ a & y ∈ b & z  x, y
y será un conjunto, gracias a ZF 6 . †

Observaciones.
 Si R es una relacional, entonces

R ⊆ DOMR  IMGR ⊆ CMPR  CMPR

 Si R es una relacional y A  CMPR, entonces R ⊆ A  A

Rafael Rojas Barbachano 3

 Teoría de Conjuntos I Algebra de Conjuntos

TAREA: Sean A y B clases. Así, A  B  ∅ syss A  ∅ o B  ∅.

Definición 5 . Sean R una relacional y A y B clases.

1. La Imagen de A bajo R es,
RA  y / ∃x x ∈ A & x, y ∈ R

2. La (Relacional) Inversa de R es,

R −1  y, x / x, y ∈ R

3. La Imagen Inversa de B bajo R es la imagen de B bajo R −1 :

R −1 B  x / ∃y y ∈ B & x, y ∈ R

Proposición 5 . Sea R ⊆ A  B. Así,

1. RA  IMGR y R −1 B  DOMR.
2. DOMR −1   IMGR e IMGR −1   DOMR.
3. R −1  −1  R.
Prueba: Ejercicio. †

Definición 6 . Sean R y S relacionales. La Composición de S con R, o bien, R

Seguida de S, queda definida como sigue:
S∘R  x, z / ∃y x, y ∈ R & y, z ∈ S

Proposición 6 . Sean R, S y T relacionales

1. DOMS ∘ R  R −1 IMGR ∩ DOMS  R −1 DOMS

2. IMGS ∘ R  S IMGR ∩ DOMS  S IMGR

3. R ∘ S ∘ T  R ∘ S ∘ T
Prueba: Ejercicio. †

Ejercicio:
1. ¿ R −1 ∘ R  Id DOMR ? y
2. ¿ R ∘ R −1  Id IMGR ?

4 Rafael Rojas Barbachano

 Teoría de Conjuntos I Algebra de Conjuntos

Funcionales y Funciones.

Definición 7 . Sea F una clase. Diremos que F es una Funcional syss

1. F es una relacional. Y

2. ∀x, y 1 , y 2 x, y 1 ∈ F & x, y 2 ∈ F  y 1  y 2

Y en el caso en que F fuera un conjunto, diremos que F es una Función.

Observación. Son equivalentes a 2, las siguientes:

 ∀x 1 , x 2 , y 1 , y 2 x1, y1 ∈ F & x2, y2 ∈ F & x1  x2  y1  y2
 ∀x 1 , x 2 , y 1 , y 2 x1, y1 ∈ F & x2, y2 ∈ F & y1 ≠ y2  x1 ≠ x2

Notación:
1. Sea F una funcional.
a. Si x ∈ DOMF, escribiremos Fx, para denotar al único conjunto
que cumple con que x, Fx ∈ F. Dicho de otra manera,
Fx   y / x, y ∈ F
Nota: Si x ∉ DOMF, la notación Fx NO tiene sentido y estará
prohibida.
b. Si x, y ∈ F, algunas veces escribiremos x  y o simplemente
F
x  y.
2. Escribiremos F : A  B, para denotar que:
a. F es una funcional,
b. El dominio de F es la clase A. En símbolos: DOMF  A, y
c. La imagen de F es una subclase de la clase B. En símbolos:
IMGF ⊆ B. A B se le llamará (un) Contradominio o (un)
Codominio.

3. FNC  f / f es una función .

Ejemplos:
1).  : V  V
x  w / ∃y y ∈ x & w ∈ y

Rafael Rojas Barbachano 5

 Teoría de Conjuntos I Algebra de Conjuntos

2).  : V  V  V
a, b  a  b  w / w ∈ a ∨ w ∈ b

3). ℘ : V  V
x  ℘x
4). Id A : A  A
x  x, para todo x ∈ A.
5). _, _ : VV  V
a, b  a, b
6). _ :VV
x x
7). El conjunto ∅ es una función, es decir, ∅ ∈ FNC.
Con DOM∅  ∅ e IMG∅  ∅. Podemos escribir,
∅:∅∅

O también,
∅:∅A
donde A es cualquier clase.

Proposición 7 . Sean F y G funcionales. Así, F  G syss

i). DOMF  DOMG. Y

ii). ∀x ∈ DOMF Fx  Gx .

Prueba: TAREA. †

Definición 8 . Sea F : A  B. Diremos que,

F es Inyectiva o que F es 1 a 1 syss
∀x 1 , x 2 , y 1 , y 2 x1, y1 ∈ F & x2, y2 ∈ F & y1  y2  x1  x2

Son equivalentes a que F es inyectiva,

∀x 1 , x 2 , y 1 , y 2 x1, y1 ∈ F & x2, y2 ∈ F & x1 ≠ x2  y1 ≠ y2

o,
∀x 1 , x 2 ∈ A Fx 1   Fx 2   x 1  x 2

Notación: F : A  B

6 Rafael Rojas Barbachano

 Teoría de Conjuntos I Algebra de Conjuntos

Definición 9 . Sea F : A  B. Diremos que,

F es Suprayectiva o que F es Sobre B syss
∀y ∈ B ∃x ∈ A x, y ∈ F
equivalentemente, IMGF  F A  B.

Notación: Algunas veces escribiremos:

F : A → B

Definición 10 . Sea F : A  B. Diremos que,

F es Biyectiva syss F es inyectiva y suprayectiva.

Notación: Algunas veces escribiremos:

F : A  B o AB
F

Y diremos que A es equipotente con B

Proposición 8 . Sea F una funcional.

F −1 es una funcional syss F es inyectiva.
Prueba: TAREA. †

Definición 11 . Sea F una funcional y A una clase.

FA x, y ∈ F / x ∈ A

Así, F  A es una funcional, con DOMF  A  DOMF ∩ A e

IMGF  A ⊆ IMGF. Obsérvese que si A ∩ DOMF  ∅, entonces F  A  ∅.

Definición 12 . Sean a, b ∈ V.
a
b f / f:ab

Proposición 9 . Si a, b ∈ V, entonces a b ∈ V.
a
Prueba: Si f ∈ b, entonces f ⊆ a  b; por lo que a b ⊆ ℘a  b. Finalmente, si
a, b ∈ V, sabemos que a  b ∈ V; ahora, por el axioma de potencia (ZF 5 ),
℘a  b ∈ V y por comprensión (ZF 6 , resulta que a b ∈ V. †

¿Quién es ∅ b y quién a ∅? Ejercicio.

Recordemos que la composición está definida para relacionales, por ende, a las
funcionales:

Si F y G son funcionales, entonces

Rafael Rojas Barbachano 7

 Teoría de Conjuntos I Algebra de Conjuntos

G∘F  x, z / ∃y x, y ∈ F & y, z ∈ G

Proposición 10 . Sean F y G funcionales. Así,

i). G ∘ F es una funcional.
ii). Si IMGF ⊆ DOMG, entonces
G ∘ F : DOMF  IMGG

ii). ∀x ∈ DOMG ∘ F G ∘ Fx  GFx .

Prueba: Ejercicio. †

Dos funcionales, como relacionales que son, su unión es otra relacional.¿Cúando,

es decir bajo qué condiciones, es una funcional?

Definición 13 . Sean F y G funcionales. Diremos que F y G son Compatibles syss

∀x ∈ DOMF ∩ DOMG Fx  Gx

Proposición 11 . Sean F y G funcionales.

1. F  G es una funcional syss F y G son compatibles.
2. F y G son compatibles syss
F  DOMF ∩ DOMG  G  DOMF ∩ DOMG

3. Como relacionales que son F y G, se tiene:

a. DOMF  G  DOMF  DOMG e
b. IMGF  G  IMGF  IMGG
Prueba: Ejercicio. †

Generalizamos esta noción para una clase de funciones.

Definición 14 . Sea F ⊆ FNC. Diremos que F es, o forma, un Sistema Compatible

de Funciones syss cqsean f , g ∈ F, se tiene que f y g son compatibles.

Proposición 12 . Sea F un sistema compatible de funciones. Así,

1.  F es una funcional.

a. DOM F   DOMf / f ∈ F

b. IMG F   IMGf / f ∈ F

8 Rafael Rojas Barbachano

Teoría de Conjuntos I Algebra de Conjuntos

2. Para cualesquiera conjuntos x e y, se tiene

x, y ∈  F  ∃f ∈ F x, y ∈ f

o bien,
x ∈ DOM F & F x  y  ∃f ∈ F x ∈ DOMf & fx  y

Prueba: TAREA. †

Para finalizar, un poco de:

Notación: Sea F una funcional, con DOMF  I.

1. F  Fi / i ∈ I  Fi
i∈I

 Fi / i ∈ I  Fi
i∈I

2. IMGF  Fi / i ∈ I  Fi

i∈I

 Fi
i∈I
Se le suele llamar una Familia de conjuntos con Indices en I.

OjO: No confundir Fi / i ∈ I , que es la funcional, con su imagen,

Fi / i ∈ I

3.  IMGF   Fi / i ∈ I   Fi

i∈I

  Fi
i∈I

4.  IMGF   Fi / i ∈ I   Fi

i∈I

  Fi
i∈I

Rafael Rojas Barbachano 9