>>295 と >>300 と >>301 より L^p(X, F) は N_p をノルムとする
ノルム空間になる。