axioma de los números reales

1. Axioma De Los números Reales

Rostro de Sergio Cohaguila Garcia con audifonos inalambricos

Por: Sergio Cohaguila

Amor a la física y matemáticas

Tal vez uno de los mayores problemas que travesaron los matemáticos desde antes de 1900 es la correcta definición de los números reales ya que los números irracionales como \( \sqrt{2} \) eran tan inimaginables como intentar definir lo que se entendía por el concepto de punto o peor aún, intentar definir el color azul para un niño de 5 años.

La teoría axiomática fue unos de los intentos (mas no el primero) en lograr definir los números reales pero resulta ser una teoría incompleta, por poner un ejemplo, para demostrar los teoremas de la teoría exponentes para una exponente real no suficientes con los axiomas de campo y de orden, pero sirve de base para definir otras teorías que desarrollaremos en secciones posteriores y junto con todas ellas serán condiciones necesarias para definir correctamente el concepto de número real (sobre todo los irracionales) y demostrar propiedades que si bien son insuficientes únicamente con la teoría axiomática pero suficientes con el axioma del supremo.

Dicho esto, comencemos con la teoría axiomática que fue desarrollado por el físico y matemático David Hilbert.

Los conceptos que verán a continuación son puramente opcionales, algunas terminologías que usaremos no muy a menudo en el tema central de la sección son explicadas con detalle en este acordeón, pero puedes pasar de largo y seguir con el tema central sin perjudicar la lógica del desarrollo de la teoría.

Ya habíamos estudiado en un capítulo del curso de relaciones matemáticas llamado relaciones binarias.

Si tenemos un conjunto \( \mathrm{A} \) y queremos relacionarlo con algunos elementos del mismo conjunto, no necesariamente iguales, como pueden ser los elementos \( x \) e \( y \) tal que pertenezcan al conjunto \( \mathrm{A} \), entonces escribimos la relación entre estos elementos con el par ordenado \( (x,y) \) respetando el orden tal que \( (x,y) \neq (y,x) \).

El producto cartesiano \( \mathrm{ A \times A } \) representa todas las combinaciones posibles entre sus elementos representado por los pares ordenados donde \( (x,y) \in \mathrm{ A \times A } \), pero si queremos relacionar algunos pares ordenados y no necesariamente con todo el conjunto del producto cartesiano, entonces existe otro conjunto que toma algunos elementos de \( \mathrm{ A \times A } \), lo representamos por la letra \( \mathrm{R} \) (no tiene nada ver con los reales) tal que \( \mathrm{ R \subseteq A \times A } \).

Dijimos que \( (x,y) \) estaban relacionados, esta relación esta determinado por \( \mathrm{R} \) tal que \( (x,y) \in \mathrm{ R \subseteq A \times A } \), ¿Pero como están relacionados?, sabemos que todo conjunto cumple una propiedad \( p \), entonces la relación \( \mathrm{R} \) que representan aquellos pares ordenados que relaciona algunos elementos de \( \mathrm{A} \) cumple alguna propiedad \( p(x,y) \) y se escribe:


\[ \mathrm{R} = \left \{ (x,y) \in \mathrm{ A \times A } | p(x,y) \right \} \]

De aquí, en lugar de usar el concepto de relación binaria, podemos definir su equivalente, se estudió en la sección de correspondencia, en este caso, la propiedad \( (x,y) \) es la correspondencia simbolizado de la siguiente manera:

\[ p: \mathrm{ A \rightarrow A } \]

Las expresiones \( p: \mathrm{ A \rightarrow A } \) y \( \mathrm{ R \subseteq A \times A } \) significa exactamente lo mismo, solo que la primera está definida desde la propiedad \( p(x,y) \) y la segunda desde el conjunto relación \( \mathrm{R} \). Si por ejemplo definimos una propiedad arbitraria \( p(x,y): y = x^{2} \), podemos escribir la relación de la siguiente manera:

\[ \mathrm{R} = \left \{ (x,y) \in \mathrm{ A \times A } | y = x^{2} \right \} \]

Usando el concepto de correspondencia donde \( p( x, x^{2} ) \), escribimos:

\[ p( x,x^{2} ): \mathrm{ A \rightarrow A } \]

Significa que tanto \( x \) como \( x^{2} \) pertenecen a \( \mathrm{A} \), como vemos, el operador potencia cuadrada ha operado sobre un elemento para votar otro valor distinto. ¿Pero que pasaría si queremos operar para dos valores distintos y nos vote un tercer valor?, en este caso deberíamos definir 3 elementos de \( \mathrm{A} \). Veamos el siguiente apartado opcional.


Cuando comparamos dos conjuntos tal que cumple una propiedad \( p(x,y) \) como por ejemplo \( x \leq y \), \( y = x^{2} \) o \( y = 3x \), donde \( (x,y) \in \mathrm{R} \) y \( \forall x,y \in \mathrm{A} \), tal que:

\[ \mathrm{R} = \left \{ (x,y) \in \mathrm{ A \times A } | x \leq y \right \} \]

ó

\[ \mathrm{R} = \left \{ (x,y) \in \mathrm{ A \times A } | y = x^{2} \right \} \]

ó

\[ \mathrm{R} = \left \{ (x,y) \in \mathrm{A} | y = 3x \right \} \]

Generalmente lo hacemos con un máximo sobre dos elementos que pertenecen a \( \mathrm{A} \) y estas condiciones siempre está determinada por la relación \( \mathrm{R} \) según una propiedad definida. Sin embargo, sumar y multiplicar dos elementos no relacionada nada, de hecho, genera otro nuevo valor donde no sabemos si pertenece al conjunto \( \mathrm{A} \). Si tales nuevos valores no existen en \( \mathrm{A} \), significa que no existe la suma ni la multiplicación en \( \mathrm{A} \).

En otras palabras, si los elementos no componen un nuevo valor dentro (interna) de \( \mathrm{A} \), entonces no se puede establecer ninguna ley de suma y multiplicación en \( \mathrm{A} \). Nuestro propósito es que tales operaciones estén definidas en \( \mathrm{A} \), a esto se le llama ley de composición interna y es lo que trataremos brevemente a continuación:


