Captulo

El Sistema de l*s NrnerCIs Reales

Xntroduccin
Bxisten dil'ersos rntodos para introducir los nmeros reales: histricamente,
nmeros naturales A.7,2.. . . que se llega a coirstruir los nmcros reales.

e-s

a partir cie iirs

Supongamos que s{j t,rata de resolver la ecu acilr r * 3 : 2. En el ccnjunto de los nmeros rr.aturales;
que en adelante lo notaremos por N, es decir: N : {0, !,2,...}, es evidente que dicha ecuacin rc
tiene solucin: pues ella se satisface nicamerite para r - -1 y corno sabemos ,-t ( N; entonces
resulta necesaiio introducir un nuevo sistema de nnleros en donde por ejemplo la ecuacin c*3 : 2
tenga solucin; este es, cl sisterna de los nmeros enteros; que es el conjunbo:

v-I- 1..., *2,-1,0, 1. 2,...j.

ar

Ahora bien, el sistena de ios nrimeros enteros no nos permite avanzar mucho en nuestros ob.jetivc-rs,
por ejemplo. vemos que la ecuacin; 2r : L, no tiene solucin en el corrjunto de los nmeros enieros,
pues r : $ es solucin de dicha ecuacin y tenemos que ( 2,.
$
Se define entonces

un sistema rns amplio que el de los nmeros enteros, el conjunto <1c los nmeros
ruc'ionales,los rrrismos que se definen como ei cociente entre clos nrneros cnteros: en otras palabras:

(a

^
'A:tE:o'elJ

beZ;

b+0\J

Pero an este sistr-:rna es incompleto, corno se deduce del siguiente ejempio.

EJETfPLO

lr=r-:=i:r cue la ecuacin

12

no se satisfaa'

fi:: :r,::i::i.

:2

n',uie:r. racional.

Solucn. Para 'i.en:-s::l: *-.: L=:i.: utilizaiemos el mtodo Ce demostracin por reduccin al
absurdo. Para e,llo si-l--Le=-: ---l: I ;.-t,acir 12 :2 s se saiisface para uli nrmero racional r. Pcr
ser r' Q, p.r la aeitir-:. 1".- ,:-'l:,:a Q. :- se cuede exFlresar corc 7- - a aor, 7n \- n.r1iar,,,,i..'
,
rzl0, Adems poienc. ele= :l. -,- ", :c Itincdc,ir.te sean '-rr:::i.-: rrrtti S-;. ria, t:. il-Lt ,,. "- -. r,tengan dir,'isores comux.es. a s:{-r:" ;-- i.i:--i:-:- *- -\.1 ; -: e':--, :" :.." j- :l -":::tt:: :. ;:::,- i ,-,
el 8ye1 9sonprimo-*ent:e:: F,r: --r.-:.jt:;-,,s=-r-:::=: =: =- j', =-)-- -.:-::-:-:-::t,tr:

CAPITULO

50

s.

Con esta suposiciir de considerar

que como: 12

rrL

a
n,

3. EL STS'TEMA DE [,OS

NTJLEROS R,EALES

un racional, que no io poriemos simplificar; teuemos

: 2y r : 3 *tnrl.*, 4 : ,.

Luego rn2

:2n2.

Ahora bien, esta ltirrra iguaidad

nos indica que m2 es un entero par. Pero si rn2 es patt rn es par) ( u.i, que ??? : 2h con h e Z.
Se sigue entonces que rri2 :4h2 y dem2:2n2 se sigue que:4h,2 - 2n2, de donde 2l*: n2. Por
scr h. Z y utilizando ei rnismo razonarnieirto anterior se sigue que n es tambin un nmero par.
Luego tenemos que m y ?1 son cnteros pars; es decir no son prirnos entre s; pues al rrenos el 2 es
un factor comn entre ellos, io cual es un absurdo, pues nosotros habamos supuesto que m y n son
primos entre sf. Esta contradiccin resulta por el hecho de haber supuesta que r era racional; lucgo
tei-iemos que cambiar nuestra hiptesis inicial, y concluir que entonces r no es un mimero racional.

Luego, hemos haliadi: un rlero que no es racicnal.

dcnomina tt'aci on.ales.

A los nmelos que no son racionales

res-llta de 1a unin entre ios nmcros racionales y los irracionales es

denornina el conjunto de los nmeros reales y que k-i notaremos por 1R..

El conjunto que

se los

lo que

se

En nuestro objetivo, no ilos interesa sal,er los mtodos de construccin de los nrneros reales, u
otros sistemas numricos pues de este tema se interesa la rania de las Nlatemticas llamada la
Teora de Nmeros. A nosotros ms bien nos interesa las propiedades de los nmeros reales; por
esto consideramos a los nrneros reales como objetos no definiclcs, que cumpien ciertos axiomas y
a partir de estos obtendremos ciertas propiedades) que curnplen los nmeros reales.
En virtud de que el lector est familiarizado con ia rnayora Ce ias propiedades que obtendremos
ms adelante; la exposicin de estas ser brer.e; el propsito es ms bien, introducir al lector, en
el mane.jo de ciertos conceptos, tales como la estructura de cuerpo, la cual la utilizaremos) cuando
traternos ms adelante los espacios vectoriaies; el principio de induccin matemtica, el cual es una
herramienta muy eficaz para Ia demostracin de ciertos teoremas" Es tambilt nuestro propsito
que el estudiante se familiarice con un estudio formal; esto es, que observe cmo a partir de un
conjunto de axiomas; se puede elaborar una teora rigurosa y que vea como ciertas propiedades
"muy evidentes" que satisfacen ios nmeros reales, se pueden obtcner por un tratamiento ordenado
de ios axiomas de partida que consideremos.

A continuacin introduciremos lcs axiomas que dotan al conjunto de 1os nmeros reales, de una
estructura algebraica llamada cuerpo y que permitir que hablemos del cuerpo de los nmeros
reales.

3.1. Axioma de Cuerpo:

Junto con el conjunto de los nmeros reales R; adrnitiremos la existencia de clos operaciones,
llarnadas adicin y multiplicacin; taies que para cada pat r e g de nmeros reales r+A es un nuevo
nmero real as como tambin lo es r'y; diclics nrneros reales, estn determinados unvocamente
pot :x e a.
A taies operaciones que al operar err un par de elementos de un conjunto, nos dan un nuevo elenrento
del mismo conjunto; se les llama operaciones internas en el conjunto. Los siguientes ejernplos nos
aclar:an mte hecho.

L]I}TPLOS
E;" ei :oljuntc de nmeros naturales deflnimos la operacin

r&u:r*'!-7.

ccmo:

3.1. AXTAMA DE CUERPO:

51

En dondc r, U e 1 son nmeros naturrles; ntese que el smbclo * del seguucio niembro es la
operacin oe adicin usual que conocemos. Veremos que esta <-rireracin 0 en el conjunto de ios
nfireros naturales es interna en {; una demostracin rigurosa de e-qte hecho no la realizar}os.
A manera cie visuaiizacin tcmemos dos nmeros naturales cualcsquiera; por ejemplo el 2 e N
y ei 3 N y Nenerno^ por la definicin de $ que: 2CI3 : 2+ 3+ 1 : 6 y 6 e N.

2.

En ei conjunto de ios nmeros enteros pares P, definimos la operacin

como:

tEA:t'Y*3.
En cignde r e U sDn nmeros pares cualesquiera. Con un contraejemplo podemos ver que la
erperacin I as definida. no es una operaciit interna en P. Eir efecto, -qi tomamos cuaiquier
par de nmeros pertenecientes P, por ejernplo el ? y el 4 tenemos que:

2r&4:2.4+3:B+3,*-11
v corno 11 ( P; se sigue que la operacin x no es interna en P.
Ahora bierr" en nuestia axiomatizacin de los reales, nosotros partimcs de tres conceptos: el coniunto
de los nmeros reales JR. y dos operaciones internas definidas en JR, que por conveniencia v por est"ar
el lector familiarizado con las operacicnes adicin y multiplicar:in usuaies; nosotros las usaremos
para dotar al conjunto IR de una estructura de cuerpo.
Entonces tenemos que pa,ra estas operaciones + y x los nmeros ieaies satisfacen los siguientes
axiomas. En dichos axiorna,s 'r:)'g1 z son nmeros reales arbitrarios.

3.1.1. Propiedades de las operaciones de adicin y rnultiplicacin"

1. ra-y - y1-r (Ley connutatirz,).
2. {, + A) * z : r * (y+ e) (Ley asociativa).
3. Existe un nmero real que lo notaremos con ei smbolo 0 tai que, para todo r
que:

* IJ :0 * r : r

R se tiene

iI,ey modulatira)

