はノルムによる強位相について、formula_9で稠密である。