Tekst źródłowy strony Tensor

{{Definicja intuicyjna|'''Tensor''' – uogólnienie pojęcia wektora; wielkość (tablica liczb), której własności pozostają identyczne niezależnie od wybranego układu współrzędnych.}}

'''Tensor''' – obiekt matematyczny będący uogólnieniem pojęcia [[wektor]]a<ref group="uwaga">Wektora w sensie „szkolnym”. W [[algebra liniowa|algebrze liniowej]] wektor to element dowolnej [[Przestrzeń (matematyka)|przestrzeni]] liniowej, w tym sensie tensor jest szczególnym przypadkiem wektora.</ref><ref>{{Encyklopedia PWN |tytuł = Tensor |id = 4010233 |data dostępu = 2021-07-24}}</ref>. Zbiór wszystkich tensorów wraz z działaniami [[Wektor#Dodawanie i odejmowanie|dodawania]] i [[Wektor#Mnożenie przez skalar|mnożenia]] przez [[Skalar (matematyka)|skalar]] nazywa się '''przestrzenią tensorową'''. Tensory, podobnie jak wektory, mogą być swobodne i zaczepione. Rozważa się '''[[pole tensorowe|pola tensorowe]]''' (nazywane również w skrócie tensorami), czyli [[Pole (fizyka)|pola]], które każdemu punktowi przestrzeni przypisują pewien tensor. Tensory, które zmieniają się przy zmianie skali, ściśle nazywa się '''gęstościami tensorowymi'''.

Obiektami podobnymi do tensorów są tensory spinorowe (np. [[spinor]]y są analogami wektorów). Uogólnieniem tensorów i tensorów spinorowych jest tzw. obiekt geometryczny{{odn|Raszewski|1958|s=154, 155, 160}}.

== Cel ==
[[Plik:Components stress tensor.svg|link=https://en.wikipedia.org/wiki/File:Components_stress_tensor.svg|prawo|mały|300x300px|Tensor [[Naprężenie|naprężeń]] Cauchy'ego, tensor 2-go rzędu. Składowe tensora w układzie kartezjańskim 3-wymiarowym tworzą macierz
<math>\begin{align}
\sigma & = \begin{bmatrix}\mathbf{T}^{(\mathbf{e}_1)} \mathbf{T}^{(\mathbf{e}_2)} \mathbf{T}^{(\mathbf{e}_3)} \end{bmatrix} \\
& = \begin{bmatrix} \sigma_{11} & \sigma_{12} & \sigma_{13} \\ \sigma_{21} & \sigma_{22} & \sigma_{23} \\ \sigma_{31} & \sigma_{32} & \sigma_{33} \end{bmatrix}
\end{align}</math> której kolumny są naprężeniami (naprężenie to iloraz siły przez powierzchnię) działającymi na ściany '''e'''<sub>1</sub>, '''e'''<sub >2 oraz</sub> '''e'''<sub>3</sub> sześcianu.]]

'''(1)''' Aby opisać przestrzeń geometryczną (np. przestrzeń 3-wymiarową, [[czasoprzestrzeń]]), wprowadza się zazwyczaj [[układ współrzędnych]], który można wybierać na wiele sposobów. Zapis praw przyrody przy ustalonym układzie nie pozwala na ogół rozstrzygnąć czy jakaś zaobserwowana właściwość danego zjawiska jest cechą praw przyrody, czy tylko narzuca ją wybór układu współrzędnych.

Tensory, [[Obiekt matematyczny|obiekty matematyczne]] mają właściwości niezależne od wyboru układu współrzędnych. Z wyrażeń tensorowych tworzy się równania, zwane '''równaniami tensorowymi''' lub '''tożsamościami tensorowymi'''. Równania te słuszne w jednym układzie będą słuszne w każdym innym.

'''(2)''' [[Prawa fizyki]] powinny dać się zapisać za pomocą równań tensorowych, tzn. [[wielkość fizyczna|wielkości fizyczne]] występujące w równaniach opisujących podstawowe prawa przyrody powinny być tensorami (skalarami, wektorami, tensorami wyższych rzędów). Przy tym postuluje się za Einsteinem, iż równania tensorowe powinny być '''niezmiennicze''' względem zmiany [[układ współrzędnych|układu współrzędnych]], tzn. symbole wielkości tensorowych powinny być powiązane ze sobą w identyczny sposób po transformacji z jednego układu współrzędnych do innego. Co istotne, żąda się, by rozważane transformacje miały bardzo ogólny charakter. Np. równania [[Szczególna teoria względności|szczególnej]] i [[Ogólna teoria względności|ogólnej teorii względności]] (STW i OTW) są równaniami tensorowymi niezmienniczymi ze względu na [[Transformacja Lorentza|transformację Lorentza]].

Wybór konkretnego układu współrzędnych pozwala na rzutowanie tensorów na osie układu współrzędnych – w ten sposób dostaje się współrzędne tensorów będące liczbami (lub funkcjami zależnymi od punktów przestrzeni), co umożliwia przeprowadzenie obliczeń.

'''(3)''' Równania Newtona, będące podstawą [[Fizyka klasyczna|fizyki klasycznej]], mają charakter równań tensorowych – występują w nich wektory, a równania są niezmiennicze ze względu na [[Transformacja Galileusza|transformację Galileusza]]. Np. w równaniu [[Zasady dynamiki Newtona|II zasady dynamiki Newtona]] występują wektor siły <math>\mathbf{F}</math> i wektor pędu <math>\mathbf{p}</math> (wektory są tensorami I rzędu):
: <math>\mathbf{F} =\frac{d\mathbf{p}}{dt}.</math>

W konkretnie wybranym układzie współrzędnych równanie to przyjmie postać układu trzech równań:
: <math>F^i =\frac{d p^i}{dt},\quad i=1,2,3</math>

gdzie <math>F^i, p^i</math> – współrzędne wektorów rzutowanych na osie wybranego układu współrzędnych.

'''(4)''' Transformacja Galileusza jest mniej ogólna niż transformacja Lorentza. Wprowadzenie przez Einsteina wymogu, by prawa fizyki były niezmiennicze ze względu na transformację Lorentza doprowadziło do bardziej uniwersalnego sformułowania praw przyrody, w postaci STW i OTW.

'''(5)''' Rachunek wektorowy był przez długi czas dla matematyków wystarczający, ponieważ rozważano tylko jeden układ współrzędnych: [[Ortonormalność|ortonormalny]] układ kartezjański. Z czasem zaszła potrzeba rozważania innych układów, np. kartezjańskich ukośnokątnych lub [[Współrzędne krzywoliniowe|krzywoliniowych]]. Także w obrębie zainteresowań matematyków pojawiły się [[Rozmaitość|przestrzenie zakrzywione]], w których nie da się zdefiniować prostoliniowego układu współrzędnych. Dlatego konieczne stało się używanie rachunku tensorowego.

== Parametryzacja przestrzeni – przyjęcie układu współrzędnych ==
Parametryzacja przestrzeni poprzez przyjęcie układu współrzędnych z kanonicznie zdefiniowaną bazą i kobazą wektorów stanowi niezbędny element definicji tensorów.

'''(1)''' Niech będzie dana [[Przestrzeń euklidesowa|przestrzeń Euklidesa]] – rozważymy tu dla prostoty przestrzeń trójwymiarową (uogólnienie na przestrzenie euklidesowe dowolnego wymiaru będzie wymagać jedynie zwiększenia zakresu sumowań w podanych wzorach).

'''(2)''' W przestrzeni Euklidesa zawsze można zdefiniować [[Układ współrzędnych kartezjańskich|kartezjański układ współrzędnych]] – tzw. '''bazowy układ współrzędnych''', tak że każdy punkt przestrzeni określony jest przez trójkę liczb <math>\{z^1, z^2, z^3\}</math> zwanych współrzędnymi tego punktu; [[wektor wodzący]] punktu ma postać
: <math>\vec r=z^I \vec e_I\equiv \sum_{I=1}^3z^I \vec e_I,</math>

gdzie:
: <math>\vec e_I=\frac{\partial{\vec r}}{\partial z^I},\,\,\, I=1,2,3</math> – wektory '''lokalnej''' bazy układu współrzędnych kartezjańskich; wektory te są ortogonalne i unormowane do 1.

'''(3)''' W przestrzeni wprowadzamy drugi dowolny '''[[Współrzędne krzywoliniowe|krzywoliniowy układ współrzędnych]] <math>\{x^1, x^2, x^3\},</math>''' zdefiniowany względem układu współrzędnych kartezjańskich <math>\{z^1, z^2, z^3\},</math> zadany za pomocą funkcji
: <math>z^I=z^I(x^1, x^2, x^3),\,\,\, I=1,2,3</math>

lub
: <math>x^i=x^i(z^1, z^2, z^3),\,\,\, i=1,2,3.</math>

'''(4)''' Przekształcenie musi być jednoznaczne, dlatego [[Macierz Jacobiego|jakobian]] przekształcenia musi być różny od zera w całym obszarze, gdzie chce się wprowadzić współrzędne krzywoliniowe
: <math>J\equiv \left[\frac{\partial z^I}{\partial x^i}\right]\ne 0.</math>

'''(5)''' '''Bazę''' układu <math>\{x^1, x^2, x^3\}</math> tworzą wektory styczne do linii układu współrzędnych
: <math>\vec g_i = \frac{\partial\vec r}{\partial x^i},\quad i=1,2,3.</math>

Podstawiając
: <math>\vec r = z^I \vec e_I,</math>

otrzymamy wyrażenie na wektory styczne do linii współrzędnych w układzie krzywoliniowym, wyrażone w bazie układu kartezjańskiego
: <math>\vec g_i = \frac{\partial z^I }{\partial x^i}\vec e_I,\quad i=1,2,3,</math>

przy czym należy pamiętać, że w powyższym wzorze obowiązuje sumowanie po powtarzającym się wskaźniku <math>I.</math>

Z powyższego widać, że:
: '''Wektory bazy kartezjańskiej transformują się na bazę układu krzywoliniowego poprzez macierz'''
: <math>T_{bazy} = \left[\frac{\partial z^I }{\partial x^i}\right]</math>
: (tj. równą macierzy transformacji nowych współrzędnych w stare).

'''(6)''' '''Kobazę''' układu współrzędnych (bazę sprężoną do <math>\vec g_i</math>) tworzą wektory prostopadłe do płaszczyzn wyznaczonych przez pary wektorów bazowych <math>\vec e^I, I=1,2,3</math>
: <math>\vec g^i=\frac{\partial{\vec x^i}}{\partial z^I}\vec e_I, \,\,\,i=1,2,3.</math>

Z powyższego widać, że:
: '''Wektory bazy kartezjańskiej transformują się na kobazę układu krzywoliniowego poprzez macierz''' <math>T_{kobazy} = \left[\frac{\partial x^i}{\partial z^I }\right].</math>

'''(7)''' Z powyższego widać, że
: '''Macierze transformacji bazy kartezjańskiej w wektory bazy i kobazy są wzajemnie odwrotne''', tj.
: <math>T_{kobazy} = T_{bazy}^{-1}.</math>

'''(8)''' Zależności między wektorami bazy i kobazy
: <math>\vec g^1 \perp \vec g_2 \,\,\text{oraz} \,\,\,\vec g^1 \perp \vec g_3</math>
: <math>\vec g^2 \perp \vec g_1 \,\,\text{oraz} \,\,\,\vec g^2 \perp \vec g_3</math>
: <math>\vec g^3 \perp \vec g_2 \,\,\text{oraz} \,\,\,\vec g^3 \perp \vec g_1</math>
: oraz
: <math>\vec g_i \, \vec g^j

= \frac{\partial z^I }{\partial x^i}\vec e_I
  \frac{\partial x^j }{\partial z^J}\vec e_J

= \frac{\partial z^I }{\partial x^i}
  \frac{\partial x^j }{\partial z^J} \delta_{IJ}

= \frac{\partial z^J }{\partial x^i}
  \frac{\partial x^j }{\partial z^J}

= \frac{\partial x^j }{\partial x^i}

= \delta_i^j,</math>
: gdzie
: <math>\delta_i^j</math> – [[Symbol Kroneckera|delta Kroneckera]].

== Definicja tensorów ==
=== Tensor 0. rzędu, czyli pole skalarne (funkcja skalarna) ===
: <math>F(x^1,x^2,x^3)

= F\big(x^1(z^1,z^2,z^3),
x^2(z^1,z^2,z^3),
x^3(z^1,z^2,z^3)\big)</math>
: nie zmienia wartości przy przejściu do innego układu współrzędnych.

=== Tensor 1. rzędu, czyli pole wektorowe ===
Jedna z możliwych definicji tensora opiera się na obserwacji, iż współrzędne wektorów wykazują szczególne właściwości transformacyjne przy przejściu do bazy innego układu współrzędnych. Poniżej pokażemy te właściwości transformacyjne.

'''(1)''' Wektor jest obiektem geometrycznym, dlatego nie zależy od tego, w jakiej bazie jest wyrażony. Stąd prawdziwe muszą być poniższe równości
: <math>\vec A = A^i\vec g_i = A^I\vec e_I.</math>

'''(2)''' Ponieważ <math>\vec g_i = \frac{\partial z^I}{\partial x^i}\vec e_I,</math> to zachodzi odwrotna zależność
: <math>\vec e_I = \frac{\partial x^i}{\partial z^I}\vec g_i.</math>

'''(3)''' Podstawiając powyższe wyrażenie do pierwszej równości otrzyma się
: <math>A^i = \frac{\partial x^i}{\partial z^I} A^I.</math>

'''(4)''' Oznacza to, że współrzędne wektora kontrawariantnego określone w układzie <math>\{z^1, z^2, z^3\}</math> przy przejściu do innego układu <math>\{x^1, x^2, x^3\}</math> transformują się w tak że:
: '''Nowe współrzędne wektora zależą od starych współrzędnych poprzez macierz transformacji''' <math>\left[\frac{\partial x^i}{\partial z^I }\right],</math> tj.
: <math>A^i = \frac{\partial x^i}{\partial z^I}A^I,\,\,\, i=1,2,3.</math>

'''(5)''' Powyższą właściwość dotyczącą transformacji współrzędnych wektora uogólnia się, co stanowi podstawę jednej z możliwych definicji tensora.

=== Tensor 2. rzędu otrzymany z iloczynu dwóch wektorów ===
Tensor 2-go rzędu można otrzymać np. z [[Iloczyn Kroneckera|iloczynu tensorowego]] dwóch wektorów.

'''(1)''' Iloczyn dwóch wektorów w postaci kontrawariantnej daje tensor kontrawariantny 2. rzędu, gdyż
: <math>T = \vec A\otimes\vec B = A^i\vec g_i\otimes B^j \vec g_j=A^i B^j \,\,\vec g_i\otimes \vec g_j,</math>
: gdzie
: <math>\vec g_i\otimes \vec g_j</math> – iloczyny tensorowe (zewnętrzne) wektorów bazy
: <math>T^{ij}=A^i B^j</math> – współrzędne kontrawariantne tensora.

'''(2)''' Iloczyn dwóch wektorów w postaci kowariantnej daje tensor kowariantny, gdyż
: <math>T = \vec A\otimes\vec B = A_i\vec g^i\otimes B_j \vec g^j=A_i B_j \,\,\vec g^i\otimes \vec g^j,</math>
: gdzie
: <math>\vec g^i\otimes \vec g^j</math> – iloczyny tensorowe (zewnętrzne) wektorów kobazy,
: <math>T_{ij}=A_i B_j</math> – współrzędne kowariantne tensora.

'''(3)''' Iloczyn wektora w postaci kowariantnej z wektorem w postaci kontrawariantnej daje tensor mieszany, gdyż
: <math>T = \vec A\otimes\vec B = A_i\vec g^i\otimes B^j \vec g_j=A_i B^j \,\,\vec g^i\otimes \vec g_j,</math>
: gdzie
: <math>\vec g^i\otimes \vec g_j</math> – iloczyny tensorowe (zewnętrzne) wektorów kobazy i bazy,
: <math>T_i^j=A_i B^j</math> – współrzędne kowariantno-kontrawariantne tensora.

'''(4)''' Iloczyn wektora w postaci kontrawariantnej z wektorem w postaci kowariantnej daje tensor mieszany, gdyż
: <math>T = \vec A\otimes\vec B = A^i\vec g_i\otimes B_j \vec g^j=A^i B_j \,\,\vec g_i\otimes \vec g^j,</math>
: gdzie
: <math>\vec g_i\otimes \vec g^j</math> – iloczyny tensorowe (zewnętrzne) wektorów bazy i kobazy,
: <math>T^i_j=A^i B_j</math> – współrzędne kontrawariantno-kowariantne tensora.

'''(5)''' Z powyższego widać, że tensor 2. rzędu ma współrzędne różnego typu w zależności od tego, w jakiej bazie jest wyrażony. Ponieważ jednak tensor jest obiektem geometrycznym, to nie zależy od bazy, w jakiej jest wyrażany, dlatego dla dowolnego tensora słuszne są zależności
: <math>T

= T^{ij} \,\,\vec g_i\otimes \vec g_j

= T^i_j \,\,\vec g_i\otimes \vec g^j

= T_i^j \,\,\vec g^i\otimes \vec g_j

= T_{ij} \,\,\vec g^i\otimes \vec g^j.</math>

=== Transformacja współrzędnych tensora 2. rzędu ===
(1) Dany jest tensor w bazie wektorów <math>\vec g_i\otimes \vec g_j</math>
: <math>T = T^{ij} \vec g_i\otimes \vec g_j,</math>
: gdzie
: <math>T^{ij}</math> – współrzędne tensora.

(2) Tensor ten w bazie wektorów <math>\vec e_I\otimes\vec e_J</math> ma postać
: <math>T = T^{IJ} \vec e_I\otimes\vec e_J,</math>
: gdzie
: <math>T^{IJ}, \,\, I,J=1,2,3</math> – współrzędne tensora.

Z porównania (1) (2) oraz podstawienia zależności <math>\vec g_i

= \frac{\partial z^I }{\partial x^i}
  \vec e_I,</math> <math>\vec g_j

= \frac{\partial z^J }{\partial x^j}
  \vec e_J</math> wynikają związki transformacyjne współrzędnych tensora,
: <math>T^{ij}

= \frac{\partial x^i}{\partial z^I}
  \frac{\partial x^j}{\partial z^J}
T^{IJ}.</math>

=== Transformacja współrzędnych tensora dowolnego rzędu ===
Podobnie otrzymuje się wzory transformacyjne dla innych tensorów, np.
: <math>T^{ij}_{klm}

= \frac{\partial x^i}{\partial z^I}
  \frac{\partial x^j}{\partial z^J}
  \frac{\partial z^K}{\partial x^k}
  \frac{\partial z^L}{\partial x^l}
  \frac{\partial z^M}{\partial x^m}
T^{IJ}_{KLM}.</math>

== Przykład: Tensor utworzony z iloczynu tensorowego wektorów ==
Założenia:
:* <math>\vec e_1, \vec e_2,\vec e_3</math> – wektory bazy przestrzeni euklidesowej <math>E^3\equiv V</math> 3-wymiarowej,
:* <math>\vec e^1, \vec e^2,\vec e^3</math> – wektory bazy (tzw. kobazy) przestrzeni dualnej <math>V^*,</math>
:* <math>A^\mu=A^1\vec e_1+A^2\vec e_2+A^3\vec e_3</math> – wektor kontrawariantny (należący do <math>V</math>),
:* <math>B_\nu=B_1\vec e^1+B_2\vec e^2+B_3\vec e^3</math> – wektor kowariantny (należący do <math>V^*</math>).

Z wektorów <math>A^\mu, B_\nu</math> można utworzyć tensor <math>T^\mu_\nu</math> za pomocą mnożenia tensorowego, tj.
: <math>\begin{align}
T^\mu_\nu &= A^\mu\otimes B_\nu \\
&= (A^1\vec e_1+A^2\vec e_2+A^3\vec e_3)\otimes(B_1\vec e^1+B_2\vec e^2+B_2\vec e^3) \\
&= A^1 B_1 \, \vec e_1\otimes \vec e^1+A^1 B_2 \, \vec e_1\otimes \vec e^2+\ldots + A^3 B_3 \, \vec e_3\otimes \vec e^3,
\end{align}</math>

gdzie:
: <math>\vec e_1\!\otimes\! \vec e^1, \vec e_1\!\otimes\! \vec e^2, \dots, \vec e_3\!\otimes\! \vec e^3</math> – '''iloczyny tensorowe''' wektorów bazowych.

Aby jawnie pokazać, co wyrażają powyższe iloczyny tensorowe przyjmijmy reprezentację (kanoniczną) wektorów bazy w postaci wektorów wierszowych, a kobazy w postaci wektorów kolumnowych
: <math>
\vec e_1 = \begin{bmatrix} 1, 0,0\end{bmatrix}, \;
\vec e_2 = \begin{bmatrix} 0, 1,0\end{bmatrix}, \;
\vec e_3 = \begin{bmatrix} 0,0,1\end{bmatrix},</math>
: <math>
\vec e^1 = \begin{bmatrix} 1 \\ 0 \\ 0 \end{bmatrix}, \;
\vec e^2 = \begin{bmatrix} 0 \\ 1 \\ 0 \end{bmatrix}, \;
\vec e^3 = \begin{bmatrix} 0 \\ 0 \\ 1 \end{bmatrix}.</math>

Wtedy
: <math>\begin{align}
& \vec e_1 \otimes \vec e^1

= \begin{bmatrix} 1,0,0 \end{bmatrix} \otimes \begin{bmatrix} 1 \\ 0 \\ 0 \end{bmatrix}

= \begin{bmatrix} 1,0,0 \\ 0,0,0 \\ 0,0,0 \end{bmatrix} \\[1em]
& \vec e_1 \otimes \vec e^2

= \begin{bmatrix} 1,0,0 \end{bmatrix} \otimes \begin{bmatrix} 0 \\ 1 \\ 0 \end{bmatrix}

= \begin{bmatrix} 0,0,0 \\ 1,0,0 \\ 0,0,0 \end{bmatrix} \\
& \ldots \\
& \vec e_3 \otimes \vec e^3

= \begin{bmatrix} 0,0,1 \end{bmatrix} \otimes \begin{bmatrix} 0 \\ 0 \\ 1 \end{bmatrix}

= \begin{bmatrix} 0,0,0 \\ 0,0,0 \\ 0,0,1 \end{bmatrix}.
\end{align}</math>

Tensor
: <math>T^\mu_\nu=A^\mu\otimes B_\nu = \sum_{i=1}^3 \sum_{j=1}^3A^i B_j \, \vec e_i\!\otimes\! \vec e^j</math>

jest więc [[Kombinacja liniowa|kombinacją liniową]] wszystkich par wektorów bazowych mnożonych wektorow; tensor ten ma w podanej reprezentacji przedstawienie w postaci macierzy 3 × 3:
: <math>T^\mu_\nu=A^\mu\otimes B_\nu = \begin{bmatrix}
A^1 B_1 ,\,\, A^1 B_2,\,\, A^1 B_3 \\
A^2 B_1 ,\,\, A^2 B_2,\,\, A^2 B_3 \\
A^3 B_1 ,\,\, A^3 B_2,\,\, A^3 B_3
\end{bmatrix},</math>

przy czym wielkości
: <math>T^\mu_\nu=A^\mu B_\nu, \quad \mu, \nu =1,2,3</math>

'''nazywa się współrzędnymi''' <math>T^\mu_\nu</math> tensora; iloczyny tensorowe <math>\vec e_\mu\!\otimes\! \vec e^\nu,</math> które w podanej reprezentacji są '''macierzami''' 3 × 3 o jednym elemencie niezerowym, stanowią '''bazę''' przestrzeni tensorowej tensorów typu <math>T^\mu_\nu,</math> rozpiętych nad 3-wymiarową przestrzenią euklidesową <math>E^3.</math> Przestrzeń tensorowa tego typu tensorów jest więc <math>3^2=9</math>-wymiarowa.

'''Uwagi:'''

'''(1)''' Gdyby przestrzeń euklidesowa była <math>N</math>-wymiarowa, to tensory typu <math>T^\mu_\nu</math> (o dwóch indeksach) tworzyłyby przestrzeń tensorową <math>N^2</math>-wymiarową.

'''(2)''' Gdyby przestrzeń euklidesowa była <math>N</math>-wymiarowa, to tensory mające <math>(p+q)</math> indeksów tworzyłyby przestrzeń tensorową <math>N^{(p+q)}</math>-wymiarową. Np. tensory <math>T^{\mu_1, \mu_2, \mu_3}_{\nu_1, \nu_2}</math> mające <math>p+q=5</math> indeksów na przestrzeni <math>4</math>-wymiarowej tworzyłyby przestrzeń tensorową <math>4^5=1024</math> wymiarową (!).

== Definicja tensora za pomocą funkcji wieloliniowej ==
(''Uwaga: Poniższa definicja jest mało intuicyjna przy pierwszym zetknięciu się z pojęciem tensora'').

Jeżeli
* <math>\mathbb{V}</math> jest [[przestrzeń liniowa|przestrzenią liniową]] wymiaru ''N'' nad ciałem <math>\mathbb{K}</math><ref group="uwaga">Definicję tensora można nieco uogólnić, zastępując przestrzeń liniową nad ciałem modułem nad algebrą przemienną.</ref>,
* <math>\mathbb{V}^*</math> jest przestrzenią do niej [[Forma liniowa#Przestrzeń funkcjonałów|sprzężoną]],
* <math>p</math> i <math>q</math> są nieujemnymi liczbami całkowitymi,
* dany jest [[iloczyn kartezjański]],
: <math>\mathbb{V}^p\times (\mathbb{V}^*)^q := \underbrace{\mathbb{V}\times \ldots \times \mathbb{V}}_p \times \underbrace{\mathbb{V}^*\times \ldots \times \mathbb{V}^*}_q,</math>

to '''tensorem nazywamy''' dowolną funkcję [[Przekształcenie wieloliniowe|(''p''+''q'')-liniową]]
: <math>F \colon \mathbb{V}^p\times (\mathbb{V}^*)^q\to \mathbb{K},</math>

'''przy tym'''

(1) wektory przestrzeni <math>\mathbb{V}</math> utożsamia się z tensorami typu <math>(0,\ 1),</math> tj. traktuje jako wektory o górnych wskaźnikach ([[Współrzędne krzywoliniowe#Definicja współrzędnych kontrawariantnych i kowariantnych|wektory kontrawariantne]]),

(2) wektory [[Współrzędne krzywoliniowe#Definicje|przestrzeni dualnej]] <math>\mathbb{V}^*</math> (tj. przestrzeni rozpiętej na bazie dualnej do bazy przestrzeni <math>\mathbb{V}</math>) – to tensory typu <math>(1,\ 0),</math> czyli wektory o dolnych wskaźnikach (wektory kowariantne),

(3) przyjmuje się, że tensory typu <math>(0,\ 0)</math> to skalary (elementy ciała <math>\mathbb{K}</math>).

== Definicja rzędu, typu tensora ==
Mówimy, że tensor <math>F \colon \mathbb{V}^p\times (\mathbb{V}^*)^q\to \mathbb{K}</math> jest
* typu <math>(p, \ q),</math>
* rzędu <math>(p+q),</math>
* <math>p</math>-krotnie kontrawariantny i <math>q</math>-krotnie kowariantny
* kontrawariantny – jeżeli ma tylko górne wskaźniki <math>(q=0),</math>
* kowariantny – jeżeli ma tylko dolne wskaźniki <math>(p=0).</math>

== Przestrzeń tensorowa ==
=== Definicja dodawania tensorów i mnożenia przez liczbę ===
Niech <math>\mathbb{V}</math> będzie przestrzenią liniową nad ciałem <math>\mathbb{K}.</math>

(1) '''Sumą tensorów''' <math>S, T</math> nazywa się tensor <math>U</math> taki że wartość jego działania na dowolnych <math>p</math> wektorów przestrzeni <math>\mathbb{V}</math> oraz dowolnych <math>q</math> wektorów przestrzeni <math>\mathbb{V}^*</math> jest równa sumie działań każdego z tensorów <math>S, T</math> z osobna na tych wektorach, tj.
: <math>U(u^1,\dots,u^p,v_1,\dots,v_q):=S(u^1,\dots,u^p,v_1,\dots,v_q)+T(u^1,\dots,u^p,v_1,\dots,v_q).</math>

(2) '''Iloczynem tensora''' <math>S</math> przez liczbę <math>\alpha</math> należącą do ciała <math>\mathbb{K}</math> nazywa się tensor <math>U</math> taki że wartość jego działania na dowolnych <math>p</math> wektorów przestrzeni <math>\mathbb{V}</math> oraz dowolnych <math>q</math> wektorów przestrzeni <math>\mathbb{V}^*</math> jest równa iloczynowi liczby <math>\alpha</math> przez wynik działania tensora <math>S</math> na tych wektorach, tj.
: <math>U(u^1,\dots,u^p,v_1,\dots,v_q):=\alpha \cdot T(u^1,\dots,u^p,v_1,\dots,v_q).</math>

'''Uwagi:'''

(1) Tensor utworzony z dodawania tensorów <math>S, T</math> oznacza się symbolem <math>U\equiv S+T.</math> Z definicji wynika, że jest to tensor tego samego rzędu, co tensory dodawane, a więc należy do tej samej przestrzeni tensorowej nad przestrzenią <math>\mathbb{V}.</math>

(2) Tensor utworzony z mnożenia tensora <math>S</math> przez liczbę <math>\alpha</math> oznacza się symbolem <math>U\equiv \alpha S.</math> Z definicji wynika, że jest to tensor tego samego rzędu, co tensor <math>S,</math> a więc należy do tej samej przestrzeni tensorowej nad przestrzenią <math>\mathbb{V}.</math>

=== Twierdzenie (o przestrzeni liniowej tensorów) ===
Zbiór wszystkich tensorów typu <math>(p,\ q)</math> określonych na przestrzeni <math>\mathbb{V}</math> z działaniami dodawania tensorów i mnożenia przez liczbę <math>\alpha</math> należącą do ciała <math>\mathbb{K}</math> tworzy przestrzeń liniową.

=== Definicja przestrzeni tensorowej ===
Przestrzenią tensorową nazywa się przestrzeń liniową utworzoną z tensorów typu <math>(p, \ q)</math> na przestrzeni <math>\mathbb{V}</math> i oznacza się symbolem <math>T^p_q(\mathbb{V})</math><ref group="uwaga">Niektórzy autorzy (np. W. Thirring) zamieniają miejscami indeksy w tym oznaczeniu.</ref>

=== Wymiar przestrzeni tensorowej ===
Przestrzeń tensorowa <math>T^p_q(\mathbb{V})</math> tensorów o <math>p</math> indeksach górnych oraz <math>q</math> indeksach dolnych, utworzona nad przestrzenią liniową <math>\mathbb{V}</math> o wymiarze <math>N</math> ma wymiar <math>N^{(p+q)}.</math>

Np. Przestrzeń tensorowa <math>T^1_1(\mathbb{V})</math> zawierająca tensory postaci <math>T^\mu_\nu</math> (np. <math>T^\mu_\nu=A^\mu B_\nu</math>) nad przestrzenią <math>\mathbb{V}=E^3</math> ma wymiar <math>3^{(1+1)}=9</math> (por. Przykład).

== Baza przestrzeni tensorowej. Reprezentacja tensora w bazie ==
Jeżeli
* przestrzeń <math>\mathbb{V}</math> jest przestrzenią skończenie wymiarową,
* <math>N</math> – wymiar przestrzeni <math>\mathbb{V},</math>
* zbiór <math>B:=\{e_1, \dots, e_N \}</math> [[baza (przestrzeń liniowa)|baza]] przestrzeni <math>\mathbb{V},</math>

to
* w przestrzeni sprzężonej <math>\mathbb{V}^*</math> można utworzyć bazę sprzężoną (kobazę) do <math>B,</math> złożoną z funkcjonałów liniowych <math>d^{\,1},\dots, d^{\,N}</math> na przestrzeni <math>\mathbb{V},</math> takich że:
** <math>d^{\,i}(e_j)=1</math> &ensp; gdy <math>i=j,</math>
** <math>d^{\,i}(e_j)=0</math> &ensp; w przeciwnym przypadku,
* tensory utworzone za pomocą [[Iloczyn Kroneckera|mnożenia tensorowego]] <math>m</math> wektorów bazy oraz <math>n</math> wektorów kobazy,
*: <math>e_{\,i_1} \otimes \ldots \otimes e_{\,i_m} \otimes d^{j_1} \otimes \ldots \otimes d^{j_n} \in T^m_n(\mathbb{V}),</math> <math>
i_1,\dots, i_m\in \{1,\dots,N \},\,\,
j_1,\dots,j_n\in \{1,\dots,N \},</math>
*: są liniowo niezależne (por. [[Tensor#Przykład: Tensor utworzony z iloczynu tensorowego wektorów|Przykład]]), co oznacza, że zbiór tych tensorów,
*: <math>\{e_{\,i_1} \otimes \ldots \otimes e_{\,i_m} \otimes d^{j_1} \otimes \ldots \otimes d^{j_n} \in T^m_n(\mathbb{V}){:}</math> <math>
i_1,\dots, i_m\in \{1,\dots,N \},\,\,
j_1,\dots,j_n\in \{1,\dots,N \},</math>
*: jest '''bazą przestrzeni tensorowej''' <math>T^m_n(\mathbb{V}),</math>
* '''każdy''' '''tensor na przestrzeni <math>\mathbb{V}</math> można przedstawić w tej bazie''' w postaci,

: <math>T =
\sum_{i_1,\dots, i_m}^N\,\,\,
\sum_{j_1,\dots, j_n=1}^N \,\,
r^{i_1,\dots, i_m }_{j_1 \dots, j_n} \,\,
e_{i_1}\! \!\otimes \ldots \otimes\! e_{i_m}\!
\otimes\, d^{j_1}\!\!
\otimes\ldots
\otimes\! d^{j_n}</math>
: gdzie:
: <math>r^{i_1,\dots, i_m }_{j_1 \dots, j_n}\in \mathbb{K}, \quad
i_1,\dots, i_m\in \{1,\dots,N \},\,\,
j_1,\dots,j_n\in \{1,\dots,N \}</math>
: – '''współrzędne''' ('''składowe''') '''tensora w bazie'''.

'''Uwagi:'''

1) T'''ensorami często nazywa się po prostu ich współrzędne''' <math>r^{i_1,\dots, i_m }_{j_1 \dots, j_n}</math>{{odn|Thirring|1985a|s=54}}.

2) [[Wymiar (matematyka)|Wymiar przestrzeni]] tensorowej <math>T^m_n(\mathbb{V})</math> wynosi <math>N^{(m+ n)},</math> gdzie <math>N</math> – wymiar przestrzeni <math>\mathbb{V}.</math>

== Iloczyn tensorowy (zewnętrzny) tensorów ==
=== Definicja ===
'''Iloczynem tensorowym (zewnętrznym)''' nazywa się działanie dwuliniowe, które dwóm tensorom o typach <math>(p,\ q)</math> oraz <math>(k,\ l)</math> przypisuje tensor o typie <math>(p+k,\ q+l)</math>
: <math>\otimes: T^p_q (\mathbb{V}) \times T^k_l(\mathbb{V}) \to T^{p+k}_{q+l}(\mathbb{V})</math>

taki, że jest on zbiorem wszystkich iloczynów składowych przemnażanych tensorów, tj.
: <math>A^{ns}_r\otimes B^k_m=T^{nsk}_{rm}.</math>

Np. tensor utworzony z iloczynu dwóch wektorów – kontrawariantnego i kowariantnego, <math>T^\mu_\nu=A^\mu\otimes B_\nu,</math> wyrażony bazie przestrzeni liniowej i kobazie przestrzeni dualnej ma postać sumy 9 składników:
: <math>T^\mu_\nu=A^\mu\otimes B_\nu = \sum_{i=1}^3 \sum_{j=1}^3A^i B_j \, e_i\!\otimes\! d^j</math>

(por. [[Tensor#Przykład: Tensor utworzony z iloczynu tensorowego wektorów|Przykład]], gdzie pokazano dokładnie [[mnożenie]] tensorowe tensorów).

== Twierdzenia ==
Z definicji iloczynu tensorowego wynikają następujące twierdzenia{{odn|Górniewicz|Ingarden|2012|s=401}}:

'''Tw. 1'''

Jeżeli <math>R\in T^p_q(\mathbb{V}),\ S\in T^k_l(\mathbb{V}),\ T\in T^m_n(\mathbb{V}),</math> to
: <math>(R\otimes S)\otimes T=R\otimes (S\otimes T).</math>

'''Tw. 2'''

Jeżeli <math>S_1,\ S_2 \in T^p_q(\mathbb{V}),\ T\in T^k_l(\mathbb{V}),</math> to
: <math>(S_1+S_2)\otimes T=S_1 \otimes T+S_2\otimes T.</math>

'''Tw. 3'''

Jeżeli <math>S \in T^p_q(\mathbb{V}),\ T_1,\ T_2 \in T^k_l(\mathbb{V}),</math>
: <math>S\otimes (T_1 + T_2)=S \otimes T_1 + S \otimes T_2.</math>

'''Tw. 4'''

Jeżeli <math>S \in T^p_q(\mathbb{V}),\ T\in T^k_l(\mathbb{V}), \ \alpha \in \mathbb{K},</math> to
: <math>(\alpha \cdot S)\otimes T=S\otimes (\alpha \cdot T)=\alpha \cdot (S \otimes T ).</math>

'''Tw. 5'''

Iloczyn tensorowy nie jest przemienny, tzn. na ogół
: <math>S\otimes T \neq T \otimes S</math>{{odn|Górniewicz|Ingarden|2012|s=401}}.

== Transformacje współrzędnych ==
Gdy w przestrzeni <math>\mathbb{V}</math> przechodzimy z danej bazy do, to współrzędne tensorów transformują się zgodnie z dwiema regułami:

'''(1)''' składowe '''kowariantne''' wektorów, tensorów 2-go rzędu itd. transformują poprzez macierz identyczną z macierzą transformacji bazy układu kartezjańskiego do bazy układu krzywoliniowego (mówi się, że składowe kowariantne transformują się współzmienniczo lub kowariantnie z wektorami bazy),

'''(2)''' składowe '''kontrawariantne''' wektorów, tensorów transformują się poprzez [[Macierz odwrotna|macierz odwrotną]] (transformują się przeciwzmienniczo lub kontrawariantnie).

Współrzędne zwykle grupuje się w wielowymiarowe tabelki ([[macierz]]e).

Pojedyncze równanie tensorowe rozpisane na składowe przechodzi w [[układ równań]] wiążących współrzędne tensorów.

Pojawia się tutaj główna zaleta rachunku tensorowego: współrzędne są zależne od układu współrzędnych, jednak równania wiążące współrzędne są niezależne od układu, tj. w każdym układzie mają taką samą postać, przy założeniu, że transformacje między układami są wykonywane z ustalonymi regułami (np. transformacje Lorentza wiążą układy poruszające się względem siebie).

== Definicja tensorów symetrycznych i antysymetrycznych ==
Jeżeli
* <math>\mathbb{V}</math> jest przestrzenią liniową nad ciałem <math>\mathbb{K},</math>
* <math>T^p(\mathbb{V}):=T^p_0(\mathbb{V}).,</math>
* <math>S_p</math> będzie zbiorem permutacji zbioru <math>\{ 1,\dots,p\},</math>

to
* tensor kowariantny <math>F\in T^p(\mathbb{V})</math> nazywa się '''symetrycznym''', gdy dla dowolnej permutacji <math>\sigma \in S_p{:}</math>
: <math>F(v_1,v_2,\dots v_p)=F(v_{\sigma (1)},v_{\sigma (2)},\dots, v_{\sigma (p)}),</math>
* tensor kowariantny <math>F\in T^p(\mathbb{V})</math> nazywa się '''antysymetryczny''', gdy dla dowolnej permutacji <math>\sigma \in S_p</math>
: <math>F(v_1,v_2,\dots,v_p)= \mathrm{sign}(\sigma) F(v_{\sigma (1)},v_{\sigma (2)},\dots, v_{\sigma (p)})</math>{{odn|Musielak|Skrzypczak|2006|s=93}}.

== Symetryzacja i antysymetryzacja tensora ==
=== Definicja symetryzacji ===
Symetryzacją tensora <math>F</math> nazywa się odwzorowanie <math>\mathbb{S}\colon\ T^p(\mathbb{V})\to T^p(\mathbb{V})</math> dane wzorem:
: <math>\mathbb{S}F(v_1,v_2,\dots,v_p) :=\frac{1}{p!}\sum_{\sigma \in S_p}F(v_{\sigma (1)},v_{\sigma (2)},\dots, v_{\sigma (p)}).</math>

=== Definicja antysymetryzacji ===
Antysymetryzacją tensora <math>F</math>{{odn|Musielak|Skrzypczak|2006|s=94}} nazywa się odwzorowanie <math>\mathbb{A}\colon\ T^p(\mathbb{V})\to T^p(\mathbb{V})</math> dane wzorem:
: <math>\mathbb{A}F(v_1,v_2,\dots,v_p):=\frac{1}{p!}\sum_{\sigma \in S_p} \mathrm{sign}(\sigma) F(v_{\sigma (1)},v_{\sigma (2)},\dots, v_{\sigma (p)}).</math>

=== Twierdzenia ===
'''Tw. 1''' Symetryzacja <math>\mathbb{S}F</math> tensora <math>F\in T^p(\mathbb{V})</math> jest symetrycznym tensorem <math>p</math>-krotnie kowariantnym.

'''Tw. 2''' Antysymetryzacja <math>\mathbb{A}F</math> tensora <math>F\in T^p(\mathbb{V})</math> jest antysymetrycznym tensorem <math>p</math>-krotnie kowariantnym{{odn|Musielak|Skrzypczak|2006|s=94}}.

'''Tw. 3''' Jeżeli <math>F</math> jest tensorem symetrycznym, to <math>\mathbb{S}F=F.</math>

'''Tw. 4''' Jeżeli <math>F</math> jest tensorem antysymetrycznym, to <math>\mathbb{A}F=F</math>{{odn|Musielak|Skrzypczak|2006|s=95}}.

'''Tw. 5''' Tensor <math>1</math>-krotnie kowariantny jest jednocześnie symetryczny i antysymetryczny.

Dowód: Jedyną permutacją zbioru jednoelementowego jest identyczność i jej znak wynosi <math>1</math>{{odn|Musielak|Skrzypczak|2006|s=95}}.

== Całkowicie antysymetryczny iloczyn tensorowy ==
W matematyce i fizyce szczególne znaczenie{{odn|Thirring|1985b|s=21}} mają antysymetryczne tensory kowariantne (por. formy różniczkowe). Ponieważ wynikiem zwykłego iloczynu tensorowego tensorów antysymetrycznych może nie być tensor antysymetryczny, to wprowadza się iloczyn zewnętrzny, który jest swego rodzaju poprawionym iloczynem tensorowym.

'''Oznaczenie:''' <math>\Lambda^p(\mathbb{V})</math> – zbiór wszystkich <math>p</math>-krotnie kowariantnych tensorów antysymetrycznych na przestrzeni liniowej <math>\mathbb{V}.</math>

=== Definicja ===
'''Całkowicie antysymetrycznym iloczynem tensorowym''' ('''iloczynem zewnętrznym''' lub '''alternującym''') nazywa się tensor <math>\land,</math> taki że{{odn|Thirring|1985a|s=6}}
: <math>\land: \ T^m(\mathbb{V}) \times T^n(\mathbb{V})\to T^{m+n}(\mathbb{V})</math>
: oraz
: <math>\land (F,\ G):=\frac{(m+n)!}{m!n!}\mathbb{A}(F\otimes G).</math>

'''Oznaczenie:''' Zazwyczaj pisze się
: <math>F \land G:=\land (F,\ G).</math>

=== Twierdzenia o iloczynie zewnętrznym ===
Słuszne są twierdzenia{{odn|Musielak|Skrzypczak|2006|s=99}}.

'''Tw. 1'''
: Ponieważ <math>\mathbb{A}(F \otimes G)</math> jest tensorem antysymetrycznym, to <math>F \land G</math> również jest tensorem antysymetrycznym.

'''Tw. 2'''

Jeżeli <math>F \in \Lambda^k(\mathbb{V}),\ G \in \Lambda^l(\mathbb{V}),\ H\in \Lambda^m (\mathbb{V}),</math> to
: <math>(F\land G)\land H=F\land (G \land H).</math>

'''Tw. 3'''

Jeżeli <math>F_1,\ F_2 \in \Lambda^k(\mathbb{V}),\ G\in \Lambda^l(\mathbb{V}),</math> to
: <math>(F_1 + F_2) \land G=F_1\land G+F_2 \land G.</math>

'''Tw. 4'''

Jeżeli <math>F\in \Lambda^k(\mathbb{V}),\ G_1,\ G_2 \in \Lambda^l(\mathbb{V}),</math> to
: <math>F\land (G_1+G_2)=F\land G_1+F\land G_2.</math>

'''Tw. 5'''

Jeżeli <math>F\in \Lambda^k(\mathbb{V}),\ G\in \Lambda^l(\mathbb{V}),\ \alpha \in \mathbb{K},</math> to
: <math>(\alpha F)\land G=F\land (\alpha G)=\alpha (F\land G).</math>

'''Tw. 6'''

Jeżeli <math>F\in \Lambda^k(\mathbb{V}),\ G\in \Lambda^l(\mathbb{V}),</math> to
: <math>F\land G=(-1)^{kl}G\land F.</math>

== Właściwości transformacyjne tensorów ==
Tensorami nazywa się zespoły wielkości, które transformują się w ściśle określony sposób podczas przejścia do innego układu współrzędnych, przy czym w zależności np. od teorii fizycznej zakłada się, jakie rodzaje transformacji należy brać pod uwagę. Wszystkie wymagane transformacje tworzą przy tym [[Grupa (matematyka)|grupy algebraiczne]] transformacji.

W szczególności

(1) fizyka klasyczna zakłada, że wymagane transformacje należą do [[grupa Galileusza|grupy Galileusza]],

(2) fizyka relatywistyczna, w tym szczególna i ogólna teorie względności, relatywistyczna mechanika kwantowa, zakładają, że wymagane transformacje należą do [[grupa Poincarégo|grupy Poincarégo]] (której podgrupę stanowi [[grupa Lorentza]]).

W ramach obu tych grup transformacji zawierają się: [[obrót]], [[Translacja (matematyka)|translacja]], [[Parzystość P|inwersja]] w przestrzeni, [[Parzystość T|inwersja w czasie]]. Jednak transformacje relatywistyczne różnią się od klasycznej [[transformacja Lorentza|właściwą transformacja Lorentza]], która miesza współrzędne czasowe z przestrzennymi, co sprawia, że radykalnie zmienia się obraz rzeczywistości: czas i przestrzeń nie są już oddzielne, ale mogą przekształcać się w siebie, geometria z euklidesowej staje się geometrią nieeuklidesową.

Składowe tensorów podczas transformacji układu współrzędnych na ogół zmieniają się. Istnieją jednak tzw. '''niezmienniki tensorów''': są to wielkości, które nie zmieniają się mimo transformacji układu współrzędnych. Przy tym niezmienniki zależą od grupy transformacji, jakiej poddaje się tensory. To sprawia, że niezmienniki stanowią podstawę klasyfikacji tensorów.

'''Dany zespół wielkości może być tensorem względem jednej grupy transformacji, ale nie będzie tensorem względem innej grupy transformacji.'''

Oznaczenia:
: <math>\Lambda</math> – macierz elementu grupy transformacji układu współrzędnych
: <math>D(\Lambda)</math> – macierz transformacji współrzędnych tensorów wyrażona za pomocą macierzy <math>\Lambda.</math>

* Skalary, np. <math>a, X, r</math> – wcale się nie transformują, albo inaczej mówiąc, transformują się według '''reprezentacji trywialnej''' (macierz tej transformacji jest macierzą jednostkową <math>I</math>)
: <math>D(\Lambda) = I.</math>

* Wektory kontrawariantne, np. <math>a^\mu, p^\nu, x^\rho</math> – transformują się według macierzy odwrotnej do macierzy <math>\Lambda</math>
: <math>D(\Lambda) = \Lambda^{-1}.</math>

* Wektory kowariantne, jednoformy, np. <math>a_\mu, R_\nu, S_\rho</math> – transformują się według macierzy <math>\Lambda</math>
: <math>D(\Lambda) = \Lambda.</math>

* Tensory drugiego rzędu podwójnie kontrawariantne, np. <math>g^{\mu\nu}, T^{\nu\mu}, R^{\rho\pi}</math> – transformują się według macierzy będącej iloczynem dwóch macierzy odwrotnych do macierzy <math>\Lambda</math>
: <math>D(\Lambda) = \Lambda^{-1} \Lambda^{-1}.</math>

* Tensory drugiego rzędu podwójnie kowariantne, dwuformy, np. <math>g_{\mu\nu}, T_{\nu\mu}, S_{\rho\pi}</math> – transformują się według macierzy będącej iloczynem dwóch macierzy <math>\Lambda</math>
: <math>D(\Lambda) = \Lambda \, \Lambda.</math>

* Tensory mieszane drugiego rzędu – transformują się według macierzy będącej iloczynem macierzy <math>\Lambda</math> i macierzy do niej odwrotnej; przy tym jeśli pierwszy jest indeks dolny, np. <math>g_\nu{}^\mu</math> to
: <math>D(\Lambda) = \Lambda \, \Lambda^{-1}</math>
: zaś
: <math>D(\Lambda) = \Lambda^{-1} \, \Lambda</math>
: jeśli pierwszy jest indeks górny, np. <math>T^\nu{}_\mu, S^\rho{}_\pi.</math>

* Tensory wyższych rzędów – '''transformują się względem iloczynów prostych odpowiedniej liczby macierzy zgodnych i odwrotnych do macierzy <math>\Lambda</math>''', w kolejności odpowiadającej kolejności indeksów kowariantnych i kontrawariantnych, np. dla tensora <math>T^i_{klm}{}^j</math> macierz transformacji współrzędnych ma postać
: <math>D(\Lambda) = \Lambda^{-1} \, \Lambda \, \Lambda \, \Lambda \, \Lambda^{-1}.</math>

* [[Pseudoskalar]]y – zachowują się jak skalary, ale zmieniają znak podczas odbicia
: <math>D(\Lambda) = \det{\Lambda}</math>
: Oznaczenia: jak skalary.

* [[Pseudowektor]]y, wektory osiowe, wektory aksjalne – kowariantne / kontrawariantne – transformują się jak wektory kowariantne / kontrawariantne, ale nie zmieniają znaku podczas odbicia (zwykłe wektory zmieniają)
: <math>D(\Lambda) = (\det{\Lambda}) \Lambda</math>
: lub
: <math>D(\Lambda) = (\det{\Lambda}) \,\Lambda^{-1}</math>
: Oznaczenia: jak wektory kowariantne / kontrawariantne.

* [[Spinor]]y – transformują się względem ''reprezentacji spinorowej'' grupy przekształceń, czasem pomnożonej przez zwykłe reprezentacje tensorowe
: <math>D(\Lambda) = S(\Lambda) \, \Lambda\dots</math>
: Oznaczenia: <math>Q^{a \mu}_{\nu b}.</math>

== Reprezentacje tensora za pomocą tablic współrzędnych ==
[[Plik:Epsilontensor.svg|thumb|Wizualizacja [[symbol Leviego-Civity|symbolu Leviego-Civity]] w trzech wymiarach jako tablicy 3×3×3. (W czterech wymiarach jest to tablica 4×4×4×4 itd.)]]
Tensory można reprezentować jako tablice liczb, które mają wymiar równy rzędowi tensora:

'''(1)''' tensor 0-go rzędu to [[Skalar (fizyka)|skalar]]: posiada tylko jedną składową (jest pojedynczą liczbą),

'''(2)''' tensor 1-go rzędu to [[wektor]]; reprezentuje go w układzie współrzędnych jednowymiarowa tablica; w przestrzeni 3-wymiarowej posiada trzy składowe,

'''(3)''' tensor 2-go rzędu: jego współrzędne zapisuje się w postaci [[macierz]]y kwadratowej; np. tensor [[pole elektromagnetyczne|pola elektromagnetycznego]] (w fizyce relatywistycznej reprezentowany przez macierz o 4 na 4, czyli o 16 składowych),

'''(4)''' tensor n-tego rzędu: jego współrzędne reprezentuje tablica n-wymiarowa.

== Oznaczenia tensorów ==
Tensory oznacza się zwykle literami (dużymi i małymi, greckimi i łacińskimi), czasem z dodatkowymi akcentami, jak kreski, kropki i gwiazdki. Przy literach tych stoją rozmaite ''indeksy'', których ilość, pozycja i alfabet zależą od typu tensora. Skalary nie mają żadnych indeksów. Najczęściej spotyka się następujące oznaczenia:
* '''Indeksy kontrawariantne''' – małe litery greckie <math>\lambda,\mu,\nu</math> itp. lub łacińskie <math>i,j,k</math> itp. stojące u góry, np. <math>A^\mu</math> (Takiego zapisu nie należy mylić z potęgowaniem).
* '''Indeksy kowariantne''' – małe litery greckie <math>\lambda,\mu,\nu</math> itp. lub łacińskie <math>i,j,k</math> itp. stojące u dołu, np. <math>A_\mu.</math>
* '''Indeksy spinorowe''' – małe litery łacińskie od <math>a</math> wzwyż (lub greckie od <math>\alpha</math> wzwyż), stojące u góry lub u dołu, np. <math>A^b.</math>

Jeden tensor może mieć wiele indeksów: <math>A^{\mu\nu a}{}_{\pi b \rho}{}^\sigma.</math>

Często kolejność indeksów jest nieistotna (tensor symetryczny) lub znana z kontekstu. Wtedy dla uproszczenia można zapisać: <math>A^{\mu\nu a \sigma}_{\pi b \rho}.</math>

'''Tensor drugiego rzędu''' zamiast zapisu z indeksami <math>A^{\mu\nu},</math> może być oznaczony daszkiem <math>\hat{A}</math> lub podwójną strzałką <math>\stackrel{\leftrightarrow}{A}</math> dla odróżnienia od skalarów i wektorów. Drugi zapis pozwala odróżnić je od [[Rzut (algebra liniowa)|operatorów]] w [[mechanika kwantowa|mechanice kwantowej]].

== Działania na tensorach ==
'''Dodawanie''' oznacza się znakiem +; indeksy tensorów muszą się zgadzać
: <math>A^\mu{}_{\nu\pi} + B^\mu{}_{\nu\pi} = C^\mu{}_{\nu\pi}.</math>

'''Odejmowanie''' oznacza się znakiem -; indeksy tensorów muszą się zgadzać
: <math>A^{\mu\nu}{}_{\pi\rho} - B^{\mu\nu}{}_{\pi\rho} = C^{\mu\nu}{}_{\pi\rho}.</math>

'''Mnożenie zewnętrzne''' (tensorowe) tensorów oznacza się znakiem <math>\otimes,</math> który można pominąć; indeksy tensorów nie mogą się powtarzać
: <math>A^{\mu\nu}{}_\rho \otimes B^\pi{}_\sigma = C^{\mu\nu}{}_\rho{}^\pi{}_\sigma.</math>

'''Kontrakcja''' '''tensora''' – zapisuje się przez powtórzenie tego samego indeksu u góry i u dołu, co prowadzi do utworzenia nowego tensora o rzędzie pomniejszonym o 2:
: <math>A^{\mu\nu\pi}_{\rho\sigma\nu} = B^{\mu\pi}_{\rho\sigma}</math> (powtórzył się symbol <math>\nu</math>)
: (przy tym dokonuje się sumowania po powtarzającym się indeksie – zgodnie z [[Konwencja sumacyjna Einsteina|konwencją sumacyjną Einsteina]]).

'''Mnożenie wewnętrzne''' '''tensorów''' – to kontrakcja iloczynu zewnętrznego dwóch tensorów
: <math>A^{\mu\nu}_\rho \cdot B^\rho_\sigma = C^{\mu\nu}_\sigma</math> (powtórzył się symbol <math>\rho</math>).

Istnieje podobieństwo zapisu kontrakcji i iloczynu wewnętrznego do [[Konwencja sumacyjna Einsteina|konwencji sumacyjnej]].

'''Różniczkowanie''' '''tensora''' oznacza się na różne sposoby: albo przez zapis „operatorowy”:
: <math>\partial_\mu A^\nu.</math>
: <math>\operatorname{D}_\mu A^\nu</math>

albo „indeksowy” z użyciem przecinka lub średnika
: <math>A^\nu_{,\mu},</math>
: <math>A^\nu_{;\mu}.</math>

'''Transpozycja''' – przestawienie indeksów tego samego typu:
: <math>M^{\mu\nu} = N^{\nu\mu}.</math>

== Działania na tensorach (cd.) ==
* Przyrównywać do siebie można tylko tensory tego samego typu.
* '''Mnożenie tensora przez skalar''' daje tensor tego samego typu.
* '''Iloczyn zewnętrzny ([[Iloczyn Kroneckera|iloczyn tensorowy]])''' dwóch tensorów dowolnych typów daje tensor mający rząd równy sumie rzędów mnożonych tensorów.
* '''Iloczyn wewnętrzny (kontrakcja)''' to połączenie działania mnożenia zewnętrznego dwóch tensorów i kontrakcja – daje tensor innego typu.
* '''[[Pochodna kowariantna]] tensora''' daje tensor innego typu.
* Łącząc działania różniczkowania i kontrakcji na różne sposoby można zdefiniować działania '''[[dywergencja|dywergencji]]''' i '''[[rotacja|rotacji]]'''.

Definicje działań:
* '''[[gradient (matematyka)|Gradient]]''' to pochodna kowariantna skalara.
* '''[[Iloczyn skalarny]]''' to iloczyn wewnętrzny dwóch wektorów.
* '''Transponowanie''' tensora odpowiedniego typu daje tensor tego samego typu.
* '''Symetryzacja''' to dodawanie tensora do jego transpozycji.
* '''Antysymetryzacja''' to odejmowanie tensora od jego transpozycji.
* '''Obliczanie śladu''' to kontrakcja tensora mieszanego drugiego rzędu.

== Twierdzenie o rozkładzie na sumy proste ==
'''Tw.''' Każda przestrzeń tensorowa jest [[Suma prosta przestrzeni liniowych|sumą prostą]] przeliczalnej liczby [[przestrzeń liniowa|przestrzeni liniowych]].

== Zastosowania ==
'''(1)''' W zastosowaniach inżynierskich zazwyczaj tensory są zdefiniowane nad [[przestrzeń euklidesowa|euklidesową przestrzenią]] wektorową położeń i rozpatruje się właściwości tensora podczas zmian [[układ współrzędnych|układu współrzędnych]] związanych z [[obrót|obrotami]].

'''(2)''' Matematyka i fizyka wskazują na właściwości tensorów niezależne od układu współrzędnych, definiują specyficzne przekształcenia nad abstrakcyjnymi [[przestrzeń liniowa|przestrzeniami liniowymi]], np. funkcyjnymi – wtedy tensory mają bardziej skomplikowaną naturę.

== Tensory w fizyce ==
* [[Skalar (matematyka)|skalary]]: [[temperatura]], [[masa (fizyka)|masa]], [[Energia (fizyka)|energia]], [[gęstość]], liczba cząstek i wiele innych
* [[pseudoskalar]]y: iloczyny skalarne wektora i pseudowektora
* [[wektor]]y: wektor położenia, [[prędkość]], [[przyspieszenie]], [[siła]]
* [[pseudowektor]]y: [[moment siły]], [[moment pędu]]
* tensory 2-go rzędu: [[tensor pola elektromagnetycznego]], [[Odkształcenie|tensor odkształcenia]], [[Naprężenie|tensor naprężenia]] w ciele stałym
* tensory 4-tego rzędu: [[tensor sztywności]], [[tensor podatności]].

== [[Spinor]]y ==
Obok tensorów o całkowitym rzędzie rozważa się [[spinor]]y, których właściwości transformacyjne są bardziej złożone, jednak nadal określone poprawnie w ramach rachunku tensorowego. Spinory można uważać za tensory mające ułamkowy rząd. Np. 4-składnikowa funkcja falowa [[Fermion Diraca|fermionu Diraca]] poddana działaniu transformacji należącej do [[grupa obrotów|grupy obrotów]] zmienia się tak, że można ją traktować jako tensor o ułamkowym rzędzie, np. w wypadku elektronu o rzędzie 1/2.

== Zobacz też ==
'''Zagadnienia związane z pojęciem tensora'''
* [[pole tensorowe]]
* [[iloczyn tensorowy przestrzeni Hilberta]]
* [[Współrzędne krzywoliniowe#Definicja współrzędnych kontrawariantnych i kowariantnych|współrzędne kontrawariantne i kowariantne tensora]]

'''Przykłady tensorów'''
* [[Tensor napięć-energii|tensor energii-pędu]]
* [[tensor krzywizny Riemanna]]
* [[tensor metryczny]]
* [[Naprężenie|tensor naprężeń]]
* [[Odkształcenie|tensor odkształcenia]]
* [[tensor pola elektromagnetycznego]]

== Uwagi ==
{{Uwagi}}

== Przypisy ==
{{Przypisy}}

== Bibliografia ==
* {{Cytuj książkę |nazwisko = Górniewicz |imię = L. |nazwisko2 = Ingarden |imię2 = R.S. |autor link2 = Roman Stanisław Ingarden |tytuł = Analiza matematyczna dla fizyków |wydawca = Wydawnictwo naukowe Uniwersytetu Mikołaja Kopernika |rok = 2012 |odn = tak}}
* {{Cytuj książkę |nazwisko = Musielak |imię = J. |nazwisko2 = Skrzypczak |imię2 = L. |tytuł = Analiza matematyczna |tom = III |część = 2 |wydawca = Wydawnictwo Naukowe UAM |rok = 2006 |odn = tak}}
* {{Cytuj książkę |nazwisko = Raszewski |imię = P.K. |tytuł = Geometria Riemanna i analiza tensorowa |rok = 1958 |wydawca = [[Wydawnictwo Naukowe PWN|Państwowe Wydawnictwo Naukowe]] |miejsce = Warszawa |odn = tak}}
* {{Cytuj książkę |nazwisko = Thirring |imię = W. |tytuł = Fizyka matematyczna |tom = 1 |tytuł tomu = Klasyczne układy dynamiczne |wydawca = Państwowe Wydawnictwo Naukowe |rok = 1985 |odn = a}}
* {{Cytuj książkę |nazwisko = Thirring |imię = W. |tytuł = Fizyka matematyczna |tom = 2 |tytuł tomu = Klasyczna teoria pola |wydawca = Państwowe Wydawnictwo Naukowe |rok = 1985 |odn = b}}

== Linki zewnętrzne ==
{{wikisłownik|tensor}}
* [http://www.grc.nasa.gov/WWW/K-12/Numbers/Math/documents/Tensors_TM2002211716.pdf Joseph C. Kolecki: ''An Introduction to Tensors for Students of Physics and Engineering''] (Wprowadzenie do rachunku tensorowego dla studentów, PDF, j. angielski, 328 kB, publikacja [[NASA]])
* Alessandra Iozzi, ''Multilinear Algebra and Applications'' ([https://www2.math.ethz.ch/education/bachelor/lectures/fs2015/other/mla/ma.pdf pdf]) {{lang|en}} (ETH Zürich)

{{Algebry nad ciałami liczbowymi}}
{{Formy na przestrzeniach liniowych}}

{{Kontrola autorytatywna}}

[[Kategoria:Tensory| ]]