determinant

実用日本語表現辞典

determinant

別表記：ディターミナント

「determinant」とは

「determinant」は英語の単語で、決定要素や決定因子という意味を持つ。数学の分野では行列の行列式を指すこともあり、また、心理学では個々の行動や選択を決定する要素を指すこともある。日常的な会話でも、何かを決定する重要な要素を指す際に用いられる。

「determinant」の発音・読み方

「determinant」の発音は、IPA表記では/dɪˈtɜːrmɪnənt/となる。IPAのカタカナ読みでは「ディターミナント」となる。日本人が発音する際のカタカナ英語の読み方は「ディターミナント」である。

「determinant」の定義を英語で解説

「Determinant」 is a factor which decisively affects the nature or outcome of something. In mathematics, it refers to a value derived from a square matrix. In psychology, it refers to a factor that determines individual behavior or choices.

「determinant」の類語

「Determinant」の類語としては、「factor」、「element」、「component」、「variable」などが挙げられる。これらの単語も、何かを決定する要素や因子を指す際に使用される。

「determinant」に関連する用語・表現

「Determinant」に関連する用語としては、「deterministic」、「determine」、「determinable」などがある。「Deterministic」は確定的な、あるいは決定論的なという意味、「determine」は決定するという意味、「determinable」は決定可能なという意味を持つ。

「determinant」の例文

以下に、「determinant」を用いた例文を10個示す。 1. English example: "The determinant of a successful business is not only the quality of the products, but also the quality of the customer service." (日本語訳：成功するビジネスの決定要素は、製品の品質だけでなく、顧客サービスの品質でもある。) 2. English example: "In mathematics, the determinant of a matrix is a special number that can be calculated from a square matrix." (日本語訳：数学において、行列の行列式は、正方行列から計算できる特別な数値である。) 3. English example: "The determinant of the matrix was calculated to be zero." (日本語訳：その行列の行列式はゼロと計算された。) 4. English example: "The determinant of health includes social and economic factors, as well as individual behaviors." (日本語訳：健康を決定する要素には、社会経済的な要素や個々の行動が含まれる。) 5. English example: "The determinant of the outcome was his decision to leave." (日本語訳：結果を決定したのは彼の去るという決断だった。) 6. English example: "In psychology, the determinant of behavior is often a complex interplay of various factors." (日本語訳：心理学において、行動を決定する要素はしばしば様々な要素の複雑な相互作用である。) 7. English example: "The determinant of the election result was the voter turnout." (日本語訳：選挙結果を決定したのは有権者の投票率だった。) 8. English example: "The determinant of a good relationship is not only love, but also respect and understanding." (日本語訳：良好な関係を決定する要素は、愛だけでなく、尊重と理解でもある。) 9. English example: "The determinant of the reaction rate is the concentration of the reactants." (日本語訳：反応速度を決定する要素は、反応物の濃度である。) 10. English example: "The determinant of the company's success was its innovative approach to marketing." (日本語訳：その会社の成功を決定したのは、マーケティングへの革新的なアプローチだった。)

（2023年7月24日更新）

ウィキペディア

行列式

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/09/02 19:28 UTC 版)

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "行列式" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2017年10月)

数学における行列式（ぎょうれつしき、英: determinant）とは、正方行列に対して定義される量で、歴史的には行列が表す一次方程式の可解性を判定する指標として導入された。幾何的には線型空間またはより一般の有限生成自由加群上の自己準同型に対して定義され、線型変換に対して線形空間の拡大率ということができる。行列の可逆性を判定する指標として線型代数学における最も重要な指標の一つと見なされている。

概要

X を実2次正方行列

${\displaystyle X={\begin{bmatrix}a&b\\c&d\end{bmatrix}}}$

この平行六面体の体積はベクトル r₁, r₂, r₃ の成す 3 次正方行列の行列式の絶対値に一致する。

同様にして一般の次数のN次正方行列 X に対し、X の定める線型変換が超立体（N次図形）の超体積を何倍にしているかという符号付き拡大率を X の行列式として定義することができる。これは行列の成分を変数とする多項式の形で書け、二次の場合と同様にこれは正則性など正方行列の重要な性質に対する指標を与えている。一次方程式系が与えられるとき、方程式の係数行列に対してその行列式の値を調べることにより、方程式系の根の状態をある程度知ることができる。特にクラメルの公式により、根が一組である線型方程式系の根の公式が行列式を用いて表示される。

定義

抽象的な定義

K を可換環とし、E を階数 n の A 上の自由加群とする。E の n-次外冪 ⋀ⁿE は A 上階数1の自由加群である。E 上の K-線型写像 ϕ について、⋀ⁿE 上に引き起こされる K-準同型

$${\displaystyle {\textstyle \bigwedge ^{n}}\phi \colon e_{1}\wedge \dotsb \wedge e_{n}\mapsto \phi (e_{1})\wedge \dotsb \wedge \phi (e_{n})}$$

ベルヌーイ数や二項係数について書かれた関孝和による「括要算法」（1712年）

高階の行列に関する行列式の定義はそれから百年ほどたって日本で和算の関孝和、田中由真、そしてドイツのライプニッツによりほとんど同時にかつ独立に与えられた。

関孝和ら和算家による発見

関孝和は『解伏題之法』で行列式について述べている。本手稿のテーマは多変数の高次方程式から変数を消去して一変数の方程式に帰着することで、変数消去の一般的方法、つまり終結式の理論を提示している。本手稿では3次と4次に関しては行列式の正しい表示を与えているが、より高次の5次の場合はつねに0になってしまい、あきらかに間違っている。これが単純な誤記の類であるか否かは不明である。また、次節で述べるように、関西で活躍していた田中由真や井関知辰らの研究も同様の問題を考えており、類似の結果にたどり着いている。

