Bonjour,
j'ai du mal à comprendre un point de la démo sur wiki (

).
On considère deux espaces de Banach

et

et une application linéaire

continue et surjective.
On définit la suite de fermés de

:
\)})
d'union

par surjectivité de

.
En appliquant ensuite le lemme de Baire on en déduit qu'il existe un entier

tel que

est d'intérieur vide, donc il contient une boule ouverte
)
.
Là je ne vois pas comment en déduire que le fermé

contient la boule ouverte
)
, il doit y avoir une histoire de translation derrière tout ça mais je sèche
Merci pour votre aide.
