Propiedades de los números enteros

El conjunto de los números enteros, provisto de las operaciones de adición y multiplicación forman lo que en álgebra abstracta se conoce como una estructura algebraica de anillo.[1]​ El conjunto de los números enteros se representa mediante la letra (que proviene del alemán Zahl, «número» o «cantidad»). Los enteros están totalmente ordenados, y es posible definir varias nociones de distancia entre dos enteros cualesquiera, siendo la más usual igual al valor absoluto de su diferencia.

Relación con otros conjuntos editar

Los números enteros pueden ser considerados, por un lado, como una extensión de los números naturales, y por otro como un subconjunto de los números racionales o fracciones, puesto que cada número entero puede ser considerado como una fracción - una división cuyo denominador es el número uno. En concreto se da la siguiente cadena de inclusiones:

 ,

formada de izquierda a derecha por los naturales, los enteros, los racionales, los reales y los complejos.

Otro conjunto de interés que extiende los enteros son los enteros gaussianos, denotado  : combinaciones lineales de la forma m + in, donde m y n son enteros, e i es el número imaginario  .[2]​ Estos, así como los enteros cuadráticos son subconjuntos del anillo de los enteros algebraicos.

Existen infinitos números enteros. Aunque a simple vista hay más números enteros que naturales, en realidad es posible poner ambos conjuntos en correspondencia biyectiva, lo que significa que ambos conjuntos tienen la misma cardinalidad. Se denomina a este cardinal  , y es el menor cardinal infinito. Es el cardinal de los conjuntos numerables, en particular   es numerable.[3][4]

La correspondencia puede expresarse por medio de una sucesión que contenga todos los enteros, por ejemplo[5]

 

El hecho de que   se pueda poner en correspondencia con un subconjunto propio suyo significa que es un conjunto infinito-Dedekind. Por que

Construcción formal de los enteros editar

Clases de diferencias de números naturales editar

Un número entero negativo puede ser definido mediante la diferencia de dos números naturales. Por ejemplo  , de donde puede asociarse el número   con el par ordenado   de números naturales. Sin embargo, debido a que   y una infinidad más de pares ordenados dan como resultado   al restar, no puede decirse simplemente que  . En lugar de ello, se incluyen todos los pares ordenados de números naturales, que dan como resultado   al restar sus componentes, dentro de una clase de equivalencia.

Formalmente, se dice que los pares   y   son equivalentes (es decir, se asocian al mismo número entero), lo que se denota como   si y solo si:

(1) .

La relación   es una relación de equivalencia que produce en   una partición en clases de equivalencia, denotadas con corchetes como en  , 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:

 

Si no se acepta el cero como número natural, y se parte, en cambio, del 1, se define entonces

 

Luego el cero puede definirse como:

 

El escoger   y   o   y   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,

 

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 la adición y la multiplicación editar

Se define la adición ( ) sobre   como

  para todo  

teniendo previamente definida la adición sobre  . La definición anterior no depende de los representantes   escogidos, puesto que cualesquiera otros pares de las mismas clases de equivalencia conducen al mismo resultado. Esto significa que la adición es una operación bien definida.

Demostración
si
  y  ,

entonces

  y  ,

luego

 

ya que

 .

La multiplicación ( ) sobre   se define como sigue:

  para todo  

teniendo previamente definida la multiplicación sobre  . La definición anterior también está bien definida.

Demostración
 .

El orden de los enteros editar

Del mismo modo que los naturales están ordenados, es posible definir un orden total en los enteros. Dados dos enteros   y  , se dice que   (leído m es menor o igual que n) si

 ,

respecto del orden en los números naturales. Análogamente se define el orden estricto  .

Se puede comprobar que este orden extiende el orden de los naturales. Este orden no tiene cota superior ni inferior; informalmente, no hay un «número entero máximo» ni un «número entero mínimo».[6]​ En consecuencia, no es un buen orden, a diferencia del orden de los naturales.[7]

Estructura algebraica editar

Como grupo aditivo editar

Si consideramos solamente la adición, el conjunto de los enteros   es un grupo abeliano. Este grupo es cíclico e infinito, y es de hecho el único grupo cíclico infinito, salvo isomorfismo de grupos. Es de una importancia fundamental en la teoría de grupos, en especial de los grupos abelianos, y es usual denotarlo simplemente como  , donde la operación se sobreentiende.

Para cada entero  , el elemento simétrico es su negativo,  . El elemento identidad del grupo es el número cero, y es su propio negativo, el único entero con esta propiedad.

Todos los subgrupos propios son de la forma  , para algún entero positivo n. En particular, son todos infinitos e isomorfos al propio  . El único subgrupo finito de   es el subgrupo trivial  .

La estructura de grupo implica que es posible definir la operación inversa de la suma, es decir, la resta. En consecuencia es posible resolver cualquier ecuación de la forma a + x = b, lo que significa que siempre hay una solución entera para x y que además es única.

