-

14

CAIPIITIIDLO II

EL

Breve

SIISTEMA

Introduccin

lEDE L O S

HIIUJMEISOS

SEALES

El concepto de nmero ( por ahora solo hablaremos de nmeros enteros p o s i t i vos o naturales ), que ton familiar no es hoy o nosotros, fue elaborado muy
lentamente. El algunas rozos ios nmeros mayores que dos o tres no tenan
ya nombre; en otros llegaban algo mes lejos pero terminaban ol cobo de po cos nmeros; paro los restantes decan simplemente " muchos " o " incontables".
Solo gradualmente se fueron acumulando en los pueblos un conjunto de nombres claramente distintos poro los nmeros.
A l proncipio estos pueblos no tenan lo nocin de nmero, aunque podors o
su manera, juzgar sobre el tamao de una u otro coleccin de objetos cori
los que se encontraban a d i a r i a .
Debemos concluir que los nmeros eran d i rectamente percibidos por ellos como uno propiedod inseparable de una coleccin de objetos, una propiedad que ellos, sin embargo, no podan coramen te d i s t i n g u i r .
A un nivel inmediatamente superior, el nmero aparece yo como uno p r o p i e dad de uno coleccin de objetos, aunque no se distingue todava de lo c o l e c c i n en cuanto " nmero obstracto " , en cuanto nmero no relacionado con
objetos concretos. Esto es cloro si observemos los nombres que reciben a l g u nos nmeros entre ciertos pueblos : " mano " paro c i n c o y " hombre completo "
poro v e i n t e . A q u c i n c o se entiende no en sentido abstracto sino simplemente en el sentido de "tantos como los dedos de uno mano " , veinte en '* t a n tos co.mo los dedos de los monos y los pies de un honnbre " , y as sucesivam e n t e . De un modo completamente anlogo, ciertos pueblos no tenan Ic^
conceptos de " negro " , " duro " o " circular " .
Poro decir que un objeto es
negro, lo comparaban con un cuervo, por ejemplo, y paro decir que haba
c i n c o objetos comparaban directamente estos objetos con uno mono. De este modo tambin ocurri que se u t i l i z a r o n distintos nombres paro contar personas, otras poro contar botes y as sucesivamente, hosto llegar incluso a
diez diferentes clases de nmeros ,
Pero no se troto de nmeros obstroctos, sino simplemente

de uno especie de

1*^
sJ

" a p e l a c i n " referidasolo a una clase concreto de o b j e t o s .

Otros pueblos no tenan en general nombres para designar ios nmeros; por
ejemplo, no exista lo palc>ra " t r e s " , aunque podan decir "tres h o n i r e s " o
en "tres lugares" , e t c .
El nmero de objetos de uno c o l e c c i n dada es una propiedad de lo c o l e c c i n ,
pero el nmero en s, el "nmero abstracto", es uno propiedad csstrada de
la c o l e c c i n concreta y conderodosimplemente en s i misma, oi igual que
"negrura" o " d u r e z a " .
Y lo mismo que lo negrura es una propiedad comn
a todos los objetos del color del carbn, os e l nmero " c i n c o " es la p r o p i e dad comn a todas los colecciones que contienen objetos como dedos hoy en
vna mono. En este coso la igualdad de los nmeros se establece por simple
comparacin : tomamos un dajeto de la c o l e c c i n , doblamos un dedo, y o s
hasta terminar la c o l e c c i n .
En general, apareando los objetos d e dos c o lecciones es posible establecer, sin hocer uso para nada de los nmeros, si
los colecciones tienen o no ei mismo nmero de objetos .
D e este modo es posible dar lo siguiente d e f l n i c i n : ua nmero ( 5ol
mo " dos" , " c i n c o " , e t c . ) es aquella propiedad de los colecciones de
jetes que es comn o todos las colecciones cuyos objetos pueden ponetse
correspondencia biunvoca unos con otros, y que es diferente en aquellos
lecciones paro ios cuales tal correspondencia es imposible .

cocaen
co-

Paro descubrir esta propiedad y distinguirlo claramente - esto es, para formar
el concepto de nmero y darle un nombre : " seis " , "diez " , e t c . - f u e
necesario comparar entre s muchas colecciones de objetos .
Los operaciones con nmeros aparecen como r e f l e j o de ios relaciones entre
los objetos concretos. Esto se observa incluso en los nombres de los nmeros.
Por ejemplo , entre ciertos indios americanos el nmero "veintisis" se p r o nuncio "encima de dos dieces coloco un seis " , qus es claramente reflejo
de un mtodo concreto de contar objetos.
l a a d i c i n corresponde a situar
untas o unidas dos o ms colecciones , y es igualmente fcil entender el s i g nificado concreto de lo sustraccin , m u l t i p l i c o c i n y divisin .
Lo m u l t i p l i c a c i n en particular se debi en gran p a r t e , como parece c l o r o ,
a l hbito de contar colecciones iguales; esto es, por doses, por treses, e t c .
En e l proceso de contar,

los hombre no solo descubrieron y asimiloron ios

16

relaciones entre los nmeros, como, por ejemplo, que dos y tres son c i n c o ,
sino que tambin fueron estableciendo gradualmente ciertas leyes generales.
Experimentalmente se descubri que una suma no depende del orden de los
sumandos y que el resultado de contar un conjunto dado de objetos no depende del orden en que se c u e n t e . D e este modo los nmeros aparecen no c o mo entidades separados e independientes, sino reioclonodas unas con otros.
Algunos nmeros se expresan y escriben en trminos de otros. A s i , en i n gls " v e i n t e " denota " dos ( veces ) diez " ; en francs " ochenta " es
"cuatro - veintes " ( quatre vingt ) " , "noventa " es " cuatro - veinte diez " ; y ios nmeros romanos V I H y I X , por e j e m p l o , denotan que 8 =
5 + 3 y que
9 = 1 0 - 1 .
En
vn
co
sus

general, los nmeros no aparecieron como entidades separadas, sino como

sistema con sus relaciones mutuos y sus reglas. El c>jeto de lo a r i t m t i es exactamente ste, el sistema de nmeros con sus relaciones mutuos y
reglas.

A medida que lo v i d a social se hizo ms intensa y complicada, fueron apareciendo problemas ms conplejos.. N o solo fue necesario anotcrr s i nmero de
objetos de un conjunto y comunicrselo o otros - necesidod que ya haba c o n ducido o lo formulacin del concepto de nmero y su deno.minocin - , sino
que lleg vn momento en que fue esenciol aprender o contar colecciones c a da vez mayores de animales en un rebao, de objetos pora trueque, de das
anteriores o uno fecho f i j a d a , e t c . , y comunicar el resultado de ln o p e r a c i n o otros personas. Esta situacin peda sin demora un perfeccionamiento
en los nombres y smbolos de los nmeros.
La introduccin de ios smbolos numricos, que aparentemente se produjo os
mismo tiempo que lo escritura, jug un popel en el desarrollo de lo a r i t m t i c a . Adems fue lo primera etapa hacia los signos moterrcticos y los f r mulas en g e n e r a l . Lo segunda etapa, que consisti en lu iniroduccn de
signos paro ios operaciones o'l'imticas y de una designacin l i t e r a l paro a
incgnita ( x ) , tuvo lugar mucho ms larde .
El pensamiento se formula en e l lenguaje, y esto hace que sin nombres no
puedo haber conceptos. E smbolo es tambin un nombre, excepto que no
es oral sino escrito y se presenta o la mente en forma de uno imagen v i s i b l e .
Por ejemplo, si digo " ocho " qu se imagina el lector ?
Probablemente
no un conjunto de ocho objetos de una u otro d o s e , sino mas b i e n el smbo-

17 -

lo " 8 " .
D e este modo ocurri ( ounqua solo pasado c i e r t o tiempo ) que los simboios
dieron lugar o lo concepcin de nmeros ton grandes que nunca hobon sido
descubiertos por observacin directo o por enumeracin.
C o n la aparicin del Estado surgi lo necesidad de recoger impuestos, r e c l u tor y equipar ejrcitos, e t c . , todo lo cual requiri operaciones con nmeros
muy grandes.
A s i , pues, lo importancia de los smbolos numricos reside en primer Eugor
c n que suministraron una materializacin sencilla del concepto de nTsero
abstracto, Y este es el papel de ios notaciones rrratemticos, en general i
conferir una estructuro " t a n g i b l e " o los conceptos matemticos obstroclos.
A s , -I- nota a d i c i n , x nota nmero desconocido, o un numero cuajjulero
dado, e t c .
En segundo lugar, ios smbolos numricos proporcionen un medio
particularmente sencillo de realizar operaciones con ellos .
Desde los tiempos antiguos aparecieron en los distintos pufiblos, en !av c o mienzos de sus culturas,. smbolos numricos que eran muy diferentes a los
actuales, no solo en su apariencia g e n e r a l , sino tambin en los principios en
que se fundaban .
Nuestros actuales smbolos "arbigos " , y en general nuestro mtodo de f o r mar ios nmeros fueron llevados de la Indio o Europa por los rabes en e l s i g l o X y orroigoron firmemente en el tronscurso de pocos siglos .
La particuloridod ms importante de nuestro sistema de designor nmercB es
que es " p o s i c i o n o l " ; esto es, un mismo dgito tiene distinto significado s e gn sea lo p o s i c i n . Este mtodo de escritura no solo es conciso y s e n c i l l o ,
sino que f a c i l i t a grandemente el c l c u l o .
En formo rudimentaria, el cero yo aparece en ios ltimas escritures c u n e i f o r mes babilnicas, pero su introduccin sistemtica fue obru de los indios ( e l
primer manuscrito indio en ei qua figura e! cero oparece a finales del siglo
I X ; pero es probable que el cero fuese introducido en la India bastante a n tes, en e l siglo V I ) ; e l l o les permiti eloborar un sistema de escrituro completamente posicionol como el que tens.mos hoy da .
De esto formo, el cero lleg tambin o considerarse como un nmero y entr

18 -

o formar porte del sistema de numeracin. Pero en s mismo el cero no es

nada; no obstante, en conexin con otros nmeros el cero adquiere sentido
y propiedades conocidas; por ejemplo, vn nmero arbitrario ms cero es el
mismo nmero; un nmero arbitrario m u l t i p l i c a d o por cero da c e r o .

Cmo aparecen ios fracciones ?

En ei proceso de medida generalmente ocurre que la unidad elegido no est

contenida un nmero entero de veces en la magnitud o medir, por lo que el
simple c l c u l o del nmero de unidades no es suficiente .
Surge entonces lo necesidad de fraccionar lo unidad de medida paro poder
expresar lo magnitud con mayor e x a c t i t u d en portes de lo unidad; esto es,
no mediante nmeros entero sino por medio de fracciones. Fue as como surgieron realmente ios fracciones. Las primeras magnitudes que se midieron
fueron de carcter geomtrico : longitudes, superficies de labranza y v o l m e nes de lquidos o de materiales desmenuzcfoles.
Los fracciones no surgen, ni podran surgir, de lo divisin ds nmeros e n t e ros, puesto que con nmeros enteros solo se cuentn objetos enteros .
Lo interaccin de lo geometra y de lo aritmtico no solo dio origen a las
fracciones, sino tambin ol descubrimiento de intervalos inconmesurobies, se
llaman inconmesurobies si no existe ningn intervalo que pueda aplicarse a
codo uno de ellos un nmero entero de veces, o , dicho con otros palabras,
si su cociente no puede expresarse por una f r a c c i n ordinario ( un cociente
de nmeros enteros ) .
A l p r i n c i p i o la gente sencillamente no pens en la cuestin de si todo i n t e r valo podio ser expresado por uno f r a c c i n . Si ol d i v i d i r o medir un i n t e r v a lo se llegaba o partes muy pequeas, estos se desechaban; en lo prctico no
tenia sentido hablar de una precisin i n f i n i t a en el proceso de medida.
A
partir del teorema de Pitgoras, se sigue la existencia de intervalos inconmesurobies. Por ejemplo, la diagonal de un cuadrado es inconmesurable con su
iodo; en otros palabras, el cociente de los dos no puede expresarse como
cociente de nmeros enteros. En efecto, si o es el lodo y b la diogonal
de un cuadrado, entonces segn el teoremo Je Pitgoras , 2 _ 2 ^ ^2 _ o 2
y por tonto

-b .
_ 2
a
Pero, como veremos adelante, no existe ninguna fraccin tal que su cuadrado

seo igual o 2

19

