p=∞ のときにp-ノルムが最大ノルムになることの証明
📂バナッハ空間p=∞ のときにp-ノルムが最大ノルムになることの証明
定理
数列の空間 lp そして 1<p0<∞ に対して {xn}n∈N∈lp0 としよう。
p→∞lim(n∈N∑∣xn∣p)p1=n∈Nsup∣xn∣
説明
解析学や線形代数学等で早期に遭遇するにもかかわらず、なぜ最大ノルムが∞と関係があるのか、しっかりと説明されないことが多い。特に、教授達はそれがあまりにも明白であると思うため、スルーしがちだが、ピンとこなければ、必ず深く掘り下げるべきだ。
可視化

千言万句必要はない。上の図は、ユークリッド空間 R2 に与えられた p-ノルムのユニットボールを描くと、このような形に収束する。
直感的な数式展開
概念をつかむためには、数式でアプローチする方がもっと助けになるだろう。x∈Rnとする時、∥x∥pは
∥x∥p=p∣x1∣p+⋯+∣xn∣p
このように書ける。この時、∣x1∣,⋯,∣xn∣ の中で最大の値を xˉ=maxk=1,⋯,n∣xk∣とすると、次のような数式展開がされるように見えるかもしれない。
p→∞lim∥x∥p====?==p→∞limp∣x1∣p+⋯+∣xn∣pp→∞limpxˉp(xˉx1p+⋯+xˉxnp)p→∞limpxˉp⋅p(xˉx1p+⋯+xˉxnp)xˉp→∞limp0+⋯+1+⋯+0xˉp→∞limmp1k=1,⋯,nmax∣xk∣⋅1
厳密な証明はこのように進行されはしないが、このような直感を持っているか否かは、最大ノルムを理解する上で大きな違いが生じる。
証明
M:=n∈Nsup∣xn∣ とする。もし M=0 ならば 0=p→∞lim(n∈N∑∣xn∣p)p1=n∈Nsup∣xn∣=0 であるため M>0 を仮定しよう。新しい数列を yn:=Mxn と定義すると、n∈Nsup∣yn∣=1 であり、{yn}n∈N∈lp0 であるため、p→∞lim(n∈N∑∣xn∣p)p1=M を示すには p→∞lim(n∈N∑Mxnp)p1=1 を示すことで十分である。
パート 1. p→∞liminf(n∈N∑∣yn∣p)p1≥1
n∈Nsup∣yn∣=1 であるため、任意の ε>0 に対して ∣yn0∣>1−ε を満たす n0∈N が存在する。全ての ε>0 に対して p→∞liminf(n∈N∑∣yn∣p)p1≥∣yn0∣>1−ε が成り立つので、
p→∞liminf(n∈N∑∣yn∣p)p1≥1
パート 2. p→∞limsup(n∈N∑∣yn∣p)p1≤1
{yn}n∈N∈lp0 であるため、n>N∑∣yn∣p0<1 を満たす N∈N が存在する。p>p0 とすると、
n>N∑∣yn∣p<n>N∑∣yn∣p0<1
(n∈N∑∣yn∣p)p1≤(∣y1∣p+⋯+∣yN∣p+1)p1≤(N+1)p1 が成り立つため、
p→∞limsup(n∈N∑∣yn∣p)p1≤p→∞limsup(N+1)p1=1
パート 3.
上の パート 1. と パート 2. に従って、
p→∞limsup(n∈N∑∣yn∣p)p1≤1≤p→∞liminf(n∈N∑∣yn∣p)p1
結果として、以下を得る。
p→∞lim(n∈N∑∣yn∣p)p1=1
■