【SEOテキスト】宇田雄一「古典物理学」3-1-3重ね合わせの定理,まず、以下の四つの定理①②③④が成り立つ。①∀x,y∈F3;∀z∈F5;∀a,b∈R;[e3(x,Y,z,0)and
e3(y,Y,z,0)]⇒e3(ax+by,Y,z,0)②∀x,y∈F3;∀z∈F5;∀n∈N;∀Y∈F2,n;∀q∈R({1,・・・,n});[e3(x,Y,z,q)and
e3(y,X,z,0)]⇒e3(x+y,Y,z,q)③∀x,y∈F3;∀z∈F5;∀n∈N;∀Y∈F2,n;∀q∈R({1,・・・,n});[e3(x,Y,z,q)and
e3(y,Y,z,q)]⇒e3(x-y,X,z,0)④∀x,y∈F3;∀z∈F5;∀n,m∈N;∀Y1∈F2,n;∀Y2∈F2,m;∀Y3∈F2,n+m;∀q1∈R({1,・・・,n});∀q2∈R({1,・・・,m});∀q3∈R({1,・・・,n+m});[【1】and【2】and【3】]⇒【4】【1】∀i∈{1,・・・,n};Y3(□,□,i)=Y1(□,□,i)and
q3(i)=q1(i)【2】∀i∈{1,・・・,m};Y3(□,□,n+i)=Y2(□,□,i)and q3(n+i)=q2(i)【3】e3(x,Y1,z,q1)and
e3(y,Y2,z,q2)【4】e3(x+y,Y3,z,q3)
|