Definimos la propiedad \( p(x,y,z): x+y=z \) tal que \( x,y,z \in \mathrm{A} \), la relación definida sería:

\[ \mathrm{R} = \left \{ (x,y) \in \mathrm{ \mathrm{A} \times \mathrm{A} } | x+y = x \wedge x \in \mathrm{A} \right \} \]

Esta relación significa que la suma también pertenece al conjunto \( \mathrm{A} \), pero una manera correcta de escribirlo es de la siguiente manera: vemos que existe una relación entre el par \( (x,y) \in \mathrm{ A \times A } \) y \( x \in \mathrm{A} \) por medio de la operación suma \( (+) \), significa que dicha relación, lo llamaremos \( \mathrm{P} \), pertenece al producto cartesiano \( \mathrm{ ( A \times A ) \times A } \) donde \( (x,y,z) \in \mathrm{ ( A \times A ) \times A } \), y lo expresamos así:

\[ \mathrm{P} = \left \{ (x,y,z) \in \mathrm{ ( A \times A ) \times A | p(x,y,z): x+y=z } \right \} \]

Tenga en cuenta que \( \mathrm{ ( A \times A ) \times A } \) es lo mismo que escribir \( \mathrm{ A \times A \times A } \), la razón de los paréntesis es para indicar solamente que \( \mathrm{ A \times A } \) es el conjunto de partida y \( \mathrm{A} \) es el conjunto de llegada. Como las relaciones binarias generalmente son una parte del producto cartesiano, lo escribimos en la forma inclusiva:

\[ \mathrm{ P \subseteq ( A \times A ) \times A } \]

Si existe una propiedad \( p \), entonces desde la definición de correspondencia, escribimos su sinónimo de esta relación binaria así:

\[ p: \mathrm{ A \times A } \]


Como la propiedad \( p \) es la que define la suma \( (+) \), escribimos:

\[ +: \mathrm{ A \times A } \]

Esta correspondencia es la ley de composición interna para la suma y para la multiplicación es análoga:

\[ \cdot : \mathrm{ A \times A } \]

De manera general, si existe una operación arbitraria \( * \) que define una relación que contiene al par \( (a,b) \in \mathrm{ A \times A } \) tal que \( a * b = c \) donde a su vez \( c \in \mathrm{A} \), entonces estamos definiendo una ley de composición interna. El operador \( * \) puede representar cualquier criterio que permita realizar operaciones para obtener un nuevo elemento que pertenezca a un conjunto dado donde admita dicha operación.

Esta correspondencia es una aplicación o función ya que una operación entre dos elementos únicos de un conjunto no puede determinar dos valores distintos, por ejemplo, multiplicar dos números enteros le corresponde solo un único entero y no otro. De esta manera, definimos la ley de composición interna de la siguiente manera:

Definición de la ley de composición interna: Se llama ley de composición interna u operación interna sobre un conjunto  a toda aplicación de la forma.

Es decir, si \( a \in \mathrm{A} \) y \( b \in \mathrm{A} \) entonces \( a * b \in \mathrm{A} \). Los ejemplos que puede cumplir esta definición son la suma y la multiplicación para los naturales \( \mathbb{N} \), enteros \( \mathbb{Z} \), racionales \( \mathbb{Q} \), reales \( \mathbb{R} \) y los complejos \( \mathbb{C} \). Pero en esta sección estudiaremos la teoría axiomática de los números reales que nos corresponde.

Definición Axiomática de los números reales


Llamamos sistema de números reales al conjunto denotado por el símbolo \( \mathbb{R} \) y cumple con dos operaciones internas llamadas adición y multiplicación, junto con el axioma de distribución de la multiplicación respecto a la suma, axiomas de igualdad, axioma de orden y el axioma del supremo.

Si quitásemos el axioma del supremo, podríamos definir el mismo concepto para los racionales \( \mathbb{Q} \), sí, además quitamos el concepto de división a los racionales, la operación interna de la multiplicación no tendría un inverso multiplicativo y se reduciría únicamente a los enteros \( \mathbb{Z} \), si quitásemos el concepto de diferencia o resta en los reales, no existiría un inverso aditivo y los reales se reduciría únicamente a los naturales \( \mathbb{N} \).


Esto explica que existe una serie de condiciones necesarias y suficientes para que cada campo numérico tenga una peculiaridad única y que cumplan unas propiedades especificas según sea su campo. Lo interesante aquí es que una propiedad en el campo numérico contiene a la otra.

Ahora veamos cada una de estas condiciones que definen axiomáticamente a los números reales.

Construcción de los números reales


La teoría axiomática de los números reales como los axiomas de la suma y multiplicación, mas conocidos como los axiomas de campo y los axiomas de orden representan posiblemente una manera de explicar los números racionales, sin embargo, no indica ninguna diferencia con los números irracionales ni explica su existencia, es por ellos que hace falta un ultimo axioma, se le conoce como el axioma del supremo o de completitud que explicaremos brevemente mas adelante.

Este axioma es capaz de darle sentido en toda su extensión a los números reales tal que los racionales e irracionales descansan sin ningún problema lógico en un único conjunto.

Bajo esta consideración, si representamos el conjunto de los números reales, racionales e irracionales por los símbolos \( \mathbb{R} \), \( \mathbb{I} \) y \( \mathbb{Q} \), significa que \( \mathbb{ R = I \cup Q } \), otro punto a considerar aquí es que los números racionales e irracionales son dos conjuntos totalmente diferentes y no tienen elementos en común, esto implica simbólicamente que \( \mathbb{ I \cap Q } = \phi \), en otras palabras, \( \mathbb{I} \) y \( \mathbb{Q} \) son conjuntos disjuntos. También se pueden clasificar alternativamente los números reales como trascendentes y algebraicos desde otro contexto, pero esto lo desarrollaremos en secciones posteriores.

Los números reales comprende otras clasificaciones que lo veremos en breve y cumple los axiomas que que mencionaremos mas adelante.

Clasificación de los números


Números naturales

Nace por la necesidad de contar, siguen un orden creciente desde la unidad y tiene un precedente muy bien definido, pero esto requiere una definición simbólicamente más adecuada que no haremos aquí en este momento. Se representa informalmente por \( \mathbb{N} = \left \{ 0,1,2,3,4, \cdots \right \} \) y satisface el principio de inducción.

