10 svar
622 visningar
dajamanté behöver inte mer hjälp
dajamanté 5139 – Fd. Medlem
Postad: 8 jan 2019 10:15

Bestäm bas till abstrakta vektorrum

Hur bestämmer man en bas för det? (enklaste möjliga sätt såklart :)!)

haraldfreij 1322
Postad: 8 jan 2019 10:51

Det enklaste sättet tror jag helt enkelt är att ställa upp ekvationen AB=BAAB=BA för B=b11b12b21b22, och lösa för B. Du får fyra ekvationer, en för varje element i produktmatrisen. Bestäm sedan en bas för lösningen.

dajamanté 5139 – Fd. Medlem
Postad: 8 jan 2019 12:20

Hur kommer min bas att se ut? 4 små matriser?

SeriousCephalopod 2696
Postad: 8 jan 2019 12:38
dajamanté skrev:

Hur kommer min bas att se ut? 4 små matriser?

 Förutsatt att rummet är 4-dimensionellt, ja. (Och små i meningen att de också är av 2x2-typ)

Laguna 29867
Postad: 8 jan 2019 12:51
SeriousCephalopod skrev:
dajamanté skrev:

Hur kommer min bas att se ut? 4 små matriser?

 Förutsatt att rummet är 4-dimensionellt, ja. (Och små i meningen att de också är av 2x2-typ)

Jag borde inte lita på min intuition, men dimensionen är väl 4 för hela rummet av 2x2-matriser? Då känns det inte som om underrummet också kan ha dimension 4. När jag räknar enligt tipset ser jag ut att få dimension 2 också (vilket inte automatiskt betyder att min känsla var rätt). Alltså två små matriser. Eller har jag missförstått dimensionsbegreppet?

SeriousCephalopod 2696
Postad: 8 jan 2019 12:52 Redigerad: 8 jan 2019 12:55

Även om haralds metod är den enklaste och förmodligen även beräkningstekniskt effektivaste kan man även alltid fundera på om man kan använda egenvektorer till något finurligt då det ju ofta finns en egenvärdeslösning parallellt med en gauss-typ-lösnning.

Låt oss ha två egenvektorer

Av1=λ1v1A v_1 = \lambda_1 v_1

Av2=λ2v2A v_2= \lambda_2 v_2

vilka vi kan bestämma när vi vill och lite naivt stoppa in dem i kommuteringsrelationen och se vad vi får.

BAv1=B(λ1v1)=λ1(Bv1)BAv_1 = B(\lambda _1 v_1) = \lambda_1 (B v_1) ska vara samma som

ABv1=A(Bv1)A B v_1 = A (B v_1)

och från detta kan vi faktiskt se att Bv1B v_1 måste vara en egenvektor till A med egenvärde λ1\lambda_1 och således en multipel av v1v_1 med något skalningsfaktor c1c_1

Bv1=c1v1B v_1 = c_1 v_1.

Men ooops! Detta får det ju att se ut som att v1v_1 också är en egenvektor till BB men med någon obestämt egenvärde!

Detta föranleder slutsatsen att kommutering har något med att ha gemensamma egenvektorer. Specifikt att B ska ha samma egenvektorer men inte nödvändigtvis samma egenvärde och dessa egenvärden är de fria parametrarna för B. Från detta drar vi slutsatsen att B-rummet är tvådimensionellt för övrigt

Sedan hur man går från denna slutsats till att ta fram en faktisk bas är en annan exercis. 

AlvinB 4014
Postad: 8 jan 2019 12:56
Laguna skrev:
SeriousCephalopod skrev:
dajamanté skrev:

Hur kommer min bas att se ut? 4 små matriser?

 Förutsatt att rummet är 4-dimensionellt, ja. (Och små i meningen att de också är av 2x2-typ)

Jag borde inte lita på min intuition, men dimensionen är väl 4 för hela rummet av 2x2-matriser? Då känns det inte som om underrummet också kan ha dimension 4. När jag räknar enligt tipset ser jag ut att få dimension 2 också (vilket inte automatiskt betyder att min känsla var rätt). Alltså två små matriser. Eller har jag missförstått dimensionsbegreppet?

 Det är korrekt. Eftersom matrismultiplikation generellt inte är kommutativt kommer underrummet inte innehålla hela rummet av 2×22\times2-matriser.

Vad jag tror SeriousCephalopod menade var "Ifall rummet skulle varit fyrdimensionellt, ja".

dajamanté 5139 – Fd. Medlem
Postad: 8 jan 2019 13:09

Samtidigt som jag är otroligt tacksam för dessa intelligenta och utvecklade svar, känner jag som att mitt hjärna håller på att dö från linjär algebra. Jag förstår varje ord i vad SparklinglyIntelligent Octopus skriver -och varje ord i Albins och Laguna svar, men när jag sätter alla ord tillsammans blir det gröt. Och grät.

Men iaf ni har rätt, svaret är 2 dimensionnell med två stycken 2*2 matriser:

 

Sista fråga innan jag går och dör nånstans. Hur kan dem bryta en 4 koordinatvektor till en 2*2 matris?? Hur kan detta vara även algebra-approved?

AlvinB 4014
Postad: 8 jan 2019 13:18

När man definierar (x1,x2,x3,x4)(x_1,x_2,x_3,x_4) väljer man att det skall vara elementen i en 2×22\times2-matris. Alltså är vektorn (a,b,c,d)(a,b,c,d) i själva verket matrisen

abcd\begin{pmatrix}a&b\\c&d\end{pmatrix}

Då går det att skriva om vektorn (-1,1,2,0)(-1,1,2,0) som:

-1120\begin{pmatrix}-1&1\\2&0\end{pmatrix}

Laguna 29867
Postad: 8 jan 2019 13:25
AlvinB skrev:

När man definierar (x1,x2,x3,x4)(x_1,x_2,x_3,x_4) väljer man att det skall vara elementen i en 2×22\times2-matris. Alltså är vektorn (a,b,c,d)(a,b,c,d) i själva verket matrisen

abcd\begin{pmatrix}a&b\\c&d\end{pmatrix}

Då går det att skriva om vektorn (-1,1,2,0)(-1,1,2,0) som:

-1120\begin{pmatrix}-1&1\\2&0\end{pmatrix}

Jag skulle säga "representera", inte "är", så slipper jag förklara hur en fyra-vektor kan delta i ett rum av 2x2-matriser. Men är alla med på att "är" fungerar så är jag det också.

dajamanté 5139 – Fd. Medlem
Postad: 8 jan 2019 14:17

Ok, bara att plugga mer...

Svara
Close