Conjunto (matemáticas)
Colección de objetos matemáticos
Un conjunto de polígonos en un diagrama de Euler
Este conjunto es igual al representado arriba ya que ambos tienen los mismos elementos.

En matemáticas , un conjunto es una colección de diferentes [1] cosas; [2] [3] [4] estas cosas se llaman elementos o miembros del conjunto y son típicamente 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 único conjunto 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 solo 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]

Definición y notación

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 llamarse colección o familia , especialmente cuando sus elementos son en sí mismos conjuntos.

Notación de la lista

La notación de lista o enumeración define un conjunto enumerando sus elementos entre llaves , separados por comas: [9] [10] [11] [12]

A = {4, 2, 1, 3}
B = {azul, blanco, rojo} .

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 (por el contrario, 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 utilizando puntos suspensivos ' ... '. [16] [17] Por ejemplo, el conjunto de los primeros mil números enteros positivos se puede especificar en notación de lista como

{1, 2, 3, ..., 1000} .

Conjuntos infinitos en notación de lista

Un conjunto infinito es un conjunto con un número infinito de elementos. Si el patrón de sus elementos es obvio, se puede dar un conjunto infinito en notación de lista, con 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

{0, 1, 2, 3, 4, ...} ,

y el conjunto de todos los números enteros es

{..., −3, −2, −1, 0, 1, 2, 3, ...} .

Definición semántica

Otra forma de definir un conjunto es utilizar una regla para determinar cuáles son los elementos:

Sea A el conjunto cuyos miembros son los primeros cuatro números enteros positivos .
Sea B el conjunto de colores de la bandera francesa .

Esta definición se denomina descripción semántica . [18] [19]

Notación del generador de conjuntos

La notación de construcción de conjuntos especifica un conjunto como una selección de un conjunto más grande, determinado por una condición en los elementos. [19] [20] [21] Por ejemplo, un conjunto F se puede definir de la siguiente manera:

F = { norte ∣ norte  es un entero, y  0 ≤ norte ≤ 19 } . {\displaystyle F=\{n\mid n{\text{ es un entero y }}0\leq n\leq 19\}.}

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 entero en el rango de 0 a 19 inclusive». Algunos autores utilizan dos puntos : «, en lugar de la barra vertical. [22]

Métodos de clasificación de definición

La filosofía utiliza términos específicos para clasificar los tipos de definiciones:

  • Una definición intencional utiliza una regla para determinar la pertenencia. Las definiciones semánticas y las definiciones que utilizan la notación de constructor de conjuntos son ejemplos.
  • Una definición extensional describe un conjunto enumerando todos sus elementos . [19] Estas definiciones también se denominan enumerativas .
  • Una definición ostensiva es aquella que describe un conjunto dando ejemplos de elementos; una lista que incluye puntos suspensivos sería un ejemplo.

Afiliación

Si B es un conjunto y x es un elemento de B , esto se escribe en forma abreviada 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} ,

4 ∈ A y 12 ∈ F ; y
20 ∉ F y verde ∉ B.

El conjunto vacío

El conjunto vacío (o conjunto nulo ) es el único conjunto que no tiene miembros. Se denota ∅ , , { }, [26] [27] ϕ , [28] o ϕ . [29] ∅ {\displaystyle \conjunto vacío}

Conjuntos singleton

Un conjunto singleton es un conjunto con exactamente un elemento; un conjunto de este tipo también puede llamarse conjunto unitario . [6] Cualquier conjunto de este tipo puede escribirse 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.

Subconjuntos

Si cada elemento del conjunto A está también en B , entonces A se describe como un subconjunto de B , o está contenido en B , escrito A ⊆ B , [31] o B ⊇ A . [32] La última notación puede leerse B contiene a A , B incluye a 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 es equivalente a A = B . [20]

Si A es un subconjunto de B , pero A no es igual a B , entonces A se llama un subconjunto propio de B . Esto puede escribirse A ⊊ B . Del mismo modo, B ⊋ A significa que B es un superconjunto propio de A , es decir, B contiene a A y no es igual a A .

Un tercer par de operadores ⊂ y ⊃ son utilizados de forma diferente por distintos autores: algunos autores utilizan A ⊂ B y B ⊃ A para significar que A es cualquier subconjunto de B (y no necesariamente un subconjunto propio), [33] [24] mientras que otros reservan A ⊂ B y B ⊃ A para los casos en que A es un subconjunto propio de B. [31 ]

