[논문 리뷰] Spaces C(K) with an equivalent URED norm

Antonio Avilés, Stanimir Troyanski|arXiv (Cornell University)|2020. 04. 30.

Advanced Banach Space Theory인용 수 1

한 줄 요약

이 논문은 연속 함수의 바나흐 공간 $C(K)$가 모든 방향에서 균일하게 둥근(URED) 절대값을 가질 수 있음이 $K$가 엄밀히 양의 측도를 지닌다 하는 것과 필요충분조건임을 증명한다. 증명은 $C(K)$에서의 URED 재정규화에 대한 새로운 마팅게일 기반 특성화에 기반하며, 개방 덮개의 교차 수를 통한 켈리 기준의 변형을 활용한다. 주요 기여는 $C(K)$ 공간에서 URED 재정규화가 가능한지의 전면적 특성화로, 재정규화 이론에서 오랫동안 남아 있던 문제를 해결한다.

ABSTRACT

We prove that a Banach space of continuous functions $C(K)$ has a renorming that is uniformly rotund in every direction (URED) if and only if the compact space $K$ supports a strictly positive measure

연구 동기 및 목표

• 모든 방향에서 균일하게 둥근(URED) 절대값을 가질 수 있는 $C(K)$의 조건을 필요충분조건으로 규명하는 것.
• $C(K)$가 URED 재정규화를 가질 수 있는 컴팩트 공간 $K$를 특성화하는 열린 문제를 해결하는 것.
• $C(K)$ 공간에서의 $p$-UR 및 UR 재정규화에 관한 기존 결과를 확장하고 정교화하는 것.
• 교차 수와 마팅게일 분석을 이용해 컴팩트 공간 위의 엄밀히 양의 측도에 대한 새로운 내재적 특성화를 제공하는 것.

제안 방법

• 확률 공간의 분할과 $C(K)$ 값의 이산 마팅게일을 사용하여 $C(K)$의 맥락에서 URED 재정규화의 마팅게일 특성화를 응용한다.
• 엄밀히 양의 측도의 부재를 특성화하기 위해 개방 집합의 가족에 대한 새로운 교차 수 $\tilde{w}_n(G)$의 변형을 도입한다.
• 함수의 노름 성장에 따라 $C(K)$를 부분공간 $X_{m,t}$로 분해하며, 이는 노름의 $L^2(\mu)$ 부분을 기반으로 한다.
• 유한 개의 개방 집합 가족에 대해 특성 함수의 합의 Supremum인 $l(G)$를 포함하는 핵심 부등식을 적용하여 마팅게일 증분을 유계화한다.
• 집합 $H \subset C(K)$에 대한 동차성 원리를 사용하여 마팅게일 $a_k(H)$-노름과 교차 수 $\tilde{w}_n(G)$ 사이의 관계를 규명한다.
• 갈빈과 프리크리의 켈리 정리의 변형을 활용하여 $\tilde{w}_n(G) = 0$이 컴팩트 공간 $K$ 위에 엄밀히 양의 측도가 존재하지 않음을 뜻함을 연결한다.

실험 결과

연구 질문

• RQ1 언제 $C(K)$가 등가의 URED 노름을 가질 수 있는가?
• RQ2 컴팩트 공간 $K$ 위에 엄밀히 양의 측도가 존재하는 것이 $C(K)$의 URED 재정규화에 필수적이고 충분한 조건인가?
• RQ3 컴팩트 공간 $K$의 개방 덮개의 조합적 불변량을 통해 $C(K)$에서의 URED 성질을 특성화할 수 있는가?
• RQ4 마팅게일 기법은 $C(K)$에서의 엄밀히 양의 측도 존재성과 어떻게 관련되는가?
• RQ5 URED 재정규화와 $C(K)$ 공간에서의 더 약한 $p$-UR 성질 사이의 관계는 무엇인가?

주요 결과

• URED 재정규화가 존재하는 것은 $K$가 엄밀히 양의 측도를 지닌다 하는 것과 필요충분조건이다.
• URED 노름 $|||f||| = \sqrt{\|f\|_\infty^2 + \int_K f^2 d\mu}$의 구성은 URED 재정규화에 대해 충분하고 필수적이다.
• 증명은 $C(K)$가 URED 노름을 가진다면, 모순을 이용하여 $a_k(H)$-노름과 교차 수를 통해 $K$가 엄밀히 양의 측도를 지녀야 함을 보여준다.
• 핵심 기술적 단계는 어떤 가족 $G$에 대해 $\tilde{w}_n(G) = 0$이면, $F_G$를 포함하는 모든 동차 집합 $H$에 대해 $a(H) \leq 1$임을 보이는 것으로, 이는 URED 가정에서 유도된 $a_k(H) > t > 1$ 조건과 모순된다.
• 리히타르의 $p$-UR 특성화를 개선하여, $C(K)$에서는 URED와 $p$-UR 재정규화가 동치임을 보여주며, 이는 일반적인 바나흐 공간에서는 성립하지 않는다.
• 이 논문은 $C(K)$가 URED 재정규화를 가질 수 있는 것은 $K$가 엄밀히 양의 측도를 지닐 때에만 가능함을 입증하여, 재정규화 이론에서 오랫동안 남아 있던 격차를 메운다.