normed_space source