In geometry, the hyperplane separation theorem is a theorem about disjoint convex sets in n-dimensional Euclidean space. There are several rather similar versions. In one version of the theorem, if both these sets are closed and at least one of them is compact, then there is a hyperplane in between them and even two parallel hyperplanes in between them separated by a gap. In another version, if both disjoint convex sets are open, then there is a hyperplane in between them, but not necessarily any gap. An axis which is orthogonal to a separating hyperplane is a separating axis, because the orthogonal projections of the convex bodies onto the axis are disjoint.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Trennungssatz (de)
- Hyperplane separation theorem (en)
- 分離超平面定理 (ja)
- Теорема об опорной гиперплоскости (ru)
- Теорема про розділову гіперплощину (uk)
|
| rdfs:comment
| - Der Trennungssatz (auch Satz von Eidelheit, benannt nach Meier Eidelheit) ist ein mathematischer Satz über die Möglichkeiten zur Trennung konvexer Mengen in normierten Vektorräumen (oder allgemeiner lokalkonvexen Räumen) durch lineare Funktionale. Dabei handelt es sich um geometrische Folgerungen aus dem Satz von Hahn-Banach. Wie dieser beruht daher der Trennungssatz auf einem nicht-konstruktiven Argument, wie dem Lemma von Zorn beziehungsweise dem Auswahlaxiom. (de)
- Теорема об опорной гиперплоскости или теорема о разделяющей гиперплоскости является одним из важных «свойств» выпуклых множеств. (ru)
- In geometry, the hyperplane separation theorem is a theorem about disjoint convex sets in n-dimensional Euclidean space. There are several rather similar versions. In one version of the theorem, if both these sets are closed and at least one of them is compact, then there is a hyperplane in between them and even two parallel hyperplanes in between them separated by a gap. In another version, if both disjoint convex sets are open, then there is a hyperplane in between them, but not necessarily any gap. An axis which is orthogonal to a separating hyperplane is a separating axis, because the orthogonal projections of the convex bodies onto the axis are disjoint. (en)
- 分離超平面定理（ぶんりちょうへいめんていり、英: separating hyperplane theorem, hyperplane separation theorem）は n 次元ユークリッド空間上の互いに素な凸集合に関する幾何学における 2 つの定理を指す。 一つ目の定理は、互いに素な凸集合の両方が閉集合であってかつ少なくともいずれか 1 つの凸集合がコンパクト集合である場合、2 つの閉凸集合の間に 1 つの超平面が存在でき、また閉凸集合の間に 2 つの平行な超平面を隙間を作って置くことができることを示す。 二つ目の定理は、互いに素な凸集合があり両者が開集合である場合、2 つの開凸集合の間に 1 つの超平面をはさむことができるが、2 つの開凸集合の間には必ずしも隙間が存在するわけではないことを示す（従って第一の定理と異なり、複数の超平面を重ねずに挟むことができない状況が存在する）。 分離超平面に対して直交する軸を分離軸 (separating axis) と呼ぶ。これは、2 つのの分離軸への直交写像が互いに素であることによる。 分離超平面定理はヘルマン・ミンコフスキーの寄与によって発見された。ハーン＝バナッハの分離定理はミンコフスキーの結果を線型位相空間へ一般化したものである。 (ja)
- В геометрії, теорема про розділову гіперплощину (англ. hyperplane separation theorem) складається з двох варіантів теорем про опуклі множини, які не перетинаються, в -мірному евклідовому просторі. У першій версії теореми, якщо обидві ці множини замкнені і принаймні одна з них компактна, то існує гіперплощина, яка їх розділяє по двом різним півпросторам, утвореним гіперплощиною, або навіть дві паралельні гіперплощини, що розділені зазором. У другому варіанті, якщо обидві опуклі множини не перетинаються та відкриті, то існує гіперплощина, яка їх розділяє, але ці множини не обов'язково будуть розташовані на ненульовій відстані одна від одної. Вісь, ортогональна до розділової гіперплощини є віссю поділу, коли ортогональні проєкції опуклих тіл на вісь не перетинаються. (uk)
|
| name
| - Hyperplane separation theorem (en)
|
| foaf:depiction
| |
| dct:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| thumbnail
| |
| Link from a Wikipa... related subject.
| |
| caption
| - Illustration of the hyperplane separation theorem. (en)
|
| field
| - Convex geometry (en)
- Topological vector spaces (en)
- (en)
- Collision detection (en)
|
| type
| |
| has abstract
| - Der Trennungssatz (auch Satz von Eidelheit, benannt nach Meier Eidelheit) ist ein mathematischer Satz über die Möglichkeiten zur Trennung konvexer Mengen in normierten Vektorräumen (oder allgemeiner lokalkonvexen Räumen) durch lineare Funktionale. Dabei handelt es sich um geometrische Folgerungen aus dem Satz von Hahn-Banach. Wie dieser beruht daher der Trennungssatz auf einem nicht-konstruktiven Argument, wie dem Lemma von Zorn beziehungsweise dem Auswahlaxiom. (de)
- In geometry, the hyperplane separation theorem is a theorem about disjoint convex sets in n-dimensional Euclidean space. There are several rather similar versions. In one version of the theorem, if both these sets are closed and at least one of them is compact, then there is a hyperplane in between them and even two parallel hyperplanes in between them separated by a gap. In another version, if both disjoint convex sets are open, then there is a hyperplane in between them, but not necessarily any gap. An axis which is orthogonal to a separating hyperplane is a separating axis, because the orthogonal projections of the convex bodies onto the axis are disjoint. The hyperplane separation theorem is due to Hermann Minkowski. The Hahn–Banach separation theorem generalizes the result to topological vector spaces. A related result is the supporting hyperplane theorem. In the context of support-vector machines, the optimally separating hyperplane or maximum-margin hyperplane is a hyperplane which separates two convex hulls of points and is equidistant from the two. (en)
- 分離超平面定理（ぶんりちょうへいめんていり、英: separating hyperplane theorem, hyperplane separation theorem）は n 次元ユークリッド空間上の互いに素な凸集合に関する幾何学における 2 つの定理を指す。 一つ目の定理は、互いに素な凸集合の両方が閉集合であってかつ少なくともいずれか 1 つの凸集合がコンパクト集合である場合、2 つの閉凸集合の間に 1 つの超平面が存在でき、また閉凸集合の間に 2 つの平行な超平面を隙間を作って置くことができることを示す。 二つ目の定理は、互いに素な凸集合があり両者が開集合である場合、2 つの開凸集合の間に 1 つの超平面をはさむことができるが、2 つの開凸集合の間には必ずしも隙間が存在するわけではないことを示す（従って第一の定理と異なり、複数の超平面を重ねずに挟むことができない状況が存在する）。 分離超平面に対して直交する軸を分離軸 (separating axis) と呼ぶ。これは、2 つのの分離軸への直交写像が互いに素であることによる。 分離超平面定理はヘルマン・ミンコフスキーの寄与によって発見された。ハーン＝バナッハの分離定理はミンコフスキーの結果を線型位相空間へ一般化したものである。 関連する結果としてがある。マージン最大化超平面 (maximum-margin hyperplane) は空間上にある点の集まりを 2 つのクラスタに分離する超平面の中で、両者のクラスタからの距離が等しいようなものである。このとき、それぞれのクラスタと分離超平面の間のマージンは最大化される。この事実はサポートベクターマシンなどに応用される。 (ja)
- Теорема об опорной гиперплоскости или теорема о разделяющей гиперплоскости является одним из важных «свойств» выпуклых множеств. (ru)
- В геометрії, теорема про розділову гіперплощину (англ. hyperplane separation theorem) складається з двох варіантів теорем про опуклі множини, які не перетинаються, в -мірному евклідовому просторі. У першій версії теореми, якщо обидві ці множини замкнені і принаймні одна з них компактна, то існує гіперплощина, яка їх розділяє по двом різним півпросторам, утвореним гіперплощиною, або навіть дві паралельні гіперплощини, що розділені зазором. У другому варіанті, якщо обидві опуклі множини не перетинаються та відкриті, то існує гіперплощина, яка їх розділяє, але ці множини не обов'язково будуть розташовані на ненульовій відстані одна від одної. Вісь, ортогональна до розділової гіперплощини є віссю поділу, коли ортогональні проєкції опуклих тіл на вісь не перетинаються. Теорему про розділову гіперплощину досліджував Герман Мінковський. Теорема Гана-Банаха узагальнює результат на випадок топологічних векторних просторів. Наслідком з цієї теореми є теорема про опорну гіперплощину. В геометрії, максимально розділовою гіперплощиною є гіперплощина, яка відокремлює дві «множини» точок і знаходиться на рівній відстані від обох. Відстань між гіперплощиною і множинами максимальна. Див. статтю про опорні вектори для більш докладної інформації. (uk)
|
| conjectured by
| |
| generalizations
| |
| open problem
| |
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is rdfs:seeAlso
of | |
| is Link from a Wikipage to another Wikipage
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)
