LinAlg 1 - Tut10

Erinnerung

wichtiger Hinweis

Ich habe (vermutlich) letzte Woche die Basiswechselmatrizen verwechselt:
Die Basiswechselmatrix 20241219-linalg_1_tut10_4b23d53dcbec832e0f94d9c3471d0940674d3846.svg ist gegeben durch

20241219-linalg_1_tut10_77bf5c2cd3a6454e8e4e07ebaa91f347d3b09a28.svg

Und die Basiswechselmatrix 20241219-linalg_1_tut10_782101b718e0cfeb85442554ab08be8e9f4ebdca.svg ist gegeben durch das Inverse

Ich hatte (meine ich) diese anders herum

disclaimer

Diese Erinnerung dient primär als Hilfe für die Tutoriumsaufgaben.

Insbesondere ist diese weder vollständig (ich habe leider als Tutor auch keine genauen Informationen zu den Vorlesungsinhalten) noch i.A. korrekt (ich habe viele Zettel selber während des ersten Semesters geschrieben und selten gegengelesen, d.h. jedes Buch wird um Größenordnungen weniger Fehler beinhalten)

Vorrechnen

Sei

20241219-linalg_1_tut10_55eb487b443206c66365acd75d3c968640c5ac91.svg

eine Basis von 20241219-linalg_1_tut10_ad90b9ce494aca682798eb73407baf55fb108586.svg
(das 20241219-linalg_1_tut10_d6b05b3934b02c0273de9e5bf2250bb69d476851.svg bedeutet, dass der Vektor transponiert, d.h. hier als Spaltenvektor gelesen werden soll)

Erklärung: Zeilenvektor / Spaltenvektor

duale Basis

Man schreibt 20241219-linalg_1_tut10_a901414a35e848c4a015d6b7bd7fae7715b01e78.svg als Zeilenvektoren auf und daneben einmal 20241219-linalg_1_tut10_c37eab9ba023bec7c9a2c92bd283a7ee1c70b515.svg, hier 20241219-linalg_1_tut10_c9c0ee96afff057e8854886dd65f628d5ba2a834.svg

20241219-linalg_1_tut10_05afffd2ec9dab7bc9d125811b0b9239e091824f.svg

Im folgenden kürze ich ab, indem ich rechts 20241219-linalg_1_tut10_b9caa9938fd8b0bbf5cc89d6f52f9b3eacf6bad8.svg schreibe und später auf 20241219-linalg_1_tut10_46213a69cc0fd8e7646d063f18a2b1b9e029e7db.svg bzw. 20241219-linalg_1_tut10_fb8599e75e4949ebbeac98a6abf5c72f2a8f18e5.svg setze:

20241219-linalg_1_tut10_271baea9524367cc58ad1206a90c775e155ef04e.svg

jetzt möchte ich den oberen linken Eintrag auf eine 20241219-linalg_1_tut10_fb8599e75e4949ebbeac98a6abf5c72f2a8f18e5.svg bringen und die restlichen linken auf eine 20241219-linalg_1_tut10_46213a69cc0fd8e7646d063f18a2b1b9e029e7db.svg.
Das erreicht man hier am besten, indem man Zeile 1 und 2 vertauscht

20241219-linalg_1_tut10_30afbbadd65cdb11a39c9f44b23e103466ae8c04.svg

als nächstes möchte ich den mittleren unteren eintrag auf eine 20241219-linalg_1_tut10_46213a69cc0fd8e7646d063f18a2b1b9e029e7db.svg bringen und den mittleren eintrag auf eine 20241219-linalg_1_tut10_fb8599e75e4949ebbeac98a6abf5c72f2a8f18e5.svg (welcher hier schon eine 20241219-linalg_1_tut10_fb8599e75e4949ebbeac98a6abf5c72f2a8f18e5.svg ist)

20241219-linalg_1_tut10_ca836a227dc5438316dab862d3df0bd6d5c24480.svg

Jetzt könnte man schon 20241219-linalg_1_tut10_9ce75428f5e723d6191512ca917f1e195cfcd886.svg jeweils auswerten oder man kann den mittleren oberen eintrag auf eine 20241219-linalg_1_tut10_46213a69cc0fd8e7646d063f18a2b1b9e029e7db.svg bringen und dann 20241219-linalg_1_tut10_9ce75428f5e723d6191512ca917f1e195cfcd886.svg auswerten.
Es erscheint mir, dass zweite Schritt etwas effizienter ist:

