CALCUL~ INFINITESIMAL

1.a PAR T E

PROF MAR lOR. A zoe A R

1948

SANTIAGO

El nUmero real.-

siendo h un racional, mayor que el a2 considerada, entonces:

< e

• n n

De aq~ entonees que las c1ases Al y ~2 de

finan un nUmero real y de acuerdo con eeto,daremoe Ia s1 guiente definicion:

Dado un mimero real (t .. (~,A2) definido en e L campo de los racionales posf.tdvos y"un emtero positiv~ n, Ilmuaremos potencia ri-esima de (t al n£

mere real definido por las clases Ai y~. Este nUmero 10 designaremos par el simbolo (l n y pondremos:

n n

(u) "ct

Teorema 15°.-

n m n+m

Cf oct = a

D.-

Sea a • (AVA:2) un nUmero real, definido

en el campo de los racionales positiv~s, los nUmcros (lon yam eetan definidos entonces par las clases if!, ~

Om m "L

y A1, A2 respectivamente.

~ora de gcuerdo con 1~definici6n de producto de nUmeros reales, e1 nillnero an.r.f! estara definido par

A¥.A1 I ~.Am donde Ia primera clase esta los nUmeros d~1 tipo ~.~ y la segunda pOJ:' nUmeros del tipo a~.a~, y puesto que:

las clases f'ormada par

It An+m y A~+m

dichas clases son id~nticas con las clasea ~l __ ~

n+m

que son las que definen el nUmero a ,de aquS. enbon=

El nmnero real.·

n m n+m

ces que: a » a; .. a

Teorema 16'.-

D,.-

Sean a;" (AI,A2) y ~, = (B1,E2) d05 n~

mere reales definidos en e1 campo de los racionales pc-siti.vos 0 De acuerdo con esto se comprende que los rnime

n [3 n ' n Qn ~ ,. 1 1 . -

ros il; Y a.1-' 'estaran def'Lni.do a por as e a-

,L ton Bn _n f!.Jl Ar: Bn t" t

ses '~1~"2' 1,tJ2 Y -"1. otJ1, ""'2. 2 respec J.vamen e.

Ahara teniendo en cuenta que:

n n ()n n n ( )n

~·l,bl· '8'1°b:L Y . a2·b2'" a2·b2

. - 1 ,nBn ,nBn ·d~t·

se ve que l.a~,. ~ a.s_~s' "'l.J.~ l' .... 2· 2 . son J. en a.cas

crases Al'J~, B1eB2' que definen e1 nmnero de ahi cntonces que: an.~n (a .~)n.

TeoremaJ.1~-

n m n·m

(el) '" a

D.-

Sea a .. (A1,A:2) un mimero real definido en e1 (tampa de, 1osracionales positi vas, entonees e1 nu-

mero an esta,1,efinido per las 'cLaaea ~,t:. Y PO, r

a m n m .f! m

consiguiente (a) por las clases (5) ~ (112) cuyos

elementos son mmeros de La forma: (~)m y (~)m re~ pectivamente.

Ahora puesto que:

y

29

CURSO DE CAlCUlO INFTIUTESll4AL

Primera Parte.

Prof. Mario R. Az6car

Santiago - 1948 -

· .~ .. t.~,.-

Tar l~ firma el ~utor.

Insoril' ei~n N· 11901..

UE I T U L 0 I.

EL 1'UMERO REAL.

1.- Introducci6n.- IDs fu.'1damentos sobre los euaies des ...

cansa toda la estruetura logiea del C81eulo Infinitesimal, y en general del Anllisis Matematieo, son los nUmerus. Los mimer-oa nos son tan familiares que a pr-Imer-a vista podria parecer razonable aceptar, los como un concepto primitiv.o (por 10 menos los nUmeros naturales,) es decir como una nocion que no requi.ere defi nieion. El grado de perieecionamiento que actualmente ~ canza La l>Iatematlca, no permite tal cireunstancia.

r.1odernanten'te el nUmero natural puede definirse por un conjunto de axiomas 0 postulados que 10 caraeteri zan; tal es 10 que ha heche Peano en au Obra If i.r:tthmet1. ca principia nova methodo expositalf (lS89) y Hilbert

en "Die Grund1egund der elementaren Zoh1enlehrell (1930). Puede definirse tambien por abstraccion partiendo de co~ sideraciones sobre conjuntos, este camino iniciado por Cantor y seguido por Frege, ha side perfeccionado por Russell :r 'tIhitehead en La obra "Principia M8.thematica It (1910 ... 1913). Del primero puede Leerse, a manera de simple il1fonnaeion .. , La obra tllntrodueci6n a la Fi1osof'ia Matematicall (Editorial Losada 1945).

Introdueidos los nfuneros naturales, por uno eualquiera de los procedtml.ent.os recien enunciados,se am pila este conjunto en f'orma sucesi va presentando ,por ejemplo, primero lOB numeros enteros,desp~es los racionales y finalmente los nUmeros reales. Conviene observar a este respecto" con eJ. fin de evite.r ideas erroneaa, que

los nuevos numeros que van sucesivamente apareciendo (na turales, enterosl racionales y reales) no resultan de a: gregar otros a los anteriores, sino que e110s tienen una

.. ., .. '* ,

El nWiero real.

, en cada una de sus fases suceai vas, un significado cada vez mas amplio y en ceda una de elIas sera necesar-to definir de nuevo las operaciones fundamentales. Lo que

hay en el fondo es que el conjunto de los nmneros reales tienen un sUbconjunto isomorfo con e1 conjunto de los ra cion ales y este a su vez un subconjunto isomorfo de los enteros y finalmente el conjunto de los enteros positiv~s. es isomorfo con el conjunto de los ntimeros naturales •.

2.- El nUmcro racional.- Los ntimeros enteros y fracciona

rios positiv~s y negativos in-cluy'endo el cero forman el llamado cenjunto de los nUmeroshracionales~ Cada clemento de este conjunto es un numera racibnal.

iI II

Nosotros supondremos conocidas las propiedades.

m~s elemente~es de estos nUmeres come as! tembicn.gue se §abe efectuar can elIas las cuatro operaciones fundamen-

~ ,.. . .. " .• ;I

e •

multiplicacion y division,exceptu&~do par supuesto la d! vision can divisor cero , Quien se interese por un estudio serio y compl~to de este tema consultar entre otras In exce.l.ent.e obra II FUnclamentos del An81.isis Mntematicoll de Landau, 0 bien en La obra " Questioni rigua.rdanti Le matematiche elementari" el articulo titulado: "I numeri reali" de Federico Eurdques ,

A pesar de 10 precedentemente dicho, crey~ndolo de interes, mencionaremosaqu:l a.Igunas de las propf.edades mas importetntes del conjunto de los ntimeros racionales.Eg tre ellas tenemos:

a) El conjunto de los ntimeros racionales es ordenado , 0 sea dados t res rnimeros raci.onal.ee atb y c, tales que:

El nUmero real.-

3 -

y

se,sigue:

a<c

y tomados dos racionales a y b, existe entre ellos una y solamente una de las relaciones:

a<b

a = b

b) El conjunto de los nUmeros racionales es

denso, 0 sea que entre dos nUlleros racion~ les cualesquiera a y b existe siempre otro nUmero racio nal y par consiguiente existen infinitos. En efecto c~ quiera que sean dos nUmeros racionales que se tomen si~ pre es posib1e escribir10s en forma de fracciones de igual denominador; sean el10s entonces:

E d

y

9. d

Suponiendo e.l, primero menor- que el segundo J 0 sea n< q se tendra jnmediatf'mente:

c) E1 conjunto de los mimeros racionales es ar..

qubnediano, 0 sea que e1 cumple con e1 Postuladq de Arquimedes, esto es que tomados dos nUmeros a y b tales 'lne 0< a< b, se puede encontrar un entero n>O. teJ.. quo: na > b, En efecto sea:

tomemos n de modo que:

n>qb

El nUmero real.-

- 4

entonces

na > !ill> ~ q q

o sea

na > pb

y luego

De aqui resulta irnnediatamente que 5i a > 0 es un nUmero arbitrariamente grande, existe un entero

n>O tal que:

.!>b

n '

siendo :t>:> 0 arbitrar:i.amente pe-

queno. En efecto de acuerdo con 10 precedente existe un n>O tal que:

nb> a

de donde

a

Ii < b.

En el campo de los mimer-os racionales son siem pre posib1e las cuatro operaciones fundament"ales de 1a a ritmetica (ex:ceptuando La division por cero). De aqui - que la potenciacion de exponente entero y positivo, que es un caso particular de la rnultiplicacion, es siempre posible. Vearnos 10 que ocurre , POl' 10 menos, con una de sus operaciones inversas.

En la relacion an = b intervienen tres nUmeros: a y b que son racionales y n que es natural. Conoei dos b y n, todo n~ero a que elevado a le potencia n-esI rna de como result ado b , ee llama raiz n-esirna de b. Despues de esta definicion se comprende que la radicacion

no es siempre posible en el eonjunto de los nUmeros racionales ya que si el exponente n es par y b es negativo, no existe ningWl nmnero racional positivo ni negative,eu

. ,.. , . -

El mimero real.

- 5 -

, -

te par son siempre positivas.Esta imposibilidad se man-

tiene, en general I aUn cons.ider-ando so.Lament,e radieandos positiv~s; en efecto si b es un ent ero no-potencia n-es1 rna de iiingUn otro entero, no .hay ningUn n1imero racional-

'a tal que an = b, pues a no puede ser entero por hipo-

tesis y s1 a = ~ siendo p y q primos entre 81 se ti~ ne que _pn ; b y como po y qn son ta~bien primos enqn

tre s:i.~ 11r;>g~mos a 1.ID absurdo: que una fraccion irreductible es Lgual, a un ndmero entero.

La insuficiencia del conjunto de los nUmeros racion~les para satisfacer siempre la ecuacion XU '" b con b>() 110S hace ver la conveni.enc.i a de crear un nuevo conjllilto de nUmeros donde este problema tenga siempre so lucien. Este nuevo conjunto que definiremos a eontL~ua--

cion y que recibe el nombre de conjunto de los numeros reales contendra un sub-conj~~to isomorfo del conjunto de los racionales y otros elementos ~s llUmcros irra cionales que sort los que nos daran la solucionde la e:

cuacaon :x? '" b, can b > 0, en aquellos caeos en que el eub-conjunto isomorfo de los racionales no sea, suficien-. teo

El !1u1llero real puade introducirse de divers as manez-as , nosot.ros 10 haremos a La inaner-a de Dedekind,pa.!: tiendo del numero racional.

3.- Cortaduras en e.1. campo de los nUmeros racionales.-S!!_ pon gamos que por un procedirniento cualquiera se separa el - conjunto de los n~neros racioneles en dos c1ases:una in-

El n6mel"O real.-

- 6 -

ferior A y otra superior B, tales que todo nllinero a de La primera clase sea menor que t.odo ntanero b de La segunda c.Lase, Una tal eeparaed.dn La 11amarernos ccrt.adura,

Hablando en forma mas explicita llamaremos cor tadura en el campo de los racionales a una clasificacion de e110s en dos clases A. y B que satisfagan las condicio nes siguientes: -

10,. Las clases A y B no son vacf ae , 20• Todo n6mero de la clase A es menor que todo ntimero de B.

3°. Todo ntimero racional pertenece a "la clase A 0 a In clase B.

Se cumple, de acuerdo can esta definicion de cortadura, que si a es un nUmero de A 10 ser-an tambien toaDs lo racionales menores qqe a y si b es un n6mero

de La cl;::se B 10 seran trnnbHn todos los racionales mayQ res que b. En estas condiciones 1 a este respecto puededistinguirse tres casas:

a). La cLase inferior A contiene un n6mero a mayor que todos los n6meros de la misma clase,de modo que todo ntimero racional menor que a pertenece a In cIa se' A y t.odo mimero mayor que a: pertenece a La c Lase B:Este nfunero a que separa La clase A de La cl.ase B 16 llamaremos frontera de ambas clases.

b) La clase superior B contiene un ntimero b me nor que todos los otros n6meros de la mi&~a clase.En-as: te caso b es La front era de ampas c.Lases y bodo miraer-o menor que b pertenece a la clase A y todo n6mero mayor que el, pertenece a la clase B.

Hareieoa vel' ahora que es imposible que existan simultaneamente lo~ nUmeros: a y b, en efecto si embos existieran a La vez se tendril . a-< £ y por consd.gui.erste el nfunero racional or + .!?)/2 no estaria en La clase A por sar mqyor que a, ni en la clase B por ser menor que

EI nUmero real.-

2,; de aqui errtonces que dicha suposd ci dn implica eontrl! die cion a Ill. hip~tesis de que todo n~ero racional debe estar en una de las dos clases. Luego si h~ un n~ero mas gr-ande en Ill. clase A no hay uno menor en Ill. clase B

y vice-versa.

De ahor-a en adelante y para sirttplicidad. en el lenguaje de CUes-(,iones posteriores , cuando aparezca una cortadura que tenga en su clase B un nUmero b menor que todos los de BU clase 10 modificaremos colocando b en La c.Iase A, con 10 cual, dicho nWnerD pasa.r~ a ser !! o sea el mayor.de todos los de Ill. clase A.

c).Finalmente puede ocurrir que en Ill. clase

A no haya un n&tero 1! mayor que cada uno de los nmneros de A ni 'en B un nmnero b menor que cada uno de los uUme" ros de B. Nosotros estamos en" condiciones de presentar. u na cortadura semejante; en efecto formemos, por ejemplo; 12 clase A con todos lOB nUmeros negativos, el cero y t~ dos 10 nwneros positivos cuyos cuadrados sean menores que 2; en Ill. clase B coloquemos todos los racionales cuyos cuadz-ado s sean mayores que 2. Se ve inmediatamente que esta clasificaci6n satisface las tres condiciones que contiene 1a definicion de cortadura y que por consiguiente ella es una cor-t.adur-a, Demostraremos ahor-a que en A no hay un n6111e1'O mas grande que todos los otros, es decir que habiendo dado un mimcro a de A se puede encontrar siempre en A un numero mayor que a. Esto es eviden ... te si .8, ~ 0, supongemoe entonces a > 0. Se tendr! que

a2 = 2 - k, con k > 0, ahor-a tomando un nmnero positi ...

k

vo e < 1 y s < (28. + 1) , tendremos 61 n'W-llero a+1 que

siendo mayor que a pertenece a Ill. clase A, pueSl

