GAL z Konspekt wyk ladów: Formy 2-liniowe [Kos roz.1 4], [Tor VII] 1 zadane wzorem φ # (w) = φ(, w). W bazach:

Podobne dokumenty
Wyk lad 9 Przekszta lcenia liniowe i ich zastosowania

GAL, konspekt wyk ladów: Tensory

GAL z aweber/zadania/gal2017gw/ Wersja

Wyk lad 10 Przestrzeń przekszta lceń liniowych

Formy kwadratowe. Mirosław Sobolewski. Wydział Matematyki, Informatyki i Mechaniki UW. wykład z algebry liniowej Warszawa, styczeń 2009

Diagonalizacja macierzy i jej zastosowania

Wyk lad 11 Przekszta lcenia liniowe a macierze

Zadania z GAL-u. 1 Rozwia. Listopad x + 3y = 1 3x + y = x + y = 1 x + 2y 3z = 3 2x + 4y + z = 1 1.2

1 Formy hermitowskie. GAL (Informatyka) Wykład - formy hermitowskie. Paweł Bechler

Diagonalizacja macierzy i jej zastosowania

Rozdzia l 11. Przestrzenie Euklidesowe Definicja, iloczyn skalarny i norma. iloczynem skalarnym.

Diagonalizacja macierzy i jej zastosowania

Jak łatwo zauważyć, zbiór form symetrycznych (podobnie antysymetrycznych) stanowi podprzestrzeń przestrzeni L(V, V, K). Oznaczamy ją Sym(V ).

a 11 a a 1n a 21 a a 2n... a m1 a m2... a mn a 1j a 2j R i = , C j =

Wyk lad 14 Formy kwadratowe I

GAL, konspekt wyk ladów: Przestrzenie afiniczne

Algebra Liniowa 2 (INF, TIN), MAP1152 Lista zadań

φ(x 1,..., x n ) = a i x 2 i +

Wyk lad 11 1 Wektory i wartości w lasne

A. Strojnowski - Twierdzenie Jordana 1

GAL, konspekt wyk ladów: Tensory

Wyk lad 5 W lasności wyznaczników. Macierz odwrotna

Formy kwadratowe. Mirosław Sobolewski. Wydział Matematyki, Informatyki i Mechaniki UW. 14. wykład z algebry liniowej Warszawa, styczeń 2011

13. Cia la. Rozszerzenia cia l.

Praca domowa - seria 6

Wyk lad 4 Macierz odwrotna i twierdzenie Cramera

Wyk lad 9 Baza i wymiar przestrzeni liniowej

Wyk lad 7 Baza i wymiar przestrzeni liniowej

Algebra i jej zastosowania ćwiczenia

Zadania z Algebry liniowej 4 Semestr letni 2009

Rozdzia l 10. Formy dwuliniowe i kwadratowe Formy dwuliniowe Definicja i przyk lady

Lista. Przestrzenie liniowe. Zadanie 1 Sprawdź, czy (V, +, ) jest przestrzenią liniową nadr :

Wyk lad 13 Funkcjona ly dwuliniowe

spis treści 1 Zbiory i zdania... 5

Algebra liniowa z geometria. - zadania Rok akademicki 2010/2011

P (x, y) + Q(x, y)y = 0. g lym w obszrze G R n+1. Funkcje. zania uk ladu (1) o wykresie przebiegaja

Algebra liniowa. 1. Macierze.

Endomorfizmy liniowe

Pierścienie grupowe wyk lad 3. lewych podmodu lów prostych. Ogólniej, aby roz lożyć dany pierścień na sume. prosta

10 czerwiec aweber/zadania/gal2017gw/ przestrzeni liniowej. Oznaczenie V/W.

Zadania o grupach Zadania zawieraja

1 Działania na zbiorach

ALGEBRA LINIOWA Z ELEMENTAMI GEOMETRII ANALITYCZNEJ

Przestrzeń unitarna. Jacek Kłopotowski. 23 października Katedra Matematyki i Ekonomii Matematycznej SGH

