デジタルトポロジー
デジタルトポロジーとは、画素（2次元ではピクセル、3次元ではボクセル）によって構成される離散空間上の位相的構造を研究する分野である。あらかじめ定められた隣接関係に基づき、点同士がどのように連結しているかを記述する。
通常の位相空間論が連続的な空間を対象とするのに対し、デジタルトポロジーは離散的なデータを扱う。このため、画像処理、コンピュータグラフィックス、コンピュータビジョンなどの分野で重要な役割を果たしている。
デジタル空間では、点同士のつながり方を定義するためにさまざまな接続規則が用いられる。代表的なものとして、2次元空間における4近傍と8近傍、3次元空間における6近傍、18近傍、26近傍がある。
デジタルトポロジーにおける開集合
デジタルトポロジーでは、集合 \(U\) の任意の点 \(x \in U\) に対し、選択された近傍関係によって定まる隣接点がすべて \(U\) に含まれているとき、集合 \(U\) は開集合とみなされる。
ここで重要になるのが「隣接点」または「近傍点」という考え方である。どの点を近傍とみなすかは、採用する接続規則によって決まる。
例えば、環状の格子構造では、各点は左右の2点と隣接している。このような構造は2近傍と呼ばれる。
2次元平面では、ある点が上下左右の4点と接続される場合を4近傍という。また、対角方向を含む周囲8点すべてと接続される場合を8近傍という。
さらに3次元デジタル空間では、点同士の接続関係を6近傍、18近傍、26近傍のいずれかによって定義することが一般的である。
例
2近傍に基づくデジタル円上の点集合を考えてみよう。
この構造では、各点は左右にある2つの点と隣接している。
例えば、点2は点1および点3と隣接している。
このとき、集合 \(U\) に含まれる任意の点の近傍点もすべて \(U\) に含まれていれば、\(U\) はデジタルトポロジーにおける開集合となる。
この定義は、離散空間においても点同士の連続的なつながりを捉えるための考え方といえる。
デジタルトポロジーと離散位相の違い
デジタルトポロジーと離散位相は、どちらも離散的な空間を扱うが、同じ概念ではない。
- 離散位相（Discrete Topology）
集合 \(X\) のすべての部分集合が開集合となる位相である。 - デジタルトポロジー（Digital Topology）
開集合であるかどうかは、点同士の隣接関係や連結性によって決まる。
両者の違いはどこにあるのだろうか。
離散位相では、どのような部分集合であっても開集合である。一方、デジタルトポロジーでは、指定された接続規則を満たす集合だけが開集合とみなされる。
そのため、デジタルトポロジーではすべての部分集合が開集合になるわけではない。
例えば、互いに接続されていない2つの孤立したピクセルからなる集合は、デジタルトポロジーでは開集合とはみなされない。しかし、離散位相では同じ集合も開集合となる。
言い換えれば、デジタルトポロジーはデジタル空間における連結性を表現するための理論であり、離散位相は各点を独立した要素として扱う理論である。
例
2近傍に基づく環状構造上の点集合 \(\{1, 2, 3, 4\}\) を考える。
- 集合 \(\{1, 2\}\) は、点1と点2が直接隣接しているため、デジタルトポロジーでは開集合である。
- 集合 \(\{1, 3\}\) は、点1と点3が直接接続されていないため、開集合ではない。
一方、同じ点集合 \(\{1, 2, 3, 4\}\) を離散位相で考えると、\(\{1, 2\}\) も \(\{1, 3\}\) も開集合となる。離散位相では、すべての部分集合が開集合だからである。
注。同じ離散空間 \(\{1, 2, 3, 4\}\) を考えた場合、デジタルトポロジーは開集合を定義する際に連結性の条件を課すため、離散位相よりも制約が厳しい。
このように、デジタルトポロジーは離散空間における「つながり」を扱うための理論であり、画像解析やデジタル幾何学の基礎を支える重要な概念となっている。
