关于John Lee《黎曼流形引论》中Laplacian比较定理I证明里tr(π_r)=n-1的疑问

嘿，我来帮你拆解这个问题里的每个点，一步步搞清楚~

首先先把你提到的几个术语逐个掰明白：

1. 什么是r-水平集（r-level sets）？ #

r是从点p出发的径向距离函数，那r-水平集就是所有到p点的距离等于某个固定常数t的点的集合，也就是${ q \in U \mid r(q)=t }$——你可以把它想象成正常邻域U里，以p为中心的“测地球面”，就像欧氏空间里的球面一样，只不过是在黎曼流形的正常邻域里，因为指数映射是微分同胚，所以这个水平集确实是一个n-1维的子流形。

2. 「用适配于r-水平集的局部正交标架来表示π_r」是什么意思？ #

适配正交标架就是专门为r的水平集量身定做的一组正交单位向量：在$U\setminus{p}$里的任意一点q，我们找一组正交单位向量${e_1, e_2, ..., e_n}$，满足两个条件：

• 前n-1个向量$e_1,...,e_{n-1}$都切于r的水平集（也就是它们张成了水平集在q点的切空间）；
• 最后一个向量$e_n$就是径向向量场$\partial_r$（因为r是距离函数，$\partial_r$本身就是单位向量，$\langle \partial_r, \partial_r \rangle=1$），它和前n-1个向量都正交，因为径向方向是垂直于水平集的。

用这样的标架来写$\pi_r$的表达式，会特别简单，因为$\pi_r$的定义就是投影到水平集的切空间（也就是$\partial_r$的正交补空间）。

3. 为什么$\operatorname{tr}(\pi_r)=n-1$？ #

迹（trace）是线性算子的一个不变量，不管选哪个基来计算，结果都一样，所以我们就选刚才说的适配正交标架来算，最方便。

先回忆$\pi_r$的定义：$\pi_r(w) = w - \langle w, \partial_r \rangle \partial_r$，这个式子的意思就是，把任意向量w分解成「垂直于水平集的径向分量」和「切于水平集的分量」，然后扔掉径向分量，只保留切于水平集的部分——这就是正交投影的定义。

现在看这个算子作用在适配标架的每个向量上：

• 对于$e_i$（i=1到n-1）：因为它们是水平集的切向量，所以$\langle e_i, \partial_r \rangle=0$，代入$\pi_r$的定义，$\pi_r(e_i)=e_i - 0 = e_i$；
• 对于$e_n=\partial_r$：$\langle e_n, \partial_r \rangle=\langle \partial_r, \partial_r \rangle=1$，所以$\pi_r(e_n)=\partial_r - 1*\partial_r=0$。

那$\pi_r$在这个标架下对应的矩阵是一个n阶对角矩阵：前n-1个对角元都是1，最后一个对角元是0。而迹就是对角元的和，所以1加n-1次再加上0，结果就是n-1啦。

这样是不是就把那个加粗的部分搞清楚了？其实核心就是选对了标架，计算迹就变得特别直观~

备注：内容来源于stack exchange，提问作者Plantation