[논문 리뷰] Tangential dimensions for metric spaces and measures

Daniele Guido, Tommaso Isola|arXiv (Cornell University)|2003. 05. 06.

Point processes and geometric inequalities인용 수 1

한 줄 요약

이 논문은 ℝ^N 내의 미터릭 공간과 측도에 대해 접선 차원을 도입하며, 부피 두 배 조건 하에서 확대된 집합과 접선 측도의 극한을 통해 상한 및 하한 접선 차원을 정의한다. 이러한 차원들이 국소적인 다중프랙탈 진동을 탐지할 수 있음을 보이며, 국소 차원이 일정할 경우에도 이를 감지할 수 있고, 이는 이동 프랙탈에서 비틀림 기하학적 대응과 정확히 일치함을 보여준다. 이 경우 접선 차원은 점마다 일정하지만 상한과 하한 값이 다를 수 있다.

ABSTRACT

Notions of (pointwise) tangential dimension are considered, both for subsets and measures of R N. Under regularity conditions (volume doubling), the upper resp. lower dimension at a point x of a measure µ can be defined as the supremum, resp. infimum, of local dimensions of the measures tangent to µ at x. Moreover, we introduce and study the notion of tangent space of a closed subset X of R N at x as the collection of its tangent sets at x, defined as suitable (Attouch- Wets) limits of dilations of X around the point x. Then, 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 sets tangent to 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, resp. measure, namely which is able to detect the ”oscillations ” of the dimension at a given point, even when the local dimension exists, namely local upper and lower dimensions coincide. These definitions are tested on a class of fractals, which we call translation fractals, where they can be explicitly calculated. In these cases the tangential dimensions of the fractal coincide with the tangential dimensions of an associated invariant measure, and they are constant, i.e. do not depend on the point. However, upper and lower dimensions may differ. Moreover, on these fractals, these quantities coincide with their noncommutative analogues, defined in a previous paper [9], in the framework of Alain Connes ’ noncommutative geometry.

연구 동기 및 목표

• 개별 점에서 집합과 측도의 차원에서 국소적인 다중프랙탈 진동을 감지할 수 있는 민감한 도구를 개발하기 위해.
• 확대된 집합의 Attouch-Wets 극한을 사용하여 ℝ^N 의 닫힌 부분집합 X에 대한 접선 차원을 정의하기 위해.
• 점에서의 국소 차원을 고려한 접선 측도를 고려하여 측도에 대한 개념을 확장하기 위해.
• 특정 종류의 프랙탈을 통해 접선 차원과 비틀림 기하학적 불변량 사이의 연결 고리를 설정하기 위해.
• 이동 프랙탈에서 접선 차원이 일정하며, 비틀림 기하학적 대응과 일치함을 보여주기 위해.

제안 방법

• 닫힌 부분집합 X ⊂ ℝ^N 의 점 x에서의 접선 공간을, x 주변의 X의 확대된 형태들의 모든 Attouch-Wets 극한의 집합으로 정의한다.
• X의 점 x에서의 상한 및 하한 접선 차원을 접선 집합의 상자 차원의 상한 및 하한으로 정의한다.
• 측도의 경우, 점 x에서 µ에 접선인 측도의 국소 차원의 상한 및 하한으로 상한 및 하한 접선 차원을 정의한다.
• 의미 있는 극한과 정의의 안정성을 보장하기 위해 부피 두 배 조건을 정규성 조건으로 사용한다.
• 명시적인 계산이 가능한 이동 프랙탈—이동을 통해 구성된 자기유사 집합—에 이 틀을 적용한다.
• Connes의 프레임워크에서 정의된 비틀림 기하학적 불변량과 결과를 비교하여, 연구된 프랙탈의 범주에서 정확한 일치를 보여준다.

실험 결과

연구 질문

• RQ1 국소 상한 및 하한 차원이 일치할 경우에도 접선 차원이 국소적인 다중프랙탈 진동을 감지할 수 있는가?
• RQ2 동일한 프랙탈에서 관련된 불변 측도와의 관계에서 집합의 접선 차원은 어떻게 관련되는가?
• RQ3 이동 프랙탈에서 국소 차원의 변동이 있을 수 있음에도 불구하고, 접선 차원은 모든 점에서 일정한가?
• RQ4 프랙탈의 접선 차원이 비틀림 기하학적 대응과 어느 정도 일치하는가?
• RQ5 부피 두 배 조건이 접선 차원 정의의 안정성과 일관성 확보에 어떤 역할을 하는가?

주요 결과

• 이동 프랙탈에서 집합과 그에 관련된 불변 측도의 상한 및 하한 접선 차원은 모두 일정하며, 서로 일치한다.
• 이동 프랙탈의 접선 차원은 Connes의 프레임워크에서 정의된 비틀림 기하학적 대응과 정확히 일치한다.
• 국소 상한 및 하한 차원이 동일할 경우에도 접선 차원은 여전히 점에서의 차원의 진동 행동을 감지할 수 있다.
• 접선 차원 프레임워크는 확대된 집합과 접선 측도의 극한을 분석하여 미세 구조의 다중프랙탈 특성을 성공적으로 포착한다.
• 부피 두 배 조건은 접선 차원이 극한 과정에서 정의되고 안정되도록 보장한다.
• 이 방법은 표준 국소 차원이 진동을 감지하지 못하는 경우에도, 개별 점에서의 다중프랙탈 행동을 분석하는 데 강력한 도구를 제공한다.