유한멱 연산자를 통한 코어 역과 부분 순서의 일반화

초록

본 논문은 유한멱(endomorphism) 개념을 이용해 코어 역(core inverse)을 무한 차원 벡터 공간으로 확장하고, 이를 기반으로 코어 부분 순서(core partial order)를 정의·연구한다. 또한 CN‑분해를 활용한 새로운 전순서(pre‑order)를 제시하고, 유한멱 연산자의 성질을 힐베르트 공간의 유계 연산자 맥락에서도 논의한다.

상세 분석

논문은 먼저 기존의 코어 역 정의가 행렬(즉, 유한 차원)에서만 적용된다는 한계를 지적하고, John Tate가 도입한 “유한멱(endomorphism)” 개념을 도입한다. 유한멱 연산자는 어느 정수 n에 대해 ϕⁿ(V)가 유한 차원 부분공간이 되는 선형 변환을 의미한다. 이러한 연산자는 AST‑분해(V = U_ϕ ⊕ W_ϕ)와 CN‑분해(ϕ = ϕ₁ + ϕ₂, ϕ₁·ϕ₂ = 0, i(ϕ₁) ≤ 1, ϕ₂는 nilpotent)라는 두 가지 고유한 분해를 갖는다. 저자는 이 분해를 통해 코어 역의 존재조건을 “i(ϕ) ≤ 1” 즉, ϕ가 지수 1 이하인 경우에 한정한다는 사실을 증명한다(정리 4.2, 명제 4.2).

코어 역 A^{#∘}는 기존의 그룹 역(A^{#})와 무어‑펜로즈 역(A^{†})를 결합한 형태로, 다음 두 조건을 만족한다: A·X = PR(A) (A의 열공간에 대한 직교 사영)와 R(X) ⊆ R(A). 저자는 이를 일반 벡터 공간에서도 동일하게 정의하고, 그룹 역과 무어‑펜로즈 역을 이용한 대수적 특성( A^{#∘}=A^{#}A^{†}A^{#} 등)과 기하학적 특성(코어 역의 이미지와 핵이 각각 A와 PR(A)와 일치) 을 제시한다.

코어 부분 순서 “A ≤{core} B”는 A^{#∘} = A^{#∘}B와 같은 형태로 정의되며, 이는 기존 행렬 이론에서의 정의와 완전히 일치한다. 저자는 이 순서가 i(·) ≤ 1인 유한멱 연산자 집합에서 실제로 부분 순서임을 보이기 위해, 먼저 “공간 전순서”(space pre‑order)와의 관계를 이용한다. 구체적으로, A ≤{core} B ⇔ Im(A) ⊆ Im(B) 그리고 Ker(B) ⊆ Ker(A) 를 만족함을 증명하고(정리 5.4), 이를 통해 반대칭성, 전이성, 반사성을 모두 확보한다.

섹션 6에서는 i(ϕ) 가 1보다 클 때도 적용 가능한 “일반 코어 전순서”(general core pre‑order)를 정의한다. 여기서는 CN‑분해의 ϕ₁ 부분만을 이용해 A ≤_{gcore} B ⇔ A₁^{#∘} = A₁^{#∘}B₁ 를 요구한다. 저자는 이 전순서가 기존의 Core‑EP 전순서와 유사한 구조를 가질 가능성을 제시하고, 몇 가지 추측(conjecture)을 제시한다.

마지막으로, 힐베르트 공간에서 유계 유한멱 연산자(B_f p(H))에 대한 특수한 결과를 제시한다. 특히, 유한멱 연산자의 adjoint 역시 유한멱이며, AST‑분해와 CN‑분해가 adjoint에 대해 그대로 유지된다는 정리 2.1을 통해, 무어‑펜로즈 역과 코어 역이 유계 연산자 환경에서도 동일하게 정의될 수 있음을 보인다. 전체적으로 논문은 유한멱 연산자를 매개로 코어 역과 관련 순서 이론을 무한 차원으로 자연스럽게 확장하고, 기존 행렬 이론과의 일관성을 유지하면서 새로운 전순서 구조까지 탐구한다.