Un Estudio Elemental del conjunto ℝ

Un Estudio Elemental del conjunto R

Tabla de Contenidos

Introducción

1. Introducción

El sistema de los números reales que utilizamos hoy en día es el resultado de miles de años de reflexión y descubrimiento por parte de la humanidad. Desde los inicios de nuestra civilización, ya se conocían los números enteros positivos, como 1, 2, 3, y así sucesivamente. Incluso, en épocas tan antiguas como el 300 A.C., los egipcios utilizaban números tan grandes como 100,000.

Los antiguos egipcios y babilonios desarrollaron la aritmética utilizando estos números enteros positivos, lo que les permitió realizar operaciones como la adición y la multiplicación. Sin embargo, la división era un concepto que aún no se había desarrollado por completo. Estos pueblos también comenzaron a utilizar fracciones, lo que dio origen a los números racionales (números que pueden expresarse como el cociente de dos enteros).

Los babilonios, en particular, tuvieron un gran éxito en el desarrollo de la aritmética y el álgebra gracias a su avanzada notación numérica, que, aunque tenía una base de 60 en lugar de 10, era mucho más efectiva que la de los egipcios. De hecho, una buena notación es fundamental para el desarrollo de las matemáticas.

Nuestro sistema decimal actual, que utilizamos para los números, fue creado por los indios y llegó a Europa Occidental en el siglo XII a través de la traducción de textos árabes. Sin embargo, su aceptación no fue inmediata, y tomó mucho tiempo para que se adoptara de manera generalizada. Incluso los números negativos no fueron plenamente aceptados hasta finales del siglo XVI, cuando se empezaron a considerar seriamente en el contexto de las ecuaciones matemáticas.

A diferencia de la geometría griega, que se desarrolló principalmente con fines intelectuales, el desarrollo del cálculo requirió una base lógica sólida para los números irracionales, como $\bm{\sqrt{3}}$ , $\bm{\pi}$ , $\bm{\sqrt{7}}.$ Esta fundamentación lógica se logró hacia finales del siglo XIX.

Hoy en día, tenemos un sistema de axiomas que describe completamente los números reales, y a partir de estos axiomas, podemos deducir todas las propiedades de los números reales. Este enfoque es similar al método utilizado en la Geometría Euclidiana, donde se parte de ciertos axiomas o postulados para probar todos los teoremas de la geometría.

Inicios del concepto de los números reales — Los orígenes del conjunto ℝ

Definición axiomática de R

2. Definición axiomática de R

Los números reales pueden definirse de manera formal en términos de sus propiedades y estructuras algebraicas y ordenadas. A continuación, se presentan algunos enfoques básicos para definir los números reales.

Definition 1. [Sistema de Números Reales]
Se llama sistema de los números reales a un conjunto denotado por $\bm{\RR}$ , provisto de:
$\quad$• Dos operaciones: Suma $\bm{(+)}$ y multiplicación $\bm{(\cdot)}$ ,
$\quad$• Una relación de orden denotada por $\bm{(<)}$ , y
$\quad$• El axioma del supremo,
los cuales se detallan a continuación:

Operación de Suma o adición de números reales

2.1. Suma o adición en R

		.
$ (\bm{+})\,:$	$\bm{\RR \times \RR }$	$\bm{ \to }$	....$\bm{\RR}$
	$\bm{ (a,b) }$	$\bm{ \mapsto }$	$\bm{ +(a,b) = a + b }$
		.

la cual verifica los siguientes axiomas:

Axiomas de la Suma en R

2.2. Axiomas de la Suma en R

A₁. Cerradura:	$\bm{\forall\,a, b \in \RR \Rightarrow a + b \in \RR}$
A₂. Conmutatividad:	$\bm{\forall\,a, b \in \RR \Rightarrow a + b = b + a}$
A₃. Asociatividad:	$\bm{\forall\,a, b, c \in \RR \Rightarrow (a + b) + c = a + (b + c)}$
A₄. Identidad Aditiva:	$\bm{\forall\,a \in \RR,\;\exists ! \, 0 \in \RR \;\|\; 0 + a = a}$
A₅. Opuesto Aditivo:	$\bm{\forall\,a \in \RR,\;\exists ! \, (-a) \in \RR \;\|\; a + (-a) = 0}$

