Igualdad de conjuntos

Resumen inicial

Definición, axioma de extensionalidad y método de doble inclusión ($A \subseteq B \land B \subseteq A$) para demostrar la igualdad de conjuntos.

Explicación en palabras simples

Infografía: Criterio de extensionalidad y método de doble inclusión

Dos conjuntos son iguales ($A = B$) cuando tienen exactamente los mismos elementos, sin que falte ni sobre ninguno. No importa si los elementos están en distinto orden ni si se repiten en la escritura. Por ejemplo, el conjunto $A = \{1, 2, 3\}$ y el conjunto $B = \{3, 1, 2, 2\}$ son completamente iguales ($A = B$). Para demostrar en matemáticas avanzadas que dos conjuntos son iguales, se usa la técnica de doble inclusión: primero se prueba que todo elemento de $A$ está en $B$ ($A \subseteq B$) y luego que todo elemento de $B$ está en $A$ ($B \subseteq A$).

Explicación formal

Definición formal

En la teoría axiomática de conjuntos ($\text{ZFC}$), la igualdad de conjuntos se rige por el Axioma de Extensionalidad:
$$A = B \quad \iff \quad \forall x \, (x \in A \leftrightarrow x \in B)$$
En términos del orden parcial inducido por la relación de inclusión ($\subseteq$), dos conjuntos son idénticos si y solo si se verifica la doble inclusión:
$$A = B \quad \iff \quad A \subseteq B \quad \land \quad B \subseteq A$$

Desglose simbólico

Sentido directo ($A \subseteq B$): $\forall x \, (x \in A \to x \in B)$.
Sentido recíproco ($B \subseteq A$): $\forall x \, (x \in B \to x \in A)$.
Propiedades de relación de equivalencia:
Reflexividad: $A = A$.
Simetría: $A = B \implies B = A$.
Transitividad: $(A = B \land B = C) \implies A = C$.

Síntesis didáctica

La igualdad de conjuntos depende exclusivamente de la membresía de sus elementos (extensión) y no de la formulación sintáctica empleada para definirlos (intensión).

Definiciones clave

Igualdad de conjuntos ($A = B$): Identidad ontológica donde dos conjuntos comparten exactamente el mismo universo de elementos.
Método de doble inclusión: Estrategia de demostración matemática que prueba $A \subseteq B$ y $B \subseteq A$ por separado.
Axioma de extensionalidad: Fundamento de $\text{ZFC}$ que establece que los conjuntos son idénticos si poseen los mismos miembros.

Propiedades y relaciones importantes

Igualdad de cardinalidades: Si $A = B$, entonces $|A| = |B|$ (el recíproco no es cierto: tener igual cardinalidad no implica ser el mismo conjunto).
Diferencia simétrica nula: $A = B \iff A \bigtriangleup B = \emptyset$.

Ejemplo guiado

Diagrama: Resolución de ecuaciones y diferencia simétrica nula

Demuestra mediante doble inclusión que el conjunto $A = \{x \in \mathbb{Z} \mid x^2 = 9\}$ es igual al conjunto $B = \{-3, 3\}$.

Paso 1: Demostrar la primera inclusión ($A \subseteq B$): - Sea $x \in A$. Por definición de $A$, $x \in \mathbb{Z}$ y $x^2 = 9$. - Las únicas soluciones enteras de $x^2 = 9$ son $x = 3$ o $x = -3$. - Como ambos valores pertenecen a $B$, todo elemento de $A$ está en $B$, probando que $A \subseteq B$.
Paso 2: Demostrar la segunda inclusión ($B \subseteq A$): - Sea $y \in B \implies y = -3$ o $y = 3$. - Si $y = -3 \implies (-3)^2 = 9 \implies -3 \in A$. - Si $y = 3 \implies 3^2 = 9 \implies 3 \in A$. - Por lo tanto, todo elemento de $B$ está en $A$, probando que $B \subseteq A$.
Paso 3: Concluir por el axioma de extensionalidad que $A = B$.

Procedimiento

Paso 1: Para verificar $A = B$, tomar un elemento genérico $x \in A$ y probar que necesariamente $x \in B$ ($A \subseteq B$).
Paso 2: Tomar un elemento genérico $y \in B$ y probar que necesariamente $y \in A$ ($B \subseteq A$).
Paso 3: Si ambas inclusiones son verdaderas, concluir formalmente que $A = B$.
Paso 4: Si se halla un solo elemento que pertenezca a uno pero no al otro, concluir que $A \neq B$.

Errores frecuentes y cómo corregirlos

Error 1: Afirmar que dos conjuntos son iguales solo porque tienen el mismo número de elementos ($|A| = |B|$). Cómo corregirlo: La igualdad de conjuntos exige que los elementos sean exactamente los mismos miembros, no solo que coincida la cantidad.
Error 2: Creer que $\{1, 2, 3\} \neq \{3, 2, 1\}$. Cómo corregirlo: En un conjunto el orden no importa; ambos contienen a los elementos $1, 2$ y $3$, por lo que son idénticos.

Ejemplos

Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.

Ejemplos Verdadero/Falso

Decide si cada afirmación es verdadera o falsa antes de ver la explicación.

