【SEOテキスト】宇田雄一「古典物理学」2-2-4因果律,ここでは、§2-1-6の因果律の話の続きとして、T25(S,U,I,J)における因果律について考えてみよう。T25においてもT3におけると同様に、原因という語の一般的な定義を無修正で使うことが出来る。はっきり確かめたわけではないが、T25についての判定結果は、おそらく次のようになるだろう。∀f∈F;∀(ξ,i,k)∈N24;[L(f)and|ξ(3)|≦|ξ(4)|]⇒[∀ε>0;[M(f)において【1】を固定したときに【2】は【3】の原因になっている]],∀f∈F;∀(ξ,i,k)∈N24;[L(f)and|ξ(3)|>|ξ(4)|]⇒[∃ε>0;[M(f)において【1】を固定したときに【2】は【3】の原因になっていない]]【1】∃g∈F;M(g)and[∀η∈N01;[|η(4)|≦ε
and|η(3)|>2ε]⇒g(η,□,□)=f(η,□,□)]【2】∃g∈F;M(g)and[∀η∈N01;[|η(4)|≦ε and|η(3)|≦2ε]⇒g(η,□,□)=f(η,□,□)]【3】∃g∈F;M(g)and
g(ξ,i,k)=f(ξ,i,k),η(4),ε,O,|η(3)|,-ε,2ε,ξ(4),O,|ξ(3)|
|
