「一般相対性原理」の版間の差分
削除された内容 追加された内容
<math>x^0,x^1,x^2,x^3</math>の関数Xが「偏微分から構成される」は意味不明。そもそもX(x,y)のx,yが変数変換の結果X(r,θ)になるわけがない。出典もなし。出典を示さずに要出典を消さないでください |
→脚注: 表現変更 |
||
| (3人の利用者による、間の4版が非表示) | |||
| 1行目: | 1行目: | ||
'''一般相対性原理'''（いっぱんそうたいせいげんり、{{lang-en-short|general principle of relativity}}）とは、[[一般相対性理論]]において[[アルベルト・アインシュタイン]]が仮設として導入した原理の一つで「物理学の法則は、任意の仕方で運動している座標系に関していつも成立する」<ref>{{harvnb|リーマン|リッチ|レビ＝チビタ|アインシュタイン|1971|p=100}}</ref>という命題からなる。[[慣性系]]間の座標変換に関する命題である[[特殊相対性原理]]を、一般相対性理論の対象である重力場を含む加速度系についても適用できるように拡張したものとして提案された。 |
'''一般相対性原理'''（いっぱんそうたいせいげんり、{{lang-en-short|general principle of relativity}}）とは、[[一般相対性理論]]において[[アルベルト・アインシュタイン]]が仮設として導入した原理の一つで「物理学の法則は、任意の仕方で運動している座標系に関していつも成立する」<ref>{{harvnb|リーマン|リッチ|レビ＝チビタ|アインシュタイン|1971|p=100}}</ref>という命題からなる。[[慣性系]]間の座標変換に関する命題である[[特殊相対性原理]]を、一般相対性理論の対象である重力場を含む加速度系についても適用できるように拡張したものとして提案された。 |
||
なお、一般相対性原理をより数学的に具体的に拡張した主張として[[一般共変性原理]]がある。これは、「自然の一般法則は、すべての座標系に対して成り立つ、すなわち任意の座標変換に対して一般共変な方程式で表される」あるいは「一般座標変換によって物理法則は不変である」という命題からなり、数学的には、自然の法則がテンソルのすべての成分がゼロになるということで定式化されるべきであることを主張する<ref>{{harvnb|リーマン|リッチ|レビ＝チビタ|アインシュタイン|1971|pp=104-108}}</ref>。 |
なお、一般相対性原理をより数学的に具体的に拡張した主張として[[一般共変性原理]]がある。これは、「自然の一般法則は、すべての座標系に対して成り立つ、すなわち任意の座標変換に対して一般共変な方程式で表される」あるいは「一般座標変換によって物理法則は不変である」という命題からなり、数学的には、自然の法則が[[テンソル空間|テンソル]]のすべての成分がゼロになるということで定式化されるべきであることを主張する<ref>{{harvnb|リーマン|リッチ|レビ＝チビタ|アインシュタイン|1971|pp=104-108}}</ref>。 |
||
| ⚫ | |||
== 方程式の一般共変性 == |
|||
具体的に考えるため、仮に座標系 <math>x^0,x^1,x^2,x^3</math> における法則 |
|||
:<math>X(x^0,x^1,x^2,x^3) + \alpha Y(x^0,x^1,x^2,x^3) - A(x^0,x^1,x^2,x^3) = \bold{0}</math> |
|||
について考える。この法則が一般相対性原理（一般共変性原理）を満たすとは次のことを意味する。この法則の座標系 <math>x'^0,x'^1,x'^2,x'^3</math> における式は、座標系 <math>x^0,x^1,x^2,x^3</math> における式を座標変換することで得られる。ゼロに等しい上記法則は座標変換しても全体としてはゼロであることは変わらない。座標変換は、<math>X,Y,A</math> がそれぞれ <math>x^0,x^1,x^2,x^3</math> の偏微分から構成されていれば、 |
|||
:<math>\frac{\partial x'^a}{\partial x^j}\cdots\frac{\partial x'^c}{\partial x^l}X(x'^0,x'^1,x'^2,x'^3) + \alpha \frac{\partial x'^d}{\partial x^m}\cdots\frac{\partial x'^f}{\partial x^o} Y(x'^0,x'^1,x'^2,x'^3) - \frac{\partial x'^g}{\partial x^p}\cdots\frac{\partial x'^i}{\partial x^r}A(x'^0,x'^1,x'^2,x'^3)=\bold{0}</math> |
|||
となり{{要出典|date=2022年2月}}各項は式の形状が変わり得る。ここで、各項 <math>X,Y,A</math> が座標変換について共変的（covariant）であれば（数学的には[[テンソル]]と呼ばれるものはそのような性質を持つ）、左辺の各項の変換係数が一致するため、上記の式は以下のように変形できる。 |
|||
:<math>\frac{\partial x'^a}{\partial x^j}\cdots\frac{\partial x'^c}{\partial x^l}\left\{ X(x'^0,x'^1,x'^2,x'^3) + \alpha Y(x'^0,x'^1,x'^2,x'^3) - A(x'^0,x'^1,x'^2,x'^3) \right\} = \bold{0}</math> |
|||
座標変換により現れた係数はゼロでないため、上記の関係を満たすには括弧内がゼロでなければならず、結局、座標系 <math>x'^0,x'^1,x'^2,x'^3</math> において法則は、 |
|||
:<math>X(x'^0,x'^1,x'^2,x'^3) + \alpha Y(x'^0,x'^1,x'^2,x'^3) - A(x'^0,x'^1,x'^2,x'^3) = \bold{0}</math> |
|||
とならなくてはならない。このテンソルの各項はもとの座標系の項とイコールではないが、式全体の関係は変わっていない。一般相対性原理は、テンソルで記述された物理法則は座標変換に関して上記のような性質を持つと仮定するものである。 |
|||
| ⚫ | |||
<references /> |
<references /> |
||
| 23行目: | 12行目: | ||
* [[相対性原理]] |
* [[相対性原理]] |
||
* [[一般座標変換不変性]] |
* [[一般座標変換不変性]] |
||
* [[解析力学]] |
|||
== 参考文献 == |
== 参考文献 == |
||
2023年12月29日 (金) 03:15時点における最新版
一般相対性原理（いっぱんそうたいせいげんり、英: general principle of relativity）とは、一般相対性理論においてアルベルト・アインシュタインが仮設として導入した原理の一つで「物理学の法則は、任意の仕方で運動している座標系に関していつも成立する」[1]という命題からなる。慣性系間の座標変換に関する命題である特殊相対性原理を、一般相対性理論の対象である重力場を含む加速度系についても適用できるように拡張したものとして提案された。
なお、一般相対性原理をより数学的に具体的に拡張した主張として一般共変性原理がある。これは、「自然の一般法則は、すべての座標系に対して成り立つ、すなわち任意の座標変換に対して一般共変な方程式で表される」あるいは「一般座標変換によって物理法則は不変である」という命題からなり、数学的には、自然の法則がテンソルのすべての成分がゼロになるということで定式化されるべきであることを主張する[2]。
出典
[編集]- ^ リーマン et al. 1971, p. 100
- ^ リーマン et al. 1971, pp. 104–108
関連項目
[編集]
参考文献
[編集]- リーマン、リッチ、レビ＝チビタ、アインシュタイン、マイヤー 著、矢野健太郎（訳） 編『リーマン幾何とその応用』共立出版、1971年。
 | この項目は、物理学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:物理学／Portal:物理学）。 |
