TEMAS DE MATEMTICAS (OPOSICIONES DE SECUNDARIA) TEMA 6

EL NMERO REAL. TOPOLOGA DE LA RECTA REAL.

1. Introduccin. 2. El Cuerpo de los nmeros reales. 2.1. Construccin de R. 2.1.1. Sucesiones fundamentales o de Cauchy en Q. 2.1.2. Relacin de equivalencia en Sc. 2.2. El grupo aditivo de nmeros reales. 2.3. El grupo multiplicativo de nmeros reales. 2.4. El Cuerpo de nmeros reales. 3. Orden de R. 4. Propiedades de R. 4.1. Q es denso en R. 4.2. es Arquimediano. 4.3. Valor absoluto en R. 4.4. es completo. 5. Topologa de la recta real. 5.1. Subconjuntos cerrados de R. 5.2. Subconjuntos abiertos de R. 5.3. Entornos. 5.4. Puntos especiales. 5.5. Conjuntos compactos. Bibliografa Recomendada.

1/32

TEMA 6
EL NMERO REAL. TOPOLOGA DE LA RECTA REAL. 1. INTRODUCCIN. Dibujemos una recta de puntos. Situemos en algn lugar de ella el nmero cero como un punto cualquiera de la recta real. A partir de la longitud del segmento limitado por los puntos 0 y 1 podemos situar los dems nmeros naturales. El nmero 2 estar situado a la derecha del 1 y el segmento limitado por 1 y 2 coincide en longitud con el segmento limitado por el 0 y 1. Por tanto, el segmento de n (n), verificar que est situado a la derecha de n y el segmento entre n y (n) coincide con el que hay entre 0 y 1. De forma similar, podemos situar los nmeros enteros en la recta. Para identificar puntos de la recta con nmeros racionales podemos utilizar el teorema de Thales, que se basa en el uso de rectas paralelas. Como entre cada dos nmeros racionales, al menos hay otro (Q es denso) se pens que todos los puntos de la recta se podan identificar con nmeros racionales. Hasta que lleg Pitgoras. Pitgoras indic que en la recta deba haber un punto que se identificase con un nmero, tal que el cuadrado de dicho nmero fuese 2. Al comprobar que ese nmero (que representaremos como 2 ) no era racional, demostr que en la recta haba ms puntos que nmeros racionales (no exista por tanto una biyeccin). La necesidad de construir un conjunto ms grande que Q tambin se puede motivar planteando el siguiente problema. Dada la ecuacin x2 =2, el nmero x no es racional. Sea AQ tal que A={pQ / p2 <2} y sea BQ tal que B={q Q / q2 >2} El conjunto A est acotado superiormente, por ejemplo 2B, 2>p pA, y anlogamente B est acotado inferiormente ya que 1A y 1<q qB. Pero el sup A y el inf B no existen en Q. Es por ello que necesitamos construir un conjunto mayor que Q que llamaremos conjunto de los nmeros reales y denotaremos por . Vamos a seguir la misma idea que utiliz Cantor para ampliar de Q a .

2. EL CUERPO DE LOS NMEROS REALES. 2.1. Construccin de R. 2.1.1. Sucesiones fundamentales o de Cauchy en Q. DEF Una sucesin de nmeros racionales es una aplicacin de N en Q. Notacin Dada : NQ, denotaremos a (n) por an . La sucesin ser (an ), aunque tambin se puede representar por a0 , a1, a2 , . . .

2/32

PROP Sea S= {(an ) / (an ) es una sucesin de nmeros racionales}. Si definimos en S la suma como (an )+(bn ) = (an +bn ) y el producto como (an )(bn )=(anbn), entonces S tiene estructura de anillo conmutativo con elementos unidad. Dem. A Realizar por el Lector. DEF Diremos que una sucesin (an )S es acotada si existe rQ+ tal que nN se verifica |an |<r. PROP El conjunto A de sucesiones acotadas de nmeros racionales es un subanillo de S. Dem. 1) AS. Dada (an )A sucesin acotada de nmeros racionales(an ) es una sucesin de nmeros racionales (an )S. 2) La suma es interna. ( a n ) A r1 Q + / a n < r1 Sean ( an ) + (bn ) = (a n + bn ) con + (bn ) A r2 Q / bn < r2 |an +bn ||an |+|bn |<r1 +r2 Tengamos en cuenta que an , bn Qn(an +bn )A 3) El producto es interno. (an )(bn )= (an bn ) y |an bn |=|an ||bn |< r1 r2 y r1 r2 Q. Luego A es un subanillo de S. OBS A no es un ideal de S ya que si (an )S y (bn )A(an bn) A. Por ejemplo: Sea an =n2 nN y bn =1/n y nN. Entonces an bn =n nN y no es acotada. DEF Diremos que LQ es lmite de la sucesin (an )S si >0 (con Q) n0 N / si n>n0 |an -L|<. Notacin Diremos Liman =L o (an )L. DEF Diremos que (an ) es convergente si tiene lmite. PROP El lmite de una sucesin convergente es nico. (1)

3/32

Dem. Sea (an ) una sucesin convergente . Lim an =L. Supongamos que Lim an =L, con LL |L-L|=d. Lim an =L>0 (Q) n0 N / n>n0 |an -L|< (1)

Lim an =L>0 (Q) n0 N / n>n0 |an -L|< (2) Tomemos , < d/2 |an - L| < d/2 y |an - L| < d/2. Es claro que (L-d/2, L+d/2) y (L-d/2, L+d/2) no tienen puntos en comn. Segn (1) n>n0 an (L-d/2, L+d/2) Sea N=max{n0 , n0 }si nN an (L-d/2, L+d/2) (L-d/2, L+d/2)=, lo cual es imposible.

y segn (2) n>n0 an (L-d/2, L+d/2)

