LEYES FORMALES DE LAS OPERACIONES FUNDAMENTALES CON NUMEROS REALES Resolver Expresiones Algebraicas no es fcil, pero si estamos familiarizados

con las reglas y leyes detrs de ellas, es tan sencillo como comer una torta. Por lo tanto, familiarizarse con las reglas y leyes de las Operaciones Fundamentales es un paso hacia la simplificacin en resolver problemas de lgebra.[BR][BR]Suma y Resta[BR]Ley 1:[BR] La suma de dos nmeros positivos es positiva. La suma de dos nmeros negativos es negativa.[BR]Ley 2:[BR] La suma de un nmero positivo y un nmero negativo se obtiene a partir de de los valores absolutos de los nmeros. Esto es, resta el menor valor absoluto al mayor valor absoluto y toma el signo del nmero con mayor valor absoluto. [BR]Regla:[BR] Para poder sumar o restar Expresiones Algebraicas, debemos primero considerar si los trminos son similares o distintos.[BR] Si son similares, simplemente combina los trminos sumando los coeficientes numricos. Debemos aplicar las propiedades de los nmeros reales: asociativa, conmutativa y distributiva. [BR][BR]Multiplicacin[BR]Ley 3:[BR] El producto de dos nmeros de igual signo es positivo. El producto de dos nmeros de distintos signos es negativo.[BR]Ley 4:[BR] El producto de dos polinomios es la suma de los resultados obtenidos de multiplicar todos los trminos de un polinomio por cada trmino del otro.[BR]Regla:[BR] Para multiplicar un monomio por un multinomio, simplemente multiplica cada trmino del multinomio por el monomio. Esta es una aplicacin directa de la propiedad distributiva. [BR][BR] Para multiplicar un multinomio por otro multinomio, aplicamos la propiedad distributiva multiplicando el multiplicando por cada trmino del multiplicador.[BR][BR]Divisin[BR]Ley 4:[BR] El cociente de dos nmeros de igual signo es positivo. El cociente de dos nmeros de distinto signo es negativo. Fuente: http://es.shvoong.com/exact-sciences/mathematics/1737455-reglas-leyes-detr%C3%A1s-lasoperaciones/#ikzz2pywd0495#ixzz2QBmoB7ho

AXIOMAS DE NUMEROS REALES

Para que todos los procedimientos matemticos usados sean vlidos se debe partir de una base que respalde cada procedimiento, cada paso lgico usado, y debe, en consecuencia, demostrarse cada afirmacin no trivial. Son estas demostraciones los pilares fundamentales de toda rama de las matemticas, ya que sin ellos puede ponerse en duda la veracidad de cualquier afirmacin. Las afirmaciones a las que se hace referencia se llaman axiomas. Sern, por lo tanto, afirmaciones que se aceptan como verdaderas debido a su trivialidad, pudiendo en ocasiones ser demostradas cuando no lo son. El otro tipo de afirmaciones a las que se hace referencia diciendo: "afirmacin no trivial", son los teoremas, que son ya, afirmaciones no tan triviales y muchas veces poco intuitivas. Estas afirmaciones deben ser demostradas usando los axiomas u otros teoremas ya demostrados. Una consecuencia inmediata de un teorema se llamar corolario. Hay tres tipos de axiomas:

Los axiomas algebraicos Los axiomas de orden El axioma topolgico.

El primero, trata de las propiedades de suma, resta, multiplicacin y divisin; el segundo establece un orden para los elementos de cada conjunto dado; el tercero trata sobre la nocin de continuidad. Existe un conjunto que tiene estas propiedades.

Axioma fundamental
Existe un conjunto que se denota por que satisface los tres tipos de axiomas mencionados, de orden, algebraicos y topolgicos.

El conjunto que cumple con estas propiedades se llama conjunto de los Nmeros Reales y sern los axiomas de este conjunto, las bases de una rama muy importante de la matemtica: el Anlisis matemtico. Se puede observar que, usando el lenguaje lgico matemtico, los teoremas que se demuestren, sern vlidos si los axiomas son vlidos, por lo que los teoremas sern del tipo: Si el axioma Fundamental es cierto, entonces la afirmacin es cierta.

