[논문 리뷰] The inverse along an element in rings with an involution, Banach algebras and $C^*$-algebras

Julio Benítez, Enrico Boasso|arXiv (Cornell University)|2015. 09. 14.

Matrix Theory and Algorithms참고 문헌 8인용 수 10

한 줄 요약

이 논문은 고정된 원소에 대한 역행렬 개념을 복소수의 역원, 바나흐 대수, C*-대수에서 연구하며, 무어-펜로즈, 드라지ン, 군 역행렬을 하나의 프레임워크로 통합한다. 연속성, 라플라스 변환을 통한 적분 표현, 수렴을 위한 스펙트럼 조건을 수립하며, 스펙트럼이 오른쪽 반평면에 있을 경우 지수 함수의 적분으로 표현될 수 있음을 보여준다.

ABSTRACT

Properties of the inverse along an element in rings with an involution, Banach algebras and $C^*$-alegbras will be studied unifying known expressions concerning generalized inverses.

연구 동기 및 목표

• 무어-펜로즈, 드라지인, 군 역행렬을 '원소에 대한 역행렬' 개념 아래 통합한다.
• 원소에 대한 역행렬 이론을 복소수의 역원, 바나흐 대수, C*-대수로 확장한다.
• 원소에 대한 역행렬이 존재하고 잘 행동하기 위한 스펙트럼 조건과 연속성 조건을 수립한다.
• 원소에 대한 역행렬과 가중 무어-펜로즈 역행렬 간의 관계를 규명하고, 연산자 대수에서의 구조를 명확히 한다.
• 바나흐 대수에서 라플라스 유형 적분을 사용해 원소에 대한 역행렬의 적분 표현을 유도한다.

제안 방법

• 원소에 대한 역행렬의 정의를 사용: 원소 $ a $가 원소 $ d $에 대해 역행렬 가능하다는 것은 $ bab = b $, $ b\mathcal{R} = d\mathcal{R} $, $ \mathcal{R}b = \mathcal{R}d $ 를 만족하는 유일한 $ b = a^\top d $ 가 존재함을 의미한다.
• 특히 스펙트럼 조건 $ \sigma(da) \setminus \{0\} \subset \{ z \in \mathbb{C} : \operatorname{Re}(z) > 0 \} $ 를 활용해 바나흐 대수에서의 스펙트럼 이론을 적용하여 적분 표현을 도출한다.
• 스펙트럼이 열린 오른쪽 반평면에 있을 경우 라플라스 변환 항등식 $ x^{-1} = \int_0^\infty \exp(-tx) \, dt $ 를 이용한다.
• 부분대수 $ p\mathcal{B}p $ 내에서 행렬 유사 블록 표현을 사용해 $ da $ 를 분해하고 스펙트럼을 분석한다.
• 등幂원소 $ p = dd^{-} $ 를 통한 분해를 적용하여 문제를 코너 부분대수에서의 역행렬로 축소한다.
• 차이항 $ a, b, d, e $ 와 그 내부 역행렬을 포함한 $ b^{\parallel e} - a^{\parallel d} $ 의 변화량 공식을 도출하여 연속성 분석을 가능하게 한다.

실험 결과

연구 질문

• RQ1 복소수의 역원이 있는 링에서 원소에 대한 역행렬은 어떻게 특징지을 수 있으며, 역원이 이에 어떤 대칭성을 유도하는가?
• RQ2 원소에 대한 역행렬이 라플라스 변환을 통한 적분 표현을 가질 수 있는 스펙트럼 조건은 무엇인가?
• RQ3 *-대수에서 원소에 대한 역행렬과 가중 무어-펜로즈 역행렬 간의 관계는 무엇인가?
• RQ4 바나흐 대수에서 수열의 노름 수렴에 따라 원소에 대한 역행렬은 어떻게 행동하는가?
• RQ5 바나흐 대수에서 $ (a,d) \mapsto a^{\parallel d} $ 의 함수가 연속성이 보장되기 위한 조건은 무엇인가?

주요 결과

• 원소에 대한 역행렬 $ a^{\parallel d} $ 가 존재하는 것은 $ d $ 가 정규적이며, $ a $ 와 $ b = a^{\parallel d} $ 의 상과 핵의 이상적(ideal)이 일치함과 동치이다.
• 바나흐 대수에서 $ \sigma(da) \setminus \{0\} \subset \{ z \in \mathbb{C} : \operatorname{Re}(z) > 0 \} $ 이면 $ a^{\parallel d} = \int_0^\infty \exp(-tda) \, dt $ 를 만족하며, 이는 적분 표현을 제공한다.
• 원소에 대한 역행렬은 $ (a^{\parallel d})^* = (a^*)^{\parallel d^*} $ 를 만족하여 *-대수에서의 역원과 호환됨을 보여준다.
• 바나흐 대수의 맥락에서 원소에 대한 역행렬은 연속적이다: $ a_n \to a $, $ d_n \to d $ 이고 $ a_n^{\parallel d_n} $ 가 유계이며 내부 역행렬이 일致하게 유계이면, $ a_n^{\parallel d_n} \to a^{\parallel d} $ 이다.
• 원소에 대한 역행렬은 무어-펜로즈 역행렬을 일반화한다: $ a $ 가 무어-펜로즈 역행렬 가능함은 $ a $ 가 $ a^* $ 에 대해 역행렬 가능할 때이고, 마찬가지로 드라지인 및 군 역행렬에도 적용된다.
• 변화량 공식 $ b^{\parallel e} - a^{\parallel d} = b^{\parallel e}e^{-}(e-d)(1-aa^{\parallel d}) + (1-b^{\parallel e}b)(e-d)d^{-}a^{\parallel d} + b^{\parallel e}(a-b)a^{\parallel d} $ 는 안정성 및 수렴 분석을 가능하게 한다.