[논문 리뷰] Tangential dimensions I. Metric spaces

Daniele Guido, Tommaso Isola|ArXiv.org|2003. 05. 06.

Geometric Analysis and Curvature Flows참고 문헌 13인용 수 5

한 줄 요약

이 논문은 메트릭 공간에서 한 점에서의 프랙탈 진동을 국소적으로 측정하기 위해, 곰표-하우스도르프 수렴 하에서 탄젠트 집합의 박스 차원의 상한과 하한을 통해 정의된 상한 및 하한 탄젠트 차원을 소개한다. 주요 기여는 국소 상한 및 하한 박스 차원이 일치할 때조차도 이러한 차원이 다를 수 있음을 보여 주며, 더 세밀한 다중프랙탈 행동을 드러낸다.

ABSTRACT

Pointwise tangential dimensions are introduced for metric spaces. Under regularity conditions, the upper, resp. lower, tangential dimensions of X at x can be defined as the supremum, resp. infimum, of box dimensions of the tangent sets, a la Gromov, of X at x. Our main purpose is that of introducing a tool which is very sensitive to the "multifractal behaviour at a point" of a set, namely which is able to detect the "oscillations" of the dimension at a given point. In particular we exhibit examples where upper and lower tangential dimensions differ, even when the local upper and lower box dimensions coincide. Tangential dimensions can be considered as the classical analogue of the tangential dimensions for spectral triples introduced in math.OA/0202108 and math.OA/0404295, in the framework of Alain Connes' noncommutative geometry.

연구 동기 및 목표

• 메트릭 공간에서의 개별 점에서 프랙탈 차원의 진동 행동에 민감한 국소 차원 개념을 개발하는 것.
• 곰표의 탄젠트 콘을 영감으로 받아, 한 점에서의 탄젠트 집합의 박스 차원의 상한과 하한으로 상한 및 하한 탄젠트 차원을 정의하는 것.
• 탄젠트 차원이 표준 국소 박스 차원으로 포착되지 않는 다중프랙탈 진동을 탐지할 수 있음을 보여주는 것.
• 콘느의 비가환 기하학에서 유도된 비가환 탄젠트 차원의 고전적 대응을 수립하는 것.
• 번역 프랙탈에 적용 가능한 프레임워크를 제공하여, 탄젠트 차원이 불변 측도로부터 유도된 차원과 일치함을 보여주는 것.

제안 방법

• 무한으로 수렴하는 스케일링 매개변수에 따라, 점지수 곰표-하우스도르프 수렴 하에서 스케일링된 사례의 극한점으로서 메트릭 공간의 탄젠트 집합을 정의한다.
• 각 탄젠트 집합의 박스 차원을 국소 차원 후보로 사용하고, 이러한 모든 탄젠트 집합에 대한 상한과 하한으로 상한 및 하한 탄젠트 차원을 정의한다.
• 점지수 위상에서 스케일링된 공간의 수렴을 형식화하기 위해 곰표-하우스도르프 거리를 사용한다.
• 커버링 수의 성장과 관련된 차원 경계를 제어하기 위해 스케일링 매개변수의 수열과 관련 함수 $ g(t,h) $ 및 $ p(t,j) $ 를 분석한다.
• 커버링 함수의 최대 변동을 나타내는 $ S $ 를 포함한 부등식을 사용하여, 차원 관련 집합의 상한 간의 차이를 경계한다.
• 무한으로 발산하는 복소수의 성질을 갖는 수열 $ \tilde{V}_h^d $ 와 $ \tilde{V}^d $ 를 사용하여, 스케일링 행동이 유계가 아닌 차원의 집합을 특성화하고, 이를 탄젠트 차원과 연결한다.

실험 결과

연구 질문

• RQ1 표준 국소 박스 차원이 일정할 때조차도, 국소 차원 개념이 점에서의 프랙탈 차원의 진동 행동을 탐지할 수 있는가?
• RQ2 상한 및 하한 탄젠트 차원은 곰표-하우스도르프 수렴에서의 탄젠트 집합의 박스 차원과 어떻게 관련이 있는가?
• RQ3 콘느의 비가환 기하학에서의 비가환 탄젠트 차원과 고전적 탄젠트 차원 간의 관계는 무엇인가?
• RQ4 번역 프랙탈에서 탄젠트 차원은 불변 측도로부터 유도된 메트릭 차원과 일치하는가?
• RQ5 상한 및 하한 탄젠트 차원 간의 차이를 정량화할 수 있으며, 이는 국소 기하학에 대해 무엇을 시사하는가?

주요 결과

• 국소 상한 및 하한 박스 차원이 동일할지라도 상한 및 하한 탄젠트 차원이 다를 수 있으며, 이는 진동 행동에 대한 민감성을 보여준다.
• 교대로 $ q=2 $ 와 $ q=3 $ 단계를 갖는 수정된 시어르핀스키 프랙탈의 경우, 탄젠트 차원은 $ \frac{\text{log }3}{\text{log }2} < \frac{\text{log }18}{\text{log }6} < \frac{\text{log }6}{\text{log }3} $ 로서, 비자명한 탄젠트 차원의 간격을 보인다.
• 교대로 $ q=1 $ 과 $ q=2 $ 를 갖는 수정된 비크제크 프랙탈의 경우, 탄젠트 차원은 $ \frac{\text{log }5}{\text{log }3} < \frac{\text{log }65}{\text{log }15} < \frac{\text{log }13}{\text{log }5} $ 로서, 다시 한 번 비퇴화된 간격을 나타낸다.
• 집합 $ V $ 의 상한과 $ \tilde{V} $ 의 상한 간의 차이는 $ \frac{2S}{\bar{\rho}} $ 로 경계되며, 여기서 $ S $ 는 커버링 함수의 최대 변동이다.
• 모든 $ \bar{\rho} > 0 $ 에 대해, $ \bar{t}_n \to \infty $ 를 만족하는 수열 $ \bar{t}_n $ 이 존재하여, $ g(t,h)/h $ 의 상한은 $ \bar{t}_n $ 에서의 하한에 $ \frac{2S}{\bar{\rho}} $ 를 더한 값보다 항상 유계임을 보여주며, 이는 수렴 제어를 보여준다.
• 다음과 같은 $ \mathbb{R}^n $ 에서의 번역 프랙탈의 탄젠트 차원은 메트릭 및 비가환 탄젠트 차원과 일치하며, 고전적 접근의 타당성을 입증한다.