Definicija.Kvadratični oblik, što odgovara simetričnom bilinearnom obliku na linearnom prostoru V , naziva se funkcija jednog vektorskog argumenta .

Neka kvadratni oblik , bude simetrični bilinearni oblik koji mu odgovara. Onda

odakle slijedi da je simetrični bilinearni oblik koji odgovara kvadratnom obliku također jednoznačno određen. Dakle, između simetričnih bilinearnih i kvadratnih oblika na linearnom prostoru V uspostavlja se korespondencija jedan prema jedan, tako da se kvadratni oblici mogu proučavati korištenjem simetričnih bilinearnih oblika.

Razmislite n-dimenzionalni linearni prostor. Matrica kvadratne forme u datoj bazi linearnog prostora naziva se matrica odgovarajućeg simetričnog bilinearnog oblika u istoj bazi. Kvadratna matrica je uvijek simetrična.

Označimo matricu kvadratnog oblika u nekoj bazi prostora . Ako, kao i obično, označavamo X koordinatni stupac vektora u istoj osnovi, tada iz jednakosti 5.5 dobijamo matrični oblik kvadratnog oblika:

.

Teorema 5.4. Neka su date dvije baze u linearnom prostoru

(5.10)

, (5.11)

i neka su kvadratne matrice u bazama (5.10) i (5.11), respektivno. Onda gde T je prijelazna matrica iz (5.10) u (5.11).

Dokaz slijedi iz teoreme 5.2 i definicije matrice kvadratnog oblika.

Zbog činjenice da je prijelazna matrica T je nedegenerisan, onda se rang matrice kvadratnog oblika ne menja pri prelasku na novu bazu. Stoga možemo formulirati sljedeću definiciju.

Definicija. rang kvadratnog oblika definisanog na linearnom prostoru naziva se rang njegove matrice u nekoj, a time i u bilo kojoj bazi prostora (označeno sa ).

Sada pišemo kvadratni oblik u koordinatnom obliku. Da bismo to učinili, širimo vektor u smislu baze (5.10): . Ako je matrica kvadratnog oblika u istoj bazi, onda u skladu s jednakošću (5.4) imamo

– (5.12)

koordinatni oblik kvadratnog oblika. Zapišimo (5.12) detaljno za n= 3, s obzirom na to

Dakle, ako je data baza, onda kvadratni oblik u koordinatnoj notaciji izgleda kao homogeni polinom drugog stepena u n varijable – vektorske koordinate u datoj bazi. Ovaj polinom se zove pogled kvadratni oblik u datoj bazi. Ali u aplikacijama takvi polinomi često nastaju nezavisno, bez vidljive veze s linearnim prostorima (na primjer, drugi diferencijali funkcija), pa formuliramo još jednu definiciju kvadratnog oblika.

Definicija. kvadratni oblik iz n varijable je homogeni polinom drugog stepena u ovim varijablama, tj. funkcija oblika (5.12). Matrica kvadratnog oblika (5.12) je simetrična matrica.

Primjer sastavljanje matrice kvadratnog oblika. Neka bude

Iz (5.12) i (5.13) se vidi da se koeficijent od at poklapa sa , tj. dijagonalni elementi matrice kvadratnog oblika su koeficijenti kvadrata. Na isti način vidimo da je to polovina koeficijenta proizvoda. Dakle, kvadratna matrica oblika (5.14) izgleda ovako:

.

Sada ponovo biramo u prostoru dve baze (5.10) i (5.11) i označavamo, kao i obično, su koordinatni stupci vektora u bazama (5.10) i (5.11), respektivno. Prilikom prelaska sa baze (5.10) na bazu (5.11), koordinate vektora se mijenjaju po zakonu:

gdje je matrica prijelaza iz (5.10) u (5.11). Imajte na umu da je matrica nedegenerirana. Jednakost (5.15) pišemo u koordinatnom obliku:

ili detaljno:

(5.17)

Uz pomoć jednakosti (5.17) (ili (5.16), što je isto), prelazimo sa varijabli na varijable .

Definicija. Linearna nedegenerirana transformacija varijabli je transformacija varijabli definisanih sistemom jednakosti (5.16) ili (5.17), ili jedna matrična jednakost (5.15), pod uslovom da je to nesingularna matrica. Matrix T naziva se matrica ove transformacije varijabli.

Ako u (5.12) umjesto varijabli zamijenimo njihove izraze kroz varijable prema formulama (5.17), otvorimo zagrade i damo slične, onda ćemo dobiti još jedan homogeni polinom drugog stepena:

.

U ovom slučaju, kaže se da linearna nedegenerirana transformacija varijabli (5.17) uzima kvadratni oblik u kvadratni oblik. Vrijednosti varijabli i povezane relacijom (5.15) (ili relacijama (5.16) ili (5.17)) će se zvati relevantan za datu linearnu nedegenerisanu transformaciju varijabli.

Definicija. Skup varijabli se poziva netrivijalan , ako je vrijednost barem jedne od varijabli u njoj različita od nule. U suprotnom, skup varijabli se poziva trivijalan .

Lema 5.2. Pod linearnom nedegenerisanom transformacijom varijabli, trivijalni skup varijabli odgovara trivijalnom skupu.

To očito slijedi iz jednakosti (5.15): ako , onda i . S druge strane, korištenjem nesingularnosti matrice T, opet iz (5.15) dobijamo , odakle je jasno da za , također .◄

Posljedica. Pod linearnom nedegenerisanom transformacijom varijabli, netrivijalan skup varijabli odgovara netrivijalnom skupu.

Teorema 5.5. Ako linearna nedegenerirana transformacija (5.15) ima kvadratni oblik sa matricom A u kvadratni oblik sa matricom A", zatim (još jedna formulacija teoreme 5.4).

Posljedica. Pod linearnom nedegenerisanom transformacijom varijabli, determinanta matrice kvadratnog oblika ne mijenja predznak.

Komentar. Za razliku od prelazne matrice i matrice linearni operator, matrica linearne nedegenerisane transformacije varijabli nije zapisana kolonama, već redovima.

Neka su date dvije linearne nedegenerirane transformacije varijabli:

Primijenimo ih redom:

