stringtranslate.com

Entero

Los números enteros dispuestos en una línea numérica

Un número entero es el número cero ( ), un número natural positivo (1, 2, 3, . . .), o la negación de un número natural positivo ( −1 , −2, −3, . . .). [1] Las negaciones o inversos aditivos de los números naturales positivos se denominan enteros negativos . [2] El conjunto de todos los números enteros a menudo se denota con la letra Z en negrita o negrita de pizarra . [3] [4]

El conjunto de los números naturales es un subconjunto del cual a su vez es un subconjunto del conjunto de todos los números racionales a su vez un subconjunto de los números reales [a] Al igual que el conjunto de los números naturales, el conjunto de los números enteros es infinito numerable . Un entero puede considerarse como un número real que puede escribirse sin un componente fraccionario . Por ejemplo, 21, 4, 0 y −2048 son números enteros, mientras que 9,75, ⁠5 +1/2 , 5/4 y  2 no lo son. [8]

Los números enteros forman el grupo más pequeño y el anillo más pequeño que contiene a los números naturales . En la teoría de números algebraicos , los números enteros a veces se califican como números enteros racionales para distinguirlos de los números enteros algebraicos más generales . De hecho, los números enteros (racionales) son números enteros algebraicos que también son números racionales .

Historia

La palabra entero proviene del latín entero que significa "entero" o (literalmente) "intacto", de in ("no") más tangere ("tocar"). "Entero" deriva del mismo origen a través de la palabra francesa entier , que significa tanto entero como entero . [9] Históricamente, el término se usaba para un número que era múltiplo de 1, [10] [11] o para la parte entera de un número mixto . [12] [13] Solo se consideraban los números enteros positivos, lo que hacía que el término fuera sinónimo de los números naturales . La definición de entero se expandió con el tiempo para incluir números negativos a medida que se reconocía su utilidad. [14] Por ejemplo, Leonhard Euler en sus Elementos de álgebra de 1765 definió los números enteros para incluir números positivos y negativos. [15]

La frase el conjunto de los números enteros no se utilizó hasta finales del siglo XIX, cuando Georg Cantor introdujo el concepto de conjuntos infinitos y la teoría de conjuntos . El uso de la letra Z para denotar el conjunto de números enteros proviene de la palabra alemana Zahlen ("números") [3] [4] y se ha atribuido a David Hilbert . [16] El primer uso conocido de la notación en un libro de texto aparece en Algèbre escrito por el colectivo Nicolas Bourbaki , que data de 1947. [3] [17] La ​​notación no se adoptó inmediatamente, por ejemplo, otro libro de texto utilizó la letra J [18] y un artículo de 1960 utilizó Z para denotar los números enteros no negativos. [19] Pero en 1961, Z se utilizaba generalmente en los textos de álgebra modernos para denotar los números enteros positivos y negativos. [20]

El símbolo se suele utilizar para denotar varios conjuntos, con un uso variable entre los distintos autores: , o para los números enteros positivos, o para los números enteros no negativos, y para los números enteros distintos de cero. Algunos autores utilizan para los números enteros distintos de cero, mientras que otros lo utilizan para los números enteros no negativos, o para {–1, 1} (el grupo de unidades de ). Además, se utiliza para denotar el conjunto de números enteros módulo p (es decir, el conjunto de clases de congruencia de números enteros), o el conjunto de números enteros p -ádicos . [21] [22]

Los números enteros eran sinónimos de los números enteros hasta principios de la década de 1950. [23] [24] [25] A fines de la década de 1950, como parte del movimiento New Math , [26] los maestros de escuela primaria estadounidenses comenzaron a enseñar que los números enteros se referían a los números naturales , excluyendo los números negativos, mientras que los números enteros incluían los números negativos. [27] [28] Los números enteros siguen siendo ambiguos hasta el día de hoy. [29]

Propiedades algebraicas

Los números enteros pueden considerarse como puntos discretos, igualmente espaciados en una línea numérica infinitamente larga . En la imagen anterior, los números enteros no negativos se muestran en azul y los números enteros negativos en rojo.

