Algebra wektorowa

Algebra wektorowa – dział matematyki zajmujący się badaniem działań wykonywanych na wektorach oraz ich własności w kontekście struktur algebraicznych, takich jak przestrzenie liniowe, algebry z iloczynem skalarnym i wektorowym oraz algebry zewnętrzne. Jest podstawą wielu dziedzin nauki, w tym fizyki, geometrii i informatyki.

Definicja i podstawowe pojęcia

W najprostszej postaci algebra wektorowa rozpatruje elementy zwane wektorami w pewnej przestrzeni wektorowej V nad ciałem K (najczęściej K = ℝ lub ℂ). Do wektorów stosuje się następujące podstawowe operacje:

dodawanie wektorów v + w,
mnożenie wektora przez skalar αv, gdzie α ∈ K.

Operacje te spełniają aksjomaty przestrzeni liniowej: łączność, przemienność (dla dodawania), istnienie elementu neutralnego (wektor zerowy) oraz odwrotności względem dodawania, a także rozdzielność mnożenia skalarnego względem dodawania.

Działania dodatkowe

W wielu zastosowaniach wprowadza się dodatkowe produkty:

Iloczyn skalarny

Dwumianowy, symetryczny i dodatnio określony produkt ⟨v,w⟩ łączy dwa wektory z ciałem K i zwraca skalar. Spełnia własności:

symetrię: ⟨v,w⟩ = ⟨w,v⟩,
liniowość względem pierwszego argumentu,
dodatnią określoność: ⟨v,v⟩ ≥ 0 oraz ⟨v,v⟩ = 0 ⇔ v = 0.

Więcej o iloczynie skalarnym można przeczytać w artykule iloczyn skalarny.

Iloczyn wektorowy

W trójwymiarowej przestrzeni euklidesowej ℝ³ definiuje się iloczyn wektorowy (zwany też produktem wektorowym) v × w, który jest wektorem prostopadłym do obu operandów i spełnia regułę prawa prawej ręki. Istotne własności:

antysymetria: v × w = – w × v,
rozproszenie względem dodawania,
zależność od orientacji układu współrzędnych.

Szczegółowy opis dostępny jest w artykule iloczyn wektorowy.

Iloczyn mieszany

Trójargumentowy iloczyn mieszany (lub determinant sferyczny) definiuje się jako ⟨v, w × u⟩. Jego wartość jest równa objętości równoległościanu wyznaczonego przez trzy wektory i jest niezmiennicza względem obrotów.

Struktury algebraiczne

Algebra wektorowa obejmuje różne struktury rozszerzające przestrzeń wektorową:

algebra klamrowa – struktura z iloczynem wewnętrznym,
algebra zewnętrzna (współczynniki wielomianów antysymetrycznych),
grupy i pierścienie działające na wektorach przez reprezentacje liniowe.

Podstawowe pojęcia algebry wektorowej

Baza i wymiar

Rodzina wektorów {e₁, …, eₙ} jest bazą przestrzeni V, jeśli każdy wektor w V można przedstawić w sposób jednoznaczny jako kombinację liniową elementów bazy. Liczba elementów bazowych jest równa wymiarowi V.

Podprzestrzenie

Podprzestrzeń W ⊂ V jest niepustym podzbiorem zamkniętym względem dodawania i mnożenia skalarnego. Przykłady typowe to płaszczyzny i proste w ℝ³.

Transformacje liniowe

Funkcje T : V → V zachowujące operacje liniowe (T(v + w) = T(v) + T(w) oraz T(αv) = αT(v)) nazywamy przekształceniami liniowymi. Ich macierzowa reprezentacja w wybranej bazie pozwala na zastosowanie metod algebry liniowej do analizy własności przekształceń.

Macierze

Każde przekształcenie liniowe może być opisane przez macierz A ∈ Kⁿˣⁿ. Iloczyny macierzy odzwierciedlają złożenie przekształceń, a wyznacznik macierzy informuje o odwracalności oraz o zmianie orientacji i objętości.

Więcej szczegółów w artykule macierz.

Zastosowania

Algebra wektorowa jest nieodzowna w:

mechanice klasycznej – opis ruchu ciał sztywnych przy użyciu wektorów sił i momentów,
elektromagnetyzmie – równania Maxwella wyrażone w notacji wektorowej,
grafice komputerowej – operacje na wierzchołkach, transformacje i oświetlenie,
analizie liczbowej – metodologie rozwiązywania równań różniczkowych cząstkowych.

Historia

Początki algebry wektorowej datuje się na pierwszą połowę XIX wieku. Najważniejsze postaci:

Hermann Grassmann (1809‑1877) – wprowadził pojęcie przestrzeni wektorowej i operacje wewnętrzne w dziele Die lineale Ausdehnungslehre,
William Rowan Hamilton (1805‑1865) – stworzył iloczyn wektorowy w formie kwaternionów,
Giuseppe Peano (1858‑1932) – rozwijał pojęcia form liniowych i formalizował notację algebraiczną.

W drugiej połowie XIX wieku algebra wektorowa stała się podstawą nowoczesnej algebry liniowej, a jej rozwój przyczynił się do powstania takich dziedzin jak teoria grup, topologia wektorowa i geometria różniczkowa.

Powiązane pojęcia

Warto zapoznać się także z następującymi tematycznymi artykułami:

Bibliografia

H. Grassmann, Die lineale Ausdehnungslehre, 1844.
W. R. Hamilton, Elements of Quaternions, 1866.
G. Peano, Calcolo geometrico, 1888.
S. Lang, Algebra, Springer, 1993.
D. C. Lay, Linear Algebra and Its Applications, Pearson, 2012.