Kompozicija linearnih nedegeneriranih transformacija varijabli(5.18) i (5.19) je njihova sukcesivna primjena, odnosno transformacija varijabli Iz (5.20) je jasno da je kompozicija dvije linearne nedegenerirane transformacije varijabli također linearna nedegenerirana transformacija varijabli.

Definicija. Kvadratni oblici pozvao ekvivalentan , ako postoji linearna nedegenerirana transformacija varijabli koja transformira jednu od njih u drugu.

Definicija. Kvadratični oblik naziva se pozitivno definitivan ako su sve njegove vrijednosti za realne vrijednosti varijabli koje nisu istovremeno jednake nuli pozitivne. Očigledno, kvadratni oblik je pozitivno određen.

Definicija. Za kvadratni oblik se kaže da je negativno određen ako su sve njegove vrijednosti negativne osim vrijednosti različite od nule za vrijednosti varijabli koje nisu nula.

Definicija. Za kvadratni oblik se kaže da je pozitivno (negativno) poluodređeno ako ne uzima negativne (pozitivne) vrijednosti.

Kvadratni oblici koji uzimaju i pozitivne i negativne vrijednosti nazivaju se neodređeni.

At n=1 kvadratni oblik je ili pozitivno određen (za ) ili negativno određen (za ). Neodređeni oblici pojavljuju se na .

Teorema(Sylvesterov kriterij za pozitivnu određenost kvadratnog oblika). Za kvadratni oblik

je pozitivno definisan, potrebno je i dovoljno da budu ispunjeni sljedeći uslovi:

.

Dokaz. Koristimo indukciju o broju varijabli uključenih u . Za kvadratni oblik koji zavisi od jedne varijable, a tvrdnja teoreme je očigledna. Pretpostavimo da tvrdnja teoreme vrijedi za kvadratni oblik ovisno o n-1 varijabli.

1. Dokaz o neophodnosti. Neka bude

pozitivno definisano. Zatim kvadratni oblik

će biti pozitivno definitivan, budući da ako , onda za .

Po hipotezi indukcije, svi glavni minori oblika su pozitivni, tj.

.

Ostaje da se to dokaže.

Pozitivno određeni kvadratni oblik nedegeneriranom linearnom transformacijom X=BY svedeno na kanonski oblik

Kvadratni oblik odgovara dijagonalnoj matrici

sa odrednicom.

Linearna transformacija specificirana nesingularnom matricom V, transformiše matricu WITH kvadratni oblik u matricu. Ali pošto onda .

2. Dokaz o dovoljnosti. Pretpostavimo da su svi glavni minori kvadratnog oblika pozitivni: .

Dokažimo da je kvadratni oblik pozitivno određen. Hipoteza indukcije implicira pozitivnu određenost kvadratnog oblika . Dakle se reducira na normalni oblik nedegeneriranom linearnom transformacijom. Odgovarajućom promjenom varijabli i podešavanja dobijamo

gdje - neki novi koeficijenti.

Promjenom varijabli dobijamo

.

Determinanta matrice ovog kvadratnog oblika je , i budući da se njen predznak poklapa sa predznakom, onda , i, prema tome, kvadratni oblik - je pozitivno definisana. Teorema je dokazana.

Da bi kvadratni oblik bio negativno određen, potrebno je i dovoljno da

biti pozitivno određen, što znači da su svi glavni minori matrice

bili pozitivni. Ali to znači to

one. da su predznaci glavnih minora matrice C naizmjenično, počevši sa znakom minus.

Primjer. Izračunajte da li je kvadratni oblik pozitivno (negativno) određen ili neodređen.

Rješenje. Kvadratna matrica ima oblik:

.

Izračunajte glavne minore matrice WITH:

Kvadratni oblik je pozitivno određen.

Rješenje. Izračunajte glavne minore matrice

Kvadratni oblik je neodređen.

U zaključku, formuliramo sljedeću teoremu.

Teorema(zakon inercije kvadratnih oblika). Broj pozitivnih i broj negativnih kvadrata u normalnom obliku, na koje se kvadratni oblik svodi nedegeneriranim linearnim transformacijama, ne ovisi o izboru ovih transformacija.

7.5. Zadaci za samostalan rad poglavlje 7

7.1. Dokažite da ako je kvadratni oblik s matricom A je pozitivno određen, onda je kvadratni oblik sa inverzna matrica pozitivno definisano.

7.2. Naći normalni oblik u domenu realnih brojeva

7.3. Naći normalni oblik u domenu realnih brojeva

Kvadratni oblici

kvadratni oblik f(x 1, x 2,..., xn) od n varijabli naziva se zbir, čiji je svaki član ili kvadrat jedne od varijabli, ili proizvod dvije različite varijable, uzete sa određenim koeficijentom: f(x 1, x 2, ...,x n) = (a ij = a ji).

Matrica A, sastavljena od ovih koeficijenata, naziva se matrica kvadratnog oblika. Uvek je tako simetrično matrica (tj. matrica simetrična oko glavne dijagonale, a ij = a ji).

U matričnom zapisu, kvadratni oblik ima oblik f(X) = X T AX, gdje je

Zaista

Na primjer, zapišimo kvadratni oblik u matričnom obliku.

Da bismo to učinili, nalazimo matricu kvadratnog oblika. Njegovi dijagonalni elementi jednaki su koeficijentima na kvadratima varijabli, a preostali elementi jednaki su polovini odgovarajućih koeficijenata kvadratnog oblika. Dakle

Neka se matrica-stupac varijabli X dobije nedegeneriranom linearnom transformacijom matrice-kolone Y, tj. X = CY, gdje je C nedegenerirana matrica reda n. Zatim kvadratni oblik
f(X) = X T AX = (CY) T A (CY) = (Y T C T) A (CY) = Y T (C T AC) Y.

Dakle, pod nedegeneriranom linearnom transformacijom C, matrica kvadratnog oblika poprima oblik: A * = C T AC.

Na primjer, pronađimo kvadratni oblik f(y 1, y 2) dobijen iz kvadratnog oblika f(x 1, x 2) = 2x 1 2 + 4x 1 x 2 - 3x 2 2 linearnom transformacijom.

