logo

심플리셜 컴플렉스의 정의 📂위상데이터분석

심플리셜 컴플렉스의 정의

정의

어려운 정의 1

ΔkK \Delta^{k} \in K

유한히 많은 심플렉스들의 집합 KK 가 다음 두 조건을 만족하는 컴플렉스심플리셜 컴플렉스simplicial Complex라 한다.

  • (i): 만약 σK\sigma \in K 이고 τ\tauσ\sigma 의 페이스라면, τK\tau \in K 다. σKτσ    τK \sigma \in K \land \tau \le \sigma \implies \tau \in K
  • (ii): 만약 σ1,σ2K\sigma_{1}, \sigma_{2} \in K 라면, σ1σ2\sigma_{1} \cap \sigma_{2}공집합이거나 σ1\sigma_{1}σ2\sigma_{2} 의 페이스다. σ1,σ2K    (σ1σ2=)(σ1σ2σ1σ1σ2σ2) \sigma_{1} , \sigma_{2} \in K \implies \left( \sigma_{1} \cap \sigma_{2} = \empty \right) \lor \left( \sigma_{1} \cap \sigma_{2} \le \sigma_{1} \land \sigma_{1} \cap \sigma_{2} \le \sigma_{2} \right)

  • \land 는 논리적으로 ‘그리고’를 나타내는 논리곱 기호다.
  • \lor 는 논리적으로 ‘또는’를 나타내는 논리합 기호다.
  • 심플렉스 xx 의 페이스xx 에서 한 점을 빼고 만들어지는 심플렉스를 말한다.
  • 심플렉스 τ\tau, σ\sigma 에 대해 τσ\tau \le \sigma 라는 것은 τ\tauσ\sigma페이스face라는 것이다.

쉬운 정의

20220119_195610.png

심플렉스들을 이어붙인 집합이면서, 모든 이어진 부분이 심플렉스인 컴플렉스심플리셜 컴플렉스라고 한다.

설명

심플렉스는 그 자체로도 의미와 쓰임새가 있지만 그 컴플렉스심플리셜 컴플렉스를 구성함으로써 기하적인 특성을 갖는 거의 모든 추상적 객체의 근사approximation를 얻을 수 있다2. 가령 다음은 돌고래 형상의 트라이앵귤이션triangulation, 다시 말해 최대 22-심플렉스(삼각형)들을 모아 만든 심플리셜 컴플렉스다.

Dolphin_triangle_mesh.png

쉬운 정의에 따르면 집합을 이어붙여놨다는 말이 상당히 애매한데, 꽤 많은 문헌과 강연에서 이렇게 얼렁뚱땅 정의를 소개하고 넘어가곤 한다. 이는 심플리셜 컴플렉스의 실용적, 응용적인 부분을 설명함에 있어서 그 정의를 정확하게 따지는 것보다 그림 하나를 보여주는 게 이해도 잘 되고 설명도 편하기 때문이다.

물론 혼자 책 펴서 공부할 땐 어려운 정의로 정확히 알아야한다. 심플리셜 컴플렉스 KK 는 애초에 kk 개의 아핀독립인 점들의 컨벡스 헐심플렉스 Δk\Delta^{k} 의 집합, 다시 말해 집합의 집합인 패밀리고 따라서 σ1σ2\sigma_{1} \cap \sigma_{2} 과 같은 교집합을 생각할 수 있는 것이다.

폴리곤

폴리곤.png

정의에 따르면 폴리곤은 심플리셜 컴플렉스처럼 보이지만 사각형 등이 포함되어 있어 심플리셜 컴플렉스가 아니다.

같이보기

심플렉셜 컴플렉스는 집합 KK 가 주어진 조건을 모두 만족하면야 심플렉셜 컴플렉스고, 구체적으로 유일하게 어떻게 생겨야 한다고는 하지 않았다. 심플렉스를 정하는 방법에 따라 수도 없이 많은 컴플렉스를 생각해볼 수 있고, 같은 점(데이터)들을 가지고 있더라도 이들의 실전적인practical 특성에 따라 심플렉셜 컴플렉스도 천차만별이다.


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

  2. https://en.wikipedia.org/wiki/Triangulation_(topology) ↩︎