From b2a4fe428f9d7bffbab92088cf070aeca6b7309d Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Sat, 13 Jan 2024 15:19:25 +0100
Subject: [PATCH] =?utf8?q?Pozn=C3=A1mka=20o=20vlastnostech=20zobecn=C4=9Bn?=
 =?utf8?q?=C3=BDch=20maticov=C3=BDch=20sou=C4=8Dt=C5=AF?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 14-floyd/14-floyd.tex | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/14-floyd/14-floyd.tex b/14-floyd/14-floyd.tex
index 4c655e7..9b00731 100644
--- 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
-- 
2.39.2