Abstrakt
Ukážeme, že v každém separabilním Banachově prostoru obsahujícím $c_0$ a připouštějícím $C^k$-hladký bump, každá spojitá funkce lze aproximovat pomocí $C^k$-hladké funkce tak, že její derivace se vyhne předepsané $K_\sigma$ množině.
Ukážeme, že v každém separabilním Banachově prostoru obsahujícím $c_0$ a připouštějícím $C^k$-hladký bump, každá spojitá funkce lze aproximovat pomocí $C^k$-hladké funkce tak, že její derivace se vyhne předepsané $K_\sigma$ množině.