En matemáticas , un conjunto es una colección de [1] cosas diferentes; [2] [3] [4] estas cosas se llaman elementos o miembros del conjunto y típicamente son objetos matemáticos de cualquier tipo: números, símbolos, puntos en el espacio, líneas, otras formas geométricas, variables o incluso otros conjuntos. [5] Un conjunto puede tener un número finito de elementos o ser un conjunto infinito . Existe un conjunto único sin elementos, llamado conjunto vacío ; un conjunto con un solo elemento es un singleton .
Los conjuntos se caracterizan únicamente por sus elementos; esto significa que dos conjuntos que tienen exactamente los mismos elementos son iguales (son el mismo conjunto). [6] Esta propiedad se llama extensionalidad . En particular, esto implica que sólo hay un conjunto vacío.
Los conjuntos son omnipresentes en las matemáticas modernas. De hecho, la teoría de conjuntos , más específicamente la teoría de conjuntos de Zermelo-Fraenkel , ha sido la forma estándar de proporcionar fundamentos rigurosos para todas las ramas de las matemáticas desde la primera mitad del siglo XX. [5]
Los textos matemáticos comúnmente denotan conjuntos con letras mayúsculas [7] [5] en cursiva , como A , B , C. [8] Un conjunto también puede denominarse colección o familia , especialmente cuando sus elementos son en sí mismos conjuntos.
La notación de lista o enumeración define un conjunto enumerando sus elementos entre llaves , separados por comas: [9] [10] [11] [12]
Esta notación fue introducida por Ernst Zermelo en 1908. [13] En un conjunto, lo único que importa es si cada elemento está en él o no, por lo que el orden de los elementos en la notación de lista es irrelevante (en contraste, en una secuencia , una tupla , o una permutación de un conjunto, el orden de los términos importa). Por ejemplo, {2, 4, 6} y {4, 6, 4, 2} representan el mismo conjunto. [14] [8] [15]
Para conjuntos con muchos elementos, especialmente aquellos que siguen un patrón implícito, la lista de miembros se puede abreviar usando puntos suspensivos ' ... '. [16] [17] Por ejemplo, el conjunto de los primeros mil números enteros positivos puede especificarse en notación de lista como
Un conjunto infinito es un conjunto con una lista infinita de elementos. Para describir un conjunto infinito en notación de lista, se colocan puntos suspensivos al final de la lista, o en ambos extremos, para indicar que la lista continúa para siempre. Por ejemplo, el conjunto de números enteros no negativos es
y el conjunto de todos los números enteros es
Otra forma de definir un conjunto es utilizar una regla para determinar cuáles son los elementos:
Esta definición se llama descripción semántica . [18] [19]
La notación de creación de conjuntos especifica un conjunto como una selección de un conjunto más grande, determinado por una condición de los elementos. [19] [20] [21] Por ejemplo, un conjunto F se puede definir de la siguiente manera:
En esta notación, la barra vertical "|" significa "tal que", y la descripción puede interpretarse como " F es el conjunto de todos los números n tales que n es un número entero en el rango de 0 a 19 inclusive". Algunos autores utilizan dos puntos ":" en lugar de la barra vertical. [22]
La filosofía utiliza términos específicos para clasificar tipos de definiciones:
Si B es un conjunto y x es un elemento de B , esto se escribe abreviadamente como x ∈ B , que también puede leerse como " x pertenece a B ", o " x está en B ". [23] La afirmación " y no es un elemento de B " se escribe como y ∉ B , que también puede leerse como " y no está en B ". [24] [25]
Por ejemplo, con respecto a los conjuntos A = {1, 2, 3, 4} , B = {azul, blanco, rojo} y F = { n | n es un número entero y 0 ≤ n ≤ 19} ,
El conjunto vacío (o conjunto nulo ) es el conjunto único que no tiene miembros. Se denota ∅ , , {}, [26] [27] ϕ , [28] o ϕ . [29]
Un conjunto singleton es un conjunto con exactamente un elemento; un conjunto de este tipo también puede denominarse conjunto unitario . [6] Cualquier conjunto de este tipo se puede escribir como { x }, donde x es el elemento. El conjunto { x } y el elemento x significan cosas diferentes; Halmos [30] establece la analogía de que una caja que contiene un sombrero no es lo mismo que el sombrero.
Si cada elemento del conjunto A también está en B , entonces A se describe como un subconjunto de B , o contenido en B , escrito A ⊆ B , [31] o B ⊇ A. [32] La última notación puede leerse B contiene A , B incluye A o B es un superconjunto de A. La relación entre conjuntos establecida por ⊆ se llama inclusión o contención . Dos conjuntos son iguales si se contienen entre sí: A ⊆ B y B ⊆ A equivale a A = B . [20]
Si A es un subconjunto de B , pero A no es igual a B , entonces A se llama subconjunto propio de B. Esto se puede escribir A ⊊ B . Asimismo, B ⊋ A significa que B es un superconjunto propio de A , es decir, B contiene A y no es igual a A.
Un tercer par de operadores ⊂ y ⊃ son utilizados de manera diferente por diferentes autores: algunos autores usan A ⊂ B y B ⊃ A para significar que A es cualquier subconjunto de B (y no necesariamente un subconjunto adecuado), [33] [24] mientras que otros reserve A ⊂ B y B ⊃ A para los casos en los que A es un subconjunto propio de B . [31]
Ejemplos:
El conjunto vacío es un subconjunto de todo conjunto, [26] y cada conjunto es un subconjunto de sí mismo: [33]
Un diagrama de Euler es una representación gráfica de una colección de conjuntos; cada conjunto se representa como una región plana encerrada por un bucle, con sus elementos en el interior. Si A es un subconjunto de B , entonces la región que representa A está completamente dentro de la región que representa B. Si dos conjuntos no tienen elementos en común, las regiones no se superponen.
Un diagrama de Venn , por el contrario, es una representación gráfica de n conjuntos en la que los n bucles dividen el plano en 2 n zonas de modo que para cada forma de seleccionar algunos de los n conjuntos (posiblemente todos o ninguno), hay una zona para los elementos que pertenecen a todos los conjuntos seleccionados y a ninguno de los demás. Por ejemplo, si los conjuntos son A , B y C , debería haber una zona para los elementos que están dentro de A y C y fuera de B (incluso si dichos elementos no existen).
Hay conjuntos de tal importancia matemática, a los que los matemáticos se refieren con tanta frecuencia, que han adquirido nombres especiales y convenciones de notación para identificarlos.
Muchos de estos conjuntos importantes se representan en textos matemáticos utilizando tipos de letra negrita (p. ej. ) o negrita de pizarra (p. ej. ). [34] Estos incluyen
Cada uno de los conjuntos de números anteriores tiene un número infinito de elementos. Cada uno es un subconjunto de los conjuntos enumerados debajo.
Los conjuntos de números positivos o negativos a veces se indican mediante signos de superíndice más y menos, respectivamente. Por ejemplo, representa el conjunto de los números racionales positivos.
Una función (o mapeo ) de un conjunto A a un conjunto B es una regla que asigna a cada elemento de "entrada" de A una "salida" que es un elemento de B ; Más formalmente, una función es un tipo especial de relación , una que relaciona cada elemento de A con exactamente un elemento de B. Una función se llama
Una función inyectiva se llama inyección , una función sobreyectiva se llama sobreyección y una función biyectiva se llama biyección o correspondencia uno a uno .
La cardinalidad de un conjunto S , denotada | S | , es el número de miembros de S . [35] Por ejemplo, si B = {azul, blanco, rojo} , entonces | B | = 3 . Los miembros repetidos en la notación de lista no se cuentan, [36] [37] entonces | {azul, blanco, rojo, azul, blanco} | = 3 , también.
Más formalmente, dos conjuntos comparten la misma cardinalidad si existe una biyección entre ellos.
La cardinalidad del conjunto vacío es cero. [38]
La lista de elementos de algunos conjuntos es interminable o infinita . Por ejemplo, el conjunto de los números naturales es infinito. [20] De hecho, todos los conjuntos especiales de números mencionados en la sección anterior son infinitos. Los conjuntos infinitos tienen cardinalidad infinita .
Algunas cardinalidades infinitas son mayores que otras. Podría decirse que uno de los resultados más significativos de la teoría de conjuntos es que el conjunto de números reales tiene mayor cardinalidad que el conjunto de números naturales. [39] Los conjuntos con cardinalidad menor o igual a la de se denominan conjuntos contables ; estos son conjuntos finitos o conjuntos contablemente infinitos (conjuntos de la misma cardinalidad que ); algunos autores utilizan "contable" para significar "contablemente infinito". Los conjuntos con cardinalidad estrictamente mayor que la de se denominan conjuntos incontables .
Sin embargo, se puede demostrar que la cardinalidad de una línea recta (es decir, el número de puntos en una línea) es la misma que la cardinalidad de cualquier segmento de esa línea, de todo el plano y, de hecho, de cualquier euclidiano de dimensión finita . espacio . [40]
La hipótesis del continuo, formulada por Georg Cantor en 1878, es la afirmación de que no existe un conjunto con cardinalidad estrictamente entre la cardinalidad de los números naturales y la cardinalidad de una línea recta. [41] En 1963, Paul Cohen demostró que la hipótesis del continuo es independiente del sistema de axiomas ZFC que consiste en la teoría de conjuntos de Zermelo-Fraenkel con el axioma de elección . [42] (ZFC es la versión más estudiada de la teoría de conjuntos axiomática).
El conjunto potencia de un conjunto S es el conjunto de todos los subconjuntos de S. [20] El conjunto vacío y el propio S son elementos del conjunto potencia de S , porque ambos son subconjuntos de S. Por ejemplo, el conjunto potencia de {1, 2, 3} es {∅, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1 , 2, 3}} . El conjunto potencia de un conjunto S se escribe comúnmente como P ( S ) o 2 S. [20] [43] [8]
Si S tiene n elementos, entonces P ( S ) tiene 2 n elementos. [44] Por ejemplo, {1, 2, 3} tiene tres elementos y su conjunto potencia tiene 2 3 = 8 elementos, como se muestra arriba.
Si S es infinito (ya sea contable o incontable ), entonces P ( S ) es incontable. Además, el conjunto potencia es siempre estrictamente "más grande" que el conjunto original, en el sentido de que cualquier intento de emparejar los elementos de S con los elementos de P ( S ) dejará algunos elementos de P ( S ) sin emparejar. (Nunca hay una biyección de S a P ( S ) .) [45]
Una partición de un conjunto S es un conjunto de subconjuntos no vacíos de S , de modo que cada elemento x en S está exactamente en uno de estos subconjuntos. Es decir, los subconjuntos son disjuntos por pares (lo que significa que dos conjuntos cualesquiera de la partición no contienen ningún elemento en común) y la unión de todos los subconjuntos de la partición es S. [46] [47]
Supongamos que se ha fijado un conjunto universal U (un conjunto que contiene todos los elementos que se analizan) y que A es un subconjunto de U.
Dados dos conjuntos cualesquiera A y B ,
Ejemplos:
Las operaciones anteriores satisfacen muchas identidades. Por ejemplo, una de las leyes de De Morgan establece que ( A ∪ B )′ = A ′ ∩ B ′ (es decir, los elementos fuera de la unión de A y B son los elementos que están fuera de A y fuera de B ).
La cardinalidad de A × B es el producto de las cardinalidades de A y B. (Éste es un hecho elemental cuando A y B son finitos. Cuando uno o ambos son infinitos, se define la multiplicación de números cardinales para que esto sea cierto).
El conjunto potencia de cualquier conjunto se convierte en un anillo booleano con diferencia simétrica como la suma del anillo y la intersección como la multiplicación del anillo.
Los conjuntos son omnipresentes en las matemáticas modernas. Por ejemplo, las estructuras en álgebra abstracta , como grupos , campos y anillos , son conjuntos cerrados bajo una o más operaciones.
Una de las principales aplicaciones de la teoría ingenua de conjuntos es en la construcción de relaciones . Una relación de un dominio A a un codominio B es un subconjunto del producto cartesiano A × B. Por ejemplo, considerando el conjunto S = {piedra, papel, tijera} de formas en el juego del mismo nombre, la relación "late" de S a S es el conjunto B = {(tijeras,papel), (papel,piedra ), (piedra,tijeras)} ; por lo tanto, x vence a y en el juego si el par ( x , y ) es miembro de B. Otro ejemplo es el conjunto F de todos los pares ( x , x 2 ) , donde x es real. Esta relación es un subconjunto de R × R , porque el conjunto de todos los cuadrados es un subconjunto del conjunto de todos los números reales. Dado que para cada x en R , se encuentra uno y solo un par ( x ,...) en F , se llama función . En notación funcional, esta relación se puede escribir como F ( x ) = x 2 .
El principio de inclusión-exclusión es una técnica para contar los elementos de una unión de dos conjuntos finitos en términos de los tamaños de los dos conjuntos y su intersección. Se puede expresar simbólicamente como
Una forma más general del principio da la cardinalidad de cualquier unión finita de conjuntos finitos:
El concepto de conjunto surgió en matemáticas a finales del siglo XIX. [48] La palabra alemana para conjunto, Menge , fue acuñada por Bernard Bolzano en su obra Paradojas del Infinito . [49] [50] [51]
Georg Cantor , uno de los fundadores de la teoría de conjuntos, dio la siguiente definición al comienzo de su Beiträge zur Begründung der transfiniten Mengenlehre : [52] [1]
Un conjunto es una reunión en un todo de objetos definidos y distintos de nuestra percepción o nuestro pensamiento, que se denominan elementos del conjunto.
Bertrand Russell introdujo la distinción entre un conjunto y una clase (un conjunto es una clase, pero algunas clases, como la clase de todos los conjuntos, no son conjuntos; ver la paradoja de Russell ): [53]
Cuando los matemáticos tratan con lo que llaman una variedad, un agregado, un Menge , un conjunto o algún nombre equivalente, es común, especialmente cuando el número de términos involucrados es finito, considerar el objeto en cuestión (que es de hecho una clase) como definido por la enumeración de sus términos, y como compuesto posiblemente de un solo término, que en ese caso es la clase.
La propiedad más importante de un conjunto es que puede tener elementos, también llamados miembros . Dos conjuntos son iguales cuando tienen los mismos elementos. Más precisamente, los conjuntos A y B son iguales si cada elemento de A es un elemento de B y cada elemento de B es un elemento de A ; esta propiedad se llama extensionalidad de los conjuntos . [23] Como consecuencia, por ejemplo, {2, 4, 6} y {4, 6, 4, 2} representan el mismo conjunto. A diferencia de los conjuntos, los multiconjuntos se pueden distinguir por el número de apariciones de un elemento; por ejemplo, [2, 4, 6] y [4, 6, 4, 2] representan conjuntos múltiples diferentes, mientras que [2, 4, 6] y [6, 4, 2] son iguales. Las tuplas pueden incluso distinguirse por el orden de los elementos; por ejemplo, (2, 4, 6) y (6, 4, 2) representan tuplas diferentes.
El concepto simple de conjunto ha demostrado ser enormemente útil en matemáticas, pero surgen paradojas si no se imponen restricciones sobre cómo se pueden construir los conjuntos:
La ingenua teoría de conjuntos define un conjunto como cualquier colección bien definida de elementos distintos, pero surgen problemas debido a la vaguedad del término bien definido .
En esfuerzos posteriores por resolver estas paradojas desde la época de la formulación original de la teoría ingenua de conjuntos, las propiedades de los conjuntos se han definido mediante axiomas . La teoría axiomática de conjuntos toma el concepto de conjunto como una noción primitiva . [54] El propósito de los axiomas es proporcionar un marco básico a partir del cual deducir la verdad o falsedad de proposiciones (enunciados) matemáticos particulares sobre conjuntos, utilizando lógica de primer orden . Sin embargo, según los teoremas de incompletitud de Gödel , no es posible utilizar la lógica de primer orden para demostrar que una teoría de conjuntos axiomática particular esté libre de paradojas. [55]
Por "agregado" (Menge) debemos entender cualquier colección en un todo (Zusammenfassung zu einem Ganzen) M de objetos definidos y separados m de nuestra intuición o nuestro pensamiento.Aquí: p.85