Kvadratni oblik se zove kanonski(Ima kanonski pogled) ako su svi njegovi koeficijenti a ij = 0 za i ≠ j, tj.
f(x 1, x 2,...,x n) = a 11 x 1 2 + a 22 x 2 2 + ... + a nn x n 2 = .

Njegova matrica je dijagonalna.

Teorema(dokaz ovdje nije dat). Bilo koji kvadratni oblik može se svesti na kanonski oblik korištenjem nedegenerirane linearne transformacije.

Na primjer, svodimo na kanonski oblik kvadratni oblik
f (x 1, x 2, x 3) \u003d 2x 1 2 + 4x 1 x 2 - 3x 2 2 - x 2 x 3.

Da biste to učinili, prvo odaberite cijeli kvadrat za varijablu x 1:

f (x 1, x 2, x 3) = 2 (x 1 2 + 2x 1 x 2 + x 2 2) - 2x 2 2 - 3x 2 2 - x 2 x 3 \u003d 2 (x 1 + x 2 ) 2 - 5x 2 2 - x 2 x 3.

Sada biramo puni kvadrat za varijablu x 2:

f (x 1, x 2, x 3) \u003d 2 (x 1 + x 2) 2 - 5 (x 2 2 - 2 * x 2 * (1/10) x 3 + (1/100) x 3 2 ) - (5/100) x 3 2 =
\u003d 2 (x 1 + x 2) 2 - 5 (x 2 - (1/10) x 3) 2 - (1/20) x 3 2.

Tada nedegenerirana linearna transformacija y 1 = x 1 + x 2, y 2 = x 2 - (1/10) x 3 i y 3 = x 3 dovodi ovaj kvadratni oblik u kanonski oblik f (y 1 , y 2, y 3) = 2y 1 2 - 5y 2 2 - (1/20)y 3 2 .

Imajte na umu da je kanonski oblik kvadratnog oblika definiran dvosmisleno (isti kvadratni oblik se može svesti na kanonski oblik Različiti putevi). Međutim, the Različiti putevi kanonski oblici imaju niz zajedničkih svojstava. Konkretno, broj članova s ​​pozitivnim (negativnim) koeficijentima kvadratnog oblika ne ovisi o tome kako se oblik svodi na ovaj oblik (na primjer, u razmatranom primjeru uvijek će biti dva negativna i jedan pozitivan koeficijent). Ovo svojstvo se zove zakon inercije kvadratnih oblika.

Provjerimo ovo tako što ćemo isti kvadratni oblik na drugačiji način svesti na kanonski oblik. Započnimo transformaciju s varijablom x 2:
f (x 1, x 2, x 3) = 2x 1 2 + 4x 1 x 2 - 3x 2 2 - x 2 x 3 \u003d -3x 2 2 - x 2 x 3 + 4x 1 x 2 + 2x 1 2 \u003d - 3 (x 2 2 -
- 2 * x 2 ((1/6) x 3 + (2/3) x 1) + ((1/6) x 3 + (2/3) x 1) 2) - 3 ((1/6) x 3 + (2/3) x 1) 2 + 2x 1 2 =
\u003d -3 (x 2 - (1/6) x 3 - (2/3) x 1) 2 - 3 ((1/6) x 3 + (2/3) x 1) 2 + 2x 1 2 \ u003d f (y 1, y 2, y 3) = -3y 1 2 -
-3y 2 2 + 2y 3 2, gdje je y 1 \u003d - (2/3) x 1 + x 2 - (1/6) x 3, y 2 = (2/3) x 1 + (1/6 ) x 3 i y 3 = x 1 . Ovdje je pozitivan koeficijent 2 na y 3 i dva negativna koeficijenta (-3) na y 1 i y 2 (i koristeći drugu metodu, dobili smo pozitivan koeficijent 2 na y 1 i dva negativna koeficijenta - (-5) na y 2 i (-1 /20) za y 3).

Također treba napomenuti da je rang matrice kvadratnog oblika, tzv rang kvadratnog oblika, jednak je broju nenultih koeficijenata kanonskog oblika i ne mijenja se pod linearnim transformacijama.

Kvadratni oblik f(X) se zove pozitivno (negativan) siguran, ako je za sve vrijednosti varijabli koje nisu istovremeno jednake nuli, ono je pozitivno, tj. f(X) > 0 (negativno, tj.
f(X)< 0).

Na primjer, kvadratni oblik f 1 (X) \u003d x 1 2 + x 2 2 je pozitivno određen, jer je zbir kvadrata, a kvadratni oblik f 2 (X) \u003d -x 1 2 + 2x 1 x 2 - x 2 2 je negativno određen, jer predstavlja može se predstaviti kao f 2 (X) \u003d - (x 1 - x 2) 2.

U većini praktičnih situacija je nešto teže utvrditi predznačnu određenost kvadratnog oblika, pa se za to koristi jedna od sljedećih teorema (formuliramo ih bez dokaza).

Teorema. Kvadratni oblik je pozitivno (negativno) određen ako i samo ako su sve vlastite vrijednosti njegove matrice pozitivne (negativne).

Teorema (Sylvesterov kriterijum). Kvadratni oblik je pozitivno određen ako i samo ako su svi glavni minori matrice ovog oblika pozitivni.

Dur (ugao) mol K-ti red matrice A n-tog reda naziva se determinanta matrice, sastavljena od prvih k redova i stupaca matrice A ().

Imajte na umu da se za negativno-definirane kvadratne forme predznaci glavnih minora izmjenjuju, a minor prvog reda mora biti negativan.

Na primjer, ispitujemo kvadratni oblik f (x 1, x 2) = 2x 1 2 + 4x 1 x 2 + 3x 2 2 za predznak-definiranost.

= (2 - l)*
*(3 - l) - 4 = (6 - 2l - 3l + l 2) - 4 \u003d l 2 - 5l + 2 = 0; D \u003d 25 - 8 \u003d 17;
. Stoga je kvadratni oblik pozitivno određen.

Metoda 2. Glavni minor prvog reda matrice AD ​​1 = a 11 = 2 > 0. Glavni minor drugog reda D 2 = = 6 - 4 = 2 > 0. Prema tome, prema Sylvesterovom kriteriju, kvadratni oblik je pozitivno određen.

Ispitujemo još jedan kvadratni oblik za predznak-određenost, f (x 1, x 2) \u003d -2x 1 2 + 4x 1 x 2 - 3x 2 2.