Números enteros

Era necesario añadir los números negativos y nace por la necesidad de hacer mediciones como por ejemplo la temperatura por debajo de los 0 grados Celsius. Su representaron informal está determinado por el conjunto:


\[ \mathbb{Z} = \left \{ \cdots -5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5, \cdots \right \} \]

Números racionales

Era el más explotado por los pitagóricos entre otras escuelas del saber de aquellas épocas. Se creía que los números racionales representaba a todos los números conocidos y sin conocer, nace por la necesidad de indicar porciones de una cantidad definida, como repartir una misma manzana en diferentes partes o dividir un segmento por otro segmento como el conocidísimo teorema de Thales donde implicaba proporcionalidad entre segmentos no paralelos dividido entre 3 segmentos paralelos impartidos en los cursos de geometría elemental. Los pitagóricos consideraban los números y las razones como la esencia de la realidad.

Números reales

Estos números nacieron no solo por necesidad, también vino con mucho dolor, porque si bien era fácil comprender el significado de un número racional, los pitagóricos no sabían cómo catalogar los números irracionales como por ejemplo \( 1^{2} + 1^{2} = x^{2} \) donde \( x = \sqrt{2} \) pensaron que era otro número racional, pero no lo pudieron demostrar y se catalogaron en conmensurables e inconmensurables.

Desde entonces se intentó de buscar maneras de definir correctamente un número real y lo lograron, pero esto se verá en secciones posteriores.

Axiomas de campo


Sea un campo \( * \) que representa a las operaciones habituales de adición y multiplicación y para todo par de números reales \( x \), \( y \) y \( z \), se cumplen los siguientes axiomas de adición y multiplicación:

I. Axiomas de la adición

Sea un operador llamada suma simbolizado por “\( + \)” y definido sobre los números reales \( \mathbb{R} \), entonces decimos que la suma es una ley de composición interna u operación interna \( +: \mathbb{ R \times R \rightarrow R } \) tal que las componentes de la terna \( (x,y,z) \in \mathbb{ ( R \times R ) \times R } \) cumple los siguientes axiomas de la adición:

I0. Cerradura de la adición.

Para todo par de números \( x \) e \( y \) que pertenecen a \( \mathbb{R} \), existe un único elemento llamado suma y denotado por \( x+y \) pertenecer a \( \mathbb{R} \).

\[ \forall x,y \in \mathbb{R} | x + y \in \mathbb {R} \]

Esta ley se le conoce como la propiedad de cerradura de la adición, sin embargo, este axioma queda implícito en \( +: \mathbb{ R \times R \rightarrow R } \), ya que resulta ser una aplicación (o función) y obliga que \( x+y \) sea único, para que me entiendas mejor, mira el titulo Ley de composición interna y el concepto de aplicación en el acordeón.

I1. Ley conmutativa de la adición.

Para todo par de números reales \( x \) e \( y \), se cumple \( x+y = y+x \), es decir:

\[ \forall x, y \in \mathbb{R} | x + y = y + x \]

Esta ley se llama propiedad conmutativa de la adición.


I2. Ley asociativa de la adición.

Para cualquier terna de números reales \( x \), \( y \) y \( z \), se cumple \( (x+y)+z = x + (y+z) \), esto es:

\[ \forall x, y, z \in \mathbb {R} | (x + y) + z = x + (y + z) \]

Esta ley la llamaremos propiedad asociativa de la adición.

I3. Ley del elemento neutro de la adición.

Para todo número \( x \in \mathbb{R} \), existe un numero llamado cero y denotado por \( 0 \) tal que \( x+0=x \), esto es:

\[ \forall x \in \mathbb{R} \exists ! 0 \in \mathbb{R} | x + 0 = x \]

Esta ley la llamaremos propiedad del elemento neutro aditivo.

I4Ley del elemento opuesto de la adición.

Para todo número \( x \in \mathbb{R} \), existe un único opuesto denotado por \( -x \) tal que \( x + (-x) = 0 \), es decir:

\[ \forall x \in \mathbb{R}, \exists -x \in \mathbb{R} | x + (-x) = 0 \]

Esta ley la llamaremos propiedad del elemento opuesto o inverso aditivo.

II. Axiomas de la multiplicación

Sea un operador llamada multiplicación simbolizado por “\( \cdot \)” (si, un punto) y definido sobre los números reales \( \mathbb{R} \), entonces decimos que la multiplicación es una ley de composición interna u operación interna \( \cdot : \mathbb{ R \times R \rightarrow R } \) tal que las componentes de la terna \( (x,y,z) \in \mathbb{ ( R \times R ) \times R } \) cumple los siguientes axiomas de multiplicación:

II0. Cerradura para la multiplicación.

Para todo par de números \( x \) e \( y \) que pertenecen a \( \mathbb{R} \), existe un único elemento llamado producto y denotado por \( x \cdot y \) pertenecientes a \( \mathbb{R} \). A partir de ahora, el producto \( x \cdot y \) la escribiremos así \( xy \).

\[ \forall x,y \in \mathbb{R} | xy \in \mathbb{R} \]

Esta ley la llamaremos propiedad de la cerradura para la multiplicación. De la misma manera como la operación interna de la adición, la propiedad de la cerradura está incluida en la propiedad interna \( \cdot : \mathbb{ R \times R \rightarrow R } \).

II1. Ley conmutativa de la multiplicación.

Para todo par de números \( x \) e \( y \), se cumple \( xy = yx \), es decir:

\[ \forall x,y \in \mathbb{R} = xy = yx \]

Esta ley la llamaremos la propiedad conmutativa de la multiplicación.

II2. Ley asociativa para la multiplicación.

Para cualquier terna de números \( x \), \( y \) y \( z \) se cumple \( (x,y)z = x(yz) \), en otras palabras:

\[ \forall x,y,z \in \mathbb{R} | (x,y)z = x(yz) \]

También la llamaremos como la propiedad asociativa de la multiplicación

II3. Ley del elemento neutro para la multiplicación.

