ℓp空間
$ p乗総和が収束する数列$ K^\Zの空間を$ \mathbf l^p(\mathbf K)と表す $ \mathbf l^p(\mathbf K)は$ \mathbf K^\Zの部分線型空間をなす 定義
norm線型空間$ (\mathbf K,\mathbf K,\cdot,|\bullet|)をなす任意の体$ \bf Kと数列空間$ \mathbf K^\Z=((K^\Z,+),\mathbf K,\cdot)を用意する $ \forall p\ge1にて$ l^p(K):=\{a_\bullet\in K^\Z\mid\sum_{i\in\Z}|a_i|^p<\infty\}とする
$ \sum_{i\in\Z}|a_i|^p<\infty:\iff\sum_{|i|\le n}|a_i|^pが基本列である $ pの範囲は$ 0<p\le\inftyまで拡張することもできる
このとき$ \mathbf l^p(\mathbf K):=((l^p(K),+),\mathbf K,\cdot)とする
$ \mathbf l^p(\mathbf K)が$ \mathbf K^\Zの部分線型空間をなすことを示す $ \sum_{i\in Z}|a_i+b_i|^p\le\sum_{i\in Z}(|a_i|+|b_i|)^p
ここからどう展開するんだ？takker.icon