间隔不变性的坐标差与微分表达式的简单推导

间隔不变性的表达式有坐标、坐标差、微分三种形式 ,教材一般只给出了坐标表达式的推导 ,为弥补有关书籍在这方面之不足 ,这里给出坐标差和和微分两种表达式的简单推导。