Este axiona, escrito en notacin formal se xpresa como:

(:0 e R)(Vr R)(r

=.

Fala :sda :mero real

*0 : 0+ r : r).

r, existe un nmero real que lo notaremos por *r tai que;

r : (-r) : (-r) i r :0

(Ley ciel opuesto).

E:r.l::in,-:s:e:i:,raenroiacinformalnosqueda:(VreR)(:(-")

=--:
6. I.r'9 ::;

-.).

eR)[r+(-t) :(-") +r:0]

. -::-::j-::i:

-=--

'- :

T. Existe un aner,:

re;a_: L

r: -,,:;;-.:F r.ai -

I -J : ;
y este a-xioma escrito en icraii'i:.

l-

:a::;-

- I
'-i

1;l* r"i:e para

[-or'

-"r

lodo J R se tiene que:

--iu::i''a

-':+:.;

t=i Rr,.;; i E - : : -- - --

---

CAP{T{JLA 3, EL SISTEMA DE LAS NMEITOS REALilS

52

8.

Parr

todc ulimero real

rf

0, existe un nmero real tiue lr n,taiemos por

,r,

.r-l :

,tt-7

.s

==

r-1 tal qrie:

1 (Ley rlel inverso)

qrie escrito en noi,acin formal queda comol

(Vr 1R, r
Y finalrnenie tenemos un ltimo

9.

l0)(i,r*1

e lR.)(r .r.-7

r .,r,

: i).

lxioma en rlonde inl,ervienen las dos operaciones:

Cualcsquiera que sean los nmeros rcaies

r,

?!,

: r't}

r,

r'{a

: r-

+ z)

z se tiene.

'e (Le5' ciistributiva).

Estos I axirmas dotan al conjunto rie los nmerc,s reales con 1: operacin * y x rie una est,ructur:r
algebraica que se llama cuerpo. Tenemos entonces el derecho de irablar del cuerpo de los nn1ers
reales, que io notarnos p<lr (iR., +, x).
Ntese que por ejemplo (Q,+, x)e.c tambin un cuerpo, cl cuerpo de los nmeros racionales con las
operaciones * y x usuales; pero que (7',+, x) no es ult cuerpo si consideramos la *
f x usuales,
puesto que por ejemplo ei axioma 8 no se verifica; por cuanto si z: 3 e Z: no existe un eleniento
y Z tal qrre 3 x u - ! x 3:1: es ciaro esto pues 3-i rlue la satisface no es un elemento de Z.

A partir de estos axiomas estamos en capacidad de dedrrcir todas las propiedades algebraicas rle
los nmeros reales. Algunas de ellas la,s demostraremos y otras las dejaremos ccmo cjercicio para
ei lector

Teorema 3.1 El

elemen,to A del arzorna

elem,ento neutro para la slffna,.

es ni;co. Di,cho elemento se dencn",na el mdulo

el

Demostrsci'n. Haremos la demostracin por reduccin al absrrdor putu lo cual suponemos que e1
elernento del axioma 3 no es r.nico; y que existe otro, por ejemplo el 0r que tarnbin satisface ei
axioma 3 y tai que 0'f 0.
Entonces por ser ei 0 el eiemento que verifica el axioma 3 terreuros que:

VrR., r*0:0+r:r.
En particular como 0/ g R. se tiene que:

0'+0:0*0':0'

(3.1)

Tambin como por hiptesis el elemento 0/ r'erifica el axioma 3 tenemos;

Vn lR.,

r+At:0'+r:T.

Ccnic0eRsetieneque:
L+ 0/
'3

;.:

0'+

(3.2)

3.2,) tenemos que:

.r:e crrtradict-in con nuestro

* A'; luego tenemos que cambiar

del axioma 3 es nico.I

-qupuesto de que A

ra

3.1. AXIOMA DE CUERPA:

Teorema 3.2 El elernento
ad,i,ttso d,e

r.

Dr:rn,ostrac'n. Sea

y z de r. corrA

tJt)

-r

del arioma 4 es ni"eo" Dicho elementa se denomi,na el opuesto

un nmero reai cualquiera y supongamos que existen dos opuestos aditivos y

2.

Pol cumplir y el axioma 4 se tiene:

y por cumplir z el axiorna

Atrora bien:

Lucgo

r*y:U*r:O

(r.t,

s*z:z*:t;:O

(8.4)

4:

A : A+A
: a * (.r + z)
: kl + $) + z
: 0+z

A: z,lo cual contradice

(poreiaxiorna3).
(por

{3.4)

{por el axiorna 2).

(por(3.3) )
(por el axioma 3).

nuestrasuposicin. Por tanto lo correcto es que el elemcnto

rinico.I

Teorema 3.3 Sean,a,b Acnmeros

r"eales.

a*c:

b+ctenemos que:

Por el axioma 2 tenemos que: a * {c* (-"))

por ei axioma 3 se concluye que: a: b.l

Corolario 3.1 Par& todo rec,l r,

*(-") :

es

Si,a* c:b* c entonces o,:b.

Este resultado se conoce con el nombre de " Ley cancelat'iua"

Demostrac'in.-De la igualdad
es el opuesto aditivo de c.

-r

(a+c)+(-c): (&+c)+(-c) donde -c

+ (c+ (-")) y por el axioma 4; a*0 : b* 0 y

",

Demostrac'idn. Tenemos por el axioma 4 que:

De"S":, "'-

'por

3.i

-(-")+ (-r) :3

(3.5)

r*(-r) :6

(3.6)

tnexlcs que:

:r-(-r)

-i-t;-(-r)

el taorem ailer:,cr ornctuilnrts que:

* -:: . I
Ntese que las operacione aCic;n ]: m:Hp;!-i:cr: se -as '" ,leFnido ian solo para dos eiementos
de JR; con ia ayuda de Ia ie'- asociaiva puiemcs defr-ff::. p:,r eie::p:,r I'a sura de 3 o ms elementos
de la siguiente manera:

Si a, b, y c son nmeros reales cuaiesquiera def;in:r.

a-lb+a: (t

bl

-'5.:G -r-;l- !

l.

CAPTTJLO

3. EL

SISTEIUTA

DE LAS {4ETOS TIEALES

De manera -"imilar podemos ciefinir la suma de n nineros reales. Idnticarnente podemos hacer esto
para la multiplicacin de n nmeros'

La dlferencia de 1' b que es una operar:in entre o y b se define conio:

o,-b:a.t(*t),
donie

-bl es el opuesto aditir.o de &.

La riivisin de a por b se define de la siguierrte manera:

si

+o:

,londe b-

e - n.h-l

E-*'"
es el opuesto multipiicati''.'o (inverso) de

A continuacin

b.

enunciamos dos teoreina,s que son similaies a los teoremas

3"1 y 3.2 y cstii reia-

cionados con ia operacitt <le multiplicacin.

Teorerna 3.4 Et elemento i t],el arianza 7 es ,n'ica. Dicita elemen,ta se denom,na el mdulo para
el prod,ucto o ei eleme'*to uni'dad,.

Teorema 3.5

^9?

r + , el elementr r*r

apuesto multipli,cati,uo de

es

nzco. Diclo

elem,erta se denomi,na el

z o eI inuersa de r.

La demostracin de estos 2 teoremas

dejan conro ejercicio para el lector.

Teorerna 3.6

de o,rlomo,

S? a, es uTi,

es

sirnilar a las demostraciones de los teoremas 3.1 y 3'2 y

n'mero real cualqui,era entonce.s 0'

D e'mo stra t:in.-Tenemas que

se

0'

0'a :
0'a :
0+o.a :
Q:

+ 0) . a
.a
0
* 0'a

(por el axioma 3).

(por ei axioma 9).
(por el axioma 3).
(por el teorema 3.3).

(0

0.4

* 0' a

0.4

La importancia de este teorema es que nos da una razn del motivo por el cual en el axioma 8 no
se habla dei inverso de 0 y se exige qe r f A para definir el elemento r-1. En efecto, si existiera
el inverso del 0 que 1o notaramos por 0-1: por e1 axioma 8 tcndramos que 0'0-1 : 1, de donde
conr:luirarnos que 1 : 0; lo cual limitara a toda nuestra teora-

Teorema 3.7 Sean , h y c. 'nmeros reales con c f A. S'i ac: bc entonces a:

Demostracdn.- Como por hiptesis c

0; entcnces por

e1

b.

axioma 8; existe ei elemento c*1,

entonces:

{ac)c-l:

(bc)c-1

y por el axioma 6 tenernos que:

a(cc-1): b(cc-1)
de donde por ei axioma 8, a x I : b x I -y en consecuencia. aplicando el axioma 7 se obtiene
finalniente que:

r-li. I
El

el teorema siguiente se dan algunas propiedades algebraicas <le ios llrneros reales.

3.1. AX]OMA DE CUERPA

Teorema 3.8
i)
LLJ

jii,

(-")b:
t

Sen

ai-b)

-at i -b: :

:
c

a. b, c y ti nmeros reales cualesqutera. Se t'iene

que:

-(ab).

ab.

0 entonces a : 0 a b :

S o-i

55

0.

(Ld+bc

-;:ff,conblydl}.

De.m,rstrac'i'n.-

i)

Como abt (*a)b:la1- (-")]b:0b: , se deduce que ab es el opuesto aditivo ae i-o,)b y

por ia unicidad del opuesto arliti."'o. demostrada en ei teorema 3.2 se concluye que:

(-")b:

-ab.

-ab'

De siiriilar marlera se prueba que:

"(*b)

ii) De la parte i) se sigue que (-*)(*b) : -la(-b)] :

3.3 se tiene que -[-(o)L : ab. Consecuentemente:

A los resultados: (-a)

signos"

: -ab y (-a)(-b) :

V por el corclario del tcorema

-[-(ob)]

(*a)(-b):

ab.

ob, se los conoce como la ilamada "Ley de los

(a-Ic')b:1 x b: b:0.v si
l0sepruebademanerasimiiarquenecesariarnenteo:0ysia:0y:0elresultado

iii) Si por
es

iv)

e,jempl<i

o,+A

entonces

a-l(ab):

Q'-r

0:0

cie donde

trivial.

Por definicin de divisin tenemos que:

a,c

i*a :

ab-r+cd-l
(bd){ab-| + ca*l1oQ-l
l(,{ (ab-1) + (bd} ("d-')l (b,r)-'
faa(bb-t) + bc (da*
(od, + bc)(ttd)-\

t)l

(o)

-'

4#r

Ntese que una oor-.ec;encia ie la palte i) es que. de la ecuacin:

T - a :0 o - b: " de d,:'rde:, : o o : b.

(r - a)(r -

b)

0 se sigue que:

Finalmente. si acepta'no po: n*tecin cue G ' , : c"2. podemos en el siguiente ejempio dr:mostrar
un resultado mu-v conocido :c,f l sluante. l-lamado "diferencia de cuadrados" .

EJEMPLO
Si a y b son nmeros reales cualesquie:a ec.i&aoes:
.a
-l
t:_
^J
_'.--rtL
-u

j-_t

56

cAt'i:ruto s. EL srsrEMA

En efecto, por el r-xioma 9 se sig,ue que:

teorenia 3.8 tenemos {lue:

{a+b}(.a

(a+)(a-b) : [o+]a,* lcr-rj(-b) y por laparte i)

dei

- b) : la +bla,- [a+ ]b
: a.a * brt, - a,b - bb
: a2 -b2.

Se deja corno e.jercicio para que el estudiante complete

i-,2).

DE Los 'raos REALES

y explique ias demostr,ciones de la parte

del teorerna 3.8 y cle las cle este e.jernpio.

Ejercicios
Nmeros Reales, Axic'mas de Cuerpo y Orden.

1.

Demostrar que si m2 es par entonces

2.

Probar que

3.

Seari

4.

Probar que, si a

5.

Prcbar

6.

Sean a,

cr,

f2+fS

rr es

es irracicnal.

b nnreros reales. Demostrar

que: *(n +

f 0 entonces (a-1)*1 : a.
que, si a*0 y b f 0 entonces (a)-1 -

b"

c, d nmeros reales con

Sean b f 0,

"/-AV

tl*A.

b)

_-c.

b.

o-1b-1.

y d diferentes de cero. Probar

ts)
\/
7.

par.

/:\
:
\d,/

que

""
bd

Probar que

rs\ ad,
\/ :/ c\
\a)

bc:'

8.

Probar que entre dos nmeros racionales existe otro nmero racional.

Dernostrar que si

(r*0,

Q y sea b un nmero irracional entonces

a*bv

a son n,m,eros

'irrac'ionales.
10.

Con un contrae.iempio demuestre que no se cumple, en general que, si

irracionales entonces r+A y r.y son nmeros irracionales.

11.

Sea"A4: {* bJ3, a,,b Q}. Sean r,A M entonces tenemos que:.r - a*btT"
lJ: co' +b't/3. Definimos en Jvl dos operaciones: O y O, de la rnanera siguiente:

n&a - @+a')+(b+b\r4
r

l'-l-s;:a;

que

,V

y:

(oo' +3b/) + (ab' +

o,'Q{j.

con las dos operaciones as definiclas, es un cuerpo.

e g son nmeos

3.1. AXIOMA DE CLIERtrO:

12. Seal: {-1,0.1}.

57

En Z definimos dos operaciones: O y F, de la rnanera siguiente:

+
*1

-1

_1

13.

con las operaciones

0yI

-I
1

-l

_l

-l

*1

un cuerpo?

Escribir en forrna reclucida los nrneros reales x) y a:

r :
lt :
1A

-t

trs

(a+b * r)2 - $+ c*
(,r2

y2

22,\

o)2

+("*g *

+ {c.+ a -b}')
z)(:t;

*y * z)(g + z - r)(z -t r. *,y).

Demostrar que los nmeros reales ff e gr que se indican a continuacin son iguales:
'

(a*' + bb\2.

con
a2

b2

?J

a'2

{ab' -- ba'}2

b'2

:1.

15.

a)

trn la ioentidad (r * i)2 : 12 +2, * 1, hacer sucesivamente ,r : 1,2,3, . .. ,fr, {,rt eZ+}
y sulnar las igualdades obtenicias. Deducir entonces que para todo n Z+ se tiene:
.T"'-rtL1+?-L
"'4-n-n(r+l)
2

b)

Realizar un trabaio similar que en la parte a) con la identidad (r+1)3

y deducir que para todo n Z+ se tiene:

-)
^' -+ "'
l' -'21tl.

+ rt-2:

n(n * 1)(2n ----t-

: :r3+3r2+3r*1

1)

Demostrar que, cualesquiera que sean los reales r,'A y e se tiene

:83

+y3 + z3 -Jr,rz

(*+y+

z)(r2 +y2 + z2 -u,

: t::iUz
2"" fta-")r+(z-")2+ {*-y)rl.
r: rz -

Aplicacin. Encontrar ias soluciones reaies de la ecua,cin en

donde a y b son dos reaies cualesquiera dados.
Si::rplificar las escrituras de z

18. Desarollar i -

Sabr + a3 + b3 : 0,

el ,t:

i1

'--

* zr * ry)

ab
;*-+1
^._ o

I
tn
a, b - &''-o'
f J = o +6y'

;-l

1){r5 + ra +:r3 1-

"2

- -l-J-f:
a.

+ s + 1). Aplicar

n2_b2

,;

-F

t)

