192 lines
4.3 KiB
Markdown
192 lines
4.3 KiB
Markdown
## SKA 1 ##
|
||
|
||
### Aufgabe 12 ###
|
||
|
||
Gegeben sei
|
||
|
||
A = -1 1
|
||
2 0
|
||
3 1
|
||
|
||
A ist in ℝ^{3 x 2}
|
||
**Zu finden:** Matrizen P, Q, so dass P·A·Q im Format wie in Satz 6.3.10
|
||
Offensichtlich müssen
|
||
|
||
P ∈ ℝ^{3 x 3}
|
||
Q ∈ ℝ^{2 x 2}
|
||
|
||
gelten. Da bei X·Y müssen #col(X), #row(Y) übereinstimmen, weil
|
||
wenn man die Matrixmultiplikation ausführt, dann multipliziert man
|
||
- Zeilen aus X
|
||
mit
|
||
- Spalten aus Y.
|
||
Im Gaußverfahren
|
||
|
||
A —> E1·A —> E2·E1·A —> E3·E2·E1·A ... —> (E_r·E_{r-1}·...·E3·E2·E1)·A
|
||
|
||
—> Wir wollen (E_r·E_{r-1}·...·E3·E2·E1) als einzige Matrix erfassen, also als P.
|
||
|
||
Wir führen A in ein augmentiertes System mit der 3x3 Identitätsmatrix auf
|
||
|
||
-1 1 | 1 0 0
|
||
2 0 | 0 1 0
|
||
3 1 | 0 0 1
|
||
|
||
und führen das Gaußverfahren darauf auf. Dann geschieht (effektiv) parallel
|
||
|
||
linke Hälfte: A —> E1·A —> E2·E1·A —> E3·E2·E1·A ... —> (E_r·E_{r-1}·...·E3·E2·E1)·A
|
||
rechte Hälfte: I —> E1·I —> E2·E1·I —> E3·E2·E1·I ... —> (E_r·E_{r-1}·...·E3·E2·E1)·I
|
||
= (E_r·E_{r-1}·...·E3·E2·E1)
|
||
= P
|
||
|
||
Gaußverfahren:
|
||
|
||
-1 1 | 1 0 0
|
||
2 0 | 0 1 0
|
||
3 1 | 0 0 1
|
||
|
||
Zeilen 1 und 2 tauschen:
|
||
|
||
2 0 | 0 1 0
|
||
-1 1 | 1 0 0
|
||
3 1 | 0 0 1
|
||
|
||
Zeile_2 <— 2·Zeil_2 + Zeile_1
|
||
Zeile_3 <— 2·Zeil_3 - 3·Zeile_1
|
||
|
||
2 0 | 0 1 0
|
||
0 2 | 2 1 0
|
||
0 2 | 0 -3 2
|
||
|
||
Zeile_3 <— Zeil_3 - Zeile_2
|
||
|
||
2 0 | 0 1 0
|
||
0 2 | 2 1 0
|
||
0 0 | -2 -4 2
|
||
|
||
Zeile_1 <— Zeile_1 / 2
|
||
Zeile_2 <— Zeile_2 / 2
|
||
|
||
1 0 | 0 1/2 0
|
||
0 1 | 1 1/2 0
|
||
0 0 | -2 -4 2
|
||
|
||
Also gilt mit
|
||
|
||
P = 0 1 0
|
||
2 1 0
|
||
-2 -4 2
|
||
|
||
Dass P·A = Form aus Satz 6.3.10.
|
||
Setze Q := 2 x 2 Identitätsmatrix
|
||
Dann
|
||
|
||
P·A·Q = P·A = Matrix im Format aus Satz 6.3.10
|
||
|
||
### Anderes nicht so glückliches Beispiel ###
|
||
|
||
Angenommen wir hätten A als 3 x 5 Matrix und nach Ausführung des o. s. Verfahrens
|
||
|
||
0 1 0 0 0 | 0 1/2 0
|
||
0 0 0 1 0 | 1 1/2 0
|
||
0 0 0 0 0 | -2 -4 2
|
||
|
||
erzielt. Dann würden wir P wie oben setzen.
|
||
Aber wir müssen noch Q bestimmen.
|
||
Das können wir einfach durch Permutationen erreichen:
|
||
|
||
Q = 0 1 0 0 0 1 0 0 0 0
|
||
1 0 0 0 0 0 0 0 1 0
|
||
0 0 1 0 0 · 0 0 1 0 0
|
||
0 0 0 1 0 0 1 0 0 0
|
||
0 0 0 0 1 0 0 0 0 1
|
||
|
||
Oder mit Gaußverfahren, transponieren wir und augmentieren wir mit der 5x5 Identitätsmatrix:
|
||
|
||
0 0 0 | 1 0 0 0 0
|
||
1 0 0 | 0 1 0 0 0
|
||
0 0 0 | 0 0 1 0 0
|
||
0 1 0 | 0 0 0 1 0
|
||
0 0 0 | 0 0 0 0 1
|
||
|
||
Zeile1 und Zeile2 vertauschen:
|
||
|
||
1 0 0 | 0 1 0 0 0
|
||
0 0 0 | 1 0 0 0 0
|
||
0 0 0 | 0 0 1 0 0
|
||
0 1 0 | 0 0 0 1 0
|
||
0 0 0 | 0 0 0 0 1
|
||
|
||
Zeile2 und Zeile4 vertauschen:
|
||
|
||
1 0 0 | 0 1 0 0 0
|
||
0 1 0 | 0 0 0 1 0
|
||
0 0 0 | 0 0 1 0 0
|
||
0 0 0 | 1 0 0 0 0
|
||
0 0 0 | 0 0 0 0 1
|
||
|
||
Rechte Hälfte transponiert:
|
||
|
||
Q = 0 0 0 1 0
|
||
1 0 0 0 0
|
||
0 0 1 0 0
|
||
0 1 0 0 0
|
||
0 0 0 0 1
|
||
|
||
|
||
## Lineare Ausdehnung mit Komplikationen... ##
|
||
|
||
Betrachte
|
||
|
||
u1 = (1, 1, 0, 4)ᵀ
|
||
u2 = (1, 0, 0, 4)ᵀ
|
||
u3 = (0, 1, 0, 0)ᵀ
|
||
u4 = (1, -1, 0, 4)ᵀ
|
||
|
||
und φ : ℝ^4 —> ℝ^2 partiell definiert
|
||
|
||
φ(u1) = (8, 1)ᵀ
|
||
φ(u2) = (4, 5)ᵀ
|
||
φ(u3) = (4, -4)ᵀ
|
||
φ(u4) = (0, 9)ᵀ
|
||
|
||
Beachte:
|
||
{u1, u2} lin. unabh.
|
||
u3, u4 ∈ Lin{u1, u2}:
|
||
u3 = u1 - u2
|
||
u4 = u2 - u3 = u2 - (u1 - u2) = 2·u2 – u1
|
||
|
||
Darum müssen
|
||
|
||
φ(u3) = φ(u1) - φ(u2)
|
||
φ(u4) = 2·φ(u2) – φ(u1)
|
||
|
||
gelten.
|
||
|
||
Wenn nicht erfüllt ==> ex. keine lineare Ausdehnung.
|
||
Wenn erfüllt ==> ex. eine lineare Ausdehnung:
|
||
|
||
Setze
|
||
|
||
u1' = u1
|
||
u2' = u2
|
||
---> {u1', u2'} lin. unabh.
|
||
---> {u1', u2'} lässt sich zu einer Basis
|
||
{u1', u2', u3', u4'} von ℝ^4
|
||
|
||
Wähle v3, v4 ∈ ℝ^2 beliebig und setze
|
||
|
||
φ(u1') := (8, 1)ᵀ
|
||
φ(u2') := (4, 5)ᵀ
|
||
φ(u3') := v3
|
||
φ(u4') := v4
|
||
|
||
Dann laut Satz 6.1.13. ex. eine (eindeutige) lineare Abb.
|
||
φ : ℝ^4 —> ℝ^2
|
||
mit
|
||
|
||
φ(u1') = (8, 1)ᵀ
|
||
φ(u2') = (4, 5)ᵀ
|
||
φ(u3') = v3
|
||
φ(u4') = v4
|