EL CUERPO DE LOS NÚMEROS REALES

Lic. Vladimir Acori Flores

05 de Noviembre de 2018

Lic. Vladimir Acori Flores EL CUERPO DE LOS NÚMEROS REALES

Introducción

En esta sección nos interesan las propiedades de los de los números

reales y no la forma empleada para construirlos, por eso hablaremos
de ellos desde el punto de vista axiomático.
Supongamos que existe un conjunto no vacío R (conjunto de los
números reales), que satisfacen una serie de axiomas que
agruparemos en tres categorías:
1 axiomas de cuerpo,
2 axiomas de orden,
3 axioma del supremo (axioma de completitud o de continuidad)

Lic. Vladimir Acori Flores EL CUERPO DE LOS NÚMEROS REALES

Axiomas de cuerpo
En R denimos la operación interna
+:R×R→R (x, y) 7→ x + y
llamada "suma" que satisface los siguientes axiomas:
Axiomas para la suma
(a1) Asociativa: x + (y + z) = (x + y) + z ∀x, y, z ∈ R.
(a2) Conmutativa: x + y = y + x ∀x, y, z ∈ R.
(a3) Existencia de elemento neutro: ∃0 ∈ R tal que:

x + 0 = 0 + x = x, ∀x ∈ R.

(a4) Existencia de elemento opuesto: ∀x ∈ R, ∃(−x) ∈ R, llamado

elemento opuesto de x, tal que

x + (−x) = (−x) + x = 0, ∀x ∈ R.

Lic. Vladimir Acori Flores EL CUERPO DE LOS NÚMEROS REALES

Axiomas de cuerpo
En R denimos otra operación interna
·:R×R→R (x, y) 7→ x · y
llamada "producto" que satisface las siguientes axiomas:
Axiomas para el producto
(a5) Asociativa: x · (y · z) = (x · y) · z ∀x, y, z ∈ R.
(a6) Conmutativa: x · y = y · x ∀x, y, z ∈ R.
(a7) Existencia de elemento unidad (elemento neutro de la
multiplicación): ∃1 ∈ R, distinto de 0, tal que:

x · 1 = 1 · x = x, ∀x ∈ R.

(a8) Existencia de elemento inverso: ∀x 6= 0 ∈ R, ∃x−1 ∈ R,

llamado inverso de x, tal que

x · x−1 = x−1 · x = 1, ∀x ∈ R.

Lic. Vladimir Acori Flores EL CUERPO DE LOS NÚMEROS REALES

Axiomas de cuerpo

Propiedades
(a9) Distributiva del producto respecto a la suma:

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

Observaciones
1 El producto x · y lo representaremos por xy .
2 Al satisfacer (R, +) los axiomas (a1) − (a4) se dice que tiene
estructura de GRUPO CONMUTATIVO O ABELIANO.
3 Al satisfacer (R, +, ·) los axiomas (a1) − (a9) se dice que
tiene estructura de cuerpo CONMUTATIVO.
4 De los axiomas anteriores se pueden deducir todas las leyes
usuales del Álgebra elemental.

Lic. Vladimir Acori Flores EL CUERPO DE LOS NÚMEROS REALES

Leyes usuales del Álgebra elemental

Proposición
A partir de los axioma (a1) − (a9) se deducen las siguientes
propiedades de números reales:
1 a + b = a + c ⇒ b = c, ∀a, b, c ∈ R.
2 ∀a ∈ R se cumple que −(−a) = a.
3 El elemento 0 y 1 son únicos.
4 ∀x ∈ R se cumple que x · 0 = 0 · x = 0.
5 Para todo a, b, c ∈ R se cumple que ab = ac ⇒ b = c, a 6= 0.

Lic. Vladimir Acori Flores EL CUERPO DE LOS NÚMEROS REALES

Axiomas de orden

Este grupo de axiomas se reere a la ordenación de los números

reales.
Denición
Se dice que la relación binaria ≤ (menor o igual que) establece una
relación de orden en un conjunto S 6= ∅ si satisface las siguientes
propiedades:
1 Refexiva: x ≤ x, ∀x ∈ S .
2 Antisimétrica: x, y ∈ S , x ≤ y, y ≤ x ⇒ x = y .
3 Transitiva: x, y ∈ S , x ≤ y, y ≤ z ⇒ x ≤ z
Supondremos que el conjunto de los números reales R están
ordenados por la relación de orden ≤ que además cumple las
siguientes axiomas:

Lic. Vladimir Acori Flores EL CUERPO DE LOS NÚMEROS REALES

Axiomas de orden

Axiomas de orden
(a10) La relación de orden es total:

∀x, y ∈ R ⇒ x ≤ y ó y ≤ x.

(a11) La relación de orden es compatible con la suma:

∀x, y, z ∈ R ⇒ x ≤ y ⇒ x + z ≤ y + z.

(a12) La relación de orden es compatible con la multiplicación:

∀x, y, z ∈ R ⇒ x ≤ y, 0 ≤ z ⇒ xz ≤ yz.

Si x, y, ∈ R, x ≤ y y x 6= y , escribiremos x < y , (x menor que y ).

Lic. Vladimir Acori Flores EL CUERPO DE LOS NÚMEROS REALES

Axiomas de orden

Observaciones
1 De los axiomas de orden se pueden deducir todas las reglas
usuales del cálculo de desigualdades.
2 El conjunto (R, +, ·, ≤) cumpliendo las propiedades
(a1) − (a12) se dice que tiene estructura de cuerpo
conmutativo ordenado.
3 Todavía no podemos caracterizar de forma única el conjunto
de los números reales, nos falta el axioma del SUPREMO.

