>>45の一般化

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

任意の x ∈ E, y ∈ E に対して |x + y| ≦ max(|x|, |y|) となるとき
|x| を超ノルムと呼ぶ。