Álgebra Abstracta/Sistemas Numéricos

De Wikilibros, la colección de libros de texto de contenido libre.

Introducción[editar]

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 Reales[editar]

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 Naturales[editar]

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 Enteros[editar]

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 Enteros[editar]

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 Enteros[editar]

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 Enteros[editar]

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 Primos[editar]

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 Irracionales[editar]

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 Complejos[editar]

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.

Comentarios[editar]

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].

Notas[editar]

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