【SEOテキスト】宇田雄一「古典物理学」【2b2d】∀t∈R;t1≦t≦t2-ε⇒(番号zを持つSの時計分子が時刻tを指したときに、その点での電磁場の値は空であるかまたは空に非常に近い)【2c】∀ε>0;∃h∈H;【2c1】and【2c2】【2c1】hが可能だ【2c2】h⇒[【2c2a】and【2c2b】and【2c2c】and【2c2d】]【2c2a】∀w∈R(3);ε<|w-y|<1/ε⇒(番号wを持つSの時計分子が時刻t2を指したときに、その点での電磁場の値は空であるかまたは空に非常に近い)【2c2b】∀w∈R(3);∀t∈R;∀k∈{1,・・・,n};(ε<|w-y|<1/ε
and t2≦t≦t3+ε)⇒(番号wを持つSの時計分子が時刻tを指したときに、その時計分子はPkと重なっていない)【2c2c】∃t∈R;t3-ε<t<t3+ε
and(番号xを持つSの時計分子が時刻tを指したときに、その点での電磁場の値が空とはっきり異なっている)【2c2d】∀t∈R;t2≦t≦t3-ε⇒(番号xを持つSの時計分子が時刻tを指したときに、その点での電磁場の値は空であるかまたは空に非常に近い)【2d】∀ε>0;∃h∈H;【2d1】and【2d2】【2d1】hが可能だ【2d2】h⇒[【2d2a】and【2d2b】and【2d2c】and【2d2d】]【2d2a】∀w∈R(3);ε<|w-x|<1/ε⇒(番号wを持つSの時計分子が時刻t2を指したときに、その点での電磁場の値は空であるかまたは空に非常に近い)【2d2b】∀w∈R(3);∀t∈R;∀k∈{1,・・・,n};(ε<|w-z|<1/ε
and t2≦t≦t3+ε)⇒(番号wを持つSの時計分子が時刻tを指したときに、その時計分子はPkと重なっていない)
|
