[논문 리뷰] Self-Referential Definition of Orthogonality

Elemér E Rosinger, Gusti van Zyl|ArXiv.org|2009. 04. 01.

Fuzzy and Soft Set Theory참고 문헌 2인용 수 7

한 줄 요약

이 논문은 스칼라곱이나 노름에 의존하지 않는, 선형 계수의 종속성 관계를 통해 생성된 부분공간에서의 직교성의 자기참조적이고 비스칼라곱 기반의 정의를 제안한다. 외부 기저 벡터들로부터 계수 함수의 독립성을 정의함으로써, 스칼라곱 공간에서의 표준 직교성과 일치하는 순환적이지만 논리적으로 일관된 특성화를 수립한다. 이는 비정규집합 이론을 활용하여 자기참조를 정당화한다.

ABSTRACT

There has for longer been an interest in finding equivalent conditions which define inner product spaces, and the respective literature is considerable, see for instance Amir, which lists 350 such results. Here, in this tradition, an alternative definition of orthogonality is presented which does not make use of any inner product. This definition, in the spirit of the recently developed non-wellfounded set theory, is self-referential, or circulatory.

연구 동기 및 목표

• 벡터 공간에서 스칼라곱이나 노름에 의존하지 않고 직교성을 정의하고자 한다.
• 유한차원 부분공간만을 사용하여 직교성을 특성화하는 데에 초래된 기초적 과제를 해결하고자 한다.
• 비정규집합 이론 내에서 논리적으로 일관된 자기참조적 또는 순환적인 직교성 정의를 도입하고자 한다.
• 유한차원 설정에서 표준 스칼라곱 기반 직교성과 일치하는 직교성의 대체 특성화를 제공하고자 한다.

제안 방법

• 실수 벡터 공간 V 내의 m-튜플에 대해 선형 독립성과 스칼라곱을 정의한다.
• m개의 선형 독립인 벡터의 스칼라곱에서 유일한 선형 조합을 통해 계수 함수 λi(a1,…,am,x)를 도입한다.
• 각 λi가 다른 기저 벡터 aj(j≠i)에 영향을 받지 않는 조건으로서 직교성을 규정한다. 이는 전체 m-튜플 위에서 정의되지만, 다른 기저 벡터들에 대해 독립적임을 의미한다.
• 계수 함수의 그래프를 나타내기 위해 집합론적 구성 Γ ⊆ V^m × V 를 사용하고, Ort^m_V 를 Γ 를 V^m 에로의 사영으로 정의한다.
• Zorn의 보조정리를 적용하여 계수 독립성이 유지되는 최대 부분집합의 존재를 증명함으로써 포함관계에 대한 닫힘을 확보한다.
• 비정규집합 이론을 활용하여 정의의 자기참조적 성격을 정당화하여 순환 정의가 논리적으로 타당함을 보장한다.

실험 결과

연구 질문

• RQ1 벡터 공간에서 스칼라곱이나 노름에 대한 참조 없이 직교성을 정의할 수 있는가?
• RQ2 스칼라곱이 없는 상황에서 계수 함수 λi가 'aj(j≠i)에 의존하지 않는다'는 것은 무엇을 의미하는가?
• RQ3 자기참조적 또는 순환적인 직교성 정의는 어떻게 논리적으로 일관되고 수학적으로 타당한가?
• RQ4 제안된 정의는 스칼라곱 기반 직교성과 동치인가?
• RQ5 유한차원 부분공간과 계수 독립성만을 사용하여 직교성 개념을 완전히 특성화할 수 있는가?

주요 결과

• 논문은 스칼라곱을 요구하지 않고, 부분공간 내 선형 조합의 구조에만 의존하는 직교성 정의를 수립한다.
• 직교성은 계수 함수 λi가 ai를 제외한 모든 기저 벡터로부터 독립된 조건으로서 정의되며, 이는 그래프 Γ 와 그 V^m 에로의 사영을 통해 형식화된다.
• 집합 Ort^m_V 는 Γ 의 사영 pr_{X1×…×Xm}(Γ) 와 동일함을 보였다. 여기서 Γ 는 계수 독립성 조건을 만족하는 튜플의 집합이다.
• m=2 인 경우, 정의는 표준 기하학적 조건으로 축소된다: span(a1,a2) 내에서 x 의 계수는 ai 와 x 에만 의존하며, 다른 기저 벡터에 영향을 받지 않는다.
• 정의의 자기참조적 성격은 비정규집합 이론을 통해 공식적으로 정당화되어 순환 정의가 논리적으로 일관됨을 보장한다.
• Zorn의 보조정리를 통해 최대 부분집합 Γ̄ 가 존재함을 보였으며, 이는 계수 독립성이 유지되는 최대 구성의 존재를 보장한다.