Para todo número \( x \in \mathbb{R} \), existe un número llamado unidad denotado por \( 1 \) tal que \( 1 \neq 0 \) donde \( x \cdot 1 = x \), simbólicamente:

\[ \forall x \in \mathbb{R}, \exists ! 1 \in \mathbb{R} | x \cdot 1 = x \]

Esta ley se llama existencia del elemento neutro multiplicativo.


II4. Ley del opuesto o inverso multiplicativo.

Para todo número \( x \neq 0 \), existe un opuesto denotado por \( 1/x \) tal que \( x(1/x) = 1 \), es decir:

\[ \forall x \in \mathbb{R}, \exists (1/x) \in \mathbb{R} | x(1/x) = 1 \]

Llamaremos a esta ley existencia del elemento opuesto o inverso multiplicativo.

III. Axioma de la distribución respecto a la suma

Este axioma es muy usado para demostrar las propiedades de productos notables del curso de álgebra elemental que ya hemos publicado en una sección exclusiva de la enseñanza media. La propiedad dice que para cualquier terna de números reales \( x \), \( y \) y \( z \) se cumple que:

\[ (x+y)z = xz + yz \]

Esta ley se llama propiedad distributiva de la multiplicación respecto a la suma.

IV. Axioma de igualdad

Estos axiomas son, en otro ámbito, definiciones en la sección de relaciones binarias, pero cuando digo “definiciones “, significa que las relaciones binarias no siempre cumplen estas propiedades, pero para el caso de los números reales, estas propiedades son inevitables e indemostrablemente ciertas, veamos.

IV0. Propiedad exclusiva de la igualdad.

Para todo \( x \), \( y \) y \( z \), se cumple que o \( x=y \) o \( x \neq y \), simbólicamente:

\[ \forall x,y \in \mathbb{R} | x = y \bigtriangleup x \neq y \]

El símbolo en forma de triángulo \( \bigtriangleup \) se usa para representan a la disyunción exclusiva.

IV1Propiedad reflexiva de la igualdad.

Para todo número real \( x \), cumple que \( x = x \). Simbólicamente:

\[ \forall x \in \mathbb{R} | x = x \]

Esta ley se llama propiedad reflexiva de los números reales.

IV2. Propiedad simétrica de la igualdad.

Para todo par de números reales \( x \) e \( y \), cumple que si \( x = y \), entonces \( y = x \). Simbólicamente:

\[ \forall x,y \in \mathbb{R} | x=y \Leftrightarrow \]

Esta propiedad sirve para elegir con que valor trabajar, llamamos a esta ley propiedad simétrica.


IV3. Propiedad transitiva de la igualdad.

Para cualquier terna de números reales \( x \), \( y \) y \( z \) cumple que sí \( x = y \) y \( y=z \), entonces \( x = z \). Simbólicamente:

\[ \forall x,y,z \in \mathbb{R} | x=y \wedge y=z \Leftrightarrow x=z \]

Muy útil para realizar sustituciones, esta ley se llama propiedad transitiva.

La relación de igualdad simbolizado por “\( = \)“ definida sobre los números reales \( \mathbb{R} \) para las 3 ultimas propiedades IV1IV2 y IV3 mencionadas anteriormente cumple lo que llamamos relación de equivalencia.

IV4. Ley de unicidad de la adición.

Para cualquier terna de números reales \( x \), \( y \) y \( z \), si \( x=y \), entonces \( x+z = y+z \). Simbólicamente:

\[ \forall x,y,z \in \mathbb{R} | x=y \Leftrightarrow x+z=y+z \]

Algunos autores (peruanos) intentan demostrar este axioma, sin embargo, el procedimiento no resulta tan riguroso como se espera por lo que opté cogerlo como axioma. Esta ley la podemos llamar unicidad de la adición.

IV5. Ley de unicidad de la multiplicación.

Para cualquier número real \( x \), \( y \) y \( z \), si \( x=y \), entonces \( xz = yz \). Simbólicamente:

\[ \forall x,y,z \in \mathbb{R} | x=y \Leftrightarrow xz=yz \]

Como en el caso anterior, esta ley la podemos llamar unicidad de la multiplicación. La razón de llamarlo unicidad es porque cualquier valor real que sumemos a los dos miembros, no resulta ser “no iguales “, es decir, son lo mismo y únicos.

V. Axiomas de orden

Vamos a definir unos subconjuntos de los números reales y que a su vez son disjuntos, comencemos por los reales positivos \( \mathbb{R}^{+} \).

Definición de números reales positivos

Llamaremos números reales positivos denotado por \( \mathbb{R}^{+} \) y además \( \mathbb{ R^{+} \subsetneq R } \) tal que cumple los siguientes axiomas:

V0: \( \forall x,y \in \mathbb{R}^{+} \Rightarrow x+y \in \mathbb{R}^{+} \wedge xy \in \mathbb{R}^{+} \), tenga en cuenta que lo opuesto no se cumple.

V1: \( \forall x \neq 0 | x \in \mathbb{R}^{+} \bigtriangleup -x \in \mathbb{R}^{+} \), el triángulo \( \bigtriangleup \) refiere a la disyunción exclusiva.

V2: \( 0 \notin \mathbb{R}^{+} \).

Y para los negativos, lo definiremos de la siguiente manera:

Definición de números reales negativos

Llamaremos números reales negativos denotado por \( \mathbb{R}^{-} \) tal que:

\[ \mathbb{ R^{-} = R – R^{+} – \left \{ 0 \right \} } \]

De \( \mathbb{ R^{-} = R – R^{+} – \left \{ 0 \right \} } \) implica que \( \mathbb{ R^{+} = R – R^{-} – \left \{ 0 \right \} } \) que representan a los reales positivos, de aquí se deduce que \( \mathbb{ R = R^{+} \cup R^{-} \cup \left \{ 0 \right \} } \), como los reales positivos, negativos y el conjunto \( \left \{ 0 \right \} \) no tiene elementos en común, suele escribirse para los números reales así \( \mathbb{ R = R^{+} + R^{-} + \left \{ 0 \right \} } \).

Ahora podemos definir los símbolos referentes a las desigualdades de la siguiente manera.


Definición de desigualdades

