每日一式 · No.012
✦ 第三季 · 線性代數 開幕
v′ = A·v
矩陣與線性變換 · The Matrix as a Verb
矩陣不是數字表,是動詞 —— 吃進一個向量、吐出一個向量,一次把整個空間變形。
📜 公式的身世
「子宮」,與沉睡 67 年的語法
matrix 這個字,是 1850 年西爾維斯特取的,拉丁文本義「子宮」 —— 他視矩陣為「行列式從中誕生的母體」。凱萊 1858 年寫下矩陣代數時,同行多半當它是與現實無關的抽象遊戲;67 年後,海森堡為量子力學湊出一套古怪的乘法規則,他的老師玻恩盯著看了幾天,認出來了:這就是凱萊的矩陣。一門「無用」的數學安睡半世紀,醒來時,發現自己是宇宙的語法。
🌍 它今天在哪裡上工
🎮
遊戲的每一幀 —— 3D 世界每個頂點的旋轉、縮放、投影全是 4×4 矩陣 —— 你的顯卡每秒做上兆次矩陣乘法,GPU 就是矩陣機。
🤳
濾鏡與修圖 —— 銳化、模糊、浮雕,都是一顆小矩陣(卷積核)滑過照片 —— 你按下的每個濾鏡,都是一場矩陣運算。
🏗
大樓的抗震體檢 —— 結構工程師把整棟樓寫成勁度矩陣,算它在地震力下怎麼變形 —— 建照背後,是一顆巨大的矩陣。
新一季開幕,先糾正一個天大的誤會。多數人第一次見到矩陣 [abcd],以為它是「一格格數字的表」。不是。它是一個動作 —— 對整個平面同時施工的變形術:旋轉、拉伸、剪切、鏡射,全裝在這四個數字裡。
🧭讀懂任何矩陣,只要一招:看它的兩欄。第一欄 (a, c) = 基準箭頭 î 變形後的去向;第二欄 (b, d) = 基準箭頭 ĵ 的去向。兩支箭頭去哪,整個平面就跟著定了 —— 這就是「線性」的全部家規。
四章:先上變形舞台親手玩;再請出全系列最熟的變換 —— 旋轉(003 的歐拉公式要來相認);然後看「連續施工」為什麼等於「矩陣相乘」、順序為什麼有差;最後結帳:行列式 = 面積的放大率,一個數字說盡一個變換的胖瘦與死活。
Part 1 · 拉了就懂（白話）
I
第一章 · 變形舞台：四個數字，操縱整個平面
金箭頭 î、青箭頭 ĵ —— 矩陣的兩欄，就是它們的目的地。
🎛️把平面想成一張無限大的彈性方格布,上面游著一條小魚。矩陣就是抓住布上兩支基準箭頭(î 往右、ĵ 往上)、把它們搬到新位置的動作 —— 布不能撕裂、不能揉皺(格線保持平直、平行、等距),於是全布、連同小魚,被迫跟著變形。四個滑桿 a b c d,就是兩支箭頭的新座標。
互動 · A 的第一欄 = î 的去向（金）· 第二欄 = ĵ 的去向（青）
矩陣 A = [a b / c d][1.00 0.00 / 0.00 1.00]
î (1,0) 的去向 = 第一欄(1.00, 0.00)
ĵ (0,1) 的去向 = 第二欄(0.00, 1.00)
玩玩看，注意這些
- 按「旋轉 45°」再按「▶ 重播」:整張布連同小魚優雅地轉過去 —— 金箭頭落在第一欄 (0.71, 0.71),青箭頭落在第二欄 (−0.71, 0.71)。矩陣 = 兩支箭頭的目的地清單。
- 按「剪切」:上層滑、下層不動 —— 撲克牌疊被推斜的樣子。只動了一個數字 b,整個平面跟著歪。
- 按「鏡射」再看小魚:牠翻面了(左右手互換)。按「壓扁」:整張布塌成一條線 —— 記住這兩個現象,第四章會給它們各一個名字。
📏 「線性」的家規只有三條:直線變完仍是直線、原點不動、平行等距的格線仍平行等距。守住這三條,整個變換就被兩支箭頭的去向完全決定 —— 所以 2×2 = 四個數字,就能指揮無限大的平面。
一句話帶走:矩陣是動詞。第一欄 = î 的去向、第二欄 = ĵ 的去向 —— 讀矩陣,就是讀兩支箭頭的目的地。
II
第二章 · 旋轉矩陣：003 的老朋友來相認
cos 與 sin 排成方陣 —— 而「乘 i」，原來就是一顆 2×2 矩陣。
🧭全系列最熟的變換是誰?旋轉。用第一章的讀法秒懂它:轉 θ 度後,î (1,0) 落在 (cos θ, sin θ) —— 這就是第一欄;ĵ (0,1) 落在 (−sin θ, cos θ) —— 第二欄。排好:[cos θ−sin θsin θcos θ]。不用背 —— 問兩支箭頭去哪,矩陣自己長出來。
互動 · 轉動 θ，看矩陣的四格即時長出 cos 與 sin
θ35°
R(θ) = [cosθ −sinθ / sinθ cosθ]—
面積放大率1.000（旋轉不改面積）
怎麼看這張圖
- 拉 θ:金箭頭在單位圓上走,座標永遠是 (cos θ, sin θ) —— 第三天「圓的座標讀數」直接搬進矩陣第一欄。
- 青箭頭永遠比金箭頭早 90° —— 所以是 (−sin θ, cos θ)。兩支箭頭互相垂直、長度不變:這是旋轉的簽名。
- 停在 θ=90°:矩陣變成 [0 −1 / 1 0]。記住這一顆 —— 下面的彩蛋是牠的。
✦ 「乘 i」的真身(003 懸念,最終回):複數 a+bi 可以寫成矩陣 [a −b / b a],而 i 本人 = [0 −1 / 1 0] = 轉 90°。算算 i²:轉 90° 再轉 90° = 轉 180° = [−1 0 / 0 −1] = −1 的矩陣化身。「i² = −1」這句咒語,在矩陣世界裡是一句大白話:轉兩次直角,就是掉頭。複數乘法 = 2×2 旋轉縮放矩陣 —— 兩個世界,同一顆引擎。
一句話帶走:R(θ) 不用背 —— 問 î 去哪 (cosθ, sinθ)、ĵ 去哪 (−sinθ, cosθ) 即得;而「乘 i」= 轉 90° 的矩陣,i²=−1 就是「轉兩次直角=掉頭」。
Part 2 · 帶入深度
III
第三章 · 連續施工 = 矩陣相乘：而且順序有差
先剪切再旋轉 ≠ 先旋轉再剪切 —— AB ≠ BA，矩陣的第一個脾氣。
🧦兩道工序接力:先做 B、再做 A。整個接力的總效果,也是一個線性變換 —— 它的矩陣,就定義為乘積 A·B(注意:先做的寫在右邊,像函數 f(g(x)) 一樣由內而外)。矩陣乘法那套「橫列點直行」的怪規則,不是誰故意刁難 —— 它是讓「接力施工」算得剛好正確的唯一寫法。而生活常識早就告訴你:先穿襪再穿鞋 ≠ 先穿鞋再穿襪 —— 所以 AB ≠ BA,不必意外。
互動 · 同樣兩道工序，交換順序，結局不同
① R·S（先剪後轉的總矩陣）—
② S·R（先轉後剪的總矩陣）—
結論兩者不同 → AB ≠ BA
怎麼看這張圖
- 按「播放」:小魚分兩段變形 —— 先做第一道工序、再疊上第二道。看清楚終點的姿勢。
- 切到另一張晶片再播一次:同樣兩道工序,終點不同。讀數裡兩顆總矩陣 R·S 與 S·R,數字明明白白地不相等。
- 再細看:①「先剪後轉」的魚是歪好才轉走;②「先轉後剪」是轉正了才被水平推歪 —— 剪切永遠沿著「現在的水平」推,而「現在的水平」被前一道工序改過了。順序,就是語法。
這是矩陣給世界的第一個提醒:操作的世界不可交換。轉魔術方塊、機械手臂的關節、3D 遊戲裡的鏡頭 —— 誰先誰後,結局兩樣。(順帶種一顆種子:量子力學裡「位置」與「動量」正是兩顆不可交換的矩陣,那個不肯歸零的差 AB−BA,就是測不準原理的數學心臟。)
一句話帶走:接力施工 = 矩陣相乘(先做的在右);乘法規則是為「複合」量身打造;而 AB ≠ BA —— 順序即語法,先襪後鞋。
IV
第四章 · 行列式：一個數字，結清面積的帳
det = ad − bc = 面積放大率。正的保向、負的翻面、零的 —— 壓死，不可逆。
🧾變形完了,來結帳:單位方格(面積 1)變成了平行四邊形,新面積是多少?答案竟然只是一個數:det(A) = ad − bc,叫「行列式」。它是這個變換的面積放大率 —— 而且不只方格:任何圖形(包括小魚)的面積,都乘同一個倍數。更妙的是它的符號會說話:正 = 方向保持;負 = 空間翻面(鏡中世界);零 = 整個平面被壓扁成一條線 —— 資訊沒了,回不去了。
互動 · 看單位方格的新面積 = |ad − bc|
det = a·d − b·c—
面積放大率 |det|—
狀態—
玩玩看，注意這些
- 按「放大」:平行四邊形面積 1.35 —— det 就是那塊金色的面積,連公式 ad−bc 都是從這塊四邊形量出來的。
- 按「翻面」:面積染成玫瑰色,det = −1.02 —— 大小照算,負號記錄「空間被翻了面」(第一章鏡射小魚的左右互換,名字找到了)。
- 按「壓扁」:det = 0,方格塌成一條線 —— 不同的點被壓在一起,再也分不開:det=0 的變換沒有反矩陣,這是「可逆/不可逆」的分水嶺(下一課的門票)。
- 回去第二章驗證:旋轉的 det = cos²θ+sin²θ = 1 —— 轉圈不吃面積,畢氏定理蓋章(002 遠端支援)。
🔗 接回第五天的積分:換變數時那個「比例修正因子」,正式名字叫 Jacobian —— 它就是「局部的 det」:曲線變換在每一小塊上近似線性,det 逐塊結算面積帳。微積分與線性代數,在這裡第一次握手。
一句話帶走:det = ad−bc = 面積放大率;正保向、負翻面、零壓死(不可逆)。一個數字,說盡一個變換的胖瘦與死活。
第三季第一課,收成一句話 ——
矩陣是動詞:兩欄,是基底的去向;
相乘,是施工的接力(且先襪後鞋);
行列式,是面積的帳單 —— 正保向、負翻面、零不可逆。
而「乘 i = 轉 90°」讓 003 的懸念徹底結案:
複數與矩陣,是同一顆旋轉引擎的兩種穿著。
下一課,我們去找變換中「不肯轉向」的那個方向。