Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
Keď som sa Googlu spýtal matice "AB=BA" site:matweb.cz, tak mi prezradil, že sa tu už úlohy takého typu riešili:
http://forum.matweb.cz/viewtopic.php?pid=315293
http://forum.matweb.cz/viewtopic.php?id=18140
http://forum.matweb.cz/viewtopic.php?id=36570
Offline
fiast napsal(a):
↑ kompik:
Stačí mi jeden vzorovej příklad.
Myslím, že v tých linkách, ktoré som postol, sa vzorových príkladoch nájde dosť, ale možno nezaškodí ešte jeden.
Hľadáme teda matice, ktoré komutujú s maticou
.
Na začiatok si môžeme uvedomiť, že medzi riešeniami určite budú napríklad matice
,
. (Aj
, to nám ale pri rozmere
už nedá nové riešenia - ak poznáme Cayley-Hamiltonovu vetu, tak vieme, že ďalšie mocniny už budú lineárne závislé.)
Toto bola len odbočka k tomu, čo vieme bez toho, aby sme niečo rátali - teraz už skúsme naozaj počítať. Označme si
Dostaneme
a
Ak sa tieto matice majú rovnať, dostaneme sústavu rovníc
Už stačí len vyriešiť sústavu. Môžeme si ukázať jednu z možností riešenia.
Prvá aj štvrtá rovnica sa zredukujú na rovnosť
, teda
.
Druhú a tretiu rovnicu môžeme upraviť na
,
obe tieto rovnice sú ekvivalentné s
.
Na tomto mieste vidíme, že ak
, tak
, čo súhlasí s tým, že jedno z riešení má byť matica 
Teda všeobecne dostávame
Je to iné vyjadrenie toho istého riešenia ako je uvedené; konkrétne keď zvolíme
a
, tak dostaneme presne uvedené vyjadrenie.
Môžeme pre istotu skontrolovať či matica
skutočne komutuje s maticou
: výpočtom alebo napríklad na WolframAlpha.
Tiež si môžeme všimnúť, že pri voľbe
a
dostávame
,
; teda skutočne ako jedno z riešení nám vyšla matica
.
****************
Iná možnosť riešenia (ale tá by asi bola výhodná až pre väčšie rozmery) by mohla byť cez vlastné vektory. Ak je matica diagonalizovateľná, tak s ňou komutujú presne tie matice, ktoré sú pri v tej istej báze tiež diagonálne. Pokiaľ nie je diagonalizovateľná, je to asi o čosi komplikovanejšie a bola tu už na fóre nejaká diskusia o tom, kedy matica komutuje s Jordanovým blokom: http://forum.matweb.cz/viewtopic.php?id=51938
Offline