Ejemplos:

  • El conjunto de todos los humanos es un subconjunto propio del conjunto de todos los mamíferos.
  • {1, 3} ⊂ {1, 2, 3, 4} .
  • {1, 2, 3, 4} ⊆ {1, 2, 3, 4} .

El conjunto vacío es un subconjunto de cada conjunto, [26] y cada conjunto es un subconjunto de sí mismo: [33]

  • ∅ ⊆ Un .
  • Una ⊆ Una .

Diagramas de Euler y Venn

A es un subconjunto de B. B
es un superconjunto de A.

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 dentro. Si A es un subconjunto de B , entonces la región que representa a A está completamente dentro de la región que representa a B. Si dos conjuntos no tienen elementos en común, las regiones no se superponen.

Un diagrama de Venn , en cambio, 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), existe una zona para los elementos que pertenecen a todos los conjuntos seleccionados y a ninguno de los otros. Por ejemplo, si los conjuntos son A , B y C , debería existir una zona para los elementos que están dentro de A y C y fuera de B (aunque dichos elementos no existan).

Conjuntos especiales de números en matemáticas

Los números naturales están contenidos en los números enteros , que están contenidos en los números racionales , que están contenidos en los números reales , que están contenidos en los números complejos. norte {\displaystyle \mathbb {N}} O {\displaystyle \mathbb {Z}} Q {\displaystyle \mathbb {Q}} R {\displaystyle \mathbb {R}} do {\displaystyle \mathbb {C}}

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 tipografía en negrita (por ejemplo, ) o negrita de pizarra (por ejemplo, ). [34] Estos incluyen O {\displaystyle \mathbf {Z}} O {\displaystyle \mathbb {Z}}

  • norte {\displaystyle \mathbf {N}} o , el conjunto de todos los números naturales : (a menudo, los autores excluyen el 0 ); [34] norte {\displaystyle \mathbb {N}} norte = { 0 , 1 , 2 , 3 , . . . } {\displaystyle \mathbf {N} =\{0,1,2,3,...\}}
  • O {\displaystyle \mathbf {Z}} o , el conjunto de todos los números enteros (ya sean positivos, negativos o cero): ; [34] O {\displaystyle \mathbb {Z}} O = { . . . , − 2 , − 1 , 0 , 1 , 2 , 3 , . . . } {\displaystyle \mathbf {Z} =\{...,-2,-1,0,1,2,3,...\}}
  • Q {\displaystyle \mathbf {Q}} o , el conjunto de todos los números racionales (es decir, el conjunto de todas las fracciones propias e impropias ): . Por ejemplo, − ⁠ Q {\displaystyle \mathbb {Q}} Q = { a b ∣ a , b ∈ O , b ≠ 0 } {\displaystyle \mathbf {Q} =\left\{{\frac {a}{b}}\mid a,b\in \mathbf {Z} ,b\neq 0\right\}} 7/4⁠ ∈ Q y 5 = ⁠5/1⁠ ∈ Q ; [34]
  • R {\displaystyle \mathbf {R}} o , el conjunto de todos los números reales , incluidos todos los números racionales y todos los números irracionales (que incluyen números algebraicos como los que no se pueden reescribir como fracciones, así como números trascendentales como π y e ); [34] R {\displaystyle \mathbb {R}} 2 {\displaystyle {\sqrt {2}}}
  • do {\displaystyle \mathbf {C}} o , el conjunto de todos los números complejos : C = { a + bi | a , b ∈ R } , por ejemplo, 1 + 2 i ∈ C . [34] do {\displaystyle \mathbb {C}}

Cada uno de los conjuntos de números anteriores tiene un número infinito de elementos. Cada uno es un subconjunto de los conjuntos que se enumeran a continuación.

Los conjuntos de números positivos o negativos a veces se denotan con superíndices con signos más y menos, respectivamente. Por ejemplo, representa el conjunto de números racionales positivos. Q + {\displaystyle \mathbf {Q} ^{+}}

Funciones

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

  • inyectiva (o biunívoca) si asigna dos elementos diferentes de A a elementos diferentes de B ,
  • sobreyectiva (o sobre) si para cada elemento de B , hay al menos un elemento de A que se asigna a él, y
  • biyectiva (o una correspondencia uno a uno) si la función es tanto inyectiva como sobreyectiva — en este caso, cada elemento de A está emparejado con un elemento único de B , y cada elemento de B está emparejado con un elemento único de A , de modo que no hay elementos no apareados.

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 .

Cardinalidad

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] así que | {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]

Conjuntos infinitos y cardinalidad infinita

