Conjunto
Un conjunto es una colección bien definida de objetos distintos, llamados elementos, considerada como una sola entidad.
Un conjunto es una colección bien definida de objetos distintos, llamados elementos, que se considera como una sola entidad. Los elementos pueden ser números, letras, personas, figuras o incluso otros conjuntos. La noción es tan básica que sirve de cimiento a casi toda la matemática moderna, y fuera de ella se usa con el sentido más amplio de «agrupación de cosas que forman un todo», como en un conjunto musical o un conjunto de prendas.
¿Qué es un conjunto?
En matemáticas, un conjunto queda determinado por sus elementos: lo único que importa es qué objetos pertenecen a él y cuáles no. Por eso se cumplen dos propiedades esenciales: el orden de los elementos no importa, y repetirlos tampoco, de modo que {1, 2, 3} y {3, 1, 2, 2} representan el mismo conjunto. La condición de estar «bien definida» exige que, dado cualquier objeto, se pueda decidir sin ambigüedad si pertenece o no al conjunto. «Los números pares menores que 10» es un conjunto; «los números interesantes» no lo es.
La palabra procede del latín coniunctus, participio de coniungere, «unir, juntar». La teoría de conjuntos como disciplina matemática fue creada por el alemán Georg Cantor, que publicó sus primeros resultados en 1874; Richard Dedekind contribuyó de forma decisiva al desarrollo de las ideas relacionadas.
Notación básica
Los conjuntos se nombran con letras mayúsculas (A, B, C) y sus elementos se escriben entre llaves. Hay dos maneras de definirlos:
- Por extensión: se enumeran los elementos. Las vocales: V = {a, e, i, o, u}.
- Por comprensión: se indica la propiedad que cumplen. Los números pares positivos: P = {x | x es un entero positivo par}, que se lee «el conjunto de los x tales que…».
| Símbolo | Se lee | Ejemplo |
|---|---|---|
| ∈ | pertenece a | 3 ∈ {1, 2, 3} |
| ∉ | no pertenece a | 5 ∉ {1, 2, 3} |
| ⊆ | está contenido en (subconjunto) | {1, 2} ⊆ {1, 2, 3} |
| ∅ | conjunto vacío (sin elementos) | Los números pares terminados en 1 |
| |A| | cardinal de A (número de elementos) | |{a, e, i, o, u}| = 5 |
| U | conjunto universal (el que contiene todo lo considerado) | Los números del 1 al 10 |
Tipos de conjuntos
- Finitos: tienen un número limitado de elementos, como los días de la semana.
- Infinitos: no se pueden contar de principio a fin, como los números naturales.
- Vacío (∅): carece de elementos. Es subconjunto de cualquier conjunto.
- Unitarios: tienen un solo elemento.
- Iguales: tienen exactamente los mismos elementos.
- Disjuntos: no tienen ningún elemento en común.
- Equivalentes: tienen el mismo cardinal, aunque sus elementos sean distintos.
Los conjuntos numéricos más conocidos son los naturales (ℕ), enteros (ℤ), racionales (ℚ), reales (ℝ) y complejos (ℂ), cada uno contenido en el siguiente: ℕ ⊆ ℤ ⊆ ℚ ⊆ ℝ ⊆ ℂ.
Operaciones con conjuntos
| Operación | Notación | Resultado |
|---|---|---|
| Unión | A ∪ B | Elementos que están en A, en B o en ambos |
| Intersección | A ∩ B | Elementos que están en A y en B a la vez |
| Diferencia | A − B | Elementos de A que no están en B |
| Complementario | A′ o Aᶜ | Elementos del universal que no están en A |
| Producto cartesiano | A × B | Pares ordenados (a, b) con a ∈ A y b ∈ B |
Estas operaciones suelen visualizarse con diagramas de Venn, popularizados por el lógico británico John Venn en 1880. Dos fórmulas útiles para contar elementos son:
La primera evita contar dos veces los elementos comunes (principio de inclusión-exclusión); la segunda indica que un conjunto de n elementos tiene 2ⁿ subconjuntos, que forman el llamado conjunto de partes 𝒫(A).
Ejercicios resueltos
1. Sean A = {1, 2, 3, 4} y B = {3, 4, 5}. Calcula A ∪ B, A ∩ B y A − B.
A ∪ B = {1, 2, 3, 4, 5}; A ∩ B = {3, 4}; A − B = {1, 2}.
2. Comprueba la fórmula de inclusión-exclusión con los conjuntos anteriores.
|A| = 4, |B| = 3, |A ∩ B| = 2. Entonces |A ∪ B| = 4 + 3 − 2 = 5, que coincide con los cinco elementos de A ∪ B.
3. ¿Cuántos subconjuntos tiene {a, b, c}? Enuméralos.
Tiene 2³ = 8 subconjuntos: ∅, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}.
4. Con U = {1, 2, …, 10} y A = {2, 4, 6, 8, 10}, halla el complementario de A.
A′ contiene los elementos de U que no están en A, es decir, los impares: {1, 3, 5, 7, 9}.
Importancia y aplicaciones
La teoría de conjuntos proporciona el lenguaje común de las matemáticas: funciones, relaciones, números y estructuras algebraicas se definen a partir de conjuntos. La axiomatización más usada es la de Zermelo-Fraenkel con el axioma de elección (ZFC), que surgió para evitar paradojas como la que Bertrand Russell formuló en 1901 al considerar «el conjunto de todos los conjuntos que no se contienen a sí mismos». Fuera de la matemática pura, los conjuntos se aplican en:
- Informática: bases de datos (las operaciones UNION o INTERSECT de SQL), estructuras de datos y búsquedas.
- Probabilidad y estadística: los sucesos se tratan como conjuntos dentro de un espacio muestral.
- Lógica: las operaciones de conjuntos se corresponden con las conectivas «o», «y» y «no».
- Clasificación: organizar información en categorías y subcategorías, como hacen las taxonomías científicas, se basa en el mismo principio que la clasificación.
Preguntas frecuentes
¿Qué es un conjunto en matemáticas?
¿Qué diferencia hay entre pertenecer y estar contenido?
¿Qué es el conjunto vacío?
¿Cuántos subconjuntos tiene un conjunto de n elementos?
¿Quién creó la teoría de conjuntos?
Referencias
- Halmos, P. R. (1960). Naive Set Theory. Van Nostrand.
- Cantor, G. (1874). «Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen». Journal für die reine und angewandte Mathematik, 77, 258-262.
- Enderton, H. B. (1977). Elements of Set Theory. Academic Press.
Cómo citar este artículo
Equipo de Conceptualia. (2024). «Conjunto». Conceptualia. https://conceptualia.es/cultura-y-sociedad/conocimiento/conjunto/
