logo

CW 컴플렉스의 정의 📂위상데이터분석

CW 컴플렉스의 정의

개요 1

20220117_175400.png

CW 컴플렉스는 셀 컴플렉스cell Complex라고도 불리는 컴플렉스로, 다음의 재귀적인 프로시저로 구축한다.

정의

  1. 이산적인discrete 집합 X0≠∅X^{0} \ne \emptyset 을 00-셀cell로 간주한다.
  2. nn-스켈레톤skeleton XnX^{n} 은 Xn−1X^{n-1} 에서 nn-셀 eαne_{\alpha}^{n} 을 ϕα:Sn−1→Xn−1\phi_{\alpha} : S^{n-1} \to X^{n-1} 으로 붙임으로써 만들어낸다.
  3. X:=⋃n∈NXnX := \bigcup_{n \in \mathbb{N}} X^{n} 이 약한 위상을 가지는 위상공간이 될 때, XX 를 셀 컴플렉스라 한다.

설명

정의가 어렵고 복잡해보이는데 생각보다 만만하다. 솔직히 CW 컴플렉스 정도는 그렇게까지 자세히 알지 못해도 되니까 너무 부담은 갖지 않도록 하자.

그래프의 일반화

11-스켈레톤은 그 자체로 그래프다. 여기서 00-셀 X0=VX^{0} = V 는 버텍스의 집합, 11-셀 X1=EX^{1} = E 는 에지의 집합이 된다. eα1∈Ee_{\alpha}^{1} \in E 는 인덱스 α\alpha 에 따라 00-셀들을 잇는 에지고, 당연하지만 모든 00-셀을 이을 필요는 없다.

이러한 관점에서 셀 컴플렉스를 그래프의 일반화인 하이퍼 그래프hyper graph로 보아도 무방하다. 다음은 하이퍼 그래프를 나타낸 그림인데, 동시에 여러개의 버텍스를 연결하는 eke_{k} 들이 곧 셀 eαe_{\alpha} 들과 대응된다2.

262px-Hypergraph-wikipedia.png

CW의 유래 3

거의 대부분의 문헌에서 셀 컴플렉스라는 표현은 사용되지 않으며, 보통은 CW 컴플렉스라고 부른다. 이 이유를 알기 위해 정의를 자세하게 파고들어보자.

디스크와 스피어, 셀의 정의:

  1. 다음과 같이 정의된 Dn⊂RnD^{n} \subset \mathbb{R}^{n} 를 nn-유닛 디스크unit Disk라 한다. Dn:={x∈Rn:∥x∥≤1} D^{n} := \left\{ \mathbf{x} \in \mathbb{R}^{n} : \left\| \mathbf{x} \right\| \le 1 \right\}
  2. 다음과 같이 정의된 Sn⊂Rn+1S^{n} \subset \mathbb{R}^{n+1} 를 nn-유닛 스피어unit Sphere라 한다. Sn:={x∈Rn+1:∥x∥=1} S^{n} := \left\{ \mathbf{x} \in \mathbb{R}^{n+1} : \left\| \mathbf{x} \right\| = 1 \right\}
  3. Dn∖∂DnD^{n} \setminus \partial D^{n} 과 호메오멀픽한 개집합 ene^{n} 을 nn-셀cell이라고도 한다.

nn-디스크의 바운더리는 nn-스피어다. 다시 말해, 다음이 성립한다. ∂Dn=Sn−1 \partial D^{n} = S^{n-1}

우선 X0X^{0} 에 대해서는 큰 문제가 없을 것이다. eαne_{\alpha}^{n} 가 n−1n-1 스켈레톤을 붙인다는 것은 하이퍼 그래프에서 하나의 일반화된 kk-에지가 여러 버텍스를 잇는 것과 비슷하다. 조금 더 엄밀하게 말해, 우리는 nn-셀 eαne_{\alpha}^{n} 에 대응되는 맵 ϕα:Sn−1→Xn−1\phi_{\alpha} : S^{n-1} \to X^{n-1} 가 바운더리의 모든 점 x∈∂Dαnx \in \partial D_{\alpha}^{n} 에 동치관계 x∼ϕα(x) x \sim \phi_{\alpha} (x) 을 주어 몫공간을 만드는 것이다. 만약 이 설명이 어렵다면 학부 수준 위상을 다시 공부하면 된다. 위상수학에서 동치관계를 준다는 것―서로 다른 원소들을 사실상 같은 것으로 취급한다는 것은 직관적으로 보았을 때 ‘공간을 이어붙이는 것’이다. nn-스켈레톤 Xn:=xn−1∪⨆αDαnX^{n} := x^{n-1} \cup \bigsqcup_{\alpha} D_{\alpha}^{n} 은 이 몫사상 ϕα\phi_{\alpha} 들 하에서 몫공간이며, nn-셀 eαne_{\alpha}^{n} 은 그 몫사상 ϕα\phi_{\alpha} 하에서 Dαn∖∂DαnD_{\alpha}^{n} \setminus \partial D_{\alpha}^{n} 의 이미지image와 호메오멀픽하다.

한편 XX 가 약한 위상을 갖는다는 것은 A⊂XA \subset X 가 XX 에서 열린(닫힌) 집한인 것과 모든 n∈Nn \in \mathbb{N} 에 대해 A∩XnA \cap X^{n} 가 XnX^{n} 에서 열린(닫힌) 집합인 것이 동치인 것이다. 아주 일반적인 약한 위상의 개념과 바로 연결 지으려고 무리하지 않아도 되고, 잘 모르겠으면 그런가보다 하고 넘어가도 좋다.

어쨌든 CW 컴플렉스는 그 성질과 정의에서 다음의 두 글자를 따오게 되었다:

  • Closure-finiteness: 각 셀의 클로져는 유한히 많은 다른 셀들과 만난다. 이는 컴팩트와 관련있다.
  • Weak topology: 정의에서 약한 위상이 보장된다.

  1. Edelsbrunner, Harer. (2010). Computational Topology An Introduction: p5. ↩︎

  2. https://en.wikipedia.org/wiki/Hypergraph ↩︎

  3. Edelsbrunner, Harer. (2010). Computational Topology An Introduction: p520. ↩︎