[논문 리뷰] Introduction into Calculus over Division Ring

Aleks Kleyn|arXiv (Cornell University)|2008. 12. 30.

Mathematical and Theoretical Analysis참고 문헌 7인용 수 12

한 줄 요약

이 논문은 실수 및 복소수 해석학의 개념을 확장하여 나눗셈환 위에서 미분법의 프레임워크를 수립한다. 일반화된 Gâteaux 도함수와 미분을 선형 근사로 도입함으로써, 비가환 구조에서의 미분법 기초를 마련한다. D-벡터 공간에서의 테일러 급수 전개, 이阶 도함수, 동차 함수에 대한 오일러의 정리 등을 수립한다.

ABSTRACT

Based on twin representations of division ring in an Abelian group I consider $D$\Hyph vector spaces over division ring. Morphism of $D$\Hyph vector spaces is linear map of $D$\Hyph vector spaces. I consider derivative of function $f$ of continuous division ring as linear map the most close to function $f$. I explore expansion of map into Taylor series and method to find solution of differential equation. The norm in $D$\Hyph vector space allows considering of continuous mapping of $D$\Hyph vector spaces. Differential of mapping $f$ of $D$\Hyph vector spaces is defined as linear mapping the most close to map $f$.

연구 동기 및 목표

• 나눗셈환 위의 함수에 대해 일관된 미분법 프레임워크를 수립함으로써, 비가환 환에서 고전적 정리(예: 롤레의 정리)가 성립하지 않는 문제를 해결한다.
• 함수의 도함수를 최적의 선형 근사로 정의함으로써, 프레셰 및 Gâteaux 도함수의 일반화를 수행한다.
• 나눗셈환 위의 D-벡터 공간에서 고차 도함수와 테일러 급수 전개를 개발한다.
• 동차 함수에 대한 오일러의 정리를 D-벡터 공간에서 증명함으로써, 고전적 결과를 비가환 선형대수로 확장한다.
• 나눗셈환 위의 선형대수의 기본 문제를 해결하기 위해 D*-벡터 공간과 쌍대 표현의 개념을 도입한다.

제안 방법

• 도함수의 주요 정의로 Gâteaux D*-도함수를 사용하여, 좌측/우측 곱셈 순서에 의존하지 않는 독립적인 정의를 확보한다.
• 함수에 가장 가까운 선형 사상으로서의 미분을 정의함으로써, 노름이 부여된 D-벡터 공간에서의 프레셰 도함수를 일반화한다.
• 아벨 군 내에서 나눗셈환 D의 쌍대 표현을 통해 D-벡터 공간을 정의함으로써, 비가환 구조 위에서의 선형대수를 가능하게 한다.
• 이중 곱셈 구조나 이중선형 또는 텐서곱을 필요로 하지 않는, 덧셈 사상의 형태로 D-벡터 공간의 준동형을 정의한다.
• 고차 도함수를 재귀적으로 유도함: ∂ⁿf(x)(a₁;...;aₙ) = ∂(∂ⁿ⁻¹f(x)(a₁;...;aₙ₋₁))aₙ.
• 반복된 Gâteaux 도함수와 동차 함수를 사용하여 D-벡터 공간 간 함수의 테일러 급수 전개를 수립한다.

실험 결과

연구 질문

• RQ1 고전적 정리(예: 롤레의 정리)가 실패하는 비가환 환에서, 나눗셈환 위의 함수에 대해 일관된 도함수 개념을 정의할 수 있는가?
• RQ2 가환성이 없을 경우, 나눗셈환 위의 함수의 미분을 선형 근사로 어떻게 정의할 수 있는가?
• RQ3 나눗셈환 위의 D-벡터 공간에서 고차 도함수와 테일러 급수 전개의 구조는 어떠한가?
• RQ4 비가환 환에서 동차 함수의 미분은 어떻게 행동하며, 오일러의 정리는 일반화되는가?
• RQ5 아벨 군 내에서 나눗셈환의 쌍대 표현은 D-벡터 공간과 그 선형 사상의 정의에 어떤 역할을 하는가?

주요 결과

• Gâteaux D*-도함수는 고전적 도함수가 존재하지 않을 경우에도 나눗셈환 위에서 일관되고 독립적인 도함수 정의를 제공한다.
• 이阶 도함수는 반복된 Gâteaux 도함수를 통해 재귀적으로 정의되며, 이로 인해 D-벡터 공간에서의 테일러 급수 전개가 가능해진다.
• 도함수의 차수 k인 동차 함수에 대해 오일러의 정리가 성립함: ∂f(v)(v) = kf(v), 이는 고전 결과를 비가환 환으로 확장한다.
• 함수의 미분은 함수에 가장 가까운 선형 사상으로 정의되며, 이는 노름이 부여된 D-벡터 공간에서의 프레셰 도함수를 일반화한다.
• D*-벡터 공간과 쌍대 표현의 개념은 나눗셈환 위에서의 선형대수에 대해 강력한 프레임워크를 제공하며, 가환성에 의존하는 텐서곱을 피한다.
• 이 이론은 나눗셈환 위에서 미분 가능한 함수의 집합이 매우 작다는 것을 보여주며, 특히 허수단위를 포함한 비가환 사례(예: 허수)에서 f(z) = z²와 같은 단순한 함수의 해석적 도함수가 존재하지 않기 때문이다.