Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1. Suponga que R es un orden parcial. Demuestre que R−1 es también un orden par-
cial. Más aún si B ⊆ A, demuestre: a ∈ B es el menor elemento de B en R−1 si y sólo si a
es el mayor elemento de B en R, y análogo para la noción de elemento minimal, maximal,
ı́nfimo y supremo.
Demostración.
Ya sabemos que si R es una relación, entonces R−1 es una relación.
Si (x, x) ∈ R, entonces (x, x) ∈ R−1 , entonces R−1 es reflexiva.
Supongamos que (x, y), (y, x) ∈ R−1 , entonces (y, x), (x, y) ∈ R, como R es antismétrica,
entonces x = y, entonces R−1 es antisimétrica.
Supongamos (x, y), (y, z) ∈ R−1 , entonces (y, x), (z, y) ∈ R, como R es transitiva, enton-
ces (z, x) ∈ R, entonces (x, z) ∈ R−1 , entonces R−1 es transitiva.
Por lo anterior, concluimos que R−1 es una relación de orden parcial.
Supongamos (x, y), (y, x) ∈ R ∩ B × B, entonces (x, y), (y, x) ∈ R y (x, y), (y, x) ∈
B × B, entonces x = y y x, y ∈ B, por lo cual la relación es antisimétrica.
Supongamos que (x, y), (y, z) ∈ R ∩ B × B, entonces (x, y), (y, z) ∈ R y (x, y), (y, z) ∈
B × B, como R es transitiva, entonces (x, z) ∈ R y x, z ∈ B, entonces (x, z) ∈ R ∩ B × B,
por ende la relación es transitiva.
Por lo anterior concluimos que R ∩ B × B es un orden parcial en B.
1
en B = A ∪ {b} como sigue:
2
6. Sea A = P(X), donde X ̸= ∅ y considere la relación ≤ en A como sigue: x ≤ y si
x ⊆ y. Demuestre que si B ⊆ A, entonces existen sup(B) e inf (B). Indique en cada caso
de qué elemento se trata.
Demostración.
S
Sea S = w∈B w. Sea z ∈ S, entonces z ∈ w para algún w ∈ B, como B ⊆ A, entonces
z ∈ w y w ∈ A, entonces z ∈ w y w ⊆ X, entonces z ∈ X, entonces S ⊆ X.
Ahora, sea z ∈ B, sea y ∈ z, entonces y ∈ S, entonces z ⊆ S, entonces z ≤ S, ası́ para
cada z ∈ B, por lo cual S es cota superior de B.
Sea C cualquier cota superior de B, es decir que, para todo w ∈ B, w ≤ C, es decir,
w ⊆ C, luego tomemos z ∈ S, entonces z ∈ w para algún w ∈ B, como w ⊆ C, entonces
z ∈ C, entonces S ⊆ C, entonces S ≤ C, como C fue cualquier cota superior, entonces
S = sup(B).
T
Sea I = w∈B w. Sea z ∈ I, entonces z ∈ w para cada w ∈ B, como B ⊆ A, entonces
z ∈ w y w ∈ A, entonces z ∈ w y w ⊆ X, entonces z ∈ X, entonces I ∈ A.
Sea z ∈ I, entonces z ∈ w para cada w ∈ B, entonces I ⊆ w para cada w ∈ B, es decir,
I ≤ w para cada w ∈ B, es decir, I es cota inferior de B.
Sea D cualquier cota inferior de B, entonces para cada w ∈ B, D ≤ w, es decir, D ⊆ w,
tomemos z ∈ D, entonces z ∈ w para cada w ∈ B, entonces z ∈ I, entonces D ⊆ I,
entonces D ≤ I, como D es cualquier cota inferior, entonces I = inf (B).
f ≤ g si y sólo si f ⊆ g.