1 Tensor Densities

advertisement
GR Notes for Wednesday, September 24th, 2014
Peisen Ma
1
Tensor Densities
First let’s recall the Levi-Civita symbol which is defined as
˜µ1 µ2 ···µn = +1
(1)
if µ1 µ2 · · · µn is an even permutation of 01 · · · (n − 1);
˜µ1 µ2 ···µn = −1
(2)
if µ1 µ2 · · · µn is an odd permutation of 01 · · · (n − 1);
˜µ1 µ2 ···µn = 0
(3)
if otherwise.
Given any n × n matrix Mµµ0 , we have the following property
˜µ01 µ02 ···µ0n Det(Mµµ0 ) = ˜µ1 µ2 ···µn Mµµ01 Mµµ02 · · · Mµµ0nn
1
Now if we set
2
0
Mµµ0 = ∂xµ /∂xµ
we can get
(4)
(5)
0
˜µ01 µ02 ···µ0n = |
where we have used
∂xµ1 ∂xµ2
∂xµn
∂xµ
|˜
·
·
·
µ µ ···µ
0
0
∂xµ 1 2 n ∂xµ1 ∂xµ2
∂xµ0n
(6)
0
∂xµ
1
=
|
|
Det(Mµµ0 )
∂xµ
(7)
Thus we can see the Levi-Civita symbol transforms in a way close to the
tensor transformation law except for the determinant out front, so objects
transforming in this way are called Tensor Densities.
Define the determinant of metric gµν as
g = Det(gµν )
1
(8)
Now consider the following relation
gµ0 ν 0 = gµν
then we get
∂xµ ∂xν
∂xµ0 ∂xν 0
(9)
0
∂xµ
∂xµ
g = g| µ0 |2 = g| µ |−2
∂x
∂x
Therefore g is called Tensor Density and it’s NOT a scalar.
0
(10)
Since tensor density does not transform as a tensor does, we can define a
tensor as
µ1 µ2 ···µn = g 1/2 ˜µ1 µ2 ···µn
(11)
which will transform according to the tensor transformation law.
2
Causality
A causal curve is defined to be one which is timelike or null everywhere.
Given any subset S of a manifold M, we can define the causal future of
S, denoted J + (S), to be the set of points that can be reached from S by
following a future-directed causal curve.
Given any subset S of a manifold M, the chronological future I + (S) is
the set of points that can be reached by following a future-directed timelike
curve.
Causal past J − and chronological past I − are defined analogously.
A subset S of manifold M is called achronal if no two points in S are connected by a timelike curve.
Given a closed achronal set S, the future domain of dependence of S,
denoted D+ (S), is defined as the set of all points p such that every pastmoving inextendible causal curve through p must intersect, and we define
the boundary of D+ (S) to be the future Cauchy horizon H + (S). And
2
likewise we can define D− (S) and H − (S).
3
Download