[논문 리뷰] On approximate Birkhoff-James orthogonality and normal cones in a normed space

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

Advanced Numerical Analysis Techniques참고 문헌 4인용 수 11

한 줄 요약

이 논문은 노름 공간에서 드라고미르와 촘엘린스키의 ε-수직성에 기반한 두 가지 근사 Birkhoff-James 수직성의 개념을 정규 원뿔의 기하적 분석을 통해 조사한다. 두 차원의 매끄러운 바나흐 공간에서, 두 근사 수직성 집합은 각각 정규 원뿔과 그 음의 합집합임을 규명하며, 이러한 집합에 대한 완전한 기하적 특성화와 유일성 정리가 제시된다.

ABSTRACT

We study two notions of approximate Birkhoff-James orthogonality in a normed space, from a geometric point of view, and characterize them in terms of normal cones. We further explore the interconnection between normal cones and approximate Birkhoff-James orthogonality to obtain a complete characterization of normal cones in a two-dimensional smooth Banach space. We also obtain a uniqueness theorem for approximate Birkhoff-James orthogonality set in a normed space.

연구 동기 및 목표

• 노름 공간에서 두 개의 다를 수 있는 근사 Birkhoff-James 수직성의 개념을 기하학적 관점에서 조사한다.
• 특히 두 차원 매끄러운 바나흐 공간에서, 이러한 근사 수직성 집합을 정규 원뿔의 관점에서 특성화한다.
• 근사 수직성 집합의 구조를 이용하여 정규 원뿔의 완전한 기하적 기술을 수립한다.
• 일般的한 노름 공간에서 근사 Birkhoff-James 수직성 집합에 대한 유일성 정리를 증명한다.
• 정규 원뿔과 두 유형의 근사 수직성 간의 상호작용을 명확히 하여, 일반 노름 공간에서 이들이 다름을 보여준다.

제안 방법

• 두 유형의 근사 Birkhoff-James 수직성을 도입한다: $ x \bot_D^ ho y $ 는 $ \|x + \lambda y\| \geq (1 - \epsilon)\|x\| $ 을 통해 정의되며, $ x \bot_B^ ho y $ 는 $ \|x + \lambda y\|^2 \geq \|x\|^2 - 2\epsilon\|x\|\|\lambda y\| $ 을 통해 정의된다.
• 각각의 근사 수직성 조건을 만족하는 모든 $ y $ 의 집합인 $ F(x, \epsilon) $ 과 $ G(x, \epsilon) $ 를 정의한다.
• 정규 원뿔 $ K $ 를 $ \mathbb{X} $ 에서 정의한다: $ K + K \subset K $, $ \alpha K \subset K $ for $ \alpha \geq 0 $, 그리고 $ K \cap (-K) = \{\theta\} $.
• 두 차원 매끄러운 바나흐 공간에서 $ F(x, \epsilon) = K_1 \cup (-K_1) $ 과 $ G(x, \epsilon) = K_2 \cup (-K_2) $ 를 도출하며, 여기서 $ K_1, K_2 $ 는 정규 원뿔임을 보인다.
• 경로 연결성의 기하적 추론을 적용하여 $ \overline{B}(\alpha z, \epsilon) \cap S_\mathbb{X} $ 가 연결되어 있음을 증명함으로써, $ G(x, \epsilon) \cap S_\mathbb{X} $ 가 정확히 두 개의 연결 성분을 가짐을 보인다.
• 정규 원뿔의 대칭성과 닫힘 성질을 이용하여 각 성분이 정규 원뿔에 대응함을 보이고, 결과적으로 $ G(x, \epsilon) = K \cup (-K) $ 의 분해를 이끌어낸다.

실험 결과

연구 질문

• RQ1 노름 공간에서 두 다를 수 있는 근사 Birkhoff-James 수직성의 기하적 특성화는 어떻게 이루어질 수 있는가?
• RQ2 두 차원 매끄러운 바나흐 공간에서 정규 원뿔과 집합 $ F(x, \epsilon) $ 및 $ G(x, \epsilon) $ 간의 정확한 관계는 무엇인가?
• RQ3 매끄러운 두 차원 바나흐 공간에서 $ G(x, \epsilon) $ 의 구조는 정규 원뿔과 그 음의 합집합으로 완전히 묘사될 수 있는가?
• RQ4 두 유형의 근사 수직성이 일반 노름 공간에서 동일한 집합을 생성하는가, 아니면 서로 다를까?
• RQ5 정규 원뿔의 관점에서 근사 수직성 집합 $ G(x, \epsilon) $ 는 유일성 성질을 갖는가?

주요 결과

• 두 차원 매끄러운 바나흐 공간에서 $ F(x, \epsilon) = K_1 \cup (-K_1) $ 과 $ G(x, \epsilon) = K_2 \cup (-K_2) $ 를 만족하며, 여기서 $ K_1 $ 과 $ K_2 $ 는 정규 원뿔이다.
• 매끄러운 점 $ x \in S_\mathbb{X} $ 에 대해 $ G(x, \epsilon) \cap S_\mathbb{X} $ 는 정확히 두 개의 연결 성분을 가지며, 원점에 대해 대칭되어 있다.
• $ G(x, \epsilon) \cap S_\mathbb{X} $ 는 단위 구면 상의 두 개의 호로 이루어져 있으며, 각 호는 두 단위 벡터에 의해 생성된 정규 원뿔에 대응한다.
• 증명은 $ \overline{B}(\alpha z, \epsilon) \cap S_\mathbb{X} $ 가 $ \alpha \in [1 - \epsilon, 1 + \epsilon] $ 에서 경로 연결임을 보이는 데 기반하며, 이는 합집합의 연결성을 보장한다.
• 정규 원뿔을 통한 $ G(x, \epsilon) $ 의 특성화는 임의의 노름 공간에서 성립하며, $ G(x, \epsilon) = \bigcup_{y \in \mathbb{X}} Q_{x,y}(\epsilon) $ 를 만족하며, 여기서 각 $ Q_{x,y}(\epsilon) $ 는 두 차원 정규 원뿔이다.
• 두 유형의 근사 수직성은 일반 노름 공간에서 일치하지 않으며, 이는 $ F(x, \epsilon) $ 와 $ G(x, \epsilon) $ 에 대한 구성 정규 원뿔이 다를 수 있음을 의미한다.