让我们设计一艘光速飞船
三体的光速飞船
ds²=-dt²+[dx-vf(r)dt]²+dy²+dz²
这个东西违反了弱、强、主能量条件，违反了前两个还好说，违反了主能量条件就没办法了，所以这厮实际不存在，于是本帅从弯曲时空4速的3+1分解出发构建了一个不违反3种能量条件的允许超光速的时空
ds²=-dt²+[dx-vf(r)dt]²+dy²+dz²
这个东西违反了弱、强、主能量条件，违反了前两个还好说，违反了主能量条件就没办法了，所以这厮实际不存在，于是本帅从弯曲时空4速的3+1分解出发构建了一个不违反3种能量条件的允许超光速的时空
这个的度规形式为ds²=-（v+1）²dt²+dx²，其中 v是t的函数
下面证明，四速平行于（∂/∂）^t的观者Z^a测得任意大，可以超过光速好多的的三速度v对应的质点世界线仍类时
设观者Z^a测得的U^a三速度为u^a，则u=√g00u1²=v则由5楼可知，γ=1/√1-v²/（v+1）²=（v+1）/√（2v+1）
由Z归一得Z^0=√（1/-g00）=1/（v+1）
由弯曲时空四速的3+1分解，U^0=γZ^0=（v+1）/√（2v+1）×[1/（v+1）]=1/√（2v+1）；
U^1=γu^1/√-g00=v/√（2v+1）
则四速长度U=g00U^0²+g11U^1²=-（v+1）²/（2v+1）+v²/√（2v+1）²=-1，类时，所以超光速，但未类空
下面证明，四速平行于（∂/∂）^t的观者Z^a测得任意大，可以超过光速好多的的三速度v对应的质点世界线仍类时
设观者Z^a测得的U^a三速度为u^a，则u=√g00u1²=v则由5楼可知，γ=1/√1-v²/（v+1）²=（v+1）/√（2v+1）
由Z归一得Z^0=√（1/-g00）=1/（v+1）
由弯曲时空四速的3+1分解，U^0=γZ^0=（v+1）/√（2v+1）×[1/（v+1）]=1/√（2v+1）；
U^1=γu^1/√-g00=v/√（2v+1）
则四速长度U=g00U^0²+g11U^1²=-（v+1）²/（2v+1）+v²/√（2v+1）²=-1，类时，所以超光速，但未类空