gμσ gντ gστ dxμ dxν
Now according to the rules of multiplication, of the fore-going paragraph, the magnitudes
dξσ = gμσ dxμ
forms a co-variant four-vector, and in fact (on account of the arbitrary choice of dxμ) any arbitrary four-vector.
If we introduce it in our expression, we get
ds² = gστ dξσ dξτ.
For any choice of the vectors dξσ dξτ this is scalar, and gστ, according to its definition is a symmetrical thing in σ and τ, so it follows from the above results, that gστ is a contravariant tensor. Out of (16) it also follows that δνμ is a tensor which we may call the mixed fundamental tensor.
Determinant of the fundamental tensor.
According to the law of multiplication of determinants, we have
| gμα gαν | = | gμα | | gαν |