En realidad io anterior, no es ms que una muestra de lo existencia de nmeros no-racionales, es decir irracionales.
Los griegos fundaron uno teora de cocientes de intervalos, o de magnitudes
en general, que tiene en cuenta lo existencia de los intervalos inconmesurobies, sin embargo el concepto de nmero irracional no se origin entre ellos,
sino que fue uno aportacin posterior de los matemticos orientales ; en r e a l i dad uno d e f i n i c i n rigurosa de nmero r e a l , no dependiente de manera d i r e c ta de lo geometra, solo ha sido dada recientemente : en ios aos setenta del
siglo pasodo .
La interaccin de lo geometra y de la aritmtico sirvi paro algo ms que p a ra formor ei concepto de nmero r e a l ; influy en lo formacin de los nmeixe
negativos y de los complejos, esto es, de los nmeros de lo f o r m a o - H j V - 1 \
Los nmeros negativos se presentan por puntos de una lnea recto situados a la
izquierda del punto que corresponde al c e r o . Fue exactamente esta representacin geomtrica la que proporcion a los nmeros imaginarios un puesto s e guro en lo matemtica.
A l describir ei concepto
escribi : " por nmero
mo un cociente abstracto
Este nmero ( cociente ),
es inconmesurable con lo

de nmero r e a l , N e w t o n , en su " A r i t m t i c a G e n e r o ! "

entendemos no tonto una coleccin de unidades c o de uno cierta magnitud a otra tornada como unidad".
puede ser entera, rociono!, o , si lo magnitud dada
unidad, i r r a c i o n a l .

A s i pas, el nmero real en su sentido original no es otra coso que ei c o c i e n t e de una magnitud o otro tom.ada como unidad.
Por tonto, vn nmero real es, en general, un cociente ds .magnitudes, en los
cuales se ho hecho ciistraccin de su naturaleza concreta .
Igual que los nmeros enteros abstractos solo tenan inters matemtico en sus
relaciones mutuas, asi los nmeros reales abstractos solo adquieren un c o n t e n i do y se convierten en objeto de inters matemtico cuondo se relacionen entre
s dentro DEL SISTEMA DE LOS NMEROS REALES .

20

NOCIONES

Definicin

PRELIMINARES

1 . -

Dados dos conjuntos n o - v a c o s A y B, se define el conjunto p r o d u c t o cartesiano de A por B (notado A x B ) , en este orden, en lo Forma
siguiente :
A x B
Ejemplo:

Si

= |(a, b ) / a A

A ^ J O ,

1,2|

b e

&]

B = | 3 , 4 t ,

entonces:

A X E= | ( 0 , 3),

(O, 4 ) ,

( 1 , 3),

( 1 , 4),

B X A = / ( 3 , 0),

( 3 , 1 ),

(3, 2),

( 4 , O ), ( 4 , 1 ), ( 4 ,

Definicin

( 2 , 3 ), ( 2, 4 ) |

2,-

Sean A y B conjuntos,
lina aplicacin ( o funcin)
sub-conjunto f de A x B caracterizado por :
i )
Ii )

2)}

Paio todo

X A

Si ( x , y ) f

existe
y

y B

(x, y' ) ^ f,

de A en B es un

tal que ( A , y ) *
entonces

y =

f.

y'

Una aplicacin de A en B est caracterizado por la propiedad de uiignor

a coda
x A un nico
y e B.
Una aplicacin f de A en B se denota por f : A - B
y , adems, si ( x , y ) 6 f
escribimos f ( x ) = y .

5 tambin A

*B

Ejemplo.Al considerar los conjuntos A y B dados antes, los siguientes

sub-conjuntos de A x B son funciones de A en B.
f =

{(O, 3),

( 1, 3 ) ,

(2, 3 ) | ;

f -

| ( O, 4 ) ,

( 1 , 3), (2, 4)^

No son funciones de A en B los siguientes sub-conjuntos de A x B :

( ( 0,3 ), ( 1,4 ) ]
Definicin

21

j ( 0,4 ), ( 1,3 ), ( 2 , 3 ) , ( 2,4 ) |

3.-

Seo A un conjunto no-vocio, llamaremos ley de conrposicin interna definida

sobre A o toda aplicacin :
*: A X A
Si X e'

A l elemento

estn en A , escribimos

>A
* ( x,y ) " x *

x * y lo denominados la co.-nposicin ( por * ) de x con y .

Los operaciones de suma y producto e.ntre nmeros constituyen los ejemplos

naturales de leyes de composicin .

1
-

Definicin

22

.-

L l a m a r e m o s conjunto de nmeros reales, que notaremos R, o un conjunto de

objetos en e l cual hoy definidas dos leyes de composicin interna :
+ :

RX R

> R

':

( a , b ) + ( a , b ) = o + b

Rx R

^ R

( a , b ) - > , ( a , b ) = ab

que se leen " sumo " y " producto " respectivamente que satisfacen adems
los siguientes tres listas de axiomas :
Axiomas de Cuarpo .
C].-

Poro todo X
tiva ) .

C2.-

Poro todo x , y , z en R, x + ( y + z ) = ( x + y ) + z , y , x (y z ) = (x y)z

( Ley Asociativa ) .

Co.-

Poro todo x , y , z en R, x ( y + z )

C4.-

En R hoy dos elementos distintos notados O y 1 to!es qus : paro todo

x en R, X + O = X, y , x . l = X ( Existencia de elementos neutros o
mdulos ) .

Cc.~

Poro todo X en R, existe x ' en R t o ! que x -f x ' = O ( Existencia de

inverso a d i t i v o ) .

Cr.-

Poro todo x en R - { o J , existe x ' en R to! que x . x ' = 1 ( Existen c i a de inverso m u l t i p l i c a t i v o ) .

Axiomas

de

Orden

e ' y en R, X + y = y + X, y , x y = yx { Ley Conmuta-

= xy-Hxz

( Ley Distributiva ) .

Llamaremos " lo porte positiva de R. " a! sub-conjunto de R, que notaremos R,

que satisfago los siguientes axioimas, llamados Aixiomos de Orden :

Ol.-

Poro todo X e y e n R , x + y

est en R ,

y,

x . y est e n R

23

O^.-

Para todo x en R - { 0 | , x est en R"*", o, - x est en R"*" y no ambos.

O^.-

O no pertenece a R

Axioma de Completez
A c -

Axioma

del

Extre.mo

Superior

Todo conjunto no v a c i o S de nmeros reales acotado superiormente Men?

extremo superior .

CONSECUENCIAS

DE

LOS

AXIOMAS

DE

CUERPO

Propiedad 1 . Los elementos O y 1 dados en C^ son nicos .

Demst.-

Sea 1 ' en R con lo propiedad de! 1 dado en C 4 , entonces :

1 = 1.1'
Porserl 'mdulo

=
r
Porser 1 mdulo

Anlogamente se v e que el elemento O dado en C ^ es ni co

Propiedad 2 . Un i cidad de ios inversos .

Demost.-

Sean o ' y a " en R tales a + a ' = O y a +

a"= O, entonces :

a ' = a' + O = a' + ( o + a")= ( o' + o ) + a" = O + o " = a " ,

es decir :
a' = a"
Noto :

Como dado a en R, existe un nico a' en R t a l qua a + c ' -' O,

a ese o ' lo notamos - a , es d e c i r , o -f ( - o ) = O .

De manera similar se muestra que el inverso para el producto es nico .

24

Noto :

Como dado

a_ en R - OV , existe

o . o ' = 1 , a dicho o lo notamos

Propiedad

en R nico tal que

es decir, a . o "

=1

3.-

Ley cancel otiva paro el producto :

ob = o.C
Demost.

entonces

Pota todo o, b , c en R,

b == c

Supongamos qua ab = o . c , como

o.b
o

a ^ O, si

o / O

existe

o"

, entonces :

a.C.

.(o.b)

a"'.(a,c)

( pues

(o"'.a).b

(a~'.a).c

( por

l.b

I.C

et funcin )

C2

Propiedad 4 . Ley conceiotiva poro lo suma :

entonces b = c
Demost.
Propiedad

si

a-tt = o+c

Se hace en forma anlogo o lo anterior.

5.-

Posibilidad de lo substraccin :
t a i que o+x = b . ( * )
Demost.

Paro todo o, b, c en R,

Existencia.

Dados a y b en R, existe un nico x en R

.

Tomemos x = b + ( - a ) ,

o+x a+(b-f(-a)) = a+( (-a) Ht ) ^

por ser + funcin

porC]

entonces ;
(o+-a ) >tb

por C2

a + X =
Luego

25

0 +

x = b + (-o )

b = b
es solucin de ( *

Unicidad :

Supongamos ohoro que existen x y x ' en R tales que o-tx = b y .

o+x' = b .
Entonces o+x = o-tx',
y entonces por propiedad 4 , ii-y a.-^nLh^-^
X = x' .

Noto :

Como ei elemento x = b + (-o ) es n i c o , lo notamos b - a , es

decir,

Propiedad

b + (-a ) = b-a

6.-

Posibilidad de lo divisin :

Dados o y b en R,

a / ^ O, existe un nico

X en R tai que o . x = b
Demostr.

Existencia :
o.x

Tomemos x = b . o " !

o.(b.o

pues-es funcin

, entonces :

a.(a".b)

por C|

)b =

por C j

Luego :

x = b.o

Unicidad:

Supongamos que existen x y x '

Entonces

a.x = a.x'

Nota :

Como el elemento x = b.a~

l.b=b

, =cov^.r^Av\

es solucin de a . x = b

b o

en R tales

que o . x = b y a . x ' = b

y por propiedad 3 , entonces x = x '

L,

ib,^ t<\tk\^oA

es n i c o , lo notamos b / o , es d e -

b/o

En particular, cua.ndo b = 1 , l . a " '

= o"

a i = l/o
Tenemos adems los siguientes otras propiedades :
Propiedad 7 . -

{ a.a

l/o,

es decir ,

Poro todo

Propiedad

8.-

en R, se tiene que :

Pora todo o en R Propiedad

9.-

Paro todo

Propiedad

10.-

Poro todo

Propiedad

11.-

Pora todo

Propiedad

12.-

{OK

en R ;

yb

- (-o )

se tiene que ( o " ' )~

a.C

b en R

enR

: ( - o ).b =-'ab =

En lo propiedad anterior
Propiedad

26

( - a ) ( - b )

Si a = 1 ,

a.(-b )

a.b

entonces ( - 1 ) b =

-b

P^opuAtc<i li

13.-

Paro todo o , b y c en R,

a{ b - c ) = c) - oc

Propiedad 1 4 . a . b = O si
Propiedad

y solo si

o = 0

particular

b = 0

15.-

- ( o-tb ) = - o - b , y si

Propiedad

a /
( - o

O 7^^ b
)"'

entonces ( a . b )

=-a

16.(-o )
-B "

_o
-b

si

b;^ O

= o"

. b~

, en

27

Propiedad 1 7 . Poro todo a, b, c , d en R,

o)

q/b + c / d

b)

- o d - b c

bd

c)

d)

Propiedad
Si

b 7^ O 7^ d ,

oc

bd"

Si adems

c 7^ 0 tenernos

od

be

18.-

o 7^ O ,

Propiedad

=ad + b c / b d

a"^ 7^ O

19.-

Pruebe que - 0 = 0, pero que O no tiene inverso multiplicativo .

Propiedad 2 0 . i)

( a i b ) ^ = o^ i 2ab + b^ , donde

ii)

{ o i b ) ^ = a'^ So^b + 2a\p- i b^ ,

iii)

c2-b^ = (a +

iv)

o^ b"^ = ( a b ) ( o^ + ab + b^ )

<? = oa
donde o^ - Q^ a

b ) ( a - b ) .

Veamos lo demostracin de algunos de estos propiedades, los dems quedan

como ejercicio ol lector .

Dmoste de 7 . -

28

l a . Formo: Las ecuaciones a -1- ( - o ) = O = (-a ) + a ,

indican que ( - o ) es el inverso a d i t i v o de a, pero tambin
indican ( por simetra ) que a es el inverso a d i t i v o de ( - a ) ,
es decir o = - ( - a ) .
O t r a formo : a = O + o = ((-a ) - ( - o ) ) -- o = { - (-a) + ( - a ) ) + o
= . ( _a ) -h ( ( -o ) + n )
= - ( -o ) + 0
= - (-a )
o = - ( -o )

Luego :
Demost. de 9 . -

a O = a ( O + O ) = a O + o 0*^ Enonces o/O T o O - o/O + O,

aO + 0 = aO
f Entonces : o O = O

Demost. de 1 0 . - ( - o ) b + ob = ( ( - a ) + a ) b = 0 b " 0 , es decir ( - a

inverso a d i t i v o de a b , esto es ( - a ) b =-cb

) b es e l

