측정 가능한 군 표현의 연속성 및 동형사상의 연속성

초록

이 논문은 로컬리 컴팩트 군 (G)와 힐베르트 공간 (H) 위의 유니터리 표현 (U:G\to\mathcal L(H))에 대해, 약한 연산자 위상에서 (U)가 측정 가능하면 자동으로 연속함을 증명한다. 기존 결과는 (H)가 가산 차원일 때만 알려졌으며, 저자는 비가산 차원에서도 성립하도록 일반화한다. 핵심은 ‘점유한 가산 가족의 영집합들의 비측정 가능 합집합’에 관한 정리를 확장한 것이며, 이를 이용해 측정 가능한 군 동형사상이 모두 연속이라는 일관성을 ZFC와 결합된 추가 가정 하에 보인다. 또한, 모든 영집합 (S)에 대해 어떤 집합 (A)가 존재해 (AS)가 비측정 가능함을 보이는 독립성 결과도 제시한다.

상세 분석

본 연구는 두 가지 주요 질문에 답한다. 첫 번째는 “측정 가능한 유니터리 표현이 연속성을 가질 필요가 있는가?”이며, 두 번째는 “측정 가능한 군 동형사상이 일반적인 위상군으로의 연속성을 보장하는가?” 기존 문헌에서는 힐베르트 공간이 가산 차원일 때, 즉 (H)가 separable일 때만 측정 가능성 ⇒ 연속성 정리가 알려져 있었다. 이는 Pettis’ theorem과 Mackey‑Borel 구조를 활용한 전통적인 방법에 기반한다. 그러나 비가산 차원에서는 약한 연산자 위상에서의 Borel 구조가 복잡해져 기존 기법이 바로 적용되지 않는다.

저자는 먼저 “점유한(point‑finite) 영집합들의 비가산 합집합은 비측정 가능”이라는 정리를 일반화한다. 원래 정리는 가산 가정 하에서만 증명되었으나, 저자는 ZFC 내에서 가능한 강한 측정 이론적 가정을 도입해, 가산이 아닌 경우에도 동일한 결론을 얻는다. 핵심 아이디어는 ‘대수적 확장’과 ‘카디날리티 조작’을 통해 영집합들의 합을 적절히 재구성하고, 이를 통해 측정 가능한 함수가 영집합 위에서 거의 everywhere 연속임을 보이는 것이다.

이 정리를 이용해, (U:G\to\mathcal L(H))가 약한 연산자 위상에서 Borel 측정 가능하다고 가정하면, 각 벡터 (x,y\in H)에 대해 스칼라 함수 (g\mapsto\langle U(g)x,y\rangle)가 측정 가능하고, 위 정리로부터 거의 everywhere 연속임을 얻는다. 약한 연산자 위상의 정의에 따라, 이러한 스칼라 함수들의 연속성이 전체 연산자값 함수의 연속성을 강제한다. 따라서 (U)는 전체적으로 연속함을 보인다. 이 과정에서 비가산 차원에서도 적용 가능한 ‘점유한 영집합’ 정리가 핵심적인 역할을 한다.

두 번째 주요 결과는 “ZFC와 추가적인 일관성 가정 하에, 모든 측정 가능한 군 동형사상은 연속이다”라는 선언이다. 저자는 ‘모든 영집합 (S)에 대해 어떤 집합 (A)가 존재해 (AS)가 비측정 가능’이라는 독립성 명제를 도입한다. 이 명제는 Martin’s Axiom 혹은 대수적 강체(large cardinal) 가정과 결합될 때 ZFC와 모순되지 않으며, 이러한 환경에서는 임의의 로컬리 컴팩트 군 (G)와 임의의 위상군 (K) 사이의 측정 가능한 동형사상이 자동으로 연속성을 갖는다. 이는 기존에 알려진 ‘측정 가능 ⇒ 연속’ 결과를 일반적인 타깃 군으로 확장한 것으로, 측정 이론과 위상군 이론 사이의 새로운 연결 고리를 제공한다.

마지막으로, 저자는 위 독립성 결과를 이용해 “모든 영집합 (S)에 대해 (AS)가 비측정 가능”이라는 정리를 증명한다. 이는 비가산 군 구조에서 영집합의 곱셈이 측정 가능성을 파괴할 수 있음을 보여주며, 측정 가능한 동형사상의 연속성 문제에 대한 일관성 해답을 제공한다. 전체적으로 이 논문은 측정 가능성과 연속성 사이의 미묘한 관계를 심도 있게 탐구하고, 비가산 상황에서도 기존 정리를 확장함으로써 현대 조화 분석과 집합론적 위상수학에 중요한 기여를 한다.