2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/64752We prove that if X is an infinite-dimensional Banach space with C^p smooth partitions of unity, then X and X\K are C^p diffeomorphic, for every weakly compact subset K of X.18 pagesFunctional Analysis46B20; 57R50On diffeomorphisms deleting weakly compacta in Banach spacestext