De lo misrria forma como a ( - b ) + ob = o ( ( - b ) + b ) = oO = O, entonces a ( - b )

es el inverso a d i t i v o de a b , esto es a ( - b ) = - o b ; y como el inverso a d i t i v o es
nico entonces ( - a ) b = - a b = a ( - b ) .
Demost. de 1 3 . - l a . Formo : o ( b - c ) = o (b + ( - c ) - ob -! a ( - c )
2 a . Formo: b - c es lo solucin de la ecuacin
as que : o ( x + c ) = ab, es d e c i r , ox + ac -ax = ob - o c , pero ox = o ( b - c ) , por tanto a (
ob - oc .
Demost. de 1 7 . - o )

l o . Forma :

ad + be

= ob-ac,
x + c - b,
ab entonces
b-c) =

es lo solucin de bdx -- ad + b e ,

b-d
veamos que o / b + c / d tambin es solucin de la misma ecuocin, con lo
c u a l tendra la igualdad o / b + c / d ~ ad V be ( pues la solucin es nica ) .

~Bd
En efecto,

bd ( a / b + c / d ) =

bd ( o b " ^ -f c d " ^ ) = bd ( a b"^

= db ( ob "^

) + b d ( d"^ c )

) + bd ( cd'"^)

29

= cb ( b"^

a ) + b ( dd"S c .

= d (Jdb~

) a + b . 1 .c

= d 1o + b c
= o d -f- b c
2 a . Formo : a d + b c _ ( ad -i- be) (bd)"

E"d

( od + be ) (b~

d~^ )

= ad(b~^d"^ ) + b e ( b"^ d ' ^ )

ad + bc

bd

_ od ( d"^ b~^ ) -^ cb ( b"^ d"^ )

= o ( dd"^ ) b " W c ( bb'^ ) d"^

= a 1 b"^ + c 1 d-^
= ob

+ c d

= q7b + c / d

Los otras se demuestran en formo similar .

-1
-1
mos
Demost. de 1 8 . - Si o
fuera igual o O, entonces o o ' = O, pero sbeme
- que a Q~ - \ as que se tendra 0 = 1 , que eontrudlce qus
O y 1 son distintos, segn C A - Luego o " ' f^ 0.
Demost. de 2 0 . -

iii) ( o + b ) ( a - b )

= a ( a - b ) + b ( a - b )
= aa - ob + ba - b b
2
2
= a
-9b+9b-b
- a^ + O - b^

2 - ^bJ

= c
Definicin

: Definimos "los smbolos < , "> , ^ , ^ , que se leen menor

que, mayor que, menor o igual que, mayoi o igual que, res-

30

p e c t i v a m e n t e , en lo formo siguiente ;
X < y

significa que y - x

X > y

significa que y < x

X ^ y

significo quex < y

x = y , es decir, y - x f i R

X > y

significo que

X > O

significa

y - X = O

y ^ x

Observaciones
i)

Luego :

x > O

O < x , es d e c i r ,
significa

x - O= x R

R , os que

es el conjunto

de todos los^ nmeros reales mayores que c e r o .

i)

iii)
Definicin :

X< y

significa

y - x

X > y

significa

x - y > O

x < y

significa

y - x ^

X ^ y

significa x - y ^

X < O

significa

Si
Si
Si

O - x. = - x. R ,

X > O diremos que

X < O diremos que
X ^ O diremos que

Notaciones : En lugar de escribir

> O

X<
x$
^ <
X ^

y
y
y
y

es decir, - x > O .

x es p o s i t i v o .
x es negativo
x es n o - n e g a t i v o .
y,
y,
Yi
y.-

y <
y<
y^
y ^

2
z
^
-^

escribiremos
escribiremos
escribiremos
escribiremos

x < y < z
x4y < z
x < y < z
x ^ y < z

31

Teniendo en cuenta los observaciones i) , i i ) y i i i ) ,

den ser reescritos en lo formo siguiente :
O^-

V x , y > 0 ,

C^-.

V x c

C^-.

x + y > 0

-X > O, y no ambos .

O^I'O

Propiedad

1,-

DE LOS A X I O M A S

a < h,

Demost.- Seo x = b - a .

Propiedad

Pora a , b en R. cualesquiera, se v e r i f i ca uno y solo una de los tres reloc i o b < a ,

a = b

Paro x hay dos posibilidades x = 0

x / = 0 .

i)

Si X = O , tenemos b - a = O = o - b, es decir, b = o y por

C^ , no puede ser n i a < b n i b ^ o ,

ii)

Si X f ^ O, entonces por C ^ , x C R
es decir, b - a > 0
a - b > 0
ambos .

2.-

Ley Transitivo :

Supongamos

Propiedad

DE O R D E N

Ley de Tricotoma :
n-es :

Demost.-

y x y > 0

R - {o},x > O

CONSECUENCIAS

Demost.-

los axiorrras de orden p u e -

- x 6 R , n o ambos;
seo b > o o > b no

Poro todo a , b , c en R, s
b < c entonces a < c ,

o < b y b < c, esto significa

c - b > O, Entonces por O ] ,
= ( -o + b ) + ( -b + c ) = -a
es decir c > o ,
que significa

b + c

b y

que : b a > O y
( b - n ) + ( c ~ b ) ~
+ ( u-b)^- c =- c - a > O,
a < c .

3 . - Poro todo a , b , c en R, si o < b entonces

Poro ver que a -f c <

a<

o + c < b v

basto ver que ( b + c

) - ( a - + c

)>0

En efecto :
o < b .

( b + c ) - ( a + c) = b + c - a ' - c = b - a > 0 ,

Luego

Propiedad

( b + c) - (o + c ) >

4 . - i)
ii)

Demost.

i)

32

Si

O qus s i g n i f i c a

pues por hiptesis

a + c< b+c

Si

a < b

c > 0

entonces

oc < be .

Si

o < b

c < O

entonces

ae > be .

a < b esto significa que b - o > O, c o m o c > O, entonces por

O],

c( b - o )

be - oc > O

> O .

Pero c ( b - o ) = c b - c a = b c - a c .

que significa

Luego

ac < be .

i i ) Lo demostracin se hace de monsra similar o

i) .

2
P r o p i e d a d - 5 . - Si
Demost.

a f = O,

> O .

Si

a ^

O , entonces por O 2 ,

Si

O, entonces por 0 | ,

En particular
a > O

1 >

O .

- o > O, y no amboi.
2

>

o . o > O, es decir,-

> O .

2
Si o > O, entonces ( - a ) ( - a ) > O, por O ] , pero ( - a ) ( - a ) = a . Luego
2
2
o > 0 . En t o t o l , cualquiera sea el caso si o ^
O, a > O .
Como 1 7^ O, entonces

> O pero 1 ^ = 1.1 = 1 Luego

I > O .

Tenemos adems los siguientes propiedades :

Propiedad

6.-

Si

a < b

entonces ~a > - b

Propiedad

7.-

Si

0 < a

entonces

Propiedad

8.-

Si

0 < a < b

Propiedad

9.-

Si o.b > O

Propiedad

10.-

O <

entonces

o
O< b

entonces a > 0

-1

<

-1

b > O a < 0

i)

S i c < c

b < d

en ronces

ii)

Si a < b

c < d , con o > O

b < 0

o +b< c+ d .
y

d > O enionces

33

oc < b d .
Propiedad

1 1 . -

N o existe ningn nnero reol

x tal que x

+ 1= O

^ n otros palabras la ecuacin

reales ) .

x ^ + 1 = O, no tiene races

Propiedad

12.-

Lo sumo de dos nmeros negativos es un nmero negativo

Propiedad

13.-

i)

SI o < O

ii)

Si a < ' b <

a~^<

entonces

entonces

<

<

14.-

S i o ^ b

Propiedad

15.-

i)
i i )
iii)
iv)

Propiedad

16.-

Pora todo o

Propiedad

17.-

2
2
Poro a , b en R cuolesquiero se tiene que a + b $s- O

a<b
o ^ b
a^ b
a ^ b

b ^ c

O,

Propiedad

Si
S i
SI
S i

entonces

y
y

b ^ c
b < c
y
b^
y b ^ c

o ^ c

entonces o < c
entonces a < c
o
entonces o = b
y o-c
tntonces b = c
2

Si

obT^O,

en

R,-

entonces

O .

a^ + b

>

O .

* Propiedad

18.-

N o existe a en R tal que x ^ o pora todo x en R.

( Esta propiedod se expresa diciendo que e conjunto de
los nmeros reales R no est acotado superiormente ) .

Propiedad

19.-

Si x e n R tiene o propiedad de que O- x < h paro

todo h > O , entonces x = O .

*Propiedad

20.-

Si

, con b, d > O, entonces _a

o + c ^

Veamos o demostracin de ogurias de estos propiedades, los dems se dejan

como e j e r c i c i o o l lector :
Demost.

de 6 . -

1 - Formo :

U t i l i z a n d o lo propiedad 4 , i i )

con

c =^-1,

tenemos que ( - l ) a
(-1 )o = - a .

34

>

( - 1 ) b , esto es, - o > - b , ya que

2 - Forma : ( - a ) - ( - b ) = - a + b = b - a > 0 , pues a < b ,

es decir, ( - o ) - ( - b ) > O, que significo que - a > - b .
Demost. de 7 . -

Supongamos
Entonces

a"

o > O, entonces
> O

o" <

o 7*^ O, asi que

O , no

o " ' 7^ O .

ambos

Si a " < O, como o > O, entonces 1 = o . o " < a " . 0 = O, es d e c i r , 1 < O,

que contradice que 1 > O .
Luego o""' > O, por a ey de tricotomo .
Demost. 9 . -

Si
St

Supongamos que es falso que a > 0

y b > 0 ( pues si
a > 0
y b > 0 , n o hay nada que probar ).
Entonces por
tricotoma, o - ^ O a = 0 y b < : 0
b--0.

0 = 0 entonces
b = O entonces

Luego :

a < O

ab = O , que contradice lo hiptesis.

ob = O, que contradice la hiplesis
y

b < O .

De lo mismo forma se ve que si suponemos que es falso que a < O y b < O,

entonces o > O y b > 0; con Ip cuol queda demostrada la propiedad .
Demost. de 1 0 . -

i)

Si o ^ c esto significo que c - a > O, y si b < d, esto

significa que d - b > 0 .
Entonces por O^j, ( c - a ) +
(d - b ) > O, es decir, (c + d ) - ( 0 + b ) > O, que s i g n i f i co
a + b < c + d .

Demost. de 1 1 . -

Supongamos que existe x en R tal que

Entonces : x = O x =/- O .

x^ + 1 = 0 .

2
i)
ii)

Si x = O, entonces x

+ 1 = 0 + 1 - 1 - 0 , que contradice que 1 7^= 0 .

Si X 7^ o, entonces por propiedad 5, x ' > O, y como 1 > O, entonces

x2 + 1 > O .

Hemos pregado entonces que paro todo x en R, x"^ + 1 >

X en R tol que x^ + 1 = O .

0.

Luego no existe

Demost. 1 3 . -

35

i i ) Si o-^C b < O, entonces O < ~b < - o , os que por p r o piedad 8 ,

O < (-a ) - l < ( - b ) - l ,
pero (- o ) " ^ = - o ' ^ ,
de modo que O < - a ' " ' < - b"
dad 4 ,
ii ) , b-1 < a - 1 <

Demost. de 1 4 . -

((a<b

Supongamos o ^ b y b ^ c ,
es d e c i r ,
( a < b
a = b ) y ( b < c b = c).
Entonces, por
lgico elemental, lo anterior es equivalente o :

b < c ) ( a = b y b < c ) ) ( ( a < b y b = c ) ( a - - b y b

( i )

(ii)

S
Si
Si

i)
ii)
iii)

Entonces a < c
Entonces o < c
Entonces a 4. c

Si

iv)

Entonces a = c

Demost. de 1 5 . -

Luego

,
y por tanto por p r o p i e O .

iii)

tiene que ser

(iii)

entonces

= c

(iv)

o c

Supongamos que a < S b y b . . a , y veamos que entonces

a = b.
Como o ^ b, veamos que o < b no se d a .
En e f e c t o :
S i o ^ b
y
b ^ o
entonces o < o, por i ) ; lo
cual no es posible,, pues si o < a entonces o - a > O,
es decir, O > O , que contradice O 3 .
a = b .

Demost. de 1 8 . -

Supongamos que existe o en R t a l que x i a para todo x

en R. En particular esto afirmacin sera v l i d o poro
x = a + 1 que est en R; es decir,
o + 1 ^ o,
esto es
1 ^ 0 ,
que contradice que 1 > O .

Demost. de 2 0 . -

Supongamos
a.b

cb

^ T