Estos axiomas de adición también se les conoce como propiedades de Clausura, Conmutativa, Distributiva, Asociativa, Elemento Neutro Aditivo y Elemento Inverso Aditivo; respectivamente

Multiplicación o Producto de números reales

2.3. Multiplicación o Producto en R

			.
•	:	$\bm{\RR \times \RR }$	$\bm{ \to }$	....$\bm{\RR}$
		$\bm{ (a,b) }$	$\bm{ \mapsto }$	$ \text{•}\,\bm{(a,b) = a \!\cdot\! b }$
			.

que verifica los siguientes axiomas:

Axiomas de la Multiplicación en R

2.4. Axiomas de la Multiplicación en R

M_1. Cerradura:	$\bm{\forall\,a, b \in \RR \quad \Rightarrow \quad a \cdot b \in \RR}$
M_2. Conmutatividad:	$\bm{\forall\,a, b \in \RR \quad \Rightarrow \quad a \cdot b = b \cdot a}$
M_3. Asociatividad:	$\bm{\forall\,a, b, c \in \RR \quad \Rightarrow \quad (a \cdot b) \cdot c = a \cdot (b \cdot c)}$
M_4. Identidad .......Multiplicativa:	$\bm{\forall\,a \in \RR,\;\exists ! \, 1 \in \RR \; \| \; 1 \cdot a = a}$
M_5. Opuesto .......Multiplicativo:	$\bm{\forall\,a \neq 0,\;\exists ! \, a^{-1} \in \RR \; \| \; a \cdot a^{-1} = 1}$

Estos axiomas de multiplicación también se les conoce como propiedades de Clausura, Conmutativa, Distributiva, Asociativa, Elemento Neutro Multiplicativo y Elemento Inverso Multiplicativo; respectivamente.

Axiomas de Orden en R

2.5. Axiomas de Orden en R

O₁. Tricotomía:	$\bm{\forall \,a, b \in \RR}$, una Y SOLO UNA de las relaciones .............................. se cumple: .............................. && \smash{\bm{a < b \quad,\quad a = b \quad,\quad b < a}} &&
O₂. Transitividad:	&&\text{Si: } \bm{a < b \;\,\wedge\;\, b < c \quad\Rightarrow\quad a < c}&&
O₃. Monotonía .......de la adición:	&&\text{Si: } \bm{a < b \quad\Rightarrow\quad a + c < b + c}&&
O₄. Monotonía de la .......multiplicación:	&&\text{Si: } \bm{a < b \;\,\wedge\;\, c > 0 \quad\Rightarrow\quad a\cdot c < b\cdot c}&&

Observación 1. [Sumandos y factores]

En $\bm{a+b}$ , a los números $\bm{a}$ y $\bm{b}$ se les llamará sumandos, y al número $\bm{a+b}$ suma de $\bm{a}$ y $\bm{b}.$
En $\bm{a\cdot b}$ , a los números $\bm{a}$ y $\bm{b}$ se les llamará factores, y al número $\bm{a\cdot b}$ producto de $\bm{a}$ y $\bm{b}.$

El Axioma de Sustitución

3. El Axioma de Sustitución

Claim 1. [Axioma de sustitución]
Si $\bm{a}$ y $\bm{b}$ pertenecen a un conjunto $\bm{B}$ y si $\bm{a=b}$ , entonces en toda relación se puede sustituir al elemento $\bm{a}$ por el elemento $\bm{b}$ sin que se altere el significado de la relación.

