定義
K を可換とは限らない体とする。
| | を K の自明でない絶対値(過去スレ006の414)とする。
E を K-左加群とし、p を E の半ノルム(過去スレ008の458)とする。
>>61 から p で定義される位相により E は K 上の位相線形空間になる。
この位相線形空間 E を半ノルム空間と言う。