[論文レビュー] Introduction into Calculus over Division Ring

Aleks Kleyn|arXiv (Cornell University)|Dec 30, 2008

Mathematical and Theoretical Analysis参考文献 7被引用数 12

ひとこと要約

本稿では、一般化されたGâteaux微分と線形近似としての微分を導入することで、除法環上における微分積分学の枠組みを構築する。実数および複素数解析の概念を拡張し、D-ベクトル空間における同次写像のテイラー展開、2階微分、オイラーの定理を確立し、非可換な設定における微分積分学の基盤を提供する。

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$.

研究の動機と目的

• 除法環上の写像に対して一貫性のある微分積分学の枠組みを確立すること、特に非可換な設定において古典的定理（ロルの定理など）が成立しないことへの対処。
• 微分を、関数の最良の線形近似として定義し、Fréchet微分およびGâteaux微分を一般化すること。
• 除法環上のD-ベクトル空間における高階微分およびテイラー展開を構築すること。
• 同次写像に対するオイラーの定理をD-ベクトル空間で証明し、古典的結果を非可換線形代数へ拡張すること。
• 除法環上の線形代数における基礎的問題を解消するため、D*-ベクトル空間および二重表現の概念を導入すること。

提案手法

• 微分の主な定義としてGâteaux D*-微分を用い、左・右乗法の順序に依存しない独立性を保証する。
• 微分を、関数に最も近い線形写像として定義し、ノルム付きD-ベクトル空間におけるFréchet微分を一般化する。
• アーベル群における除法環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*-微分は、古典的微分が存在しない場合でさえ、除法環上での微分の定義を一貫的かつ独立に可能にする。
• 2階微分は反復Gâteaux微分を再帰的に用いて定義され、D-ベクトル空間におけるテイラー展開の実現を可能にする。
• 同次写像の次数kに対してオイラーの定理が成立する：∂f(v)(v) = kf(v)。これは古典的結果を非可換な設定へ拡張する。
• 微分は、関数に最も近い線形写像として定義され、ノルム付きD-ベクトル空間におけるFréchet微分を一般化する。
• D*-ベクトル空間および二重表現の概念により、除法環上での線形代数の強固な枠組みが構築され、可換なテンソル積に依存しなくなる。
• 理論により、除法環上での微分可能関数の集合は、特にクォータニオンのような非可換な場合に非常に小さいことが示された。これは、f(z) = z²のような単純な関数に対しても解析的微分が存在しないことによる。