Benemrita Universidad Autnoma de Puebla

Facultad de ciencias Fsico Matemticas

Nmeros reales
Oscar Tepoz Lpez
Ao: 2011

Introduccin
En Matemticas, los nmeros reales son los que abarcan a
los nmeros racionales (que pueden representarse como el
cociente de dos enteros con denominados diferente de
cero) y los nmeros irracionales, que no se pueden
expresar de manera fraccionaria y tienen infinitas cifras
decimales no peridicas, tales como2, .
Pueden ser descritos de varias formas, algunas simples
aunque carentes del rigor necesario para los propsitos
formales de matemticas y otras ms complejas pero con
el rigor necesario para el trabajo matemtico formal. El
concepto de nmeros reales surgi a partir de la utilizacin
de fracciones comunes por parte de los egipcios, cerca del
ao 1,000 a. C. El conjunto de los nmeros reales es
representado con la letra:

Historia
Los primeros nmeros en aparecer en la

historia fueron los nmeros que van del

1,2,3,... etc. y por esta razn son conocidos
como los nmeros naturales. El primer
registro que se obtiene sobre la utilizacin del
cero fue en el ao 36 a.C. por la civilizacin
Maya.

Los egipcios utilizaron por primera vez las

fracciones comunes alrededor del ao 1000 a.

C.; alrededor del 500 a. C. el grupo de
matemticos griegos liderados por Pitgoras
se dio cuenta de la necesidad de los nmeros
irracionales. Los nmeros negativos fueron
ideados por matemticos indios cerca del 600,
posiblemente reinventados en China poco
despus.

La nocin de numero y contar ha acompaado a la

humanidad desde la prehistoria. Como todo

conocimiento desarrollado por el hombre primitivo,
la causa para que el ser humano emprendiera sus
pasos en el contar y plasmar cantidades surgi
fundamentalmente de la necesidad de adaptarse
al medio ambiente, proteger sus bienes y
distinguir los ciclos de la naturaleza pues ya
perciban y observaban con cuidado los ritmos que
esta posee y su fina relacin con las oportunidades
de alimentacin y, en general, con la conservacin
de la vida, entre otros.

La razn para que actualmente se utilice un sistema

decimal, se deriva principalmente de que ser humano

necesito hacer una representacin simblica del conteo con
su propio cuerpo, y para ello se vali bsicamente de los 10
dedos de las manos y aunque este no fue el nico sistema
utilizado por la humanidad s fue el mas difundido.
A medida que el saber humano fue evolucionando, La
civilizacin egipcia fue una de las primeras en desarrollar el
trabajo con las matemticas le fue urgente el comenzar a
representar las cantidades en forma de dibujos, para seguir
en forma precisa los ciclos de la naturaleza, dejar mensajes
a sus semejantes o para seguir con la contabilizacin de
sus posesiones que rebasaban la cantidad de 10.

Campo de los nmeros reales

En lgebra abstracta, un campo es una estructura algebraica
en la cual las
operaciones de adicin y multiplicacin se pueden realizar y
cumplen con ciertas propiedades conocidas como axiomas. Los
cuerpos son objetos importantes de estudio en lgebra puesto
que proporcionan la generalizacin apropiada de dominios de
nmeros tales como los conjuntos de nmeros racionales, de
los nmeros reales,
o de los nmeros complejos.
Tambin se distingue el campo del orden, ya que en este
presenta un concepto muy importante, que es la ley de
tricotoma, la cual nos dice que a, b
solo cumplen una
de las siguientes afirmaciones: a > b, a < b,
a = b.

Relacin de igualdad
Existe una relacin que presenta los nmeros reales
que son conocidas como relaciones de igualdad y
estas son de utilidad para la demostracin de algunos
teoremas, estas relaciones dicen:
Sean a, b, c
a) Si a = b, entonces b = a
b) Si a = b, y b = c, entonces a = c
c) si a + c denota al numero real que resulta de
sumar a y c, y ac denota al numero real que
resulta de multiplicar a y c, entonces a = b implicar
que
a + c = b + c y que ac = bc

