単体複体

ウィキペディア

複体

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/09/10 19:52 UTC 版)

複体の例

単体複体（たんたいふくたい、英: simplicial complex）（略して複体（ふくたい、英: complex）ということもある）とは、複数の単体を、同じ次元の面（部分単体）同士で貼り合わせてできる図形である。代数的位相幾何学における単体集合は単体複体と混同されやすいが、単体集合は単体複体の圏論的な抽象化であり、単体圏からの関手として定義される概念として区別されるべきである。むしろ単体複体の性質から、各々の単体はその頂点の集合で完全に決定され、複体を頂点全体の集合とその部分集合の族の組として組合せ論的に表示することができる。この様に組合せ論的に表示された複体を抽象単体複体と呼ぶ。

定義

有限個の単体の集合 K が、以下の条件を満たす時、K を単体複体であると言う。

1. a ∈ K かつ c が a の面ならば c ∈ K である。
2. a, b ∈ K ならば、a ∩ b は空集合でない限り a の面かつ b の面である。

順序集合としての定義

単体複体は順序集合としても定義され、それは組合せ論的に与えられる抽象単体複体と等価である。順序集合 (X, ≤) が単体的 (simplex-like) であるとは、a ∈ X ならばある有限集合 V_a が存在して

$X_{\leq a}=\{f\in X\mid f\leq a\}\simeq {\mathfrak {P}}(V_{a})$

主要概念

• 開集合 / 閉集合
• 連続性
• 空間
  • コンパクト
  • ハウスドルフ
  • 距離
  • 一様
• ホモトピー
  • ホモトピー群
• 基本群
• 単体複体
• CW複体
• 完全列
• ホモロジー代数
• K理論

• 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 となる。