logo

複素体のフィルトレーション 📂位相データ分析

複素体のフィルトレーション

定義 1

KK単体複体とする。部分集合LKL \subset Kも単体複体であれば、KK部分複体という。 =K0K1Km=K \emptyset = K^{0} \subset K^{1} \subset \cdots \subset K^{m} = K KKの部分複体からなるネステッドシークエンスKKのフィルトレーションという。一般的に、全てのimi \ge mに対して、Ki=KmK^{i} = K^{m}とする。このようなフィルトレーションが存在する場合、KKフィルタード複体と呼ぶ。

説明

アセンディングチェーン

Filtered_Complex.png

上記のフィルタード複体のサブ複体は、m=0,,5m = 0,\cdots,5に関して、アセンディングチェーンに類似した構造を示している。 K0K1K2K3K4K5 K^{0} \subset K^{1} \subset K^{2} \subset K^{3} \subset K^{4} \subset K^{5} フィルターという表現は、最大の単体がネットにかかっていく(←左方向へ)と、徐々に小さくなるイメージを思い浮かべさせるが、数学では必ずしも縮小する方向だけを想像する必要はない。

トポロジカルデータ分析

ヴィートリス=リップス複体チェック複体のような複体は、与えられた半径ε>0\varepsilon > 0によって決まり、このε\varepsilonを少しずつ増加させて得られる複体を列挙すると、それがフィルタード複体となる。このようなフィルタード複体内で、トポロジカルな性質が現れたり消えたりする永続性を調べ、データの特徴を分析するのが、トポロジカルデータ分析の1つのアプローチである。

参照

様々なフィルトレーション

A1A2An A_{1} \subset A_{2} \subset \cdots \subset A_{n} \subset \cdots 数学全般において、構造がネステッドシークエンスを形成する場合、それをフィルトレーションと呼ぶ。


  1. Zomorodian. (2005). Computing Persistent Homology: 2.2 ↩︎