|
数学における多重線型代数（たじゅうせんけいだいすう、）とは、線型空間における多重線型性 () を扱う代数学の分野。多重線型性は典型的には線型環における積の構造に現れている。 を –代数とするとき、自然数 に対し、 上で定義された 変数写像 はある変数以外の変数を固定して一変数の写像と見なしたときにを定めている。より一般に 上のベクトル空間 上の 変数写像についてもある変数以外の変数を固定して一変数写像と見なしたときに 線型写像になっているようなものを考えることができるが、このような写像は多重線型写像 () とよばれる。多重線型写像は何らかの意味でベクトルの「積」を表していると考えられる。 多重線型性を捉える基本的な対象としてテンソル代数（てんそるだいすう、）、対称代数（たいしょうだいすう、）、外積代数（がいせきだいすう、）が挙げられる。テンソル代数におけるテンソル積によって、ベクトルの積として最も一般的なものが定式化される。また、対称積や外積によって一定の付加的な条件を満たすような積が捉えられる。 == 歴史 == 多重線型代数の起源は様々な形で19世紀における一次方程式（線型代数）の研究やテンソル解析などのいくつかの分野に辿ることができる。20世紀前半の微分幾何学や一般相対性理論、あるいは応用数学の様々な分野におけるテンソルの使用によって多重線型代数の概念はさらに発展させられた。 20世紀の中頃になってテンソルの理論はより抽象的な形に再定式化された。ブルバキによる『代数』〔Bourbaki 『代数』。〕（の「多重線型代数」章）の執筆はこの過程に強い影響を与えており、実際のところ、''多重線型代数'' という用語自体も彼らによって作られたものだとされている。この時代にはホモロジー代数が多重線型代数の新たな応用先として現れていた。 1940年代における代数的位相幾何学の発展により、空間の直積とホモロジー群のテンソル積との対応（）などの理解のためにもテンソル積を純代数的に定式化し取り扱う必然性が生まれていた。 ここでの問題には多くの概念が関わっている。たとえば、ヘルマン・グラスマンに始まるウェッジ積の概念はクロス積の概念を一般化したものになっているが、微分形式の理論と、続くドラーム・コホモロジーの理論に不可欠な形で利用されている。 ブルバキによる多重線型代数の再構成において、それまでの多重線型代数の一流儀であった四元数（より一般にはリー群との関係から導かれるような）を通じてテンソルを考える方法は打ち捨てられることになった。ブルバキが採用したのはより圏論的な方法論であり、普遍性をもとにした議論によって多重線型代数の理論は大きく整理された。 こうして、''テンソル空間'' を考えることによって多重線型性の問題が単なる線型性の問題へと言い換えられる、ともいうべき理解が得られた。この過程で用いられる操作は純代数的なものであり、幾何学的な直感は見かけ上完全に排除されている。多重線型代数の理論を代数的・圏論的に整理したことによって多重線型的な問題の「最適解」の概念がはっきりとしたものになる。その場その場に応じた、座標系を用いたりして幾何学的な概念に訴える必要無しに、すべてのものが「自然に」構成できることになる。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「多重線型代数」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Multilinear algebra 」があります。 スポンサード リンク
|