[논문 리뷰] On convex combinations of slices of the unit ball in Banach spaces

R. Haller, Paavo Kuuseok외 1명|arXiv (Cornell University)|2017. 03. 08.

Rings, Modules, and Algebras참고 문헌 8인용 수 4

한 줄 요약

이 논문은 바나흐 공간에서 슬라이스의 볼록 조합과 관련된 세 성질—상대적으로 약한 열린성, 공백이 없는 약한 내부, 단위 구면과의 교차—이 모두 서로 다름과 등가가 아님을 입증한다. 저자들은 두 바나흐 공간의 1합이 성질 (P1)을 만족하지 못하지만, 양 측면이 모두 (P1)를 만족할 경우 (P2)를 만족함을 증명하며, $C[0,1]$가 (P3)를 만족하지만 (P2)를 만족하지 못함을 보여, $\text{(P1)} \Rightarrow \text{(P2)} \Rightarrow \text{(P3)}$의 엄격한 계층관계를 입증한다.

ABSTRACT

We prove that the following three properties for a Banach space are all different from each other: every finite convex combination of slices of the unit ball is (1) relatively weakly open, (2) has nonempty interior in relative weak topology of the unit ball, and (3) intersects the unit sphere. In particular, the $1$-sum of two Banach spaces does not have property (1), but it has property (2) if both the spaces have property (1); the Banach space $C[0,1]$ does not have property (2), although it has property (3).

연구 동기 및 목표

• 바나흐 공간의 단위 구내에서 슬라이스의 볼록 조합과 관련된 세 성질—상대적 약한 열림성, 공백이 없는 약한 내부, 단위 구면과의 교차—간의 관계를 조사하는 것.
• 이 성질들이 상호 등가인지, 아니면 엄격한 계층관계를 이룬다는지 판단하는 것.
• 특히 절대 노름을 가진 직접 합, 특히 1합에서 이러한 성질들이 어떻게 행동하는지 분석하는 것.
• $C[0,1]$가 성질 (P3)를 만족하지만 (P2)를 만족하지 못함을 보여, $\text{(P2)} \Rightarrow \text{(P3)}$의 함의관계가 엄격함을 증명하는 것.
• 두 바나흐 공간의 $1$-합이 (P1)를 유지하지 못함을 보여, $\text{(P1)} \Rightarrow \text{(P2)}$의 함의관계가 엄격함을 증명하는 것.

제안 방법

• 저자들은 바나흐 공간에 대해 세 성질 (P1), (P2), (P3)을 정의한다: (P1) 모든 슬라이스의 볼록 조합은 상대적으로 약한 열린 집합이다; (P2) 모든 이러한 조합은 상대적 약한 위상에서 공백이 없는 내부를 가진다; (P3) 모든 이러한 조합은 단위 구면과 교차한다.
• 그들은 부르강의 보조정리(모든 비공백 상대적 약한 열린 집합은 슬라이스의 볼록 조합을 포함한다)를 사용하여 반대 방향 함의관계를 대조한다.
• 논문은 절대 정규화된 노름을 가지는 $\mathbb{R}^2$ 위에서의 $\ell^1$-합(1합)을 사용하여 이러한 성질들이 바나흐 공간의 직접 합에서 어떻게 안정되는지 분석한다. 특히 $\ell^1$-노름에 초점을 맞춘다.
• 핵심 기술적 도구는 $X^*$와 $Y^*$의 함수형으로부터 $X \oplus_N Y$에서 특정 슬라이스를 구성하고, $N \neq \ell^\infty$일 때 그 볼록 조합이 상대적으로 약한 열린 집합이 되지 못함을 보이는 것이다.
• $C[0,1]$의 경우, 정규성의 Borel 측도, 하른 분해, 티체의 확장 정리와 같은 측도 이론적 접근을 사용하여, 특정한 반합 슬라이스에 속하지 않지만 슬라이스의 볼록 조합에 속하는 함수 $u$를 구성함으로써 (P2) 위반을 보여준다.
• (P2)의 실패를 증명하기 위해, 모든 $j$에 대해 $|\nu_j(u - z)| < \gamma$ 이지만 $\mu(B^u_0) > 2\varepsilon$ 임을 보여, $u$가 두 슬라이스의 반합에 속하지 않음을 보이며, 이는 (P2)의 위반을 암시한다.

실험 결과

연구 질문

• RQ1 슬라이스의 볼록 조합에 대해 바나흐 공간의 단위 구내에서 상대적 약한 열림성, 공백이 없는 약한 내부, 단위 구면과의 교차라는 세 성질이 상호 등가인가?
• RQ2 두 바나흐 공간의 1합이 각각 (P1)을 만족할 경우, (P1)을 유지하는가?
• RQ3 $C[0,1]$는 (P2)를 만족하는가, 즉 모든 슬라이스의 볼록 조합이 공백이 없는 약한 내부를 가진다?
• RQ4 각 단계에서의 함의관계 $\text{(P1)} \Rightarrow \text{(P2)} \Rightarrow \text{(P3)}$의 엄격성은 명시적 반례를 통해 입증될 수 있는가?
• RQ5 절대 정규화된 노름의 선택(예: $\ell^1$, $\ell^\infty$)이 이러한 성질들이 직접 합에서의 안정성에 어떤 영향을 미치는가?

주요 결과

• 두 바나흐 공간의 1합은 양 측면이 모두 (P1)를 만족하더라도 (P1)를 만족하지 못함을 보여, (P1)이 $\ell^1$-합에서 보존되지 않음을 입증한다.
• 두 바나흐 공간의 1합은 각각 (P1)을 만족할 경우 (P2)를 만족함을 보여, (P2)가 (P1)가 성립하는 합성원소에서 $\ell^1$-합에 대해 보존됨을 나타낸다.
• $C[0,1]$는 성질 (P3)를 만족한다. 즉, 모든 슬라이스의 볼록 조합은 단위 구면과 교차한다.
• $C[0,1]$는 성질 (P2)를 만족하지 못한다. 즉, 상대적 약한 위상에서 공백이 없는 내부를 가지지 않는 슬라이스의 볼록 조합이 존재한다.
• 특정 함수 $u$를 구성하여, $u$가 슬라이스의 볼록 조합에 속하지만 특정한 반합 슬라이스에 속하지 않음을 보여, 이러한 조합의 약한 내부가 공백일 수 있음을 입증한다.
• 논문은 반례를 제시함으로써 $\text{(P1)} \Rightarrow \text{(P2)} \Rightarrow \text{(P3)}$의 엄격한 계층관계를 확립하며, 모든 함의관계가 엄격함을 입증한다.