Partición de un conjunto
Resumen inicial
Definición, condiciones formales (no vacuidad, disyunción dos a dos y recubrimiento total) y aplicaciones de la partición de un conjunto.
Explicación en palabras simples
Una partición de un conjunto $A$ es una forma de dividir o repartir todos los elementos de $A$ en grupos más pequeños (llamados bloques o celdas), de manera que se cumplan tres reglas fundamentales:
1. Ningún grupo puede estar vacío (todos tienen al menos un elemento).
2. Los grupos no se cruzan (son disjuntos: ningún elemento puede estar en dos grupos a la vez).
3. No se deja a ningún elemento afuera (la unión de todos los grupos vuelve a formar el conjunto original $A$).
Por ejemplo, si $A = \{1, 2, 3, 4\}$, una partición válida de $A$ es $\{\{1, 2\}, \{3, 4\}\}$.
Explicación formal
Definición formal
En la teoría de conjuntos y el álgebra abstracta, una familia de subconjuntos $\mathcal{P} = \{A_i\}_{i \in I}$ de un conjunto no vacío $A$ es una partición de $A$ si y solo si satisface simultáneamente tres axiomas:
1. No vacuidad de los bloques: $\forall i \in I, \quad A_i \neq \emptyset$.
2. Disyunción dos a dos (mutuamente disjuntos): $\forall i, j \in I \, (i \neq j \implies A_i \cap A_j = \emptyset)$.
3. Recubrimiento exhaustivo total: $\bigcup_{i \in I} A_i = A$.
Desglose simbólico
- Bloques o clases: Cada subconjunto $A_i \in \mathcal{P}$.
- Teorema Fundamental de las Relaciones de Equivalencia: Toda relación de equivalencia $\sim$ sobre $A$ induce una partición canónica $A/\sim$ (conjunto cociente formado por las clases de equivalencia $[x]$), y recíprocamente, toda partición induce una relación de equivalencia.
- Número de Bell ($B_n$): Cantidad total de particiones posibles de un conjunto finito de $n$ elementos.
Síntesis didáctica
Una partición fragmenta un conjunto de forma perfecta y exhaustiva: cada elemento del universo pertenece a exactamente una y solo una celda de la partición.
La alternativa correcta es 'Bloques no vacíos, disjuntos dos a dos y unión total igual a $A$'. Son los tres axiomas constitutivos de una partición.
Definiciones clave
- Partición de un conjunto: Colección de subconjuntos no vacíos, disjuntos dos a dos, cuya unión es el conjunto original.
- Bloque / Celda de partición: Cada uno de los subconjuntos miembros de la partición.
- Conjunto cociente ($A/\sim$): Partición inducida por las clases de equivalencia de una relación.
Propiedades y relaciones importantes
- Suma de cardinalidades: Para un conjunto finito $A$ particionado en $\{A_1, \dots, A_k\}$, se cumple exactamente $\sum_{i=1}^k |A_i| = |A|$.
- Particiones extremas: Para todo conjunto $A$, la partición trivial $\{A\}$ y la partición discreta $\{\{x\} \mid x \in A\}$ son siempre particiones válidas.
Ejemplo guiado
Dado el conjunto $A = \{1, 2, 3\}$, determina si las siguientes familias son particiones válidas de $A$: (a) $\mathcal{F}_1 = \{\{1\}, \{2, 3\}\}$, (b) $\mathcal{F}_2 = \{\{1, 2\}, \{2, 3\}\}$, (c) $\mathcal{F}_3 = \{\{1\}, \{2\}\}$.
- Paso 1: Evaluar $\mathcal{F}_1 = \{\{1\}, \{2, 3\}\}$: - Bloques no vacíos: $\{1\} \neq \emptyset$ y $\{2, 3\} \neq \emptyset$ ($V$). - Disyuntos: $\{1\} \cap \{2, 3\} = \emptyset$ ($V$). - Unión total: $\{1\} \cup \{2, 3\} = \{1, 2, 3\} = A$ ($V$). - Conclusión: $\mathcal{F}_1$ **SÍ es una partición válida** de $A$.
- Paso 2: Evaluar $\mathcal{F}_2 = \{\{1, 2\}, \{2, 3\}\}$: - Intersección: $\{1, 2\} \cap \{2, 3\} = \{2\} \neq \emptyset$. - Como los bloques no son disjuntos, $\mathcal{F}_2$ **NO es una partición**.
- Paso 3: Evaluar $\mathcal{F}_3 = \{\{1\}, \{2\}\}$: - Unión total: $\{1\} \cup \{2\} = \{1, 2\} \neq A$ (falta el elemento $3$). - Al no cubrir todo el conjunto, $\mathcal{F}_3$ **NO es una partición**.
La alternativa correcta es '$5$ particiones distintas'. Las particiones de $\{1, 2, 3\}$ son: $\{\{1,2,3\}\}$, $\{\{1\},\{2,3\}\}$, $\{\{2\},\{1,3\}\}$, $\{\{3\},\{1,2\}\}$ y $\{\{1\},\{2\},\{3\}\}$.
Procedimiento
- Paso 1: Verificar que ningún bloque de la familia propuesta sea el conjunto vacío ($\emptyset \notin \mathcal{P}$).
- Paso 2: Comparar cada par de bloques distintos y comprobar que su intersección sea estrictamente vacía ($A_i \cap A_j = \emptyset$).
- Paso 3: Unir todos los bloques de la familia y comprobar si el resultado reproduce exactamente al conjunto original $A$.
- Paso 4: Si se satisfacen las tres condiciones, declarar que la familia constituye una partición formal de $A$.
Errores frecuentes y cómo corregirlos
- Error 1: Incluir el conjunto vacío como un bloque de la partición (ej. $\{\emptyset, \{1\}, \{2\}\}$). Cómo corregirlo: Por definición axiomática, todos los bloques de una partición deben ser no vacíos ($A_i \neq \emptyset$).
- Error 2: Repetir elementos entre bloques distintos. Cómo corregirlo: Cada elemento debe pertenecer a una y solo una celda; si dos bloques se intersectan, la familia no es una partición.
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- $P \neq \emptyset$ e $I \neq \emptyset$.
- $P \cap I = \emptyset$.
- $P \cup I = \mathbb{Z}$. Constituyen una partición formal.
- Es la partición más fina posible (partición discreta).
- Sí, al ser disjuntos la suma de cardinalidades coincide con la cardinalidad total de $A$.
- Sí, por el Teorema Fundamental de las Relaciones de Equivalencia.
Ejemplos Verdadero/Falso
Decide si cada afirmación es verdadera o falsa antes de ver la explicación.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación es correcta.
Esta afirmación es correcta.
Esta afirmación describe un error frecuente: es incorrecta.
Al terminar debes poder
Definir, validar y construir particiones de un conjunto.
Verificar los tres axiomas (no vacuidad, disyunción dos a dos y recubrimiento total $\bigcup A_i = A$) y relacionarlas con las clases de equivalencia.
Practica
Preguntas conceptuales
Verificar las ideas clave antes de calcular.
-
Si la colección $P = \\{A_1, A_2\\}$ es una partición del conjunto $A$, ¿cuál es la intersección $A_1 \\cap A_2$?
Los bloques de una partición deben ser disjuntos entre sí, por lo que su intersección debe ser necesariamente el conjunto vacío.
Respuesta: $\\emptyset$
-
¿Cuáles son las condiciones para que una colección de conjuntos sea una partición de un conjunto $A$?
Una partición divide un conjunto de forma exacta: ningún bloque está vacío, no se superponen (disjuntos) y su unión cubre el conjunto original por completo.
Respuesta: Que los conjuntos sean no vacíos, mutuamente disjuntos y que su unión sea igual a $A$
-
Si un conjunto $A_i$ de una partición es vacío, ¿por qué no es una partición válida?
Por definición formal, una partición no permite que sus bloques constituyentes sean vacíos.
Respuesta: Logicamente, por definición, los bloques de una partición deben ser conjuntos no vacíos
Reconocimiento
Identificar elementos, datos o procedimientos.
-
¿Cuál de las siguientes colecciones representa una partición del conjunto $S = \\{1, 2, 3, 4\\}$?
Los bloques $\\{1, 3\\}$ y $\\{2, 4\\}$ son no vacíos, disjuntos, y su unión es $\\{1, 2, 3, 4\\} = S$.
Respuesta: $P = \\{\\{1, 3\\}, \\{2, 4\\}\\}$
Ejercicios básicos
Aplicar el procedimiento principal en casos simples.
-
¿La colección $P = \\{\\{a\\}, \\{b, c\\}\\}$ es una partición de $A = \\{a, b, c\\}$?
Los bloques son no vacíos, no se superponen (intersección vacía) y su unión es $\\{a, b, c\\}$, cumpliendo con la definición de partición.
Respuesta: Verdadero
-
¿La división del conjunto de los números enteros en números pares y números impares constituye una partición de los enteros?
Los pares y los impares no comparten números (disjuntos) y todo entero es par o impar (unión exhaustiva), siendo ambos no vacíos.
Respuesta: Verdadero
-
¿Es una partición válida la colección $P = \\{\\{1, 2\\}, \\{3\\}\\}$ para el conjunto $A = \\{1, 2, 3, 4\\}$?
La unión de los bloques de la colección $P$ es $\\{1, 2, 3\\}$, lo cual no cubre al elemento 4 de $A$. Por tanto, no es exhaustiva y no es partición.
Respuesta: Falso
Preguntas tipo PAES
Resolver preguntas con formato y distractores similares a PAES.
-
Para clasificar a los participantes de un concurso científico, la organización decide dividirlos en 3 categorías según sus edades: Categoría $X$ (menos de 15 años), Categoría $Y$ (de 15 a 17 años inclusive) y Categoría $Z$ (de 18 a 20 años inclusive). Si todos los participantes tienen entre 12 y 20 años, ¿cuál de las siguientes opciones describe correctamente a esta clasificación?
Como los rangos de edad no se superponen, las categorías son disjuntas. Además, todos los participantes caen en algún rango (unión exhaustiva) y asumimos categorías no vacías. Esto define una partición.
Respuesta: Constituye una partición del conjunto de participantes porque cada participante pertenece a una y solo una categoría y la unión cubre a todos.
-
En una empresa de software, cada empleado está asignado a exactamente uno de los siguientes tres equipos: Desarrollo ($D$), Soporte ($S$) o Ventas ($V$). Si no hay empleados sin equipo, ¿qué relación de conjuntos modela de forma precisa la estructura de la empresa ($E$)?
Como cada empleado está en exactamente un equipo (los equipos son disjuntos) y nadie está sin equipo (la unión de los equipos da el total de empleados $E$), la colección de equipos es una partición de $E$.
Respuesta: La colección $\\{D, S, V\\}$ es una partición del conjunto de empleados $E$.
-
Sea $U = \\{x \\in \\mathbb{N} : x \\le 6\\}$ el conjunto original. Se proponen tres colecciones de subconjuntos de $U$: $P_1 = \\{\\{1, 2\\}, \\{3, 4\\}, \\{5, 6\\}\\}$, $P_2 = \\{\\{1, 2, 3\\}, \\{3, 4, 5, 6\\}\\}$ y $P_3 = \\{\\{1, 2\\}, \\{4, 5, 6\\}\\}$. ¿Cuál o cuáles de estas propuestas corresponden a particiones válidas de $U$?
$P_1$ cumple todas las condiciones. $P_2$ no es disjunta porque comparte el 3. $P_3$ no es exhaustiva porque no incluye al 3. Por lo tanto, solo $P_1$ es una partición.
Respuesta: Solo $P_1$