precompact space