エントロピーは状態数なのでローレンツ変換で不変です