La lista de elementos de algunos conjuntos es 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 . norte {\displaystyle \mathbb {N}}

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 que la de se denominan conjuntos contables ; estos son conjuntos finitos o conjuntos contablemente infinitos (conjuntos de la misma cardinalidad que ); algunos autores usan "contable" para significar "contablemente infinito". Los conjuntos con cardinalidad estrictamente mayor que la de se denominan conjuntos incontables . norte {\displaystyle \mathbb {N}} norte {\displaystyle \mathbb {N}} norte {\displaystyle \mathbb {N}}

Sin embargo, se puede demostrar que la cardinalidad de una línea recta (es decir, el número de puntos de 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 espacio euclidiano de dimensión finita . [40]

La hipótesis del continuo

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 axiomático 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 axiomática de conjuntos).

Conjuntos de potencia

El conjunto potencia de un conjunto S es el conjunto de todos los subconjuntos de S . [20] El conjunto vacío y S mismo 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 "mayor" 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 sobre P ( S ) .) [45]

Particiones

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]

Operaciones básicas

El complemento de A en U

Supongamos que se ha fijado un conjunto universal U (un conjunto que contiene todos los elementos en discusión) y que A es un subconjunto de U.

  • El complemento de A es el conjunto de todos los elementos (de U ) que no pertenecen a A . Puede denotarse A c o A ′ . En la notación de constructor de conjuntos, . El complemento también puede llamarse complemento absoluto para distinguirlo del complemento relativo que se indica a continuación. Ejemplo: Si se toma como conjunto universal el conjunto de números enteros, entonces el complemento del conjunto de números enteros pares es el conjunto de números enteros impares. A do = { a ∈ tú : a ∉ A } {\displaystyle A^{\text{c}}=\{a\en U:a\noen A\}}
La unión de A y B , denotada A ∪ B
La intersección de A y B , denotada A ∩ B
La diferencia de conjuntos A \ B
La diferencia simétrica de A y B

Dados dos conjuntos A y B ,

  • su unión A ∪ B es el conjunto de todas las cosas que son miembros de A o B o ambos.
  • su intersección A ∩ B es el conjunto de todas las cosas que son miembros tanto de A como de B. Si A ∩ B = ∅ , entonces se dice que A y B son disjuntos .
  • La diferencia de conjuntos A \ B (también escrita A − B ) es el conjunto de todas las cosas que pertenecen a A pero no a B . Especialmente cuando B es un subconjunto de A , también se le llama complemento relativo de B en A . Con B c como complemento absoluto de B (en el conjunto universal U ), A \ B = A ∩ B c .
  • su diferencia simétrica A Δ B es el conjunto de todas las cosas que pertenecen a A o B pero no a ambos. Uno tiene . A Δ B = ( A ∖ B ) ∪ ( B ∖ A ) {\displaystyle A\,\Delta \,B=(A\setmenos B)\cup (B\setmenos A)}
  • su producto cartesiano A × B es el conjunto de todos los pares ordenados ( a , b ) tales que a es un elemento de A y b es un elemento de B .

Ejemplos:

  • {1, 2, 3} ∪ {3, 4, 5} = {1, 2, 3, 4, 5 }.
  • {1, 2, 3} ∩ {3, 4, 5} = {3} .
  • {1, 2, 3} - {3, 4, 5} = {1, 2 }.
  • {1, 2, 3} Δ {3, 4, 5} = {1, 2, 4, 5 }.
  • { a , b } × {1, 2, 3} = {( a , 1), ( a , 2), ( a , 3), ( b , 1), ( b , 2), ( b , 3) ​​}.

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 que están 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. Este 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.

Aplicaciones

Los conjuntos son omnipresentes en las matemáticas modernas. Por ejemplo, las estructuras del álgebra abstracta , como los grupos , los cuerpos y los anillos , son conjuntos cerrados bajo una o más operaciones.

Una de las principales aplicaciones de la teoría de conjuntos ingenua es 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 "gana" de S a S es el conjunto B = {(tijeras,papel), (papel,piedra), (piedra,tijera)} ; por lo tanto, x gana a y en el juego si el par ( x , y ) es un 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 un 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 .

Principio de inclusión y exclusión

El principio de inclusión-exclusión para dos conjuntos finitos establece que el tamaño de su unión es la suma de los tamaños de los conjuntos menos el tamaño de su intersección.

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. Puede expresarse simbólicamente como | A ∪ B | = | A | + | B | − | A ∩ B | . {\displaystyle |A\cup B|=|A|+|B|-|A\cap B|.}

