Está en la página 1de 4

Axiomas de los n�meros reales

Ir a la navegaci�nIr a la b�squeda
Spanish Language Wiki.svg
Este art�culo o secci�n sobre matem�ticas necesita ser wikificado, por favor,
ed�talo para que las cumpla con las convenciones de estilo.
Este aviso fue puesto el 25 de marzo de 2013.
Commons-emblem-question book orange.svg
Este art�culo o secci�n necesita referencias que aparezcan en una publicaci�n
acreditada.
Este aviso fue puesto el 6 de abril de 2018.
En matem�ticas para que una afirmaci�n sea considerada v�lida debe o bien estar
contenida dentro de una base de afirmaciones de partida, los denominados axiomas, o
debe poder demostrarse a partir de los mismos. Los axiomas son por tanto los
pilares fundamentales de toda rama de las matem�ticas, y a partir de ellos,
mediante las demostraciones matem�ticas, se deduce la veracidad de cualquier
afirmaci�n.

Los axiomas ser�n, por tanto, afirmaciones que se aceptan como verdaderas y que su
veracidad no puede ser demostrada a partir de otros axiomas. Un axioma no se
caracteriza por si resulta una afirmaci�n trivial o intuitiva, siendo el axioma de
elecci�n un ejemplo de un axioma que no resulta trivial.

El otro tipo de afirmaciones a las que se hace referencia diciendo: �afirmaci�n no


trivial�, son los teoremas, que son 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.

Existen tres tipos de axiomas: los axiomas algebraicos, los axiomas de orden y el
axioma topol�gico.

El primero, trata de las propiedades de la suma, la resta, la multiplicaci�n y la


divisi�n; el segundo establece un orden para los elementos de cada conjunto dado;
el tercero trata sobre la noci�n de continuidad.

�ndice
1 Axioma fundamental
2 Axiomas algebraicos
2.1 Axiomas de la adici�n
2.2 Axiomas de la multiplicaci�n
2.3 Axioma de distribuci�n
2.3.1 An�lisis axiom�tico
3 Axiomas de orden
3.1 An�lisis axiom�tico
4 Axioma topol�gico
4.1 An�lisis axiom�tico
5 V�ase tambi�n
Axioma fundamental
Existe un conjunto que se denota por {\displaystyle \mathbb {R} }\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 conjunto de los n�meros
reales y los axiomas de este conjunto comprenden las bases del 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.

Axiomas de la adici�n
A1.1 Para todo {\displaystyle x,y\in \mathbb {R} }{\displaystyle x,y\in \mathbb {R}
}, existe un �nico elemento, tambi�n en {\displaystyle \mathbb {R} }\mathbb{R},
denotado por {\displaystyle {\mathit {x}}+{\mathit {y}}\,\!}{\displaystyle {\mathit
{x}}+{\mathit {y}}\,\!} que llamamos la suma de {\displaystyle {\mathit {x}}\,\!}
{\displaystyle {\mathit {x}}\,\!} e {\displaystyle {\mathit {y}}\,\!}{\displaystyle
{\mathit {y}}\,\!}.
A1.2 {\displaystyle {\mathit {x}}+{\mathit {y}}={\mathit {y}}+{\mathit {x}}\,\!}
{\displaystyle {\mathit {x}}+{\mathit {y}}={\mathit {y}}+{\mathit {x}}\,\!} para
todo {\displaystyle x,y\in \mathbb {R} }{\displaystyle x,y\in \mathbb {R} }.
A1.3 {\displaystyle ({\mathit {x}}+{\mathit {y}})+{\mathit {z}}={\mathit {x}}+
({\mathit {y}}+{\mathit {z}})\,\!}{\displaystyle ({\mathit {x}}+{\mathit {y}})+
{\mathit {z}}={\mathit {x}}+({\mathit {y}}+{\mathit {z}})\,\!} para todo
{\displaystyle x,y,z\in \mathbb {R} }{\displaystyle x,y,z\in \mathbb {R} }.
A1.4 Existe un elemento de {\displaystyle \mathbb {R} }\mathbb{R}, denotado por
{\displaystyle \mathrm {0} \,\!}{\displaystyle \mathrm {0} \,\!} tal que
{\displaystyle {\mathit {x}}+0={\mathit {x}}\,\!}{\displaystyle {\mathit {x}}
+0={\mathit {x}}\,\!} para todo {\displaystyle x\in \mathbb {R} }{\displaystyle
x\in \mathbb {R} }.
A1.5 Para cada {\displaystyle x\in \mathbb {R} }{\displaystyle x\in \mathbb {R} }
existe un {\displaystyle y\in \mathbb {R} }{\displaystyle y\in \mathbb {R} } tal
que {\displaystyle {\mathit {x}}+{\mathit {y}}=0\,\!}{\displaystyle {\mathit {x}}+
{\mathit {y}}=0\,\!}.
Axiomas de la multiplicaci�n
A2.1 Para todo {\displaystyle x,y\in \mathbb {R} }{\displaystyle x,y\in \mathbb {R}
}, existe un �nico elemento, tambi�n en {\displaystyle \mathbb {R} }\mathbb{R},
denotado por {\displaystyle xy\,\!}{\displaystyle xy\,\!} que llamaremos el
producto de {\displaystyle x\,\!}x\,\! e {\displaystyle y\,\!}{\displaystyle
y\,\!}.
A2.2 {\displaystyle xy=yx\,\!}{\displaystyle xy=yx\,\!} para todo {\displaystyle
x,y\in \mathbb {R} }{\displaystyle x,y\in \mathbb {R} }.
A2.3 {\displaystyle (xy)z=x(yz)\,\!}{\displaystyle (xy)z=x(yz)\,\!} para todo
{\displaystyle x,y,z\in \mathbb {R} }{\displaystyle x,y,z\in \mathbb {R} }.
A2.4 Existe un elemento de {\displaystyle \mathbb {R} }\mathbb{R}, que denotaremos
por {\displaystyle 1\,\!}{\displaystyle 1\,\!} tal que {\displaystyle 1x=x1=x\,\!}
{\displaystyle 1x=x1=x\,\!}
A2.5 Para cada {\displaystyle x\in \mathbb {R} }{\displaystyle x\in \mathbb {R} }
tal que no sea cero, existe un {\displaystyle y\in \mathbb {R} }{\displaystyle y\in
\mathbb {R} } tal que {\displaystyle xy=1\,\!}{\displaystyle xy=1\,\!}.
Axioma de distribuci�n
Este axioma conecta la suma o resta con la multiplicaci�n:

