[논문 리뷰] Additive maps preserving the reduced minimum modulus of Banach space operators

Abdellatif Bourhim|ArXiv.org|2009. 10. 01.

Advanced Topics in Algebra참고 문헌 26인용 수 8

한 줄 요약

이 논문은 무한차원 복소 바나흐 공간 위의 유계 선형 연산자 대수에서의 덧셈형 전단사 사상 중 감소 최소 모듈러스를 보존하는 사상들을 특성화한다. 이러한 사상들이 $\varphi(T) = UTV$ 또는 $\varphi(T) = UT^*V$ 형태를 띠며, $U$와 $V$가 전단사 등장사상(모두 선형이거나 모두 켤레선형)임을 증명한다. 이는 이전 결과들을 일반화하여 $\varphi(\mathbf{1})$의 가역성 조건이 필요 없음을 보이며, 보다 넓은 적용 범위를 제공한다.

ABSTRACT

Let ${\mathcal B}(X)$ be the algebra of all bounded linear operators on an infinite dimensional complex Banach space $X$. We prove that an additive surjective map $ϕ$ on ${\mathcal B}(X)$ preserves the reduced minimum modulus if and only if either there are bijective isometries $U:X o X$ and $V:X o X$ both linear or both conjugate linear such that $ϕ(T)=UTV$ for all $T\in{\mathcal B}(X)$, or $X$ is reflexive and there are bijective isometries $U:X^* o X$ and $V:X o X^*$ both linear or both conjugate linear such that $ϕ(T)=UT^*V$ for all $T\in{\mathcal B}(X)$. As immediate consequences of the ingredients used in the proof of this result, we get the complete description of surjective additive maps preserving the minimum, the surjectivity and the maximum moduli of Banach space operators.

연구 동기 및 목표

• 무한차원 복소 바나흐 공간에 대해 $\mathcal{B}(X)$ 위의 덧셈형 전단사 사상이 감소 최소 모듈러스를 보존하는 조건을 특성화하는 것.
• 이전의 선형 보존자 연구에서 $\varphi(\mathbf{1})$가 가역임을 가정하지 않는 조건으로 결과를 확장하는 것.
• 바나흐 공간 연산자에 대한 최소, 전사성, 최대 모듈러스 보존자에 대한 결과들을 통합하고 일반화하는 것.
• 카디슨 정리나 허슈타인 정리와 같은 깊은 결과를 피하는 자가통합적 증명을 제공하는 것.

제안 방법

• 감소 최소 모듈러스 $\gamma(T)$를 $\text{dist}(x, \ker T) \geq 1$ 인 $x$에 대해 $\|Tx\|$의 하한으로 정의하고, $T=0$ 이면 $\infty$로 정의한다.
• 감소 최소 모듈러스 $\gamma(T) > 0$ 이면 $T$의 범위가 닫혀 있음을 이용하여 $\gamma$를 보존하는 사상의 구조를 분석한다.
• 덧셈형 전단사 사상이 감소 최소 모듈러스를 보존하면, 닫힌 범위를 가진 연산자 집합과 밀도가 있는 범위를 가진 연산자 집합을 보존해야 함을 증명한다.
• 이러한 사상이 질서 1 연산자와 그 범위를 보존함을 통해 전단사 등장사상에 의한 표현을 이끌어낸다.
• 유계 연산자 공간의 구조와 등장 대칭성의 성질을 이용하여, $\varphi(T) = UTV$ 또는 $\varphi(T) = UT^*V$ 형태로 표현됨을 보인다. 여기서 $U, V$는 전단사 등장사상이다.
• 대칭성과 근본성의 성질을 활용하여 두 경우를 구분한다: 표준 등장형 사상과 쌍대형 사상(첨수 연산자를 포함함).

실험 결과

연구 질문

• RQ1 감소 최소 모듈러스를 보존하는 $\mathcal{B}(X)$ 위의 덧셈형 전단사 사상의 완전한 특성화는 무엇인가?
• RQ2 감소 최소 모듈러스 보존자에 대한 이전 결과에서 $\varphi(\mathbf{1})$가 가역임을 가정하지 않아도 되는가?
• RQ3 감소 최소 모듈러스를 보존하는 덧셈형 사상은 최소, 전사성, 최대 모듈러스를 보존하는 사상과 어떻게 관련이 있는가?
• RQ4 쌍대형 사상 $\varphi(T) = UT^*V$ 는 어떤 조건에서 보존자 구조에 나타나는가?
• RQ5 결과들이 힐베르트 공간에서 일반 바나흐 공간으로 얼마나 일반화되는가?

주요 결과

• 유계 선형 연산자 대수 $\mathcal{B}(X)$ 위의 덧셈형 전단사 사상 $\varphi$가 감소 최소 모듈러스를 보존하는 것은, 전단사 등장사상 $U, V$가 모두 선형이거나 모두 켤레선형인 경우에만 $\varphi(T) = UTV$ 형태로 표현될 수 있음을 보여준다.
• 만약 $X$가 근본적 공간이면, 추가로 가능한 형태로 $\varphi(T) = UT^*V$ 가 존재한다. 여기서 $U: X^* \to X$, $V: X \to X^*$ 는 전단사 등장사상이며, 모두 선형이거나 모두 켤레선형이다.
• $\varphi(\mathbf{1})$가 가역임을 가정할 필요가 없음을 보여, 스카리와 다른 이들의 이전 결과를 일반화하고 개선한다.
• 동일한 구조적 형태는 최소 모듈러스와 전사성 모듈러스를 보존하며, $X$ 또는 $Y$가 비근본적 공간이면 쌍대형 형태 $UT^*V$ 는 제외된다.
• 최대 모듈러스는 $X$와 $Y$가 근본적 공간일 때에만 표준 등장형 $UTV$ 형태로만 보존되며, 쌍대형 형태는 최대 모듈러스를 보존하지 못한다.
• 결과는 일반화된 스펙트럼으로까지 확장되며, 스펙트럼 압축 또는 분해가 성립하면 표준 등장형 또는 쌍대 등장형 형태로 표현됨을 보여준다.