数学的には、ゲージは主バンドルの(局所)切断を選ぶことである。