複体
(単体複体 から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/09/10 19:52 UTC 版)
![]() |
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。(2015年9月)
|

単体複体(たんたいふくたい、英: simplicial complex)(略して複体(ふくたい、英: complex)ということもある)とは、複数の単体を、同じ次元の面(部分単体)同士で貼り合わせてできる図形である。代数的位相幾何学における単体集合は単体複体と混同されやすいが、単体集合は単体複体の圏論的な抽象化であり、単体圏からの関手として定義される概念として区別されるべきである。むしろ単体複体の性質から、各々の単体はその頂点の集合で完全に決定され、複体を頂点全体の集合とその部分集合の族の組として組合せ論的に表示することができる。この様に組合せ論的に表示された複体を抽象単体複体と呼ぶ。
定義
有限個の単体の集合 K が、以下の条件を満たす時、K を単体複体であると言う。
- a ∈ K かつ c が a の面ならば c ∈ K である。
- a, b ∈ K ならば、a ∩ b は空集合でない限り a の面かつ b の面である。
順序集合としての定義
単体複体は順序集合としても定義され、それは組合せ論的に与えられる抽象単体複体と等価である。順序集合 (X, ≤) が単体的 (simplex-like) であるとは、a ∈ X ならばある有限集合 Va が存在して
- Glossary
- Lists
- トピックス
- 一般
- 代数的
- 幾何学的
- 出版物
- トピックス
単体複体
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/02/11 06:13 UTC 版)
上の図のような単体複体でのベッチ数を計算する。これは0-単体として a, b, c, d, 1-単体として E, F, G, H, I, 2-単体として色のついた部分 J ただ一つをもつものである。この図の連結成分はただ一つであり、1 次元の穴は色のついてない部分すなわち頂点 a, c, d をもつ三角形の部分である。また平面上にあり、「空洞」をもたない。以上の事からb0=1, b1=1,b2=0 であり、ポアンカレ多項式は 1+t となる。
※この「単体複体」の解説は、「ベッチ数」の解説の一部です。
「単体複体」を含む「ベッチ数」の記事については、「ベッチ数」の概要を参照ください。
- 単体複体のページへのリンク