狭义相对论有两个前提,分别是