Kirchheim‑Magnani 반례와 확장된 측정 미분 가능성에 대한 해석

이 논문은 Kirchheim‑Magnani가 제시한 Heisenberg 군 \(H(1)=\mathbb R^{2}\times\mathbb R\) 위의 비표준 거리 \(\rho\)가 항등함수 \(\mathrm{id}\)를 1‑Lipschitz로 만들면서도 전역적으로 측정 미분 가능하지 않은 사례라는 점을 출발점으로 한다. 저자는 이 반례를 dilatation structure(확장 구조)의 언어로 재해석함으로써, 왜 이러한 현상이 발생하는지를 구조적으로 밝힌다. 먼저, 전통적인 Carnot‑Carathéodory 거리 \(d\)를 정의한다. 이는 \((0,0)\)와 \((x,\bar x)\) 사이의 거리 \(d((0,0),(x,\bar x))=\max\{\|x\|,|\bar x|\}\) 로 주어지며, Heisenberg 군의 표준 좌측 불변 거리이다. 이어서 Kirchheim‑Magnani가 만든 거리 \(\rho\)를 소개한다. \(\rho\)는 \(\rho(\tilde x)=\max\{\|x\|,g(|\bar x|)\}\) 로 정의되며, 여기서 \(g: