[논문 리뷰] Products of metric spaces, covering numbers, packing numbers and characterizations of ultrametric spaces

Oleksiy Dovgoshey, Олли Мартио|ArXiv.org|2009. 03. 09.

Fixed Point Theorems Analysis참고 문헌 5인용 수 24

한 줄 요약

이 논문은 메트릭 공간의 카티esian 곱이 초메트릭이 되는 조건을 다루며, 커버링 수와 패킹 수에 초점을 맞춘다. 메트릭 공간이 초메트릭임과 동시에 모든 컴acts 집합과 모든 ε > 0에 대해 커버링 수와 패킹 수가 동일할 때만 성립하며, 부분 거리 유지 메트릭과 커버링 수 및 패킹 수에 대한 특정 부등식을 만족할 경우 초메트릭 공간의 곱이 초메트릭 성질을 유지하는 데 필요한 조건을 제시한다.

ABSTRACT

We describe some Cartesian products of metric spaces and find conditions under which products of ultrametric spaces are ultrametric.

연구 동기 및 목표

• 커버링 수와 패킹 수의 동일성을 통해 초메트릭 공간을 특성화하는 것.
• 메트릭 공간의 곱이 초메트릭 성질을 언제나 유지하는지 조사하는 것.
• 커버링 수와 패킹 수를 유한한 기수 이외의 순서수 기수로 일반화하여 분석을 향상시키는 것.
• 부분 거리 유지 메트릭 하에서 초메트릭 공간의 곱이 초메트릭 성질을 유지할 수 있는 충분한 조건을 설정하는 것.
• 메트릭 공간의 구조와 그 곱의 성질을 결정하는 데 있어 배치 지수 t₀의 역할을 명확히 하는 것.

제안 방법

• 메트릭 공간 내 모든 삼중항 x,y,z에 대해 s(x,y,z)가 (d(x,y))^s = (d(x,z))^s + (d(z,y))^s 를 만족하는 해일 때, s(x,y,z)의 infimum을 t₀(d)로 정의함. 이때 삼각 부등식이 엄격하게 성립할 경우를 고려한다.
• 유한 집합을 초월한 분석을 위해 커버링 수와 패킹 수의 순서수 일반화를 각각 \hat{\mathcal{N}}_ε^A(W) 및 \hat{\mathcal{M}}_ε(W)로 정의한다.
• 정교화된 부등식을 확립함: \mathcal{M}^{*}_{2^{1/t₀}ε}(W) ≤ \hat{\mathcal{N}}_ε^X(W) ≤ \hat{\mathcal{N}}_ε(W) ≤ \hat{\mathcal{M}}_ε(W) ≤ \mathcal{M}^{*}_ε(W)로, 배치 지수와 커버링 수 및 패킹 수의 행동을 연결한다.
• X × Y 상에서 d ≥ d_∞ 이며 d_X와 d_Y에만 의존하는 부분 거리 유지 메트릭 d를 도입한다.
• W ⊆ X, Z ⊆ Y 인 컴팩트 집합에 대해 \mathcal{N}_ε(W × Z) = \mathcal{N}_ε(W) · \mathcal{N}_ε(Z) 라는 등식을 이용하여 곱 공간의 초메트릭성 조건을 유도한다.
• 정리 2.9를 적용함: 메트릭 공간이 초메트릭임과 동시에 모든 컴팩트 W와 ε > 0에 대해 \mathcal{N}_ε(W) = \mathcal{M}_ε(W) 이면 성립한다.

실험 결과

연구 질문

• RQ1 두 메트릭 공간의 카티esian 곱이 초메트릭 공간이 되는 조건은 무엇인가?
• RQ2 일반적인 메트릭 공간에서 커버링 수와 패킹 수는 어떻게 관련되어 있으며, 그 동일성은 무엇을 의미하는가?
• RQ3 배치 지수 t₀은 초메트릭 공간을 특성화하는 데 어떤 역할을 하는가?
• RQ4 커버링 수와 패킹 수의 동일성은 순서수 기수로 확장될 수 있으며, 이는 메트릭 구조에 어떤 영향을 미치는가?
• RQ5 부분 거리 유지 메트릭이 곱 공간의 초메트릭 성질을 유지하기 위한 조건은 무엇인가?

주요 결과

• 모든 컴팩트 집합 W와 모든 ε > 0에 대해 커버링 수 \mathcal{N}_ε(W)와 패킹 수 \mathcal{M}_ε(W)가 동일할 때, 메트릭 공간은 초메트릭이다.
• 배치 지수 t₀은 모든 삼중항 x,y,z에 대해 s(x,y,z)의 infimum이며, t₀ = ∞일 때이고 오직 그 때에만 공간이 초메트릭이다.
• 메트릭 공간 내 임의의 닫힌 구간 B(a,r)에 대해 지름은 diam(B(a,r)) ≤ 2^{1/t₀} r 를 만족하며, 초메트릭 경우에 등호가 성립한다.
• 모든 ε > 0과 컴팩트 W에 대해 정교화된 부등식 \mathcal{M}^{*}_{2^{1/t₀}ε}(W) ≤ \hat{\mathcal{N}}_ε^X(W) ≤ \hat{\mathcal{N}}_ε(W) ≤ \hat{\mathcal{M}}_ε(W) ≤ \mathcal{M}^{*}_ε(W) 가 성립한다.
• (X,d_X)와 (Y,d_Y)가 초메트릭이고 X × Y 상에서 d ≥ d_∞ 를 만족하는 부분 거리 유지 메트릭 d가 존재할 때, (X × Y,d)가 초메트릭임과 동시에 모든 컴팩트 W ⊆ X, Z ⊆ Y 및 ε > 0에 대해 \mathcal{N}_ε(W × Z) = \mathcal{N}_ε(W) · \mathcal{N}_ε(Z) 이면 동치이다.
• 대칭성이 없을 경우, 주어진 조건 하에서 곱이 초메트릭이 되기 위해 d((x₁,y₁),(x₂,y₂)) = d((x₂,y₁),(x₁,y₂)) 라는 등식이 필수적이다.