Poznámka o vlastnostech zobecněných maticových součtů

diff --git a/14-floyd/14-floyd.tex b/14-floyd/14-floyd.tex
index 4c655e77610a86cb0c7879eccae97216fe2e9237..9b0073190cb0ae9619a78270a68823f927f962d7 100644 (file)
--- a/14-floyd/14-floyd.tex
+++ b/14-floyd/14-floyd.tex
@@ -224,6 +224,10 @@ C_{ij} = \bigoplus_{k=1}^n A_{ik}\otimes B_{kj}.
 $$
 Klasické násobení matic je tedy $(+,\cdot)$-součin.
 
+\s{Pozorování:} Je-li operace~$\oplus$ je asociativní a komutativní, operace~$\otimes$
+asociativní a $\otimes$ distributivní přes~$\oplus$, pak $(\oplus,\otimes)$-součin
+matic je asociativní a distributivní přes~$\oplus$ matic.
+
 \s{Pozorování:} Pokud $A$ a~$B$ jsou matice svazků ($A_{ij}$ a $B_{ij}$
 jsou $ij$-svazky) a $C$ jejich $(\cup,\cdot)$-součin, pak $C_{ij}$ je
 svazek všech sledů vzniklých spojením nějakého sledu z~$A$ začínajícího