위상 공액

계산물리 수치해석 물리 마지막 수정: 2026-08-16 04:39:06

1. 개요[편집]

위상 공액 Topological conjugacy
정의(사상)	위상동형 h 로 h ∘ f = g ∘ h
정의(흐름)	모든 t 에 대해 h ∘ φ_t = ψ_t ∘ h
느슨한 판	위상 등가 — 시간 재매개화 허용
보존되는 것	주기점 개수 · 위상 엔트로피 · 극한집합 구조
보존 안 되는 것	랴푸노프 지수 · 고유값 · 주기(흐름의 등가)
대표 정리	하트만-그로브만 정리 (국소 공액)

위상 공액(topological conjugacy)은 두 동역학계 사이에 궤도를 궤도로, 시간 한 걸음을 시간 한 걸음으로 옮기는 위상동형이 존재하는 관계다. 이산계 $f:X\to X$ 와 $g:Y\to Y$ 에 대해 위상동형 $h:X\to Y$ 가

h\circ f = g\circ h

를 만족하면 $f$ 와 $g$ 는 위상 공액이라 한다. 양변을 반복하면 $h\circ f^n = g^n\circ h$ 이므로, $h$ 는 한 계의 궤도 목록을 다른 계의 궤도 목록으로 통째로 번역하는 사전이다.

동역학계론이 “두 계가 같다”를 정의하는 방식이 이것이다. 좌표가 다르든, 변수 개수를 세는 방식이 다르든, 사전 하나로 옮길 수 있으면 같은 계로 친다. 동역학계 문서가 이 개념을 한 문단으로 소개하고 지나갔는데, 여기서는 무엇이 번역되고 무엇이 번역되지 않는가를 끝까지 따진다. 카오스의 존재 증명이 전부 이 관계 위에서 이루어지기 때문이다.

2. 흐름의 경우 — 공액과 등가는 다르다[편집]

흐름 $\varphi_t, \psi_t$ 에 대해서도 같은 식을 쓸 수 있다.

h\big(\varphi_t(\mathbf x)\big) = \psi_t\big(h(\mathbf x)\big) \qquad (\forall t)

이것이 위상 공액이다. 그런데 이 요구가 지나치게 세다. 시간이 그대로 보존되므로 주기궤도의 주기가 정확히 같아야 한다. 진동수 $\omega_1$ 인 조화진동자와 $\omega_2\ne\omega_1$ 인 조화진동자는 상평면 그림이 똑같은 동심원인데도 공액이 아니다.

그래서 흐름에서는 보통 한 단계 느슨한 관계를 쓴다. 위상 등가(topological equivalence)는 $h$ 가 궤도를 궤도로, 시간 방향을 보존하며 옮기기만 하면 되고 시간의 재매개화를 허용한다. 궤도 위를 얼마나 빨리 달리는지는 묻지 않는다는 뜻이다.

이 구분은 말장난이 아니다. 분기 이론의 분류가 전부 위상 등가로 이루어진다. 호프 분기의 정규형은 $\dot r = \mu r - r^3$ , $\dot\theta = \omega_0 + br^2$ 인데, 태어나는 극한주기궤도의 주기는 계마다 다르다. 공액을 요구했다면 “모든 초임계 호프 분기는 같다”는 문장 자체가 성립하지 않는다. 같은 이유로 흐름의 구조적 안정성도 등가로 정의한다 — 계를 조금 흔들면 주기가 조금 변하므로, 공액으로 정의하면 구조적으로 안정한 흐름이 사실상 없어진다.

반대로 하트만-그로브만 정리는 공액을 준다. 선형화가 시간을 그대로 보존한 채 원래 흐름을 재현한다는 강한 결론이며, 이 정리가 국소 위상 공액의 대표 사례다.

3. 무엇이 보존되는가[편집]

$h$ 가 위상동형이라는 것 말고는 아무 가정이 없으므로, 보존되는 것은 위상적으로 정의된 양뿐이다.

보존된다.

주기점의 개수 — 주기 $n$ 인 점의 집합이 서로 대응한다. 그래서 “주기 3인 점의 개수가 다르다”는 것만으로 두 계가 공액이 아님을 보일 수 있다.
위상 엔트로피 — 궤도를 유한 정밀도로 구별하는 데 필요한 정보량의 증가율. $C^0$ 불변량이라 카오스 판정의 표준 도구가 된다.
극한집합의 위상 구조 — 끌개가 점인지 폐곡선인지 칸토어 집합인지, 흡인 유역이 몇 조각인지.
디베이니 의미의 카오스 — 추이성·주기궤도 조밀성·초기조건 민감성 중 앞의 둘이 순수 위상적 성질이라 그대로 옮겨간다.
구조적 안정성 여부 자체.

보존되지 않는다.

랴푸노프 지수와 고정점의 고유값. 미분 정보이므로 위상동형이 옮겨줄 이유가 없다.
주기궤도의 주기(흐름의 등가에서).
불변 측도의 밀도 함수, 프랙탈 차원 중 미분에 기대는 것들.

