は線型部分空間であるから、ハーン-バナッハの定理により、先ほどの連続線型汎函数はの全体まで連続かつ線型に延長できる。