Rozwiązywanie układów równań. Wyznaczniki. 2 Wektory kilka faktów użytkowych 2. Wektory. 2.. Wektor jako n ka liczb W fizyce mamy do czynienia z pojęciami lub obiektami o różnym charakterze. Są np. wielkości, które można charakteryzować podaniem jednej liczby np. masa, temperatura. Nazywamy je skalarami. Inaczej jest, gdy musimy podać położenie np. punktu w przestrzeni. Do podania położenia np. samolotu w przestrzeni trzeba wskazać jego długość i szerokość geograficzną oraz wysokość, na jakiej leci więc trzy liczby. Położenie punktu w przestrzeni jest przykładem wektora. Poszczególne współrzędne nazywamy składowymi wektora. Piszemy więc, np. dla wektora x wskazującego położenie punktu w przestrzeni trójwymiarowej R 3 : x x = x 2 x 3 Tak jest dla wektora w przestrzeni trójwymiarowej; wektor na płaszczyźnie ma dwie składowe. Można również rozpatrywać wektory z R n jako (uporządkowanej) n ki liczb; będziemy to robić później. (Inne oznaczenia wektora to: x; x). W tych notatkach wektory będą oznaczane generalnie grubymi literami; ale gdyby przyszło pisać na tablicy, wykładowca będzie oznaczał wektory strzałką, jako że łatwiej to pisać niż grube litery kredą.) (Generalnie będziemy się trzymać powyższej notacji, tzn. zapisu wektora jako kolumny liczb. Czasem dla oszczędności miejsca będziemy też stosować zapis wierszowy, tzn. x = [x, x 2, x 3 ]). Wektory ilustrujemy w sposób, który Czytelnik/Słuchacz z pewnością zna, tzn. jako strzałki. Traktujemy jako równoważne wektory zaczepione w różnych punktach. RYS. (Później pojawi się potrzeba rozpatrywania sytuacji, gdy trzeba uwzględniać również punkt zaczepienia wektora; na razie jednak takich sytuacji nie rozpatrujemy). 2..2 Dwa podstawowe działania na wektorach Na wektorach możemy wykonywać dwa podstawowe działania : x Dodawanie wektorów: Dla dowolnych wektorów x = x 2 x 3 ich sumę jako wektor z: z = x + y, o składowych z z = z 2 = z 3 x + y x 2 + y 2 x 3 + y 3, y = y y 2 y 3 określamy za chwilę poznamy ich więcej, ale nie są one tak podstawowe w tym sensie, że wymagają dodatkowych struktur geometrycznych na przestrzeni
Mnożenie wektora x przez liczbę α R: Wektorem αx nazywamy wektor o składowych αx αx = αx 2 αx 3 RYS. RYS. ilustracje dwuwymiarowe Mamy następujące ważne pojęcie: Def. Kombinacją liniową k wektorów x, x 2,..., x k ze współczynnikami α, α 2,..., α k (gdzie α i R, i =,..., k) nazywamy wektor Y określony jako k Y = α x + α 2 x 2 + + α k x k = α j x j. () j= 2.2 Bazy. Rozkład wektora w bazie. Zauważmy, że dowolny wektor x R 3 można przedstawić w następujący sposób: x x = x 2 = x + x 2 + x 3 x e + x 2 e 2 + x 3 e 3 x 3 gdzie oznaczyliśmy: e =, e 2 =, e 3 =. Znaczy to, że dowolny wektor x R 3 można przedstawić jako liniową kombinację wektorów e, e 2, e 3. Wektory te stanowią przykład wektorów bazowych, tzn. takich, że dowolny wektor z R 3 można jednoznacznie przedstawić jako kombinację liniową wektorów bazy. Zapiszmy to formalnie: Def. Bazą w R 3 nazywamy taki zbiór trzech wektorów z R 3, że dowolny wektor z R 3 można jednoznacznie przedstawić jako kombinację liniową wektorów bazy. Przykł. Omówione dopiero co wektory {e, e 2, e 3 } stanowią bazę; jest to tzw. baza standardowa. Weźmy inne trzy wektory: {f, f 2, f 3 }, określone następująco: f = e 2 e f 2 = e 2 + e (2) f 3 = e 3 e Czy stanowią one bazę? Jest tak, jeśli wyrażenie wektorów {f i } przez {e i } jest odwracalne, tzn. gdy {e i } wyrażają się przez {f i } jednoznacznie. Tutaj tak jest; gdy bowiem potraktujemy (2) jako układ równań na niewiadome {e i }, to możemy go rozwiązać i mamy: e = 2 f + 2 f 2 e 2 = 2 f + 2 f 2 e 3 = f 3 2 f + 2 f 2 (3) W ten sposób, dowolny wektor x możemy wyrazić w bazie {f i }: x = x e + x 2 e 2 + x 3 e 3 = x ( 2 f + 2 f 2) + x 2 ( 2 f + 2 f 2) + x 3 (f 3 2 f + 2 f 2) = ( 2 x + 2 x 2 2 x 3)f + ( 2 x + 2 x 2 + 2 x 3)f 2 + x 3 f 3. 2
2.3 Iloczyn skalarny i zastosowania. 2.3. Definicja ogólna i standardowy iloczyn skalarny Iloczyn skalarny dwóch wektorów x, y R 3 jest liczbą. Oznaczamy go: (x, y). (Inne oznaczenia: x y,(x y)). Żądamy, aby iloczyn skalarny spełniał następujące własności dla dowolnych wektorów x, y, z oraz współczynnika α R: Nieujemność: (x, x), przy czym równość (x, x) = zachodzi tylko dla wektora zerowego. Symetria: (x, y) = (y, x). Liniowość: (αx, y) = α(x, y). (Nazywa się czasem tę własność liniowością multiplikatywną). Rozdzielność: (x, y + z) = (x, z) + (x, z). (Tę własność nazywa się też liniowością addytywną). Iloczyn skalarny można wprowadzać na wiele sposobów (tzn. można znaleźć wiele funkcji R 3 R 3 R, spełniających powyższe warunki). W naszej euklidesowej przestrzeni jest jednak jedna wyróżniona funkcja, mająca postać: 3 (x, y) = x y + x 2 y 2 + x 3 y 3 x i y i. (4) i= Powyższe warunki łatwo się sprawdza dla (4). Aby bardziej uzmysłowić sobie znaczenie geometryczne powyższego wzoru, zastosujmy go najsampierw do iloczynu skalarnego wektora samego z sobą. Mamy: (x, x) = x 2 + x 2 2 + x 2 3 i z tw. Pitagorasa widzimy, iż jest to kwadrat długości wektora x. Długość wektora x będziemy oznaczać jako x ; mamy więc: x = x 2 + x 2 2 + x 2 3. Uwaga. Długość wektora (zwaną czasem normą) określamy analogicznym wzorem dla dowolnego iloczynu skalarnego, nie tylko standardowego: x = (x, x). (5) W celu dalszego zobaczenia własności geometrycznych iloczynu skalarnego, pokażemy ważną nierówność. 2.3.2 Nierówność Schwarza Tw.. Nierówność Schwarza Załóżmy, że mamy przestrzeń wektorową 2 z iloczynem skalarnym. Wtedy dla dowolnych wektorów x, y zachodzi nierówność 2 Tu: R 3 ; ale nier. Schwarza prawdziwa jest dla R n dla dowolnego n. (x, y) x y. (6) 3
Dow.Z wektorów x i y zbudujmy następującą kombinację liniową: x + ty, gdzie t R, i obliczmy iloczyn skalarny tego wektora samego z sobą. Mamy, z warunku nieujemności iloczynu skalarnego: (x + ty, x + ty). (7) Jednocześnie: (x + ty, x + ty) = (x, x) + t(x, y) + t(y, x) + t 2 (y, y) = (x, x) + 2t(x, y) + t 2 (y, y). Popatrzmy na to wyrażenie jako na trójmian kwadratowy w zmiennej t. Z nieujemności iloczynu skalarnego (7) wynika, że trójmian ten jest nieujemny dla dowolnych x, y oraz t. Skoro tak, to wyróżnik tego trójmianu jest niedodatni: a to znaczy, że = 4(x, y) 2 4(x, x)(y, y), (x, y) 2 (x, x)(y, y), lub, wyciągając pierwiastek kwadratowy i uwzględniając definicję długości wektora (5), otrzymujemy nierówność (6). 2.3.3 Interpretacja geometryczna iloczynu skalarnego Utwórzmy teraz, dla dowolnych niezerowych wektorów x, y wielkość K = (x, y) x y. Z nierówności Schwarza widzimy, że K może przyjmować wartości ze zbioru [, ]. (Dwie skrajne wartości są osiągane dla x = y wtedy K = ; oraz dla x = y wtedy K = +). Teraz zdefiniujmy kąt θ pomiędzy wektorami x, y jako cos θ = (x, y) x y. (8) Widać, że ta definicja ma szansę być sensowna, ponieważ: θ = dla x = y, θ = π dla x = y oraz θ leży pomiędzy tymi skrajnymi wartościami dla innego wyboru x oraz y. Uwaga. Powyższy wzór jest często używany jako definicja iloczynu skalarnego. Wtedy ta definicja ma postać: (x, y) = x y cos θ, zaś wyrażenie (4) pojawia się jako jej konsekwencja. Tu przyjęliśmy odwrotną kolejność gwoli ogólności: Kąt pomiędzy wektorami można zdefiniować wzorem (8) dla dowolnego iloczynu skalarnego, niekoniecznie standardowego. W celu lepszego wyczucia iloczynu skalarnego, zastosujmy go teraz do wektoów bazy {e i } (tzn. bazy standardowej, nazywanej też kartezjańską. Mamy, np.: (e, e ) = + + = 4
i tak samo dla wektorów e 2, e 3. Mamy też: (e, e 2 ) = + + = i podobnie dla innych wektorów bazy o różnych wskaźnikach: (e, e 3 ) = (e 2, e 3 ) = (i symetrycznie (e 2, e ) = itd.) Możemy to skrótowo zapisać jako: e i e j = δ ij, (gdzie liczby i, j wskaźniki mogą przyjmować wartości, 2, 3), zaś symbol δ ij zwany jest deltą Kroneckera i jest zdefiniowany następująco: {, jeżeli i = j δ ij =, jeżeli i j Jak zinterpretujemy powyższe równości dla różnych wskaźników? Możemy na nie popatrzyć jako na wyrażenie faktu, że e jest prostopadły do e 2 itd.; bo skoro iloczyn skalarny dwu niezerowych wektorów jest równy zeru, to kąt pomiędzy nimi jest równy π 2. (Wektory prostopadłe nazywamy też ortogonalnymi). Okazuje się, że iloczyn skalarny ma ważną własność, której teraz nie pokażemy (odkładając ją na ok. 3 miesiące, kiedy nabędziemy więcej wprawy w przestrzeniach wektorowych), a mianowicie, iż jest on niezmienniczy względem obrotu baz. To znaczy, gdy mamy dwie bazy kartezjańskie, obrócone względem siebie, to iloczyn skalarny nie zależy od tego, w której bazie go liczymy. Korzystając z niezmienniczości iloczynu skalarnego względem obrotów, wyprowadzimy inne pożyteczne wyrażenie na iloczyn skalarny: (x, y) = x y cos θ, (9) gdzie θ jest kątem pomiędzy wektorami, mierzonym od x do y. Przejdźmy bowiem przez obrót do takiego układu współrzędnych, że wektor x ma różną od zera tylko pierwszą składową, zaś wektor y tylko pierwszą i drugą. Mamy wtedy: (RYS.) Jak pamiętamy, funkcja cos( ) jest funkcją parzystą, zatem sprawdzamy, że iloczyn skalarny jest przemienny: x y = y x. () 2.3.4 Zastosowanie: Praca w polu sił. W = (F, s) = F s cos α 2.4 Iloczyn wektorowy i zastosowania. 2.4. Permutacje (zb. 3-elementowego), parzyste i nieparzyste 2.4.2 Symbol zupełnie antysymetryczny ɛ ijk 5
2.4.3 Iloczyn wektorowy z = x y, z i = j,k ɛ ijk x j y k ; konkretnie: Własności iloczynu wektorowego: z z 2 z 3 = x 2 y 3 x 3 y 2 x 3 y x y 3 x y 2 x 2 y z jest prostopadły do x oraz do y. (Tu rachunek). x y = y x (tu uzasadnienie) Długość wektora z nie zależy od wyboru bazy, w której się go liczy (musi to być tylko baza kartezjańska, tzn. (E i, E j ) = δ ij ). (To jest zapodane na wiarę uzasadnienie będzie później). (Niezła dyskusja w: Byron, Fuller, Matematyka w fizyce klasycznej i kwantowej, t. ). Konsekwencja tej własności: Przejdźmy do takiej bazy, której pierwsza oś pokrywa się z wektorem x oraz wektor y leży w płaszczyźnie 2. (RYS.) Liczymy i wychodzi, że z jest prostopadły do wektorów x i y, a jego długość wynosi: θ kąt mierzony od x do y. 2.4.4 Zastosowanie: Moment pędu. z = x y sin θ Zast. teorii momentu pędu: Moment pędu jest zachowany w ruchu planet. Dygresja: Niedawno wydano Philosophiae naturalis principia mathematica ; ciekawie jest porównać ówczesny język ze współczesnym 2.4.5 Zastosowanie: Siła Lorentza. 2.4.6 Zastosowanie: Pole powierzchni. Objętość. 6