Axiomas Algebraicos
Los axiomas algebraicos, pudindose escribir como un todo, pueden ser subdivididos en dos tipos: los de la adicin y de la multiplicacin. 1. Axiomas de la adicin A1.1 Para todo , existe un nico elemento, tambin en , denotado por que llamamos la suma de e . A1.2 para todo . A1.3 para todo . A1.4 Existe un elemento de , denotado por tal que para todo . A1.5 Para cada existe un tal que . 2. Axiomas de la multiplicacin A2.1 Para todo , existe un nico elemento, tambin en denotado por que llamaremos el producto de e . A2.2 para todo . A2.3 para todo . A2.4 Existe un elemento de , que denotaremos por tal que ,

A2.5 Para cada .

tal que no sea cero, existe un

tal que

3. Axioma de distribucin Este axioma conecta la suma con la multiplicacin:

A3.1 Para todo

Anlisis axiomtico

El axioma (1.2)conocido como "propiedad conmutativa" dice que el orden de los sumandos no altera el valor de la suma. Debe tenerse en cuenta que esto es vlido slo para sumas finitas. El axioma (1.3) conocido como propiedad asociativa de la suma dice que la asociacion de la suma no altera el valor de sta. El axioma (1.4) dice que existe un elemento en los nmeros reales que, al ser sumado con cualquier nmero real, sigue siendo ese mismo real. Este real se llama cero, y se conoce tambin como el elemento neutro aditivo de este conjunto. El axioma (1.5) dice que dado un nmero real cualquiera existe otro (nico) tal que la suma de ambos es nula. Si este elemento es , el nmero tal que la suma de ste y el otro nmero sea cero es . Este elemento se llama inverso aditivo de . El axioma (2.2) dice que el orden de los factores no altera el producto. El axioma (2.3) dice que el orden con que elijamos los productos no afecta el producto. Esta propiedad se conoce como propiedad asociativa de la multiplicacin. El axioma (2.4) dice que existe un nmero real tal que el producto de ste con otro real, sigue siendo este ltimo. Este elemento denotado por se conoce como neutro multiplicativo. El axioma (2.5) dice que para cualquier real no nulo, existe otro, tal que el producto de ambos da como resultado el neutro multiplicativo. Este elemento denotado por se conoce como inverso multiplicativo de .

Axiomas de orden
Los axiomas de orden establecen una relacin de "cantidad" (vase construccin de los naturales). Esta relacin es del tipo mayor o igual. En realidad, cuando se construyen los naturales, se dice que un nmero es menor que otro si est contenido en ste, es decir, si su cardinalidad es menor o igual que otra.

Para establecer una relacin de orden, es necesario introducir el smbolo que nos dir si un nmero es mayor o menor que otro. Para la igualdad se usa el smbolo que ya conocemos. Se dir que que . o slo si es menor que . O dicho de otra forma, si es mayor

De manera rigurosa, se puede decir que existe un conjunto y slo si . Se dan a continuacin los axiomas de orden

tal que

si

O1.1 Si , entonces se cumple una y solamente una de las siguientes afirmaciones: ; ; O1.2 Si y adems , entonces . O1.3 Si , entonces para todo O1.4 Si y , entonces .

Anlisis axiomtico

El axioma (1.2) dice geomtricamente que si est a la izquierda de y ste a su vez a la izquierda de , entonces debe estar a la izquierda de . Esta interpretacin es bastante til.

(R,+, , ) es un cuerpo ordenado.

Axioma topolgico
Claramente los racionales satisfacen los primeros axiomas, pero no se puede con esto, demostrar la existencia de un nmero irracional, como raz cuadrada de dos por ejemplo. Para esto es necesario el Axioma topolgico que dice lo siguiente. Toda sucesin creciente y acotada superiormente es convergente.

Anlisis axiomtico
Hay varios conceptos en esta breve afirmacin (pero muy importante), que deben conocerse para entender el significado de este axioma. stos, son los de sucesin, creciente, acotado superiormente y convergencia.