>>284
ローレンツ収縮と規定ベクトルの長さ云々のカンケイなんかないだろ

そもそも反変ベクトルも共変ベクトルも知らないのに基底ベクトルの話をしたのかね？っていう
基底ベクトルももちろん反変ベクトルか共変ベクトルなんでねちゃんと変換の対応付けができてる
任意の座標変換に対する対応付けはできてます

長さが変わるといっても(t',x',y',z')と(t,x,y,z)の間の任意の座標変換
t'=f0(t,x,y,z)
x'=f1(t,x,y,z)
y'=f2(t,x,y,z)
z'=f3(t,x,y,z)
ですがどういう場合におかしくなりますか？