Al igual que los números naturales , , es cerrado bajo las operaciones de adición y multiplicación , es decir, la suma y el producto de dos números enteros cualesquiera es un número entero. Sin embargo, con la inclusión de los números naturales negativos (y, lo que es más importante,  ), , a diferencia de los números naturales, también es cerrado bajo la resta . [30]

Los números enteros forman un anillo unitario que es el más básico, en el sentido siguiente: para cualquier anillo unitario, existe un único homomorfismo de anillos de los números enteros en este anillo. Esta propiedad universal , a saber, ser un objeto inicial en la categoría de anillos , caracteriza al anillo  .

no está cerrado bajo la división , ya que el cociente de dos números enteros (por ejemplo, 1 dividido por 2) no necesita ser un número entero. Aunque los números naturales están cerrados bajo la exponenciación , los números enteros no lo están (ya que el resultado puede ser una fracción cuando el exponente es negativo).

La siguiente tabla enumera algunas de las propiedades básicas de la suma y la multiplicación para cualquier número entero a , b y c :

Las primeras cinco propiedades enumeradas anteriormente para la adición indican que , bajo la adición, es un grupo abeliano . También es un grupo cíclico , ya que cada entero distinto de cero se puede escribir como una suma finita 1 + 1 + ... + 1 o (−1) + (−1) + ... + (−1) . De hecho, bajo la adición es el único grupo cíclico infinito, en el sentido de que cualquier grupo cíclico infinito es isomorfo a .

Las primeras cuatro propiedades enumeradas anteriormente para la multiplicación indican que bajo la multiplicación hay un monoide conmutativo . Sin embargo, no todo entero tiene un inverso multiplicativo (como es el caso del número 2), lo que significa que bajo la multiplicación no hay un grupo.

Todas las reglas de la tabla de propiedades anterior (excepto la última), cuando se toman en conjunto, dicen que junto con la suma y la multiplicación es un anillo conmutativo con unidad . Es el prototipo de todos los objetos de dicha estructura algebraica . Solo aquellas igualdades de expresiones son verdaderas en  para todos los valores de las variables, que son verdaderas en cualquier anillo conmutativo unitario. Ciertos números enteros distintos de cero se asignan a cero en ciertos anillos.

La falta de divisores de cero en los números enteros (última propiedad de la tabla) significa que el anillo conmutativo  es un dominio integral .

La falta de inversos multiplicativos, lo que equivale a que no esté cerrado bajo división, significa que no es un cuerpo . El cuerpo más pequeño que contiene a los números enteros como subanillo es el cuerpo de los números racionales . El proceso de construcción de los racionales a partir de los números enteros puede imitarse para formar el cuerpo de fracciones de cualquier dominio integral. Y de vuelta, a partir de un cuerpo de números algebraicos (una extensión de los números racionales), se puede extraer su anillo de números enteros , que incluye como subanillo a .

Aunque la división ordinaria no está definida en , la división "con resto" sí lo está. Se llama división euclidiana y posee la siguiente propiedad importante: dados dos enteros a y b con b ≠ 0 , existen enteros únicos q y r tales que a = q × b + r y 0 ≤ r < | b | , donde | b | denota el valor absoluto de b . El entero q se llama cociente y r se llama resto de la división de a por b . El algoritmo euclidiano para calcular máximos comunes divisores funciona mediante una secuencia de divisiones euclidianas.

Lo anterior dice que es un dominio euclidiano . Esto implica que es un dominio ideal principal y cualquier entero positivo puede escribirse como productos de primos de una manera esencialmente única . [31] Este es el teorema fundamental de la aritmética .

Propiedades de la teoría del orden

es un conjunto totalmente ordenado sin límite superior o inferior . El orden de viene dado por: :... −3 < −2 < −1 < 0 < 1 < 2 < 3 < ... Un entero es positivo si es mayor que cero y negativo si es menor que cero. El cero se define como ni negativo ni positivo.

La ordenación de números enteros es compatible con las operaciones algebraicas de la siguiente manera:

  1. Si a < b y c < d , entonces a + c < b + d
  2. si a < b y 0 < c , entonces ac < bc .

De ello se deduce que junto con el ordenamiento anterior se obtiene un anillo ordenado .

