[논문 리뷰] Strictly convex space : Strong orthogonality and Conjugate diameters

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

Advanced Banach Space Theory참고 문헌 15인용 수 4

한 줄 요약

이 논문은 Birkhoff-James 수직성에 의한 엄격한 볼록 노름 선형 공간의 특성화를 수립한다: 어떤 공간이 엄격한 볼록성을 띠는 것은 모든 단위 벡터 $x, y$에 대해 Birkhoff-James 수직성 $x ⊥_B y$가 강한 수직성 $x ⊥_{SB} y$를 함의할 때이고 뿐이다. 주요 기여는 해밀 기저가 Birkhoff-James 의미에서 강한 또는thonormal일 조건을 필수적이고 충분한 조건으로 제시한 것으로, 2차원 엄격한 볼록 공간에서 공액 직경과 이러한 기저 사이의 연결고리를 밝혀냈다.

ABSTRACT

In a normed linear space X an element x is said to be orthogonal to another element y in the sense of Birkhoff-James, written as $ x \perp_{B}y, $ iff $ \| x \| \leq \| x + λy \| $ for all scalars $ λ.$ We prove that a normed linear space X is strictly convex iff for any two elements x, y of the unit sphere $ S_X$, $ x \perp_{B}y $ implies $ \| x + λy \| > 1~ \forall~ λ eq 0. $ We apply this result to find a necessary and sufficient condition for a Hamel basis to be a strongly orthonormal Hamel basis in the sense of Birkhoff-James in a finite dimensional real strictly convex space X. Applying the result we give an estimation for lower bounds of $ \| tx+(1-t)y\|, t \in [0,1] $ and $ \| y + λx \|, ~\forall ~λ$ for all elements $ x,y \in S_X $ with $ x \perp_B y. $ We find a necessary and sufficient condition for the existence of conjugate diameters through the points $ e_1,e_2 \in ~S_X $ in a real strictly convex space of dimension 2. The concept of generalized conjuagte diameters is then developed for a real strictly convex smooth space of finite dimension.

연구 동기 및 목표

• Birkhoff-James 수직성과 강한 수직성 간의 관계를 이용해 엄격한 볼록 노름 선형 공간을 특성화하는 것.
• 유한차원 실수 엄격한 볼록 공간에서 해밀 기저가 Birkhoff-James 의미에서 강한 또는thonormal 해밀 기저가 되는 데 필요한 필수 및 충분 조건을 규명하는 것.
• 2차원 실수 엄격한 볼록 노름 선형 공간의 단위원에서 공액 직경의 존재성과 구조를 조사하는 것.
• 공액 직경 개념을 고차원 엄격한 볼록 매끄러운 공간으로 일반화하고, 이를 Radon 곡선과 연결하는 것.
• 엄격한 볼록 공간에서 수직인 벡터들의 선형 조합의 노름에 하한을 제시하는 것.

제안 방법

• 노름 선형 공간 $X$가 엄격한 볼록성을 띠는 것은 모든 $x, y \in S_X$에 대해 $x \perp_B y$이면 $x \perp_{SB} y$임을 증명한다.
• 이 특성화를 활용해 해밀 기저가 Birkhoff-James 의미에서 강한 또는thonormal 해밀 기저가 되는 데 필요한 필수 및 충분 조건을 도출한다.
• Birkhoff-James 수직성 $x \perp_B y$를 만족하는 $y + \lambda x$의 노름에 하한을 설정하여, 엄격한 볼록 공간에서는 $\|y + \lambda x\| > \frac{1}{2}$임을 보인다.
• 2차원 엄격한 볼록 공간에서 공액 직경을 $e_1, e_2$를 통과하는 직경 쌍으로 정의하며, $e_1 \perp_B e_2$ 및 $e_2 \perp_B e_1$를 만족할 때 존재함을 증명하고, 이는 $\{e_1, e_2\}$가 Birkhoff-James 의미에서 강한 또는thonormal 해밀 기저일 때에만 성립함을 보인다.
• 고차원으로의 일반화를 위해 $n$개의 직경이 쌍별로 공액임을 만족할 경우 일반화된 공액 직경으로 정의한다.
• 2차원 엄격한 볼록 매끄러운 공간에서 단위원이 Radon 곡선임은 모든 단위원 상의 점이 어떤 Birkhoff-James 의미에서 강한 또는thonormal 해밀 기저에 포함될 때에만 성립함을 증명한다.

실험 결과

연구 질문

• RQ1 노름 선형 공간에서 Birkhoff-James 수직성이 강한 Birkhoff-James 수직성을 함의하는 조건은 무엇인가?
• RQ2 유한차원 실수 엄격한 볼록 공간에서 해밀 기저가 Birkhoff-James 의미에서 강한 또는thonormal 해밀 기저가 되는 데 필요한 필수 및 충분 조건은 무엇인가?
• RQ3 2차원 엄격한 볼록 공간의 단위원에서 두 직경이 공액 직경으로 간주되기 위한 조건은 무엇인가?
• RQ4 공액 직경 개념을 고차원 엄격한 볼록 매끄러운 공간으로 어떻게 일반화할 수 있는가?
• RQ5 단위원이 Radon 곡선임과, 단위원 상의 모든 점이 어떤 Birkhoff-James 의미에서 강한 또는thonormal 해밀 기저에 포함되는 것 사이의 관계는 무엇인가?

주요 결과

• 실수 노름 선형 공간 $X$는 모든 $x, y \in S_X$에 대해 $x \perp_B y$이면 $x \perp_{SB} y$임을 만족할 때에만 엄격한 볼록성을 띠는 것으로 특성화된다.
• 유한차원 실수 엄격한 볼록 공간에서 해밀 기저 $\{e_1, \dots, e_m\}$가 Birkhoff-James 의미에서 강한 또는thonormal 해밀 기저일 조건은 $\max_i S_i = 1$임을 만족할 때이다. 여기서 $S_i$는 임의의 단위 벡터의 표현에서 $e_i$의 계수의 절댓값의 집합이다.
• 모든 스칼라 $\lambda$에 대해 $x, y \in S_X$이고 $x \perp_B y$이면 $\|y + \lambda x\| \geq \frac{1}{2}$이며, $X$가 엄격한 볼록성을 띠면 $\|y + \lambda x\| > \frac{1}{2}$임이 성립한다.
• 2차원 실수 엄격한 볼록 공간에서 단위원 $S_X$에 $e_1, e_2$를 통과하는 공액 직경 쌍이 존재하는 것은 $\{e_1, e_2\}$가 Birkhoff-James 의미에서 강한 또는thonormal 해밀 기저일 때에만 성립한다.
• 2차원 실수 엄격한 볼록 매끄러운 공간에서 단위원이 Radon 곡선임은 모든 단위원 상의 점이 어떤 Birkhoff-James 의미에서 강한 또는thonormal 해밀 기저에 포함될 때에만 성립한다.
• 유한차원 실수 엄격한 볼록 매끄러운 공간에서 일반화된 공액 직경은 $n$개의 직경으로, 모든 쌍이 공액일 때 정의된다; 예를 들어 $\ell^n_p$ 공간($1 < p < \infty$)에서는 이러한 집합이 존재한다.