Moderators: dirkwb, Xilvo
Forumregels
(Middelbare) school-achtige vragen naar het forum "Huiswerk en Practica" a.u.b.
Zie eerst de
Huiswerkbijsluiter
-
- Berichten: 620
Hoi allemaal!
Kan iemand me uitleggen waarom de factoren (matrix A en matrix B) van plaats omruilen wanneer hun product (laat ons dit matrix C noemen) getransponeerd wordt?
In symbolen:
\(A; B; C \in \mathbb{R}^{a\times a}\)
\((A\cdot B)=C\)
\(C^T=(A\cdot B)^T\)
\(C^T=B^T\cdot A^T\)
Bedankt!
-S.
"The only reason for time is so that everything doesn't happen at once." - Albert Einstein
-
- Berichten: 10.179
Als C = AB, heb je dan al gezien dat
\(C_{ij} = \sum_{k = 1}^n A_{ik} B_{kj}\)
? Hier bedoelen we met C
ij het element van de matrix C op plaats (i, j)...
-
- Berichten: 620
ik weet wat je bedoelt (door zelfscholing over het sommatieteken
), maar wij hebben nagenoeg niet echt op school iets gezien over het sommatieteken..
"The only reason for time is so that everything doesn't happen at once." - Albert Einstein
-
- Berichten: 10.179
Okee. Dan bekijken we bovenstaande formule eerst eens voor (2x2)-matrices. De rest (grotere matrices) is analoog qua redenering. Als je 2 matrices vermenigvuldigt, zet je op plaats (1, 1) het resultaat van de eerste rij van A te "vermenigvuldigen" met de eerste kolom van B. Zie je dat terugkomen in bovenstaande formule?
-
- Berichten: 620
ja, dat zie ik.
"The only reason for time is so that everything doesn't happen at once." - Albert Einstein
-
- Berichten: 10.179
Prima. Nu weet je ook dat de transpose van een matrix neerkomt op wat op plaats (i, j) staat nu op plaats (j, i) zetten. Kun je daar wat mee?
PS: ik werk nu toe naar een bewijs. Ik weet niet of dit ook is wat je wilt?
-
- Berichten: 620
\(C_{11}=A_1B_1+A_2B_1\)
dit klopt toch, he? dat ik niet de hele tijd verkeerd bezig zou zijn :/
bedoel je dat als je dan C zou transponeren, er op C11 zou staan: B1A1 + B1A2?
een bewijs zou inderdaad het antwoord op mijn vraag verduidelijken.
(is het trouwens belangrijk te weten wat (de inverse van) een reguliere matrix is? wij hebben dit ook niet gezien..)
"The only reason for time is so that everything doesn't happen at once." - Albert Einstein
-
- Berichten: 10.179
Stekelbaarske schreef: ↑za 15 dec 2012, 17:42
\(C_{11}=A_1B_1+A_2B_1\)
dit klopt toch, he? dat ik niet de hele tijd verkeerd bezig zou zijn :/
Nee, niet volledig.
\(C_{11} = A_{11} B_{11} + A_{12} B_{21}\)
.
-
- Berichten: 620
Drieske schreef: ↑za 15 dec 2012, 17:56
Nee, niet volledig.
\(C_{11} = A_{11} B_{11} + A_{12} B_{21}\)
.
ah ja, inderdaad..
"The only reason for time is so that everything doesn't happen at once." - Albert Einstein
-
- Berichten: 10.179
Okee, dan gaan we nu kijken naar de transpose en we zien dat
\((B^T A^T)_{ij} = \sum_{k = 1}^n (A^T)_{ik} (B^T)_{kj}\)
. Maar we weten nu ook nog dat
\((A^T)_{ik} = A_{ki}\)
. Snap je het tot hier?
-
- Berichten: 620
als je uiteindelijk C transponeert, en je maakt het product van de getransponeerde A, en getransponeerde B, dan heb je bewezen dat dit niet hetzelfde is...je hebt dan natuurlijk nog niet bewezen dat dit wel zo is als A en B omgedraaid worden..maar elk bewijs is ergens op gebaseerd..waar zou dit op gebaseerd zijn?
je kan natuurlijk niet zomaar zeggen dat als ze omgedraaid zijn en het komt hetzelfde uit, dat het bewezen is..je moet een 'motief' zijn om dit om te draaien, niet?
aub, verbeter me als ik fout ben,
dat snap ik, trouwens.
"The only reason for time is so that everything doesn't happen at once." - Albert Einstein
-
- Berichten: 10.179
Wat bedoel je met "motief"? Overigens snap ik niet goed wat je bedoelt met
je kan natuurlijk niet zomaar zeggen dat als ze omgedraaid zijn en het komt hetzelfde uit, dat het bewezen is
Natuurlijk is het wél een bewijs als je gelijkheid kunt aantonen voor willekeurige matrices. Dat is net het punt van een bewijs. Of bedoel je misschien iets als "hoe is men op het idee gekomen om het om te draaien?"?
-
- Berichten: 620
dat is inderdaad het 'motief' waar ik het over heb
"The only reason for time is so that everything doesn't happen at once." - Albert Einstein
-
- Berichten: 10.179
Goh, hoe ze ooit op dat idee zijn gekomen, kan ik ook niet echt exact zeggen. Maar ik vermoed dat dat ongeveer zo ging: men nam concrete matrices A en B en men stelde vast dat (AB)T en ATBT meestal niet hetzelfde waren. Dit betekende dat er, hopelijk, een andere gelijkheid was die wel gold. Het ligt een beetje voor de hand om te gaan kijken naar (AB)T en BTAT en te hopen dat het hier wel klopte. Men stelde vast dat alle voorbeelden die men probeerde werkten. Dan is het tijd om aan een bewijs te denken. Lukt dat bewijs niet, geeft het je waarschijnlijk weer een idee welke matrices voor een tegenvoorbeeld kunnen zorgen. Maar zoals we nu ook bezig zijn, het bewijs gaat wel werken dus was het okee. Is dit een beetje een antwoord?
-
- Berichten: 620
dat klinkt logisch, en beantwoordt precies m'n vraag
bedankt
"The only reason for time is so that everything doesn't happen at once." - Albert Einstein
