Iloczyn diadyczny: Różnice pomiędzy wersjami

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
Dodano "Zobacz też".
Przeredagowano całość: podano definicję, dodano bibliografię.
Linia 1:
'''Iloczyn diadyczny''' - to iloczyn [[wektor]]a (kolumnowego) <math>\mathbf{u}</math> z wektorem (wierszowym) <math>\mathbf{v}^T</math> dającymtego samego wymiaru, dający [[tensor]] 2-go rzędu, np.
'''Iloczyn diadyczny''' – działanie:
 
: <math>\mathbb{P} = \mathbf{u}\otimes\mathbf{v}</math>
 
iloczyn [[wektor]]a (kolumnowego) <math>\mathbf{u}</math> z wektorem (wierszowym) <math>\mathbf{v}</math> dającym [[tensor]].
 
Iloczyn diadyczny jest szczególnym przypadkiem iloczynu tensorowego (iloczynu Kroneckera), dla wektorów o takim samym wymiarze.
 
Iloczyn określony jest:
: <math>
\mathbf{u} \otimes \mathbf{v}^T
=
\begin{bmatrix}
Linia 24 ⟶ 16:
\end{bmatrix}.
</math>
Iloczyn diadyczny jest szczególnym przypadkiem [[Iloczyn Kroneckera|iloczynu tensorowego]] wektorów (iloczynuw Kroneckera),iloczynie dlatensorowym wymiary wektorów onie takimmuszą samymbyć wymiarzerówne).
 
== DefinicjeDefinicja ogólna ==
Jeżeli dane są:
Używając [[Konwencja sumacyjna Einsteina|konwencji sumacyjnej]] zwanej notacją [[Albert Einstein|Einsteina]] iloczyn diadyczny
: <math>
\mathbf{u} \otimes \mathbf{v}</math>
 
(1) baza wektorów kolumnowych przestrzeni wektorowej <math>\{\mathbf{e}_i, i=1,\dots, n\}</math>
jest zapisywany jako:
 
(2) odpowiadająca jej baza <math>\{\mathbf{e}_i^T, i=1,\dots, n\}</math> wektorów wierszowych
: <math>\mathbb{P}_{ij} = u_i v_j </math>.
 
(3) wektory <math>\mathbf{u},\mathbf{v}</math> zapisane w tych bazach
Zapisując jawnie te sumy:
: <math>\mathbf{u}=
: <math>\sum_{i,j}^n u_i v_j \mathbf{e}_i</math>, \otimes <math>\mathbf{ev}_j^T</math>.=
\sum_{j}^n v_j \mathbf{e}_i^T</math>
to iloczyn diadyczny <math>\mathbf{u}\otimes\mathbf{v}</math> ma postać
: <math>\mathbb{P} = \mathbf{u}\otimes\mathbf{v}</math>=
\sum_{i,j=1}^n u_i v_j\, \mathbf{ue}_i \otimes \mathbf{ve}_j^T</math>
gdzie <math> E_{ij}=\mathbf{e}_i \otimes \mathbf{e}_j^T</math> - '''[[macierz]]''' wymiaru <math> n \times n</math>, której element <math> E_{ij}=1</math>, a pozostałe elementy są równe zeru.
 
Np. dla przestrzeni wektorowej 3-wymiarowej mamy 9 macierzy typu <math> E_{ij}</math>, np
: <math>\sum_{i,j}u_i v_j \mathbf{e}_i \otimes \mathbf{e}_j^T</math>.
: <math>
E_{12}
=
 
\begin{bmatrix}
0 & 1 & 0 \\
0 & 0 & 0 \\
0 & 0 & 0
\end{bmatrix}.
</math>
 
== Zobacz też ==
* [[iloczyn Kroneckera|iloczyn tensorowy]] (iloczyn Kroneckera)
* [[tensor]]
:
 
== Bibliografia ==
* Guściora H., Sadowski M., Repetytorium z algebry liniowej, PWN, Warszawa 1979 r.
[[en:Dyadic product]]
[[ru:Умножение двухэлементного тензора]]