Ślad (algebra liniowa)

Wstęp

Ślad macierzy jest jednym z podstawowych pojęć w algebrze liniowej, które odgrywa kluczową rolę w różnych dziedzinach matematyki oraz jej zastosowaniach. Definiowany jako suma elementów na głównej przekątnej macierzy kwadratowej, ślad ma wiele interesujących właściwości i zastosowań. W niniejszym artykule przybliżymy definicję śladu, jego własności oraz zastosowania w kontekście przekształceń liniowych i operatorów przestrzeni Hilberta.

Definicja formalna

Niech A będzie macierzą kwadratową stopnia n. Śladem macierzy A, oznaczanym jako tr(A), definiujemy jako sumę elementów na głównej przekątnej tej macierzy:

tr(A) = ∑_i=1ⁿa_ii = a₁₁ + a₂₂ + … + a_nn.

Warto zaznaczyć, że oprócz notacji tr(A), spotykamy się również z oznaczeniami takimi jak Tr(A) oraz trace(A). Macierz, której ślad wynosi zero, nazywana jest czasami macierzą bezśladową.

Własności śladu

Ślad macierzy posiada szereg istotnych właściwości, które czynią go niezwykle użytecznym narzędziem w algebrze liniowej. Po pierwsze, ślad jest operatorem liniowym. Dla dowolnych macierzy A i B z przestrzeni M_n(K) oraz dla dowolnego skalaru r z K, zachodzą następujące własności:

• Addytywność: tr(A + B) = tr(A) + tr(B)
• Jednorodność: tr(rA) = r tr(A)

Kolejną ważną cechą jest to, że przekątna główna macierzy nie ulega zmianie przy transpozycji, co prowadzi do równania:

tr(A) = tr(A^T).

Dodatkowo dla dowolnych macierzy A i B w M_n, zachodzi również równość:

tr(AB) = tr(BA).

Ponadto, dla trzech macierzy A, B i C w M_n, spełnione jest:

tr(ABC) = tr(CAB) = tr(BCA.

Przekształcenia liniowe a ślad

Związek między śladem a przekształceniami liniowymi jest bardzo istotny w teorii przestrzeni wektorowych. Ślad macierzy podobnych pozostaje niezmienny, co oznacza, że dla dowolnej odwracalnej macierzy P zachodzi:

tr(P^-1AP) = tr(A).

Dzięki temu możemy zdefiniować ślad endomorfizmu przestrzeni liniowych jako ślad jego macierzy w dowolnej bazie. Jeżeli X jest n-wymiarową przestrzenią wektorową, a θ jest n-liniową niezerową formą alternującą, to odwzorowaniu T można przyporządkować formę n-liniową θ^T, która będzie odpowiedzialna za obliczenie śladu endomorfizmu.

Zastosowanie wartości własnych w obliczeniach śladu

Kiedy rozważamy wartości własne macierzy A, możemy zauważyć, że jeśli λ₁, λ₂, …, λ_n to wartości własne tej macierzy, to istnieje związek pomiędzy śladem a tymi wartościami:

tr(A) = ∑_i=1ⁿλ_i.

Dzięki temu możemy wykorzystać tę relację do obliczeń związanych z determinantem wykładniczej funkcji macierzy:

det(e^A) = e^tr(A).

Operatory śladowe w przestrzeni Hilberta

Zdefiniowany w kontekście macierzy ślad można również rozszerzyć na operatory w przestrzeniach Hilberta. Dla przestrzeni Hilberta H oraz bazy ortonormalnej (e_i)_i∈I, możemy zdefiniować zbiór operatorów śladowych jako zbiór operatorów należących do B₁(H), gdzie B₂(H) oznacza zbiór wszystkich operatorów Hilberta-Schmidta. Definicja śladu operatora T w tym kontekście przedstawia się następująco:

tr(T) = ∑_i∈I<⟨Te_i, e_i</sub⟩.

Powyższa definicja jest niezależna od wyboru bazy ortonormalnej i pozostaje spójna zarówno dla przestrzeni skończeniewymiarowych, jak i nieskończonych.

Zakończenie

Pojęcie śladu ma fundamentalne znaczenie w algebrze liniowej oraz teorii operatorów. Jego właściwości czynią go przydatnym narzędziem do analizy zachowań przekształceń liniowych oraz operacji na macierzach. Dzięki związkom z wartościami własnymi oraz możliwościom zastosowania w kontekście operatorów przestrzeni Hilberta, ślad staje się kluczowym elementem wielu zagadnień matematycznych. Poznanie i zrozumienie tego pojęcia otwiera drogę do bardziej zaawansowanych tematów w matematyce i jej aplikacjach w różnych dziedzinach nauki.

Artykuł sporządzony na podstawie: Wikipedia (PL).