Al llegar a una contradiccin, la suposicin es falsa y L=L. PROP Toda sucesin convergente es acotada. Dem Sea (an ) convergente. Entonces Lim an =L. Lim an =L>0 (Q) n0 N / n>n0 |an -L|< n>n0 an (L-, L). Sea m=min{a 1 ,..,ano,L-}y n=max{a 1 ,..,ano,L+}, entonces nN man n PROP El conjunto C de sucesiones convergentes es subanillo de S. Dem i) Sea an C una sucesin convergente an es una sucesin de nmeros racionales an S. ii) Sean an C y bn C dos sucesiones de nmeros racionales convergentes, es decir: >0 n0 N / si nn0 |an -L|< y >0 n0 N / si nn0 |bn -L|< entonces si tomamos n0 =max{n0 , n0 } se tiene que: >0 n0 N / si nn0 |an +bn-(L+L)| = |(an -L)+(bn -L)||an -L|+|bn -L|<+= 2

4/32

Por lo tanto si definimos =2 se tiene que: >0 n0 N / si nn0 |(an +bn )-(L+L)|<(an +bn )C iii) Sean an C y bn C dos sucesiones de nmeros racionales convergentes, es decir: >0 n0 N / si nn0 |an -L|< >0 n0 N / si nn0 |bn -L|<

entonces si tomamos n0 =max{n0 , n0 } y como bn es acotada por ser convergente (KQ+ / |bn |<k) se tiene que: |an bn-LL| = |an bn -bn L+bn L-LL| = |bn (an -L)+L(bn -L)| |bn (an-L)|+|L(bn -L)| = |bn | |an -L|+|L| |bn -L| < k + |L|= (k+|L|). Por lo tanto si definimos = (k+|L|) se tiene que: >0 n0 N / si nno |an bn-LL|< (an bn )C C es un subanillo de S. DEF Diremos que una sucesin (an ) de nmeros racionales es de Cauchy si >0 (Q) n0 N / n, m n0 |an -am|<. PROP Toda sucesin de Cauchy es acotada. Dem Sea an una sucesin de Cauchy. >0 (Q) n0 N / n, m n0 |an -am|<. Una vez localizado n0 , fijemos y m. Entonces am- < an < am+ nn0 . Sea K=max{|a1 |, |a2 |,...,|ano-1|, |am+|, |am-|}. Se verifica |an |<k nN luego (an ) est acotada. PROP Toda sucesin convergente es de Cauchy. Dem Sea (an ) una sucesin convergenteLim an =L. Entonces>0 n0 N / nn0 |an -L|</2. Luego |an -am| = |an-L+L-am| < |an -L|+|am-L| < /2 +/2= n,mn0 . Por tanto (an ) es de Cauchy.
5/32

OBS El recproco no es cierto, ya que la sucesin 1, 14, 141, 1414 se aproxima a 2 , es de Cauchy pero no es convergente al no ser 2 un nmero racional.

PROP El conjunto Sc de sucesiones de Cauchy racionales es un subanillo de S. Dem i) Sea an Sc una sucesin de Cauchy de nmeros racionales an es una sucesin de nmeros racionales an S. ii) Sean an Sc y bn Sc dos sucesiones de Cauchy de nmeros racionales y >0 n0 N / si n,mn0 |an -am|< >0 n0 N / si n,mn0 |bn -am|<

si tomamos no =max{n0 , n0 } entonces >0 n0 N / si n,mn0 |(an +bn )-(am+bm)|=| (an +am)+(bm+bn )| |an -am|+|bn-bm|+=2 Tomando entonces =2 tendremos: >0 n0 N / si n,mn0 |(an +bn )- (am+bm)|< (an +bn ) es de Cauchy(an +bn )Sc. iii)Sean an Sc y bn Sc dos sucesiones de Cauchy de nmeros racionales >0 n0 N / si n,mn0 |(an -am|< y >0 n0 N / si n,mn0 |(bn -bm|< Si tomamos no =max{n0 , n0 } y como an y bn estn acotadas al ser de Cauchy (K,KQ+ / |an |<K y |bn |<K) entonces: >0 n0 N / si n,mn0 |an bn-ambm|= |an bn -an bm+an bm- ambm|= |an (bn-bm)+bm(an-am)| |an (bn-bm)| + |bm(an-am)| |an | |bn-bm|+|bm| |an -am| < k+k=(k+k) Si tomamos =(k+k) entonces: >0 n0 N / si n,mn0 |(an bn -ambm|< (an bn ) es de Cauchy (an bn )Sc
6/32

Sc es un subanillo de S. DEF Llamamos sucesin nula a una sucesin que tiene por lmite 0. El conjunto de las sucesiones nulas lo denotaremos por S0 . PROP La suma de sucesiones nulas es una sucesin nula. Dem Sean an S0 y bn S0 entonces: >0 n0 N / si nn0 |an |< y >0 n0 N / si nn0 |bn |< Si tomamos no =max{n0 , n0 } entonces: >0 n0 N / si nn0 |an +bn | |an |+|bn |<+=2 Por lo tanto si llamamos =2 se tiene que: >0 n0 N /|an +bn |< (an +bn )S0 OBS En concreto podemos decir que S0 es un subanillo de S. PROP El producto de una sucesin nula por otra de Cauchy es una sucesin nula. Dem Sea (an ) una sucesin de Cauchy y (bn ) una sucesin nula. (an ) es de Cauchy(an ) es acotadaM>0 / |an |<M nN (bn ) es nula>0 n0 N / nn0 |bn |< Entonces (an bn )=|an ||bn | < M Si tomamos =/M >0 n0 N / nn0 |an bn |< (an bn ) es nula COROLARIO So es un ideal de Sc. OBS Se verifica que S0 ScS.

7/32

2.1.2. Relacin de equivalencia en Sc DEF Definimos la siguiente relacin en Sc (an bn )Sc (an )R(bn )(an -bn )S0 PROP La relacin R definida en Sc es una relacin de equivalencia. Dem i) Reflexiva: (an )Sc(an -an )=0S0 an Ran ii) Simtrica: (an )Sc y (bn )Sc, si an Rbn (an -bn )S0 (bn -an )S0 bn Ran iii)Transitiva: (an ), (bn ) y (cn )Sc con a n Rbn ( an bn ) S 0 ( a n bn ) + (bn c n ) = ( a n c n ) S 0 bn Rc n ( bn c n ) S 0 an Rcn R es una relacin de equivalencia DEF Llamaremos a cada clase de equivalencia nmero real y Sc/R es el conjunto de los nmeros reales, y se representa por . Notacin: de aqu en adelante, notaremos los nmeros reales por letras como x, y z en lugar de [an ], [bn ] y [cn ]. 2.2. El grupo aditivo de los Nmeros Reales. DEF Definimos la suma en como: Dados x=[an ] e y=[bn ] x+y=[an +bn ]