'''t' (a + £)2 .. a2 0 2a~ + e?- = a2 + £(28, + e) < a4 .... E(2a+l) (a +E)2<ll.2+k= 2

E1 nUmero rea1~_

Haremos ver ahora qU8 en est a cortadura t ampcco existe en 18 clase B un nlimero menor que todos los otros

de su clase. Pues de b2 ~ 2 + k se obtiene e1 nlimero b-e

que con E < 2b pertenece a La cLaee B,pues:

(b _£ )2= b2 _ 2b£ + [2> b2 _ 2b£ > b2 _ k ... 2

4.- E1 n~mero rea..l.- Uamaremos mi:mero real toda cortadu

ra en el campo de los nWll.eros ra: cionales. En este capitulo, con e1 proposito de evitar confusiones los nwneros reales los designaremos con 1etras griegas, 0 bien, pens~ndo en la nocian de cortadura, por e1 simbolo (Al,J~2) donde Al ~esigna 'La clase inferior de la cortadura y A2 La superior. As1 pues si a es un nllinero real definido por la' cortadura (A1,A2), nosotros tendremos:

de acuerdo con 180 definicion de nllinero real. IDs raciona les de las clases Al Y A2 los designaremo~con letras li

,

En el p~rafo precedente hemos visto la existen cia de cortaduras de dos clases diferentes:en una existeun ruimero racion8J. a mayor que todos los de La clase A, (o'un nu~ero £ menor que todos los de la claso B), este tipo de cortadura sera para nasotros un nUmero real que llamaremos real racional; en otras no exi sbe a ni b este tipo de cortadura sera par-a ncsot ros un n-6mero ~al

. que llamaremos real irracional. De acuerdo can est as definiciones el conjunto de los nmneros reales esta consti tuido por el conjunto de los reales racionales y por elde los reBles irracionales. Teniendo presente ahora que todo nfunero racional a define una cort.adur-a reelracional si, f~ la clase A con todos los n6meros menores que

El nmnero re91.-

-9-

a y el mi.smo a y en la clase B todos los nfmeroe rra eionales mayo res que il, se comprende que a todo rrdmcro - racional a se Ie puede haeer corresponder el real racional que determina; e inversamente a todo nmnero real raeional definido par una cortadura en el campo d~ los racionales se Ie puede hacer eorresponder el mayor raeional de La clase inferior fa que segan 10 hemas convenido en una cortadura con frontera no existira b sino a.

FinaLnente como nosotros definiremos las rela ciones de orden y las operaciones entre nUmeros realesde modo que se mantangan las ya establecidas para los mimeros raoionales" podemos decir que el eonjunto de los raeionales reales es isomorfo con el conjunto de los racionales.

Despues de todas las eonsideraeiones hechas en este parrafo se comprende sin dificultad que el conjunto de los nU.meros reales es mas amplio que e1 conjunto de los nUmeros racionales ya que en e1 eonjunto de los reales ademas de los reales raeionales, que corresponden can los racionalest estan los irracionales.

Teorema 1°._ 8i cr es un nU.mero real, definido por la cortadura (Al,A2)' para todo e > 0 arbi·trario que se tome, exi.ste un par de nU.meros raeionales al de Al y a2 de A;z tales que:

a2-~< e

D.

Basta recordar que el conjunto de los n6meros raeionales es arquimediano, es deeir que el raciona! ne (con n entero) puede sobrepasar cualquier racional dado, can tal que n sea suficientemente grande.

Tomemos entonces un nUmero a de Al y fonnemos la progresi6n:

El nUmero real.~

- 10 -

a ... ~ t a ... ~ , •••••.•.••• " a ...

e

P2', •••••

-Habra. de aouerdo con 10 dicho, un primer raeional de esta sucesi6n, que estar! en A2, sea eate

a2 • a + ~ , tomemos entonces al = a ... (p. 1)~, re-

sulta:

o sea

8i tommoos shoz-a

e

a;_ :. a ... (p - 2)'2 ' se 0E.

tiene:

<J:2 - ~ ... e, luego es posible ailll a2 - al ~ e

Defin:icioIl:

Se diro que des conjurrbos de nUmeros Cl y C2 definen un nmnero real tt = (AVA2) si todo m1mero del pr-imer- conjunbo CII no es n11mero de La segunda clase A2 y t.odo l1Umero del segundo conjunto C2 no es mimero de la primera clase Al-

1°._ Que cada clase contenga a 10 menos un n6-

A continuaci6n presentaremos un teorema que ee " ra. la piedra angular de caSi la totalidad de 10 que nos resta del nUmero real

o

Las condiciones n~cooarios y sufic1entee pare qTle dos . conjuntos CI Y C2 de mimer-os racionales definan un m1mero real ct t son:

maro

2°._ Que todo nUmero cl de Cl sea menor que todo n11inero 02 de C2 s.

El nUmero real.-

-11-

3°._ Que para todo e> 0, se pueda elegir un racional 01 de C1 y un racional c2 de C2, tales que:

c

D.

Las condioiones son necesarias:-

En efeoto sea ct un nmnero;real definido porIa cortadura (Al,A2)' entonces de aouerdo con la definicion rotsma de cortadura se ve que los oonjuntos de nlimeros raoionales Al y A2 cumplen con las oonqioiones la y 2aj POI' otra parte en Virtud del teorema precedente podemos 'esegurar que dado un e > ° arbitrario existen al de :AI Y a2 de A:2 tales que:

~. - &1 <. e

10 que muestra que. la 1& condici6iJ.tambien se cumple y POI' consigu:i.ente que las condiciones son necesarias ..

Las condiciones son suficientes:-

Di vidamos el conjunto de los nmneros racionales en dos clases Al Y A2 de acuerdo con el siguiente crit,erio: en La clase inferior Al coloquemos todos los racionales menores que todo c2 de C2 Y en la olase superior A2 coloquemos todos los racionales mayor que cualquier cl de ~. 5i al clasificar los nUmeros l"acionales en esta forma no quedara nin-

. gUn racional fuera de 1a clasificacion,. indudablemente que ella i:lena una cortadura (puesto que existirian las dos clases no vacias, todo nUmero de 1a clase inferior sera menor que todo nrumero de la clase superior y ademas todo racional pertenecer!a a una y a una sola de las c1§: sea}, De a.h! entonces que ella definira un nUmero real.

ct

31 esto no ocurriera, nosotros demostraremos que de acuerdo con 1a clasificacion hecha, & 10 mas puede quedar fuera de ella un nUrnero racional; en ef'ecto,s~

El nUmero reaJ. •. -

-12-

pengamos que escaparan a ella dos racionales r1 Y r2 con J"1 < 1"2' entonces para todo a1 Y a2 tendrla:

de donde:

Conclusion que as contraria 8 la hipotesis,ya que de a.cuerdo con ella podemos encontrar un cl" a1 de A1 y un c2 = a2 de A2 tales que:

02 -;_ 01 = 82 - a1 < e = r2 - "i

De aqu:! entonces que si alg1in racional queda fuera de la clasificaoion indi~ada, ~1 es upico y POI' consiguiente podrA,oolocarse a gusto en cualquiera de las dos c.Lases Al 0 A2; de aqui entonces que esta elas! ficacion y per- consiguiente las c.Lases Cl y Cz derinen un numero real y solamente uno.

5.- Igualdad y deslgualdad de n-umeros reales.- Por def!. dci6n diremos que un n-~mero real ex = (Al,A2) es igual a un n~rrero real ~ = (Bl,B2) y pondremos

5i: cada <1.1 as iguaJ. a un bl -:r cada a2 es igual a un bZ- Demas est~ deoir que esta definicion es trunbien la definici6n de igualdad de cortaduras

De La definicion de igualdad de nUmeros reales .se desprende inmediatamente que:

'~ .. ex

se 5igue

El nUmero real~.~-~ ~-~1~3_-~

y j3 '"' Y sa sigue a·"

Por defin;i.cion diremos que un nmuero :real.

.

y pondremos:

Cl > j3

s1 existe .algdn 8ol,_ mayor que algUn b2• DireJ!X)s qUli

tt < ~ cuqndO!:S;> (I •

Teorema '0._

Lsa relaciones a >~. y f3 > a son incompatibleli.

D.

Si a > j3

y

:to que es imposible porque seria: ~ < bl < b2 < ~.

Teorema 40._

De a > ~: r 13'. >.,. se sigue a > Y

D.

POl' hipetesis se tiene: 801 >b? s bl> 02 de donde result.a: 801 > c2 0 10 que as 10 m;umo a > Y'

Definici6n:-

Todo nUmero real mayor que e1 n&nero real cera se dira positiv~ y todo nUmero real menor que e1 nmnero real cera se dira negativo.

Sabemos que en elconjunto de los n'l1meros r_! cionales a todo n'l1mero Nl.cional positivo (+a) corresponde uno y sol8Ill.ent.e un rnimero racionaJ. negatiVo (-a) que podemosllamar su simetrico. Harunos extensible es ..

EI nUmero real.-

-14-

ta propiedad al caso de los nUmeros reales.

Sea, ent.onces , -to (l .. (Al'~) un nUmero real

positivo designemos pOI' - La clase f'orrnada poz- los

simetricos de los numeros de la clase At! Y POI' .... ~ la c)£(le foruada pOl' los aimetricos de los numeros de la clase 'AI; lnOstraremos que las clases -~ Y - Al forman una cortadura, en efecto, puesto que las clases A:t. Y ~ no son vacf as , t.ampocc 10 ser&1 las c1ases - ~ Y ~, adernas de acuerdo can ~ definicion miama de las

c.Lases - Al Y - A2 se comprende que todo nUmero de Is clase - ~ es menor- que todo nUmero de La clase - Al: Y finalmente puesto que todo racional a tiene un simet~co - a Y las clases Al Y ~ contienen a todos los racionales igual COSB. ocurrira con las clases - Al Y - A2•

AsS. pues las, c.Lasea; -~ y - /'.i. definen una cortadura Y pOI' consiguiente un numero r8al, que por te ner todos nUmeros de Is clase - A, negatives as menorque cero,este nUmero 10 designaremos POI':

- a = (-A:t,-A1)

y 10 llamaremos' e1 n~ero simetrico del nUmero real -to a = (A1,Az). De 1Q precedente se desprende que:

-(- a) = (l

Observacion:

~ 5i e.L nUmero a .. (Av~) es positivo la cl2; se.A2 esta compuest.a solamente de numeros racionales po-sitivos, mientras que La clase Al contiene ademas de los nUmeros racionales positiv~s no incluidos en ~ todos los nUmeros racionales negativos; designando con A' e1 conjunto ue los nUmeros positivos de Al se compren~e,de acuerdo con el teorema 2, que las c'Laees 1..1 Y Ii" defi .. nen tambien un. nUmero real (vale decf.r-, una cortaaura) y de acuerdo con la definicion de igualdad de n<lmsros rea les (cortaduras') se ve que este rnimero det'inido es e1 mismo n6mero Cl •

El nUmero real.-

- 15 -

Esta observacion justificara c1 porque cuando nosotros clasifiquemos los nUmeroB racionales' positivos en do s clases tales como las c lasee A::. y ~ empl.earemos la expresd Sm . "sea. ex = (1.' ,A2) un nfunel'o real (I'£

SJ. J.v,-) e lrll 0 e _ . . .

'lOS " .An8J.oga justificacion tendra. 1a frase: "sea a .. (Al'~) un nUmero real (negativo) defini~o en e1 campo de lo~ racionales negati'lOs".

6.- J.dicion de nUmeras reales.- Sean dos maneros reales

ex '" (J"l'~) Y 13 - "

(Bl1B2). Cons Idez-emos La clase de nUmeros formada slUlla!!

do cada rnimero 8.1 de Al con cada nfunero bl de Bl' desiK nemos esta clase con la notacion Al + Bl; an810gamente designaremos con J~ + B2 la clase de los nUmeros .racio nales obtenida sumando cada nfunero 42 de 11.2 con cada n~

mero b2 de B2• •

Aprovechando ahora el Teorema 2, demostraremos que las c1ases Al + Bl y A2 + B2 definen un n~ mero r-eaL, En erecto las clases Al + Bl Y A2 + B2 no son vacias, adamas de acuerdo can Ia definIci6n misma de elIas, todo n(unero de 1.1 + B:J. es manor que todo nUm~ ra de A2 + B2 y finalmente, puesto que existen en AI' ~,Bl Y H2 nfuneros aV ~, b1 Y b2 ta;l.es que:

y

reaulta:

As! pues las cleses 1..1 + Br Y 1'''2 + B2 defi nen un nUmero rerJ., 0 dicho de oEro modo, elias con la totalidad de los racionales restantes, si·los hubiGse, convenientemente ubicacios, forman una cortadura (AI + Bl, A2 + B2).

De acuerdo con eetas consideraciones daremoB

El nUmero real.-.

la definicion siguiente:

Dados los nWner-os reales a ;; (A1,A2) 7 .

j3 ;; (BI.Bf) llamaremos suma de ellos B.l nUmero de ..

hm.do poras clases Al + 81 Y JI.2+B2 Y pon(ijielllOs: a+13 .. ~

~esto que las clases Al + Bt y '/..2 + B2. d~ finen un numero reaJ. P y solamenh uno, queda protiada La existencia y unicidad de La surna. definidn •

. La suma de tres nUmeros reales: (I,j§ Y Yse define como la suma de 1a suma de los dos primeros con aL Ultimo. De un modo analogo se derinela suma de un nUmero cualquiera ,finit.os, de suma.ndos.

Teorema 5° ...

La suma de mimeros reales es conmutaUv$.,

es decir:

P •.

Para 1a demostraciond~ Elate teorem;!tbastt tener presente que dados des niimerus raciohaJ.es .i;Io,.*> se tiene que: a + b .. b + a. Esto implica 1a ,identidad: de las clases iLl + B, y B1 + Al como as! tambienla de las clases A:2 + 92 y Boa. + A2, de.aqu! entoneOB que las c1aaes Aj. + B1 ,~. + B:2 r Bt '" AI,B2 "'~ ... ·.d.t; finan- e1 rnismo numero) real y POI" consigulent"e: (I ... 11 til

!3 '" a •

Teorem.a 6°.-

La surna. de niimeros reales es asociativa,es

decir:

E1 nrimero real.-

- 17-

-D.

En este caso basta tener presente que dades tres rnime.ros r-aci.onal.ea a. b , y c so tiene' que:

+ + + + -'U .•

tidad de las cLaeee (AI + B1) + Cl con Al + (BI + el) y (11.2 + B2) + C2 con ~ + ~B2 + C2} y por conai,« guiente la igualdad de los nUmeros que elIas definen,o

sea: (ex+l3) +Y .. ct+ (j3+Y)

Teorcma 7° ....

----- Todo nUmero real ex sumado con e1 nUinero

real 0 da como suma ex, 0 sea:

ex + 0 '" ex

D.

Sea el rnanero a .. '(A1'~) y el nmnero

