Axiomas de los números reales

Axiomas de los números reales

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

Contenido

Axioma Fundamental

Existe un conjunto que denotaremos por \mathbb{R} 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

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 suma y producto.

1. Axiomas de la suma

Axioma

A1.1 Para todo x,y\in \mathbb{R}, existe un único elemento, también en \mathbb{R}, denotado por \mathit{x+y}\,\! que llamamos la suma de \mathit{x}\,\! e \mathit{y}\,\!.
A1.2 \mathit{x+y=y+x} \,\! para todo x,y\in \mathbb{R}.
A1.3 \mathit{(x+y)+z=x+(y+z)}\,\! para todo x,y,z\in \mathbb{R}.
A1.4 Existe un elemento de \mathbb{R}, denotado por \mathrm{0}\,\! tal que \mathit{x+0=x}\,\! para todo x\in \mathbb{R}.
A1.5 Para cada x\in \mathbb{R} existe un y\in \mathbb{R} tal que \mathit{x+y=0}\,\!.

2. Axiomas del producto

Axioma

A2.1 Para todo x,y\in \mathbb{R}, existe un único elemento, también en \mathbb{R}, denotado por \mathit{xy}\,\! que llamaremos el producto de \mathit{x}\,\! e \mathit{y}\,\!.
A2.2 \mathit{xy=yx} \,\! para todo x,y\in \mathbb{R}.
A2.3 \mathit{(xy)z=x(yz)} \,\! para todo x,y,z\in \mathbb{R}.
A2.4 Existe un elemento de \mathbb{R}, que denotaremos por 1 \,\! tal que \mathit{1x=x1=x} \,\!
A2.5 Para cada x\in \mathbb{R} tal que no sea cero, existe un y\in \mathbb{R} tal que \mathit{xy=1}\,\!.

Análisis axiomático

  • El axioma (1.2) 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 ordenación 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 x\,\!, el número tal que la suma de éste y el otro número sea cero es (-x)\,\!. Este elemento se llama inverso aditivo de x\,\!.
  • 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 1\,\! se conoce como neutro multiplicativo.
  • El axioma (2.5) dice que para cualquier real x\,\! no nulo, existe otro, tal que el producto de ambos da como resultado el neutro multiplicativo. Este elemento denotado por x^{-1}=1/x=\frac{1}{x}\,\! se conoce como inverso multiplicativo de x\,\!.

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 cardinalidad 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.

Se dirá que x<y\,\! o y>x\,\! sólo si x\,\! es menor que y\,\!. O dicho de otra forma, si y\,\! es mayor que x\,\!.

De manera rigurosa, se puede decir que existe un conjunto O \subset \mathbb{R}\times\mathbb{R}\,\! tal que x<y\,\! si y sólo si (x,y)\in O\,\!.

Se dan a continuación los Axiomas de Orden

Axioma

O1.1 Si x,y \in \mathbb{R}\,\!, entonces se cumple una y solamente una de las siguientes afirmaciones:
x<y\,\!; x=y\,\!; x>y\,\!
O1.2 Si x<y\,\! y además y<z\,\!, entonces x<z\,\!.
O1.3 Si x<y\,\!, entonces x+z<y+z\,\! para todo z \in \mathbb{R}\,\!
O1.4 Si x<y\,\! y z>0\,\!, entonces xz<yz\,\!.

Análisis axiomático

  • El axioma (1.2) dice geométricamente que si x\,\! está a la izquierda de y\,\! y éste a su vez a la izquierda de z\,\!, entonces debe estar x\,\! a la izquierda de z\,\!. Esta interpretación es bastante útil.

Axioma topoló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 topoló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.

Véase también

Obtenido de "Axiomas de los n%C3%BAmeros reales"

Wikimedia foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Mira otros diccionarios:

  • Axiomas de probabilidad — Saltar a navegación, búsqueda Los axiomas de probabilidad son las condiciones mínimas que deben verificarse para que una función que definimos sobre unos sucesos determine consistentemente valores de probabilidad sobre dichos sucesos. La… …   Wikipedia Español

  • Fondo y génesis de la teoría de los topos — Saltar a navegación, búsqueda Esta página presenta de modo amplio la idea matemática de los topos. Ésta es una rama de la teoría de categorías, y tiene reputación de ser abstrusa. El nivel de abstracción involucrado no se puede reducir más allá… …   Wikipedia Español

  • Número real — Diferentes clases de números reales. Recta real …   Wikipedia Español

  • 0,9 periódico — En matemáticas, 0,999... es el número decimal periódico que se demuestra denota[1] al número 1. En otras palabras, los símbolos 0,999... y 1 son dos representaciones distintas del mismo número real. Las demostraciones matemáticas de esta igualdad …   Wikipedia Español

  • Demostración matemática — Saltar a navegación, búsqueda Para otros usos de este término, véase Demostración. Una deducción o demostración matemática es una sucesión coherente de pasos que, tomando como verdadero un conjunto de premisas llamado hipótesis, permite asegurar… …   Wikipedia Español

  • Filosofía de la matemática — Saltar a navegación, búsqueda La filosofía de las matemáticas es una rama de la filosofía. Según Michael Dummett puede considerarse que hay cuatro preguntas fundamentales sobre el contenido de la filosofía de las matemáticas: ¿Cómo sabemos que… …   Wikipedia Español

  • Espacio vectorial — Saltar a navegación, búsqueda Un espacio vectorial es un conjunto de objetos (llamados vectores) que pueden escalarse y sumarse. Un espacio vectorial (o espacio lineal) es el objeto básico de estudio en la rama de la matemática llamada álgebra… …   Wikipedia Español

  • Axioma de elección — Saltar a navegación, búsqueda En matemáticas, el axioma de elección o axioma de escogencia, abreviado usualmente AE, o AC por sus siglas en inglés, es un axioma de la teoría de conjuntos. Intuitivamente, AE dice que dada una colección de… …   Wikipedia Español

  • Conjuntos numéricos — Uno o varios wikipedistas están trabajando actualmente en este artículo o sección. Es posible que a causa de ello haya lagunas de contenido o deficiencias de formato. Si quieres, puedes ayudar y editar, pero por favor: antes de realizar… …   Wikipedia Español

  • Teoremas de incompletitud de Gödel — Kurt Gödel a los 19 años de edad, cinco años antes de la demostración de los teoremas. Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1930. Ambos están relacionados con la… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”