"La igualdad de conjuntos $A = B$ es lógicamente equivalente a la doble inclusión simultánea $A \subseteq B \land B \subseteq A$."

"La afirmación de que la igualdad de cardinalidades $|A| = |B|$ garantiza que $A = B$."

"La afirmación de que dos conjuntos con descripciones verbales distintas no pueden ser iguales."

"La afirmación de que para demostrar $A = B$ basta con probar únicamente que $A \subseteq B$."

"La afirmación de que un conjunto finito nunca puede ser igual a un conjunto definido por comprensión."

"Dos conjuntos $A$ y $B$ son iguales si y solo si contienen exactamente los mismos elementos ($\forall x, x \in A \leftrightarrow x \in B$)."

"La afirmación de que modificar el orden de escritura genera un conjunto diferente."

Al terminar debes poder

Cuadro resumen: Igualdad de conjuntos, extensionalidad y equivalencia

Definir, verificar y demostrar la igualdad de conjuntos ($A = B$).

Aplicar el método de doble inclusión ($A \subseteq B \land B \subseteq A$) y emplear el axioma de extensionalidad.

Practica

Preguntas conceptuales

Verificar las ideas clave antes de calcular.

Si $A \\subseteq B$ y $B \\subseteq A$, ¿qué conclusión matemática se obtiene?
La doble contención es el método formal de demostrar que dos conjuntos son idénticos ($A = B$).

Respuesta: $A = B$
La repetición de elementos dentro de la notación de llaves de un conjunto:
En teoría de conjuntos, un elemento pertenece o no pertenece; repetirlo no aporta nuevos elementos ni altera la identidad del conjunto.

Respuesta: No altera la identidad del conjunto ni su relación de igualdad con otro
¿Cuándo se cumple que dos conjuntos $A$ y $B$ son iguales?
La igualdad de conjuntos se define por tener la misma identidad de elementos, no por el orden en que se listan ni por la repetición de los mismos.

Respuesta: Cuando contienen exactamente los mismos elementos, sin importar el orden ni la repetición

Reconocimiento

Identificar elementos, datos o procedimientos.

¿Cuál de las siguientes parejas de conjuntos representa conjuntos iguales?
El conjunto $A$ contiene los elementos 1, 2 y 3. El conjunto $B$ contiene 3, 2, 1 y una repetición del 2. Ambos conjuntos constan exactamente de los mismos elementos únicos: 1, 2 y 3.

Respuesta: $A = \\{1, 2, 3\\}$ y $B = \\{3, 2, 1, 2\\}$

Ejercicios básicos

Aplicar el procedimiento principal en casos simples.

¿El conjunto $P = \\{x \\in \\mathbb{N} : x^2 = 9\\}$ es igual al conjunto $Q = \\{-3, 3\\}$?
¿Son iguales los conjuntos $X = \\{a, b, c\\}$ e $Y = \\{c, b, a\\}$?
¿Es el conjunto $A = \\{x \\in \\mathbb{Z} : x^2 = 1\\}$ igual al conjunto $B = \\{-1, 1\\}$?

Preguntas tipo PAES

Resolver preguntas con formato y distractores similares a PAES.

En un taller mecánico se clasifican las herramientas. El conjunto $H$ de llaves inglesas disponibles coincide exactamente con el conjunto $K$ de herramientas que se compraron el mes pasado. Si se define el conjunto $M = H$ y el conjunto $N = K$, ¿cuál de las siguientes opciones describe correctamente la relación entre $M$ y $N$?
Como el enunciado establece que los elementos de ambos conjuntos coinciden exactamente, por definición de igualdad de conjuntos, $M = N$. El contexto de adquisición no altera esta igualdad matemática.

Respuesta: $M = N$ porque la igualdad de conjuntos depende de la coincidencia exacta de sus elementos en la realidad.
Dados los conjuntos $A = \\{x \\in \\mathbb{Z} : 1 < x < 5\\}$ y $B = \\{x \\in \\mathbb{N} : x^2 - 5x + 6 = 0 \\text{ o } x^2 - 7x + 12 = 0\\}$. ¿Cuál de las siguientes afirmaciones es correcta?
El conjunto $A$ contiene los enteros 2, 3, 4. Las ecuaciones cuadráticas de $B$ tienen como soluciones $x=2, 3$ y $x=3, 4$. Los números naturales en $B$ son entonces 2, 3 y 4. Ambos conjuntos tienen exactamente los mismos elementos.

Respuesta: $A$ es igual a $B$ porque ambos contienen exactamente los números 2, 3 y 4.
Sean los conjuntos $S = \\{x \\in \\mathbb{N} : x \\text{ es divisor de } 6\\}$ y $T = \\{1, 2, 3, 6\\}$. Si se define el conjunto $U = \\{x \\in S : x \\text{ es impar}\\}$ y $V = \\{1, 3\\}$, ¿qué par de igualdades de conjuntos es correcta?
Los divisores de 6 son 1, 2, 3, 6, por lo que $S = T$. Los divisores impares son 1 y 3, por lo que $U = \\{1, 3\\} = V$.

Respuesta: $S = T$ y $U = V$

Evaluación de dominio

Nivel 1 Definición

Nivel 2 Ejercicios simples

Nivel 3 Problemas de aplicación