este resultado al clculo de

r+1+1*1+1+1.
'2'4'B'16
32'
19.

Desarrollar

l, - a)lr* -

n-t u +

""-'y2

".

+ x2g"-2' .r'!)'-L

un.).

2A. Sea,4:i0,1,2.3,4\. Sia,bAseilefinea$ya8comolosresiducsdelas ii-,'--.--::=s

a* b y a. b por 5. (Por ejemplo 4O 3 : 2 pues 2 es ei residuo ie -1 - 3 : i'i;;'i1- '-
Demostrar c.ue A con las operaclones S y E es un anillo ccr:::;ti".--- :','- r-':..i

CAP:IIJLO 3. EI. SISTET4A DE LOS NV,TEROS REAES

58

3.2. Axiomas de Orclen

Es usual qtle el estudiante est fmiliarizado cou los nmercs negativcs y po-eitivos; pero no
iuecic
precisar qu es un nmero pasitivo ci qu es un nijmero negativo.

El siguiente grupo de axioma^s se refiere a un concepto por el que estableceremos una ordenacin
entre nmeros reales: con irs que se puede estabiecer cundo un nrnerc real es mayor que otro o
no.

Para esio supondrernos que existe un cierto subconjunto R+ cle R, ilaniado conjunto de los nrueros
reaies positivos qrre satisface los ariomas siguientes:

01. Si r, A R+ entonces

r*l/ e R+ y :r..-. g R+.

C)2. Para todo nmero reai r se satisface una y solo r:la cle las tres cond.iciones