Una forma más general del principio da la cardinalidad de cualquier unión finita de conjuntos finitos: | A 1 ∪ A 2 ∪ A 3 ∪ … ∪ A norte | = ( | A 1 | + | A 2 | + | A 3 | + … | A norte | ) − ( | A 1 ∩ A 2 | + | A 1 ∩ A 3 | + … | A norte − 1 ∩ A norte | ) + … + ( − 1 ) norte − 1 ( | A 1 ∩ A 2 ∩ A 3 ∩ … ∩ A norte | ) . {\displaystyle {\begin{aligned}\left|A_{1}\cup A_{2}\cup A_{3}\cup \ldots \cup A_{n}\right|=&\left(\left|A_{1}\right|+\left|A_{2}\right|+\left|A_{3}\right|+\ldots \left|A_{n}\right|\right)\\&{}-\left(\left|A_{1}\cap A_{2}\right|+\left|A_{1}\cap A_{3}\right|+\ldots \left|A_{n-1}\cap A_{n}\right|\right)\\&{}+\ldots \\&{}+\left(-1\right)^{n-1}\left(\left|A_{1}\cap A_{2}\cap A_{3}\cap \ldots \cap A_{n}\right|\right).\end{alineado}}}

Historia

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]

Pasaje con traducción de la definición original de conjunto de Georg Cantor. La palabra alemana Menge para conjunto se traduce aquí como agregado .

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 de objetos definidos y distintos de nuestra percepción o de 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; véase la paradoja de Russell ): [53]

Cuando los matemáticos tratan con lo que llaman una variedad, un agregado, una mención , 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 de hecho es una clase) como definido por la enumeración de sus términos, y como consistente posiblemente en un solo término, que en ese caso es la clase.

