[論文レビュー] Normed \Omega-Group

Aleks Kleyn|arXiv (Cornell University)|May 15, 2013

Aerospace Engineering and Control Systems参考文献 5被引用数 3

ひとこと要約

本稿では、位相を誘導するノルムを備えたΩ代数としてのノルム付きΩ群という概念を導入し、群や環を一般化する普遍代数的構造を提示する。ノルムによって誘導される位相の下で連続性解析が可能となる。基礎的な位相的・代数的性質、例えば収束、完備性、連続的表現について確立し、Ω環やモジュールへの拡張も行い、連続的演算と表現を通じて、ノルム付きΩ群が微積分に類似した強固な構造を備えていることを示している。

ABSTRACT

Since sum which is not necessarily commutative is defined in \\Omega-algebra A, then \\Omega-algebra A is called \\Omega-group. I also considered representation of \\Omega-group. Norm defined in \\Omega-group allows us to consider continuity of operations and continuity of representation.

研究の動機と目的

• ノルム誘導位相を備えた群や環の一般化としてのノルム付きΩ群の概念を形式化すること。
• Ω群の位相的性質、特に収束、完備性、演算の連続性を調査すること。
• 特に完備Ω群におけるΩ群の連続的表現の理論を構築すること。
• 積演算と有効な表現の導入により、枠組みをΩ環やモジュールへ拡張すること。
• 極限や完備化において、表現や演算が連続のままである条件を確立すること。

提案手法

• 非可換和と多加法的演算を備えた代数的構造としてΩ群を定義し、群や環を一般化する。
• 標準的な公理（非負性、定値性、三角不等式、絶対同次性）を満たすノルムをΩ群に導入し、ノルム付きΩ群を構成する。
• ノルムを用いて開球・閉球を定義し、ε–N基準を用いた数列の収束を形式化する。
• n項演算のノルムを、出力ノルムと入力ノルム積の比の上界として定義する。
• 極限と完備性を用いて構造を拡張し、ノルムを用いて演算と表現の連続性を解析する。
• 完備Ω群から完備Ω群への表現が、極限と演算を保存する限り連続であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 非アーベル的・非可換な普遍代数に一貫したノルムを定義し、そのノルムが位相を誘導できるか。
• RQ2 ノルム誘導位相において、Ω群の演算が連続であるための条件は何か。
• RQ3 Ω群の表現を連続にできるか。また、極限を保存する条件は何か。
• RQ4 ノルム付きΩ群の完備化が、その代数的・位相的構造をどのように保存するか。
• RQ5 ノルム付きΩ群に積演算を導入した場合に現れる代数的構造は何か。また、環やモジュールとどのように関係するか。

主な発見

• Ω群におけるノルムは逆三角不等式を満たす：||a − b|| ≥ |||a| − |b||| であり、距離的挙動を保証する。
• n項演算ωのノルムは ||ω|| = sup ||a₁…aₙω|| / (||a₁||…||aₙ||) と定義され、出力ノルムは ||a₁…aₙω|| ≤ ||ω|| ||a₁||…||aₙ|| によって上界で抑えられる。
• ノルム付きΩ群における収束は標準的なε–N基準で定義され、ノルム位相において極限は一意的である。
• ノルム付きΩ群の完備化は、元の代数的・位相的構造を保存する完備ノルム付きΩ群をもたらす。
• 完備Ω群から別の完備Ω群への連続的表現は、極限と演算ノルムの保存によって特徴づけられる。
• 表現を介して積が導入されると、構造は分配法則を満たし、Ω環となる。有効な表現によりモジュールが定義される。