ノルム空間の部分集合が有界集合であるための必要十分条件
📂バナッハ空間ノルム空間の部分集合が有界集合であるための必要十分条件
定義
直径
ノルム空間 (X,∥⋅∥)が与えられたとする。非空集合 M⊂Xの直径diameter diamMは、以下のように定義される。
diamM=:x,y∈Msup∥x−y∥
有界
diamM<∞を満たす場合、Mを有界boundedという。
説明
ノルム空間では、メトリックをd(x,y)=:∥x−y∥として自然に導出できるので、上の定義は距離空間で言うならば、以下のようになる。
diamM=:x,y∈Msupd(x,y)
下の定理から、ノルム空間の部分集合が有界であるということは、要素のノルムの集合が有界であることと同じであることが分かる。
定理
ノルム空間Xの部分集合M⊂Xが有界であるための必要十分条件は②正数c>0が存在し、全てのx∈Mに対して∥x∥≤cが成立することである。
証明
1◯⟹2◯
M⊂Xが有界であると仮定しよう。つまり、あるC>0に対して、以下が成立する。
x,y∈Msup∥x−y∥<C(1)
固定されたy∈Mに対して、cをc=C+∥y∥としよう。すると、全てのx∈Mに対して、以下が成立する。
∥x∥=∥x−y+y∥≤∥x−y∥+∥y∥<C+∥y∥=cby triangle inequalityby (1)
1◯⟸2◯
正数c>0が全てのx∈Mに対して∥x∥≤cを満たすと仮定しよう。すると、全てのx,y∈Mに対して∥x∥+∥y∥≤2cが成立する。∥x−y∥≤∥x∥+∥y∥であるから、
x,y∈Msup∥x−y∥<∞
■