[논문 리뷰] Some elementary aspects of Hausdorff measure and dimension

Stephen Semmes|arXiv (Cornell University)|2010. 08. 16.

Advanced Harmonic Analysis Research참고 문헌 50인용 수 3

한 줄 요약

이 논문은 메트릭 공간에서 하우스도르프 측도와 차원에 대한 엄밀하고 기초적인 소개를 제공하며, 가чёт성 가중합, 리프시츠 사상, 위상적 차원과의 관계와 같은 기본 성질에 중점을 둔다. 주요 결과로는 이중리프시츠 임베딩 하에 하우스도르프 차원의 불변성과 메트릭 구조가 차원성을 결정하는 데서의 역할을 확립한다.

ABSTRACT

Basic properties of Hausdorff content, dimension, and measure of subsets of metric spaces are discussed, especially in connection with Lipschitz mappings and topological dimension.

연구 동기 및 목표

• 일반적인 메트릭 공간에서 하우스도르프 콘텐츠, 측도, 차원의 기본 이론을 개발하기 위해.
• 리프시츠 및 이중리프시츠 사상 하에서 하우스도르프 측도의 행동을 분석하기 위해.
• 특히 분리 가능하고 완비된 메트릭 공간에서 하우스도르프 차원과 위상적 차원 간의 관계를 명확히 하기 위해.
• 가чёт성 가중합과 가측 집합에 대한 국소화와 같은 기초 도구를 확립하기 위해.
• 메트릭 구조가 차원성 결정에 미치는 역할을 분석하기 위해, 눈꽃 메트릭과 경로 길이를 통한 분석을 포함하기 위해.

제안 방법

• 집합 A의 유한 커버에 대해 $\sum (\text{diam } E_i)^\alpha$의 하한으로 하우스도르프 콘텐츠 $\widetilde{H}^\alpha_{\text{con}}(A)$를 정의한다.
• 가чёт성 하한을 통해 하우스도르프 측도 $H^\alpha$를 정의함으로써, 가чёт성 가중합과 보렐 정규성을 보장한다.
• 분리 가능성, 전반적 유계성, 완비성 등의 메트릭 공간 성질을 활용하여 커버의 수렴성과 컴팩턴스를 분석한다.
• 리프시츠 사상 적용을 통해 공간 간 측도를 비교하며, $k$-리프시츠 $f$에 대해 $H^\alpha(f(E)) \leq k^\alpha H^\alpha(E)$임을 보인다.
• 경로 길이와 재매개변수화 불변성을 분석하며, 직선적 곡선을 하우스도르프 1-측도와 연결한다.
• 국소적으로 평탄한 사상은 영 집합을 보존하며, 직선적 경로를 측도 0 집합으로 매핑함을 보인다.

실험 결과

연구 질문

• RQ1 메트릭 공간에서 집합의 유한 및 가чёт성 커버 하에서 하우스도르프 콘텐츠는 어떻게 행동하는가?
• RQ2 분리 가능한 메트릭 공간에서 하우스도르프 차원과 위상적 차원 간의 관계는 무엇인가?
• RQ3 리프시츠 사상은 집합의 하우스도르프 측도와 차원에 어떻게 영향을 미치는가?
• RQ4 눈꽃 메트릭은 공간의 하우스도르프 차원을 어떻게 변화시키는가?
• RQ5 유한 길이를 갖는 경로가 1차원 하우스도르프 측도가 양이며 유한한 조건은 무엇인가?

주요 결과

• 하우스도르프 콘텐츠 $\widetilde{H}^\alpha_{\text{con}}(A)$는 단조적이며, $\widetilde{H}^\alpha_{\text{con}}(A) \leq (\text{diam } A)^\alpha$를 만족하며, 특수한 경우에만 등호가 성립한다.
• $\alpha > 0$일 때, 많은 작은, 넓게 분리된 집합들로 집합을 커버하면, 그 지름에 비해 $\widetilde{H}^\alpha_{\text{con}}(A)$가 크게 감소할 수 있다.
• 하우스도르프 측도 $H^\alpha$는 분리 가능한 메트릭 공간에서 가чёт성 가중합과 보렐 정규성을 만족한다.
• 상수 $k$를 가진 리프시츠 사상 $f$는 $H^\alpha(f(E)) \leq k^\alpha H^\alpha(E)$를 만족하며, $\alpha$가 고정되어 있을 때 영 집합을 보존한다.
• 이중리프시츠 임베딩은 하우스도르프 차원을 보존하므로, 이러한 사상에 대해 $\dim_H(f(E)) = \dim_H(E)$이다.
• 연속 경로 $p:[a,b] \to M$는 그 이미지의 1차원 하우스도르프 측도가 유한할 때이고, 오직 그 때에만 유한한 길이를 갖는다. 또한 길이는 재매개변수화에 대해 불변하다.