Los automorfismos de   deben aplicar generadores en generadores, por lo que las únicas imágenes posibles para la unidad son 1 y -1. En consecuencia, el grupo de automorfismos de   contiene dos elementos, y es isomorfo al grupo cíclico C2. El holomorfo de   es por tanto el producto semidirecto:

 .

Al grupo abstracto   se le conoce como el grupo diedral infinito  , pues generaliza la construcción de los grupos diedrales  .[8]

Como anillo editar

El conjunto de los números enteros con la adición y la multiplicación   forma una estructura algebraica llamada anillo. Este anillo posee las siguientes propiedades:

A diferencia de la suma, no todo número entero tiene inverso multiplicativo; en consecuencia no siempre es posible dividir dos enteros. La divisibilidad de los enteros es una cuestión compleja, central en la teoría de números. Se dice que   divide a   si existe un entero   tal que  ; tal caso se denota como  . Una ecuación diofántica de la forma   solo tendrá solución entera si   divide a  , lo cual no es cierto en general.

Los únicos enteros que tienen inverso multiplicativo son +1 y -1, que forman el grupo de unidades del anillo (un grupo multiplicativo). En consecuencia, todo entero es divisible entre 1 y entre -1. No obstante, es posible embeber   en un cuerpo en el que todo entero (salvo el cero) es invertible: este cuerpo es el de los números racionales. La generalización de la construcción de los racionales sobre los enteros permite obtener el cuerpo de fracciones de cualquier anillo conmutativo. En particular los racionales son el cuerpo de fracciones de los enteros, en el que el inverso de   es la fracción  .

Estructura métrica y topológica editar

El conjunto de los enteros se puede convertir en un espacio métrico si se define una función distancia d(m,n). Por ejemplo, la distancia usual en   es la restricción de la distancia euclídea de los números reales. Para todo par de enteros m y n, toma el valor absoluto de su diferencia:

 .

Es la distancia entre dos puntos con coordenada entera de la recta numérica.

Respecto de esta métrica, las isometrías en   son transformaciones que o bien son traslaciones ( ), bien son reflexiones respecto del origen ( ), o una composición de ambas.[14]​ El grupo de isometría de   resulta ser el holomorfo de  :

 .

Puesto que   es un sunconjunto del espacio métrico de los reales,   es un subgrupo del grupo euclídeo de dimensión 1, denotado E(1).

En el conjunto de los enteros se puede definir una topología inducida por el orden, que proviene de considerar abiertos todos los intervalos de la forma:[15]

  donde  .

En esta topología cada conjunto unitario es abierto: para todo entero n arbitrario, {n} = (n-1,n+1). Por lo tanto se trata de la topología discreta, lo que dota al grupo aditivo   de estructura de grupo discreto. La topología inducida por la métrica usual es la misma: dado un número n cualquiera, existe un entorno abierto  , para cierto real positivo  , que solo contiene a n.

No es la única topología que se puede definir en  : también son posibles otras topologías habituales como la trivial o la cofinita (aquella en que son abiertos los conjuntos con complementario finito junto con el propio  ).[16]

Referencias editar

  1. Lang, 2002, p. 86.
  2. Gamboa y Ruiz, 2002, p. 21. La inclusión de Z en Z[i] proviene de considerar los enteros gaussianos de la forma m + 0i, para cada entero m.
  3. Smith, Eggen y St. Andre, 2011, p. 243. Véanse los teoremas 5.2.1 y 5.2.2
  4. Trejo: "El concepto de número"
  5. Munkres, 2007, p. 50.
  6. Munkres, 2007, p. 37.
  7. Munkres, 2007, p. 70.
  8. Dummit y Foote, 2004, p. 178. Véase Ejemplo (1)
  9. Gamboa y Ruiz, 2002, p. 39.
  10. Gallian, 2013, p. 258.
  11. Gallian, 2013, p. 255.
  12. Gamboa y Ruiz, 2002, p. 36.
  13. Sadosky: "Introducción al álgebra"
  14. Trejo y otros: "Matemáticas" cuarto curso
  15. Munkres, 2007, p. 96. La topología del orden requiere dos condiciones adicionales que en el conjunto de los enteros son triviales porque tiene máximo ni mínimo.
  16. Munkres, 2007, p. 86.

Bibliografía editar

  • Dummit, David S.; Foote, Richard M. (2004). Abstract Algebra (en inglés) (3ª edición). Wiley. ISBN 978-81-265-3228-5. 
  • Gallian, Joseph A. (2013). Contemporary Abstract Algebra (en inglés) (8ª edición). 
  • Gamboa, José M.; Ruiz, Jesús M. (2002). Anillos y cuerpos conmutativos (3ª edición). UNED. 
  • Lang, Serge (2002). Algebra (en inglés) (3ª edición). Springer. 
  • Munkres, James R. (2007). Topología (2ª edición). Prentice Hall. ISBN 978-84-205-3180-9. 
  • Smith, Douglas; Eggen, Maurice; St. Andre, Richard (2011). A Transition to Advanced Mathematics (7ª edición). ISBN 978-0-495-56202-3.