Llamaremos menor que al símbolo “\( < \)” y mayor que al símbolo “\( > \)”, menor o igual que “\( \leq \)” y mayor o igual que “\( \geq \)” tal que cumple las siguientes condiciones:

\( \checkmark \ x < y \Leftrightarrow y-x \in \mathbb{R}^{+} \)

\( \checkmark \ \forall x,y \in \mathbb{R} | y > x \Leftrightarrow x < y \)

\( \checkmark \ \forall x,y \in \mathbb{R} | x \leq y \Leftrightarrow x < y \bigtriangleup x=y \)

\( \checkmark \ \forall x,y \in \mathbb{R} | x \geq y \Leftrightarrow x \)

Los axiomas de orden son suficientes para demostrar incluso la ley de tricotomia que generalmente se cataloga como axiomas entre otros axiomas que lo presentaremos como teoremas, veamos las mas principales aquí.

Algunos teoremas de orden que se presentan en otros texto como axiomas.

Teorema 1: \( 0 < y \) si y solo si \( y \in \mathbb{R}^{+} \).

Demostración: la demostración es inmediata, tomando la condición 1 de la de la definición de desigualdad y haciendo \( x = 0 \) queda demostrado el teorema. Cuando \( y \in \mathbb{R}^{+} \) decimos que \( y \) es positivo.

Teorema 2: Si \( x < 0 \), entonces \( x \in \mathbb{R}^{-} \).

Demostración: de la primera condición de la definición de la desigualdad, haciendo, tenemos:

\[ x < 0 \leftrightarrow 0 – x \in \mathbb{R}^{+} \Leftrightarrow x < 0 \leftrightarrow – x \in \mathbb{R}^{+} \]

Centrémonos en \( -x \in \mathbb{R}^{+} \), por la condición 2 de la definición de los reales positivos donde solo es posible que o \( x \in \mathbb{R}^{+} \) o \( -x \in \mathbb{R}^{+} \), pero como \( -x \in \mathbb{R}^{+} \) es verdadera, entonces \( x \in \mathbb{R}^{+} \) es falsa o su equivalente \( x \notin \mathbb{R}^{+} \), aquí jugaremos con los conceptos de los conjuntos. De la definición de los reales negativos \( \mathbb{ R^{-} = R – R^{+} – \left \{ 0 \right \} } \), despejando \( \mathbb{R}^{+} \) implica \( \mathbb{ R^{+} = R – R^{-} – \left \{ 0 \right \} } \), remplazando en \( x \notin \mathbb{R}^{+} \), tenemos:

\[ x \notin \mathbb{ R – R^{-} – \left \{ 0 \right \} } \]

Su equivalente sería:

\[ \sim ( x \in \mathbb{ R – R^{-} – \left \{ 0 \right \} } ) \]


\[ \sim ( x \in \mathbb{ R \wedge R^{-} + \left \{ 0 \right \} } ) \]

\[ x \notin \mathbb{ R \vee x \in \mathbb{-} + \left \{ 0 \right \} } \]

\[ x \notin \mathbb{R} \vee x \in \mathbb{R}^{-} \vee x \in \left \{ 0 \right \} \]

Desde el inicio de la demostración usamos la condición \( \forall x,y \in \mathbb{R} | x < y \Leftrightarrow y-x \in \mathbb{R}^{+} \), donde dice que \( x \in \mathbb{R} \) por lo que su opuesto \( x \notin \mathbb{R} \) queda descartado de la proposición anterior quedando.

\[ x \in \mathbb{R}^{-} \vee x \in \left \{ 0 \right \} \]

Para lograr que \( x \notin 0 \), recuerden la elección original \( -x \in \mathbb{R}^{+} \), hay un teorema que demostraremos luego y está implícito en los axiomas de campo ya expuestas y dice que \( -0 = 0 \), si elegimos \( x = 0 \) para la elección, queda:

\[ -0 \in \mathbb{R}^{+} \Leftrightarrow 0 \in \mathbb{R}^{+} \]

Por lo que resulta ser una contradicción ya que la definición de los reales positivos de la condición 3 que dice \( 0 \notin \mathbb{R}^{+} \) lo cual queda descartado, entonces la proposición \( x \in \mathbb{R}^{-} \vee x \in \left \{ 0 \right \} \) se reduce a \( x \in \mathbb{R}^{-} \) ya que \( x \in \left \{ 0 \right \} \) implica que \( x = 0 \).


Por tanto, queda demostrado que si \( x<0 \) implica que \( x \in \mathbb{R}^{-} \). Decimos entonces que \( x \) es negativo.

Nota: esta demostración no lo vas a ver (tal vez) en ningún libro ya que solo es posible desde la definición de los reales positivos, definición que extraje del libro de Apostol, Calculus I.

Teorema 3: \( \forall x \in \mathbb{R}^{+} \Leftrightarrow -x \in \mathbb{R}^{-} \), es decir \( \forall x \in \mathbb{R}^{+} \) es equivalente a \( -x \in \mathbb{R}^{-} \).

Demostración: partiendo de \( x \in \mathbb{R}^{+} \) y de la condición 2 de la definición de los reales positivos \( x \in \mathbb{R}^{+} \bigtriangleup -x \in \mathbb{R}^{+} \), por las propiedades de lógica, implica lo siguiente:

\[ ( x \in \mathbb{R}^{+} ) \wedge ( x \in \mathbb{R}^{+} \bigtriangleup -x \in \mathbb{R}^{+} ) \]

Trabajando con \( \sim ( – x \in \mathbb{R}^{+} ) \) cómo \( \mathbb{ R^{+} = R – R^{-} – \left \{ 0 \right \} } \), remplazando, tenemos:

\[ \sim ( – x \in \mathbb{ R – R^{-} – \left \{ 0 \right \} } ) \]

Descomponiendo, resulta:

\[ \sim ( -x \in \mathbb{R} \wedge -x \notin \mathbb{R}^{-} + \left \{ 0 \right \} ) \]


o su equivalente:

\[ -x \notin \mathbb{R} \wedge -x \in \mathbb{R}^{-} + \left \{ 0 \right \} \]

