|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ー ： [ちょうおん] (n) long vowel mark (usually only used in katakana) ・ 定理 ： [ていり] 【名詞】 1. theorem 2. proposition ・ 理 ： [り] 【名詞】 1. reason
数学におけるハーン–バナッハの定理（ハーン–バナッハのていり、）は、関数解析学の分野における中心的な道具で、ベクトル空間の部分空間上で定義される有界線形汎関数が全空間への拡張できることについて述べたものである。これにより、どのようなノルム線形空間においても、その上で定義される連続線形汎関数が、双対空間の研究を「面白い」ものにするに「十分」なほどたくさんあることがわかる。ハーン-バナッハの定理の別形態のものとして、ハーン–バナッハの分離定理あるいは分離超平面定理と呼ばれるものがあり、の分野で多く用いられている。 定理の名前の由来は、1920年代後半にそれぞれ独立にこの定理を証明したハンス・ハーンとステファン・バナッハである。定理の特別な場合〔ある区間 上の連続関数からなる空間''C'' の場合。〕については、より早い段階（1912年）でエードゥアルト・ヘリーによって証明されており、またこの定理が導出されるようなある一般の拡張定理が、1923年にマルツェル・リースによって証明されていた〔リースの拡張定理を参照されたい。によれば、1918年にはすでにリースはこの定理の内容について知っていたとされる。〕。 ==定式化== 定理の最も一般な定式化においては、いくつかの準備が必要とされる。実数体 R 上のベクトル空間 ''V'' に対し、関数 がであるとは、 :任意の および ''x'' ∈ ''V'' に対して が成立する（正同次性） :任意の ''x'', ''y'' ∈ ''V'' に対して が成立する（劣加法性） が成立することを言う。 ''V'' 上のすべての半ノルム（特に、''V'' 上のすべてのノルム）は劣線形である。他の劣線形関数、特に凸集合のミンコフスキー汎関数なども同様に有用なものとなりうる。 ハーン-バナッハの定理は次のようなものである: が劣線形関数で、φ: ''U'' → R が線形部分空間 ''U'' ⊆ ''V'' 上の線形汎関数であり、''U'' 上では φ は によって支配されるようなもの、すなわち : が成立するようなものとする。このとき、φ には全空間 ''V'' へのある線形拡張 ψ: ''V'' → R が存在する。すなわち、次を満たすような線形汎関数 ψ が存在する: : および : ハーン–バナッハの定理の別形態は次のようなものである: ''V'' を係数体 K （実数 R あるいは複素数 C）上のベクトル空間とし、 を半ノルムとし、φ: ''U'' → K を ''V'' の K-線形部分空間 ''U'' 上の K-線形汎関数とし、''U'' 上ではその絶対値が によって支配されるもの、すなわち : が成立するものとする。このとき、φ には全空間 ''V'' への線形拡張 ψ: ''V'' → K が存在する。すなわち、次を満たすような K-線形汎関数 ψ が存在する: : および : この定理の複素数の場合において C-線形性を仮定として要求するということは、実数の場合での仮定に、すべてのベクトル ''x'' ∈ ''U'' に対して、ベクトル も ''U'' に属し、 が成立するという仮定を加えて要求するということである。 一般には、拡張 ψ は φ によって一意に定まるものではなく、また、定理の証明を見ても ψ を見つける明示的な方法は分からない。無限次元空間 ''V'' の場合には、選択公理の一形態であるツォルンの補題が、証明に必要とされる。 によれば、 に対する劣線形性の条件は、条件 : に、少し弱めることが出来る。この条件は、ハーン–バナッハの定理と凸性の間の深い関係を明らかにするものである。 Mizarプロジェクトは、ハーン–バナッハの定理の完全な定式化と自動検証された証明をHAHNBAN file に有している。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「ハーン–バナッハの定理」の詳細全文を読む スポンサード リンク
|