PROP La definicin de suma no depende del representante elegido. Dem. Sean (an ), (an )[an ] y (bn ), (bn )[bn ]. Entonces se verifica que (an )-(an )S0 y (bn )-(bn )S0. Como S0 es un ideal, la suma es interna((an )-(an ))+((bn )-(bn )) y es lo mismo que ((an )+(bn ))-((an )+(bn ))S0 y aplicando la suma (an +bn )-(an +bn )S0 , siendo equivalente a (an +bn )R(an +bn ) [an +bn ]=[an +bn ], luego no depende del representante elegido.

8/32

PROP La suma en verifica las siguientes propiedades: i) Conmutativa. ii) Asociativa. iii) Elemento neutro. iv) Elemento simtrico. Dem 1) Conmutativa: Sean x,y entonces x=[an ] e y=[bn ] x+y=[an +bn ]=[bn +an ]=y+xx+y=y+x 2)Asociativa: Sean x,y,z entonces x=[an ], y=[bn ], z=[cn ] x+(y+z)=x+[bn +cn ]=[an +(bn +cn )]= [(an +bn )+cn ]= [an +bn ]+z=(x+y)+z= =x+(y+z) 3)Elemento neutro: Sea x definido por x=[an ]. Si definimos 0=[0] entonces x+0=[an +0]= [an ]=x0 es el elemento neutro de la suma. 4)Elemento simtrico: Sea x definido por x=[an ], si denotamos por (-x)== [-an ]: x+(-x)= =[an +(-an )]=[0]=0(-x) es el elemento simtrico de la suma. OBS Por tanto (,+) es un grupo abeliano. PROP El grupo abeliano (,+) contiene al grupo aditivo (Q,+). Dem Sea : Q q[q] La definicin tiene sentido ya que si por ejemplo a [q] an =qnN que n trivialmente es de Cauchy. es homomorfismo:

9/32

(p+q)=[p+q]=[p]+[q]=(p)+(q) es inyectiva: Si (p)=(q) [p]=[q](p)-(q)S0 (p-q)S0 p-q=0 ya que el lmite de (p-q) es el nmero racional p-q p=q DEF Definimos el valor absoluto de un nmero real x, que denotaremos por |x|, como x x 0 | x |= x x < 0 2.3 El grupo multiplicativo de los nmeros reales. DEF Definimos el producto en como : dados x=[an ] e y=[bn ] xy=[an bn ] PROP La definicin del producto no depende del representante elegido. Dem. Sean (an ), (an )[an ] y (bn ), (bn )[bn ]. se verifica que (an -an )S0 y (bn -bn )S0 . Para ver que [an bn ]= [an bn ] hemos de comprobar que su diferencia es una sucesin nula. |an bn - an bn |=| an bn- an bn + an bn- an bn |= |(an -an )bn +(bn-bn )|an-an | |bn | + + |bn -bn | |an |. Como an , bn Sc an , bn son acotadasMM / |an |<M y |bn |<M nN. Por hiptesis (an -an )S0 1 >0 (Q) n1 N / nn1 |an -an |1 y (bn -bn )S0 2 >0 (Q) n2 N / nn2 |bn -bn | 2 1 M+ 2 M= Entonces (an bn -an bn )S0 [an bn ]= [an bn ] Luego el producto no depende del representante elegido. PROP El producto en R verifica las siguientes propiedades: 1) Conmutativa. 2) Asociativa. 3) Elemento neutro. 4) Elemento simtrico (slo para R-{0}). Dem
10/ 32

Se deja como ejercicio al lector. OBS (R-{0}, ) es un grupo multiplicativo abeliano. PROP Dados a, bR con a0, la ecuacin ax=b admite soluciones en R. Dem Como a0 y (R-{0,}) es grupo abeliano a-1 inverso de a. a-1 (ax)=a-1b (a-1a)x = a-1 b x=b a-1 DEF El nmero ba-1 recibe el nombre de cociente del nmero real b por el nmero real a y se representa por ba o b:a. PROP El grupo abeliano (R-{0},) contiene al grupo abeliano (Q-{0},). Dem Sea : QR q[q] (pq)=[pq]= [p][q]=(p)(q) Luego es homomorfismo. es inyectiva (ya visto). 2.4 El Cuerpo de los Nmeros Reales. Una vez visto que (R,+) y (R*,) tienen estructura de grupo abeliano respecto de sus operaciones, veamos como podemos relacionar la suma y el producto de nmeros reales. PROP En R se verifica la propiedad distributiva del producto respecto de la suma. Dem Sean x,y,zR con x=[an ], y=[bn ] y z=[cn ] x(y+z)= [an ]([bn ]+[cn ])= [an ] [bn +cn ] = [an (bn +cn )] = [an bn +an cn ] = =[an bn ]+ [an cn ]= [an ] [bn ]+ [an ] [cn ]= xy + xz

11/ 32

Podemos afirmar que (R,+,) tiene estructura de cuerpo conmutativo con elemento de unidad. PROP El cuerpo (R,+,) contiene a (Q,+,). Dem Sea : QR q[q] Ya sabemos que es homomorfismo inyectivo.