Axiomas
En matemticas, un axioma es una premisa que, por
considerarse evidente, se acepta sin demostracin, como
punto de partida para demostrar otras frmulas.
Tradicionalmente, los axiomas se eligen de entre las
consideradas verdades evidentes porque permiten
deducir las dems formulas.
En lgica matemtica, un postulado es un proposicin, no
necesariamente evidente: una frmula bien formada de un
lenguaje formal utilizada en una deduccin para llegar a una
conclusin.
En el campo de los nmeros reales son seis los principales
axiomas que se toman, y a travs de su uso y postulacin,
permiten el desarrollo de los teoremas que estructuran una
parte de las matemticas.

Los seis axiomas son:

Axioma 1. Si a, b

, entonces a + b, ab

(Ley de cerradura para la suma y el producto)

Axioma 2. Si a, b

entonces a+b = b+a y ab = ba

(Ley de conmutatividad)

Axioma 3. Si a, b, c R entonces a(b+c) = (a+b)+c y a(bc) =

(ab)c
(Ley de asociatividad)

Axioma 4. Si a, b, c

entonces a(b + c) = ab + ac

(Ley de distributividad)

Axioma 5. Existen 0, 1
, con 0 = 1, tales que: si a R,
entonces a+0 = a y a1 = a
(0 se llamar Neutro aditivo y 1 se llamar Neutro multiplicativo)

Axioma 6. Si a
, existe a1
tal que a + a1 = 0 y si a
con a =
0, entonces existe a2
tal que a a2 = 1
(Existencia de los inversos)

Teoremas y corolarios
Un teorema es una afirmacin que puede ser
demostrada dentro de un sistema formal. Un
teorema generalmente posee un numero de
premisas que deben ser enumeradas o aclaradas
de antemano. Luego existe una conclusin, una
afirmacin matemtica, la cual es verdadera bajo
las condiciones dadas.
Se llamar corolario a una afirmacin lgica que
sea consecuencia inmediata de un teorema,
pudiendo ser demostrada usando las propiedades
del teorema previamente demostrado.

Teorema I
i) Si a, b, c
ii) Si a, b, c

y a + c = b + c, entonces a=b
, c 0 y ac = bc, entonces a=b

Demostracin:
i) Sea c1
tal que c + c1 = 0
axioma 6)

(Esto por el

Entonces

a+c=b+c
(a + c) + c1 = (b + c) + c1
a + (c + c1) = b + (c + c1)
a+0=b+0
a=b

(Propiedad de la igualdad)
(Por axioma 3)
(Por axioma 6)
(Por axioma 5)

ii) Si a, b, c , c0 ac = bc, entonces a=b

si c0, el axioma seis garantiza la existencia
de un nmero real c2 tal que cc2 = 1. Por lo
tanto:
ac = bc
(ac)c2 = (bc)c2
(Propiedad de la
igualdad)
a(cc2) = (bc)c2)
(Por axioma 3)

a1=b1
(Por axioma 6)

a=b
(Por axioma 5)

Teorema II
Si a , entonces a 0 = 0
Demostracin.

a 0 = a(0 + 0)
(Por
axioma 5)

a 0 = a 0 + a 0 ^ a 0+0 = a0 (Por
axioma 4 y 5)
a0+0=a0+a0
(Por
transitividad)
a0+0=0
(Ley de cancelacin:
teorema I)

Teorema III
i) a, b
ii) a, b

, x
nico tal que a + x = b
, a = 0, x
nico tal que a x = b

Demostracin:
i) Por el axioma seis a1 : a+a1 = 0 entonces si x0 = b+a1
tenemos que:
a + x0 = a + b + a 1
(Sustituyendo x = b + a1)
a + x0 = a + a1 + b
(Por axioma 2)
a + x0 = 0 + b
(Por axioma 6)
a + x0 = b
(Por axioma 5)
Para este momento ya se demostr que existe, pero falta demostrar que es
nico:
Supongamos que existe x1
tal que a + x0 = a + x1 por el Teorema I
tenemos que x0 = x1

ii) Por el axioma seis a1 : a a1 = 1 entonces

