>>800
ローレンツ変換はミンコフスキー空間からミンコフスキー空間への連続写像であり
その定義域と値域はどちらも稠密な無限空間なのだが。