3. ORDEN EN R. Vamos a definir en el conjunto R una relacin de orden total que sea compatible con su estructura. Antes de poder definir un orden en R, necesitamos conocer cul es el conjunto de nmeros reales positivos. Para ello, nos vamos a apoyar en Q. PROP Sea (an ) una sucesin de Cauchy no nula. Entonces existe un elemento en la sucesin tal que a partir de l son todos del mismo signo. Dem Sea (an )Sc y (an )S0 .Como (an )Sc >0 (Q) n0 N / n,mn0 |an -am|<. Supongamos que la tesis es falsa: siempre podemos encontrar mN con am>0 y un nN con an <0. Entonces >|an -am|= |an | + |am| (an )S0 y eso es una contradiccin. Luego n0 N / n0 an >0 ( an <0). Por tanto, en Sc podemos distinguir: Sucesiones de Cauchy positivas n0 N / nn0 an >0. Sucesiones de Cauchy negativas n0 N / nn0 an <0. Sucesiones de Cauchy ni positivas ni negativas.

PROP Dos sucesiones de Cauchy equivalentes y no nulas son ambas positivas o ambas negativas. Dem Sean (an ), (bn )Sc Como (an )S0 n0 N / nn0 |an |>k (bn )S0 n0 N / nn0 |bn |>k

12/ 32

Supongamos que (an ) es positiva y (bn ) es negativa. Entonces nmax{n0 , n0 }|an -bn | = |an | + |bn | >k+k Lo cual no puede ser ya que (an ) y (bn ) son equivalentes ((an -bn )S0 ). La suposicin es falsa y por tanto (an ) y (bn ) son del mismo signo. DEF Definimos el conjunto de los nmeros reales positivos y lo denotamos por R+, a R+={xR / x=[an ] y (an ) es positiva}. Anlogamente DEF Definimos el conjunto de los nmeros reales negativos y lo denotamos por R-, a R-={yR / y=[bn ] y (bn ) es negativa}. Tambin como R-={yR / -yR+}. Con estas definiciones tenemos que R = R-{0}R+. PROP La suma y el producto en R+ son operaciones internas. Con todas estas consideraciones, ya podemos definir una relacin en R y comprobar que es de orden. DEF Definimos en R la relacin como: a,bR ab b-aR+{0}. PROP La relacin definida en R es de orden. Dem: Para comprobarlo hemos de demostrar que verifica las propiedades reflexiva, antisimtrica y transitiva: 1)Reflexiva: 0R+{0} a-aR+ {0} aa 2)Antisimtrica: si abb-aR+{0} si b-a=0 b=a si b-aR+ a-bR- luego no se verifica que ba con ba. 3) Transitiva: si abb-aR+{0} si bcc-bR+{0} (c-b)+(b-a)R+{0} c-aR+ {0} c-aR+ {0} ac

13/ 32

PROP La relacin es de orden total. Dem a,bR, b-a {0} a=b R+ ab R- ba

PROP El orden definido en R es compatible en las operaciones de suma y producto. Dem i) a,bR con ab b-a R+ (b+c-c-a)R+ (b+c)-(c+a)R+ a+c b+c cR. ii) a,bR con ab y con cR+{0} b-aR+ c(b a) R + cb ca R + ac bc ac bc c(b a) {0} cb ca = 0 ac = bc Conclusin: (R, ) es un cuerpo ordenado. PROP (R,) amplia a (Q,). Dem Sea : QR q[q] Ya sabemos que es homomorfismo inyectivo. Sean p,qQ con pq q-p Q+{0} (q-p)R+{0} (q)-(p) R+{0} (q)(p) El conjunto (Q)R es un subcuerpo ordenado de R, y es isomorfo a Q. Como Q(Q) por convenio se toma (Q)Q y por tanto los nmeros reales son una ampliacin de los nmeros racionales.

14/ 32

4. PROPIEDADES DE R. 4.1 Q es denso en R. PROP Dados x,yR con xy y xy, qQ / x<q<y. Dem Sean (an ) y (bn )Sc tales que x=[an ] e y=[bn ] verificando que [bn -an ]R+ (ya que x<y) Si [bn -an ]R+ (bn -an ) es no nula >0 n0 N / nn0 bn -an > Adems como (an ), (bn )Sc 1 >0 n1 N / n,mn1 |an -am|< 1 2 >0 n2 N / n,mn2 |bn -bm|< 2 Tomemos 1 = 2 =/2 y sea n3 =max{n0 ,n1 ,n2 }. Definiendo qQ como + a + bn 3 a + bn 3 bn 3 a n q = a n 3 bn 3 tenemos que nn3 q a n = n 3 a n = n3 + 2 2 2 2 > / 2 + = q-an > /4 x<q 2 2 4

(tengamos en cuenta que |an3 -an |</2 |an3-an |>-/2). Anlogamente nn3 bn -q=bn bn-q>/4 q<y Uniendo ambas partes obtenemos x<q<y, cqd. an 3 + bn 3 bn a n 3 bn bn 3 / 2 = + > = 2 2 2 2 2 4

4.2 R es arquimediano. PROP Sean x, yR con yR+ nN / ny>x Dem Vamos a distinguir varios casos: - Si x0 basta tomar n=1 y y<x.

15/ 32

 q Q / 0 < p < y - Si x>0como Q es denso . Como p,qQ+ y Q es q Q / x < q 0 < np < ny arquimediano nN / np>q 0<p<y ny>np>q>xny>x. x<q 4.3 Valor absoluto en R. Para definir el valo r absoluto en R nos vamos a apoyar en Q donde ya lo tenemos definido. PROP El valor absoluto en R verifica las siguientes propiedades: 1) |x|=0 x=0 xR. 2) |x|0 xR 3)|x+y||x|+|y| x,yR 4)| |x|-|y| | |x-y| x,yR 5)|xy| = |x| |y| Dem 1) Trivial, por definicin. 2) Idem. 3) x,yR se tiene que -|x|x|x| y -|y|y|y| entonces tenemos que: -|x|x|x| + -|y|y|y| -|x|-|y|x+y|x|+|y| entonces -(|x|+|y|)x+y(|x|+|y|)|x+y||x|+|y|. Esta desigualdad es la llamada desigua ldad triangular. 4)| |x|-|y| ||x-y| | |x|-|y| |2 |x-y|2 (|x|-|y|)2 (x-y)2 |x|2 +|y| 2 -2|x| |y| x2 +y2 -2xy-2|x| |y| -2xy 2xy 2|x| |y| xy |x| |y| y esto es cierto obviamente x,yR. 5) - Si x>0 e y >0 xy=|x| |y| |xy| =|x| |y| -Si x>0 e y>0 xy=|x|(-|y|) |xy|=|x| |y| -Si x<0 e y <0 xy=(-|x|)(-|y|) |xy|= |x| |y|