siguientes:

zR+.

1.

-o lR.+.
r:0.

.
1

Siay

son nrneros reales diremosque "d,esmenorque b" ynctaremos a < bsi b*a R+" Si c <
se clice tambin que es mayor que a y se e.rcribe b > a. Adems, es claro que: { < b <+ fc e R.+
tal que b: a * c.

Segrinloanterior,decirquereiR+esequivalenteadecirquer>0ydecirque-rR*es
eqrvalenteaquer<0.
Podemos entonces escribir los axiomas

O'1. Si

r ) 0 ey20

entonces

r*y)

01 y o2 en la forma siguiente:

0yr.y>A.

O'2. Fara todo nmero real z se satisface una v solo una de las tres condiciones siguientes:

i) r>0.
ii) r<0.
iii) r : 0.
Al conjunto de los nmeros reales r
negat'iuos y se lo nota por R"-.

tales que r

0 se denomina el conjurrto de los nneros rea,les

De acuerdo al axioma 02 podemos afirmar que:

iR:tR+U{0}uR-.
Las siguientes notaciones son muy usuales:

1.

{
?. a )
o.

b paradecir que a
i-,

paradecir que

<b o a,:b.

a>

bo

a:ls.

A ::nlr de ics a-omas Ol y A2 podemos demostrar algunas de las propiedades de las desiguaklades;
*n'**,:L'.::o el ei teorema siguienie:

iV

3.2. --1-iro.1,lAs DE OnDEr

Teorerna 3.9 Sean a, b y c nmeros

i:

S,] < b y b 1 c entonces & < c'

t;

Sr c

ui

S a

< b y c)0

b entonces

a+ c <b+

en'tonces

reales.

c.

a'c1b'c.

iji Si alb yc10 entoncesa'c>b'c'

"-'i Sx

a< 0 g h <A

eon'ces ab

>

L).

,:'i)

Sta(0 yb'>0

t'ii)

Si a diferente de r:ero entonces rt2 > A'

uii.i)

I > A.

zn) Si a

rJ

Se

2A

en'toncesa'b<A'

erztant:es c'"-r

> 0'

0 < a < b ert'tonces0 < b-1

4 o'-t'

Detnostrac,ir.- Probaremos algunas de estas propiedades

y dejaremcs el resto como cjercicio para

el lector.

ri La condicit a 1b significa que b * a e IR+ o 1o que es lo mismo b - a > 0 y la condicin

y c- b > 0
b < c significaque ,-b> 0. Aplicando ei axioma o1 a los nmeros'rt-a> 0
*
tenenros que: (b - e) + ("- b) ;> 0; es decir, c a) 0 y en consecuencia: a 1 c'

a < 0 entonces -a> 0 y- si b < 0entonces -b > 0' PorelaxiornaOl

(-o)(--o) ) 0 y ccmo (-o)(-b) : ab se concluve que ab > 0'

v) Si

Si a

l0

entonces por el axioma

tenemosque:

02 tenemos que o' > 0 o a < 0'

S:rpongamos qite f. >' 0, por el axioma Oi se sigue que (o)(")

,: ( 0 entonces -o, > 0 y por e1 axioma O1: -u'{-a}: a2 > 0'

0, esto es que a2

> 0' Si

pertenece a R+, el
Note que la prcpieda.d. r,iii) afirma ia existencia. al niencs ie--r elen':lt': qr-ie
nmero 1: es decir que iR+ es un conjunto no vaco'

gi:1 ri:'L:
El siguiente ejemplo es de mucha importancia: pues o*
rentes. pod.emos hailar un tercer nrimero que est entre ios i'-+.
EJEh4PLO

Entre dos nmeros reales distintos existe siempre un Dmeo lei" Ec tal que a 1c l-b. Se puede comprobar sin dificultad que ei L-;::-=::
condicin.

:lL:;:
.-.j