si
x0 = b a1 tenemos que:
a x0 = a(b a1)
(Sustituyendo x0 = b a1)
a x0 = (a a1)b
(Por axioma 2)
a x0 = 1b
(Por axioma 6)
a + x0 = b
(Por axioma 5)
En este momento ya se demostr que existe, pero
falta demostrar que es nico:
Supongamos que existe x1 R tal que a x1 = b
entonces
a xo = a x1 por el Teorema I
tenemos que x0 = x1

Teorema IV
i) Para cada a , existe un nico a1
tal que a + a1 = 0
ii) Para cada a , existe un nico a1
tal que a a1 = 1
Demostracin:
i) Como a1
cumple con la ecuacin a + x = 0 y por el
Teorema I a1 es nico.
ii) Como a y a0, entonces existe un a1 que cumple
con
a x = 1 entonces por el Teorema 2.3.1 a1 es
nico.
Como el inverso aditivo de a es nico, lo denotamos como
a y el inverso multiplicativo de a {0} le llamamos a o
1/a . As ab = a+(b) y a/b = ab para cada b0

Teorema V
i) Para todo a , (a) = a
ii) Para todo a {0}, (a) = a
Demostracin:
i) Como a + (a) = 0 y (a) (a) = (a) + (
(a)) = 0,
entonces al igualarlas se obtiene que
a + (a) = (a) + ((a)) por el Teorema I a =
(a)
ii) Si a0, el nmero real (a) satisface la relacin
ax = 1 y tambin el nmero real a satisface la
misma relacin. Por lo tanto, por el Teorema IV, a =
(a).

Teorema VI
Sean a, b, c
entonces
i) (a + b) = (a) + (b)
ii) (ab) = (a)b = a(b)
iii) Si a0, b0 entonces ab0 y (ab) = ab
Demostracin:
i)(a + b) + [(a) + (b)] = a + b + [(a) + (b)] (Por axioma 2)
(a + b) + [(a) + (b)] = a +b + [(b) + (a)] (Por axioma 3)
(a + b) + [(a) + (b)] = a + ([b + (b)] + (a)) (Por axioma 2)
Por lo tanto
(a + b) + [(a) + (b)] = a + (0 + (a)) (Por axioma 5)
(a + b) + [(a) + (b)] = a + (a)
(a + b) + [(a) + (b)] = 0
Entonces [(a) + (b)] es inverso aditivo de (a + b) y por unicidad resulta
que (a + b) = (a) + (b).

ii) (ab) + (a)b = [a + (a)]b

(Por axioma 4)
(ab) + (a)b = (0)b
(Por axioma 5)
(ab) + (a)b = 0
(Por axioma 5)
Entonces (a)b satisface ab + x = 0 y por unicidad, (a)b = (ab)
(ab) + a(b) = [b + (b)]a
(Por axioma 4)
(ab) + (b)a = (0)a
(Por axioma 5)
(ab) + (b)a = 0
(Por axioma 5)
Entonces (b)a satisface ab + x = 0 y por unicidad, (b)a = (ab)
iii) Como (ab)(ab) = (a)(b)(a)(b) por el axioma seis
tenemos que(ab)(ab )= (a)(a)(b)(b) y por el Teorema IV
tenemos (1)(1) = 1
y como (ab)(ab) = 1 entonces (ab) = (ab)

Teorema VII
Si a, b, c, d con b0 y d0, entonces
i) a/b + c/d = (ad+bc)/bd
ii) a/b c/d = ac/bd
iii)( a/b)= a/b= b/a , si tambin a0
Demostracin:
i) a/b + cd= ab + cd
a/b + c/d = (ab)1 + (cd)1
a/b + c/d = (ab)(dd) + (cd)(bb )
a/b + c/d = a(b dd ) + c(d bb )
a/b + c/d = a(db d ) + c(bd b )
a/b + c/d = a(db d ) + c(bd b )

(Por definicin)
(Por axioma 5)
(Por inv. multiplicativo)
(Por axioma 2)
(Por axioma 3)
(Por axioma 3)

Por lo tanto
a/b + c/d = (ad)(b d ) + (cb)(d b )
(Por axioma 2)
a/b + c/d = (ad + bc)(b d )
(Por axioma 4)
a/b + c/d = (ad + bc)(bd)
(Por
Teorema VI)
a/b + c/d = (ad + bc)/bd
(Por
definicin)

