Documentos de Académico
Documentos de Profesional
Documentos de Cultura
e-s
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:
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
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.
que como: 12
rrL
a
n,
3. EL STS'TEMA DE [,OS
NTJLEROS R,EALES
: 2y r : 3 *tnrl.*, 4 : ,.
Luego rn2
:2n2.
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.
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.
L]I}TPLOS
E;" ei :oljuntc de nmeros naturales deflnimos la operacin
r&u:r*'!-7.
ccmo:
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.
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.
* IJ :0 * r : r
R se tiene
iI,ey modulatira)
=.
*0 : 0+ r : r).
r : (-r) : (-r) i r :0
E:r.l::in,-:s:e:i:,raenroiacinformalnosqueda:(VreR)(:(-")
=--:
6. I.r'9 ::;
-.).
. -::-::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
[-or'
-"r
--iu::i''a
-':+:.;
t=i Rr,.;; i E - : : -- - --
---
52
8.
Parr
rf
.r-l :
,tt-7
.s
==
(Vr 1R, r
Y finalrnenie tenemos un ltimo
9.
l0)(i,r*1
e lR.)(r .r.-7
r .,r,
: i).
r,
?!,
: r't}
r,
r'{a
: r-
+ z)
z se tiene.
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
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)
Vn lR.,
r+At:0'+r:T.
Ccnic0eRsetieneque:
L+ 0/
'3
;.:
0'+
(3.2)
-qupuesto de que A
ra
r.
Dr:rn,ostrac'n. Sea
y z de r. corrA
tJt)
-r
2.
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
(poreiaxiorna3).
(por
{3.4)
rinico.I
r"eales.
a*c:
b+ctenemos que:
*(-") :
es
-r
",
De"S":, "'-
'por
3.i
-(-")+ (-r) :3
(3.5)
r*(-r) :6
(3.6)
tnexlcs que:
:r-(-r)
-i-t;-(-r)
* -:: . 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:
a-lb+a: (t
bl
-'5.:G -r-;l- !
l.
CAPTTJLO
3. EL
SISTEIUTA
De manera -"imilar podemos ciefinir la suma de n nineros reales. Idnticarnente podemos hacer esto
para la multiplicacin de n nmeros'
o,-b:a.t(*t),
donie
si
+o:
,londe b-
e - n.h-l
E-*'"
es el opuesto multipiicati''.'o (inverso) de
A continuacin
b.
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.
Teorerna 3.6
de o,rlomo,
S? a, es uTi,
es
se
0'
0'a :
0'a :
0+o.a :
Q:
+ 0) . a
.a
0
* 0'a
(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-
0; entcnces por
e1
b.
entonces:
{ac)c-l:
(bc)c-1
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.
jii,
(-")b:
t
Sen
ai-b)
-at i -b: :
:
c
que:
-(ab).
ab.
0 entonces a : 0 a b :
S o-i
55
0.
(Ld+bc
-;:ff,conblydl}.
De.m,rstrac'i'n.-
i)
(-")b:
-ab.
-ab'
"(*b)
: -ab y (-a)(-b) :
-[-(ob)]
(*a)(-b):
ab.
(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.
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
(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
{a+b}(.a
dei
- b) : la +bla,- [a+ ]b
: a.a * brt, - a,b - bb
: a2 -b2.
Ejercicios
Nmeros Reales, Axic'mas de Cuerpo y Orden.
1.
2.
Probar que
3.
Seari
4.
Probar que, si a
5.
Prcbar
6.
Sean a,
cr,
f2+fS
rr es
es irracicnal.
que: *(n +
f 0 entonces (a-1)*1 : a.
que, si a*0 y b f 0 entonces (a)-1 -
b"
Sean b f 0,
"/-AV
tl*A.
b)
_-c.
b.
o-1b-1.
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,
a*bv
a son n,m,eros
'irrac'ionales.
10.
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:
o,'Q{j.
e g son nmeos
57
+
*1
-1
_1
13.
0yI
-I
1
-l
_l
-l
*1
un cuerpo?
r :
lt :
1A
-t
trs
(a+b * r)2 - $+ c*
(,r2
y2
22,\
o)2
+("*g *
+ {c.+ a -b}')
z)(:t;
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)
-)
^' -+ "'
l' -'21tl.
+ rt-2:
: :r3+3r2+3r*1
1)
+y3 + z3 -Jr,rz
(*+y+
: t::iUz
2"" fta-")r+(z-")2+ {*-y)rl.
r: rz -
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)
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.).
58
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
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
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
i:
t;
Sr c
ui
S a
< b y c)0
b entonces
a+ c <b+
en'tonces
reales.
c.
a'c1b'c.
a< 0 g h <A
eon'ces ab
>
L).
,:'i)
Sta(0 yb'>0
t'ii)
uii.i)
I > A.
zn) Si a
rJ
Se
2A
en'toncesa'b<A'
erztant:es c'"-r
> 0'
4 o'-t'
el lector.
v) Si
Si a
l0
tenemosque:
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