1

El sistema de los números reales

El sistema de los números reales, denotado usualmente por R, puede describirse formalmente como
un campo ordenado y completo, y discutiremos dicha descripción en este documento. En la sección
1, se introducen los axiomas de cuerpo en R y se hace uso de ellos para deducir algunas propiedades
algebraicas. En la sección 2, se definen los axiomas de orden en R y se demuestran algunas con-
secuencias. Además, se introduce la noción de valor absoluto con el objetivo de demostrar algunas
de sus propiedades elementales. En la sección 3, añadimos una importante propiedad, conocida en
literatura como propiedad de completitud, la cual permite establecer la distinción entre el campo Q
de los números racionales y el campo de los números reales. Finalmente, aplicamos la propiedad
de completitud para demostrar la propiedad arquimediana, la existencia de raı́ces cuadradas y la
densidad de los números racionales e irracionales en R.

1. Propiedades algebraicas de R
Comenzamos estudiando la estructura algebraica del sistema de los números reales. Para ello, en-
tregamos a continuación una lista de 9 propiedades elementales asociadas a la suma y el producto
en R.

A1. ∀a, b ∈ R, a + b = b + a (conmutatividad con respecto a +)

A2. ∀a, b, c ∈ R, a + (b + c) = (a + b) + c (asociatividad con respecto a +)

A3. ∀a ∈ R, ∃ 0 ∈ R : a + 0 = a (existencia de un neutro aditivo)

A4. ∀a ∈ R, ∃ − a ∈ R : a + (−a) = 0 (existencia de un inverso aditivo)

A5. ∀a, b ∈ R, a · b = b · a (conmutatividad con respecto a ·)

A6. ∀a, b, c ∈ R, a · (b · c) = (a · b) · c (asociatividad con respecto a ·)

A7. ∀a ∈ R, ∃ 1 ∈ R : a · 1 = a (existencia de un neutro multiplicativo)

A8. ∀a ∈ R \ {0}, ∃ a−1 ∈ R : a · a−1 = 1 (existencia de un inverso multiplicativo)

A9. ∀a, b, c ∈ R, a · (b + c) = a · b + a · c (distributividad)

En la terminologı́a del álgebra abstracta, la lista anterior se resume diciendo que (R, +, ·) es un
campo o cuerpo conmutativo. Las 9 propiedades se suelen denominar axiomas de cuerpo.
El sentido de esta lista, es que muchas de las propiedades algebraicas que conocemos en R pueden
derivarse de estos 9 axiomas, del mismo modo que los teoremas de la Geometrı́a Euclidiana pueden
deducirse de los 5 axiomas básicos enunciados por Euclides en el conocido libro Elementos de
Euclides.
Ocupando únicamente los 9 axiomas, mostramos nuestro primer resultado.

Proposición 1.1. Las siguientes se cumplen:

a) ∀a, b, c ∈ R, a + b = a + c ⇐⇒ b = c (ley de cancelación aditiva).

 2

b) ∀a, b, c ∈ R, con c ̸= 0, ac = bc ⇐⇒ a = b (ley de cancelación multiplicativa).

c) Los elementos neutros para la suma y producto son únicos (unicidad de los neutros).

d) Los inversos aditivos y multiplicativos son únicos (unicidad de los inversos).

e) ∀a ∈ R, a · 0 = 0 (propiedad absorbente).

f) ∀a, b ∈ R, a · b = 0 ⇐⇒ a = 0 ∨ b = 0.

Demostración. a) (⇒) Sean a, b, c ∈ R tales que a + b = a + c. Como a ∈ R, por A4 existe −a ∈ R

tal que a + (−a) = 0. Luego,

a + b = a + c =⇒ −a + (a + b) = −a + (a + c)
=⇒ (−a + a) + b = (−a + a) + c (por A2)
=⇒ 0 + b = 0 + c (por A4)
=⇒ b = c (por A3)

(⇐) Inmediata.
b) (⇒) Sean a, b, c ∈ R con c ̸= 0 tales que ac = bc. Como c ̸= 0, por A8 existe c−1 ∈ R tal que
c · c−1 = 1. Luego,

