Introducción

El desarrollo del cálculo está basado en gran medida en el sistema de números reales. Los números reales son aquellos que pueden ser expresados haciendo uso de decimales, como:

$$\begin{array}{rl}\frac{3}{4}& =0.75\\ \frac{1}{3}& =0.3333\dots \end{array}$$

donde los puntos $\dots$ indican que la sucesión de decimales continúa expandiéndose para siempre. De este modo cada expansión decimal que nos podamos imaginar representa un número real.

Geométricamente los números reales pueden ser representados como puntos sobre una línea recta, la denominada recta real.

Sus propiedades se encuentran divididas en tres categorías: algebraicas, de orden y de completitud. En esta entrada comenzaremos revisando las propiedades algebraicas básicas relacionadas con las operaciones suma y multiplicación. Daremos un vistazo a los resultados derivados de ellas.

Propiedades básicas de los números reales

A continuación enlistaremos una serie de propiedades que cumplen respectivamente la suma y la multiplicación en el conjunto de números reales $\mathbb{R}$. 

Definición (Propiedades básicas): Consideremos $\mathbb{R}$ y las operaciones suma $(+)$ y multiplicación $(\cdot )$, se cumple que:

S1.- Para cualesquiera $a,b\in \mathbb{R}$ se cumple que:
$a+b\in \mathbb{R}$  (Cerradura de la suma).

S2.- Para cualesquiera $a,b\in \mathbb{R}$ se cumple que:
$a+b=b+a$    (Conmutatividad de la suma).

S3.- Para cualesquiera $a,b,c\in \mathbb{R}$ se cumple que:
$a+(b+c)=(a+b)+c$    (Asociatividad de la suma).

S4.- Existe $0\in \mathbb{R}$ tal que para cualquier $a\in \mathbb{R}$ :
$a+0=0+a=a$    (Neutro aditivo).

S5.- Para cualquier $a\in \mathbb{R}$ existe $-a\in \mathbb{R}$ tal que:
$a+(-a)=(-a)+a=0$    (Inverso aditivo).

M1.- Para cualesquiera $a,b\in \mathbb{R}$ se cumple que:
$a\cdot b\in \mathbb{R}$    (Cerradura de la multiplicación).

M2.- Para cualesquiera $a,b\in \mathbb{R}$ se cumple que:
$a\cdot b=b\cdot a$    (Conmutatividad de la multiplicación).

M3.- Para cualesquiera $a,b,c\in \mathbb{R}$ se cumple que:
$a\cdot (b\cdot c)=(a\cdot b)\cdot c$    (Asociatividad de la multiplicación).

M4.- Existe $1\in \mathbb{R}$ tal que para cualquier $a\in \mathbb{R}$:
$a\cdot 1=1\cdot a=a$    (Neutro multiplicativo).

M5.- Para cualquier $a\in \mathbb{R}$ con $a\ne 0$, existe $a^{-1}\in \mathbb{R}$ tal que:
$a\cdot a^{-1}=a^{-1}\cdot a=1$    (Inverso multiplicativo).

A.- $1\ne 0$    (El neutro aditivo es distinto del neutro multiplicativo).

D.- Para cualesquiera $a,b,c\in \mathbb{R}$ se cumple que:
$a\cdot (b+c)=a\cdot b+a\cdot c$    (Ley distributiva).

Esta lista de propiedades serán nuestras «reglas del juego» con las cuales iremos probando los siguientes resultados. Aconsejamos tenerla disponible ya que haremos referencia a ella en todas las demostraciones siguientes.

Primeras observaciones

Proposición: Los neutros e inversos son únicos en $\mathbb{R}$. Es decir:

1. $0$ es único.
2. $1$ es único.
3. Para todo $a\in \mathbb{R}$, $-a$ es único.
4. Para todo $a\in \mathbb{R}$ y $a\ne 0$, $a^{-1}$ es único.

En esta ocasión demostraremos sólo los puntos 1 y 3. Se espera que el lector complete el resto de los puntos en la Tarea moral.

Demostración punto 1: Sea $a\in \mathbb{R}$. Supongamos que el $0$ no es único, entonces existe un $0^{\ast }\in \mathbb{R}$ tal que cumple la propiedad S4, en particular que: $a+0^{\ast }=a=0^{\ast }+a$
Y como $a+0=a$ $$\Rightarrow a+0=a+0^{\ast }$$

Nota: Cabe mencionar que $-a$ es el inverso aditivo respecto a $0$, por lo que en un principio $-a$ no tiene que ser inverso aditivo respecto de $0^{\ast }$.

Así tenemos que:
$$\begin{array}{}\text{(1)}& & \Rightarrow (-a)+(a+0)=(-a)+(a+0^{\ast })\text{(2)}& & \Rightarrow ((-a)+a)+0=((-a)+a)+0^{\ast }\text{(3)}& & \Rightarrow 0+0=0+0^{\ast }\text{(4)}& & \Rightarrow 0=0+0^{\ast }\text{(5)}& & \Rightarrow 0=0^{\ast }\end{array}$$

En $(1)$ sumamos $-a$ en ambos lados de la igualdad. Para $(2)$ aplicamos S3. Por la propiedad S5 en ambos lados de la igualdad se sigue $(3)$. Aplicando S4 para $0+0$ en $(4)$.  Volvemos a aplicar S4 para $0+0^{\ast }$ en $(5)$.
$\therefore 0$ es único.

