【SEOテキスト】宇田雄一「古典物理学」④∀x,y∈F5;[【1】and【2】and【3】]⇒(x=y)【1】∃n∈N;∃z∈F4,n;∃m∈R({1,・・・,n});e7(x,z,m)and
e7(y,z,m)【2】∀(ξ,i,k,4)∈N5;ξ(4)=0⇒x(ξ,i,k,4)=y(ξ,i,k,4)and ∂4x(ξ,i,k,4)=∂4y(ξ,i,k,4)【3】∀ξ∈N01;ξ(4)=0⇒x(ξ,4,4,4)>0
and det g(ξ,□,□;x)<0 and y(ξ,4,4,4)>0 and det g(ξ,□,□;y)<0 and[∀v∈R(3);3∑i=1
3∑j=1 g(ξ,i,j;x)v(i)v(j)<0]and[∀v∈R(3);3∑i=1 3∑j=1 g(ξ,i,j;y)v(i)v(j)<0]⑤∀n∈N;∀x,y∈F6,n;[∃m∈R(2×{1,・・・,n});【1】and【2】and【3】and【4】and【5】]⇒(x=y)【1】e8(x,m)and
e8(y,m)【2】∀(t,i,k)∈N2,n;(t=0)⇒[x(t,i,k)=y(t,i,k)and ∂4x(t,i,k)=∂4y(t,i,k)]【3】∀(ξ,i,k)∈N3;[ξ(4)=0]⇒[x(ξ,i,k)=y(ξ,i,k)]【4】∀(ξ,i,k,4)∈N5;[ξ(4)=0]⇒[x(ξ,i,k,4)=y(ξ,i,k,4)and
∂4x(ξ,i,k,4)=∂4y(ξ,i,k,4)]【5】∀ξ∈N01;ξ(4)=0⇒x(ξ,4,4,4)>0 and det g(ξ,□,□;x(N5))<0
and y(ξ,4,4,4)>0 and det g(ξ,□,□;y(N5))<0 and[∀v∈R(3);3∑i=1 3∑j=1
g(ξ,i,j;x(N5))v(i)v(j)<0]and[∀v∈R(3);3∑i=1 3∑j=1 g(ξ,i,j;y(N5))v(i)v(j)<0]これらの命題④⑤の真偽は、私には見当も付かない。一応挙げておくのみとする。シュヴァルツシルト解(§3-1-2)を見ると、④【3】や⑤【5】でボロが出そうだ。
|
