11.04.2014 Views

Algebra II - rozwiązania zadań z kolokwium I.

Algebra II - rozwiązania zadań z kolokwium I.

Algebra II - rozwiązania zadań z kolokwium I.

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

<strong>Algebra</strong> <strong>II</strong> - rozwiązania zadań z <strong>kolokwium</strong> I.<br />

Zadanie 1. Niech V oznacza przestrzeń liniową nad ciałem R macierzy kwadratowych wymiaru 2 o elementach<br />

rzeczywistych. Które z poniższych odwzorowań jest funkcjonałem dwuliniowym? Które jest<br />

funkcjonałem dwuliniowym symetrycznym?<br />

a) g 1 : V × V → R, g 1 (X, Y ) = tr(X · Y );<br />

b) g 2 : V × V → R, g 2 (X, Y ) = det(X) · det(Y ).<br />

Rozwiązanie:<br />

a) Sprawdźmy najpierw, czy odwzorowanie g 1 jest dwuliniowe.<br />

g 1 ((X + Y ), Z) = tr((X + Y ) · Z) = tr(X · Z + Y · Z).<br />

Z liniowości śladu wynika<br />

tr(X · Z + Y · Z) = tr(X · Z) + tr(Y · Z) = g 1 (X, Z) + g 1 (Y, Z).<br />

Analogicznie postępujemy w drugim przypadku<br />

g 1 (X, (Y + Z)) = tr(X · (Y + Z)) = tr(X · Y + X · Z) = tr(X · Y ) + tr(X · Z) =<br />

g 1 (X, Y ) + g 1 (X, Z).<br />

Do sprawdzenia pozostaje jeszcze jednorodność ze względu na skalary. Wynika ona w zasadzie<br />

z określenia śladu macierzy.<br />

g 1 (cX, Y ) = tr(cX · Y ) = c · tr(X · Y ) = c · g 1 (X, Y ),<br />

g 1 (X, cY ) = tr(X · cY ) = c · tr(X · Y ) = c · g 1 (X, Y ).<br />

Odwzorowanie g 1 jest więc dwuliniowe. Sprawdźmy, czy jest symetryczne.<br />

g 1 (X, Y ) = tr(X · Y )<br />

Wykażmy pewną własność śladu, mianowicie tr(X · Y ) = tr(Y · X). Niech (·) ij oznacza<br />

element i-tego wiersza i j-tej kolumny w macierzy. Wówczas<br />

(<br />

n∑<br />

n∑ n<br />

)<br />

∑<br />

tr(X · Y ) = (X · Y ) ii = (X ik Y ki ) .<br />

i=1<br />

i=1<br />

k=1<br />

Ponieważ w obu przypadkach sumujemy po względem indeksów k, i = 1, . . . , n, to zmieniając<br />

kolejność sumowania mamy<br />

(<br />

n∑ ∑ n<br />

)<br />

n∑ n∑<br />

n∑ n∑<br />

(X ik Y ki ) = (X ik Y ki ) = (X ik Y ki ),<br />

i=1<br />

k=1<br />

i=1 k=1<br />

k=1 i=1<br />

zamieniając teraz miejscami indeksy k oraz i (można, ponieważ suma przebiega cały zakres)<br />

otrzymujemy<br />

n∑<br />

k=1 i=1<br />

n∑<br />

(X ik Y ki ) =<br />

n∑<br />

i=1 k=1<br />

n∑<br />

(X ki Y ik ) =<br />

n∑ n∑<br />

( Y ik X ki ) =<br />

i=1<br />

k=1<br />

Posługując się tą informacją możemy teraz zapisać<br />

g 1 (X, Y ) = tr(X · Y ) = tr(Y · X) = g 1 (Y, X).<br />

Rozpatrywany funkcjonał jest więc dwuliniowy i symetryczny.<br />

n∑<br />

(Y · X) ii = tr(Y · X).<br />

i=1<br />

