miaolay hypersurface beta / 未完成
00 / answer first
向下滚动，从答案进入证明
00 / answer first

先给结论：超曲面，就是比周围空间少一个维度。

beta / 未完成交互、措辞与数学表达仍在复核。

在光滑情形下，你可以把它理解为一种余维为 1的几何对象：二维空间里的一条曲线、三维空间里的一个曲面，以及四维空间里的三维球面，服从同一条规律。

\[M^{n-1}\subset \mathbb{R}^{n},\qquad \operatorname{codim}M=1\]
二维空间曲线 \(S^1\)
三维空间球面 \(S^2\)
四维空间三维球面 \(S^3\)
先记住结论，再往下看为什么
01 / three questions

理解超曲面，只需回答三个问题。

后面的每一屏只做一件事，并且都回到这三条主线。先建立维数直觉，再解释约束，最后才处理看不见的第四维。

01
维数是什么？

数一数：留在对象上时，有多少个彼此独立的局部方向。

02
为什么一个方程会少一维？

一个独立约束通常会拿走一个自由度。

03
四维对象怎么看？

用切片逐层观察，再用投影同时压入三维。

下面先回答第一个问题：维数到底是什么
02 / zero dimensions

0D 没有可走的方向。

拖动鼠标试图把白点带走。紫色影子是你的输入；亮点始终被规则压回原位。只要必须留在这个对象上，你就没有任何非零的局部运动方向。

\[\dim = 0\]
拖动鼠标，测试约束
03 / one degree of freedom

1D 只有一种独立走法。

刚才的点沿 \(u\) 方向展开成一条线。即使你斜着拖，输入也会被投影回直线。左右只是相反朝向，不是两个独立维度。

\[P_1(u)=(u,0,0),\qquad \dim = 1\]
斜着拖，看输入如何被压回直线
04 / two degrees of freedom

2D 需要第二个、不可替代的方向。

整条线沿新的 \(v\) 方向扫过，留下一个面。现在用 \(u\) 与 \(v\) 的组合，可以到达面内任意附近位置；但第三个独立方向仍然不存在。

\[P_2(u,v)=(u,v,0),\qquad \dim = 2\]
移动鼠标，体验两个自由度
05 / three degrees of freedom

3D 的关键不是变厚，而是出现第三个独立方向。

平面沿 \(z\) 方向扫过，形成体积。移动鼠标改变 \(u,v\)；按住后上下拖动，只改变 \(z\)。你会看到高亮点和一张截面同步穿过整个体积。

\[P_3(u,v,z)=(u,v,z),\qquad \dim = 3\]
按住 · 上下拖动 · 改变第三坐标
06 / a recurring pattern

边界每次少一维，\(S^3\) 因而自然出现。

线段的边界是两个点，圆盘的边界是圆，实心球的边界是球面。模式继续一层：四维球体的边界，就是三维球面 \(S^3\)。

\[\partial B^1=S^0,\quad \partial B^2=S^1,\quad \partial B^3=S^2,\quad \partial B^4=S^3\]

这只是建立直觉的一条路径。一般的超曲面不必都以“球体边界”的形式出现。

07 / one independent constraint

一个独立约束，通常减少一个自由度。

在所有候选位置中加入一个方程：数轴留下两个点，平面留下一个圆，三维空间留下球面。再加入第四个坐标 \(w\)，规律不变。

\(x^2=1\Rightarrow S^0\)
\(x^2+y^2=1\Rightarrow S^1\)
\(x^2+y^2+z^2=1\Rightarrow S^2\)
\(x^2+y^2+z^2+w^2=1\Rightarrow S^3\)

更严格地说，在 \(F(p)=0\) 且 \(\nabla F(p)\neq0\) 的正则点附近，水平集 \(F=0\) 局部具有 \(n-1\) 个自由度。

08 / lower the problem by one dimension

看不见高维对象时，先看切片。

让一个三维单位球穿过二维平面。二维观察者从未看见整个球，只经历一连串截面：一点、小圆、大圆、小圆、一点。切片就是高维对象与低维世界的真实交集。

\[z=c\quad\Longrightarrow\quad x^2+y^2=1-c^2,\qquad r(c)=\sqrt{1-c^2}\]
滚动直接控制切片高度 \(c\)
09 / the same logic, one dimension higher

固定 \(w\)，\(S^3\) 的切片就是普通的 \(S^2\)。

三维球面 \(S^3\) 位于四维空间中。固定第四坐标 \(w=c\) 后，只剩三个坐标，于是得到一个半径随 \(c\) 变化的普通球面。

\(x^2+y^2+z^2+w^2=1\)
\(w=c\Rightarrow x^2+y^2+z^2=1-c^2\)
\(S^3\cap\{w=c\}\cong S^2_{\sqrt{1-c^2}}\)
继续滚动，看截球从一点长大再缩回一点
10 / slice is not projection

切片一次看一个 \(w\)；投影把所有 \(w\) 同时压进三维。

现在才看完整的 \(S^3\) 三维投影。数千个四维点先在涉及第四坐标的平面中旋转，再被压入三维。颜色编码 \(w\)；你看到的是影子，不是对象本身。

\[R_{xw}(\alpha),\qquad R_{yw}(\beta),\qquad R_{zw}(\gamma)\]
移动鼠标控制 \(R_{xw},R_{yw}\)；按住拖动控制 \(R_{zw}\)
11 / conclusion

因此，超曲面的核心只有一句话：余维为 1。

前面的自由度、边界、约束、切片与投影，最终都回到同一个结论：在 \(n\) 维环境空间中，一张光滑超曲面局部具有 \(n-1\) 个自由度。

\(M^{n-1}\subset\mathbb R^n,\qquad \operatorname{codim}M=1\)
\(M=\{x\in\mathbb R^n:F(x)=0\},\ \nabla F(p)\neq0\Rightarrow \dim M=n-1\)

于是 \(S^1\subset\mathbb R^2\)、\(S^2\subset\mathbb R^3\)、\(S^3\subset\mathbb R^4\) 只是同一规律的连续三层。