Conjuntos equivalentes

Dos conjuntos son equivalentes (o coordinables) cuando poseen exactamente la misma cantidad de elementos. De manera formal, dos conjuntos A y B son equivalentes si existe una biyección entre ellos, lo que garantiza una correspondencia uno a uno donde a cada elemento del primer conjunto le corresponde un único elemento del segundo, y viceversa.

En la práctica matemática, la forma más clara y habitual de representar esta condición consiste en igualar sus cardinales escribiendo |A| = |B| o n(A) = n(B). También es común denotar esta relación mediante el símbolo de equivalencia A ~ B, e incluso en ciertos textos clásicos se emplea la triple barra A ≡ B, aunque esta última notación resulta menos frecuente en la actualidad.

Es importante distinguir entre conjuntos equivalentes y conjuntos iguales para evitar confusiones habituales. Dos conjuntos son iguales cuando contienen exactamente los mismos elementos, mientras que son equivalentes cuando comparten el mismo número de elementos, sin importar la naturaleza o el valor de dichos elementos.

Por este motivo, se cumple como principio general que todo par de conjuntos iguales es necesariamente equivalente. Sin embargo, la implicación inversa no es válida: dos conjuntos pueden ser equivalentes y diferir por completo en sus elementos integrantes.

Ejemplos

Para comprender con claridad cómo opera la equivalencia entre conjuntos, analizamos a continuación diversos casos prácticos tanto en agrupaciones finitas como en colecciones numéricas infinitas:

1. Si definimos el conjunto de las vocales en nuestro idioma como V = {a, e, i, o, u} y el conjunto de los primeros cinco números primos P = {2, 3, 5, 7, 11}, observamos que ambos poseen la misma cantidad de elementos. Al contar sus componentes comprobamos que |V| = 5 y |P| = 5, de modo que V ~ P a pesar de estar formados por elementos de naturaleza completamente distinta.
2. Consideremos el conjunto de figuras geométricas planas F = {triángulo, cuadrado, pentágono, hexágono} y el conjunto de colores C = {rojo, azul, amarillo, verde}. Como ambos cuentan con exactamente cuatro elementos, se verifica de inmediato la igualdad de cardinales |F| = |C| = 4, resultando en conjuntos equivalentes.
3. Al estudiar números naturales, tomemos el conjunto A = {x ∈ N | x es divisor de 6} y el conjunto B = {x ∈ N | x es múltiplo de 3 ∧ x ≤ 12}. Al expresar ambas agrupaciones por extensión obtenemos A = {1, 2, 3, 6} y B = {3, 6, 9, 12}, donde cada conjunto contiene 4 elementos (|A| = |B| = 4), demostrando que A ~ B.
4. Examinemos ahora dos conjuntos descritos bajo condiciones algebraicas idénticas: M = {x ∈ Z | x² = 9} y N = {-3, 3}. Al resolver la ecuación del primer conjunto hallamos los valores -3 y 3, por lo que M = {-3, 3}. En este escenario, dado que M y N comparten exactamente los mismos elementos, se verifica que son conjuntos iguales (M = N) y, por consecuencia lógica, resultan también conjuntos equivalentes al cumplirse |M| = |N| = 2.
5. En el ámbito de las estructuras infinitas, consideremos el conjunto de los números naturales N = {1, 2, 3, 4,...} y el conjunto de los números pares positivos P = {2, 4, 6, 8,...}. Aunque a nivel intuitivo parece haber más naturales que pares, podemos establecer una correspondencia biyectiva directa asignando a cada natural n el número par 2n. Al existir esta biyección uno a uno, ambos conjuntos comparten el mismo cardinal transfinito numerable y, por lo tanto, se cumple formalmente que N ~ P.

Propiedades de la relación de equivalencia

Desde una perspectiva algebraica formal, la equivalencia entre conjuntos constituye una relación de equivalencia sobre cualquier familia de conjuntos considerada. Esto significa que satisface las propiedades reflexiva, simétrica y transitiva.

1) Propiedad reflexiva: todo conjunto es equivalente a sí mismo, ya que comparte de manera idéntica su propia cantidad de elementos.

A ~ A

2) Propiedad simétrica: si un conjunto es equivalente a otro, este segundo conjunto resulta obligatoriamente equivalente al primero.

A ~ B → B ~ A

3) Propiedad transitiva: si un primer conjunto es equivalente a un segundo, y este a su vez resulta equivalente a un tercero, el primero es equivalente al tercero.

(A ~ B ∧ B ~ C) → A ~ C

Ejercicios resueltos

Para determinar si dos o más conjuntos son equivalentes, el procedimiento consiste en calcular la cardinalidad de cada uno. Si el recuento arroja exactamente la misma cantidad de elementos, confirmamos la relación de equivalencia. A continuación, desarrollamos cuatro ejercicios prácticos para aplicar estos conceptos paso a paso.

