UNIVERSIDAD PEDAGOGICA NACIONAL FRANCISCO MORAZAN FACULTAD

DE CIENCIA Y TECNOLOGIA
CENTRO DE EDUCACION A DISTANCIA

LA PROPIEDAD ARQUIMEDIANA DE LOS NMEROS REALES

ARLEN FABRICIO PEREZ E ILIN MAURICIO AGUILAR

ANALISIS REAL
PROFESORADO DE MATEMATICA EN EL GRADO DE LICENCIATURA
LA CEIBA, ATLANTIDA
FEBRERO 2015
 2

Resumen

En este trabajo presentamos el estudio sobre un conjunto denominado conjunto

de los nmeros reales, denotado por R , que efectivamente cumple con la propiedad

conocida como propiedad de completitud la cual ser nuestro objeto de estudio.

La propiedad arquimediana de los nmeros reales garantiza el hecho de que el

conjunto de los nmeros naturales no est acotado por arriba en R . Es decir que no

hay ningn nmero real que sea ms grande que todos los nmeros naturales.

Esto se puede decir de otras maneras equivalentes que pueden no resultar

evidentes a primera vista como por ejemplo: entre dos nmeros reales hay siempre un

racional o un real no negativo es menor que 1/n para toda n, entonces es cero.
 3

Tabla de Contenidos

Resumen.........................................................................................................................ii
En este trabajo presentamos el estudio sobre un conjunto denominado conjunto de los
nmeros reales, denotado por R , que efectivamente cumple con la propiedad
conocida como propiedad de completitud la cual ser nuestro objeto de estudio..........ii
Captulo 1 Propiedad Arquimediana de los Nmeros Reales..............................................1
Proposicin. Si a , b R , son nmeros reales con a>0 entonces existe un
nmero natural n N tal que na>b . ....................................................................1
Teorema 6. Propiedad de Arqumedes en R....................................................................2
Densidad de orden en R.......................................................................................................3
Dados dos nmeros racionales distintos, < , siempre existe otro nmero racional....3
Axioma del supremo........................................................................................................4
Propiedades de los nmeros reales......................................................................................4
Propiedad de densidad.....................................................................................................4
Propiedad arquimediana..................................................................................................4
Supremos e nfimos.........................................................................................................4
Proposicin 1;..................................................................................................................5
Si s es cota superior de A y adems s pertenece a A, implica que s es mximo y supremo
de A......................................................................................................................................5
Proposicin 2;..................................................................................................................5
si s es cota inferior de A y adems s pertenece a A, implica que s es nfimo y mnimo
de A. (www.cec.uchile.cl)................................................................................................5
Captulo 2.............................................................................................................................5
Desarrollo de ejercicios.......................................................................................................5
TEOREMA 7...................................................................................................................7
Corolario de la propiedad de Arqumedes.......................................................................7
Corolario de la propiedad de arquimedes........................................................................9
Captulo 3 Resultados y discusin...................................................................................9
Densidad de Q................................................................................................................10
Captulo 1

Propiedad Arquimediana de los Nmeros Reales

La propiedad de Arqumedes garantiza el hecho de que el conjunto de los

nmeros naturales no est acotado por arriba en R. Aunque parezca un resultado obvio,

es sumamente importante y la demostracin del teorema de la propiedad de Arqumedes

en R requiere de la propiedad de completitud de R. (Gonzales, 2004)

La propiedad de completitud enuncia que los nmeros reales tienen la propiedad

de completar la recta numrica. (ar.answers.yahoo.com)

Proposicin. Si a , b R , son nmeros reales con a>0 entonces existe un

nmero natural n N tal que na>b .

En algebra abstracta y anlisis, la propiedad arquimediana es una propiedad que

poseen ciertas estructuras algebraicas como por ejemplo algunos grupos o cuerpos

ordenados o normados. De manera informal, es la propiedad de no poseer elementos

infinitamente grandes o infinitamente pequeos.

Una estructura algebraica en la cual dos elementos no nulos son comparables, en

el sentido que ninguno de ellos es infinitesimal con respecto al otro, se dice que es

arquimediano. (Wikipedia)
 La propiedad arquimediana de los nmeros reales afirma que dados dos nmeros

racionales > 0 y siempre existe un n natural tal que n > . Esto quiere decir

que por muy pequeo que sea , si consideramos la sucesin de racionales

, 2 , 3 , , llegara un momento en que sobrepasaremos a , por muy grande

que este sea.

1
Ejemplo: = , =21
10

2 3 211
< ,2= < ,3 = < , , 211 = >21= CITATION htt1 \l
10 10 10

18442 (wmatem.eis.uva.es)

Teorema 6. Propiedad de Arqumedes en R

x R n x N tal que x< n x .

Demostracin:

Por contradiccin supongamos que n N y x R se cumple que x> n .

entonces x es una cota superior de N y como N , por la propiedad del supremo, N

posee un supremo, digamos ,R .

Como 1< , por el teorema 4, tomando =1 , existe

