268 5. ZARYS RACHUNKU TENSOROWEGO
Definicja 7. Tensorem mieszanym rzędu M+L o M wskaźnikach kontrawariantnych i L wskaźnikach kowariantnych nazywamy zbiór wielkości jeżeli podczas za
miany współrzędnych wielkości te transformują się zgodnie z równaniem
rpfkik2...kM
rj->P\P2...p\f
Irirl...rL
dx,k‘
dx'k2
dxP2
dx'kM dxr‘ dxr2 dxrL dx'PM ' ~dxr’1' dć*2' ''fo*1’
gdzie Tklkl;;;k” jest tensorem w układzie współrzędnych xr, natomiast T^‘k2's'kM jest tym samym tensorem w układzie x'r.
W szczególnym przypadku dla M = 1 i L = 1 mamy do czynienia z tensorem mieszanym rzędu drugiego T' o jednym wskaźniku kontrawariantnym i jednym wskaźniku ko-wariantnym.
Definicja 7'. Tensorem mieszanym rzędu drugiego nazywamy zbiór wielkości T[, jeżeli podczas zamiany współrzędnych wielkości te transformują się zgodnie z równaniem
dx'r dxl
Należy zauważyć (patrz wzory (1.6), (1.7), (1.9), (1.10) oraz (1.11)), że górny wskaźnik jest wskaźnikiem kontrawariantnym, a dolny — kowariantnym.
77 = T,k
Definicja 8. Mówimy, że dwa tensory są sobie równe, jeżeli są one tego samego typu i tego samego rzędu oraz jeżeli wszystkie składowe o tych samych wskaźnikach są sobie równe.
Definicja 9. Deltą Kroneckera nazywamy symbol określony relacją
(1.13)
r = s, rj^s.
Własność 1. Deltę Kroneckera możemy napisać w postaci
(1.14)
lub
(1.15)
dx* • ■ dx'k dxs ’
co wynika z rachunku różniczkowego, mamy bowiem
(1.16) |
dxr 3xr 8x'k dxs = d7k"dxs' | ||
np. | |||
dxl |
dx1 |
dx'1 dxl dx'2 8xi dx‘ | |
i oczywiście |
d? |
"a?1* |
dx2 +dx'2 dx2 +dx'2 dx |
dxl
d?
6xl dx* dx'N dx2
<
= 0.