Talk:Auxiliary normed space