1


) Funkcjonał dany jest jako<br />

g 2 (X, Y ) = det(X) · det(Y ).<br />

Żeby był on dwuliniowy potrzeba by<br />

g 2 ((X + Y ), Z) = g 2 (X, Z) + g 2 (Y, Z).<br />

To oznacza jednak, że<br />

det(X + Y ) = det(X) + det(Y ).<br />

Biorąc odpowiednie macierze<br />

[ ] [<br />

1 0<br />

0 0<br />

X = , Y =<br />

0 0<br />

0 1<br />

zauważamy, że<br />

]<br />

,<br />

1 = det(X + Y ) ≠ det(X) · det(Y ) = 0 · 0 = 0.<br />

Funkcjonał g 2 nie jest zatem dwuliniowy, nie będzie także dwuliniowy i symetryczny.<br />

Kryteria oceniania: W sprawie kryteriów proszę kontaktować się z prof. dr hab. W. Marcinkowską-Lewandowską.<br />

Zadanie 2. Funkcjonał dwuliniowy g : R 3 × R 3 → R zadany jest macierzą<br />

⎡<br />

−1 −2<br />

⎤<br />

1<br />

⎣ −2 3 2 ⎦<br />

1 2 0<br />

a) Znajdź bazę B przestrzeni R 3 w której powyższy funkcjonał ma macierz diagonalną;<br />

b) Podaj rząd i sygnaturę formy kwadratowej wyznaczonej przez g.<br />

Rozwiązanie:<br />

a) Metodą przekształceń elementarnych wykonywanych na wierszach i na kolumnach macierzy<br />

funkcjonału znajdziemy bazę B.<br />

⎡<br />

⎤ ⎡<br />

⎤ ⎡<br />

⎤<br />

−1 −2 1<br />

−1 −2 1<br />

−1 −2 0<br />

⎣ −2 3 2 ⎦ w3+w1<br />

∼ ⎣ −2 3 2 ⎦ k3+k1<br />

∼ ⎣ −2 3 0 ⎦ w2−2w1<br />

∼<br />

1 2 0<br />

0 0 1<br />

0 0 1<br />

⎡<br />

⎣<br />

−1 −2 0<br />

0 7 0<br />

0 0 1<br />

⎤<br />

⎦ k2−2k1<br />

∼<br />

⎡<br />

⎣ −1 0 0<br />

0 7 0<br />

0 0 1<br />

⎤<br />

⎦ .<br />

Ostatnia macierz jest macierzą diagonalną naszego funkcjonału. Wykonując teraz takie same<br />

operacje tylko na kolumnach macierzy jednostkowej otrzymamy<br />

⎡<br />

⎣ 1 0 0 ⎤ ⎡<br />

0 1 0 ⎦ k3+k1<br />

∼ ⎣ 1 0 1 ⎤ ⎡<br />

0 1 0 ⎦ k2−2k1<br />

∼ ⎣ 1 −2 1 ⎤<br />

0 1 0 ⎦ .<br />

0 0 1<br />

0 0 1<br />

0 0 1<br />

W kolumnach ostatniej macierzy znajdują się wektory tworzące bazę B<br />

b) Rząd formy to rząd macierzy tej formy, zatem rząd formy wynosi 3. Sygnatura to para (p, q),<br />

gdzie p - ilość elementów dodatnich w macierzy diagonalnej tej formy, q - ilość elementów<br />

ujemnych, zatem sygnatura tej formy to (2, 1).<br />

2


Kryteria oceniania: Poprawne wyznaczenie macierzy diagonalnej - 2 pkt. Wyznaczenie bazy - 2 pkt. Podanie<br />

rzędu formy - 1 pkt. Podanie sygnatury formy - 1 pkt. Razem: 6 pkt.<br />

Zadanie 3. Niech C[0, π] oznacza przestrzeń liniową funkcji ciągłych o wartościach rzeczywistych na odcinku<br />

