>>679
線形空間
ノルム空間
完備性