ii) (a/b) (c/d) = (ab ) + (cd )

(a/b) (c/d) = (ab ) (cd )
(a/b) (c/d) = a[b (cd )]
(a/b) (c/d) = a[(b c)d ]
(a/b) (c/d) = a[(cb )d ]
(a/b) (c/d) = a[c(b d )]
(a/b) (c/d) = (ac)(b d )
(a/b) (c/d) = ac/bd

(Por definicin)
(Por definicin)
(Por axioma 2)
(Por axioma 4)
(Por axioma 3)
(Por axioma 2)
(Por Teorema VI)
(Por definicin)

iii) (a/b) = (ab )

definicin)
(a/b) = a (b )
Teorema VI)
(a/b) = a b
Teorema V)
(a/b) = ba
axioma 3)
(a/b) = b/a
definicin)

(Por
(Por
(Por
(Por
(Por

Teorema VIII
Sean a, b
tales que a > 0 y b > 0. Entonces: a = b si y slo si a = b
Demostracin.
) Si a > 0, b > 0 y a = b, entonces a = b As que sea a > 0, b > 0 y a2 = b2. Entonces a > 0, b
> 0 y a b = 0
a > 0, b > 0 y (a b)(a + b) = 0
(Por diferencia de cuadrados)
a > 0, b > 0 y ((a b) = 0 o (a + b) = 0
(a b = 0 a = 0 o b = 0)
a + b > b y b > 0 y ((a b) = 0 o (a + b) = 0
(Por axioma 5)
(a + b > 0 y a + b > 0 y ) o ((a b) > 0 y a b = 0)
a + b > 0 y a b = 0)
(Contradice la tricotoma la primera parte de la disyucin)
ab=0
a=b
) Si a > 0, b > 0 y a = b, entonces a 2 = b2. Sean a > 0, b > 0 y a = b.
Entonces a = b
aa = ab y ab = bb
(Propiedad de la igualdad)
aa = bb
(Propiedad de la igualdad)
a = b

(Por definicin)

Teorema IX
Si a > b, b > 0 y a2 = b, entonces a es el nico real con esta
propiedad
Demostracin:
Supongamos que existe c > 0 tal que c = b entonces c =
a.
Luego por el Teorema VIII a = c
Con la solucin de este Teorema se pueden dar las siguiente
definicin:
Definicin: Si a 0, b 0 y a = b entonces a es la raz
cuadrada de b y lo denotamos por a =b. Si a = b (a 0)
sabemos que a tambin cumple con (a) = b, le
llamamos la raz cuadrada negativa de b. Observemos que
no existe la raz de b si b < 0.

Teorema X
Si a, b 0 entonces ab = a b
Demostracin: Como ab cumple que (ab) =
ab (por la raz cuadrada de ab) entonces
(a b) = (a b)(a b) (Por definicin)
(a b) = a a b b (Por axioma 2 y 3)
(a b) = (a) (b) (Por definicin)

Campo ordenado de los nmeros

reales
Los nmeros reales no son slo un campo, son un
campo ordenado, esto quiere decir, que todos los
elementos de este conjunto poseen una relacin
entre los dems de mayor o menor que, y esto es lo
que se conoce como orden.
Axiomas
A diferencia de los axiomas de campo, los axiomas de
orden simplemente son cuatro, pero con ellos se
pueden demostrar todos los teoremas que
corresponden al orden que poseen los nmeros
reales

Axioma 1. Ley de Tricotoma Si a, b R, entonces una y slo

una de las siguientes proposiciones es verdadera:
i) a = b
ii) a < b
iii) a > b
Axioma 2. Si a, b, c R y a < b, b < c, entonces a < c
(Ley transitiva)
Axioma 3. Si a, b, c R y c > 0 y a < b, entonces ac < bc
(consistencia del producto respecto a la relacin de orden)
Axioma 4. Si a, b, c R y a < b, entonces a + c < b + c
(Consistencia de la suma respecto a la relacin de orden)

Definicin: + = {x |x > 0}
_= {x | x < 0}
+ se llamar el Conjunto de los reales positivos.
_ se llamar el Conjunto de los reales negativos
lo anterior demuestra que
+ y
_ y la
tricotoma demuestra que:
= + {0}
_
Si x < y o x = y, escribiremos x y o y x
De acuerdo a esta notacin:
Si x < y, entonces x y
Si x = y, entonces x y o x y
Pero si x y no necesariamente x < y y tambin si x y
no necesariamente

Teorema 1
Si a
se cumple
i) a > 0 a < 0
ii) a > 0 a > 0
Demostracin.
i} a > 0 a + (a) > 0 + (a)
axioma 4)
0 > a
teorema IV)
a < 0
ii) Supongamos que: a > 0 a 0
Si a > 0 a < 0 a a < 0 a
3)
1 < 0!
Si a > 0 a = 0 a a = 0 a
3)
1 = 0!
Entonces por 1 solo queda que a > 0 a > 0

