結果 : normed vector space examples