Si es una sucesión convergente tiene un límite finito, llamémoslo L. Entonces
Para todo e>0 existe un k€N tal que |Xn-L|<e para todo n>k
Ahora, para demostrar que las sucesiones de los supremos e ínfimos son convergentes nos darán un epsilon y nosotros tomaremos el k que cumple la condición de convergencia de Xn pero para epsilon/2
Existe un k€N tal que |Xn-L| < epsilon / 2 para todo n>k
Sea Sn=Sup{Xn, Xn+1, ...}
Debe existir un j >=n tal que Sn-Xj < epsilon / 2
Ya que si no tendríamos Sn - epsilon/2 >= Xj para todo j>=n y entonces tendríamos una cota superior menor que el supremo, lo cual sería absurdo.
Ahora haremos uso de la desigualdad triangular del valor absoluto
|Sn-L| = | Sn - Xj + (Xj -L)| <= |Sn-Xj| + |Xj - L| < epsilon/2 + epsilon/2 = epsilon
Luego
|Sn - L| < epsilon para todo n >k
Luego la sucesión de los supremos que nos dicen tiende al límite de la sucesión Xn que es L
Para la sucesión de los ínfimos la demostración es análoga. Es igual hasta el punto donde diremos
Sea In=Inf{Xn, Xn+1,...}
Debe existir un j>=n tal que Xj - In < epsilon/2
Ya que si no tendríamos In+epsilon/2 <= Xj para todo j>n y entonces tendríamos una cota inferior mayor que el ínfimo, lo cual sería absurdo.
Y usando de nuevo la desigualdad triangular
| In - L| = | In - Xj + (Xj-L)| <= | In-Xj|+|Xj -L| < epsilon/2 + epsilon/2 = epsilon
Luego
| In - L| z epsilon para todo n >k
Luego la sucesión de los ínfimos que nos dicen también tiende al límite de la sucesion Xn que es L
Ambas tienen el mismo límite que a su vez es el límite de Xn, eso era lo que pedía el ejercicio.
Y eso es todo.