(Por
(Por

(Por axioma

(Por axioma

Definicin
Sean x, y {0}. Entonces x y y tienen
signos iguales si
i) x, y + o
ii) x, y _
Pero en caso que:
i) x + y y _ o
ii) x _ y +
Se dir que x y y tienen signos contrarios o
distintos

Teorema 2
Si a,b , se cumple:
i) a < b b < a
ii) Si a y b tienen el mismo signo, entonces: a < b b < a
Demostracin.:
i)) a < b (a) + a < (a) + b

0 < (a) + b
b + 0 < ((a) + b) + (b)

b < a
)

b < a
b + b < a + b

(Por axioma 5)
(Por axioma 5)

(Por axioma

5)

0 < a + b
a + 0 < a + ((a) + b)
a<b

(Por axioma 5)

ii) ) Si a, b tienen el mismo signo y a<b, entonces ab

a<b
(ab)
+ya<b
teorema 1)
a b R+ y a < b
VI)
(a b )a < (a b )b

b < a

+y

(Por
(Por teorema
(Por consistencia del producto)

) Ahora si a, b tienen igual signo y b < a , entonces

a , b tienen el mismo signo y b < a (Por teorema 1)

(a ) < (b )

a<b

Teorema 3
Si a, b, c, d , se cumple:
i) Si a < b y c < d, entonces a + c < b + d
ii) Si 0 < a < b y 0 < c < d, entonces ac < bd
Demostracin:
i) Si a < b y c < d
a+c<b+cyb+c<d+b
4)
a+c<b+d
ii) 0 < a < b y 0 < c < d
ac < bc y bc < bd
ac < bd

(Por axioma

(Por axioma 3)
(Por transitividad)

Teorema 4
Si a,b +, entonces
a<ba<b
Demostracin:
) a < b a a < b b
(Por
teorema 3)
a < b
) Supongamos que a < b a b
a < b ^ (a > b a = b)
(a < b ^ a > b) (a < b ^ a = b)
(a < b ^ a > b) (a2 < b ^ a = b)
Pero por el axioma 1 ninguna de las condiciones que se puede cumplir,
as que solo queda:
a < b a < b

Teorema 5
Si b +, entonces
i) a < b b < a <b
ii) b < a b < a o b < a
Demostracin:
i) Caso 1: Sea a = 0 entonces claramente la proposicin se cumple ya que
0 < b y b < 0 < b
Caso 2: a < b, a < 0 y bR+
a < b = b b = (b)
a < b
(Por teorema 4)
Como a > 0 > b a > b Entonces a < b b < a < b
Caso 3: Si a < 0 a < b entonces como b > 0 y 0 > a se tiene que
a < 0 a > 0 (a) < b
(a) < (b)

a < b

a > b

ii) Caso 1: Si a = 0 la bicondicional es verdadera

porque
a > b es falsa y a >b a < b tambin es falsa
Caso 2: Si a > 0 a > b a > (b) a > b
(Por el teorema 4)
Caso 3: Si a < 0 entonces a > b (a) > (b)
a > b (Por el
teorema 4)
a < b (Por el
teorema 3)

Definicin
Dado x

, el valor absoluto de x, el cual

denotaremos como |x|, se define de la forma
siguiente:
|x| = 1.- x, x 0 (1)

