텐트 사상

계산물리 수치해석 물리 마지막 수정: 2026-08-22 04:31:07

1. 개요[편집]

텐트 사상 Tent map
정의	T_μ(x) = μ·min(x, 1−x)
도함수	\|T′\| = μ (꼭짓점 제외 어디서나 일정)
랴푸노프 지수	λ = ln μ (정확)
위상 엔트로피	ln μ (1 ≤ μ ≤ 2)
μ = 2	불변밀도 = 균등, λ = ln 2
공액 상대	완전 2-이동 · 로지스틱 사상 r = 4
주기 창	없음 (어디서나 팽창)

텐트 사상(tent map)은 구간 $[0,1]$ 위의 조각선형 단봉 사상

T_\mu(x) = \mu \min(x,\,1-x) = \begin{cases} \mu x, & x \le 1/2 \\ \mu(1-x), & x > 1/2 \end{cases} \qquad (0 < \mu \le 2)

으로, 카오스에 대해 알고 싶은 거의 모든 양을 손으로 계산할 수 있게 만든 최소 모형이다. $x=1/2$ 의 꼭짓점만 빼면 도함수의 크기가 어디서나 정확히 $\mu$ 라는 사실 하나가 이 사상의 모든 편의를 만들어 낸다. 랴푸노프 지수를 재려고 궤도를 백만 번 돌릴 필요가 없다. 정의식에 $|T'|=\mu$ 를 대입하면

\lambda = \lim_{N\to\infty}\frac1N\sum_{n=0}^{N-1}\ln|T'(x_n)| = \ln\mu

가 극한을 취하기도 전에 끝난다. $\mu>1$ 이면 $\lambda>0$ , 즉 카오스다. 수치 추정이 아니라 항등식이다.

로지스틱 사상이 “현실적인 모형”이라면 텐트 사상은 “증명 가능한 모형”이다. 실제로 $r=4$ 로지스틱 사상이 카오스라는 사실도 텐트 사상에서 계산한 결과를 위상 공액으로 옮겨 온 것이다. 이 문서는 그 계산들 — 불변측도, 이동사상 공액, 마르코프 분할, 그리고 이 사상이 컴퓨터 위에서 벌이는 악명 높은 사고 — 을 다룬다.

2. 무대 — 끌개는 어디에 있나[편집]

$\mu \le 1$ 이면 모든 궤도가 0으로 죽는다. 재미는 $1<\mu\le2$ 에서 시작한다. 이 구간에서 $x=0$ 은 불안정 고정점이 되고, 궤도는 임계점의 상이 만드는 구간

I_\mu = \bigl[\,T^2(1/2),\;T(1/2)\,\bigr] = \Bigl[\,\mu - \tfrac{\mu^2}{2},\;\tfrac{\mu}{2}\,\Bigr]

안으로 흡수된다. $\mu=2$ 면 $I_2 = [0,1]$ 로 구간 전체를 덮고, $\mu=1.5$ 면 $[0.375, 0.75]$ 로 줄어든다. 단봉 사상의 끌개가 항상 “임계점의 앞 몇 상”으로 둘러싸인다는 일반 원리의 가장 투명한 사례다.

내부 구조도 규칙적이다. $\sqrt2 < \mu \le 2$ 에서는 끌개가 한 덩어리 구간이지만, $\mu$ 를 $\sqrt2$ 아래로 내리면 끌개가 두 조각으로 갈라져 $T$ 가 둘을 번갈아 오간다. 계속 내리면 넷, 여덟으로 갈라지며, 그 분리점이 정확히

\mu_n = 2^{1/2^n} \qquad (\sqrt2,\ 2^{1/4},\ 2^{1/8},\ \ldots \to 1)

이다. $\mu=\sqrt2$ 에서 임계점 궤도를 따라가 보면 $0.5 \to 0.7071 \to 0.4142 \to 0.5858$ 이고 $0.5858 = \mu/(1+\mu)$ 가 바로 고정점이라, 임계 궤도가 유한 스텝 만에 불안정 고정점에 정확히 착지한다. 이런 파라미터를 미슈레비치 점이라 부르며, 밴드가 합쳐지는 자리는 언제나 여기다. 로지스틱 사상의 주기배가 캐스케이드를 거울에 비춘 듯한 밴드 합병 캐스케이드인데, 결정적 차이가 하나 있다 — 뒤에서 다룬다.

3. 이동사상 — 결정론인데 예측이 불가능한 이유[편집]

$\mu=2$ 를 잡자. 궤도가 꼭짓점의 왼쪽에 있는지 오른쪽에 있는지만 기록해 기호열을 만든다.

