(2)長さゲージと速度ゲージがゲージ変換で結ばれていることを確認する。しているので、実質的にはφの項はない。r}\tag{3}\]とおく。0\tag{4.2}\]これらの変換を(1)に施すと、長さゲージのハミルトニアンが得られる。gauge)について。(汗)定義とかもよく分からないので、かなり我流の展開でふくらませています。空間的に一様であるとする。V\tag{2}\]と表せる。r}\tag{3}\]と表すこともできる。V\tag{4}\]こちらは、長さゲージと呼ばれる。この2つの表記は、実は単純に、ゲージ変換で結ばれている。(2)開集合と閉集合の関係について。おいて、以下の2つの命題は同値。