DIGISIM.OBSERVATORY · 类别 24 — linear algebra
0 个实时 · 0 个规划中 构建 0.2 — : —
中文
类别 24 · linear algebra

大学线性代数,在你手中被发明出来。

一个连续的空间。你在一张"诚实"的网格上拖动箭头——它能拉伸、能错切,却永不撕裂——并亲身体会每个概念为何必然出现:一支箭头无法接起多段旅程,于是有了加法;追踪无穷多点毫无希望,于是有了矩阵;被压扁的空间无法还原,于是有了逆矩阵及其局限。没有凭空抛出的定义,也不需要代数基础:只凭空间直觉,按顺序,从第一支箭头一路走到奇异值分解。为好奇的十岁孩子而建;也足够一个数学学位的严谨。

应用实时运行 0
设计中 0
开放于 06·16
LINE-001 · 已建成 就绪
精选
1 · 向量 — 那支箭头

指点很含糊;不如记下一条精确的“走多远、朝哪走”的指令——于是箭头诞生了。

linear-algebravectorsspatialsandboxeducation
2026-06-16 /linear-algebra/vectors
本板块内 · 19 个应用
LINE-002 就绪
2 · 向量运算 — 叠加旅程

一支箭头只到一个点;把箭头首尾相接,再用一个数把它拉伸——向量的加法与数乘由此诞生。

linear-algebra /linear-algebra/vector-arithmetic
LINE-003 就绪
3 · 张成 — 两位主角箭头

给每个点都留一支箭头是没指望的——把每一处都写成两支主箭头的配方,基就此诞生。

linear-algebra /linear-algebra/span
LINE-004 就绪
4 · 线性无关 — 被浪费的主角

当两支主箭头暗中做着同一份活,整个世界就塌缩成一条线——于是我们要追问:哪些主角才真正物尽其用。

linear-algebra /linear-algebra/independence
LINE-005 就绪
5 · 矩阵 — 移动整个空间

追踪无穷多个点是不可能的——但网格作为整体移动,所以只需记录 î 和 ĵ 落在哪里。那张表就是矩阵。

linear-algebra /linear-algebra/the-matrix
LINE-006 就绪
6 · 矩阵乘向量 — 重跑你的配方

只知道基向量箭头落在哪里,一个点会去往何处?在新的列上重跑它的配方——这就是矩阵乘向量。

linear-algebra /linear-algebra/matrix-times-vector
LINE-007 就绪
7 · 矩阵 × 矩阵 — 两步合一步

每次都手动先做动作 A 再做动作 B 太浪费——把它们烘焙成一条记录,并发现顺序不能交换。

linear-algebra /linear-algebra/matrix-product
LINE-008 就绪
8 · 行列式 — 拉伸仪表

我们能移动空间,却说不出移得有多剧烈——于是测量单位正方形变换前后的面积。那个数就是行列式。

linear-algebra /linear-algebra/determinant
LINE-009 就绪
9 · 坍缩 — 当它读到零

当行列式归零,整个空间被压扁到一条直线上,不同的点叠到同一处——信息永远丢失。

linear-algebra /linear-algebra/collapse
LINE-010 就绪
10 · 逆矩阵 — 撤销键

用 M 形变空间,再按“撤销”——M⁻¹ 是完美逆转它的那一步。只有当 det ≠ 0 时它才存在。

linear-algebra /linear-algebra/inverse
LINE-011 就绪
11 · 解线性方程组 — 倒着推算

你只看得到点最终落在哪里——所以求解 M·x = b,就是把机器倒着运行,找出恰好到达目标的那组列的配方。

linear-algebra /linear-algebra/solving-systems
LINE-012 就绪
12 · 秩与空间 — 幸存者与被压垮者

一次变换可能压扁空间——那么哪些目的地仍可到达(列空间),哪些箭头被压成了零(零空间)?它们的大小就是秩。

linear-algebra /linear-algebra/rank-and-spaces
LINE-013 就绪
13 · 点积 — 一致度计

配方能放置点,却说不出长度或夹角——所以为了问"这些箭头一致吗?",我们发明了一个数:点积。

linear-algebra /linear-algebra/dot-product
LINE-014 就绪
14 · 投影 — 投下影子

我们想要直线上离它最近的点,于是把任意箭头拆成沿直线方向的一部分和与之恰成直角的一部分——这就是正交投影。

linear-algebra /linear-algebra/projection
LINE-015 就绪
15 · 叉积 — 新方向

3D 中的两支箭头变出一个同时垂直于二者的全新方向,其长度等于它们张成薄片的面积——这就是叉积。

linear-algebra /linear-algebra/cross-product
LINE-016 就绪
16 · 基变换 — 别人的坐标

点从不移动——但在一套倾斜的基向量里,它的地址成了另一套配方。基变换就是两套坐标系之间忠实的翻译官。

linear-algebra /linear-algebra/change-of-basis
LINE-017 就绪
17 · 特征向量 — 木头的纹理

大多数变换看起来像混乱——所以我们去寻找那些罕见的箭头:变换拒绝把它们撞离自己的直线,只是按 λ 拉伸它们。

linear-algebra /linear-algebra/eigenvectors
LINE-018 就绪
18 · 对角化 — 在它自己的镜中

沿着自身的特征向量看,纠缠的变换变成了纯粹的拉伸——所以重复 n 次就化作了乘以 λⁿ。

linear-algebra /linear-algebra/diagonalization
LINE-019 就绪
19 · 谱定理 — 直角骨架

把矩阵强制成对称,它的两条特征线总在完美的直角处相交——这就是谱定理,也是接下来奇异值分解将赋予每个矩阵的那副干净骨架。

linear-algebra /linear-algebra/spectral
LINE-020 就绪
20 · 奇异值分解 — 通用的 X 光

大多数真实的变换没有干净的特征向量箭头——所以把任意矩阵拆成三个干净的步骤:旋转、沿正交干净坐标轴缩放、再旋转。

linear-algebra /linear-algebra/svd
linear algebra · 类别 24 ← 返回观象台