You are on page 1of 4

Ley de los signos La multiplicación de expresiones con signos iguales dan como resultado un valor positivo y la multiplicación de expresiones

con signos contrarios dan como resultado un valor negativo. Ley de los signos Multiplicación (+) por (+) da (+) (+) por (-) da (-) (-) por (+) da (-) (-) por (-) da (+) División (+) entre (+) da (+) (+) entre (-) da (-) (-) entre (+) da (-) (-) entre (-) da (+)

AXIOMAS. Para que todos los procedimientos matemáticos usados sean válidos se debe partir de una base que respalde cada procedimiento, cada paso lógico usado, y debe, en consecuencia, demostrarse cada afirmación no trivial. Son estas demostraciones los pilares fundamentales de toda rama de las matemáticas, ya que sin ellos puede ponerse en duda la veracidad de cualquier afirmación. Las afirmaciones a las que se hace referencia se llaman axiomas. Serán, 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: "afirmación 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: y y y Los axiomas algebraicos Los axiomas de orden El axioma topológico.

El primero, trata de las propiedades de suma, resta, multiplicación y división; el segundo establece un orden para los elementos de cada conjunto dado; el tercero trata sobre la noción de continuidad. Existe un conjunto que tiene estas propiedades. Nace entonces el primer axioma Axioma Fundamental Existe un conjunto que denotaremos por que satisface los tres tipos de axiomas mencionados, de orden, algebraicos y topológicos. El conjunto que cumple con estas propiedades se llama El conjunto de los Números Reales y serán los axiomas de este conjunto, las bases de lo que es quizás la rama más importante de la matemática: el Cálculo

existe un único elemento. para todo . 1. denotado por tal que .2)conocido como "propiedad conmutativa" dice que el orden de los sumandos no altera el valor de la suma. denotado por que llamamos la suma de A1.Se puede observar que. Este real se llama cero.2 A2. también en e .4) dice que existe un elemento en los números reales que. pudiéndose escribir como un todo. .1 Para todo . al ser sumado con cualquier número real.3 para todo para todo A2.3 A1. serán válidos si los axiomas son válidos. . Axiomas de la suma Axioma A1. entonces la afirmación es cierta. El axioma (1.3) conocido como propiedad asociativa de la suma dice que la asociacion de la suma no altera el valor de ésta.4 Existe un elemento de A1.2 A1.5 Para cada [editar] Análisis axiomático y . .4 Existe un elemento de A2. El axioma (1. existe un único elemento. tal que no sea cero. que denotaremos por tal que tal que .1 Para todo para todo existe un tal que . sigue siendo ese mismo real. y se conoce también como el elemento neutro aditivo de este conjunto. [editar] Axiomas Algebraicos Los axiomas algebraicos. . Debe tenerse en cuenta que esto es válido sólo para sumas finitas. existe un y y El axioma (1. por lo que los teoremas serán del tipo: Si el axioma Fundamental es cierto. para todo . . . denotado por que llamaremos el producto de A2.5 Para cada 2. pueden ser subdivididos en dos tipos: los de suma y producto. también en e . usando el lenguaje lógico matemático. Axiomas del producto Axioma A2. los teoremas que se demuestren. .

3 Si O1. Este elemento denotado por se conoce como inverso multiplicativo de . el número tal que la suma de éste y el otro número sea cero es . cuando se construyen los naturales. El axioma (2.2 Si O1.1 Si . . Este elemento denotado por se conoce como neutro multiplicativo. para todo . es necesario introducir el símbolo que nos dirá si un número es mayor o menor que otro. Esta relación es del tipo mayor o igual. se puede decir que existe un conjunto si . Si este elemento es .4) dice que existe un número real tal que el producto de éste con otro real. entonces se cumple una y solamente una de las siguientes afirmaciones: [editar] Análisis axiomático y El axioma (1.3) dice que el orden con que elijamos los productos no afecta el producto. se dice que un número es menor que otro si está contenido en éste. Para establecer una relación de orden. O1. El axioma (2. entonces debe estar a la izquierda de .4 Si .2) dice geométricamente que si está a la izquierda de y éste a su vez a la izquierda de . . y y y y [editar] Axiomas de Orden Los axiomas de orden establecen una relación de "cantidad" (véase construcción de los naturales). tal que si y sólo Se dan a continuación los Axiomas de Orden Axioma O1. Esta propiedad se conoce como propiedad asociativa de la multiplicación. sigue siendo este último. O dicho de otra forma. y además . Para la igualdad se usa el símbolo que ya conocemos. Se dirá que .2) dice que el orden de los factores no altera el producto.5) dice que para cualquier real no nulo. si su cardinalidad es menor o igual que otra.y El axioma (1. Este elemento se llama inverso aditivo de . es decir. El axioma (2. Esta interpretación es bastante útil. existe otro. El axioma (2. tal que el producto de ambos da como resultado el neutro multiplicativo. entonces . En realidad. o sólo si es menor que . entonces y .5) dice que dado un número real cualquiera existe otro (único) tal que la suma de ambos es nula. si es mayor que De manera rigurosa. entonces .

Para esto es necesario el xioma topológico ue dice lo siguiente. demostrar a existencia de n n mero irracional. ue deben conocerse para entender el significado de este axioma. son los de sucesión. [editar]   n lisis axiom tico  ay arios conceptos en esta reve afirmación (pero muy importante).   Toda sucesión creciente   acotada superiormente es con ergente.C men e n es satisfacen s imeros axiomas. Éstos. acotado superiormente y convergencia. creciente. ¨ § § § § £§ ¦¨ ¦ ©¨¦§¦ ¢   ¡ ¨¢   ¦ ¢£ ¦¨    ¦   ¡ ¥ ¥ ¤ £¢ ¢£¢¨ ¡  [ed x m ¥ . como raíz cuadrada de dos or ejem lo. ero no se e de con esto.