多重線型代数

数学における多重線型代数（たじゅうせんけいだいすう、英語：multilinear algebra）とは、線型空間における多重線型性とよばれる状況を考察する代数的なパラダイムである。多重線型性は典型的には線型環における積の構造に現れている。A を K-代数とするとき、自然数 n に対し、 A 上で定義された n 変数写像 (x₁, ..., x_n) → x₁x₂…x_n はある変数以外の変数を固定して一変数の写像と見なしたときに K-線型写像を定めている。より一般に K 上のベクトル空間 E 上の n 変数写像についてもある変数以外の変数を固定して一変数写像と見なしたときに K 線型写像になっているようなものを考えることができるが、このような写像は多重線型写像とよばれる。多重線型写像は何らかの意味でベクトルたちの「積」を表していると考えられる。

多重線型性を捉える基本的な対象としてテンソル代数（てんそるだいすう、tensor algebra）・対称代数（たいしょうだいすう、symmetric algebra）・外積代数（がいせきだいすう、exterior algebra）があげられる。テンソル代数におけるテンソル積によってベクトルの積として最も一般的なものが定式化される。また、対称積や外積によって一定の付加的な条件を満たすような積がとらえられる。

概要

多重線型代数の起源は様々な形で19世紀における一次方程式（線型代数）の研究やテンソル解析などのいくつかの分野にたどることができる。20世紀前半の微分幾何学や一般相対性理論、あるいは応用数学の様々な分野におけるテンソルの使用によって多重線型代数の概念はさらに発展させられた。

20世紀の中頃になってテンソルの理論はより抽象的な形に再定式化された。ブルバキによる『代数』（の「多重線型代数」章）の執筆はこの過程に強い影響を与えており、実際のところ、「多重線型代数」という用語自体も彼らによって作られたものだとされている。この時代にはホモロジー代数が多重線型代数の新たな応用先としてあらわれていた。1940年代における代数的位相幾何学の発展により、空間の直積とホモロジー群のテンソル積との対応（キュネットの定理）などの理解のためにもテンソル積を純代数的に定式化し取り扱う必然性が生まれていた。ここでの問題には多くの概念が関わっている。たとえば、ヘルマン・グラスマンに始まるウェッジ積の概念はクロス積の概念を一般化したものになっているが、微分形式の理論と、続くドラーム・コホモロジーの理論に不可欠な形で利用されている。

ブルバキによる多重線型代数の再構成において、それまでの多重線型代数の一流儀であった四元数（より一般にはリー群との関係から導かれるような）を通じてテンソルを考える方法は打ち捨てられることになった。ブルバキが採用したのはより圏論的な方法論であり、普遍性をもとにした議論によって多重線型代数の理論は大きく整理された。こうして、テンソル空間を考えることによって多重線型性の問題が単なる線型性の問題へと言い換えられる、ともいうべき理解がえられた。この過程で用いられる操作は純代数的なものであり、幾何学的な直感は見かけ上完全に排除されている。多重線型代数の理論を代数的・圏論的に整理したことによって多重線型的な問題の「最適解」の概念がはっきりとしたものになる。その場その場に応じた、座標系を用いたりして幾何学的な概念に訴える必要無しに、すべてのものが「自然に」構成できることになる。

定義

以下、K を可換環とする。

特徴付け

テンソル代数

K-加群 E のテンソル代数 TE とは、可換とは限らない K-代数であって E からの線型写像 E → TE をもち、次の条件を満たすもののことである：（可換とは限らない）K-代数 A へのK-線型写像 E → A が与えられたとき、図式

E	→	A
↓		↓
TE	→	A

が可換になるような K-代数の準同型 TE → A が存在して一意に定まる。この条件によって対 (TE, E → TE) は同型をのぞき一意に定まる。

対称代数

K-加群 E の対称代数 SE とは、可換な K-代数であって E からの K-線型写像をもち、次の条件を満たすもののことである：可換 K-代数 A への K-線型写像 E → A が与えられたとき、図式

E	→	A
↓		↓
SE	→	A

が可換になるような K-代数の準同型 SE → Aが存在して一意に定まる。この条件によって対 (SE, E → TE) は同型をのぞき一意に定まる。

外積代数

K-加群 E の外積代数 ∧E とは、可換とは限らない K-代数であって E からの K-線型写像をもち、次の条件を満たすもののことである：（可換とは限らない）K-代数への線型写像で、任意の x, y₁, ..., y_m, z₁, ..., z_n ∈ E について

φ(y₁…y_mx²z₁…z_n) = 0

となっているものが与えられたときに、図式

E	→	A
↓		↓
∧ E	→	A

が可換になるような K-代数の準同型が存在して一意に定まる。この条件によって対 (∧E, E → TE) は同型をのぞき一意に定まる。

構成

テンソル積とテンソル代数

T⁰E = K、1 < nについて TⁿE = E^⊗n = E ⊗ ... ⊗ E（n 回）とおき、これらの直和 ⊕TⁿE を TE とおく。この K-加群は

T^mE × TⁿE → T^{m + n} E, (x₁ ⊗ … ⊗ x_m, y₁ ⊗ … ⊗ y_n) → x₁ ⊗ … ⊗ x_m ⊗ y₁ ⊗ … ⊗ y_n

によって定まる積を持ち（一般には非可換な）K-代数になる。TⁿE は E の n 次テンソル冪とよばれる。

E から TE への線型写像は E = T¹E → TE によって与えられている。E から K-代数 A への K-線型写像 φ: E → A が与えられたとき、E → TE と両立する準同型 TE → A は x₁ ⊗ … ⊗ x_m → φx₁ ⊗ … ⊗ φx_m によってあたえられる。

