ネーターの定理
とすると、強連続１パラメータユニタリ変換群に関するネーターの定理から、以下の３つは同値である：