고유값이 안 옮겨간다는 사실의 표본은 짧다. $\mathbb R$ 위의 두 사상 $f(x)=2x$ 와 $g(x)=3x$ 를 놓고

h(x) = \mathrm{sgn}(x)\,|x|^{\alpha}, \qquad \alpha = \frac{\ln 3}{\ln 2}

를 잡으면 $2^{\alpha}=3$ 이므로 $h(2x) = 2^{\alpha}h(x) = 3\,h(x)$ , 즉 $h\circ f = g\circ h$ 다. $h$ 는 $\mathbb R$ 의 위상동형이지만 원점에서 미분동형이 아니고, 두 계의 랴푸노프 지수는 $\ln2$ 와 $\ln3$ 으로 다르다. 위상 공액은 “얼마나 빨리 벌어지는가”를 전혀 보존하지 않는다.

같은 이유로 하트만-그로브만이 위상 공액밖에 주지 않는다는 사실이 뼈아프다. 감쇠율을 선형화에서 읽어 원래 계의 양이라 주장하려면 $C^1$ 이상의 공액이 필요하고, 그 조건이 스턴버그 정리의 비공명이다. 공액에도 등급이 있다 — $C^0 \subset C^1 \subset C^\infty \subset C^\omega$ 로 갈수록 사전은 많은 것을 옮기고, 존재하기는 어려워진다.¹

4. 고전 예제 — 텐트 사상과 로지스틱 사상[편집]

가장 유명한 공액은 $r=4$ 인 로지스틱 사상 $F(x) = 4x(1-x)$ 와 텐트 사상

T(x) = 1 - |2x-1| = \begin{cases} 2x, & x\le 1/2\\ 2-2x, & x>1/2\end{cases}

사이의 것이다. 사전은 다음 한 줄이다.

h(x) = \sin^2\!\Big(\frac{\pi x}{2}\Big)

확인은 배각공식이면 끝난다. $x\le1/2$ 에서

h(T(x)) = \sin^2(\pi x) = \big(2\sin\tfrac{\pi x}{2}\cos\tfrac{\pi x}{2}\big)^2 = 4h(x)\big(1-h(x)\big) = F(h(x))

이고, $x>1/2$ 에서는 $h(2-2x) = \sin^2(\pi-\pi x) = \sin^2(\pi x)$ 로 같은 값이 나온다. $h$ 는 $[0,1]$ 위의 증가 위상동형이다.

이 한 줄의 값어치가 크다. 텐트 사상은 기울기가 항상 $\pm2$ 인 조각별 선형 사상이라 주기점 개수, 엔트로피, 불변 측도를 손으로 다 셀 수 있다. 그 결과가 공액을 타고 로지스틱 사상으로 그대로 넘어간다 — $r=4$ 로지스틱 사상이 카오스라는 사실은 추정이 아니라 계산된 결론이다. 위상 엔트로피는 양쪽 다 $\ln2$ 이고, 랴푸노프 지수도 양쪽 다 $\ln2$ 인데 이건 앞 절과 모순이 아니다. $h$ 가 열린구간 $(0,1)$ 에서는 매끄러운 미분동형이고 자연 불변측도가 끝점 두 개에 질량을 주지 않으므로, 이 사전은 사실상 $C^1$ 공액이라 미분 정보까지 함께 넘어간다. 규칙의 예외가 아니라 규칙이 적용될 조건이 갖춰진 경우다.²

한편 두 사상 모두 원의 배가 사상 $D(\theta)=2\theta \bmod 1$ 의 준공액(semi-conjugacy) 상(factor)이다. $\psi(\theta)=\sin^2(\pi\theta)$ 로 두면

\psi(2\theta) = \sin^2(2\pi\theta) = 4\sin^2(\pi\theta)\big(1-\sin^2(\pi\theta)\big) = F(\psi(\theta))

인데 $\psi$ 는 $\theta$ 와 $1-\theta$ 를 같은 점으로 보내는 2 대 1 사상이라 위상동형이 아니다. 준공액은 $h$ 가 연속 전사이기만 하면 되는 느슨한 관계이고, 이때 엔트로피는 부등식 $h_{\mathrm{top}}(g)\le h_{\mathrm{top}}(f)$ 만 성립한다. 이 구조 덕분에 로지스틱 사상의 궤도를 이진 전개의 자릿수 밀기로 읽을 수 있다 — 배가 사상은 이진수를 한 칸 왼쪽으로 미는 사상이기 때문이다.

5. 기호동역학 — 공액을 카오스 증명 도구로[편집]

배가 사상 이야기를 일반화한 것이 기호 동역학이다. 상태공간을 유한 개 조각 $\{P_0,\dots,P_{m-1}\}$ 으로 나누고 궤도가 지나간 조각의 번호를 적으면 궤도마다 기호열이 붙는다. 이 분할이 마르코프 분할이면(각 조각의 상이 다른 조각을 온전히 덮거나 아예 만나지 않으면) 대응이 정확해져서, 원래 사상이 기호열 공간 위의 이동사상 $\sigma(a)_n = a_{n+1}$ 과 위상 공액이 된다.

