Dowód na łączność mnożenia macierzy

Przestrzenie wektorowe, bazy, liniowa niezależność, macierze.... Formy kwadratowe, twierdzenia o klasyfikacji...
petro
Użytkownik
Użytkownik
Posty: 293
Rejestracja: 15 lut 2005, o 22:55
Płeć: Mężczyzna
Lokalizacja: sam nie wiem
Podziękował: 56 razy

Dowód na łączność mnożenia macierzy

Post autor: petro »

Treść zadania:
Proszę udowodnić łączność mnożenia macierzy dla przypadku rzeczywistych macierzy 2x2. Sugeruję zastosowanie brutalnej metody. Następnie proszę pokazać, że dla macierzy 2x2 zachodzi det(AB) = det(A) * det(B) gdzie przez det() oznaczamy wyznacznik.
Prosiłbym o jakieś wskazówki jak się za to zabrać.
marcinz
Użytkownik
Użytkownik
Posty: 370
Rejestracja: 26 sty 2010, o 21:41
Płeć: Mężczyzna
Lokalizacja: Toruń
Podziękował: 2 razy
Pomógł: 53 razy

Dowód na łączność mnożenia macierzy

Post autor: marcinz »

Może zastosuj się do sugestii? Weź trzy macierze, oznacz jakoś współczynniki. Pomnóż to co trzeba i zobacz, że się zgadza.
mateuszek89
Użytkownik
Użytkownik
Posty: 1106
Rejestracja: 1 lip 2010, o 15:27
Płeć: Mężczyzna
Lokalizacja: toruń
Pomógł: 153 razy

Dowód na łączność mnożenia macierzy

Post autor: mateuszek89 »

druga część zadania:
\(\displaystyle{ A=\begin{bmatrix}a&b\\c&d\end{bmatrix}, B=\begin{bmatrix}e&f\\g&h\end{bmatrix}}\).
Wtedy \(\displaystyle{ AB=\begin{bmatrix}ae+bg&af+bh\\ce+dg&cf+dh\end{bmatrix}}\).
\(\displaystyle{ detA=ad-bc\\
detB=eh-fg\\
det(AB)=(ae+bg)(cf+dh)-(af+bh)(ce+dg)=aecf+aedh+bgcf+bgdh-afce-afdg-bhce-bhdg=aedh+bgcf-afdg-bhce\\
detA \cdot detB=(ad-bc)(eh-fg)=adeh+bcfg-adfg-bceh.}\)

Jak widać wszystko się zgadza. Ogólnie wynika to z tw. Cauchy'ego.
Pozdrawiam!
ODPOWIEDZ