Algebraische Vielfachheit
Praktisch gesehen ist die algebraische Vielfachheit die Vielfachheiten der Nullstellen des charakteristischen Polynom.
Prinzipiell ist die algebraische Vielfachheit die Dimension der Eigenraumes zu einem Eigenwert.
Es gilt stets: Geometrische Vielfachheit
algebraische Vielfachheit.
Prinzipiell ist die algebraische Vielfachheit die Dimension der Eigenraumes zu einem Eigenwert.
Es gilt stets: Geometrische Vielfachheit
![](/pool/data/tex/de44c582df9d8d29dbbd70aca311c641.gif)
f invariante Unterräume
1.1 Sei
also
. Ein UR
von
heißt f-invariant, wenn gilt
.
1.2 Bemerkungen_
sind stets f-invariant.
Ist
f-invariant, so ist dies ein erster Schritt zu einer "einfachen" Matrixdarstellung von
. Sei
Basis von
, ergänze
zu Basis
von
. Bzgl. dieser Basis hat
eine Matrix ![](/pool/data/tex/d813219a9a3a017acf99b478026c569c.gif)
1.3 Lemma: Seine
vertauschbar, d.h.
. Dann sind
f-invariante URe. Inbesondere sind alle Eigenräume von
f-invariant.
(Natürlich ohne Einschränkungen: Also alle Eigenräume von
sind g-invariant.
![](/pool/data/tex/2fa61277d4d1799363a47548f0718142.gif)
![](/pool/data/tex/9e1039cf2fba47e7ec659822d1e2de06.gif)
![](/pool/data/tex/4c614360da93c0a041b22e537de151eb.gif)
![](/pool/data/tex/5206560a306a2e085a437fd258eb57ce.gif)
![](/pool/data/tex/0a3583de25508e93980cd7a1f1ea6557.gif)
1.2 Bemerkungen_
![](/pool/data/tex/c38968fb823f2f35f38dfacd69e6d7ae.gif)
Ist
![](/pool/data/tex/d29fa43417bde8864ff3bd6f15a5c50f.gif)
![](/pool/data/tex/8fa14cdd754f91cc6554c9e71929cce7.gif)
![](/pool/data/tex/ca2131fc805663dd83f22eaaaf58ad99.gif)
![](/pool/data/tex/4c614360da93c0a041b22e537de151eb.gif)
![](/pool/data/tex/ca2131fc805663dd83f22eaaaf58ad99.gif)
![](/pool/data/tex/d5e9af024a0d5b9f30969618cc0620d8.gif)
![](/pool/data/tex/5206560a306a2e085a437fd258eb57ce.gif)
![](/pool/data/tex/8fa14cdd754f91cc6554c9e71929cce7.gif)
![](/pool/data/tex/d813219a9a3a017acf99b478026c569c.gif)
1.3 Lemma: Seine
![](/pool/data/tex/e24edf636985b4c07a2d0fb253a062fc.gif)
![](/pool/data/tex/48bb509fb18891d89c8eb39a22f0f553.gif)
![](/pool/data/tex/bf99a755cf343a9cc9beab82cc1642de.gif)
![](/pool/data/tex/b2f5ff47436671b6e533d8dc3614845d.gif)
(Natürlich ohne Einschränkungen: Also alle Eigenräume von
![](/pool/data/tex/8fa14cdd754f91cc6554c9e71929cce7.gif)
Tags:
Source: Skript Scheiderer BII I §1 Hauptaumzerlegung Def.1.1, Bem.1.2
Source: Skript Scheiderer BII I §1 Hauptaumzerlegung Def.1.1, Bem.1.2
Nilpotent, Nilpotenzindex
![](/pool/data/tex/792e610f0354803457faf6114bc0fc3c.gif)
![](/pool/data/tex/8fa14cdd754f91cc6554c9e71929cce7.gif)
![](/pool/data/tex/5c319ee2d6f0d5f0a105c3c4217515a3.gif)
Das kleinste solche
![](/pool/data/tex/8ce4b16b22b58894aa86c421e8759df3.gif)
![](/pool/data/tex/8fa14cdd754f91cc6554c9e71929cce7.gif)
1.5 Beispiel: Sind
![](/pool/data/tex/347e3486397046688be6481a4403fe8f.gif)
![](/pool/data/tex/f95c826f6f6c1a297c2bb0a8acd38a3a.gif)
![](/pool/data/tex/7fc56270e7a70fa81a5935b72eacbe29.gif)
![](/pool/data/tex/813f9727650253e0abc5719cee21d8a4.gif)
(Denn: Sind
![](/pool/data/tex/3e455472f31a889a6b9ab7084cbd1798.gif)
![](/pool/data/tex/1442a06005b36dde2e004f6625ad6d4f.gif)
![](/pool/data/tex/4f5bfe999c6e7fa5ae6c6696f65e4b7b.gif)
![](/pool/data/tex/eaa6e4d80fe33b7b8bcce3066dcce87e.gif)
![](/pool/data/tex/4eabd010e168967ced6c67df42785e2f.gif)
Mit Satz 1.6:
![](/pool/data/tex/f01e3e8db11c79ed286cde9837ae9e0f.gif)
![](/pool/data/tex/1a7ac8a0a9019bc4d898b59644a0b5fd.gif)
1.7 Korollar
![](/pool/data/tex/f01e3e8db11c79ed286cde9837ae9e0f.gif)
![](/pool/data/tex/07927c9020b42e1cac6120dad024def6.gif)
1.8 Lemma stop
![](/pool/data/tex/6e05e66537ae86b3757c0df4dd4af2eb.gif)
a. Es gibt eine Zahl
![](/pool/data/tex/8277e0910d750195b448797616e091ad.gif)
![](/pool/data/tex/8107a40b3cfeba5c16f1ab131e553f0c.gif)
(1)...
Tags:
Source: Skript Scheiderer BII, I Strukturtheorie von Endo, §1 Definition 1.4
Source: Skript Scheiderer BII, I Strukturtheorie von Endo, §1 Definition 1.4
Eigenraum
Der Eigenraum ist der durch die Eigenvektoren eines Endomorhpismus aufgespannte Untervektorraum.
Tags:
Source: Wikipedia
Source: Wikipedia
Diagonalisierbarkeit einer Matrix ![](/pool/data/tex/7fc56270e7a70fa81a5935b72eacbe29.gif)
![](/pool/data/tex/7fc56270e7a70fa81a5935b72eacbe29.gif)
Ist eine Matrix
diagonalisierbar, existiert eine Diagonalmatrix
für die die Ähnlichkeitsbedingung erfüllt ist:
Äquivalent: (Vielleicht selbst zu zeigen!?)
Dies ist genau dann wenn: (a) char. Pol. vollständig in Linearfaktoren zerfällt und (b)
für alle
also Eigenwerte von
.
![](/pool/data/tex/7fc56270e7a70fa81a5935b72eacbe29.gif)
![](/pool/data/tex/752f5a63e3bcfeb936c963dd4492091c.gif)
![](/pool/data/tex/dadb830dba6e8e1bba09cb91fec8125a.gif)
Äquivalent: (Vielleicht selbst zu zeigen!?)
Dies ist genau dann wenn: (a) char. Pol. vollständig in Linearfaktoren zerfällt und (b)
![](/pool/data/tex/33e91f42d2036b24a9d51aa5128c023e.gif)
![](/pool/data/tex/c6a6eb61fd9c6c913da73b3642ca147d.gif)
![](/pool/data/tex/7fc56270e7a70fa81a5935b72eacbe29.gif)
Eigenschaften einer Äquivalenzrelation
1. Reflexivität: Das betrachtete Ding
ist relativ zu sich selbst, also zu ![](/pool/data/tex/6722c218a6f30869ef6886dc4b050a37.gif)
2. Symmetrie: Wenn das Ding
zu
relativ ist, so ist
auch relativ zu ![](/pool/data/tex/6722c218a6f30869ef6886dc4b050a37.gif)
3. Transitivität: Wenn das Ding
zu
relativ ist und das Ding
relativ zu
ist, dann ist das Ding
auch relativ zu ![](/pool/data/tex/25af810aa748842731df94a4b0e9aa06.gif)
Vorsicht
Es gilt nicht: aus 2. und 3. folgt 1.
Also FALSCH ist weil
Symmetrisch ist
und dann ist
also
also ist
auch reflexiv und deshalb Äquivalenzrelation.
![](/pool/data/tex/6722c218a6f30869ef6886dc4b050a37.gif)
![](/pool/data/tex/6722c218a6f30869ef6886dc4b050a37.gif)
2. Symmetrie: Wenn das Ding
![](/pool/data/tex/6722c218a6f30869ef6886dc4b050a37.gif)
![](/pool/data/tex/ee23c4f89cdc7b5be951059c2435fa2d.gif)
![](/pool/data/tex/ee23c4f89cdc7b5be951059c2435fa2d.gif)
![](/pool/data/tex/6722c218a6f30869ef6886dc4b050a37.gif)
3. Transitivität: Wenn das Ding
![](/pool/data/tex/6722c218a6f30869ef6886dc4b050a37.gif)
![](/pool/data/tex/ee23c4f89cdc7b5be951059c2435fa2d.gif)
![](/pool/data/tex/ee23c4f89cdc7b5be951059c2435fa2d.gif)
![](/pool/data/tex/25af810aa748842731df94a4b0e9aa06.gif)
![](/pool/data/tex/6722c218a6f30869ef6886dc4b050a37.gif)
![](/pool/data/tex/25af810aa748842731df94a4b0e9aa06.gif)
Vorsicht
Es gilt nicht: aus 2. und 3. folgt 1.
Also FALSCH ist weil
![](/pool/data/tex/f55d4435e31a3e1d665905db4b6afe24.gif)
![](/pool/data/tex/ee30bfa9e6e481a90c9bd19dede72e20.gif)
![](/pool/data/tex/bc0bc035fca0b35613b3ee132c7e1d57.gif)
![](/pool/data/tex/d813a84c5113e9f35ad5808b6456e94a.gif)
![](/pool/data/tex/5f6c25a25db81486c3c5a40ffa1bf110.gif)
Anzahl der Vektoren einer Nebenklasse. Wieviele Vektoren hat eine Nebenklasse?
Nebenklassen sind immer abhängig von dem jeweiligen Untervektorraum
.
Grundsätzlich macht diese Frage nur sinn, wenn eine endliche Menge
betrachtet wird. Irgendeine Anzahl an Elementen wird
dann ja haben, wenn es endlich. Diese Zahl nennen wir einfach
.
selbst ist zu sich ist eine Nebenklasse, nämlich die Nebenklasse
.
Diese Nebenklasse hat die gleiche Anzahl an Element wie
natürlich. Also genau
. (Nach dem Satz über die Anzahl von Elementen eins Vektoraumes)
Wann könnte jetzt auf die Idee kommen, zu vermuten, dass auch jede äquivalente Nebenklasse gleichviele Elemente wie
hat, und man könnte im ersten Versuch mal versuchen ein Bijektive Abbildung zwischen
und
zu konstruieren. Klappt das, so ist klar, dass
und
gleichmächtig sein müssen.
Das klappt mit
. Denn die Surjektivitöt folgt aus der Definition der Nebenklasse und die Injetivität ist einfach mit
.
![](/pool/data/tex/4c614360da93c0a041b22e537de151eb.gif)
Grundsätzlich macht diese Frage nur sinn, wenn eine endliche Menge
![](/pool/data/tex/4c614360da93c0a041b22e537de151eb.gif)
![](/pool/data/tex/4c614360da93c0a041b22e537de151eb.gif)
![](/pool/data/tex/8ce4b16b22b58894aa86c421e8759df3.gif)
![](/pool/data/tex/4c614360da93c0a041b22e537de151eb.gif)
![](/pool/data/tex/06c0c114b5a2c88bee1e90af5f3ca263.gif)
Diese Nebenklasse hat die gleiche Anzahl an Element wie
![](/pool/data/tex/4c614360da93c0a041b22e537de151eb.gif)
![](/pool/data/tex/41a3c0c88ba384bf59b5af6f64b175d9.gif)
Wann könnte jetzt auf die Idee kommen, zu vermuten, dass auch jede äquivalente Nebenklasse gleichviele Elemente wie
![](/pool/data/tex/06c0c114b5a2c88bee1e90af5f3ca263.gif)
![](/pool/data/tex/06c0c114b5a2c88bee1e90af5f3ca263.gif)
![](/pool/data/tex/4c614360da93c0a041b22e537de151eb.gif)
![](/pool/data/tex/4c614360da93c0a041b22e537de151eb.gif)
![](/pool/data/tex/06c0c114b5a2c88bee1e90af5f3ca263.gif)
Das klappt mit
![](/pool/data/tex/b36c9205888df935de97fb7df12c13af.gif)
![](/pool/data/tex/f680e50d9a6f5d4c7ac649a66ac4d645.gif)
![](/pool/img/avatar_40_40.gif)
Flashcard set info:
Author: attila.rufius
Main topic: Mathematik
Topic: Algebra
Published: 01.03.2010
Card tags:
All cards (53)
no tags