ポンサンのテキスト（https://orbilu.uni.lu/bitstream/10993/14274/1/MM4-9November2011.pdf）のP.46の命題15に次の式が出ている。なお、rは実際はドイツ文字（\mathfrak）で 。同じページ内に、Xの定義は と書いてあるので、次でも同じ。括弧と演算子を少…

以前も書いたが： 場 1 接続付きバンドル 場 2 セクション 外部空間 底空間 内部空間 ファイバー 外部自由度／対称性 底空間への群作用 内部自由度／対称性 ファイバーへの群作用 外部無限小変換 ベクトル場、流れの微分 内部無限小変換 構造群のリー代数元 …