翻訳と辞書
Words near each other
・ 超常殺人者2
・ 超常現象
・ 超常現象研究家
・ 超常磁性
・ 超常芸人サバ〜イ!
・ 超常芸人サバ~イ!
・ 超幕末少年世紀タカマル
・ 超平凡博士★タナカ
・ 超平和バスターズ
・ 超平面
超平面分離定理
・ 超幾何函数
・ 超幾何分布
・ 超幾何定理
・ 超幾何微分方程式
・ 超幾何級数
・ 超幾何関数
・ 超広帯域無線
・ 超広角レンズ
・ 超廃人


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

超平面分離定理 : ミニ英和和英辞書
超平面分離定理[ちょうへいめん]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

: [ちょう]
  1. (n,n-suf,pref) super- 2. ultra- 3. hyper- 
: [たいら, ひら]
 【名詞】 1. the broad 2. the flat 3. palm
平面 : [へいめん]
 【名詞】 1. level surface 2. plane 
: [めん]
  1. (n,n-suf) face 2. mug 3. surface 4. facial features 5. mask 6. face guard 7. side or facet 8. corner 9. page 
: [ぶん, ふん]
  1. (n,n-suf,pref) (1) part 2. segment 3. share 4. ration 5. (2) rate 6. (3) degree 7. one's lot 8. one's status 9. relation 10. duty 1 1. kind 12. lot 13. (4) in proportion to 14. just as much as 1
分離 : [ぶんり]
  1.separation 2. detachment 3. segregation 4. isolation, 5. dissociated, dissociation
定理 : [ていり]
 【名詞】 1. theorem 2. proposition
: [り]
 【名詞】 1. reason 

超平面分離定理 ( リダイレクト:分離超平面定理 ) : ウィキペディア日本語版
分離超平面定理[ぶんりちょうへいめんていり]

分離超平面定理(ぶんりちょうへいめんていり、)は 次元ユークリッド空間上の互いに素凸集合に関する幾何学における 2 つの定理を指す。

一つ目の定理は、互いに素な凸集合の両方が閉集合であってかつ少なくともいずれか 1 つの凸集合がコンパクト集合である場合、2 つの閉凸集合の間に 1 つの超平面が存在でき、また閉凸集合の間に 2 つの平行な超平面を隙間を作って置くことができることを示す。

二つ目の定理は、互いに素な凸集合があり両者が開集合である場合、2 つの開凸集合の間に 1 つの超平面をはさむことができるが、2 つの開凸集合の間には必ずしも隙間が存在するわけではないことを示す(従って第一の定理と異なり、複数の超平面を重ねずに挟むことができない状況が存在する)。

分離超平面に対して直交する分離軸 と呼ぶ。これは、2 つのの分離軸への直交写像が互いに素であることによる。

分離超平面定理はヘルマン・ミンコフスキーの寄与によって発見された。ハーン=バナッハの分離定理はミンコフスキーの結果を線型位相空間へ一般化したものである。

関連する結果としてがある。マージン最大化超平面 は空間上にある点の集まりを 2 つのクラスタに分離する超平面の中で、両者のクラスタからの距離が等しいようなものである。このとき、それぞれのクラスタと分離超平面の間のマージンは最大化される。この事実はサポートベクターマシンなどに応用される。

== ステートメントと証明 ==


証明は以下の補題に基づく:

;補題の証明:
上のベクトル のノルムの下限を とする。 となるような 上の数列 について、 の凸性より が成り立つ。また、
:\left|\frac\right|^2 \ge \inf\ = \delta
であることから
:|x_i - x_j|^2 = 2|x_i|^2 + 2|x_j|^2 - |x_i + x_j|^2 \le 2|x_i|^2 + 2|x_j|^2 - 4\delta^2
が得られる。上記の関係について極限を取れば右辺は 0 となり、従って
:|x_i - x_j| \le 0
を満たす。すなわち はコーシー列であり、コーシー列の基本的性質からその極限値は に含まれるので、 はベクトル の最小ノルムとなる。最小ノルムを持つベクトルの一意性について、ベクトル が最小ノルム を持つならば、
:|x - y|^2 \le 2|x|^2 + 2|y|^2 - 4\delta^2 = 0
となるから である。□

;定理の証明:
互いに素な空でない凸集合 が与えられるとして、次のようなを考える。
:K = A + (-B) = \.
は凸なので もまた凸である。 と の(したがって の)凸性から上記のミンコフスキー和 は凸である。

閉包 は凸なので、先に示した補題より について最小ノルムを持つベクトル が一意に定まる。 の凸性から、任意のベクトル について、線分
:v + t(u - v), \, 0 \le t \le 1
上の点はすべて に含まれるため、閉包 のベクトルのノルムについて以下の関係が成り立つ。
:|v|^2 \le |v + t(u - v)|^2 = |v|^2 + 2 t \langle v, u - v \rangle + t^2|u - v|^2, \quad (0 \le t \le 1).
この関係より直ちに次の結果が得られる:
:0 \le 2 \langle v, u \rangle - 2 |v|^2 + t|u - v|^2, \quad (0 < t \le 1).
更に、 について の極限を取れば上記の関係は
:\langle v, u \rangle \ge |v|^2
と書き換えられる。従って、任意の および について、
:\langle v, x - y \rangle \ge |v|^2
が成り立つ。

ベクトル が零ベクトルでないならば、この関係より
:\inf_ \langle x, v \rangle \ge |v|^2 + \sup_ \langle y, v \rangle
を得て証明を終わる。

== 反例と一意性 ==
または の一方が凸集合でない場合、「分離定理」に対しては様々な反例が挙げられる。例えば と は同心円状にとることができる。

より微妙な反例として、 と の両方が閉凸集合だがいずれもコンパクトでない場合が挙げられる。例として、 が閉半平面で が双曲線の分枝の一方であるとすれば、この場合には分離超平面は厳密には存在しない(しかしながら、開凸集合に関する分離定理があるために および の内部を分離する超平面が 1 つ存在する):
:A = \
:B = \.\

他のタイプの反例として がコンパクトな閉凸集合であり が開凸集合である場合がある。例えば、 を正方形の閉集合、 を正方形の開集合として と が接している状況がこれに当てはまる。

閉凸集合に関する分離定理では分離超平面を一意に決めることができないことは明らかである。開集合バージョンの分離定理では、超平面が一意に定まる場合もあるしそうでない場合もあり得る。技術的なことだがこれらのことは分離軸について言い換えられる。閉凸集合の分離定理では分離軸を一意に決められないが、開凸集合の分離定理では分離軸を一意に決定できる。


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「分離超平面定理」の詳細全文を読む




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.