20241219-linalg_1_tut10_bb4155ef4e402122e12d00eacfa6a7c210b5fc96.svg

Jetzt werten wir 20241219-linalg_1_tut10_9ce75428f5e723d6191512ca917f1e195cfcd886.svg aus:

20241219-linalg_1_tut10_6d73ffe24e9e0059f9bd393844cefb5460f0ebbf.svg

hier setzen wir

20241219-linalg_1_tut10_0d5dc0f41f6251c9ffed95c2be79d13cc7fb3011.svg

und erhalten

20241219-linalg_1_tut10_36816fc0aeb7a8011cc344d08680386142044b5d.svg

bzw.

20241219-linalg_1_tut10_0392b19c01c28d51f83f4db27a2bb7e0707f797d.svg
20241219-linalg_1_tut10_80ed1357440241f5affa6aaf868bac7ae5d285f7.svg

hier setzen wir

20241219-linalg_1_tut10_4e9191374a0992d41b0d04d5038df2ccbf000123.svg

und erhalten

20241219-linalg_1_tut10_5e56a47d2d568584457c45d48ed1029dce72640f.svg

bzw.

20241219-linalg_1_tut10_33b192683784c8d414e91df1cc67d0f0b68298fc.svg
20241219-linalg_1_tut10_4bffb94f4490942dde67354e85e265bc93fece81.svg

hier setzen wir

20241219-linalg_1_tut10_16b458ade64a705457007b13b57759d4e2046bcd.svg

und erhalten

20241219-linalg_1_tut10_ecd81f4414c3ecef55d4a189b5efa980500315a4.svg

bzw.

20241219-linalg_1_tut10_ce81946823b6ac5d645cae96656e8c0ad9bb2b12.svg
sanity check

Man kann auch

20241219-linalg_1_tut10_5ee3814a3f3abf8f5537b247a9f8b4378e9fedc2.svg

nachrechnen, um das Ergebnis zu kontrollieren
Hier steht 20241219-linalg_1_tut10_035cb004856091a2c0b5fcc042a1214bd0438b2f.svg für die Matrixmultiplikation oder äquivalent für das Skalarprodukt

20241219-linalg_1_tut10_bc794d6298f4d2e63931a6467211eacc3edae823.svg

So erhalten wir für 20241219-linalg_1_tut10_6d73ffe24e9e0059f9bd393844cefb5460f0ebbf.svg

20241219-linalg_1_tut10_a98438c910b0dc1fe713675682748dd6c584ef4a.svg

was genau das ist, was 20241219-linalg_1_tut10_6d73ffe24e9e0059f9bd393844cefb5460f0ebbf.svg erfüllen soll!

Basiswechselmatrix

Wir möchten die Basiswechselmatrix 20241219-linalg_1_tut10_ab5a192a1fdf9989f4487b83907a85f7d0ba4ee2.svg berechnen
Dafür schreiben wir die Basiswechselmatrix 20241219-linalg_1_tut10_c4037fae5a8be38a4ae211bd2c82b8819bd7b65f.svg auf, welche gegeben ist durch

20241219-linalg_1_tut10_1bd0695253bef67ca357dbc247ca34dc727e0f62.svg

Diese Matrix korrespondiert übrigens zur Abbildung

20241219-linalg_1_tut10_72f5b52ef65e5dfa3ea050b537e089b54547cf85.svg

um die Basiswechselmatrix 20241219-linalg_1_tut10_c4037fae5a8be38a4ae211bd2c82b8819bd7b65f.svg zu berechnen, möchten wir diese invertieren:
Dazu schreiben wir die Einheitsmatrix rechts daneben und möchten über elementare Zeilenumformungen die linke hälfte auf die Einheitsmatrix bringen:

20241219-linalg_1_tut10_8250130a11013e520c93260c0e91e1841070e4ab.svg

Das erhalten wir über

20241219-linalg_1_tut10_f4fe5563e892ad28a4af5ddc25e0100dfb7a6b40.svg

Dann ist

20241219-linalg_1_tut10_c46f03ec3d5c38966332d8228901abdc058041f5.svg

Die inverse matrix und somit auch die gesuchte Basiswechselmatrix

Aufgaben

Algorithmen

duale Basis

