複体

ウィキペディア

複体

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/07/23 08:41 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）』 (2020/07/18 09:27 UTC 版)

「代数的位相幾何学」の記事における「複体」の解説

詳細は「複体」および「CW複体」を参照 単体的複体は或る種の位相空間であって、点、線分、三角形やそれらの n 次元の対応物を接着することで構成される。単体的複体を現代的な単体的ホモトピー論に現れるより抽象的な概念である単体的集合と混同してはならない。単体的複体の純粋に組み合わせ論的な対応物が抽象単体的複体である。 CW複体はJ・H・C・ホワイトヘッド（英語版）がホモトピー論の要請にしたがって導入した位相空間の一種である。この空間のクラスは単体的複体のクラスよりも広大であり、かつ幾つかのより良い圏論的性質を持つが、なお（しばしばより小さな複体による）計算を許す組合せ論的な特質を保っている。