行列は集合なのか？環なのか？集合・行列・抽象代数学の関係をわかりやすく解説

数学を学んでいると、集合、行列、環などの言葉が登場しますが、それぞれがどのような関係にあるのか混乱することがあります。特に、数字が並んでいる行列を見て「これは数字の入れ物だから集合なのではないか」「足し算や掛け算があるなら環なのではないか」と疑問に感じる人は少なくありません。

この記事では、集合と行列の違い、行列がどのような数学的構造を持つのか、そして抽象代数学でいう環との関係について、具体例を交えながら解説します。

集合とは何か？数字の入れ物という考え方

集合とは、簡単に言えば「ある条件でまとめられたものの集まり」です。集合の中に入るものは数字でも、文字でも、図形でも、行列でも構いません。

例えば、{1,2,3}という集合は数字を集めたものです。また、{赤、青、緑}という集合は色を集めたものです。このように、集合そのものは単に対象をまとめたものであり、足し算や掛け算などの計算規則を必ず持っているわけではありません。

そのため、「行列が集合なのか」という問いに対しては、行列全体を集めたものを集合として考えることはできますが、1つ1つの行列そのものを単なる集合と見るわけではありません。

行列は、数字を縦横に並べたものです。例えば、次のようなものがあります。

2×2行列の場合、
[1 2]
[3 4]
のように4つの数字が配置されています。

見た目だけを見ると「数字を集めた箱」のように感じます。しかし、行列の重要な特徴は、数字がどこに配置されているかという位置情報を持っていることです。

例えば、
[1 2]
[3 4]
と
[3 4]
[1 2]
は、使われている数字は同じですが、別の行列です。つまり、行列は単なる数字の集合ではなく、配置や構造を含めた数学的対象になります。

一方で、「すべての2×2行列を集めた集合」という考え方はできます。

例えば、実数を成分に持つ2×2行列全体をM₂(R)のように表すことがあります。これは「2×2の実数行列を全部集めた集合」です。

このような集合には、さらに足し算や掛け算などのルールを追加することで、より高度な数学的構造になります。抽象代数学では、このように集合に演算を加えて考えることが重要になります。

環（ring）とは、単なる集合ではなく、集合の中で足し算や掛け算などの演算が定義され、一定の性質を満たす数学的構造です。

例えば整数全体の集合Zは環です。整数では、足し算、引き算、掛け算が自由にできます。しかし、割り算をすると整数ではなくなる場合があります。

例として、5÷2は整数ではありません。そのため、整数の集合は割り算まで自由にできる「体」ではありませんが、足し算と掛け算を持つ「環」として扱われます。

行列の場合も、ある条件を満たす集合を考えると環になります。例えば、同じサイズの正方行列全体は、行列の足し算と掛け算を定義することで環になります。

具体的には、2×2行列同士なら、行列の足し算ができます。また、行列同士の掛け算も定義されています。このため、2×2行列全体は環の例になります。

ただし、行列には一般的な数のような割り算はありません。ある行列Bに対してA÷Bという形をいつでも考えることはできません。その代わり、逆行列という特別な行列を使って、A×B⁻¹のような形で割り算に似た操作を表すことがあります。

普通の数字では、2×3=6なので、6÷3=2と考えることができます。しかし行列の場合、掛け算の順番によって結果が変わることがあります。

例えば、行列AとBでは、ABとBAが一致しない場合があります。この性質のため、通常の数字と同じ感覚で割り算を定義することが難しくなっています。

また、すべての行列に逆行列が存在するわけではありません。逆行列を持たない行列もあるため、一般的な割り算のような仕組みを作ることはできません。

これらの関係は、入れ子構造として考えると分かりやすくなります。

まず集合があります。集合は単なる「ものの集まり」です。その集合に計算ルールを加えると、群や環、体などの数学的構造になります。

行列については、「行列1つ」は数学的対象であり、「すべての行列を集めたもの」は集合になります。そして、その集合に行列の足し算や掛け算を入れると、環になる場合があります。

行列は見た目では数字を並べた入れ物のように見えますが、単なる集合ではなく、数字の配置や計算規則を持った数学的対象です。

一方で、同じ種類の行列をすべて集めた集合を考えることはでき、その集合に足し算や掛け算を定義すると環になる場合があります。

つまり、集合は数学的対象をまとめる土台であり、環はその集合に計算のルールを加えたものです。行列はその具体例の一つとして、抽象代数学の中で重要な役割を持っています。