Sipser first introduces space constructible functions. Then uses the definition to prove the space hierarchy theorem:
if f(n) is a space constructible function then there are languages that can be decided in O(f(n)) space but not in o(f(n)) space.
The author only mentions as most encountered functions are space constructible, it is a good assumption. Are there any cases where non space constructible functions of are interest ? How does the space hierarchy theorem changes under such conditions ?