Zadania z GAL-u 2004/2005

Wyk lad 9 Baza i wymiar przestrzeni liniowej

Zadania egzaminacyjne

Baza w jądrze i baza obrazu ( )

1 Zbiory i działania na zbiorach.

Suma i przeciȩcie podprzestrzeni, przestrzeń ilorazowa Javier de Lucas

Macierz o wymiarach m n. a 21. a 22. A =

DB Algebra liniowa 1 semestr letni 2018

Niezb. ednik matematyczny. Niezb. ednik matematyczny

Wzory Viete a i ich zastosowanie do uk ladów równań wielomianów symetrycznych dwóch i trzech zmiennych

Wyk lad 8 macierzy i twierdzenie Kroneckera-Capellego

Zadania z algebry liniowej Iloczyn skalarny, przestrzenie euklidesowe

Szczegółowa lista zagadnień kursu Algebra z geometrią MT obowiązujących na egzamin ustny w roku akademickim 2018/19

GAL, konspekt wyk ladów: Przestrzenie afiniczne

Rozwiązania zadań z listy T.Koźniewskiego

2 1 3 c c1. e 1, e 2,..., e n A= e 1 e 2...e n [ ] M. Przybycień Matematyczne Metody Fizyki I

Analiza matematyczna i algebra liniowa Macierze

Wykład 12 i 13 Macierz w postaci kanonicznej Jordana , 0 A 2

dr Mariusz Grządziel 15,29 kwietnia 2014 Przestrzeń R k R k = R R... R k razy Elementy R k wektory;

Zastosowania wyznaczników

13 Układy równań liniowych

Macierze. Rozdział Działania na macierzach

Przestrzenie wektorowe, liniowa niezależność wektorów, bazy przestrzeni wektorowych

Warunki dzia lań na wektorach - aksjomaty przestrzeni liniowej a) b) daja podobnie do wektorów: strza lki, si la, pre

Wyk lad 4 Warstwy, dzielniki normalne

Wykład 14. Elementy algebry macierzy

Algebra liniowa z geometrią

1 Znaleźć wszystkie możliwe tabelki dzia lań grupowych na zbiorze 4-elementowym.

1 Endomorfizmy przestrzeni liniowych i ich macierze.

Wyk lad 14 Cia la i ich w lasności

c ze wzoru dwumianowego Newtona obliczyć sumy: a) 3 2 obliczyć wartości wyrazów będa cych liczbami ca lkowitymi,

sa dzie metryka z euklidesowa, to znaczy wyznaczaja ca cki, Wojciech Suwiński)

Algebra i jej zastosowania ćwiczenia

Układy równań liniowych

6 Homomorfizmy przestrzeni liniowych

Dziedziny Euklidesowe

Zadania przygotowawcze, 3 kolokwium

