다이어오판 근사와 동역학 시스템에서의 대교차 성질
본 논문은 아핀 부분공간에 의해 정의되는 근사 집합의 대교차(Large Intersection) 성질을 연구하고, 이를 디오판 근사, 원 위의 동형사상, 그리고 해밀토니 시스템의 섭동 이론에 적용한다. 주요 결과는 해당 집합이 Hausdorff 측도와 차원 측면에서 ‘극히 큰’ 크기를 가지며, 가산 교차에 대해서도 그 크기가 보존된다는 것이다.
저자: Arnaud Dur
본 논문은 “대교차(Large Intersection) 성질”이라는 개념을 중심으로, 아핀 부분공간에 의해 정의되는 근사 집합들의 측도·차원 특성을 체계적으로 연구한다. 서론에서는 전통적인 Diophantine 근사 이론에서 등장하는 집합
\(K_{\varphi}=\{x\in\mathbb{R}\mid |x-p/q|<\varphi(q)\ \text{infinitely often}\}\)
의 크기와 Hausdorff 측도에 관한 기존 결과들을 정리한다. Khintchine의 0‑1 법칙, Jarník의 Hausdorff \(g\)-측도 정리, 그리고 최근 Beresnevich‑Dickinson‑Velani의 ‘풍부 시스템(ubiquitous system)’ 이론을 언급하며, 이러한 결과가 Lebesgue 측도와 Hausdorff 측도에 대해 ‘0 혹은 ∞’라는 이분법적 결론을 제공하지만, 가산 교차 후에도 같은 크기가 유지된다는 점은 다루지 않았음을 지적한다.
이를 보완하기 위해 저자는 ‘대교차 집합’이라는 새로운 클래스 \(\mathcal{G}_g(V)\)를 정의한다. 여기서 \(g\)는 \(D_d\)에 속하는 게이지 함수이며, \(V\subset\mathbb{R}^d\)는 비공집합 열린 집합이다. 정의에 따르면, \(\mathcal{G}_g(V)\)에 속하는 \(G_\delta\) 집합 \(F\)는 모든 열린 \(U\subset V\)와 모든 \(g'\prec g\)에 대해 외부 측도 \(M_{g'}^\infty(F\cap U)=M_{g'}^\infty(U)\)를 만족한다. 이 정의는 ‘어떤 작은 구간에서도 완전한 크기’를 의미한다.
정리 1은 \(\mathcal{G}_g(V)\)가 갖는 기본적인 성질을 제시한다.
- (a) 가산 교차에 대해 닫혀 있다.
- (b) bi‑Lipschitz 변환에 대해 불변이다.
- (c) 모든 \(g'\prec g\)에 대해 \(\mathcal{H}_{g'}(F)=\infty\)이며, 차원 하한 \(\dim F\ge s_g:=\sup\{s\mid \mathrm{Id}^s\prec g\}\)를 제공한다.
- (d) Lebesgue 전측을 가진 모든 \(G_\delta\) 집합이 \(\mathcal{G}_g(V)\)에 포함된다.
다음으로 ‘동질적 풍부 시스템(homogeneous ubiquitous system)’ 개념을 도입한다. 이는 \(\{(x_i,r_i)\}_{i\in I}\subset\mathbb{R}^d\times(0,\infty)\)가 정의하는 집합
\(F(x_i,r_i)=\{x\mid \|x-x_i\|0,\ \exists^\infty (p,q): |\alpha-p/q|
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기