きょく‐てん【極点】
極点
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2015/08/04 13:40 UTC 版)
数学において、ある実ベクトル空間内の凸集合 S の頂点、端点あるいは極点(きょくてん、英: extreme point)とは、S の任意の二点を結ぶ開線分に含まれない点のことを言う。直観的に言えば、極点は S の頂点 (vertex) と見做すことのできるような点である。
- クレイン=ミルマンの定理によると、S がある局所凸空間内で凸かつコンパクトであるなら、S はその極点集合の閉凸包であることが示されている。特に、そのような集合は極点を持つ。
クレイン=ミルマンの定理は局所凸位相ベクトル空間に対して述べられている。次の定理は、ラドン=ニコディム性を持つバナッハ空間に対して述べられる。
- ジョラム・リンデンシュトラウスの定理によると、ラドン=ニコディム性を持つバナッハ空間において、閉かつ有界な集合は極点を持つことが示されている(無限次元空間において、コンパクト性は、閉かつ有界よりも強い)[1]。
- ジェラルド・エドガーの定理によると、ラドン=ニコディム性を持つバナッハ空間において、閉かつ有界な集合はその極点集合の閉凸包であることが示されている。エドガーの定理はリンデンシュトラウスの定理を含むものである。
k-次元極点
より一般に、ある凸集合 S 内の点が k-次元の極点(あるいは短く k-極点)であるとは、それが S 内の k-次元凸集合の内部に属するが、k+1-次元凸集合の内部には属さないことを言う。したがって、極点は 0-次元極点でもある。S がポリトープであるなら、その k-次元極点の全体は S の k-次元面の内点の全体にちょうど一致する。より一般に、任意の凸集合 S に対し、その k-極点全体の成す集合は k-次元開面に分割することができる。
ミンコフスキーによる有限次元クレイン=ミルマンの定理は、k-極点の概念を用いてすばやく証明することが出来る。S が閉、有界かつ n-次元で、p が S 内のある点であるなら、ある k < n に対して p は k-極点となる。この定理では、p は極点の凸結合であることが主張されている。k = 0 であるなら、これは明らかに真である。そうでない場合は、p は S 内の(S は閉かつ有界なので)最大まで拡張することの出来る線分上にある。その線分の終点を q と r とするとき、それらの端点としてのランクは p よりも小さいものでなければならない。以後、帰納的に定理を証明できる。
関連項目
- ショケ理論
注釈
- ^ Artstein (1980, p. 173): Artstein, Zvi (1980). "Discrete and continuous bang-bang and facial spaces, or: Look for the extreme points". SIAM Review 22 (2): 172–185. doi:10.1137/1022026. JSTOR 2029960. MR 564562.
参考文献
- Paul E. Black: “extreme point”. Dictionary of algorithms and data structures. US National institute of standards and technology (2004年12月17日). 2014年11月3日閲覧。
- Borowski, Ephraim J.; Borwein, Jonathan M. (1989). “extreme point”. Dictionary of mathematics. Collins dictionary. Harper Collins. ISBN 0-00-434347-6.
「極点」の例文・使い方・用例・文例
- 北極点に到達することはやさしいことではない。
- 興奮は極点に達した。
- スコットは極点に到着した最初の男だ。
- 彼女の幸福[不幸]は極点に達している.
- 興奮は極点に達した.
- 暴風雨が極点に達した
- 彼の熱心は極点に達した
- 熱心が極点に達して狂気になった
- 蒸気の利用は極点に達している
- 英国は繁栄の極点に達している
- 彼は不運の極点に達している
- 不景気も極点に達すると直る
- あの頃は道徳の廃頽は極点に達した
- 北極点を中心とする北極圏の北側の地域
- 何かの頂点または極点(通常山または丘)
- 満潮の極点に達した状態
- 南極圏という,南極点を中心とする地域
- 到達することの出来る極点
- 北極点
極点と同じ種類の言葉
- >> 「極点」を含む用語の索引
- 極点のページへのリンク