定義
K を自明でない絶対値(過去スレ006の414,422)をもつ可換体とする。
E と F を K 上のノルム空間(過去スレ006の561)とする。
E^n から F への連続な K-多重線形写像の全体を L_n(E, F) と書く。