군 작용을 갖는 볼록집합 초공간의 등가 절대 연장자 성질

초록

컴팩트 군 G가 선형 등거리 변환으로 Banach 공간 L에 작용할 때, L의 모든 컴팩트 볼록 부분집합들의 초공간 cc(L)은 G‑절대 연장자(G‑AE)이다. 또한 G가 연속적인 위상을 가질 경우, 닫히고 유계인 볼록 집합들의 초공간 CB(L)도 G‑AE가 된다. 이는 Radström‑Schmidt 임베딩을 이용해 cc(L)·CB(L)를 G‑불변 폐합선형 부분공간으로 삽입하고, 기존의 G‑AE 정리를 적용함으로써 증명된다.

상세 분석

본 논문은 컴팩트 군 G가 Banach 공간 L에 선형 등거리(또는 보다 일반적으로 아핀) 작용을 할 때, L의 볼록집합 초공간이 G‑절대 연장자(G‑AE)라는 사실을 체계적으로 입증한다. 핵심 아이디어는 두 단계로 나뉜다. 첫째, Hausdorff 거리로 위상화된 초공간 K (= cc(L) 혹은 CB(L))에 대해 Radström‑Schmidt(또는 Radström‑Schmidt‑Schmidt) 임베딩 j: K → H(K)를 정의한다. 여기서 H(K)는 등가 관계 (A,B)∼(C,D)⇔A+D=B+C 에 의해 형성된 실선형공간이며, ‖h_{A,B}‖=d_H(A,B) 로 정의된 노름을 갖는다. 논문은 G가 L에 선형 등거리 작용을 하면, (4.1) g·h_{A,B}=h_{gA,gB} 로 정의된 자연스러운 G‑작용이 H(K)에 연속적이고 등거리임을 보인다. 따라서 (H(K),‖·‖)는 다시 Banach G‑공간이 된다. 둘째, j는 G‑불변이며 등거리 삽입이므로 j(K)⊂H(K)는 폐합선형(convex) G‑불변 부분집합이다. 기존 문헌(정리 2.1, 2.2)에서 보여지듯, Banach G‑공간의 폐합선형 G‑불변 집합은 G‑AE(또는 G‑ANE)이다. 따라서 j(K)와 동형인 K도 G‑AE가 된다.

논문은 또한 G가 CB(L) 위에 작용할 때 연속성이 보장되지 않을 수 있음을 예시(3.1)로 제시한다. 여기서는 Cantor 군 G=Z_2^∞와 L=C(G,ℝ) 를 이용해, 특정 점 (e,A)에서 작용이 불연속임을 증명한다. 반면, G가 유한군이거나 작용 토폴로지가 연산자 노름에 의해 유도된 경우(예: 예시 3.3)에는 연속성이 유지된다.

주요 결과인 정리 5.1은 위의 임베딩과 정리 2.1을 결합해 cc(L)은 언제나 G‑AE임을, 추가 가정 하에 CB(L)도 G‑AE임을 즉시 얻는다. 이어지는 정리 5.2와 그 여파(코롤러리 5.3)는 모든 G‑불변 볼록 부분패밀리(예: 전체 볼록 몸체, 유한·무한 차원 볼록 컴팩트 등)가 AE, G‑AE, G‑ANE 성질을 갖는 조건을 명시한다. 특히, G가 리 군이면 G‑ANE가 되며 고정점이 존재하면 G‑AE가 된다.

이러한 결과는 기존 문헌에서 다루던 “G‑hyperspace of compact subsets”에 대한 ANE 결과를 일반화하고, 선형 등거리 작용이라는 자연스러운 가정 하에 보다 강력한 G‑AE 성질을 확보한다는 점에서 의미가 크다. 또한, O(n)과 같은 전통적인 군 작용에 대한 구체적인 예시를 통해 결과의 적용 범위를 명확히 제시한다.