El axioma de sustitución es crucial porque garantiza la consistencia y coherencia del sistema numérico. Es fundamental para la lógica y el razonamiento matemático, permitiendo que las operaciones y transformaciones en expresiones sean válidas siempre que se respete la igualdad.

Este axioma, aunque simple en su formulación, es esencial para la validez de muchos otros teoremas y operaciones en matemática, ya que asegura que las igualdades se puedan manejar de manera consistente en diversas situaciones.

Axioma de la Distributividad}

4. Axioma de la Distributividad

Claim 2. [Axiomas distributivos]
Para toda terna de números reales $\bm{a,b,c\,};$ se cumple la propiedad:
$\quad$ a) Distributiva Izquierda. && \smash{\boxed{\bm{a \cdot (b + c) = a \cdot b + a \cdot c }}} && $\quad$ b) Distributiva Derecha. && \smash{\boxed{\bm{(a + b) \cdot c = a \cdot c + b \cdot c }}} &&

La propiedad distributiva es una de las propiedades fundamentales de las operaciones aritméticas en el conjunto de los números reales. Es una propiedad que relaciona la multiplicación con la adición (y también con la sustracción), y establece cómo estas operaciones interactúan entre sí.

Igualdad en la Adición

5. Igualdad para la Adición

Remark 1. [Igualdad para la Adición]
Para toda terna de números reales $\bm{a,b,c\,};$ se tiene: && \boxed{\bm{\text{si }\;a=b\;\,\Rightarrow\;\,a+c=b+c }}&&

Proof . .. En efecto:

Paso	......Acción......	Justificación
1°)	$a=b$	por hipótesis
2°)	$a+c=a+c$	propiedad reflexiva
3°)	$\bm{a+c=b+c}$	1°), 2°) y el Claim 1

La propiedad de la igualdad para la adición en los números reales es un principio que describe cómo la adición afecta el orden entre los números. Esta propiedad establece que, si agregamos el mismo número a ambos lados de una desigualdad, la desigualdad original se mantiene.

Igualdad para la Multiplicación

6. Igualdad en la Multiplicación

Remark 2. [Igualdad para la Multiplicación)]
Para toda terna de números reales $\bm{a,b,c\,};$ se tiene: && \boxed{\bm{\text{si }\;a=b\;\,\Rightarrow\;\,a\cdot c=b\cdot c }}&&

Proof . .. En efecto:

Paso	......Acción......	Justificación
1°)	$a=b$	por hipótesis
2°)	$a\cdot c=a\cdot c$	propiedad reflexiva
3°)	$\bm{a\cdot c=b\cdot c}$	1°), 2°) y el Claim 1

La propiedad de igualdad para la multiplicación en los números reales describe cómo la multiplicación afecta el orden entre los números. A diferencia de la adición, la multiplicación tiene un comportamiento más complejo en relación con las desigualdades, ya que el signo del número por el que multiplicamos influye en el resultado.

Propiedad Cancelativa de la Adición

7. Propiedad Cancelativa de la Adición

Remark 3. [Cancelación para la Adición]
Sean los números reales $\bm{a,b,c\,};$ se cumple: &&\boxed{\bm{\text{si }\;a+c=b+c\;\,\Rightarrow\;\,a=b }}&&

Proof . .. En efecto:

Paso	...................Acción...................	Justificación
1°)	$a+c=b+c$	por hipótesis
2°)	$a+c+(-c)=b+c+(-c)$	1°) y el Remark 1
3°)	$a+[c+(-c)]=b+[c+(-c)]$	2°) y el axio. $\bm{A_3}$ (asociativa, Section 2.2)
4°)	$a+0=b+0$	3°) y el axio. $\bm{A_5}$ (opuesto, Section 2.2)
5°)	$\bm{a=b}$	4°) y el axio. $\bm{A_4}$ (identidad, Section 2.2)

La propiedad cancelativa en la adición de los números reales es un principio fundamental que nos dice que, bajo ciertas condiciones, podemos «cancelar» o eliminar un término común de ambos lados de una igualdad sin alterar la veracidad de la igualdad.

