Embedding, compression and fiberwise homotopy theory.
In this paper we prove the existence of a closed neat embedding of a Hausdorff paracompact Hilbert manifold with smooth boundary into , where is a Hilbert space, such that the normal space in each point of a certain neighbourhood of the boundary is contained in . Then, we give a neccesary and sufficient condition that a Hausdorff paracompact topological space could admit a differentiable structure of class with smooth boundary.