ネーターの定理
これは解析力学におけるネーターの定理の一般化であるともみられる。