[논문 리뷰] Hausdorff dimension of unions of affine subspaces and of Furstenberg-type sets

Kornélia Héra, T Keleti외 1명|arXiv (Cornell University)|2017. 01. 09.

Mathematical Dynamics and Fractals참고 문헌 10인용 수 7

한 줄 요약

이 논문은 $\mathbb{R}^n$ 내에서 $k$-차원 애프린 부분공간들의 $s$-차원 가.family로 인덱싱된 합집합의 하우스도르프 차원이 정확히 $k + s$임을 증명한다. 이는 푸르스텐베르크 유형 추정을 일반화하며, 모든 점에서 중심이 이동한 단위 정육면체의 $k$-스켈레톤 또는 고정된 거리의 $k$-평면을 포함하는 집합은 하우스도르프 차원이 최소 $k+1$ 이상이어야 하며, 이러한 구성에 대한 기하 측도론의 오랜 문제를 해결한다.

ABSTRACT

We prove that for any $1 \le k

연구 동기 및 목표

• 모든 $k$-차원 애프린 부분공간들의 $\mathbb{R}^n$ 내 합집합의 정확한 하우스도르프 차원을, 부분공간의 가.family가 하우스도르프 차원 $s \leq 1$를 가지는 경우에 결정하는 것.
• 비콤팩트 또는 비해석적 가.family에 대해 기존 결과를 확장하여, $\alpha$-푸르스텐베르크 집합의 차원이 최소 $2\alpha$ 이상임을 보여주는 푸르스텐베르크 유형 추정을 일반화하는 것.
• 모든 점에서 중심이 이동한 회전된 단위 정육면체의 $k$-스켈레톤을 포함하는 $\mathbb{R}^n$ 내의 집합이 반드시 하우스도르프 차원 최소 $k+1$ 이상이어야 함을 증명하는 것.
• 모든 점에서 고정된 양의 거리에 $k$-차원 애프린 부분공간을 포함하는 집합의 차원에 대해 날카운 하한을 확립하는 것.
• 오버린, 팔콘어, 매티라의 결과를 측도성 조건 없이 통합 및 확장하는 것.

제안 방법

• $\delta$-튜브를 사용한 커버링 추론을 통해 부분공간의 $\delta$-근접 집합의 $n$-차원 르베그 측도를 추정하는 것.
• 다른 부분공간들에서 온 $\delta$-튜브의 겹침을 제어하기 위해 이차형 $L^2$-유형 추정을 적용하는 것.
• 각 부분공간 간의 거리 $\rho(P, P')$에 따라 매개변수 공간 $\widetilde{E}$를 이진 애너룰로 분해하여 교차 측도의 적분을 유계화하는 것.
• $\widetilde{E}$ 가정에 대해 프로스트만 유형 측도 $\mu$를 사용하여 $\delta$ 척도에서 집합의 크기를 제어하며, 교차의 $\mathcal{H}^\alpha_\infty$-정규성에 기반하는 것.
• $\widetilde{P}$에 대해 각 $P \in \widetilde{E}$에 대해 $\mathcal{H}^\alpha_\infty(\widetilde{P})$의 하한을 확립하여, 합집합의 $\delta$-근접 집합 측도의 하한을 유도하는 것.
• 합집합의 $\delta$-근접 집합 측도에 대한 하한과 튜브 겹침의 이중 적분에 대한 상한을 결합하여 최종 차원 추정을 도출하는 것.

실험 결과

연구 질문

• RQ1 모든 $k$-차원 애프린 부분공간들의 비어있지 않은 $s$-차원 가.family가 $\mathbb{R}^n$ 내에 존재할 때, $1 \leq k < n$ 및 $s \leq 1$인 경우 합집합의 하우스도르프 차원은 무엇인가요?
• RQ2 비콤팩트 또는 비해석적 가.family에 대해, $\mathbb{R}^2$ 내의 $\alpha$-푸르스텐베르크 집합에 대해 $\dim F \geq 2\alpha$인 푸르스텐베르크 유형 추정이 일반화될 수 있는가요?
• RQ3 모든 점에서 중심이 이동한 회전된 단위 정육면체의 $k$-스켈레톤을 포함하는 $\mathbb{R}^n$ 내의 집합은 반드시 하우스도르프 차원 최소 $k+1$ 이상이어야 하는가요?
• RQ4 모든 점에서 고정된 양의 거리에 $k$-차원 애프린 부분공간을 포함하는 $\mathbb{R}^n$ 내의 집합의 최소 하우스도르프 차원은 얼마인가요?
• RQ5 $k$-평면의 합집합에 대한 차원 추정이, 각 $k$-평면이 차원 $\alpha \leq k$인 부분집합을 기여하는 경우로 확장될 수 있는가요?

주요 결과

• $\mathbb{R}^n$ 내에서 비어있지 않은 $s$-차원 가.family의 $k$-차원 애프린 부분공간들의 합집합의 하우스도르프 차원은 정확히 $k + s$이다. 여기서 $1 \leq k < n$ 이고 $s \leq 1$이다.
• $0 < \alpha \leq k$일 때, 차원 $s \leq 1$인 가.family 내의 각 $k$-차원 부분공간이 집합 $B$와 교차하는 부분의 차원이 최소 $\alpha$ 이상이라면, $\dim B \geq 2\alpha - k + \min(\dim E, 1)$이다.
• 이 결과는 고전적인 푸르스텐베르크 추정을 일반화한다: $\mathbb{R}^2$ 내의 모든 $\alpha$-푸르스텐베르크 집합은 비콤팩트성 또는 해석성 조건 없이도 하우스도르프 차원이 최소 $2\alpha$ 이상이다.
• 모든 점에서 중심이 이동한 회전된 단위 정육면체의 $k$-스켈레톤을 포함하는 집합 $A \subset \mathbb{R}^n$에 대해 $\dim A \geq k + 1$이며, 팔콘어와 매티라의 결과를 강화한다.
• 모든 점에서 고정된 양의 거리에 $k$-차원 애프린 부분공간을 포함하는 집합 $A \subset \mathbb{R}^n$에 대해 $\dim A \geq k + 1$이며, 이 하한은 날카롭다.
• 논문은 $s$-차원 가.family 내에서 $k$-평면의 $\alpha$-차원 부분집합들의 합집합에 대해 날카운 하한을 확립하여, 차원이 최소 $2\alpha - k + s$ 이상임을 보여주며, $s \leq 1$이다.