L p 볼의 폭과 위상 차원
** 본 논문은 유리소프 폭(ε‑임베딩) 개념을 이용해 ℓ⁽ᵖ⁾ 단위볼 Bₚⁿ(1)의 위상적 차원 wdim₍ε₎을 분석한다. l∞ 메트릭과 lᵖ 메트릭 각각에 대해 정확한 스펙트럼을 구하고, 상한은 Hadamard 행렬, Borsuk‑Ulam 정리, 채워짐 반경(filling radius) 등을 활용해, 하한은 구의 반구에 포함되지 않는 n+1점 집합의 직경 하한을 이용해 얻는다. 특히 p∈
저자: Antoine Gournay (LM-Orsay)
**
본 논문은 위상학적 폭(또는 Urysohn 폭) 개념을 현대적인 관점에서 재정의하고, 이를 ℓᵖ 공간의 단위볼에 적용하여 구체적인 차원 추정값을 제공한다.
1. **기본 정의와 성질**
- ε‑임베딩: 연속 사상 f:X→Y가 모든 섬유 f⁻¹(y)의 직경이 ε보다 작을 때.
- 위상적 차원 wdim₍ε₎(X): ε‑임베딩이 가능한 최소 차원 k.
- wspec(X): ε에 대한 wdim₍ε₎ 값들의 집합.
- 기본 성질: 삼각분할 가능성, 비감소성, 컴팩트성에서 유한성, 스케일링에 대한 동등성 등.
2. **ℓᵖ 볼을 l∞ 메트릭으로 보는 경우**
- Bₚⁿ(1)⊂ℝⁿ을 l∞ 메트릭으로 측정하면, wspec은 정확히 {0,1,…,n}.
- 구체적인 구간:
* ε≥2 → wdim₍ε₎=0
* 2·(k+1)^{−1/p} ≤ ε < 2·k^{−1/p} → wdim₍ε₎=k (0≤k≤n−1)
* ε<2·n^{−1/p} → wdim₍ε₎=n
- 증명은 l∞ 볼이 ℓᵖ 볼에 포함되는 사실과, 좌표 중 j개를 0으로 만드는 투사 πⱼ를 이용한 명시적 ε‑임베딩을 구성함으로써 상한을, 포함 관계와 거리 비교를 통해 하한을 얻는다.
3. **ℓᵖ 메트릭 자체를 사용하는 경우**
- 여기서는 wspec이 {0, h(n), n}을 포함하고, 나머지는 (n/2−1, n] 사이의 정수들로 제한된다. h(n)은 n이 짝수이면 n/2, 홀수이면 (n±1)/2 등으로 정의된다.
- 하한: Borsuk‑Ulam 정리를 이용해 ε<2이면 wdim₍ε₎>(n−1)/2. 즉, ε가 작을수록 최소 절반 차원 이상이 필요함을 의미한다.
- 상한: Hadamard 행렬이 존재하는 차원에서는 n−1 차원까지 내려갈 수 있다. 구체적으로, ε≥c_{k,n;p}이면 wdim₍ε₎≤k, ε
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기