이 순간 동역학 문제가 조합론 문제로 바뀐다. 허용 전이를 0-1 행렬 $A$ 로 적으면

\#\mathrm{Fix}(\sigma^n) = \mathrm{tr}\,A^n, \qquad h_{\mathrm{top}} = \ln\rho(A)

로, 주기점 개수는 대각합이고 엔트로피는 고유값 문제의 스펙트럼 반지름이다. 무한히 많은 주기궤도가 존재한다거나 비주기 궤도가 비가산 개라는 진술이 전부 기호열을 세는 초등적 논증으로 내려온다.³

이 전략의 정점이 스메일 말굽이다. 말굽 위의 불변집합이 두 기호 이동사상과 공액임을 유한한 지면에서 증명할 수 있고, 스메일-버코프 정리가 “횡단 호모클리닉 궤도 교차가 하나라도 있으면 어떤 반복에 말굽이 들어 있다”고 말해 준다. 카오스를 증명한다 = 이동사상과의 공액을 찾는다가 이 분야의 표준 문법이 된 이유다. 컴퓨터 보조 증명(구간 해석으로 덮음 관계를 검증하는 방식)도 결국 이 공액을 엄밀하게 확인하는 작업이다.

6. 선형계의 공액 분류와 그 대가[편집]

쌍곡 선형 흐름은 놀랄 만큼 거칠게 분류된다. $\mathbb R^n$ 위의 두 쌍곡 선형 흐름은 안정 부분공간의 차원이 같기만 하면 위상 공액이다. 즉 $n=2$ 에서 안정 마디, 안정 초점, 안정 퇴화마디가 전부 한 부류다. 나선을 그리는지 곧장 들어오는지, 얼마나 빨리 들어오는지는 위상 공액이 보지 못하는 정보이기 때문이다.

여기에 하트만-그로브만을 얹으면 결론이 나온다. 쌍곡 평형점의 국소 위상 구조는 $(\dim E^s, \dim E^u)$ 라는 정수쌍 하나로 완전히 결정된다. 정리가 그토록 강력하면서 동시에 그토록 정보가 빈약한 이유가 이 한 문장에 다 들어 있다. 진동하며 수렴하는지 여부를 알고 싶다면 위상 공액 바깥으로 나가야 한다.

7. 수치해석에서[편집]

적분기는 다른 계다. 고정 시간간격 적분기는 사상 $\Phi_h$ 를 정의하는데, 이것이 원래 흐름의 시간 $h$ 사상과 공액이라는 보장은 없다. 실제로 $\dot x = x(1-x)$ 에 전진 오일러를 적용한 사상은 로지스틱 사상 $r=1+h$ 와 정확히 공액이어서, 원래 방정식에 없던 주기배가와 카오스가 통째로 생긴다. 자세한 계산은 동역학계 문서에 있다.
비교 기준으로서의 공액. 두 코드가 같은 물리를 푸는지 확인할 때, 궤적을 점대점으로 비교하는 것은 카오스계에서 무의미하다. 대신 비교해야 하는 것이 공액 불변량 — 주기궤도 스펙트럼, 위상 엔트로피, 분기 다이어그램의 구조다. “같은 답”이 아니라 “같은 부류”를 확인하는 것이 카오스 영역의 V&V 문법이다.
분기 소프트웨어가 등가로 말하는 이유. MatCont가 뱉는 “초임계 호프”라는 라벨은 정규형과의 위상 등가 주장이다. 주기나 진폭의 수치는 그 라벨에 들어 있지 않고, 별도로 연속화해서 얻어야 한다.

8. 관련 문서[편집]

그래서 논문에서 “두 계가 동등하다”는 문장을 보면 반사적으로 어느 급인지부터 확인해야 한다. $C^0$ 라면 그림만 같다는 뜻이고, $C^1$ 이라면 감쇠율까지 같다는 뜻이며, 둘 사이의 간격이 대개 논문 한 편 분량이다. ↩
그러니 “공액이니까 지수가 같다”도 “공액이라도 지수는 다르다”도 그 자체로는 틀린 문장이다. 답은 늘 사전이 어디서 매끄러운지 확인하는 것뿐인데, 그 확인을 건너뛰고 지수를 옮겨 적는 것이 이 바닥의 흔한 사고다. ↩
진짜 어려운 부분은 정리의 뒷문장이 아니라 앞문장이다. 마르코프 분할을 실제로 찾는 것이 어렵고, 대부분의 계에는 유한 분할이 존재하지도 않는다. 그래서 논문에서 “기호동역학으로 환원하면”이라는 문장을 만나면, 그 앞에 분할을 구성하느라 몇 페이지를 갈아 넣었는지 확인해 볼 만하다. ↩