[논문 리뷰] Non-removable sets for quasiconformal and locally biLipschitz mappings in R^3

Christopher J. Bishop|ArXiv.org|1998. 06. 03.

Analytic and geometric function theory참고 문헌 18인용 수 5

한 줄 요약

이 논문은 $ \mathbb{R}^3 $ 내에 허스트로프 차원 2인 완전히 이산적인 집합 $ E $를 구성하며, 이는 등각변형 및 국소적으로 비등각적 리프시츠 사상에 대해 제거 불가능하다. 구성은 $ \mathbb{R}^3 $의 위상수학적 동형사상으로, $ E $ 외부에서는 등각변형이지만 $ \mathbb{R}^3 $ 전체에서는 등각변형이 아닌 것을 보여주며, 이러한 집합이 위상적으로 작을지라도 전역적인 등각변형을 방해할 수 있음을 입증한다.

ABSTRACT

We give an example of a totally disconnected set E in R^3 which is not removable for quasiconformal homeomorphisms, i.e., there is a homeomorphism f of R^3 to itself which is quasiconformal off E, but not quasiconformal on all of R^3. The set E may be taken with Hausdorff dimension 2. The construction also gives a non-removable set for locally biLipschitz homeomorphisms.

연구 동기 및 목표

• 등각변형 사상에 대해 제거 불가능한 집합의 존재를 $ \mathbb{R}^3 $ 내에서 입증함으로써, 작거나 완전히 이산적인 집합은 일반적으로 제거 가능하다는 직관을 도전한다.
• 허스트로프 차원 2인 컴팩트하고 완전히 이산적인 집합 $ E \subset \mathbb{R}^3 $의 구체적 예를 구성함으로써, 등각변형 동형사상에 대해 제거 불가능함을 입증한다.
• 비등각적 리프시츠 사상의 더 넓은 클래스로 비등각성 제거 불가능성 결과를 확장함으로써, 이 클래스 내에서도 유사한 방해 요소가 존재함을 보여준다.
• 완전히 이산적인 집합이 $ \mathbb{R}^3 $ 내에서 차원 2 미만이면 등각변형 사상에 대해 제거 가능할 것이라는 추측에 반례를 제시한다.

제안 방법

• 구성은 $ \mathbb{R}^3 $ 내에서 반복적으로 구를 제거하는 방식으로 정교하게 설계된 칸토어 유형 집합을 사용한다. 이는 위상적 이산성과 허스트로프 차원을 제어하는 데 기여한다.
• 집합 $ E $는 전역적인 등각변형을 방해하는 방식으로 축적되는 등각 변형의 수열을 지지하도록 구성된다.
• 등각변형 사상은 $ \mathbb{R}^3 \setminus E $에서 정의되지만, $ E $ 근처에서 변형률이 무한히 커져서 $ \mathbb{R}^3 $ 전체로의 확장이 불가능하다.
• 등각변형 조건을 위반하기 위해 $ E $ 내의 점들에서 변형률이 발산하는 수열의 존재에 기반한 증명이다.
• 유사한 구성은 국소적으로 비등각적 리프시츠 사상에 대해서도 적용되며, $ E $ 근처에서 국소 비등각적 리프시츠 상수가 발산하도록 보장한다.
• 측도론적 및 기하학적 추정을 통해 $ E $의 차원을 제어하며, 정확히 2로 만들 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 허스트로프 차원 2인 완전히 이산적인 집합이 $ \mathbb{R}^3 $ 내에서 등각변형 사상에 대해 제거 불가능할 수 있는가?
• RQ2 $ \mathbb{R}^3 $ 내에 완전히 이산적이고 차원 2인 집합 $ E $가 존재하여, $ E $ 외부에서는 등각변형이지만 $ \mathbb{R}^3 $ 전체에서는 등각변형이 아닌 동형사상이 존재하는가?
• RQ3 비등각성 제거 불가능성 현상은 $ \mathbb{R}^3 $ 내에서 국소적으로 비등각적 리프시츠 사상의 클래스로 확장되는가?
• RQ4 제거 가능한 집합의 임계 차원 임계값은 무엇이며, 차원 2 집합이 제거 불가능할 수 있는가?
• RQ5 등각변형 사상이 $ \mathbb{R}^3 \setminus E $에서 정의될 수는 있지만, $ E $가 완전히 이산적이라도 $ \mathbb{R}^3 $ 전체로 등각변형으로 확장되지 않을 수 있는가?

주요 결과

• 논문은 허스트로프 차원 정확히 2인 컴팩트하고 완전히 이산적인 집합 $ E \subset \mathbb{R}^3 $를 구성하며, 이는 등각변형 동형사상에 대해 제거 불가능하다.
• $ \mathbb{R}^3 \to \mathbb{R}^3 $인 동형사상 $ f $가 존재하여 $ \mathbb{R}^3 \setminus E $에서는 등각변형이지만 $ \mathbb{R}^3 $ 전체에서는 등각변형이 아니며, 이는 $ E $의 비제거 가능성 증명한다.
• 유사한 구성은 국소적으로 비등각적 리프시츠 사상에 대해서도 비제거 가능한 집합을 제공하며, 이로 인해 방해 요소가 더 넓은 클래스에 적용됨을 보여준다.
• $ E $는 차원과 위상적 이산성을 제어하는 반복 기하 과정을 통해 구성된다.
• 등각변형의 실패는 $ E $ 근처에서 비정상적으로 증가하는 변형률 때문이며, $ f $는 $ E $ 외부에서는 여전히 등각변형이다.
• 이 결과는 $ \mathbb{R}^3 $ 내에서 완전히 이산적인 차원 2 집합이 전역적인 등각변형을 방해할 수 있음을 보이며, 이는 이전의 제거 가능성 임계값에 대한 추측에 도전한다.