※小説ではない※専門書 要約資料集 為替(換算)3.9万円でもらう 紐解集生成 専門 初入門 資料 作：｛作者名｝
> 学問の宇宙・形式科学の恒星群 数学冠・派生第1巻。ガイド役: Fable 5 監修 / Sonnet 5 執筆(脚本班)
> トーン規約: GAKUMON_UNIVERSE.md準拠。専門用語は初出で必ず説明する。
> 重複回避の方針: →BOOK-0067『代数』第1巻は「まだ値のわからない一つの数」に名前を付けて解く技術を扱った。→BOOK-0068『解析幾何』第1巻は、一つの点や一つの図形を数の組に翻訳する橋を架けた。本冊が扱うのは、その先にある第三の道具——**たくさんの数をひとつの箱にまとめ、その箱ごと一気に計算してしまう**という発想、線形代数(せんけいだいすう)である。一つの方程式ではなく、方程式の「群れ」を同時に扱う技術だと言い換えてもよい。
> 接続先: →BOOK-0067『代数』第1巻(一次方程式の移項・天秤の発想は、本冊の連立一次方程式でそのまま複数本立てになる)、→BOOK-0068『解析幾何』第1巻(座標(x, y)という数の組は、本冊で言う「ベクトル」の最初の姿そのものである)、→BOOK-0063『微分積分』第1巻(多変数の関数やその変化を扱う土台として、後の巻で線形代数が再登場する)、→BOOK-0066『アルゴリズムとデータ構造』第1巻(連立方程式を機械的な手順で解き切るガウスの消去法は、アルゴリズムという発想そのものの古い実例である)。
> 水準: 一〜四(基礎と歴史の「場所の形成」)。後半(水準五〜七: 線形写像・階数・対角化・応用)は別巻で扱う。
---
# BOOK-0071 線形代数 — 数の表を1つの生き物として扱う(数学派生 第1巻)
> 学問の宇宙・形式科学の恒星群 数学冠・派生第1巻。ガイド役: Fable 5 監修 / Sonnet 5 執筆(脚本班)
> トーン規約: GAKUMON_UNIVERSE.md準拠。専門用語は初出で必ず説明する。
> 重複回避の方針: →BOOK-0067『代数』第1巻は「まだ値のわからない一つの数」に名前を付けて解く技術を扱った。→BOOK-0068『解析幾何』第1巻は、一つの点や一つの図形を数の組に翻訳する橋を架けた。本冊が扱うのは、その先にある第三の道具——**たくさんの数をひとつの箱にまとめ、その箱ごと一気に計算してしまう**という発想、線形代数(せんけいだいすう)である。一つの方程式ではなく、方程式の「群れ」を同時に扱う技術だと言い換えてもよい。
> 接続先: →BOOK-0067『代数』第1巻(一次方程式の移項・天秤の発想は、本冊の連立一次方程式でそのまま複数本立てになる)、→BOOK-0068『解析幾何』第1巻(座標(x, y)という数の組は、本冊で言う「ベクトル」の最初の姿そのものである)、→BOOK-0063『微分積分』第1巻(多変数の関数やその変化を扱う土台として、後の巻で線形代数が再登場する)、→BOOK-0066『アルゴリズムとデータ構造』第1巻(連立方程式を機械的な手順で解き切るガウスの消去法は、アルゴリズムという発想そのものの古い実例である)。
> 水準: 一〜四(基礎と歴史の「場所の形成」)。後半(水準五〜七: 線形写像・階数・対角化・応用)は別巻で扱う。
---
## 入口の物語 — 数の表を1つの生き物として扱う
大きな水族館の水槽を思い浮かべてほしい。水槽の中には魚が何十匹も泳いでいるが、水族館の職員は「1匹1匹の魚」を別々に扱うだけでなく、「この水槽全体」を1つのまとまりとして扱うこともできる。水槽ごと照明を変える、水槽ごと水温を上げる、水槽ごと別の部屋に移動する——個々の魚に触れなくても、水槽という「容れ物」に対する操作が、中の魚全部に一斉に効いてしまう。
線形代数(せんけいだいすう、水準一: 数をいくつも並べた「表」や「並び」をひとまとまりの対象として扱い、その対象どうしの足し算・掛け算のルールを定めて計算する数学の分野)の発想は、この水槽の喩えに近い。→BOOK-0067『代数』第1巻で見たのは、`x` という**たった1つ**のわからない数に名前を付けて、それを解く技術だった。ところが現実の問題は、わからない数が1つだけということは滅多にない。ある工場で3種類の製品を作るときの材料の配分、ある地図上で複数の地点の位置関係、あるゲームのキャラクターが同時に受ける複数の力——これらはすべて、**複数の数が同時に、互いに関係し合いながら**動いている状況だ。
線形代数は、このような「複数の数の群れ」を、1匹ずつ追いかけるのではなく、水槽ごと——つまり表ごと、並びごと——1つの生き物として扱ってしまう発想である。数を横または縦に並べたものを**ベクトル**、数を格子状に並べたものを**行列**と呼び、これらを1つの対象として足したり掛けたりするルールを定める。すると、10個の連立方程式を10回別々に解く代わりに、たった1つの「行列の計算」として一気に処理できるようになる。バラバラだった魚の群れを、水槽ごと動かす——これが線形代数という学問の最初の、そして最大の御利益である。
```
代数(BOOK-0067) : 1匹の魚(1つの未知数)を追いかける x + 3 = 7
線形代数(本冊) : 水槽ごと(数の表・並びごと)動かす [行列] × [ベクトル] = [ベクトル]
```
### なぜ「まとめて扱う」だけでこんなに便利になるのか
不思議に思う人もいるだろう。数を表にまとめて名前を付けたところで、計算の中身自体は変わらないはずなのに、なぜこれが強力な道具になるのか。
答えは、**まとめることで、個々の数の意味を忘れて「容れ物どうしの関係」だけを考えられるようになる**という点にある。たとえばオーケストラの指揮者は、演奏中に「バイオリンの3番奏者の右手の動き」を1本1本考えているわけではない。「弦楽器セクション全体」「金管セクション全体」という大きな塊を単位にして、曲全体の構成を組み立てる。線形代数もこれと同じで、数字1つ1つの値ではなく、「ベクトルの向きと大きさ」「行列がベクトルにどんな変換を施すか」という、より大きな単位でものを考えられるようにしてくれる。
この冊子では、まず数の並びに名前を付けて計算する「ベクトル」と「行列」がどのように生まれ育っていったかを歴史とともにたどり、次に連立一次方程式・行列の積・行列式という基本の武器を、実際に検算しながら手に入れる。最後に、その武器がやがて「固有値」という、行列の性格そのものを暴き出す入口にたどりつくところまでを覗き見て、本冊を締めくくる。
---
## 第一章: ベクトル — 大きさと向きを持つ、数の組の贈り物(水準一)
### 座標の組が「移動」を運ぶ
→BOOK-0068『解析幾何』第1巻の第四章で、私たちはすでにベクトル(水準四として)に軽く触れていた。点(1, 2)から点(5, 4)への移動を、x方向に4、y方向に2の矢印として `(4, 2)` と書き表す、というものだった。本冊ではこの発想を土台に、ベクトル(水準一: 大きさと向きの両方を持つ量。数をいくつか並べて `(a, b)` のように表す)をあらためて主役に据える。
ベクトルの最初のありがたみは、**足し算ができる**という点だ。ベクトル `(1, 2)` とベクトル `(3, 1)` を足すと、対応する成分(せいぶん、水準一: ベクトルを構成する、1つ1つの数)どうしを足せばよく、
```
(1, 2) + (3, 1) = (1+3, 2+1) = (4, 3)
```
となる。これは、東に1歩・北に2歩進んだあとに、さらに東に3歩・北に1歩進むと、最終的に東に4歩・北に3歩進んだのと同じ場所に着く、という当たり前の事実を数式にしただけのものだ。しかし「当たり前」を数式に翻訳できたことで、2本の矢印を目で足し合わせる代わりに、成分ごとの足し算という機械的な手順で、どんなに複雑なベクトルの和も計算できるようになる。
ベクトルにはもう1つ基本の計算がある。**スカラー倍**(すからーばい、水準一: ベクトル全体を、ただの数(スカラー)倍だけ大きく・小さくする計算)である。ベクトル `(1, 2)` を3倍すると、
```
3 × (1, 2) = (3×1, 3×2) = (3, 6)
```
となる。矢印の向きはそのままに、長さだけが3倍になる、というイメージだ。ここで「スカラー」(水準一: 大きさだけを持ち、向きを持たない、ふつうの数)という言葉が出てきた理由にも触れておこう。ベクトルは大きさと向きの両方を持つのに対し、ただの数である3や -2 は大きさしか持たない。この違いを言葉ではっきり区別するために、線形代数では「ふつうの数」のことをあえて「スカラー」と呼ぶ習わしがある。
### 内積の入口 — 2本のベクトルの「似ている度合い」
ベクトルどうしの、もう1つの重要な演算が**内積**(ないせき、水準二: 2つのベクトルの対応する成分どうしを掛けて、それらをすべて足し合わせた1つの数)である。ベクトル `(1, 2)` と `(3, 1)` の内積は、
```
(1, 2) · (3, 1) = 1×3 + 2×1 = 3 + 2 = 5
```
と計算される。内積の結果はベクトルではなく、ただの1つの数(スカラー)になる、という点に注意してほしい。内積の詳しい意味——2本のベクトルがどれくらい同じ方向を向いているかを測る道具になるという性質——は水準五以降でじっくり扱うが、ここでは「2本のベクトルから、1つの数を作り出す計算がある」という入口だけを押さえておけば十分である。
休憩所①: ベクトルは大きさと向きを持つ数の組。成分ごとの足し算、スカラー倍(全体を何倍かする)、内積(2本から1つの数を作る)という3つの基本計算がある。これらはすべて→BOOK-0068で見た座標の考え方の自然な拡張である。
---
## 第二章: 連立一次方程式 — 複数の未知数を同時に絞り込む(水準二)
### なぜ「連立」が必要になるのか
→BOOK-0067『代数』第1巻の一次方程式は、未知数がただ1つ(`x`)だった。しかし現実の問題では、未知数が2つ以上、しかも互いに関係し合っている場合が多い。たとえば「りんご1個とみかん2個で合計500円、りんご3個とみかん1個で合計900円のとき、りんご1個・みかん1個はそれぞれいくらか」という問題は、りんごの値段を `x`、みかんの値段を `y` とすると、
```
x + 2y = 500
3x + y = 900
```
という、**2つの式が同時に成り立つ**条件になる。このように、複数の未知数を含む方程式が同時に成り立つことを求める問題を**連立一次方程式**(れんりついちじほうていしき、水準二: 複数の未知数を含む一次方程式が、同時にすべて成り立つような解を求める問題)と呼ぶ。
### 消去法という古くて新しい手順
連立一次方程式を解く最も基本的な手順が**消去法**(しょうきょほう、水準二: 式どうしを足したり引いたりすることで、未知数を1つずつ消していき、最後に1つの未知数だけの式に絞り込む方法)である。先ほどの `x + 2y = 500`、`3x + y = 900` を例に、実際に手を動かしてみよう。
まず、2本目の式を2倍して `y` の係数(けいすう、水準二: 未知数に掛かっている数)を2にそろえる。
```
3x + y = 900 を2倍 → 6x + 2y = 1800
```
これで1本目の式 `x + 2y = 500` と、`y` の係数がどちらも2にそろった。ここから1本目を2本目(2倍したもの)から引くと、`y` の項が消える。
```
6x + 2y = 1800
-) x + 2y = 500
------------------
5x = 1300
```
よって `5x = 1300`、すなわち `x = 260`。これを元の1本目の式 `x + 2y = 500` に代入すると、`260 + 2y = 500` より `2y = 240`、`y = 120` が求まる。
**検算1(連立一次方程式)**: 求めた `x = 260`、`y = 120` を、2本の元の式の両方に代入して確かめる。1本目: `260 + 2 × 120 = 260 + 240 = 500`(一致)。2本目: `3 × 260 + 120 = 780 + 120 = 900`(一致)。両方の式が同時に成り立つことが確認できたので、`x = 260`(りんご1個260円)、`y = 120`(みかん1個120円)が正しい解である。
このシンプルな例では未知数が2つだけだが、**消去法の考え方は未知数がいくつに増えても同じ手順の繰り返しでよい**という点が、この方法の強みである。未知数を1つずつ消していき、最後に残った1つの式から答えを求め、その答えを他の式に順に代入し戻していく——この「前から消して、後ろから戻す」という規則的な手順は、のちに→BOOK-0066『アルゴリズムとデータ構造』第1巻で扱われた「決まった手順を繰り返せば必ず答えに着く」というアルゴリズムの精神そのものである。実際、この手順を一般の未知数の数に対して体系立てて整理したものが、第四章で歴史とともに紹介する**ガウスの消去法**にほかならない。
休憩所②: 連立一次方程式は複数の未知数が同時に満たすべき条件。消去法は式どうしを足し引きして未知数を1つずつ消す、規則的な手順。検算1で `x=260, y=120` が両方の式を満たすことを確認した。
---
## 第三章: 行列 — 数の表を1つの箱として掛け算する(水準二〜三)
### 行列という「数の表」
**行列**(ぎょうれつ、水準二: 数を縦横の格子状に並べた表。1つのまとまりとして扱われる)は、連立一次方程式に登場する係数だけを取り出して、表の形に整理したものだと考えるとわかりやすい。先ほどの連立方程式
```
x + 2y = 500
3x + y = 900
```
の係数だけを取り出すと、次のような2行2列の表になる。
```
[ 1 2 ]
[ 3 1 ]
```
この表そのものを1つの対象として扱い、足し算や掛け算のルールを定めたものが行列である。横の並びを**行**(ぎょう)、縦の並びを**列**(れつ)と呼び、「2行2列の行列」のように大きさを表す。
### 行列の積 — 水槽ごと計算する掛け算
行列どうしの掛け算(行列の積)は、成分ごとにそのまま掛け合わせるのではなく、少し特殊なルールに従う。行列 `A` の各行と、行列 `B` の各列を、それぞれ内積のように「掛けて足す」ことで、新しい行列の各成分を作っていく。
具体例で確かめよう。
```
A = [ 1 2 ] B = [ 5 6 ]
[ 3 4 ] [ 7 8 ]
```
この2つの2行2列の行列の積 `AB` を計算する。新しい行列の1行1列目の成分は、`A` の1行目 `(1, 2)` と `B` の1列目 `(5, 7)` の内積、つまり `1×5 + 2×7 = 5 + 14 = 19` になる。同様に、1行2列目は `A` の1行目 `(1, 2)` と `B` の2列目 `(6, 8)` の内積で `1×6 + 2×8 = 6 + 16 = 22`。2行1列目は `A` の2行目 `(3, 4)` と `B` の1列目 `(5, 7)` の内積で `3×5 + 4×7 = 15 + 28 = 43`。2行2列目は `A` の2行目 `(3, 4)` と `B` の2列目 `(6, 8)` の内積で `3×6 + 4×8 = 18 + 32 = 50`。
まとめると、
```
AB = [ 19 22 ]
[ 43 50 ]
```
**検算2(行列の積)**: この計算を成分ごとに書き下すと、`(1×5+2×7, 1×6+2×8; 3×5+4×7, 3×6+4×8) = (5+14, 6+16; 15+28, 18+32) = (19, 22; 43, 50)` となり、上で求めた `AB` と一致する。四つの成分すべてが「行×列の内積」という1つの規則から機械的に導かれていることが確認できる。
なぜこのような一見回りくどいルールで掛け算を定めるのか。それは、行列の積が「連立一次方程式を1本の式にまとめる」ためにちょうどよい規則になっているからだ。実は第二章の連立方程式 `x + 2y = 500`、`3x + y = 900` は、行列とベクトルを使うと、
```
[ 1 2 ] [ x ] [ 500 ]
[ 3 1 ] [ y ] = [ 900 ]
```
というたった1行の式にまとめて書ける。行列とベクトルの積のルールは、まさにこの「複数の連立方程式を1つの式に圧縮する」ために都合よく作られている。バラバラだった2本の式が、行列という水槽の中で1匹の生き物として泳ぎ出す——これが行列の積という発想の核心である。
なお、行列の積には注意すべき性質がある。ふつうの数の掛け算では `2 × 3` と `3 × 2` は同じ値(交換法則が成り立つ)だが、行列の積では一般に `AB` と `BA` が異なる値になる(交換法則が成り立たない)。この性質は水準五以降で詳しく扱うが、「行列の掛け算は、ふつうの数の掛け算とは似て非なるルールである」という点は、ここで一度心に留めておいてほしい。
休憩所③: 行列は数を格子状に並べた表。行列の積は「行と列の内積」という規則で計算し、連立一次方程式を1本の式にまとめる働きを持つ。検算2で `AB=[[19,22],[43,50]]` が成分ごとの計算と一致することを確認した。
---
## 第四章: 行列式と固有値の入口(水準三〜四)
### 行列式 `ad - bc` という1つの数
2行2列の行列 `[ a b ; c d ]` に対して、`ad - bc` という1つの数を対応させる計算がある。この数を**行列式**(ぎょうれつしき、水準三: 正方行列(行の数と列の数が等しい行列)に対して定義される、その行列の性質を1つの数に凝縮した値)と呼ぶ。
具体例で確かめよう。行列 `[ 1 2 ; 3 4 ]` の行列式は、
```
det = 1×4 - 2×3 = 4 - 6 = -2
```
**検算3(行列式)**: `a=1, b=2, c=3, d=4` を `ad-bc` に代入すると `1×4 - 2×3 = 4 - 6 = -2` となる。符号を含めて計算しても間違いがないことが確認できる。
行列式がなぜ重要かというと、この1つの数だけで「その行列を使った連立方程式が、ただ1組の解を持つかどうか」がわかるからだ。行列式が0でなければ、対応する連立方程式はきれいにただ1組の解を持つ。行列式がちょうど0になるときは、式どうしが実質的に同じ内容を重複して言っているか、あるいは矛盾していて、解が無数にあるか、まったく存在しないかのどちらかになる。→BOOK-0067『代数』第1巻で見た二次方程式の判別式(解の個数と種類を、方程式を解き切る前に教えてくれる1つの数)と、行列式は「計算する前に結果の性質を教えてくれる」という役割において、よく似た親戚どうしだと言える。
### 固有値の入口 — 行列が「変えない方向」を探す
行列は、ベクトルに掛けることでそのベクトルを別の向き・別の長さに変換する。しかし、ある特別なベクトルについては、行列を掛けても**向きだけは変わらず、長さだけがある倍率で伸び縮みする**、という不思議なことが起こる場合がある。この特別な倍率を**固有値**(こゆうち、水準四: ある行列をあるベクトルに掛けたとき、そのベクトルの向きを変えずに何倍かする、その倍率の値)、そのベクトルを**固有ベクトル**(こゆうべくとる、水準四: 行列を掛けても向きが変わらない、特別なベクトル)と呼ぶ。
具体例で確かめよう。行列 `A = [ 2 1 ; 1 2 ]` を考える。固有値 `λ`(ラムダ、水準四: 固有値を表すためによく使われるギリシャ文字)は、`(A - λI)` の行列式が0になる `λ` として求まる(`I` は対角線上が1、それ以外が0の**単位行列**、水準三: 何を掛けても相手を変えない、ふつうの数の「1」に相当する特別な行列)。この条件を式にすると、
```
(2 - λ)(2 - λ) - 1×1 = 0
4 - 4λ + λ² - 1 = 0
λ² - 4λ + 3 = 0
```
これは→BOOK-0067『代数』第1巻の第三章で扱った二次方程式そのものである。因数分解すると `(λ - 1)(λ - 3) = 0`、よって `λ = 1` または `λ = 3` が固有値として求まる。
**検算4(固有値と固有ベクトル)**: 固有値 `λ = 1` に対応する固有ベクトルとして `(1, -1)` を試す。`A` を `(1, -1)` に掛けると、`(2×1 + 1×(-1), 1×1 + 2×(-1)) = (2-1, 1-2) = (1, -1)`。これは元のベクトル `(1, -1)` をちょうど1倍しただけであり、向きが変わっていない。次に固有値 `λ = 3` に対応する固有ベクトルとして `(1, 1)` を試す。`A` を `(1, 1)` に掛けると、`(2×1 + 1×1, 1×1 + 2×1) = (3, 3)`。これは元のベクトル `(1, 1)` をちょうど3倍したものであり、`(1,1)` の向きを保ったまま3倍に伸ばされていることが確認できる。2つの固有値・固有ベクトルの組が、どちらも「向きを変えず何倍かする」という固有値の定義どおりに振る舞うことが、実際の数値で裏づけられた。
固有値・固有ベクトルという道具の本格的な応用——なぜ「変えない方向」を探すことが重要なのか、行列を対角化する(見やすい形に整理する)技法など——は水準五以降の領域だが、本冊では「行列にも、掛けても向きが変わらない特別な方向がある」という驚きの入口だけを示しておく。
休憩所④: 行列式`ad-bc`は正方行列の性質を1つの数に凝縮したもの(検算3で-2)。固有値は行列を掛けても向きを変えない特別な倍率で、固有ベクトルはその方向(検算4で`λ=1,3`とそれぞれの固有ベクトルの一致を確認)。
---
## 第五章: 「数の表を動かす」発想の歴史(水準一〜四)
### 九章算術 — 連立方程式を解く、東洋の古い知恵
連立一次方程式を解く手順そのものは、実は「行列」や「線形代数」という名前が生まれるよりもはるかに古くから存在していた。中国の古典的な数学書**『九章算術(きゅうしょうさんじゅつ)』**には、複数の未知数を含む問題を、数を表の形に並べて機械的な操作で解いていく方法が記されている。この書物の成立時期は諸説あり、現存する形にまとまったのは漢代(紀元前後の時期)ごろとされることが多いが、内容のもとになった知識はそれ以前からの計算術の蓄積を引き継いでいると考えられており、正確な成立年代を一意に断定することは難しい。
『九章算術』に記された、数を表の形に並べて未知数を消していく手順は、本冊第二章で扱った消去法と、驚くほどよく似た構造を持っている。数千年も前に、地球の反対側で、後の西洋数学が「発見」することになる手法とほぼ同じ発想がすでに実用化されていた、という事実は、線形代数という考え方が特定の文化圏だけの専売特許ではなく、複数の文明が独立にたどり着きうる、数学の普遍的な地形の1つであることを物語っている。
### 関孝和とライプニッツ — 行列式の先駆けをめぐる同時代性(17世紀)
行列そのものよりも先に、**行列式**にあたる考え方が独立に複数の場所で芽生えていたことが知られている。日本の数学者**関孝和(せきたかかず、生年は諸説あるが1640年代ごろ - 1708年)**は、著書の中で、複数の未知数を含む方程式を解く過程で、行列式に相当する計算を行っていたとされる。ほぼ同じ時期、ドイツの哲学者・数学者**ライプニッツ(Gottfried Wilhelm Leibniz、1646年 - 1716年)**も、書簡の中で行列式に近い考え方に触れていたことが知られている。
関孝和とライプニッツのどちらが先に、どこまで体系立てて行列式的な考え方に到達していたかについては、史料の解釈により研究者の間で見解が分かれており、本書ではどちらか一方を「発見者」と断定することは避け、**諸説あり・未確定**として扱う。ただし、東西で独立に似た発想が芽生えていたという事実そのものは、→BOOK-0068『解析幾何』第1巻で見たデカルトとフェルマーの座標の同時到達や、→BOOK-0063『微分積分』第1巻で扱われるニュートンとライプニッツの微分積分をめぐる同時発見と、同じ構図を持つ興味深い符合である。
### ガウス — 消去法を測量と天文学のために鍛え上げる(18〜19世紀)
ドイツの数学者**ガウス(Carl Friedrich Gauss、1777年 - 1855年)**は、連立一次方程式を解くための消去法を、測地学(そくちがく、水準三: 地球の形や大きさ、土地の位置関係を測定する学問)や天文学の実務計算のために整理し、広く使われる体系的な手順にまとめ上げた。現在「**ガウスの消去法**」と呼ばれる手順は、本冊第二章で実際に手を動かして確かめた「式を足し引きして未知数を1つずつ消していく」操作を、どんな数の未知数に対しても機械的に適用できる形に一般化したものである。
ガウス自身がこの手法をまったくのゼロから発明したというよりは、それ以前から知られていた消去の考え方(先に見た『九章算術』の知恵を含む、長い歴史の蓄積)を、当時の科学の実用的な要請——特に測量データから誤差を含んだ連立方程式を効率よく解く必要——に応える形で整理し、体系化した、と捉えるのがより正確な理解である。「手順を整える」という仕事もまた、数学の発展にとって「新しい発見」と同じくらい重要な仕事なのだということを、ガウスの仕事は物語っている。
### シルベスターとケイリー — 「行列」という言葉と道具の誕生(1850年代)
「行列」という言葉、そして行列を1つの独立した計算対象として扱う体系そのものは、19世紀半ばのイギリスで大きく花開いた。数学者**シルベスター(James Joseph Sylvester、1814年 - 1897年)**は、**1850年**、数を格子状に並べたものを指す言葉として「matrix(マトリックス、行列)」という用語を導入したとされる。「matrix」という単語はもともとラテン語で「母体」「何かを生み出す元になるもの」を意味する語であり、数の表からさまざまな行列式が「生み出される」というイメージにちなんで名付けられた、という説がある。
シルベスターの友人であり共同研究者でもあった数学者**ケイリー(Arthur Cayley、1821年 - 1895年)**は、**1858年**に発表した論文『行列の理論に関する覚書(A Memoir on the Theory of Matrices)』の中で、行列どうしの足し算・掛け算のルールを体系的に定め、行列を数と同じように扱える1つの計算対象として確立した。本冊第三章で確かめた行列の積のルール(行と列の内積で新しい成分を作る)は、まさにこの論文で整理された規則の系譜に連なるものである。ケイリーの仕事によって、それまで連立方程式の「補助的な表」に過ぎなかった数の並びが、独立した研究対象——足したり掛けたり、時には行列どうしの方程式まで立てられる、1つの数学的な生き物——へと格上げされた。
### グラスマン — ベクトル空間という、さらに広い舞台(1844年)
シルベスターとケイリーがイギリスで行列を整えていたのとほぼ同じ時期、ドイツの数学者**グラスマン(Hermann Grassmann、1809年 - 1877年)**は、**1844年**に『線形拡張論(Die lineale Ausdehnungslehre)』という著作を発表した。この著作の中でグラスマンは、本冊第一章で扱ったベクトルの足し算・スカラー倍を、2次元や3次元にとどまらない、より一般的な次元の空間に対して展開する、先駆的な仕事を成し遂げていたとされる。
グラスマンの著作は、当時の数学者にとって記法や表現が難解であったこともあり、発表当初は広く理解されず、その真価が数学界に十分に認識されるまでには時間がかかったとされている。今日、ベクトルの集まりがつくる抽象的な空間を扱う理論(ベクトル空間論)の先駆者の1人としてグラスマンの名が挙げられることが多いが、当時の評価と後世の評価の間に大きな隔たりがあったという事実は、優れた着想が必ずしもすぐには時代に受け入れられるとは限らないことを物語る、示唆に富むエピソードである。
---
## 出口の物語 — 水槽ごと動かした先にあるもの
本冊の旅を振り返ろう。数をひとまとまりの水槽として扱う——この発想の転換から、ベクトルの足し算とスカラー倍、連立一次方程式を解く消去法、行列という数の表を1つの生き物として掛け合わせる技術、行列式という1つに凝縮された性質の数、そして固有値という「行列が変えない方向」の入口までを見てきた。
冒頭で触れた「水槽ごと魚を動かす」という喩えを思い出してほしい。1匹の魚(1つの数)を追いかけていた代数の世界から、水槽ごと(数の表・並びごと)扱う線形代数の世界へ——この視野の広がりこそが、線形代数という学問が持つ最大の力である。そして線形代数はここで止まらず、「行列がベクトルに施す変換」という、より抽象的で強力な舞台——線形写像・階数・対角化といった水準五以降の大陸——へと進んでいく。その大陸の探検は、本冊の続巻に譲ることにしよう。
### 現在のフロンティア — 画面の中で今も動く水槽
線形代数は「数学史の中の古い話」ではなく、今この瞬間もあらゆるコンピュータの中で働き続けている、きわめて現役の技術である。
コンピュータグラフィックス(CG)の世界では、画面上の物体を回転させたり、拡大縮小したり、視点を動かしたりする操作のほとんどが、頂点の座標(→BOOK-0068『解析幾何』第1巻で見たベクトルの延長)に行列を掛けるという、本冊第三章で扱った計算そのものによって実現されている。3Dゲームのキャラクターが向きを変えるたびに、画面の裏側では行列とベクトルの積が絶えず計算されている。
検索エンジンが「重要なページ」を判定する仕組みの根底にも、巨大な行列の計算が使われていることが知られている。無数のウェブページどうしのリンク関係を、巨大な行列として表現し、その行列に繰り返し計算を施すことで、各ページの重要度を表す数値を導き出す——この手法は本冊で扱った固有値・固有ベクトルの考え方と深く結びついた仕組みである(詳しい計算の中身は水準五以降の話題になるため、ここでは「行列と固有値が検索エンジンの裏側で働いている」という一般的な事実の紹介にとどめる)。
機械学習(きかいがくしゅう、コンピュータにデータからパターンを学習させる技術)の内部でも、大量のデータをベクトルや行列として表現し、行列どうしの積を繰り返し計算することで、画像を認識したり、文章を生成したりする仕組みが動いている。→BOOK-0066『アルゴリズムとデータ構造』第1巻で見た「手順の工夫が結果を大きく変える」という教訓は、線形代数の世界でも同じように当てはまり、行列の計算をいかに効率よくこなすかという工夫そのものが、現代の計算機科学の重要な研究テーマの1つになっている。
蠅の位置を壁からの距離で言い当てた→BOOK-0068の着想が、座標という1つの点を扱う技術だったとすれば、線形代数はその座標を大量に束ねて、水槽ごと動かす技術へと発展させた。数の表を1つの生き物として扱うという発想は、数百年の時をこえて、今も画面の中で静かに、しかし絶え間なく働き続けている。
---
## 補章: 検算総覧と練習問題(水準二〜四)
本冊で埋め込んだ検算を、ここで一覧にして振り返っておく。読者自身の手でもう一度なぞってみることを勧める。
1. 連立一次方程式 `x + 2y = 500`、`3x + y = 900` → 消去法により `x = 260, y = 120`。両方の式に代入して一致することを確認。
2. 行列の積 `[[1,2],[3,4]] × [[5,6],[7,8]] = [[19,22],[43,50]]` → 行と列の内積による計算がすべて一致することを確認。
3. 行列式 `[[1,2],[3,4]]` の `ad - bc = 1×4 - 2×3 = -2` → 符号を含めて確認。
4. 行列 `[[2,1],[1,2]]` の固有値 `λ=1,3` とそれぞれの固有ベクトル `(1,-1)`、`(1,1)` → 行列を掛けても向きが変わらず、それぞれ1倍・3倍になることを確認。
最後に、読者への小さな挑戦を残しておく。連立方程式 `2x + y = 8`、`x + 3y = 9` を、本冊で学んだ消去法で解いてみてほしい。ヒント: 1本目を3倍してから2本目との差を取ると、`y` が消える(答えは `x = 3, y = 2` になるはずである——ぜひ自分の手で検算し、この一致を確かめてみてほしい)。この「水槽ごと数をまとめて、機械的な手順で正体を絞り込む」という経験こそが、線形代数という学問の面白さの核心にある。
## 用語集(水準つき)
線形代数(一)/ベクトル(一)/成分(一)/スカラー・スカラー倍(一)/内積(二)/連立一次方程式(二)/消去法・係数(二)/行列・行・列(二)/行列の積(二〜三)/行列式(三)/単位行列(三)/固有値・固有ベクトル(四)。
## 出典・系譜(§16.5準拠)
- 『九章算術』(成立時期は諸説あり、漢代ごろに現存の形にまとまったとされる) — 連立一次方程式を表の形で解く古い手順の実例として、自分の言葉で要約した。
- 関孝和(1640年代ごろ - 1708年)、ライプニッツ(1646年 - 1716年)の行列式的な考え方への先駆的到達 — 先取権は諸説あり・未確定として扱った。
- アーサー・ケイリー『行列の理論に関する覚書』(1858年)、ジェームス・ジョセフ・シルベスターによる「matrix」という語の導入(1850年とされる) — 確実な人名・年号として断言し、細部の逸話性が高い部分(語源の詳しい経緯など)は「〜という説がある」と明記した。
- ヘルマン・グラスマン『線形拡張論』(1844年) — ベクトル空間論の先駆的な仕事として紹介し、当時の評価と後世の評価の隔たりについても明記した。
- ガウス(1777年 - 1855年)による消去法の体系化 — 測地学・天文学の実務計算への応用という文脈を含めて自分の言葉で構成した。
本文は外部サイトの文章を転載せず、確立した線形代数の初歩の知識から自分の言葉で構成した。数値検算はすべて自分で計算し、一致を確認した。年号・人名は確実に定説となっているものに限り断言し、経緯の細部は諸説・未確定である旨を明記した。
# BOOK-0071 線形代数 — 数の表を1つの生き物として扱う(数学派生 第1巻)