A Subspace of Hölder Space Consisting Only of Nonsmoothest Functions

In the first part of this paper, we give a complete answer to an old question of the geometric theory of Banach spaces; namely, we construct an infinite-dimensional closed subspace of Hölder space such that each function not identically zero is not smoother at each point than the nonsmoothest function in Hölder space. In the second part, using constructions from the first part, we show that the set of functions from Hölder space which are smoother on a set of positive measure than the nonsmoothest function is a set of first category in this space.