16/ 32

-Si x<0 e y>0 xy=(-|x|)|y| |xy|=|x| |y| Luego |xy|=|x| |y| x,yR 4.4 R es completo. DEF Sea (xn ) una sucesin de nmeros reales. Diremos que (xn ) converge hacia a y se denota por limxn =a, si >0 (R) n0 N / nn0 |xn -a|< PROP Todo nmero xR es lmite de alguna sucesin de Cauchy de racionales. Dem Sea x=[an ] y (an ) una sucesin racional de Cauchy ((an )Sc). Vamos a comprobar que lim an =x. (an )Sc >0 n0 N / m,n n0 |am-an | Si fijamos nn0 el nmero real |x-an | viene determinado por la sucesin (|am-an |) que es de Cauchy. Supongamos que lim an x >0 n1 N / nn1 |an -x|> Como Q es denso en R, qQ / <q<|an -x|. Entonces |an -x|-q R+ la sucesin de Cauchy que determina este nmero real positivo es positiva. Luego k>0 / mn2 |an - am| -q > k |an -am|> q+k Si elegimos n3 =max{n1 ,n2 } (an ) no es de Cauchy. CONTRADICCIN. La suposicin es falsa y por tanto lim an =x, cqd. PROP Toda sucesin de Cauchy de nmeros reales es convergente. Dem Sea (xn ) una sucesin de Cauchy de nmeros reales.>0 n0 / n,mn0 |xn -xm|< nN qn Q / xn -1/n < qn < xn +1/n ya que Q es denso en R. Conseguimos una sucesin (qn ) de nmeros racionales que verifican:
17/ 32

m,nn0 |qm-qn | = |qm-xm+ xm+ xn - xn +- qn | |qm-xm| + |xm-xn | + |xn -qn | < 1/m + + 1/n < Entonces (qm) es de Cauchy. Sea x=[(qn )] |xn -x| |xn -qn | + |qn-x| < 1/n + < (xn ) es convergente y su lmite es x lim xn =x.

PRINCIPIO DE LOS INTERVALOS ENCAJADOS Sea (In ) una sucesin de intervalos encajados (In =[an ,bn ] con In+1 In n) cerrados y acotados. Entonces n In . Si adems |In | =bn -an con lim |In | = 0 entonces existe xR / {} In Dem Como In+1 In nN y In =[an ,bn ] (an ) es una sucesin de nmeros reales creciente y acotada superiormente por b1 lim (an ) = a. Fijamos mN / nm an bn bm abm mN. (bn ) es una sucesin de nmeros reales decreciente y acotada inferiormente por a1 lim bn = b. Como bm a mN ba Sea I=[a,b]. Como ba I Es ms, podemos afirmar que I In nN ya que an abbn n,m. Entonces I In y como I entonces In . a n x bn x = a = b Como caso particular, si a=b I={a} y si x,y In a n y bn y = a = b La interseccin por tanto est construida por un slo punto.

TEOREMA DEL EXTREMO Todo subconjunto no vaco de R acotado superiormente tiene supremo.
18/ 32

Dem Sea C R con C. Como C est acotado superiormente, b1 R / b1 es cota superior de C. Podemos encontrar un n a1 R tal que el intervalo [a1 ,b1 ] verifica: a) Contiene puntos de C. b) b1 es cota superior de C. Dividimos [a1 ,b1 ] en dos nuevos intervalos por su punto medio. A aquella mitad que verifique a) y b) la llamamos [a2 ,b2 ]. a1 + b1 a +b es cota superior de C a2 =a1 y b2 = 1 1 y si no es 2 2 a +b cota superior a2 = 1 1 y b2 =b1 ). 2 (Es claro que si Se verifica que b2 -a2 = 1 1 (b1 -a1 ) y a2 -a1 (b1 -a1 ). 2 2

Repitiendo el proceso, obtenemos una sucesin de nmeros reales (an ) que verifica |am-an | 1 2 n 1 (b1 -a1 ) (an ) es una sucesin de Cauchy.

Como toda sucesin de nmeros reales de Cauchy es convergente tenemos que R / lim an = x. Supongamos que x Sup C. Como tambin lim bn = x yC / x< bn <y para algn nN. Contradiccin, ya que bn nN son cota superior de C. Por tanto, x=Sup C. 5. TOPOLOGA DE LA RECTA REAL. DEF Una topologa sobre un conjunto X es una coleccin de subconjuntos de X que verifican tres propiedades: 1),X estn en . 2)La unin de los elementos de cualquier subcoleccin de est en . 3) La interseccin de elementos de cualquier coleccin finita de est en .

19/ 32

DEF Un espacio topolgico es un par ordenado (X,) formado por un conjunto y una topologa sobre l. 5.1. Subconjuntos Cerrados de . DEF Dado AR subconjunto con A , diremos que A es cerrado si para cada sucesin (xn ) convergente contenida en A tambin contiene su lmite. OBS El conjunto [a, b) definido como [a,b)={xR / ax<b} no es cerrado ya que si x n [ a, b) n N ba xn =b, se verifica que , y en cambio b[a,b). n x n es convergente y lim xn = b Anlogamente para (a,b) = {xR / a<x<b} (xn ) convergente con (xn )A y A cerrado lim xn = xA PROP El conjunto [a,b]={xR / axb} es cerrado. Dem Supongamos que [a,b] no es cerrado. Entonces existe una sucesin {xn }[a,b] convergente tal que su lmite x[a,b]. Sea x>b (Anlogamente si x<a) entonces sea d= x-b, como xn es convergente se tiene que: >0 n0 N / |xn -x|< si nn0 , entonces si tomamos = d/2 n0 N / xn (x-, x+) si nn0 xn >b si nn0 xn [a,b] si nn0 !! (contradiccin) [a,b] es cerrado. PROP La unin de dos subconjuntos cerrados es un subconjunto cerrado. Dem Sean A1 y A2 subconjuntos de R cerrados, y sea A=A1 A2 . Sea (xn )A una sucesin convergente, y sea x= lim xn . -Si (xn )A1 xA1 A -Si (xn )A2 xA2 A En caso contrario, sea (xnk ) una subsucesin de(xn ) contenida en A1 . Sabemos que x = limk xnk . Como (xnk )A1 convergente y A1 es cerrado xA1 xA, y al ser lim xnk = x = lim xn (xn )A verifica que xA. Por tanto A es cerrado.