o = (N,P), donde N designa el conjunto de los raciona les uegat Lvoa y- el cera y P el conjunto de los racio nales positivos. De acucrdo con la definicion que he: mas dado de suma, ae tiene: ex + 0 = (A-l-+N ,11.2 + P) y se comprende sin dificultad que t9do numero de AI+N esta en 11.1 y que todo'ilUmero de 11.2 + Pesta en ~ 10 que de acuerdo con La definic'ion de igualdad de nu meros realcs lnlplica: a + 0 = ex. -

Teor-ema 8°.-

- Todo numero real sumado can 6U simetrico

da surna cero, ea decir:

ex + (-(1.) = 0

D.-

Sea e1 nUmero a = (11.1111:2), au sim~trico os entonoes ... a'" (-~,-1I.1) Y por consiguiente e1 n&tero

ex + (-ct.) queda dehnido por las clases Al + (-11.2) y 11.2+ (-AI); pero teni'endo present.e que todo a2>al,resulta que los n"6meros de J,a pr-imer-a c.Lase son Wos negativos y los de La segunda todos positivos, 10 que indica que

El nUmero re~.~.- -_·~1_8_-_

dich!ts c.Lases definen e1 nllinero real cero ~ luego: a + (- a) = O.

7.- Multiplic~cion de nUmeros reales.- ~e~ ~a(~:~;~~) dos nUmBros reales positiv~s definidos en e1 campo de los racionales positivos. Consideremos la clase'de n~ ros formada POI' tochs los productos del tipo al00b1_ lli!; memosla AlBl; analogrunento llamemos k2BZ Ie clase de n~ mer'os raolonales del tipo aZb2• Probaremos ahora que dachas c.Lases AIB:t. Y A2B2 gozan de 1M propiedadea, necesarias y suficlontes pexa definir.un nUmero real y solamente uno.

En efooto, las c1ases no son vac!as y de acue£ dQ .con su definici6n todo nUmero de AIBI es menor que t2 do rnimero de il.2B2' Finl".llnente ~ tiene que:

y t.omando un ntmero h ract onal, (real) mayor que los nu~ mer-oa a y f3 resulta que todo bl es· inferior a h;p~ ro por otra parte siendo h superior a a existe un conjunto de az inferior a h , luego:

Ahara por hip6tesis se pueden determinar al,.a2, hI y b2, tales que:

y

luego:

B2b2 - a'lbl < e

De Gate modo,de acuerdo con 10 .precedente da-

El nfunero real.-

- 19 ...

remos l~ si~ente definicion:

Dados dos n~eroa reales

positiv~s' (l" (AhAa) y [3 .. (Bl,B~) definidos.

en e l, campo de los rucioncles ~o~iti\l'Os)l..i.~1t:'lr6m~produ£ to de eilos al, mimero it definido por las clases AIB1' ~B2 Y pondremos:

- .. Il

Puesto que las c1ases Al Bi Y A2BZ definen un nUmero real il y solamente uno, queda probada 1a extetencia y unicidad de 1a multiplicacion definida.

se define como e1 producto del producto de los dos primeres por e1 t er-cero , De un modo an 8.10 go se define e1 product,o de un n~ero eual.quter-a, finito, de nUmeros.

Teorema 9°.-

La multiplicacion de nfuneros reales es conmutati7a, as decir:

a.j3 c 13. a

D.

'5i a y b son dos nUmeros r-acd.onal.es se tiene que a.b ~ b.a; de aqu! entonces que las dclases AIB~ y BIAl como asf tambi~n las c1ases 1I2B2 y B2AZ sean Igua ... les entre ai, 1uego son iguales tambien las cortaciuras (A1Bl;~BZ) y (Bl,,\,BzI;'2), es decir c .IS .. i3 • a.,

Teo rema 100 ....

La multiplicacion de nUmeros realea es asociativa, es decir:

(a • j3 ). Y .. a,·(13 • Y)

D •

.. Basta tener presente que dados tres nUmeros

El nUmero real ,«

.: 20 ..

Teorema 11°.-

La multiplicaci6n de nUmeros reales es di!!, tributiva, 0 sea:

(a +~.).y "a°Y'+ ~0'Y'

D.

Habiendo dado tres nUmeros racionales a.b y c, se sabe que: (a. b).c = aoc • b.c, esta igualdad

implica la igualdarl de las cl.aees A1.SloCL y: A191+BICl como as! tambien la de ~2+B2,C2 y A2C2 + B2C2 Y c£ me aetw UlM.L1.as implican la igualdarl de las cortadu.rae, (A1+B:t..Cl'Az+B2·C2), Y (A1Cl+BlC1,A:2C2+B2C2), se tiene: (a + j3 ). Y .. a. Y + j3 • Y •

Teorema 12°._

Todo rnimaro real a multiplicado por e1 nUmero real 1, da como producto a , 0 sea:

a .. 1= a

D.

Consideremos el nllinero positivo a· (Al,A2) definido en e1 campo de los raciona1es positivos,y e1 n~ mere 1 = (B1,B2), siendo Bt e1 conjunto de todos los T! cionales positivos menores que uno y el racional uno y B2 el conjunbo de todos los r-ae.Lonal.es mayores que uno,

De acuerdo con esto y con la defini~i6n de pr£ ducto de nUmeroB reales se tiene que e1 mimer-o a.1 esta

El nW1ero real,,-

- 21-

tan~o ocurre con los nUmeros de las c'Lases A2B2·Y A2,de alli que podamos afirmar que (A1BpA2B;c)" 1Il.hB1) 0 sea que: <l .1 '" _ a •

Terminaremos 10 referente a la multiplicac16n de nmneros reales dando algunas definioiones que nos aseguren La generaJidad de los teoremas precedenbes ..

Definic:i.ones:-

Si.ll es un nfimero real negah"" y ~ un nmnero real positive, llamaremos producto de a; por~., representam.olo POl' a{3 , a1. rnimero simetrico del producto del sirn~trico de a POl: ~ ; as:£.:.

AnaJ.ogamente, si a es positivo y 13 negatj.

vo:

a • j3 '" -[a -(-In] ,

si ex y ~ sen negatives) entonces:

y finalmente:

para todo oonero real.

B.- Sustracoi6n de nUmeros reales:- Dados dos nUmeros reales a y 13 definiremos la_ sustracci6n del mlmero j3 al n6mel"O a ,c2- IlIO la operacion POI' la cual, se determina e1 nmnero

-22-

que es neeesard,o sum.ar: a ft par~ obtener a • So dice por est,c que La sustracciOn es Is operacion inversa de la adicion.

El nUmero que es. necesario sumar a 13 para tener ex, lodesignar.emos por ~ y 10 llama.remos dif~

rencia entre ex y ~. De acuerdo con la definicion

de adici6n este nw.ero existe y es Unico y el puede determinarse de larelacion:

en efecto, agregando el'sime.trico de ~ a ambos memobros de esta igualdad se obtiene:

~ + (-13) + .3:" ct + (-13)

o sea

~ .. a. + (- 13)

10 que nos indica que iLa diterencia 3 entre a. y tJ se obtiene sumando a a. el simetrico de 13 .Vemos piles que la'sustraccion se ha reducido a la s~na 10 que confirma que ella siempre tiene so1uci6n Y una solamente.

El n~e1"O is 10 designaremos en adelante per

r:J. - f3 , asl. se tiene:

de donde:

(cx-~) + 13 = a

Y13. que:

A contdnuacfdn definiremos un nuevo eoncepto

y preaent.areinoa un teorema que sera de muoha utilidad en

El nUmero I'eal.- ~ -~2~_~

numerosos razonamientos posteriores:

Definicion:-

8i ex es un nUmero real Ll.amamos valor absoluto de Cl a un manero que representaremos por I ctl y tal que

[c] '" ( ~

-ct

cuando a > 0 cuando a .. '0 cuando a, < 0

Teorema 13°.- ;'

El valor abso Iuto de una suma de numeros es menor 0 a La sumo igual a la surna de los valores absolutos de dichos nUmeres, 0 se&

D.-

