2 Los Números Reales

Sistemas Numéricos 2.1

A través de la historia de la Matemática los números han sido introducidos como un

instrumento para contar o más precisamente para medir.
El sistema numérico más simple es el de los números naturales: uno, dos, tres, cua-
tro, . . . , etc; el cual sirve para contar objetos. En el conjunto de los números naturales se
puede sumar y multiplicar; pero no se puede restar. Para poder introducir la operación
de resta, es necesario agregar el cero y los negativos de los naturales obteniéndose así
el conjunto de los números enteros, donde se puede sumar, multiplicar y restar; pero no
se puede dividir. Para poder dividir se agregan las fracciones de números enteros, que
constituyen el conjunto de los números racionales donde se pueden efectuar las cuatro
operaciones.
Los racionales sirven para contar objetos y partes de objetos, considerando cantida-
des tanto positivas como negativas. Desde un punto de vista geométrico, estos también
se pueden asociar a los puntos de una recta de la siguiente manera:
Consideremos una recta y un punto O en ella que llamaremos origen.

Figura 2.1: Recta con origen O.

37
38 Capítulo 2. Los Números Reales

Elijamos una de las semirectas determinadas por O y llamémosla semirecta positiva

hacia la derecha y semirecta negativa hacia la izquierda.

− + +
O

Figura 2.2: Semirecta positiva y semirecta negativa.

Y elijamos un trazo que llamaremos trazo unitario:
u

Figura 2.3: Trazo unitario.

Asociamos a cada número racional x un punto Px de la recta de la siguiente manera:

1. Al cero le asignamos el punto O.

0
− + +
O

Figura 2.4: Número 0 en el origen.

2. Para asignar un punto de la recta al número 1 copiamos el trazo unitario desde O

en dirección positiva determinando el punto P1 .
0 P1
− +|{z}+ +
u
Figura 2.5: Número 1 a una distancia unitaria del origen.

3. Para asignar un punto al número n ∈ N, copiamos el trazo unitario n veces desde

el origen en dirección positiva, obteniéndose el punto Pn .
0 P1 P2 Pn
− +|{z}+|{z}+ +|{z}+ +
u u ... n veces u
Figura 2.6: Posición del número n.

4. Para asignar un punto de la recta al entero negativo −n, copiamos el trazo OPn
desde O en dirección negativa, determinando el punto P−n .
P−n 0 Pn
− + + + +
−n n
Figura 2.7: Posición del número −n.
2.1. Sistemas Numéricos 39

m
5. Para asignar un punto de la recta al racional positivo (donde m y n son naturales)
n
dividimos el trazo unitario en n trazos iguales y lo copiamos m veces desde O en
m
dirección positiva, determinando el punto P mn , y lo denotamos en la recta por .
n
m
0 n m
− + + + + +
n puntos iguales

Figura 2.8: Posición del racional positivo m/n.

m
6. Para asignar un punto de la recta al racional negativo − (donde m y n son natura-
n
les) copiamos el trazo OP mn desde O en dirección negativa, determinando el punto
P− mn .
− mn 0
m
n

− + + + +

Figura 2.9: Posición del racional negativo −m/n.

Como ejemplo de esta asignación tenemos:

1 1
−3 −1 − 2 0 2 1 3
− + + + + + + + +

Figura 2.10: Ejemplo de asignaciones.

Observemos que cada número racional x corresponde a la medida del trazo OP x
y entonces por esta construcción podemos concluir que los números racionales efec-
tivamente sirven para medir algunos trazos dirigidos en la recta numérica. Dado que
cualquier trazo dirigido puede ser copiado sobre la recta numérica, podemos pensar en
asociar medida a trazos arbitrarios, sin embargo, los números racionales no nos bastan
para ello como veremos en el siguiente ejemplo:
La diagonal de un cuadrado de lado uno, no puede ser medida por un número racional,
efectivamente supongamos que ésta tiene medida racional q,

q
1

1
Figura 2.11: Cuadrado de lado unitario.
entonces por el Teorema de Pitágoras tenemos que: q 2 = 12 + 12 , es decir q 2 = 2.
40 Capítulo 2. Los Números Reales

Veremos a continuación que q no es un número racional.

m
Si q fuera un número racional, entonces tendría la forma q = donde m y n son
n
enteros sin divisores comunes, entonces

