분리 가능한 로젠탈 콤팩트와 점별 수렴 코딩의 복합성

본 논문은 폴란 공간 \(X\) 위에 정의된 첫 번째 베이즈 클래스 함수들의 컴팩트 부분집합, 즉 로젠탈 콤팩트 \(K\subseteq B_1(X)\) 를 대상으로 한다. 특히 \(K\) 가 분리 가능(separable)한 경우에 초점을 맞추어, 이를 효과적으로 “코딩”하는 방법과 그 코딩이 갖는 복잡도적 특성을 체계적으로 분석한다. 1. **코딩 프레임워크와 기본 정의** - \(K\) 의 밀집 수열 \(\mathbf f=(f_n)_{n\in\mathbb N}\) 를 고정한다. - 부분집합 \(L\subseteq\mathbb N\) 에 대해 \((f_n)_{n\in L}\) 가 점별 수렴하는지를 판정하는 집합을 \