비가산 Banach 공간에서 약∗ 동형사상의 자동 노름 연속성
본 논문은 비가산 Banach 공간들의 특정 클래스 E와 E₀를 정의하고, 이들 공간에서 이중 단위구의 약∗ 위상만으로 노름 위상을 완전히 기술할 수 있음을 보인다. 따라서 클래스 E에 속하는 두 공간 X, Y 사이의 약∗‑동형사상 f : B_{X*}→B_{Y*}는 자동으로 노름‑연속이 된다. 핵심 도구는 Shchepin의 스펙트럼 이론을 이용한 “섬유 수렴(fiber convergence)” 개념이다.
저자: Antonio Aviles
본 논문은 “비가산 Banach 공간에서 약∗‑동형사상이 자동으로 노름 연속성을 갖는가?”라는 질문을 다루며, 이를 해결하기 위해 새로운 위상적 도구인 섬유 수렴(fiber convergence)과 Shchepin의 스펙트럼 이론을 도입한다.
**1. 서론 및 배경**
먼저, 가산 차원의 무한 차원 Banach 공간 X에 대해 약∗ 위상이 메트리제이션 가능하고, Hilbert‑cube와 위상동형이므로 약∗‑밀집 집합을 자유롭게 재배치할 수 있음을 이용해 약∗‑동형사상이 노름 연속성을 잃을 수 있음을 Proposition 1으로 보여준다. 이는 자동 연속성 현상이 비가산 경우에만 기대할 수 있음을 시사한다.
**2. 클래스 E와 E₀의 정의**
- **클래스 E**: (B_{X*}, w*)에서 섬유 수렴하는 모든 수열이 정확히 노름 수렴과 일치하는 공간. 즉, 섬유 수렴 ⇔ 노름 수렴.
- **클래스 E₀**: 섬유 수렴이 “약∗ 수렴 + 노름 수렴”과 동치인 공간. 즉, 섬유 수렴 ⇔ (약∗ 수렴 ∧ 노름 수렴).
이 두 정의는 위상적 성질만을 사용하므로, 위상동형에 의해 보존된다.
**3. 스펙트럼 이론과 σ‑세미라티스**
Shchepin의 스펙트럼 정리(정리 6, 9)를 활용해, 비가산 가중치를 가진 컴팩트 공간 K의 “σ‑전형 사상”을 정의한다. 이는 K의 모든 가산 가중치 몽타주 Q_ω(K)에서 공통 상한이 K인 σ‑세미라티스를 선택하고, 그 안의 모든 사상이 특정 성질 P를 만족하면 K 전체에 대해 P가 성립한다는 원리이다.
**4. Dual ball의 가산 몽타주 구성**
K를 B_{X*}라 두면, Q_ω(B_{X*})는 X의 가산 차원 부분공간 Y⊂X에 대한 이중구 B_{Y*}들의 몽타주로 구성될 수 있다(정리 10). 이는 “섬유 수렴”을 조사할 때 각 가산 부분공간에 대한 제한 사상 π_Y : B_{X*}→B_{Y*}를 살펴보면 충분함을 의미한다.
**5. 섬유 수렴과 ℓ_p‑합**
Lemma 15는 ℓ_p‑합 구조 X⊕ℓ_p Z에서 제한 사상 π에 대한 섬유 수렴을 정확히 다음과 같이 기술한다.
- p=1인 경우, 모든 약∗ 수렴 수열이 섬유 수렴이다.
- 1
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기