Resumen de Fundamentos de la Teoría de Conjuntos

## Introducción La teoría de conjuntos es la rama de las matemáticas que estudia colecciones de objetos llamados **elementos**. Aprender a manejar conjuntos y sus operaciones fundamentales ayuda a organizar ideas, analizar problemas y modelar situaciones reales como bases de datos, encuestas y lógica computacional. > **Definición:** Un conjunto es una colección bien definida de elementos. Se denota por letras mayúsculas como $A$, $B$, $C$. ## Conceptos esenciales ### Elementos y notación - Si $x$ pertenece al conjunto $A$ se escribe $x\in A$. Si no pertenece se escribe $x\notin A$. - Un conjunto finito se escribe entre llaves, por ejemplo $A = \{1,2,3\}$. > **Definición:** La diferencia de conjuntos $A\setminus B$ es el conjunto de elementos que están en $A$ y no en $B$. ### Operaciones básicas (recordatorio) - **Unión:** $A\cup B$ contiene los elementos que están en $A$ o en $B$ (o en ambos). - **Intersección:** $A\cap B$ contiene los elementos que están tanto en $A$ como en $B$. - **Diferencia:** $A\setminus B$ contiene los elementos de $A$ que no están en $B$. Tabla comparativa | Operación | Símbolo | Descripción | |---|---:|---| | Unión | $A\cup B$ | Elementos en $A$ o en $B$ | | Intersección | $A\cap B$ | Elementos en $A$ y en $B$ | | Diferencia | $A\setminus B$ | Elementos en $A$ que no están en $B$ | Fun fact: ¿Sabías que la teoría de conjuntos es la base formal de casi toda la matemática moderna y que conceptos como funciones, relaciones y números se formalizan mediante conjuntos? ## Ejercitación guiada (resolución paso a paso) A continuación se desarrollan y explican los ejercicios propuestos. ### a) Demostrar que $\left(A\setminus C\right)\cup\left(B\setminus C\right)=\left(A\cup B\right)\setminus C$ Explicación y demostración por doble inclusión: 1. Demostrar $\left(A\setminus C\right)\cup\left(B\setminus C\right)\subseteq \left(A\cup B\right)\setminus C$: - Sea $x\in \left(A\setminus C\right)\cup\left(B\setminus C\right)$. Entonces $x\in A\setminus C$ o $x\in B\setminus C$. - Si $x\in A\setminus C$ entonces $x\in A$ y $x\notin C$, por lo que $x\in A\cup B$ y $x\notin C$, así $x\in\left(A\cup B\right)\setminus C$. - Caso análogo si $x\in B\setminus C$. Por tanto la inclusión se cumple. 2. Demostrar $\left(A\cup B\right)\setminus C\subseteq \left(A\setminus C\right)\cup\left(B\setminus C\right)$: - Sea $x\in \left(A\cup B\right)\setminus C$. Entonces $x\in A\cup B$ y $x\notin C$. - Si $x\in A$ entonces $x\in A\setminus C$. Si $x\in B$ entonces $x\in B\setminus C$. En ambos casos $x\in\left(A\setminus C\right)\cup\left(B\setminus C\right)$. 3. Con ambas inclusiones obtenemos la igualdad deseada. > **Resumen de la demostración:** Para probar igualdades de conjuntos conviene usar doble inclusión; aquí cada elemento de un lado pertenece al otro y viceversa. ### b) Encontrar $A$ y $B$ tales que - $A\cup B=\{1,2,3,4,5,6,7\}$ - $A\cap B=\{1,2\}$ - $A\setminus B=\{5\}$ Razonamiento paso a paso: 1. Como $A\setminus B=\{5\}$, entonces $5\in A$ y $5\notin B$. 2. Como $A\cap B=\{1,2\}$, entonces $1,2\in A$ y $1,2\in B$. 3. La unión debe ser todos los números del 1 al 7. Los elementos restantes a distribuir son $3,4,6,7$. 4. Los elementos que están en la intersección ya asignados son $1,2$. El $5$ está solo en $A$. Los demás pueden estar en $A$, en $B$ o en ambos siempre que no contradigan la intersección dada. Una solución concreta (una entre varias posibles) es: - $A=\{1,2,5,3,4\}$ - $B=\{1,2,6,7,3,4\}$ Verificación: - $A\cup B=\{1,2,3,4,5,6,7\}$ correcto. - $A\cap B=\{1,2,3,4\}\cap\{1,2,6,7,3,4\}=\{1,2,3,4\}$, esto NO coincide con la condición. Por tanto debemos ajustar para que la intersección sea exactamente $\{1,2\}$. Ajuste: poner $3,4$ en exactamente uno de los conjuntos y $6,7$ en exactamente uno para cubrir la unión. - Tomemos $A=\{1,2,5,3\}$ y $B=\{1,2,6,7,4\}$. - Unión: $\{1,2,3,4,5,6,7\}$ correcto. - Intersección: $\{1,2\}$ correcto. - Diferencia $A\setminus B=\{3,5\}$, aún hay que evita