Metoda 1. Konstruirajmo matricu kvadratnog oblika A = . Karakteristična jednačina će imati oblik = (-2 - l)*
*(-3 - l) - 4 = (6 + 2l + 3l + l 2) - 4 = l 2 + 5l + 2 \u003d 0; D \u003d 25 - 8 \u003d 17;
. Stoga je kvadratni oblik negativno određen.

Koncept kvadratne forme. Matrica kvadratne forme. Kanonski oblik kvadratnog oblika. Lagrangeova metoda. normalan pogled kvadratni oblik. Rang, indeks i potpis kvadratnog oblika. Pozitivno određeni kvadratni oblik. Kvadrica.

Koncept kvadratnog oblika: funkcija na vektorskom prostoru zadata homogenim polinomom drugog stepena u koordinatama vektora.

kvadratni oblik iz n nepoznato naziva se zbir, čiji je svaki član ili kvadrat jedne od ovih nepoznanica, ili proizvod dvije različite nepoznanice.

Kvadratna matrica: Matrica se naziva matrica kvadratnog oblika u datoj bazi. Ako karakteristika polja nije jednaka 2, možemo pretpostaviti da je matrica kvadratnog oblika simetrična, tj.

Napišite matricu kvadratnog oblika:

dakle,

U obliku vektorske matrice, kvadratni oblik je:

A, gde

Kanonski oblik kvadratnog oblika: Kvadratni oblik se naziva kanonskim ako je sve tj.

Bilo koji kvadratni oblik može se svesti na kanonski oblik korištenjem linearnih transformacija. U praksi se obično koriste sljedeće metode.

Lagrangeova metoda : uzastopni izbor punih kvadrata. Na primjer, ako

Zatim se sličan postupak radi s kvadratnim oblikom itd. Ako je u kvadratnom obliku sve osim zatim se, nakon prethodne transformacije, stvar svodi na razmatranu proceduru. Dakle, ako, na primjer, onda postavljamo

Normalni oblik kvadratnog oblika je: Normalni kvadratni oblik je kanonski kvadratni oblik u kojem su svi koeficijenti jednaki +1 ili -1.

Rang, indeks i potpis kvadratnog oblika: Rang kvadratnog oblika A naziva rang matrice A. Rang kvadratnog oblika se ne menja pod nedegenerisanim transformacijama nepoznatih.

Broj negativnih koeficijenata naziva se indeks negativnog oblika.

Broj pozitivnih članova u kanonskom obliku naziva se pozitivni indeks inercije kvadratnog oblika, a broj negativnih članova naziva se negativni indeks. Razlika između pozitivnih i negativnih indeksa naziva se potpisom kvadratnog oblika

Pozitivno određeni kvadratni oblik: Realni kvadratni oblik naziva se pozitivno-definirano (negativno-definirano) ako, za bilo koje realne vrijednosti varijabli koje nisu istovremeno nula,

. (36)

U ovom slučaju, matrica se naziva i pozitivno određena (negativno određena).

Klasa pozitivno-definitivnih (negativno-definitivnih) oblika je dio klase nenegativnih (odnosno, ne-pozitivnih) oblika.

četvorke: Quadric - n-dimenzionalna hiperpovršina u n+1-dimenzionalni prostor, definisan kao skup nula polinoma drugog stepena. Ako unesete koordinate ( x 1 , x 2 , x n+1 ) (u euklidskom ili afinom prostoru), opšta jednačina kvadrika ima oblik

Ova jednadžba se može prepisati kompaktnije u matričnom zapisu:

gdje je x = ( x 1 , x 2 , x n+1 ) je vektor reda, x T je transponovani vektor, Q je matrica veličine ( n+1)×( n+1) (pretpostavlja se da je barem jedan njegov element različit od nule), P je vektor reda, i R je konstanta. Najčešće se kvadrike smatraju nad realnim ili kompleksni brojevi. Definicija se može proširiti na kvadrike u projektivnom prostoru, vidi dolje.

Općenito, skup nula sistema polinomskih jednačina poznat je kao algebarska raznolikost. Dakle, kvadrika je (afina ili projektivna) algebarska varijanta drugog stepena i kodimenzije 1.

Transformacije aviona i prostora.

Definicija transformacije ravnine. Definicija kretanja. svojstva kretanja. Dvije vrste pokreta: kretanje prve vrste i kretanje druge vrste. Primjeri pokreta. Analitički izraz kretanja. Klasifikacija ravninskih kretanja (u zavisnosti od prisustva fiksnih tačaka i nepromenljivih linija). Grupa kretanja ravnine.

Definicija transformacije ravni: Definicija. Zove se transformacija ravnine koja čuva udaljenost između tačaka pokret(ili pomicanje) ravnine. Transformacija ravni se zove afine, ako uzima bilo koje tri tačke koje leže na istoj pravoj do tri tačke koje takođe leže na istoj pravoj i istovremeno čuva jednostavnu relaciju tri tačke.

Definicija pokreta: Ovo je transformacija oblika koja čuva udaljenosti između tačaka. Ako su dvije figure međusobno točno spojene pomoću kretanja, onda su te figure iste, jednake.

Svojstva kretanja: svako kretanje ravni koje održava orijentaciju je ili paralelna translacija ili rotacija; svako kretanje ravni koje mijenja orijentaciju je ili aksijalna simetrija ili klizna simetrija. Tačke koje leže na pravoj liniji pri kretanju prelaze u tačke koje leže na pravoj liniji, a njihov redoslijed se čuva relativnu poziciju. Prilikom kretanja, uglovi između poluprava su očuvani.

Dvije vrste pokreta: kretanje prve vrste i kretanje druge vrste: Pokreti prve vrste su oni pokreti koji čuvaju orijentaciju baza određene figure. Mogu se realizovati kontinuiranim pokretima.

Pokreti druge vrste su oni pokreti koji mijenjaju orijentaciju baza na suprotno. Ne mogu se ostvariti kontinuiranim pokretima.

Primjeri kretanja prve vrste su translacija i rotacija oko prave linije, a kretanja druge vrste su centralna i zrcalna simetrija.

Kompozicija bilo kojeg broja pokreta prve vrste je kretanje prve vrste.

