Tarea 1: Conjuntos y Relaciones

1. Sea W el conjunto de palabras de un diccionario de la Lengua Española. Considere las siguientes

relaciones en W:

• R1 := {(x, y) ∈ W ×W | x e y empiezan con la misma letra}.

• R2 := {(x, y) ∈ W ×W | x e y tienen al menos una letra en común}.
• R3 := {(x, y) ∈ W ×W | x aparece antes que y en el diccionario}.

Determine si las relaciones tienen las propiedades reflexividad, simetría o transitividad. Para cada
relación con todas las propiedades anteriores determine las clases de equivalencia.

2. Demuestra que la relación R definida en Z mediante a R b si y sólo si a − b es múltiplo de 3 es

de equivalencia. Determina las clases de equivalencia. ¿Qué ocurre si en vez de 3 se considera
cualquier número z ∈ Z+ ?

3. Considera una relación de preferencias % definida en X. Demuestra que si % es racional entonces

la relación de indiferencia ∼ es una relación de equivalencia pero la relación de preferencia estricta
 no lo es.

4. Sea A ⊂ R y f : A → R. Sea R una relación en A definida mediante xRy si y sólo si f (x) = f (y).

a) Demuestra que R es de equivalencia.

b) Describe las clases de equivalencia para el caso particular A = [−1, 1] y las funciones x3 y x2 .
c) ¿Existe alguna relación entre la cantidad de elementos en las clases de equivalencia y el que
f sea inyectiva?

5. Sean (A, %1 ) y (B, %2 ) dos conjuntos parcialmente ordenados. Demuestre que el conjunto (A ×
B, %) donde
(a, b) % (a0 , b0 ) ⇐⇒ a 1 a0 ó (a = a0 y b %2 b0 )
es un conjunto parcialmente ordenado.

6. Considera el conjunto X = R2+ y la relación de preferencias definida en X especificada en cada

inciso. Determina si las relaciones son de equivalencia y en tal caso describe las clases de equiva-
lencia.

a) %1 definida mediante el orden lexicográfico, esto es

(x1 , x2 ) %1 (y1 , y2 ) ⇐⇒ x1 > y1 ó (x1 = y1 y x2 ≥ y2 )

1
 b) %2 definida como sigue

(x1 , x2 ) %2 (y1 , y2 ) ⇐⇒ ax1 + bx2 ≥ ay1 + by2 ,

donde a, b ∈ R++ son constantes.

c) %3 definida como sigue

(x1 , x2 ) %3 (y1 , y2 ) ⇐⇒ min {x1 , x2 } ≥ min {y1 , y2 }.

7. Demuestre que si existe un elemento máximo de un subconjunto parcialmente ordenado entonces

es único.

8. Sean A y B dos subconjuntos de un conjunto parcialmente ordenado tales que A ⊆ B. Demuestra

que cualquier cota superior de B lo es también de A. Si existe sup B, ¿También existe sup A?

9. Sean A y B dos subconjuntos de R no vacíos y acotados superiormente. Considera el conjunto

C := {a + b | a ∈ A, b ∈ B},

demuestra que existe supC y además supC = sup A + sup B.

10. Determina si las proposiciones siguientes son verdaderas, en cada caso proporciona una demostración
o un contraejemplo.

a) Una relación no puede tener las propiedades simetría y antisimetría al mismo tiempo.
b) Cualquier elemento maximal de un conjunto parcialmente ordenado (X, %) es máximo si la
relación es completa.