Propiedad conmutativa de la unión

Resumen inicial

Demostración lógica, propiedades y aplicación de la propiedad conmutativa de la unión de conjuntos: $A \cup B = B \cup A$.

Explicación en palabras simples

La propiedad conmutativa de la unión establece que el orden en que unimos dos conjuntos no altera el resultado final: $A \cup B = B \cup A$. Ya sea que pongas primero los elementos de $A$ o primero los de $B$, la bolsa final que los reúne a todos es exactamente la misma. Por ejemplo, si $A = \{1, 2\}$ y $B = \{3, 4\}$, entonces $\{1, 2\} \cup \{3, 4\} = \{1, 2, 3, 4\}$, que es idéntico a $\{3, 4\} \cup \{1, 2\} = \{3, 4, 1, 2\}$.

propiedad-conmutativa-de-la-union

Explicación formal

Definición formal

En la teoría de conjuntos y el álgebra de Boole, la operación binaria de unión $\cup: \mathcal{P}(\mathcal{U}) \times \mathcal{P}(\mathcal{U}) \to \mathcal{P}(\mathcal{U})$ es conmutativa:
$$\forall A, B \subseteq \mathcal{U}, \quad A \cup B = B \cup A$$
Demostración formal basada en la conmutatividad de la disyunción lógica ($\lor$):
$$x \in (A \cup B) \iff (x \in A \lor x \in B) \iff (x \in B \lor x \in A) \iff x \in (B \cup A)$$
Por el axioma de extensionalidad, se concluye formalmente que $A \cup B = B \cup A$.

Desglose simbólico

Ley lógica subyacente: $P \lor Q \equiv Q \lor P$.
Invarianza de diagramas de Venn: La superficie total sombreada de $A \cup B$ es topológicamente indistinguible de la de $B \cup A$.
Extensión a $n$ conjuntos: $\bigcup_{i=1}^n A_{\sigma(i)} = \bigcup_{i=1}^n A_i$ para cualquier permutación $\sigma \in S_n$.

Síntesis didáctica

La conmutatividad garantiza la simetría total en la recolección de elementos sin importar el punto de partida.

Definiciones clave

Propiedad conmutativa: Propiedad de una operación binaria donde permutar el orden de los operandos no modifica el resultado.
Conmutatividad de la disyunción: Equivalencia tautológica $P \lor Q \equiv Q \lor P$.
Axioma de extensionalidad: Fundamento que confirma la igualdad de conjuntos a partir de la equivalencia lógica de membresía.

Propiedades y relaciones importantes

Estructura de semigrupo conmutativo: $(\mathcal{P}(\mathcal{U}), \cup)$ es un monoide conmutativo con elemento neutro $\emptyset$.
Compatibilidad con inclusión: $A \subseteq B \iff A \cup B = B \iff B \cup A = B$.

Ejemplo guiado

Dados los conjuntos $A = \{a, b, c\}$ y $B = \{c, d, e\}$, demuestra paso a paso por extensión que $A \cup B = B \cup A$.

Ejemplo propiedad-conmutativa-de-la-union

Paso 1: Calcular $A \cup B$ tomando los elementos de $A$ y agregando los de $B$: - $A \cup B = \{a, b, c\} \cup \{c, d, e\} = \{a, b, c, d, e\}$.
Paso 2: Calcular $B \cup A$ tomando los elementos de $B$ y agregando los de $A$: - $B \cup A = \{c, d, e\} \cup \{a, b, c\} = \{c, d, e, a, b\}$.
Paso 3: Comparar la membresía de ambos conjuntos resultantes: - Ambos conjuntos contienen exactamente los mismos 5 elementos $\{a, b, c, d, e\}$.
Paso 4: Aplicar el axioma de extensionalidad (el orden dentro de las llaves no altera el conjunto).
Paso 5: Concluir formalmente que $A \cup B = B \cup A$.

Procedimiento

Paso 1: Expresar la condición de pertenencia $x \in (A \cup B)$ como $x \in A \lor x \in B$.
Paso 2: Conmutar la proposición lógica a $x \in B \lor x \in A$.
Paso 3: Reescribir como condición de conjunto $x \in (B \cup A)$.
Paso 4: Concluir por extensionalidad que $A \cup B = B \cup A$.

Errores frecuentes y cómo corregirlos

Error 1: Creer que $A \cup B$ y $B \cup A$ son conjuntos distintos porque sus elementos se escriben en diferente orden. Cómo corregirlo: En la teoría de conjuntos, el orden de escritura no altera la identidad del conjunto ($\{1, 2\} = \{2, 1\}$).
Error 2: Extrapolar la conmutatividad de la unión a la diferencia de conjuntos. Cómo corregirlo: La unión sí es conmutativa ($A \cup B = B \cup A$), pero la diferencia no lo es ($A \setminus B \neq B \setminus A$).

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 unión de conjuntos es estrictamente conmutativa para cualquier par de conjuntos ($A \cup B = B \cup A$)."

