0 Daumen
448 Aufrufe

Die direkte Summe A ⊕ B zweier Matrizen A ∈ Kn×n und B ∈ Km×m ist definiert als \( \begin{pmatrix} A & 0 \\ 0 & B \end{pmatrix} \) ∈ K(n+m)×(n+m).

Das kleinste gemeinsame Vielfache lcm(p, q) zweier Polynome p, q ∈ K[X] \ {0} ist definiert als das normierte Polynom u ≠ 0 von kleinstmöglichem Grad, für das gilt p | u und q | u.

Zeigen Sie:
a) lcm(p, q) ist eindeutig bestimmt.
b) Für jedes p ∈ K[X] gilt p(A ⊕ B) = p(A) ⊕ p(B).
c) Sind mA,mB die Minimalpolynome von A und B, so ist lcm(mA,mB) das Minimalpolynom von A ⊕ B.

Avatar von

zu c)

Was ist mit A = B?

Kann man einen unbedachten Kommentar löschen?

1 Antwort

0 Daumen

Das kleinste gemeinschaftliche Vielfache zweier Polynome ist bis auf konstante Vielfache eindeutig bestimmt, weil die Zerlegung eines Polnoms ist Primpolynome soweit eindeutig ist.

Das Minimalpolynom ist das Produnkt von Termen der Form (x-z)k, wo k die Größe des größten Jordankästchen zum Eigenwert z ist.

Die Jordankästchen von A⊕B sind die von A und B zusammengenommen.

Avatar von

Danke, das hilft mir sehr weiter! Ich kenne noch nicht die Jordan-Normalform, kann man c) auch irgendwie anders beweisen?

Zu einer Matrix A, die nicht diagonalisierbar ist, gibt es reguläre komlexe Matrizen B, so dass BAB-1 Dreiecksform hat, dort stehen auch die Eigenwerte auf der Diagonalen, aber das Minimalpolynom ist nicht ablesbar.

Danke, das hilft mir sehr weiter! Ich kenne noch nicht die Jordan-Normalform, kann man c) auch irgendwie anders beweisen?

Welche Eigenschaften hat ein Minimalpolynom?

1. Wenn man die Matrix einsetzt kommt 0 raus.

2. Es ist das normierte Polynom kleinsten Grades mit dieser Eigenschaft.

Rechne also nach, dass das kgV 1. erfüllt.

Wenn p ein Polynom ist, das 1. erfüllt, dann muss p(A)=0=p(B) nach b) gelten. Folgere m_A | p und m_B | p insbesondere ist p ein gemeinsames Vielfaches von m_A und m_B. Rest sollte dann klar sein.

Danke für die Hilfe!

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community