Propiedad Cancelativa de la Multiplicación

8. Propiedad Cancelativa de la Multiplicación

Remark 4. [Cancelación para la Multiplicación]
Sean los números reales $\bm{a,b,c\,};$ se cumple: &&\boxed{\bm{\text{si }\;a\cdot c=b\cdot c\;\,\Rightarrow\;\,a=b }}&&

Proof . .. En efecto:

Paso	..............Acción..............	Justificación
1°)	$a\cdot c=b\cdot c$	por hipótesis
2°)	$a\cdot c\cdot c^{-1}=b\cdot c\cdot c^{-1}$	1°) y el Remark 2
3°)	$a\cdot[c\cdot c^{-1}]=b\cdot[c\cdot c^{-1}]$	2°) y $\bm{M_3}$ (asociativa, Section 2.4)
4°)	$a\cdot 1=b\cdot 1$	3°) y $\bm{M_5}$ (opuesto, Section 2.4)
5°)	$\bm{a=b}$	4°) y $\bm{M_4}$ (identidad, Section 2.4)

La propiedad cancelativa en la multiplicación de los números reales es un principio fundamental que nos permite eliminar un factor común de ambos lados de una ecuación multiplicativa, siempre y cuando el factor no sea cero. Esta propiedad es esencial para simplificar y resolver ecuaciones que involucran multiplicación.

En el sistema de los números reales $\RR$ tanto la resta como la división se definen en términos de la suma y la multiplicación, respectivamente, debido a la estructura algebraica que subyace a este conjunto, que es la de un cuerpo. Un cuerpo es una estructura algebraica con dos operaciones binarias, la adición y la multiplicación, que satisfacen ciertas propiedades axiomáticas.

Sustracción de Números Reales

9. Sustracción de Números Reales

Definition 2. [Diferencia de números reales]
Para cualquier par de números reales $\bm{a},$ $\bm{b},$ se define la sustracción de números reales por:

$\boxed{\bm{a-b=a+(-b)}}$

La razón para definir la resta de esta manera es que en un cuerpo, la operación primaria definida es la adición, junto con la existencia de un opuesto aditivo para cada número. Esto asegura que la resta no es una operación independiente, sino una aplicación de la suma en combinación con el opuesto aditivo.

División de Números Reales

10. División de Números Reales

Definition 3. [Cociente de números reales]
Para cualquier par de números relaes $\bm{a},$ $\bm{b},$ con $\bm{b\neq 0}$ se define el cociente de números reales por:

$\boxed{\bm{\frac{a}{b}=a\cdot b^{-1}}}$

Al igual que la resta, la división se define a partir de la multiplicación y el inverso multiplicativo porque la multiplicación es la operación primaria, y la estructura del cuerpo asegura que para cada número real no nulo $\bm{b}$ , existe un inverso multiplicativo $\bm{b^{-1}}$ .

las definiciones de resta y división en el sistema de números reales como sumas y productos con los inversos respectivos reflejan la estructura algebraica del cuerpo (\RR\) y además proporcionan un marco consistente y universal para realizar operaciones aritméticas en este sistema.

Definición de los números naturales a partir de los reales

11. Definición del conjunto N a partir de R

Lo números naturales $\bm{\N}$ se construyen de manera rigurosa a partir de los elementos identidad de $\RR$ , es decir comenzando con 0 y 1.

Definition 4. [Números $\N$ a partir de los $\RR$ ]
Cada número natural subsecuente se define en términos de sumas repetidas del número 1.

0: Es el número inicial y elemento identidad aditivo.
1: Es el primer número natural, definido axiomáticamente.
2: Se define como $1 + 1$ .
3: Se define como $2 + 1$ , es decir:
$\begin{align*} 3 &= 2+1 \\ &= (1+1)+1 \\ &= 1+1+1 \end{align*}$
4: se define como $3 + 1$ , es decir:
$\begin{align*} 4 &= 3+1 \\ &= (1+1+1)+1 \\ &= 1=1+1+1+1 \end{align*}$
Y así sucesivamente cada número natural $\bm{n}$ se construye sumando $\bm{n}$ veces el $\bm{1}$