m2
q2 = = 2.
n2

Por lo tanto, m2 = 2n2 (∗), de donde m2 es un número par y por lo tanto m también es
un número par. Sea entonces, m = 2p, donde p es un entero. Reemplazando el valor de
m en (*), tenemos que 4p2 = 2n2 y por lo tanto n2 = 2p2 , es decir n2 es un número par, de
donde se obtiene que n también lo es.
Hemos concluido que m y n son números pares, luego ambos son divisibles por dos,
lo que contradice la elección de m y n. Con esto hemos demostrado por contradicción
que la medida de la diagonal del cuadrado no es un número racional.
Como éste, existe una infinidad de ejemplos de trazos que no pueden ser medidos
con números racionales, pero como estos trazos pueden ser copiados sobre la recta nu-
mérica determinando puntos de ella que no corresponden a números racionales, nuestra
limitación es equivalente a no tener números para todos los puntos de la recta.
Al agregar números para todos los puntos de la recta se obtiene el conjunto de los
números reales. Los números reales no sólo sirven para medir todos los trazos dirigidos
sino también para medir todas las áreas y volúmenes.
Por ejemplo si r es un real y es la medida del trazo:

Figura 2.12: Trazo de largo r .

también es el área del rectángulo de lados r y 1:
r
1

Figura 2.13: Rectángulo de lados r y 1.

A = r · 1 = r . También lo es el volumen del paralelepípedo de lados r , 1 y 1:
1 r

Figura 2.14: Volumen del paralelepípedo de arista r , 1 y 1.

V = r · 1 · 1 = r.
2.1. Sistemas Numéricos 41

La suma de dos reales está asociada a la suma de trazos dirigidos:

