【SEOテキスト】宇田雄一「古典物理学」【2c】∀(ξ,j,k)∈N3;【2c1】⇒【2c2】【2c1】not[ξ(3)∈l(x,y,ε)]and
ξ(3)∈l(x,y,1)and t1<ξ(4)<t2【2c2】|f(ξ,j,k)|<ε【2d】∀z∈R(3);∀t∈R({4});∀k∈{1,・・・,n};【2d1】⇒【2d2】【2d1】z∈l(x,y,1)and
t1<t(4)<t2【2d2】z≠f(t,□,k)今度は、L=e5(□,μ(P1,・・・,Pn;I,J))がこの条件⑤を満たすかどうかは、簡単には分からない。しかし、仮にこの条件が成り立たないとしても、それをSが立方格子系でないからだと捉えるよりも、T5(・・・;S,・・・)が本当の自然を正しく記述していないからだと捉えるべきかもしれない。なぜなら、e5の定義に用いられるe3について、以下の条件⑥が成り立つからだ。⑥∀x,y∈R(3);∀t1,t2∈R;∀ε>0;【1】⇒【3】【3】∃f∈F3;【3a】and【2b】and【2c】【3a】∀(ξ,j,k)∈N24;【3a1】⇒【3a2】【3a1】ξ(3)∈l(x,y,1)and
t1<ξ(4)<t2【3a2】e3(ξ,j,k;f,0,0)=0条件⑥は条件⑤の必要条件になっている。もしT5(P1,・・・,Pn;S,U,I,J)の作者というものがあるとすれば、その人はSという語で立方格子系を表そうとしていると考えるべきだ。以上の議論はT4についても全く同様だ。光の球面波を用いた確認T5(P1,・・・,Pn;S,U,I,J)が正しい場合に、Sが立方格子系の条件を満たすならば、以下の条件も成り立つはずだ。⑦∀x,y,z∈R(3);【1】⇒【2】【1】|x-y|=|x-z|≠0【2】∀t1∈R;∃t2,t3∈R;t1<t2<t3
and【2a】and【2b】and【2c】and【2d】
|