Sei 20241219-linalg_1_tut10_113f5ac4825694b238c0c3cd80f320ee1ae0b904.svg gegeben mit

20241219-linalg_1_tut10_f2ba12458397718a7253e4946024a6c0bbdb272a.svg

(das 20241219-linalg_1_tut10_d6b05b3934b02c0273de9e5bf2250bb69d476851.svg bedeutet, dass der Vektor transponiert, d.h. hier als Spaltenvektor gelesen werden soll)
Berechne die duale Basis

Wir schreiben

20241219-linalg_1_tut10_994e8aa12ac516cc1c75ef2e685fe2a94dcac01b.svg

Dann setzen wir 20241219-linalg_1_tut10_aa809b48683bbf0080a5836f6e943a14160450fc.svg und erhalten

20241219-linalg_1_tut10_3e97ad14acfeb9597bd61e1cec7e6e24b5ce17ed.svg

sowie

20241219-linalg_1_tut10_ab83b3aef2c1aeacabe0066de6bceac6a00c19f0.svg

Als nächstes setzen wir 20241219-linalg_1_tut10_2c31d92150ecb081b8775d17a9e386a228869807.svg und erhalten

20241219-linalg_1_tut10_687c51d72493e0eadef77c769120813667362ee3.svg

sowie

20241219-linalg_1_tut10_e2f301f0ead6f4f8adc31a009e23fc372d54fc47.svg

Als letztes setzen wir 20241219-linalg_1_tut10_706541f55f0f47e051b0a082eeb266c8f32b3064.svg und erhalten

20241219-linalg_1_tut10_5f8241375cad8eba3c273cac0f8437e6712f4025.svg

sowie

20241219-linalg_1_tut10_31358a8bfa9bdb01676f4ca9f4c53d8234d6ea8f.svg

Basiswechselmatrix

Berechne die Basiswechselmatrix 20241219-linalg_1_tut10_c4037fae5a8be38a4ae211bd2c82b8819bd7b65f.svg sowie 20241219-linalg_1_tut10_ab5a192a1fdf9989f4487b83907a85f7d0ba4ee2.svg

a) 20241219-linalg_1_tut10_c4037fae5a8be38a4ae211bd2c82b8819bd7b65f.svg

wir schreiben die drei vektoren nebeneinander auf und erhalten die Basiswechselmatrix

20241219-linalg_1_tut10_133dcac6c4b293763ce8ea1bbb9ed2244bd6ef3d.svg
b) 20241219-linalg_1_tut10_ab5a192a1fdf9989f4487b83907a85f7d0ba4ee2.svg

Wir invertieren die Matrix

20241219-linalg_1_tut10_ed68d57f554c5e13cf26ed9bb1f105ce9594de43.svg

Und erhalten als inverse matrix

20241219-linalg_1_tut10_3bbac58990cd083c9fc99297bb727206c3c8ef5f.svg

welche auch die Basiswechselmatrix 20241219-linalg_1_tut10_ab5a192a1fdf9989f4487b83907a85f7d0ba4ee2.svg ist.

rechnen in 20241219-linalg_1_tut10_750b1fd37b088b6a37b42636885710bcadbc6304.svg

Löse das gleichungssystem

20241219-linalg_1_tut10_96a2154cb9181fedac0d8e5a8d5415dbffa83a1e.svg

in 20241219-linalg_1_tut10_750b1fd37b088b6a37b42636885710bcadbc6304.svg mit dem Gauß verfahren

Nach lösen vom Gauß verfahren erhalte ich

20241219-linalg_1_tut10_2aec78737d1d6d659b573e627579d7f4bb0ded81.svg

Kern einer Matrix

Sei 20241219-linalg_1_tut10_b038204e5af2bf924cdf70576089791d30612569.svg gegeben durch

20241219-linalg_1_tut10_813ccc6b0a069ed1486e9c25bac5bffe251031ac.svg

berechne den Kern von 20241219-linalg_1_tut10_916c362ec11687631f4cc94f340c13fef3d5f949.svg (d.h. den Kern von dem zu 20241219-linalg_1_tut10_916c362ec11687631f4cc94f340c13fef3d5f949.svg korrespondierenden VR-Homo)

Dies erreicht man, indem man das LGS

20241219-linalg_1_tut10_a09494ea83a2db5e7d39c4b209e607389da8e448.svg

löst

Ich erhalte als Lösung