r +s
z }| {
| {z }| {z }
r s

Figura 2.15: Suma de dos reales.

El producto podemos asociarlo al área de un rectángulo:

s
r

Figura 2.16: Producto de dos números reales.

A = r · s.
El cero corresponde a la medida del trazo OO y el uno a la medida del trazo unitario.
La relación menor que entre números reales está dado por el orden de los puntos
en la recta numérica en dirección de la semirecta positiva.
A una colección de números reales la llamamos conjunto de números reales.
Para formular las propiedades básicas de los números reales usamos los símbolos:
+, ·, 0, 1, <, para la suma, el producto, el cero, el uno y la relación “menor que", res-
pectivamente. R denota el conjunto de todos los números reales y P(R) a la colección de
todos los subconjuntos de números reales y se llama el conjunto potencia de R.
42 Capítulo 2. Los Números Reales

Operaciones Básicas en los Números Reales:

Suma y Producto 2.2

Las propiedades básicas de la suma y el producto constituyen los axiomas de cam-

po, los cuales son verdades evidentes, que no necesitan demostración y que son la base
para demostrar todas las demás propiedades.

Axioma de Campo

Axioma 2.1 R es cerrado bajo la suma:

∀x ∈ R ∀y ∈ R (x + y ∈ R).

Axioma 2.2 La suma de números reales es conmutativa:

∀x ∈ R ∀y ∈ R (x + y = y + x).

Axioma 2.3 La suma de números reales es asociativa:

∀x ∈ R ∀y ∈ R ∀z ∈ R (x + (y + z) = (x + y ) + z).

Axioma 2.4 El cero es un número real y es neutro de la suma de números

reales:
(0 ∈ R ∧ ∀x ∈ R (x + 0 = x)).

Axioma 2.5 Todo número real tiene un inverso aditivo real:

∀x ∈ R ∃y ∈ R (x + y = 0).

Axioma 2.6 R es cerrado bajo el producto:

∀x ∈ R ∀y ∈ R (x · y ∈ R).

Axioma 2.7 El producto de números reales es conmutativo:

∀x ∈ R ∀y ∈ R (x · y = y · x).
2.2. Operaciones Básicas en los Números Reales: Suma y Producto 43

Axioma 2.8 El producto de números reales es asociativo:

∀x ∈ R ∀y ∈ R ∀z ∈ R (x · (y · z) = (x · y) · z).

Axioma 2.9 El uno es un número real diferente de cero y es neutro del pro-
ducto de números reales:

(1 ∈ R ∧ 1 6= 0 ∧ ∀x ∈ R (x · 1 = x)).

Axioma 2.10 Todo número real diferente de cero tiene un inverso multiplica-
tivo real:
∀x ∈ R (x 6= 0 → ∃y ∈ R (x · y = 1)).

Axioma 2.11 El producto de números reales es distributivo sobre la suma de

números reales:

∀x ∈ R ∀y ∈ R ∀z ∈ R (x · (y + z) = x · y + x · z).

Para expresar axiomas o proposiciones podemos omitir el cuantificador ∀x ∈ R cuan-

do no se preste a confusiones. Así, por ejemplo, la conmutatividad de la suma se puede
expresar simplemente por:

x + y = y + x.

Como ejemplo de propiedades que se pueden demostrar a partir de estos axiomas

tenemos el siguiente:

Teorema

Teorema 2.1 Las siguientes propiedades se cumplen en R:

(I) Cancelación de la suma:

(x + z = y + z → x = y).

(II) Cancelación del producto:

((x · z = y · z ∧ z 6= 0) → x = y).
44 Capítulo 2. Los Números Reales

(III) El producto de un número real por cero es cero:

x · 0 = 0.
(IV) No existen divisores de cero:
(x · y = 0 → (x = 0 ∨ y = 0)).
(V) El neutro aditivo es único:
(∀y ∈ R (x + y = y) → x = 0).
(VI) El neutro multiplicativo es único:
(∀y ∈ R (x · y = y) → x = 1).
(VII) El inverso aditivo es único:
((x + y = 0 ∧ x + z = 0) → y = z).
(VIII) El inverso multiplicativo es único:
((x · y = 1 ∧ x · z = 1) → y = z).

Demostración
Demostraremos Teorema 2.1 (I) dejando el resto al lector.
Sean x, y, z ∈ R y supongamos que x + z = y + z. Por Axioma 2.5, existe z 0 ∈ R tal
que z + z 0 = 0, entonces, (x + z) + z 0 = (y + z) + z 0 y por Axioma 2.3, x + (z + z 0 ) = y + (z + z 0 ),
pero como z + z 0 = 0, tenemos que x + 0 = y + 0 y por Axioma 2.4 x = y . 

En base a estas propiedades y a los conceptos primitivos se pueden definir nuevos

conceptos:

Definición

Definición 2.1 Inverso aditivo

El inverso aditivo de un número real es aquel número real que sumado con él
da cero:
∀x ∈ R ∀y ∈ R (−x = y ↔ x + y = 0).
Esta definición es correcta dado que hemos establecido la unicidad del inverso
aditivo en Teorema 2.1 (VII).
2.2. Operaciones Básicas en los Números Reales: Suma y Producto 45

Definición 2.2 Resta

∀x ∈ R ∀y ∈ R (x − y = x + (−y)).
Es decir, restar es sumar el inverso aditivo.

Definición 2.3 Inverso multiplicativo

 1 
∀x ∈ R ∀y ∈ R x 6= 0 → =y ↔ x ·y =1 .
x
Esta definición es correcta por Teorema 2.1 (VIII).

Definición 2.4 División

 x  1 
∀x ∈ R ∀y ∈ R y 6= 0 → = x · .
y y
Es decir, dividir es multiplicar por el inverso multiplicativo.

Definición 2.5 Cuadrado

∀x ∈ R (x 2 = x · x).

En estas definiciones también se pueden omitir los cuantificadores cuando no se pres-

te a confusión. Por ejemplo la Definición 2.3 puede expresarse simplemente por:

1 
x 6= 0 → =y ↔ x ·y =1 .
x
Como ejemplos de propiedades de los nuevos conceptos que se pueden demostrar,
tenemos:

Teorema

Teorema 2.2 Sean x, y ∈ R. Entonces:

(I) −(x + y) = (−x) + (−y).

(II) (−1) x = −x.
(III) (x 2 = 0 → x = 0).
46 Capítulo 2. Los Números Reales

(IV) (x + y)2 = x 2 + 2x · y + y 2 .

Demostración

Demostraremos Teorema 2.2 (I) dejando el resto al lector. Sean x, y ∈ R. Por Defini-
ción 2.3, basta probar que
(x + y ) + ((−x) + (−y)) = 0 .

(x + y) + ((−x) + (−y)) = (x + (−x)) + (y + (−y)), por Axioma 2.2 y 2.3

= 0 + 0, por Definición 2.3.
= 0, por Axioma 2.4. 

Orden de los Números Reales 2.3

Las siguientes son verdades evidentes que describen las propiedades básicas de la
relación menor que en los números reales. Toda otra propiedad del orden se puede
demostrar a partir de éstas.

Axioma de Orden

Axioma 2.12 El orden de los números reales es lineal:

∀x ∈ R ∀y ∈ R (x 6= y → (x < y ∨ y < x)).

Axioma 2.13 El orden de los números reales es asimétrico:

∀x ∈ R ∀y ∈ R (x < y → ¬(y < x)).

Axioma 2.14 El orden de los números reales es transitivo:

∀x ∈ R ∀y ∈ R ∀z ∈ R ((x < y ∧ y < z) → x < z).

Axioma 2.15 El orden de los números reales se preserva al sumar un núme-

ro real:
∀x ∈ R ∀y ∈ R ∀z ∈ R (x < y → x + z < y + z).
2.3. Orden de los Números Reales 47

Axioma 2.16 El orden de los números reales se preserva al multiplicar por

un número real positivo:

∀x ∈ R ∀y ∈ R ∀z ∈ R ((x < y ∧ 0 < z) → x · z < y · z).

Con estos axiomas se pueden definir los conceptos de mayor, mayor o igual, menor
o igual, positivo y negativo para números reales.

Definición

Definición 2.6 Relaciones de Orden en R

Sean x, y ∈ R, entonces:

(I) (x > y ↔ y < x),

( x es mayor que y).
(II) (x ≥ y ↔ (x > y ∨ x = y )),
( x es mayor o igual que y).
(III) (x ≤ y ↔ (x < y ∨ x = y)),
( x es menor o igual que y).
(IV) (x es positivo ↔ x > 0).
(V) (x es negativo ↔ x < 0).

Como ejemplos de propiedades que se puede demostrar a partir de los axiomas te-
nemos:

Teorema

Teorema 2.3 Sean x, y, z ∈ R, entonces:

(I) ¬ (x < x).

(II) (¬ (x < y) ↔ x ≥ y).
(III) (x > 0 ↔ (−x) < 0).
(IV) ((x > 0 ∧ y > 0) → x + y > 0).
(V) ((x < y ∧ z < u) → x + z < y + u).
48 Capítulo 2. Los Números Reales

(VI) (x > y ↔ x − y > 0).

(VII) ((x > 0 ∧ y > 0) → x · y > 0).
(VIII) 1 > 0.
 1 
(IX) x > 0 → > 0 .
x
2
(X) x ≥ 0.
(XI) ((x < y ∧ z < 0) → x · z > y · z).
 1 1
(XII) (x > 0 ∧ x < y) → > .
x y
 x +y 
(XIII) x < y → x < <y .
2
(XIV) x − 1 < x < x + 1.

Demostración

Probaremos (I), (II), (III) y (IV) dejando el resto al lector:

(i) Sea x ∈ R y supongamos x < x. Entonces por Axioma 2.12, ¬ (x < x) lo cuál es
una contradicción. Luego ¬ (x < x).

(ii) Demostraremos en primer lugar que ¬ (x < y) → x ≥ y.

Supongamos ¬ (x < y ), entonces por Axioma 2.12 tenemos dos casos a considerar

• Si x 6= y, se tiene que y < x

y por Definición 1, x > y , luego x ≥ y.
• Si x = y, es inmediato que x ≥ y.

Para el recíproco queremos demostrar que x ≥ y → ¬(x < y).

Entonces supongamos que x ≥ y entonces x = y ∨ x > y. Si x = y , por (I)
sabemos que ¬(x < y). Si x > y, por Definición 1tenemos que y < x y por
Axioma 2.15 ¬(x < y).

(iii) Para la implicación de izquierda a derecha, supongamos que x > 0. Por Defini-
ción 1, 0 < x y por (O4), 0 + (−x) < x + (−x), de donde se obtiene que (−x) < 0.
Para la implicación recíproca, supongamos (−x) < 0, por Axioma 2.15 tenemos que
(−x) + x < 0 + x, es decir, 0 < x y por Definición 1 x > 0.
2.3. Orden de los Números Reales 49

viii) Supongamos que ¬ (1 > 0). Por Definición 2, ¬ (0 < 1) y por la parte (II) de este
teorema, 0 ≥ 1. Como 0 6= 1 por Axioma 2.15 tenemos que 0 > 1, entonces por la
parte (VI) de este teorema, 0 − 1 > 0, es decir, −1 > 0.
Como 0 > 1 y −1 > 0 aplicando (O5) se obtiene 0(−1) > 1(−1), luego 0 > −1. Por
lo tanto −1 > 0 ∧ 0 > −1, es decir −1 < 0 ∧ 0 < −1, y por (O3), −1 < −1 lo cual
contradice la parte (I) de este teorema.
Podemos concluir que la suposición inicial es falsa, es decir que 1 > 0.

