POST BAC - Complétude - Exercice 15.5

# Fn+1 ⊂ Fn (d'où le terme emboîté)

On choisit une suite de Cauchy et on prend la définition de l'ensemble des valeurs d'adhérence. Fn est un fermé (les adhérences sont des fermés) et est non vide (car il contient les termes de la suite). Par construction, Fn+1 sera toujours inclus dans Fn. Par la suite, on utilise la définition de la suite de Cauchy. Rappelons que le diamètre d'une distance est sa borne supérieure. Donc il existera forcément un N ∈ ℕ tel que le diamètre tendra vers 0 (cf. la définition de la suite de Cauchy). Les (Fn)n∈ ℕ sont des fermés donc leur limite ne sortiront pas de leur ensemble ainsi que celui de l'intersection finale.En poussant à l'infini, il arrivera donc forcément un moment où la distance entre deux limites tendra vers 0.On déduira alors l'unicité de la valeur d'adhérence dans l'intersection

#Démonstration du théorème des fermés emboîtés

#Rappel #Donc complet

#Rappel #Complet

#Rappel #Donc espace compact implique espace complet

#Rappel #Cours #L' ensemble des valeurs d'adhérences

#Explication et preuve que Fn+1 ⊂ Fn