www.wikidata.de-de.nina.az
Das dyadische Produkt kurz auch Dyade von griechisch dyas dyas Zweiheit oder tensorielle Produkt ist in der Mathematik ein spezielles Produkt zweier Vektoren Das Ergebnis eines dyadischen Produkts ist eine Matrix oder ein Tensor zweiter Stufe mit dem Rang eins Das dyadische Produkt kann als Spezialfall eines Matrizenprodukts einer einspaltigen Matrix mit einer einzeiligen Matrix angesehen werden es entspricht dann dem Kronecker Produkt dieser beiden Matrizen Um den Gegensatz zum inneren Produkt Skalarprodukt zu betonen wird das dyadische Produkt gelegentlich auch ausseres Produkt genannt wobei diese Bezeichnung aber nicht eindeutig ist da sie auch fur das Kreuzprodukt und das Dachprodukt verwendet wird Dyadisches Produkt zweier Vektoren als MatrizenproduktDas Konzept des dyadischen Produkts und damit die Dyadenrechnung geht auf den US amerikanischen Physiker Josiah Willard Gibbs zuruck der es erstmals im Jahr 1881 im Rahmen seiner Vektoranalysis formulierte 1 Inhaltsverzeichnis 1 Definition 2 Beispiele 3 Eigenschaften 3 1 Kommutativitat 3 2 Distributivitat 3 3 Skalarprodukt 3 4 Kreuzprodukt 4 Dyadisches Produkt zweier Vektoren 5 Bezuge zu anderen Produkten 5 1 Skalarprodukt 5 2 Tensorprodukt 6 Verwendung 7 Koordinatenfreie Darstellung 8 Einzelnachweise 9 Literatur 10 WeblinksDefinition BearbeitenDas dyadische Produkt ist eine Verknupfung zweier reeller Vektoren x R m displaystyle x in mathbb R m nbsp und y R n displaystyle y in mathbb R n nbsp der Form R m R n R m n x y x y displaystyle otimes colon mathbb R m times mathbb R n to mathbb R m times n quad x y mapsto x otimes y nbsp wobei das Ergebnis eine Matrix C R m n displaystyle C in mathbb R m times n nbsp ist Jeder Eintrag c i j displaystyle c ij nbsp der Ergebnismatrix berechnet sich dabei aus den Vektoren x x 1 x i x m displaystyle x x 1 ldots x i ldots x m nbsp und y y 1 y j y n displaystyle y y 1 ldots y j ldots y n nbsp uber c i j x i y j displaystyle c ij x i cdot y j nbsp als das Produkt der Elemente x i displaystyle x i nbsp und y j displaystyle y j nbsp Interpretiert man den ersten Vektor als einspaltige Matrix und den zweiten Vektor als einzeilige Matrix so lasst sich das dyadische Produkt mittels x y x y T x 1 x m y 1 y n x 1 y 1 x 1 y n x m y 1 x m y n displaystyle x otimes y x cdot y T begin pmatrix x 1 vdots x m end pmatrix cdot begin pmatrix y 1 amp cdots amp y n end pmatrix begin pmatrix x 1 y 1 amp cdots amp x 1 y n vdots amp ddots amp vdots x m y 1 amp cdots amp x m y n end pmatrix nbsp als Matrizenprodukt darstellen wobei y T displaystyle y T nbsp der zu y displaystyle y nbsp transponierte Vektor ist Das dyadische Produkt kann so auch als Spezialfall des Kronecker Produkts einer einspaltigen mit einer einzeiligen Matrix angesehen werden Beispiele BearbeitenSind x 1 3 2 R 3 displaystyle x 1 3 2 in mathbb R 3 nbsp und y 2 1 0 3 R 4 displaystyle y 2 1 0 3 in mathbb R 4 nbsp dann ist das dyadische Produkt von x displaystyle x nbsp und y displaystyle y nbsp x y 1 2 1 1 1 0 1 3 3 2 3 1 3 0 3 3 2 2 2 1 2 0 2 3 2 1 0 3 6 3 0 9 4 2 0 6 R 3 4 displaystyle x otimes y begin pmatrix 1 cdot 2 amp 1 cdot 1 amp 1 cdot 0 amp 1 cdot 3 3 cdot 2 amp 3 cdot 1 amp 3 cdot 0 amp 3 cdot 3 2 cdot 2 amp 2 cdot 1 amp 2 cdot 0 amp 2 cdot 3 end pmatrix begin pmatrix 2 amp 1 amp 0 amp 3 6 amp 3 amp 0 amp 9 4 amp 2 amp 0 amp 6 end pmatrix in mathbb R 3 times 4 nbsp Jede Spalte dieser Matrix ist also ein Vielfaches von x displaystyle x nbsp und jede Zeile ein Vielfaches von y T displaystyle y T nbsp Als triviale Beispiele sind jede Nullmatrix das dyadische Produkt von Nullvektoren und jede Einsmatrix das dyadische Produkt von Einsvektoren entsprechend passender Grosse 0 m n 0 m 0 n displaystyle 0 mn 0 m otimes 0 n nbsp und 1 m n 1 m 1 n displaystyle 1 mn 1 m otimes 1 n nbsp Eigenschaften BearbeitenDie folgenden Eigenschaften des dyadischen Produkts ergeben sich direkt aus den Eigenschaften der Matrizenmultiplikation Kommutativitat Bearbeiten Das dyadische Produkt ist wie zahlreiche Beispiele belegen nicht kommutativ Fur die Transponierte des dyadischen Produkts zweier Vektoren x R m displaystyle x in mathbb R m nbsp und y R n displaystyle y in mathbb R n nbsp gilt x y T y x displaystyle x otimes y T y otimes x nbsp Zwei Vektoren x displaystyle x nbsp und y displaystyle y nbsp sind damit genau dann vertauschbar das heisst es gilt x y y x displaystyle x otimes y y otimes x nbsp wenn die Ergebnismatrix symmetrisch ist Dies ist genau dann der Fall wenn einer der beiden Vektoren ein Vielfaches des anderen Vektors ist das heisst wenn es eine Zahl l R displaystyle lambda in mathbb R nbsp gibt sodass x l y displaystyle x lambda y nbsp oder y l x displaystyle y lambda x nbsp gilt Ist einer der Vektoren ein Nullvektor dann gilt insbesondere fur alle x R n displaystyle x in mathbb R n nbsp x 0 n 0 n x 0 n n displaystyle x otimes 0 n 0 n otimes x 0 nn nbsp wobei die Ergebnismatrix dann die Nullmatrix ist Distributivitat Bearbeiten Mit der Vektoraddition x y displaystyle x y nbsp ist das dyadische Produkt distributiv das heisst es gilt fur alle x R m displaystyle x in mathbb R m nbsp und y z R n displaystyle y z in mathbb R n nbsp x y z x y x z displaystyle x otimes y z x otimes y x otimes z nbsp sowie fur alle x y R m displaystyle x y in mathbb R m nbsp und z R n displaystyle z in mathbb R n nbsp entsprechend x y z x z y z displaystyle x y otimes z x otimes z y otimes z nbsp Weiter ist das dyadische Produkt vertraglich mit der Skalarmultiplikation das heisst fur x R m displaystyle x in mathbb R m nbsp und y R n displaystyle y in mathbb R n nbsp sowie l R displaystyle lambda in mathbb R nbsp gilt l x y l x y x l y displaystyle lambda x otimes y lambda x otimes y x otimes lambda y nbsp Skalarprodukt Bearbeiten Das dyadische Produkt ist vertraglich mit dem Skalarprodukt das heisst es gilt fur alle x R m displaystyle x in mathbb R m nbsp und y z R n displaystyle y z in mathbb R n nbsp 2 3 x y z x y z y z x displaystyle x otimes y cdot z x otimes y cdot z y cdot z x nbsp und z x y z x y z x y displaystyle z cdot x otimes y z cdot x otimes y z cdot x y nbsp Kreuzprodukt Bearbeiten Das dyadische Produkt ist vertraglich mit dem Kreuzprodukt das heisst es gilt fur alle x R m displaystyle x in mathbb R m nbsp und y z R 3 displaystyle y z in mathbb R 3 nbsp 2 x y z x y z x y z displaystyle x otimes y times z x otimes y times z x otimes y times z nbsp und z x y z x y z x y displaystyle z times x otimes y z times x otimes y z times x otimes y nbsp Dyadisches Produkt zweier Vektoren BearbeitenDas dyadische Produkt zweier Vektoren x R m displaystyle x in mathbb R m nbsp und y R n displaystyle y in mathbb R n nbsp ergibt sofern keiner der beiden Vektoren der Nullvektor ist eine Rang Eins Matrix das heisst rang x y 1 displaystyle operatorname rang x otimes y 1 nbsp Umgekehrt lasst sich jede Rang Eins Matrix als dyadisches Produkt zweier Vektoren darstellen Fur die Spektralnorm und die Frobeniusnorm eines dyadischen Produkts gilt x y 2 x y F x 2 y 2 displaystyle x otimes y 2 x otimes y F x 2 cdot y 2 nbsp wobei x 2 displaystyle x 2 nbsp die euklidische Norm des Vektors x displaystyle x nbsp ist Neben der Nullmatrix sind Rang Eins Matrizen die einzigen Matrizen fur die diese beiden Normen ubereinstimmen Bezuge zu anderen Produkten BearbeitenSkalarprodukt Bearbeiten Bildet man umgekehrt das Produkt aus einem Zeilenvektor mit einem Spaltenvektor so erhalt man das Standardskalarprodukt zweier Vektoren x y R n displaystyle x y in mathbb R n nbsp gegeben durch x y x T y displaystyle langle x y rangle x T cdot y nbsp wobei das Ergebnis eine reelle Zahl ist Das Standardskalarprodukt zweier Vektoren ist gleich der Spur der Summe der Diagonalelemente ihres dyadischen Produkts also Spur x y x y displaystyle operatorname Spur x otimes y langle x y rangle nbsp Weiter ist die Matrix x y displaystyle x otimes y nbsp genau dann nilpotent immer vom Grad 2 wenn die beiden Vektoren orthogonal sind das heisst x y 2 0 x y 0 displaystyle x otimes y 2 0 Leftrightarrow langle x y rangle 0 nbsp Wenn sich Zeilen und Spaltenvektoren passender Grosse abwechseln konnen auch mehrere Vektoren miteinander multipliziert werden Aufgrund der Assoziativitat der Matrizenmultiplikation erhalt man so die Identitaten x T y z x T y z T x y z T displaystyle x T cdot y otimes z x T cdot y cdot z T langle x y rangle z T nbsp und x y z x y T z x y z displaystyle x otimes y cdot z x cdot y T cdot z x langle y z rangle nbsp Ein Skalarprodukt wird auch inneres Produkt genannt weswegen das dyadische Produkt gelegentlich auch als ausseres Produkt bezeichnet wird Diese Dualitat wird in der Bra Ket Notation der Quantenmechanik genutzt wo ein inneres Produkt durch x y displaystyle langle x y rangle nbsp und ein ausseres Produkt durch y x displaystyle y rangle langle x nbsp notiert wird Tensorprodukt Bearbeiten Der Vektorraum der durch dyadische Produkte von Vektoren x R m y R n displaystyle x in mathbb R m y in mathbb R n nbsp aufgespannt wird ist der Tensorproduktraum R m R n span x y x R m y R n displaystyle mathbb R m otimes mathbb R n operatorname span x otimes y mid x in mathbb R m y in mathbb R n nbsp Dieser Raum ist isomorph zum Raum aller Matrizen R m n displaystyle mathbb R m times n nbsp Jede Matrix A R m n displaystyle A in mathbb R m times n nbsp lasst sich demnach als Linearkombination dyadischer Produkte von Vektoren darstellen das heisst A i 1 r x i y i displaystyle A sum i 1 r x i otimes y i nbsp wobei x 1 x r R m displaystyle x 1 ldots x r in mathbb R m nbsp y 1 y r R n displaystyle y 1 ldots y r in mathbb R n nbsp und r rang A displaystyle r operatorname rang A nbsp sind Durch eine geeignete Wahl von Vektoren x i y i displaystyle x i y i nbsp und einer Rangschranke r lt r displaystyle r lt r nbsp lasst sich auf diese Weise auch eine Niedrigrang Approximation einer Matrix erreichen wodurch numerische Berechnungen bei sehr grossen Matrizen beschleunigt werden konnen 4 Verwendung BearbeitenIn vielen Anwendungen wird ein dyadisches Produkt nicht komponentenweise ausgerechnet sondern zunachst stehen gelassen und erst ausgewertet wenn es mit weiteren Termen multipliziert wird Multipliziert man das dyadische Produkt x y displaystyle x otimes y nbsp mit einem Vektor z displaystyle z nbsp erhalt man einen Vektor der parallel zu x displaystyle x nbsp ist da x y z x y z displaystyle x otimes y cdot z x langle y z rangle nbsp gilt Das dyadische Produkt eines Einheitsvektors v displaystyle v nbsp mit sich selbst ist ein Projektionsoperator denn das Matrix Vektor Produkt v v x v v x displaystyle v otimes v cdot x v langle v x rangle nbsp projiziert einen gegebenen Vektor x displaystyle x nbsp orthogonal auf eine Ursprungsgerade mit Richtungsvektor v displaystyle v nbsp Die Spiegelung eines Vektors an einer Ursprungsebene mit Einheits Normalenvektor n displaystyle n nbsp ergibt sich entsprechend als I 2 n n x x 2 n n x displaystyle I 2n otimes n cdot x x 2n langle n x rangle nbsp wobei I displaystyle I nbsp die Einheitsmatrix ist Solche Spiegelungen werden beispielsweise in der Householdertransformation verwendet In der digitalen Bildverarbeitung konnen Faltungsmatrizen als dyadisches Produkt zweier Vektoren dargestellt werden Durch diese Separierbarkeit konnen z B Weichzeichnungs oder Kantenerkennungsfilter in two passes engl zwei Durchlaufe angewendet werden um den Rechenaufwand zu reduzieren Als Beispiel der 5 5 convolution kernel engl Faltungsmatrix des Gaussschen Weichzeichners 1 256 1 4 6 4 1 4 16 24 16 4 6 24 36 24 6 4 16 24 16 4 1 4 6 4 1 1 16 1 4 6 4 1 1 16 1 4 6 4 1 displaystyle frac 1 256 begin bmatrix 1 amp 4 amp 6 amp 4 amp 1 4 amp 16 amp 24 amp 16 amp 4 6 amp 24 amp 36 amp 24 amp 6 4 amp 16 amp 24 amp 16 amp 4 1 amp 4 amp 6 amp 4 amp 1 end bmatrix frac 1 16 begin bmatrix 1 4 6 4 1 end bmatrix cdot frac 1 16 begin bmatrix 1 amp 4 amp 6 amp 4 amp 1 end bmatrix nbsp Koordinatenfreie Darstellung BearbeitenIn einer abstrakteren koordinatenfreien Darstellung ist das dyadische Produkt a b displaystyle vec a otimes vec b nbsp zweier Vektoren a V 2 displaystyle vec a in mathbb V 2 nbsp und b V 1 displaystyle vec b in mathbb V 1 nbsp aus zwei Vektorraumen V 1 displaystyle mathbb V 1 nbsp und V 2 displaystyle mathbb V 2 nbsp ein Tensor zweiter Stufe T displaystyle mathbf T nbsp im Tensorproduktraum V 2 V 1 displaystyle mathbb V 2 otimes mathbb V 1 nbsp Die verschiedenen Notationen verwenden teilweise Fettdruck fur Vektoren oder lassen das Zeichen displaystyle otimes nbsp weg T a b a b a b displaystyle mathbf T vec a otimes vec b mathbf a otimes mathbf b mathbf ab nbsp Nicht jeder Tensor zweiter Stufe ist ein dyadisches Produkt von zwei Vektoren jedoch kann jeder Tensor zweiter Stufe als Summe dyadischer Produkte dargestellt werden Ein Tensor der dyadisches Produkt zweier Vektoren ist heisst einfacher Tensor oder Dyade Anwendung findet diese Version des dyadischen Produkts in der Kontinuumsmechanik wo meist V 1 V 2 V displaystyle mathbb V 1 mathbb V 2 mathbb V nbsp identisch mit dem dreidimensionalen Vektorraum V displaystyle mathbb V nbsp der geometrischen Vektoren ist Ist V 1 displaystyle mathbb V 1 nbsp ein euklidischer Vektorraum so kann mit Hilfe des Skalarprodukts von V 1 displaystyle mathbb V 1 nbsp das innere Produkt zwischen Tensoren und Vektoren definiert werden Es ordnet jedem Tensor T V 2 V 1 displaystyle mathbf T in mathbb V 2 otimes mathbb V 1 nbsp und Vektoren c V 1 displaystyle vec c in mathbb V 1 nbsp einen Vektor T c V 2 displaystyle mathbf T cdot vec c in mathbb V 2 nbsp zu Fur Dyaden T a b a V 2 b V 1 displaystyle mathbf T vec a otimes vec b vec a in mathbb V 2 vec b in mathbb V 1 nbsp ist das innere Produkt wie folgt definiert T c T c a b c b c a V 2 displaystyle mathbf T vec c mapsto mathbf T cdot vec c vec a otimes vec b cdot vec c vec b cdot vec c vec a in mathbb V 2 nbsp Hierdurch kann jede Dyade und damit auch jeder Tensor T V 2 V 1 displaystyle mathbf T in mathbb V 2 otimes mathbb V 1 nbsp als lineare Abbildung T V 1 V 2 c T c displaystyle mathbf T colon mathbb V 1 to mathbb V 2 quad vec c mapsto mathbf T cdot vec c nbsp aufgefasst werden Der Tensorproduktraum V 2 V 1 displaystyle mathbb V 2 otimes mathbb V 1 nbsp kann also mit dem Raum L V 1 V 2 displaystyle mathcal L mathbb V 1 mathbb V 2 nbsp der linearen Abbildungen von V 1 displaystyle mathbb V 1 nbsp nach V 2 displaystyle mathbb V 2 nbsp identifiziert werden Dies wird im Folgenden getan Fur das dyadische Produkt gelten die folgenden Rechenregeln V 1 displaystyle mathbb V 1 nbsp V 2 displaystyle mathbb V 2 nbsp und V 3 displaystyle mathbb V 3 nbsp seien euklidische Vektorraume Dann gilt fur alle a V 2 b c V 1 d V 3 T L V 2 V 3 displaystyle vec a in mathbb V 2 vec b vec c in mathbb V 1 vec d in mathbb V 3 mathbf T in mathcal L mathbb V 2 mathbb V 3 nbsp a b c d b c a d T a b T a b b T a b a T d T a T d a displaystyle begin array l vec a otimes vec b cdot vec c otimes vec d vec b cdot vec c vec a otimes vec d mathbf T cdot vec a otimes vec b mathbf T cdot vec a otimes vec b vec b otimes mathbf T cdot vec a vec b otimes vec a cdot mathbf T top vec d cdot mathbf T cdot vec a mathbf T top cdot vec d cdot vec a end array nbsp Zu beachten ist hier dass die Skalarprodukte in den Gleichungen aus den verschiedenen Vektorraumen stammen was sich durch einen Index verdeutlicht beispielsweise wie folgt schreibt d 3 T 2 a T 3 d 2 a displaystyle vec d cdot 3 mathbf T cdot 2 vec a mathbf T top cdot 3 vec d cdot 2 vec a nbsp Das Skalarprodukt zweier Tensoren aus L V 1 V 2 displaystyle mathcal L mathbb V 1 mathbb V 2 nbsp kann mit Vektoren a c V 2 b d V 1 displaystyle vec a vec c in mathbb V 2 vec b vec d in mathbb V 1 nbsp definiert werden a b c d S p u r a b c d a c b d displaystyle vec a otimes vec b cdot vec c otimes vec d mathrm Spur left vec a otimes vec b top cdot vec c otimes vec d right vec a cdot vec c vec b cdot vec d nbsp Damit baut L V 1 V 2 displaystyle mathcal L mathbb V 1 mathbb V 2 nbsp einen euklidischen Vektorraum auf dessen Elemente Tensoren zweiter Stufe sind Mit einer Basis a i displaystyle vec a i nbsp von V 2 displaystyle mathbb V 2 nbsp und b j displaystyle vec b j nbsp von V 1 displaystyle mathbb V 1 nbsp besitzt L V 1 V 2 displaystyle mathcal L mathbb V 1 mathbb V 2 nbsp eine Basis a i b j displaystyle lbrace vec a i otimes vec b j rbrace nbsp bezuglich der jeder Tensor komponentenweise dargestellt werden kann T i 1 n j 1 m T i j a i b j displaystyle mathbf T sum i 1 n sum j 1 m T ij vec a i otimes vec b j nbsp worin n displaystyle n nbsp die Dimension von V 2 displaystyle mathbb V 2 nbsp und m displaystyle m nbsp die Dimension von V 1 displaystyle mathbb V 1 nbsp ist Der Tensor ist von den verwendeten Basen unabhangig Bei einem Basiswechsel andern sich daher die Komponenten T i j displaystyle T ij nbsp auf charakteristische Weise Von Bedeutung sind Invarianten die bei solchen Basiswechseln ihren Wert nicht andern siehe z B Hauptinvariante Die Komponenten T i j displaystyle T ij nbsp konnen in einer Matrix angeordnet werden wobei dann die verwendete Basis in Erinnerung behalten werden muss Gelegentlich wird z B i 1 3 j 1 3 T i j a i b j T 11 T 12 T 13 T 21 T 22 T 23 T 31 T 32 T 33 a i b j displaystyle sum i 1 3 sum j 1 3 T ij vec a i otimes vec b j left begin array ccc T 11 amp T 12 amp T 13 T 21 amp T 22 amp T 23 T 31 amp T 32 amp T 33 end array right vec a i otimes vec b j nbsp geschrieben Ist der Definitionsbereich mit dem Bildbereich identisch kann bei Verwendung der Standardbasis e i displaystyle vec e i nbsp der Verweis auf die verwendete Basis weggelassen werden und der Tensor geht in seine Matrixreprasentation uber z B i 1 3 j 1 3 T i j e i e j T 11 T 12 T 13 T 21 T 22 T 23 T 31 T 32 T 33 displaystyle sum i 1 3 sum j 1 3 T ij vec e i otimes vec e j left begin array ccc T 11 amp T 12 amp T 13 T 21 amp T 22 amp T 23 T 31 amp T 32 amp T 33 end array right nbsp In Koordinatendarstellung ist das oben als Matrix definierte dyadische Produkt zweier Spaltenvektoren gerade diese Abbildungsmatrix des Tensors Einzelnachweise Bearbeiten Ari Ben Menahem Historical Encyclopedia of Natural and Mathematical Sciences Band 1 Springer 2009 ISBN 978 3 540 68831 0 S 2463 a b Holm Altenbach Kontinuumsmechanik Einfuhrung in die materialunabhangigen und materialabhangigen Gleichungen Springer Verlag Berlin Heidelberg 2012 ISBN 978 3 642 24118 5 S 30 doi 10 1007 978 3 642 24119 2 Wolfgang Werner Vektoren und Tensoren als universelle Sprache in Physik und Technik Tensoralgebra und Tensoranalysis Band 1 Springer Vieweg Verlag Wiesbaden 2019 ISBN 978 3 658 25271 7 S 29 doi 10 1007 978 3 658 25272 4 Ivan Markovsky Low Rank Approximation Algorithms Implementation Applications Springer 2011 ISBN 978 1 4471 2227 2 Literatur BearbeitenGerd Fischer Lineare Algebra 14 Auflage Vieweg 2003 ISBN 3 528 03217 0 Erwin Lohr Vektor und Dyadenrechnung fur Physiker und Techniker De Gruyter Berlin 1939 ISBN 9783112392959 Rudolf Zurmuhl Matrizen und ihre Anwendungen 7 Auflage Springer 1997 ISBN 3 540 61436 2 Hans Karl Iben Tensorrechnung 2 Auflage Teubner 1999 ISBN 3 519 00246 9 H Altenbach Kontinuumsmechanik Springer Verlag 2012 ISBN 978 3 642 24118 5 Peter Haupt Continuum Mechanics and Theory of Materials Springer Berlin u a 2000 ISBN 3 540 66114 X Weblinks BearbeitenEric W Weisstein Vector Direct Product In MathWorld englisch pahio Dyad Product In PlanetMath englisch Abgerufen von https de wikipedia org w index php title Dyadisches Produkt amp oldid 234680810