規約
K を必ずしも可換とは限らない体で自明でない絶対値(過去スレ006の414,422)を
もつとする。
E_i (1 ≦ i ≦ n) を K 上のノルム空間(過去スレ006の561)とする。

E = (E_1)×...×(E_n) とおく。

E をノルム空間と考えるときは特に断らない限り、
>>66のノルム |x| = sup(|x_1|, ..., |x_n|) を使うことにする。