[论文解读] 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准则定义，且在范数拓扑下极限唯一。
• 范数Ω-群的完备化结果为完备范数Ω-群，保持其代数与拓扑结构。
• 完备Ω-群到另一完备Ω-群的连续表示，其特征为保持极限与运算范数。
• 当通过表示引入乘积运算时，所得结构满足分配律，成为Ω-环，且有效表示定义了模。