Comencemos a simplificar, de la proposición \( -x \notin \mathbb{R} \) es falsa ya que desde un inicio habíamos establecido que \( x \in \mathbb{R}^{+} \) ya que \( \mathbb{ R^{+} \subsetneq R } \), quedando:

\[ -x \in \mathbb{R}^{-} + \left \{ 0 \right \} \]

ó

\[ -x \in \mathbb{R}^{-} \]

Como hemos partiendo de \( x \in \mathbb{R}^{+} \) y de la definición de números reales positivos, la condición 3, nos dice que \( x \neq 0 \), nuestra proposición queda reducida a:

\[ -x \in \mathbb{R}^{-} \]

Finalmente queda demostrado que \( x \in \mathbb{R}^{+} \leftrightarrow x \in \mathbb{R}^{-} \). De la misma manera se demuestra que también \( x \in \mathbb{R}^{-} \Leftrightarrow -x \in \mathbb{R}^{+} \), esta propiedad nos ayudará a demostrar el siguiente teorema:

Teorema 4: Para todo \( x \neq 0 \), se cumple que:

\[ x \in \mathbb{R}^{+} \bigtriangleup x \in \mathbb{R}^{-} \]

Demostración: de la condición 2 de la definición de los números reales positivos:

\[ \forall x \neq 0 | x \in \mathbb{R}^{+} \bigtriangleup -x \in \mathbb{R}^{+} \]

Como \( x \in \mathbb{R}^{-} \Leftrightarrow -x \in \mathbb{R}^{+} \) o lo que es lo mismo \( x \in \mathbb{R}^{-} \equiv -x \in \mathbb{R}^{+} \), remplazando en la proposición anterior demostramos finalmente que:

\[ \forall x \neq 0 | x \in \mathbb{R}^{+} \bigtriangleup x \in \mathbb{R}^{-} \]

Teorema 5: Si \( x \in \mathbb{R}^{-} \), entonces \( x \neq 0 \).

Demostración: La demostración es inmediata, partiendo de la definición de los reales negativos:

\[ \mathbb{ R^{-} = R – R^{+} – \left \{ 0 \right \} } \]

Aquí nos dice evidentemente que \( 0 \notin \mathbb{R}^{-} \), por tanto \( x \notin 0 \). Una manera mas formal sería:

\[ x \in \mathbb{R}^{-} \]

Entonces:

\[ x \in \mathbb{ R – R^{+} – \left \{ 0 \right \} } \]

\[ x \in \mathbb{R} \wedge x \notin \mathbb{R}^{+} \wedge x \notin \left \{ 0 \right \} \]

De aquí \( x \notin \left \{ 0 \right \} \) implica que \( x \notin 0 \) quedando demostrado el teorema. Tenga en cuenta que si \( \mathbb{ R^{-} = R – R^{+} – \left \{ 0 \right \} } \), entonces \( 0 \notin \mathbb{R}^{-} \).

Ley de tricotomía para los números reales (Teorema 6): Es verdadera una y solo una de las siguientes relaciones:

\[ x = 0, x \in \mathbb{R}^{+}, x \in \mathbb{R}^{-} \]

Demostración: Del teorema 4 se ha demostrado que si \( x \notin 0 \) entonces:

\[ x \notin \mathbb{R}^{+} \bigtriangleup x \in \mathbb{R}^{-} \]

Es decir, si \( x \notin 0 \), solo una de las dos proposiciones es verdadera:

\[ x \in \mathbb{R}^{+}, x \in \mathbb{R}^{-} \]

En caso contrario, si los dos enunciados \( x \in \mathbb{R}^{+} \), \( x \in \mathbb{R}^{-} \) resulta ser falsa, debemos demostrar que \( x = 0 \), en efecto, partiendo de:

\[ x \in \mathbb{R} \Leftrightarrow x \in \mathbb{R}^{+} + \mathbb{R}^{-} + \left \{ 0 \right \} \]

Como el símbolo \( + \) representa la disyunción inclusiva, el lado izquierdo de la equivalencia se escribiría así:

\[ x \in \mathbb{R}^{+} \vee x \in \mathbb{R}^{-} \vee x \left \{ 0 \right \} \]

Este enunciado siempre es verdadero ya que el valor de \( x \) debe estar en uno de los 3 enunciados separados por la disyunción inclusiva, pero como indicamos que \( x \in \mathbb{R}^{+} \), \( x \in \mathbb{R}^{-} \) deben ser falsas, por los principios de lógica proposicional, se cumple de manera obligatoria que:

\[ x \in \left \{ 0 \right \} \]

Esto prueba que \( x = 0 \) y de esta manera queda probado la primera ley de la tricotomía.

Ley transitiva para la relación de orden (Teorema 7): Propiedad transitiva. Para todo número real \( x \), \( y \) y \( z \) se cumple que \( x < y \) y \( y < z \), entonces \( x < z \).


Teorema 8: Si \( x < y \), para todo \( x \in \mathbb{R} \) se cumple que \( x+z < y+z \).


Teorema 9: Si \( x<y \), para todo \( z \in \mathbb{R}^{+} \) se cumple que \( xz < yz \).


Teorema 10: Si \( x < y \), para todo \( z \in \mathbb{R}^{-} \) se cumple que \( xz > yz \).

Introducción al Axioma del supremo y otras construcciones de los números reales

Este axioma nos dice que:

Todo subconjunto de \( \mathrm{S} \neq \phi \), de números reales acotado superiormente tiene un supremo.

También llamado axioma del extremo superior o axioma de completitud. No indicaremos que significa “acotado superiormente”, “supremo”, entre otros términos relacionados, tema que ya esta publicada y que puedes ver en el barra lateral de esta publicación o al final si estas en móvil.

Lo único que haremos es un simple esbozo del curso, para comprender esta situación, partiremos de un problema pitagorico en el siguiente apartado

El limite de los racionales

Los pitagóricos creían que los racionales era la esencia de la realidad, pero en un triángulo rectángulo encontraron que \( 1^{2} + 1^{2} =  x^{2} \) donde \( x^{2} = 2 \) no era racional, era fácil demostrar su falta de racionalidad de este resultado suponiendo que \( x = \frac{a}{b} \) donde \( a \) y \( b \) son enteros positivos sin ningún factor en común, o como comúnmente se dice, primos entre sí.

