[논문 리뷰] Coincidence and noncoincidence of dimensions in compact subsets of $[0,1]$

A. R. Mitchell, L. Olsen|arXiv (Cornell University)|2018. 12. 22.

Mathematical Dynamics and Fractals참고 문헌 14인용 수 5

한 줄 요약

이 논문은 $[0,1]$의 컴act 부분집합을 구성하여, Hausdorff, 하향 수정 상자, 패킹, 하향 상자, 상향 상자, 그리고 Assouad 차원을 포함한 여섯 종류의 분수차원이 알려진 이론적 부등식 내에서 독립적으로 임의의 값을 취할 수 있음을 보여준다. 이 구성은 네 개의 철저히 설계된 집합의 합집합을 사용하며, 각각 다른 차원 성질을 기여하고, 해당 차원에서 Hausdorff 및 패킹 측도가 양이고 유한함을 보장한다.

ABSTRACT

We show that given any six numbers $r,s,t,u,v,w \in (0,1]$ satisfying $r \leq s \leq \min(t,u) \leq \max(t,u) \leq v \leq w$, it is possible to construct a compact subset of $[0,1]$ with Hausdorff dimension equal to $r$, lower modified box dimension equal to $s$, packing dimension equal to $t$, lower box dimension equal to $u$, upper box dimension equal to $v$ and Assouad dimension equal to $w$. Moreover, the set constructed is an $r$-Hausdorff set and a $t$-packing set.

연구 동기 및 목표

• 모든 여섯 종류의 표준 분수차원이 알려진 차원 부등식 내에서 $[0,1]$의 단일 컴팩트 부분집합에서 독립적으로 실현될 수 있음을 보이기.
• 특히 하향 수정 상자 차원과 Assouad 차원을 포함한 전체 차원 불일치 범위가 동시에 달성될 수 있는지 여부를 해결하기.
• 구성된 집합이 각각의 차원에서 양이고 유한한 Hausdorff 및 패킹 측도를 가지며, 이는 $r$-Hausdorff 및 $t$-패킹 집합임을 확인하기.
• 이를 고차원 공간 $\mathbb{R}^d$로 확장하여, 동일한 차원 제어가 유지됨을 보이기.
• Hewitt-Stromberg 측도와 균일성 성질의 행동을 조사하여, 열린 집합 전역에서 균일한 국소 차원 행동을 만족하지 않는다는 것을 보여주기.

제안 방법

• 각각 특정 차원 값을 기여하도록 설계된 네 개의 서로소 부분집합의 합집합으로 컴팩트 집합 $X = C \cup D \cup E \cup F$를 구성하기.
• 반복적인 구성과 이터레이티드 함수 시스템(IFS) 및 제어된 스케일링을 사용하여 각 구성요소에 정확한 차원 값을 할당: $C$는 Hausdorff 및 하향 수정 상자 차원을 제어하고, $F$는 패킹 및 Assouad 차원을 제어한다.
• Hausdorff, 패킹, 상향 상자, Assouad 차원의 유한한 안정성과, 철저한 기하적 배열을 통한 하향 상자 차원 안정성을 확보한다.
• 기존의 측도 이론적 특성화를 적용: 예를 들어 $\underline{\dim}_{\text{MB}}X = \sup\{\alpha : \mathcal{U}^\alpha(X) = \infty\}$ 와 같이, 측도를 통한 차원 제어를 확인한다.
• 1차원 구성 방식을 $\mathbb{R}^d$로 일반화하기 위해 단위 구간을 단위 $d$-입방체로 대체하고, 압축 변환을 적절히 수정한다.
• 차원 함수와 측도 성질의 유한한 안정성을 활용하여 전체 집합 $X$의 최종 차원 및 측도 값을 유추한다.

실험 결과

연구 질문

• RQ1 모든 여섯 종류의 분수차원—Hausdorff, 하향 수정 상자, 패킹, 하향 상자, 상향 상자, Assouad—이 알려진 차원 부등식 내에서 $[0,1]$의 단일 컴팩트 부분집합에 독립적으로 할당될 수 있는가?
• RQ2 차원이 서로 다를 때조차도 해당 차원에서 Hausdorff 및 패킹 측도가 양이고 유한한 집합을 구성하는 것이 가능한가?
• RQ3 하향 수정 상자 차원과 Assouad 차원이 이러한 구성에서 독립적으로 행동하는가? 다른 차원과 독립적으로 설정 가능한가?
• RQ4 이 구성 방식을 고차원 공간 $\mathbb{R}^d$로 일반화할 수 있으며, 여섯 종류의 모든 차원에 대해 완전한 제어를 유지할 수 있는가?
• RQ5 Hewitt-Stromberg 측도 $\mathcal{U}^\alpha$ 및 $\mathcal{V}^\alpha$는 임계 차원에서 유한하거나 무한한 값을 가지는가? 그리고 패킹 및 하향 수정 상자 차원과 어떻게 관련이 있는가?

주요 결과

• 모든 여섯 수 $r,s,t,u,v,w \in (0,1]$가 $r \leq s \leq \min(t,u) \leq \max(t,u) \leq v \leq w$ 를 만족할 경우, $\dim_{\text{H}}X = r$, $\underline{\dim}_{\text{MB}}X = s$, $\dim_{\text{P}}X = t$, $\underline{\dim}_{\text{B}}X = u$, $\overline{\dim}_{\text{B}}X = v$, $\dim_{\text{A}}X = w$ 를 만족하는 컴팩트 부분집합 $X \subseteq [0,1]$ 이 존재한다.
• 구성된 집합 $X$ 는 $r$-Hausdorff 집합이므로 $\mathcal{H}^r(X) \in (0,\infty)$ 이고, $t$-패킹 집합이므로 $\mathcal{P}^t(X) \in (0,\infty)$ 이며, 이는 해당 차원에서 비자명한 측도를 가짐을 보장한다.
• 하향 수정 상자 차원 $\underline{\dim}_{\text{MB}}X = s$ 는 구성요소 $F$ 를 통해 달성되며, Assouad 차원 $\dim_{\text{A}}X = w$ 는 구성요소 $E$ 가 제어함으로써 다른 차원과의 독립성을 입증한다.
• 집합 $X$ 는 균일한 동질성을 갖지 않는다: 어떤 열린 집합 $U$ 에 대해 $\underline{\dim}_{\text{MB}}(X \cap U) \neq \underline{\dim}_{\text{B}}(X \cap U)$ 이므로, Nilsson과 Wingren의 구성에서 요구하는 국소 차원 일관성 성질을 만족하지 못한다.
• 하향 Hewitt-Stromberg 측도 $\mathcal{U}^s(X)$ 는 $s = r$ 일 때에만 양이고 유한하며, 그 외의 경우 $\mathcal{U}^s(X) = 0$ 이다. 이는 Hausdorff 차원에 대한 엄격한 의존성을 보여준다.
• 상향 Hewitt-Stromberg 측도 $\mathcal{V}^t(X)$ 는 양이고 유한하며, 이는 $X$ 가 $t$-상향 Hewitt-Stromberg 집합임을 확인한다. 특히 $\mathcal{V}^t(X) < \infty$ 이고 $\mathcal{V}^t(C) > 0$ 이다.