‘Teorema, Consideremos una sucesién de mimeros reales (x,). (x,) converge aa si, y sélo si, todas sus subsucesiones convergen a a. Observacién, Sea (xp)new tal que (X2n), (t2n+1) ¥ (gq) Son convergentes. {Podremos decir que (#,) converge? Veamos. El recorrido de la sucesién (x3q) tiene elementos del recorrido de (xan) ¥ del recorrido de (xone1). Basta encontrar una subsucesién de (x3,) cuvo recorrido esté incluido en el dominio de (x2n) y una cuyo recorrido esté ineluido en el dominio de (2n41). De esa ‘manera probaremos que lim(,,) = lim(3,) = lim(aq,) =1€ R, y como (2n} u (2n +1) = N= D(x), podremos afirmar que (x) converge. Con la idea anterior puedes intentar realizar ti mismo la demostraeién. De todas ‘maneras, 2 continuacién se esboza uns demostracién posible. Considoremos la sueosién (42). Como (6n) es estrictamente creciente y (6n} = (6n,n € N} c (3n,2 € N} = D(tan), podemos aflrmar que (xq) €S una substicesion de (x,,). Teniendo en cuenta esto y que (¥gn) converge, pedomes afirmar quo (gx) ¥ al mismo real quo (a). Por lo tanto: lim(aq) = lim(xeq) =1€ R. © Por otra parte, tenemos que (6n} = (6n,n €N} c (2m. € N} = D(4en), por lo que podemos afirmar que (x.,) €5 tna subsucesi6n de (x.,). Temendo en cuenta esto ¥ que (Zp) converge, podemes afirmar que (¥g,) converge J al mismo real que (an). Por lo tanto: lim(gq) = lim(aq) = Le R Por (1), (2) y transitiva, podemos afirmar que lim(tg,) = lim(x3q) =U R ¢*) ‘Consideremos ahora la sucesiOn (xsn4)- Como la sucesién (6n + 3) es estrictamente creciente y {6n +3} = (6n+3.n EN} Gnn€ N) = D(xsn), podemos afirmar que (yne) €9 una subsucesién de (ean). ‘Temtendo en cuenta esto y que (jq) converge, podemos afirmar que (g,2) ¥ al nnismo real que (xan). Por lo tanto: lim(xg,) = lim(Kensa) =1ER © Por otra parte, tenemos que (6n + 3) = (6n +3.n EN} c (2n + 1.n EN) =Draays), por lo que podemos afirmar que (xen,2) es una subsucesion de (ans). Teniendo en cuenta estoy que (ana) converge, Podemos afm ue (Sins) al mismo eal qe Por lo tanto’ lim(ensa) = lim@any3) =LER © Por (1), (2) y transitiva, podemos afirmar que tim (rap) = lim(tane.) =1€R. De (*) y (™) podemos coneluir que lim(¥,) = lim(¥ayq,) = 12 R, Observemos que: Qn} = (Qn.n eM) - Gent lctant nen? DUCE D=N. ‘Tenemos entonees que: Gn) 31 Canes) 71 > Gn Qn}ULn+ 1} =N=DG,) Por lo tanto, (1) eonvorge.