A3.1 Para todo {\displaystyle x,y,z\in \mathbb {R} \,\,(x+y)z=xz+yz}{\displaystyle


x,y,z\in \mathbb {R} \,\,(x+y)z=xz+yz}.
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. Se generaliza para n sumandos.
El axioma (1.3) conocido como �propiedad asociativa de la suma� dice que la
asociaci�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 (es 0). Si este elemento es {\displaystyle x\,\!}x\,\!, el
n�mero tal que la suma de este y el otro n�mero sea cero es {\displaystyle (-
x)\,\!}{\displaystyle (-x)\,\!}. Este elemento se llama �opuesto aditivo� de
{\displaystyle x\,\!}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 este con otro
real, sigue siendo este �ltimo. Este elemento denotado por {\displaystyle
1\,\!}1\,\! se conoce como �neutro multiplicativo�.
El axioma (2.5) dice que para cualquier real {\displaystyle x\,\!}x\,\! no nulo,
existe otro, tal que el producto de ambos da como resultado el neutro
multiplicativo. Este elemento denotado por {\displaystyle x^{-1}=1/x={\frac {1}
{x}}\,\!}{\displaystyle x^{-1}=1/x={\frac {1}{x}}\,\!} se conoce como �inverso
multiplicativo� de {\displaystyle x\,\!}x\,\!.
Axiomas de orden
Los axiomas de orden establecen una relaci�n de cantidad. 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 este, es decir, si su cardinalidad
es menor o igual que otra.

Para establecer una relaci�n de orden, es necesario introducir el s�mbolo


{\displaystyle <\,\!}{\displaystyle <\,\!} que nos dir� si un n�mero es mayor o
menor que otro. Para la igualdad se usa el s�mbolo {\displaystyle =\,\!}
{\displaystyle =\,\!} que ya conocemos.

Se dir� que {\displaystyle x<y\,\!}{\displaystyle x<y\,\!} o {\displaystyle


y>x\,\!}{\displaystyle y>x\,\!} solo si {\displaystyle x\,\!}x\,\! es menor que
{\displaystyle y\,\!}{\displaystyle y\,\!}. O dicho de otra forma, si
{\displaystyle y\,\!}{\displaystyle y\,\!} es mayor que {\displaystyle x\,\!}x\,\!.

De manera rigurosa, se puede decir que existe un conjunto {\displaystyle


O\subset \mathbb {R} \times \mathbb {R} \,\!}{\displaystyle O\subset \mathbb {R}
\times \mathbb {R} \,\!} tal que {\displaystyle x<y\,\!}{\displaystyle x<y\,\!} si
y solo si {\displaystyle (x,y)\in O\,\!}{\displaystyle (x,y)\in O\,\!}.