Esta construcción asegura que todos los números naturales y sus propiedades estén bien definidos por «heredarlas» del sistema axiomático de los números reales.

Ejercicios Resueltos (paso a paso)

12. Ejercicios Resueltos (paso a paso)

Ejercicio Explicativo 01

12.1. Ejercicio Explicativo 01

Exercise 1. Para cada número $\bm{a}\in\RR$ , demostrar que: $\bm{a+a=2a}.$

Proof . .. En efecto:

Paso	..........Acción...............	Justificación
1°)	$a = a \cdot 1$	Axioma $\bm{M_4}$ de la Section 2.4 (identidad)
2°)	$a + a = a\cdot 1 + a$	Remark 1 (igualdad para la adición)
3°)	$a + a = a \cdot 1 + a \cdot 1$	Claim 1 (sustituyendo: $\bm{a}$ por $\bm{a \cdot 1}$ )
4°)	$a + a = a \cdot (1 + 1)$	Claim 2 (distributiva izquierda)
5°)	$a + a = a \cdot 2$	Definition 4 (número natural 2)
6°)	$\therefore\,\bm{a + a = 2a}$	Axioma $\bm{M_2}$ de la Section 2.4 (conmutativa)

Ejercicio Explicativo 02

12.2. Ejercicio Explicativo 02

Exercise 2. Para cada número real $\bm{a\in\RR}$ , demostrar que: $\bm{a\cdot 0=0}.$

Proof . .. En efecto:

Paso	............Acción.......................	Justificación
1°)	$a \cdot 0 = a \cdot 0 + 0$	Axioma $\bm{A_4}$ (identidad, Section 2.2)
2°)	........... $\qquad = a \cdot 0 + [a + (-a)]$	Axioma $\bm{A_5}$ (opuesto, Section 2.2)
3°)	........... $\qquad= [a \cdot 0 + a] + (-a)$	Axioma $\bm{A_3}$ (asociativa, Section 2.2)
4°)	........... $\qquad= [a \cdot 0 + a \cdot 1] + (-a)$	Axioma $\bm{M_4}$ (identidad, Section 2.4)
5°)	........... $\qquad= a(0 + 1) + (-a)$	Claim 2 (distributiva)
6°)	........... $\qquad= a \cdot 1 + (-a)$	Axioma $\bm{A_4}$ (identidad, Section 2.2)
7°)	........... $\qquad= a + (-a)$	Axioma $\bm{M_4}$ (identidad, Section 2.4)
8°)	........... $\therefore\,\bm{a\cdot0 = 0}$	Axioma $\bm{A_5}$ (opuesto, Section 2.2)

Ejercicio Explicativo 03

12.3. Ejercicio Explicativo 03

Exercise 3. Para cada número real $\bm{a\in\RR}$ , demostrar que: $\bm{-a=(-1)a}$

Proof . Será suficiente demostrando que $(-1)a$ sea el opuesto aditivo de $a$ , es decir: $a+(-1)a=0$ .
....En efecto:

Paso	............Acción.....................	Justificación
1°)	$a+(-1)a =1\cdot a+(-1)a$	Axioma $\bm{M_4}$ (identidad, Section 2.4)
2°)	..................... $=[1+(-1)]\cdot a$	Claim 2 (distributiva)
3°)	..................... $=(0)\cdot a$	Axioma $\bm{A_5}$ (opuesto, Section 2.2)
4°)	..................... $\bm{=0}$	Por el Exercise 2

Ejercicio Explicativo 04

12.4. Ejercicio Explicativo 04

Exercise 4. Para cada número real $\bm{a\in\RR}$ , demostrar que: $\bm{-(-a)=a}$

Proof . .. En efecto:

Paso	..............Acción......................	Justificación
1°)	$a + (-a) = 0$	Axioma $\bm{A_5}$ (opuesto, Section 2.2)
2°)	$(-a) + [-(-a)] = 0$	Axioma $\bm{A_5}$ [opuesto de $\bm{(-a)}$ ]
3°)	$a + (-a) = (-a) + [-(-a)]$	1°), 2°) y el Claim 1
4°)	$\therefore\,\bm{a = -(-a)}$	3°), $\bm{A_2}$ y el Remark 3 (conmut. y cancel.)

Ejercicio Explicativo 05

12.5. Ejercicio Explicativo 05

Exercise 5. Para todo $\bm{a,\,b\in\RR}$ , demostrar que: $\bm{(-a)(-b)=ab}$

Proof . .. En efecto:

Paso	............Acción.......................	Justificación
1°)	$(-a)(-b) = [(-1)a][(-1)b]$	Por el Exercise 3
2°)	........... $= (-1)[a((-1)(b))]$	Por $\bm{M_3}$ (asociativa, Section 2.4)
3°)	........... $= (-1)[a(-1)]b$	Por $\bm{M_3}$ (asociativa)
4°)	........... $= (-1)[-a]b$	por el Exercise 3 en (3°)
5°)	........... $= [(-1)(-a)]b$	Por $\bm{M_3}$ (asociativa, Section 2.4)
6°)	$\therefore\,\bm{(-a)(-b) = ab}$	por el Exercise 4 en 5°

Ejercicio Explicativo 06

12.6. Ejercicio Explicativo 06

Exercise 6. Para todo $\bm{a,\,b\in\RR}$ , demostrar que: $\bm{(-a)b=a(-b)=-ab}$

Proof . .. En efecto:

Paso	............Acción.......................	Justificación
1°)	$(-a)b = [(-1)a]b$	Por el Exercise 3 para $(-a)$
2°)	........... $= (-1)[ab]$	Por $\bm{M_3}$ (asociativa, Section 2.4)
3°)	........... $= -ab$	Por el Exercise 3 para $(-1)(ab)$
4°)	$a(-b) = a[(-1)b]$	Por el Exercise 3 para $(-b)$
5°)	........... $= [a(-1)]b$	Por $\bm{M_3}$ (asociativa, Section 2.4)
6°)	........... $= [(-1)a]b$	Por $\bm{M_2}$ (conmutativa, Section 2.4)
7°)	........... $= (-1)[ab]$	Por $\bm{M_3}$ (asociativa, Section 2.4)
8°)	........... $= -ab$	Por el Exercise 3 para $(-1)(ab)$
9°)	$\bm{\therefore\,(-a)b = a(-b) = -ab}$	Por $3^\circ)$ y $8^\circ)$

Ejercicio Explicativo 07

12.7. Ejercicio Explicativo 07

Exercise 7. Para todo $\bm{a,\,b\in\RR}$ , demostrar que: $\bm{a(b-c)=ab-ac}$

Proof . .. En efecto:

Paso	............Acción................	Justificación
1°)	$a(b-c) = a[b + (-c)]$	Definition 2 (Sustracción en $\RR$ )
2°)	............ $= ab + a(-c)$	Claim 2 (distributiva)
3°)	............ $= ab + (-ac)$	Por el Exercise 6
4°)	$\therefore\,\bm{a(b-c)=ab-ac}$	Definition 2 (Sustracción en $\RR$ )

Ejercicio Explicativo 08

12.8. Ejercicio Explicativo 08

Exercise 8. Para todo $\bm{a,\,b\in\RR}$ , demostrar que: si $\bm{a\neq0},$ entonces: $\bm{a^{-1}=\frac{1}{a}}$

Proof . .. En efecto:

Paso	........Acción........	Justificación
1°)	$a^{-1}=1(a^{-1})$	Por $\bm{M_4}$ (Identidad, Section 2.4)
2°)	$\therefore\,\bm{a^{-1}=\frac{1}{a}}$	Definition 3 (División en R)

