[논문 리뷰] Angles and Polar Coordinates In Real Normed Spaces

Volker Thürey|arXiv (Cornell University)|2009. 02. 16.

Advanced Numerical Analysis Techniques참고 문헌 7인용 수 7

한 줄 요약

이 논문은 실 노름 공간에서 내적 없이도 사용할 수 있는 새로운 각의 정의—'지아 각'(Thy angle)—을 도입한다. 이는 힐버트 공간에서의 유클리드 각을 일반화한 노름 기반 공식을 사용한다. 이 논문은 실 바나흐 공간의 모든 두 차원 부분공간에서, 영이 아닌 모든 벡터 쌍이 이 각을 통해 유일한 극좌표 표현을 가지며, 이는 비내적 공간에서도 연속성, 대칭성, 기하학적으로 일관된 각의 구조를 보장함을 증명한다.

ABSTRACT

We try to create a wise definition of 'angle spaces'. Based on an idea of Ivan Singer, we introduce a new concept of an angle in real Banach spaces, which generalizes the euclidean angle in Hilbert spaces. With this angle it is shown that in every two-dimensional subspace of a real Banach space we can describe elements uniquely by polar coordinates.

연구 동기 및 목표

• 내적을 사용하지 않는 실 노름 공간에서 기하학적으로 의미 있는 각을 정의하기 위해.
• 오직 노름만을 사용하여 힐버트 공간에서의 유클리드 각을 임의의 실 바나흐 공간으로 일반화하기 위해.
• 새로운 각 개념을 사용하여 모든 두 차원 부분공간에서 유일한 극좌표 표현의 존재를 확립하기 위해.
• 지아 각이 연속성, 대칭성, 척도 불변성과 같은 유클리드 각의 핵심 성질을 만족함을 증명하기 위해.
• 비볼록 단위구를 다루기 위해 볼록결합 기반의 각의 일반화를 도입하여 열려 있는 문제를 해결하기 위해.

제안 방법

• 정규화된 벡터의 노름을 사용하여 대칭적이고 동차적이며 준정부호인 곱 $<\vec{x}|\vec{y}>_{\spadesuit}$를 정의한다.
• 지아 각을 $\angle_{\text{Thy}}(\vec{x},\vec{y}) := \arccos\left( \frac{1}{4} \left[ \left\| \frac{\vec{x}}{\|\vec{x}\|} + \frac{\vec{y}}{\|\vec{y}\|} \right\|^2 - \left\| \frac{\vec{x}}{\|\vec{x}\|} - \frac{\vec{y}}{\|\vec{y}\|} \right\|^2 \right] \right)$ 로 정의하며, 이는 오직 노름으로부터 유도된다.
• 이 곱에 대해 코시-슈바르츠-불랴코프스키(CSB) 부등식이 노름 공간에서 성립함을 증명하여, 아크코사인 함수가 잘 정의됨을 보장한다.
• 함수 $t \mapsto \angle_{\text{Thy}}(\vec{x}, \vec{y} + t\vec{x})$ 가 $\mathbb{R}$ 에서 $(0, \pi)$ 로 향하는 감소하는 호메오모르피즘임을 보이며, 이는 극좌표 매개화를 가능하게 한다.
• 비볼록 노름을 다루기 위해 단위구의 볼록결합을 사용한 일반화된 각 $\angle_{\overline{\text{Thy}}}$ 를 도입한다.
• 일반화된 각이 원래 지아 각의 핵심 성질을 유지하며, 내적 공간에서는 유클리드 각으로 축소됨을 검증한다.

실험 결과

연구 질문

• RQ1 내적을 사용하지 않고도 실 바나흐 공간에서 일관되고 노름 기반의 각의 정의를 구성할 수 있는가?
• RQ2 제안된 각이 대칭성, 연속성, 척도 불변성과 같은 유클리드 각의 표준 기하학적 성질을 만족하는가?
• RQ3 실 바나흐 공간의 모든 두 차원 부분공간이 이 각을 기반으로 유일한 극좌표로 매개화될 수 있는가?
• RQ4 단위구가 볼록이 아닐 경우 각의 정의는 어떻게 되며, 이를 어떻게 보완할 수 있는가?
• RQ5 단위구의 볼록결합을 기반으로 한 일반화된 각이 원래 지아 각의 바람직한 성질을 유지하는가?

주요 결과

• 지아 각은 모든 실 노름 공간의 영이 아닌 모든 벡터에 대해 잘 정의되며, 이는 노름 기반 곱에 대해 CSB 부등식이 성립하기 때문이다.
• 지아 각은 유클리드 각의 모든 표준 성질을 만족한다: 대칭성, 연속성, 척도 불변성, 그리고 0과 π에서의 정확한 값.
• 임의의 선형독립인 벡터 쌍 $\vec{x}, \vec{y}$ 에 대해 함수 $t \mapsto \angle_{\text{Thy}}(\vec{x}, \vec{y} + t\vec{x})$ 는 $\mathbb{R}$ 에서 $(0, \pi)$ 로 향하는 감소하는 호메오모르피즘임을 증명하여, 2차원 부분공간에서 극좌표의 존재를 입증한다.
• 단위구의 볼록결합을 사용하여 정의된 일반화된 각 $\angle_{\overline{\text{Thy}}}$ 는 원래 각의 모든 핵심 성질을 유지하며, 내적 공간에서는 유클리드 각으로 축소된다.
• 일반화된 각은 일반적인 노름가능 공간에서 원래 각의 모든 성질을 만족하지는 않지만(예: (An 8)-(An 10)), (An 11)을 만족함으로써 부분적으로 강건함을 보인다.
• 이 구성은 노름이 내적에 의해 유도되지 않는 경우에도 바나흐 공간에서의 극좌표 프레임워크를 실현 가능한 것으로 제공한다.