[Artikel] Der Zassenhaus-Algorithmus für Summe und Schnitt von Vektorräumen |
28.08.2011, 11:23 | jester. | Auf diesen Beitrag antworten » |
[Artikel] Der Zassenhaus-Algorithmus für Summe und Schnitt von Vektorräumen Sei ein Körper und ein -Vektorraum endlicher Dimension, hier ohne Einschränkung . Seien zudem zwei Teilräume durch Erzeugendensysteme gegeben. Der Algorithmus Man definiere die Matrix als - d.h. man notiere die Erzeuger als Zeilenvektoren, wobei man die Erzeuger des ersten Raums zweifach nebeneinander schreibe und die Erzeuger des zweiten Raums einfach notiere und nach rechts mit Nullzeilen auffülle. Man führe dann Zeilenumformungen auf dieser Matrix aus, bis sie in der folgenden Form ist: mit und . Die Blöcke, die die und enthalten, müssen außerdem in strikter Zeilenstufenform sein. Ist die Matrix in diese Form überführt, so ist eine Basis von und ist eine Basis von . Beweis Dass aus durch Überführen auf Zeilenstufenform eine Basis von entsteht, erhalten wir aus dem gewöhnlichen Gauß-Algorithmus. Es sei nun der Zeilenraum der Matrix , welcher ein Unterraum von ist. Sei die Einschränkung der Projektionsabbildung auf . Behauptung: . Dazu: , d.h. . Ein Beispiel Sei und , Dies liefert uns die Matrix , die wir wie folgt umformen: Also ist eine Basis von und eine Basis von . |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|