HahnーBanach拡張の一意性の条件　strictly convex

HahnーBanach拡張の一意性
 
 定理：（Hahn-Banachの拡張定理）
$${X}$$を線形ノルム空間とする。$${Y}$$ を$${X}$$ の部分空間とする。このとき、$${g\in Y'}$$に対して、$${f\in X'}$$ が存在して、$${f\left| Y \right.=g}$$ かつ$${\left\| f \right\|=\left\| g \right\|}