群のコンポジションと行列の掛け算は同じ意味?写像の合成と行列積の関係をわかりやすく解説

算数

群論や線形代数学を学んでいると、「群のコンポジション(合成)と行列の掛け算は同じことなのか」という疑問を持つことがあります。実際、この2つは非常に似た考え方を持っていますが、厳密には同じものではありません。

共通しているポイントは、どちらも「操作を続けて行った結果を1つの操作として表す」という考え方です。特に行列は線形写像の表現として考えると、群のコンポジションとの関係が見えやすくなります。

この記事では、群における写像の合成と行列の掛け算がなぜ似ているのか、どこが違うのかを具体例を交えて解説します。

群のコンポジションとは何か

群におけるコンポジションとは、一般的には写像や操作の合成を意味します。例えば、ある集合に対して操作Aを行い、その後に操作Bを行う場合、その一連の操作を「BとAの合成」として表します。

写像で表すと、関数fとgがある場合、合成写像は(g∘f)(x)=g(f(x))のように表されます。これは、まずfを作用させ、その結果に対してgを作用させるという意味です。

例えば、数字を2倍してから3を足す操作と、別の操作を組み合わせる場合、それらを1つの新しい操作として扱えるという考え方です。

行列の掛け算は線形変換の合成を表している

一方、行列の掛け算も実は変換の合成を表しています。行列AとBがあるとき、積ABは「行列Bによる変換を行った後、行列Aによる変換を行う」ことを意味します。

例えば、ベクトルxに対してBを作用させ、その後Aを作用させると、結果はA(Bx)になります。これは積ABを使って(AB)xと書くことができます。

つまり、行列の積は線形写像という操作同士のコンポジションを、行列という形で表現しているものなのです。

なぜ群のコンポジションと行列積が同じように見えるのか

両者が似ている最大の理由は、「操作の組み合わせ」を扱っているからです。群では操作そのものを要素として考え、その操作を合成します。行列では変換を行列で表し、その変換を掛け算で組み合わせます。

例えば回転操作を考えると分かりやすくなります。平面上の点を90度回転させる操作を行列で表すことができます。さらに別の回転を行う場合、2つの回転行列を掛け合わせることで、連続した回転を1つの行列として表せます。

これは群の考え方そのものであり、回転行列の集合は「行列群」という群を作ります。

ただし群のコンポジションと行列の掛け算は同一ではない

似ているとはいえ、群のコンポジションと行列の掛け算は同じものではありません。群の演算は、その群の要素同士を組み合わせるための一般的なルールです。

例えば、整数の足し算も群の演算になります。この場合、2つの整数を足すことがコンポジションに相当しますが、行列の掛け算とは全く異なる操作です。

つまり、群とは「集合と演算の構造」を表す抽象的な概念であり、行列の掛け算はその具体例の1つとして現れる場合があるという関係になります。

行列群ではコンポジションと行列積が一致する

特に重要なのは、行列を群の要素として扱う場合です。例えば、逆行列を持つ正方行列全体からなる一般線形群GL(n)を考えると、群の演算は行列の掛け算になります。

この場合、群の要素である行列同士を合成する操作が、そのまま行列積になります。そのため「群のコンポジション=行列の掛け算」と考えてよい場面があります。

しかし、それは「行列で表される群」という特殊な状況で成立しているのであり、すべての群に当てはまるわけではありません。

まとめ

群のコンポジションと行列の掛け算は、どちらも「複数の操作を続けて行った結果を1つの操作として表す」という意味で非常によく似ています。

特に、行列が線形変換を表している場合、行列積は変換の合成そのものになるため、群の演算と一致します。

ただし、群はより広い数学的概念であり、行列の掛け算は群の演算として現れる具体例の一つです。この違いを理解すると、群論と線形代数学のつながりがより明確になります。

コメント

タイトルとURLをコピーしました