c
, decir,

Como b >
o ^

b c

(b + d)c

Sumando

~d~

ambos lodos de lo deslguoldod

bc + dc

O, entonces

A s que a + c ^

obtenemos

(b + d ) c

a + c ^
^

en
be
-p- + c d

A h o r a como b , d > O,

36

entonces b + d > O, y por tonto ( b + d )~ >

que ( c + e ) ( b + d ) ~ ^

esto es,

a + e

^ 1"
Suponiendo nuevamente que

O, de modo

r+d" ^ "d" (*^

a ^

d>0,

o + c

entonces obtenemos

T < "df
i r < bTd (**)
C ombinondo

{ * ) y ( * * ) obtenemos

Ejercicio.*
Supngase que los axiomas de orden O ]
Cualesquiera que sean
nes siguientes :
i ) a

= b ,

o y b

i i ) a < b ,

, O2 , O3

se sustituyen por : O ]

en R, se cumple uno y slo una de los r e l a c i o -

iii)

b < a

02

Cualesquiera que sean o , b y c

o < c.

en R,

03

Cualesquiera que sean o, b y c

en R, si

si a < b

Cualesquiera que sean a , b y e

a c < b c .

a< b

b<

entonces

entonces o + c < b -t c,

le

04

Demostrar

O]

, O2

e n R , si

a < b

0 < c

entonces

y O3

El e j e r c i c i o onterlornos permite darotro presentacin axiomtica del sistema de los

nmeros reales R, donde los axiomas de orden O , O2 y Oo son resmplazodos por O ] , C ^ , O3 y O4
.

2
-

NMEROS

37

ENTEROS

RACIONALES

Como 1 R, entonces 1 + 1 6 R, adems 1 + 1 no es O ni 1 . E n efecto :

como 1 > O entonces 1 + 1 > 0 + I = l > 0 , e s decir 1 + 1 > 1 > O, as que
1 + 1 7: 1 y 1 + 1 7^ 0 . A l elemento 1 + 1 lo notamos 2 , os pues 2 > 1 > 0 .
A h o r a b i e n , 2 + l > l + l > 0 + l = l > 0 , es d e c i r , 2 + 1 > 2 > 1 > O .
Luego el elemento 2 - ^ \ ^ 2 , 2 + 1 ^ ^ 1 , 2 + 1 ^ = 0 .
A este elemento lo n o tamos 3 , os pues 3 > 2 > 1 > O .
Procediendo de esto formo construimos e l conjunto A = { 1 , 2 , 3 , 4 , . . . n, . . . i
donde 1 A y codo elemento n A , n > 1 , se ho obtenido sumando 1 a l
anterior n - 1 ; a d e m s . . . n > n - l X . . 3 > 2 > l

D ef in ic ion

U n sub-conjunto P de R se d i c e I N D U C T I V O si :

i)

1 P y

ii)

Para todo x 6 P,

x + 1 P

Ejemplos :
1)

R es i n d u c t i v o , pues l R y s i x R ,
composicin interna .

2)

3)

El conjunto A construido antes es inductivo pues 1 A ^ y por construccin si n 6 A , tambin lo est n + 1 .

4)

R"*" - { l / 2 } e s i n d u c t i v o , pues 1 R^ - \ V ^ } y s x 6 R"^ " { V ^ } , e n tonces X + 1 6 R

-|l/2t
(
Obsrvese que e! nico x t o l que

es i n d u c t i v o , pues i)
ii)

X + 1 = 1/2

es X = - 1 / 2 ^

x + l R ,

pues + es ley de

1 fe R , ya que 1 > O y
Si X R^ ( es decir x > O ), entonces
X + 1 R"^, pues X + 1 > O .

R+ -

{1/2^ .

5)

38

R - <l/2J-no es inductivo, pues aunque 1 R - { l / 2 ^ , e s falso qua pora

todo X e R - { l / 2 } , x + l R - 51/2), ya que - 1/2 R - } l / 2 l
sinembargo - 1 / 2 + 1 = 1 / 2 ^ R - { 1 / 2 } .
*

Pregunto :

Qu se puede decir acerco de los conjuntos de lo formo R - \ a \

donde a es un nmero reol 9 .

D e f in ic i o n . Llamaremos " conjunto de enteros positivos " , que notoremos Z , al conjunto

formado por los nmeros reales que pertenecen o todo conjunto inductivo. En
notacin de conjuntos, esto es :
Z ' ^ = n P = x e R /
P es inductivb

xP

poro todo P inductivo]-.

I

Observaciones :

i)

Z es inductivo pues 1 Z , yo qua 1 P poro todo P inductivo .

Adems si x Z"^ , esto significa qu2 x P para todo P inductivo, arX
que x + 1 6 P pora to-do P inductivo, es decir, x + 1 Z^ .

i i)

Como P 3 n P p a r a todo P inductivo, entonces Z

junto inductivo .

iii)

Puesto que e! conjunto A construido anteriormente es inductivo y ade.ms

es sub-conjunto de Z , entonces A = 2: , es decir Z'^= i 1,2,3, . . . , n , , , .1

PROPIEDADES DE LOS ENTEROS

Pl o p i e d o d

POSITIVOS

1 .-

+
Si n, m Z

es el ms pequeo con-

\
,

entonces :

I)
II)

+
n + m^ Z
n.meZ+

39

Demost.
I )

Seo X m = [ n C Z " * " / n + m 6 Z"*" , m Z"^

Veamos que Xm es i n d u c t i v o .
En efecto :
i)

1 Xm , pues 1 Z
Z
inductivo .

y como

ii)

Supongamos que k 6 X m , es decir k 6

Como Z
es inductivo y k + m C Z " * " ,
es decir, ( k + l ) + m Z ' ' ' lo que
( es cloro que k + 1 e Z "* , pues k e

fijoj

m g Z ^ ,

1+meZ"^,

por ser

Z " ' ' y k + m6Z

entonces ( k + m
) + l Z
significa que k + 1 Xm
Z "^ es inductivo ) .

De i ) y i i ) concluimos que X m es i n d u c t i v o , os que Z ' ^ Q X m , pero por

construccin Xm Q Z
. Luego Xm = Z
, es decir poro todo n C Z *" ,
n + m Z
, con m Z
fijo .
SI ponemos a variar m Z , obtenemos que Xm = Z '
es d e c i r , poro todo n, m e n Z " * " , n + m Z
II)

Construyase e l conjunto Xm = < n Z " ^ / n m Z

dose en la misma formo del coso I .

Prop iedod

para todo m : Z

, mZ

f i j o l y proc-

2 . -

Poro todo n e Z"^ , n > 1

Demost.-

Seo X =

Veamos que X

/ n e Z ^ / n ^ l j

es i n d u c t i v o
pues 1 e Z"^

i)

1 6 X,

1^1

ii)

Supongomos que k X , es decir k Z

y k ^ 1 , entonces como
1 > O y Z"*" es inductivo k + 1 Z'*" y k + 1 > 1 , as que k + l e X

Luego X es i n d u c t i v o , y como por construccin X

X = Z
, es decir, pata todo n Z
, n ^ 1

, concluimos que

Prop iedod

3.-

Pora todo n Z
Demost.-

40

, n ^

1 , existe m Z

t a l que n = 1 + m .

Seo P = n 6 Z " ' ' / 3 m e Z + tal que

n = l + m u l | .

Veamos que P es inductivo .

i)
1 6 P por lo construccin de P.
ii)
Supongamos que k P, es decir, k Z "*", y existe r n | 6 Z
k = 1 + m].
V eomos que k + 1 P.
Si k = 1 , entonces k + 1 = 1 + 1 , donde
k ^ 2 .

m = L

tal

que

Supongamos que k

A h o r a b i e n , si k G Z"^, k + l e Z * * " y k + 1 = ( 1 + m^) + 1 = 1 + (,m^ + ] ^

as que tomando m = m i + 1
Z"*", se tiene que k + 1 = 1 + r n ^ con m e Z ,
es decir k + 1 P.
Luego P = Z
, pues P es inductivo y odems por construccin PQ2.
pora todo n ^ Z ,
n ^ ^ ^ l , existe m e Z"^ tal que n = 1 + m .
Propiedad

4 . -

Sean n,m

en Z

Demost.-

Sea P = n C Z / cualquiera seo m 6 Z

m - n 6 Z'^l

; as que

, si n ^ m

es i n d u c t i v o .

entonces m - n 6 Z
si n<:m

entonces

En efecto :

i)

1 P, pues 1 Z y si m e Z
es tal que 1 < m entonces
la propiedad 3 anterior existe pf g Z
tal que m = 1 -f o<
m - 1 = o{ , os que m - 1 Z

ii)

Sea X e P, es decir x 6 Z
y cualquiera seo m Z"^ con x < ; m ,
ces m - X Z .
Veamos que x + 1 e P .

+
Como x e P ,

x Z

+
y a s x +

l Z

m ^ 1 y por
^ entonces

enton-

41

Supongamos que m Z"*" es to! que x + 1 < m

X < X + 1 < m ) entonces m - x Z "^ .

entonces x < m ( pues

Si m - X = 1 entonces m = 1 + x , lo cual no es posible, pues, x + 1 < m .

Luego m - x > 1 y entonces por propiedad 3 , existe /3 7 7 tal que m - x =
1 + (3 , es d e c i r , m - ( x + l ) = / 5
Z .
Lo cuol significa que x + I C P.
Luego P es i n d u c t i v o , entonces Z P y como por construccin P S Z " * " , se
concluye que P = Z , es decir, cualquiera seo nZ"*" , si m Z
es t a l que
n < m entonces m - n Z"*" .
Propiedad
Seo x

5 . -

R t a l que 1 < x < 2

entonces x ^

Demost.- Si fuera cierto que x e Z

, como 1 < x < 2 entonces x > 1 , as
que X 7^ 1 y por propiedad 3, existe m e Z tal que x = 1 + m .
Ahora
como x ^ 2 , entonces 1 + m < 2 , con lo cual m < 1 , io cual es imposible.
pues m e Z"*" y por tonto m > 1 .
Prop iedad

6 . -

Si n Z
y X C R son tales que n < x < n + 1 entonces x ^ Z
Lo demostracin se hoce de manera anlogo a la propiedad 5 .
Prop iedod
Si n , m 6 Z

7.son toles que n < m entonces n + 1 ^

m .

Demost.- Si n j m C Z " ^ y n < m entonces m - n - Z , por propiedad 4 ; y e n t o n ces por propiedad 2 , m - n ^ l , es decir m ^ n + 1 , que significa n + 1 m

Definicin
Llomoremos " conjunto de enteros negativos " , que notamos Z~ , a l conjunto
formado por los opuestos aditivos de los enteros positivos, esto es Z ~ = - x
/

xZ^}

Llamaremos conjunto de enteros, que notomos Z ,

ol conjunto siguiente :

- 42 -

Z - U {0} U Z+ = ( . . . , -3, -2, - 1 , O, 1, 2, 3 , . . . |

El conjunto de los nmeros enteros satisface ios siguientes propiedades , que
no demostramos .
Propiedad

1. -

Poro todo n, m e n Z ,

Propiedad

2.-

S i n - ^ m , con n, m en Z , entonces existe k Z

que m = n + k.

Propiedad

3.-

S i n , m estn en Z y n < m, entonces n + 1 m .

Definicin

n + mZ

y n m e Z .
tal

.-

Llamaremos " conjunto de nmeros racionales" , que notamos Q ol conjunto

siguiente :

Q = o/b

/ a e Z y b Z

{0}\

Es claro que el conjunto de los nmeros enteros, est contenido en el conjunto

de los nmeros racionales, Z ^ Q .

Ejercicio ;
Verificar que Q es un cuerpo que satisface tos axiomos de ordsn .
Antes veamos qu significa que un elemento x Q sea positivo.
Si x e Q , x = p / q , con p Z , q Z - { O l . Entonces p/q = pq > O
si y solo si p > O y q~ > O p < O y q ~ ' < O, lo cual es equivalente
a p > 0
y q > 0 p<0 y
q < 0 , por propiedad anterior .
Veamos pues que si P i / ^ l
tonces;
p^
P2

Si p / q ] > o

y P 2 / * 1 2 * " nmeros racionales positivos, enP]q2 + P2qi es positivo. En efecto .

entonces P ] > 0

q]>0

P]<0

qi<0

si P2/q2 > ^

entonces P 2 > 0

43

q2>0

P2<0

q2<0.

Toco pues, analizar cuatro posibilidades :

O

Pl > O y

ii)

Pl > O y q^ > O y P2 < O y q^< O .

iii)

q] > O y

P2 > O y

q2 > O