s_n = \begin{cases} 0, & x_n < 1/2 \\ 1, & x_n > 1/2 \end{cases}

이 여정(itinerary) 사상은 꼭짓점의 역상(가산 개)을 빼면 $[0,1]$ 과 기호열 공간 $\{0,1\}^{\mathbb N}$ 사이의 전단사이고, 그 위에서 $T_2$ 는 이동사상(shift) $\sigma(s_1s_2s_3\cdots) = s_2s_3s_4\cdots$ 와 위상 공액이다. 한 번 반복하면 기호를 한 칸 버린다. 그게 전부다.

여기서 자주 새는 디테일이 있다. 이 기호열은 $x$ 의 이진 전개 그 자체가 아니다. $x = 0.b_1b_2b_3\cdots_{(2)}$ 라 하면 실제 관계는

s_n = b_n \oplus b_{n-1} \qquad (b_0 = 0)

즉 여정은 $x$ 의 그레이 코드(반사 이진부호)다. 이유는 계산해 보면 바로 나온다. $x<1/2$ 면 $2x$ 는 이진 자리를 그냥 왼쪽으로 민다. 그런데 $x>1/2$ 면 $2-2x = 2(1-x)$ 이므로 모든 비트가 반전된 뒤 밀린다. 이 반전이 누적된 것이 배타적 논리합이다. 이진 전개가 순수하게 시프트되는 쪽은 텐트 사상이 아니라 배각 사상 $\theta\mapsto2\theta \bmod 1$ 이고, 텐트 사상은 그것의 2대1 인자(factor)다.¹

그레이 코드든 아니든 결론은 같다. 초기값의 $n$ 번째 비트가 $n$ 스텝 뒤에 궤도의 운명을 결정하는 최상위 비트로 올라온다. 초기조건을 소수점 아래 50비트까지 재도 50스텝 뒤에는 아무것도 모른다. “결정론적이지만 예측 불가능”이라는 문장이 여기서는 은유가 아니라 비트 회계다. 매 스텝 정확히 1비트, 즉 $\ln 2$ 나츠의 정보가 초기조건에서 관측 가능한 세계로 빠져나온다 — 그 값이 $\lambda = \ln 2$ 의 정보이론적 해석이다.

또 하나. 이동사상 공액이 있으면 카오스의 정의가 증명 가능한 명제로 바뀐다. 주기 $n$ 인 기호열의 개수가 $2^n$ 이므로 주기점이 조밀하게 존재하고, 임의의 두 기호열을 앞부분에서 일치시켰다가 뒤에서 갈라 놓을 수 있으므로 위상적 추이성과 초기조건 민감성이 따라 나온다. 데버니가 정의한 카오스의 세 조건을 문자열 세기로 확인하는 것이다. 기호 동역학이 존재하는 이유가 이것이고, 텐트 사상은 그 방법론의 원점이다.

4. 불변측도 — 전달연산자 한 줄[편집]

$\mu=2$ 의 불변밀도가 균등분포 $\rho\equiv1$ 이라는 것은 전달연산자(페론-프로베니우스 연산자)로 즉시 확인된다. 역상이 두 개( $x/\mu$ 와 $1-x/\mu$ )이고 각각의 도함수 크기가 $\mu$ 이므로

