>>51の一般化

定義
K を必ずしも可換とは限らない体で自明でない絶対値(過去スレ006の414,422)を
もつとする。
E を K 上のノルム空間(過去スレ006の561)とし、|x| をそのノルムとする。

|x| が超ノルム(>>64)のとき、E を超ノルム空間と呼ぶ。