Wykład 4 Udowodnimy teraz, że jeśli U, W są podprzetrzeniami skończenie wymiarowej przestrzeni V to zachodzi wzór: dim(u + W ) = dim U + dim W dim(u

Pierścienie grupowe wyk lad 2. Przypomnijmy, że K-algebra A jest pó lprosta, gdy jej lewe A-modu ly przypominaja

ALGEBRA LINIOWA 2. Lista zadań 2003/2004. Opracowanie : dr Teresa Jurlewicz, dr Zbigniew Skoczylas

Wyk lad 6 Podprzestrzenie przestrzeni liniowych

Dzia lanie grupy na zbiorze. Twierdzenie Sylowa

Met Me ody numer yczne Wykład ykład Dr inż. Mic hał ha Łanc Łan zon Instyt Ins ut Elektr Elektr echn iki echn i Elektrot Elektr echn olo echn

Sylabus do programu kształcenia obowiązującego od roku akademickiego 2012/13

Wykład Ćwiczenia Laboratorium Projekt Seminarium Liczba godzin zajęć zorganizowanych w Uczelni 30 30

Wydział Fizyki PW Algebra z geometria

Seria zadań z Algebry IIR nr kwietnia 2017 r. i V 2 = B 2, B 4 R, gdzie

Zadania z Algebry liniowej 3 semestr zimowy 2008/2009

Zaawansowane metody numeryczne

Układy liniowo niezależne

4. Dzia lanie grupy na zbiorze

4 Przekształcenia liniowe

FUNKCJE LICZBOWE. x 1

Wyk lad 7 Metoda eliminacji Gaussa. Wzory Cramera

Wyk lad 4 Dzia lania na macierzach. Określenie wyznacznika

ALGEBRA LINIOWA. Wykład 2. Analityka gospodarcza, sem. 1. Wydział Zarządzania i Ekonomii Politechnika Gdańska

Transkrypt:

GAL z 2017 Konspekt wyk ladów: Formy 2-liniowe [Kos roz1 4], [Tor VII] 242017 Notatki zawieraja odsy lacze do podre czników [Kos]=Kostrikin, [Tor]=Toruńczyk Materia l mniej standardowy jest opisany dok ladniej 1 Przekszta lcenia 2-liniowe 11 Przekszta lcenia dwuliniowe φ : V 1 V 2 V 3 Przyk lady: V V K, A algebra nad K, mnożenie:a A A np, A = L(V, V ), np K = R, A = C sk ladanie przekszta lceń L(W 1, W 2 ) L(W 2, W 3 ) L(W 1, W 3 ), mnożenie funkcji spe lniaja cych różne warunki, np C0 (R) C(R) C 0(R) 12 Przyk lad: Dane 1 < p <, niech l p oznacza zbór cia gów sumowalnych w p-tej pote dzie (tzn i=1 a i p < ) Dla 1 p + 1 q = 1 mamy lp l q R zadane wzorem φ((a i ), (b j )) = i=1 a ib j (zbieżność wynika z nierówności Höldera) 13 Dane bazy A = {α i } i=1,,n przestrzeni V 1, B = {β j } i=1,,m przestrzeni V 2 Przekszta lcenie dwuliniowe φ : V 1 V 2 V 3 wyznaczone jest przez wartości na parach wektorów bazowych φ(α i, β j ) 14 Macierz przekszta lcenia dwuliniowego φ : V 1 V 2 K w bazach to M(φ) A,B M(n m, K) taka, że (M(φ) A,B ) i,j = φ(α i, β j ) 1 Indukowane przekszta lcenie φ # : V 2 V 1 zadane wzorem φ # (w) = φ(, w) W bazach: M(φ # ) A B = M(φ) A,B 16 Jeśli M = M(φ) st,st M(n m, K) jest macierza φ : K n K m w bazach standardowych, to φ(x, Y ) = X T MY (wektor zapisujemy jako kolumne ) Formy 2-liniowe Za lożenie char(k) 2 17 Dla φ : V 1 V 2 K transformacja macierzy M(φ) przy zmianie baz 18 Jeśli V 1 = V 2, to Q nazywamy forma dwuliniowa 19 Forma dwuliniowa φ : V V K jest niezdegenerowana jeśli: (i) w V {0} v V φ(v, w) 0 (ii) v V {0} w V φ(v, w) 0 Jeśli dim(v ) < to (i) jest równoważne (ii) i jest równoważne (iii) M(φ) jest macierza niezdegenerowana 1

110 Powyższe punkty sa równoważne: (i) (i ): indukowane przekszta lcenie φ # : V V zadane wzorem φ # (w) = φ(, w) jest monomorfizmem (ii) (ii ): indukowane przekszta lcenie # φ : V V zadane wzorem # φ (v) = φ(v, ) jest monomorfizmem 111 Ćwiczenie: wskazać forme 2-liniowa, dla której (i) i (ii) nie sa równoważne 112 Gdy V 1 = V 2, to przez macierz formy rozumiemy M(φ) A = M(φ) A,A = ( φ(α i, α j ) ) 1 i,j dim V 113 Zamiana bazy a relacja kongruencji (porównaj z relacja podobieństwa) (A A ) C odwracalna : A = C T AC 114 Za lóżmy, że dim V < Forma jest niezdegenerowana gdy jeden z równoważnych warunków zachodzi {w V v V φ(v, w) = 0} = {0} ker(φ # ) = {0} M(φ) jest maksymalnego rze du (w dowolnej bazie) ker( # φ) = {0} {v V w V φ(v, w) = 0} = {0} 11 Formy symetryczne i antysymetryczne: V 1 = V 2 = V, V 3 = K, φ(v, w) = ±φ(w, v) 116 Przyk lady: V = C([0, 1]), dana funkcja ρ(x) V (ge stość) φ ρ (f, g) = 1 0 ρ(x)f(x)g(x)dx symetryczna V tjw, dane x 0 [0, 1], φ δx0 (f, g) = f(x 0 )g(x 0 ) V = C 1 0 (R): φ(f, g) = f(x)g (x)dx antysymetryczna l 2 l 2 R 117 Rozk lad formy na sume symetrycznej i antysymetrycznej 118 Dla symetrycznej ba dź antysymetrycznej formy dwuliniowej: Dope lnienie ortogonalne W do podprzestrzeni W 119 Dla każdej 2-liniowej symetrycznej ba dź antysymetrycznej formy mamy: {0} = V, V = ker(φ # ) = ker( # φ), W (W ) i równość zachodzi np gdy φ jest niezdegenerowana i dim V < 2 Formy symetryczne i antysymetryczne 21 Dana jest dwuliniowa forma (V, φ) symetryczna lub antysymetryczna, A, B, W V A B = B A gdy dim(v ) <, to dim(v ) dim(w ) + dim(w ) (bo dim(w ) = dim(v ) dim(φ # (W )) dim(v ) dim(w )) 2

22 Dla niezdegenerowanej formy mamy, dim(v ) < dim(v ) = dim(w ) + dim(w ) W = (W ) 23 Ćwiczenie Udowodnić analogiczne w lasności dla przekszta lcenia dwuliniowego φ : V 1 V 2 K używaja c poje cia anihilatora: dla A V 1 definiujemy anh(a) = {w V 2 v A φ(v, w) = 0} 24 Rozk lad przestrzeni na sume prosta ortogonalna A B (oznaczana też V = A B) 2 Każda przestrzeń z symetryczna ba dź antysymetryczna forma 2-liniowa można przedstawić jako V = U W, gdzie U jest ca lkowicie zdegenerowana (tzn φ U = 0), oraz W jest niezdegenerowana Przedstawienie to jest jednoznaczne w naste puja cym sensie: Jeśli V = U W = U W, to U = U oraz istnieje izomorfizm f : W W taki, że dla v, w W mamy φ(v, w) = φ(f(v), f(w)) Dow: U = V, W V/U 26 Za lóżmy, że φ jest symetryczna ba dź antysymetryczna oraz niezdegenerowana, dim(v ) < Dana podprzestrzeń W V taka, że φ W jest niezdegenerowana Wtedy V = W W oraz φ W niezdegenerowana 27 Ćwiczenie: znaleźć przyk lad (V, φ) nieskończonego wymiaru taki, że istnieje W V, W = {0} 28 Za lóżmy, że φ jest antysymetryczna oraz niezdegenerowana, dim(v ) < (Mówimy, że φ jest symplektyczna) Wtedy wymiar V jest parzysty ( oraz istnieje ) baza V : α 1, α 2, α n, β 1, β 2,, β n taka, 0 I że macierz formy w tej bazie jest blokowa J = Ta baza nazywa sie I 0 baza symplektyczna lub Darboux 29 Wniosek z istnienia bazy symplektycznej: ( ) każda macierz antysymetryczna i niezdegenerowana 0 I jest kongruentna do macierzy J =, czyli postaci C I 0 T JC jest 210 Wniosek: wyznacznik macierzy antysymetrycznej jest kwadratem Z ćwiczeń wiemy, że istnieja formu ly wielomianowe pozwalaja ce wycia gna ć pierwiastek z wyznacznika: np (patrz Pfaffian) det 0 x 12 x 13 x 14 x 12 0 x 23 x 24 x 13 x 23 0 x 34 x 14 x 24 x 34 0 = (x 12 x 34 x 13 x 24 + x 14 x 23 ) 2 211 Za lóżmy że φ jest symetryczna Wtedy istnieje baza V, w której M(φ) jest diagonalna 212 O relacji kongruencji cd: Każda macierz symetryczna ( jest ) kongruentna ( ) do macierzy diagonalnej A 0 A Jeśli A A i B B 0 to 0 B 0 B Macierz (a) jest kongruentna ( do (k ) 2 a) dla k 0 ( ) a 0 a + b 0 Jeśli a + b 0, to macierz jest kongruentna do 0 b 0 ab(a + b) 3

213 Ćwiczenie (być może trudne): sklasyfikować formy dwuliniowe symetryczne Q2 Które macierze diagonalne 2 2 sa kongruentne do macierzy jednostkowej? (Zainteresowanym ta tematyka polecam ksia żke J Milnor, D Husemoller Symmetric bilinear forms 214 Nad cia lem w ktżym można wycia gać pierwiastek z dowolnej liczby każda niezdegenerowana ( ) I 0 macierz symetryczna jest kongruentna do macierzy 0 0 3 Diagonalizacja, rozk lad KAM 31 Metoda Jacobiego: za lóżmy, że dla macierzy M(φ) minory g lówne 1, 2, n sa różne od zera Wtedy istnieje baza K n, w której φ ma postać diagonalna z liczbami 1, 2 / 1, n / n 1 na przeka tnej Dok ladniej: dana baza α 1, α 2, α n Szukamy indukcjnie bazy spe lniaja cej 1) β 1 = α 1, 2) β 2 = α 2 c 21 β 1, φ(β 2, β 1 ) = 0, 3) β 3 = α 3 c 31 β 1 c 32 β 2, φ(β 3, β 1 ) = 0, φ(β 3, β 2 ) = 0, itd Wspóćzynniki c ij (i > j) sa równe φ(α i, β j )/φ(β j, β j ) Z warunku j 0 wynika, że φ(β j, β j ) 0 32 Metoda Lagrange a diagonalizacji formy kwadratowej stowarzyszonej z symetryczna forma 2- liniowa : znajdowanie wspó lrze dnych, w których forma kwadratowa jest suma kwadratów (uzupe lnianie do pe lnych kwadratów) 33 Jeśli i 0, to forma kwadratowa kwadratowa sprowadzona metoda Lagrange a od sumy kwadratów ma postać: gdzie x i = x i j<i a ijx j 1 x 2 1 + 2 1 x 2 2 + 3 2 x 2 3 + + n n 1 x 2 n 34 Ćwiczenie: wyznaczniki kolejnych minorów maja znaki jak poniżej Jakiej postaci może być forma? a) + 0, b) + + 0, c) + 0 +, d) + + 0, e) + 0, itp 3 Ćwiczenie: Czy możemy otrzymać cia g znaków + + 0 +? 36 Twierdzenie o bezw ladności: Jeśli cia lo jest uporza dkowane i każdy element > 0 jest kwadratem (np K = R), to każda macierz symetryczna jest kongruentna do diagonalnej, a na przeka tnej sa tylko 1, 1 i 0 Ilości,,1,,,0 i,, 1 sa jednoznacznie wyznaczone Dowód dla formy niezdegenerowanej: jeśli k + l = k + l = n to albo k + l > n lub k + l > n 37 Równoważne sformu lowanie: (V, φ) [ 1 ] k [ 1 ] l [ 0 ] m 38 W Twierdzeniu o bezw ladności liczby k, l, m: liczba k jest róna wymiarowi maksymalnej podprzestrzeni, na której φ jest dodatnio określona, liczba l jest róna wymiarowi maksymalnej podprzestrzeni, na której φ jest ujemnie określona, m = dim(v ) 4