m N tal que 1<m .

 As < +1, m+1 N . De manera que no puede ser cota superior de N

y en consecuencia no puede ser supremo de N, lo cual es una contradiccin a la

propiedad del supremo.

La contradiccin emerge de suponer que n N y x R se cumple x> n .

Luego, si x R entonces n x , n x N tal que x< n x , de manera que N no posee

un ltimo elemento. (Gonzales, 2004)

Densidad de orden en R.

Dados dos nmeros racionales distintos, < , siempre existe otro nmero racional

tal que < < .

a c a+c
Para ello, si = y = , con b y d positivos, basta con sumar =
b d b+d

por ejemplo, entre 3/5 y 2/3 se encuentra 5/8.

Ahora bien, reiterando el proceso de introducir un racional entre cada dos

racionales distintos es claro que entre dos racionales distintos existen infinitos racionales

3
distintos, por ejemplo, ahora entre 3/5 y 5 /8 se encuentra 8/13 , entre y 8/13
5

2
se encuentra 11/18, etc., tenemos as 3/5< < 11/18<8 /13<5 /8<2/3 .
3

Por esta razn es que se afirma que el conjunto de los racionales es un conjunto

denso. No tiene sentido hablar del racional siguiente o anterior a uno dado. Esto es algo
que no ocurra ni en el conjunto de los naturales ni en el de los enteros.

(wmatem.eis.uva.es)

Axioma del supremo.

Este es un axioma realmente caracterstico de los nmeros reales, establece que

todo conjunto A (no vaco) de reales, acotado superiormente posee un supremo, es decir,

existe un real s tal que s=supA en donde:

A esta acotado superiormente si un s=s upA si:

real M tal que x M X A a) S es cota superior de A.

b) T es cota superior de A s t .
Adems:
Es decir:
A todo nmero con esta propiedad se le
S es la mnima de todas las cotas
llama cota superior de A.
superiores de A.
(calculo/Reales) (calculoinfinitesimal.wordpress.com)

Propiedades de los nmeros reales.

Propiedad de densidad

Si A, B R con A< B , existe un nmero racional C( r) tal que

A <C (r )< B .
Propiedad arquimediana

+
Si A , B R existe un entero positivo C( n) tal que C(n) A > B . (Ayres,

2003)

Supremos e nfimos

Proposicin 1;

Si s es cota superior de A y adems s pertenece a A, implica que s es mximo y

supremo de A.

Proposicin 2;

si s es cota inferior de A y adems s pertenece a A, implica que s es nfimo y

mnimo de A. (www.cec.uchile.cl)

Captulo 2

Desarrollo de ejercicios

1
1) Si y >0 probar que existe nN tal que n
<y
2

1
Por contradiccin : n N tenemos: n
y
2

Entonces: 1 2n y

1 n
2
y
 1
Aplicando log 2 log 2 2n (por propiedades de logaritmos
y
log 2 ( 2n )=n )

1
log 2 n
y

Cuando y=1 log 2 (1)=0

1
Cuando y= log 2 (2)=1
2

2
1/
Cuando y=2

log 2

1
Cuando y= log 2 (5)=2.32
5

1 1
Como y>0 y log 2 no satisface que y
y 2n

1
Se cumple que n N / <y
2n

2) Es la suma o el producto de dos nmeros Irracionales, un numero irracional?

Suma de irracionales:

Si m y n son dos nmeros naturales y tales que m y n son irracionales, entonces

m n tambin son irracionales.

Demostracin: Supongamos, por el contrario, que por ejemplo m n a /b Q.

Entonces m a/b n

m ( a / b) 2 2( a / b ) n n

2( a / b) n ( a / b) 2 n m , luego por ser a/b 0,

( a / b) 2 n m
n
2( a / b ) Q

La suma de dos irracionales da como resultado un nmero irracional

3) Modificar el razonamiento empleado en la demostracin del teorema 7 para

demostrar los siguientes enunciados:

Teorema 7

Si tres nmeros reales cualesquiera x, y ,z , tal que y >0 satisfacen que

y
z x z+ , n Nentonces x=z
n

Con el uso de este teorema se desarrollan los siguientes ejercicios:

2
a) Existe un nmero real positivo y tal que y =3
2
Si tres nmeros reales cualesquiera y , x ,3 tal que x> 0 satisfacen que
 x
3 y 2 3+ , n Nentonces y 2=3
n
2
a) 3 y
2 x
b) y 3+
n

Ya se sabe que 3 y 2 , segn la ley de tricotoma: 3< y 2 o 3= y 2 . Se debe demostrar

que 3< y 2 no es factible.

Si 3< y 2 y 23> 0

Corolario de la propiedad de Arqumedes

Existe n , n Ntal que z <ny , para y >0, z> 0

n , n N n( y 23)> x , x >0, x R

y 2 3> x /n

y 2 >3+ x /n , aqu se contradice la relacin b)

y 2 =3

b) Si a>0 , existe un nmero real positivo z tal que z 2=a (a este nmero se
le
1
denota por a o a2 y se le llama raz cuadada positiva de a)

