Si A y B son dos conjuntos no vacíos tales que n (A) = myn (B) = n, entonces, ¿cuál es el número de relaciones de A a B dado?

Una relación es entre dos conjuntos en lugar de un conjunto a otro, y es cualquier subconjunto del producto cruzado [matemática] A \ veces B [/ matemática] de pares ordenados [matemática] (a, b) [/ matemática] donde [matemáticas] a \ en A [/ matemáticas] y [matemáticas] b \ en B [/ matemáticas].

Por lo tanto, el número de relaciones es solo el número de subconjuntos de [matemática] A \ veces B [/ matemática], que es dos para la potencia del número de elementos en el producto cruzado. En su notación que es [matemáticas] n (A \ veces B) = n (A) \ veces n (B) = m \ veces n [/ matemáticas]. En notación más convencional:

[matemáticas] \ quad | A \ veces B | = | A | \ veces | B | [/ matemáticas]

El número de relaciones es:

[matemáticas] \ quad | \ matemáticas P (A \ times B) | = 2 ^ {| A \ times B |} = 2 ^ {| A | \ times | B |} = 2 ^ {| A |} \ times2 ^ {| B |} = 2 ^ m \ times2 ^ n = 2 ^ {mn} [/ math]

Por cierto, esta expresión funciona para conjuntos vacíos (donde [matemática] 2 ^ 0 = 1 [/ matemática]) y conjuntos infinitos (usando aritmética cardinal), así como para conjuntos finitos donde [matemática] n, m [/ matemática] son Números naturales.

Una relación es un subconjunto de [matemáticas] A \ veces B [/ matemáticas].

Hay [math] nm [/ math] pares, por lo que hay [math] 2 ^ {nm} [/ math] posibles subconjuntos, cada uno de los cuales es una relación, que incluye tanto la relación vacía como la relación completa.

Si te refieres a asignaciones de A a B, esta es la definición de n ^ m

No de relaciones = n potencia m