固有光速一般不是用两个钟按速度定义式来测的，而是以测波长和频率乘积的方法来测的。而且都是在局域环境中测的，非惯性影响可忽略。错误之一：如果可以忽略，波长与频率的积为常数，则光纤陀螺将无法工作。如果认为光纤非真空起了作用的话，换成真空波导，陀螺仪就不能工作了吗？糊涂！

其次，光纤陀螺仪在旋转系中不能看成是局域的。为了测旋转效应，就需要尽可能地广域化，为了既做到广域化又不至于太庞大，光纤陀螺仪中将光纤绕了很多圈，光纤总长一般上1000米。将一个圈上非常小的非惯性效应上1000倍地放大。

第三，“局域化环境”并没有先验的尺度。只要体现出不可忽略的非惯性效应，就证明局域化得还不够。是否可以看作“局域化环境”是根据非线性效应是否可以忽略来判断的。而不是反过来，先验地说某个尺度就是“局域化”的，然后观测到了不可忽略的非线性效应就说相对论错了。]]

（广义）相对论时空不是无法建立坐标系的时空，而是可以建立任意坐标系的时空。任意坐标系中的授时方法就是以固有光速不变为基础的，以光子世界线ds²=0为度规约束（如果有大质量分布还要结合广义相对论场方程）来计算授时信号传递到接受者的延时。之二：建个坐标系试试。例如，地球表面的参考系，（经度、纬度、海拔、时间），其中的时间不用坐标时，换成符合相对论的时间。那么每个事件都可以对应多个时间值，也就是没有确定的时间值，并与爱因斯坦时空连续统的观点相矛盾。

[[告诉您多少次了，坐标时就是相对论时间，在相对论出世之前哪有什么坐标时？您怎么总是将其对立起来，要相对论“离开坐标时去换一个符合相对论的时间”。

广义相对论可以使用任意时空坐标系，它本身是一个决定任意时空坐标系中的度规场的理论。]]

其正确性得到了广泛的验证，GPS就是一个很好的验证，不考虑相对论GPS无法工作，可您却将其当做反证。]]之三：GSP只所以能建立，是因为他用了非相对论的坐标时，也就是规定了用GSP系统得到的光速非常数。相对论在GSP系统中起的作用，就是弥补光速不是常数所产生的误差。当然还有其他作用。

[[还是想将坐标时从相对论中夺走，简直是强盗啊！]]

先申明，任何时间坐标都是坐标时。惯性系中的物理时间坐标只是坐标时的一个特例。

原来你所谓的“相对论时间坐标”，就是要让表观光速c'=Δr/Δt≡c的时间坐标。

在惯性系中可以建立让表观光速恒为c的时间坐标。但非惯性系中使表观光速恒为c的时间坐标有可能不符合坐标的单值性要求，而这是相对论预见到的，所以需要建立满足单值性要求的坐标时。这种坐标时与相应的度规结合起来符合相对论对光子世界线ds²=0（固有光速不变）的要求，所以坐标时是符合相对论要求的时间坐标。相对论并未要求在任意坐标系中表观光速为常数。这是您强加的。

光纤陀螺测的不是波长或频率，那么测的是什么？为什么非要强调局域呢？难道物理学是局域科学吗？你知道用坐标时测到的光速不是常数，转眼就忘啦！

[[光纤陀螺的测量对象是陀螺的角速度，直接检测的物理量是光程差（既非波长也非频率）。注意在光纤中相反方向传播的激光在进入最后的检测装置后波长和频率都是一样的，只是相位（光程）有差异。光程差不是在最后的检测仪中发生的，而是在光纤中发生的。不要象刘武青一样对象和手段不分。

对最后的相差检测仪而言，其尺度是局域的。而且本人强调局域只是强调在非惯性系中的光速不变原理是“局域惯性系光速不变原理”，别无他意。

虽然物理学不是局域科学，但在摒弃超距作用后，物理基本定律都是“局域化”的，即描述“邻域中的物理关系”，全局的关系也是通过这个局域关系数学地建立的。]]

……一直者承认这一点啊！谁不敢承认了？GPS坐标时还得根据相对论才能授时的呢！

但是表观光速不是常数与光速不变原理并不矛盾啊！

静止是相对于实验室的。

光纤陀螺的工作原理我不清楚。一般此类仪器都是通过相干光的干涉进行工作的，而干涉仪可以直接测量的是相位差。光程差通常用来计算相位差，但对于静止光纤而言光程差为0 。

