一様凸性
📂バナッハ空間一様凸性
定義
(X,∥⋅∥)をノルム空間と呼ぼう。∥⋅∥が以下の条件を満たす場合、Xのノルム∥⋅∥は一様に凸uniformly convexだと言う。
- 0<ϵ≤2の全てのϵに対して、正数δ(ϵ)>0が存在してx,y∈Xで、∥x∥=∥y∥=1かつ∥x−y∥≥ϵならば∥(x+y)/2∥≤1−δ(ϵ)を満たす。
このときノルム空間X自体も一様に凸だと言う。もしノルメーブル空間normable spaceが一様に凸なノルムを持つなら、やはり一様に凸だと言われる。
説明
注意すべき点は、X上で定義されたあるノルムが一様に凸だとしても、別の等価なノルムanother equivalent normも一様に凸であるわけではないということだ。
定理
ヒルベルト空間は一様に凸である。
証明
0<ϵ≤2なる正数ϵが与えられたとしよう。Hがヒルベルト空間であり、x,y∈H、∥x∥=∥y∥=1であり、∥x−y∥≥ϵとする。
平行四辺形法則(../1842)
∥x+y∥2+∥x−y∥2=2(∥x∥2+∥y∥2)
x,yを平行四辺形法則に代入すると
∥x+y∥2+∥x−y∥2=2(∥x∥2+∥y∥2)
⟹∥x+y∥2=4−∥x−y∥2≤4−ϵ2
⟹∥x+y∥2≤4−ϵ2
まとめると
∥x+y∥≤4−ϵ2⟹2x+y=21∥x+y∥≤214−ϵ2
このとき0<ϵ≤2なので、右辺の範囲は0≤214−ϵ2<1である。従って、ヒルベルト空間は完備空間なので、ある正数δ(ϵ)をϵに依存して以下のように表せる。
2x+y≤1−δ(ϵ)
■