ローレンツ空間は、formula_46とformula_56の間の実である。