Propiedades de los nmeros reales

La pregunta es: Qu propiedades elementales bastarn para concluir a partir de ellas todas las dems propiedades que se cumplen en lgebra elemental? Qu tanto las podemos resumir? puesto que si hiciramos una lista con todas las propiedades que sabemos que se cumplen fcilmente pasaran de cien. La siguiente es una lista con seis propiedades bsicas, las cuales bastan para caracterizar completamente las propiedades algebraicas de campo de los nmeros reales. Esto es, de aqu se pueden deducir las dems propiedades. Los nmeros reales son un conjunto R con dos operaciones binarias + y * el cual satisface los siguientes axiomas. Axioma 1 Cerradura Si a y b estn en R entonces a+b y a*b son nmeros determinados en forma nica que estn tambin en R. Axioma 2 Propiedad Conmutativa (Suma y Multiplicacin) Si a y b estn en R entonces a+b = b+a y a*b = b*a. Axioma 3 Propiedad Asociativa. (Suma y Multiplicacin) Si a, b y c estn en R entonces a+(b+c) = (a+b)+c y a*(b*c) = (a*b)*c Axioma 4 Propiedad Distributiva. Si a, b y c estn en R entonces a*(b+c) = ab+ac Axioma 5 Existencia de Elementos neutros. R contiene dos nmeros distintos 0 y 1 tales que a+0 = a, a*1 = a para a que pertenece a los reales. Axioma 6 Elementos inversosSi a est en R entonces existe un (-a) en R tal que a + (-a) = 0 Si a est en R y a es diferente de 0 entonces existe un elemento 1/a en R tal que a*(1/a) = 1. [+ El inverso multimplicativo de a tambin se representa por {$ a^{ 1} $} El primer axioma garantiza que la suma y la multiplicacin son operaciones binarias en los nmeros reales. Los axiomas 2 al 4 indican la forma de manipular algebraicamente las dos operaciones. El axioma 5 establece la existencia de dos elementos distintos 0 y 1. Y el ltimo axioma indica la existencia de los elementos inverso por lo que los nmeros reales forman un campo, ntese que en la segunda parte de este ltimo axioma se supone diferente de cero el nmero a. Tambin es fcil ver que combinando el axioma 2 con los axiomas 5 y 6 tenemos: 0+a=0 1.a = a 1

(-a) + a = 0 (1/a)*a = 1 Como es costumbre en lgebra, el producto a*b se representar simplemente por ab, tambin se puede utulizar un punto a.b Es importante aclarar que estas propiedades de campo son el resultado de muchos aos de trabajo de la humanidad para poder llegar a resumir la caracterstica algebraica de los nmeros. En general el lgebra estudia estructuras bsicas como grupos, anillos, dominios integrales, espacios vectoriales, campos, etc. que es una clasificacin de acuerdo a las propiedades que satisfacen. De las mencionadas un campo es la estructura ms completa, que es precisamente la estructura de los nmeros reales. Aparentemente, despus de ver los axiomas se pensara que faltan propiedades pues no se ha mencionado la resta ni la divisin, faltan potencias y races, y muchas otras cosas. Cmo es posible que con estas propiedades lo dems se cumpla automticamente? Efectivamente, faltan las ideas de resta, divisin, potencias, races y otras ms. Pero stas son una consecuencia de las anteriores; podemos construirlas en base a los seis axiomas y lo nico que faltara es dar la definicin y comprobar que es posible hacerlo. Una manera sencilla de recordar los axiomas bsicos es agrupando en 3 leyes bsicas. Ver Propiedades Bsicas. Como ya habamos mencionado a partir de estos axiomas podemos demostrar todas las propiedades algebraicas que conocemos de los nmeros, como un ejemplo veremos que (-a)b = ab. Ejemplo 1.1. Comprobar (-a)b = -ab usando los axiomas. Demostracin: (-a)b = (-a)b + 0 axioma 5 = (-a)b + [ab + (-;ab)] axioma 6 = [(-a)b +ab] + (-ab) axioma 3 = [(-a)+a]b+ (-ab) axioma 4 = 0.b + (-ab) axioma 6 = [0.b + 0] + (-ab) axioma 5 = {0.b + [ab+(-ab)]} + (-ab) axioma 6 = [(0.b + ab) + (-ab)] + (-ab) axioma 3 = [(0+a).b + (-ab)] + (-ab) axioma 4 = [ab + (-ab)] + (-ab) axioma 5 = 0 + (-ab) axioma 6 = (-ab) + 0 axioma 2 = -ab axioma 5 Cada una de las propiedades algebraicas se podran demostrar de esta forma, sin embargo una demostracin a partir de los axiomas sera demasiado extensa y repetitiva de muchas propiedades. Por ejemplo si ya tuviramos la propiedad de que a.0 = 0 nos ahorraramos seis 2

pasos en el procedimiento anterior. En realidad es conveniente comprobar algunas propiedades bsicas sencillas de justificar y utilizarlas para la demostracin de otras ms complicadas. Empezaremos por unas de las propiedades ms tiles hasta llegar a comprobar reglas importantes de manejo de expresiones algebraicas. Teorema 1.1 Propiedades de lgebra elemental. Si a, b, y c son nmeros reales entonces: i. a+b = b+a => b = c ley de simplificacin para la suma ii. (-a) es nico; Posibilidad de la sustraccin iii. -(-a) = a iv. -(a+b) = -a + (-b) v. ab = ac, a =/ 0 => b = c vi. 1 es nico vii. ( 1)1 = a viii. {$ (ab)^{ 1} = a^{ 1}b^^{ 1} $} ix. a*0 = 0 x. (-a)b = a(-b) = -ab xi. (-a)(-b) = ab xii. ab = 0 => a=0 b=0 Definicin 1.1 Resta y divisin. i. La resta de dos nmeros reales a, b se define como a?b = a+(?b). ii. La divisin de dos nmeros reales a, b se define cuando b =/ 0 como a/b = ab?1. Teorema 1.2 Propiedades de operaciones con fracciones. xiii. a/b . c/d = ac/bd xiv. a/b + c/d = (ad+bd)/bd xv. (a/b)/(c/d) = ad/bc Con estas quince propiedades de lgebra elemental es fcil comprobar cualquier otra regla, como un ejemplo demostraremos las propiedades (i), (ii), (ix) y (x). Ejemplo 1.2 Demuestre (i) a+b = a+c => b = c Demostracin: Consideremos un elemento (?a) tal que a + (?a) = 0 el cual existe por el axioma 6. por lo tanto a+b = a+c => (?a)+(a+b) = (?a)+(a+c) sustitucin directa (?a+a)+b = (?a+a)+c asociatividad 0+b = 0+c elemento inverso b=c elemento neutro @ Por la propiedad conmutativa tambin se cumple la ley de cancelacin por la derecha, o sea b+a = c+a => b = c.

Ejemplo 1.3 Demuestre (ii) (?a) es nico Demostracin: Sabemos que para el nmero a existe (?a) tal que a+(?a) = 0 y supongamos que existe otro nmero b tal a + b = 0, entonces a+(?a) = a + b ?a = b ley de cancelacin (i) @ Ejemplo 1.4 Demuestre (ix) a.0 = 0 Demostracin. a.0 = a.(0+0) elemento neutro = a.0 + a.0 propiedad distributiva tambin a.0 = a.0 + 0 elemento neutro por lo tanto a.0 + a.0 = a.0 + 0 finalmente a.0 = 0 por la ley de cancelacin. @ Ejemplo 1.5 Demuestre (x) (?a)b = a(?b) = ?ab Demostracin. (?a)b = (?a)b + 0 elemento neutro = (?a)b + [ab + (?ab)] elemento inverso = [(?a)b +ab] + (?ab) propiedad asociativa = [(?a)+a]b + (?ab) propiedad distributiva = 0.b + (?ab) elemento inverso = 0 + (?ab) propiedad (ix) = ?ab elemento neutro @ Compare esta demostracin con la del ejemplo 1. Finalmente vemos que las propiedades (iii) y (iv) son muy simples usando (ii). (v), (vi), (vii) y (viii) son similares a las cuatro primeras con la multiplicacin en lugar de la suma. (xi) es directo usando (x). (xii) es un ejercicio. (xiii), (xiv) y (xv) se pueden comprobar usando la definicin de divisin. Ejemplo 1.6 Compruebe (xiv) a/b + c/d = (ad+bd)/bd Demostracin: (ad+bc)/bd = (ad+bc)(bd)?1 = (ad+bc)b?1d?1 = adb?1d?1 +bcb?1d?1 = ab?1 + cd?1 = a/b + c/d @ Conceptos de algebra elemental. Ya hemos visto como comprobar las propiedades algebraicas que vimos en secundaria y bachillerato a partir de los axiomas, pero vamos a utilizar las propiedades de ahora en adelante

con otro enfoque. Si se pretende seguir usando las propiedades mecnicamente como se haca en niveles ms elementales no sirvi de mucho el haber aprendido esto. La idea fundamental es que se adquiera el suficiente criterio para saber interpretar un resultado cuando se siguen los pasos de un mtodo. Y tambin el poder darnos cuenta si un paso est o no correcto. Para poder aplicar los conceptos algebraicos, es necesario conocer los elementos con los que vamos a trabajar. As que es necesario ejemplificar las diversas clases de nmeros que emplearemos. Primeramente notamos que 1+1 es tambin un nmero real, a este nmero le llamamos 2 y si analizamos 2+1 tambin es un nmero, de la misma forma sumando el nmero 1 cada vez podemos obtener nuevos nmeros los cuales son los ms sencillos de entender y por esto se llama nmeros naturales o enteros positivos. Se representan por la letra N; esto es, N = {1,2,3, }. Por el axioma 6, primera parte, cada entero positivo tiene un inverso aditivo y se forma el conjunto de nmeros enteros: Z = {0,1,?1,2,?2,3,?3 }. Otra clase importante de nmeros son los que obtienen al dividir dos enteros, llamados racionales: Q = {a/b :a,b estn en Z, b =/ 0} Podemos observar que como a/1 = al conjunto de los enteros es un subconjunto de los racionales. Finalmente, a todo nmero real que no sea racional se le llama irracional, los irracionales se denotan por Ir. Ya que hemos hablado de los principales conjuntos de nmeros, veremos algunos de las aplicaciones clsicas del lgebra elemental. Pondremos dos ejemplos para ilustrar esto. Analicemos el mtodo que usamos para resolver una ecuacin. Ejemplo 1.7 Resolver la ecuacin 2x?1 = 5 Solucin: 2x ? 1 = 5 2x = 5 + 1 x = 6/2 x=3 Concluimos que la solucin es el nmero 3. Est bien hecha esta conclusin?, que significa el ltimo paso x = 3?

Para contestar esto, veamos el siguiente ejemplo: Ejemplo 2.8 Resolver la ecuacin 2x/(x?1) ? 2/(x?1) = 1 Solucin: 2x/(x?1) ? 2/(x?1) = 1 (2x?2)/(x?1) = 1 2x?2 = x?1 2x?x = ?1+2 x=1 aqu vemos que el nmero 1 no puede ser solucin pues en el sistema de los nmeros reales no es posible dividir entre 0, as que la solucin es el conjunto vaci. Lo que realmente hacemos cuando aplicamos los pasos algebraicos como los anteriores para resolver una ecuacin, es suponer que existe un nmero que es solucin de la ecuacin y llegamos a que dicha solucin si existiera deba tener cierto valor (en el ejemplo 2.8 el valor x=1), sin embargo la solucin puede ser 0/ como en el ejemplo, por lo que es necesario verificar en la ecuacin original si l o los nmeros obtenidos son realmente solucin de la ecuacin. De aqu en adelante, as como en este caso, debemos tener cuidado cuando manejamos propiedades algebraicas y debemos de ser capaces de interpretar correctamente el resultado de un procedimiento. Ejercicios: En los siguientes ejercicios todas las propiedades se refieren al teorema 2.1. 1. Demuestre la propiedad (iii) usando la propiedad (ii). 2. Demuestre la propiedad (iv) usando la propiedad (ii). 3. Demuestre las propiedades (v) y (vi) en forma anloga a como se demostraron (i) y (ii) 4. Demuestre (xiii) usando la definicin de divisin. 5. Demuestre (xv) usando la definicin de divisin. 6. Indique si es posible tener un conjunto con los mismos axiomas de campo de los nmeros reales pero que el cero tuviera inverso? 7. Indique qu propiedades se utilizaron en la demostracin del ejemplo 6. 8. Justifique los pasos del ejemplo 2.7. 9. Justifique los pasos del ejemplo 2.8. 10. Demuestre que ?0 = 0. 6

11. Compruebe que el 0 es el nico nmero que es su propio inverso aditivo. 12. Indique qu propiedades de campo cumple el conjunto de los nmeros enteros Z = { ?3,?2,?1,0,1,2,3, }. 13. Indique qu propiedades de campo cumplen los nmeros enteros positivos N = {1,2,3, }. 14. Compruebe que ?(a?b) = ?a+b 15. Compruebe que a/b ? a/c = (ad?bc)/bd 16. Compruebe que la ecuacin ax+b = 0 tiene una solucin nica cuando a0. Resuelva las siguientes ecuaciones: 17. 3x + 1 = 7 18. x2 ? x ? 6 = 0 19. x 1 8 ??? + ??? = ???? x+2 x?2 x2?4 20. 52 ? 12x + 4 = 0