Álgebra Abstracta/Sistemas Numéricos

IntroducciónEditar

Los Sistemas Numéricos son los Naturales, los Enteros, los Racionales, los Reales y los Complejos.

Suponemos conocidas las maneras de efectuar computaciones con los elementos de esos conjuntos así como de sus principales propiedades algebraicas. Aquí solamente daremos un resumen de las mismas, algunas veces con una demostración, cuando no suponemos conocida la demostración.

Formalmente, uno tiene dos caminos para proceder con los Sistemas Numéricos.

  1. La primera vía es suponer la existencia de los Reales (presentados como un cuerpo ordenado completo) y deducir la existencia y propiedades del resto de los sistemas numéricos. Esa será la vía que adoptaremos. El lector interesado puede, por ejemplo mirar a (BB) Spivak.
  2. La otras vía es comenzar con los axiomas de Peano para los números naturales para, posteriormente, construir los otros sistemas numéricos.

Los Números RealesEditar

El conjunto de números Reales se puede identificar con las expansiones decimales (finitas e infinitas). Formalmente, se supone que determinan un cuerpo ordenado completo.

La noción de cuerpo se estudia en el texto en los capítulos Los Anillos y Extensiones de Cuerpos. Un cuerpo es ordenado cuando hay una relación de orden total compatible con las operaciones. La noción de completo es más delicada, formalmente se pide axiomáticamente que "cualquier subconjunto no vacío tal que ha un número mayor que cada uno de sus elementos (cota superior), tiene una cota superior estricta, menor o igual que cualquier otra cota superior". Ese postulado implica entre otras cosas que cada expansión decimal representa a un número real, que los naturales no tienen cota superior (Propiedad Arquimediana) y que cada sucesión de Cauchy [1] converge. Aunque esas propiedades son muy importantes,para los efectos del texto consideraremos principalmente las nociones de cuerpo y orden. Nuestro desarrollo no será, por lo tanto, totalmente formal.

Los Naturales ( ), los Enteros ( ) y los Racionales que veremos a continuación son subconjuntos de los Reales. Los Complejos que veremos más tarde, son una extensión de los Reales, o sea que los contienen.

Los Números NaturalesEditar

Decimos que un subconjunto   de los Reales es un conjunto inductivo, ssi, (i)   contiene al cero (0) y (ii) cuando   está en  , entonces   también está en  . Observemos que   mismo es un conjunto inductivo.

Definición. (Naturales,  ) Llamamos Naturales al subconjunto de   que es la intersección de todos los conjuntos inductivos en  . Un número natural es un elemento de  .


Claramente,   es un conjunto inductivo que está contenido en cualquier conjunto inductivo. Aplicando la definición tenemos que

 

Observemos, que siguiendo las tendencias recientes, incluimos al 0 en los naturales.

La definición nos dice que cuando   sea un conjunto inductivo contenido en  ,   deberá ser igual a   (ya que   está contenido en cualquier conjunto inductivo de  ). Esta observación sirve de fundamento para la propiedad más característica de los Naturales: el principio de inducción matemática, usado frecuentemente en el texto.

Proposición. ( (Primer) Principio de Inducción (PIM)) Sea   un enunciado que tiene sentido para cada número natural. Si se cumple que

  1.   es válida, y
  2. cuando un entero   es válida, también lo es  .

Entonces,   es válida para todo número natural.

    Demostración: Sea   el conjunto formado por todos los números naturales tales que el enunciado   es válido. Sigue de las hipótesis de la proposición, que   es un conjunto inductivo. Por lo que concluye que   es igual a  .


Se puede también probar lo siguiente. Proposición. (Segundo Principio de Inducción) Sea   un enunciado que tiene sentido para cada número natural. Si se cumple que

  1.   es válida, y
  2. suponiendo la propiedad   válida para todo  , se concluye que lo es  .

Entonces,   es válida para todo número natural.

Se verifica, por inducción, que los Naturales son cerrados respecto a la adición y a la multiplicación (de los Reales). Cuando <mamth>m</math> y   son números naturales, se verifica que $M<n$, ssi, $m-n$ es un natural diferente de 0. De ahí, sigue que cualquier natural diferente de 0 es positivo.