En base al orden de los números reales se puede definir el valor absoluto:

Definición

Definición 2.7 Valor Absoluto

Para x ∈ R, definimos:

 x si x ≥ 0,
|x| =
 −x si x < 0.

(|x| es el valor absoluto de x).

Por ejemplo, |5| = 5 y | − 7| = −(−7) = 7.
Las principales propiedades del valor absoluto vienen dadas por:

Teorema

Teorema 2.4 Sean x, y ∈ R, entonces:

(I) |x| ≥ 0.
(II) |x| ≥ x.
(III) (|x| = 0 ↔ x = 0).
(IV) (y > 0 → (|x| = y ↔ (x = y ∨ x = −y))).
(V) (y > 0 → (|x| < y ↔ (−y < x < y))).
50 Capítulo 2. Los Números Reales

(VI) (y > 0 → (|x| > y ↔ (x > y ∨ x < −y))).

(VII) (y > 0 → (|x| ≤ y ↔ (−y ≤ x ≤ y))).
(VIII) (y > 0 → (|x| ≥ y ↔ (x ≥ y ∨ x ≤ −y))).
(IX) |x · y| = |x| · |y|.
 x |x| 
(X) y 6= 0 → | | = .
y |y |
(XI) | − x| = |x|.
(XII) −|x| ≤ x ≤ |x|.
(XIII) |x + y| ≤ |x| + |y|.
(XIV) ||x| − |y|| ≤ |x − y|.