当说到光速不变时，他们一定用了非标准时钟。

所谓表观光速就是用标准时钟测到的光速，那肯定不是常数的。相对论强调的局域参考系又是什么呢，不就是整体的一部分吗？局域和整体有矛盾？相对论的怪论！

[[“标准时钟”乃人为规定，不具有唯一性，因此用标准时钟测得的表观光速可变与相对论没有矛盾。“光速不变”的初级理解是c'=c，要求用局域惯性系；在非惯性系中光速不变的数学表示不是c'=c，而是ds²=0。]]

[[相对论强调的局域参考系只是在思维实验上使用，如爱氏关于等效原理的思考，以及“光速不变”怎样融入广义相对理论。局域和整体的矛盾只是在无限拓展局域惯性系时才产生的，用任意坐标定义来代替惯性拓展时就没有矛盾，任意坐标系正是广义相对论处理的对象。]]

[[一旦光纤陀螺转动，就会产生光程差。光程差不超过一个波长时，与相差等价。而通常测量中只是零点几个条纹移动，也即在一个波长之内，故我帖中未刻意区分。

光纤双向长度是一样的，因为长度的测定要求“同时”确定两端点位置，实际上隐含着无穷大信号速度。

但这个一样的双向相等的长度怎么会产生光程差呢？因为光双向传递时，虽然在空间上看起来是相反对等的，然而加上时间坐标后经历的世界线完全不同，但都满足ds²=0（假设为真空波导以运用光速不变原理），再结合广义相对论确定的时空度规可得到ds²=0条件下坐标时微分dt的空间表达式，对dt进行路径积分可得到光传播的坐标时间t，但在旋转系中这个积分是路径相关的。

GPS中的授时（对钟）就需要用广义相对论来确定光信号传递所延迟的坐标时间。]]

[[“标准时钟”乃人为规定，不具有唯一性，那么有什么不是人规定的吗？因此用标准时钟测得的表观光速可变与相对论没有矛盾。“光速不变”的初级理解是c'=c，要求用局域惯性系；在非惯性系中光速不变的数学表示不是c'=c，而是ds²=0。]]

[[小猪：您不会不知道吧，广义相对论一般是将无穷远处的静止时钟作为标准时钟（授时起点）来建立坐标时，而GPS是以海平面上的原子钟作为标准时钟来建立坐标时，这里已经体现出人为性或任意性了。]]

[[相对论强调的局域参考系是“局域惯性参考系”，不能简单地理解为整体的一部分，因为这个“部分”是按“瞬时惯性系”要求建立的，而全局坐标系不是按惯性系要求建立的。只有按局部要求去建立整体（局部惯性系无限拓展）才会有矛盾。]]

[[相对论强调的局域参考系只是在思维实验上使用，如爱氏关于等效原理的思考，以及“光速不变”怎样融入广义相对理论。局域和整体的矛盾只是在无限拓展局域惯性系时才产生的，用任意坐标定义来代替惯性拓展时就没有矛盾，任意坐标系正是广义相对论处理的对象。]]小猪又说笑了，GPS岂不是完全应该用任意坐标系而不用坐标时了吗？无限拓展局域惯性系时才产生整体吗？不会认为整体是无穷大吧。其实爱因斯坦说过在无穷小时空中光速不变成立，但是爱因斯坦似乎不清楚什么是无穷小，因此才这样说的。

[[如前所述，GPS正是用的一种“任意”坐标。无限拓展局域惯性系不能产生合理的整体（时标的多值性），因为这个整体本质上是不能坚持惯性系标准的。爱因斯坦是清楚的，最多是你我不清楚罢了。]]

但这个一样的双向相等的长度怎么会产生光程差呢？请将你的因为说清楚点，除了解释光从两个方向通过光缆之外，并没有说明哪里来的光程差，不会不知道什么是光程差就乱用吧。