De La definici6n dada para La suma de n~ ros reales,resulta que el valor absoluto de a + (3 es 1a suma de los valores absolutos de a y j3 cuando ambos nUmeros son positiv~s 0 negativos. Pero 8i e110s

•

e1 valor absolu~b de la surna a + 13 es IC!I. - I~I n~

nero menor que !<ll' + 1.131 por ser -IPt < Iftl ; de aqui entonces que res1Jl'llieIldo ambos casos se tiene: I ex +j3! ~ lal + 1131

Aplicando eata desigualdad reiteradamente se puede demoatrar '\31 teorema par-a un nUmero cualquiera fi nito de sumandos, Asi para a; , j3 y Y Be tiene: -

9,,"': Divisio!_l de nUmeros reales.- Se aabe que a todo nUIne ro racional a, diferen: te de cere, eorresponde otro manero racional que llamamos su reclproco y que se designa con !.

a

El nfanero re al.,«

-2h-

Antes de procedez- a definir el cuociente de dos nUrneros r-eal.es , definirel1lOs 10 que se ontiende par rcc::i'.proco de un rnimero real ct • Consideremos con este fin un nlimero positivo ct = (Al,A2) definido en el campo de los racionales positivos.

Designemos con _1_ la clase formada can los

A2

reciprocos de los nUmeros de A2 y par ~ la clasa for

mada por los recip~ocos de los nUmeros del AI. Probaremos que estas clases definen un nUmero real; en efecto,~

demas de no todo nUmero

servacias, todo nUmero de -i- as menor que

1 2

de T y so puede elegir a1 y a2 de tal 1

modo que:

para demostrar esta Ultima afirmacion sea h un nUmero real racional comprendido entre cero y ex ; los a:z son todos mayores que h y POl' otra parte existe un conjunto de nUmeros <).1 mayo res que h , de aqui entonces que para estos se tenga:

como ademas existen a1 y ~ tales que: ~ ... 81 < h2e

resulta.

y luego

El n11rnero real.-

- 2; ..

,~. 1 1 1 1 d tin

~~,pues, as cases --.-- y --'--, e en

"2 i"l

un n-6mero z<eal, esce n~ero 10 llamaremos rec!proco de

Cl y 10 designaremos por ...!... •

Cf

Finalmente dado un nUmero negati vo (- a) lIam~ r-emos manero reciproco de el~ el numero simetrico dil rec!proco del simetrico de (-1;1) .,. Si designamos con - -(1

este nmnero se tcndra.:

1 1

- .. -~

- a -\-a)

y como ya hemos visto que -( -a) .. a , se tendra:

...!... = _.1....

- a a

Teorema 14°.-

Todo nUmero real multiplicado por su ree!proeo da como producto uno, 0 sea:

aoa", 1

D.-

Sea a .. (11.1,11.2) un nUinero real definido

enel campo de los racionales positivos~ El nUmero ~ estara definido entonces por 1a cor-baduz-a (i2,-i.t) ay e1 'nWnero que resulta de multiplicara por.1:.. queda,

a

de acuerdo con La defirdcion. de multiplicacion,de£inido

por las clases 11.1 !_ y A2·+' , ahora puesto que

'-" "1.

todo aL> ~ resulta que todos los nUmeros de la primera clase son menoresque uno y todos los de la se .. gunda clase mcwores que uno, de aqu! que elIas definen

El. nllinero real,.-

- 26-

e1 n6mero Ul'liJ,O sea. a-1- '"' 1 ct

VealJlOS ahora La definicion de cuociente de dos nUmeros reale.s. Dados dos n6meros real.es Il y ~ d.2,

firiiremos la diVJ.~6n del nUmero (l POl" el nUmera 13: como 1a opera-cion POl" 1a cual se determina e1 n6mero que multiplicaO.o. POl" 1$ de como producto e1 nUmero eft .Se dice POl" eS'to que 1a division as La operact.Sn inveraa

de la multiplicaeion. .

E1 n6mero pOl" e1 cuaL es necesario mu1tipli~ car 13, para tener CIi 10 llamaremos cuociente entre .1 y j3 y Lo designaremos Pol." ~ • De acuerdo con au def! nicion se tiene:

si i3 no es nulo , existe e1 redproco de 1$. y multipl,! cando los do s nrl embros de La igualdad precedente POl" dicho reciproco resulta:

Il .l. r .. a .l

I-' fl: 13:

o sea

de aquf que e1 cuociente entre eft y P as igual al producto de o POl" e1 nUmero recfproco del n(unero {3 Y asi 109. divi~i6n se ha reducido a 1a multiplicacion, de aqui que 1s. division tanga siempre una y sola una so1ucion, con tal que e1 divisor sea diferente de cero.

El nUinero ~ 10 designaremos en ad.elante por r ' de nodo que:

EJ. nmnero reaJ..-

- 21 -

de donde

ya que

10.- Potencia de un I!.1;Imero real.- S;A . ~ • (A1'~) ';m

numero real derl~do en e1 campo de los racionales positiv~s y sea n tin numere entero y positivo. Designemos con A~ la clase. formada por las poteneias n-esimas de todos los nllma-

n ..

ros al de At y 11amemos ~ la clase formada par

las potencias n-~simas de todos los a2 de~.

Demostraremos que las clases A~ y ~. as! definen un ndrnero real. Desde luego tenemos clases no son vaeias y ademas que todo nUman

formados, que ambas n

doal y 8.2 racionales ~de al < ~ se sigue Solo rest a demostrar entonees que tomado un existen ~ y a~ tales que:

n n a2-,\< e

Para establecer eet,o considsremos 1a identi"':

dad:

( P n) ( )( n-l 0-2 n-2 n-1

a2 - a:L • ~ - a1 ~ + a2al + ... + B:2 a1+~ )

tcmano&:

El nUmero real.-

siendo h un racional, mayor que el a2 considerada, entonces:

< e

• n n

De aq~ entonees que las c1ases Al y ~2 de

finan un nUmero real y de acuerdo con eeto,daremoe Ia s1 guiente definicion:

Dado un mimero real (t .. (~,A2) definido en e L campo de los racionales posf.tdvos y"un emtero positiv~ n, Ilmuaremos potencia ri-esima de (t al n£

mere real definido por las clases Ai y~. Este nUmero 10 designaremos par el simbolo (l n y pondremos:

n n

(u) "ct

Teorema 15°.-

n m n+m

Cf oct = a

D.-

Sea a • (AVA:2) un nUmero real, definido

en el campo de los racionales positiv~s, los nUmcros (lon yam eetan definidos entonces par las clases if!, ~

Om m "L

y A1, A2 respectivamente.

~ora de gcuerdo con 1~definici6n de producto de nUmeros reales, e1 nillnero an.r.f! estara definido par

A¥.A1 I ~.Am donde Ia primera clase esta los nUmeros d~1 tipo ~.~ y la segunda pOJ:' nUmeros del tipo a~.a~, y puesto que:

las clases f'ormada par

It An+m y A~+m

dichas clases son id~nticas con las clasea ~l __ ~

n+m

que son las que definen el nUmero a ,de aquS. enbon=

El nmnero real.·

n m n+m

ces que: a » a; .. a

Teorema 16'.-

D,.-

Sean a;" (AI,A2) y ~, = (B1,E2) d05 n~

mere reales definidos en e1 campo de los racionales pc-siti.vos 0 De acuerdo con esto se comprende que los rnime

n [3 n ' n Qn ~ ,. 1 1 . -

ros il; Y a.1-' 'estaran def'Lni.do a por as e a-

,L ton Bn _n f!.Jl Ar: Bn t" t

ses '~1~"2' 1,tJ2 Y -"1. otJ1, ""'2. 2 respec J.vamen e.

Ahara teniendo en cuenta que:

n n ()n n n ( )n

~·l,bl· '8'1°b:L Y . a2·b2'" a2·b2

. - 1 ,nBn ,nBn ·d~t·

se ve que l.a~,. ~ a.s_~s' "'l.J.~ l' .... 2· 2 . son J. en a.cas

crases Al'J~, B1eB2' que definen e1 nmnero de ahi cntonces que: an.~n (a .~)n.

TeoremaJ.1~-

n m n·m

(el) '" a

D.-

Sea a .. (A1,A:2) un mimero real definido en e1 (tampa de, 1osracionales positi vas, entonees e1 nu-

mero an esta,1,efinido per las 'cLaaea ~,t:. Y PO, r

a m n m .f! m

consiguiente (a) por las clases (5) ~ (112) cuyos

elementos son mmeros de La forma: (~)m y (~)m re~ pectivamente.

Ahora puesto que:

y

29

El nUmero renl.-

... 30 ..

• . ( n)m , (}..f!)m •

resulta que.lasclases· 1~ -G son identicas con

nom .n-m

las clases 111 J "2. , y como est as definen e1, nmne-

nom n m n m

ro ct se tiene fina.llllente: (q) = ct··

Para que los teoremas precedentes seanval1dos cuando n y m sean cero 0 nlimeros enteros negatives daremas 1a siguiente definici6n~

donde

1

~

a-n .1

=-;0

designa e1 nUmero reciproco del nUmero

y

Teorema 18°.-

D.-

Sea e1 nUmero real tt = (Al'~) definido en

e1 campo de los racionales positi vas. Su rnime ro rec:i.pro-

co _!_ queda definido entonces per las clases ~ .. y-i-

a • n n ·'n2 1

y su pot.encd.a n-esima a por las c.Lases ~ , 112 •

!..hora por ot.r-a par-t e , h. potencia n-~sima del

. 1 d' 1·' f_l)n ~

numero a ' es ecaz- e nurnero estara definido

por las.c~ases (-~f ' (~ y ~lctnUmoro reciproco del nUmero ex ,es decir..:1_ esta definido por las clasesctn

pez-o puesto que:

1 --n a 2

y

n (J •

El nu~ero real.·

- ~l ..

Il'P resulta que las clases, -q ,

identicas con las elases _!_

~

son respectivi,mente

1

Y An la que en el fon-

. 1

do equi vale a. afirmar La veracidad del t.eor-ema,

Teorema l:ZO.-

Si ct y 13 son dos nmneros reales positi...l vas y n un entero positiv~, se tiene La igualdad:

D.-

entonces:

y

n-l n-2 2

13·!" .. ex j3 + ex j3

n-l n

+ •••••• + exj3 + j3

de dondet

n n

(ex -13 ) L '" ex - 13

o sea

Teorema 20°._

Si ex es un mimero real positiv~, n un en tero positivo 'y f3 y Y' dos reales racionales positi-

n n

vas tales que 13 < ex < Y , entonces existen das rel:!

les racionales 131' y Yp tales que:

tl·n < j3n < a < ·yn < yn

I-' 1 1

El nfunero real.-

- 32 -

D.-

Puesto que e1 conjunbo de los r-aci.onal.es es denso , si bye son los raciona1es correspondiontes a los reales 13 y Y, exl st,e un racional bl tal que

b < bl < c y par consiguiente exi.st e j3 1 tal que

j3 < 13 < Y y luego de:

1

n n n-L n-2 n-z n-L

131 - f3 ... (131 - 13)(1\ + 131 +" ••• +13113 '~13

result a

n n ri-L

131 - f3 < (J31 -13)n Y

n y como podemos elegir b1>b till que ~-lJ < g n-:r~l

queda:

n n n

131 - 13 < a - fl

o sea

n

131 < ex

y como

13 < ~1

se tiene:

De una manera anal.ega se demuestra 1a exi sben

cia de un Y 1 tal que: -

El rnimero real.,»

- 33 -

Teorema. 21°._

Si a. es un nfunero real positivo ,n un entero positivi:> y 13 y Y dos reales racionales positivos tales que j3n< a. < Y n , entonces t.omado un nfuncro real arbitrario e > 0 existen doe nfuneros reales racionales 13;1 y Y 1 tales que:

yn _ ~ In < t siempre que 1 I"

D.-

El. teorema precedente nos asegura La existe!}; cia de 13 1 Y Y 1 tales que:

n n n n

~ <131<a.<Yl<"(

s~ tiene

y para

re sult a

El nUmoro real.-

- J4-

Observe,cion: •

Dado un nmero real positivo It y un ente-

ro n, aabemoe que siempre oxiste un nfunero r::tt n y s610.!! no, que os poteneia n 6sima de l'! • Gabe preguntar anol'a.

si dado un nUmero real pOsitive (l existe un n'Gmero ~ tal que su n-esima potencia sea igual.a a, 0 sea I.exis-

to un nmnoro real j tal que I n = C1? La respuesta sera 'afirmativa de aeuerdo con ei siguiente teorema.

Teorema22°.-

31 Cl es un nUmero real positive arlete un nmnero real positiv~ ',~ y solamente uno cuya pote?ci.a n-esima es e1 numero C1 , 0 sea:

D.-

Comenzarernos haciendo ver que .si e1 nfunoro & existe e1es Unioo. En efecto si,existen dos nfune'I'os diferentes '~1 Y J 2' suponiendo "1 ~ 2'sO .dB .. muestra sin dificultad que en <I! n, Q sea que a <<< •

, . 1 ~ 2 ~

10 que es absurdo. Queda entonces solamente por demos ..

trar que tal numero existe.

Cons.lder-emea e1 conjunto de los nfuneros rac1g_ nales positives, s1o: es un nfunero real racional corresponde a e1 en dicho conjunto un cierto racional a ysi para oste racional a existe en e1 campo de los ra.

cionales un nUmero X tal que ~ = a, cntonces 01 nUmero real cor-reapondf.ent e al racional x sera e1 nfunero busca do. 3upongamos enbonees quo tal nmnoro x no exi.ste. -

Dividamos el eonjurrto de los nUmeros raoionaLes PQsitivosen do s alases R y S de acuerdocon c1 criterio siguiente: 120 cl.aae inferior R contendra todos los n~TIeros racionales positiv~s r, tales que'siendo ~

,611correspondiente n6mero real' se tenga fln,.:: rf.La clal

_.

- 35

se S e st ara formada por todos los racionales s taJ.es que siendo If su reeD. eorrespondiente ae t enga cP> ex

I

De aeuerdo con este criterio no quc.::la ningUn r,".cional positiv~ fuera. de Is clasifieacion. pUGS no exiate un racioncl x taJ. que, s i, . t~ es. su real ccrrespo!,!

di(mte ~ se tenga !;n .. a ; ademas t.odo r es menor- que todo s ya que de pn< a < ern se sigue p < !Y Y fi11.~ monte de acuerdo con e1 teorema 19° no hay un p mayor quo tOd05 .los ~ rli. un 0' menor ,que todos los d". De aqu:C errtoncee que est-a clasificacion define. U1 n6mero real poal.tdvo ~ .. (R,S) tal que ? < ~ <. cT

De est-as dasigualdl'l.des resulta:

fin < ~n < ~ (a)

para todos los reales racionales p y <'11' ast como

fP < a < (Tn (b)

Ahora pOl' otra pnrte t.cdo-z-acfonal, positivo tie ne un correspondiente p 0 f:!' Y solamente uno, por consi' guiente S8 podr-an elegir p y (J' tales que O'--p sea menor que cualquier carrb.ldad positiva, de aqui ent.onces que de acuerdo con el teorema 200 se'tengs:

(c)

siendo 'e> 0 un nu.mero real arbitrario,desiguaJ.dad que junto con las (a) y (b) nos permite afirrnar que:

f :: a

Este n'd."'lero .~ cuya e.xistencia. y unicidad ha sido demoet.rcda 10 Ll.amaremos La raiz aritmetica n~sima del nmnero a y 10 representaremos por:

E1 nUmero real,- .•

... 36 ..

n

-Va ..

1

n a

de nodo que:

m Definiremos adem&! e1 simbolo a.n om

mere que representa a ~, de modo que:

comoe1 nd-

. ~ ( .. ~\m

(1 • u l = (Vat

y finalmente

m

- -

n • 1

(1 .. ill

(1n

Teorema. 23°.-

Si (1 es un nUmero real positiv~ y m y n enteros ,posit1ws se tiene: m

. (~a) = W

D.Sea

n

p • ~J entonces

n

p '" a: y

ademaa

Luego

o sea

)il nu.'!lero real.-

-37-

Teorema .?Jt·- al .t. a e

31 ct es un nmnero re posa, ~ VO. T) YCi

reales racionales, se tiene:

a c

b d

a .a •

D.-

Se tiene:

a + C

'0 a a

a

b

ex

y

• C(

luego

( . .1.)ad+Cb ((.bd /

a e

.1) d

C1 • II ..

Teorema 25°.-

5i ct y 13

real raciona.l, entcncest •

~ a b b ct • ~

D.-

Se tiene

cb

db

ad+cb

bd

... ct

son nmneros positives Y t un

El n(l!ltero real.-

- 38-

~ (1)8-

bib

cx '" \(1

~ (1) a

b b

i3 = \13

y

luego

ahora por otra parte ae tiene que:

(,. ~ 1\D (l)b ( lib

...• fjbJ .cxb • I3b ~

~e donde

1. 1 .. 1

b b b

a • I3 = (a.j3)

y lu~o

a ..€!; b b ex .13

Teorema 26'.-

Si a es un nUrnero real positivo y ~ y

.2. ~

d numerc s reales racionales, se tiene:

ac

Ed

= a

D.··

Comenzaremos con un caso simple, auponiendo que uno de los reales racionales sea entero, ponga-

mos entonces .2. - p se tendra:

d'

El mimero real.-

- 39 -

ill! b

Cl

Estahl.ecd.do eato I consideremos ahora e1 caso general. Sea entonces:

de acuerdo con 10 ya demostrado se tendra:

Be

b

a

ahora

de donde

(a:r ae
b
= a
d = (a ~~r
13 y de acuerdo eon La unicidad de La ra:f.z aritmetica:

o sea

ac bd (l

Observacion:

'Despues de todo 10 precedente, para concluir

-

E1 nUmero real.-

-/1)-

con nuestro ·terna, s610 nos queda que preocuparnos de las potencias de base real negativa y exponente real racional y de las potencias de base real positiva con eXpOnen te real. El primer asunto 10 despecharemoe fnmediataman: te con 180 definicion:

Si ~ es un nUmero r8ocionab irre-

ductible, entonces:

a. a.

b b

(- ex) .. ex

cuando a '" 2n '

!! 2:

(_ a.)b • _(nb} cuando a. 2n + 1 r b -2m+l

a

b (- a)

no 10 definiremos cuando 8o'"2n+l y b= 2m

Se sabe que la definicion de este Ultimo caso uapliea La creaci6n de los nGmeros complej~s.

P-..,semos ahora a preocuparnos de 1a potencia de base real positiva con exponents real. En e1 razonamiento que con este fin haz-emos a contd.nuacd.dn , inte!'Vendran relaciones con letras latinas y griegas, demas esta decir que tel. coaa se hara s610 con el deseo de evit,ar una superflua notaci6n nueva. Se deber~ entender en '~es c~ sos que todas las'letras griegas y latinas representan nUmeros raales y las latinas particularmente representan nUmeros reales racionales.

Sean ex = (A1'~) Y 13, = (B1,B2) dos nUmeros reales definidos en el campo de los racfonal.es positlvos, siendo ex > 1.

Indic8Ildo cias de los nUmeroB

01 conjunto de las pot enque tienen- como exponence

y puesto qU3 S~ p~edeq elegir bl Y b2 tales que 1

b2 - bl < Ii rcsultn:

b2 ~

al - '1. <

- 1)

los nUmeros . bl de ~ y dando un ana.logo significado al B2

smbolo A..2. f demostraremos que esta.s dos clases de nUm~

ros AlBl y ~2 definen un nUinero real.

Desde luego ya que Al, ,~, ~ Y B2 no son vacLas tampoco 10 seran las .clases ~l y ~B2. Siendo ademae a. > 1 se tiene para los nUlneros de ~ que 8.2 ? 1

y como todo bl es positivo resu1ta ~l < ~l < a.~2.S2 10 re6ta dcmostrar entonces que cualquiera que sea el numere r-acf.onal, e > 0 que se tome existen aI' a2, bl y b2 tales que:

Pa;a demostrar esto observemos que:

Tomemos un nUmero r-acfonal h tal que siendo If su real corr'espondi.errce se tonga l'J > 13 • Entonces

-/J2-

yaUn

y como se puede tomar n de modo que

__!_ 2a h I

results:

(a)

. Sea por· otra parte

~ donde p y q son

enteros primos entre s.l.# sea aden8s:

1

1 q

de dor.de

r

q q q-l q-2

a2-~ ",(a2 cxl) {~ a~(a2.+ ~ ~ .

q-2 .q .. 1

......... ~ al ... (11 )

~ero real.-

- 43 -

ahora tomando

queda finalrdente

(b)

y eumando (a) con (b):

b2 bl

a2 -~ <'e

1\ B2

De aqui entor.p.'3s que las clases Al Y il:2

definen un nUmero real'y de acuerdo con las consideraciones anteriores daremos La siguiente definicion:

Si

a. '" eA., ,Bl) Y~. = (BVB2) son dos nUmeros reales def! nidos ~n e1 cmnpo de los recionales positivos con a.> 1, 11amaremos potencia !3 de a. al mimero real definido

Bl B2

Al Y Az • Este nUmero 10 designe-

per las clases

a r-emos por a.ll •

'S1 0<'0.< 1, tonces par defini.6'"'6n.:;,

so tendra. ~ > 1 y en-

El nUmero real.-

-44 ...

1

(~)13

Ahora COJll:)

Se tendra

y luego

o sea

para 0<(1<1 y ~>o

5i f3 es negativo,por definicion:

Suponiendq primeramente Cl > 1; puesto que:

res ult a

f;t nUmero real.-

- 42.':

y .Luego

o Sea

para a >1 y 13<0

Contrariamente si 0 < <l < 1 se tiene

1uego

o sea

para 0 < (l < 1 y i3 < 0

De modo que resumiendo podemos decir:

81 Cl a(J'l,!:2) y .13':; (B1,B2) son dos nUmeros reales, e1 nUmero att se define como se indica:

Para !l > 1 'r 13 > 0 : a13 .. <i( , ~2 )

B B2 Bl

:a' =(1'1 ,A2 )

Para 0 < ct < 1 Y !3 > 0

Para a ~l

s j3 < 0

El nfunero real.-

Para 0< ct <. 1

y p < 0

En las igualdades precedentes debe entenderse que:

(~ , J.~2} representa 1a cortadura definida por las cl~

BI B2 .

ses Al Y 1"2, Y as! 'Sucesivamente. Finalmente aia= 1

Y 13 un nUmero real cua~quiera,definiremos a13 por:

Y s1 a es un nmnel'O real cualquiera y ~ - 0 se deti ..

nil":

o

(l = 1

Demostraremos ahora que las propiedades formaLes de La potencia subs.i.st.en atin cuando e1 exponente es un nUmero real cualquiera.

Teorema 27".-

Si a es un nUm_ero r-eal, posi ti YO Y !3 y 'Y' dos nUmeros reales ouaiesquiera, se tiene

D.-

Supongamos primersmente c > 1 y j3 Y 'Y'

positiv~s, e?tonces ~i a ==,., (A1~A:2~ !3. (Bl,B2) y

y", (01 ,02), los numeros aiJ y C1 quedan determin~

d 1 1 .,Ih.B2 C1 C2

os por as cases .L-X- ,.112 Y AI, £'2 respectivamen

EI mimero real.-

-47-

mente y per consiguiente e1 nUmero

BJ. Cl B2 C2

clases ~ .P1. ' A2 ~~ •

cx13 • d "( po r las

13+Y Por otra parte se tiene que e1 n~ero ct

Bl+el BZ+C2

esta determinado per las c1ases Al ,J~

para los racionales ee tiene que

y como

b e b+c

a °a .. a

reeulta que las e1ases que definen los nUmeros y a13 +y son id~nt.l.eas', de ahi entonces que

nUmeros sean Lguakea I 0 sea que (1(3 '0. Y' '" cx(3. Y'

La generalidad del teorema se establece facil mente apoyandose en las definiciones preeedentes.

es'tos

Teorema 280.-

Si ex y (3 son nUmeros reales pesitivos

y Y un ntimero reaJ. cual.qui.er-a , se tiene:

D.-

Supongamos primeramente que a y 13 sean mayores que 1. 81 a - (AVP'2) I jl .. (Bl'BZ) Y

'Y = (Cl,C2) > 0, los nUmeros ex Y y (3 Y quedan de-

Cl C2 Cl C2

terminados por las c1ases 11'1'Az Y ill ,B2 respec-

,tivamente y per 10 tanto el nUmero d. Y.!3 r queda determ!

C1 01 C2 C2

nado por, 11. .Bl Y l~ oB2 •

E1 niimero real e " -.

... 4S ..

Por otra pF~e se tiene que el nUmero (d·S)Y

Cl . C

est a determinado por Las cLaeee (AIBl) Y (J'2"B2) 2

Y como. para los r-acd.onal.ea se tiene

c c c

a'b = (a-b)

resulta que las clases que definen los nfuneros a Y.!3 Y Y (d··)3) Y son id~ntieas, de aquf entonces que aY• J3 Y • (a· 13) Y •

Respecto a la generalidad del teorema vale aqui tambien 1a observacion indicada en la demostraci6n del teorema anterior.

TeorC1UG. 29".-

Si a es un manero z-eal, positivo yj3 Y 'Y dos nfuneros reales, se tiene:

D.-

Supongamo s a mayor que uno y -13 y Y pg, sitivos. Empleando las mismas nQtaciones usadas en los

teoremas antoriores, el nUmero aJ3 queda determinado por las c Lasoe .I''lBl Y ",}2 y por consiguiente e1 nu

mere I f:l)Y per I,B,\Cl ( B~C2 -

Itt . \'"'1/ Y 1'2) •

[-,hora por otra parte e.L nfunero (l ~.y esta d~ terminado por 13$ olases ,~~l·Cl s l'~2·C2 y teniendo en (menta que para. los racionales

(ab) c = abc

E1 nUmero real.- - 49 - resulta que las clases que definen los nUmeros (aI3) Y y al3' Y son identicas y por consiguiente (I.'!.~) Y .. ct~·Y.El teorema se ext.i.ende sin dificultad al, caso en que BoY o ambos a La vez sean negat L vos y cuando C1 sd.endo siem pre positiv~ sea menor- que uno,

11.- Cort8.duraE;l_.~~J,,_ campo de los nfuneros re~.- 8i

se e[ectUa con los nUmeros reales, las operaciones hasta ahora definidas, se obtiene como result ado nUmsros reaLes , Se puede preguntar ahora si efectuando cortaduras en el campo de los nfuneros reales resultar§. siempre un manero real, 0 clicho con otras pal.abras ilas cortaduras en el campo de ].06 nunero6 reales podrdn reducirse siam pre a cortaduras en e1 campo de,~os nfuneros racionales?

La respuesta a esta pregunta viene dada en forma afirmativa per e1 conocido Teorema de Dedekind que presentamos a continuaci6n.

Teorema 39°.-

5i e1

de los nmneros reales se d!

es que:

1a Cada clase contiene a 10 menos un nfunero. 2~ todo nfunero real pertenece a una de las dos clases y

3~ Todo nUmero de la clase L es menor que to_ do maaero de La clase B.

Entonces exists un nUmero real a tal que to dos los mimercs menores que C1 pertenecen a la clase A y todos los niimeroe mayores que a pert.enecen a La cl~ se B. El nUmero a. puedc tomarse como perteneciente a cualquiera de las dos clases.

D.-

Sean AI y B' las clases de los l1Umeros ra.. cionales contenidos en J,. y en B respectivamente, enton ...

ces de acuerd.o eon lao definicion de A y B se sigue inme d1atamente que i,1 y B' constituyen una cortad\U'a(l.t ,Bi) en el campo de los racionales y per consiguiente' las clases A y B definen un n'6mero real . a .. (i. I ,B' ) .Noso.tros probaremos que este mimero real a es ~co y que satisface las condiciones del teorema. Para este efecto distinguiremos doe casas:

a) S1 0: es un real, raci.cnal , sr es e1 • grande de La -e.lase ].to bien e1 menor de La clase BI .S~ poniendo a a el mayor de AI e1 debe ser tambien el·ll\S!: yor de A, pues euporrlendo' que exist1era en A un n1lmero

13 '> a ha.bna entre a y (3,racionales tales como

~ ..

2 ,mayores que a ,los cuales pertenecer!an a. BI y

por 10 tanto tambi~n a B, 10 que ~)lica contradicci~n. Similarmente a1 ex es e1 manor nUmero de Bt ~1 debe ser tambien el meno~ de B.

b) Si. a as un real 1rracional ~1 es mayor que todos los nWlleros de i.' y el menor que todos lOS n~ meros de B'. Razonando de manera an810ga a la precedente se hace va:!;' que a es tambien mayor que los nfuta ros de A y menor que los nUmeros de B.

Finalmente es faeil comprender que ex as co, pues s1 hUbiere otro a el medio aritmetieo' de 110s no pertenecer!a a ninguna de las dos clases.

Corolano .. _

S1 los mimeros de un interva.lo (a,b) son di vididos en dos clases A y B que cumplan las cond1 clones del Teorema de Dedekind, esa clasificacion dati: ne un niimero real.· Pues basta tomar con A todos los rea les x tales que' x.:f a yean B todos los reales y tales que r ~ b.

El ~eorema de Dedekind nos ha mostrado que ts da corladura en e1 campo de los n'6meros real.es define . un niimero real, esta propiedad distingue al Qonjunto de los nUmeros reales del conjunto de los nmneros raciona,...

El nlSmero real.-

les,pues en esbe hltimo conjunto hay cortadura.s que detinen n6meros que no pertenecen a el. Debido a esta aircunstancia. se suele decir que el conjunto de los n6meroa reales es perfecto 0 cerrado.

12.- I.ogaritJ!) de un n-wnero real.- Sean ex y 13 dos numeros reales posit.ivos; 81 ex es diferente de uno nosotros haremos ver que siempre existe un nUmero real E y solamente uno tal que:

este nfunero ~ 10 UamarelllOs el logaritmo de !3 con base

a y pondremoes

a

~ .. log~

Teorema 31·.-

Si a y j3 son dos nUmeros reales positivas, siendo a diferente di uno, existe un rn1mero re8~

y solamente uno tal que a .. 13·.

D.-

S! ex y ~ son reales racionales corresponde a eUos en e1 c~mpo de los racionales dos n6meros a y b Y si en este campo existe un n6mero x tal que aX. b , entonces e1 n6mero real correspondiente e. eete racional x sera. e1 mimero buscado , Supongamos que tal cosa no ocuz-re y consideremos los nUmeros a y j3 definidos en e1 c~ po de los reales positiv~s; sea ademds ex > 1.

Dividamos el conjunto de los numeros reales po-sitivos en dos clases R y S de acuerdo con el criteria s1 guiente: la class R cont.endra todos los reales p tales -

que a,P < 13;18, clase S contendr-S todos los reales .f! ta Les que rid,> j3. Se comprende sin dificultad que esta clasificaci6n as tal que ambas clases no son vac1as, que todo numero reaJ. positivo pertenece a una y solemem.e a

El nmnero real.-

- 52-

una de elIas, pues no existe· un raciojal x tal que s1 e ee su real eorrespondiente se tenga {l "'13, y finalmente se va que todo umcro de La clase. R es menor que to-

do n-umsro de La eleae S. ya que de aP <. a(l'" Se sigue que? < d". Ad. puss la clasificacion hecha define un n'l1 mero real C -(R,S) i aolamente uno tal que: . -

(1P < (1 ~ < (1 cr

Ahara se tiane tllJllbien que

(1P < i3 < a 0"

y siendo denso el conjunto de los racionales, tambien 10 sea el conjunto de los nmneros reales Y' se tendr!

cd' - l < E siendo' > 0 un rnlmero real arbitrario; de f'.qui que podamos asegurar la i~1ldad eot.re los n6m~

ros (l e y ll,o sea:

81 a < 1,' se tiene - > 1 y por 10 tau (!

to de acuerdo eon 10 anterior existe \1l1 nmnero e tal que:

y'por 10 tanto tal que

Ahara con ayuda de los teoremas establec-idos para las poteneias sa demuestra sin dificultad las P.l'9. piedades aritm4tica.s de los Logard tmoa,

- 000 -

CAPITULO II

CONJUNTOS DE NUHEROS

13.- Los conceptos: unidad y co~junto.-

Las ideas de uni dad Y pluralidad son para nosotroB ideas prL'l1itiv~s y, par 10 tanto, no las definivemQs.Todos SabeITDS distinguir entre una y varias cosas y cuando.prescindimos de la naturaleza de cada co sa y de La posici6n con respecto a las otras si son varias, nace en nosotros los conceptos de unidad y pluralidad, respecti vamerrbe ,

Bstas ideas de unidad y pluralidad tienen un valor puramence relativo pues cada co sa 0 ente material es a au vez un conjunto de otros entes que 10 componen,

y toda pluralidad puede considerarse tambien como unidad. As! por ejemplo la Universidad Cat61ica es una unidad como universidad y una pluralidad como reunion de faoul t.ades ,

]\Josotros llamaremos indistintarJ.ente conjunto o c1ase, y asi 10 hemo s heche hasta ahor-a, a una p~uralidad deteminada y a cada Ut.lO de los objetos que La fo! man 10 Ll.amaremo s un e1emento del conjurrt,o , Se suele d~ cir que el conjunto contiene 0 encierrs. sus elementos, que e1 esta COITwuesto de sus elementos y que los elementos pertenecen al conjunto.

Conjuntos de nUmeros

- 54· ...

Hay dos cami.noe para determinar un conjunto , m~ todo que los logicos 11aman: por extension y par cemprenSJ,.on. Podemos enunciar sus elementos, cono cuando deci .. mas: el conjunto que considero se compone de Pedro, Juan y Diego. Tambi~n podemos mencionar una propiedad detenq nada de c ada elemento del conjunto, como cuando hablamos de los "habitantes de Santiago",

Vemos que el rr1E~todo de determinacion de un con ... junto por extension, consiste en enunciar cada una de las unidades que componen el conjunto; en el m~todo de defi~ cion por comprensi6n, el conjunto queda determinado dend£ se las caracter!sticas generales q_ue pertenecen a cada uno de sus elementos, y so Lamenbe a"e11os, de tal. modo que, mediante estas propiedades caracteristicas, los elementos del conjunto se distinguen de los demas.

De estos dos tipos de definiciones el Ultimo e~ ta mas de acuerdo can la matematica, ya que si ee estudiil: ra so.Lament e l<).s conjuntos definidos por extension ella qued ar-La sUjet,a a las restricciones iropuestas por las dif1cultades materiales de La enumeraci6n ei'ect1va de todos sus elementos sobre todo si e1 conjunto es muy nunlerOSO. De acuerdo can esto nosotros· diremos que un conjunto esta determinado 0 dado cuando establecido un convenio cualquie ra no contradictorio podemos decir s1 un ente u objeto da-

do pertenece 0 no per-t enece al conjunte , -

Un conjunto cuyos elementos son los objetos a,

b , c, • • • •• 1 sera designado por (a, b, c, ••••• 1). .El s!m bolo (a,b) designs. un conjunto formado por una pareja de elementos que son los objetos a y b • Los s1mbolos (a,b) ~ (b,a) designen e1 miswn conjunto. Un conjunto no depe~ de del orden de sus elementos.

De acuerdo con nuestra not aed.dn (a) designs. e1 conjunt,o formado por un solo elemento que es e1 objeto ~ Se podria alegar que 61 no es un conjunto , esto no es si ... no una cuestion de terminolog:La, pero si se quiere convo-

Con,iuntos de nlli-ne-ros

- 55 -

nir que todo conjurrtc corrt enga a 10 memos una pareja de elementos, resu~tan numerosos inconvenientes en los enun ciados de much as proposiciones sobre conjurrboe , A este respecto ire-mos aUn ma.s Le jo s y emplearemos a menudo la i'rase IIconjunto nul_olf. queriendo signif'icar con esto 1a ausencia de elementos.

Una cuestion import ante respecto del conjunto forrr~o POl" un solo elemento as que el no debe considerarse como id~ntico 0 igual can su elemento 0 en otras palabras que la relaci6n (a) = a implica contradiccion y que POl" 10 tanto es neeesario distinguir entre el cOll junto f'ormado por- un solo elemento y 61 elemento mi.smo ,

Definicion:

S1 todo elemento de un conjunto Ai es tambi~n elemento de un conjunto A, se dice que el conjmlto Al es una parte 0 subconjunto de A y se acostumbra aex-' presar esto con la notacion:

o bHn

La r!:11aci6n entre do s conjuntos A y Ai ex-presada por- elsigno <.:: se llama de inclusion. El si:rnbolo Al<: A se lee: el eonjunto Al sst a conter~do en el con-

junto A y La formula A:;t Al expr-eaa que el conjunto A contiene al conjunto Al-

La relaoion de inclusion es transitiva, es d~ cir que las formulas

s

Bee

implic.an:

AC C

Adem~s para todo conjunt,o A se tiene La re-

ConjuntoB de nUmeros

- 56:-

laci6n:

Definicion:

8i entre dos conjuntos A y B 6e verifican 5imultaneamente las dos relaciones:

AC B

y

B"C A

diremos que los dos aonjuntos son iguales 0 identicos y pondremos:

A = B

Para irc±icar que des conjuntos A y B no son identicOB se escribira.:

ArB

S1 un aonjunto Al es un subconjunto de A , pero reciprocamente A no es subconjunto de AI' se dira que e1 conjunto .. AI es una parte propia 0 parte alicuota 0 aun verdadero subconjunto de A. De aqu! que para que un conjunto Al sea parte a1icuota de un conjunto A es necesario y suficiente que se tenga simultaneamente:

y

14 ... Equiva1encia de conjunt.os ,» He aqUl. otro concepto

primario 10 mismo que e1 d'e unidad y pluralidad. La noci6n de equivalencia ssta implicade en la operacion de cantar y es l6gicamea te m~,s simple aunque msnoe familiar.

Entenderemos par correspondencia entre dos conjuntoB dados A y B , un criteria POI' 81 cual a cada

Con,juntos de nUmeros

'1-.:'""

- 2( -

elemento de uno de ellos sa Le asocie uno 0 varios ele-mentos del ot.ro , De acue rdo con esto la correspondencia entre dos conjuntos A y B ssta evidentemente individu~ lizada euando se conoee para cada elemento de A, 81 13 los elementos de B que 1e corresponden. Los elementos de ambos conjuntos que se corresponden se llaman correspondientes u h~mologos. La nocion de correspondencia 0

coordinaci6n es independiente del orden. c

Definicion:

Una cor-respondencd.a entre los elementos de dos conjuntos A y B se dice biunivoca cuando a. cada elemen to de A corresponde uno y solamente un elemento de By reciprocamente a cada elemento de B corresponde uno y solsmente un elemento de A.

Para expresar que entre dos conjuntos A y B existe una eorrespondencia biunivoca pondrerr~s:

Atv-B

y diremos para abreviar que A es equi valente con B. De Ia precedente definicion de equivalencia resultan ~ mediatamente las siguientes propiedades:

10 E1 principio de identidad expr-eaade POI':

Ani A

en efecto a cede elemento del conjunto A se 1e puede a signar e1 mismo como homOlogo.

20 El principio de simetria, de acuerdo con el cual~ 18. relacion:

AI'\JB

i.11lplica

Ya que establecida una correspondencia entre A y B que da establecida tambi~n otra correspondenciaentre B y A.

y

Con,juntos de nu.mer,.;o,.;s'-- -_"'5,;;:;8_-_

3° El principio de transitividad de acuerdo con e1 cual, las relaciones:

implican

en efecto si al e1emento a, de A cor-responde el e.Lemen to b de B y a este el elemento c de C , basta adoptarc como horn610go de a; reciprocamente como c de C tiehe hom610go en B y este uno solo en A queda establecida la correspondencia biunivoca entre los conjuntos Aye.

Postulado:

Entre el conjunto de los nu.meros reales s el CO!! junto de los puntos de una recta dirigida (eje) existe una cor-reepondencd.a biunivoca.

De acuerdo con este postulado eer! frecuents que en adelante usemoe como sin6nimos los vocablos punto y numero.

Todo conjunto de nUmeros que pueda ponerse en c2 rresponde~cia biun!voca con el conjunto de los nUmeros naturales 10 Ll.amar-emos conjunto numerable.

15.- Coniuntos finitos e infinitos.- Una noci6n importan-

te que creewns poseer por intuici6n con claridad perfecta, pera que nos o~ ne graves dificultades apenas 1a enalizwlos, es la no cion de conjTh~to finito. A primera vista ocurre considerar como finitos los conjunto5 cuyos elementos se pueden enun-' ciar sucesivarllente', as decir los conjuntos definibles per extension, pero hay una irnposibilidad material para enunciar los conjuntos, 10 cual depende de la finitud de nue~ tra vida. Para exc1uir estos factores subjetivos ajenos, a los conjuntos mismos, es necesario dar una definici6n

Conjunto8 de NUrr~ros

- 59 -

logica, que p-::rmita deducir por razonamiento. sin l'ecurrir a experiencias ir~posifules. 8i tm conjur~o cualquiera dado es fillito 0 no. Asi bomaremos la definicion siguiente:

Definicion:

Un conjunto se dira infinito cuando el sea equi valente con una de sus partes allcuotas. Un conjunto Be dice finito cuando no as infinito.

De acuerdo con esta definicion si un conjunto A es finito, el queda caracterizado por:

s

y un conjunto infinite por:

E1 conjunto de los nllineros naturales es infinito ya que e1 puede ponerse en correspondencia biunivoca con e1 conjunto:

2, 4, 6, 8, ••••.•• ,2nJ •••.•

No terminaremos estas ideas sobre conjuntos sin

antes referirnos a La nocfdn de orden. Buecando una no

cion de orden, de 10 primero que es necesario compenetr~se es que ning~~ conjunto posee un orden unico con exclusion de ot,ros. Un conjunto de elementos tiene todos los ordenes de que as susceptible. El concepto de orden sUPQ ne e1 de duraci6n en el tiernpo 0 e l, de ubica,cion en e1 e.!! pacio que permite percibir los elementos de un conjunto en instantes 0 en Lugares dii'erentes, definiendo una cor-respondencia entre aque:Llos elementos y estos instantes 0 I:!:!; gares ,

Todo criteria de ordenacion se puede establecer arbitrariamente pero ha de sa~isfacer las dos siguientes condiciones:

Conjunt'os de nruneros

-60-

10 Perr.rl.t.ir fijar sin ambigliidad cuando un elemento de un conj unto es ~:t'2rior 0 precede a otro, e1 cual se dice entonces que es poste-

r~or 0 siguiente d~ aquel.

8i e1 elernento a a c, e1 elemento

precede a b y est.e a debe pre ceder a

c.

As! refiri~ndonos a conjuntos de nllineros precisaremos aquf la noc.i.dn ,de orden que hemos utilizado ya en e1 conjunto de los numeros reales.

Definici6n:

Un eonjuncc de nu:meros se dice ordenado cuarsdo para eada pa~ a y b de sus elementos (a f b) se puede est,ablecer una y solemente Q~a de las relaciones:

a< b

o

a> b'

y para toda terna de elementos tales que:

y

se tenga:

a < 'C

El conjunto vacfo y el conjunto de un solo elemento seran ordenados por definici6n; en. cuanto al con junto de dos elementos a y b se considerara ordenado 5i se establece entre eilos La re1aci6n:

a< b

o bien

Si a es un nillnero meno r que b y no hay nin gUn ntimero que sea mayor que a y menor que b se dice que a y b son dos nUlleros consecutivos; b se ll@ma en tonees siguiente de a.

Conjuntos de n6meros

... 61 ...

Un nmneroque es menor que todos los dem~s numeros del conjunto ordenado se llama primer elemento de ~ste. El ndmero r~or que todos los demas nUmsros del

~, .

16.- Conjuntos acotados.- En todas las consideracio-

nes que en 10 sucesivo hagamos sobre conjuntos, nos referiremos Urucamentea conj unto s de nUn~ros ss decir a conjuntos cuyos elementos son nUmeros reales.

Llamaremos variable al simbolo, x que nos represent-a los distintos elementos (nlirneros)de un conjunto X de nWlleros que se llama su campo de variabilidad 0 dominic de 1ll. variable. .De este modo cuando em.plaemos la frase "La variable x" no debera penaaree en 1.lIl nUmero determinado del conjunco X I sino en la POS! bilidad de tomar uno eual.qui.er-a de ellos, e1 que se desee.

Cuando el campo de variabilidad de una variable x est! formado POl' el conjunto de todos los nUn16- ros reales comprendidos entre dos nUmeros a y b, el se llama intervalo de la variable. El intervalo determine. do POI' los nUmeros a y b con a < b 10 designaremospor (atb). 8i los nUmeros a y b se inc1uyen en eL i!l tervalo, se dice de e1 que e s un intervalo cerrado; 5i dichos nUmeros se excluyen e1 intervalo se dice abierto; sise exc1uye a y no b e1 intervalo se dice abierto POl' La izquierda y finalmente si se excluye b y n6 a. ~l se dice a.bierto POI' La der-echa,

Un eonjunto de nu.meros ss dice acota.do superiormente, si existe un nllinero K mayor que todo nUm~ ro del conjunto, An8J.ogamente un conjunto se dice acetado inferiormente, s1 existe un l1UITLero H menor que todo nlimero del conjunto •. Los numel'OS K y H Be llaman cqta superior y cota inferior del conj~~to.

Conjuntos de n<im~ros

- 62 ...

De esta defirdcion se desprende que si K es cota superior ~e' un conjunt.o , tambien 10 es cua'lqud er- nUmero mayor que K. Del rrismo modo si H es cota infe~or

de un conj urrtc igual coaa ocurre con to do ntimero menor que

•

La acotacion de un conjunto puede ser POI' ambos 0 por uno u ot-ro sentido. 1ill e l, primer case diremo5 simp1emente que el conjunto esta acotado; as! e1 conjunto de 10 s n-(","'3ros eompr-endf.dos entre (- 1) y (+ 1) es acotado en ambos senGidosJ rai.ent.r-as que e.I, conjunbc de los n11- mero s positi vos errceros solo esta acot ado inferiormente 0 como aue Le decb'se, en vista de 1a representacit5n de los nu.'1Ieros como punt.os de un ej e, poz- La izquierda.

Para t.odo conjunt,o infinito de n{nneros acotado superiormente 0 );,'01' la derecha se puede demostrar la eri.:::. tencia de un n(l:mero H, que tiene'las dos siguient,es pro ... piedades:

10M ~ que todo mimero del conjunto ,

2° M -.£ < al.gtin nfmero del conjunto; sd.endc € un :lu,lel'O po s.Lt.Lvo arbi.t.rar-i.o ,'

Fete n(llnere M se llama frontera superior del conjunt.o y la Pl'o14dad enuncf ada del conjunto acotado s£" perd.orment.e se expresa POI' e1 siguiente teorema:

'Teorema.,X.

. Todo conjunt o infinito de nu.meros acotado 5Up~ norm.cnte tiene U118. fl'ontera superior Ii.

D.

En est e.' de:~t03tracion distinguiremos dos casos , Cou.enaar-omos consdder-ando un conjunto tal que si tiene un ~ Leraerrbo mayor que todos .. los deLle.S, sea a. este elemento j en e~ te primer caso afL""lnamos qu-e ll=:a, en efecto ai.endo 8. el mayor de los nCtmeros del conjunto se tiene que no hay nil"'.gUn nf.

ConjuntO$ de n~eros

- 63

mero del conjunto mayor que M y ademas como a - e <; a resulta: 1'1 - e < a

Como segundo caso consideraremos un conjunto que no tiene un elemento mayor que todos los dem.a.s. En estas circunstancias tomemos 61 conj~to de los nUmeros reales y c1asifiquemos sus elementos' en dos c1ases A y B del siguiente modo: en la clase inferior A co1oc~mos todos los nUmero5 del conjuqto y los que son menores que cualquier nu.'1l6ro del conjunt.o y en La superior B todos los llUmeros mayores que todo numero del conjunto. De acuerdo con esta clasificacion 5e v~ que en ambas clases hay nu..: me ro s , en A a 10 manoa los nllineros del conjunto, en

B . a 10 menos la cota superior Kj todo nUmero d~ A es menor que todo nlimero de B y finalmente todo nUmero real pertenece a una u otra clase. De aqui estonC$S que la c12 sificacion precedente constituye 'kIDa cortadura (A,B) en

e1 campo de los nillrreros reales y por consiguiente ella define un nUmero real. Veremos irunediatamente que este numere os prccisamente 10 que homos Ilmnado frontera superior. En efecto sf, desd.gnamos con N 01 numero definido par la cortadura (A,B) se tiene que M ss mayor- que todo rnimero

de A y por consiguiente que todo rnanero del con,junto. Adem~.s cualquiera que sea s > 0, Ed nUmero N - g pertenecer-a a la c'l ase A y por consiguiente habra a 10 menos

un mimero del conjunto mayor que M - e puesto que en el conjunto hemos su.ruest-o que no hay un nUmero mayor que t£ dos los demas.

, AntLogamente se define como frontera inferior .de un conjunto de nfuneros un nUmero m tal que:

10m ~ todo numero del conjunt.o

2° m + E> que algu.n nUmero del conjunto; cualquiera que sea e1 nu!nero E> 0 que S8 tome.

De igual modo a 10 hecho precedentemente se demUGstra que:

Con.iUntos de nume:::.:ro;..:::;s~ . _ _;_=-6~4!:t.....=

Teorerna 3"3.-

Todo conjunto infinito de nlimeros acotado irde

riormente tiene ~~a front era inferior m. ' -

De los dos teorernas precedentes se desprende como une consecuencia inmediata e1 teorema siguiente.

Teorerna 34.-·

Todo ccnjunt,o infinito de numer-os acot ado tiene una frotera inferior y una frontera superior.

17.- Punto 'de ac.umulaci6n d'e un; con,junto Ide numeros.-

S1 a es un nUmero real cualquiera y to un nu mer-o positivo (pequeno), el intervalo (a - r) I a + 'I) se I1M.a vecindacl 0 entorno del punta 0 ntimez-o a.

De:f'inici6n:

Se dice que un nUmero es punto. de ac.umulaci6ri o nUraero de 'condensacion' de un conjunto 5i en toda vecin dad de 81 existen infinitos nfimeros del conjunto.. -

Un punto de acumul.ect.Sn de un conjunt,o no es ~ cesariamente un e1emento del conjunto; asi en el conjunto:

1 1 J 1 . , 2 3

1,···············,1,······

'4 n

elcero es punta de acumul.aca.Sn y no pertenece al conjunto. El conjunto de los .numeros del intervale abierta (0,1) tiene POI' puntas de acumulacion los nUmeros cero y uno, nUmeros que no pertenecen a dicho conjurrco , El cog· junto de todos los nUmeros enteros no tiene puntos de acumulaci6n. &1 e1 conjunto de nUmeros conteuidos en e1 intervalo cerrado (0,1) todo nlimero es ntimero de acumulacion.

Con,1untos de n~~_ros=-- ._~ ,

- 65-

Dado un conjunto, se llama der-i, vado a aquel formado por los puntos de acumulacion del conjunto dado. Si un conjurrco coincide con su conjunto der-Lvsdo se eli·. ce que 61 es perfecto.

He aqu:1: un conjunto que tiene dos puntos de i!: cumu.Laci.dn los cua'Lcs no pertenecen al conjurrbo •

1 , Q. "6 7

l , 1 , ~ , 1 , 2 4 '4 5 "5 6

, .

c

Todo conjunto infinito de n(rmeros, acotado6 ti£ ne a 10 memos un punta de acumul.aca Sn,

D.·· :J.ividamos 'e1 conjunto de todos los niimeros reales en

c:,x, "lases, La cLase A la f'o rmamo s con todos los nunE-ros a, i,ales que a su derecha hay una infinidad de n!3. meros del conjunto. La clase B la forr.,mnos con todos los l1'lr':8ros h, tales que a su dez-echa hay finitos ndmeros del con junt o ,

Se ve sin dificultad que esta clasif;icacion satisface a las tres condiciones que exigeuna cortadura y por consiguiente .def'Lne un ntimero real 0:. De aqui ento!! ces que 0: - {: pertenece a la cLase A y a 113, izquierda de 0: - E hay a };o mE,S un nfunero finito de nmneros del conjunto; cont.r-ar-t sment.e a. +E ,pertenece a La clase B y a 18 izquierda de C( +E hay infinitos mimer-os del conjunto; por ccciai.gul errt.e entre a: - e; y' a + s hay infinitos el~ ment.os del conjurrto 0 sea que a: es un punto de acumulacion del conjunt,o, 10 q~e demuestra el t eor-ema,

hate teoremase canace con el -nombre de Teorema de Bolzano-'!leiers Trass.

Conju,ntos-de n&.o.eros

- 66-

Observacion:

Gomo a La izquierda de C( - E existen a 10 mas, un nti'1lero finito de l1Umeros del conjunto, puede aii!: marse que en este. ragion no puede haber ningUn otro punto de acumulaci6n, es decir a es e1 punto de acumul.acfdn situado mrs 2. La izquierda, 8i se qui ere e L menor de los puntos de acumulacion; a 01 se Le llama simplemente l.!m,i. te inferior del conjunto, designandosele por la nota.ci6n lim C •

De un modoanhlogo se demuestra La exi.st encd.a de un punta de acumul.acd.dn sitU8do mas a la derecha que los demas (~) que ae llama Hr,ri:t.~ superior del conjunto, se r-epr-esent a por la notaci6n Um G y est~ caracteriz~ da por que a La derecha de 13 + e h aya a 10 mas un numere finito de elementos del conjunto y 8, Le derecha de

13 - E hay infinitos nUnli3rOS c1i3 dicho conjunbo ,

Entre ambos limites existe evidentemente 1a rele,cion a ~!3. Tamto a como 13 I que se l1ru'Jan los l:Lmites pr-Lncd.pal.es del conjunto pueden no per-t enecez- al. conjunto.

Para e1 conjunto:

1 , 2 ,1, 1 I 1 , ~ , I', 5-, ...•••••••• ~ J 3 4 4 5 5 l

Se tiene ('l , a: 0 y j3 ,.. 1. aJ. conjunbo ;

Ambos ndmeros no pertenecen

Para e1 conjunto:

1 1 , ~

1 1 ~ 1 I •••••

J 4 '5

se tiene a: • 13 - 0

Conjuntos de nUmeros

... 67 -"

81 oourre que C( '" j3 (sin ser infinitos) como en e1 caso precedente, este nUmero {''lieo tse llama simplemente limite del COnj1U1to y se Le represent.a pOI' La no.tacion lim. Este nUmero, que designaremos con la Istra 1, es entonces el Wrieo p1.U1tO de acunul.acd.Sn que tiene el conjunt,o y si queda caractsl'i,zado per-que tanto a la Lzqrd erda de 1 - £ co mo a la derecha de 1 + £ solo puede haber W1 nunero finito~ de elementos del eonjunto, mi ent.r-as que entre ambos existen 11'.£1ni tOs nmlleros de el.

Estas definiciones y teoremas que hemos conocf.do se aplican a todes los conjuntos de nUrneros reales y pOI' consiguiente a todos los conjuntos de puntos sobre una re~ ta y en partd.cul.ar a un grupo import ante de conjuntos num! ricos que conoceremos bajo e~ nombre de sucesiones.

Cuando un conjunt o de nUmeros no es acot.ado super'Lorment.e se aue Le decir que 'l5U cot-a superior es infin! to (+ co)', se dice tamb1en a veces que su limite superior es (+ co). .Algo a.nhlogo se sue.Le expresar para conjunt.oe no acot ados inferiormente con respecto al, s!mbolo (- 00).

18.- Ejercicios propuestos.-

1° Indicar las caracteristicas de los conjuntos:

E1 ~ f ' ~ , ~ , t ' ,

ll..!..1 , n

1 == 1 , ""21

, J

ii1

, ....

1 ,~

31

, .

sen n n

E4 .. 1, 1, J" 1, , n , ••••.•.••

red.procoa tiena

1 1.

- y como frontera superior e infe-

m M

Con.iuntos de.P..Th'll.e;;.:r:..:o:;.:s"- ~. =-:....!.6"'$ ..... =!!'.

2° Deter:;unar e1 t~rmino general de los conjuntos sigmen. tes, e :j..ndicax sus caxacter.:Lstic8.S.

El 0, 1, 0, 1, •.•...••••.•

E2 = - 2, 11 I - ,1 , 11 I - ~, 11 , .......
-2 -3 -It. 5 6
£4 ",1 , 2, 1 , 4, 1 , 6, 1
l 3" "5 "7 , .......
E5 "" 0, 6 6, 20, 20, 42, 42, •....••..
, 3C Demostrar que Ia frontora superior de un conjunto de mimeros menor es que un Dilmero fijo k no puede ser mayor que est,e numero.

4 <> Demo st.r-ar- que La front era inferior de un conjunto de nUmeros mayores que un cierto nlimero fijo h no pu£ de SOl' menor que este nlli'll.ero.

5" Demostrar que si H y m son La front era superior e inferior respectdvament.e de un conjunto de nrimercs , La frontera superior e inferior de los simetricos de di chos nu,-neros son -en y ~M.

6C Si un conjunto de nUmeros todos del mismo signo tiene como fronteras los mimeros M y m, 01 conjunt o de sus

rior respectivaIuente.

7° Si M y m son las front eras de ~~ conjunto de n~~eros, e1 conjunto de los yalores absolutos de dichos numeros tiene por frontera superior al mayor de los nUmeros ImlolMj

Conjuntos d.e n.(S!8.:;.r;:.,0.:;,s _

-69-

go sr 1'1 Y m s05: las fIonteras de un conjunt o de nUr;].eros

positivos; Xli s mn son Las front-eras superior e

inferior del conjunt.o formado pOI' La raiz aitmetica n esima de los e Lement c s de dicho conjunto ,

- 000 -

CAP I T U L 0 tIr

SUCESIOIIlF3.

(Funciones de una variable entera)

19 • .,., Definici6n: 8i a cada entero positive n z; 1,2,,3. ,. "'J n, ..... se hace corresponder un n~ mero ~,el conjunto:

faul .. til , 4Z , '3 ' , ~, ., ..

se lla~a sucesi6n. De modo que entendemos POl' sucesion un conjunto infinito numerable de nUllhJrOB r-eal.ea,

As! POl' ejeraplo son sucesionos:

2 , l , l±. , .2. I , •••••••••• , n + 1 J ......

I .2 :3 4 n

Sucesiones

-71-

l' l' l'

1, -- , - , _ ,

21 31 41

•••••• ~ .1 ,

n!

0, 1~ 0, 1, •••••• ;~[1 + (_l)n}, ••••••

20.- Ii.mites de suces.iones ,« Pr-ecd s aremos .?.qu! para este

. . __ -- '. -----~-- tipo especd al, de conjunto, .

las def'Lrd cf.ones sabre Lfrni.t.es de 'conjuni;os de n~lJleros que ya dimv8 en el cap!tulo precedente. Tales definiciones fueron d~.as para conj~~tos infir~tos acotados. Se demostro que ~~ conjunto infinito aeotado superior e inferiormente tiene un PQ~to de acumulacion mayor y otro menor que todos 10.'3 que pudf.er-a tener dieho -conjunto , Estos puntos que des.ignamos can Il y ~ respectivarnente los llamamos por det'biciSn l:lnite !nferi0:' y limite superior del eonjunto

(a. ~ hen C y j3 = li'll C). Adernas cuando oeurr!a que

Ct = f3 e;i-:-e ntunero comfn 10 llamamos simplemente Hmite del conjurrco e'

Defjffi_c:i_on:

Sea [~] una sueesi6n aeotada superior e infe-

rmOI'rnen-se, sean r! y'j3 e1 menor y e1 mayor punto de acumulll ci61'~l';S:r8ctivamente; a reeibe e1 nombre de limite inferior de la sucesi6n y ~ el de limite superior~

y

8i oeurre que:

este numero comdn c. se llam.a simplemente limite de la s~ 8eci5n poni~ndose:

Sucesiones

- 72 -

limBn=a

He. aquf al.gunas sucesiones que nos muestran las cJi.fere'1.tes Si.tu8.r:l2.0nes que pueden pr-oaerrt s+se en cuanto a sus 1.GrJ..t3S se r5fiere:

en este caso se tierre a = -1

y

j3 = +1

an .. (-l)~; -1,.2, -3, 4, ~5,

aquf :in,)propiamente hablando a - 00

, .

aquf se tiene a: = 0 y j3 + 00

n

1ln = - n(-l) ; - f' '-2. - ~. -4, - t, -6, .

aqui

y

o

a=-oo

1, 1, 1, 1, •..•..

Sucesiones

-73 -

donde se verifioa:

Demostraremos ahora yn teorema que nos permitira dar a esta definici6n otra forma mas usual y a1 mismo tiem po mas comoda para desarro:llar numercaas e importantes pr£ piedades de las sucesiones.

Teorema 36 : La condici6n necesaria y sl~iciente para que una sucesi6n [an} tenga un l:L"1ite A es que,

dando arbitraria.\i'ente un nmnero E> 0, exista un entero . H, _dependiente de £ J tal que:

para todo n > N

D.

-Comenaaremc a demostrando que s1 ex .. ~ .. a debe verificarse que:

para todo n > N

o sea que la conclicion es necesar-La, En efecto 5i (1;= i3 =8., bomando arbit:..'a.r:i.amerri:.e unE>O, set-endra a 10 mas un nu.'ll~ ro fillito de elementos de tAn] tales que:

ilu>j3 +€ .. EO +E

y ta'llbien a 10 m~s. un n6nero ;finito de alemel1tos de r~J tales que:

de aqui que para un nWLl6ro infinito de Bn se tiene:

Sucesiones

- 74-

para n > N

o sea:

para n > N

o finalmente:

can tal que n > N

RecfproCall1ente har-eno s ver ahara que La condici6n es suf.i.cd ent e 0 -sea que s i, tan - a] <It para todo n > N debe verificarse que:

a '" f3 = a

Si f "n -et I < E para n > N o 10 que es 10 msme si .8. -s< ~ < Bn + E para n > N, ocurre que &n<a "'~ ala mas para un n6mero finito de an; de modo que a'" a

De La desigualdad precedente se desprende tambien que:· an > a - E para un nUmero infini to de 8n y per

10 tanto <In> a '+ E. a 10 mas para un nmnero finito de Ih De ahi que:. a = !3 y par cansiguiente: (J. '" f3 = a

De acuerdo can est.e teorema reci~n demostrada podemos enunciar la definicion de lil!lite de una sucesion del siguiente modo:

Defini cion:

Se dice que una sucesion [an] tiene un liF~te

a cuando n crece Lndefd.m.dament.c , si dado un nmnero 8xbitr8.rio I'; >0 existe un nu'''llero ent er-o positivo N, dependiente de &:, tel que par-a todo: .

Sueesiories

____ . _::: 75 -

n>N

Be verifiea que Ian - al< €

UqDtlO un suceSlon lene IJ.llUte se dice que ella es e0!1vergente. Partieularmente 8i a> 0 se dice de La sueesion la,.,] que e8 una sueesion nula. Como un ejemplo de tal sueeslon se tiene la siguiente:

1 1 I 1 I 2' 3'

.. . . . . ,

1.

n J ••••

pues si se toma un e > 0 arbitrario, ra todo n > N con N:> ~ •

oeurre que 1. < e: p~ n

Cuando una suceafdn raJ no tiene un llmite finico finito h.a,V va.rias poafbi Li.dedes que pusdan ser 'eonai>der-adas s

8i los t,~rmil1os de la sueesi6n tienen la propi~ dad. que pOl" grande que sea un I1Umero G que 5e tome, 5e

,

an.> G

para to do

n > N

5e dice ('ue ella diverge 0 bien que converge a ini'inito, 10 que debe comprendez-se bien equi vale 2 .. decir que no converge. Simbolica.mente se expresa est,o poniendo:

cuando n _ CD

o bien:

S~u~c~e=s=i~o~n~e=s - 76 -

co

n-oo

Similarmente si se puede encontrar un entero N

tal que:

a,.J.<-G

para todo n > N

la suceef.dn f~l tambien se dice divergente. En 11l's dos clases prece~entes la sucesion eS divergente, pero en ~l caso diverge hacf.a + co y en e1 otro hacia - Q) •

Como ejercplos de tales sucesiones podemos citar1

1, 2, 3, J n, •....

Cln :::: -n. ;

-1, -2, -3, ..... , -Il,_ ••••

Cu~~do no existe e1 limite Unico tambien se dice divergente.

a, 1a sucesion

21.- I'eor-emas sobre_limites.- Los t eor-emas que veremos a cont.Lnuac Ldn nos, muestran al.guns.s de Las propiedades element ales mas importantes de las suceai.ones conver-gentes ,

Teorema 3'7

Toda sucesion convergente es acotada.

D.

En efecto puesto que la suceSlon tiene linute, dado un nlimero € > 0, existe un 1I tal que para n> N, se t.iene:

Sucesioncs

Q - E< ~< a -.e

siendo a el limte de La sucGsion. Se ve pues que ape.!: til' d<;l cierl:;o l"d1t,o los L(n,dnos de la sueGsion qu·."dell com

pr-end.i.do s ent.r«, a - e y a + E Y como fue:..'Cl de eSc,8 int;;;-r vale hay a 10 m§"s un nllin8ro finito de elementos de &lla", - s.i empr-e ser~ 3)osible encontrar una cot a Lnf'erd.or- y otra; super-Lor- que compr-enda todos los termi,nos de 18: sucesf.Sn,

Teorema '38

Toda sucesion convergente tiene un Ifrr~te SQlaniente.

n.

SUDongamos que la sucesion f~nJ tenga dos lim!

tes a y at; entonces para cualquier €> 0 que se tome exi~

tira UJl N tal que si n> N •

y

~ - al < ~

es decir.:

y pueat,o que € es arbitra:cio resulta" que

a .. at

Teorema 39

81 lim 1l.u = a, ent onces lim fBn I = ! a I

D.

Puesto que [8n} tione un limite a, dado un

SUeesionea

- 7S -

t;. > 0 I exi.sbe un N tal que:

llin - al<E

para todo n> N

perc:

1uego:

Ilaul-t~<E

para todo n >N

Teorel'la 40.-

8i lim an • a, entonces lim kan c ka

Dil-

En efecto tomando un E >0, puedepor hipOtesis determinarse un entero positiv~ N tal que:

para .n>N

de donde:

~kan - ka ] <£

paran>N

o sea:

lIm ka ... ka n

Corolario:

51 los Mrminos de una sucesi6n nula [an] ae multi

plican POl" los eorrespondientes de una sueesi6n convergente [bn], la sucesion resultante tanbn]tanibien es sucesi6n n!l

lao

Teorema 41.-

81 Um ~ .. a y lim a{i = a y a. partir

Sucesiones

- 79-

de cierlo rBl1go No la suces.idn

es tal que:

para todo

n> II

resulta entonces que lim ~ '" a.

D ••

Par hip6tesis dado a~ £> 0 arbitrario, existe uri niimero entero Nl tal que:

I~ - al <E

para todo n > Nl

r otro NZ tal que:

'a" - al< E

f n .

para todo n > N2

I> bien:

a - £< a' < a > E n

a - E< ~ < a ... E

luego tepiendo en cuenta que a partir desde un entero No se tiene:

a' < a < aU

n n n

resulta:

a - E< 9n < a ... E de los Ni es decir

par-a todo n> que e1 mayor

Sucesiones .

-80-

tan - 61 <E

con n> N

o sea:.

l.fm an" a

Teorema 42" Si 8n converge hacia a y [bnJ converge hacia b, entonces [art + b.l\J converge hacd.a

a = b.

tales que:

D.

Por hip6tesis dado un E> 0 , existen Nl y N2

para todo n :> Nl.

para todo n>t. N2

Ahora por otra parle se tiene:

(an + b:n) - (a + b) = (Sn - a) +- (bn - .. b)

l.uego:

f(4n_ + b ) - (a + b) I < .! + !

. n 2 2

Sucesiones

o se1i:

para n > N

es decir:

a + b

Teor-ema 4:;0 haco

8i ·tan} converge hacia a y Ibnl converge hacia. b, entonces [an·bn 1 converge hacia abo

D.

'I'enemoe t

de donde:

Pero puesto que:

Ibn} converge haci.a b , ocurre que:

para n> Nl

y como hemoa demostrado que toda sucesi6n convergente es acotada se tiene tard:rl.en:

y finalmeme como: an converge hacia a, se tiene:

Sucesiones

- 82 -

para todo n > N2

y tomando n sui'icientemente grande result a:

lab - anbn f < a 2 ~ + B • 2 EB

o sea:

para n > N

10 que demuestra e1 teorema:

Teorema 44° 8i [an] converge hacia a Y [bn] converge a b 1 0, entonce~: (:~1 converge hacia i

D.

Trenemos:

§: _ .5l ... abn - bap :; (abn - ab) + (ab - anb)

b bn bbn bbn

o sea:

de donde:

Sucesiones

Sea ahora H \.1Il mimez-o tal que: 0< H < b ; eu tonces de acue rdo Con los teoremas ya de'-~ostrados existe

un N tal que: .

y tambHn tomado un E> 0 existen N2 yN3 tales que;

[b - b. 1< .!..i?..L:..l! E

n 21a!

para n> N2

La - anf< lie 2

para n > N:;

s: par consiguiente para un N suficientementegrande se tiene:

b.H ~ 2H.

es decir:

\a an·

- ... -kt ,b bnl

para todo n > N

que es 10 que se podr!a demostrar.

-Coro1ario:

~ntonces i!m ~ • 1 lin .8.

81 l!m an .. a f 0,

Teorema 45°

La oondicion necesaria y suficiente para 1a

Sucesiones

- 84 -

conver-gencd.a de una sucesf.dn !3.n] es que par-a todo nUm~ t'O arbitrari.o £:> 0 exista un entero Nt tal que:

para todo n > N

siendo p un entero positivo

D.

Comel1Zaremos haciendo ver que 1a condicion ~s ne~esariat en efecto si an tiende hacia un limite a pata todo n > N se tierre:

y

.Ahora como:

result a:

Probaremos ahora que 1a condicion es suficiente o sea que si

para' todo p>O entero&

debe verificarse que erlste ex = 13 = a I Unico punta de acumulacion del conjunto [an].

De 1a desit41aldad precedente se desprende inmediatamente que e1 conjunco Cln es acotado y por consiguieg te de acuerdo can e1 teorema de ~~ierstres existen

a 10 menos dos puntos de acumul.acddn (I y 13. Nolllo_tros demos-

riormente ella tendr' una frontera superiorM. Tomemos un ~> 0 arbitrarioy un elemento ~ >J.1 - E, como solamente hay un n'6mero finito de elementos de la sucesion menores que an, resulta que debe haber una infinidad de eLemenboa de ella encerrados entre M - E Y M, Lusgo M es punto de aaunndac:i&h de la sucesi6n y por ser mnco, as a1 Umi te de ella...

Sucesionea-

-B6-

C!n+l ~ lin para t.ode n. ella sa dice POl' definicion suceaien mon6tona creeientaj 8i contrariamente, para todo

-n ccur-re..que.. Cln+l ~ an la suce15ion se llama monotona d~

e1 signo de igualdad las sucesiones pasan a llamarse estrict'amente mon6tonM creciente y decreciente respectiv,!1 mente e-

Teorama 46·.

Toda eucesi6n lIlOnotQna creciente. acotada su~ riormente es converglinte ..

D.

De manera analoga se demuestra e1 siguiente te2_

retna:

·reol'ema. 47·

Toda sueesi~n I!DJlotona dacrecl.ente acotada iB fel'iormente es convergente.

23.- El nmn6ro a: Para definir este importante nmnero, h£: remos un estudio de 1a sucesion:

DesarroJ.l.ando lin de acuerdo con 1a formula del binomio se tiene:

+ +

1 2n=I

Sucesiones - 87 -

••••• i1+:[ ten'linos

1}+ 1 t~:rmi.nos

luego

(1 + ~)\ 1 + 1 + ~! + k (1 + ~y < 1 + 1 + ~ + ~2

..........

1-

+-

nl

y con m~or razon

n

(1 + ±.} < 1 + 1 + 1. + 1. + .

n 2 22

o sea:

Esto nos lJIUestra que la sucesion que nos preoel!; pa es aeotada superiormente, si logramos demostrar que ella es una sucesd.Sn ereeiente podemo s asegurar que ella

Sucesiones

- 88-

tiene un mute finit.o, num~ric81nGnt3 inferior a tres.

Sea entonces m>n, 0 sea ill>l, de acuerdo con n

Is conocida desigualc1ad

(1 +cr)'> 1 + M

paran>l

se tiene

+ In • ! n m

o sea

m n

(1 + ~»1+~

y luego

y ~6lllO m>n, queda demostrado que La sucesi6n as creeien-

. n

t<.. De aq~. _entonces que la sucesion (l + ~) es eonver-genta y el numero hacia e1 cual converge 10 designaremos con lao letra e* a.s!. e1 "nUmero e" queda definido POl'

tl!s Sflelante t endz-emos oportunidad de demostrar

Sucesd.ones

-<19-

que este nUmero n'O'es racional y que sus primeras cii'ras son e = 2,71828~ ••••••••

24.- .E.iercicios resue1tos.- Concluiremos este estud:lo

de las sucesiones viendo a maaer-a de ejercicios algunos teoremas que prestsn gran l! ti1idad en 1a resoluci6n de varias cuestiones tocantes a este tema.

a).

Sea [Sn) u.~a sucesion de t~rminos positiv~s

que converge hac.ia a>Oie~tonces 1a sucesi6n [blOg en 1 b

converge hacia log a.

Para establecer eate teorema ~s suficiente, de acuerdo con La definici6n d~ .limite, del;-,ostrar que a P<I;t tir de cierlo n>N se verifiea que

b b

-e< log an - log a<E

51 suponenes para fijar ideas que b >1, entonC'9.!i bt: > 1 y b ~~ Y como lim ~ ,., 1. ex1.stir! un a

N a partir del eual se tendr!

de donde

o sea

Sucesibnes

-90-

'b b I

1 log Bn - log a <E

b).

Sean [~J Y LbnJ son suces.Iones que tien-

den a .Wini to 51 la sucesi6n (bn] es 'estrictamente mo-n6tona creciente se ~erifica que:

llm an+l - ~ bu+l - bn

siempre que e.L limite del segundo miembro exi.st.a 0 sea infinito.

Supongamos primeramente que (an+l ... Srt)/{bn+l~) tienda a un Umite finito • En tal caso exist1ra un e~ tero N tal que 81 n > N.

It ... au+l - <;nl<€ bn+l - bn!

o sea

y t.eniendo en cuerrca que bu+ 1 - bn > 0, result. a.:

Altora rMmplazando en esta desigualdao. n

tepol"t n+l, n+2 ) ..••••.••• "1 n+p-L ;

sucesi vamense obtiene:

Sucesiones

- 9l.-

• • • • • • • • •

• • • •

Y sumando queda:

y 1uego

( bnf 8n+p an bn

(l-.E.)\~ ---<1. -- (1. +£)

bn+fl bn+p bn+p hn+p

de donde

,

( bu ) an. an+p an +( bn )

(1-E) 1-", +r<-b -<~ 1.- ~ (1 +t:)

~+p n;P n+p In+P n+p

dejeIllDs ahora n fijo~ y hagarnos tender n+pa inf:i.n1to, entonces puesto que bn+p tiende a infinito, se tendra:

1-2, < :: < 1. + 2£

siendo n+p > m>N.

Sucesiones

- 92-

Supongamos ahora que 1 sea infinito, entonces siendo G > 0 un nmrrero arbitrario se tendr~:

Bn+p - <10

_·--->G

bn+p - bn

o sea:

t.n+p - an> G (bn+p - bn)

y luego

Bn+:e >~ + G(l _~)

bn+p bn+p bn+p

dejemos ahora n fijo y hagaroDs tender n+p a infinitoJ entonces

c).

Sea la suceai.Sn [<101 cuyo Umite finito 0 :in finito es a.. Se pide demostrar que la sucesd.Sn

converge al mismo JjJdLte.

Tomemos las sucesione5 a~~~liares:

y vn"" n

Sucesiones

- 93

entonces de acuerde con e1 ejercicio anterior se tiene:

o sea

Um

+A-=

-0 l!m

d).

Sea. [an]. una sucesi6n de

a un limite a>O (finito 0 no). S ...

t~rminos convergente pide demostrar que

1 ." l'h....]- ey . I

a' aueesaon, -n - . ale &2 •••••• <an

teo ,

tiende al mismo ~

Para demostrar este teorema consideremos la ·sucesi~n auxiliar Un = log 8n con base mayor que uno.

De acuerdo con el ejercicio anteri~ se tiene entonces:

log al + log 82 + + dog 8.n

llni -...-------n----------- ... J.!m log an ...

log a.

pero como

log &1 + log a2 + •••••• + log a --...;;.---n...;;;....------- ..... n .. log ~a.l·a2 ... !':,

result a

~S~u~ce~s~i~o~n~e~s~ ~" ~~

de donde

e).

/ Sea [3n] una sucesi6n de nUmel"Os positi.vos,

Bn

tal que lim. - = 1. f O~ finito ° 00, entonees 3n-1

lim 1a;; = J! -.

En efecto, se tiene:

n r:-'" -lh an. 180- -

an-I

1uego

1m lVan .. lim ~~1 • ~

y

f) •

. Demostrar La convergencia y calcular el limi

te de la sucesi6n 8n+1" _l_ . con a1 = 1

. 1+ an

Los primeros teI'minos de La sucesion son:

2.1 ... 1, a2" ~ , a3 • ~; a4 = ~ , nUmeros eompr-endj, 1

dos entre 2 y 1. Demostremos que esta propiedad es g-ene-