Ejercicio Explicativo 09

12.9. Ejercicio Explicativo 09

Exercise 9. Para todo $\bm{a,\,b\in\RR}$ , con $\bm{a \cdot b \neq 0}$ , demostrar que $\bm{(ab)^{-1} = a^{-1} b^{-1}}$

Proof . .. En efecto:

Paso	................Acción............................	Justificación
1°)	$(ab) \cdot (ab)^{-1} = 1$	Por $\bm{M_5}$ (Opuesto, Section 2.4)
2°)	$(ab) \cdot (a^{-1}b^{-1}) = a \cdot (b \cdot a^{-1}) \cdot b^{-1}$	por $\bm{M_3}$ (asociativa, Section 2.4)
3°)	.................. $= a \cdot (a^{-1} \cdot b) \cdot b^{-1}$	2°) y $\bm{M_2}$ (conmutativa, Section 2.4)
4°)	.................. $= (a \cdot a^{-1}) \cdot (b \cdot b^{-1})$	3°) y $\bm{M_3}$ (asociativa, Section 2.4)
5°)	.................. $= (1) \cdot (1) = 1$	4°) y $\bm{M_5}$ (Opuesto, Section 2.4)
6°)	$\rightarrow\;(ab) \cdot (a^{-1}b^{-1}) = 1$	de 2°) y 5°)
7°)	$(ab) \cdot (ab)^{-1} = (ab) \cdot (a^{-1}b^{-1})$	de 1°) y 6°) (Claim 1, sustitución)
8°)	$\therefore\,\bm{(ab)^{-1} = a^{-1}b^{-1}}$	7°) y Remark 4 (cancelativa)

Ejercicio Explicativo 10

12.10. Ejercicio Explicativo 10

Exercise 10. Para todo $\bm{a, b, c, d \in \RR}$ , con $\bm{b \neq 0, d \neq 0}$ , demostrar que: $\bm{\frac{a}{b} + \frac{c}{d} = \frac{ad+bc}{bd}}.$

Proof . .. En efecto:

Paso	................Acción	Justificación
1°)	$\frac{a}{b} + \frac{c}{d} = a\cdot b^{-1} + c\cdot d^{-1}$	Por Definition 3
2°)	$\frac{a}{b} + \frac{c}{d} = (ab^{-1}) \cdot (d\cdot d^{-1}) + (cd^{-1}) \cdot (b\cdot b^{-1})$	1°) y $\bm{M_5}$ (opuesto, Section 2.4)
3°)	$\frac{a}{b} + \frac{c}{d} = (a \cdot d) \cdot (b^{-1} \cdot d^{-1}) + (b \cdot c) \cdot (b^{-1} \cdot d^{-1})$	2°) y $\bm{M_3}$ (asociativa, Section 2.4)
4°)	$\frac{a}{b} + \frac{c}{d} = (a \cdot d) \cdot (b \cdot d)^{-1} + (b \cdot c) \cdot (b \cdot d)^{-1}$	3°) y el Exercise 9
5°)	$\frac{a}{b} + \frac{c}{d} = (a \cdot d + b \cdot c) \cdot (b \cdot d)^{-1}$	4°) y el Claim 2
6°)	$\bm{ \frac{a}{b} + \frac{c}{d} = \frac{ad + bc}{bd} }$	5°) y la Definition 3

Enlaces externos

13. Enlaces externos

Para una mayor comprensión de los axiomas de los números reales, recomiendo los siguientes sitios de confianza, que incluyen ejercicios y demostraciones similares.

Consulta este tutorial de cálculo de la Universidad de Chile para más detalles sobre los números reales y sus propiedades, entre otros temas interesantes.
Consulta esta lectura sobre números reales en Alfaomega, una editorial reconocida en la publicación de libros técnicos y educativos, que amplía las demostraciones y ejercicios mencionados en este artículo.