承接之前的文章【利用主丛确定爱因斯坦转盘的空间度规】
传送门：https://tieba.baidu.com/p/8484198492

对于一般情况，想要确定时空的空间到底是啥玩意，
首先要时空（P,g）能进行3+1分解，要不然没有时间空间这俩，
然后一旦时空是能进行3+1分解的时空，就可以构造主丛：
以P为丛流形，R为结构群，在P上取参考系即类时线汇γs（t），
投影规则即将同一条类时线上的所有点投影成同一点，
局域平凡是自然的：将丛流形上的点{t，x^i}映射成R和底流形M 上的点{t}和{x^i}
投影映射便是π（t,x^i）=（x^i），自由右作用便是Rs（t,x^i）=（t+s,x^i），纤维就是类时线汇的线
然后底流形便可作为空间，其上的度规由如下规则指定：
在主丛上的切空间中取与纤维正交的子空间H，其与底流形切空间同构，
于是将推前映射π＊的定义域限制在H中，就得到了同构映射，就可将g在H上的诱导度规Hab
推前到M上，成为空间度规h，即hab=π＊Hab
参考系无旋时，M可以等距嵌入到P上成为类空超曲面，这时候时空的空间就是本时空的类空超曲面，
但是参考系有旋时没法等距嵌入，也就是说一般情况下，空间还得视为时空为主丛，R为结构群的主丛的底流形

顺便也可以直接从丛的角度出发，令R为典型纤维，其他不变，
然后考虑确定其结构群，转换函数gUV（x）=SU○SV^-1，其是R到R的映射，
（转换函数类似流形上的坐标变换，其要满足的相容性条件即复合映射φα○φβ^-1所满足的三条件；
流形中直接用φα○φβ^-1，所以其相应的相容性条件就不用再提那三个条件，只需是光滑的）
即Ru=guvRv，要满足相容性条件，显然令gUVRv=LgRv，g∈R即可满足，
[以第二条为例，Rv=gvuRu=gvu（guvRv）=gvu LgRv，故gvu=Lg^-1=guv^-1，得证]
即gUV是R上的左平移，于是全体gUV集合成为李群R在其表示空间R上的李变换群，
于是结构群便是李群R，和典型纤维相同，即主丛