実ベクトル空間におけるノルム、ノルム空間

 実ベクトル空間におけるノルム、ノルム空間を、https対応。