4. cvičení z lineární algebry II - bilineární a kvadratické formy
Příklad. 1. Symetrická bilineární forma / : IR3 x IR3 —> IR má v souřadnicích standardní báze vyjádření f (u, v) = x\y\ + 2x\y2 + 3x\y3 + 2x2y\ + 3x3y\. (x a y jsou souřadnice vektorů uauve standardní bázi.) Najděte v IR3 nějakou její polární bázi, tj. bázi (3 v jejíž souřadnicích má / vyjádření f(u, v) = bužiýi + b22x2y2 + b33x3y3. Toto vyjádření rovněž najděte, (x a y jsou souřadnice vektorů iiauv bázi (5.)
Poznámka. Polární báze není určena jednoznačně. Jednoznačně je určen pouze počet kladných a záporných koeficientů v zápisu bilineární formy v souřadnicích polární báze.
Příklad. 2. Kvadratická forma / : IR3 —> IR má ve standardní bázi vyjádření
f(u) = 2x\ + 2xiX2 — x\ — 2x2x3 — x3.
Najděte její vyjádření v bázi a = ((1,1,1), (1,1, 0), (1, 0, 0)). Dále najděte nějakou její polární bázi, tj. bázi (3, v jejíž souřadnicích je f{u) = b\\x\ + h22x\ + 633^3, kde čísla ba = 0, 1 nebo —1. Určete signaturu /.
Příklad. 3. Uvažujme kvadratickou formu g : IR2 —> IR, g{x) = 2x\ + Axix2 — Sx2. Pomocí definice napište matici její symetrické bilineární formy v bázi a = ((1, 2), (3, —1)).
Příklad. 4. Ve standardních souřadnicích napište nějakou kvadratickou formu h : IR3 —> IR, která je pozitivně definitní na podprostoru V a negativně definitní na podprostoru W, kde
V= [(1,0, 2), (0,1,1)],    W = [(1,1,0)].
Příklad. 5. Definují následující symetrické bilineární formy skalární součin na IR3? Pokud ano, napište pro ně Caychyovu nerovnost.
a) f(x, y) = xxyx + 3x2y2 + 5x3y3 + 3xľy3 + 3x3yľ - x2y3 - x3y2,
b) f(x, y) = xxyx + 3x2y2 + 5x3y3 + 2xľy3 + 2x3y± - x2y3 - x3y2,
c) f(x, y) = xxy2 + x2yi + 2xty3 + 2x3yt + Ax2y3 + Ax3y2,
d) f(x, y) = xxyx - 2xxy2 - 2x2yx + 5x2y2 - x2y3 - x3y2 + 2x3y3.
Příklad. 6. Pomocí skalárního součinu dokažte:
(1) V rovnoběžníku je součet druhých mocnin úhlopříček roven součtu druhých mocnin všech stran.
(2) Rovnoběžník je kosočtverec, právě když jsou jeho úhlopříčky na sebe kolmé.
Úloha na další procvičení Příklad. Kvadratická forma / : IR4 —> IR má ve standardní bázi vyjádření
f(u) = 2x\X2 + %X\X3 — 2x2x3 — 8x2^4 + 8x3X4.
Najděte nějakou bázi (3, v jejíž souřadnicích je f(u) = bux\ + 622^2 + ^33^3 + b^x\, kde čísla ba = 0, 1 nebo —1.
1