[0, π].<br />

a) Wykaż, że odwzorowanie<br />

h : C[0, π] × C[0, π] → R, h(f, g) =<br />

jest iloczynem skalarnym w C[0, π].<br />

∫ π<br />

0<br />

f(t)g(t) dt<br />

b) Oblicz normę funkcji f 1 (x) ≡ 1, f 2 (x) = x − 1, f 3 (x) = sin x generowaną przez iloczyn<br />

skalarny h;<br />

c) Czy prawdą jest, że<br />

∫ π<br />

e −x2 +x<br />

(∫ π<br />

dx<br />

∣ x ∣ e 2x ) 1/2 (∫ π<br />

1/2<br />

x 2 e dx) −2x2 ?<br />

0<br />

Odpowiedź uzasadnij.<br />

0<br />

0<br />

Rozwiązanie:<br />

a) Trzeba wykazać o odwzorowaniu h, że jest dwuliniowe, niezdegenerowane symetryczne.<br />

Dwuliniowość wynika wprost z własności całki, bowiem<br />

h(f + g, k) =<br />

∫ π<br />

0<br />

∫ π<br />

0<br />

(f + g)(t)k(t) dt =<br />

g(t)k(t) dt = h(f, k) + h(g, k).<br />

∫ π<br />

0<br />

f(t)k(t) + g(t)k(t) dt =<br />

∫ π<br />

0<br />

f(t)k(t) dx+<br />

Analogicznie wykazuje się liniowość ze względu na drugi argument. Jednorodność ze względu<br />

na skalar również wynika z własności całki<br />

h(cf, g) =<br />

∫ π<br />

0<br />

cf(t)g(t) dt = c<br />

∫ π<br />

0<br />

f(t)g(t) dt = c · h(f, g).<br />

Jednorodność ze względu na drugi argument wykazuje się analogicznie. h jest więc dwuliniowe.<br />

Pokażmy symetrię h.<br />

h(f, g) =<br />

∫ π<br />

0<br />

f(t)g(t) dt =<br />

∫ π<br />

0<br />

g(t)f(t) dt = h(g, f).<br />

h jest więc dwuliniowa i symetryczna. Pozostaje sprawdzić niezdegenerowanie. Niezdegenerowanie<br />

oznacza<br />

h(f, f) 0 i h(f, f) = 0 ⇔ f ≡ 0.<br />

Mamy jednak<br />

h(f, f) =<br />

∫ π<br />

0<br />

f(t)f(t) dt =<br />

∫ π<br />

0<br />

f 2 (t) dt.<br />

Ponieważ funkcja podcałkowa (jako kwadrat funkcji f) jest nieujemna to<br />

h(f, f) 0.<br />

Całka z funkcji ciągłej i nieujemnej może być równa zero wtedy i tylko wtedy, gdy funkcja<br />

ta jest tożsamościowo równa zero. Mamy zatem niezdegenrowanie h. h jest więc iloczynem<br />

skalarnym.<br />

3


) Obliczmy<br />

‖f 1 ‖ = √ (∫ π<br />

1/2 (∫ π 1/2<br />

h(f 1 , f 1 ) = (−1) dx) 2 = 1 dx)<br />

= √ π.<br />

0<br />

‖f 2 ‖ = √ (∫ π<br />

1/2<br />

√<br />

1<br />

h(f 2 , f 2 ) = (x − 1) dx) 2 =<br />

3 π3 − π 2 + π<br />

‖f 3 ‖ = √ (∫ π<br />

1/2 (∫ π<br />

(f 3 , f 3 ) = sin 2 x dx)<br />

=<br />

( 1<br />

2<br />

∫ π<br />

0<br />

(1 − cos 2x) dx) 1/2<br />

=<br />

0<br />

0<br />

√<br />

2π<br />

2 .<br />

c) Zauważmy, że nierówność ta może zostać zapisana jako<br />

( )∣ e<br />

