F-空間
L[0, 1] は F-空間で、連続な半ノルムも連続線型汎関数も持たない(自明な双対空間を持つ)。
↑ すなわち、‖ y − x ‖ = d(0, y − x) = d(0 + x, (y − x)+ x) = d(x, y)