P ^ < 0 y q ^ < 0 y p 2 > 0 y q 2 > 0 .

iv)

P] <: O y

Si

i)

Si

i i ) P]q2'^ ^

Si
Si

q^ <

Piq2 > O y

O y

P2 < O y
O y

q|q2 > O, as pues p^/q^ + P2/q2 > O .

P2^1 <

^1^2 ^ ^' entonces py'q^ + p ^ c ^ > O .

i i i ) P]q2 < O y

P2q]< O

q|q2 < O, con lo cual P ] / q | + Py'q2 > O-

iv) p]q2 > O y

P2q| > O y

q^q^ ^ O, con lo cual p^/q^ + p^/qj > O,

Luego en cualquier

P2qi >

q2 < O .

P i / q i + Po/qo^" O

De lo mismo forma, como P ] / q i ^2^^2 ~ P i q ^ / q i q ? ' ^ ^^ ^"^^ *^^ producto de dos nmeros racionales positivos es siempre un raciono! positivo .
Lo anterior no solo demuestra que si P i / q i y Po/q? ^^^ racionales positivos tambin lo es su sumo y su producto, sino que demuestra que esta sumo y este producto es cerrado, esto es claro, pues si pi 6 Z y p^ 6 Z y q-|q2e Z - ( 0 |
, entonces

P]q2 Z ,

con lo cual p,q

+ P2q 1

P2q] Z ,
Z , y as:

^-^^2^ ^ '

*^lf2^ ^

"'

W'

_ , . _ _
12

qiq2
y

PiP2/qiq2

PI/<^I

p/q2^Q

3
-

44

C O T A S U P E R I O R - C O T A INFERIOR ELEMENTO M A X I M O
ELEMENTO M N I M O EXTREMO SUPERIOR EXTREMO I N FERIOR DE U N S U B C O N J U N T O DE R,

Definicin

.-

Sea S R, S 7^ ^ . Decimos que S est ocotodo superiormente si existe

b e R t a l que x b poro todo x 6 S.
El nmero b se llamo una coto s u perior ds S .
Se dice una coto superior de S, pues cualquier nmero moyor que b es tambin
coto superior ds S .

Definicin

.-

Con las mismas hiptesis anteriores paro S, decimos que un nmero M en R es

e l elemento mximo de S s i :
i)

X M

ii)

Mes .

pora todo x en S

Es d e c i r , M es e l elemento mximo de S, si M es uno coto superior de S que

pertenece o S .
Decimos e l eie.mento mximo de S, yo que si este elemento existe es n i c o .
En e f e c t o , supongamos M i y M 2 tales que satisfacen las condiciones ;) y i i )
de lo d e f i n i c i n anterior .
Entonces ;
M,

pues M , S

M2 ^ 1
P'jss M ^ C
dades se concluye :

M ^ es coto superior de S , de la misma formo

S y M,
11 _ 1.

es coto si.'perior de S.

De las dos desigual-

Como el elemento mximo de S, si existe, es nico lo notomos M = Max S, y

se lee M es el mximo de S.
A s q u e " M = MoxS

si M 6 S

x ^

para todo x en S.

Un conjunto sin coto superior se dice no-ocotado superiormente.

45

R no est acotado superiormente, pues por propiedad 18 anterior, se vi que

no existe nmero real o tol que x ^ a pata todo x en R.
Se ve tambin fcilmente que R no est ocotodo superiormente; en particular
estos conjuntos no posean elemento mximo .

Defin i c ion
Un nmero b en R se denomina extremo superior de un conjunto no vaco S,
si b satisface :
i)
ii)

b es uno coto superior de S y

Si o< es uno coto superior de S entonces boC.

La condicin i i ) nos dice que b es lo menor de todos las cotas superiores de S.

Si existe extremo superior de un conjunto S ste es n i c o .
En e f e c t o :
Sean b i , b2 taies que cumplen las condiciones ) y i i ) de lo d e f i n i c i n de e x tremo superior. Entonces, como b, es extremo superior de S y b2 es coto s u perior de S, b-i b ; de lo misma formo como b2 es extremo superior de S y
b | es cota superior oe S, b2 J b i . Con lo cual concluimos b ] = b2 .
Puesto que si t o ! elemento b existe, es nico lo notamos b = SupS, que se les
b es ei extremo superior 6 b es e! supremo de S .
En tota! b = SupS

si

i ) b es uno coto superio- de S y

i i ) ningn nmero menor que b es coto superior de S.

Nota
Si un conjunto S posee mximo, entonces MxS = SupS, ms genero! ,
S u p S c S si y soo si S posee rnximo en cuyo coso SupS - M x S .
Si SupS S, entonces por d e f i n i c i n de SupS, SupS es uno cola superior
de S y como por hiptesis SupS 6 S, entonces SupS = M x S , as que
S posee mximo y SupS = M x S .
Supongamos ohoro qua S posee mximo, entonces po"^ d e f i n i c i n de mximo

46

MxS es una coto superior de S y adems MxS S.

Luego resto p r o bar qua si o es uno cota suparior de S, entonces MxS $o( , pero esto
es c l o r o , pues si o( es uno coto superior de S entonces x o( poro t o do x en S, en particular poro x = MxS S, es decir, MxS o ( .
Luego SupS = MxS 6 S, es decir SupS 6 S y odems SupS = M x S .
De manera similar se definen los conceptos de cota inferior, elemento
nifnimo y extremo inferior de un sub-conjunto S no~vacio de R.

D e f i n i ion

. -

Un elemento b en R se dice cota inferior de S si b $ x para todo x de S.

m en R es e l elemento mnimo de S, que notarnos m = MInS si m ^ x pora
todo X de S y adems m 6 S.
Un elemento o en R se dice el extremo inferior de S si r
i)
ii)

a X pora todo x en S y
Si j8 es una cota inferiorde S, entonces y3 a ; es d e c i r ,
a es lo mayor de las cotos inferiores ds S ,

El extremo inferior de un conjunto S, si existe, lo notamos InfS y se lee nfimo

de S o extremo inferior de S.
Ejercicio

.-

Verificar :
i)
Si e! elemento mnimo de un conjunto S existe, entonces es nico .
ii)
Si el extremo inferior de un conjunto S existe,es nico .
iii)
InfS S si y solo si S posee mnimo, en cuyo coso InfS = M n S .
Se v e r i f i c a fcilmente que R no est ocofado inferiormente

R est acotado inferiormente.

O es cota inferior de R^; 'on ms como
ver adelante O = InfR ;' pero R no posee elemento mnimo .

se

Tenemos ahora el axioma de completez, o axioma de! extremo superior o axioma

de continuidad de R,
Ac-

Todo conjunto n o - v a c o S de nmeros reales acotado superiormente tiene extremo superior; esto es, existe un real b tol qus b = Sup S.

CONSECUENCIAS
Teorem a

DEL

DE

COMPLETEZ

1. -

Todo conjunto S, S R^ S/= 9^

Demost.

AXIOMA

acotado inferiormente tiene extremo inferior.

La de.mostracin se baso en la siguiente ilustracin grfica :

-S
Seo S = | - x / x
as qus -S f^ p .

Sup(-S)..^.^
S-,

,lnfS

Como 5/=^ 9^ , existe s S y po? tonto - %& - S ,

Veam-as que -S est acotado superiormente.

Sea pues - t - S , cualquiera, entonces t <? S y corno S est acotado i n f e r i o r mente entonces existe b en R f o ! efje b e s paro todo s c S, en po'-ticular
b i t puss t S. Por to.nto - t - b .
Luego pora todo - t - S , - t s - b , o
sea que - b es uno cota superior da - S , es decir -S est acotado superiormente
( Obsrvese que b es coto inferior de S , mientras - b es cota superior de - S ) ,
Como "S est ccotoco superiormente, por A c , existe a
( se escoge el signo - por conveniencio ) .
ComprobeiTios choro que

o = Inf S

R to! que - a = Sup (-S)

En efecto :

i)

Veomos qus o es coto inferior de S.

Como - o = Sup (-5), - o es cota superior ds - S , es decir -s - a paro
todo -5 6 - S . Por tanto a ^ s poro todo s S, Luego a es coto i n ferior de S.

ii)

Veamos que a es lo mayor de las cotas inferiores ds S.

43

Sea pues o<6 R, o( coto inferior de s , es decir of jg s paro

todo s S, entonces -s - o ( para todo -s - S , lusgo - c>< es
coto superior de - S , y como -o = Sup(-S), ento.nces - a - d
lo que implica o( ^
o.
A s que o es lo mayor de las cotos inferiores de S .
Nota:
Ntese que en realidad podemos sacar e l sgule.ite resultado :
Seo S S R / S T ^ P , si S est acotado Inferiormente entonces,
InfS = -Sup(-S) .

Ejercicio

.-

En lugar de A c , coloquese AS: :

todo conjunto S, S
feriormente tiene extremo i n f e r i o r , y demueshese A c .

R, S y ^ p

, acotado i n -

Este e j e r c i c i o
nos permite dar uno presentacin axiomtico distinto del sistema
de los nmeros reales R, donde el axioma ds completez, A c , puede ser s u s t i t u i do por A .

Teorema

2.-

El conjunto T T no est ocotodo superiormente .

Demost.- Supongamos qua Z ^ est acotado superiormente.
Entonces como 2 / y ^ ^ ,
1 Z ^ , por A c , existe b R t o l que b = SupZ
.
Ahora como b - 1 ^ b, entonces b-1 no ss cota superior de Z*", es decir, es
falso para que todo n 6 7 7 , n ^ b - 1 ^ que significa existe N Z^ t o ! que
b - K
N.
Como Z es inductivo y N 6 TT, entonces N + 1 Z ; pero como b - 1 <
entonces b < N + 1 , o sea que N + 1 es un entero positivo mayor que
b = SupZ^ , lo cual es imposible.

|\},

Luego Z

Ejercicio

49

no est acotado superiormente.

.-

El C o n j u n t o Z

no est acotado inferiormente.

Corolario . -

Paro cada x en R existe n 6 Z^ tol que n > x .

Demost.- Si no fuera o s , existira x

l o que contradice ei teorema 2 . -

Teorema
Dado x 6
Demost.

3.R

Propiedad

R tal que n g x pc-c todo n e Z"*' ,

Arquimediona de R

R a r b i t r a r i o , existe n Z

tal que nx > y .

Tenemos lo siguiente ilustracin grfica

i
y

2x

3x

4x

5x

6x

7x

I I

n = 8

8x

Como X 6 R , entonces x /= O, por tanto para y / x fe R, existe n Z '

tal que
n > y / x , por corolario anterior, esto es existe n Z ' t o l que nx > y ( x > 0),

Aplicacin
1.-

de

lo

Propiedad

Arquimediona

Si tres nmeros a , x e y en R satisfacen a ^ x ^ a + y / n

n C Z
entonces x = a .

poro todo

Demost.-

Como o x ^ a + y / n paro todo n ZT, entonces c ^ x

y
X $ o + y / n poro todo n Z*" . Como a ^ x , veamos que el coso
o < X no se d o . En efecto, si x > a entonces x - o > O, es d e c i r , x - o e R'
Por tanto cualquiera seo y en R, existe n 7/ tol que n ( x - a ) >
y ( por
propiedod arqulmediana ), es d e c i r , x - o > y / n , o sea x > a + y / n , lo cual
no es posible, pues x ^ o + y / n paro todo n 6 Z ^ .
Luego no puede ser x > o,
y por t a n t o , es entonces x = a .
En particular, si O ^ x <- 1/n pora todo n 6 2 ^ , entonces x = O .

2.-

50

Probar que poro todo > O ( : letra griega epsiln )

tal que si n ^ N e.ntonces 1/n <
.
Este e j e r c i c i o afirmo que lm

existe N Z"^

1/n = O )

n*-fo

PROPIEDADES F U N D A M E N T A L E S DEL EXTREMO SUPERIOR E INFERIOR

P r o p ie d a d

1. -

Poro todo A S R, A T ^ P , si A est ocotodo superior e inferiormente, e n t o n ces se tiene qus : Inf A S u p A .
De.most.-

nfA ^ x pare todo x de A , y x ^ SupA para todo x de A ,

ces InfA x SupA poro todo x de A , con lo cual InfA

Propiedad
Sean A

enionSupA,

2 , -

R, A T ^ P y 6 > 0 cualquiera

I)

U n nmero b en R es el extremo superior de A si y solo si b es cota s u perior de A y para todo 8 > O existe x e A tal que b - <r x .

II)

U n nmero o en R es el extremo inferior de A si y solo si a es cota I n ferior de A y paro todo 6 > O existe x 6 A t a l que x < a
+ 6 ,

Demost.-

