【SEOテキスト】宇田雄一「古典物理学」【2b2】∀ξ∈N01;[ξ(3)=y and ξ(4)=t2]⇒[S(ξ)にP1が実在する]【2b3】∃t3∈R;【2b3a】and【2b3b】and【2b3c】【2b3a】t3-t2=t2-t1【2b3b】∃ξ∈N01;|ξ(3)-z|<ε
and ξ(4)=t3 and[S(ξ)にP1が実在する]【2b3c】∀ξ∈N01;∀k∈{2,・・・,n};【2b3c1】⇒not【2b3c2】【2b3c1】|x-ξ(3)|+|ξ(3)-z|<l
and t1≦ξ(4)≦t3【2b3c2】S(ξ)にPkが実在する【3】∀h∈H;[【2a】and【3a】]⇒【3b】【3a】h⇒[【2b1】and【2b2】and[∃t3∈R;【2b3a】and【2b3c】]]【3b】h⇒[∃t3∈R;【2b3a】and【2b3b】]さらにこの条件②を、数学用語のみを用いた形に書き直すことが出来る。③∀x,y,z∈R(3);∀t1,t2∈R;∀ε>0;∃l>0;【1】⇒[【2】and【3】]【1】z-y=y-x≠0
and t1<t2【2】∃f∈F2,n;【2a】and【2b】and【2c】【2a】L(f)【2b】f(t1,□,1)=x and f(t2,□,1)=y【2c】∃t3∈R;【2c1】and【2c2】and【2c3】【2c1】t3-t2=t2-t1【2c2】|f(t3,□,1)-z|<ε【2c3】∀t∈R;∀k∈{2,・・・,n};t1≦t≦t3⇒|x-f(t,□,k)|+|f(t,□,k)-z|≧l【3】∀f∈F2,n;[【2a】and【2b】and【3a】]⇒【3b】【3a】∃t3∈R;【2c1】and【2c3】【3b】∃t3∈R;【2c1】and【2c2】この条件を、Lに対する方程式と考えることが出来る。L=e2(□,0,μ(P1,・・・,Pn;I,J))は、その方程式の解になっている。
|
