§ I. POJĘCIE TENSORA 267
Definicja 4. Tensorem kontrawariantnym rzędu M nazywamy zbiór wielkości Tk,k2"kM, jeżeli podczas zamiany współrzędnych wielkości te transformują się zgodnie z równaniem
dx,kM 8xsM ’
przy czym Tklkl"kM jest tensorem w układzie współrzędnych *r, natomiast T,k'kl "kM jest tym samym tensorem w układzie x".
W szczególnym przypadku dla M — 1 mamy do czynienia z tensorem kontrawariantnym rzędu pierwszego Tn zwanym często, wektorem kontrawariantnym.
Definicja 4'. Tensorem kontrawariantnym rzędu pierwszego nazywamy zbiór wielkości Tn, jeżeli podczas zamiany współrzędnych wielkości te transformują się zgodnie z równaniem
dx’n
(1.7) r"=zTk~exk'
7jz związku (1.5) wnioskujemy, że zbiór różniczek dxr jest wektorem kontrawariantnym, podczas gdy zbiór współrzędnych xk nie jest tensorem. Zbiór współrzędnych xk przy przejściu do innego układu współrzędnych przekształca się bowiem według zależności (1.2), a nie według zależności (1.5).
Definicja 5. Niezmiennikiem nazywamy wielkość, której wartość jest niezależna od przyjętego układu współrzędnych.
Niezmiennik uważamy za tensor rzędu zerowego o jednej składowej, a zatem
Definicja 6. Tensorem kowariantnym rzędu M nazywamy zbiór wielkości Tklk2^kM, jeżeli podczas zamiany współrzędnych wielkości te transformują się zgodnie z równaniem
(1.9)
- TS%2...S
dx*M dx,kM ’
gdzie Tklkl kM jest tensorem w układzie współrzędnych xr, natomiast Tklkl kM jest tym samym tensorem w układzie x".
W szczególnym przypadku dla M = 1 mamy do czynienia z tensorem kowariantnym rzędu pierwszego T„, zwanym często wektorem kowariantnym.
Definicja 6'. Tensorem kowariantnym rzędu pierwszego nazywamy zbiór wielkości T„, jeżeli przy przejściu od współrzędnych xr do współrzędnych x" wielkości T„ transformują się zgodnie z równaniem
TL
dxk
Tkdć"'