ハーン・バナッヒの定理:内容と応用