Al realizar el remplazo en \( x^{2} = 2 \) siempre existía un factor en común entre \( a \) y \( b \) donde hace suponer que \( a \) es un número par \( a = 2k \) donde \( k \) es otro entero, esto hacía que a su vez el número \( b \) sea también par, esto implicaba que los enteros \( a \) y \( b \) no son primos entre sí.

Esto demostraba que \( x \) no era un número racional. En el álgebra elemental podríamos encontrar otras situaciones como por ejemplo \( x^{3} = 5 \) o \( x^{2} = \frac{2}{5} \) donde era fácil demostrar como en el caso anterior que \( x \) no era racional.

Mucho menos si queremos intentar encontrar solución de la ecuación \( 10^{x} = 7 \), si hacemos \( x = \frac{a}{b} \) para \( a \) y \( b \), resultando \( 10^{a} = 7^{b} \), lo cual resulta absurdo, pues, solo es posible la igualdad de ecuaciones exponenciales de exponente entero con bases iguales, entre otros ejemplos similares.

Tenga en cuenta que muchos números irracionales no se puede demostrar con tan solo igualar a la hipótesis de una fracción irracional irreductible, muchos de ellos resulta ser muy complejos, pero eso es un tema aparte que veremos en otra oportunidad.

El problema de \( x^{2} = 2 \) fue tan impactante para los griegos que resolver el valor de \( x \) paso en un primer plano, incluso llegaron sacar una tabla de valores lograr una aproximación de \( \sqrt{2} \), como sigue:

\[ x \] \[ y \] \[ \frac{x}{y} \simeq \sqrt{2} \]
\[ 1 \] \[ 1 \] \[ 1 \]
\[ 2 \] \[ 3 \] \[ 1,5 \]
\[ 5 \] \[ 7 \] \[ 1,4 \]
\[ 12 \] \[ 17 \] \[ 1,41666 \cdots \]
\[ 29 \] \[ 41 \] \[ 1,4137931 \cdots \]
\[ \cdot \] \[ \cdot \]\[ \cdot \]
\[ \cdot \] \[ \cdot \] \[ \cdot \]

La importancia de la construcción de los números reales

Este inconveniente suscito una construcción urgente de los números reales donde los irracionales tengan un significado apropiado.

Si le damos una mirada histórica, los irracionales fueron conocido antiguamente como números inconmensurables, llamado así porque mientras se intentaba realizar una aproximación con números racionales, desde el ángulo decimal, estos números eran cada vez más grandes y aperiódicos como acabamos de ver hace un momento.

Para garantizar la existencia de los números reales, sobre todo de los números irracionales, se han usado múltiples métodos que expondremos en próximas secciones.

Una de ellas es el axioma del supremo, este axioma sirve para darle existencia a los irracionales en los reales, sin embargo, el axioma de supremo resulta (en una entrevista de algunos matemáticos de áreas de matemática abstractas mencionado en el documento “los números reales“ por los autores Karen García Mesa, Yanelys Zaldívar, Celia Gálvez, Dr. Rita Roldán (U. De La Habana)) ser el menos preferido ya que uno de los más preferidos para definir y construir los números reales es es lo cortadura de Dedekind por los matemáticos.

Aparte del axioma del supremo y la cortadura de Dedekind, también existe otra construcción llamado, a partir de sucesiones de Cauchy según Georg Cantor y los intervalos encajados. Se puede demostrar que cualquiera de estas propuestas es equivalente para la construcción de los números reales, esto lo veremos en secciones posteriores.

Por último, existe una construcción moderna por parte de Thomas Blyth (2005, tomada de la autora VIVIANA ANDREA PATIÑO MUÑOZ (ver referencia), aunque no es su trabajo original, la autora indica la referencia original de esta construcción moderna) usando teorías topológicas y que también veremos en secciones posteriores (muy posteriores luego de desarrollar el curso de topología, te sugiero que ni esperes este momento porque ni se cuando lo publicaré).

Ahora finalicemos en esta sección los teoremas de la teoría axiomática de los números reales.

Teoremas de los números reales


Ahora presentamos los teoremas que se desprenden de la teoría axiomática y algunos teoremas principales ya expuesta anteriormente.

I. Teorema de la adición

Teorema I1: El elemento neutro aditivo es único.


Teorema I2: El elemento inverso aditivo es único.


Teorema I3ley de la simplificación para la suma. Para 3 números reales \( a \), \( b \) y \( c \), se cumple: \( a + c = b+c \), entonces \( a = b \).


Teorema I4: Para todo \( a \in \mathbb{R} \), se cumple \( -(-a) = a \).

Es importante resaltar una pequeña definición para la diferencia entre dos números reales.

Definición de sustracción de números reales.

Para todo \( a,b \in \mathbb{R} \), la suma entre \( a \) y su inverso aditivo \( b \) se denota por \( a-b \), es decir:

\[ \forall a,b \in \mathbb{R} | a + (-b) = a-b \]


Teorema I5: Dados \( a,b  \in \mathbb{R}\), existe uno y solo un \( x \in \mathbb{R} \) tal que \( a + x = b \), además \( x = b-a \).


Teorema I6: Para todo número \( a,b \in \mathbb{R} \), se cumple \( -(a+b) = -a – b \).


Teorema I7: \( -0=0 \).


Teorema I8: \( 1 \notin 0 \).

II. Teoremas de la multiplicación

Teorema II1: El elemento neutro multiplicativo es único.


Teorema II2: El elemento inverso multiplicativo es único.


Teorema II3: Ley de simplificación para la multiplicación. Para todo \( a,b,c \in \mathbb{R} \) y \( a \notin 0 \), si \( ab = ac \), entonces \( b = c \).

Indicamos la definición del cociente de dos números que nos servirá para platear otros teoremas más.

Definición del cociente de dos números.

Para todo \( a,b \in \mathbb{R} \) y \( a \notin 0 \) definimos el cociente \( \frac{b}{a} \) así:

\[ a^{-1} b = \frac{b}{a} \]


Teorema II4: Para todo \( a \in \mathbb{R} – \left \{ 0 \right \} \) y \( b \in \mathbb{R} \), si \( ab = 1 \), entonces \( b = a^{-1} \).