x ∣∣∣<br />

∣ h x , ∥<br />

∥e x e−x2<br />

x ∥ · ∥<br />

∥e −x2∥ ∥ .<br />

0<br />

0<br />

1 − cos 2x<br />

2<br />

dx) 1/2<br />

=<br />

Zauważmy, że jest to nierówność Schwarza! Inny sposób rozwiązania. Zauważmy, że na<br />

odcinku [0, π] funkcja e 2x jest ograniczona z dołu przez 1. Mamy stąd<br />

∫ π<br />

e 2x ∫ π<br />

x 2 dx 1<br />

x 2 dx = − 1 π<br />

x∣<br />

= ∞.<br />

0<br />

0<br />

0<br />

Jeśli po prawej stronie nierówności występuje czynnik nieskończony, a drugi czynnik (całka<br />

z e −2x2 ) jest niezerowy, to nierówność jest spełniona w oczywisty sposób.<br />

Kryteria oceniania: W sprawie kryteriów proszę kontaktować się z M. Trynieckim.<br />

Zadanie 4. W przestrzeni R 2 [x] wielomianów stopnia co najwyżej drugiego o współczynnikach z ciała R<br />

określamy iloczyn skalarny 〈·, ·〉 : R 2 [x] × R 2 [x] → R wzorem<br />

〈a 0 + a 1 t + a 2 t 2 , b 0 + b 1 t + b 2 t 2 〉 = a 0 b 2 + a 1 b 1 + a 2 b 0 .<br />

Znajdź kąt między f(x) = x 2 + √ 2x oraz g(x) = √ 2x 2 + √ 6.<br />

Rozwiązanie: Zauważmy, że 〈·, ·〉 w istocie nie są iloczynem skalarnym! Wystarczy wziąć wieloman f(t) = 1.<br />

Wówczas 〈1, 1〉 = 0. Dalsze rachunki są nieuzasadnione.<br />

Kryteria oceniania: W tym zadaniu, w sformułowaniu skradł się błąd... Właściwe sformułowanie zadania powinno<br />

brzmieć:<br />

„W przestrzeni R 2 [x] wielomianów stopnia co najwyżej drugiego o współczynnikach z ciała R<br />

określamy operację...”.<br />

Dopero wtedy trzeba sprawdzić, czy operacja ta jest iloczynem skalarnym i (ewentualnie) liczyć<br />

ów kąt. Takie rozwiązanie, tzn. zauważenie że nie jest to iloczyn skalarny punktowane jest od<br />

razu najwyższą ilością 6 pkt. Inne rozwiązania (obliczające kąt) w zależności od poprawności ich<br />

elementów są oceniane następująco: obliczenie 〈f, g〉 - 1 pkt., obliczenie ‖f‖ i ‖g‖ zgodnie z 〈·, ·〉<br />

- po 2 pkt., obliczenie cosinusa kąta - 1pkt.<br />

Zadanie 5. Zbadaj określoność formy kwadratowej zadanej macierzą<br />

⎡<br />

⎤<br />

1 2 −6 0<br />

B = ⎢ 2 4 −12 0<br />

⎥<br />

⎣ −6 −12 30<br />

√<br />

0<br />

0 0 0 7<br />

⎦ . 4


Rozwiązanie: Korzystamy z kryteruium Sylwestera. Liczymy minory główne dla macierzy B. Licząc wyznacznik<br />

macierzy powstałej przez wykreślenie pierwszego i czwarego wiersza i pierwszej i czwartej<br />

kolumny otrzymamy<br />

[<br />

det<br />

4 −12<br />

−12 30<br />

]<br />

= −24 < 0.<br />

Istnieje zatem ujemny minor główny stopnia parzystego. Na mocy kryterium Sylwestera, macirz<br />

ta jest nieokreślona.<br />

Kryteria oceniania: W sprawie kryteriów proszę kontaktować się z M. Trynieckim.<br />

5

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!