바나흐 공간 연산자의 스펙트럼 함수와 보렐 구조

본 논문은 무한 차원 바나흐 공간 \(X\) 위의 유계 연산자 집합 \(L(X)\)에 다양한 위상을 부여했을 때, 스펙트럼 함수 \(\sigma:T\mapsto\sigma(T)\)의 위상학적 성질을 체계적으로 조사한다. 먼저, 닫힌 단위원판 \(D\subset\mathbb{C}\)와 그 위의 모든 컴팩트 부분집합들의 모임 \(K(D)\)에 하우스도르프 거리로 정의된 위상이 폴란 공간임을 보인다(명제 1.1). 이는 \(D\)가 자체적으로 폴란 공간이므로, 컴팩트 집합들의 하우스도르프 위상이 완비와 가산성을 유지한다는 사실에 기반한다. 다음으로 연산자 노름 \(\|\cdot\|\)을 사용한 경우를 살펴본다. 스펙트럼 함수는 연산자 노름 위에서 연속이 아니지만, 상반연속(upper‑semicontinuous)임을 증명한다. 구체적으로, 열린 집합 \(V\subset D\)에 대해 \(\sigma(T_0)\subset V\)이면 \(\inf_{\lambda\in D\setminus V}\|(T_0-\lambda I)^{-1}\|>0\)이 존재한다. 이때 \(\delta\)를 위값의 역수보다 작게 잡으면 \(\|T-T_0\|<\delta\)이면 \(\sigma(T)\subset V\)가 된다. 따라서 \(\{T:\sigma(T)\subset V\}\)는 노름 위에서 열린 집합이며, 스펙트럼 함수는 상반연속성을 가진다(명제 2.1). 핵심 결과는 강연산자 위상(SOT) 하에서 스펙트럼 함수가 보렐 함수라는 정리이다. \(X\)가 가산이면 \((L(X),SOT)\)는 표준 보렐 공간이 된다. 저자는 \(\{T:\sigma(T)\cap V=\varnothing\}\)가 보렐 집합임을 보이기 위해 \(\Omega=\{(T,\lambda):\lambda\in\sigma(T)\cap V\}\)를 정의하고, 이를 \(\Delta\cap(L(X)\times V)\)와 같이 분해한다. 여기서 \(\Delta=\{(T,\lambda):\lambda\in\sigma(T)\}\)는 두 부분집합 \(A\)와 \(B\)의 합으로 나타낼 수 있다. \(A\)는 \(\exists\) 수열 \((z_n)\subset S_X\)가 있어 \(\|(T-\lambda I)z_n\|\to0\)인 경우이며, 가산 조밀 집합 \(Y\subset S_X\)를 이용해 \(\bigcup_{k\ge1}\bigcap_{n\ge N_k}\{(T,\lambda):\|(T-\lambda I)z_n\|<1/k\}\) 형태의 보렐 집합으로 표현한다. \(B\)는 \((T-\lambda I)X\)가 조밀하지 않은 경우로, 이는 \(\exists y\in S_X,\exists k\ge1\)가 있어 \(\forall x\in X,\|y-(T-\lambda I)x\|\ge1/k\)인 상황이다. 역시 가산 조밀 집합 \(Y\)와 고정된 기저 \((x_n)\)를 사용해 \(\bigcup_{y\in Y}\bigcup_{k\ge1}\bigcap_{n}\{(T,\lambda):\|y-(T-\lambda I)x_n\|\ge1/k\}\)와 같이 보렐 집합으로 기술한다. 이러한 분해와 가산 조밀성 이용을 통해 \(\Delta\)가 보렐 집합임을 보이고, 따라서 \(\Omega\)와 \(\{T:\sigma(T)\cap V=\varnothing\}\)도 보렐임을 얻는다. 결과적으로, 강연산자 위상에서 스펙트럼 함수 \(\sigma:L(X)\to K(D)\)는 보렐 함수가 된다(정리 3.1). 논문은 또한 기존 문헌에서 다루어진 본질 스펙트럼, 블록 연산자 행렬 등과의 연관성을 언급하며, 보렐 구조가 연산자 스펙트럼의 확률적 및 측도론적 연구에 필수적인 기반을 제공함을 강조한다. 마지막으로, 다양한 위상(노름, 강연산자, 약연산자 등)에서 스펙트럼 함수의 연속성·보렐성 차이를 정리하고, 향후 연구 방향으로 무작위 연산자 모델링과 비선형 연산자 스펙트럼의 보렐 특성 탐구를 제시한다.