위상군의 문자와 경계 시스템 폰트리아그 반 캄펜 이중성 PCF 이론

초록

본 논문은 위상군의 문자(기본 개방 기저의 최소 크기)를 비가산적 상황에서도 추정할 수 있는 새로운 도구들을 제시한다. 특히, 컴팩트 집합들의 가산 공극(cofinal) 체계에 의해 위상이 결정되는 아벨 군, 즉 가산 가중치를 가진 메트릭 가능 아벨 군의 폰트리아그‑반 캄펜 이중체의 폐쇄 부분군들을 대상으로 한다. 이들 군의 문자는 컴팩트 부분집합들의 가중치 혹은 컴팩트 부분군에 대한 몫군의 가중치에 의해 완전히 결정된다. 밀도와 국소 밀도가 메트릭 가능 아벨 군의 이중체 문자를 규정함을 보이며, 결과를 체크 완비 군의 이중체 폐쇄 부분군까지 일반화한다. 또한 자유 아벨 위상군에 대한 기존 결과들을 pcf 이론과 연결시켜 보다 강력한 추정식을 얻는다.

상세 분석

논문은 먼저 Birkhoff‑Kakutani 정리를 회고하며, 위상군이 메트릭 가능하려면 문자(기본 개방 기저의 최소 크기)가 가산이어야 함을 상기한다. 그러나 비가산 위상군에 대해서는 문자 추정이 어려운 실정이다. 저자들은 ‘경계 시스템(bounded system)’이라는 개념을 도입해, 위상이 컴팩트 집합들의 가산 공극 체계에 의해 생성되는 경우를 집중적으로 연구한다. 이러한 군은 두 가지 동등한 정의를 갖는다. 첫째, 메트릭 가능 아벨 군 G의 폰트리아그‑반 캄펜 이중체 Ĝ의 폐쇄 부분군 H; 둘째, 완비 아벨 군이며 그 이중체 Ĥ가 메트릭 가능인 경우이다. 이때 H의 위상은 컴팩트 집합들의 가중치(weight)와 밀접하게 연결된다.

핵심 정리는 문자 χ(H)가 다음과 같이 표현된다는 것이다.
\