參考系 ,又稱參照系 、基準系 、坐標系 、參考坐標 等,在物理學 中指用以測量並記錄位置、定向 以及其他物體屬性的坐標系 ;或指與觀測者 的運動狀態相關的觀測參考系;又或同指兩者。
參考系有許多種,所以在提到參考系時,常會在前面加上字詞指定是哪一種參考系,如笛卡兒坐標系 。人們也會指定參考系的屬性:旋轉參考系 強調參考系的運動狀態,伽利略參考系強調系與系之間的變換法 ,而宏觀或微觀參考系則強調參考系的尺度大小。[ 註 1]
在本條目中,「觀測者參考系」強調的是運動的狀態,而非某種特定坐標系的選擇,或是用於觀測的儀器。這種用法能夠研究觀測者的運動對坐標系的影響,無論觀測者使用的坐標系是哪一種。另一方面,當觀測者的運動狀態並非主要的針對點時,不同的「參考系」能夠利用不同系統的對稱性,來簡化計算的過程。更廣義的來說,許多物理學中的問題都用到廣義坐標 、實模態 或特徵向量 ,這些都和時間和空間沒有直接的關係。下文因此有必要分開敘述各種參考系,把觀測者參考系、坐標系及觀測儀器作為獨立的概念來看,如下:
觀測者參考系(如慣性參考系 或非慣性參考系 )是與運動狀態有關的物理概念。
坐標系為一個數學概念,是用於描述物理問題一種語言[ 註 2] 。所以,在一個觀測者參考系中的觀測者可以選用各種各樣的坐標系(笛卡爾坐標系、極坐標系、曲線坐標系、廣義坐標系等等)來描述從該參考系中觀測到的現象。坐標系的改變並不影響觀測者本身的運動,也就不會影響這個觀測者的「觀測者參考系」[ 4] 。某一些坐標系比另一些更適合描述特定的物理問題,在同一個觀測者參考系中,可以任選其一。
對量度或觀測工具的選擇獨立於觀測者的運動狀態和其選用的坐標系。
觀測者O位於一組坐標(參照系F )的原點。該參照系使用的本地坐標(x, y, z, t )來表示時空事件(以星形表示)。
「坐標」一詞的意義有時是非專業性的(特別在物理學中),然而它在數學中卻具有準確的意義。
數學中的坐標系是一個幾何學 和代數學 用到的概念[ 5] [ 6] ,一般作為流形 的一種特性(如物理學中的位形空間 和相空間 )[ 7] [ 8] 。一個點r 在n 維空間中的坐標 表達方式為n 元組 :[ 9] [ 10]
r
=
[
x
1
,
x
2
,
…
,
x
n
]
.
{\displaystyle \mathbf {r} =[x^{1},\ x^{2},\ \dots \ ,x^{n}]\ .}
在廣義的巴拿赫空間 中,這些數字能夠是諸如傅立葉級數 等函數展開式中的系數。在物理問題中,它們可以是時空 坐標或實模態 振幅。當用在機器人 設計時,它們可以是相對旋轉的角度、直線平移或關節的變形度等[ 11] 。在此我們假設這些坐標能夠以笛卡爾坐標系 中的一組函數表示:
x
j
=
x
j
(
x
,
y
,
z
,
…
)
,
{\displaystyle x^{j}=x^{j}(x,\ y,\ z,\ \dots )\ ,}
j
=
1
,
…
,
n
{\displaystyle j=1,\ \dots \ ,\ n\ }
其中
x
{\displaystyle x}
、
y
{\displaystyle y}
、
z
{\displaystyle z}
等等為該點的
n
{\displaystyle n}
個笛卡爾坐標數。給定這些函數,定義坐標面 為以下關係:
x
j
(
x
,
y
,
z
,
…
)
=
{\displaystyle x^{j}(x,y,z,\dots )=}
常數
j
=
1
,
…
,
n
.
{\displaystyle j=1,\ \dots \ ,\ n\ .}
這些面的相交處定義為坐標線 。在任何一點上,與相交的坐標線相切的所有切線組成一組在那一點的基向量 :
{
e
1
,
e
2
,
…
,
e
n
}
{\displaystyle \{\mathbf {e} _{1},\mathbf {e} _{2},\ldots ,\mathbf {e} _{n}\}}
。也就是:[ 12]
e
i
(
r
)
=
lim
ϵ
→
0
r
(
x
1
,
…
,
x
i
+
ϵ
,
…
,
x
n
)
−
r
(
x
1
,
…
,
x
i
,
…
,
x
n
)
ϵ
,
{\displaystyle \mathbf {e} _{i}(\mathbf {r} )=\lim _{\epsilon \rightarrow 0}{\frac {\mathbf {r} \left(x^{1},\ \dots ,\ x^{i}+\epsilon ,\ \dots ,\ x^{n}\right)-\mathbf {r} \left(x^{1},\ \dots ,\ x^{i},\ \dots ,\ x^{n}\right)}{\epsilon }}\ ,}
這能夠歸一化為單位長度。
坐標面、坐標線以及基向量 組成一個坐標系 [ 13] 。如果基向量在每一點上都兩兩正交,則該坐標系稱為正交坐標系 。
坐標系中一個重要的方面在於其度量
g
i
k
{\displaystyle g_{ik}}
,它在坐標系中以一組坐標表達弧長
d
s
{\displaystyle ds}
:[ 14]
(
d
s
)
2
=
g
i
k
d
x
i
d
x
k
,
{\displaystyle (ds)^{2}=g_{ik}\ dx^{i}\ dx^{k}\ ,}
並求和所有重復的索引。
根據上文可以看出,參考系其實是一個數學模型 ,屬於公理系統 的一部分。參考系和物體運動實際上並沒有關係,但在加上時間作為又一個坐標後,它就能夠描述運動。所以,洛倫茲變換 及伽利略變換 可以被視為坐標轉換 。
狹義相對論中的三個參考系。黑色的為靜止的。帶撇號的參考系以光速的40%速度運行,帶兩個撇號的則以光速的80%運行。注意當速度提升時,坐標線呈剪刀狀變動。
觀測者參考系 ,或一般只稱為參考系,是與觀測者 以及其運動狀態相關的物理概念。在本文中所指的,是只和運動狀態有關的參考系[ 15] 。不過,人們對此觀點並無共識。在狹義相對論中,「觀測者」和「參考系」一般是有分別的。這一觀點認為,參考系是觀測者加上一個右手正交坐標系,該坐標係由一組正交的空間向量和與其垂直的一個時間向量組成[ 16] 。本文並不使用這種狹義的觀點[ 17] [ 18] 。在廣義相對論 中,廣義坐標系的使用是很常見的(參見獨立球體外的引力場的史瓦西解 [ 19] )。
觀測者參考系有兩種:慣性 與非慣性 參考系。慣性參考系中的物理定律都處於最為簡單的形式。在狹義相對論 中,這種參考系通過洛倫茲變換 相互變換,其參數為快度 。在牛頓力學中,慣性參考系定義為牛頓第一定律 必須成立的參考系,也就是在這種參考系中的自由粒子 要麼以直線 恆速運行,要麼保持靜止。它們之間以伽利略變換 互相轉換。
與之相對的是非慣性參考系,當中的物理現象必須用到假想力 才能解釋。其中一個例子為位於地球表面的參考系。該參考系圍繞地球中心旋轉,因此造成一系列的假想力,如科里奧利力 、離心力 和引力 。(這些力,包括引力在內,都是在真正的慣性參考系——自由落體——中不存在的。)
參考系的其中一方面在於,加載與參考系上的量度儀器 有關的(如鐘或長桿等)到底具有甚麼樣的角色。本文不討論這一問題,而這是在量子力學 中牽涉到觀測者與測量之間關係的一個課題。
在物理實驗中,實驗室量度儀器靜止位處的參考系稱為實驗室參考系 。某些實驗中的實驗室參考系是慣性參考系,而另一些則不是(如在地球表面的大部分實驗室都是非慣性參考系)。在粒子物理學中,一個常見的做法是把實驗室參考系中的能量與動量轉換到質心系 中,這樣可以簡化計算過程。
在思想實驗 中用到的鐘或長桿等觀測者的量度儀器,在實際實驗中是以非常複雜的儀器取代,從而間接地做出測量的。這些儀器用到真空 的屬性,其原子鐘 根據標準模型 運作,時間也必須根據引力時間膨脹 做出調整[ 20] 。
其實,愛因斯坦 認為鐘和長桿應該由更基礎的物體取代,如原子和分子等[ 21] 。
兩輛車以不同的勻速移動,S 為固定在路面的慣性參考系,而S '為固定在第一輛車上的慣性參考系。
兩輛車以不同的勻速在路面行駛(見圖)。在某一時刻,它們間隔200米。前方的那輛車以每秒22米的速度行駛,隨後的那輛車以每秒30米的速度行駛。要計算第二輛車在多久後會趕上第一輛車,我們可以使用三個參考系的其中一個。
首先,我們可以從路邊觀測兩輛車。定義路邊的參考系為S :計時器在第二輛車經過路邊觀測者時開始,這時兩車相距d = 200 m。兩輛車都以勻速運行,所以我們可以用以下的公式表述它們的位置:x 1 (t )為第一輛車在時間t 秒後的位置,而x 2 (t )為第二輛車在時間t 秒後的位置。
x
1
(
t
)
=
d
+
v
1
t
=
200
+
22
t
;
x
2
(
t
)
=
v
2
t
=
30
t
{\displaystyle x_{1}(t)=d+v_{1}t=200\ +\ 22t\ ;\quad x_{2}(t)=v_{2}t=30t}
當時間為t = 0 s時,第一輛車位於200米處,而第二輛車位置為零,這符合實際情況。我們要設x 1 = x 2 ,並求t :
200
+
22
t
=
30
t
{\displaystyle 200+22t=30t}
8
t
=
200
{\displaystyle 8t=200}
t
=
25
s
{\displaystyle t=25\,\mathrm {s} }
或者我們可以選擇位於第一輛車上的參考系S '。在這個參考系裏,第一輛車是靜止的,而第二輛車跟隨在後,速度為v 2 − v 1 = 8 m/s。趕上前一輛車所需的時間為
d
v
2
−
v
1
=
200
8
s
{\displaystyle {\frac {d}{v_{2}-v_{1}}}={\frac {200}{8}}\,\mathrm {s} }
,也就是25秒,同上。使用這個參考系比上一個參考系簡單得多。第三種做法是,取位於第二輛車上的參考系。這和以上的例子相似,但這次第二輛車為靜止,而第一輛車以每秒8米的速度向後退。
另外我們也可以使用旋轉或加速的參考系,但這樣會不必要地把問題複雜化了。值得注意的是,在任何參考系中作出的測量都可以換算成其他的參考系。
以上的例子作了一些假設。比如牛頓使用的是世界時,因此兩個相互以高速勻速運動的鐘的時間流逝率永遠是一樣的。他認為一個參考系中的時間流逝率應該和所有其他參考系中的一樣。也就是說,所有參考系的時間流逝率都和一個絕對的世界時相同,並不取決於參考系的位置和速率。愛因斯坦於1905年在他的狹義相對論 中延伸了這一概念,並假設所有物理定律在所有的慣性參考系中都相同(包括光在真空中的速度),在這種原理下參考系之間的變換方法稱為洛倫茲變換 。
另外,慣性參考系 的定義並不局限於三維歐幾里得空間 。牛頓所用的為簡單的歐幾里得空間,但廣義相對論 則用一種更為廣義的幾何。就拿橢球體的幾何為例,其中的自由粒子定義為沿著測地線 勻速移動或靜止不動。兩個自由粒子可以在表面上的同一點開始,以勻速向不同方向運行。一段時間後,兩個粒子會在橢球體的另一邊會和相撞。粒子均以勻速運行,符合沒有外在施力的定義;沒有加速度,也就符合了牛頓第一定律。因此這兩個粒子位於慣性參考系當中。它們最後的相撞是橢球體的幾何造成的。類似地,人們現在相信存在一種稱為時空 的四維幾何,而這種幾何能夠解釋為甚麼兩個有質量的物體在沒有外力的情況下會互相靠近。時空的曲率取代了牛頓力學和狹義相對論中的引力。
非慣性參考系和慣性參考系之間的分別在於,在用到非慣性參考系時,必須用到假想力。
加速參考系一般以撇號標記,所有與其相關的變量都加以撇號:x '、y '、a '等。
某慣性參考系和非慣性參考系之間的距離一般記為R 。取同時存在於兩個參考系中的任意點,從慣性參考系原點指向該點的向量長度為r ,而從非慣性參考系原點指向該點的向量長度為r '。以下的關係成立:
r
=
R
+
r
′
{\displaystyle \mathbf {r} =\mathbf {R} +\mathbf {r} '}
取一階及二階導數後得:
v
=
V
+
v
′
{\displaystyle \mathbf {v} =\mathbf {V} +\mathbf {v} '}
a
=
A
+
a
′
{\displaystyle \mathbf {a} =\mathbf {A} +\mathbf {a} '}
其中V 和A 分別為相對非慣性參考系的速率和加速度,而v 和a 分別為相對慣性參考系的速率和加速度。
利用這些公式,我們能夠在兩種參考系之間變換。比如,牛頓第二定律 現在可以寫作:
F
=
m
a
=
m
A
+
m
a
′
{\displaystyle \mathbf {F} =m\mathbf {a} =m\mathbf {A} +m\mathbf {a} '}
當從旋轉參考系等加速參考系來看時,慣性似乎表現為一種力(旋轉參考系中有離心力 及與垂直於物體移動路徑的科里奧利力 )。
其中一種常見的加速參考系為同時旋轉並平移的參考系(如固定在搬動並運作中的播放機裏的光碟上的參考系)。如此的參考系有以下的方程:
a
=
a
′
+
ω
˙
×
r
′
+
2
ω
×
v
′
+
ω
×
(
ω
×
r
′
)
+
A
0
{\displaystyle \mathbf {a} =\mathbf {a} '+{\dot {\boldsymbol {\omega }}}\times \mathbf {r} '+2{\boldsymbol {\omega }}\times \mathbf {v} '+{\boldsymbol {\omega }}\times ({\boldsymbol {\omega }}\times \mathbf {r} ')+\mathbf {A} _{0}}
或求相對加速參考系的物體加速度:
a
′
=
a
−
ω
˙
×
r
′
−
2
ω
×
v
′
−
ω
×
(
ω
×
r
′
)
−
A
0
{\displaystyle \mathbf {a} '=\mathbf {a} -{\dot {\boldsymbol {\omega }}}\times \mathbf {r} '-2{\boldsymbol {\omega }}\times \mathbf {v} '-{\boldsymbol {\omega }}\times ({\boldsymbol {\omega }}\times \mathbf {r} ')-\mathbf {A} _{0}}
兩邊乘以質量m 得
F
′
=
F
p
h
y
s
i
c
a
l
+
F
E
u
l
e
r
′
+
F
C
o
r
i
o
l
i
s
′
+
F
c
e
n
t
r
i
p
e
t
a
l
′
−
m
A
0
{\displaystyle \mathbf {F} '=\mathbf {F} _{\mathrm {physical} }+\mathbf {F} '_{\mathrm {Euler} }+\mathbf {F} '_{\mathrm {Coriolis} }+\mathbf {F} '_{\mathrm {centripetal} }-m\mathbf {A} _{0}}
其中
F
E
u
l
e
r
′
=
−
m
ω
˙
×
r
′
{\displaystyle \mathbf {F} '_{\mathrm {Euler} }=-m{\dot {\boldsymbol {\omega }}}\times \mathbf {r} '}
(歐拉力 )
F
C
o
r
i
o
l
i
s
′
=
−
2
m
ω
×
v
′
{\displaystyle \mathbf {F} '_{\mathrm {Coriolis} }=-2m{\boldsymbol {\omega }}\times \mathbf {v} '}
(科里奧利力 )
F
c
e
n
t
r
i
f
u
g
a
l
′
=
−
m
ω
×
(
ω
×
r
′
)
=
m
(
ω
2
r
′
−
(
ω
⋅
r
′
)
ω
)
{\displaystyle \mathbf {F} '_{\mathrm {centrifugal} }=-m{\boldsymbol {\omega }}\times ({\boldsymbol {\omega }}\times \mathbf {r} ')=m(\omega ^{2}\mathbf {r} '-({\boldsymbol {\omega }}\cdot \mathbf {r} '){\boldsymbol {\omega }})}
(離心力 )
According to Hawking and Ellis: "A manifold is a space locally similar to Euclidean space in that it can be covered by coordinate patches. This structure allows differentiation to be defined, but does not distinguish between different coordinate systems. Thus, the only concepts defined by the manifold structure are those that are independent of the choice of a coordinate system." Stephen W. Hawking & George Francis Rayner Ellis. The Large Scale Structure of Space-Time . Cambridge University Press. 1973: 11 [2013-02-08 ] . ISBN 0-521-09906-4 . (原始內容存檔 於2017-01-07). A mathematical definition is: A connected Hausdorff space M is called an n-dimensional manifold if each point of M is contained in an open set that is homeomorphic to an open set in Euclidean n-dimensional space.
For example, Møller states: "Instead of Cartesian coordinates we can obviously just as well employ general curvilinear coordinates for the fixation of points in physical space.…we shall now introduce general "curvilinear" coordinates x i in four-space…." C. Møller. The Theory of Relativity. Oxford University Press. 1952: 222 and p. 233.