Los Números EnterosEditar

Definición. (Enteros,  ) Decimos que un número real   es entero, ssi,   es natural positivo o   o   es un natural positivo.


 

Las Propiedades Básicas de los EnterosEditar

Se verifica que los Enteros son cerrados respecto a la suma, resta y multiplicación. Además la multiplicación es cancelativa. En término de estructuras se trata de un dominio de integridad (ver definiciones en el capítulo Estructuras).

El Orden en los EnterosEditar

Se verifica que  , ssi,   es un número natural positivo. Se verifica que   Sigue de la definición de entero, que para cada entero   se cumple una, y solo una, de las siguientes alternativas.

 

Como cada natural positivo es mayor o igual a 1, no hay un número entero entre   y  , ya que por ser no nulo y positivo sería natural positivo. Sigue, en forma inmediata de lo anterior, que cuando   es un número entero no hay entero entre   y  .

Principio del Buen Orden (PBO)Editar

Una de las propiedades más característica de los Enteros con relación al orden es el Principio del Buen Orden, que tiene bastante uso en el texto..

Proposición. (Principio del Buen Orden) Sea   un subconjunto de  . Si   no es vacío, contiene un elemento minimal, es decir un número entero que es menor o igual que todos los otros elementos del conjunto.

    Demostración: . Supongamos que   no tuviera elemento minimal y sea   el complemento en los Naturales de  . Tenemos que   no puede estar en  , ya que sería un elemento minimal, por lo que   está en  . Supongamos que   fuera un elemento de  . Cualquier número natural menor que   no puede estar en  , ya que si hubiera tales números en $S$, el menor entre ellos sería un minimal de  . Luego, todos los números en   deben ser mayores o iguales a  ; por lo que   no puede estar en  , ya que sería un minimal de  . Por lo tanto   está en  . Por PIM,   debe ser igual a  , pero, esto implica que su complemento   sería vacío, lo que contradice la suposición de que   no fuera vacío.


Notemos que tal resultado no es válido para los Racionales. En efecto, si consideramos el conjunto de los Racionales formado por todos los recíprocos de enteros positivos, es fácil ver que ese conjunto no tiene un elemento minimal.


El Algoritmo de la División de los EnterosEditar

El resultado de la siguiente proposición es conocido como el Algoritmo de la División (de Euclides).

Proposición. (Algoritmo de Euclides) Sea   y   números enteros tales que  . Entonces, hay únicos enteros   (cociente de la división de   por  ) y   (residuo de la división de   por  ) tales que

 

    Demostración: Suponer que  . Considerar el conjunto  . Haciendo   se ve que   contiene números positivos o cero. Por el PBO, hay un   que es el menor de todos ellos. Mostraremos que  . Si   entonces, hallaríamos un   tal que  . Entonces, la relación   implicaría que  ; de donde,  . Lo que muestra que   sería un elemento de   que es menor que el minimal  , lo que no puede ser. Luego,  . Lo que prueba la existencia de   y   como en la proposición. Probaremos ahora la unicidad. Supongamos que   con  . De donde   (***). Si  , sigue inmediatamente que  , por lo tanto la unicidad. Igualmente, si  , entonces  . Supongamos que  . Sin perdida de generalidad podemos suponer que  . Entonces,  , o sea  . Por (***)   de be ser positivo, lo que implica que  , por lo que  . Vemos, entonces, que el lado derecho de (***) es mayor o igual que  , mientras que su lado izquierdo es menor que  . Como esto es imposible, obtenemos que  . Veamos ahora el caso donde  . Aplicando el resultado obtenido a   y  , obtenemos que hay únicos   y   tales que   con  . De donde {{Eqn} |****}} Si   se tiene el resultado deseado. Si  , sea  , Sustituyendo en (****), obtenemos que
     

    Lo que concluye la demostración.


Una consecuencia importante es la siguiente.

