Erick Aguilar Lobo.

A30090
1) tomado de Murillo, ejercicios 3.3
2. Si A=｛1,2,3,4,5｝y R una relación definida en A, cuyo gráfico es ｛(1,1),(1,2),(1,3).(2,1),(2,2),(3,1),
(2,3),(3,3),(4,4),(3,2),(1,4)｝Determine si R es una relación reflexiva, simétrica, transitiva,
antisimétrica, total.
R/
reflexiva: no, porque 1R1, 2R2, 3R3, 4R4 pero 5 no se relaciona con 5
simétrica: no, porque 1R4 pero 4 no se relaciona con 1
transitiva: no, porque 2R1 y 1R4 pero 2 no se relaciona con 4
antisimétrica: no porque 1R2 y 2R1 pero 1≠2
total: no, porque 1 no se relaciona con 5 y 5 no se relaciona con 1

2) tomado de Murillo, ejercicios 3.3

9. Analice que propiedades cumple la relación R definida en IR por: aRb↔ a-b∈Z
R/
reflexiva: sí, porque ∀a ∈IR/a-a=0∈Z
simétrica: sí, porque ∀a,b ∈IR si a-b∈Z, entonces b-a∈Z
transitiva: sí, porque ∀a,b,c ∈IR si a-b∈Z y b-c ∈Z, entonces a-c ∈Z
antisimétrica: no, contraejemplo: sea a= 3 y sea b= 1; 3-1= 2 ∈Z y 1-3=-2 ∈Z, pero 1≠3
total: no, contraejemplo sea a=1 y sea b=1,5 1-1,5=-0,5 ∉ Z y 1,5-1=0,5∉Z

3) tomado de Murillo, ejercicios 3.3

10. A=｛1,2,3｝se define una relación R sobre p(A) como MRN↔ [(M⋂N= ∅)⋁(M=N)]. Analice que
propiedades cumple la relación R, calcule su gráfico.
R/
reflexiva: sí, porque ∀a∈A si M=a y N=a, entonces M=N
simétrica:sí, porque si ∀M,N∈A/ M⋂N= ∅, entonces N⋂M=∅
transitiva:sí, porque si ∀M,N,P∈A/ M⋂N= ∅ y N⋂P= ∅ entonces M⋂P= ∅
antisimétrica: no, porque si ∀M,N∈A/ M⋂N= ∅ y N⋂M=∅, entonce M≠N
total: no, contraejemplo sea M=｛1,2｝y sea N=｛2,3｝ entonces M≠N y M⋂N ≠ ∅
GA=｛(｛1｝,｛2,3｝),(｛1,2｝,｛3｝),(｛1,3｝,｛2｝),(｛1,2,3｝,∅)(｛1｝,｛1｝),(｛2｝,｛2｝),
(｛3｝,｛3｝),(｛1,2｝,｛1,2｝,(｛1,3｝,｛1,3｝),(｛2,3｝,｛2,3｝),(｛1,2,3｝,｛1,2,3｝)｝

4) tomado de Murillo, ejercicios 3.5

1. Sobre IR se define una relación ⩽ de la siguiente manera: ∀a,b∈IR[a⩽b↔ b-a≥0]
a) Demuestre que ⩽ es una relación de orden total:
R/
reflexiva: sí, porque ∀a∈IR[a⩽a↔ a-a≥0]
antisimétrica:sí, porque ∀a,b∈IR[(a⩽b y b⩽a)⇒a=b]
transitiva:sí, porque ∀a,b,c ∈IR[a⩽b y b⩽c, entonces a⩽c]
total:sí, porque ∀a,b∈IR[(a⩽b o b⩽a]
5) tomado de Duarte y Cambronero, ejercicios 2.3
11. en IR2 se define la relación ≺ por: (a,b)≺(c,d)↔ (a⩽c y b⩽d). Demuestre que esta relación es de
orden. Para (a,b) dado, dibuje el conjunto de (x,y) tales (a,b) ≺(x,y). ¿es esta una relación de orden
total?
R/
reflexiva: sí, porque ∀a∈IR/(a,a)≺(a,a)↔(a⩽a) y(a⩽a)
antisimétrica:sí, porque ∀a,b,c,d∈IR/ (a,b)⩽(c,d) y (c,d)⩽(a,b), entonces (a,b)=(c,d)
transitiva;sí, porque ∀a,b,c,d,e,f∈IR/(a,b)⩽(c,d) y (c,d)⩽(e,f), entonces (a,b)⩽(e,f)
Para (a,b) dado sí es de orden total, porque ya sea (a,b)≺(x,y), entonces (a,b)⩽(x,y) o (x,y)≺(a,b),
entonces (x,y)⩽(a,b)