ノルムとノルム空間

実ベクトル空間におけるノルムとノルム空間の定義をリフォーム。