[논문 리뷰] A complete characterization of Birkhoff-James orthogonality in infinite dimensional normed space

‎Debmalya Sain, Kallol Paul외 1명|arXiv (Cornell University)|2017. 06. 23.

Advanced Banach Space Theory참고 문헌 22인용 수 32

한 줄 요약

이 논문은 무한차원 실수 노름선형공간에서 유계선형작용소에 대한 Birkhoff-James 수직의 완전한 특성화를 제공하며, 수직과 매끄러움에 대한 필요 및 충분조건을 수립한다. 이를 통해 유한차원 결과를 노름 attainment 집합, 지지 함수류, 단위구의 기하적 성질을 활용하여 무한차원 설정으로 확장한다.

ABSTRACT

In this paper, we study Birkhoff-James orthogonality of bounded linear operators and give a complete characterization of Birkhoff-James orthogonality of bounded linear operators on infinite dimensional real normed linear spaces. As an application of the results obtained, we prove a simple but useful characterization of Birkhoff-James orthogonality of bounded linear functionals defined on a real normed linear space, provided the dual space is strictly convex. We also provide separate necessary and sufficient conditions for smoothness of bounded linear operators on infinite dimensional normed linear spaces.

연구 동기 및 목표

• 유한차원에서의 Birkhoff-James 수직 특성화를 무한차원 실수 노름선형공간으로 확장한다.
• 무한차원 공간에서 유계선형작용소에 대한 Birkhoff-James 수직의 완전한 필요 및 충분조건을 제시한다.
• 무한차원 설정에서 유계선형작용소의 매끄러움에 대해 별도의 필요 및 충분조건을 수립한다.
• 이중공간이 강한 볼록성일 때, 유계선형함수에 대한 Birkhoff-James 수직을 단순화된 형태로 제시한다.

제안 방법

• 유계선형작용소 $ T $에 대해 $ M_T = \{x \in S_\mathbb{X} : \|Tx\| = \|T\|\} $로 노름 attainment 집합을 정의한다.
• 단위구에서 한쪽 수직을 특성화하기 위해 $ x^+ $와 $ x^- $의 개념을 사용한다.
• Hahn-Banach 정리를 적용하여 함수류를 확장하고, 점에서 초평면까지의 거리를 분석한다.
• 노름을 도달하는 벡터에서 양의 거리를 갖는 초평면 위에서 $ \|Tx\| $의 Supremum을 포함하는 기준을 수립한다.
• Birkhoff-James 수직과 $ T + \lambda A $의 노름이 엄격히 감소하지 않는 것 사이의 등가성을 적용한다.
• James의 정리에 기반한 오른쪽 가환성과 매끄러움의 행동을 연결한다.

실험 결과

연구 질문

• RQ1 무한차원 실수 노름선형공간에서 유계선형작용소에 대한 Birkhoff-James 수직의 완전한 특성화는 무엇인가?
• RQ2 무한차원 노름공간에서 유계선형작용소가 어떤 조건에서 매끄럽게 되는가?
• RQ3 노름을 도달하는 집합 $ M_T $의 구조는 작용소 $ T $의 매끄러움과 어떻게 관련되는가?
• RQ4 이중공간이 강한 볼록성일 경우, 유계선형함수의 Birkhoff-James 수직은 어떻게 단순화될 수 있는가?
• RQ5 작용소의 매끄러움에 대해 필수적이고 충분한 단위구와 초평면의 기하적 조건은 무엇인가?

주요 결과

• 유계선형작용소 $ T $가 $ T \perp_B A $임과 동치인 조건은, 모든 $ \epsilon > 0 $에 대해 $ x \in M_T $가 존재하여 $ \|Tx\| > \|T\| - \epsilon $ 이고, 모든 $ \lambda \in \mathbb{R} $에 대해 $ \|Tx + \lambda Ax\| \geq \|Tx\| $를 만족하며, 단위구에 기하적 조건이 성립할 때 성립한다.
• 만약 $ M_T = \{\pm x_0\} $, $ Tx_0 $가 $ \mathbb{Y} $에서 매끄러운 점이며, 모든 초평면 $ H\_\alpha $에 대해 $ d(x_0, H\_\alpha) > 0 $이면 $ \sup\{\|Tx\| : x \in H_\alpha \cap S_\mathbb{X}\} < \|T\| $이면, $ T $는 매끄럽다.
• 작용소 $ T $의 매끄러움을 위한 필수조건은 $ M_T = \{\pm x_0\} $ 이고, 모든 초평면 $ H\_\alpha $에 대해 $ d(x_0, H\_\alpha) > 0 $이면 $ \sup\{\|Tx\| : x \in H_\alpha \cap S_\mathbb{X}\} < \|T\| $이다.
• 이중공간이 강한 볼록성일 경우, 유계선형함수의 Birkhoff-James 수직 특성화는 지지 함수류의 존재에 기반하여 단순화된다.
• 이 논문은 James의 정리에 따라 작용소 $ T $의 매끄러움이 오른쪽 가환성의 수직관계와 동치임을 수립한다.
• 매끄러움의 필요 및 충분조건은 기하학적으로 쌍대적이다: 하나는 충분조건이고, 다른 하나는 필수조건이며, 둘 다 노름을 도달하는 방향에서 떨어진 초평면에서 $ \|Tx\| $의 행동에 의존한다.