これらの研究では、いずれも行列式は終結式を表すための手段にすぎず、行列式そのものを意味のある対象として捉えていたかについては異論がある。実際、それをあらわす用語すら提案されていない。また、日本が鎖国によって外界から遮断されていたこともあり、西洋数学に影響を与えることはなかった。

ライプニッツによる行列式の発見

同じ時期にライプニッツは数多くの線型方程式系を研究していたが、その頃は行列記法がまだなかったので、彼は未知数の係数を、現在のような a_i,j のかわりに ij のように添字の対によって表現していた。1678年に彼は3つの未知数に関する3つの方程式に興味を抱き、列に関する行列式の展開式を与えている。同じ年に彼は4次の行列式についても（符号の間違いを別にすれば）正しい式を与えている。ちなみにライプニッツはこの成果を公表しなかったので、50年後に彼とは独立に再発見されるまでこの成果は人々に認識されていなかった。

一般的な行列式

関孝和は、最初の手稿からやや後の『大成算経』（建部賢明、建部賢弘と共著、執筆は1683年〈天和3年〉 - 1710年〈宝永7年〉頃）で、第一列についての余因子展開を一般の場合について正しく与えている。また、田中由真は『算学紛解』（1690年（元禄3年）ごろ）で 5次までの行列式を、井関知辰は『算法発揮』（1690年（元禄3年）刊）で第一行についての余因子展開を一般の場合で与えている。ちなみに関や田中の著作は写本のみであるが、井関の著作は出版がなされている。

ヨーロッパにおいても、行列式の理論は日本の場合と同じく（一次ではなく）高次の代数方程式の変数消去の研究のために発展した。1748年にマクローリンの（死後に刊行された）代数学の著作において4つの未知数に関する4つの方程式の系の解が正しい形で述べられ、行列式の研究が再開されることになった。1750年にクラメルは（証明抜きで）N 個の変数に関する N 個の方程式からなる方程式の解を求める規則を定式化した。この行列式の計算方法は順列の符号に基づく繊細なものだった。

ベズー（1764年）やファンデルモント（1771年、ヴァンデルモンドの行列式の計算）などがそれに続き、1772年にはラプラスによって余因子展開の公式が確立された。さらに翌年にはラグランジュによって行列式と体積との関係が発見されている。

今日の determinant（決定するもの）に当たる言葉が初めて現れたのはガウスによる1801年の Disquisitiones Arithmeticae である。そこで彼は二次形式の判別式（今日的な意味での行列式の特別な例と見なせる）を用いている。彼はさらに行列式と積の関係についても後少しのところまでいっている。

現代的な行列式の概念の確立

現代的な意味での行列式という用語はコーシーによって初めて導入された^[4]。彼はそれまでに得られていた知識を統合し、1812年には積と行列式の関係を発表している（同じ年にビネも独立に証明をあたえていた）。コーシーは平行して準同型の簡約化についての基礎付けの研究も行っている。

1841年に「クレレ誌」で発表されたヤコビの3本の著作によって行列式の概念の重要性が確立された。ヤコビによって初めて行列式の計算の系統的なアルゴリズムが与えられ、またヤコビアンの概念によって写像の行列式も同様に考察できるようになった。行列の枠組みはケイリーとシルベスターによって導入された。ちなみにケイリーは逆行列の公式を確立させており、行列式の記号として縦棒を導入したのも彼である^[4]。

行列式の理論は様々な対称性を持つような行列についての行列式の研究や、線型微分方程式系のロンスキー行列式など数学の様々な分野に新たに行列式を持ち込むことが追究されている。

いくつかの行列式

2次対称群 ${\displaystyle {\mathfrak {S}}_{2}}$

サラスの方法

2 次あるいは 3 次の正方行列については、左上から右下へ向かう方向に「+」、右上から左下へ向かう方向に「−」の符号を付けて積を取りそれらの和を取ると行列式が求められる。これを「サラスの方法」または「サラス展開」、「たすきがけの法」と言う。n 次正方行列に対して、サラスの方法で取り出せる項の数は高々 2n であり、一般には行列式の総項数 n! に比べてはるかに少ないため、4次以上の正方行列にはこの方法は使えない。

三角行列の行列式は、主対角成分の総乗をとることで求まる。三角行列の主対角成分には固有値が並ぶから、行列式の値は固有値の総乗である。このことは、基底の取替えによる行列の三角化可能性と行列式の乗法性によって、一般の正方行列に対しても正しい。つまり、与えられた行列の行列式の値は、その行列の固有値の総乗に等しい。

発展的な話題

小行列式

詳細は「小行列式」を参照

正方行列とは限らない一般の行列 A ≔ (a_ij) に対して、その行と列からそれぞれ k 個選び、それらに属する成分からなる正方行列の行列式を考えることができる：

${\displaystyle {\begin{vmatrix}a_{i_{1}j_{1}}&a_{i_{1}j_{2}}&\cdots &a_{i_{1}j_{k}}\\a_{i_{2}j_{1}}&a_{i_{2}j_{2}}&\cdots &a_{i_{2}j_{k}}\\\vdots &\vdots &\ddots &\vdots \\a_{i_{k}j_{1}}&a_{i_{k}j_{2}}&\cdots &a_{i_{k}j_{k}}\end{vmatrix}}}$

ウィキブックスに線形代数学関連の解説書・教科書があります。