[논문 리뷰] On characterization of locally $L^0$-convex topologies induced by a family of $L^0$-seminorms

José Miguel Zapata|arXiv (Cornell University)|2014. 04. 01.

Advanced Banach Space Theory참고 문헌 4인용 수 9

한 줄 요약

이 논문은 게이지 함수를 사용하여 $L^0$-모듈러스 위의 국소적 $L^0$-병립형 위상의 특성화를 제공하며, 이러한 위상들이 유일하게 $L^0$-세미노름의 가족에 의해 유도됨을 보여주기 위한 조건은 영점 근방의 기저가 가чёт한 연결에 대해 닫혀 있을 경우임을 증명한다. 또한, 위상이 어떤 $L^0$-세미노름의 가족에 의해 유도되지 않는 국소적 $L^0$-병립형 모듈러스의 반례를 구성하여 조건부 병립형 해석 이론에서의 기초적 간극을 해결한다.

ABSTRACT

The purpose of this paper is to provide a characterization of the topological $L^0$-modules whose topology is induced by a family of $L^0$-seminorms using the gauge function for $L^0$-modules. Taking advantage of these ideas we will give a counterexample of a locally $L^0$-convex module whose topology is not induced by a family of $L^0$-seminorms.

연구 동기 및 목표

• 국소적 $L^0$-병립형 모듈러스 이론에서 이전의 주장이 모든 위상들이 $L^0$-세미노름에 의해 유도된다고 주장했지만 충분한 정당성이 없었기 때문에, 이러한 기초적 간극을 해결하기 위해.
• 국소적 $L^0$-병립형 위상이 $L^0$-세미노름의 가족에 의해 유도되는 정확한 조건을 명확히 하기 위해.
• 가чёт한 연결 닫힘 조건을 필수 조건으로 포함하는, 더 엄격한 국소적 $L^0$-병립형 모듈러스의 새로운 정의를 제시하기 위해.
• 어떤 $L^0$-세미노름의 가족에 의해 유도되지 않는 국소적 $L^0$-병립형 모듈러스의 구체적 반례를 구성하기 위해.
• 게이지 함수 기반의 근방 기저가 유일하게 위상을 결정하는 조건이 영점 근방 기저가 가чёт한 연결에 대해 닫혀 있을 때임을 증명하기 위해.

제안 방법

• 논문은 $L^0$-모듈러스의 위상을 특성화하기 위해 게이지 함수 $p_K(X) := \text{ess.}\inf\{Y \in L^+\!^0 : X \in YK\}$ 를 사용한다.
• 각 $U \in \mathcal{U}$ 가 가чёт한 연결에 대해 닫혀 있을 때만, 영점 근방 기저 $\mathcal{U}$ 가 $L^0$-세미노름의 가족에 의해 국소적 $L^0$-병립형 위상을 유도함을 증명한다.
• 반례의 구성은 무한한 분할 $\{A_n\}_{n \in \mathbb{N}}$ 을 가진 확률 공간을 기반으로 하며, 원소들이 유한한 원소 집합 외부에서 유계인 $U_\varepsilon$ 라는 근방 기저를 정의한다.
• 이러한 $U_\varepsilon$ 가 $L^0$-병립형, $L^0$-흡수 가능, $L^0$-대칭임을 보이며, 그러나 가чёт한 연결에 대해 닫혀 있지 않음을 보여준다. 예를 들어, $\varepsilon + 1 = \sum_n (\varepsilon + 1)\mathbf{1}_{A_n}$ 이며 각 항은 $U_\varepsilon$ 에 속하지만 합은 그렇지 않다.
• 유도 불가능성의 증명은 모순을 이용한다: $p_{U_\varepsilon}(X) < 1$ 이면 $X \in U_\varepsilon$ 이지만, $p_{U_1}(1) = 0$ 이므로 $\{X : p_{U_1}(X) < 1\} \not\subseteq U_1$ 이며, 이는 세미노름에 의해 유도된 위상에 필요한 조건을 위반한다.
• 논문은 국소적 $L^0$-병립형 모듈러스를 재정의하여 근방 기저가 가чёт한 연결에 대해 닫혀 있어야 한다는 조건을 필수 조건으로 포함함으로써, 세미노름에 의해 유도된 위상과의 동치성을 보장한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 $L^0$-모듈러스 위의 국소적 $L^0$-병립형 위상이 $L^0$-세미노름의 가족에 의해 유도되는가?
• RQ2 게이지 함수 구성은 이러한 위상을 완전히 특성화하는 데에 충분한가? 근방 기저가 만족해야 할 구조적 성질은 무엇인가?
• RQ3 국소적 $L^0$-병립형 모듈러스가 어떤 $L^0$-세미노름의 가족에 의해 유도되지 않는 경우가 존재할 수 있는가? 이는 이론 문헌에서 이전에 제기된 주장들을 무효화하는가?
• RQ4 가чёт한 연결 닫힘은 $L^0$-세미노름에 의해 유도된 위상과 국소적 $L^0$-병립형 위상 간의 동치성에서 어떤 역할을 하는가?
• RQ5 표준 게이지 함수가 특정 경우에 위상을 생성하지 못하는 이유는 무엇이며, 그 정확한 장애 요소는 무엇인가?

주요 결과

• 국소적 $L^0$-병립형 위상이 $L^0$-세미노름의 가족에 의해 유도됨은 영점 근방 기저가 가чёт한 연결에 대해 닫혀 있을 때에만 성립한다.
• 논문은 반례를 구성한다: $L^0$ 에는 $U_\varepsilon = \{Y \in L^0 : \exists \text{ 유한한 } I \subset \mathbb{N} \text{ such that } |Y\mathbf{1}_{A_i}| \leq \varepsilon \text{ for all } i \notin I\}$ 에 의해 유도되는 위상이 존재하며, 이는 국소적 $L^0$-병립형이지만 세미노름에 의해 유도되지 않는다.
• $p_{U_1}(1) = 0$ 이며, 이는 $\{X : p_{U_1}(X) < 1\} \not\subseteq U_1$ 임을 의미한다. 이는 세미노름에 의해 유도된 위상에 필요한 조건을 위반한다.
• 반례는 $\varepsilon + 1 \notin U_\varepsilon$ 이지만 각 $A_n$ 에서의 $\varepsilon + 1$ 은 $U_\varepsilon$ 에 속하므로, $U_\varepsilon$ 가 가чёт한 연결에 대해 닫혀 있지 않음을 증명한다.
• 논문은 집합 $K$ 의 게이지 함수 $p_K$ 가 $L^0$-세미노름임은 $K$ 가 $L^0$-병립형, $L^0$-흡수 가능, $L^0$-대칭이며, 가чёт한 연결에 대해 닫혀 있을 때에만 성립함을 증명한다.
• 저자는 국소적 $L^0$-병립형 모듈러스를 재정의하여, 근방 기저의 가чёт한 연결 닫힘 조건을 필수 조건으로 포함함으로써, 이러한 모듈러스가 정확히 $L^0$-세미노름의 가족에 의해 유도된 위상과 동치임을 보장한다.