Hola, había visto conteo de relaciones sin usar la matriz asociada a la relación y vi un metodo o una forma de ver usándola. Este método lo vi para reflexivas pero no para simétricas y me gustaría ver si es correcto mi razonamiento.
Sea \( A=\{a_{1},a_{2},...,a_{n}\} \) , \( \left |{A}\right |=n \) hacemos la matriz asociada a la relación

Luego como en la diagonal principal, al ser simétrica no afecta en nada que tipo de entrada pueda tener, es decir pueden existir pares como por ejemplo (2,2) en la diagonal o no, y si existen colocaremos un 1 en la matriz en la posición fila 2 columna 2 y si no existe colocaremos un 0. Sabiendo esto para las n entradas de la diagonal principal, por cada entrada de estas n entradas tenemos 2 posibilidades, ser 1 o ser 0, entonces quedaría \( 2^n \) entradas posibles de la diagonal.
Ahora nos queda ver las posibilidades de la entradas restantes, es decir la triangular superior e inferior, como debe ser una relación simétrica cualquier entrada de la triangular superior al elegir una opción esta deberá ser la misma opción en su simétrico, es decir, si existe (1,2) y colocamos un 1 en la posición fila 1 columna 2, entonces debe existir el par (2,1) y en la posición fila 2 columna 1 debe haber un 1, entonces cada entrada de la triangular superior determina las de las entradas de la triangular inferior. Entonces tomando cualquier elemento de la triangular superior y su simétrico en la triangular inferior, ver cuantas opciones hay, por ejemplo tomo el elemento en la posición 3,4 y el 4,3 , entonces para el elemento 3,4 tenemos 2 posibilidades ser 0 o ser 1, si es 1 entonces en la posición 4,3 también debe ser 1, si es 0 lo mismo. Entonces como cada triangular tiene n2-n/2 elementos, usando regla del producto quedaría \( 2^{(n^2-n)/2} \) posibles entradas para una triangular y como los elementos de una triangular superior determinan los elementos de la triangular inferior, entonces ya no hay que elegir mas nada en la triangular inferior. Luego usando regla del producto \( 2^n*(n^2-n)/2 \)
Ahora un ejercicio visto aca en el foro.
Halle el número de relaciones \( R \) en el conjunto \( A = \{a, b, c, d\} \) que verifican simultáneamente las 3 condiciones siguientes: \( R \) es simétrica; \( (a,b)\in{ R} \); \( (c,c) \in{R} \).
Usando lo que dije con la matriz, aqui solo bastaría colocar un 1 en la posición fila a columna b y otro 1 en fila c columna c? entonces me quedaría la triangular \( (n^2-n)/2 - 2 \) elementos a elegir? ya que elegí colocar un dos 1 en fila c columna c y fila a columna b
Gracias