(\mathcal{L}\rho)(x) = \sum_{y \in T^{-1}(x)} \frac{\rho(y)}{|T'(y)|} = \frac{1}{\mu}\Bigl[\rho\bigl(\tfrac{x}{\mu}\bigr) + \rho\bigl(1-\tfrac{x}{\mu}\bigr)\Bigr]

$\mu=2$ , $\rho\equiv1$ 을 넣으면 $\tfrac12(1+1)=1$ . 고정점이다. 라소타-요크 정리(1973)가 $|T'|>1$ 인 조각별 매끄러운 팽창 사상에 대해 유계변동 밀도를 갖는 절대연속 불변측도의 존재를 보장하는데, 텐트 사상은 그 정리의 가정을 가장 단순하게 만족하는 표본이다.

$\mu<2$ 면 사정이 나빠진다. 밀도는 여전히 존재하지만 균등이 아니라 계단 함수이고, 계단의 위치는 임계점 궤도 $\{T^n(1/2)\}$ 가 정한다. 임계 궤도가 유한하면(미슈레비치 파라미터) 계단이 유한 개, 아니면 무한 개다. 실무에서는 울람 방법 — 구간을 $N$ 등분해 전달연산자를 $N\times N$ 확률행렬로 근사하고 그 주고유벡터를 거듭제곱법으로 뽑는 방식 — 으로 계산한다. 팽창 사상에서 이 근사가 참 밀도로 수렴한다는 것이 울람 예상이고, 1차원 팽창 사상에 대해서는 증명되어 있다.

$\mu=2$ 의 균등밀도를 $h(x)=\sin^2(\pi x/2)$ 로 옮기면 $r=4$ 로지스틱 사상의 아크사인 밀도 $1/\bigl(\pi\sqrt{x(1-x)}\bigr)$ 가 나온다. 공액의 계산 세부는 위상 공액 문서에 있으니 여기서는 결론만 쓴다 — 텐트 쪽에서 손으로 잰 값이 그대로 로지스틱 쪽 정답이다.

5. 마르코프 분할과 위상 엔트로피[편집]

$\mu=2$ 에서 $\{[0,\tfrac12],[\tfrac12,1]\}$ 는 마르코프 분할이다. 두 조각의 상이 각각 $[0,1]$ 전체라 전이행렬이

A = \begin{pmatrix}1&1\\1&1\end{pmatrix}, \qquad \rho(A) = 2, \qquad h_{\mathrm{top}} = \ln 2

이고, 위상 엔트로피가 스펙트럼 반경의 로그라는 공식이 그대로 적용된다. 완전 2-이동이므로 금지어가 하나도 없다.

일반 $\mu$ 에서 유한 마르코프 분할이 존재하려면 임계 궤도가 유한집합에 갇혀야 한다 — 주기적이거나, 유한 스텝 뒤 주기궤도에 착지하거나(미슈레비치). 황금비 $\mu=\varphi=1.618\ldots$ 가 예쁜 예다. 임계 궤도가 $0.5 \to 0.809 \to 0.309 \to 0.5$ 로 주기 3에 정확히 닫히므로, 분할점 $\{0.309, 0.5, 0.809\}$ 가 마르코프 분할을 만든다. 끌개 $[0.309,0.809]$ 위의 두 조각으로 전이행렬을 쓰면

A = \begin{pmatrix}0&1\\1&1\end{pmatrix}, \qquad \lambda^2 = \lambda+1 \;\Rightarrow\; \rho(A)=\varphi

로 엔트로피가 $\ln\varphi$ 다. 임의의 $1\le\mu\le2$ 에 대해서도 미슈레비치-슐렌크 정리가 $h_{\mathrm{top}}(T_\mu) = \ln\mu$ 를 준다.

여기서 세 숫자가 하나로 겹친다. 위상 엔트로피 $h_{\mathrm{top}}$ , 절대연속 불변측도에 대한 콜모고로프-시나이 엔트로피 $h_\mu$ , 그리고 랴푸노프 지수 $\lambda$ 가 전부 $\ln\mu$ 다. $h_\mu = \lambda$ 는 페신 항등식( $h_\mu = \sum \lambda_i^+$ )이 성립한다는 뜻이고, $h_\mu = h_{\mathrm{top}}$ 는 변분 원리의 상한이 이 측도에서 실제로 달성된다는 뜻이다. 위상적으로 셀 수 있는 복잡도, 자연측도가 실제로 쓰는 복잡도, 궤도가 벌어지는 속도 — 서로 다른 세 정의가 같은 값을 주는 흔치 않게 깔끔한 상황이다.

6. 주기 창이 없다 — 파이겐바움과 갈라지는 지점[편집]

로지스틱 사상의 분기 다이어그램에서 카오스 밴드 사이사이에 박힌 안정 주기 창이 텐트 사상 족에는 하나도 없다. 이유는 한 줄이다. 주기 $p$ 궤도의 승수는 $\prod|T'(x_i)| = \mu^p > 1$ 이므로 모든 주기궤도가 예외 없이 반발적이다(꼭짓점을 지나는 궤도도 편도함수의 크기가 양쪽 다 $\mu$ 라 사정이 같다). 안정 끌개가 될 수 있는 주기궤도가 원리적으로 존재하지 않는다.

같은 이유로 텐트 사상 족에는 주기배가 캐스케이드도, 따라서 파이겐바움 상수 $\delta$ 도 없다. 파이겐바움 보편성은 **극대점이 이차(매끄러움)**라는 조건에 걸려 있는데, 텐트 사상의 꼭짓점은 이차는커녕 미분조차 되지 않는 뾰족점이라 그 부류에 애초에 들어가지 않는다. 대신 텐트 사상 족의 자기유사 축척은 밴드 합병점 $2^{1/2^n}$ 이 만드는 것이고, 그 비는 $\delta$ 가 아니라 그냥 2다.² “단봉이면 파이겐바움”이라는 요약이 왜 틀렸는지 보여 주는 가장 짧은 반례.

7. 혼합과 상관 감쇠 — 스펙트럼 간극[편집]

카오스가 “예측 불가”라는 말을 정량화하는 또 하나의 양이 상관 감쇠다. 관측량 $\phi, \psi$ 에 대해

C_n = \int \phi(T^n x)\,\psi(x)\,d\mu - \int\phi\,d\mu\int\psi\,d\mu

가 얼마나 빨리 0으로 가느냐를 묻는 것이다. 전달연산자 $\mathcal L$ 의 스펙트럼이 답을 준다. 유계변동 함수 공간에서 $\mathcal L$ 의 필수 스펙트럼 반경이 $1/\mu$ 로 눌리므로, 끌개가 한 덩어리인 $\sqrt2 < \mu \le 2$ 에서는 고유값 1(불변밀도)만 단위원 위에 남고 나머지 스펙트럼이 반지름 $1/\mu$ 근방으로 밀려난다. 이 간극(spectral gap) 덕분에

|C_n| \le \mathrm{const}\cdot \mu^{-n}

로 상관이 지수적으로 죽는다( $\mu$ 가 $\sqrt2$ 아래면 끌개가 여러 밴드를 주기적으로 오가므로 단위원 위에 1의 거듭제곱근이 함께 남고, 이 진술은 밴드 하나로 제한한 $T^{2^k}$ 에 대해 성립한다). 즉 $n$ 스텝 떨어진 두 관측은 사실상 독립이고, 그래서 결정론적 궤도인데도 통계는 난수처럼 군다. 이 감쇠율 $\ln\mu$ 가 랴푸노프 지수와 같은 값이라는 것이 조각선형 사상의 또 다른 편의다. 일반적인 매끄러운 사상에서는 이 두 값이 일치하지 않으며, 전달연산자의 준콤팩트성과 필수 스펙트럼 반경을 따지는 훨씬 무거운 논의가 필요하다.

8. 어디서 실제로 만나는가[편집]

텐트 사상은 순수한 교보재처럼 보이지만 실물 계산에서 자꾸 튀어나온다.

되돌이 사상. 로렌츠 방정식의 궤도에서 $z$ 의 연속한 국소 최댓값 $(z_n, z_{n+1})$ 을 찍으면 봉우리 하나짜리 뾰족한 곡선, 즉 텐트 사상 비슷한 그림이 나온다. 로렌츠가 1963년 논문에서 직접 그린 이 그림이 “3차원 흐름이 사실상 1차원 사상”이라는 최초의 증거였다. 정확한 텐트는 아니지만 꼭짓점이 뾰족하다는 점(수축이 극히 강해 사실상 미분 불가능처럼 보인다)이 매끄러운 단봉 사상과 구별되는 핵심이고, 그래서 로렌츠계에는 파이겐바움 상수식 주기배가 창이 잘 안 보인다.
스메일 말굽. 말굽 사상의 불안정 방향으로의 제한이 2배 팽창이라, 불변집합 위의 동역학이 완전 2-이동이다. 텐트 사상의 2차원 판이라고 봐도 무방하고, 위상 엔트로피가 양쪽 다 $\ln2$ 다.
구간 해석의 시험대. 구간 폭이 매 스텝 정확히 $\mu$ 배 되는 것이 알려져 있으므로, 검증 수치해석 도구가 얼마나 보수적인지를 재는 벤치마크로 쓰인다. 구간이 $\mu^n$ 보다 빨리 부풀면 그 구현에 랩핑 효과가 있다는 뜻이다.
반죽 이론. 밀너-서스턴의 반죽열 이론에서 기울기 $s$ 의 텐트 사상 족이 모든 단봉 사상의 표준 모형 역할을 한다. 위상 엔트로피가 $\ln s$ 인 단봉 사상은 준공액을 통해 기울기 $s$ 인 텐트 사상으로 반쯤 환원되고, 이것이 로지스틱 사상의 엔트로피가 $r$ 에 대해 단조 증가한다는 정리의 뼈대다. 자세한 사정은 기호 동역학 참고.

9. 컴퓨터 위의 사고 — 매 스텝 1비트[편집]

$\mu=2$ 의 텐트 사상을 배정밀도 부동소수점으로 그냥 반복하면 다음과 같은 일이 벌어진다.

n=0   0.5634363430819096
n=20  0.17311654356308281
n=35  0.6828994750976562      ← 꼬리에 0이 늘어나기 시작
n=45  0.7109375
n=50  0.75
n=53  0.0                      ← 이후 영원히 0

카오스여야 할 궤도가 50여 스텝 만에 고정점 0에 앉아 다시는 움직이지 않는다. 이 사고의 정체를 정확히 짚는 것이 중요하다.

첫째, 이것은 반올림 오차가 아니다. $\mu=2$ 에서 계산은 $2x$ 와 $2-2x$ 뿐인데, 이진 부동소수점에서 $2x$ 는 지수만 바뀌므로 정확하고, $2x\in[1,2]$ 일 때 $2-2x$ 도 스터벤츠 보조정리에 따라 오차 없이 정확하다. 즉 매 스텝의 산술이 완벽하다.

둘째, 그런데도 정보는 사라진다. 부동소수점 수는 전부 $x = M\cdot2^{-p}$ ( $M$ 홀수) 꼴의 이진 유리수다. 텐트 사상을 한 번 적용하면 분모의 지수가 정확히 1 줄어 $p \to p-1$ 이 된다. 따라서 $p$ 스텝 뒤에는 $p=0$ , 즉 정수 0 또는 1이 되고, $T(1)=0$ 이므로 종착지는 0이다. 배정밀도 유효숫자가 53비트이니 $[1/2,1)$ 에서 출발한 수는 최대 53스텝을 산다. 위 예가 정확히 53에서 끝난 것이 우연이 아니다.

셋째, 그러니 컴퓨터가 계산한 것은 가짜 궤도가 아니라 진짜 궤도다. 다만 하필 측도 0인 예외 집합의 초기값에 대한 진짜 궤도다. 이진 유리수는 유한 스텝 만에 0으로 떨어지는 실제 궤도를 갖고, 부동소수점 수는 전부 이진 유리수다. 컴퓨터는 실수 구간에서 확률 0인 사건만 골라 뽑도록 태생적으로 설계된 셈이다. 부동소수점 연산의 오차 해석으로는 잡히지 않는 종류의 실패라 더 교훈적이다.

처방은 상황에 따라 다르다.

$\mu$ 를 2가 아닌 값(예: 1.99999)으로 두면 산술이 더는 정확하지 않아 반올림이 매 스텝 새 비트를 아래에서 밀어 넣어 궤도가 실질적으로 붕괴하지 않는다. 대신 그 궤도는 어떤 초기값의 참 궤도도 아니다 — 그림자 정리가 근처에 참 궤도가 있음을 보장하지만, 어느 것인지는 알려 주지 않는다.
통계량(불변밀도, 엔트로피)만 필요하면 궤도를 포기하고 전달연산자를 직접 이산화하는 쪽이 언제나 낫다. 개별 궤도의 운명에 의존하지 않기 때문이다.
궤도 자체가 필요하면 다배정밀도나 구간 해석으로 잃는 비트를 계기판에 띄워 놓는다. 텐트 사상이라면 구간 폭이 매 스텝 정확히 2배가 되므로, 언제 신뢰를 잃는지가 소수점 단위로 보인다.

그래서 이 사상은 카오스 난수 생성기의 반례로도 자주 인용된다. $\lambda>0$ 이라는 사실은 좋은 난수의 필요조건도 충분조건도 아니다. 난수 생성기로서 요구되는 것은 긴 주기와 균등성이지 초기조건 민감성이 아니고, 텐트 사상은 유한정밀도에서 주기가 1(고정점 0)로 주저앉는다.³

10. 관련 문서[편집]

이 구분을 흘리면 “텐트 사상은 비트를 미는 사상”이라는 말이 반은 맞고 반은 틀린 채로 굳는다. 미는 것은 맞는데 미는 대상이 이진 전개가 아니라 그레이 코드다. 그레이 코드는 원래 회전 인코더에서 인접한 두 값의 비트가 하나만 다르게 하려고 만든 부호인데, 카오스 이론에서 다시 만나는 것이 묘하다. ↩
밴드 합병점의 비가 2인 것은 $\ln\mu_n = 2^{-n}\ln2$ 이라 $\ln\mu$ 축에서 등비수열이기 때문이다. 조각선형 사상은 재규격화를 해도 자기 자신이라 축척 인자가 자명해진다 — 편리한 대신 심심하다. ↩
그런데도 “카오스 기반 암호”라는 제목의 논문이 매년 쏟아진다. 대부분은 유한정밀도 주기성 분석이 없고, 있어도 텐트/로지스틱류 1차원 사상은 상태공간이 좁아 전수조사로 뚫린다. 카오스는 안전의 근거가 아니라 안전을 주장하려면 극복해야 할 부담에 가깝다. ↩