ac = bc =⇒ (ac) · c−1 = (bc) · c−1

=⇒ a(c · c−1 ) = b(c · c−1 ) (por A6)
=⇒ a · 1 = c · 1 (por A8)
=⇒ a = c (por A7)

(⇐) Inmediata.
c) Veamos que el neutro aditivo es único. Supongamos que existan dos neutros aditivos 0 y 0′ , con
0 ̸= 0′ . Luego, para cada a ∈ R se tiene que a + 0 = a y a + 0′ = a. Ası́, a + 0 = a + 0′ y por
a) sigue que 0 = 0′ , absurdo. Por tanto, el neutro aditivo es único. Para demostrar que el neutro
multiplicativo es único se procede de forma similar, y se utiliza b) para concluir, inténtalo.
d) Solo mostraremos la unicidad del inverso multiplicativo (la demostración es análoga para el
caso del inverso aditivo, inténtalo). Sea a ∈ R \ {0}, y supongamos que a−1 y ā−1 sean inversos
multiplicativos de a, con a−1 ̸= ā−1 . Luego, se tiene que a · a−1 = 1 y a · ā−1 = 1. Ası́, a · a−1 = a · ā−1
y por b) sigue que a−1 = ā−1 , absurdo. Por tanto, el inverso multiplicativo de a ∈ R \ {0} es único.
e) Sea a ∈ R. Notar que a · 0 = a · (0 + 0) = a · 0 + a · 0. Luego, por a) sigue que a · 0 = 0.
f) (⇒) Sean a, b ∈ R tales que ab = 0. Supongamos que a ̸= 0. Luego, a−1 existe por A8. Ası́,

ab = 0 =⇒ a−1 · ab = a−1 · 0
=⇒ (a−1 · a)b = 0 (por A6 y e))
=⇒ 1 · b = 0 (por A8)
=⇒ b = 0 (por A7)

Análogamente se muestra que para b ̸= 0, se tiene que ab = 0 =⇒ a = 0 (inténtalo). Finalmente, la

flecha (⇐) es consecuencia directa de e).
 3

Observación 1.1. El inverso multiplicativo de 0 no existe. En efecto, si 0−1 existe, entonces por
axioma A8 y e) de la Proposición 1.1 se tiene que 0 · 0−1 = 1 y 0 · 0−1 = 0 , y por consiguiente 0 = 1,
absurdo.
Con ayuda de los axiomas de cuerpo, también podemos demostrar las conocidas Leyes de los signos.
Teorema 1.1 (Leyes de los signos). Dado a, b ∈ R, las siguientes son ciertas:
a) (−1) · a = −a.

b) −(−a) = a.

c) (−a)b = a(−b) = −(ab).

d) (−a) · (−b) = ab.

Demostración. a) Por definición −a es el inverso aditivo de a. Luego, es suficiente mostrar que
(−1) · a también lo es, ya que si esto último es cierto, por la unicidad de los inversos sucederı́a que
(−1) · a = −a. Para ver que (−1) · a es el inverso aditivo de a, basta demostrar que a + (−1) · a = 0.
En efecto,
a + (−1) · a = 1 · a + (−1) · a = (1 + (−1)) · a = 0 · a = 0
donde la última igualdad es gracias a la propiedad absorbente.
b) Razonando como en 1), es suficiente mostrar que a es inverso aditivo de −a. Sin embargo, esto
último es inmediato.
c) Sean a, b ∈ R. Ocupando a) se tiene que

(−a)b = (−1 · a)b = a · (−1 · b) = a(−b) (justifique por qué se cumplen dichas igualdades)

Razonando de forma análoga, se demuestra que (−a)b = −(ab).

d) Sean a, b ∈ R. La demostración viene de las siguientes igualdades (justifı́quelas)

(−a)(−b) = (−1)a · (−1)b = (−1)(−1)ab = (−1)((−1)ab) = −(−ab) = ab

Otras resultados de interés son los siguientes:

Proposición 1.2. Sean a, b ∈ R. Las siguientes se cumplen:
a) Si a, b ̸= 0, entonces (a · b)−1 = a−1 · b−1 .

b) Si a ̸= 0, entonces (a−1 )−1 = a.

Demostración. a) Sean a, b ∈ R\{0}. Por definición, (ab)−1 es el inverso multiplicativo de ab. Luego,
basta ver que a−1 · b−1 también lo es. En efecto, como

ab · a−1 b−1 = aa−1 bb−1 = 1 · 1 = 1

se tiene que a−1 · b−1 es el inverso multiplicativo de ab, y por la unicidad de los inversos se tiene que
(a · b)−1 = a−1 · b−1 .
b) Se razona de forma similar al item a), demuéstralo.
 4

En el colegio, siempre hemos escuchado hablar de las cuatro operaciones básicas (suma, resta,
multiplicación y división). La suma y multiplicación ya la hemos mencionado. Sin embargo, las
otras dos se definen a partir de éstas.

Definición 1.1. Se define la diferencia entre a y b, denotada por a − b, al número real

a − b := a + (−b)
a
Se define el cociente entre a y b (con b ̸= 0), denotado por ó a : b como el número real
b
a
a:b= := ab−1 .
b
Con los conceptos definidos previamente, podemos mostrar las conocidas propiedades de las frac-
ciones.

Teorema 1.2. Sean a, b, c ∈ R. Las siguientes son ciertas:

 a −1 b
1) Si a, b ̸= 0, entonces = .
b a
a c ac
2) Si b, d ̸= 0, entonces · = .
b d bd
a c ad
3) Si b, c, d ̸= 0, entonces : = .
b d bc
a b a±b
4) Si c ̸= 0, entonces ± = .
c c c
a c ad ± bc
5) Si b, d ̸= 0, entonces ± = .
b d bd
ac a
6) Si b, c ̸= 0, entonces = .
bc b
−a a a −a a
7) Si b ̸= 0, entonces = =− y = .
b −b b −b b
a c
8) ∀b, d ∈ R \ {0}, = ⇐⇒ ad = bc.
b d
a c b d c d b a
9) ∀a, b, c, d ∈ R \ {0}, = ⇐⇒ = ⇐⇒ = ⇐⇒ = .
b d a c a b d c
Demostración. Solo demostraremos desde la 1) a la 5), las demás se dejan al lector interesado.
1) Sean a, b ∈ R \ {0}. Luego,
 a −1 b
= (a · b−1 )−1 = a−1 (b−1 )−1 = a−1 b = ba−1 =
b a
2) Sean a, b, c, d ∈ R, con b, d ̸= 0. Luego,
a c ac
· = ab−1 · cd−1 = (ac)(b−1 d−1 ) = (ac)(bd)−1 =
b d bd
 5

3) Sean a, b, c, d ∈ R, con b, c, d ̸= 0. Luego,

a c a  c −1 a d ad
: = · = · =
b d b d b c bc
4) Sean a, b, c ∈ R, con c ̸= 0. Luego,

a b a+b
+ = ac−1 + bc−1 = (a + b)c−1 =
c c c
5) Sean a, b, c, d ∈ R, con b, d ̸= 0. Luego,

ad + bc
= (ad + bc)(bd)−1
bd
= (ad)(bd)−1 + (bc)(bd)−1
= (ad)(b−1 d−1 ) + (bc)(b−1 d−1 )
= a(dd−1 )b−1 + (bb−1 )cd−1
= ab−1 + cd−1
a c
= +
b d
Justifique las igualdades en cada una de las demostraciones anteriores.

2. Orden en R
El objetivo es entender a (R, +, ·) como un campo ordenado y deducir algunas consecuencias. Para
ello, comenzamos notando que R contiene un subconjunto no vacı́o R+ , llamado conjunto de todos
los números reales positivos, que satisface las siguientes propiedades (axiomas de orden):

O1. ∀a, b ∈ R+ , a + b ∈ R+

O2. ∀a, b ∈ R+ , a · b ∈ R+ .

O3. Dado a ∈ R, una y sólo una de las siguientes condiciones se verifica:

a ∈ R+ , −a ∈ R+ , a = 0

La existencia de R+ , permite definir las siguientes relaciones de orden sobre R.

Definición 2.1. Sean a, b ∈ R, se definen las relaciones <, >, ≤, ≥, de la siguiente forma:

1) a < b ⇐⇒ b > a ⇐⇒ (b − a) ∈ R+

2) a > b ⇐⇒ b < a ⇐⇒ (a − b) ∈ R+

3) a ≤ b ⇐⇒ (a < b) ∨ (a = b)

4) a ≥ b ⇐⇒ (a > b) ∨ (a = b)
 6

Observación 2.1. De la definición previa, es evidente que

a > 0 ⇐⇒ a ∈ R+ , a < 0 ⇐⇒ −a ∈ R+

Teorema 2.1. Las siguientes se cumplen:

a) Para todo a, b ∈ R se tiene una y sólo una de las siguientes tres posibilidades:

(1) a < b (2) b < a (3) a = b .

b) ∀a, b, c ∈ R, a < b ∧ b < c =⇒ a < c.

c) ∀a, b, c ∈ R, a < b =⇒ a + c < b + c.

d) ∀a, b, c ∈ R, a < b ∧ c > 0 =⇒ ac < bc.

e) ∀a, b, c ∈ R, a < b ∧ c < 0 =⇒ ac > bc.

Demostración. a) Sean a, b ∈ R. Por O1, como b + (−a) = b − a ∈ R, entonces una y solo una de
las siguiente se cumple:
b − a ∈ R+ , −(b − a) ∈ R+ , o bien, b − a = 0
es decir,
b − a ∈ R+ , a − b ∈ R+ , o bien, b = a
O equivalentemente, b > a, a > b, o bien, a = b.
b) Sean a, b, c ∈ R tales que a < b ∧ b < c. Luego,

a < b ∧ b < c =⇒ b − a > 0 ∧ c − b > 0 (Por Definición 2.1)

=⇒ b − a + c − b > 0 (por O1)
=⇒ c − a > 0
=⇒ c > a (Por Definición 2.1)

c) Sean a, b ∈ R tales que a < b. Luego,

a < b =⇒ b − a > 0
=⇒ b − a + (c − c) > 0
=⇒ (b + c) − (a + c) > 0
=⇒ b + c > a + c

d) Sean a, b, c ∈ R tales que a < b ∧ c > 0. Luego,

a < b ∧ c > 0 =⇒ b − a > 0 ∧ c > 0

=⇒ (b − a)c > 0 (Por O2)
=⇒ bc − ac > 0
=⇒ bc > ac
 7

e) Sean a, b, c ∈ R tales que a < b ∧ c < 0. Luego,

a < b ∧ c < 0 =⇒ b − a > 0 ∧ −c > 0 (Por Observación 2.1)

=⇒ −c(b − a) > 0 (Por O2)
=⇒ ac − bc > 0
=⇒ ac > bc

Mostramos enseguida que el cuadrado de cualquier número real distinto de cero es positivo.

Teorema 2.2. Las siguientes se cumplen:

a) Si a ̸= 0, entonces a2 > 0.

b) 1 > 0.

Demostración. a) Por O3, si a ̸= 0, entonces a ∈ R+ o bien −a ∈ R+ . Si a ∈ R+ , entonces por

O2 se tiene a2 = a · a ∈ R+ . Por otro lado, si −a ∈ R+ , entonces a2 = (−a)(−a) ∈ R+ y hemos
terminado.
b) Ya que 12 = 1, por a) sigue que 1 > 0.
Otros propiedades de interés, son las que se indican a continuación.

Proposición 2.1. Para cada a, b, c ∈ R se tiene:

a) a > b ∧ c > d =⇒ a + c > b + d.

b) ab > 0 ⇐⇒ (a > 0 ∧ b > 0) ∨ (a < 0 ∧ b < 0).

c) ab < 0 ⇐⇒ (a > 0 ∧ b < 0) ∨ (a < 0 ∧ b > 0).