Si tres nmeros reales cualesquiera z 2 , x , a tal que x >0 satisfacen que:

x
a z 2 a+ , n Nentonces z 2=a
n

a) a z2
2 x
b) z a+
n

Ya se sabe que a z 2 , segn la ley de tricotoma: a< z 2 o a=z2 . Se debe demostrar

que
 a< z 2 no es factible.

Si a< z 2 z 2a> 0

Corolario de la propiedad de Arqumedes

Existe n , n Ntal que z <ny , para y >0, z> 0

z
( 2a)> x , x> 0, x R
n , n N n
2 x
z a>
n
2
z >a+ x /n , aqu se contradice la relacin b)
2
z =a

c) Existe un nmero real positivo tal que 3=2

Si tres nmeros reales cualesquiera 3 , x ,2 tal que x >0 satisfacen que

x
2 3 2+ , n Nentonces 3=2
n
a) 2 3
3 x
b) 2+
n

Ya se sabe que 2 3 , segn la ley de tricotoma: 2< 3 o 2= 3 . Se debe

demostrar que 2< 3 no es factible.

3 3
Si 2< 2> 0

Corolario de la propiedad de arquimedes

Existe n , n Ntal que z <ny , para y >0, z> 0

 n , n N n(33)> x , x >0, x R

32> x /n

x
3 >2+ , aqu se contradice la relacin b)
n
3
=2

Captulo 3

Resultados y discusin.

Todo conjunto no vaco y acotado superiormente posee un supremo.

Diremos que un conjunto A posee un supremo, si existe un real s que satisface las

dos condiciones siguientes:

S es una cota superior de A.

cualquier otra cota superior de A es mayor que s.

Notas:

a) los nmeros reales son los nicos en los cuales se verifica el axioma del supremo.
b) Las consecuencias de mayor trascendencia del axioma del supremo son la

existencia de los nmeros reales y la propiedad arquimediana de los nmeros.

(diccio-mates.blogspot.com)

Densidad de Q

Definicin

(Relacin de menor)
 c
a c a da c
<
b d b b d

Definicin:

Un cuerpo es denso respecto de la relacin < si y solo si

x< y z K / x< z< y CITATION Arm96 \l 18442

(Rojo, 1996)

Es intuitivamente claro que el conjunto de los nmeros naturales no est acotado

en R. La demostracin rigurosa de este hecho es una consecuencia inmediata de la

propiedad arquimediana de los nmeros reales, propiedad fundamental que como hemos

visto se deduce del axioma del supremo. (Lopez, 2003)

Con respecto a la continuidad en los nmeros reales tenemos que con el axioma

del supremo se completa el conjunto de axiomas que caracterizan totalmente a los reales,

es decir, R es el nico conjunto numrico que verifica los axiomas de cuerpo, de orden y

del supremo.
 Las consecuencias de mayor trascendencia del axioma del supremo son la

existencia de nmeros irracionales y la propiedad arquimediana de los nmeros reales.

(matematicas-maravillosas.blogspot.com) Referencias bibliogrficas

ar.answers.yahoo.com. (s.f.). Obtenido de https://ar.answers.yahoo.com/question/index?

qid=20080421123341AA9uobp
Ayres, F. (2003). Algebra Moderna. En F. Ayres, Algebra Moderna (pgs. 68, 69, 70).
Naucalpan de Juarez: McGraw- Hill.
calculo/Reales. (s.f.). Obtenido de ;
http://132.248.17.238/calculo/Reales/r_modelr01.html
calculoinfinitesimal.wordpress.com. (s.f.). Obtenido de
https://calculoinfinitesimal.wordpress.com/2009/10/20/la-propiedad-
arquimediana/
diccio-mates.blogspot.com. (s.f.). Obtenido de http://diccio-
mates.blogspot.com/2011/06/axioma-del-supremo.html
Gonzales, C. M. (2004). Analisis Real. En C. M. Gonzales, Analisis Real. san jose, costa
rica: EUNED.
Lopez, A. G. (febrero de 2003). jacobi.fis.ucm.es. Obtenido de
http://jacobi.fis.ucm.es/metodos/Apuntes/ci-ag.pdf
matematicas-maravillosas.blogspot.com. (s.f.). Obtenido de http://matematicas-
maravillosas.blogspot.com/2011/06/continuidad-en-los-reales-axioma-del.html
Rojo, A. O. (1996). Algebra 1. En A. O. Rojo, Algebra 1. Buenos Aires: EL ATENEO.
Wikipedia. (s.f.). Obtenido de http://es.wikipedia.org/wiki/Axioma_de_Arqu
%C3%ADmedes
wmatem.eis.uva.es. (s.f.). Obtenido de
http://wmatem.eis.uva.es/~matpag/CONTENIDOS/Reales/reales.htm
www.cec.uchile.cl. (s.f.). Obtenido de
http://www.cec.uchile.cl/~itrujill/Guia_de_ejercicio_resueltos.pdf