Minimialpolynom q_L delar polynomet

Hej!
Jag förstår att minmialpolynom definieras enligt följande nedan. Men fattar ej vad e_vA är med notatonen K[x]=>M_n,n(K) samt hur man ska börja på uppgiften för att komma vidare.

För din första fråga: är en funktion från ringen av polynom till ringen av kvadratiska -matriser med koefficienter i alltså, .
Konkret tar ett polynom, t.ex. (om vi tänker att eller ) och byter ut mot matrisen . Så t.ex. är
.
Notera att talet 3 i polynomet blivit till , alltså 3 gånger identitetsmatrisen.
För din andra fråga: låt vara matrisen som motsvarar operatorn . Låt . Du vill visa att
, dvs att
.
Om så gäller nämligen enligt definitionen av minimala polynom att , det minimala polynomet för , måste dela . Det följer från bilden: alla polynom sådana att , vilket är ekvivalent med att , är multiplar av det minimala polynomet .
Gustor skrev:För din första fråga: är en funktion från ringen av polynom till ringen av kvadratiska -matriser med koefficienter i alltså, .
Konkret tar ett polynom, t.ex. (om vi tänker att eller ) och byter ut mot matrisen . Så t.ex. är
.
Notera att talet 3 i polynomet blivit till , alltså 3 gånger identitetsmatrisen.
För din andra fråga: låt vara matrisen som motsvarar operatorn . Låt . Du vill visa att
, dvs att
.
Om så gäller nämligen enligt definitionen av minimala polynom att , det minimala polynomet för , måste dela . Det följer från bilden: alla polynom sådana att , vilket är ekvivalent med att , är multiplar av det minimala polynomet .
Det är väldigt mycket saker på en gång här. Jag vet inte var jag ska ens börja. Det är många notationer osv. Men det kanske klarnar när jag kommit in i tankesättet med denna uppgift.
Jag ska alltså visa att q_L är delbart med (x-1)2(x+1)2 dvs q_L|(x-1)2(x+1)2
Det kan vara bra att sätta sig in i teorin och sedan försöka själv först.
Gustor skrev:Det kan vara bra att sätta sig in i teorin och sedan försöka själv först.
Teorin är ju det jag skrev ovan i #1. Men det hade najs att få hjälp på traven med hur man kommer vidare här.
Jag fick intrycket att mycket jag skrev verkade främmande för dig.
Gustor skrev:Jag fick intrycket att mycket jag skrev verkade främmande för dig.
Det var många nya saker men jag får lära mig. Det är därför jag ställde frågor här. Hur som helst det vi ska visa är alltså #3
Jag tror det blir lättare om man förstår just vad man gör när man tar ett polynom och byter ut x:en mot matriser. Då får man ett uttryck som kommer bli till en ny matris.
Denna sorts process att omvandla polynom till matriser är likt hur vi kan omvandla polynom till tal genom att byta ut x:en mot tal och beräkna. Fast vi gör det med matriser istället.
Det är precis vad funktionen ev_A gör--den byter ut x:en mot matrisen A.
Gustor skrev:Jag tror det blir lättare om man förstår just vad man gör när man tar ett polynom och byter ut x:en mot matriser. Då får man ett uttryck som kommer bli till en ny matris.
Denna sorts process att omvandla polynom till matriser är likt hur vi kan omvandla polynom till tal genom att byta ut x:en mot tal och beräkna. Fast vi gör det med matriser istället.
Det är precis vad funktionen ev_A gör--den byter ut x:en mot matrisen A.
Så e_vA tar alltså alla polynom från R eller C kropp och omvandlar dem till koefficienter av nxn matris? Det låter som att e_vA är en linjär avbildning.
är en linjär avbildning. "ev" ska stå för evaluation och innebär att man evaluerar polynomet "vid" matrisen .