Ejercicio 1

Dados los conjuntos expresados por extensión M = {m, u, r, o} y N = {3, 6, 9, 12}, determinar si son conjuntos equivalentes justificando la respuesta a partir de sus respectivos cardinales.

Solución

Comenzamos contando de manera directa el número de componentes que integran cada conjunto.

Para el conjunto M, contabilizamos cuatro letras distintas, por lo que su cardinal resulta |M| = 4. Por su parte, el conjunto N contiene cuatro valores numéricos diferentes, lo que nos da |N| = 4.

Dado que ambos conjuntos satisfacen la igualdad de cardinales |M| = |N|, concluimos que M ~ N. Como podemos notar, no se requiere ninguna coincidencia en la naturaleza de sus elementos para verificar la equivalencia.

Ejercicio 2

Consideremos los conjuntos descritos por comprensión A = {x ∈ N | x es divisor de 12} y B = {x ∈ Z | x² ≤ 4}. Determinar ambos conjuntos por extensión y analizar si se verifica la equivalencia entre ellos.

Solución

Iniciamos listando los elementos de cada agrupación de acuerdo con sus condiciones algebraicas.

Para el conjunto A, buscamos todos los números naturales que dividen a 12:

A = {1, 2, 3, 4, 6, 12}

Para el conjunto B, hallamos los números enteros cuyo cuadrado es menor o igual a 4. Al resolver la desigualdad obtenemos los valores enteros pertenecientes al intervalo cerrado [-2, 2]:

B = {-2, -1, 0, 1, 2}

Procedemos a contar los elementos de ambos conjuntos para contrastar su tamaño. Observamos que |A| = 6, mientras que |B| = 5. Puesto que |A| ≠ |B|, verificamos que no poseen la misma cantidad de elementos. Por lo tanto, concluimos que A y B no son conjuntos equivalentes.

Ejercicio 3

Sean los conjuntos P = {1, 2, 5}, Q = {x ∈ N | x es divisor de 10 ∧ x ≠ 10} y R = {a, b, c}. Determinar qué pares de conjuntos son equivalentes y cuáles resultan además conjuntos iguales.

Solución

En primer lugar, determinamos por extensión el conjunto Q. Los divisores naturales de 10 son 1, 2, 5 y 10. Al excluir al número 10 por la condición dada, el conjunto queda definido como Q = {1, 2, 5}.

Al comparar P con Q, observamos que comparten exactamente los mismos elementos. En consecuencia, se verifica de forma directa que P = Q (son conjuntos iguales) y, de forma simultánea, |P| = |Q| = 3, lo que implica que también son equivalentes (P ~ Q).

Por otro lado, al analizar el conjunto R encontramos que cuenta con 3 letras, por lo que |R| = 3. Al contrastar P con R notamos que |P| = |R|, por lo que P ~ R; sin embargo, es evidente que P ≠ R dado que sus elementos son completamente distintos.

Este análisis evidencia que la igualdad entre conjuntos garantiza siempre la equivalencia, pero dos conjuntos pueden ser equivalentes sin necesidad de ser iguales.

Ejercicio 4

Se consideran los conjuntos dados por extensión A = {2, 4, 6, 8} y B = {1, 3, 5, 7, 2k + 1}, donde k es un número entero positivo. Hallar los posibles valores de k para que A y B sean conjuntos equivalentes.

Solución

Comenzamos analizando el cardinal del conjunto conocido. Al contar los elementos de A, vemos de inmediato que |A| = 4.

Para que los conjuntos sean equivalentes, debe cumplirse la condición |B| = |A| = 4. No obstante, al observar la lista inicial de B apreciamos en apariencia cinco elementos: cuatro valores numéricos definidos (1, 3, 5 y 7) más la expresión que involucra al parámetro k.

Recordemos que en la teoría de conjuntos los elementos repetidos no suman en el cardinal. Por ello, para que el conjunto B contenga exactamente cuatro elementos, el término 2k + 1 debe coincidir forzosamente con alguno de los valores ya presentes.

Planteamos entonces las igualdades correspondientes a cada caso posible:

1) Si 2k + 1 = 1, despejamos y obtenemos 2k = 0 → k = 0. Descartamos este valor porque el enunciado especifica que k debe ser un entero positivo.

2) Si 2k + 1 = 3, despejamos restando 1 en ambos miembros: 2k = 2 → k = 1.

3) Si 2k + 1 = 5, realizamos el despeje directo: 2k = 4 → k = 2.

4) Si 2k + 1 = 7, encontramos la última posibilidad: 2k = 6 → k = 3.

Cualquiera de estos tres valores (k = 1, k = 2 o k = 3) hace que el quinto término repita un número ya listado en B. Como resultado, B queda reducido efectivamente a cuatro elementos distintos (|B| = 4), cumpliendo con éxito la equivalencia A ~ B.