I)

Supongamos que b = S u p A , entonces b es cota superior de A

y adems b es lo ms pequea de los cotas superiores de A ,

Como > 0 , b falso que b - ^

Lusgo si
todo > O existe

< b as que b - no es cote superior de A , por tanto es

x poro todo x de A , esto es, existe x ^ A t a l que b - < % .
b = SupA entonces b es cota superior da A y odsms poro
x A tol que b - : < x .

Supongamos ahora que b es cota superior de A y que paro todo f > O existe
X 6 A tol que b - S < X , y veamos que b - SupA .
Solo resto probar que b es lo menor ds los cotos superiores de A .

51

Seo 0( una cota superior de A y supongamos que o< b, entonces b - e< > O,
os que poro = b - o( , existe x 6 A tal que b - < x , esto es, b - ( b - c f )s
= o ( < X con x A . esto es imposible, pues hemos supuesto que ot es cota
superior de A y por tanto x ^ o paro todo x de A .
Luego no podemos suponer a ( < b , y entonces o< ^ b , con lo cuol quedo demostrado que b = S u p A .
Lo demostracin de

II ) es similor

Tenemos lo siguiente ilustracin

A
X
xxxxxxxxxx.x.v;.Y.xxy.Y..YX k x x I x r )
SupA-E
SupA
Propiedad

X
A
(xxx xkx.^-xkxxxx.xxxxxy.xxx
InfA
InfA

3 , -

Sean A y B sub-conjuntos no-vacos de R, y seo C = | a + b / a f e A y b e

= A + B .

B I
'

I)

Si A y B poseen extremo superior, entonces C t i e n e extremo superior y

SupC = SupA + SupB.

II)

Si A y B poseen extremo inferior, entonces C tiene extremo inferior e

InfC = InfA + InfB .

D e m o s t . - I)

Como A y B son n o - v a c o s , entonces existe o f e A y b

tonces c = a + b C, os que C y ^ p
.

Veamos que C est acotado superiormente.

c = o + b con a A y b s B,

En e f e c t o , sea c C ,

By

en-

entonces

Como o A entonces o ^ SupA y como b B entonces b ^ SupB, as que

a + b s SupA + SupB, io que significo que SupA + SupB es cota superior de
C.
Por A c , existe SupC y por la ltima desigualdad se tiene que SupC$
SupA + SupB(*).
Ahora b i e n , seo > O c u a l q u i e r a , entonces por propiedod 2 , I) existe o A
y b e B tal que SupA - / 2 < o y SupB - / 2 < b, as que SupA + SupB -
< a + b, esto es SupA + SupB < ( o + b ) + ,
Ahora como o c A y b ^ B ,

entonces o + b C y por tonto o + b ^

SupC,

A s que SupA + SupB < SupC +

52

( * * ) , poro todo > O .

De (*) y ( * * ) tenemos :
SupC ^ SupA + SupB < SupC + poro todo > O, esto es ,
O ^ (SupA + SupB) - S u p C < paro todo > 0 .
Entonces, por propiedad
19 anterior,
SupA + SupB - SupC = O , es decir SupA + SupB = SupC .
De manera anloga se hoce lo demostracin de lo porte II) .
Propiedad
Sean o ( 6

4.-

R, S S R, l ^ p

<S = { ^ ^ /

s S|

I)

Si S est acotado superiormente y

i ) c < > 0 entonces Sup(ei S) =<ASupS.

i i ) o 0 entonces Inf ( O S ) = OfSupS,

II)

Si S est acotado inferiormente y

i ) o > 0 entonces l n f ( o ( S ) = ' ^ I n f S

i i ) c 0 entonces Sup(c< $)= o InfS

D e m o s t , . - I) i ) Si S esto ocotodo superiormente, entonces S posee extremo s u p e r i o r . Veamos que << S est ocotodo superiormente ,
Es cloro que f S / = p , pues S / = p .
Ahora seo t
^ S cualquiera, es decir t= ocs poro algn s S.
Como s 6 S, entonces s S u p S , y como 0( > O, entonces oi% ^ o SupS, es
d e c i r , t < o S u p S . Luego ofSupS es coto superior de ^ S .
Como O S est acotado superiormente, entonces existe Sup(c< S), y puesto que
cV SupS es coto superior de 0( S, entonces Sup( oC S) -$ cs SupS(*)..
Seo s S
entonces o s C of S, luego s ^ Sup( o S), y entonces s ^ l7^Sup(Q S).
Luego 1/o Sup(o S) es cota superior de S, con lo cuol Sup(S) :^ l/c Sup(o/ S),
que implica o ^ S u p S ^ Sup(c5S) (**) .
De

(*) y ( * * )

obtenemos

Sup(o S ) = OfSupS.

i)

Seo t

O S, entonces

t = of s

poro algn s S.

Como s 6 S, s ^ SupS, entonces of s ^ O SupS, pues c^ < 0; as pues

t ^ c^ SupS.
Como t es cualquiere, entonces of S u p S ^ t pora todo
t e c S, esto significo que of S est acotado inferiormente .

53

Por teorema 1 , o S tiene extremo inferior, y puesto que

ferior de o f S , entonces 0( SupS ^ l n f ( O S) ( * ) .

c^SupS es cota i n -

Sea s S, entonces Inf ( O S ) i O S .

Por t a n t o , s ^ l / lnf( cy S ) pues
0 ( < O,
A s i que l/o( Inf ( o S)
escota superior de S, entonces
SupS ^ 1 / ^ lnf(O S) , y como o f < O, entonces o f SupS ^ lnf( O S) ( * * ) .
De ( * ) y ( * * ) concluimos oSupS = Inf( o( S) .
La demostracin de II ) se dejo como e j e r c i c i o .

Propiedad

5.-

Dodos S, T ^ R, S " f p f " T, toles que s ^ t poro todo s fi S y todo t e T ,

entonces S tiene extremo superior y T tiene extremo inferior y odems SupSlnfT.
Demostracin.-

Ilustrocin G r f i e o :

y.-^^y.y.y.y.yy.y.yyt^yyyy.ytyt^^tytyty-j't-^tyt')

(xxxxxxyky.>;y.y^xxxy.xxx^;>wxjw-xx.xxx

Seo t T a r b i t r a r i o .
Entonces s t poro todo s e S, lo que significa
que S est acotado superiormente, y entonces por A c , existe SupS,
adems SupS ^ t para todo t T .
Como SupS ^ t paro todo t e T ,
entonces T est ocotodo inferiormente , y
por teorsma 1 , existe InfT, adems SupS
InfT , pues SupS es coto inferior
de T .
Prop iedod

6 . -

Sean A , B R, k / = p f = % .
Si A ^ B, a l suponer la existencia de SupB e
InfB, qu relacin hoy entre :
i)
SupA y SupB

i i)

InfA

54

InfB

Soiucin :
i)

Si A C B. Sea x e A entonces x B, por tanto a l suponer la existen c i a del SupB, se tiene x 6 SupB paro todo x 6 A ( x ^ SupB poro
todo x B , en particular x ^ SupB paro lodo x <S A ) .
Luego SupB
es cota superior de A y por tonto S u p A ^ SupB .

ii)

Sea x e A entonces x e B, por tonto al suponer lo existencia del InfB ,

se tiene que InfB ^ x poro todo x A .
Luego nfB es cota inferior
de A , y as existe InfA, con lo cual InfB . InfA .

Ejercicio

.-

Seon A , B R, A j ^ p / = i .
Supngase que existen SupA, SupB, InfA,
Sup ( A U B), Inf (A n B ) donde sea necesario ,
Responder :
Q u relacin existe entre :
i)

SupA, SupB, Sup(A U B)

ii)

InfA,

iii)

SupA, SupB, Sup ( A O B )

iv)

InfA,

InfB,

InfB, lnf( A U B)
Siempre que A O B 7^ p

InfB, Inf ( A O B )

Nota
En los definiciones anteriores no se incluy el coso de S = ^ 0 ; en reolidad
esto tiene sus inconvenientes : Puesto que es c i e r t o que pora todo x 6 <S
X o pora todo nmero reol o ; y tambin es cierto que todo x e J& ,
a ^ X paro todo nmero real o , entonces el conjunto vaco resultara acotado superior e inferiormente. Como este conjunto no posee ningn e l e mento, entonces no tiene mximo ni mnimos; pero qu se podra decir
acerco de lo existencia del Sup y del Inf ?
Tal vez serio conveniente
d e f i n i r el Sup p como-co
( menos i n f i n i t o ) y el Inf p como +00

55

( ms Infinito ).
Recurdese que los smbolos +ao , - o o no son n meros reales; recurdese tambin que se uso la siguiente notacin paro
el conjunto de los nmeros reales R = ( -oo^+co ) .
Nota
Paro responder el e j e r c i c i o anterior, primero interprtese grficamente y
luego demustrese .

EJEMPLOS DE C O N J U N T O S ACOTADOS SUPERIOR O INFERIORMENTE

1.-

Y a dijimos que R est acotado i n f e r i o r m e n t e , , pero no lo esto superiorm e n t e . Veamos que O = InfR . En efecto: Sabemos que si
x F^
entonces x > O, as puss
pus; O < x poro todo x e R , lo qus significa que
O es coto inferior de R^
Ahora b i e n ,
bosta tomar
que O < x <
O = lnfR+

2.-

si 0<<. x , sabemos qus existe Z R t o l que 0 < Z < x ;

z = x / 2 . Luego dado > O cualquiero, existe x e R t a l
, entonces por propiedod 2 , II) , concluimos que
.

Seo S = { l / n / n Z " ^ } = { l , 1/2, 1 / 3 . . . , l / n . . . |

Sabemos.que n ^ 1 paro todo n e Z*" , entonces 1/n < 1 poro todo
n Z^ , esto significa qus 1 es coto superior de S.
Como 1 S,
entonces 1 = MxS, pero por observacin anterior, entonces 1 = SupS.
Aho.ra como O < n paro todo n Z+ , entonces O < 1/n poro todo
n 6 Z ' ' , as pues O es cota inferior de S. De otra porte sobemos,
que dado > O, cualquiera, existe n Z ^ t o l que O < 1/n <. , esto
es,existe x = 1/n t S tal que l / n < .
Entonces, por propiedad 2 , I!),
concluimos que 0 = InfS.
S no tiene mnimo, pues de existir sera O, pero 0 ^ S .

3.-

Q u se puade decir acerco de los siguientes conjuntos, en cuanto a l h e cho de estar acotados superior o inferiorm.ente, si tienen mximo, m n i mo, Sup O Inf.

I
II)

56

A = { l / n / ne Z+}u{o}B = ( l / n / neZ-{0}^

III) C ={l/n/ ne Z - H } ^ ^ }
4.-

Sea S = { x i/a < x < . b | c o n a , b e R fijos ( a < b ).

S / = P , pues dados a , b en R con o < b , entonces a < ; a + b / 2 ' <
luego X = o + b/2 e S .

Es cloro que S est acotado superiormente por b e inferiormente por o .

Ahora b i e n , dado > O, existe x e S tal que b - < x <
b.
En e f e c t o , si b - ^ o, entonces existe x R tal que o b - < x < b ;
y si b - < a , entonces existe x e R t a l que b - < a < X ' < b ,
Entonces por propiedad 2 , I) , b = SupS,
U t i i i z o n d o el mismo razonamiento se ve que o = InfS .
El conjunto S se llamo " i n t e r v a l o abierto con extremos a y b "

y se noto