Proposición. (Identidad de Bezout) Sean   y   números enteros positivos y sea   el máximo común divisor de   y  . Entonces, hay enteros  ,   tales que

 

    Demostración: Sea  . Como   contiene al   (</math>x=1</math>,  ) hay enteros positivos en  . Por el PBO hay un menor entero positivo   en  , digamos que
      (*


    Sigue directamente de (*) que cualquier divisor común de   y   divide a  . Por el algoritmo de la división, hay  ,   tales que   (**). Usando (*) obtenemos que  , de donde

     

    Si   fuera positivo sería un número positivo de   que sería menor que el minimal positivo de  , lo que no puede ser; luego,  . Por (**)   es un divisor de  . Análogamente , se prueba que   es un divisor de  . En consecuencia,   es un divisor común de   y   que es divisible por cualquier otro divisor común, luego es el máximo común divisor.


Los Números PrimosEditar

Recordemos que llamamos número primo a un entero positivo   cuyos únicos factores positivos son él mismo o 1. Un número diferente de   que no es primo se llama un número compuesto.

Propiedades de los Primos.

  • Si   es un número primo y   entonces   o  .
  • Si   es un factor de  , entonces   o  . Supongamos que   es un factor de  . Si   es un factor de  , no hay nada más que probar. Supongamos que   no divida a  . Entonces,  . Luego, por Bezout, hay enteros  ,   tales que  . Multiplicando por   en ambos lados de esa relación, obtenemos que  . Como   es un factor de  ,   es un factor del lado izquierdo, por lo que es un factor del lado derecho, o sea de  .
  • Un número   es compuesto, ssi,   con  .
  • Cada número   tiene un factor primo (que puede ser él mismo, cuando   es primo). El resultado es válido cuando  , ya que 2 es primo. Supongamos   arbitrario y que el resultado es válido para números menores que  . Si   es primo, no hay nada más que probar. Si   es compuesto, entonces  , con  . Por lo que tiene un factor primo, que es también un factor de  .


Teorema Fundamental de la Aritmética
Cada número entero  , puede expresarse como un producto único de potencias de primos. La unicidad significa que los primos que aparecen en el producto, y sus exponentes, dependen solamente de  .

    Demostración: [Esquema Abreviado de la Demostración] Usando el principio del Buen Orden se prueba que   tiene al menos un factor primo. Si   no es primo,   con  . Usando el segundo princpio de inducción, se concluye la existencia de un producto de primos iguales  . La unicidad sigue de las propiedades de los primos.


Los Números Racionales e IrracionalesEditar

Los (números) Racionales ( ) son los números reales que son iguales a una fracción de números enteros. La suma, resta, producto y cocientes de dos números racionales es un número racional

Un número racional es positivo si es igual a una fracción de enteros cuyo numerador y denominador son positivos.

Un número real es irracional, ssi, no es irracional.

Se verifica que cuando   es primo   no puede ser racional (suponiendo que lo es, se halla una contradicción al teorema fundamental.

Los Números ComplejosEditar

Llamamos número complejo a una expresión de la forma   donde  ,   son números reales e  . Se define la suma y multiplicación por

 

Se verifica que tales operaciones tiene las propiedades usuales (en término de estructuras, determinan un cuerpo).

  • Se define el conjugado de   como el complejo  . Se verifica que la conjugación conmuta con la adición y multiplicación.
     

    Además,   es un número real que es positivo, excepto cuando  .

  • Se define el \textbf{módulo} del complejo como  . El módulo tiene propiedades análogas al valor absoluto de los reales.
  • Cada complejo   puede escribirse de la forma   donde  ,   y  ,
  • Se verifica que  .
  • Definiendo   se obtiene una exponencial compleja, con propiedades formales de las potencias.
     

ComentariosEditar

La construcción de los Reales a partir de los axiomas de Peano es más extensa que partiendo de los axiomas de cuerpo ordenado completo. Realmente es la prueba matemática de que tal objeto existe. Los lectores interesados pueden consultar [2] o a la monografía [3].

NotasEditar

  1. Estudiadas en cursos de Cálculo.
  2. (BB) Landau
  3. (WEB) HernandezFA.