【SEOテキスト】宇田雄一「古典物理学」【4'】and【5】⇒【1】and【2】and【3】and【4】and【6】and【6'】の証明:【4'】が成り立てば【3】も【4】も成り立つ。【3】【4】が成り立てば【1】【2】も成り立つと言うことは既に示した。【5】⇒【6】も既に示した。だから【6'】を示すだけでよい。勝手に選んだT(1),T(2)∈Tに対して、MT(2)V=MT(1)とV∈VTを満たすT∈TとVの存在することが、【2】【4'】から分かる。したがって【6】よりLT(2)V=LT(1)であることも分かる。故にLT(2)=LT(1)
|