Propiedad asociativa de la unión

Resumen inicial

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

Explicación en palabras simples

La propiedad asociativa de la unión dice que cuando unimos tres o más conjuntos, no importa cómo los agrupemos con paréntesis: el resultado final es siempre el mismo: $(A \cup B) \cup C = A \cup (B \cup C)$. Puedes unir primero $A$ con $B$ y al resultado unirle $C$, o bien unir primero $B$ con $C$ y luego unirle $A$. Como el resultado no cambia, solemos escribir simplemente $A \cup B \cup C$ sin necesidad de paréntesis.

propiedad-asociativa-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 es asociativa:
$$\forall A, B, C \subseteq \mathcal{U}, \quad (A \cup B) \cup C = A \cup (B \cup C)$$
Demostración formal basada en la asociatividad de la disyunción lógica ($\lor$):
$$x \in ((A \cup B) \cup C) \iff (x \in A \lor x \in B) \lor x \in C \iff x \in A \lor (x \in B \lor x \in C) \iff x \in (A \cup (B \cup C))$$
Por el axioma de extensionalidad, se concluye la igualdad de los conjuntos.

Desglose simbólico

Ley lógica subyacente: $(P \lor Q) \lor R \equiv P \lor (Q \lor R)$.
Notación no ambigua sin paréntesis: $A \cup B \cup C = \{x \in \mathcal{U} \mid x \in A \lor x \in B \lor x \in C\}$.
Generalización asociativa: $\bigcup_{i=1}^n A_i$ es invariante ante cualquier árbol de parentización binaria (números de Catalan).

Síntesis didáctica

La asociatividad permite extender operaciones binarias a un número arbitrario de operandos sin ambigüedad estructural.

Definiciones clave

Propiedad asociativa: Invarianza del resultado ante la redistribución de los signos de agrupación (paréntesis).
Asociatividad de la disyunción: Equivalencia lógica tautológica $(P \lor Q) \lor R \equiv P \lor (Q \lor R)$.
Unión múltiple ($A \cup B \cup C$): Agregación global directa de todos los elementos presentes en al menos uno de los conjuntos.

Propiedades y relaciones importantes

Estructura de semigrupo: La asociatividad confiere a $(\mathcal{P}(\mathcal{U}), \cup)$ la categoría matemática de semigrupo.
Diagrama de Venn: En un diagrama de tres círculos, $(A \cup B) \cup C$ y $A \cup (B \cup C)$ sombrean exactamente la misma superficie compuesta por las 7 regiones interiores.

Ejemplo guiado

Dados los conjuntos $A = \{1, 2\}$, $B = \{2, 3\}$ y $C = \{3, 4\}$, demuestra por extensión que $(A \cup B) \cup C = A \cup (B \cup C)$.

Ejemplo propiedad-asociativa-de-la-union

Paso 1: Resolver el lado izquierdo $(A \cup B) \cup C$: - Primero calcular el paréntesis: $A \cup B = \{1, 2\} \cup \{2, 3\} = \{1, 2, 3\}$. - Unir con $C$: $(A \cup B) \cup C = \{1, 2, 3\} \cup \{3, 4\} = \{1, 2, 3, 4\}$.
Paso 2: Resolver el lado derecho $A \cup (B \cup C)$: - Primero calcular el paréntesis: $B \cup C = \{2, 3\} \cup \{3, 4\} = \{2, 3, 4\}$. - Unir con $A$: $A \cup (B \cup C) = \{1, 2\} \cup \{2, 3, 4\} = \{1, 2, 3, 4\}$.
Paso 3: Comparar ambos resultados: $\{1, 2, 3, 4\} = \{1, 2, 3, 4\}$.
Paso 4: Concluir formalmente la validez de la propiedad asociativa.

Procedimiento

Paso 1: Expresar la condición $x \in ((A \cup B) \cup C)$ como $(x \in A \lor x \in B) \lor x \in C$.
Paso 2: Aplicar la asociatividad de la disyunción lógica para reordenar a $x \in A \lor (x \in B \lor x \in C)$.
Paso 3: Traducir a la notación conjuntista $x \in (A \cup (B \cup C))$.
Paso 4: Concluir la igualdad $(A \cup B) \cup C = A \cup (B \cup C)$ por extensionalidad.

Errores frecuentes y cómo corregirlos

Error 1: Modificar los operadores en vez de los paréntesis al aplicar la asociatividad (ej. poner $(A \cup B) \cap C$). Cómo corregirlo: La propiedad asociativa mantiene el MISMO operador en toda la expresión ($\cup$ y $\cup$); si los operadores son distintos se trata de distributividad.
Error 2: Creer que la asociatividad permite alterar el orden relativo de los conjuntos sin justificar la conmutatividad. Cómo corregirlo: La asociatividad redistribuye signos de agrupación manteniendo la posición; alterar el orden de los términos involucra también conmutatividad.

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 afirmación de que la unión de tres conjuntos finitos depende del par inicial que se decida operar."

"La afirmación de que es obligatorio mantener siempre los paréntesis en la notación $A \cup B \cup C$."

"La asociatividad de la unión se deduce de la equivalencia tautológica de la disyunción lógica ($(P \lor Q) \lor R \equiv P \lor (Q \lor R)$)."