Kompozicija parnog broja pokreta druge vrste je pokret 1. vrste, a kompozicija neparnog broja pokreta 2. vrste je pokret 2. vrste.

Primjeri pokreta:Paralelni prijenos. Neka je a dati vektor. Paralelni prijenos na vektor a je preslikavanje ravni na sebe, u kojem se svaka tačka M preslikava u tačku M 1, pri čemu je vektor MM 1 jednak vektoru a.

Paralelno prevođenje je kretanje jer je preslikavanje ravni na samu sebe, uz očuvanje udaljenosti. Vizuelno, ovo kretanje se može predstaviti kao pomeranje cele ravni u pravcu dati vektor već zbog njegove dužine.

Okreni se. Označimo tačku O na ravni ( centar okretanja) i postavite ugao α ( ugao rotacije). Rotacija ravni oko tačke O za ugao α je preslikavanje ravni na samu sebe, pri čemu se svaka tačka M preslikava u tačku M 1, da je OM = OM 1 i da je ugao MOM 1 jednak α. U tom slučaju, tačka O ostaje na svom mjestu, tj. prikazuje se sama po sebi, a sve ostale točke rotiraju oko točke O u istom smjeru - u smjeru kazaljke na satu ili suprotno od kazaljke na satu (slika prikazuje rotaciju u smjeru suprotnom od kazaljke na satu).

Skretanje je kretanje jer je preslikavanje ravnine na sebe, koje čuva udaljenosti.

Analitički izraz pokreta: analitička veza između koordinata predslike i slike tačke ima oblik (1).

Klasifikacija kretanja u ravnini (u zavisnosti od prisustva fiksnih tačaka i nepromenljivih linija): Definicija:

Tačka u ravni je invarijantna (fiksna) ako se pod datom transformacijom transformiše u sebe.

Primjer: Kada centralna simetrija tačka centra simetrije je invarijantna. Prilikom okretanja, tačka centra rotacije je nepromjenjiva. At aksijalna simetrija prava je nepromjenjiva - osa simetrije je linija nepromjenjivih tačaka.

Teorema: Ako kretanje nema nepromjenjivu tačku, onda ima barem jedan nepromjenjiv smjer.

Primjer: Paralelni prijenos. Zaista, linije paralelne ovom pravcu su nepromenljive kao figura u celini, iako se ne sastoje od nepromenljivih tačaka.

Teorem: Ako se neka zraka kreće, zrak se prevodi u sebe, tada je ovo kretanje ili identična transformacija, ili simetrija u odnosu na pravu koja sadrži datu zraku.

Stoga, prema prisutnosti nepromjenjivih tačaka ili figura, moguće je klasificirati pokrete.

Naziv pokreta	Invarijantne tačke	Invarijantne linije
Pokret prve vrste.
1. - okret	(centar) - 0	br
2. Transformacija identiteta	sve tačke ravni	sve u redu
3. Centralna simetrija	tačka 0 - centar	sve prave koje prolaze kroz tačku 0
4. Paralelni prijenos	br	sve u redu
Pokret druge vrste.
5. Aksijalna simetrija.	skup tačaka	osa simetrije (ravna) sve ravno

Grupa kretanja aviona: U geometriji važnu ulogu grupe samokombinacija figura igraju. Ako je - neka figura na ravni (ili u prostoru), onda možemo smatrati skup svih onih kretanja ravni (ili prostora), u kojima figura prelazi u sebe.

Ovaj set je grupa. Na primjer, za jednakostranični trokut, grupa ravninskih kretanja koja transformiraju trokut u sebe sastoji se od 6 elemenata: rotacije za uglove oko tačke i simetrije oko tri prave.

Oni su prikazani na sl. 1 sa crvenim linijama. Elementi grupe samokoincidencija pravilnog trougla mogu se specificirati na drugi način. Da bismo ovo pojasnili, numerirajmo vrhove pravilnog trougla brojevima 1, 2, 3. može se uslovno uneti u obliku jedne od ovih zagrada:

itd.

gdje brojevi 1, 2, 3 označavaju brojeve onih vrhova u koje vrhovi 1, 2, 3 prelaze kao rezultat razmatranog kretanja.

Projektivni prostori i njihovi modeli.

Koncept projektivnog prostora i model projektivnog prostora. Osnovne činjenice projektivne geometrije. Skup linija sa središtem u tački O je projektivni ravan model. projektivne tačke. Produžena ravan je model projektivne ravni. Prošireni trodimenzionalni afini ili euklidski prostor je projektivni model prostora. Slike ravnih i prostornih figura u paralelnom dizajnu.

Koncept projektivnog prostora i model projektivnog prostora:

Projektivni prostor nad poljem je prostor koji se sastoji od linija (jednodimenzionalnih podprostora) nekog linearnog prostora nad datim poljem. Pravi prostori se nazivaju tačke projektivnog prostora. Ova definicija se može generalizovati na proizvoljno tijelo

Ako ima dimenziju , tada se dimenzija projektivnog prostora naziva broj , a sam projektivni prostor se označava i naziva asociranim (da bi se to ukazalo, usvojena je notacija).

Prijelaz iz vektorskog prostora dimenzije u odgovarajući projektivni prostor naziva se projektivizacija prostori.

Tačke se mogu opisati pomoću homogenih koordinata.

Osnovne činjenice projektivne geometrije: Projektivna geometrija je grana geometrije koja proučava projektivne ravni i prostore. glavna karakteristika Projektivna geometrija se zasniva na principu dualnosti, koji dodaje gracioznu simetriju mnogim dizajnima. Projektivna geometrija se može proučavati i sa čisto geometrijske tačke gledišta, i sa analitičke (koristeći homogene koordinate) i salgebarske tačke gledišta, posmatrajući projektivnu ravan kao strukturu nad poljem. Često, i istorijski, stvarna projektivna ravan se tretira kao euklidska ravan sa dodatkom "linije u beskonačnosti".

Dok su svojstva figura kojima se bavi euklidska geometrija metrički(specifične vrijednosti uglova, segmenata, površina), a ekvivalentnost figura je ekvivalentna njihovoj kongruencija(tj. kada se figure mogu prevesti jedna u drugu pomoću kretanja uz zadržavanje metričkih svojstava), postoji više svojstava "dubljih" geometrijski oblici, koji su sačuvani transformacijama općenitijeg tipa od kretanja. Projektivna geometrija proučava svojstva figura koje su invarijantne prema klasi projektivne transformacije, kao i same ove transformacije.