Lic. Vladimir Acori Flores EL CUERPO DE LOS NÚMEROS REALES

Axiomas de orden

Denición
1 Un número x se llama positivo si x>0.
2 Un número x se llama negativo si x<0.
3 Designaremos por R+ al conjunto de los números positivos y
por R− al conjunto de los números reales negativos.
4 Asimismo denimos

R+
0 = {x ∈ R : x ≥ 0} R−
0 = {x ∈ R : x ≤ 0}

Lic. Vladimir Acori Flores EL CUERPO DE LOS NÚMEROS REALES

Axiomas de orden

A partir de los axiomas (a1) − (a12) se deducen las siguientes

propiedades de los números reales:
Proposición
1 a ≤ b ⇔ a−1 ≥ b−1 .
2 a ≤ b, c ≤⇒ ac ≥ bc.
3 a2 > 0, ∀a ∈ R − {0}.
4 a ∈ R+ ⇔ a−1 ∈ R+ .
5 0 < a < b ⇒ a−1 > b−1 > 0.
6 0 < a < b, 0 < c < d ⇒ 0 < ac < bd.

El siguiente teorema, resulta de gran utilidad en muchas situaciones.

Teorema
Sean a, b ∈ R tales que a ≤ b +  para todo  > 0, entonces a ≤ b.

Lic. Vladimir Acori Flores EL CUERPO DE LOS NÚMEROS REALES

La Recta Real

Los números reales se representan geométricamente como puntos

de una recta (denominada recta real)

(a) Recta numérica real (b) Dirección positiva y neg-

ativa

La relación de orden admite una interpretación simple, si x < y el

punto x está a la izquierda del punto y . Los números positivos
están a la derecha del cero y los negativos a la izquierda. Si a < b
entonces a < x < b signica que x está entre a y b.

Lic. Vladimir Acori Flores EL CUERPO DE LOS NÚMEROS REALES

Intervalos en R
Denición
1 Se llama intervalo abierto de extremos a y b al conjunto
ha, bi = {x ∈ R : a < x < b}.
2 Se llama intervalo cerrado de extremos a y b al conjunto
[a, b] = {x ∈ R : a ≤ x ≤ b}.
3 Análogamente se denen los intervalos semiabiertos o
semicerrados

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

4 También podemos denir intervalos innitos

h−∞, b] = {x ∈ R : x ≤ b}
h−∞, bi = {x ∈ R : x < b}
[a, +∞i = {x ∈ R : x ≥ a}
ha, +∞i = {x ∈ R : x > a}
Lic. Vladimir Acori Flores EL CUERPO DE LOS NÚMEROS REALES
Axioma del Supremo

Denición
Sea ∅ =
6 A ⊂ R, α ∈ R, decimos que el elemento α es una cota
superior del conjunto A, si satisface

x ≤ α, ∀x ∈ A.

Análogamente, diremos que β ∈ R es una cota inferior del conjunto

A ⊂ R, si se cumple que

β ≤ x, ∀x ∈ A.

Cuando el conjunto A tiene alguna cota superior se dice que el

conjunto A está acotado superiormente, y si existe alguna cota
inferior, entonces decimos que A está acotado inferiormente.
El conjunto A ⊂ R se dice que está acotado si lo está superior e
inferiormente.
Lic. Vladimir Acori Flores EL CUERPO DE LOS NÚMEROS REALES
Supremo e ínmo de un conjunto

Denición
Sea A 6= ∅, A ⊂ R. Si el conjunto A está acotado superiormente,
se le llama supremo del conjunto A, a la menor cota superior de A
y se denota por sup (A).
De igual forma, si A 6= ∅, A ⊂ R, está acotado inferiormente, se
llama ínmo del conjunto A, a la mayor cota inferior de A y se
denota por inf (A).

Lic. Vladimir Acori Flores EL CUERPO DE LOS NÚMEROS REALES

Máximo y mínimo de un conjunto

Teorema
Sea A 6= ∅, A ⊂ R y α, β ∈ R. Entonces se cumple que:
 = sup (A) ⇔
α
1

1) x ≤ α, ∀x ∈ A
2) ∀ > 0, ∃x = x() ∈ A : α −  < x ≤ α.
2 β = inf (A) ⇔

1) β ≤ x, ∀x ∈ A
2) ∀ > 0, ∃x = x() ∈ A : β ≤ x < β + .

Denición
Si para un conjunto A, se tiene que sup (A) ∈ A, entonces el
supremo de A se llama máximo de A.
Y si el inf (A) ∈ A, entonces el ínmo de A se llama mínimo de A.

Lic. Vladimir Acori Flores EL CUERPO DE LOS NÚMEROS REALES

Axioma del Supremo
El axioma del supremo, junto con los axiomas (a1) − (a12), permite
caracterizar de forma única al conjunto de los números reales.
Axioma del Supremo
(a13)Todo conjunto de números reales, no vacío y acotado
superiormente, tiene supremo.

Observaciones
1 Como consecuencia del axioma del supremo se deduce también
que todo conjunto de números reales, no vacío y acotado
inferiormente, tiene ínmo.
2 El axioma del supremo también se conoce como axioma de
completitud o de continuidad porque garantiza que los
números reales "llenan" la recta. Además nos permite
distinguir entre Q y R, porque Q no satisface el axioma del
supremo.
Lic. Vladimir Acori Flores EL CUERPO DE LOS NÚMEROS REALES