Dowody - dodawanie, mnożenie macierzy

Przestrzenie wektorowe, bazy, liniowa niezależność, macierze.... Formy kwadratowe, twierdzenia o klasyfikacji...
nocnyzwierz
Użytkownik
Użytkownik
Posty: 169
Rejestracja: 6 paź 2012, o 19:09
Płeć: Mężczyzna
Lokalizacja: małopolskie
Podziękował: 38 razy
Pomógł: 3 razy

Dowody - dodawanie, mnożenie macierzy

Post autor: nocnyzwierz »

\(\displaystyle{ \bigwedge\limits_{A,B,C \in M_m\times n} (A+B)+C=A+(B+C)}\)

Chciałbym zrobić to po 'bożemu', tak więc pędzimy z tym ;)
\(\displaystyle{ A_m \times n}\)
\(\displaystyle{ B_m \times n}\)
\(\displaystyle{ C_m \times n}\)
\(\displaystyle{ \Rightarrow (\left[ a_m \times n\right] + \left[ b_m \times n\right]) + \left[ c_m \times n\right]=\left[ a_m \times n\right] + (\left[ b_m \times n\right] + \left[ c_m \times n\right])}\)

Skoro \(\displaystyle{ A,B,C \left\{ 1,...,m\right\} \times \left\{ 1,...,n\right\} \rightarrow R}\) to korzystam z przemienności dodawania liczb rzeczywistych.

Czy coś takiego wystarczy? A może jest kompletnie źle i należy do tego podejść w inny sposób?

Ps. Wiem, że jest to banalny dowód jednak chciałbym mieć przykład zrobiony w 100% abym miał na czym wzorować się w przyszłości. Chodzi o naukę dowodzenia na poziomie studiów wyższych, gdzie każdy szczegół zapisu jest ważny.
Ps2. Jeżeli moderator przyuważy to proszę o poprawnie wymiaru macierzy (krzyż n odstaje), bo sam nie potrafię choć próbuję już od 3 minut.
Ostatnio zmieniony 23 paź 2012, o 22:08 przez nocnyzwierz, łącznie zmieniany 1 raz.
gblablabla
Użytkownik
Użytkownik
Posty: 420
Rejestracja: 6 lis 2010, o 20:10
Płeć: Mężczyzna
Lokalizacja: Clausthal-Zellerfeld
Podziękował: 65 razy
Pomógł: 25 razy

Dowody - dodawanie, mnożenie macierzy

Post autor: gblablabla »

Tu jeszcze nie korzystasz z przemienności dodawania w zbiorze liczb rzeczywistych.
Zapisz te macierze. Zsumuj... i dopiero.
nocnyzwierz
Użytkownik
Użytkownik
Posty: 169
Rejestracja: 6 paź 2012, o 19:09
Płeć: Mężczyzna
Lokalizacja: małopolskie
Podziękował: 38 razy
Pomógł: 3 razy

Dowody - dodawanie, mnożenie macierzy

Post autor: nocnyzwierz »

\(\displaystyle{ left[egin{array}{ccc}a_11&...&a_1n\...&...&...\a_m1&...&a_mnend{array}
ight] + left[egin{array}{ccc}b_11&...&b_1n\...&...&...\b_m1&...&b_mnend{array}
ight] + left[egin{array}{ccc}c_11&...&c_1n\...&...&...\c_m1&...&c_mnend{array} = left[egin{array}{ccc}a_11+b_11&...&a_1n+b_1n\...&...&...\a_m1+b_m1&...&a_mn+b_mnend{array} + left[egin{array}{ccc}c_11&...&c_1n\...&...&...\c_m1&...&c_mnend{array}}\)
Ostatnio zmieniony 23 paź 2012, o 22:29 przez nocnyzwierz, łącznie zmieniany 2 razy.
gblablabla
Użytkownik
Użytkownik
Posty: 420
Rejestracja: 6 lis 2010, o 20:10
Płeć: Mężczyzna
Lokalizacja: Clausthal-Zellerfeld
Podziękował: 65 razy
Pomógł: 25 razy

Dowody - dodawanie, mnożenie macierzy

Post autor: gblablabla »

Chodzi o naukę dowodzenia na poziomie studiów wyższych, gdzie każdy szczegół zapisu jest ważny.
Dokładnie.
krzyż n odstaje
Zapisz to tak coś_{indeks dolny}, czyli np.: \(\displaystyle{ A_{m \times n}}\)
nocnyzwierz
Użytkownik
Użytkownik
Posty: 169
Rejestracja: 6 paź 2012, o 19:09
Płeć: Mężczyzna
Lokalizacja: małopolskie
Podziękował: 38 razy
Pomógł: 3 razy

Dowody - dodawanie, mnożenie macierzy

Post autor: nocnyzwierz »

Nie jestem w stanie poprawić kodu Latex'a, non stop jakiś błąd.
OK poradzę sobie bez dowodzenia tego na forum, chyba wiem o co chodzi. Dzięki za pomoc ;)
ODPOWIEDZ