Projektivna geometrija nadopunjuje Euklidsku pružajući lijepe i jednostavna rješenja za mnoge probleme komplikovane prisustvom paralelnih linija. Projektivna teorija konusnih presjeka je posebno jednostavna i elegantna.

Postoje tri glavna pristupa projektivnoj geometriji: nezavisna aksiomatizacija, dodatak euklidskoj geometriji i struktura nad poljem.

Aksiomatizacija

Projektivni prostor se može definirati sa drugačiji set aksiome.

Coxeter pruža sljedeće:

1. Postoji prava i tačka nije na njoj.

2. Na svakoj liniji postoje najmanje tri tačke.

3. Kroz dvije tačke može se povući tačno jedna prava linija.

4. Ako A, B, C, i D različite tačke i AB I CD presecati, onda AC I BD presecati.

5. Ako ABC je ravan, onda postoji barem jedna tačka koja nije u ravni ABC.

6. Dvije različite ravni se seku u najmanje dvije tačke.

7. Tri dijagonalne tačke potpunog četvorougla nisu kolinearne.

8. Ako postoje tri tačke na pravoj liniji X X

Projektivna ravan (bez treće dimenzije) definirana je nešto drugačijim aksiomima:

1. Kroz dvije tačke može se povući tačno jedna prava.

2. Bilo koje dvije prave se sijeku.

3. Postoje četiri tačke, od kojih ne postoje tri kolinearne.

4. Tri dijagonalne tačke potpunih četverougla nisu kolinearne.

5. Ako postoje tri tačke na pravoj liniji X su invarijantne prema projektivnosti φ, onda su sve tačke na X su invarijantne u odnosu na φ.

6. Desarguesova teorema: Ako su dva trougla perspektivna kroz tačku, onda su perspektivna kroz pravu.

U prisustvu treće dimenzije, Desarguesova teorema se može dokazati bez uvođenja idealne tačke i prave.

Produžena ravan - model projektivne ravni: u afinom prostoru A3, uzmimo snop pravih S(O) sa centrom u tački O i ravan Π koja ne prolazi kroz centar snopa: O 6∈ Π. Skup linija u afinom prostoru je model projektivne ravni. Postavimo preslikavanje skupa tačaka ravnine Π u skup linija skupa S (Jebote, molite se ako imate ovo pitanje, žao mi je)

Prošireni trodimenzionalni afini ili euklidski prostor - projektivni prostorni model:

Da bismo mapiranje učinili surjektivnim, ponavljamo proces formalnog proširenja afine ravni Π na projektivnu ravan, Π, dopunjujući ravan Π skupom nepravilnih tačaka (M∞) tako da je: ((M∞)) = P0(O). Kako je u preslikavanju inverzna slika svake ravni snopa ravnina S(O) prava na ravni d, očigledno je da je skup svih nepravilnih tačaka proširene ravni: Π = Π ∩ (M∞) , (M∞), je nepravilna prava d∞ proširene ravni koja je inverzna slika singularne ravni Π0: (d∞) = P0(O) (= Π0). (I.23) Složimo se da ćemo ovdje i dalje posljednju jednakost P0(O) = Π0 shvatiti u smislu jednakosti skupova tačaka, ali opremljenih različitim strukturama. Dopunjujući afinu ravan neispravnom linijom, osigurali smo da preslikavanje (I.21) postane bijektivno na skupu svih tačaka proširene ravni:

Slike ravnih i prostornih figura u paralelnom dizajnu:

U stereometriji se proučavaju prostorne figure, ali su na crtežu prikazane kao ravne figure. Kako bi onda prostorna figura trebala biti prikazana na ravni? Obično se u geometriji za to koristi paralelni dizajn. Neka je p neka ravan, l- prava linija koja ga seče (slika 1). Kroz proizvoljnu tačku A, ne pripada liniji l nacrtati liniju paralelnu sa linijom l. Tačka preseka ove prave sa ravninom p naziva se paralelna projekcija tačke A na ravan p u pravcu prave l. Označimo ga A Ako je poenta A pripada liniji l, zatim paralelna projekcija A na ravan p smatra se tačkom preseka prave l sa avionom str.

Dakle, svaka tačka A prostor se preslikava na njegovu projekciju A" na ravan p. Ova korespondencija se naziva paralelna projekcija na ravan p u pravcu prave l.

Grupa projektivnih transformacija. Primjena za rješavanje problema.

Koncept projektivne transformacije ravni. Primjeri transformacija projektivne ravni. Svojstva projektivnih transformacija. Homologija, svojstva homologije. Grupa projektivnih transformacija.

Koncept transformacije projektivne ravni: Pojam projektivne transformacije generalizira pojam centralne projekcije. Ako izvršimo centralnu projekciju ravni α na neku ravan α 1 , onda je projekcija α 1 na α 2 , α 2 na α 3 , ... i, konačno, na neku ravan α n opet na α 1 , tada je kompozicija svih ovih projekcija projektivna transformacija ravni α; takav lanac može uključivati ​​paralelne projekcije.

Primjeri transformacija projektivne ravnine: Projektivna transformacija proširene ravni je njeno jedno-na-jedan preslikavanje na samu sebe, čime se čuva kolinearnost tačaka, ili, drugim riječima, slika bilo koje prave linije je prava linija. Svaka projektivna transformacija je sastav lanca centralnih i paralelnih projekcija. Afina transformacija je poseban slučaj projektivna, u kojoj linija u beskonačnosti prelazi u samu sebe.

Svojstva projektivnih transformacija:

Pod projektivnom transformacijom, tri tačke koje ne leže na pravoj preslikavaju se na tri tačke koje ne leže na pravoj.

Pod projektivnom transformacijom, okvir prelazi na okvir.

Pod projektivnom transformacijom, linija ide u pravu liniju, snop ide u snop.

Homologija, svojstva homologije:

Projektivna transformacija ravni koja ima liniju invarijantnih tačaka i stoga olovku invarijantnih linija naziva se homologija.