O1.1 Si {\displaystyle x,y\in \mathbb {R} \,\!}{\displaystyle x,y\in \mathbb


{R} \,\!}, entonces se cumple una y solamente una de las siguientes afirmaciones:
{\displaystyle x<y\,\!}{\displaystyle x<y\,\!}; {\displaystyle x=y\,\!}
{\displaystyle x=y\,\!}; {\displaystyle x>y\,\!}{\displaystyle x>y\,\!}
O1.2 Si {\displaystyle x<y\,\!}{\displaystyle x<y\,\!} y adem�s {\displaystyle
y<z\,\!}{\displaystyle y<z\,\!}, entonces {\displaystyle x<z\,\!}{\displaystyle
x<z\,\!}.
O1.3 Si {\displaystyle x<y\,\!}{\displaystyle x<y\,\!}, entonces {\displaystyle
x+z<y+z\,\!}{\displaystyle x+z<y+z\,\!} para todo {\displaystyle z\in \mathbb
{R} \,\!}{\displaystyle z\in \mathbb {R} \,\!}
O1.4 Si {\displaystyle x<y\,\!}{\displaystyle x<y\,\!} y {\displaystyle z>0\,\!}
{\displaystyle z>0\,\!}, entonces {\displaystyle xz<yz\,\!}{\displaystyle
xz<yz\,\!}.
O1.5 Si {\displaystyle x<y\,\!}{\displaystyle x<y\,\!} y {\displaystyle z<0\,\!}
{\displaystyle z<0\,\!}, entonces {\displaystyle xz>yz\,\!}{\displaystyle
xz>yz\,\!}.
An�lisis axiom�tico
El axioma (1.2) dice geom�tricamente que si {\displaystyle x\,\!}x\,\! est� a la
izquierda de {\displaystyle y\,\!}{\displaystyle y\,\!} y este a su vez a la
izquierda de {\displaystyle z\,\!}{\displaystyle z\,\!}, entonces debe estar
{\displaystyle x\,\!}x\,\! a la izquierda de {\displaystyle z\,\!}{\displaystyle
z\,\!}. Esta interpretaci�n es bastante �til.
(R,+, � , =) es un cuerpo ordenado.

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, si
se quiere.

Toda sucesi�n creciente y acotada superiormente es convergente.

An�lisis axiom�tico
Hay varios conceptos que deben conocerse para entender el significado de este
axioma. �stos, son los de �sucesi�n�, �creciente�, �acotado superiormente� y
�convergencia�.

Si tenemos una sucesi�n infinita de n�meros reales {\displaystyle \


{x_{i}\}=(x_{1},x_{2},x_{3},\cdots )}{\displaystyle \
{x_{i}\}=(x_{1},x_{2},x_{3},\cdots )}, decimos que es creciente (d�bilmente) si
{\displaystyle x_{i}\leq x_{i+1}}{\displaystyle x_{i}\leq x_{i+1}} para todo
{\displaystyle i}i. La sucesi�n es acotada superiormente si existe una constante
real {\displaystyle c}c tal que {\displaystyle x_{i}\leq c}{\displaystyle x_{i}\leq
c}. En este caso, el axioma topol�gico dice que si la sucesi�n {\displaystyle \
{x_{i}\}}{\displaystyle \{x_{i}\}} es creciente y acotada superiormente, entonces
es convergente, es decir, existe un n�mero real {\displaystyle x}x que es el l�mite
de la sucesi�n: {\displaystyle x=\lim _{i\rightarrow \infty }x_{i}}{\displaystyle
x=\lim _{i\rightarrow \infty }x_{i}}.

Puede verse que los n�meros racionales no satisfacen este axioma. Por ejemplo, si
se toma la secuencia de aproximaciones decimales de {\displaystyle {\sqrt {2}}}
{\sqrt {2}} donde {\displaystyle x_{1}=1,4}{\displaystyle x_{1}=1,4},
{\displaystyle x_{2}=1,41}{\displaystyle x_{2}=1,41}, {\displaystyle x_{3}=1,414}
{\displaystyle x_{3}=1,414} y en general {\displaystyle x_{n}}x_{n} es el n�mero
con las primeras {\displaystyle n}n cifras decimales de {\displaystyle {\sqrt
{2}}=1,4142135623730950488016887242097...}{\displaystyle {\sqrt
{2}}=1,4142135623730950488016887242097...}, entonces todos los {\displaystyle
x_{i}}x_{i} son n�meros racionales que satisfacen las condiciones del axioma, pero
el l�mite no se encuentra en los racionales. Por otra parte, el axioma topol�gico
nos dice que existe un n�mero real que es el l�mite de cualquier sucesi�n que se
obtenga al tomar las cifras decimales parciales de una secuencia de d�gitos
arbitraria. De esta forma las representaciones decimales infinitas no peri�dicas
representan siempre n�meros reales, y es posible demostrar que todo n�mero real
puede escribirse como el l�mite de una de estas secuencias, aunque no siempre de
manera �nica.

También podría gustarte