ローレンツ変換
ディラック場 は微小ローレンツ変換の下で