Teora de Conjuntos - Taller 4

(Relaciones de orden)
1. Sea R R = {f | f : R R}. Pruebe que la relacion 4 definida por:
f 4 g x R(f (x) g(x)), f, g

R,

es un orden parcial en R R.
2. Sea R un orden parcial en A. Sean S el orden parcial estricto correspondiente a R y R0 el orden
parcial correspondiente a S. Pruebe que R = R0 .
3. Sea S un orden parcial estricto en A. Sean R el orden parcial correspondiente a S y S 0 el orden
parcial estricto correspondiente a R. Pruebe que S = S 0 .
4. Sea (A, ) un CPO. Pruebe que las siguientes afirmaciones son equivalentes para x, y A:
a) x y y son comparables.
b) Se cumple solo una de las siguientes condiciones: x < y, x = y o y < x (a esta propiedad de le
llama tricotoma).
c) (x < y) y x.
d ) (x y) y < x.
5. Sea S una relaci
on en A. Pruebe que si S cumple tricotoma entonces es irreflexiva y asimetrica.
Ademas, presente un ejemplo de una relacion S que cumpla tricotoma y que no sea transitiva.
6. Formule definiciones de los conceptos de cadena, elemento mnimo, elemento minimal, elemento
maximo, elemento maximal, cota inferior, nfimo, cota superior y supremo para ordenes parciales
estrictos.
7. Presente un ejemplo de una relaci
on R, en un conjunto A, que sea irreflexiva y que no sea asimetrica.
8. Sea R un orden parcial en A. Pruebe que R1 tambien es un orden parcial en A (a R1 se le llama
el orden dual de R). Adem
as, tomando B A, pruebe que:
a) Si a es elemento mnimo de B en R, entonces a es elemento maximo de B en R1 .
b) Si a es elemento minimal de B en R, entonces a es elemento maximal de B en R1 .
c) Si a es cota inferior de B en R, entonces a es cota superior de B en R1 .
d ) Si a es nfimo de B en R, entonces a es supremo de B en R1 .
9. Sean R un orden parcial en A y B A. Muestre que R (B B) es un orden parcial en B (a este
orden se le llama orden inducido por R en B o el orden en B heredado de A).
10. Dado un orden parcial, pruebe que los subconjuntos de una cadena tambien son cadenas.
11. Sea (A, ) un CPO. Pruebe que:
a) m es elemento maximal de A en si y solo si m A y x A(m x m = x).
b) n es elemento minimal de A en si y solo si n A y x A(x n x = n).
12. Sean (A, ) un CPO y B A. Pruebe que:
a) Si m A es cota superior de B y m B, entonces m = max B = sup B.
b) Si n A es cota inferior de B y n B, entonces n = mn B = nf B.
1

13. Considere el CPO (P(N), ). Halle los elementos maximo, mnimo, maximales, minimales, cotas
superiores, cotas inferiores, supremo e nfimo (en caso de que existan) de los siguientes subconjuntos
de P(N):
a) B1 = P(N).
b) B2 = {X N | X es finito}.
c) B3 = {X N | t(X) X}. Para X N, cuando X es finito, t(X) es el n
umero de elementos
de X. Cuando X es infinito, t(X) = 1.
14. Sea A un conjunto. Considere el CPO (A, ) y sea B A. Demuestre:
S
S
a) Si B A, entonces sup B = B.
T
T
b) Si B 6= y B A, entonces nf B = B.
S
S
c) Si A A, entonces nf = A.
d ) Si A, entonces sup = .
15. Sean (A, ) un CBO y B A. Demuestre que B bajo el orden que hereda de A, es CBO.
16. Demuestre que (A, ) un CBO si y solo si todo segmento inicial de A, bajo el orden que hereda de
A, es CBO.
17. Demuestre que si dos CBO son isomorfos, entonces el isomorfismo es u
nico.
18. Demuestre que ning
un CBO es isomorfo a un segmento inicial de s mismo.
19. Sea (A, ) un CPO y a A, se dice que b A es sucesor inmediato de a si a < b y c A(a <
c < b).
a) Demuestre que si (A, ) es CTO y a A tiene sucesor inmediato, entonces este es u
nico.
b) De un ejemplo de un CTO donde ning
un elemento tiene sucesor inmediato.
c) Demuestre que si (A, ) es CBO y a A no es elemento maximo de A, entonces a tiene un
(
unico) sucesor inmediato (sugerencia: tome b = mn {x A | a < x}).
20. Sean (A, A ) y (B, B ) CPO tales que A B = , y sea AB la relacion definida por:
x AB y (x, y A x A y) (x, y B x B y) (x A y B), x, y A B.
a) Demuestre que AB es relaci
on de orden parcial en A B.
b) Demuestre que si (A, A ) y (B, B ) son CTO, entonces (A B, AB ) es CTO.
c) Demuestre que si (A, A ) y (B, B ) son CBO, entonces (A B, AB ) es CBO.
21. Demuestre que si (A, ) es un CTO y satisface el principio de induccion generalizado, entonces
(A, ) es un CBO.
22. Sean (A, A ) y (B, B ) CPO, f : A B un isomorfismo y C A. Demuestre:
a) Si a es elemento m
aximo de C en A , entonces f (a) es elemento maximo de f [C] en B .
b) Si a es elemento maximal de C en A , entonces f (a) es elemento maximal de f [C] en B .
c) Si a es cota superior de C en A , entonces f (a) es cota superior de f [C] en B .
d ) Si a es supremo de C en A , entonces f (a) es supremo de f [C] en B .