狭义相对论如何定义时间变量