20/ 32

Nota: hemos usado que si xn x entonces xnk x la demostracin se deja como ejercicio al lector. COROLARIO La unin de una familia finita de subconjuntos cerrados es tambin cerrado. Dem Sean A1 , A2 An subconjuntos de R cerrados y sea A= U Ai .
i =1 n

Sea (xn )A una sucesin convergente y sea x= limn xn : -Si (xn )A, para algn ixAi por ser cerrado xAA es cerrado. -En caso contrario, sea xnk una sucesin de xn tal que xnk Ai para algn i como limn xnk =x y Ai es cerrado xAi xAA es cerrado. OBS La unin infinita de cerrados no es cerrada. Por ejemplo, sean An =[2+1/n, 4- 1/n] nN. Entonces Ai=[3,3]A2 =[25,35]... Como lim(2+1/n)=2 y lim (4- 1/n)=4 An =(2,4). Como (2,4) es un intervalo abierto, el conjunto unin no es cerrado. PROP Sea {Ai / iI} una familia (finita o infinita) de conjuntos cerrados en R. Entonces A=Ai es cerrado. Dem Sea (xn )A una sucesin convergente con x=limxn . Entonces (xn )Ai iN x Ai iN ya que los Ai son todos cerrados xA A es cerrado. 5.2 Subconjuntos abiertos de R. DEF Un subconjunto V de la recta real VR diremos que es abierto si su complementario, R-V, es cerrado. PROP (a,b)={xR / a<x<b}es abierto. Dem R-(a,b) = (,a][b,) es cerrado. PROP La interseccin de una familia finita {v1 ,..,vn } de conjuntos abiertos es otro conjunto abierto.
21/ 32

Dem Sea V= IVk . Como R-V= R- IVk siendo R-V=

k =1 k =1 n n

U (R V
k =1

) unin de conjuntos

cerrados R-V es cerrado V es abierto PROP La unin de una familia de conjuntos abiertos (finita o infinita) es un conjunto abierto. Dem Sea V= Vi R-V = R-Vi= (R-Vi). Como la interseccin de cerrados es cerrada R-V es cerrado V es abierto. OBS El conjunto R y el vaco son abiertos y cerrados, y son los nicos que son de los dos tipos. R es abierto porque es cerrado y es abierto porque R es cerrado. Esto no es contradictorio ya que existen conjuntos que no son ni abiertos ni cerrados. COROLARIO Dado ={AR / a es abierto} es una topologa para R. TEOREMA A es abierto xA >0 / (x- ,x+)A. Dem "" Supongamos que la tesis no es cierta >0 / (x-,x+)A. . Tomemos =1 x1 (x-1,x+1) tal que x1 A. Reiterando el proceso para = 1/n xn (x-1/n, x+1/n) con xn A. La sucesin (xn )R-A. El conjunto R-A es cerrado. (xn ) es convergente ya que |xn -x|< 1/n nN Entonces xR-A lo cual es una contradiccin y por tanto nuestra suposicin es falsa. "" Supongamos que a no es abierto. Entonces R-A no es cerrado (xn )R-A convergente hacia xR-AxA. Por hiptesis >0 / (x- , x+)A. Por ser (xn ) convergente, dado ese >0
22/ 32

n0 N / nn0 |xn -x|<, pero |xn -x|< es lo mismo que -<xn -x<, y eso es igual que (xn )R-A. La suposicin es falsa y por tanto A es abierto. 5.3 Entornos. DEF Se dice que UR es entorno del punto xR si >0 / (x- , x+)U. PROP Dado xR, sea Ux una familia formada por los entornos U del punto x. Se verifica: 1) (x- , x+)Ux 2) [x- , x+]Ux 3) (x- , x+]Ux 4) [x- , x+)Ux Dem Sabemos que Ux ={U / U es entorno de xR} 1) Si en la definicin tomamos U=(x- , x+) se verifica, luego (x- , x+)Ux 2) Sea U[x- , x+] UR y (x-, x+)Ux (x-, x+)Ux 3) Anlogo a 2). 4) Anlogo a 2). PROP Si U1 y U2 son dos entornos xR, entonces U1 U2 es otro entorno de xR. Dem 1 > 0 / ( x 1 , x + 1 ) U 1 Como U1 y U2 son dos enteros de xR 2 > 0 / ( x 2 , x + 2 ) U 2 ( x , x + ) ( x 1 , x + 1 ) U1 Si tomamos =min{ 1 ,2 } se tiene que ( x , x + ) ( x 2 , x + 2 ) U 2 (x-,x+)U1 U2 >0 / (x-,x+)U1 U2 U1 U2 es un entorno de xR. La definicin de lmite de una sucesin convergente se puede escribir en funcin de entornos.

23/ 32

