加法的写像

加法的写像の概要

加法的写像（Additive Map）は、抽象代数学において「加法を保存する」特性を持った写像のことを指します。具体的に言うと、任意の二つの要素 x と y に対して、次の等式が成り立つ場合に加法的写像と呼ばれます。

\[ f(x+y) = f(x) + f(y) \quad (\forall x,y) \]

この性質は数学的に非常に重要で、多くの分野で活用されています。特に、線型写像はこの性質を常に満たしているため、加法的写像の最も基本的な例として挙げられます。

コーシーの函数方程式

加法的写像の条件式は、実数全体を定義域とする場合、コーシーの函数方程式と関連しています。これは、実数やその他の数体系において、関数の形を理解するための基本的な方程式の一つです。この方程式を満たす関数の中には、フロベニウス多項式などがあり、特に有名です。

Z-加群準同型の概念

より形式的に見れば、加法的関数はZ-加群準同型の概念に対応します。Z-加群は、アーベル群としての性質を持ち、加法的写像はこのアーベル群の間の群準同型と考えることができます。これにより、加法的写像の範囲とその特性をより広く理解することが可能です。

加法を保つ写像の例

典型的な加法的写像には、環、線型空間、及び加群の間の加法を保持する写像が含まれます。特にこれらの準同型写像は、すべて加法的関数の一例であることが知られています。しかし、一般的に言って加法的関数が他の構造、例えば環の乗法などを保つかは、必ずしも保証されていません。

加法的関数の和

二つの加法的関数 f と g が存在する場合、それらの点ごとの和として定義される f + g も、また加法的関数となります。このように、加法的関数を組み合わせることで、新たな加法的関数を構成することができます。

双加法的な性質

さらに、二変数関数 V × W → X について考えます。この関数が二つの引数のいずれに対しても加法的である場合、これを双加法的（bi-additive）または Z-双線型写像（Z-bilinear map）と呼びます。双加法的な性質は、多変量の関数においても加法的な特性を活用するための重要な概念です。

参考文献

このテーマについてさらに深く学びたい方は、以下の文献を参照してください。これらは加法的写像に関連する理論や事例を提供しています。

• - Leslie Hogben, Richard A. Brualdi, Anne Greenbaum, Roy Mathias, Handbook of Linear Algebra, CRC Press, 2007
• - Roger C. Lyndon, Paul E. Schupp, Combinatorial Group Theory, Springer, 2001

外部リンク

• - additive function - PlanetMath

以上が加法的写像に関する基本的な情報です。この概念は数学の多くの分野で重要な役割を果たしており、理解を深めることは非常に有益です。

もう一度検索