Apéndice del Capítulo 3.

95

3.6. Apéndice del Capítulo 3

Dominio. Sean A y B conjuntos, R una relación de A en B y x un objeto cualquiera. Los incisos (a) y (b)
de los siguientes recuadros son equivalentes:

a) x ∈ Dom(R) a) x ∈
/ Dom(R)
b) x ∈ A y existe z ∈ B tal que (x, z) ∈ R b) x ∈
/ A o para todo z ∈ B, (x, z) ∈
/R

Imagen. Sean A y B conjuntos, R una relación de A en B y x un objeto cualquiera. Los incisos (a) y (b) de
los siguientes recuadros son equivalentes:

a) x ∈ Im(R) a) x ∈
/ Im(R)
b) x ∈ B y existe z ∈ A tal que (z, x) ∈ R b) x ∈
/ B o para todo z ∈ A, (z, x) ∈
/R

Relación inversa. Sean A y B conjuntos, R una relación de A en B y x y z objetos cualquiera. Los incisos
(a) y (b) de los siguientes recuadros son equivalentes:

a) (x, z) ∈ R−1 / R−1

a) (x, z) ∈
b) (z, x) ∈ R b) (z, x) ∈
/R

Orden parcial Sean A un conjunto y ≪ una relación sobre A. Los incisos (a) y (b) del siguiente recuadro son
equivalentes:

a) ≪ es un orden parcial en A
b) ≪ satisface las siguientes tres propiedades:
b.1) Para todo a ∈ A, a ≪ a.
b.2) Si {a, b} ⊆ A, a ≪ b y b ≪ a, entonces a = b.
b.3) Si {a, b, c} ⊆ A, a ≪ b y b ≪ c, entonces a ≪ c.

Miguel Tecpa Galván

96 Capítulo 3. Relaciones binarias

Orden total Sean A un conjunto y ≪ una relación sobre A. Los incisos (a) y (b) del siguiente recuadro
son equivalentes:

a) ≪ es un orden total en A
b) ≪ satisface las siguientes cuatro propiedades:
b.1) Para todo a ∈ A, a ≪ a.
b.2) Si {a, b} ⊆ A, a ≪ b y b ≪ a, entonces a = b.
b.3) Si {a, b, c} ⊆ A, a ≪ b y b ≪ c, entonces a ≪ c.
b.4) Para todo {a, b} ⊆ A, a ≪ b o b ≪ a.

Máximo Sean A un conjunto, B ⊆ A, ≪ un orden parcial sobre A y x un objeto cualquiera. Los incisos (a) y
(b) de los siguientes recuadros son equivalentes:

a) x es máximo en B. a) x no es máximo en B.
b) x ∈ B y para todo b ∈ B, b ≪ x. b) x ∈
/ B o existe b ∈ B tal que no es cierto que b ≪ x.

Mínimo. Sean A un conjunto, B ⊆ A, ≪ un orden parcial sobre A y x un objeto cualquiera. Los incisos
(a) y (b) de los siguientes recuadros son equivalentes:

a) x es mínimo de B. a) x no es mínimo de B.
b) x ∈ B y para todo b ∈ B, x ≪ b. b) x ∈
/ B o existe b ∈ B tal que no es cierto que x ≪ b.

Miguel Tecpa Galván

Apéndice del Capítulo 3. 97

Cota superior Sean A un conjunto, B ⊆ A, ≪ un orden parcial sobre A y x un objeto cualquiera. Los
incisos (a) y (b) de los siguientes recuadros son equivalentes:

a) x es cota superior de B. a) x no es cota superior de B.

b) Para todo b ∈ B, b ≪ x. b) Existe b ∈ B tal que no es cierto que b ≪ x.

Cota inferior. Sean A un conjunto, B ⊆ A, ≪ un orden parcial sobre A y x un objeto cualquiera. Los
incisos (a) y (b) de los siguientes recuadros son equivalentes:

a) x es cota inferior de B. a) x no es cota inferior de B.

b) Para todo b ∈ B, x ≪ b. b) Existe b ∈ B tal que no es cierto que x ≪ b.

Maximal Sean A un conjunto, B ⊆ A, ≪ un orden parcial sobre A y x un objeto cualquiera. Los incisos
(a) y (b) de los siguientes recuadros son equivalentes:

a) x es maximal de B. a) x no es maximal de B.
b) x ∈ B y para todo b ∈ B tal que x ≪ b, b) x ∈
/ B o existe b ∈ B tal que x ≪ b y x ̸= b.
se cumple que x = b.

Minimal Sean A un conjunto, B ⊆ A, ≪ un orden parcial sobre A y x un objeto cualquiera. Los incisos
(a) y (b) de los siguientes recuadros son equivalentes:

a) x es minimal de B. a) x no es minimal de B.
b) x ∈ B y para todo b ∈ B tal que b ≪ x, b) x ∈
/ B o existe b ∈ B tal que b ≪ x y x ̸= b.
se cumple que x = b.

Miguel Tecpa Galván

98 Capítulo 3. Relaciones binarias

Relación de equivalencia Sean A un conjunto y ∼ una relación sobre A. Los incisos (a) y (b) del siguiente
recuadro son equivalentes:

a) ∼ es una relación de equivalencia en A

b) ∼ satisface las siguientes tres propiedades:
b.1) Para todo a ∈ A, a ∼ a.
b.2) Para todo {a, b} ⊆ A tal que a ∼ b, se satisface que b ∼ a.
b.3) Para todo {a, b, c} ⊆ A tal que a ∼ b y b ∼ c, se satisface que a ∼ c.

Clase de equivalencia Sean A un conjunto, ∼ una relación de equivalencia sobre A y x y z dos objetos
en A. Los incisos (a) y (b) del siguiente recuadro son equivalentes:

a) x ∈ [z]∼ . a) x ∈
/ [z]∼ .
b) x ∼ z. b) x ̸∼ z.

Función. Sean A y B conjuntos y η una relación de A en B. Los incisos (a) y (b) del siguiente recuadro
son equivalentes:

a) η es una función de A en B.
b) η satisface las siguientes dos propiedades:
b.1) Dom(η) = A.
b.2) Si (a, b) ∈ η, (c, d) ∈ η y a = c, entonces b = d.

Imagen (aplicado a funciones). Sean A y B conjuntos, η : A → B una función y x un objeto cualquiera.

Los incisos (a) y (b) de los siguientes recuadros son equivalentes:

a) x ∈ Im(η) a) x ∈
/ Im(η)
b) x ∈ B y existe z ∈ A tal que η(z) = x b) x ∈
/ B o para todo z ∈ A, η(z) ̸= x.

Miguel Tecpa Galván

Apéndice del Capítulo 3. 99

Imagen directa de conjuntos. Sean A y B conjuntos, η : A → B una función, C ⊆ A y x un objeto

cualquiera. Los incisos (a) y (b) de los siguientes recuadros son equivalentes:

a) x ∈ η[C] a) x ∈
/ η[C]
b) x ∈ B y existe z ∈ C tal que η(z) = x. b) x ∈
/ B o para todo z ∈ C, η(z) ̸= x.

Imagen inversa de conjuntos. Sean A y B conjuntos, η : A → B una función, D ⊆ B y x un objeto

cualquiera. Los incisos (a) y (b) de los siguientes recuadros son equivalentes:

a) x ∈ η −1 [D] / η −1 [C]
a) x ∈
b) x ∈ A y existe z ∈ D tal que η(x) = z. b) x ∈
/ A o para todo z ∈ C, η(x) ̸= z.

Composición de funciones. Sean A, B y C conjuntos, η : A → B y α : B → C dos funciones y x y z

objetos cualquiera. Los incisos (a) y (b) de los siguientes recuadros son equivalentes:

a) α ◦ η(x) = z a) α ◦ η(x) ̸= z
b) α( η(x) ) = z b) α( η(x) ) ̸= z

Función inyectiva. Sean A y B conjuntos y η : A → B una función. Los incisos (a) y (b) de los siguientes
recuadros son equivalentes:

a) η es inyectiva. a) η no es inyectiva.
b) Si {x, z} ⊆ A y η(x) = η(z), entonces x = z. b) Existe {x, z} ⊆ A tal que η(x) = η(z) y x ̸= z.

Miguel Tecpa Galván

100 Capítulo 3. Relaciones binarias

Función sobreyectiva Sean A y B conjuntos y η : A → B una función. Los incisos (a) y (b) de los
siguientes recuadros son equivalentes:

a) η es sobreyectiva. a) η no es sobreyectiva.
b) Para todo z ∈ B, existe x ∈ A tal que b) Existe z ∈ B tal que para todo x ∈ A, η(x) ̸= z.
η(x) = z.

Función biyectiva Sean A y B conjuntos y η : A → B una función. Los incisos (a) y (b) de los siguientes
recuadros son equivalentes:

a) η es biyectiva. a) η no es biyectiva.
b) η es inyectiva y η es sobreyectiva. b) η no es inyectiva o η no es sobreyectiva.

Función inversa. Sean A y B conjuntos, η : A → B una función biyectiva y x y z objetos cualquiera. Los
incisos (a) y (b) de los siguientes recuadros son equivalentes:

a) η −1 (x) = z a) η −1 (x) ̸= z
b) η(z) = x b) η(z) ̸= x

Miguel Tecpa Galván