Ejercicio 1

La relación de congruencia módulo 3, $T$, se define de $\mathbb{Z}$ a $\mathbb{Z}$ como sigue: para todos los enteros $m$ y $n$,

$$m \, T \, n \iff 3 | (m - n).$$

a. ¿Es $10 \, T \, 1$? ¿Es $1 \, T \, 10$? ¿Es $(2, 2) \in T$? ¿Es $(8, 1) \in T$?

b. Enumere cinco enteros $n$ tal que $n \, T \, 0$.

c. Liste cinco enteros $n$ tal que $n \, T \, 1$.

d. Enumere cinco enteros $n$ tal que $n \, T \, 2$.

Ejercicio 2

Sea $X = \{a, b, c\}$. Se define una relación $\Join$ sobre $\mathcal{P}(X)$ como sigue: Para todos $A, B \in \mathcal{P}(X)$,

$$A \Join B \iff A \cap B \neq \varnothing.$$

a. ¿Es $\{a\} \Join \{c\}$?

b. ¿Es $\{a, b\} \Join \{b, c\}$?

c. ¿Es $\{a, b\} \Join \{a, b, c\}$?

Ejercicio 3

Sea $A$ el conjunto de todas las cadenas de 0, 1 y 2 de longitud 4. Defina una relación $R$ sobre $A$ como sigue: Para todas $s, t \in A$, $$s \, R \, t \iff \text{la suma de los caracteres de } s \text{ es igual a la suma de los caracteres de } t.$$

a. ¿Es $0121 \, R \, 2200$?

b. ¿Es $1011 \, R \, 2101$?

c. ¿Es $2212 \, R \, 2121$?

d. ¿Es $1220 \, R \, 2111$?

Ejercicio 4

Sea $A = \{3, 4, 5\}$ y $B = \{4, 5, 6\}$ y sea $R$ la relación «menor que». Es decir, para toda $(x, y) \in A \times B$, $$x \, R \, y \iff x < y.$$

Establezca explícitamente qué pares ordenados están en $R$ y en $R^{-1}$.

Ejercicio 5

Se define una relación $R$ sobre $A = \{0, 1, 2, 3\}$ por

$$R = \{(0,0), (1,2), (2,2)\}$$

y una relación $S$ sobre $B = \{a, b, c, d\}$ por

$$S = \{(a,b), (a,c), (b,c), (d,d)\}.$$

Escriba la representación matricial de las relaciones $R$ y $S$.