2011-09-17 選択公理とラグランジアン math phys 空でない集合の族の元を一つとることは,族の和集合に整列順序が入れば各集合の最小元をとることによって実行できる.ゲージ固定されたラグランジアンを与え最小作用の原理によって経路を決めるのに似ている.