( a,b ) 3a,b[.
Nota:
En lo notacin de intervalos, siempre aparece como primera componente
e l nmero menor; adems los nmeros en el i n t e r v a l o , son todos ios nmeros reales comprendidos entre los extremos, ver la grfica :
(XXXX.VXXX'XXXXXXXXXXXXj

5.-

S = | x ^ / a ^ x i b^con a , b e R fijos, ( a < b ).

Como b es coto superior de S y b S, entonces b = hxS ~ SupS ,
o = InfS.
Este conjunto se llamo " i n v e r t o l o semi-oblerto o semi-cerrodo " y se n o t a :

( a,b3 la,b) .

txxxxxxxxjtxw^xx-y.xxxxjxxx
6.-

S = | x e l^a ^ x - ^ b / i ss Homo tambin intervalo semi-cerrodo o s e m i obierto , y se n o t a f o , b ) [ a , b [

IxXXXX xxxxxxxx XXXXXXX xxx Xr>f

7.-

S = { x e R / a ^ x < b >
a = MinS = InfS ;

57

, se llama " i n t e r v a l o cerrado" y se noto

b = MxS = SupS
o

5i'.xxy..xy.xxxy.yuY.xxxx;<y.xxxy.xy-'g

Este intervalo no solo incluye todos los nmeros comprendidos entre a y

b , sino tambin los extremos o y b .

- 58 -

EJEI5C lenos
1.-

Sean x e y en R toles que x < y .

Demostrar qus existe por lo menos
un nmero Z e R t a l que x < Z < y .
Demost.Si x < y entonces x + x < x + y , es decir 2 x < x + y ,
qus x < X + Y / 2

asi

De lo mismo formo, si x < y entonces x + y < 2 y , os qus x + y / 2 <

Combinando las dos desigualdades (tenemos : x < x
pues si Z = X + y / 2 , entonces x <i Z - y .

+ y / 2 < y ,

El nmero x + y / 2 se llamo lo medio aritmtico de x

2.-

as

Sea A = I X e R / x < : o< , o f e R f i j o i .

Demostrar lo siguiente ;
i)
Si X est en A e y < X entonces y est en A .

ii)

A7p.

'

iii)

kt^

iv)

Si X est en A , entonces existe x ' en A t o l que x < x '

Demostr.3.-

y.

Se deja a! lector

Seo A 9 R, k / ^ - p , A T ^ R tal que :

i)
S i x e A
e y < x
entonces y 6 A .
ii)
Si x 6 A entonces existe x ' ^ A tal qus x < x '

Probar que A = | x e l ^ x < SupA \

Pruebo : - Como A / = R, existe b R tal que b ^ A .
Veamos que b es cota superior de A , es decir x ^ b poro todo x e A ,
Si no lo fuero, existira x A t o ! que b < x , pero entonces , por i ) ,
b e A , lo cual es imposible, pas b A .
Luepo b es cota superior
de A , entonces por A c , existe SupA.
Ahora veamos que si x A , x < SupA y viceve.-so .
Seo puss X tf A , entonces, por i i ) existe x ' en A tal qus x < x ' .
x ' e A , entonces x " < SupA, entonces por tronsitlvldad x < SupA.

Como

Supongamos ohoro x <

59

SupA y veamos qua entonces x e

A.

Como X < SupA, entonces SupA - x > 0 .

entonces paro = SupA - x ,
por propiedad anterior,existe o e A tal que SupA - S < a ,
esto es,
existe o e A t a l que SupA - ( SupA - x ) ^ o , es decir, existe a e A
t a l que x < a .
Por i ) como o A y x < o entonces x e A .
De todo lo anterior concluimos qus A =

i x e

R / x <

SupAV

Combinando ejercicios 2 y 3 anteriores, tenemos qus si :

A = i X e R / x<<o{,ofR f ' j o l
, entonces : o = SupA. Este
conjunto se llamo " c o l a abierto* y se nota ( -oo , c^ ) 7~> >( I

Observacin

'

.-

Si A S R y SupA existe, entonces si t < SupA

t a l qus t < a .

entonces existe a

4.-

Seo x 6 R.
Probar que existen m y n en Z toles que m < x < n .
Pruabo :
Pora x e R, por propiedad vista, existe n e 2^^ t a l que
n > x.
Ahora bien pora n - x e R
y 1 > 0 , existe, por lo propiedad a r q u i mediona, un entero positivo m^ tal que m . . l > n - x , es decir ,
m i - n > - x , esto es, x > n - m-i Z ,
Tomondo rn = n - m ^ , c o n c l u i mos que existen m, n Z toles que m <: x < n .

5.-

Sea S S Z , S /= p .
Dertxjstror que si S est ocotodo superiormente,
entonces S posee mximo.
Demost.Como S T ^ ^ ^ y S S R
y S est acotado superiormente, e n tonces S tiene extremo superior.
Digamos qua b = SupS.
Como b - 1 < b, entonces b - 1 no es cota superior de S, por tanto
existe n S ( S S Z )
tol que b - 1 < n .
Como n S, n ^ b .
Veamos que n es coto superior de S, con lo cual se tendra b :< n, y entonces n = b, con n S, es decir , b = SupS = n : S, entonces SupS=MxS,
Si n no fuero coto superior de S, esto signifeario que existe m S t a l
que n < m .
A h o r a , como n , m e S ( S Z ) y n < m entonces

n + 1 ^ m.

Ahora b i e n , como b - 1 <

60

n entonces b < n + 1 < m, con lo cual

b < m.
Imposible '.
6.-

Seo S S Z ,
mnimo .
Demost,-

pues b = SupS
S^JD

y m ^ S.

Luego n

es cota superior de S.

S i s est acotado inferiormente, entonces S posee

Se deja o! lector

7.-

( Principio de Buena O r i ^ n a c i n
).
Todo conjunto S no vaco de enteros psitos tiene mnimo.
Demost.Si S Z , como 11 esl ocotodo inferiormente, entonces
S est acotado inferiormente, y entonces por e j e r c i c i o 6 ,
S posee
mnimo .

8.-

Todo conjunto f i n i t o S ( S R ) tiene mximo y mnimo .

Def.Un conjunto S se dice f i n i t o si existe n e Z ^ y f: S } 1 , 2 , . . ,n>^
biyectiva.
En este coso escribimos 'S = n , qus se lee " cardinal de S
es n " .
Demost.Sea X = 1 n
mnimol
C loramente X Z (* )
Veamos que X es inductivo
i)
1 e- X , pues 1 Z ^
mo X ^ X, entonces
i)

Z/Si

*S = n, entonces S tiene mximo y

.
y adems si #S = 1 entonces S =
x = MnS = M x S .

<xl

y co-

Supongamos que k X y veamos que k + 1 X .

Como k e X , k Z ^ y adems si #S = k entonces S tiene m x i mo y mnimo.
Seo pues B S R cualquier conjunto t a l que #B=k + 1 ,
digamos qus B = \ x ^ , x ^ - * . Xj^, Xj^^^ y qus Xj f^ X j , si i j i ^ ,

'i =i.2,.--/ k + 1 .
Como k e 27 , k + 1 C 2: , pues TJ es i n d u c t i v o .
Sean B' = B - X | , + ] l . Como # B ' = k
entonces B' posee mximo
y mnimo.
Sean o f = MnB'
todo x e B' , y

y
fie

f>= MxB' , es d e c i r , o
B' y x ^ o
pora todo x e

B' y c ^
B'.

x paro

Supongamos qus B' tiene ms de un elemento ( pues si tiene 1 , no

61

hoy nodo que hacer ), entonces c ^ < B

son distintos entre s .
Comparemos ^ L + ] con o( y A
Puede suceder :

a)

\+]<o(

Si o ) X,

b)

o<< \ ^ ^ < p

. = MnB, pues o ^

, pues los elementos de B'

c) J i <

Xj^^^ .

x pora todo x e B' y x ,

entonces Xi ^ i < x paro todo x e B' y por tanto

,<c!< ,

Xi ^^ .^ x

para todo x e B, Adems [5 = M x B .

Si b ) entonces Of = MnB y (^ = M x B . SI c ) , <=< =MnB y x^+]= MxB
As pues en cualquier coso k + 1 X , y por tonto X es i n d u c t i v o .
Como Z es el menor conjunto inductivo entonces Z C X (**) .
De (*) y ( * * ) concluimos que 2!^ = X , es decir, pora todo n 6 Z ,
si #S = n , entonces S tiene mximo y mnimo .
9.-

Si X es un nmero rea! a r b i t r a r i o , demostrar que existe un entero n nico

que v e r i f i c a las desigualdades n ^ x < n + 1 .
Este n se denomina
" l o porte entera de x " y se designa por
ffxJ,
La unicidad del nmero n, nos permite construir una f u n c i n , conocida
comnmente con ei nombre de funcin "parte entera" .

IC 3 I : R
XI

*R
ID<3 ~

" '' qiJ n < x <

n+1

Demost.- Sea S = j n Z / n x > , x e R f i j o .

S y^ P f pues por e j e r c i c i o visto existen enteros m y n toles que m < : x < n ,
en particular existe m e Z tal que m < x , que implica m x ; de modo
que m fe S .
Es claro que S est acotado superiormente por x .
Como S ^ Z , por construccin y S est acotado superiormente, entonces S tiene mximo; es d e c i r ,
existe n S tol que n = M x S .
n es nico .
Por estar n C S, n e x .
Veamos que n + 1 >
x.
Si n + 1 < X entonces n + l 6 S ( n 6 Z entonces n + 1 Z ) . Pero
n<;n+l
y n = M x S . Luego n ^ x
y x < n + l , es d e c i r ,
n ^ X < n + 1.
10.-

Seo x e R a r b i t r a r i o .
Demostror que existe un entero n n i c o que v e r i f i co ios desiguoldodes x n < x + 1 ,
Demost.Se deja como e j e r c i c i o ol lector .

n.-

62

Si X e y son nmeros reales arbitrarios toles qus x < y .

Probar que
existe por lo menos vn nmero racional r t a l qus x < r < y y deducir
de e l l o que existen "muchos" .
Pruebo:
1- Forma :
Sean puss x e y en R, con x < y . Entonces y - x > o ,
y as por propiedad anterior, existe n e Z*" to! qus 1/n < y - x , es
decir, 1 < n y - x n .
Puesto que la diferencia entre ny y nx es de rns
de uno unidad, es natura! pensar que exista o! menos un entero m, tal
que n x < m i < n y .
En efecto, por e j e r c i c i o 9 , existe un nico m Z
t o l que m ^ n x < c m + l .
Resto ver que m + 1 < n y ,
m = m-1 + 1 < ( m-1 ) + ( n y - n x ) = ( n y - 1 ) + ( r n - nx ) ^ ny - 1 ,
pues como m < nx entonces m-nx ^ 0 . A s que m < n y - 1 , entonces

m + 1 < ny.
Luego tomando m^ = m + 1 , tenemos nx < m. < n y , as quf? x < rn-j/n <
Como m, e Z y n Z 7 , entonces m-t/n Q , lusgo r = m | / n es t a l
que x < r < y .
Procediendo ds la mismo formo, podemos aflrmor qu?;
existen r^ r2 Q tales que x < r , < r < ''2 < y , e t c .
2- Formo :
existe n e Z

y.

Siguiendo e l mismo proceso de lo forma 1 , afirmamos que

t o l que nx < ny - 1 .

Construyase ohoro el conjunto S = \ m e

que este conjunto tiene mnimo.
S m
entonces m-1 f : S, as que nx > m - 1 .
x < r r / n = m - l / n + 1/n x + 1/n < x
x <m/n< y .

Z / n x < m >
.
Demustrese
= M n S , entonces, como m-1 < m,
Por tanto :
+ ( y - x ) = y , es d e c i r ,

Noto :
Lo propiedad demostrada en el e j e r c i c i o anterior se expreso diciendo que e l
conjunto Q de los nmeros racionales es d e n s o en el conjunto de ios
nmeros reales R.
12.-

Seo x Q ,
X 7 ^ 0 , y R - Q .
x / y estn en R-Q .

Demostrar que x + y , x - y , x y y

13.-

Lo sumo y el producto de los elementos de R-Q es siempre un elemento

63

de R-Q ?
14,-

-Un entero n se llamo por si y solo si n = 2m poro un cierto m C Z , e

impar si y solo si n + 1 es por.
Demostrar los afirmaciones siguientes:
i)
Un entero no puede ser o lo vez par e impar .
ii)
Todo entero es par o impar .
iii)
La sumo o el producto de dos enteros pares es por.
Q u se p u e de decir acerco de lo sumo o el producto de dos enteros, impo -

iv)
v)

' ^ ' \ '

.
2
2
Si n es por, tambin lo es n .
Si a = 2b , siendo a y b e n teros, entonces a y b
son ambos pares .
Todo nmero racional puede expresarse en lo forma c / b donde o y
b son enteros, bT^O, uno de los cuales por lo menos es impar.

Demost.-

ii)

Veamos la demostracin de i ) , iv )
jan como e j e r c i c i o .

y v ) , las derns se d e -

a)

Seo n Z ^ , veamos qus n es por o impar.

Poro sto,
construyamos el siguiente conjunto .
Sea X = n e Z ^ / n e s por o n + 1 es par > .
1 e X , puss 1 Z ^ y adems 1 + 1 = 2 = 2 . 1 , es d e c i r , si l l a mamos n = l , n + 1 es por, as n = 1 es impar, y por i ) es solamente irnpor .

Supongamos qus k 6 X , es decir k 6 Z^ y adems k es por o k + 1 es

