ノルム空間についてグロタンディークが行った仕事ってどういうもの？
ちょっと調べたら、グロタンの名前がでてきたんだけど、トリビアルな情報でよくわからんかった。