2026년 1월 8일

​잘 알지 못하는 위상수학의 세계로 들어간다. 숫자 8처럼 생긴 '8자 모양 공간(Figure-8 space)'의 기본군(Fundamental group)은 $\mathbb{Z} \times \mathbb{Z}$, 즉 두 개의 생성원을 가진 자유군(Free Group)이다.