d) a > 0 =⇒ a−1 > 0 , a < 0 =⇒ a−1 < 0 .

e) 0 < a < b =⇒ a−1 > b−1 .

f) 0 ≤ a < b =⇒ a2 < b2 .
a+b
g) a < b =⇒ a < < b.
2
Demostración. a) Sean a, b, c ∈ R tales que a > b y c > d. Luego,

a > b ∧ c > d =⇒ a − b > 0 ∧ c − d > 0

=⇒ (a − b) + (c − d) > 0
=⇒ (a + c) − (b + d) > 0
=⇒ (a + c) > (b + d)
2.1 Valor absoluto 8

b) Sean a, b ∈ R tales que ab > 0. Supongamos que a > 0 ⇐⇒ a ∈ R+ . Mostraremos que

necesariamente b > 0. En efecto, si b < 0 ⇐⇒ −b ∈ R+ , entonces −(ab) ∈ R+ ⇐⇒ ab < 0, absurdo.
Analogamente se ve que si a < 0, entonces necesariamente b < 0. Viceversa,

(a > 0 ∧ b > 0) ∨ (a < 0 ∧ b < 0) =⇒ (a ∈ R+ ∧ b ∈ R+ ) ∨ (−a ∈ R+ ∧ −b ∈ R+ )

=⇒ ab ∈ R+ ∨ ab ∈ R+
=⇒ ab ∈ R+

c) Se procede de manera análoga a b), inténtalo.

d) Sea a > 0. Como a ̸= 0, a−1 existe. Si suponemos que a−1 < 0, sigue que 1 = a · a−1 < 0, absurdo.
Por lo tanto, a−1 > 0. Analogamente, si a < 0 se muestra que a−1 < 0.
e) Dado 0 < a < b, tenemos que:

0 < a < b =⇒ b − a > 0

=⇒ (b − a) · a−1 b−1 > 0 (ya que a−1 , b−1 > 0)
=⇒ a−1 − b−1 > 0 =⇒ a−1 > b−1

f) Dado 0 ≤ a < b, tenemos que:

0 ≤ a < b =⇒ b − a > 0
=⇒ (b − a)(b + a) > 0 (ya que a, b > 0)
=⇒ b2 − a2 > 0 =⇒ b2 > a2

g) Sean a, b ∈ R tales que a < b. Luego,

a < b =⇒ a + a < b + a
=⇒ 2a < b + a
=⇒ a < (b + a)2−1
a+b
=⇒ a < .
2
Razonando de forma análoga se muestra que
a+b
a < b =⇒ <b
2
a+b
Por lo tanto, a < < b.
2

2.1. Valor absoluto

Definición 2.2. Se define el valor absoluto de a ∈ R, denotado por |a|, como

a si a ≥ 0
|a| :=
−a si a < 0

De la Definición 2.2 sigue que ∀a ∈ R, |a| ≥ 0, |a| = 0 ⇐⇒ a = 0 y que | − a| = |a|, para todo
a ∈ R.
Algunas propiedades adicionales son las siguientes.
2.1 Valor absoluto 9

Teorema 2.3. Las siguientes se cumplen:

a) ∀a, b ∈ R, |ab| = |a||b|.
b) |a|2 = a2 .
c) Si c ≥ 0, entonces |a| ≤ c ⇐⇒ −c ≤ a ≤ c.
d) ∀a ∈ R, −|a| ≤ a ≤ |a|.
Demostración. a) Si a o b es 0, entonces ambos lados son iguales a 0. Hay otros cuatro casos a tener
en cuenta. Si a > 0, b > 0, entonces ab > 0, por lo que |ab| = ab = |a||b|. Si a > 0, b < 0, entonces
ab < 0, por lo que |ab| = −ab = a(−b) = |a||b|. Los demás casos se tratan de forma similar.
b) Ya que a2 ≥ 0, tenemos que a2 = |a2 | = |aa| = |a||a| = |a|2 .
c) (⇒) Supongamos que |a| ≤ c. Si a ≥ 0, entonces |a| = a y por tanto |a| = a ≤ c. Si a < 0,
entonces |a| = −a y por consiguiente |a| = −a ≤ c. Luego, independientemente si a ≥ 0 o a < 0 se
tiene que
(a ≤ c ∧ −a ≤ c) ⇐⇒ (a ≤ c ∧ a ≥ −c) ⇐⇒ −c ≤ a ≤ c.
(⇐) Supongamos que −c ≤ a ≤ c. Si a ≥ 0, entonces |a| = a y por lo tanto |a| ≤ c. Ahora, si a < 0,
entonces |a| = −a. Ası́, c ≥ −a = |a| y por consiguiente |a| ≤ c.
d) Basta tomar c = |a| en c).
Para finalizar, entregamos a continuación una importante desigualdad, conocida en literatura como
desigualdad triangular.
Proposición 2.2 (Desigualdad triangular). Si a, b ∈ R, entonces |a + b| ≤ |a| + |b|.
Demostración. Por Teorema 2.3 d) tenemos que −|a| ≤ a ≤ |a| y −|b| ≤ b ≤ |b|. Luego,
−|a| − |b| ≤ a + b ≤ |a| + |b| ⇐⇒ −(|a| + |b|) ≤ a + b ≤ (|a| + |b|) ⇐⇒ |a + b| ≤ |a| + |b| ,
donde la última equivalencia es por c) del Teorema 2.3.

Corolario 2.1. Las siguientes se cumplen:

a) Si a, b ∈ R. entonces |a − b| ≤ |a| + |b|.
b) ||a| − |b|| ≤ |a − b|
Demostración. a) Reemplazando b en la desigualdad triangular por −b se tiene que
|a + (−b)| ≤ |a| + | − b| = |a| + |b|
y hemos terminado.
b) Escribiendo a = (a − b) + b y aplicando la desigualdad triangular se tiene que
|a| = |(a − b) + b| ≤ |a − b| + |b| =⇒ |a| − |b| ≤ |a − b|
Análogamente, escribiendo b = (b − a) + a y aplicando la desigualdad triangular se tiene que
|a| − |b| ≥ −|a − b|
Ası́,
−|a − b| ≤ |a| − |b| ≤ |a − b| ⇐⇒ ||a| − |b|| ≤ |a − b|.
 10

3. Propiedad de completitud
A continuación, analizaremos el denominado axioma del supremo, el cual nos permitirá caracterizar
a R como un campo ordenado y completo. También, daremos algunas aplicaciones del axioma del
supremo, como la propiedad arquimedeana y la densidad de los racionales e irracionales en R.

Definición 3.1. Diremos que A ⊆ R es

1) acotado superiormente, si

∃M ∈ R, ∀x ∈ A, x ≤ M .

El M se denomina cota superior de A.

2) acotado inferiormente si

∃m ∈ R, ∀x ∈ A, m ≤ x.

El m se denomina cota inferior de A.

3) acotado, si es acotado superior e inferiormente.

Ejemplo 3.1. Algunos ejemplos relacionados a la Definición 3.1 son los siguientes:

a) A = {x ∈ R : x < 5} es acotado superiormente (pero no inferiormente), una cota superior es

5, y el conjunto de todas las cotas superiores es [5, +∞[.

b) B = [−1, 3] es acotado. El conjunto de las cotas superiores es el intervalo [3, +∞[, y el de las
cotas inferiores es ] − ∞, −1].

c) C = {(−1)n : n ∈ N} ⊆ R es acotado.

Definición 3.2. Sea A ⊆ R.

1) Si A es acotado superiormente, diremos que s ∈ R es el supremo de A, denotado por sup(A),

si s es la menor de las cotas superiores de A.

2) Si A es acotado inferiormente, diremos que v ∈ R es el ı́nfimo de A, denotado por ı́nf(A), si

v es la mayor de las cotas inferiores de A.

3) Si el supremo (ı́nfimo) de un conjunto A pertenece al conjunto, este se llama máximo (mı́nimo)

del conjunto A.

Ejemplo 3.2. Algunos ejemplos relacionados a la Definición 3.2 son los siguientes:

1) Dado A = {x ∈ R : x < 5} se tiene que sup(A) = 5, ya que 5 es cota superior del conjunto
y cualquier otra cota superior de A será mayor que 5. No tiene ı́nfimo pues no está acotado
inferiormente. Además, A no tiene máximo ya que 5 ∈/ A.

2) C = [−1, 3] está acotado superior e inferiormente. Además, ı́nf(C) = −1 y sup(C) = 3. En

particular, estos últimos son mı́nimo y máximo, respectivamente.
 11

En los ejemplos previos, hemos visto que hay conjuntos acotados superiormente que no poseen
máximo. En estos casos como en el ejemplo del intervalo ] − ∞, 5[, el candidato a ser máximo era
5, pero este no pertenecı́a al conjunto. Sin embargo, nuestra intuición nos dice que todo conjunto
acotado superiormente posee supremo. De hecho, la única forma que un conjunto no posea supremo
parece ser, que no sea acotado superiormente. Esta intuición no se puede deducir de los axiomas
expuestos en las secciones previas, por lo tanto lo tenemos que agregar como axioma.

Definición 3.3 (Axioma del Supremo). Todo subconjunto S de R no vacı́o y acotado superiormente
tiene un supremo en R.

Observación 3.1. Se puede demostrar que todo subconjunto no vacı́o acotado inferiormente pose
ı́nfimo. En efecto, basta verificar que ı́nf(A) = − sup(−A). Por otro lado, no es cierta la propiedad
si se cambia supremo por máximo. En efecto ] − ∞, 5[ no tiene máximo pero sı́ supremo.

Para ilustrar una de las aplicaciones del axioma del supremo, vamos a definir la parte entera de un
real x > 0.

Definición 3.4. Se define la parte entera de x > 0, denotada por [x] como el supremo del conjunto

A = {n ∈ N : n ≤ x} .

Note que [x] está bien definida ya que A es acotado superiormente por x y además 0 ∈ A. Por lo
tanto, por el axioma del supremo, A posee supremo que denotamos por [x].

Ejemplo 3.3. La parte entera del real 2, 5 es [2, 5] = 2.

Proposición 3.1. Dado x > 0, [x] es un número natural.

Demostración. Como [x] = sup(A), el real [x] − 21 no puede ser una cota superior de A. Luego debe
existir un elemento n0 ∈ A tal que [x] − 12 < n0 . Por otra parte, como [x] es una cota superior de A
se tiene que n0 ≤ [x]. Veamos que n0 es una cota superior de A. Esto lo tendremos si todo natural
n que sea mayor estricto que n0 , no pertenece a A. Si n > n0 , se deduce que n ≥ n0 + 1. Pero
sabemos que n0 + 1 > [x] + 21 . Con esto tenemos que n > [x] + 12 > [x]. Por lo tanto, n es mayor
que el supremo de A y entonces n ∈ / A. Con esto concluimos que n0 es una cota superior de A.
Finalmente, como n0 ∈ A, sigue que es un máximo y por tanto es igual a [x].

Una consecuencia importante de esto último es que

[x] ≤ x ≤ [x] + 1 (∗)

Teorema 3.1. Los números naturales nos son acotados superiormente.

Demostración. Supongamos que N es acotado superiormente. Luego, por el axioma del supremo
s := sup(N) existe. Utilizando (∗) se tiene que

[s] ≤ s < [s] + 1 ,

donde [s] + 1 ∈ N, lo cual contradice el hecho que s es cota superior de N.

Teorema 3.2 (Propiedad Arquimediana). R es arquimediano, es decir, para todo real x > 0, existe
un natural n ∈ N tal que n · x > 1.
 12

Demostración. Si R no tuviese la propiedad, existirı́a x > 0 tal que el conjunto {n · x : n ∈ N} serı́a

acotado por 1, siendo no vacı́o, pero entonces tendrı́a un supremo s ∈ R. Sin embargo, si esto es
cierto xs serı́a una cota superior para los naturales, lo cual contradice el Teorema 3.1.
Con ayuda del axioma del supremo, podemos mostrar el siguiente resultado.
Teorema 3.3. Los racionales son densos en los reales. Esto significa que dados dos reales x, y con
x < y, existe un racional r tal que x < r < y.
Demostración. Si x e y son racionales podemos escoger r = x+y 2
∈ Q y hemos terminado. Si alguno
de ellos no es racional analizaremos dos situaciones: Primero, si y −x ≥ 1 con y no racional, entonces
podemos escoger r = [y] ya que sabemos que x ≤ y − 1 < r = [y] < y. Si y es racional, entonces
podemos escoger r = [x] + 1, pues en este caso tenemos x < [x] h +i1 = r ≤ x + 1 < y. Segundo, si
n 1
y − x < 1 con y no racional, podemos definir r = m , con m = y−x + 1 y n = [my]. Finalmente, se
demuestra que r satisface la propiedad requerida estableciendo las siguientes relaciones: my−mx > 1
1
(se obtiene de m > y−x ); n + 1 > my, entonces my > n > mx (y no es racional).
Corolario 3.1. Si x e y son números reales con x < y, entonces existe un número irracional z tal
que x < z < y.
√ √
Demostración. Si aplicamos el Teorema 3.3 a los números reales x = 2/2 e y = 2/2 obtenemos
un número racional r ̸= 0 tal que √ √
x/ 2 < r < y/ 2
√
Luego, z := r 2 es irracional y satisface x < z < y.
Para finalizar, ocuparemos el axioma del supremo para definir la raı́z cuadrada de un número real
no negativo. Buscaremos un número s > 0 tal que s2 = 2. Consideremos A = {r ∈ R : r2 ≤ 2}.
Notar que A es acotado superiormente (por ejemplo por 3), es no vacı́o pues 0 ∈ A y por el axioma
del supremo sigue que A posee supremo, que denotamos por s. Demostraremos que no puede ocurrir
que s2 < 2, ni tampoco que s2 > 2.
Supongamos que s2 < 2. Probemos que si s2 < 2, entonces ∃ϵ ∈ (0, 1) tal que (s + ϵ)2 < 2. En
efecto,
(s + ϵ)2 = s2 + 2sϵ + ϵ2 ≤ s2 + (2s + 1)ϵ
Si se escoge ϵ tal que s2 + (2s + 1)ϵ < 2 se habrá probado la propiedad. Para ello, basta tomar
2−s2
ϵ = 2(2s+1) . Luego, (s + ϵ)2 < 2, lo cual implica que s + ϵ ∈ A, y esto contradice el hecho que
s es cota superior ya que s + ϵ > s. Por tanto, no puede suceder que s2 < 2.

Supongamos que s2 > 2. Se prueba que existe una cota superior de A menor que s, lo cual
nos darı́a una contradicción pues s no serı́a la menor cota superior de A. Esto se puede hacer
realizando un razonamiento similar al anterior llegando a que ∃ϵ ∈ (0, 1) tal que (s − ϵ)2 > 2,
lo cual implica que s − ϵ es una cota superior de A menor que s.
Finalmente, podemos concluir que s2 = 2. Esto último motiva la siguiente definición.
Definición 3.5 (raı́z cuadrada).
√
2 := sup{r ∈ R : r2 ≤ 2}
√
Teorema 3.4. El número real 2 no es racional.
 13

√
Demostración. Supongamos que 2 = p/q, donde p, q ∈ Z y q ̸= 0. Sin pérdida de generalidad
podemos suponer que p/q es irreducible, es decir, M CD(p, q) = 1. Luego, 2q 2 = p2 y por consiguiente
p2 es par, lo que implica a su vez que p es par. Entonces, si p es par , lo podemos escribir como
2 2 2 2 2
p = 2k, con k ∈ N. Luego √ p = 4k = 2q ⇒ q = 2k ⇒ q es par. Por lo tanto, M CD(p, q) ̸= 1,
absurdo. En conclusion, 2 no es racional.
Mas general, podemos definir raı́ces n-ésimas.

Definición 3.6. Dado x > 0 y n ∈ N,

√n
x := sup{r ∈ R : rn ≤ x} .

JBD