Los números enteros son el único grupo abeliano totalmente ordenado no trivial cuyos elementos positivos están bien ordenados . [32] Esto es equivalente a la afirmación de que cualquier anillo de valoración noetheriano es un cuerpo o un anillo de valoración discreto .

Construcción

Desarrollo tradicional

En la enseñanza primaria, los números enteros se definen a menudo intuitivamente como la unión de los números naturales (positivos), cero , y las negaciones de los números naturales. Esto se puede formalizar de la siguiente manera. [33] Primero construya el conjunto de números naturales según los axiomas de Peano , llame a esto . Luego construya un conjunto que sea disjunto de y en correspondencia uno a uno con mediante una función . Por ejemplo, tome como los pares ordenados con la aplicación . Finalmente, sea 0 algún objeto que no esté en o , por ejemplo el par ordenado . Luego, los números enteros se definen como la unión .

Las operaciones aritméticas tradicionales pueden definirse entonces sobre los números enteros de manera fragmentaria , para cada uno de los números positivos, negativos y cero. Por ejemplo, la negación se define de la siguiente manera:

El estilo tradicional de definición conduce a muchos casos diferentes (cada operación aritmética debe definirse en cada combinación de tipos de números enteros) y hace que sea tedioso demostrar que los números enteros obedecen las diversas leyes de la aritmética. [34]

Clases de equivalencia de pares ordenados

Representación de clases de equivalencia para los números −5 a 5
Los puntos rojos representan pares ordenados de números naturales . Los puntos rojos vinculados son clases de equivalencia que representan los números enteros azules al final de la línea.

En las matemáticas modernas de teoría de conjuntos, a menudo se utiliza una construcción más abstracta [35] [36] que permite definir operaciones aritméticas sin distinción de casos. [37] De este modo, los números enteros se pueden construir formalmente como clases de equivalencia de pares ordenados de números naturales ( a , b ) . [38]

La intuición es que ( a , b ) representa el resultado de restar b de a . [38] Para confirmar nuestra expectativa de que 1 − 2 y 4 − 5 denotan el mismo número, definimos una relación de equivalencia ~ en estos pares con la siguiente regla:

Precisamente cuando

La suma y la multiplicación de números enteros se pueden definir en términos de las operaciones equivalentes sobre los números naturales; [38] al utilizar [( a , b )] para denotar la clase de equivalencia que tiene a ( a , b ) como miembro, se tiene:

La negación (o inverso aditivo) de un número entero se obtiene invirtiendo el orden del par:

Por lo tanto, la resta se puede definir como la suma del inverso aditivo:

El ordenamiento estándar de los números enteros viene dado por:

Si y sólo si

Se verifica fácilmente que estas definiciones son independientes de la elección de representantes de las clases de equivalencia.

