多重線型代数
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/12/27 04:20 UTC 版)
多重線型性を捉える基本的な対象としてテンソル代数(てんそるだいすう、tensor algebra)、対称代数(たいしょうだいすう、symmetric algebra)、外積代数(がいせきだいすう、exterior algebra)が挙げられる。テンソル代数におけるテンソル積によって、ベクトルの積として最も一般的なものが定式化される。また、対称積や外積によって一定の付加的な条件を満たすような積が捉えられる。
歴史
多重線型代数の起源は様々な形で19世紀における一次方程式(線型代数)の研究やテンソル解析などのいくつかの分野に辿ることができる。20世紀前半の微分幾何学や一般相対性理論、あるいは応用数学の様々な分野におけるテンソルの使用によって多重線型代数の概念はさらに発展させられた。
20世紀の中頃になってテンソルの理論はより抽象的な形に再定式化された。ブルバキによる『代数』[1](の「多重線型代数」章)の執筆はこの過程に強い影響を与えており、実際のところ、多重線型代数 という用語自体も彼らによって作られたものだとされている。この時代にはホモロジー代数が多重線型代数の新たな応用先として現れていた。
1940年代における代数的位相幾何学の発展により、空間の直積とホモロジー群のテンソル積との対応(キュネットの定理)などの理解のためにもテンソル積を純代数的に定式化し取り扱う必然性が生まれていた。 ここでの問題には多くの概念が関わっている。たとえば、ヘルマン・グラスマンに始まるウェッジ積の概念はクロス積の概念を一般化したものになっているが、微分形式の理論と、続くドラーム・コホモロジーの理論に不可欠な形で利用されている。
ブルバキによる多重線型代数の再構成において、それまでの多重線型代数の一流儀であった四元数(より一般にはリー群との関係から導かれるような)を通じてテンソルを考える方法は打ち捨てられることになった。ブルバキが採用したのはより圏論的な方法論であり、普遍性をもとにした議論によって多重線型代数の理論は大きく整理された。 こうして、テンソル空間 を考えることによって多重線型性の問題が単なる線型性の問題へと言い換えられる、ともいうべき理解が得られた。この過程で用いられる操作は純代数的なものであり、幾何学的な直感は見かけ上完全に排除されている。多重線型代数の理論を代数的・圏論的に整理したことによって多重線型的な問題の「最適解」の概念がはっきりとしたものになる。その場その場に応じた、座標系を用いたりして幾何学的な概念に訴える必要無しに、すべてのものが「自然に」構成できることになる。
定義
以下、K を可換環とする。
特徴付け
テンソル代数
K –加群 E のテンソル代数 TE とは、可換とは限らない K –代数であって E からの線型写像 E → TE を持ち、次の条件を満たすもののことである:(可換とは限らない)K –代数 A への K –線型写像 E → A が与えられたとき、図式
が可換になるような K –代数の準同型 TE → A が存在して一意に定まる。この条件によって対 (TE , E → TE ) は同型を除き一意に定まる。
対称代数
K –加群 E の対称代数 SE とは、可換な K –代数であって E からの K –線型写像をもち、次の条件を満たすもののことである:可換 K –代数 A への K –線型写像 E → A が与えられたとき、図式
が可換になるような K –代数の準同型 SE → A が存在して一意に定まる。この条件によって対 (SE , E → TE ) は同型を除き一意に定まる。
外積代数
K –加群 E の外積代数 ∧E とは、可換とは限らない K –代数であって E からの K –線型写像を持ち、次の条件を満たすもののことである:(可換とは限らない)K –代数への線型写像で、任意の x ∈ E について、
となっているものが与えられたときに、図式
が可換になるような K –代数の準同型が存在して一意に定まる。この条件によって対 (∧E , E → TE ) は同型を除き一意に定まる。
構成
テンソル積とテンソル代数
T0E = K とし、1 < n について n 回テンソル積をとったものをTnE = E ⊗n = E ⊗ … ⊗ E とし、これらの直和 ⊕TnE を TE とする。この K –加群は
によって定まる積を持ち(一般には非可換な)K –代数になる。TnE を E の n 次テンソル冪 (n th tensor power) と呼ぶ。
E から TE への線型写像は E = T1E → TE によって与えられている。E から K –代数 A への K –線型写像 φ: E → A が与えられたとき、E → TE と両立する準同型 TE → A は x 1 ⊗ … ⊗ xm → φx 1 ⊗ … ⊗ φxm によって与えられる。
対称代数と対称積
テンソル代数 TE において x ⊗ y − y ⊗ x (x, y ∈ E ) という形の T2E の元が生成する両側イデアルを IE とする。商環 SE = TE/IE と K –準同型 E → TE → SE は上に挙げた対称代数の普遍性を満たしている。
SE における TnE の 像 SnE を E の n 次対称冪 (n th symmetric product) と呼ぶ。直接的には、SnE は TnE をその部分加群
- は斉次元で
で割った商加群となっており、SE は SnE の直和になっている。
外積代数と外積
x ⊗ x という形の元が生成する両側イデアルを JE とする。商環 ∧E = TE/JE と K –準同型 E → TE → ∧E は上に挙げた対称代数の普遍性を満たしている。
TnE の像 ∧nE を E の n 次外冪 (n th exterior product) と呼ぶ。直接的には ∧nE は TnE をその部分加群
- は斉次元で
で割った商加群となっており、∧E は ∧nE の直和になっている。
圏と関手による言い換え
上に挙げたテンソル代数の特徴付けは、E → T(E ) が K –代数の圏から K –加群の圏への埋め込み関手の左随伴関手であることをいっている。同様にして E → S (E ) は可換 K –代数の圏から K 加群の圏への埋め込み関手の左随伴関手になっている。
テンソル積加群や対称積加群、外積加群についても関手的な特徴付けができる。n 次テンソル冪は n 変数双線型写像を表現している。つまり、K –加群 F に対して E から F への n 重線型写像を Ln (E ; F ) と書くことにすれば、関手の間の自然な同一視 Ln (E ; F ) = HomK (TnE , F ) がある。
同様にして n 次対称冪や n 次外冪もそれぞれある関手を表現していると見なすことができる。具体的には、SnE は n 次対称写像の空間
- は から への 重線型写像で を満たす。
を Symn (E ; F ) ≡ HomK (SnE , F ) として表現している。同様にして ∧nE は n 次交代写像の空間
- は から への 重線型写像で ならば を満たす。
を表現している。
- 1 多重線型代数とは
- 2 多重線型代数の概要
- 3 対称代数や外積代数の構造
- 4 多項式環
- 5 参考文献
多重線型代数と同じ種類の言葉
- 多重線型代数のページへのリンク