ローレンツ空間はformula_2と表される。