Teoría de conjuntos ingenua

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, p. ej., {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 ocurrencias de un elemento; p. ej ., [2, 4, 6] y [4, 6, 4, 2] representan multiconjuntos diferentes, mientras que [2, 4, 6] y [6, 4, 2] son ​​iguales. Las tuplas incluso se pueden distinguir por el orden de los elementos; p. ej., (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 paradoja de Russell muestra que el "conjunto de todos los conjuntos que no se contienen a sí mismos ", es decir, { x | x es un conjunto y x ∉ x }, no puede existir.
  • La paradoja de Cantor muestra que "el conjunto de todos los conjuntos" no puede existir.

La teoría de conjuntos ingenua define un conjunto como cualquier colección bien definida de elementos distintos, pero surgen problemas debido a la vaguedad del término bien definido .

Teoría de conjuntos axiomáticos

En los esfuerzos posteriores por resolver estas paradojas desde el momento de la formulación original de la teoría de conjuntos ingenua, las propiedades de los conjuntos se han definido mediante axiomas . La teoría de conjuntos axiomática 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 matemáticas particulares (enunciados) sobre conjuntos, utilizando la lógica de primer orden . Sin embargo, de acuerdo con 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]

Véase también

Notas

  1. ^ ab Cantor, Georg; Jourdain, Philip EB (Traductor) (1915). Contribuciones a la fundación de la teoría de los números transfinitos . Nueva York Dover Publications (1954 traducción al inglés). 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
  2. ^ PK Jain; Khalil Ahmad; Om P. Ahuja (1995). Análisis funcional. New Age International. pág. 1. ISBN 978-81-224-0801-0.
  3. ^ Samuel Goldberg (1 de enero de 1986). Probabilidad: una introducción. Courier Corporation. p. 2. ISBN 978-0-486-65252-8.
  4. ^ Thomas H. Cormen; Charles E. Leiserson; Ronald L. Rivest; Clifford Stein (2001). Introducción a los algoritmos. Prensa del MIT. pag. 1070.ISBN​ 978-0-262-03293-3.
  5. ^ abc Halmos 1960, pág. 1.
  6. ^ ab Stoll, Robert (1974). Conjuntos, lógica y teorías axiomáticas . WH Freeman and Company. pp. 5. ISBN 9780716704577.
  7. ^ Seymor Lipschutz; Marc Lipson (22 de junio de 1997). Esquema de matemáticas discretas de Schaum. Profesional de McGraw Hill. pag. 1.ISBN​ 978-0-07-136841-4.
  8. ^ abc "Introducción a los conjuntos". www.mathsisfun.com . Consultado el 19 de agosto de 2020 .
  9. ^ Charles Roberts (24 de junio de 2009). Introducción a las demostraciones matemáticas: una transición. CRC Press. p. 45. ISBN 978-1-4200-6956-3.
  10. ^ David Johnson; David B. Johnson; Thomas A. Mowry (junio de 2004). Matemáticas finitas: aplicaciones prácticas (versión Docutech). WH Freeman. pág. 220. ISBN 978-0-7167-6297-3.
  11. ^ Ignacio Bello; Anton Kaul; Jack R. Britton (29 de enero de 2013). Temas de matemáticas contemporáneas. Cengage Learning. pág. 47. ISBN 978-1-133-10742-2.
  12. ^ Susanna S. Epp (4 de agosto de 2010). Matemática discreta con aplicaciones. Cengage Learning. pág. 13. ISBN 978-0-495-39132-6.
  13. ^ A. Kanamori, "El conjunto vacío, el singleton y el par ordenado", pág. 278. Boletín de lógica simbólica, vol. 9, núm. 3, (2003). Consultado el 21 de agosto de 2023.
  14. ^ Stephen B. Maurer; Anthony Ralston (21 de enero de 2005). Matemáticas algorítmicas discretas. CRC Press. pág. 11. ISBN 978-1-4398-6375-6.
  15. ^ D. Van Dalen; HC Doets; H. De Swart (9 de mayo de 2014). Conjuntos: ingenuos, axiomáticos y aplicados: Un compendio básico con ejercicios para su uso en teoría de conjuntos para no lógicos, matemáticos en activo y docentes y estudiantes. Elsevier Science. p. 1. ISBN 978-1-4831-5039-0.
  16. ^ Alfred Basta; Stephan DeLong; Nadine Basta (1 de enero de 2013). Matemáticas para la tecnología de la información. Cengage Learning. p. 3. ISBN 978-1-285-60843-3.
  17. ^ Laura Bracken; Ed Miller (15 de febrero de 2013). Álgebra elemental. Cengage Learning. pág. 36. ISBN 978-0-618-95134-5.
  18. ^ Halmos 1960, pág. 4.
  19. ^ abc Frank Ruda (6 de octubre de 2011). Hegel's Rabble: An Investigation into Hegel's Philosophy of Right [La plebe de Hegel: una investigación sobre la filosofía del derecho de Hegel]. Bloomsbury Publishing. p. 151. ISBN 978-1-4411-7413-0.
  20. ^ abcde John F. Lucas (1990). Introducción a las matemáticas abstractas. Rowman & Littlefield. pág. 108. ISBN 978-0-912675-73-2.
  21. ^ Weisstein, Eric W. "Set". Wolfram MathWorld . Consultado el 19 de agosto de 2020 .
  22. ^ Ralph C. Steinlage (1987). Álgebra universitaria. West Publishing Company. ISBN 978-0-314-29531-6.
  23. ^ desde Halmos 1960, pág. 2.
  24. ^ de Marek Capinski; Peter E. Kopp (2004). Medida, integral y probabilidad. Springer Science & Business Media. pág. 2. ISBN 978-1-85233-781-0.
  25. ^ "Establecer símbolos". www.mathsisfun.com . Consultado el 19 de agosto de 2020 .
  26. ^ desde Halmos 1960, pág. 8.
  27. ^ KT Leung; Doris Lai-chue Chen (1 de julio de 1992). Teoría elemental de conjuntos, parte I/II. Prensa de la Universidad de Hong Kong. pág. 27. ISBN 978-962-209-026-2.
  28. ^ Aggarwal, ML (2021). "1. Conjuntos". Comprensión de las matemáticas de ISC, clase XI . Vol. 1. Publicaciones Arya (Avichal Publishing Company). pág. A=3.
  29. ^ Sourendra Nath, De (enero de 2015). "Conjuntos y funciones de la Unidad 1: 1. Teoría de conjuntos". Chhaya Ganit (Ekadash Shreni) . Libros académicos Pvt. Limitado. Ltd. pág. 5.
  30. ^ Halmos 1960, Sec.2.
  31. ^ de Felix Hausdorff (2005). Teoría de conjuntos. American Mathematical Soc. pág. 30. ISBN 978-0-8218-3835-8.
  32. ^ Peter Comninos (6 de abril de 2010). Técnicas matemáticas y de programación informática para gráficos informáticos. Springer Science & Business Media. pág. 7. ISBN 978-1-84628-292-8.
  33. ^ desde Halmos 1960, pág. 3.
  34. ^ abcdef George Tourlakis (13 de febrero de 2003). Lectures in Logic and Set Theory: Volume 2, Set Theory. Cambridge University Press. pág. 137. ISBN 978-1-139-43943-5.
  35. ^ Yiannis N. Moschovakis (1994). Notas sobre la teoría de conjuntos. Springer Science & Business Media. ISBN 978-3-540-94180-4.
  36. ^ Arthur Charles Fleck (2001). Modelos formales de computación: los límites últimos de la computación. World Scientific. p. 3. ISBN 978-981-02-4500-9.
  37. ^ William Johnston (25 de septiembre de 2015). La integral de Lebesgue para estudiantes universitarios. Asociación Matemática de Estados Unidos. pág. 7. ISBN 978-1-939512-07-9.
  38. ^ Karl J. Smith (7 de enero de 2008). Matemáticas: su poder y utilidad. Cengage Learning. pág. 401. ISBN 978-0-495-38913-2.
  39. ^ John Stillwell (16 de octubre de 2013). Los números reales: Introducción a la teoría y el análisis de conjuntos. Springer Science & Business Media. ISBN 978-3-319-01577-4.
  40. ^ David Tall (11 de abril de 2006). Pensamiento matemático avanzado. Springer Science & Business Media. pág. 211. ISBN 978-0-306-47203-9.
  41. ^ Cantor, Georg (1878). "Ein Beitrag zur Mannigfaltigkeitslehre". Journal für die Reine und Angewandte Mathematik . 1878 (84): 242–258. doi :10.1515/crll.1878.84.242 (inactivo 2024-09-19).{{cite journal}}: CS1 maint: DOI inactive as of September 2024 (link)
  42. ^ Cohen, Paul J. (15 de diciembre de 1963). "La independencia de la hipótesis del continuo". Actas de la Academia Nacional de Ciencias de los Estados Unidos de América . 50 (6): 1143–1148. Bibcode :1963PNAS...50.1143C. doi : 10.1073/pnas.50.6.1143 . JSTOR  71858. PMC 221287 . PMID  16578557. 
  43. ^ Halmos 1960, pág. 19.
  44. ^ Halmos 1960, pág. 20.
  45. ^ Edward B. Burger; Michael Starbird (18 de agosto de 2004). El corazón de las matemáticas: una invitación al pensamiento eficaz. Springer Science & Business Media. pág. 183. ISBN 978-1-931914-41-3.
  46. ^ Toufik Mansour (27 de julio de 2012). Combinatoria de particiones de conjuntos. CRC Press. ISBN 978-1-4398-6333-6.
  47. ^ Halmos 1960, pág. 28.
  48. ^ José Ferreirós (16 de agosto de 2007). Laberinto del pensamiento: una historia de la teoría de conjuntos y su papel en las matemáticas modernas. Birkhäuser Basilea. ISBN 978-3-7643-8349-7.
  49. ^ Steve Russ (9 de diciembre de 2004). The Mathematical Works of Bernard Bolzano. OUP Oxford. ISBN 978-0-19-151370-1.
  50. ^ William Ewald; William Bragg Ewald (1996). De Kant a Hilbert, volumen 1: un libro de consulta sobre los fundamentos de las matemáticas. OUP Oxford. pág. 249. ISBN 978-0-19-850535-8.
  51. ^ Paul Rusnock; Jan Sebestík (25 de abril de 2019). Bernard Bolzano: su vida y su obra. OUP Oxford. pág. 430. ISBN 978-0-19-255683-7.
  52. ^ Georg Cantor (noviembre de 1895). "Beiträge zur Begründung der transfiniten Mengenlehre (1)". Mathematische Annalen (en alemán). 46 (4): 481–512.
  53. ^ Bertrand Russell (1903) Los principios de las matemáticas , capítulo VI: Clases
  54. ^ Jose Ferreiros (1 de noviembre de 2001). Laberinto del pensamiento: Una historia de la teoría de conjuntos y su papel en las matemáticas modernas. Springer Science & Business Media. ISBN 978-3-7643-5749-8.
  55. ^ Raatikainen, Panu (2022). Zalta, Edward N. (ed.). "Teoremas de incompletitud de Gödel". Stanford Encyclopedia of Philosophy . Metaphysics Research Lab, Stanford University . Consultado el 3 de junio de 2024 .

Referencias

  • La definición del diccionario de conjunto en Wikcionario
  • "Beiträge zur Begründung der transfiniten Mengenlehre" de Cantor (en alemán)
Retrieved from "https://en.wikipedia.org/w/index.php?title=Set_(mathematics)&oldid=1250113043"