20241219-linalg_1_tut10_9687b72f1d2a2c55a501fc32d2fa1f66a20823e7.svg

für 20241219-linalg_1_tut10_96a625096f67f70d0cb40268df78d69a72e9da0b.svg

Bestimme die Lösung folgender Gleichungssysteme

Dabei soll eine Matrix

20241219-linalg_1_tut10_439c18c36a72590640cd3d3241cca5879ae1400a.svg

interpretiert werden als

20241219-linalg_1_tut10_57ce86b3016db29ff2db1e638e8268e87e9f2447.svg

im folgenden sei der Körper immer 20241219-linalg_1_tut10_bf27a54be6f3c9fe1e225bccf4b7ceb999ebdbcb.svg

a)
20241219-linalg_1_tut10_bfa9b1fab7bf0c802a4bae76440b49ce5dda7372.svg

Hier ist ganz 20241219-linalg_1_tut10_ad90b9ce494aca682798eb73407baf55fb108586.svg eine Lösung

b)
20241219-linalg_1_tut10_1549e8d2da6e8b310868fd4c14031a7dedee2e38.svg

ich erhalte

20241219-linalg_1_tut10_ab87a621e6dda6885c85db6fee8af0c8664b00cd.svg
c)
20241219-linalg_1_tut10_eda4ffc359af8530879af9e3e53429d227fe27de.svg

hier erhalte ich

20241219-linalg_1_tut10_aa44b176fb389e543d73c922fdcbb1d7802ed5a4.svg
d)
20241219-linalg_1_tut10_2ba2606d6710db6d0991dfc6b42683d29889137e.svg

hier erhalte ich

20241219-linalg_1_tut10_96bb1b8b9b595a67d00f5e8e77e68896243ea632.svg
e)
20241219-linalg_1_tut10_a920739b714270c9574e4ade874a02f6e153f2a2.svg

für welche 20241219-linalg_1_tut10_2f6b477ab95a016a742bf63434f9fb7c65ce161e.svg ist das Gleichungssystem lösbar ?

Beweisaufgabe

splitting lemma

Seien 20241219-linalg_1_tut10_8de75a21be08c3e0cd7daac3355482078d7da65d.svg Vektorräume,

20241219-linalg_1_tut10_19ec7e495beece8739afca58e823f2935c81d085.svg

eine kurze exakte Sequenz von Vektorräumen, d.h.

20241219-linalg_1_tut10_1d071b775df69a7385723832d0b9a058717fc0af.svg

sowie 20241219-linalg_1_tut10_ad6a03aaa8d3a8bd22f0e7659be6109d78aaf52a.svg ist ein Monomorphismus und 20241219-linalg_1_tut10_50706fcb59084c951cf44498a2491f2cd0455273.svg ein Epimorphismus

Zeige dass diese exakte sequenz zerfällt, d.h. VR-homomorphismen 20241219-linalg_1_tut10_c19cba756d5adbcef84e174bd2530731394515e0.svg existieren mit

20241219-linalg_1_tut10_594cf4f804dcdcc44465f2e069365aa04d0e4b66.svg

Folgere zudem, dass ein Iso 20241219-linalg_1_tut10_5d2034f023f989bdc52d14945d19751f73c3e30a.svg existiert sodass

20241219-linalg_1_tut10_d5e42cc787d7c280b27434d1e76157f2f9fa3f71.svg

kommutiert

a)

Monos und Epis haben einseitige umkehrabbildung (habe ich im Tut9 angesprochen, alternativ: hier noch ein Bewies)

dimension von

Sei

20241219-linalg_1_tut10_b8d4e2b07992538b3e44340cd394f4137324fd12.svg

eine exakte Sequenz von endlich dimensionalen Vektorräumen 20241219-linalg_1_tut10_dd3f5d75761e1328a4842a56df5b7e9b59510de0.svg, d.h.

20241219-linalg_1_tut10_047c14d0f92e5bf31b446efcc076dd098b9a817b.svg

für 20241219-linalg_1_tut10_8577724f9d82dc861573507d3ac5e80fc7dcb849.svg

Zeige

20241219-linalg_1_tut10_ccea41d533a787c8ac1caaf81394c4654eab344a.svg

Beweis: alternating dimensions of a long exact sequence

Date: nil

Author: Anton Zakrewski

Created: 2025-01-15 Mi 07:33