[논문 리뷰] Category theorems for stable operators on Hilbert spaces

Tanja Eisner, Andr|ArXiv.org|2008. 05. 07.

Advanced Operator Algebra Research참고 문헌 15인용 수 17

한 줄 요약

이 논문은 분리 가능한 무한차원 힐버트 공간에서 약한 안정성 수축의 집합은 첫 번째 카테고리(위상적으로 작다)이고, 거의 약한 안정성 수축의 집합은 잔여집합(위상적으로 일반적)임을 증명한다. 이는 할무스와 로플린의 에르고딕 이론 카테고리 정리들을 힐버트 공간의 연산자로 확장한 것이다. 결과는 약한 연산자 위상과 베어 카테고리 추론을 사용하여 유니터리, 등거리, 수축 연산자에 대해 증명된다.

ABSTRACT

We discuss the two closely related, but different concepts of weak and almost weak stability for the powers of a contraction on a separable Hilbert space. Extending Halmos' and Rohlin's theorems in ergodic theory as a model, we show that the set of all weakly stable contractions is of first category while the set of all almost weakly stable contractions is of second category and is residual. Analogous statements for unitary and isometric operators are also proved.

연구 동기 및 목표

• 분리 가능한 무한차원 힐버트 공간에서 약한 안정성과 거의 약한 안정성 연산자의 베어 카테고리 성질을 조사한다.
• 원래 측도를 보존하는 변환에 대해 정의된 할무스와 로플린의 고전적 에르고딕 이론 결과를, 힐버트 공간의 유계 선형 연산자로의 설정으로 확장한다.
• 거듭제곱 유계 연산자 맥락에서 약한 안정성과 거의 약한 안정성 간의 위상적 차이를 명확히 한다.
• 거듭제곱 수축, 유니터리, 등거리 연산자 공간에서 거의 약한 안정성이 일반적(잔여집합)이지만 약한 안정성은 드물다(첫 번째 카테고리)임을 증명한다.
• 밀도 있는 부분집합과 수렴 기준을 사용하여, 약한 연산자 위상에서 수축 연산자에 대해 카테고리 이론 결과를 수립한다.

제안 방법

• 힐버트 공간을 스펙트럼 부분공간과 안정 부분공간으로 분해하기 위해 자코프스–글릭스버그–드 루아 분해를 사용하며, 점근적 분석에 주로 안정 부분공간에 초점을 맞춘다.
• 약한 안정성을 모든 x, y ∈ H에 대해 행렬 계수 ⟨Tⁿx, y⟩ → 0의 점별 약한 수렴으로 정의하고, 거의 약한 안정성을 어떤 부분수열이 0으로 약하게 수렴하는 것의 존재로 정의한다.
• 계수 {xⱼ}가 가측한 밀도를 가지는 수렴 공간에 완비 거리 위상 구조를 도입하여, d(T, S) = Σᵢⱼ 2⁻ⁱ⁻ʲ |⟨Txᵢ, xⱼ⟩ − ⟨Sxᵢ, xⱼ⟩| / (‖xᵢ‖‖xⱼ‖)로 정의한다.
• 약한 수렴에서 강한 수렴으로의 전환 보조정리 적용: Tₙ → S가 약하게 수렴하고 모든 x에 대해 ‖Tₙx‖ ≤ ‖Sx‖이면, Tₙ → S가 강하게 수렴한다.
• 약한 안정성 연산자 집합이 어디서나 조밀하지 않은 집합들의 가산 합집합에 포함됨을 증명한다(첫 번째 카테고리), 반면 거의 약한 안정성 연산자 집합은 Gδ 집합이며 그 여집합이 밀도 있는 Gδ 집합임을 증명한다(잔여집합).
• 수축 공간에서 주기적 유니터리 연산자와 거의 약한 안정성 유니터리 연산자의 밀도를 이용하여, 그 여집합이 어디서나 조밀하지 않음을 보인다.

실험 결과

연구 질문

• RQ1 분리 가능한 힐버트 공간에서 수축의 집합이 약한 안정성 수축의 집합이 위상적으로 작다(첫 번째 카테고리)는가?
• RQ2 동일한 공간에서 거의 약한 안정성 수축의 집합이 위상적으로 크다(잔여집합)는가?
• RQ3 유니터리, 등거리, 수축 연산자에 대해 약한 안정성과 거의 약한 안정성의 베어 카테고리 성질은 어떻게 비교되는가?
• RQ4 에르고딕 이론의 카테고리 이론 결과(할무스와 로플린)를 힐버트 공간의 유계 선형 연산자로 확장할 수 있는가?
• RQ5 약한 안정성이 드물고 거의 약한 안정성이 일반적인 위상 조건은 무엇인가? 이는 약한 연산자 위상에서 성립한다.

주요 결과

• 분리 가능한 무한차원 힐버트 공간에서 수축의 집합에서 약한 안정성 수축의 집합은 약한 연산자 위상에서 첫 번째 카테고리이다.
• 동일한 공간에서 거의 약한 안정성 수축의 집합은 잔여집합이며, 이는 위상적으로 일반적임을 의미한다.
• 유니터리 연산자에 대해 거의 약한 안정성 연산자 집합은 잔여집합이지만, 약한 안정성 연산자 집합은 첫 번째 카테고리이다.
• 등거리 연산자에 대해서도 동일한 카테고리 이분법이 성립한다: 약한 안정성은 첫 번째 카테고리이고, 거의 약한 안정성은 잔여집합이다.
• 증명은 약한 수렴에서 강한 수렴으로의 전환 보조정리와 수축 공간에서 주기적 및 거의 약한 안정성 유니터리 연산자의 밀도에 기반한다.
• 카테고리의 차이는 약한 연산자 위상에서 성립하며, 고정된 힐버트 공간 내 밀도 있는 수열을 통한 약한 연산자 위상 거리 정의에 대해 결과가 안정적이다.