Resumen de Cuantificadores y Teoría de Conjuntos

## Introducción La **teoría de conjuntos** estudia cómo agrupar objetos que comparten propiedades comunes. Un conjunto reúne elementos que cumplen una o varias condiciones; esta herramienta es fundamental en todas las ramas de las matemáticas y en aplicaciones como bases de datos, clasificación y lógica. > Definición: Un conjunto es una colección de elementos que cumplen ciertas propiedades. ## Formas de definir conjuntos ### 1) Por extensión Se listan los elementos uno por uno. Ejemplo: $$A = \{3,4,0,-2,\pi,\sqrt{3},10-9\}$$ ### 2) Por comprensión Se especifica una propiedad que deben cumplir los elementos dentro de un conjunto universal $U$. Ejemplos: - Si $U = \mathbb{N}$: $$A = \{x \in \mathbb{N} : x\ \text{es primo}\}$$ - $$B = \{n \in \mathbb{N} : 2342\ \text{es divisible por } n\}$$ > Observación: Algunos conjuntos universales frecuentes son $\mathbb{R}$, $\mathbb{Z}$, $\mathbb{N}$, $\mathbb{C}$. ## Pertenencia y no pertenencia - Si un elemento $a$ pertenece al conjunto $X$ escribimos $a \in X$. - Si no pertenece escribimos $a \notin X$. ## Igualdad de conjuntos > Definición: Dos conjuntos $A$ y $B$ son iguales, $A = B$, si y sólo si tienen exactamente los mismos elementos. Equivalencia práctica: $$A = B \Longleftrightarrow \bigl(\forall x\, (x \in A \Rightarrow x \in B)\bigr)\ \text{y}\ \bigl(\forall x\, (x \in B \Rightarrow x \in A)\bigr)$$ Ejemplo: Determinar si estos conjuntos son iguales: $$A = \{2k+1\; /\; 7 < k < 13 ;\ k \in \mathbb{N}\}$$ $$B = \{25,23,21,19,17,25,23,19\}$$ Solución: Calcular los valores de $2k+1$ para $k=8,9,10,11,12$ y comparar con los elementos listados en $B$ (eliminar repeticiones en $B$ para comparar correctamente). ## Ejemplos con proposiciones sobre conjuntos Dado $$A = \{-1,0,1,2\}$$ y las proposiciones: - $$p:\ (\forall x \in A)\ (3x+2 < 8)$$ - $$q:\ (\forall x \in A)\ (\exists y \in A)\ (x+y = 1)$$ Solución resumida: - Para $p$: revisar cada $x\in A$. Para $x=2$ se obtiene $3\cdot 2+2=8$ y $8<8$ es falso, luego $p$ es falsa. - Para $q$: para cada $x\in A$ existe un $y\in A$ tal que $x+y=1$ (por ejemplo $y=2$ para $x=-1$, $y=1$ para $x=0$, $y=0$ para $x=1$, $y=-1$ para $x=2$). Luego $q$ es verdadera. ## Ejercicios tipo (resueltos y para practicar) 1) Dados $A = \{1,0,-2,-\tfrac{1}{2}\}$ y $B = \{-2,2,1\}$, determine el valor de verdad de: 1. $$(\forall x \in A)(\exists y \in B)\ (xy+1<0\ \lor\ x^{2}-y^{2}=0)$$ 2. $$(\exists x \in A)(\forall y \in B)\ (xy+1<0\ \lor\ x^{2}-y^{2}=0)$$ - Método: evaluar caso por caso los elementos de $A$ y $B$ y comprobar las condiciones lógicas. 2) Sea $A = \{-1,-\tfrac{1}{2},0,\tfrac{1}{2},1\}$. Proposiciones: - $$p:\ (\forall x \in A)(\forall y \in A)\ x+y \le 1$$ - $$q:\ (\forall x \in A)(\exists y \in A)\ x^{2} \le y$$ - Método: para $p$ revisar las sumas máximas; para $q$ probar para cada $x$ si existe algún $y$ en $A$ que cumpla la desigualdad. ## Tabla comparativa: formas de definir conjuntos | Forma | Qué indica | Ejemplo | |---|---:|---| | Por extensión | Lista explícita de elementos | $\{0,1,2\}$ | | Por comprensión | Propiedad que deben cumplir | $\{x\in\mathbb{N}: x\ \text{es par}\}$ | ## Aplicaciones y ejemplos del mundo real - Bases de datos: filas que cumplen un filtro forman un conjunto por comprensión. - Clasificación: agrupar correos electrónicos en "spam" y "no spam". - Teoría de la información y probabilidad: eventos son subconjuntos del espacio muestral. ¿Sabías que el uso de conjuntos es la base de la programación funcional y de operaciones sobre colecciones en muchos lenguajes, como filtrado y mapeo? Esta idea conecta la teoría matemática de conjuntos con transformaciones de datos en la práctica. Fun fact: El concepto moderno de conjunto fue formalizado a fines del siglo XIX por Georg Cantor, y su trabajo dio lugar a la teoría de conjuntos que fundamenta gran parte de la matemática actual.