1. Prava linija koja prolazi kroz odgovarajuće neusklađene homološke tačke je nepromenljiva prava;

2. Prave koje prolaze kroz odgovarajuće nepodudarne homološke tačke pripadaju istoj olovci, čiji je centar invarijantna tačka.

3. Tačka, njena slika i centar homologije leže na istoj pravoj liniji.

Grupa projektivnih transformacija: razmotrimo projektivno preslikavanje projektivne ravni P 2 na samu sebe, odnosno projektivnu transformaciju ove ravni (P 2 ’ = P 2).

Kao i ranije, kompozicija f projektivnih transformacija f 1 i f 2 projektivne ravni P 2 rezultat je uzastopnog izvođenja transformacija f 1 i f 2: f = f 2 °f 1 .

Teorema 1: Skup H svih projektivnih transformacija projektivne ravni P 2 je grupa pod kompozicijom projektivnih transformacija.

Kvadratnih oblika.
Značaj formi. Silvesterov kriterijum

Pridjev "kvadrat" odmah sugerira da je ovdje nešto povezano s kvadratom (drugi stepen), a vrlo brzo ćemo znati to "nešto" i šta je oblik. Ispalo je odmah :)

Dobrodošli na moju novu lekciju, a kao trenutno zagrijavanje pogledat ćemo prugasti oblik linearno. Linearni oblik varijable pozvao homogena polinom 1. stepena:

- neke specifične brojke * (pretpostavljamo da je barem jedan od njih različit od nule), i su varijable koje mogu uzeti proizvoljne vrijednosti.

* U ovoj temi ćemo samo razmotriti realni brojevi .

Već smo se susreli sa terminom "homogen" u lekciji o homogeni sistemi linearnih jednačina, i u ovaj slučaj to implicira da polinom nema dodanu konstantu.

Na primjer: – linearni oblik dvije varijable

Sada je oblik kvadratan. kvadratni oblik varijable pozvao homogena polinom 2. stepena, čiji svaki termin sadrži ili kvadrat varijable ili duplo proizvod varijabli. Tako, na primjer, kvadratni oblik dvije varijable ima sljedeći pogled:

Pažnja! Ovo je standardni unos i ne morate ništa mijenjati u njemu! Unatoč „užasnom“ izgledu, ovdje je sve jednostavno - dvostruki indeksi konstanti signaliziraju koje su varijable uključene u jedan ili drugi pojam:
– ovaj izraz sadrži proizvod i (kvadrat);
- evo posla;
- i evo posla.

- Odmah predvidim grubu grešku kada izgube "minus" koeficijenta, ne shvatajući da se to odnosi na pojam:

Ponekad postoji "školska" verzija dizajna u duhu, ali samo ponekad. Usput, imajte na umu da nam konstante ovdje ne govore baš ništa, pa je stoga teže zapamtiti „laku notaciju“. Pogotovo kada ima više varijabli.

I kvadratno oblik od tri varijable već sadrži šest članova:

... zašto se množitelji "dva" stavljaju u "mješovite" pojmove? Ovo je zgodno i uskoro će biti jasno zašto.

ali opšta formula hajde da to zapišemo, zgodno je složiti sa "listom":

- pažljivo proučite svaki red - u tome nema ništa loše!

Kvadratna forma sadrži članove sa kvadratnim varijablama i članove sa njihovim proizvodima u paru (cm. kombinatorne formule kombinacija) . Ništa drugo - nema "usamljenog x" i nema dodane konstante (onda ne dobijete kvadratni oblik, već heterogena polinom 2. stepena).

Matrična notacija kvadratnog oblika

Ovisno o vrijednostima, razmatrani oblik može imati i pozitivne i negativne vrijednosti, a isto vrijedi i za bilo koji linearni oblik - ako je barem jedan od njegovih koeficijenata različit od nule, onda se može pokazati pozitivnim ili negativnim (zavisno od o vrijednostima).

Ovaj oblik se zove naizmjenično. A ako je sve transparentno sa linearnom formom, onda su stvari mnogo interesantnije sa kvadratnom formom:

Sasvim je jasno da ovaj oblik može poprimiti vrijednosti bilo kojeg znaka, dakle, kvadratni oblik također može biti naizmjeničan.

Možda nije:

– uvijek, osim ako su oba jednaka nuli.

- za bilo koga vektor osim nule.

I generalno govoreći, ako za bilo koji ne-nula vektor , , tada se kvadratni oblik naziva pozitivno definitivno; ako onda negativno određeno.

I sve bi bilo u redu, ali određenost kvadratnog oblika je vidljiva samo u jednostavni primjeri, a ova vidljivost se gubi čak i uz malu komplikaciju:
– ?

Moglo bi se pretpostaviti da je forma pozitivno definisana, ali da li je zaista tako? Odjednom postoje vrijednosti zbog kojih je manje od nule?

Na ovaj račun, tamo teorema: Ako svi sopstvene vrijednosti matrice kvadratnog oblika su pozitivne * , tada je pozitivno definisano. Ako su svi negativni, onda je negativan.

* U teoriji je dokazano da su sve vlastite vrijednosti realne simetrične matrice validan

Napišimo matricu gornjeg oblika:
i iz jednačine hajde da je nađemo sopstvene vrijednosti:

Rešavamo staro dobro kvadratna jednačina:

, dakle forma je pozitivno definisana, tj. za bilo koje vrijednosti različite od nule Iznad nule.

Čini se da razmatrana metoda funkcionira, ali postoji jedno veliko ALI. Već za matricu "tri sa tri" traženje svojstvenih vrijednosti je dug i neugodan zadatak; sa velikom verovatnoćom dobijate polinom 3. stepena sa iracionalnim korenima.

Kako biti? Postoji lakši način!

Silvesterov kriterijum

Ne, ne Sylvester Stallone :) Prvo da vas podsjetim na šta angular minors matrice. Ovo odrednice koje "rastu" iz svog gornjeg lijevog ugla:

a posljednja je tačno jednaka determinanti matrice.

Sada, u stvari, kriterijum:

1) Definisan kvadratni oblik pozitivno ako i samo ako su SVI njegovi ugaoni minori veći od nule: .

