Abstrakt
Nechť X je separabilní Banachův prostor se Schauderovou bazí, na kterém existuje spojitý bump lokálně závislý na konečně mnoha souřadnicích. Potom X má též C^infty hladký bump lokálně závislý na konečně mnoha souřadnicích.
Nechť X je separabilní Banachův prostor se Schauderovou bazí, na kterém existuje spojitý bump lokálně závislý na konečně mnoha souřadnicích. Potom X má též C^infty hladký bump lokálně závislý na konečně mnoha souřadnicích.