Wyznacznik macierzy

Wyznacznik w n-wymiarowej przestrzeni jest to odwzorowanie, które n wektorom przyporządkowuje liczbę.

Jego naturalna interpretacja, to jest objętość równoległościanu rozpiętego na tych wektorach. Wynika to z tego, że wyznacznik jest wieloliniowy, tzn. liniowy w każdym z argumentów, np. drugim:

Dodatkowo jest antysymetryczny, tzn. można dowolnie zamieniać miejscami argumenty, tylko przy zamianie wyskakuje nam -1.

Czyli jak go „przekosimy”, to nie zmieni się objętość, a jak przemnożymy jakieś ramię przez 2, to nam dwukrotnie zwiększy się objętość. Jest taka zorientowana objętość —  jeśli damy wektory w innej skrętności, to znak będzie „-”. Z tego od razu wynika, że na liniowo zależnych wektorach daje 0.

Co ładnie zgadza nam się z interpretacją jako objętość („płaski” równoległościan ma zerową objętość).
Dodatkowo czasem definiuje się, że wyznacznik bazy ma być równy 1. Ta stała określa jednostkę, w jakiej mierzymy objętość na naszej przestrzeni wektorowej. Nic nie stoi na przeszkodzie, żeby określić że akurat nasza baza ma objętość np. 0.5 m³.


Co to jest wyznacznik macierzy? Jeśli mamy jakieś odwzorowanie liniowe, możemy zadziałać nim na elementy bazy. Wyznacznik odwzorowania, to objętość obrazu kostki o jednostkowej objętości.

Jeśli zapiszemy A przy pomocy macierzy w bazie o jednostkowej objętości, to dostaniemy, że wyznacznik macierzy to objętość równoległościanu rozpiętego na jej kolumnach (bo kolumny to obrazy bazy).
Wyznacznik macierzy nie zmienia się przy zmianie bazy. Należy jednak zachować tu ostrożność, ponieważ warto myśleć o wyznaczniku jako o własności przestrzeni. Przy zmianie bazy współczynnik (stała) wyznacznika się zmienia, i licząc wyznacznik macierzy musimy wyznacznik i macierz wyrazić w tej samej bazie.