Demostración

Demostraremos (I), (V), (XII), (XIII) y (XIV) dejando el resto al lector.

(i) Sea x ∈ R, entonces (x ≥ 0 ∨ x < 0).

Si x ≥ 0, |x| = x ≥ 0 y si x < 0, |x| = −x ≥ 0,
luego |x| ≥ 0.

(v) Sea y > 0 y x ∈ R, entonces

|x| < y ↔ ((x ≥ 0 ∧ x < y) ∨ (x < 0 ∧ −x < y))

↔ ((x ≥ 0 ∧ x < y) ∨ (x < 0 ∧ x > −y))
↔ (0 ≤ x < y ∨ −y < x < 0).

Demostraremos que

((0 ≤ x < y ∨ −y < x < 0) ↔ (−y < x < y)).

Para la implicación de izquierda a derecha, suponemos

((0 ≤ x < y) ∨ (−y < x < 0)).

• Si 0 ≤ x < y, como por hipótesis y > 0, entonces −y < 0 , luego −y < 0 ≤

x < y, de donde se obtiene −y < x < y.
• Si −y < x < 0, como y > 0, tenemos −y < x < 0 < y, de donde se obtiene
−y < x < y.
2.3. Orden de los Números Reales 51

Para la implicación de derecha a izquierda, supongamos −y < x < y.

Si x ≥ 0, entonces 0 ≤ x < y.
Si x < 0, entonces −y < x < 0.
Como (x ≥ 0 ∨ x < 0), tenemos ((0 ≤ x < y) ∨ (−y < x < 0)).

(xii) Sea x ∈ R, entonces (x ≥ 0 ∨ x < 0).

Si x ≥ 0, entonces |x| = x y como −x ≤ 0,
−|x| = −x ≤ 0 ≤ x = |x|, luego −|x| ≤ x ≤ |x|.
Si x < 0, entonces |x| = −x y como −x > 0,
−|x| = − − x = x < 0 < −x = |x|, luego −|x| ≤ x ≤ |x|.
En ambos casos hemos obtenido la conclusión deseada.

(xiii) Como x ≤ |x| y y ≤ |y| tenemos x + y ≤ |x| + |y|.