対称代数と対称積

テンソル代数 TE においてx ⊗ y − y ⊗ x (x, y ∈ E) という形の T²E の元たちが生成する両側イデアルを IEとする。商環 SE = TE/IE と K-準同型 E → TE → SE は上に挙げた対称代数の普遍性を満たしている。

SE における TⁿE の 像 SⁿE は E の n 次対称冪 (n-th symmetric product) とよばれる。直接的には、SⁿE は TⁿE をその部分加群

<a (x ⊗ y − y ⊗ x) b | a, bは斉次元で deg(a) + deg(b) = n − 2 >

で割った商加群となっており、SE は SⁿE たちの直和になっている。

外積代数と外積

x ⊗ x という形の元たちが生成する両側イデアルを JE とする。商環 ∧ E = TE/JEと K-準同型 E → TE → ∧E は上に挙げた対称代数の普遍性を満たしている。

TⁿE の像 ∧ⁿE は E の n 次外冪 (n-th exterior product) とよばれる。直接的には ∧ⁿE は TⁿE をその部分加群

<a (x ⊗ x) b | a, bは斉次元で deg(a) + deg(b) = n − 2 >

で割った商加群となっており、∧E は ∧ⁿE たちの直和になっている。

圏と関手によるいいかえ

上に挙げたテンソル代数の特徴付けは、E → T(E) が K-代数の圏から K-加群の圏への埋め込み関手の左随伴関手であることをいっている。同様にして E → S(E) は可換 K-代数の圏から K 加群の圏への埋め込み関手の左随伴関手になっている。

テンソル積加群や対称積加群、外積加群についても関手的な特徴付けができる。n 次テンソル冪は n変数双線型写像を表現している。つまり、K-加群 F にたいして E から F への n 重線型写像を L_n(E; F)とかくことにすれば、関手の間の自然な同一視 L_n(E; F) = Hom_K(TⁿE, F)がある。

同様にして n 次対称冪や n 次外冪もそれぞれある関手を表現していると見なすことができる。具体的には、SⁿE は n 次対称写像の空間

Sym_n(E; F) = {φ は E から F への n 重線型写像で φ(x₁, ..., x_i, x_{i + 1}, ..., x_n) = φ(x₁, ..., x_{i + 1}, x_i, ..., x_n) をみたす}

を Sym_n(E; F) ≡ Hom_K(SⁿE, F) として表現している。同様にして ∧ⁿE は n 次交代写像の空間

Alt_n(E; F) = {φ は E から F への n 重線型写像でx_i = x_{i + 1}ならば φ(x₁, ..., x_n) = 0 をみたす}

を表現している。

対称代数や外積代数の構造

加群の直和 E ⊕ F に対して次数付き加群としての自然な同一視 S(E ⊕ F) ≡ SE ⊗ SF や ∧(E ⊕ F) ≡ ∧E ⊗ ∧F がある。つまり、各自然数 k について

S^k(E ⊕ F) ≡ ⊕_{k = m + n} S^mE ⊗ SⁿF, ∧^k(E ⊕ F) ≡ ⊕_{k = m + n} ∧^mE ⊗ ∧ⁿF

が成立している。したがって、dim Sⁿ E や dim ∧ⁿE の母関数 σ_t(E) = ∑ dim(SⁿE)tⁿ や λ_t(E) = ∑ dim(∧ⁿE)tⁿ について

σ_t(E ⊕ F) = σ_t(E)σ_t(F), λ_t(E ⊕ F) = λ_t(E)λ_t(F)

が成立している。ここから σ_t(K) = 1 + t + t² + … = 1/(1 − t) や λ_t(K) = 1 + t から dim ∧ⁿ K^m = _nC_m などがしたがう。

多項式環

詳細は「多項式」を参照

n 次の自由 K-加群（K が体のときには n 次元のベクトル空間）Kⁿ の対称代数は K を係数とする n 変数の多項式環 K[X₁, ..., X_n] と見なせる。

行列式

詳細は「行列式」を参照

Kⁿ の n 次外冪 ∧ⁿKⁿ は一次元空間であるが、これは向きも込めた Kⁿ における体積要素の空間と見なせる。Kⁿ 上の線型写像 φ について、φ が体積要素を何倍に変換するかという情報は ∧ⁿKⁿ 上に引き起こされる線型写像 ∧ⁿ(φ) がどんな定数倍写像になっているかということで表されている。

幾何学への応用

位相空間上のベクトル束に対しテンソル代数、対称代数や外積代数などの操作を考えることで次数付き線型環の束が得られる。つまり、空間 X 上のベクトル束 E に対し、各点 x におけるファイバーのベクトル空間ごとに TE_x, SE_x, ∧ E_x などを考えることであらたな束が得られる。（これらの操作はベクトル束に期待される変換の連続性を保っている）。とくに多様体 V の余接束 T^*V に対しこの操作を施すことで共変の p 階テンソルの束 ∧^p T^*V やそれら切断のなす外積代数 Ω(V)、接束 TVに対しこの操作を施すことで反変の p 階テンソルの束 ∧^p TV などがえられる。

物理学への応用

フォック空間

ボゾン場の第二量子化を表すフォック空間として可分ヒルベルト空間の対称代数があらわれ、もとのヒルベルト空間のベクトルによるかけ算は非有界な作用素を表している。

参考文献

• N・ブルバキ 『代数』 銀林浩編、銀林浩, 清水達雄ほか訳、東京書籍、1968年

関連項目

• テンソル積
• クロス積
• クリフォード代数