TEOREMA (UUx n0 N / nn0 xn U) (xn ) converge hacia x. Dem "" >0 (x-, x+)=UUx n0 N / nn0 xn U = (x-, x+) y que xn (x-,x+) es lo mismo que |xn -x|<. Luego (xn ) es convergente y tiene por lmite x. "" (UUx >0 (x-,x+)U y n0 N / nn0 |xn -x|< y |xn -x|< es xn (xn -,x+)U. DEF Llamamos entorno de centro a y radio r>0 al conjunto E(a,r)={xR / a-r<x<a+r} OBS La definicin es consistente con la anterior, ya que E(a,r)= (a-r,a+r)Ua tomando =r. PROP Si bE(a,r) E(b,s) / E(b,s)E(a,r) Dem Si bE(a,r) |b-a|<r r-|b-a| > 0. Sea s<r-|b-a| con s>0. Para ver la inclusin: xE(b,s) |x-a|= |x-b+b-a| |x-b| + |b-a| < s + |b-a| < r xE(a,r) Luego E(b,s)E(a,r). 5.4 Puntos Especiales. DEF Sea A R un subconjunto y x A. Diremos que x es un punto interior a A si existe un entorno de x, UUx , contenido en A, UA. El conjunto de los puntos interiores de a se denota por A o Int(A). DEF Sea AR y yR. Diremos que y es un punto exterior A si y es interior a R-A. DEF Sea A R y yR. Diremos que z es un punto frontera de A si UUz, U contiene puntos de A y de R-A.

24/ 32

PROP El conjunto VR es abierto V=Int(V). Dem "" Por la propia definicin de Int(V) se cumple que xInt(V)xV Int(V)V Como V es abierto R-V es cerrado, esto quiere decir que cualquier sucesin {xn }R-V que sea convergente cumple que su lmite est contenido en R-V. Por lo tanto si xV se cumple que >0 / (x-,x+)V, porque de no ser as podramos establecer una sucesin {xn } R-V convergente cuyo lmite fuese xR-V, pero esto es contradictorio con lo anteriormente expuesto, por lo tanto x es un punto interior de V xInt(V) VInt(V) Int(V)=V. "" Sea {xn } R-V una sucesin convergente a x. Supongamos que xV = Int(V) Ux entorno de x tal que Ux V xn Ux nN !! (porque el lmite de xn es x) xR-VR-V es cerrado V es abierto.

DEF Sea AR. Diremos que xR es adherente al conjunto A si x es lmite de alguna sucesin contenida en A. DEF Llamaremos A al conjunto formado por todos los puntos adherentes de a. A ={xR / x es adherente a A} PROP Dado AR se verifica que A A . Dem Dado xA sea (xn ) con xn =x nN. Trivialmente (xn ) es convergente, lim xn = x y (xn )A. Entonces x A xA. PROP A es cerrado A= A . Dem

25/ 32

"" Como ya sabemos, por la proposicin anterior, que A A . Veamos el recproco: Sea x A {xn }A sucesin convergente a x, pero como A es cerrado xA A A , entonces A= A

"" Sea {xn }A una sucesin convergente a x. Como x es el lmite de una sucesin de trminos de A x A =A xA A es cerrado. PROP Dados A,B, R, se verifica 1) A B = A B 2) A B = A B Dem 1) "" Sea x A B {xn }AB que converge a x. a) Si {xn }A nN x A b) Si {xn }B nN x B c) Si {xn }AB {xnk }A (por ejemplo) tal que el lmite de {xnk } es x x A A B A B "" Sea x A B entonces a) Si x A {xn }A que converge a x {xn } AB x A B b) Si x B {xn }B que converge a x {xn } AB x A B A B A B A B= A B 2) Sea x entonces A B {xn } AB que converge a x, entonces: {x n } A x A x A B A B A B {x n } B x B
26/ 32

OBS La inclusin A B A B no se verifica. Vemoslo con un ejemplo. Sea A=(1,2) y B=(2,3) A =[1,2] y B =[2,3] A B ={2}, pero AB= luego A B = . Por tanto, no se puede hablar de igualdad. OBS Los puntos adherentes tambin reciben el nombre de puntos de aglomeracin. DEF Sea AR y x R. Diremos que x es un punto de acumulacin de A si >0 el conjunto {aA / |x-a|<} es infinito. Comentario: el conjunto {a A / |x-a|<} es finito si y slo si >0 aA / xa y |x-a|< PROP Todo punto de acumulacin es adherente. Dem Sea xA un punto de acumulacin de A >0 {aA / |x-a| < con xa} es infinito. Sea = 1/n y sea xn A un elemento distinto de x y tal que |x-xn |< nN {xn }A y converge a x x es un punto adherente a A. El recproco no es cierto. Sea A={1}. Si xn =1 N (xn )A y lim xn =1 1 A . Pero 1 no es punto de acumulacin ya que el conjunto {aA / |1-a|<}={1} y no es infinito. DEF Llamaremos puntos aislados a los nmeros reales que son adherentes a un conjunto AR y no son de acumulacin en A. DEF Llamaremos conjunto derivado de A R y lo denotaremos por A, al conjunto AR de los puntos de acumulacin de A. PROP El supremo de un conjunto es adherente al conjunto. Dem Sea AR acotado superiormente y x=SupA. -Si xA x A -Si xA Como x=Sup A por definicin de supremo, podemos encontrar elementos en A tan prximos a x como queramos. Sea xn A / |xn -x|< 1/n y se verifica que xn <x n. Entonces (xn ) es convergente y lim xn = x x A .

27/ 32

TEOREMA DE BOLZANO WEIERSTRASS Todo subconjunto AR, infinito y acotado posee al menos un punto de acumulacin. Dem A es acotado A[a,b] A partir de [a,b] y dividiendo por la mitad, de forma reiterada formamos una sucesin In =[an ,bn ] de intervalos encajados que tienen como caracterstica que todos ellos contienen infinitos puntos. ([a1 ,b1 ] es aquella mitad de [a,b] que contiene infinitos puntos). La sucesin (an ) es de Cauchy y lim an =a a es un punto de acumulacin de a, aA, ya que dado >0 n0 N / nn0 se verifica {a n A / |an -a|<} es infinito (estn todos a partir de n0 ). 5.5 Conjuntos compactos. DEF Sea KR un subconjunto. Diremos que K es compacto si toda sucesin (xn )K posee una subsucesin convergente hacia un xK. TEOREMA FUNDAMENTAL Sea KR. K es compacto K es cerrado y acotado. Dem Probemos que K compacto K acotado. Supongamos que K no es acotado. Entonces nN se verifica que K[-n,n]. Entonces xn K /xn [- n,+n] |xn |n nN. Tenemos por tanto una sucesin (xn ) de K. Por definicin de compacto (xnk )(xn ) con (xnk ) convergente siendo xK su lmite. Pero eso es falso ya que como |xnk | nk resulta que (xnk ) no es acotada.

