つまりローレンツが考えたのは「ローレンツ変換」ではなかったんだ。
「ローレンツ収縮」だった。しかし式が同じなので
特殊相対性理論における座標変換もローレンツ変換と呼ばれる。