1. 1.2 Propiedades de los números reales<br />Recordemos que en secundaria y preparatoria se incluye en los programas de matemáticas procedimientos para sumar fracciones o números racionales, para multiplicar y dividir polinomios, para resolver ecuaciones lineales y cuadráticas, para factorizar expresiones algebraicas, por mencionar algunos. En cada uno de estos temas se utilizan números reales.<br />La idea fundamental en esta sección es la de poder resumir todas las propiedades algebraicas de los números reales que hemos utilizado o que se puedan utilizar.<br />La pregunta es: Qué propiedades elementales bastarán para concluir a partir de ellas todas las demás propiedades que se cumplen en álgebra elemental? Qué tanto las podemos resumir? puesto que si hiciéramos una lista con todas las propiedades que sabemos que se cumplen fácilmente pasarían de cien.<br />La siguiente es una lista con seis propiedades básicas, las cuales bastan para caracterizar completamente las propiedades algebraicas de campo de los números reales. Esto es, de aquí se pueden deducir las demás propiedades.<br />Los números reales son un conjunto R con dos operaciones binarias + y * el cual satisface los siguientes axiomas.<br />Axioma 1 Cerradura<br />Si a y b están en R entonces a+b y a*b son números determinados en forma única que están también en R.<br />Axioma 2 Propiedad Conmutativa (Suma y Multiplicación)<br />Si a y b están en R entonces a+b = b+a y a*b = b*a.<br />Axioma 3 Propiedad Asociativa. (Suma y Multiplicación)<br />Si a, b y c están en R entonces a+(b+c) = (a+b)+c y a*(b*c) = (a*b)*c<br />Axioma 4 Propiedad Distributiva.<br />Si a, b y c están en R entonces a*(b+c) = ab+ac<br />Axioma 5 Existencia de Elementos neutros.<br />R contiene dos números distintos 0 y 1 tales que a+0 = a, a*1 = a para a que pertenece a los reales.<br />Axioma 6 Elementos inversos Si 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 también se representa por {$ a^{−1} $}<br />El primer axioma garantiza que la suma y la multiplicación son operaciones binarias en los números 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 números reales forman un campo, nótese que en la segunda parte de este último axioma se supone diferente de cero el número a.<br />También es fácil ver que combinando el axioma 2 con los axiomas 5 y 6 tenemos<br /> 0 + a = a <br />1.a = a<br /> (-a) + a = 0<br /> (1/a)*a = 1<br />Como es costumbre en álgebra, el producto a*b se representará simplemente por ab, también se puede utulizar un punto a.b<br />Es importante aclarar que estas propiedades de campo son el resultado de muchos años de trabajo de la humanidad para poder llegar a resumir la característica algebraica de los números. En general el álgebra estudia estructuras básicas como grupos, anillos, dominios integrales, espacios vectoriales, campos, etc. que es una clasificación de acuerdo a las propiedades que satisfacen. De las mencionadas un campo es la estructura más completa, que es precisamente la estructura de los números reales.<br />Aparentemente, después de ver los axiomas se pensaría que faltan propiedades pues no se ha mencionado la resta ni la división, faltan potencias y raíces, y muchas otras cosas. Cómo es posible que con estas propiedades lo demás se cumpla automáticamente?<br />Efectivamente, faltan las ideas de resta, división, potencias, raíces y otras más. Pero éstas son una consecuencia de las anteriores; podemos construirlas en base a los seis axiomas y lo único que faltaría es dar la definición y comprobar que es posible hacerlo.<br />Una manera sencilla de recordar los axiomas básicos es agrupando en 3 leyes básicas. Ver<br />Propiedades Básicas.<br />Como ya habíamos mencionado a partir de estos axiomas podemos demostrar todas las propiedades algebraicas que conocemos de los números, como un ejemplo veremos que (-a)b = -ab.<br />Ejemplo 1.1. Comprobar (-a)b = -ab usando los axiomas.<br />Demostración:<br />(-a)b = (-a)b + 0 axioma 5<br />= (-a)b + [ab + (-;ab)] axioma 6<br />= [(-a)b +ab] + (-ab) axioma 3<br />= [(-a)+a]b + (-ab) axioma 4<br />= 0.b + (-ab) axioma 6<br />= [0.b + 0] + (-ab) axioma 5<br /> = {0.b + [ab+(-ab)]} + (-ab) axioma 6<br />= [(0.b + ab) + (-ab)] + (-ab) axioma 3<br />= [(0+a).b + (-ab)] + (-ab) axioma 4<br />= [ab + (-ab)] + (-ab) axioma 5<br />= 0 + (-ab) axioma 6<br />= (-ab) + 0 axioma 2<br />= -ab axioma 5<br />Cada una de las propiedades algebraicas se podrían demostrar de esta forma, sin embargo una demostración a partir de los axiomas sería demasiado extensa y repetitiva de muchas propiedades. Por ejemplo si ya tuviéramos la propiedad de que a.0 = 0 nos ahorraríamos seis pasos en el procedimiento anterior. En realidad es conveniente comprobar algunas propiedades básicas sencillas de justificar y utilizarlas para la demostración de otras más complicadas. Empezaremos por unas de las propiedades más útiles hasta llegar a comprobar reglas importantes de manejo de expresiones algebraicas.<br />