【SEOテキスト】宇田雄一「古典物理学」[41]Mを次式で定義する。M∈H(F)and[∀f∈F;M(f)=h5(f;S,W)][42]N'をN'=N01×N03で定義する。[43]∀i∈N';[Ψiを次式で定義する。Ψi∈R(F)and∀f∈F;Ψi(f)=e7(i;f,Z,ρ(Q1,・・・,Qn;I))][44]∀f∈F;[L(f)によって次の文を表すことにする。∀i∈N';Ψi(f)=0][45]∀f∈F;L(f)⇔e7(f,Z,ρ(Q1,・・・,Qn;I))[46]∀f∈F;[M(f)が可能だ]⇔L(f)[47]環境条件は真だ。この理論はT3(Q1,・・・,Qn;Y;S,U,J)に似ている。違いは、T7の[5][6][11]および[12][13][14][17][18][29][30][33]に当たる部分がT3には無いことと、T3の[7][8]および[14]に当たる部分がT7には無いことと、T7の[16][20][22][24][28][32][34][35][36]および[38][40][41][42][43][45]に当たる部分がT3では少し異なることだけだ。一般相対性理論,以下の文章をT8(P1,・・・,Pn;S,U,W,I,J)と呼ぶことにする。n∈N,[1]P1,・・・,Pnはいずれも質点だ。[2]時空点全体の集合を時空と呼ぶことにする。[3]N01から時空の上への一対一写像が存在する。[4]そのような写像を時空座標系と呼ぶことにする。[5]R+から質量全体の集合の上への一対一写像が存在する。[6]そのような写像を質量座標系と呼ぶことにする。[7]Rから電荷全体の集合の上への一対一写像が存在する。[8]そのような写像を電荷座標系と呼ぶことにする。[9]F^3から電磁場の値全体の集合の上への一対一写像が存在する。[10]そのような写像を電磁座標系と呼ぶことにする。[11]F05から重力場の値全体の集合の上への一対一写像が存在する。[12]そのような写像を重力座標系と呼ぶことにする。[13]時空を定義域とし電磁座標系を値に持つ写像を、電磁座標系網と呼ぶことにする。[14]時空を定義域とし重力座標系を値に持つ写像を、重力座標系網と呼ぶことにする。[15]Sは時空座標系だ。[16]Uは電磁座標系網だ。[17]Wは重力座標系網だ。[18]Iは質量座標系だ。[19]Jは電荷座標系だ。
|
