P. 1
AXIOMAS DE LOS NÚMEROS REALES

AXIOMAS DE LOS NÚMEROS REALES

|Views: 313|Likes:
Publicado porldscpm_m

More info:

Published by: ldscpm_m on Aug 26, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOCX, PDF, TXT or read online from Scribd
See more
See less

07/12/2015

pdf

text

original

AXIOMAS DE LOS NÚMEROS REALES 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: 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 se denota por orden, algebraicos y topológicos. que satisface los tres tipos de axiomas mencionados, de

El conjunto que cumple con estas propiedades se llama conjunto de los Números Reales y serán los axiomas de este conjunto, las bases de una rama muy importante de la matemática: el Análisis matemático. Se puede observar que, usando el lenguaje lógico matemático, los teoremas que se demuestren, serán válidos si los axiomas son válidos, por lo que los teoremas serán del tipo: Si el axioma Fundamental es cierto, entonces la afirmación es cierta. Axiomas Algebraicos Los axiomas algebraicos, pudiéndose escribir como un todo, pueden ser subdivididos en dos tipos: los de la adición y de la multiplicación. 1. Axiomas de la adición A1.1 Para todo suma de e . A1.2 A1.3 A1.4 Existe un elemento de , denotado por A1.5 Para cada existe un 2. Axiomas de la multiplicación A2.1 Para todo producto de e A2.2 A2.3 A2.4 Existe un elemento de . para todo para todo , que denotaremos por . . tal que . , existe un único elemento, también en para todo . para todo tal que tal que . , denotado por que llamaremos el . para todo . , denotado por que llamamos la

, existe un único elemento, también en

A2.5 Para cada tal que no sea cero, existe un tal que 3. Axioma de distribución Este axioma conecta la suma con la multiplicación:

A3.1 Para todo

.

Análisis axiomático 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 válido sólo para sumas finitas.

entonces . Éstos. existe otro.4) dice que existe un número real tal que el producto de éste con otro real.4) dice que existe un elemento en los números reales que. el número tal que la suma de éste y el otro número sea cero es .+. O1. Esta relación es del tipo mayor o igual. Este real se llama cero. .1 Si . y además .3) conocido como propiedad asociativa de la suma dice que la asociacion de la suma no altera el valor de ésta.3 Si . se puede decir que existe un conjunto si . Esta interpretación es bastante útil. El axioma (2. para todo O1.2) dice que el orden de los factores no altera el producto. demostrar la existencia de un número irracional. Toda sucesión creciente y acotada superiormente es convergente. sigue siendo ese mismo real. si tal que es mayor que si y sólo . Axiomas de Orden Los axiomas de orden establecen una relación de "cantidad" (véase construcción de los naturales). entonces .3) dice que el orden con que elijamos los productos no afecta el producto. si su cardinalidad es menor o igual que otra. Este elemento denotado por se conoce como inverso multiplicativo de . entonces . Si este elemento es . creciente.5) dice que para cualquier real no nulo. se dice que un número es menor que otro si está contenido en éste. Se dirá que o sólo si es menor que . cuando se construyen los naturales. El axioma (1. al ser sumado con cualquier número real. (R. Para la igualdad se usa el símbolo que ya conocemos. como raíz cuadrada de dos por ejemplo. entonces debe estar a la izquierda de . es necesario introducir el símbolo que nos dirá si un número es mayor o menor que otro.2) dice geométricamente que si está a la izquierda de y éste a su vez a la izquierda de .2 Si O1. El axioma (1. Análisis axiomático Hay varios conceptos en esta breve afirmación (pero muy importante). que deben conocerse para entender el significado de este axioma. El axioma (2. y se conoce también como el elemento neutro aditivo de este conjunto. El axioma (2. Este elemento denotado por se conoce como neutro multiplicativo. Para establecer una relación de orden.5) dice que dado un número real cualquiera existe otro (único) tal que la suma de ambos es nula. Este elemento se llama inverso aditivo de . Axioma topológico Claramente los racionales satisfacen los primeros axiomas. acotado superiormente y convergencia. . Se dan a continuación los Axiomas de Orden O1. Análisis axiomático El axioma (1. es decir. En realidad. son los de sucesión. sigue siendo este último. Para esto es necesario el Axioma topológico que dice lo siguiente. pero no se puede con esto. Esta propiedad se conoce como propiedad asociativa de la multiplicación. El axioma (2.El axioma (1. tal que el producto de ambos da como resultado el neutro multiplicativo. O dicho de otra forma. ) es un cuerpo ordenado.4 Si y . entonces se cumple una y solamente una de las siguientes afirmaciones: . De manera rigurosa.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->