Suite décroissante stricte à prouver-trouver

[jacques26]

E=Uniondén d'ensemble En de mesures Lebesgue nulles contenu dans T le cercle centreO rayon 1. On dit qu'on peut les supposer disjoints . Effectivement En formant Fn=En -(union E1,E2,...En-1 )je construis une suite de Fn disjoints 2 à 2 tels que l'Union dén des Fn= E.

J'ai alors E=Réunion dénombrable d'ens-nouveaux- (En) de mes Leb normalisée (l/2pi ) nulle contenu dans T Cercle centre O,rayon=1,
E de mesure de Lebesgue nulle ,

les (En)n tous disjoints 2 à 2 ,fermés (et Tmoins chaque En = une Union dénombrable de Ln arcs ouverts du cercle-dans les hypothéses-mais à mon avis on s'en sert pas ) .On pose dn=dist (En,à unionU1,U2,...,E(n-1)) dans ]o,1].
le libellé dit textuellement : on peut sans perdre de généralité supposer que la suite (dn) n entier naturel est une suite strictement décroissante (peut-être qu'on peut en fabriquer une ( d'n)n par permutation des indices des Ei ?)!.résultat sûr- article math top -, j'ai tout essayé, jusqu'ici .je n'ai rien trouvé . Pourtant ça doit se faire.

si vous avez des lumieres, Merci !