IIC1253 / IIC1253-2024-1

118 stars 1 forks source link

Ayudantía 6.2 #152

Open solebravo opened 1 month ago

solebravo commented 1 month ago

Hola, estaba haciendo el ejercicio 2 de la ayudantia 6, y en la parte de transitividad, en el último caso no entiendo bien porque por composición (z,x) pertenecerian a R1 o R2 @ SmartSelect_20240523_190853_Samsung Notes

c4ebt commented 1 month ago

Hola!

Veamos la definición de composición: $R_1 \circ R_2 = \{ (a, b) \in A \times A | \exists c \in A \text{ tal que } a R_2 c \land c R_1 b \}$. Si aplicamos esta definición al problema, $y$ actúa como el "elemento intermedio" ($c$ en la definición), $x$ se pone en la posición de $b$ y $z$ en la de $a$, con lo que llegamos a que $(z, x) \in R_1 \circ R_2$.

Espero que se entienda mejor :)