Está en la página 1de 4

Axiomas de los números reales

1

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.

Axioma fundamental

Axiomas de los números reales Axiomas de los números reales Para que todos los procedimientos matemáticosp artir 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 axioma s . 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 teorema s , 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. Axioma fundamental Existe un conjunto que se denota por que satisface los tres tipos de axiomas mencionados, de orden, algebraicos y topológicos. El conjunto que cumple con estas propiedades se llama con j unto 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 llamamos la suma de , existe un único elemento, también en , denotado por e . A1.2 para todo . A1.3 . A1.4 Existe un elemento de para todo , denotado por tal que para todo . A1.5 Para cada existe un tal que . que 2. Axiomas de la multiplicación A2.1 Para todo , e existe un único elemento, también en . llamaremos el producto de , denotado por que " id="pdf-obj-0-57" src="pdf-obj-0-57.jpg">

Existe un conjunto que se denota por que satisface los tres tipos de axiomas mencionados, de orden, algebraicos y topológicos.

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 llamamos la suma de , existe un único elemento, también en , denotado
A1.1 Para todo
llamamos la suma de
, existe un único elemento, también en
, denotado por
e
.
A1.2
para todo
.
A1.3
.
A1.4 Existe un elemento de
para todo
, denotado por
tal que
para todo
.
A1.5 Para cada
existe un
tal que
.
  • que

  • 2. Axiomas de la multiplicación

A2.1

Para todo

, e
,
e

existe un único elemento, también en .

llamaremos el producto de

,
,

denotado por

  • que

Axiomas de los números reales

2

A2.2

A2.3

para todo . para todo .
para todo
.
para todo
.
Axiomas de los números reales A2.2 A2.3 para todo . para todo . A2.4 Existe un

A2.4 Existe un elemento de

A2.5 Para cada

, que denotaremos por

tal que tal que .
tal que
tal que
.

tal que no sea cero, existe un

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. 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 números reales que, al ser sumado con cualquier número real, sigue siendo ese mismo real. Este real se llama cero, y se conoce también como el elemento neutro aditivo de

este conjunto. El axioma (1.5) dice que dado un número real cualquiera existe otro (único) tal que la suma de ambos es nula. Si

este elemento es

este elemento es , el número tal que la suma de éste y el otro número

, el número tal que la suma de éste y el otro número sea cero es

este elemento es , el número tal que la suma de éste y el otro número

. Este elemento se

••

llama inverso aditivo de

llama inverso aditivo de . El axioma (2.2) dice que el orden de los factores no

. 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 multiplicación.

El axioma (2.4) dice que existe un número real tal que el producto de éste con otro real, sigue siendo este último.

Este elemento denotado por

se conoce como neutro multiplicativo .

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

no nulo, existe otro, tal que el producto de ambos da como

resultado el neutro multiplicativo. Este elemento denotado por

multiplicativo de

.
.
  • se conoce como inverso

Axiomas de orden

Los axiomas de orden establecen una relación de "cantidad" (véase construcción de los naturales). Esta relación es del tipo mayor o igual. En realidad, cuando se construyen los naturales, se dice que un número es menor que otro si está contenido en éste, es decir, si su incardina es menor o igual que otra.

Para establecer una relación de orden, es necesario introducir el símbolo que nos dirá si un número es mayor o menor que otro. Para la igualdad se usa el símbolo que ya conocemos.

Axiomas de los números reales A2.2 A2.3 para todo . para todo . A2.4 Existe un
Axiomas de los números reales A2.2 A2.3 para todo . para todo . A2.4 Existe un
Axiomas de los números reales A2.2 A2.3 para todo . para todo . A2.4 Existe un
Axiomas de los números reales A2.2 A2.3 para todo . para todo . A2.4 Existe un
Axiomas de los números reales A2.2 A2.3 para todo . para todo . A2.4 Existe un
Axiomas de los números reales A2.2 A2.3 para todo . para todo . A2.4 Existe un

Se dirá que o sólo si es menor que . O dicho de otra forma, si es mayor que .

Axiomas de los números reales A2.2 A2.3 para todo . para todo . A2.4 Existe un
Axiomas de los números reales A2.2 A2.3 para todo . para todo . A2.4 Existe un

De manera rigurosa, se puede decir que existe un conjunto Se dan a continuación los axiomas de orden

Axiomas de los números reales A2.2 A2.3 para todo . para todo . A2.4 Existe un

tal que

Axiomas de los números reales A2.2 A2.3 para todo . para todo . A2.4 Existe un

si y sólo si

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

Axiomas de los números reales

3

Análisis axiomático

El axioma (1.2) dice geométrica mente que si

Axiomas de los números reales Análisis axiomático • El axioma (1.2) dice geométrica mente que si

está a la izquierda de

Axiomas de los números reales Análisis axiomático • El axioma (1.2) dice geométrica mente que si

y éste a su vez a la izquierda de

,
,

entonces debe estar

Axiomas de los números reales Análisis axiomático • El axioma (1.2) dice geométrica mente que si

a la izquierda de

Axiomas de los números reales Análisis axiomático • El axioma (1.2) dice geométrica mente que si

. Esta interpretación es bastante útil.

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

Axioma patológico

Claramente los racionales satisfacen los primeros axiomas, pero no se puede con esto, demostrar la existencia de un número irracional, como raíz cuadrada de dos por ejemplo. Para esto es necesario el Axioma patológico que dice lo siguiente.

Toda sucesión creciente y acotada superiormente es convergente.

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. Éstos, son los de sucesión, creciente, acotado superiormente y convergencia.

Fuentes y contribuyentes del artículo

4

Fuentes y contribuyentes del artículo Licencia

Jerowiki, Jkbw, Manwë, MarcoAurelio, Raulshc, Rovnet, Technopat, Érico Júnior Wouters, 36 ediciones anónimas

Axiomas de los números reales Fuente: http://es.wikipedia.org/w/index.php?oldid=69554091 Contribuyentes: Acratta, Camiloalcubo2, Diegusjaimes, Elio puma, Farisori, Ggenellina, Ileana n,

Creative Commons Attribution-Share Alike 3.0 Unported

//creativecommons.org/licenses/by-sa/3.0/