この関数がCauchy列であることを示し、極限が連続関数でないことを示す。Cauchy列となる。これは連続関数ではない。表されるような実数が存在して、次の性質を満たすとき内積空間と呼ばれる。中線定理について、が成り立つ。分極公式あるノルム空間にが内積空間である必要十分条件は、中線定理が成り立つことである。approximation)と言われる注意すべきことはノルム空間では最良近似は一意でないということ。