sens logiczny zadania z tensorami

Przestrzenie wektorowe, bazy, liniowa niezależność, macierze.... Formy kwadratowe, twierdzenia o klasyfikacji...
Awatar użytkownika
Arch_Stanton
Użytkownik
Użytkownik
Posty: 110
Rejestracja: 26 paź 2008, o 23:30
Płeć: Mężczyzna
Lokalizacja: kl
Podziękował: 3 razy
Pomógł: 5 razy

sens logiczny zadania z tensorami

Post autor: Arch_Stanton »

Zadanie: Pokaż, że jeśli \(\displaystyle{ T_{i}}\) są komponentami kowariantnego wektora, to \(\displaystyle{ S_{ij} \equiv T_{i} T_{j} - T_{j} T_{i}}\) są komponentami antysymetrycznego kowariantnego tensora.

A więc, antysymetryczność jest oczywista i zadanie jest proste (tym bardziej, że mam rozwiązanie w książce): \(\displaystyle{ \overline{T_{i}} \ \overline{T_{j}} - \overline{T_{j}}\ \overline{T_{i}} = T_{r} \frac{ \partial x^{r}}{ \partial \overline{x}^{i}} \cdot T_{s} \frac{ \partial x^{s}}{ \partial \overline{x}^{j}} - T_{s} \frac{ \partial x^{s}}{ \partial \overline{x}^{j}} \cdot T_{r} \frac{ \partial x^{r}}{ \partial \overline{x}^{i}} = (T_{r} T_{s} - T_{s} T_{r}) \frac{ \partial x^{r}}{ \partial \overline{x}^{i}} \frac{ \partial x^{s}}{ \partial \overline{x}^{j}} = \overline{S}_{ij}}\)

Rzecz w tym, że nie znalazłem pola wektorowego, dla którego \(\displaystyle{ S_{ij} \equiv T_{i} T_{j} - T_{j} T_{i} \not\equiv 0}\), tzn. mnożenie jest komutatywne i zawsze wszystko się skraca, więc jaki jest sens tego zadania?
\(\displaystyle{ S_{ij}\equiv 0}\), a każda macierz zerowa jest tensorem i to samo w sobie jest poniekąd rozwiązaniem zadania.

Przykład: \(\displaystyle{ T_{i} = (x^1,x^1+x^2)}\)
\(\displaystyle{ S_{12} = T_{1} T_{2} - T_{2} T_{1} = x^1 \cdot (x^1+x^2) - (x^1+x^2) \cdot x^1 = 0}\)
\(\displaystyle{ S_{ij} = T_{i} T_{j} - T_{j} T_{i} = T_{i} T_{j} - T_{i} T_{j} = 0}\)
Kartezjusz
Użytkownik
Użytkownik
Posty: 7330
Rejestracja: 14 lut 2008, o 08:31
Płeć: Mężczyzna
Lokalizacja: Z Bielskia-Białej
Podziękował: 6 razy
Pomógł: 961 razy

sens logiczny zadania z tensorami

Post autor: Kartezjusz »

Ale czy to musi być wektor \(\displaystyle{ R^{n}}\) ?
Awatar użytkownika
Arch_Stanton
Użytkownik
Użytkownik
Posty: 110
Rejestracja: 26 paź 2008, o 23:30
Płeć: Mężczyzna
Lokalizacja: kl
Podziękował: 3 razy
Pomógł: 5 razy

sens logiczny zadania z tensorami

Post autor: Arch_Stanton »

A czy są inne możliwości?
Zostały zdefiniowane jako wektory w \(\displaystyle{ R^{n}}\) więc powinien ale jeśli nie to mogły by zostać rozszerzone na przestrzeń zespoloną, chociaż nie wiem co by się zmieniło.
Komponentami wektora nie mogą być macierze bo to też bez sensu?
ODPOWIEDZ