2) Definisan kvadratni oblik negativan ako i samo ako se njegovi ugaoni minori smenjuju u znaku, dok je 1. minor manji od nule: , , ako je paran ili , ako je neparan.

Ako barem jedan kutni minor ima suprotan predznak, tada oblik naizmjenično znakovno. Ako su kutni minori znaka "onaj", ali među njima ima nula jedinica, onda ovo poseban slučaj, koji ću malo pokriti, nakon što smo prešli preko uobičajenih primjera.

Analizirajmo ugaone minore matrice :

I to nam odmah govori da forma nije negativno određena.

Zaključak: svi manji uglovi su veći od nule, dakle oblik pozitivno definisano.

Postoji li razlika s metodom vlastitih vrijednosti? ;)

Pišemo matricu oblika iz Primjer 1:

njegov prvi ugaoni minor, a drugi , odakle proizilazi da je oblik znakovno-alternirajući, tj. ovisno o vrijednostima, može poprimiti i pozitivne i negativne vrijednosti. Međutim, ovo je tako očigledno.

Uzmite oblik i njegovu matricu iz Primjer 2:

ovde uopšte bez uvida da ne razumem. Ali sa Sylvesterovim kriterijumom, nije nas briga:
, stoga oblik definitivno nije negativan.

, i definitivno nije pozitivan. (jer svi manji uglovi moraju biti pozitivni).

Zaključak: oblik se mijenja.

Primjeri za zagrijavanje za nezavisna odluka:

Primjer 4

Istražite kvadratne forme za predznak-definitivnost

ali)

U ovim primjerima sve je glatko (pogledajte kraj lekcije), ali u stvari, izvršiti takav zadatak Silvesterov kriterijum možda neće biti dovoljan.

Poenta je da postoje "granični" slučajevi, naime: ako postoji ne-nula vektor , tada je oblik definiran nenegativan, ako onda nepozitivna. Ovi oblici imaju ne-nula vektori za koje .

Ovdje možete donijeti takvu "harmoniku":

Isticanje pun kvadrat, odmah vidimo nenegativnost oblik: , štoviše, jednak je nuli i za bilo koji vektor sa jednake koordinate, na primjer: .

Primjer "ogledala". nepozitivna određeni oblik:

i još trivijalniji primjer:
– ovdje je oblik jednak nuli za bilo koji vektor , gdje je proizvoljan broj.

Kako otkriti nenegativnost ili nepozitivnost forme?

Za ovo nam je potreban koncept glavni maloljetnici matrice. Glavni mol je mol sastavljen od elemenata koji se nalaze na preseku redova i kolona sa istim brojevima. Dakle, matrica ima dva glavna minora 1. reda:
(element je na raskrsnici 1. reda i 1. kolone);
(element je na raskrsnici 2. reda i 2. kolone),

i jedan veliki mol 2. reda:
- sastavljena od elemenata 1., 2. reda i 1., 2. kolone.

Matrica "tri sa tri" Postoji sedam glavnih minora, a ovdje već morate mahati bicepsima:
- tri maloletna lica I reda,
tri maloletnika 2. reda:
- sastavljena od elemenata 1., 2. reda i 1., 2. kolone;
- sastavljena od elemenata 1., 3. reda i 1., 3. kolone;
- sastoji se od elemenata 2., 3. reda i 2., 3. kolone,
i jedan mol 3. reda:
- sastavljena od elemenata 1., 2., 3. reda i 1., 2. i 3. kolone.
Vježba za razumijevanje: zapišite sve glavne sporedne vrijednosti matrice .
Provjeravamo na kraju lekcije i nastavljamo.

Švarcenegerov kriterijum:

1) Definisan kvadratni oblik koji nije nula* nenegativan ako i samo ako SVI njegovi glavni maloljetnici nenegativan(veće ili jednako nuli).

* Nulti (degenerisani) kvadratni oblik ima sve koeficijente jednake nuli.

2) Nenulti kvadratni oblik sa definisanom matricom nepozitivna ako i samo ako je:
– glavni maloljetnici 1. reda nepozitivna(manje ili jednako nuli);
su glavni maloljetnici 2. reda nenegativan;
– glavni maloljetnici 3. reda nepozitivna(alternacija je počela);
…
– dur mol . reda nepozitivna, ako je neparan ili nenegativan, ako je paran.

Ako je barem jedan maloljetnik suprotnog predznaka, tada je oblik predznak naizmjeničan.

Pogledajmo kako funkcionira kriterij u gornjim primjerima:

Napravimo matricu oblika i kao prvo izračunajmo ugaone minore - šta ako je definisan pozitivno ili negativno?

Dobijene vrijednosti ne zadovoljavaju Sylvesterov kriterij, međutim, drugi minor nije negativan, a zbog toga je potrebno provjeriti 2. kriterij (u slučaju 2. kriterija neće biti automatski ispunjen, odnosno odmah se donosi zaključak o izmjeni forme).

Glavni maloletnici 1. reda:
- su pozitivni
2. red dur mol:
- nije negativan.

Dakle, SVI glavni minori su nenegativni, dakle oblik nenegativan.

Napišimo matricu oblika , za koje, očigledno, Silvesterov kriterijum nije zadovoljen. Ali također nismo dobili suprotne predznake (jer su oba ugaona minora jednaka nuli). Stoga provjeravamo ispunjenost kriterija nenegativnosti/nepozitivnosti. Glavni maloletnici 1. reda:
- nije pozitivno
2. red dur mol:
- nije negativan.

Dakle, prema Schwarzeneggerovom kriteriju (tačka 2), forma je određena nepozitivno.

Sada, potpuno naoružani, analiziraćemo zabavniji problem:

Primjer 5

Ispitajte kvadratnu formu na znak-definitivnost

Ovaj obrazac je ukrašen redoslijedom "alfa", koji može biti jednak bilo kojem realnom broju. Ali biće samo zabavnije odlučiti.

Prvo, zapišimo matricu obrazaca, vjerovatno su se mnogi već prilagodili da to urade usmeno: na glavna dijagonala na kvadrate stavljamo koeficijente, a na simetrična mjesta - polovične koeficijente odgovarajućih "pomiješanih" proizvoda:

Izračunajmo ugaone minore:

Proširiću treću odrednicu duž 3. retka:

Povratak