Por otro lado, x ≥ −|x| y y ≥ −|y| de donde x + y ≥ −(|x| + |y|).
Tenemos entonces −(|x|+|y|) ≤ x+y ≤ (|x|+|y|) y como |x|+|y| ≥ 0, por (VII)obtenemos
|x + y| ≤ |x| + |y|.

(xiv) Como x = x − y + y, tenemos que |x| = |x − y + y| ≤ |x − y | + |y | de donde

|x| − |y | ≤ |x − y|.
Además |y| = |y − x + x| ≤ |y − x| + |x| por (XIII).
Luego |y| − |x| ≤ |y − x|.
Por lo tanto |x| − |y| ≥ −|y − x| = −|x − y| por (XI).
Luego −|x − y| ≤ |x| − |y | ≤ |x − y| y utilizando (VII)
se obtiene que ||x| − |y|| ≤ |x − y|.


52 Capítulo 2. Los Números Reales

Conjuntos de Números Reales 2.4

Las siguientes son verdades evidentes que describen las propiedades básicas de los
conjuntos de números reales. En base a éstas se pueden definir los conjuntos numéricos
más comunes y demostrar sus propiedades.

Axioma de conjuntos de números reales

Axioma 2.17 Dos conjuntos de números reales con los mismos elementos,
son iguales:

∀x ∈ R(x ∈ A ↔ x ∈ B) → A = B.

Axioma 2.18 Dada una propiedad, existe el conjunto de los números reales
que la satisfacen:
∃A ∈ P(R) ∀x ∈ R(x ∈ A ↔ α(x)).
Este conjunto es único por Axioma 2.17 y se denota por
{x ∈ R : α(x)}.

A partir de los axiomas anteriores podemos definir los conjuntos de números reales
más conocidos:

Definición

Definición 2.8 Conjunto vacío

φ = {x ∈ R : x 6= x},

Definición 2.9 Conjunto de los reales positivos

R+ = {x ∈ R : x > 0},

Definición 2.10 Conjunto de los reales negativos

R− = {x ∈ R : x < 0},
2.4. Conjuntos de Números Reales 53

Definición 2.11 Singleton de a

{a} = {x ∈ R : x = a},

Definición 2.12 Par de números reales a y b)

{a, b} = {x ∈ R : (x = a ∨ x = b)},

Definición 2.13 Trío de números reales a, b y c

{a, b, c} = {x ∈ R : (x = a ∨ x = b ∨ x = c)},

Definición 2.14 Intervalo cerrado de extremos a y b

[a, b] = {x ∈ R : a ≤ x ≤ b},

Definición 2.15 Intervalo abierto de extremos a y b

]a, b[= {x ∈ R : a < x < b},

Definición 2.16 Intervalo, de extremos a y b, cerrado en a y abierto en b

[a, b[= {x ∈ R : a ≤ x < b},

Definición 2.17 Intervalo, de extremos a y b, abierto en a y cerrado en b

]a, b] = {x ∈ R : a < x ≤ b},

Definición 2.18 Intervalo infinito por la izquierda, de extremo b y abierto en b

] − ∞, b[= {x ∈ R : x < b},

Definición 2.19 Intervalo infinito por la izquierda, de extremo b y cerrado en b

] − ∞, b] = {x ∈ R : x ≤ b},

Definición 2.20 Intervalo infinito por laderecha, de extremo a y abierto en a

]a, ∞[= {x ∈ R : a < x},

Definición 2.21 Intervalo infinito por la derecha, de extremo a y cerrado en a

[a, ∞[= {∈ R : a ≤ x},

] − ∞, ∞[ se usa también para denotar el conjunto R.

54 Capítulo 2. Los Números Reales

También podemos definir las relaciones y operaciones básicas de conjuntos. Si A y B

son conjuntos de números reales entonces:

Definición

Definición 2.22 A es subconjunto de B

A ⊆ B ↔ ∀x ∈ R (x ∈ A → x ∈ B),

Definición 2.23 A unión B

A ∪ B = {x ∈ R : (x ∈ A ∨ x ∈ B)},

Definición 2.24 A intersección B

A ∩ B = {x ∈ R : (x ∈ A ∧ x ∈ B)},

Definición 2.25 A menos B

A − B = {x ∈ R : (x ∈ A ∧ x 6∈ B)},

Ejemplos

Ejemplo 2.1

R = R+ ∪ {0} ∪ R− .

Ejemplo 2.2

R − [a, b] = ] − ∞, a[ ∪ ]b, ∞[.

Ejemplo 2.3

[−2, 1] ∩ ]0, 15] =]0, 1].

