Los números enteros son una generalización del conjunto de números naturales que incluye números enteros negativos (resultados de restar a un número natural otro mayor), además del cero. El hecho de que un número sea entero, significa que no tiene parte decimal. Los números enteros negativos pueden aplicarse en diversos contextos, como la representación de profundidades bajo el nivel del mar, temperaturas bajo cero, o deudas, entre otros. Contenido 1 Historia 2 Estructura de los números enteros 3 Construcción formal de los enteros a partir de los naturales 4 Definición de adición y multiplicación sobre números enteros 5 Propiedades de los números enteros 5.1 Propiedades de clausura 5.2 Propiedades asociativas 5.3 Propiedades conmutativas 5.4 Propiedad distributiva 5.5 Existencia de elementos neutros 5.6 Existencia de elemento opuesto 5.6.1 Unicidad del elemento opuesto 5.7 Propiedades cancelativas 5.8 Propiedades de orden 5.8.1 Propiedad reflexiva del orden 5.8.2 Propiedad antisimétrica del orden 5.8.3 Propiedad transitiva del orden 5.8.4 Compatibilidad del orden con las operaciones 5.9 Propiedad o axioma de la buena ordenación 6 Referencias 7 Véase también // Historia Los números enteros positivos y negativos, son el resultado natural de las operaciones suma y resta. Su empleo, aunque con diversas notaciones, se remonta a la antigüedad. El nombre de enteros se justifica porque estos números ya positivos o negativos, siempre representaban una cantidad de unidades no divisibles (por ejemplo, personas). No fue sino hasta el siglo XVII que tuvieron aceptación en trabajos científicos europeos, aunque matemáticos italianos del renacimiento como Tartaglia y Cardano los hubiesen ya advertido en sus trabajos acerca de solución de ecuaciones de tercer grado. Sin embargo, la regla de los signos ya era conocida previamente por los matemáticos de la India. cita requerida Aplicación en contabilidad Encuentran aplicación en los balances contables. A veces, cuando la cantidad adeudada o pasivo, superaba a la cantidad poseída o activo, se decía que el banquero estaba en "números rojos". Esta expresión venía del hecho que lo que hoy llamamos números negativos se representaban escritos en tinta roja así: 30 podía representar un balance positivo de 30 sueldos, mientras que 3 escrito con tinta roja podía representar, 3 sueldos, es decir, una deuda neta de 3 sueldos. Estructura de los números enteros Los enteros con la adición y la multiplicación forman una estructura algebraica llamada anillo. Pueden ser considerados una extensión de los números naturales y un subconjunto de los números racionales (fracciones). Los números enteros son subconjunto de los números racionales o fracciones, puesto que cada número entero puede ser considerado como una fracción cuyo denominador es el número uno. Los números enteros pueden ser sumados y/o restados, multiplicados y comparados. Si la división es exacta, también pueden dividirse dentro del mismo conjunto de los enteros. La razón principal para introducir los números negativos sobre los números naturales es la posibilidad de resolver ecuaciones del tipo: para la incógnita x. Matemáticamente, el conjunto de los números enteros con las operaciones de suma y multiplicación, constituye un anillo conmutativo y unitario. Por otro lado, , donde es el orden usual sobre , es un conjunto completamente ordenado sin cota superior o inferior: los enteros no tienen principio ni fin. El conjunto de los números enteros se representa mediante (el origen del uso de Z es el alemán Zahl, «número» o «cantidad»). Construcción formal de los enteros a partir de los naturales Un número entero negativo puede ser definido mediante la diferencia de dos números naturales. Por ejemplo − 3 = 5 − 8, de donde puede asociarse el número − 3 con el par ordenado (5,8) de números naturales. Sin embargo, debido a que (4,7) y una infinidad más de pares ordenados dan como resultado − 3 al restar sus componentes, no puede decirse simplemente que − 3 = (5,8). Lo que puede hacerse, es incluir todos los pares ordenados de números naturales, que dan como resultado − 3 al restar sus componentes, dentro de un solo conjunto, o, más exactamente, dentro de una clase de equivalencia. Para ello, aprovechamos el que dos pares ordenados (a,b) y (c,d) puedan ser asociados al mismo número entero si: (1) . El único problema es que la ecuación (1) no está definida en cuando a < b. Pero esto se remedia fácilmente, al notar que equivale a Ciertamente para cualesquiera , de tal manera que puede definirse una relación sobre mediante: si y solo si La relación es una relación de equivalencia que produce en una partición en clases de equivalencia, cada una de las cuales puede ser asociada a un único número entero y viceversa. Por ejemplo: Si admitimos el cero como número natural, podemos definir: | info=para todo Si no se acepta el cero como número natural, y se parte, en cambio, del 1, se define entonces | info=para todo Luego el cero puede definirse como: | info=para todo El escoger (n,0) y (0,n) (o (n + 1,1) y (1,n + 1) para cuando no se acepta ), para las definiciones anteriores es una decisión completamente arbitraria que toma en cuenta la sencillez de estos pares ordenados. Nótese que, de cualquier forma, | info=para todo Se define pues el conjunto de los números enteros como el conjunto: (2) de todas las clases de equivalencia producidas por la relación sobre el producto cartesiano . Esto es, es el conjunto cociente: (3) . Definición de adición y multiplicación sobre números enteros Se define la adición ( + ) sobre como sigue: | info=para todo teniendo previamente definida la adición sobre . La definición anterior no depende de los representantes escogidos puesto que, por tanto cualesquiera pares iniciales escogidos conducen al mismo resultado: La multiplicación () sobre se define como sigue: | info=para todo teniendo previamente definida la multiplicación sobre . La definición anterior está correctamente definida debido a que: Propiedades de los números enteros Propiedades de clausura Si , existen tales que: y, de esto, De la clausura de la adición sobre , se sigue, por definición, que Se tiene que la adición sobre el conjunto de los números enteros verifica la propiedad Para cualesquiera Lo mismo cumple la multiplicación sobre : Para cualesquiera Propiedades asociativas Las propiedades asociativas de la adición y la multiplicación sobre se siguen fácilmente de las definiciones de estas operaciones. Estas propiedades son: Para cualesquiera y Para cualesquiera Propiedades conmutativas Puesto que [(m,n)]+[(p,q)]=[(m+p\ ,\ n+q)]=[(p+m\ ,\ q+n)]=[(p,q)]+[(m,n)] para cualesquiera , tenemos que Para cualesquiera Esta es la propiedad conmutativa de la adición sobre . Esta propiedad la tiene también la multiplicación: Para cualesquiera Propiedad distributiva Sean los enteros [(a,b)], [(c,d)] y [(m,n)]. Tenemos . Por tanto se cumple la siguiente propiedad distributiva Para cualesquiera Existencia de elementos neutros El cero, 0 = [(n,n)], , tiene la característica de que para todo entero [(a,b)], y como a + (b + n) = b + (a + n) sean cuales sean los números naturales a,b,n, tenemos , de donde , por lo que el cero es un elemento neutro para la adición sobre . En para todo .términos más sencillos, Se define como sigue: . Vemos que, para todo entero [(a,b)], y, puesto que , resulta que 1 es un elemento neutro para la multiplicación sobre . Es decir, para todo pt. a+b _ c Existencia de elemento opuesto Para cada número existe un elemento opuesto que denotaremos por tal que: Para demostrar que existe el elemento opuesto podemos constrirlo explícitamente como , que cumple obviamente la propiedad anterior: Unicidad del elemento opuesto Además este opuesto es único. Esto significa que para cada entero existe un único número tal que sumado con él el resultado es cero. Para verlo podemos suponer que existen dos opuestos y , entonces sucede que: En esta prueba de que el elemento opuesto hemos usado la propiedad asociativa y la unicidad del elemento neutro. Propiedades cancelativas Sean y a + b = a + c. Tenemos que gracias a la existencia del elemento opuesto: Por tanto, se cumple la siguiente propiedad cancelativa Para todo . Para la multiplicación también se cumple la propiedad cancelativa, aunque para demostrar esto debe utilizarse un método distinto, ya que no todo elemento de es una unidad (esto es, no todo entero tiene un inverso), y por tanto , con su multiplicación, no es un anillo de división. La prueba que sigue de la propiedad cancelativa para la multiplicación se basa en el hecho de que es un dominio íntegro. Sean pues , y ab = ac con . Tenemos que ab − ac = 0, y de la propiedad distributiva a(b − c) = 0, o sea que b − c = 0, lo que demuestra que b = c. Se cumple pues la propiedad cancelativa siguiente: Para todo , con . Propiedades de orden Si a = b Entonces b = a Propiedad reflexiva del orden a = a Propiedad antisimétrica del orden Si a ≤ b y b ≤ a, entonces a = b. Propiedad transitiva del orden Si a < b y b < c, entonces a < c. Compatibilidad del orden con las operaciones Si a ≤ b entonces a+c ≤ b+c, para todo c ∈. y si c ≥ 0, con a ≤ b entonces a c ≤ b c Propiedad o axioma de la buena ordenación Sea S un subconjunto no vacío de ℤ, acotado inferiormente, entonces S tiene primer elemento. Este axioma indica que el conjunto S tiene un ínfimo y un supremo, lo que quiere decir es que S del conjunto de cotas superiores y cotas inferiores tiene un elemento menor de las cotas superiores llamado supremo que a su vez es mayor que todos los elementos del conjunto S. Referencias Véase también Número negativo Números Complejos Reales Racionales Enteros Naturales Uno Primos Compuestos Cero Negativos Fraccionarios Fracción propia Fracción impropia Irracionales Algebraicos irracionales Trascendentes Imaginarios