El álgebra de conjuntos estudia reglas para operar, transformar y simplificar expresiones formadas por conjuntos. Permite razonar con precisión sobre datos, condiciones y relaciones.
El álgebra de conjuntos reúne las operaciones y propiedades que permiten manipular expresiones con conjuntos. Así como el álgebra numérica transforma expresiones con números y variables, el álgebra de conjuntos transforma expresiones con unión, intersección, diferencia y complemento.
Esta herramienta es útil para simplificar condiciones, comparar consultas, demostrar equivalencias y razonar sobre colecciones de datos.
Las operaciones básicas del álgebra de conjuntos son unión, intersección, diferencia, diferencia simétrica y complemento.
| Operación | Notación | Idea |
|---|---|---|
| Unión | A ∪ B | Elementos que están en A o en B |
| Intersección | A ∩ B | Elementos comunes a A y B |
| Diferencia | A - B | Elementos de A que no están en B |
| Diferencia simétrica | A △ B | Elementos que están en uno de los conjuntos, pero no en ambos |
| Complemento | Aᶜ | Elementos del universo que no están en A |
El álgebra de conjuntos necesita dos conjuntos especiales: el conjunto universal U y el conjunto vacío ∅.
Muchas identidades dependen de estos dos conjuntos.
Las identidades permiten eliminar operaciones que no cambian el resultado.
Unir con el vacío no agrega elementos. Intersectar con el universo no elimina elementos de A.
Algunas operaciones producen un resultado determinado sin importar el contenido de A.
El universo domina la unión y el vacío domina la intersección.
Repetir un conjunto en una unión o intersección no cambia el resultado.
Esto refleja que los conjuntos no duplican elementos.
La unión y la intersección permiten cambiar el orden y la forma de agrupar.
Estas propiedades permiten reordenar expresiones para simplificarlas.
La unión y la intersección se distribuyen una sobre la otra.
Estas reglas son útiles para transformar condiciones compuestas.
El complemento conecta un conjunto con el universo y el vacío.
El complemento de A contiene exactamente lo que falta para completar el universo.
Las leyes de De Morgan permiten transformar complementos de uniones e intersecciones.
Estas leyes conectan directamente el álgebra de conjuntos con la lógica booleana.
Las leyes de absorción reducen expresiones donde un conjunto ya contiene la información necesaria.
Son especialmente útiles para eliminar partes redundantes.
La diferencia puede reescribirse usando intersección y complemento.
Esto significa que tomamos los elementos de A y excluimos los que pertenecen a B.
La diferencia simétrica puede expresarse de varias formas equivalentes.
Ambas expresiones describen elementos que están en uno de los conjuntos, pero no en ambos.
Simplifiquemos una expresión usando propiedades del álgebra de conjuntos.
Primero usamos identidad de la intersección. Luego usamos absorción.
El álgebra de conjuntos se parece mucho al álgebra booleana. La unión se relaciona con "o", la intersección con "y", y el complemento con "no".
| Conjuntos | Lógica | Interpretación |
|---|---|---|
| A ∪ B | A o B | Cumple al menos una condición |
| A ∩ B | A y B | Cumple ambas condiciones |
| Aᶜ | no A | No cumple la condición A |
Podemos implementar operaciones de conjuntos con Set.
function union(a, b) {
return new Set([...a, ...b]);
}
function interseccion(a, b) {
return new Set([...a].filter(elemento => b.has(elemento)));
}
function diferencia(a, b) {
return new Set([...a].filter(elemento => !b.has(elemento)));
}
function complemento(universo, conjunto) {
return diferencia(universo, conjunto);
}Estas funciones permiten construir expresiones más complejas.
Podemos verificar una identidad comparando ambos lados con conjuntos concretos.
function union(a, b) {
return new Set([...a, ...b]);
}
function interseccion(a, b) {
return new Set([...a].filter(elemento => b.has(elemento)));
}
function diferencia(a, b) {
return new Set([...a].filter(elemento => !b.has(elemento)));
}
function complemento(universo, conjunto) {
return diferencia(universo, conjunto);
}
function sonIguales(a, b) {
return a.size === b.size && [...a].every(elemento => b.has(elemento));
}
const universo = new Set([1, 2, 3, 4, 5, 6]);
const a = new Set([1, 2, 3]);
const b = new Set([3, 4]);
const izquierda = complemento(universo, union(a, b));
const derecha = interseccion(complemento(universo, a), complemento(universo, b));
console.log([...izquierda]);
console.log([...derecha]);
console.log(sonIguales(izquierda, derecha));El ejemplo verifica la ley de De Morgan (A ∪ B)ᶜ = Aᶜ ∩ Bᶜ.
| Área | Uso del álgebra de conjuntos | Ejemplo |
|---|---|---|
| Filtros | Simplificar condiciones | Usuarios activos y suscriptos |
| Bases de datos | Comparar consultas equivalentes | Uniones, intersecciones y exclusiones |
| Permisos | Combinar y excluir accesos | Permisos asignados menos bloqueados |
| Testing | Validar resultados esperados | Comparar conjuntos de salidas |
| Lógica | Transformar expresiones | Aplicar De Morgan a condiciones negadas |
El álgebra de conjuntos proporciona un lenguaje formal para transformar expresiones, demostrar equivalencias y simplificar razonamientos sobre colecciones. Es una base directa para lógica, consultas, filtros y programación con datos.
En el próximo tema estudiaremos conjuntos numéricos: naturales, enteros, racionales y reales.