【SEOテキスト】宇田雄一「古典物理学」3-1-5因果律T5からT25を作ったのと同様にして、T6,T7,T8からT26,T27,T28を作ることが出来る。T26,T27,T28においては、T25やT3におけると同様に、原因という語の一般的な定義を無修正で使うことが出来る。T27,T28についてはよく分からないが、G∈F5が条件:∀ξ∈N01;[G(ξ,4,4,4)>0
and det g(ξ,□,□;G)<0 and[∀v∈R(3);3∑i=1 3∑j=1 g(ξ,i,j;G)v(i)v(j)<0]]を満たす場合には、T26(G;S,U,W,I,J)についての判定結果は次のようになるだろう。∀f∈F;∀(ξ,i,k)∈N24;[L(f)and【4】]⇒[∀ε'>0;∃δ>0;∀ε>0;(ε<δ)⇒[M(f)において【1】を固定したときに【2】は【3】の原因になっている]]∀f∈F;∀(ξ,i,k)∈N24;[L(f)and(not【4】)]⇒[∃ε'>0;∃δ>0;∀ε>0;(ε<δ)⇒[M(f)において【1】を固定したときに【2】は【3】の原因になっていない]]【1】∃g∈F;M(g)and[∀η∈N01;[|η(4)|≦ε
and|η(3)|>ε']⇒g(η,□,□)=f(η,□,□)]【2】∃g∈F;M(g)and[∀η∈N01;[|η(4)|≦ε and|η(3)|≦ε']⇒g(η,□,□)=f(η,□,□)]【3】∃g∈F;M(g)and
g(ξ,i,k)=f(ξ,i,k)【4】∃l∈N01(R);l(0)=0 and l(1)=ξ and∀t∈R;(0≦t≦1)⇒4∑i=1 4∑j=1
g(l(t),i,j,G)・[∂l(t)](i)・[∂l(t)](j)≧0
|