39 Liczba σ = k l nazywana jest sygnatura formy Sygnatura oraz rza d r(m(φ)) wyznaczaja typ formy z dok ladnościa do izomorfizmu liniowego Innymi s lowy wyznaczaja klase kongruencji M(φ) To wszystko jest prawda nad R Nad Q jest o wiele ciekawiej 310 Formy określone dodatnio i ujemnie 311 Kryterium Sylwestera orzekaja ce kiedy forma jest dodatnio określona (be dzie na nast epnym wyk ladzie, ale nie jest to nic wie cej niż wniosek z metody Jacobiego) 312 Ćwiczenie: Niech I n M n n (K) be dzie macierza jednostkowa Dana niezdegenerowana macierz ( ) A 0 symetryczna A M n n (K) Udowodnić, że macierz blokowa M 0 A 2n 2n (K) jest kongruentna z ( 0 In I n 0 ) 313 Za lóżmy, że φ jest forma symetryczna dwuliniowa na R Wtedy istnieje baza taka, że M(φ) = I Taka baza nazywa sie ortonormalna 314 Je li φ jest standardowa forma symetryczna dodtnió określona w R n, (tzn M(φ) st = I, B = M(Id) st B, to baza B jest ortonormalna wtedy i tylko wtedy gdy BT B = I Zbiór takich macierzy jest oznaczny przez O(n) to jest podgrupa w GL n (R) 31 Diagonalizacja formy metoda Jacobiego w przypadku formy dodatnio określonej nazywa sie ortogonalizacja Grama-Schmidta W efekcie znajdujemy baze ortogonalna, a później przeskalowuja c wektory baze ortonormalna 316 Dana baza A Ortogonalizacja G-S: β i = α i i 1 (α i,β j ) j=1 (β j,β j ) β j, γ i = 1 i (βi,β i ) (piszemy (α, β) zamiast φ(α, β)) Otrzymujemy procedure A B C dowolna baza baza ortogonalna baza ortonormalna gdzie M(Id) B A jest górnotrójka tna z jedynkami na przeka tnej (bo M(Id)A B diagonalna, M st C O(n) jest taka), M(Id)C B jest 317 Przyjmuja c: G = M st A (I), K = M st C (I), A = M C B(I), N = M B A(I) traktujemy ortogonalizacje G-S jako algorytm pozwalaja cy przedstawić dowolna macierz odwracalna G w postaci G = K A N, gdzie K O(n), macierz A jest diagonalna z dodatnimi wyrazami, N górnotrójka tna z jedynkami na przeka tnej To sie nazywa rozk ladem Iwasawy 318 Przyk lad: α 1 = (3, 4), α 2 = (1, 1) β 1 = (3, 4), β 2 = ( 4 2, 3 2 ) γ 1 = ( 3, 4 ), γ 2 = ( 4, 3 ) G = ( ) 3 1 4 1 = ( 3 4 4 3 ) ( 0 0 1 ) ( ) 1 7 2 0 1

320 Ćwiczenie: Pokazać SO(R 3 ) P 3 (R) 319 Ćwiczenie Rozk lad Iwasawy KAN jest jednoznaczny Mamy bijekcje O(n) (R + ) n R n(n 1) 2 GL(R n ), (K, A, N) K A N (Tu (R + ) n utoższamiamy ze zbiorem macierzy z wyrazami dodatnimi na przeka tnej, R n(n 1) 2 z macierzami górnotrójka tnymi z jedynkami na przeka tnej) Na przyk lad GL(R 2 ) O(2) (R + ) 2 R gdzie SO(n) = {K O(n) det(k) = 1} 4 Przekszta lcenia zachowuja ce forme Kwadryki 41 Kryterium Sylwestera Forma (R n, φ) jest dodatnio określona wtedy i tylko wtedy wyznaczniki kolejnych minorów g lównych 1, 2,, n sa dodatnie 42 Forma (R n, φ) jest ujemnie określona wtedy i tylko wtedy wyznaczniki kolejnych minorów g lównych 1, 2,, n maja naprzemienne znaki -+-+ ( 1) n 43 Forma dwuliniowa symetryczna niezdegenerowana, dodatnio określona, oznaczana przez (v, w), v, w lub vw nazywana jest loczynem skalarnym (naogó l rozważany nad R lub Q) Norma definiowana jest jako v = (v, v) Ćw: Norma spe lnia: v 0 oraz ( v = 0 v = 0) av = a v v + w v + w 44 Dane formy 2-liniowe symetryczne (V, φ) i (W, ψ) Przekszta lcenie f : V W zachowuje forme, jeśli dla v, w V mamy φ(v, w) = ψ(f(v), f(w)) Macierzowo, jeśli B = M(f) jest macierza f (w pewnych bazach), to B T M(ψ)B = M(φ) 4 Jeśli forma φ jest niezdegenerowana, to φ jest monomorfizmem Jeśli dim V = dim W <, to φ jest izomorfizmem 46 Za lóżmy, że φ jest niezdegenerowana, dim V < Zbiór G = {f End(V ) : f zachowuje φ} jest grupa Macierzowo: G = {B M n n (K) : B T M(φ)B = M(φ)} Każdy element G spe lnia det B = ±1 47 Jeśli K = R oraz φ jest typu (V, φ) [ 1 ] k [ 1 ] l, to grupe przekszta laceń zachowuja cych φ oznaczamy O(k, l) 6

48 Szczególne przypadki (tu utożsamiamy przekszta lcenia z macierzami): O(n, 0) = O(n) = {X M n n (K) : X T X = I} grupa ortogonalna Tu X 1 = X SO(n) = O(n) SL n (R), gdzie SL n (K) = {X M n n (K) : det X = 1} SO(k, l) = O(k, l) SL n (R), be dziemy rozważać SO(1, 3), ma ona 2 sk ladowe 1 Sk ladowa identyczności to grupa Lorentza L = {f SO(1, 3) : f(c + ) = C + }, gdzie C + = {x R 4 : φ(x, x) > 0, x 1 > 0 } jest stożkiem dodatnim 49 Izometryczne przekszta lcenie przestrzeni nierównych lub nieskończonych wymiarów nie musi być izomorfizmem Istnieje wiele przyk ladów przekszta lceń izometrycznych przestrzeni Hilberta l 2 = {(a n ) n N które nie sa izomorfizmami a 2 n < }, Kwadryki [Kos roz 2-4, tam jest bardzo dok ladnie] 410 Zbiory algebraiczne w K n to zbiory opisane uk ladami równań wielomianowch n=1 411 Przyka d: okra g, hiperbola, parabola w R 2 412 Kwadryki afiniczne: Każda kwadryka afiniczna w R n może być przekszta lceniem afinicznym sprowadzona do kwadryki opisanej równaniem: k x 2 i i=1 k+l j=k+1 x 2 j = δ k + l n, δ = 0 lub 1 albo k + l < n k x 2 i i=1 k+l j=k+1 x 2 j = x k+l+1 413 Afiniczne typy równoważności kwadryk w R 3 i rzutowe typy Zak ladaja c, że po ujednorodnieniu otrzymujemy forme niezdegenierowana mamy naste puja ce typy: - elipsoida (sfera) x 2 + y 2 + z 2 = 1, typ rzutowy + + + - hiperboloida jednopow lokowa x 2 + y 2 z 2 = 1, typ rzutowy + + - hiperboloida dwupow lokowa x 2 + y 2 z 2 = 1, typ rzutowy + + + - paraboloida eliptyczna x 2 + y 2 = z, typ rzutowy + + + - paraboloida hiperboliczna x 2 y 2 = z, typ rzutowy + + - zbiór pusty x 2 + y 2 + z 2 = 1, typ rzutowy + + ++ 414 Po ujednorodnieniu zdegenerowana forma: - x 2 + y 2 + z 2 = 0,,gruby punkt, typ rzutowy +++0 - x 2 + y 2 z 2 = 0 stożek, typ rzutowy ++-0 - itd itp 1 Chodzi o sk ladowe spójności, lub co na jedno wychodzi sk ladowe lukowej spójności, które be da zdefiniowane na topologii 7