Teorema II5: Para todo número real \( a \neq 0 \) se cumple que \( ( a^{-1} )^{-1} = a \).


Teorema II6: Para todo \( a,b \in \mathbb{R} – \left \{ 0 \right \} \), se cumple \( (ab)^{-1} = a^{-1} b^{-1} \).


Teorema II7: Para todo \( a \in \mathbb{R} – \left \{ 0 \right \} \), se cumple \( a \cdot a^{-1} = 1 \).


Teorema II8: Para todo número real \( a,b \in \mathbb{R} \) se cumple \( ab = 0 \rightarrow a = 0 \vee b=0 \).


Teorema II9: Para todo \( a,b,c \in \mathbb{R} \), se cumple \( a(b-c) = ab – ac \).


Teorema II10: Si \( ab = ac \) y \( a \notin 0 \), entonces \( b = c \).


Teorema II11: Para todo \( a,b \in \mathbb{R} \), entonces \( (-a)b = -ab \).


Teorema II12: Para todo \( a,b \in \mathbb{R} \), entonces \( (-a)(-b) = ab \).


Teorema II13: Para todo \( a,b \in \mathbb{R} \), entonces \( -a = (-1)a \).


Teorema II14: si \( b \neq 0 \), entonces \( ( \frac{a}{b} )b=a \).


Teorema II15: si \( bd \neq 0  \), entonces \( ( \frac{a}{b} ) + ( \frac{c}{d} ) = \frac{ ad + cb }{bd} \).


Teorema II16: si \( bd \neq 0 \), entonces \( ( \frac{a}{b} )( \frac{c}{d} ) = \frac{ac}{bd} \).


Teorema II17: Si: \( \frac{a}{b} = \frac{c}{d} \) y ademas  \( bd \neq 0 \), entonces \( ad = cb \).


Teorema II18: Se cumple \( \frac{ a/b }{ c/d } = \frac{ad}{bc} \) si \( bcd \neq 0 \).

Todo este álgebra e teoremas son las típicas formulaciones algebraicas elementales de las cuatro operaciones aritméticas, si quiere tener una idea elemental de desarrollo del álgebra de las cuatro operaciones, le invito que visite la sección de operaciones algebraicas.

III. Teoremas sobre las relaciones de orden

Teorema III1: Si \( a \neq 0 \), entonces \( a^{2} > 0 \) (definición \( a \cdot a = a^{2} \)).

Este teorema puede servir para definir los números complejos tal que no existe un cuadrado que sea negativo, es decir, \( \exists a \in \mathbb{R} | a^{2} < 0 \) y si existiese, debería existir un \( a \) que no sea real, en este caso, debe definirse otro campo \( \mathbb{C} \) denominado el campo de los números complejos.


Teorema III2: \( 1 > 0 \).


Teorema III3: \( a < b \), si y solo si \( -a > -b \), particularmente \( a < 0 \Leftrightarrow -a > 0 \).


Teorema III4: Si \( ab > 0 \), entonces \( a \) y \( b \) son o ambos positivos o ambos negativos.


Teorema III5: Si \( ab < 0 \), entonces \( a \) y \( b \) tienen signos opuestos.


Teorema III6: Si \( a < c \) y \( b < d \), entonces \( a+c < b+d \).


Teorema III7: Si \( a > 0 \), entonces \( \frac{1}{a} > 0 \) y si \( a < 0 \), entonces \( \frac{1}{a} < 0 \).


Teorema III8: Si \( \frac{1}{a} > 0 \), entonces \( a > 0 \) y si \( \frac{1}{a} < 0 \), entonces \( a <  0 \).


Teorema III9: Si \( a,b \in \mathbb{R}^{+} \) y \( a < b \), entonces \( b^{-1} < a^{-1} \).


Teorema III10: Si \( a,b,c,d \in \mathbb{R}^{+} \) y \( a < b \wedge c < d \), entonces \( ac < bd \).


Teorema III11: \( \frac{a}{b} > 0 \) y \( b \neq 0 \) si y solo si \( ( a > 0 \wedge b > 0 ) \vee ( a < 0 \wedge b < 0 ) \).


Teorema III12: \( \frac{a}{b} < 0 \) y \( b \neq 0 \) si y solo si \( ( a > 0 \wedge b < 0 ) \vee ( a < 0 \vee b > 0 ) \).

El resto de las propiedades referentes a las desigualdades con respecto a los radicales se realizará en una sección posterior del mismo nombre, es decir, de desigualdades.

Fin de la sección actual

Esto solo es el inicio de la teoría de los números reales, faltan otras teorías alternativas que definen a los números reales, la próxima sección desarrollaremos el axioma del supremo, un axioma que incorpora a los números irracionales y le da un sentido mas amplio y llena el hueco que el resto de los axiomas no puede, es decir, el axioma de supremo hace que los números reales sean completos y sin huecos, en otras palabras, llena toda la recta numérica.

Eso ha sido por hoy, nos vemos en la próxima sección, gracias.

Referencias

Generalmente no agrego referencias pero aquí se los dejo:

  • Diferentes construcciones del número real — Nestor Octavio Calderon Ramos (U. Nacional De Colombia)
  • Álgebra – Leyes de composición interna | Carlos Ivorra
  • Álgebra I – Leyes de composición | Armando de Rojo
  • Matemática Básica – Sistemas de números reales | Eduardo Espinoza Rojas
  • Matemática Básica – Números reales | Moisés Lazaro
  • Matemática Básica – Números reales | Ricardo Figueroa Garcia
  • Análisis Matemático – Números reales: conjuntos numéricos | Kudriavtsev
  • Axioma de los números reales | Wikipedia
  • Los números reales – Los números reales y el infinito | Carlos Uzcátegui Aylwin
  • Calculus I – Un conjunto axiomático para los conjuntos de números reales | Tom M. Apostol
  • Los números reales | Karen García Mesa, Yanelys Zaldívar, Celia Gálvez, Dr. Rita Roldán (U. De La Habana)
  • Sobre la completez de Hilbert – Construcción de los números reales: completación de la estructura topológica | VIVIANA ANDREA PATIÑO MUÑOZ