Ejemplo 2.4

[−2, 0] ⊆ [−2, 1] ⊆ ] − ∞, 1].

2.4. Conjuntos de Números Reales 55

Ejemplo 2.5

R − {2} =] − ∞, 2[ ∪ ]2, ∞[.

Ejemplo 2.6
 
[1, 3[ ∪ ]4, 6] ∩ ]2, 5[=]2, 3[ ∪ ]4, 5[.

Definimos provisoriamente el conjunto de los números naturales por:

Definición

Definición 2.26 Conjunto de los números naturales

N = {x ∈ R : x = 1 + 1 + · · · + 1},

Esta definición será reemplazada en el capítulo 5 por otra que no contenga puntos
suspensivos y en base a la cual demostraremos las propiedades de los números natura-
les. Por ahora podemos decir que en N se puede sumar y multiplicar; pero no se puede
restar ni dividir. A partir de N se puede definir el conjunto de los números enteros:

Definición

Definición 2.27 Conjunto de los números enteros

Z = {x ∈ R : (x ∈ N ∨ x = 0 ∨ (−x) ∈ N)} ,

Las propiedades de los números enteros se basan en las propiedades de los núme-
ros naturales. En todo caso, podemos decir que en Z se puede sumar, restar y multiplicar
pero no se puede dividir. A partir de los enteros pueden ser definidos los números racio-
nales:

Definición

Definición 2.28 Conjunto de los números racionales

n  p o
Q = x ∈ R : ∃p ∈ Z ∃q ∈ N x =
q
56 Capítulo 2. Los Números Reales

Las propiedades de los números racionales dependen de las propiedades de los na-
turales y de los enteros. En todo caso, podemos decir que en Q se pueden efectuar las
cuatro operaciones.
p 2p
Podemos observar que si x = , también x = y que por lo tanto, p y q no
q 2q
son únicos; pero pueden ser elegidos primos relativos, es decir, sin factores comunes
diferentes de 1.
También se pueden definir los conjuntos de enteros y racionales positivos y negativos:

Definición

Definición 2.29 Conjunto de Racionales Positivos

Q+ = Q ∩ R+ .

Definición 2.30 Conjunto de Racionales Negativos

Q− = Q ∩ R− .

Definición 2.31 Conjunto de Enteros Positivos

Z+ = Z ∩ R+ = N.

Definición 2.32 Conjunto de Enteros Negativos

Z− = Z ∩ R− .

Completud de los Números Reales 2.5

Hasta ahora tenemos como propiedades básicas de los números reales los los axio-
mas de cuerpo ordenado.
Como hemos visto, los números racionales también satisfacen estos axiomas aunque
no constituyen todos los puntos de la recta numérica.
El axioma que garantiza que a todo punto de la recta le corresponde un número real,
se llama Axioma del supremo y en base a él se puede demostrar la existencia de las
raíces cuadradas de los números
√ reales positivos. Esta última propiedad no es cierta en
Q pues como hemos visto, 2 6∈ Q.
2.5. Completud de los Números Reales 57

El axioma del supremo será desarrollado en el capítulo 10 y por el momento adopta-

remos el siguiente axioma provisorio que nos permitirá trabajar con raíces:

Axioma

Axioma 2.19 Todo número real positivo es un cuadrado:

∀x ∈ R+ ∃!y ∈ R+ (y 2 = x).

Definimos la raíz cuadrada de un número mayor o igual que cero por:

Definición

Definición 2.33 Raiz cuadrada de 0

√
0 = 0.

Definición 2.34 Raíz cuadrada positiva

√
∀x ∈ R+ ( x = y ↔ y ∈ R+ ∧ y 2 = x).

√
( x se llama raíz cuadrada positiva de x).

Del axioma provisorio 2.19 se obtiene que R 6= Q, lo que justifica la siguiente defini-
ción:

Definición

Definición 2.35 Conjunto de los números irracionales

Π = R − Q.
 Este capítulo fué tomado
del libro
"Álgebra e Introducción al
Cálculo"
Autora:Dra. Irene F. Mikenberg