par.
Veamos que k + 1 <& X .
En efecto, supongamos que k e X y k es por,
entonces k + 1 = 2p + 1 poro algn p Z , os qua (k + 1 ) + l = 2 ( p + l ) ,
es decir k + 1 es impar ( k + 1 Z ).
Luego k + 1 e X .
Ahora, si k e X y k" es impar, es decir k + 1 , es par, entonces
k + 1 e X , pues si k e i ^ tambin lo est k + 1 .
Luego en cualquier caso k + 1 e X , con lo cual hemos demostrado que
X es inductivo, y como Z es e! ms pequeio conjunto i n d u c t i v o , e n t o n ces Z ^ Q X .
Por construccin X Z , entonces concluimos que X = Z , esto es,paro
todo n e Z^ , n es par o impar .
b)

Extendomos el resultado anterior a Z " .

entonces - n fc Z

Para esto,

sinZ",

64

A s que - n es por - n es impar, por la porte

a).

Si - n es por, - n = 2p poro algn p e Z , es decir n = 2(~p), con

-p 6 Z .
Por tonto n es par.
Si - n
tanto
Luego
Ahora

es impar,
n = 2(-q)
paro todo
O = 2.0,

- n + 1 = 2q poro algn q > Z , os que - n = 2q - 1 y por

+ 1 , entonces n+ 1 = 2 ( - q + 1 ).
Luego n es impar.
n e ~,
n es por o n es impar .
as que O es por.

De todo lo anterior, concluimos que si n Z entonces n es por o impar

2
9
Supongamos que n es par, es decir , n = 2m paro algn m e Z ,
Si n fuero impar, entonces por i i i ) n . n = n sera impar, lo cual
no es posible.
De modo que n es por, por i ) .
iv)

Ahora supongamos que c r = 2b , como a , b en Z .

Como a ^ = 2b'^,
entonces ar- es por, y por tanto a e* par, digamos que a = 2m para a l gn m e Z .
o o
Entonces cr- = (2m)^ = 4m , y por tonto 4m^ = 2 b ^ , es decir b= 2m ,
os que b^ es par y por tonto b es par.
v)

Seo r un nmero racional cualquiera, es d e c i r , r = a / b con o

Z,

b e Z - ^0}.
Entonces por i i) o es par o impar y b es por o impor, entonces, puede
suceder : a y b pares, o y b impares, o por y b impar o o impar y b
par.
Si sucede cualquiera de los tres ltimos casos, no hoy nado que hacer,
supongamos que o y b son ambos pares .
Sea X = { n e Z % < 2 " /
1 C X,
pues 1 < 2 ' = 2
Sea m e X entonc^iS m Z ^
y
m < 2 ' ^ .
Como m < 2"^ entonces 2m < 2 ' " . 2 = 2'"'^^ . Ps'O 2m = m + m m + l ,
pues m ^ 1 ya que m e T : , os que n + 1 < 2"^
, lo que significa que
m + 1 X.
Lo anterior significa que X es i n d u c t i v o , lo que implica
que Z ^ S X , pero por construccin X Z^ , entonces X = Z ^ , es d e c i r ,
poro todo n e 7 ^ , n < 2
.
Ahoto b i e n , veamos que poro todo o e 2 / y o par, entonces a = 2 " q con

q e 2r

impar.

65

En e f e c t o , seo X = * * Z / a = 2
q paro
X / p , pues 1 Z ^ y como o es par, o
Por tonto 1 6 X .
X est acotado superiormente por a , pues 2
y si q e Z!^ es tal que o = 2 q , entonces
poro todo o e X .

algn q e Z ^ t
= 2 . j pora algn j e Z .
^
>Qf poro todo of e Z ^
2 q > o( , es decir a > o

Como X ^ p , X ^
Z
y est ocotado superiormente, entonces posee
mximo, digamos que N = M x X , es decir a - 2 ' ^ q pora algn q e Z ' .
Veamos que q es impar.
Si q fuero por, es decir q = 2q-| pora algn
q i e Z^ , entonces a = 2 . 2 q , = 2
q w es decir, N + 1 X
con N < N + 1 , esto es imposible, pues N = M x X .
As que q es
impar.
Supongamos que o , b e Z

y son ambos pares; y seon :

O^ = Mx I n e Z V o = 2 " q , q e
/^ = Mx { m e Z V b = 2'"p,

Z+}

t \

Entonces :

" '
"
2PP0
\ _ i _ % / p
I 2/5-<

qQ, PQ
si

impares

c<^f
'

Es cloro que si cX = p , entonces o / b = q f j / P r ) con qQ y p^ impares; y

si o( < fl of >/3
entonces uno de los elementos en el cociente es
par y el otro impar.
Obsrvese que s i a e Z "
y b e Z ^
a e Z "
y b e Z " n o afectan e!
resultado a n t e r i o r .
As pues en cualquier caso e l nmero racional r
puede expresorse como el cociente de dos enteros, donde a! menos uno
de los dos es impar.
15.-

Existencia de races cuadrados de los nmeros reales no-negotivos .

Definicin.A l nmero x g R tal que x'' = o ( o ^ O f i j o ) se denomina raz cuadrada de o .
N o t o : Los nmeros negativos no pueden tener races cuadrados, pues

66

hemos visto que poro todo x e R, x^ ^ O, es decir poro que un

nmero x sea lo raz cuodroda de un nmero o , este nmero o d e be ser mayor o igual que 0 .
Si o = O entonces x^ = O
raz cuadrado de o = O .

tiene por solucin x = O, es d e c i r , O es la

Supongamos pues o > O, a l considerar x r = a , x^ > O, por tanto x y ^ 0 .

Ahora (-X ]r = x ^ = o , as que - x y x son ambas races cuadradas ( de
a) .
Pero o tiene o lo sumo dos races cuadrados, pues si x^ = a e y^ = e,
entonces x ^ = y2^ es decir, x2 - y^ = O, o seo ( x + y ) ( x - y
)=0
asi que y = - x y = x .
Luego si a tiene races cuodrodos, tiene e x a c tamente dos.
Prop i e d o d

.-

Codo nmero real no-negativo

drada no-negativa nico .

tiene una raz c u a -

Noto :
Si o ^ O su raz cuadrado no-negativo se indicar por
Si a >
Demostr.-

O lo roiz cuadrada negotivo es - a /-^

Si a = O entonces O es la nico raz cuadrado

o 7

v o .
.

Supongamos pues que o > 0 .

Sea S =

xeRVx^^

S "/= p , pues o / l + a C S
1 <

1 + o

yo que

entonces a<( 1 + a )

o ^ / ( 1 + a ]r < o, es decir

o / 1-i-a > O
, entonces

y adems a ^
o ^ ^ a(l + a f ,

1 + o

por tanto

( a / ( I + a ) ) ^ < o , entonces ( a / ( I + a ) ) ? ^ a .

En g e n e r a l , podemos exhibir bastantes elementos en S, pues si a > O, e n tonces : i ) O < a < 1 i i ) O < 1 < a ( Si a = 1, la nico raz c u a drado no-negativo de a es 1 ) .

67

Si i) entonces existe r 6 Q tal que O < r < o < 1 , y entonc--s

0<r2.<ra<r,
y adems r < o, entonces O < r2 < a ,
As que r S.
Si II) entonces existe
O <. [ 2 ^ r ^ xa, pero

r e Q tal que O < r < 1 < o ,

entonces
r < a, as que O < r ^ < a.
Por tanto r 6 S.

Veamos ahora que S est acotado superiormente, an mas 1 + o es coto

superior de S.
Como 1 + o > 1 entonces ( 1 + a )
> l + a > a ^ x
para todo x S,
y entonces 1 + a ^ x para todo x t f S, pues si no lo fuera, existira
x e S tal que x'^ > (1 + a ) , pero esto no es posible.
Como S 7^ j2( y est acotado superiormente, entonces S tiene extremo superior, digamos que b = SupS.
Como a / ( l + a) < S entonces a / ( l + a) ^ b, por tonto b > O,
Existen tres posibilidades pora b :

>a,

b < a

= a

Supongamos que b^ > o y seo c = b - (b'^ - o)/2b = (b^ + a)/2b - 1/2 ( b + a / b ) ,

Como c = b - (b2 - a)/2b
que c ^ b ,

y como

b 2 - a > 0 y b > 0

entonces (b^ - j ) / 2 b > O, as

c = 1/2 ( b + a / b ) , entonces c > 0.

As que

0^c.<b.

.2 =
_ b^
Ahora c^
b2 - ((b2
b ^ - a ) + ( bb^2 - a ) V/ ((22bb))^' = o + ( ( b ^" - a ) / 2 b ) 2^ > o,
o.
decir,

c^ > o ^ x^ poro todo x fe S,

por tanto
c < b.

x <: c

pora todo

Esto no puede ser.

entonces

x'^-c c^

es

paro todo x C S,

x S, es decir,

c es coto superior de S y
2
Luego es falso que b ^ o .

Supongamos que b ^ a .
Puesto que b
Como a - b'^ > O entonces ( a - b )/3b
que 0 < C 2 < (o - b ) / 3 b . Tomemos
0 < c e ^ < b
y O < c ^ e 2 < (o -

> O, existe C] e R tal que 0 < C i <

> O' por tonto existe C2 e R
tal
c = M i n / c ^ , C 2 I / c es tol que
b 2 ) / 3 b , *'
'

b,

Pero ( b + c ) ^ = b^ + 2bc + c^ = b^ + c ( 2 b + c ) < b 2 + c ( 2 b + b ) = b2 + 3bc

que es menor que b^ + 3b ( o - b ' ^ ) / 3 b = b^ + a - b = o.
2
Entonces (b + c ) .C a, as que b + c 6 S, Como b + c > b, lo anterior
contradice que b es coto superior de S.
Por tanto b <. a es imposible.
Por Tricotoma, es entonces b = a . /"Jiora,
s b l y b2 > O son toles que b-j = o = b2 entonces b2 = b] 5 b2 = - bi .
Pero como b2 > O

entonces

b^ = bi .

Luego b es n i c o .

68

En d e f i n i t i v a hemos probado que existe un nico x C iT

tal que x2= o

( X = SupS = Sup i y e R ' * ' / r a l )

16.-

Demostrar que no existe nmero racional cuyo cuadrado sea 2 , es decir

no existe x Q tal que x^ = 2 .
Demostr.-

Suponga que existe x e Q tal que -xr ~ 2 y llegue entonces

o un imposible.

1 7 . - Si X e y son dos nmeros reales cualesquiera toles que x.* y .

Demostrar
que existe por lo menos un nmero z e R - Q tal que x < z < y , y d e d u cir que existen " i n f i n i t o s " .
Demostr.-

1 ^ Formo :

Sobemos qua V 2 ^ R y adems2 <%. Q

entonces

V l ' e R - Q , ademsVr>0 (/T = Sup{xe t / x^ i 2 J ).

Entonces s x < y , x + V 2 < y - ^ V T f por tanto, por e j e r c i c i o anterior,
existe r Q tal que x + V z < r < y +V2*, es decir x < r ~ ^ 2 < y , y
por e j e r c i c i o anterior, r - * t - z e R ~ Q ,
Procediendo de esta formo
afirmamos que existen z i , Z2 ^ R - Q tales que x < Z i < 7. < Z2 < y , . . r
etc.
2 - Formo : Como x < y ^ y y / > 0 , entoncesV2 x < T 2 y , y ,
y entonces existe r e Q ~ | 0 | ( obsrvese que esto siempre- es
posible ) t a l que V 2 ' x < r <*%2: y .
Entonces x < x / i ^ < y .
Por e j e r c i c i o anterior r / < v z ^ R ~ Q do z = r / * f T , entonces x < z < y eon z ^ R - Q .

Toman-

Noto :
-..
La propiedad anterior se expresa diciendo que el conjunto de los n meros irracionales I
es denso en el conjunto de ios nme.ros reales
R.
18.-

Lo propiedad Arquimediona del sistema de los nmeros reales, se dedujo

como consecuencia del axioma del extremo superior. Concluir que
e l axioma del extremo superior no puede ser deducida de lo propiedad A r quimediona, demostrando que el conjunto Q de los nmeros racionales
satisface lo propiedad Arquimediono, pero no la del extremo superior .

Demostr.nx > y .

69

Seo x Q
e y e Q arbitrario; como x e Q*" entonces x e R*^
y como y Q entonces y K s que existe n e '^^ tal que
Luego Q satisface lo propiedad Arquimediona.

Seo S = { x e c t / x ^ ^ 2 J . S S Q ,
S y ^ p , S est ocotodo superior mente por ( 2 + 1 ) . Pero S no tiene extremo superior en Q , pues
SupS = b es tal que b = 2 , pero b ^ Q .
A s que Q no satisface lo
propiedad del extre.mo superior.
Lo anterior permite afirmar que lo propiedad dei extremo superior no p u e de ser deducida o partir de lo propiedad Arquimediona,