Twierdzenie Cauchy’ego - ściąga, Analiza matematyczna


Twierdzenie Cauchy'ego o wyznaczniku iloczynu macierzy)

Niech A i B będą macierzami kwadratowymi tego samego stopnia. Wtedy

0x01 graphic
.

Układem Cramera nazywamy układ równań liniowych AX = B, w którym A jest macierzą nieosobliwą.

Tw. 4.2.2 (wzór Cramera)

Układ Cramera AX = B ma dokładnie jedno rozwiąznie. Rozwiązanie to jest określone wzorem

0x01 graphic
,

gdzie n oznacza stopień macierzy A, natomiast Aj, dla 1 j n, oznacza macierz A, w której j-tą kolumnę zastąpiono kolumną wyrazów wolnych B, tzn.

0x01 graphic
.

Uwaga. Równość określającą rozwiązanie układu równań liniowych nazywamy wzorem Cramera. Równość ta po rozpisaniu przyjmuje postać:

0x01 graphic
, 0x01 graphic
, …, 0x01 graphic
,

zwaną wzorami Cramera.

Fakt 4.2.3 (metoda macierzy odwrotnej)

Rozwiązanie układu Cramera AX = B jest określone wzorem: 0x01 graphic
.

Ortogonalizacja Grama-Schmidta to metoda za pomocą której można przekształcić zbiór liniowo niezależnych wektorów przestrzeni unitarnej w zbiór wektorów ortogonalnych. Przestrzenie liniowe, rozpinane przez zbiory przed i po ortogonalizacji są tożsame, tak więc proces może służyć do ortogonalizowania bazy.

Operator rzutowania ortogonalnego wektora v na wektor u definiujemy jako:

0x01 graphic

Wówczas dla układu k wektorów{v1, …, vk} proces przebiega następująco:

0x01 graphic

Dwa pierwsze kroki procesu ortogonalizacji

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic

Otrzymany zbiór {u1, …, uk} jest zbiorem wektorów ortogonalnych.

Aby zbudować w ten sposób zbiór ortonormalny, każdy wektor należy podzielić przez jego normę:

0x01 graphic

Dowód ortogonalności tak otrzymanego układu opiera się na indukcji.

Proces ortogonalizacji pozwala na wskazanie bazy ortogonalnej w dowolnej n-wymiarowej przestrzeni unitarnej. Jej istnienie można wykazać na bazie lematu Kuratowskiego-Zorna.

(iloczyn skalarny)

Niech 0x01 graphic
będą dowolnymi wektorami w R3. Iloczyn skalarny wektorów 0x01 graphic
i 0x01 graphic
określamy wzorem:

0x01 graphic
,

gdzie ϕ jest miarą kąta między wektorami 0x01 graphic
i 0x01 graphic

0x01 graphic

Uwaga. Miara kąta między wektorami niezerowymi 0x01 graphic
i 0x01 graphic
wyraża się wzorem:

0x01 graphic
.

Rzut prostopadły wektora 0x01 graphic
na wektor 0x01 graphic
wyraża się wzorem:

0x01 graphic
.

Fakt 5.2.2 (wzór do obliczania iloczynu skalarnego)

Niech 0x01 graphic
oraz 0x01 graphic
będą wektorami w R3. Wtedy

0x01 graphic

Fakt 5.2.3 (własności iloczynu skalarnego)

Niech 0x01 graphic
będą dowolnymi wektorami w R3 oraz niech α ∈ R. Wtedy

0x01 graphic
,

0x01 graphic
,

0x01 graphic
,

0x01 graphic
,

0x01 graphic
,

wektory 0x01 graphic
i 0x01 graphic
są prostopadłe ⇔ 0x01 graphic
.

Uwaga. Równość podana w punkcie 3 jest prawdziwa także dla dowolnej liczby wektorów składników. Równość w nierówno­ści 5 jest możliwa tylko wtedy, gdy wektory 0x01 graphic
i 0x01 graphic
są równoległe.



Wyszukiwarka

Podobne podstrony:
Macierze - ściąga, Analiza matematyczna
Geometria analityczna - ściąga, Analiza matematyczna
Elementy przebiegu zmienności funkcji. Twierdzenie de l’Hospitala, Analiza matematyczna
sciaga analiza, MATEMATYKA(1)
Analiza matematyczna 2 - ściąga, Analiza matematyczna studia, analiza matematyczna, analiza matematy
Analiza Matematyczna Twierdzenia
Analiza matematyczna 2 ściąga
sciaga kolo1 analiza fin, WTD, analiza matematyczna
Analiza matematyczna 2 Definicje, twierdzenia, wzory
ANALIZA MATEMATYCZNA - ściąga, Edukacja, Analiza matematyczna
Analiza matematyczna Teoria sciaga
ANALIZA MATEMATYCZNA sciaga kolo 2
Analiza matematyczna twierdzenia
analiza sciaga, studia, Matma, Analiza Matematyczna, analiza, Ściągi
Analiza matematyczna, Analiza matematyczna - wykład, Ściąga z wykładów
Analiza matematyczna 2 Definicje, twierdzenia, wzory (2)

więcej podobnych podstron