Demostración punto 3: Sea $a\in \mathbb{R}$. Supongamos que el $-a$ no es único, entonces existe un $-a^{\ast }\in \mathbb{R}$ tal que cumple lo siguiente: $a+(-a^{\ast })=0$
Y como $a+(-a)=0$ $$\Rightarrow a+(-a)=a+(-a^{\ast })$$
Así tenemos que:
$$\begin{array}{}\text{(6)}& & \Rightarrow (-a)+(a+(-a))=(-a)+a+(-a^{\ast })\text{(7)}& & \Rightarrow ((-a)+a)+(-a)=((-a)+a)+(-a^{\ast })\text{(8)}& & \Rightarrow 0+(-a)=0+(-a^{\ast })\text{(9)}& & \Rightarrow -a=–a^{\ast }\end{array}$$

En $(6)$ sumamos $-a$ en ambos lados de la igualdad. Para $(7)$ aplicamos S3. Por la propiedad S5 en ambos lados de la igualdad se sigue $(8)$. Aplicando S4 en ambos lados en $(9)$.  
$\therefore -a$ es único.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Algunos resultados

Proposición: Para $a,b\in \mathbb{R}$ se cumple lo siguiente:

1. $a\cdot 0=0$ .
2. $-a=(-1)(a)$ .
3. $-(-a)=a$ .
4. $(-a)(b)=–(ab)$ .
5. $(-a)(-b)=ab$ .
   Nota: Escribiremos $ab$ para referirnos al producto $a\cdot b$.

Demostración:
1. $P.d.$ $a\cdot 0=0$ .

Comencemos con el lado izquierdo de la igualdad:
$$\begin{array}{}\text{(por S4 y D)}& a\cdot 0=a\cdot (0+0)& \Rightarrow a\cdot 0=a\cdot 0+a\cdot 0\text{(por sumar }-a\cdot 0\text{)}& & \Rightarrow a\cdot 0+(-a\cdot 0)=(a\cdot 0+a\cdot 0)+(-a\cdot 0)\text{(por S5)}& & \Rightarrow 0=(a\cdot 0+a\cdot 0)+(-a\cdot 0)\text{(por S3)}& & \Rightarrow 0=a\cdot 0+(a\cdot 0+(-a\cdot 0))\text{(por S5)}& & \Rightarrow 0=a\cdot 0+0\text{(por S4)}& & \Rightarrow 0=a\cdot 0\end{array}$$
$$\therefore a\cdot 0=0$$

2. $P.d.$ $-a=(-1)(a)$
Observemos que si probamos que $a+((-1)(a))=0$ implicaría que $(-1)(a)$ es el inverso aditivo de $a$ que por lo visto anteriormente sabemos es único.

Así a partir del lado izquierdo de la igualdad tenemos:

$$\begin{array}{}\text{(por M4)}& a+((-1)(a))& =a\cdot 1+((-1)(a))\text{(por M2)}& & =a\cdot 1+(a)(-1)\text{(por D)}& & =a(1+(-1))\text{(por S5)}& & =a\cdot 0\text{(por 1.)}& & =0\end{array}$$

Por lo que ya tenemos $a+((-1)(a))=0$ . Y como ya probamos que el inverso aditivo es único concluimos $$-a=(-1)(a)$$.

3. $P.d.$ $-(-a)=a$
Vemos que si probáramos que $-(-a)$ es el inverso aditivo de $-a$ terminaríamos.
$$\begin{array}{}\text{(por M4 y 2.)}& (-a)+(-(-a))& =(-a)\cdot 1+(-1)(-a)\text{(por M2)}& & =(-a)\cdot 1+(-a)(-1)\text{(por D)}& & =(-a)(1+(-1)\text{(por S5)}& & =(-a)(0)\text{(por 2.)}& & =0\end{array}$$
Así obtenemos que: $$(-a)+(-(-a))=0\Rightarrow ((-a)+(-(-a)))+a=0+a.$$

Por lo anterior se sigue que:
$$\begin{array}{}\text{(por S4)}& & \Rightarrow ((-a)+(-(-a)))+a=a\text{(por S2)}& & \Rightarrow ((-(-a))+(-a))+a=a\text{(por S3)}& & \Rightarrow (-(-a))+((-a)+a)=a\text{(por S5)}& & \Rightarrow (-(-a))+0=a\text{(por S4)}& & \Rightarrow -(-a)=a\end{array}$$
$$\therefore -(-a)=a$$

4. Tarea moral
5. Tarea moral

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Recuerda que el resto de los incisos se dejarán como ejercicios en la Tarea moral. Para realizarlos puedes hacer uso de todos los resultados probados en esta entrada, a menos que se indique lo contrario.

Tarea moral

Demuestra las siguientes propiedades:

• $1$ es único en $\mathbb{R}$.
• Para todo $a\in \mathbb{R}$ y $a\ne 0$, $a^{-1}$ es único.
• Sin usar el resultado $-(-a)=a$, demuestra que $-(-1)=1$.

Para $a,b\in \mathbb{R}$ se cumple lo siguiente:

• $(-a)(b)=–(ab)$
• $(-a)(-b)=ab$

Más adelante

En la siguiente entrada continuaremos viendo resultados derivados de las propiedades de la suma y la multiplicación de los números reales por lo que nuestra primera lista será de suma utilidad.

Entradas relacionadas

• Ir a: Cálculo Diferencial e Integral I
• Entrada anterior del curso: Cálculo Diferencial e Integral I: Repaso. Inducción matemática.
• Entrada siguiente del curso: Cálculo Diferencial e Integral I: Propiedades algebraicas de los números reales (Parte 2)
• Resto de cursos: Cursos.

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»