Wald书442-443页，但是Wald大神的风格实在是。。。反正我是看不出最后为啥就是那么计算独立Killing场个数。
下面是一个网友的QQ空间里的一篇日志，其中有这个的证明，Wald书上省略的最后那一步，这网友给出来了。。
http://user.qzone.qq.com/519981961?ptlang=2052#!app=2&via=QZ.HashRefresh&pos=1345375639

n维流形局部diff于R^n，如果整体diff于R^n则于R^n有同样多的对称性，否则只会少于R^n的对称性~R^n就有(n+1)n/2这么多个独立Killing场，既是平移+转动,数平移生成元和SO(n)群生成元个数总和既是~