"La afirmación de que la propiedad asociativa se aplica cuando se mezclan uniones e intersecciones sin distribuir."

"La afirmación de que la asociatividad no es válida para familias infinitas de conjuntos."

"La unión de conjuntos es asociativa para cualquier terna de conjuntos ($(A \cup B) \cup C = A \cup (B \cup C)$)."

"La afirmación de que la redistribución de paréntesis altera el conjunto resultante en una cadena de uniones."

Al terminar debes poder

Resumen propiedad-asociativa-de-la-union

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

Reagrupar paréntesis sin alterar el resultado, vincular con la asociatividad lógica de $\lor$ y simplificar uniones múltiples.

Practica

Preguntas conceptuales

Verificar las ideas clave antes de calcular.

Gracias a la propiedad asociativa de la unión, ¿cómo podemos escribir la unión de tres conjuntos $A$, $B$ y $C$ sin generar ambigüedad?
Como el agrupamiento con paréntesis no altera el resultado final, es posible omitirlos y escribir simplemente $A \cup B \cup C$.

Respuesta: $A \cup B \cup C$
¿Cuál de las siguientes opciones describe correctamente la propiedad asociativa de la unión?
La propiedad asociativa de la unión indica que la agrupación de las uniones parciales no altera el resultado: $(A \cup B) \cup C = A \cup (B \cup C)$.

Respuesta: $(A \cup B) \cup C = A \cup (B \cup C)$
La propiedad asociativa de la unión se basa en que en la lógica proposicional se cumple la asociatividad de:
La unión se asocia con el conector 'o' ($\lor$). La propiedad $(p \lor q) \lor r \equiv p \lor (q \lor r)$ justifica la asociatividad de la unión.

Respuesta: La disyunción lógica ($o$)

Reconocimiento

Identificar elementos, datos o procedimientos.

Dados $A = \{1\}$, $B = \{2\}$ y $C = \{3\}$, ¿cuál es el resultado de resolver $(A \cup B) \cup C$?
Primero resolvemos $A \cup B = \{1, 2\}$. Luego unimos con $C$: $\{1, 2\} \cup \{3\} = \{1, 2, 3\}$.

Respuesta: $\{1, 2, 3\}$

Ejercicios básicos

Aplicar el procedimiento principal en casos simples.

Si tenemos los conjuntos $A = \{a\}$, $B = \{b\}$ y $C = \{c\}$, ¿da el mismo resultado calcular $(A \cup B) \cup C$ que $A \cup (B \cup C)$?
La propiedad asociativa de la unión no se cumple si uno de los conjuntos involucrados es el conjunto vacío.
La igualdad $(A \cup B) \cup C = A \cup (B \cup C)$ demuestra la propiedad conmutativa.

Preguntas tipo PAES

Resolver preguntas con formato y distractores similares a PAES.

Tres empresas de transportes comparten bases de datos de ciudades a las que llegan: Empresa A ($A$), Empresa B ($B$) y Empresa C ($C$). Si un cliente desea saber la cobertura total del consorcio, ¿cuál de las siguientes igualdades algebraicas de conjuntos representa correctamente que la cobertura total es la misma sin importar cómo se planifique la integración de las bases de datos?
La cobertura total es la unión de todas las ciudades cubiertas. La propiedad asociativa $(A \cup B) \cup C = A \cup (B \cup C)$ demuestra que la agrupación no altera el resultado.

Respuesta: $(A \cup B) \cup C = A \cup (B \cup C)$
Considere tres conjuntos de números enteros: $A = \{x \in \mathbb{Z} \mid x \text{ es múltiplo de } 2\}$, $B = \{x \in \mathbb{Z} \mid x \text{ es múltiplo de } 3\}$ y $C = \{x \in \mathbb{Z} \mid x \text{ es múltiplo de } 5\}$. Si realizamos la operación $(A \cup B) \cup C$, ¿cuál de las siguientes opciones describe correctamente a los elementos de este conjunto?
La unión $(A \cup B) \cup C$ agrupa a todos los elementos que pertenezcan a al menos uno de los tres conjuntos, sin importar cómo se agrupen por la asociatividad.

Respuesta: Son todos los enteros que son múltiplos de 2, de 3 o de 5 (o de varios de ellos).
Un sistema de correo masivo permite crear listas de difusión combinando conjuntos de contactos. Para enviar un anuncio, se deben unir tres listas de clientes: VIP ($V$), Recurrentes ($R$) y Nuevos ($N$). Si el sistema calcula la unión programando primero unir(VIP, Recurrentes) y a eso le añade Nuevos, ¿qué ocurriría si en su lugar se programara primero unir(Recurrentes, Nuevos) y luego se le añadiera VIP?
La propiedad asociativa de la unión garantiza que $(V \cup R) \cup N = V \cup (R \cup N)$, resultando en el mismo conjunto de contactos.

Respuesta: Se obtiene exactamente la misma lista final debido a la propiedad asociativa de la unión.

Evaluación de dominio

Nivel 1 Definición

Nivel 2 Ejercicios simples

Nivel 3 Problemas de aplicación