[[小猪：光程差从字面上就可以理解，就是光走过的路程的“长度”差异，这个“长度”并非几何长度，而是几何长度与折射率的乘积；所以光程的严格表达是∫n(x)dx，结果等于ct，光程差就等于cΔt。∫n(x)dx只能用于静止情形，而cΔt可用于一般情形下的光程差计算。光程差除以波长再乘以2π可得到相差。在用干涉仪进行检测时，光程差除以波长可得到干涉条纹移动条数。

我的“因为”是：光缆长度是用无穷大信号速度测定的（即“同时”确定两端点位置），因而“长度”与方向无关。而光在光缆中是以有限速度前进的，旋转系不是各向同性参考系，沿两个方向通过光缆在时空中走的是完全不同的世界线，对dt积分得到的光传播时间t不同，从而出现光程差cΔt。您推介的论文中有详细的公式，不会让我代替您阅读吧？]]

[[小猪：您不会不知道吧，广义相对论一般是将无穷远处的静止时钟作为标准时钟（授时起点）来建立坐标时，而GPS是以海平面上的原子钟作为标准时钟来建立坐标时，这里已经体现出人为性或任意性了。]]无穷远处的静止时钟不是人规定的吗？相对于什么静止？什么样的时钟？什么是无穷远？没有疑问是因为没有脑子。

[[小猪：正因为是人为规定，所以我才说“这里已经体现出人为性或任意性了”呀！您后面的疑问更加证实了这种人为性或任意性啊。有脑子才会质疑，但您看看您质疑的论点是什么呀，不要偷换论题。]]

[[如前所述，GPS正是用的一种“任意”坐标。无限拓展局域惯性系不能产生合理的整体（时标的多值性），因为这个整体本质上是不能坚持惯性系标准的。爱因斯坦是清楚的，最多是你我不清楚罢了。]]为什么非要坚持惯性系标准，难道让天体都不可以转吗？而非惯性系就没有符合光速不变的时空坐标系了，如在地球上GPS用的坐标，光速就不是常数了。相对论的两难处境，坚持光速不变则丧失时空坐标系，而建立时空坐标系则光速就不是常数。因此只能把注意力放在局域惯性系中，而爱因斯坦的局域惯性系应该是无穷小的。

[[小猪：光程差从字面上就可以理解，就是光走过的路程的“长度”差异，这个“长度”并非几何长度，而是几何长度与折射率的乘积；所以光程的严格表达是∫n(x)dx， 结果等于ct，    你的结果c应当改成介质中的光速，而光程的严格表达式∫n(x)dx从两个方向分别积分不可能有差值，与cΔt应该无关。  

[[想不到您对光程的概念都不理解。光程本意和本质就是：光在介质中运动的“光程”等于相等时间内光在真空中走过的距离。所以光程可以而且应当用L=ct来表示，c是真空光速而非介质光速！也可以用∫n(x)dx来计算，说什么“与cΔt应该无关”呀！光程概念主要为了简化对相位的分析，相等的光程对应相同的相位，无论经过什么介质。而相位本质上只与传播时间有关，因为频率是不随介质变化的。光程本来应当用时间来表示，由于光速太快，涉及时间太小了，不如用距离来得方便而已。在运动介质或非惯性系中，用L=ct来表示和计算光程就成为最方便的选择，正是因为光程目的不过是为了计算相位。想不到自称“会用脑子因而会质疑”的人对物理概念的理解如此机械。]]

光程差就等于cΔt。∫n(x)dx只能用于静止情形，而cΔt可用于一般情形下的光程差计算。光程差除以波长再乘以2π可得到相差。在用干涉仪进行检测时，光程差除以波长可得到干涉条纹移动条数。以上解释无异与承认相对于运动光纤光速不是常数。但我们要讨论的是在地上或实验室中静止的光纤。你认为相对于静止光纤（对地），光速不是常数啦？

[[这个静止光纤本质上是随地球旋转的，不是惯性系，在这样的光纤中双向表观光速不同构不成什么挑战。]]

我的“因为”是：光缆长度是用无穷大信号速度测定的（即“同时”确定两端点位置），因而“长度”与方向无关。而光在光缆中是以有限速度前进的，旋转系不是各向同性参考系，沿两个方向通过光缆在时空中走的是完全不同的世界线，对dt积分得到的光传播时间t不同，从而出现光程差cΔt。您推介的论文中有详细的公式，不会让我代替您阅读吧？]]

还请将论文称cΔt为光程差的部分找出来，以证明错误是别人的。

[[论文中是对Δt的广义相对论计算，而称cΔt为光程差在网上随便找一篇文章都有，恕不代劳，这种基本概念知识得自己去掌握。不过我还是学学建其的耐心，告诉您在google上输入“光程与传播时间”就能找到一大堆。]]