Macierz skalarna – macierz kwadratowa, której współczynniki są określone wzorami:
Skrótowo: gdzie to symbol Kroneckera.
Macierz skalarną można też zdefiniować przez pojęcia ogólniejsze. To macierz diagonalna, w której wszystkie elementy na przekątnej głównej są równe[1], czyli macierz postaci
Macierz skalarna reprezentuje wersory z bazy standardowej danej skończenie wymiarowej przestrzeni liniowej, np. przestrzeni euklidesowej, przeskalowane:
Ważne szczególne przypadki to macierz jednostkowa oraz kwadratowa macierz zerowa:
Macierze odpowiadają odwzorowaniom liniowym (macierze kwadratowe: endomorfizmom). Odwzorowania liniowe można przemnożyć przez skalar, przez co ma sens mówienie o mnożeniu macierzy przez skalar. Wtedy macierz skalarną można zapisać jako gdzie jest macierzą jednostkową[2].
Własności
Własności ogólne
- Rząd niezerowej macierzy skalarnej jest równy jej wymiarowi:
- Wyznacznik macierzy skalarnej to -ta potęga jej skalara: Jeśli wyznacznik jest zdefiniowany geometrycznie (zorientowana objętość), to wynika to wprost z definicji. Jeśli wyznacznik jest definiowany aksjomatycznie, to ten wzór wynika z postulowanej jednorodności.
- Obrazem odwzorowania skalarnego jest cała przestrzeń, a jądrem – wektor zerowy. Innymi słowy jądro jest trywialne.
Własności mnożenia
- Macierz skalarna jest przemienna z dowolną inną macierzą kwadratową tego samego stopnia Można to zapisać komutatorem: gdzie jest kwadratową macierzą zerową.
- Innymi słowy: macierze skalarne są centrum algebry wszystkich macierzy ustalonego stopnia. Zachodzi też twierdzenie odwrotne: jeśli macierz kwadratowa jest przemienna ze wszystkimi macierzami kwadratowymi danego stopnia (należy do centrum algebry), to jest macierzą skalarną[potrzebny przypis].
- Niezerowe macierze skalarne można odwrócić, odwracając sam skalar.
- Iloczyn (złożenie) dwóch macierzy skalarnych jest macierzą skalarną.
- Macierze skalarne tworzą zbiór zamknięty ze względu na mnożenie, jest to działanie łączne i ma element neutralny (macierz jednostkowa). Dlatego macierze skalarne ustalonego stopnia tworzą tzw. monoid. Ponieważ mnożenie skalarów jest przemienne, jest to monoid przemienny. Niezerowe macierze skalarne też są zamknięte ze względu na mnożenie, zawierają identyczność (jedynkę) i są dodatkowo odwracalne, dlatego tworzą grupę przemienną. Odpowiednie monoidy i grupy są izomorficzne z monoidami i grupami skalarów danej przestrzeni liniowej[potrzebny przypis].
- Szczególnym przypadkiem mnożenia macierzy skalarnych jest ich potęgowanie. Odbywa się przez potęgowanie odpowiedniego skalara.
- Powyższa własność bardzo upraszcza obliczanie wielomianów od macierzy. To uproszczenie rozciąga się również na nieskończone szeregi potęgowe, np. szereg Taylora. Dzięki nim można definiować różne funkcje na macierzach, m.in. eksponens. Zachodzi – wynikiem funkcji wykładniczej jest zwykłe przeskalowanie. Podobne uproszczenia zachodzą dla rzutów (idempotentów).
Własności diagonalizacji
- Wektorem własnym niezerowego odwzorowania skalarnego (i przez to macierzy skalarnej) jest każdy wektor: Odpowiednią przestrzenią własną jest cała rozważana przestrzeń liniowa. Dla macierzy skalarnej jedyną wartością własną jest c – ta liczba to całe widmo macierzy (spektrum).
- Macierz skalarna jest przez to diagonalizowalna: w sposób dość trywialny, bo jest z definicji diagonalna.
- Wielomian charakterystyczny macierzy skalarnej jest dość prosty, ponieważ ma tylko jeden pierwiastek (równy ). Jego krotność jest równa wymiarowi rozważanej przestrzeni i macierzy. Wielomian minimalny to w tym wypadku funkcja liniowa:
- Ślad macierzy skalarnej (i odwzorowania skalarnego) jest równy wymiarowi przestrzeni oraz macierzy, przemnożonemu przez odpowiedni skalar.
Przypisy
Bibliografia
Linki zewnętrzne
Niektóre typy macierzy | Cechy niezależne od bazy |
|
---|
Cechy zależne od bazy |
|
---|
|
---|
Operacje na macierzach | jednoargumentowe |
|
---|
dwuargumentowe |
|
---|
|
---|
Niezmienniki | |
---|
Inne pojęcia |
|
---|