"La afirmación de que la diferencia de conjuntos también cumple la propiedad conmutativa."

"La afirmación de que la unión de conjuntos infinitos no obedece la ley conmutativa."

"La afirmación de que el orden de los conjuntos en la unión produce conjuntos distintos debido a la secuencia de escritura."

"La afirmación de que la propiedad conmutativa de la unión solo es válida para conjuntos disjuntos."

"La validez de la conmutatividad conjuntista se deriva directamente de la conmutatividad de la disyunción lógica ($P \lor Q \equiv Q \lor P$)."

"La afirmación de que conmutar los operandos de la unión altera su cardinalidad final."

Al terminar debes poder

Resumen propiedad-conmutativa-de-la-union

Enunciar, demostrar y aplicar la propiedad conmutativa de la unión ($A \cup B = B \cup A$).

Traducir la unión a disyunción lógica ($\lor$), conmutar proposiciones y aplicar el axioma de extensionalidad.

Practica

Preguntas conceptuales

Verificar las ideas clave antes de calcular.

Si sombreamos en un diagrama de Venn el conjunto $A \cup B$, y en otro diagrama idéntico sombreamos $B \cup A$, ¿cómo son las áreas sombreadas?
La unión abarca toda la región de ambos conjuntos. Por la propiedad conmutativa, el resultado gráfico de $A \cup B$ y $B \cup A$ es idéntico.

Respuesta: Exactamente iguales
¿Cuál de las siguientes igualdades es una representación directa de la propiedad conmutativa de la unión?
La propiedad conmutativa de la unión establece que el orden de los conjuntos no altera el resultado de la unión: $A \cup B = B \cup A$.

Respuesta: $A \cup B = B \cup A$
La propiedad conmutativa de la unión se justifica lógicamente a partir de:
La unión se define con la disyunción lógica 'o' ($x \in A \lor x \in B$). Como la disyunción es conmutativa, la unión también lo es.

Respuesta: La conmutatividad de la disyunción lógica ($p \lor q \equiv q \lor p$)

Reconocimiento

Identificar elementos, datos o procedimientos.

¿Cuál de las siguientes operaciones entre conjuntos NO es conmutativa en todos los casos?
La diferencia de conjuntos $A \setminus B$ consiste en los elementos de $A$ que no están en $B$. En general, esto es diferente de $B \setminus A$.

Respuesta: Diferencia ($A \setminus B$)

Ejercicios básicos

Aplicar el procedimiento principal en casos simples.

La propiedad conmutativa de la unión se cumple si uno de los conjuntos es el conjunto vacío.
Sean $A = \{1, 2\}$ y $B = \{2, 3\}$. ¿Se cumple que $A \cup B = B \cup A$?
Si $A \cup B = B \cup A$, ¿significa esto obligatoriamente que $A = B$?

Preguntas tipo PAES

Resolver preguntas con formato y distractores similares a PAES.

Considera los conjuntos de números reales $A = [-2, 5]$ y $B = [3, 8]$. Si se define $C = A \cup B$ y $D = B \cup A$, ¿cuál es la relación correcta entre $C$ y $D$?
Por conmutatividad de la unión, $A \cup B = B \cup A$. Calculando el intervalo unión se obtiene $[-2, 8]$ en ambos casos.

Respuesta: $C = D = [-2, 8]$
Se tienen dos conjuntos de control de calidad de piezas defectuosas: $P$ (defectos de pintura) y $E$ (defectos de ensamblaje). Un inspector afirma que la cantidad de piezas con al menos un defecto se puede calcular indistintamente como la cardinalidad de $P \cup E$ o de $E \cup P$. ¿Qué propiedad matemática valida esta afirmación?
Como $P \cup E = E \cup P$, la cardinalidad de ambos conjuntos es idéntica por la propiedad conmutativa de la unión.

Respuesta: La propiedad conmutativa de la unión
En una escuela de idiomas, el conjunto de estudiantes de inglés es $I$ y el de francés es $F$. El director quiere enviar una encuesta a todos los estudiantes que cursan al menos uno de estos idiomas. Para ello, pide la lista de $I \cup F$. La secretaria le entrega la lista calculando $F \cup I$. ¿Cuál de las siguientes opciones describe el resultado?
Por la conmutatividad de la unión, $I \cup F = F \cup I$. Ambas listas contienen exactamente al mismo grupo de estudiantes.

Respuesta: El resultado de la secretaria es idéntico al solicitado por el director debido a la propiedad conmutativa de la unión.

Evaluación de dominio

Nivel 1 Definición

Nivel 2 Ejercicios simples

Nivel 3 Problemas de aplicación