[논문 리뷰] S-Bases in S-Linear Algebra

David Carfì|arXiv (Cornell University)|2011. 04. 17.

Graph theory and applications참고 문헌 11인용 수 4

한 줄 요약

이 논문은 온도 분포 공간을 위한 연속적이고 분포 기반의 기저인 S-bases—유클리드 공간에 의해 인덱싱된 연속적이고 분포 기반의 기저—를 제안하며, 가분성 힐버트 공간에서 힐버트 기저와 유사한 엄밀한 수학적 프레임워크를 제공한다. 주요 기여는 초위상 동형사상(superposition operator)이 위상 동형사상임을 증명함으로써 양자역학에서 물리적 기저를 완전하고 다룰 수 있는 모델로 가능하게 한다.

ABSTRACT

In this paper we define the S-bases for the spaces of tempered distributions. These new bases are the analogous of Hilbert bases of separable Hilbert spaces for the continuous case (they are indexed by m-dimensional Euclidean spaces) and enjoy properties similar to those shown by algebraic bases in the finite dimensional case. The S-bases are one possible rigorous and extremely manageable mathematical model for the "physical" bases used in Quantum Mechanics.

연구 동기 및 목표

• 무한차원 공간에서 힐버트 기저와 대수적 기저의 연속적이고 분포 기반의 유사체를 형식화하기 위해.
• 특히 연속 스펙트럼의 맥락에서 양자역학에서 사용되는 '기저'에 대한 수학적으로 엄밀한 모델이 필요함을 해결하기 위해.
• S-선형 독립성과 S-생성자(S-generators)를 정의하고 특성화하여 S-bases를 구성하는 데 기초가 되는 개념으로 삼기 위해.
• 온도 분포 공간에 대한 전체 S-basis가 되기 위한 S-가족의 조건으로서 위상 동형사상 조건을 설정하기 위해.

제안 방법

• 계수 분포 a에 대해 R^m 위에서의 적분을 통한 영 S-선형 조합이 0이면 a = 0이 되는 조건을 통해 S-선형 독립성을 정의한다.
• 계수 분포를 색인 공간 R^m 위에서의 선형 조합으로 매핑하는 초위상 연산자 ∫(·,v) : S’_m → S’_n 를 도입한다.
• S-bases의 쌍대성과 단사성 조건을 기술하기 위해 쌍대 연산자 ŵ : S_n → S_m 를 사용한다.
• 디에우돈-스와르츠 정리를 적용하여 약한* 위상과 강한 위상 간의 연결을 초위상 연산자의 전사성과 닫힌 범위와 연결한다.
• S-basis 조건과 약한* 위상과 강한 위상에서의 위상 동형사상 간의 동치성을 확립한다.
• 디랙 가족과 푸리에 가족과 같은 예시를 통해 S-선형 독립성을 검증하고 프레임워크의 타당성을 입증한다.

실험 결과

연구 질문

• RQ1 유한하거나 가산 기저가 없는 상황에서 온도 분포의 연속적 가족이 어떻게 기저로 작용할 수 있는가?
• RQ2 어떤 조건이 S-선형 독립성을 보장하며, 이는 표준 선형 독립성과 어떻게 다를까?
• RQ3 어떤 위상 조건에서 S-가족이 온도 분포 공간 전체를 생성하는가?
• RQ4 초위상 연산자는 S-bases의 구조와 어떻게 관련되며, 언제 위상 동형사상이 되는가?
• RQ5 운동량 또는 위치 상태와 같은 양자역학의 물리적 기저는 온도 분포 공간에서 S-bases로 엄밀하게 모델링될 수 있는가?

주요 결과

• 디랙 가족 (δ_x)_{x∈R^n}은 ∫ a(x)δ_x dx = 0 이면 a = 0 이 되므로 S-선형 독립적이다.
• a-b 푸리에 가족 (a^{-n}e^{-ib(p|·)})_{p∈R^n}은 푸리에-스바르츠 변환의 단사성으로 인해 S-선형 독립적이다.
• 디랙 분포의 첫 번째 도함수 가족 (δ’_x)_{x∈R}는 선형 독립적이지만 S-선형 독립적이지 않다. 왜냐하면 S’_1 위에서 미분 연산자는 전사적이지만 단사적이지 않기 때문이다.
• S-basis가 존재하는 것은 초위상 연산자 ∫(·,v)가 이중 공간 위에서 약한* 위상과 강한 위상 모두에서 위상 동형사상이 되는 것과 동치이다.
• 가족 v가 S-basis이기 위한 필요충분조건은 함수 공간 S_n과 계수 분포 공간 S’_m 양쪽에서 전부(total)여야 한다는 것이다.
• 연산자 ŵ : S_n → S_m 가 위상 동형사상이 되는 것은 v가 S-basis이기 위한 필요충분조건이며, 이는 시험 함수 공간과 계수 공간 사이의 쌍대성 관계를 수립한다.