Facultad de ciencias Matemticas

Nmeros reales
Yasna Balart Ao: 2013

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:

 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.

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.

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

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 Axioma 2. Si a, b , entonces a + b, ab entonces a+b = b+a y ab = ba
(Ley de cerradura para la suma y el producto) (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
(Ley de distributividad)

entonces a(b + c) = ab + ac , con 0 = 1, tales que: si a R, entonces con

Axioma 5. Existen 0, 1 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 a = 0, entonces existe a2 tal que a a2 = 1

(Existencia de los inversos)

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.

i) Si a, b, c y a + c = b + c, entonces a=b ii) Si a, b, c , c 0 y ac = bc, entonces a=b Demostracin: i) Sea c1 tal que c + c1 = 0 Entonces a+c=b+c (a + c) + c1 = (b + c) + c1 a + (c + c1) = b + (c + c1) a+0=b+0 a=b

(Esto por el axioma 6)

(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)

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)

i) a, b , x nico tal que a + x = b ii) a, 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 + a1 (Sustituyendo x = b + a1) a + x 0 = 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

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

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).

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)

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 ) (a/b) = a (b ) (a/b) = a b (a/b) = ba (a/b) = b/a

(Por definicin) (Por Teorema VI) (Por Teorema V) (Por axioma 3) (Por definicin)

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 a2 = b2. Sean a > 0, b > 0 y a = b.

Entonces a = b aa = ab y ab = bb aa = bb a = b (Propiedad de la igualdad) (Propiedad de la igualdad) (Por definicin)

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.

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)

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

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

(Por axioma 4) (Por teorema IV)

(Por axioma 3) (Por axioma 3)

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

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

(Por axioma 5)

(Por axioma 5)

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

(Por axioma 5) (Por axioma 5)

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

a<b (ab) + y a < b a b R+ y a < b (a b )a < (a b )b b < a

(Por teorema 1) (Por teorema VI) (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

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 a+c<b+d ii) 0 < a < b y 0 < c < d ac < bc y bc < bd ac < bd

(Por axioma 4)

(Por axioma 3) (Por transitividad)

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

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 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

(Por teorema 4)

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)

 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

 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|

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

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

(Por teorema 2)

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.

x, y |x + y| |x| + |y|
Demostracin: |x| x |x| y |y| y |y| (|x| + |y|) x + y |x| + |y| |x + y| |x| + |y|

(Por el teorema 7) (Por el teorema 3) (Por teorema 8)

 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.

 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/numeros-reales/numerosreales.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.