Cada clase de equivalencia tiene un miembro único que tiene la forma ( n ,0) o (0, n ) (o ambas a la vez). El número natural n se identifica con la clase [( n ,0)] (es decir, los números naturales se incorporan a los números enteros mediante el mapeo que envía n a [( n ,0)] ), y la clase [(0, n )] se denota n (esto cubre todas las clases restantes y le da a la clase [(0,0)] una segunda vez ya que −0 = 0.

Por lo tanto, [( a , b )] se denota por

Si los números naturales se identifican con los números enteros correspondientes (utilizando la incrustación mencionada anteriormente), esta convención no crea ninguna ambigüedad.

Esta notación recupera la representación familiar de los números enteros como {..., −2, −1, 0, 1, 2, ...} .

Algunos ejemplos son:

Otros enfoques

En la informática teórica, los demostradores de teoremas automatizados y los motores de reescritura de términos utilizan otros enfoques para la construcción de números enteros . Los números enteros se representan como términos algebraicos construidos utilizando unas pocas operaciones básicas (por ejemplo, cero , succ , pred ) y, posiblemente, utilizando números naturales , que se supone que ya están construidos (utilizando, por ejemplo, el enfoque de Peano ).

Existen al menos diez construcciones de este tipo de números enteros con signo. [39] Estas construcciones difieren en varios aspectos: el número de operaciones básicas utilizadas para la construcción, el número (normalmente, entre 0 y 2) y los tipos de argumentos aceptados por estas operaciones; la presencia o ausencia de números naturales como argumentos de algunas de estas operaciones, y el hecho de que estas operaciones sean constructores libres o no, es decir, que el mismo número entero se pueda representar utilizando sólo uno o muchos términos algebraicos.

La técnica de construcción de números enteros presentada en la sección anterior corresponde al caso particular en el que existe una única operación básica par que toma como argumentos dos números naturales y , y devuelve un entero (igual a ). Esta operación no es libre ya que el entero 0 puede escribirse par (0,0), o par (1,1), o par (2,2), etc. Esta técnica de construcción es utilizada por el asistente de demostraciones Isabelle ; sin embargo, muchas otras herramientas utilizan técnicas de construcción alternativas, destacando las basadas en constructores libres, que son más simples y pueden implementarse de manera más eficiente en las computadoras.

Ciencias de la Computación

Un entero es a menudo un tipo de datos primitivo en los lenguajes informáticos . Sin embargo, los tipos de datos enteros solo pueden representar un subconjunto de todos los números enteros, ya que las computadoras prácticas tienen una capacidad finita. Además, en la representación común del complemento a dos , la definición inherente de signo distingue entre "negativo" y "no negativo" en lugar de "negativo, positivo y 0". (Sin embargo, es ciertamente posible que una computadora determine si un valor entero es verdaderamente positivo). Los tipos de datos de aproximación de números enteros de longitud fija (o subconjuntos) se denotan int o Integer en varios lenguajes de programación (como Algol68 , C , Java , Delphi , etc.).

Las representaciones de longitud variable de números enteros, como bignums , pueden almacenar cualquier número entero que quepa en la memoria de la computadora. Otros tipos de datos enteros se implementan con un tamaño fijo, generalmente una cantidad de bits que es una potencia de 2 (4, 8, 16, etc.) o una cantidad memorable de dígitos decimales (por ejemplo, 9 o 10).

Cardinalidad

El conjunto de los números enteros es infinito numerable , lo que significa que es posible emparejar cada número entero con un número natural único. Un ejemplo de este tipo de emparejamiento es

(0, 1), (1, 2), (−1, 3), (2, 4), (−2, 5), (3, 6), . . . ,(1 −  k , 2 k  − 1), ( k , 2 k  ), . . .

En términos más técnicos, se dice que la cardinalidad de es igual a 0 ( aleph-nulo ). El emparejamiento entre elementos de y se denomina biyección .

Véase también

Notas al pie

  1. ^ Más precisamente, cada sistema está integrado en el siguiente, mapeado isomórficamente a un subconjunto. [5] La contención teórica de conjuntos comúnmente asumida puede obtenerse construyendo los números reales, descartando cualquier construcción anterior y definiendo los otros conjuntos como subconjuntos de los reales. [6] Tal convención es "una cuestión de elección", pero no lo es. [7]

Referencias

  1. ^ Enciclopedia de ciencia y tecnología. University of Chicago Press. Septiembre de 2000. Pág. 280. ISBN 978-0-226-74267-0.
  2. ^ Hillman, Abraham P.; Alexanderson, Gerald L. (1963). Álgebra y trigonometría;. Boston: Allyn y Bacon.
  3. ^ abc Miller, Jeff (29 de agosto de 2010). «Usos más antiguos de los símbolos de la teoría de números». Archivado desde el original el 31 de enero de 2010. Consultado el 20 de septiembre de 2010 .
  4. ^ de Peter Jephson Cameron (1998). Introducción al álgebra. Oxford University Press. pág. 4. ISBN 978-0-19-850195-4Archivado desde el original el 8 de diciembre de 2016 . Consultado el 15 de febrero de 2016 .
  5. ^ Partee, Barbara H.; Meulen, Alice ter; Wall, Robert E. (30 de abril de 1990). Métodos matemáticos en lingüística. Springer Science & Business Media. págs. 78-82. ISBN 978-90-277-2245-4Los números naturales no son en sí mismos un subconjunto de esta representación de los números enteros en la teoría de conjuntos, sino que el conjunto de todos los números enteros contiene un subconjunto formado por los números enteros positivos y el cero, que es isomorfo al conjunto de los números naturales.
  6. ^ Wohlgemuth, Andrew (10 de junio de 2014). Introducción a la demostración en matemáticas abstractas. Courier Corporation. pág. 237. ISBN 978-0-486-14168-8.
  7. ^ Polkinghorne, John (19 de mayo de 2011). Significado en matemáticas. OUP Oxford. p. 68. ISBN 978-0-19-162189-5.
  8. ^ Preparación, Kaplan Test (4 de junio de 2019). GMAT Complete 2020: lo último en autoestudio integral para el GMAT. Simon and Schuster. ISBN 978-1-5062-4844-8.
  9. ^ Evans, Nick (1995). "Cuantificadores A y alcance". En Bach, Emmon W. (ed.). Cuantificación en lenguajes naturales. Dordrecht, Países Bajos; Boston, MA: Kluwer Academic Publishers. pág. 262. ISBN 978-0-7923-3352-4.
  10. ^ Smedley, Edward; Rose, Hugh James; Rose, Henry John (1845). Encyclopædia Metropolitana. B. Fellowes. pág. 537. Un número entero es un múltiplo de la unidad.
  11. ^ Enciclopedia Británica 1771, pág. 367
  12. ^ Pisano, Leonardo ; Boncompagni, Baldassarre (transliteración) (1202). Incipit liber Abbaci compositus a Lionardo filio Bonaccii Pisano en el año Mccij [ El libro de cálculo ] (Manuscrito) (en latín). Traducido por Sigler, Laurence E. Museo Galileo. pag. 30. Nam rupti uel fracti semper ponendi sunt post integra, quamuis prius integra quam rupti pronuntiari debeant. [Y las fracciones siempre se ponen después del todo, así primero se escribe el número entero, y luego la fracción]
  13. ^ Enciclopedia Británica 1771, pág. 83
  14. ^ Martínez, Alberto (2014). Matemáticas negativas . Princeton University Press. pp. 80–109.
  15. ^ Euler, Leonhard (1771). Vollstandige Anleitung Zur Algebra [ Introducción completa al álgebra ] (en alemán). vol. 1. pág. 10. Alle diese Zahlen, so wohl positivo como negativo, führen den bekannten Nahmen der gantzen Zahlen, welche also entweder größer oder kleiner sind als nichts. Man nennt dieselbe gantze Zahlen, um sie von den gebrochenen, und noch vielerley andern Zahlen, wovon unten gehandelt werden wird, zu unterscheiden. [Todos estos números, tanto positivos como negativos, se llaman números enteros, que son mayores o menores que nada. Los llamamos números enteros para distinguirlos de las fracciones y de otros tipos de números de los que hablaremos más adelante.]
  16. ^ The University of Leeds Review. Vol. 31–32. Universidad de Leeds. 1989. p. 46. Por cierto, Z viene de "Zahl": la notación fue creada por Hilbert.
  17. ^ Bourbaki, Nicolás (1951). Algèbre, Capítulo 1 (en francés) (2ª ed.). París: Hermann. pag. 27. Le symétrisé de N se note Z ; ses elementos sont apelados entiers rationnels. [El grupo de diferencias de N se denota por Z ; sus elementos se llaman números enteros racionales.]
  18. ^ Birkhoff, Garrett (1948). Lattice Theory (edición revisada). American Mathematical Society. pág. 63. el conjunto J de todos los números enteros
  19. ^ Sociedad Matemática Canadiense (1960). Revista Canadiense de Matemáticas. Sociedad Matemática Canadiense. p. 374. Consideremos el conjunto Z de números enteros no negativos.
  20. ^ Bezuszka, Stanley (1961). Progreso contemporáneo en matemáticas: Suplemento para el profesor [a] Parte 1 y Parte 2. Boston College. pág. 69. Los textos de álgebra modernos generalmente designan el conjunto de números enteros con la letra mayúscula Z.
  21. ^ Keith Pledger y Dave Wilkins, "Matemáticas modulares de Edexcel AS y A Level: Matemáticas básicas 1" Pearson 2008
  22. ^ LK Turner, FJ BUdden, D Knighton, "Matemáticas avanzadas", Libro 2, Longman 1975.
  23. ^ Mathews, George Ballard (1892). Teoría de números. Deighton, Bell and Company. pág. 2.
  24. ^ Betz, William (1934). Matemáticas para jóvenes de hoy. Ginn. Los números enteros, cuando se ordenan en su orden natural, como 1, 2, 3, se denominan números enteros consecutivos.
  25. ^ Peck, Lyman C. (1950). Elements of Algebra. McGraw-Hill. pág. 3. Los números que surgen de esta manera se denominan números enteros positivos o enteros positivos.
  26. ^ Hayden, Robert (1981). Una historia del movimiento de la "nueva matemática" en los Estados Unidos (PhD). Universidad Estatal de Iowa. p. 145. doi : 10.31274/rtd-180813-5631 . Una fuerza mucho más influyente a la hora de llevar noticias de la "nueva matemática" a los profesores y administradores de la escuela secundaria fue el Consejo Nacional de Profesores de Matemáticas (NCTM).
  27. ^ El crecimiento de las ideas matemáticas, grados K-12: 24.° anuario. Consejo Nacional de Profesores de Matemáticas. 1959. pág. 14. ISBN 9780608166186.
  28. ^ Deans, Edwina (1963). Matemáticas en la escuela primaria: nuevas direcciones. Departamento de Salud, Educación y Bienestar de los Estados Unidos, Oficina de Educación. pág. 42.
  29. ^ "entrada: número entero". Diccionario American Heritage . HarperCollins.
  30. ^ "Entero | matemáticas". Enciclopedia Británica . Consultado el 11 de agosto de 2020 .
  31. ^ Lang, Serge (1993). Álgebra (3.ª ed.). Addison-Wesley. Págs. 86-87. ISBN 978-0-201-55540-0.
  32. ^ Warner, Seth (2012). Álgebra moderna. Dover Books on Mathematics. Courier Corporation. Teorema 20.14, pág. 185. ISBN 978-0-486-13709-4Archivado desde el original el 6 de septiembre de 2015 . Consultado el 29 de abril de 2015 ..
  33. ^ Mendelson, Elliott (1985). Sistemas numéricos y fundamentos del análisis. Malabar, Fla.: RE Krieger Pub. Co. p. 153. ISBN 978-0-89874-818-5.
  34. ^ Mendelson, Elliott (2008). Sistemas numéricos y fundamentos del análisis. Dover Books on Mathematics. Courier Dover Publications. pág. 86. ISBN 978-0-486-45792-5Archivado desde el original el 8 de diciembre de 2016 . Consultado el 15 de febrero de 2016 ..
  35. ^ Ivorra Castillo: Álgebra
  36. ^ Kramer, Jürg; von Pippich, Anna-Maria (2017). De los números naturales a los cuaterniones (1ª ed.). Suiza: Springer Cham. págs. 78–81. doi :10.1007/978-3-319-69429-0. ISBN 978-3-319-69427-6.
  37. ^ Frobisher, Len (1999). Aprender a enseñar números: Manual para estudiantes y profesores de primaria. Serie de matemáticas para la enseñanza primaria de Stanley Thornes. Nelson Thornes. pág. 126. ISBN 978-0-7487-3515-0Archivado desde el original el 8 de diciembre de 2016 . Consultado el 15 de febrero de 2016 ..
  38. ^ abc Campbell, Howard E. (1970). La estructura de la aritmética . Appleton-Century-Crofts. pág. 83. ISBN 978-0-390-16895-5.
  39. ^ Garavel, Hubert (2017). Sobre la axiomatización más adecuada de números enteros con signo. Actas posteriores del 23.º Taller internacional sobre técnicas de desarrollo algebraico (WADT'2016). Lecture Notes in Computer Science. Vol. 10644. Springer. págs. 120–134. doi :10.1007/978-3-319-72044-9_9. ISBN . 978-3-319-72043-2Archivado desde el original el 26 de enero de 2018 . Consultado el 25 de enero de 2018 .

Fuentes

Enlaces externos

Este artículo incorpora material de Integer en PlanetMath , que se encuentra bajo la licencia Creative Commons Attribution/Share-Alike License .