28/ 32

CONTRADICCIN. Por tanto, la supresin es falsa y K es acotado. Probemos ahora que K compacto K cerrado. Supongamos que K no es cerrado. Entonces (xn )K convergente con lim xn = x y xK. Como K es compacto (xnk ) (xn ) convergente, lim xn = y, y K. Sabemos que y=x porque cualquier subsucesin de una sucesin convergente es convergente y con el mismo lmite. Luego x = y, xK, yK. CONTRADICCIN. Por tanto la suposicin es falsa y K es cerrado. Sea (xn )K una sucesin cualquiera. Como K es acotado (xn ) es una sucesin acotada. Sea el conjunto A={xn / nN}. Sabemos que AK. (A={(xn )}). Como A tiene infinitos elementos y es acotado, por el teorema de Bolzano-Weierstrass, A posee al menos un punto de acumulacin. Sea xA. Por definicin de punto de acumulacin (xnk )A convergente hacia x. Como (xnk ) (xn ) =AK y K es cerrado xK. Luego de una sucesin cualquiera hemos podido extraer una subsucesin convergente a un punto del conjunto K es compacto. DEF Sea AR. Llamamos a {Vi : iI}, familia de subconjuntos de R, recubrimiento de A si aU{ Vi : iI }. Es decir aA iI / aVi. Si cada V es un conjunto abierto, i diremos que el recubrimiento es abierto. DEF Llamaremos subrecubrimiento de A, extrado del recubrimiento {Vi : iI}, al recubrimiento de A {Vj : jH} y HI. Ejemplo: {(-n,n): nN} es un recubrimiento de R.

TEOREMA DEL RECUBRIMIENTO Sea KR. K es compacto . De todo recubrimiento abierto de K es posible extraer un subrecubrimiento finito.

29/ 32

Dem Sea {Vi : iI}recubrimiento abierto de K. Como K es compacto K es acotado K[a,b]. Supongamos que no es posible extraer un subrecubrimiento finito de K (demostracin por reduccin al absurdo). Como K [a,b][a,b] tampoco se puede recubrir con un recubrimiento finito de {Vi : iI}. Al dividir [a,b] en dos mitades iguales, al menos una de las dos no se puede recubrir con un recubrimiento finito. (Si ambas mitades tuvieran un recubrimiento finito, la unin de ambos nos dara un recubrimiento finito para [a,b], lo que no puede ser). Llamemos [a1 ,b1 ] a la mitad que no dispone de recubrimiento finito, tal que [a1 ,b1 ]K=. Repitiendo el proceso obtenemos una sucesin (In ) con In =[an ,bn ], bn-an = 1 (bn 1 a n 1 ) , In K nN y ningn In tiene un recubrimiento finito. Por el 2 principio de los intervalos encajados xR / x=In . Como In K nN, sea xn In K. Como xn ,xIn n |xn -x| (bn -an ) 0 1 (b-a) x = lim xn . 2n

Pero (xn )K que es compacto (xn )K cerrado xK. Si xK i0 I / xVio Vi0 es abierto > 0 / ( x , x + ) Vio Ino Vio , lo cual es una Dado ese > 0 n0 N / I no ( x , x + ) contradiccin ya que hemos demostrado que Ino est recubierto por un abierto (y por tanto un finito) y por hiptesis no podr ser. Luego la suposicin es falsa y existe un subrecubrimiento abierto y finito K.

30/ 32

 -K es acotado. Supongamos que K no es acotado. {Vn =(-n,n) / nN} es un recubrimiento de R y por tanto de K. Si existiera un recubrimiento finito de K, sea {Vno , Vn1 ,..., Vnk} dicho recubrimiento. Tomamos m=max{ n0 , n1 ,...,nk } k Vm = (-m,m) K es acotado. Contradiccin con nuestra suposicin. Entonces es falsa y K es acotado. -K es cerrado. Supongamos que K no es cerrado. (xn )K convergente y x = lim xn tal que xK. 1 1 Tomamos Fn =[ x , x + ] y definimos Vn =R- Fn . n n Los Fn son cerrados Vn son abiertos con Vn = R {x} para cada xix n / xi Vn . Como xK K R-{x} {Vn : nN} es un recubrimiento abierto de K. Por hiptesis Vn1 ,Vn2 ,..., Vnk / K U Vnj = Vm con m=max{n1 ,...,nk }.
j=1 k

Como x = lim xn n0 N / nn0 |xn -x| < 1/n xn (x1/n,x+1/n) Fn . Tomando n=max{n0 ,m} tenemos que dado n>n xn Vn xn Vm xn K. Contradiccin, ya que (xn )K. La suposicin es falsa y K cerrado. Por ser K cerrado y acotado K es compacto Teniendo en cuenta este teorema podramos haber dado como definicin de conjunto compacto la siguiente: DEF Un conjunto KR es compacto si dado un recubrimiento abierto de K puede obtenerse un recubrimiento finito.

31/ 32

BIBLIOGRAFIA RECOMENDADA.

Anlisis Matemtico I. Aut. J.A. Fernndez Via. Ed. Tecnos. Anlisis Matemtico. Aut. M. de Guzmn B. Rubio. Ed. Pirmide. Principios de Anlisis Matemtico. Aut. W. Rudin. Ed. McGraw-Hill. Introduccin al Anlisis Matemtico. Aut. J. M. Ortega. Ed. Labor. Curso de Anlisis Matemtico I. Aut. E.L. Lima. Ed. Edunsa. Calculus. Aut. M. Spivak. Ed. Revert.

32/ 32