時空の となる2点が時間的にどれぐらい隔たっているかを測ることが出来る。
これが次のtime separation(時間間隔)である。
time separation
時空 に対して、time separation(時間間隔) を
と定義する。
ただし、 を結ぶ未来向きのcausal曲線が存在しないときは、 と定める。
time separationの基本的な性質は次である。
とすると、 を結ぶ未来向きのcausal曲線 で となるものが存在する。
はヌル測地線ではないから端点を固定した変分によりtimelike曲線に変形できる。
従って、 である。
逆は明らかである。
を結ぶcausal曲線 と を結ぶcausal曲線を を適切に選べば、任意の小さい に対して となるようにできる。
よって となり、不等式が従う。
一般にtime separationは連続関数ではない。
画像の名前
この例では を結ぶtimelike曲線(青線)の長さは、 を小さく取れば、いくらでも0に近くなるから はいくらでも小さくできる。
しかし それぞれの任意の近傍から適当に を取ると を結ぶtimelike曲線(黄線)の長さが1に近いものがある。
従って の近くに制限しても が大きくなる範囲が一定値より小さくなるようにすることはできない。
この例から は上半連続ではないことが分かる。
下半連続(上半連続)とは任意に少しだけ小さくなる(大きくなる)近傍があるということであり、詳しくは以下で定義される。
半連続
を位相空間とするとき、写像 が点 において連続であるとは、任意の に対して、ある の近傍 があって、任意の点列 が を満たすことである。
が下半連続であるとは最後の式が となることであり、同様に上半連続であるとは となることである。
time separationの下半連続性
任意の時空においてtime separationは下半連続である。
のときは定義より において下半連続である。
とする。
を結ぶtimelike曲線 で となるものが存在する( は任意の小さい正数)。
上の に十分近い点をそれぞれ とする(適当な凸近傍内に選べばよい)。
を結ぶ測地線を 、 を結ぶ測地線を とする。
の近傍 で任意の に対して、 が成り立つものが取れる(凸近傍内ではtimelike曲線の長さは端点に関して連続であり、 に対してこの不等式は成り立つから)。
同様に、 の近傍 で任意の に対して、 が成り立つものが取れる。
よって任意の に対して、
となり、下半連続であることが分かる。