2.- x, x < 0 (2)

De la definicin de |x| obtenemos
inmediatamente las siguiente propiedades
i) x , |x|
ii) x , |x| 0

Teorema 6
Si x

, entonces
i) x |x|
ii) x |x|
Demostracin:
i) Sea x

, entonces x 0 x < 0
Si x 0, entonces |x| = x, entonces x |x|
Si x < 0, entonces x > 0 y |x| 0 |x|x 0 |x| x, por lo
tanto
x
, x |x|
ii) Sea x

, entonces x 0 o x < 0
Si x 0, entonces x 0 |x| > 0 x < |x|
Si x < 0, entonces x > 0 |x| = x x |x|

Teorema 7
Si x , entonces |x| x |x|
Demostracin:
Ahora, si |x| = 0, entonces |x| x |x|
entonces
-0 x 0, entonces x = 0 y
como por definicin si
x = 0, entonces |x|
=0

Teorema 8
Sean a, c , entonces:
|a| c c a c
Demostracin:
Caso 1: c < 0. Entonces como a
|a| 0, se tiene que |a| c < 0 no se cumple, y
0 c a c < 0, luego 0 < a < 0 lo cual es falso. Por lo tanto si c < 0 la bicondicional
es verdadera.
Caso 2: c 0
) |a| 0 a 0 c 0 a
c a. Adems |a| = a c
c a c
Si |a| c a < 0 a = |a| c
c a Ademas a < 0 0 c entonces a < c
Luego c a c
) c a c a 0 |a| = a c |a| c
c a c a < 0 |a| = a c
teorema 2)

(Por

Teorema 9
Sean a, c , entonces:
|a| c a c o a c
Demostracin:
Una proposicin equivalente a la que queremos
demostrar es :
(|a| c) (a c o a c) es decir,
|a| < c (a < c y a < c) o sea |a| < c c < a <
c
pero esto ya se ha demostrado en el teorema anterior
que si se cumple as que con esto queda demostrado el
teorema.

Teorema 10
x, y

|x + y| |x| + |y|

Demostracin:
|x| x |x| y |y| y |y|
el teorema 7)
(|x| + |y|) x + y |x| + |y|
el teorema 3)
|x + y| |x| + |y|
(Por teorema 8)

(Por
(Por

Conclusin
Como se ha visto las propiedades que poseen los nmeros

reales son muy diversas, y es posible que algunas sean

complicadas, o demostrar que cumplen esa propiedades
es un poco ms difcil, pero esas reglas han sido de gran
utilidad para que el hombre haya podido trabajar
cmodamente con ellos. Tambin por cumplir con las
reglas de campo y las de orden, los nmeros reales se les
denomina un campo ordenado. Otro punto que tambin se
pudo reconocer es que en las matemticas existen reglas
que simplemente se cumplen sin la necesidad de
demostrarla, y que gracias a esas reglas pudo ser posible
que
los
grandes
matemticos
desarrollaran
las
propiedades que poseen y que nos sirven para
entenderlos mejor.

Referencias
Amador, J. J. A., Carreto, A. C., Gracia, M. I. C. R. L., and Garca, A. M.

(2008). Matemticas elementales. Textos cientficos, Mxico.

Mesa, K. G., Zaldvar, Y., and Galvz, C. (2011). Los nmeros reales.
Recuperado de: http://www.monograas.com/trabajospdf/numerosreales/numeros-reales.pdf.
Rodrguez, J. (2011). Los nmeros reales. Recuperado de:
http://www.cidse.itcr.ac.cr/cursos-linea/MATEGENERAL/t1realesexpresionesalgebraicas/T1-1-numeros-reales-julioetall/node12.html.
Seward, K. (2011). Los nmeros reales. Recuperado de:
http://www.wtamu.edu/academic/anns/mps/math/mathlab/beg
Wikipedia (2011a). Axioma. Recuperado de:
http://es.wikipedia.org/wiki/Axioma.
Wikipedia (2011b). Numero real. Recuperado de:
http://es.wikipedia.org/wiki/N
Wikipedia (2011c). Teorema. Recuperado de:
http://es.wikipedia.org/wiki/Teorema.