外積代数
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/04/01 07:18 UTC 版)
外積代数(がいせきだいすう、独: äußere Algebra、英: exterior algebra)は、ヘルマン・グラスマンによって導入された代数。グラスマンに因みグラスマン代数(独: Graßmann-Algebra、英: Grassmann algebra)[注 1]とも呼ばれる。
以下、特に断らない限り外国語表記はドイツ語、英語の順に記す。
概要
ベクトルの外積(がいせき、äußeres Produkt, exterior product)や楔積(くさびせき、英: wedge product)は、クロス積をある特定の性質に着目して、より高次元の場合へ一般化する代数的な構成である。
クロス積やスカラー三重積のようにベクトル同士の外積はユークリッド幾何学において面積や体積およびそれらの高次元における類似物の研究に用いられる。線型代数学において外積は、線型変換の行列式や小行列式を記述する基底の取り方に依存しない抽象代数的な仕方を提供し、階数や線型独立性といった概念に根本的に関係してくる。
外積代数(グラスマン代数)は、与えられた体 K 上のベクトル空間 V 上の外積によって生成される多元環である。多重線型代数やその関連分野と同様に、微分形式の成す多元環を通じて現代幾何学、特に微分幾何学と代数幾何学において広く用いられる。
形式的には、外積代数は ⋀(V) あるいは ⋀*(V) で表され、V を線型部分空間として含む、外積あるいは楔積と呼ばれる ∧ で表される乗法を持つ、体 K 上の単位的結合代数である。外積は結合的で双線型な乗法
外積代数
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/02/07 10:15 UTC 版)
K –加群 E の外積代数 ∧E とは、可換とは限らない K –代数であって E からの K –線型写像を持ち、次の条件を満たすもののことである:(可換とは限らない)K –代数への線型写像で、任意の x ∈ E について、 ϕ ( x ) 2 = 0 {\displaystyle {\phi (x)}^{2}~=~0} となっているものが与えられたときに、図式 E → A ↓ ↓ ⋀ E → A {\displaystyle {\begin{array}{ccc}E&\to &A\\\downarrow &&\downarrow \\{\boldsymbol {\bigwedge }}E&\to &A\end{array}}} が可換になるような K –代数の準同型が存在して一意に定まる。この条件によって対 (∧E , E → TE ) は同型を除き一意に定まる。
※この「外積代数」の解説は、「多重線型代数」の解説の一部です。
「外積代数」を含む「多重線型代数」の記事については、「多重線型代数」の概要を参照ください。
外積代数と同じ種類の言葉
- 外積代数のページへのリンク